(PDF)

## The puzzle

Scott Aaronson has a wonderful book called *Quantum Computing Since Democritus* (1), and in his chapter on the anthropic principle he writes about a thought experiment (attributed to John Leslie) that he calls the *Dice Room*:

Imagine that there’s a very, very large population of people in the world, and that there’s a madman. What this madman does is, he kidnaps ten people and puts them in a room. He then throws a pair of dice. If the dice land snake-eyes (two ones), then he simply murders everyone in the room. If the dice do not land snake-eyes, then he releases everyone, then kidnaps 100 people. He now does the same thing: he rolls two dice; if they land snake-eyes, then he kills everyone, and if they don’t land snake-eyes, then he releases them and kidnaps 1000 people. He keeps doing this until he gets snake-eyes, at which point he’s done.

Think of the population of this world as being randomly partitioned into a sequence of batches, with batch having people. On step the madman kidnaps the people in batch .

The Dice Room is a metaphor for human extinction. The population of this hypothetical world corresponds to all human beings who ever have or who ever may live. The batches represent succeeding generations of humanity, the exponentially growing batch size represents exponential growth of the human population, the madman represents the sum of the various existential risks facing humanity, and rolling snake-eyes corresponds to an extinction event that wipes out humanity. Being kidnapped and placed in the Dice Room corresponds to being born into a particular generation of humanity.

This Dice Room scenario leads to the following question: if you are kidnapped, what is your probability of dying? Correspondingly, how likely is ours to be the generation in which humans go extinct? Aaronson gives two answers. The first:

…the dice have a 1/36 chance of landing snake-eyes, so you should only be a “little bit” worried (considering.)

Let’s call this the “proximate risk” argument.

And the second:

…consider, of people who enter the room, what the fraction is of people who ever get out. Let’s say that it ends at 1000. Then, 110 people get out and 1000 die. If it ends at 10,000, then 1110 people get out and 10,000 die. In either case, about 8/9 of the people who ever go into the room die.

… We can say that we’re conditioning on a specific termination point, but that no matter what that point is, we get the same answer. It could be 10 steps or 50 steps, but no matter what the termination point is, almost all of the people who go into the room are going to die, because the number of people is increasing exponentially.

Let’s call this the “proportion murdered” argument. Also, rather than , so we’ll use in the rest of this note. The proportion-murdered argument amounts to an argument that human extinction is probably nigh.

Aaronson comments that “If you’re a Bayesian, then this kind of seems like a problem,” as Bayesian reasoning seems to give two different answers to the same question given the same information.

## In a nutshell: how imminent doom is averted

Right off the bat, you should be smelling something rotten here: Bayesian reasoning is just unadorned probability theory, nothing more and nothing less, and we know that the rules of probability theory are logically consistent—or rather, if they’re not, then Zermelo-Fraenkel set theory is also inconsistent and mathematicians start throwing themselves off of tall buildings. If we have two different arguments giving different answers, one of them is wrong. In particular, the proportion-murdered argument is wrong.

The proportion-murdered argument relies on the property that , the prior probability that you are in batch , increases exponentially with . If the madman murders at step and for all , and you know you are kidnapped at some point, then the probability that you are in batch (and hence die) is

But such exponential growth cannot continue indefinitely: the probabilities must sum to 1, and *any infinite sequence of nonnegative numbers that sums to 1 must go to zero in the limit.* Regardless of what prior distribution we use for your batch number, we know that as . Thus is the proportion-murdered argument destroyed, imminent extinction averted, and the foundations of mathematics rescued.

In the rest of this note I’ll flesh out the analysis.

## Let’s get explicit

To start the analysis, let’s be crystal clear on our assumptions:

- Writing for “the madman murders at step ” and for “the madman has already murdered by step ,” the madman’s choice process is as follows, for :
where “” means “not.” That is, once the madman has murdered he does not do so again, and if he has not murdered in a prior step then there is a probability he will murder in the current step.

