Abstract:We prove a universal projection theorem, giving conditions on a parametrized family of maps $\Pi_\lambda : X \to \mathbb{R}^d$ and a collection $M$ of measures on $X$ under which for almost every $\lambda$ equality $\mathrm{dim}_H \Pi_\lambda \mu = \min\{d, \mathrm{dim}_H \mu\}$ holds for all measures $\mu \in M$ simultaneously (i.e. on a full-measure set of $\lambda$'s independent of $\mu$). We require $\Pi_\lambda$ to satisfy a transversality condition and $M$ to satisfy a new condition called relative dimension separability. We also prove that if the Assouad dimension of $X$ is smaller than d, then for almost every $\lambda$, projection $\Pi_\lambda$ is nearly bi-Lipschitz at $\mu$-a.e. $x$, for all measures $\mu \in M$ simultaneously. Our setting can include families of orthogonal projections, natural projections for conformal, non-autonomous or random iterated functions systems. As an application, we prove that for a parametrized family of contracting conformal IFS with natural projections $\Pi_\lambda$ satisfying the transversality condition, for almost every parameter $\lambda$ one has $\mathrm{dim}_H \Pi_\lambda \mu = \min\{ d, \frac{h(\mu)}{\chi(\lambda, \mu)} \}$ for all ergodic shift-invariant measures simultaneously. We also prove that for self-similar systems on the line with similarity dimension smaller than one, for Lebesgue almost every choice of translations the multifractal formalism holds simultaneously on the full spectrum interval $\left[\min \frac{\log p_i}{\log|\lambda_i|},\max \frac{\log p_i}{\log|\lambda_i|}\right]$ for every self-similar measure. We prove that the dimension part of the Marstrand-Mattila projection theorem holds simultaneously for the collection of all ergodic measures on a self-conformal set with the strong separation condition and without any separation for the collection of all Gibbs measures.

Smoothness of random self-similar measures on the line and the existence of interior points

GEOMETRY AND DIMENSION OF SELF-SIMILAR SET

The interior of randomly perturbed self-similar sets on the line

On absolute continuity of inhomogeneous and contracting on average self-similar measures

Local dimensions of measures of finite type II - Measures without full support and with non-regular probabilities

Hyperuniformity of random measures on Euclidean and hyperbolic spaces

Interior points and Lebesgue measure of overlapping Mandelbrot percolation sets

Maximal Operators and Fourier Transforms of Self-Similar Measures

Log-Hölder regularity of stationary measures

On the Irregular Points for Systems with the Shadowing Property

A Dimensional Result for Random Self-Similar Sets

Hausdorff Dimension, Mean Quadratic Variation of Infinite Self-Similar Measures

Universal projection theorems with applications to multifractal analysis and the dimension of every ergodic measure on self-conformal sets simultaneously

Typical dimension and absolute continuity for classes of dynamically defined measures, Part II : exposition and extensions

On the dimension of stationary measures for random piecewise affine interval homeomorphisms

Interior Points of Convex Compact and Continuous Selections of Exact Measures

Khintchine dichotomy for self-similar measures

How smooth is a devil's staircase?

Conditional expectations of random holomorphic fields on Riemann surfaces

Finitude of physical measures for random maps

Log-Lipschitz and Hölder regularity imply smoothness for complex analytic sets