VincentYu comments on Solving the two envelopes problem - Less Wrong

32 Post author: rstarkov 09 August 2012 01:42PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (33)

You are viewing a single comment's thread.

Comment author: VincentYu 04 August 2012 05:58:31PM *  16 points [-]

But we know from basic probability theory that for two independent random variables, E(X/Y) > 1 does actually imply E(X) > E(Y).

This does not follow; a counterexample:

Suppose X and Y are independent random variables, with X taking the values {2,100}, and Y the values {1,150}, each with equal probability (i.e., each of X and Y follows the Bernoulli distribution with p = 0.5). Then we have
E(X/Y) = (2/1 + 100/1 + 2/150 + 100/150) / 4 = 25.67 > 1,
but
E(X) = 51 < 75.5 = E(Y).

Keep in mind that the equation E(1/Y) = 1/E(Y) does not hold in general, because taking the inverse is not a linear transformation. To evaluate the expectation after a nonlinear transformation, one requires not just the orignal expectation, but also the pdf of the distribution. (I can't be sure this is what you did, but misapplying this gives: E(X/Y) = E(X)E(1/Y) = E(X)/E(Y). The first equality holds if X and Y are independent or by definition if X and 1/Y are uncorrelated, but the second equality does not hold in general.)

Comment author: Manfred 04 August 2012 07:50:03PM *  3 points [-]

Thanks, good point. Hopefully I don't turn out to be falsely complacent about this conclusion too :)

Comment author: rstarkov 05 August 2012 06:58:22PM 2 points [-]

Addressed by making a few edits to the "Solution" section. Thank you!

Comment author: tgb 04 August 2012 06:35:40PM 2 points [-]

An even easier example: X is always -4 and Y is always -2.

Comment author: Manfred 05 August 2012 05:04:04AM 4 points [-]

Since amounts of money are positive, this is a counterexample to a mistake not in the original article.

Comment author: VincentYu 05 August 2012 12:10:57AM 2 points [-]

Thanks, this is indeed a simpler counterexample. Note that it is a counterexample to a different error in the original statement. In particular, the error you've caught here is that from
X/Y > 1,
one cannot conclude that
X > Y.