- The population is partitioned into batches, which are numbered from 1 onward, with every individual belonging to exactly one batch. We write for the specific batch to which you belong.
- We write for , the prior probability that you belong to batch .
- You die, written , if the madman murders on the step corresponding to your batch number:
- You are kidnapped, written , if the madman has not yet murdered on the step corresponding to your batch number:
- You know that you are kidnapped, but not your batch number. Thus, the probability of interest is

What is the specific set of batch probabilities that arise in the Dice Room scenario? We could derive it as follows:

- Assume that batch contains individuals and that there are batches (a finite number). This gives a total population size of .
- Number the individuals from 1 to ; batch 1 consists of the first individuals, batch 2 consists of the next individuals, etc.
- Let be your assigned number; since you don’t know your number, the prior for is the uniform distribution over the integers from 1 to .

This gives for and for . In this case if the madman “murders” at a step then nobody actually dies, as all batches after batch are empty.

What if we don’t want to assume a finite population? Then things get trickier, because *there does not exist a uniform distribution over the infinite set of all positive integers*. We would have to give some prior on that was at least weakly informative.

The details don’t matter. The analysis that follows doesn’t depend on what specific batch probabilities are used, as long as they are valid probabilities: each is nonnegative and they sum to 1.

## The proximate-risk argument

The first step in formalizing the proximate-risk argument is to decompose the problem by the batch to which you belong:

*In words:* take the weighted average, over all , of the probability that the madman murders at step if you are in batch and are kidnapped; use as the weighting the probability that you are in batch if you are kidnapped.

Now

so

with the second step justified by the fact that and are independent propositions, even when conditioning on ; then

So the proximate-risk argument checks out as valid.

## The proportion-murdered argument

Formalizing this argument proceeds in the same fashion as for the proximate-risk argument, except that we decompose the problem by the time step at which the madman murders:

*In words:* take the weighted average, over all , of the probability that you are in batch if you are kidnapped and the madman murders at step ; use as the weighting the probability that the madman murders at step given that you are kidnapped.

Let’s verify that this really is a weighted average, i.e., that the weights sum to 1. We have

and hence

It is true in general that if then for any whose probability is not 0. So

*In words:* the madman is guaranteed to eventually murder, and conditioning on the fact that you are kidnapped does not change this.

Note that

if the madman murders at step , you are kidnapped if and only if your batch number is or less. Defining

we then find that

(This uses the fact that and are independent propositions even if we condition on .)

*In words:* if the madman murders at step and you are kidnapped, then is the probability that you are in batch , exactly as assumed by the proportion-murdered argument.

We then have

that is, the probability we seek to determine is the weighted average of over all .

So far every step of the proportion-murdered argument has checked out. However, the proportion-murdered argument also relies on a claim that regardless of . That is, if it is known that you are in one of the first batches, it is highly likely that you are in batch itself. If for , then does indeed work out to approximately . But, as previously noted, it cannot be true that for all : the probabilities can sum to 1 only if as . From this we see that as .

## Detail: fixing the proportion-murdered argument

Let’s carry out the rest of the analysis to verify that, even taking the proportion-murdered approach to the question, we still get an answer of .

First, some results we will need:

and

Then

and so

## Concluding comments

The take-away here is this: don’t trust purely verbal arguments when it comes to determining conditional probabilities. It is too easy to make mistakes, even for experts.

Experienced software developers take it for granted that any piece of code that hasn’t been tested is wrong. A similar attitude is warranted towards any argument involving conditional probabilities. The counterpart to testing code is to formalize the argument. In other words, *do the math*, justifying each step of the derivation by appeal to the laws of probability.

## References

**1.** Aaronson, Scott (2013). *Quantum Computing Since Democritus*. Cambridge University Press.

Jacobian says

Thanks, Keith, I feel much safer now 🙂

I’m being mostly serious. I actually heard about this exponential doomsday a couple of years ago and tried to figure out where exactly it’s wrong (if it is), but I didn’t manage to push through the math because I’m lazy. I’m glad someone’s more diligent than I am and better and probability algebra too!