Lambdia

Reroll the Ones and the Die Is Worth Four

Three and a half is the exact average of a plain die, which is why it survives being double-checked. The rule does not reweight six outcomes, it deletes one, leaving a uniform payoff on five faces and an answer of four. The procedure costs 1.2 rolls on average, and the version where the reroll is your choice is a different game worth 4.25.

Roll a fair six-sided die. If it shows a one, roll it again, and keep rerolling until it shows something else. I pay you that face value in dollars. What is the game worth?

Almost everyone answers three and a half, which is the average of a plain die and therefore correct arithmetic about a different object. The answer here is four dollars, and the gap between the two numbers is the whole content of the problem.

The rule deletes an outcome rather than reweighting six

The die is fair and stays fair. What changes is the set of outcomes that can ever pay you. Whatever ends the process is a two, three, four, five or six, because a one always sends you back for another roll.

Why the five survivors are equally likely

Each roll is uniform and independent, so conditional on a roll not being a one, each of the five remaining faces has probability 16/56=15\tfrac16 \big/ \tfrac56 = \tfrac15. The process stops at the first such roll, and by symmetry no face among the five is favoured by the waiting.

So the payout is uniform on {2,3,4,5,6}\{2,3,4,5,6\} and its mean is

2+3+4+5+65=205=4\frac{2+3+4+5+6}{5} = \frac{20}{5} = 4
(1)

The fastest way to get there at a whiteboard is to note that the six faces sum to twenty-one, dropping the one leaves twenty, and twenty over five is four. That is exact rather than an estimate.

Fig. 1 — Five outcomes, each a fifth. The mean of the survivors sits half a point above the mean of all six.

The reason three and a half feels right is that people picture the reroll as making the one somehow worth less, which would keep six outcomes and shuffle their weights. It does not. The one is not a low payout, it is not a payout at all.

The slow route agrees, and it is not wrong

You can also count the rejected rolls explicitly. With probability (1/6)k(1/6)^k the first kk rolls are all ones, and the next roll contributes its own expectation over the six faces excluding the reroll branch, which is 20/620/6. Summing over k0k \ge 0,

k0(16)k206  =  20/611/6  =  205  =  4\sum_{k \ge 0} \left(\frac16\right)^{k} \cdot \frac{20}{6} \;=\; \frac{20/6}{1 - 1/6} \;=\; \frac{20}{5} \;=\; 4
(2)

Same answer, more work. It is worth saying plainly that this route is valid, because the temptation when comparing two methods is to treat the slower one as an error. Equation (2) is correct; it is simply the long way round, and if you find yourself writing it under time pressure the useful thought is that a geometric series with a single repeated state usually means you should have conditioned instead.

The rerolling is cheap as well as profitable

A natural worry is whether the process ends at all. The chance of needing more than kk rolls is (1/6)k(1/6)^k, which goes to zero, so the game terminates with probability one and the expectation in (1) is well defined. The number of rolls is geometric with success probability 5/65/6, so

E[rolls]=111/6=65=1.2\mathbb{E}[\text{rolls}] = \frac{1}{1 - 1/6} = \frac{6}{5} = 1.2
(3)

Five sixths of the time you roll once. One time in thirty-six you roll three or more. The extra half dollar costs you one fifth of a roll on average, which is about as good a trade as arithmetic offers.

Fig. 2 — The number of rolls is geometric. Almost all the mass is on a single roll.

Reject more faces

The argument used nothing about the number one except that it was removed. Reject every face at or below mm and the payout is uniform on {m+1,,6}\{m+1, \dots, 6\}, whose mean is the average of its endpoints:

E=(m+1)+62=7+m2\mathbb{E} = \frac{(m+1) + 6}{2} = \frac{7+m}{2}
(4)

which gives 7/27/2 at m=0m=0, then 44, 9/29/2, 55, 11/211/2 and finally 66 at m=5m=5, where you are rerolling until you see a six. The expected number of rolls there is 66, which is the price.

More generally still, reject any subset SS of faces and the value is just the mean of the complement. Nothing about the die is being altered, so the answer is always an unweighted average over whatever the rule leaves standing.

That sentence has a name, and knowing it makes the whole problem feel routine. The procedure is rejection sampling: draw from a distribution you have, throw away anything outside the set you want, and what survives is distributed exactly as the original conditioned on that set. Here the original is uniform on six faces and the set is five of them, so the survivor is uniform on five. The reason the argument is so short is that a uniform distribution restricted to a subset is uniform again, which is not true of distributions in general.

The efficiency of a rejection scheme is its acceptance rate, which here is 5/65/6, and the expected number of draws is its reciprocal. That is (3) arriving from a completely different direction. If the die had a hundred faces and you rejected ninety-nine of them, the answer would still be a one-line average and you would wait a hundred rolls for it.

A different game: your choice, once

Change one word and the problem changes character. Suppose the reroll is optional and yours to take, once, on any face you like. Now you have a decision, and the right rule is to reroll whenever the face in front of you is worth less than what a fresh roll is worth:

keep x    x>E[a plain die]=3.5\text{keep } x \iff x > \mathbb{E}[\text{a plain die}] = 3.5
(5)

so keep a four, five or six, and reroll a one, two or three. The value is

4+5+66+3672=52+74=174=4.25\frac{4+5+6}{6} + \frac36 \cdot \frac72 = \frac52 + \frac74 = \frac{17}{4} = 4.25
(6)

which beats the forced version, and it should: being allowed to choose is worth more than being made to reroll a specific face. With kk optional rerolls the threshold rises each time, computed backwards from (5), and as kk \to \infty the value climbs to six, because with unlimited attempts you simply wait for a six.

Confusing the two games is the more sophisticated mistake available here, and it is worth being careful about which one you were asked. The forced game is a question about a conditional distribution. The optional game is a question about a stopping rule, and only the second one has a decision in it.

One note on the framing

Nothing here is a wager. You pay nothing to play and you cannot lose, so the four dollars is the value of a payoff rather than an edge over anybody. If the game did cost something to enter, the interesting number would be four minus the entry price, and the reroll rule would matter only through the half dollar it adds.

Sources and further reading

Every number above was checked before publication three ways: exact conditioning, the geometric series both in closed form and truncated at forty terms, and ten million seeded plays of the literal roll-and-reject procedure, which averaged 4.0004.000 to three decimals at 1.21.2 rolls a play. The generalisation (4) was verified for every mm from zero to five by both routes.

Comments · 0

Be the first to comment.