Additive and geometric transversality of fractal sets in the integers

DOI10.1112/JLMS.12902arXiv2007.05480MaRDI QIDQ6344843FDOQ6344843

Authors: Daniel Glasscock, Joel Moreira, Florian Karl Richter 

Publication date: 10 July 2020

Abstract: By juxtaposing ideas from fractal geometry and dynamical systems, Furstenberg proposed a series of conjectures in the late 1960's that explore the relationship between digit expansions with respect to multiplicatively independent bases. In this work, we introduce and study - in the discrete context of the integers - analogues of some of the notions and results surrounding Furstenberg's work. In particular, we define a new class of fractal sets of integers that parallels the notion of $imesr$-invariant sets on the 1-torus and investigate the additive and geometric independence between two such fractal sets when they are structured with respect to multiplicatively independent bases. Our main results in this direction parallel the works of Furstenberg, Hochman-Shmerkin, Shmerkin, Wu, and Lindenstrauss-Meiri-Peres and include: -a classification of all subsets of the positive integers that are simultaneously $imesr$- and $imess$-invariant; -integer analogues of two of Furstenberg's transversality conjectures pertaining to the dimensions of the intersection $AcapB$ and the sumset $A+B$ of $imesr$- and $imess$-invariant sets $A$ and $B$ when $r$ and $s$ are multiplicatively independent; and -a description of the dimension of iterated sumsets $A+A+cdots+A$ for any $imesr$-invariant set $A$. We achieve these results by combining ideas from fractal geometry and ergodic theory to build a bridge between the continuous and discrete regimes. For the transversality results, we rely heavily on quantitative bounds on the $L^q$-dimensions of projections of restricted digit Cantor measures obtained recently by Shmerkin. We end by outlining a number of open questions and directions regarding fractal subsets of the integers.

Recommendations

• On the dimension of iterated sumsets
• Hausdorff dimension for fractals invariant under multiplicative integers
• Dimensions of some fractals defined via the semigroup generated by 2 and 3
• scientific article; zbMATH DE number 7686273
• On arithmetic sums of fractal sets in \(\mathbb{R}^d\)

Mathematics Subject Classification ID

Radix representation; digital problems (11A63) Metric theory of other algorithms and expansions; measure and Hausdorff dimension (11K55) Fractals (28A80) Dimension theory of smooth dynamical systems (37C45)

Cited In (2)

• A discrete Marstrand type slicing theorem with the mass dimension
• A combinatorial proof of a sumset conjecture of Furstenberg

This page was built for publication: Additive and geometric transversality of fractal sets in the integers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6344843)