Exchange paradox

from Wikipedia, the free encyclopedia

The exchange paradox (or envelope paradox ) describes a special mathematical situation in which the naive calculation with expected values , in particular the application of the principle of indifference , leads to a contradiction to common sense . It is similar to the two-slip game and the goat problem , but this has a different probabilistic background.

history

The exchange paradox can be traced back at least to 1953 and was formulated as follows in a book by the Belgian mathematician Maurice Kraitchik :

“Two equally wealthy people meet and want to compare the contents of their wallets. Nobody knows how much money the other has in the exchange. They agree on the following game: The one who has less money in the purse wins the contents of the other's purse. If both have the same amount, everyone keeps their money. Now one of the two could make the following thought: “Suppose I have the amount A in my purse. Then that's the maximum I can lose. However, with probability 0.5 I win and have then more than 2 A . So the game is good for me. ”The other could argue the same way. For reasons of symmetry, the game has to be fair. What is the fallacy of this argument? "

Martin Gardner spread the riddle in 1982 in his book Aha! Gotcha , also in the form of a wallet game. The current form with the two envelopes was formulated in 1989 by Barry Nalebuff .

The exchange situation

Mr Lemke would like to give Mr Schmidt a present and gives him two envelopes with the words “I'm giving you one of these envelopes. In both there is an amount of money, in one twice as much as in the other. You can open an envelope and then decide which of the two envelopes to take. "

Mr. Schmidt opens a randomly selected one of the two envelopes, finds 100 euros, for example, and thinks: “I have 100 euros in this envelope. If I trade, there is a 50% probability that I have 200 euros and the same probability that I have 50 euros. This makes an expected value of 125 euros. "

After this consideration, the swap would be worthwhile.

The paradox

The following consideration allegedly takes Mr. Schmidt's bill ad absurdum : If Mr. Schmidt's bill for any amount yielded the result that exchanging is worthwhile, he would not have to open the envelope at all, but could take the other envelope straight away. But it cannot be that the other envelope is always better, since both envelopes are obviously of equal value before opening.

The thought trap

A possible thought trap is that Mr. Schmidt uses either the principle of indifference or the conditional probability incorrectly, i.e. assumes that the 100 euros represent half or double the amount with a 50-50 probability. Depending on Mr Lemke's selection process, this may be correct for this amount, but not for all amounts. First of all, there is actually a 50% probability that the envelope with the smaller or larger amount will be opened. It is therefore either the 50/100 or the 100/200 euro combination. However, it cannot be concluded from this that the probabilities for the two combinations are the same under the condition that 100 euros have been found. Nothing is known about the probabilities of these cases, and the principle of indifference, based on a revealed amount, cannot be  applied to the events “double amount” ( ) and “half amount” ( ) for fundamental reasons. In the Think Trap Collection, this is illustrated by a few calculation examples.

On the other hand, it is entirely possible that, based on the value of the opened envelope, the conditional expected value of the unopened envelope is always higher; but only if the expected value of the unopened envelope is greater than the expected value of the opened envelope or if both expected values ​​are infinite.

Conditional Probability Analysis

The calculation with a 50-50 probability thus arises from an inadmissible application of the principle of indifference. However, the calculation of the expected value can also lead to the apparent contradiction with other probabilities that an exchange would always be indicated. In order to generally make a meaningful exchange decision, Mr. Schmidt must keep in mind that he must use conditional probabilities when including the amount in the opened envelope in his invoice. The following section contains a formal analysis of whether, given a given probability distribution, an exchange can make sense for certain amounts and whether there can even be a probability distribution in which an exchange is always indicated. Whether this probability distribution is a subjective assessment by Mr. Schmidt or whether a probability distribution of the amounts is actually known is irrelevant for the analysis. For example, the following notation can be used for this:

  • the random variable denotes the smaller amount in the envelopes (the amount is then in the other envelope ).
  • the random variable denotes the amount that Mr. Schmidt finds in the envelope that was opened first.
  • the random variable denotes the amount that is in the other, still unopened envelope.

Since both envelopes are chosen equally likely, have and the same distribution , but are due to each other stochastically dependent . The following applies to the expected values . Mr. Schmidt obviously wants to calculate the expectation of if he knows, i.e. the conditional expectation .

Discrete distributions

First of all, the case should be treated that (and thus also and ) has a discrete distribution . In this case, denote the probability that the smaller amount in the envelopes is the same . For the distribution of and then follows

In the discrete case, the required conditional expectation applies

The conditional probability is only different, according to Problem of zero if either or . In these cases, the following applies to the probability that Mr. Smith will find twice the amount in the other envelope:

The conditional probability that Mr. Schmidt will find half the amount in the other envelope is complementary to this, so the following applies:

If the expected value of the distribution exists with the correct probabilities, one would get

Accordingly, swapping would pay off if and only if ; this is the case if and only if applies. Distributions that fulfill this condition for all possible ones can be constructed, but then have no finite expectation value. For such a priori distribution, the given advantage of the exchange decision for each value found in the opened envelope is not intuitive, but not paradoxical.

