Skip to main content
2 of 3
added 250 characters in body; added 112 characters in body
Did
  • 5.7k
  • 1
  • 30
  • 36

This solution is ugly, sorry.

Proceed by contradiction and assume that 0000, 0001 and 0010 all have probability zero. Every event where one specifies two coordinates and one leaves free the two remaining ones has probability exactly 1/4 because this event involves only the joint distribution of two independent Bernoulli random variables. Write N for an unspecified 0 or 1. Then, for example 00NN has probability 1/4, hence 0011 has probability 1/4 because 00NN is the disjoint union of 0000, 0001, 0010 and 0011.

Likewise : comparing 0011 and NN11, this shows that 0111, 1011 and 1111 have probability zero; comparing 0011 and 0N1N, this shows that 0110 has probability zero; comparing 0011 and N0N1, this shows that 1001 has probability zero; comparing 0011 and N01N, this shows that 1010 has probability zero; and comparing 0011 and 0NN1, this shows that 0101 has probability zero.

At this point we know that 0011 has probability 1/4 and that the rest of the mass is concentrated on 0100, 1000, 1100, 1101 and 1110. But the three first points are all in NN00 hence the sum of their probabilities is at most 1/4. Likewise the two last points are in 11NN hence the sum of their probabilities is at most 1/4. The total mass of the measure is at most 3/4, which is absurd.

In the end, the result is that none of the 16 points may have probability 1/4: otherwise every point in any same plane than this heavy point has probability zero; this leaves only two planes, each with probability at most 1/4, to spend a total mass of 3/4 on.

Edit The condition in the update is equivalent to the condition that none of the 16 points has mass 1/4.

Did
  • 5.7k
  • 1
  • 30
  • 36