The Erdős similarity conjecture asserts that no infinite subset of is a measure universal
set. Equivalently, for each infinite set
, some measurable
set of positive Lebesgue
measure contains no copy
with
.
Both signs of
are allowed.
Jiang and Xi (2026) proved that if ,
, and
,
then for every
there is a compact set
with Lebesgue
measure greater than
containing no set
with
and
.
Monotonicity of the sequence is not required.