The full-measure universality and strongly meager sets conjecture

A set XRX\subset\mathbb{R} is full measure universal if every set of full Lebesgue measure contains an affine copy λX+t\lambda X+t with λR{0}\lambda\in\mathbb{R}\setminus\{0\} and tRt\in\mathbb{R}. A set is strongly meager if E+MRE+M\neq\mathbb{R} for every Lebesgue measure zero set MM. Full-measure universality conjecture. The following assertions hold:

  1. A set is full measure universal if and only if it is strongly meager.
  2. If XX is a perfect set in R\mathbb{R}, then XX is not full measure universal.

These assertions connect the measure-universality problem with the dual Borel viewpoint. The source states them as concluding conjectures and gives no resolution.

Sources & referencesView supporting material

Primary source

Yeonwook Jung, Chun-Kit Lai and Yuveshen Mooroogen, “Fifty years of the Erdős similarity conjecture”, arXiv:2412.11062 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.