As in the previous section, let X have the beta (r,s) prior, and given X=p let the Sn be the number of heads in the first n tosses of a p-coin.
All the calculations we carried out in the previous section were under the condition that Sn=k, but we never needed to find the probability of this event. It was part of the constant that made the posterior density of X integrate to 1.
We can now find P(Sn=k) by writing the posterior density in two ways:
By recalling that it is the beta (r+k,s+n−k) density:
where C(r,s) is the constant in the beta (r,s) density, given by
C(r,s)=Γ(r)Γ(s)Γ(r+s)
That’s not as awful as it looks. A better way to think of the formula is
P(Sn=k)=(kn)constant in the posterior beta given k heads in n tossesconstant in the prior beta
This discrete distribution is called the beta-binomial distribution with parameters r, s, and n. It is the distribution of the number of heads in n tosses of a coin that lands heads with a probability picked according to the beta (r,s) distribution.
from IPython.display import YouTubeVideo
YouTubeVideo('_cc2xuBG6tY')
Loading...
🎥 See More
Loading...
One (r,s) pair is particularly interesting: r=s=1. That’s the case when X has the uniform prior. The distribution of Sn reduces to
There’s no k in the answer! The conclusion is that if you choose p uniformly between 0 and 1 and toss a p-coin n times, the distribution of the number of heads is uniform on {0,1,2,…,n}.
If you choose p uniformly between 0 and 1, then for the conditional distribution of Sn given that p was the selected value is binomial (n,p). But the unconditional distribution of Sn is uniform.
The unconditional probability P(Sn=k) appeared in the denominator of our calculation of the posterior density of X given Sn. Because of the simplifications that result from using conjugate priors, we were able to calculate the denominator in a couple of different ways. But often the calculation can be intractable, especially in high dimensional settings. Methods of dealing with this problem are covered in more advanced courses.