Quantum Suicide and Aumann's Agreement Theorem

This scenario does not satisfy the premises for Aumann's Agreement Theorem. There is no common knowledge since in almost all observations by Alice, Bob is dead and in no state to have common knowledge with Alice of anything at all. Even without invoking quantum suicide and anthropic conditionals, the second simple coin-toss example in Aumann's original paper shows a case where the participants do not have common knowledge and hence do not necessarily agree on posterior probabilities.

Alice is right and Bob is wrong, here.

The simple problem is that Bob failed to apply a correction for selection effect to how he updates P(Copenhagen).

The less simple problem is that he's already sneakily applied a correction for selection effect to P(alive|Everettianism), and doesn't even realize it.

I think the setup doesn't quite make sense for three reasons:

1 - The Born rule in Many worlds

I know this isn't the main point of this post at all, but its important (I think) to remember that Bobs 99.99% "probability" argument doesn't really make sense within any widely accepted version of many worlds.

Within Copenhagen (or Qubism, or most quantum interpretations) it is perfectly reasonable to posit a quantum state that responds to a measure with 99% chance of getting "heads", eg.  |psi> = sqrt(0.99) |1> + rest |0>.

However, many worlds claims that when this 99 to 1 state is measured in the computational basis the universe branches in 2 in one of which Bob sees the 1 and in the other he sees the 0. Experiment suggests that we see the |1> with 99% probability (this is the Born rule), which puts many worlds in a slightly odd place. There are (in my opinion rubbish) arguments that the universe splits in 2, but one branch is somehow more heavy (by factor 99) than the other. The (in my opinion) obvious suggestion that the universe splits into 100 branches, in 99 of which Bob sees a 1 and in one of which he sees a 0 is not widely popular, I think because people are worried about irrational numbers. Possibly they are also worried about what it actually means on a philosophical level to posit 99 different copies of a single world, all of which are completely impossible to distinguish from one another, even in principle. How is that actually different from 1 copy?

2 - Subjective Death

Lets say that we either find a way of incorporating the Born rule into many worlds that is fully convincing, or else we just sidestep the issue by using a very large number of 50/50 universe branches and kill Bob in all but one of them.

We now encounter what I see as a fundamental issue with the setup. Lets say that the quantum random number generator gives Bob a lethal dose of poison with 99.99% probability. He then experiences a 10 minute dying process from the poison. In the low-weight world branch where the machine doesn't inject Bob does he have to wait 10 minutes for the versions of him in other worlds to die before he can believe in many worlds? If the machine had a tiny chance of giving him the poison then the poor, unlucky, envenomed Bob would not conclude that many worlds was true. So why the asymmetry in reasoning between dying and surviving?

This is a long-winded way of saying the post-selection to only worlds in which Bob survives is very suspect. Even if we accept that many worlds is true, then we end up in a state where their is one living Bob and 9999 dead (or dying) Bobs. I reject the supposition that the living Bob should update towards believing in many worlds. I also don't believe that the dead (or dying) Bob's should update against many worlds if they get the chance. If we assume that one day in the future technological resurrection [1] might be possible then suddenly those 9999 dead Bobs might get the chance to update against many worlds.

3 - Is "quantum" actually the source of the weirdness here

Leaving aside many worlds and its confusing-ness. Think about the conservation of expected evidence https://www.lesswrong.com/posts/jiBFC7DcCrZjGmZnJ/conservation-of-expected-evidence   [LW · GW]and how it is to be considered in cases where one (completely classical) possible outcome kills you immediately and prevents you from updating your beliefs. A man is playing Russian roulette with a classical pistol that kills him with 1/6 probability. He tells you that, if he shoots, he can always update towards knowing the bullet wasn't in that chamber, because otherwise he wouldn't be able to update at all. I am interested if you think that the quantum nature of the problem is actually introducing anything extra over this Russian roulette setup?

