English

Full measure universality for Cantor Sets

Classical Analysis and ODEs 2025-12-22 v2

Abstract

We investigate variants of the Erd\H{o}s similarity problem for Cantor sets. We prove that under a mild Hausdorff or packing logarithmic dimension assumption, Cantor sets are not full measure universal, significantly improving the known fact that sets of positive Hausdorff dimension are not measure universal. We prove a weaker result for all Cantor sets AA: there is a dense GδG_\delta set of full measure XRdX\subset\mathbb{R}^d, such that for any bi-Lipschitz function f:RdRdf:\mathbb{R}^d\to \mathbb{R}^d, the set of translations tt such that f(A)+tXf(A)+t\subseteq X is of measure zero. Equivalently, there is a null set BRdB\subset\mathbb{R}^d such that Rd(f(A)+B)\mathbb{R}^d\setminus (f(A)+B) is null for all bi-Lipschitz functions ff.

Keywords

Cite

@article{arxiv.2503.21079,
  title  = {Full measure universality for Cantor Sets},
  author = {Pablo Shmerkin and Alexia Yavicoli},
  journal= {arXiv preprint arXiv:2503.21079},
  year   = {2025}
}

Comments

v2: small issues fixed, main results unchanged. 23 pages

R2 v1 2026-06-28T22:36:02.148Z