A fair lottery is going to be held. There are uncountably infinitely many players and the prize is infinitely good. Specifically, countably infinitely many fair coins will be tossed, and corresponding to each infinite sequence of heads and tails there is a ticket that exactly one person has bought.
Along comes Truthful Alice. She offers you a deal: she’ll take your ticket and give you two tickets. Of course, you go for the deal since it doubles your chances of winning, and Alice gives the same deal to everyone else, and everyone else goes for it. Alice then has everyone’s tickets. She now proceeds as follows. If you had a ticket with the sequence X1X2X3..., she gives you the tickets HHHHHX1X2X3... and HHHHTX1X2X3.... And she keeps for herself all the tickets that start with something other than HHHH.
So, everyone has gone for the deal, and Alice has a 15/16 chance of winning (since that’s the chance that the coin sequence won’t start with HHHH). That’s paradoxical!
This paradox suggests that there may be something wrong with the concept of a fair infinite lottery even when the number of tickets is uncountable.
Here is one way to soften the paradox. If you reason with classical probability theory, without any infinitesimals, you will agree that the deal offered you by Alice doubles your chances of winning, but you will also note that the chance it doubles is zero, and doubling zero is no increase. So if you reason with classical probability theory, you will be indifferent to Alice’s deal. There is still something strange in thinking that Alice is able to likely enrich herself at the expense of a bunch of people doing something they are rationally indifferent about. But it’s less surprising than if she can do so at the expense of people doing what they rationally ought.
There is another thought which I find myself attracted to. The very concept of a fair lottery breaks down in infinite cases. If the lottery were fair, exchanging a ticket for two tickets would be a good deal. But the lottery isn’t fair, because there are no infinite fair lotteries.
In Nelson's approach, at least, I think these kind of paradoxes are blocked by the prohibition on illegal set formation. Charlie Geyer summarizes it as "All objects are internal. Only
ReplyDeleteproperties can be internal or external". I think it is correct to say that since a finite number of tickets in such lotteries still only offer an infinitesimal chance of winning, it is rational to neglect them.
Re conditional probabilities, when I look at
https://www.sciencedirect.com/science/article/pii/S0888613X07001223
which uses a nonstandard arithmetic, "Axiom 9 was added in order to conform with the useful
practice of assuming conditional probability to be 1, whenever the condition has the probability 0". I don't know if that holds for infinitesimal probabilities.
Is the lottery really fair? Grant the usual strong independence of the flips. Then the lottery is visibly fair between any two sequences that differ at only a finite number of places, in the sense that given that given one or the other, each is equally likely. To see this, condition on the flips for which the sequences match. But for sequences that differ at an infinite number of places, this does not work. What, for example, is P(HHH… | HHH… or TTT….)? As far as I can see, it does not follow from the setup.
ReplyDeleteThe holder of HHH… gets her ticket back, and new one. That’s clearly a good deal. Same for HHHHT repeating. Some people get tickets that differ in only finitely many places from their original one. They, too, have a visibly good deal. But for most people, both new tickets differ from the original at infinitely many places. It does not seem obvious that this is a good deal. At least, it does not seem to follow from the fairness and independence of the flips.
I see I am just echoing Benci et al (2018).
ReplyDeleteAnother nice paradox, although I'd guess that this boils down to a Hilbert's Hotel-style paradox with the tickets. It's also like the St Petersburg paradox: people should not play Alice's game, even though it seems like it makes sense. I fail to see why it means that the lottery would not be fair, though.
ReplyDeleteIan:
ReplyDeleteGood question.
Everyone:
I really screwed up in my description of this lottery. I start off by saying that there are infinitely many coin flips. But then I don't say anything about the mechanics of making sure that everyone gets a *different* ticket. Generating such mechanics is nontrivial, and I don't know how to do that!
What would have worked would be to *stipulate* for a reductio that there is a fair lottery with continuum many tickets, which can then be labeled with H-T sequencees. But if I did that, I wouldn't be entitled to assume that that the probability that the first four letters in a winning sequence are HHHH is only 1/16.
In other words, the whole post is just plain confused.
Here is a countable version that seems to avoid some of the side issues.
ReplyDeleteStart with a countable fair infinite lottery on 0, 1, 2, 3 …, defined by the property that for any finite set of possible outcomes, given that the outcome is in the set, all members are equally likely. (Leave aside how or whether this could be achieved.) Independently roll a fair 3-sided die, with faces marked 0, 1, 2. Multiply the lottery outcome by 3 and add the die outcome. The resulting lottery is fair in the sense given above. It has the extra property that P(0 mod 3) = P(1 mod 3) = P(2 mod 3) = 1/3.
Suppose that all the tickets in the new lottery are held by a countable infinity of players, one ticket per player. As in your example, Alice offers each player a two-tickets-for-one swap. All the players accept. Alice makes the swaps Hilbert’s Hotel style: in return for ticket N, she gives tickets 3N+1 and 3N+2. She keeps the tickets with numbers divisible by 3 for herself.
It seems that each player has improved her chances of winning, or a least made them no worse. (Given that one of N, 3N+1 and 3N+2 win, N has probability 1/3, 3N+1 or 3N+2 has probability 2/3.) But collectively, the chance of any player winning has fallen from 1 to 2/3.
Alice is the only one with a infinite number of tickets...
ReplyDelete