[1] or redaction! https://www.lesswrong.com/posts/CKgPFHoWFkviYz7CB/the-redaction-machine [LW · GW]

Conditional on Many-Worlds being true, Bob expects to survive with 100% probability. 

This is the false bit. "Bob expects to survive" is not a thing that makes sense in Bobs ontology. Bob expects 99.9% of him to die and 0.01% to survive (and future anticipation expects rather than "expectation value" expects).

Copenhagen "bob survives" is not describing the same scenario as Many-Worlds "bob survives" so they are not directly comparable. Think of the 0.01% as 1 in 10 000 possible outcomes. Bob believes that all the 10 000 happen and Alice thinks only one of them is real and the rest are fictious and never really existed. Alice can make easy identification before split and after split. But if Bob wants to identify with the 10 000 versions he probably has no reason to be favoring some over others. And for example if he is ignorant which 1 of the 10 000 survives it becomes tricky to what thing "me after this event" refers.

If one uses the word "apple" to mean a fruit and another uses it to mean "computer" there is no agreement because they are not talking about the same thing.

The surprise here depends on the probability of survival. If half of people on Earth were Bobs, and other were Alices, then 0.01 chance of survival means that 400 000 Bobs will survive. There is no surprise that some of them survive, neither for Bob nor for Alice.

For example, if you survive until 100 years old, it is not an evidence for quantum immortality.

If, however, survival chance is 1 in 10e12, then even for the whole earth there likely be no Bobs in Copenhagen interpretation. So the existing of Bob is an evidence against it. 

For example, if I naturally survive until 150 years old by pure chance, it is evidence for MWI. 

This experimental outcome will not produce a disagreement between Alice and Bob. As long as they are following the same anthropic logic. 

When saying Bob's chance of survival is 100% according to MWI,  the statement is made from a god's eye view discussing all post-experiment worlds: Bob will for sure survive: in one/some of the branches. 

By the same logic, from the same god's eye view, we can say, Alice will meet Bob for sure: in one/some of the branches, if the MWI is correct. 

By saying Alice shall see Bob with a 0.1% chance no matter if MWI is correct, you are talking about the specific Alice's first-person perspective, which is a self-locating probability according to MWI. As in "what is the probability I am the Alice who's in the branch where Bob survives?". 

By taking the specific subject's perspective, Bob's chance of survival is also 0.1% according to MWI. As in "what is the probability that I am actually in the branches where Bob survives?" 

As long as their reasonings are held at the same level, their answers would be the same. 

The real kicker is whether or not they should actually increase their confidence in MWI after the experiment ends (especially in the case where Bob survives). The popular anthropic camps such as SIA seem to say yes. But that would mean any quantum event, no matter the outcome would be evidence favouring MWI. So an armchair philosopher could say with categorical confidence that MWI is correct. (This is essentially the same problem as Nick Bostrom's Presumptuous Philosopher but in the quantum worlds) So SIA supporters and Thirders have been trying to argue their positions do not necessarily lead to such an update (which they called the naive confirmation of the MWI). Whether or not that defence is successful is up for debate. For more information, I recommend the papers by Darren Bradley and Alastar Wilson. 

On the other hand, if you think finding oneself exist is a logical truth, thus has 100% probability, then it is possible to produce disagreement against Aumann's Agreement Theorem. And the disagreement is valid and can be logically explained. I have discussed it here. I think this is the correct anthropic reasoning. However, this idea does not recognize self-locating probability thus fundamentally incompatible with the MWI. Therefore if Alice and Bob both favour this type of anthropic reasoning, they would still have the same confidence in the validity of MWI, 0%. 

Conditional on Many-Worlds being true, Bob expects to survive with 100% probability.

That can only be subjective probability, since MWI has the same objective probabilities as CI.

Aumann's theorem requires that both agemys have the same evidence, as well as the same priors. But the subjective version of "Bob survives" is not the same evidence as the objective version.

Shouldn't Bob not update due to e.g., the anthropic principle?