Table of Contents
Fetching ...

Projection theorems with countably many exceptions and applications to the exact overlaps conjecture

Meng Wu

TL;DR

The paper advances projection theory for fractal measures by establishing that, under a $\beta$-transversality regime, the set of parameters or directions yielding a dimension drop is at most countable. It leverages CP-distributions, Hochman’s entropy inverse theorem, and additive combinatorics to prove dimension stability for projections of self-similar measures and for CP-distributions, with broad applications to packing and Assouad dimensions. Key contributions include a precise countability result for exceptional projections, a sharp projection theorem for measures with uniform entropy dimension, and a corresponding sharp result for Assouad-dimension projections, along with a detailed organizational framework and proofs. The results have implications for the exact overlaps conjecture and provide robust tools for analyzing projections in fractal geometry and dynamical systems, with potential reach to a wide class of self-similar and regular measures.

Abstract

We establish several optimal estimates for exceptional parameters in the projection of fractal measures: (1) For a parametric family of self-similar measures satisfying a transversality condition, the set of parameters leading to a dimension drop is at most countable. (2) For any ergodic CP-distribution $Q$ on $\mathbb{R}^2$, the Hausdorff dimension of its orthogonal projection is $\min\{1, \dim Q\}$ in all but at most countably many directions. Applications of our projection results include: (i) For any planar Borel probability measure with uniform entropy dimension $α$, the packing dimension of its orthogonal projection is at least $\min\{1, α\}$ in all but at most countably many directions. (ii) For any planar set $F$, the Assouad dimension of its orthogonal projection is at least $ \min\{1, \dim_{\rm A} F\} $ in all but at most countably many directions.

Projection theorems with countably many exceptions and applications to the exact overlaps conjecture

TL;DR

The paper advances projection theory for fractal measures by establishing that, under a -transversality regime, the set of parameters or directions yielding a dimension drop is at most countable. It leverages CP-distributions, Hochman’s entropy inverse theorem, and additive combinatorics to prove dimension stability for projections of self-similar measures and for CP-distributions, with broad applications to packing and Assouad dimensions. Key contributions include a precise countability result for exceptional projections, a sharp projection theorem for measures with uniform entropy dimension, and a corresponding sharp result for Assouad-dimension projections, along with a detailed organizational framework and proofs. The results have implications for the exact overlaps conjecture and provide robust tools for analyzing projections in fractal geometry and dynamical systems, with potential reach to a wide class of self-similar and regular measures.

Abstract

We establish several optimal estimates for exceptional parameters in the projection of fractal measures: (1) For a parametric family of self-similar measures satisfying a transversality condition, the set of parameters leading to a dimension drop is at most countable. (2) For any ergodic CP-distribution on , the Hausdorff dimension of its orthogonal projection is in all but at most countably many directions. Applications of our projection results include: (i) For any planar Borel probability measure with uniform entropy dimension , the packing dimension of its orthogonal projection is at least in all but at most countably many directions. (ii) For any planar set , the Assouad dimension of its orthogonal projection is at least in all but at most countably many directions.

Paper Structure

This paper contains 16 sections, 26 theorems, 282 equations.

Key Result

Theorem 1.2

Let $J$ be an open interval, and for each $t\in J$, let $\mathcal{F}_t$ be an IFS on $\mathbb R$. For a given probability vector $p=(p_i)_{i\in \Lambda}$, let $\mu_{p,t}$ be the self-similar measure associated to $\mathcal{F}_t$ and $p$. Suppose that the family $\{\mathcal{F}_t\}_{t\in J}$ satisfies

Theorems & Definitions (53)

  • Conjecture 1.1
  • Theorem 1.2
  • Remark 1.3
  • Theorem 1.4
  • proof : Proof of Theorem \ref{['thm:main:-2']}
  • Theorem 1.5
  • Theorem 1.6
  • Theorem 1.7
  • Remark 1.8
  • Definition 1.9
  • ...and 43 more