Of course, the assumption that there can be any amount of money in the envelope contradicts the practical restriction that no one, including Mr. Lemke, has any amount of money available.

example

If one assumes a probability distribution with which Mr. Lemke distributes the money in the envelopes, the situation can be simulated very well. For example, suppose he determines the amount by rolling a fair dice. If the dice shows eyes, he puts euros in one envelope and euros in the other. Mr. Schmidt will then find the amount 25 euros in the envelope with probability, one of the amounts 50, 100, 200, 400 or 800 euros each and again with the probability 1600 euros. If he does not exchange, the expected value of the money gift is therefore

If Mr. Schmidt exchanges in any case, his expected value does not change, since he also exchanges the amount of 1600 euros in particular, although in this case he cannot win anything. However, if Mr. Schmidt suspects that there is hardly more than 1000 euros in the envelope and therefore decides to exchange if and only if there is a maximum of 500 euros in the envelope, the probabilities change: After the exchange, Mr. Schmidt then still has with probability the amount of 25 euros in the envelope, also with probability each of the amounts 50, 100 or 200 euros, the amount of 400 euros however only with probability (since Mr. Schmidt no longer exchanges at 800 euros), but with probability the Amount of 800 euros and again with a probability of 1600 euros. The expected value of the money gift is now

If Mr. Schmidt assesses the situation better and decides not to swap until 1000 euros or more, he can even increase the expected value to 460.62 euros; but if it becomes too greedy and exchanges up to 2000 euros, for example, it falls back to the initial value of 393.75 euros.

It is of course difficult for Mr Schmidt to assess Mr Lemke correctly; What is essential, however, is that the paradox disappears as soon as one assumes any concrete probability distribution. Depending on Mr. Schmidt's exchange strategy, the expected value of the monetary gift changes; however, the “always exchange” strategy is just as good (or bad) as the “never exchange” strategy.

Continuous distributions

In the event that the smaller amount of money (and thus also and ) has a continuous distribution, the qualitative results are essentially the same, but the above formulas cannot simply be adopted analogously for the discrete case.

In addition, it must be noted that in the continuous case the conditional event has the probability zero for all , so that the elementary definitions for the conditional probability and the conditional expectation can no longer be used, but more abstract versions must be used.

Let it denote the density function of . The variables and then both have the same density and it applies

In comparison to the discrete case, the factor may initially appear surprising. However, the function defined by the “analog” expression would not even be a probability density. The correct formula can be obtained, for example, by looking at the distribution functions and . Since the selection of the envelopes is made with the same probability and independently of , the following applies

so

Differentiating according to results because and the above formula for .

As a conditional probability that Mr. Schmidt will find twice the amount in the other envelope can now

and accordingly for the other case

be set.

So you get

as a possible version of the conditional expectation. So if and only if is.

If, for example, a constant uniform distribution is assumed over the interval , the result is

The first and third cases are clear: if there is less than 50 euros in the opened envelope, it must be the smaller of the two amounts, if it is more than 800 euros it must be the larger. In the middle case, on the other hand, a comparison with the discrete case is interesting, because a discrete uniform distribution of on the set results in this area only for even , but for odd as a conditional expected value.

There are also continuous distributions, so that formally applies to all . As in the discrete case, however , it then has no finite expectation value. An example is the distribution of with the density for (and otherwise). Formally, this applies to everyone

Explanation by the formula of the total expected value

The discrete case can be clearly explained by the formula of the total expected value. For this purpose, the initial situation is slightly generalized. It is only assumed in advance that the two envelopes are simultaneously filled with money via a random process and that one of the two envelopes is then selected and opened. To do this, the notation is slightly changed:

  • the discrete random vector denotes the amounts of money that are in the two envelopes.
  • the random variable denotes the amount in the opened envelope, the random variable the amount in the other, unopened envelope.
  • and are the probabilities that the first and second envelopes will be opened, respectively.

It should and be and the expected values and should exist. Then the expected values ​​from and to are calculated :

First it is assumed that the opened envelope is chosen at random. Then the following applies and both expected values ​​are equal:

The random selection of the envelopes can always be achieved by changing the distribution of . Therefore, for the following considerations o. B. d. A. and be accepted. So the first envelope is always opened and it is , and thus .

It is now assumed that for every possible amount of money in the opened envelope, the conditional expected value of the other envelope is always greater:

This results automatically if one assumes that the other envelope always contains half or double the amount and that the conditional probabilities for both event possibilities are always evenly distributed:

Because then the conditional expected value of the other envelope is calculated as:

From the formula of the total expected value it now follows:

Finally, it is assumed that for every possible amount of money in the other envelope, the conditional expected value of the opened envelope is always greater:

This results automatically if one assumes that the opened envelope always contains half or double the amount and that the conditional probabilities for both event possibilities are always equally distributed:

Because then the conditional expected value of the opened envelope is calculated as:

From the formula of the total expected value it now follows completely analogously:

