Scaling scenery of $(\times m,\times n)$ invariant measures

TL;DR

This paper investigates the scaling behavior and geometric structure of Bernoulli measures invariant under a non-conformal toral endomorphism, using ergodic CP-chains to extend projection theorems and address Falconer's distance set conjecture.

Contribution

It introduces an ergodic theoretic framework using CP-chains to analyze invariant measures and generalizes projection theorems for Bernoulli measures, advancing understanding of fractal dimensions.

Findings

Describes scaling statistics via ergodic CP-chains.

Generalizes projection theorems for Bernoulli measures.

Verifies Falconer's distance set conjecture for various fractals.

Abstract

We study the scaling scenery and limit geometry of invariant measures for the non-conformal toral endomorphism $(x,y) \mapsto (mx \mod 1,ny \mod 1)$ that are Bernoulli measures for the natural Markov partition. We show that the statistics of the scaling can be described by an ergodic CP-chain in the sense of Furstenberg. Invoking the machinery of CP-chains yields a projection theorem for Bernoulli measures, which generalises in part earlier results by Hochman-Shmerkin and Ferguson-Jordan-Shmerkin. We also give an ergodic theoretic criterion for the dimension part of Falconer's distance set conjecture for general sets with positive length using CP-chains and hence verify it for various classes of fractals such as self-affine carpets of Bedford-McMullen, Lalley-Gatzouras and Bara\'nski class and all planar self-similar sets.