(Source: Peter M. Lee, Bayesian Statistics: an introduction, Fourth Edition, 2012)
Whether certain mice are black or brown depends upon a pair of genes, each of which is either B or b. If both members of the pair are alike, the mouse is said to be homozygous, and if they are different it is said to be heterozygous. The mouse is brown only if it is homozygous bb. The offspring of a pair of mice have two such genes, one from each parent, and if the parent is heterozygous, the inherited gene is equally likely to be B or b. Suppose that a black mouse results from a mating between two heterozygotes.
Now suppose that this mouse is mated with a brown mouse, resulting in seven offspring, all of which turn out to be black.
Use Bayes’ Theorem to find the probability that the black
mouse was homozygous BB.
Let G1 denote the
event that the black mouse is mated with a brown mice and G2-7BO the event that the seven
offspring of G1 are black.
Then, assuming that each offspring is independent, P(G2-7BO|G1-BB,G1,G0)=1,P(G2-7BO|G1-Bb,G1,G0)=(12)7. These can be viewed as likelihoods. Using the
theorem of total probability, P(G2-7BO|G1,G0)=P(G2-7BO|G1-BB,G1,G0)P(G1-BB|G1,G0)+P(G2-7BO|G1-Bb,G1,G0)P(G1-Bb|G1,G0)=P(G2-7BO|G1-BB,G1,G0)P(G1-BB|G1-black,G0)+P(G2-7BO|G1-Bb,G1,G0)P(G1-Bb|G1-black,G0)=1(13)+(12)7(23)=13(1+126). Thus, using Bayes’ theorem we find P(G1-BB|G2-7BO,G1,G0)=P(G2-7B0|G1-BB,G1,G0)P(G1-BB|G1,G0)P(G2-7BO|G1,G0)=1(13)13(1+126)=2626+1 = 6465. Note the form of this equation. We can view
P(G1-BB|G1,G0) as our prior probability for the event G1-BB, P(G2-7B0|G1-BB,G1,G0) our likelihood (the probability of observing the
seven black offspring given that we knew G1-BB) and P(G1-BB|G2-7BO,G1,G0) our posterior probability for the event G1-BB. We
shall make explicit use of this relationship in the next part of the
question.
Recalculate the same probability by regarding the seven
offspring as seven observations made sequentially, treating the
posterior after each observation as the prior for the next.
Let G2-BOi denote
the event that the ith offspring is
black and G2-iBO denote the
event that there have been i black
offspring. Thus, G2-iBO=G2-BOi∩G2-(i-1)BO. After observing (i−1) offspring, the probability for the
event G1-BB is P(G1-BB|G2-(i-1)BO,G1,G0) whilst the probability for the event
G1-Bb is P(G1-Bb|G2-(i-1)BO,G1,G0). Given the ancestral history, we assume
that the offspring are independent. In particular, for each i=1,…,7, we have the likelihoods
P(G2-BOi|G2-(i-1)BO,G1-BB,G1,G0) = P(G2-BOi|G1-BB,G1,G0) = 1,P(G2-BOi|G2-(i-1)BO,G1-Bb,G1,G0) = P(G2-BOi|G1-Bb,G1,G0) = 12. Then, using Bayes’ theorem we have P(G1-BB|G2-iBO,G1,G0)=P(G1-BB|G2-B0i,G2-(i-1)BO,G1,G0)=P(G2-B0i|G1-BB,G1,G0)P(G1-BB|G2-(i-1)BO,G1,G0)P(G2-BOi|G2-(i-1)BO,G1,G0),P(G1-Bb|G2-iBO,G1,G0)=P(G1-Bb|G2-B0i,G2-(i-1)BO,G1,G0)=P(G2-B0i|G1-Bb,G1,G0)P(G1-Bb|G2-(i-1)BO,G1,G0)P(G2-BOi|G2-(i-1)BO,G1,G0) Thus, noting that the denominator P(G2-BOi|G2-(i-1)BO,G1,G0) is common to both terms, P(G1-BB|G2-iBO,G1,G0)∝P(G2-B0i|G1-BB,G1,G0)P(G1-BB|G2-(i-1)BO,G1,G0),P(G1-Bb|G2-iBO,G1,G0)∝P(G2-B0i|G1-Bb,G1,G0)P(G1-Bb|G2-(i-1)BO,G1,G0) which are of the form “Posterior ∝ Likelihood × Prior”. The constant of
proportionality can be found by noting P(G1-BB|G2-iBO,G1,G0)+P(G1-Bb|G2-iBO,G1,G0) = 1. We now add the data about the seven offspring
sequentially. Our initial priors are P(G1-BB|G1-black,G0)=13 for G1-BB and P(G1-Bb|G1-black,G0)=23 for G1-Bb. We now update these beliefs after
observing the event G2-1BO. We have: EventPriorLikelihoodLikelihood × PriorPosteriorG1-BB131131313+13=12G1-Bb2312131313+13=12 We now add the second black offspring so that
we want our beliefs after observing the event G2-2BO. We use our
posteriors from the previous stage as our new priors, that is P(G1-BB|G2-1BO,G1,G0)=12 and P(G1-Bb|G2-1BO,G1,G0)=12 act as our priors. We have EventPriorLikelihoodLikelihood × PriorPosteriorG1-BB121121212+14=23G1-Bb1212141412+14=13 We can continue in this vein. A straightforward
inductive argument shows that P(G1-BB|G2-iBO,G1,G0)=2i−11+2i−1,P(G1-BB|G2-iBO,G1,G0)=11+2i−1. Adding the seventh black offspring thus gives
EventPriorLikelihoodLikelihood × PriorPosteriorG1-BB32331323332333233+166=6465G1-Bb133121661663233+166=165 We now adopt this explicit “Posterior ∝ Likelihood × Prior” approach for the answers to
parts a and b.
Part a. Learning that G1-black.
EventPriorLikelihoodLikelihood × PriorPosteriorG1-BB141141414+12+0=13G1-Bb121121214+12+0=23G1-bb14000 Part b. Learning that G1-black
mates with a brown mouse, resulting in seven black offspring. We can
remove the event G1-bb as this has zero prior probability. EventPriorLikelihoodLikelihood × PriorPosteriorG1-BB131131313+13(12)6=6465G1-Bb23(12)713(12)613(12)613+13(12)6=165
What is the probability that an eighth offspring is also
black.
Here we are looking at the predictive
distribution. Let G2-BO8 denote the event that the eighth offspring is
black. The solution is once again to use total probability with the two
events G1-BB and G1-Bb. We have P(G2-BO8|G2-7BO,G1,G0)=P(G2-BO8|G2-7B0,G1-BB,G1,G0)P(G1-BB|G2-7BO,G1,G0)+P(G2-BO8|G2-7B0,G1-Bb,G1,G0)P(G1-Bb|G2-7B0,G1,G0)=1(6465)+12(165) = 129130.