A new dynamical proof of the Shmerkin-Wu theorem

DOI10.3934/JMD.2022001MaRDI QIDQ2076562zbMATH OpenOpenAlexFDO

Authors Tim Austin

Publication date 22 February 2022

Published in Journal of Modern Dynamics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2009.01292

zbMATH Keywords

entropyFurstenberg intersection conjectureHausdorff dimensionintersections of Cantor setsmultiplication-invariant setsShannon-McMillan-Breiman theorem

Mathematics Subject Classification ID

Metric theory of other algorithms and expansions; measure and Hausdorff dimension (11K55) Integration and disintegration of measures (28A50) Fractals (28A80) Dimension theory of smooth dynamical systems (37C45)

Abstract: Let $a<b$ be multiplicatively independent integers, both at least $2$. Let $A,B$ be closed subsets of $[0,1]$ that are forward invariant under multiplication by $a$, $b$ respectively, and let $C:=AimesB$. An old conjecture of Furstenberg asserted that any planar line $L$ not parallel to either axis must intersect $C$ in Hausdorff dimension at most $maxdimC,1-1$. Two recent works by Shmerkin and Wu have given two different proofs of this conjecture. This note provides a third proof. Like Wu's, it stays close to the ergodic theoretic machinery that Furstenberg introduced to study such questions, but it uses less substantial background from ergodic theory. The same method is also used to re-prove a recent result of Yu about certain sequences of sums.

Review text

Suppose \(a\) and \(b\), where \(1<a<b\), are multiplicatively independent integers and \(A,B\) are closed subsets of \([0, 1]\) such that are forward invariant under multiplication by \(a, b\) respectively, and also suppose that \(C:=A \times B\). The present paper is devoted to a new proof of the following theorem named as the Shmerkin-Wu theorem or the Furstenberg conjecture: Theorem. If \(L\) is any line not parallel to either coordinate axis, then \[ \dim_H (C \cap L) \le \max\{\dim_H (C), 1\} -1, \] where \(\dim_H(\cdot)\) is the Hausdorff dimension of a set. The special attention is given to known two proofs of the last theorem which were given by \textit{P. Shmerkin} [Ann. Math. (2) 189, No. 2, 319--391 (2019; Zbl 1426.11079)] and \textit{M. Wu} [ibid. 189, No. 3, 707--751 (2019; Zbl 1430.11106)]. Techniques of these proofs and some applications are briefly considered. Certain auxiliary notions and results of the geometric measure theory, are briefly described. One can note that a generalization of the Marstrand theorem and adic versions of the mass distribution principle are considered. A new proof of Yu's theorem on certain sequences of sums, is given. It is useful for illustrating the approach to the main proof. The third proof of the main theorem is presented with explanations.

Recommendations

• A proof of Furstenberg's conjecture on the intersections of \(\times p\)- and \(\times q\)-invariant sets
• Local entropy averages and projections of fractal measures
• An improvement on Furstenberg's intersection problem
• Generalizations of Furstenberg's Diophantine result
• On Furstenberg's intersection conjecture, self-similar measures, and the \(L^q\) norms of convolutions

Cites work

• A proof of Furstenberg's conjecture on the intersections of \(\times p\)- and \(\times q\)-invariant sets
• Bernoulli decomposition and arithmetical independence between sequences
• Disjointness in ergodic theory, minimal sets, and a problem in diophantine approximation
• Fractal geometry. Mathematical foundations and applications
• scientific article; zbMATH DE number 3331653 (Why is no real title available?)
• On Furstenberg's intersection conjecture, self-similar measures, and the \(L^q\) norms of convolutions

Cited in

(10)

• A proof of Furstenberg's conjecture on the intersections of \(\times p\)- and \(\times q\)-invariant sets
• Lectures on dynamics, fractal geometry, and metric number theory
• An improvement on Furstenberg's intersection problem
• scientific article; zbMATH DE number 7686273 (Why is no real title available?)
• A combinatorial proof of a sumset conjecture of Furstenberg
• Slices and distances: on two problems of Furstenberg and Falconer
• Distribution of integers with digit restrictions via Markov chains
• Large slices through self affine carpets
• New results on embeddings of self-similar sets via renormalization
• Hitting times of shrinking targets: transversality and an ergodic theorem

This page was built for publication: A new dynamical proof of the Shmerkin-Wu theorem

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