The exchange paradox lives solely from the fact that these three assumptions are incompatible:

  • If one assumes that the opened envelope is selected at random, then it must be.
  • If one assumes that the conditional expected value of the other envelope is always greater than the amount of money in the opened envelope, then it must be.
  • If one assumes that the conditional expected value of the opened envelope is always greater than the amount of money in the other envelope, then it must be.

However, the insufficient reason principle offers a solution to this problem. It just means that if no further information is available, a discrete uniform distribution for the unknown occurrence probabilities should be applied. However, there is a reason not to apply the equal distribution if one already has the information that the opened envelope will be selected randomly and that therefore is: In order not to get into the contradiction that also or is. If, instead of the uniform distribution, one assumes that the conditional probability for the smaller amount of money is always twice as large as that for the larger amount of money, this contradiction does not arise because from

always follows

and thus also

.

Exactly results from

always

And also

.

A simple example illustrates how far one can be wrong with the apparently plausible assumption of an equal distribution for the conditional probabilities. The envelopes are always filled with 100 and 200 euros. A bivariate two-point distribution of :

Then the following conditional probabilities result:

These conditional probabilities are miles away from the assumed uniform distribution.

Application of the two-slip game

In the above examples it was assumed that the principle according to which the amounts of money are distributed is known. With this assumption, it is easy to specify winning strategies. The problem formulation does not contain any information about the distribution. However, there is also a general winning strategy for Mr. Schmidt that does not require this assumption. This strategy consists in the fact that Mr. Smith chooses a random number S before he opens the envelope. The probability distribution of S must have a density that is truly greater than 0 between 0 and infinitely, but is otherwise arbitrary. Then he opens the envelope and finds the amount n. If the amount n is less than or equal to S, he swaps the envelope; if the amount n is greater than S, it keeps the envelope. This strategy goes back to Thomas M. Cover . As explained in the two-slip game article , this theoretically increases his chances of getting the larger amount.

Assume that Mr. Schmidt decides to use the two-slip game. If the envelopes contain the amounts and and if Mr.Smith opens the envelope with its contents first , he will switch, if so . The conditional expectation of his gain is then

If he first opens the envelope with its contents , he changes, if so . The conditional expectation of his gain is then

Overall, the conditional expectation is for fixed content, but before choosing the first cover

If he always swaps or he never swaps, his expected value is

When using the two-slip game, the expected value is up

higher than with the "never swap" or "always swap" approach.

example

For selected Mr. Schmidt, for example, a random variable S, which exponentially distributed with expected value in 1000, ie . If the amounts of money are evenly distributed across the amount as in the example given above , the overall expected value of the gift of money is as follows:

25th 50 1/6 0.975 49.382 0.951 26,219 37,801 37.5 6,300
50 100 1/6 0.951 97.561 0.904 54.758 76.160 75.0 12.693
100 200 1/6 0.904 190.484 0.819 118.127 154,305 150.0 25.718
200 400 1/6 0.819 363.746 0.670 265,936 314,841 300.0 52.473
400 800 1/6 0.670 688.128 0.449 620.268 644.198 600.0 107.366
800 1600 1/6 0.449 1159,463 0.202 1438,483 1298.973 1200.0 216.496
total 1 421,046

The expected value of the cash gift is 421.046 euros with this approach. That is less than with the optimal strategy (swap less than 1000 euros), where the expected value is 460.62 euros; but in any case more than with the “never swap” or “always swap” procedure, in which the expected value is 393.75 euros. As can be seen from the table, is greater than in each row . The exact expected value naturally depends heavily on the choice of distribution of , but is always greater than with the "never swap" or "always swap" procedure.

See also

Related topics where you can make the optimal decision about the remaining problem from partial information :

Web links

Individual evidence

  1. ^ Maurice Kraitchik: La mathématique des jeux. 1953
  2. Martin Gardner: Aha! Gotcha. 1982
  3. Barry Nalebuff: Puzzles: the other person's envelope is always greener. In: Journal of Economic Perspectives. Volume 3, 1989, yale.edu (PDF; 205 kB)
  4. Thought Traps and Paradoxes
  5. Thought Traps and Paradoxes: Exchange Paradox (Envelope Paradox)
  6. Thought Traps: Exchange Paradox. (PDF) hs-fulda.de
  7. a b c d David J. Chalmers: The Two-Envelope Paradox: A Complete Analysis?
  8. ^ Robert B. Ash: Real Analysis and Probability. Academic Press, New York 1972, ISBN 0-12-065201-3 , p. 246, 6.3.5 (2)
  9. Christoph Luchsinger: Introduction to Statistics . Lemma 3.12, p. 70
  10. Franz Thomas Bruss : Cheating the uncertainty. In: Spectrum of Science . Volume 6/2000, pp. 106-107.
  11. ^ R. Christensen, J. Utts: Bayesian Resolution of the Exchange Paradox. In: The American Statistician. 1992
  12. ^ Dov Samet, Iddo Samet, David Schmeidler: One Observation behind Two-Envelope Puzzles. (PDF; 89 kB)