SYMMETRIC CANTOR MEASURE, COIN-TOSSING AND SUM SETS

Construct a probability measure mu, on the circle by successive removal of middle third intervals with redistributions of the existing mass at the nth stage being determined by probability p(n) applied uniformly across that level. Assume that the sequence {p(n)} is bounded away from both 0 and 1. Then, for sufficiently large N, (estimates are given) the Lebesgue measure of any algebraic sum of Borel sets E-1, E-2 ,..., E-N exceeds the product of the corresponding mu(E-i)(alpha), where a is determined by N and {p(n)}. It is possible to replace 3 by any integer M >= 2 and to work with distinct measures mu(1), mu(2), ..., mu(N). This substantially generalizes work of Williamson and the author (for powers of single-coin coin-tossing measures in the case M = 2) and is motivated by the extension to M = 3. We give also a simple proof of a result of Yin and the author for random variables whose binary digits are determined by coin-tossing.