Head or Tail?
Let's start from a small poll: I saw Jim getting 10 consecutive heads when tossing a coin, what is the probability that Jim get another head on his 11th toss? I tried this on some of my colleagues and students, most people responses , stating that the 11th toss is independent from the previous ones.
A more cautious response might be: "well, we don't really know if the coin is fair or not, do we?" Given the previous 10 heads, one can hardly say that the coin is fair.
A Biased Coin
Instinctively, we would say that the coin is biased. However, to what extent? To simplify the situation, let's say that there is a possibility of that Jim's coin has two heads.
From a Bayesian perspective, at the beginning, of course, we would assume that . But after 10 heads, we need to update that belief.
Let be the event that Jim's coin is biased, then . Additionally, denote the event that 10 heads are obtained in 10 tosses as . Obviously,
Applying Bayesian Theorem:
Therefore, the possibility of getting an eleventh head is
This value is very close to 1 even if is small. When , an eleventh head would has probability .
A Lucky Observer
However, there is another argument: maybe I was just being lucky to see the 10 streak of heads. This argument is pretty valid as nothing's being said about the tosses other than the 10 I witnessed.
A general question would be: "What is the probability of getting continuous heads in throws of a coin biased with probability of getting a head?" This is a study of "runs".
Formally, define a run of length as consecutive favorable out comes in a series of trials. Our question can be stated as the probability of -run in trials.
If we denote the probability of getting at least one -run in trials, obviously
where is the probability that the first -run occurs at the th trial. Additionally, we know that if and where is the probability of achieving a head.
Comparing to , the recursive relationship of is much easier to find:
Recursive models are best solved using generating function:
Sum the above up, running from to infinity, as for all and .
Notice that for all . As a result, we have
As , the generating function of has form , finally we have
The result, I quote from Simpson (1740)1
For any fixed , it is obvious that . One might as well argue that Jim's coin may not be biased, I am only selecting the 10 most "heady" tosses. Well, that would require around 1,500 tosses to make sure there is 50% possibility of the existence of a 10-run.
Simpson, T. (1 740). The Nature and Laws of Chance. The Whole after a new, general, and conspicuous Manner, and illustrated with a great Variety of Examples. Cave, London.↩