For every eta in (0,1), there is a compact subset of [0,1] of measure greater than 1−eta that contains no affine copy of {2^(−n):n>=1} under any translation or nonzero real dilation of either sign.
For every eta in (0,1), there is a compact subset of [0,1] of measure greater than 1−eta that contains no affine copy of {2^(−n):n>=1} under any translation or nonzero real dilation of either sign.
For every eta in (0,1), there is a compact subset of [0,1] of measure greater than 1−eta that contains no affine copy of {2^(−n):n>=1} under any translation or nonzero real dilation of either sign.
If correct, proves that the dyadic sequence is not measure universal, a geometric-progression case of the Erdős similarity conjecture.
Can a compact set of almost full measure avoid every affine copy of the dyadic sequence?
Publication dates and editorial changes.
Allow optional Google Analytics to help improve AIProofWatch? Privacy details.
