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.