Q1: Is the answer the same if SB is left asleep on H+Mon, but wakened on H+Tue?
Q2: Is the answer the same if the day SB is left asleep, H+Mon or H+Tue, is determined by a second coin flip?
Q3: On Sunday Night, flip two coins. Call them C1 and C2. Coin C1 is the one SB is asked about, and C2 is the second on in Q2. So, on Monday wake SB if either coin is showing Tails. On Monday Night, turn C2 over to show the opposite side. And on Tuesday, again wake SB if either coin is showing Tails. Whenever awakened, what should SB answer about coin C1? But before answering that....
Q3A: At any point in time, what is the probability, to an outside observer, that the coins are showing HH? HT? TH? TT?
Q3B: Does SB know and agree with these probabilities?
Q3C: Does an awake SB have “new information” about this set of possibilities?
Q3D: Is the conditional probability that the coins are showing HT, the same as the conditional probability that coin C1 landed on Heads?
+-+-+-+-+
A1: Yes.
A2: Yes.
Q3A: Each has a prior probability of 1⁄4.
Q3B: Yes.
Q3C: Yes, the combination HH is eliminated.
Q3D: Yes.
Q3: The conditional probability of {HT}, given {HT, TH, TT} is 1⁄3.
The correct model for the Sleeping Beauty Problem has to recognize that in a probability experiment, the prior sample space and its related prior probabilities are based on the possible outcomes without considering any evidence that might result from any outcomes.
The issue with the Sleeping Beauty Problem, that makes it unique, is that each running of the experiment produces two outcomes. One on Monday, and another on Tuesday. These are different, and independent, outcomes because an outcome is defined by SB’s ability to experience it. Notice I didn’t say observe it. All she needs to know is that she can exist in four different states. When she is in, say, state T&Mon, she doesn’t know that. But she does know that she is in only one state, and that there are others that she is not experiencing. Four, in all.
This is where the definition of “prior” comes in. Yes, she knows that she cannot be awake in state H&Tue, but that is evidence that results from that particular outcome. It is not considered when constructing the prior sample space and probability distribution. The prior sample space is {H&Mon, T&Mon, H&Tue, T&Tue}. The prior probability distribution is {1/4, 1⁄4, 1⁄4, 1⁄4}.
When SB is awake, she has “new information.” The does not mean something she didn’t know would happen ahead of time; in fact, it isn’t defined in probability theory at all. But it is used, informally, to mean information about a specific outcome that eliminates portions of the prior sample space. The actual defined term is of a condition, which is the event that remains possible given the evidence. Like how being awake eliminates H&Tue and leaves he condition AWAKE={H&Mon, T&Mon, T&Tue}
So Pr(H&Mon|AWAKE) = Pr(H&Mon)/Pr(Awake) = (1/4)/(3/4) = 1⁄3.
=====
An equivalent problem is to wake SB both days, but do something other than the interview on H&Tue. So when she is interviewed, she has the same information, defining the same condition, as in the popular version.
And the method can be demonstrated by expanding the problem. Use Monday thru Saturday, a six-sided die, and a 6x6 calendar where columns are days and rows are die results. Randomly choose one of six activities for each “date” in the calendar. When SB participates in activity A, her confidence that the die rolled a “3″ is the number of times activity A appears in row, divided by the number of times it appears in the calendar. Even if one of the activities is “don’t wake her on this day.”