arXiv Science⌕ Search

arXiv subjects

Pablo Shmerkin

Publications and source records attributed to Pablo Shmerkin.

At least 19 recordsLinked to original sources
arXiv2026

Markov-driven self-similar measures and non-homogeneous slicing

We introduce the concept of Markov-driven self-similar measures, a notion that simultaneously generalizes classical self-similar measures, self-conformal measures, dynamically driven self-similar measures and many random measures. This class is also closed under Cartesian products and linear projections. We initiate the study of this class of measures and investigate the $L^q$ dimension of Markov-driven self-similar measures under certain Diophantine conditions. As an application, we obtain the first Furstenberg slicing type results for intersections of Cantor sets in non-homogeneous settings.

math.DS↗
arXiv2026

Spread-out Furstenberg sets I: the sticky case

We introduce spread-out measures, a notion of local non-concentration near pencils for measures on Grassmannians. We establish an optimal $δ$-discretized dual Furstenberg estimate for ``sticky spread-out'' shadings. A simple-to-state corollary is the following. Assume that $ν$ is an Ahlfors $s$-regular measure on $\mathbb{G}(2,1)$ with $s > 0$. Let $E \subset \mathbb{R}^{2}$ be a Borel set with equal Hausdorff and packing dimension. Then, $\dim_{\mathrm{H}} Π_{V}(E) = \min\{\dim_{\mathrm{H}} E,1\} \quad \text{for $ν$-a.e. } V \in S^1$. The general $δ$-discretized estimate for ``sticky spread out'' configurations here is the starting point for a more general theorem in the companion paper of Cohen, Shmerkin, Wang and Zakharov, where the ``stickiness'' hypothesis is removed. For instance, the assumption of equal Hausdorff and packing dimension in the result stated above will be dispensed with in the companion paper.

math.CA↗
arXiv2026

Spread-out Furstenberg sets II: general configurations and fractal restricted projections

We prove optimal dual Furstenberg estimates for Frostman and Katz--Tao configurations for which the shadings are not locally concentrated near pencils. The starting point is the sticky estimate of Orponen and Shmerkin in a companion paper. We deduce restricted projection theorems in the plane and in higher dimensions. In particular, Ahlfors-regular measures on the circle satisfy a Marstrand-type projection theorem. Applications include restricted projections to surfaces in the $\mathbb{G}(4,2)$ Grassmannian, pinned distances, discretized sum-product, and a new proof of the dimension formula for planar self-affine sets.

math.CA↗
arXiv2026

Sharp Favard length of random Cantor sets

We show that for a large class of planar $1$-dimensional random fractals $S$, the Favard length $\operatorname{Fav}(S(r))$ of the neighborhood $S(r)$ is comparable to $\log^{-1}(1/r)$, matching a universal lower bound; up to now, this was only known in expectation for a few concrete models. In particular, we show that there exist $1$-Ahlfors regular sets with the fastest possible Favard length decay. For a wide class of planar one-dimensional "grid random fractals", including fractal percolation and its Ahlfors-regular variants, we further show that $\operatorname{Fav}(S(r))/\log(1/r)$ converges almost surely, and we identify the limit explicitly. Furthermore, we prove that for some $1$-dimensional Ahlfors-regular random fractals $S$, the Favard length of $S(r)$ decays instead like $\log\log(1/r)/\log(1/r)$, showing that the $1/\log(1/r)$ decay is not universal among random fractals, as might be expected from previous results.

math.CA↗
arXiv2026

Projections, Furstenberg sets, and the $ABC$ sum-product problem

We make progress on two interrelated problems at the intersection of geometric measure theory, additive combinatorics and harmonic analysis: the discretised sum-product problem, and the dimension of Furstenberg sets. Along the way, we obtain new information on the dimension of exceptional sets of orthogonal projections. First, we give a new proof of the following asymmetric sum-product theorem: Let $A,B,C \subset \mathbb{R}$ be Borel sets with $0 < {\dim_{\mathrm{H}}} B \leq {\dim_{\mathrm{H}}} A < 1$ and ${\dim_{\mathrm{H}}} B + {\dim_{\mathrm{H}}} C > {\dim_{\mathrm{H}}} A$. Then, there exists $c \in C$ such that $$ \dim_{\mathrm{H}} (A + cB) > {\dim_{\mathrm{H}}} A. $$ We use this to show that every $(s,t)$-Furstenberg set $F \subset \mathbb{R}^{2}$ associated with a line set of equal Hausdorff and packing dimension $t$ satisfies $$\dim_{\mathrm{H}} F \geq \min\left\{s + t,\tfrac{3s + t}{2},s + 1\right\}.$$

math.CA↗
arXiv2025

Full measure universality for Cantor Sets

We investigate variants of the Erdős similarity problem for Cantor sets. We prove that under a mild Hausdorff or packing logarithmic dimension assumption, Cantor sets are not full measure universal, significantly improving the known fact that sets of positive Hausdorff dimension are not measure universal. We prove a weaker result for all Cantor sets $A$: there is a dense $G_δ$ set of full measure $X\subset\mathbb{R}^d$, such that for any bi-Lipschitz function $f:\mathbb{R}^d\to \mathbb{R}^d$, the set of translations $t$ such that $f(A)+t\subseteq X$ is of measure zero. Equivalently, there is a null set $B\subset\mathbb{R}^d$ such that $\mathbb{R}^d\setminus (f(A)+B)$ is null for all bi-Lipschitz functions $f$.

math.CA↗
arXiv2025

Simple proofs of discretised projection theorems

We give a simple, short and self-contained presentation of Bourgain's discretised projection theorem from 2010, which is a fundamental tool in many recent breakthroughs in geometric measure theory, harmonic analysis, and homogeneous dynamics. Our main innovation is a short elementary argument that shows that a discretised subset of $\R$ satisfying a weak ``two-ends'' spacing condition is expanded by a polynomial to a set of positive Lebesgue measure.

math.CA↗
arXiv2025

The largest slice of fractal percolation

For each $k\ge 3$, we determine the dimensional threshold for planar fractal percolation to contain $k$ collinear points. In the critical case of dimension $1$, the largest linear slice of fractal percolation is a Cantor set of zero Hausdorff dimension. We investigate its size in terms of generalized Hausdorff measures.

math.PR↗
arXiv2024

Inverse theorems for discretized sums and $L^q$ norms of convolutions in $\mathbb{R}^d$

We prove inverse theorems for the size of sumsets and the $L^q$ norms of convolutions in the discretized setting, extending to arbitrary dimension an earlier result of the author in the line. These results have applications to the dimensions of dynamical self-similar sets and measures, and to the higher dimensional fractal uncertainty principle. The proofs are based on a structure theorem for the entropy of convolution powers due to M.~Hochman.

math.CA↗
arXiv2024

Dynamical self-similarity, $L^{q}$-dimensions and Furstenberg slicing in $\mathbb{R}^d$

We extend a theorem of the second author on the $L^q$-dimensions of dynamically driven self-similar measures from the real line to arbitrary dimension. Our approach provides a novel, simpler proof even in the one-dimensional case. As consequences, we show that, under mild separation conditions, the $L^q$-dimensions of homogeneous self-similar measures in $\mathbb{R}^d$ take the expected values, and we derive higher rank slicing theorems in the spirit of Furstenberg's slicing conjecture.

math.CA↗
arXiv2024

On the distance sets spanned by sets of dimension $d/2$ in $\mathbb{R}^d$

We establish the dimension version of Falconer's distance set conjecture for sets of equal Hausdorff and packing dimension (in particular, for Ahlfors-regular sets) in all ambient dimensions. In dimensions $d=2$ or $3$, we obtain the first explicit estimates for the dimensions of distance sets of general Borel sets of dimension $d/2$; for example, we show that the set of distances spanned by a planar Borel set of Hausdorff dimension $1$ has Hausdorff dimension at least $(\sqrt{5}-1)/2\approx 0.618$. In higher dimensions we obtain explicit estimates for the lower Minkowski dimension of the distance sets of sets of dimension $d/2$. These results rely on new estimates for the dimensions of radial projections that may have independent interest.

math.CA↗
arXiv2024

On the dimension of orthogonal projections of self-similar measures

Let $ν$ be a self similar measure on $\mathbb{R}^d$, $d\geq 2$, and let $π$ be an orthogonal projection onto a $k$-dimensional subspace. We formulate a criterion on the action of the group generated by the orthogonal parts of the IFS on $π$, and show that it ensures the dimension of $πν$ is preserved; this significantly refines previous results by Hochman-Shmerkin (2012) and Falconer-Jin (2014), and is sharp for projections to lines and hyperplanes. A key ingredient in the proof is an application of a restricted projection theorem of Gan-Guo-Wang (2024).

math.DS↗
arXiv2024

On the Fourier decay of multiplicative convolutions

We prove the following. Let $μ_{1},\ldots,μ_{n}$ be Borel probability measures on $[-1,1]$ such that $μ_{j}$ has finite $s_j$-energy for certain indices $s_{j} \in (0,1]$ with $s_{1} + \ldots + s_{n} > 1$. Then, the multiplicative convolution of the measures $μ_{1},\ldots,μ_{n}$ has power Fourier decay: there exists a constant $τ= τ(s_{1},\ldots,s_{n}) > 0$ such that \[ \left| \int e^{-2πi ξ\cdot x_{1}\cdots x_{n}} \, dμ_{1}(x_{1}) \cdots \, dμ_{n}(x_{n}) \right| \leq |ξ|^{-τ} \] for sufficiently large $|ξ|$. This verifies a suggestion of Bourgain from 2010. We also obtain a quantitative Fourier decay exponent under a stronger assumption on the exponents $s_{j}$.

math.CA↗
arXiv2023

On the volumes of simplices determined by a subset of $\mathbb{R}^d$

We prove that for $1\le k<d$, if $E$ is a Borel subset of $\mathbb{R}^d$ of Hausdorff dimension strictly larger than $k$, the set of $(k+1)$-volumes determined by $k+2$ points in $E$ has positive one-dimensional Lebesgue measure. In the case $k=d-1$, we obtain an essentially sharp lower bound on the dimension of the set of tuples in $E$ generating a given volume. We also establish a finer version of the classical slicing theorem of Marstrand-Mattila in terms of dimension functions, and use it to extend our results to sets of ``dimension logarithmically larger than $k$''.

math.CA↗
arXiv2023

On the Hausdorff dimension of Furstenberg sets and orthogonal projections in the plane

Let $0 \leq s \leq 1$ and $0 \leq t \leq 2$. An $(s,t)$-Furstenberg set is a set $K \subset \mathbb{R}^{2}$ with the following property: there exists a line set $\mathcal{L}$ of Hausdorff dimension $\dim_{\mathrm{H}} \mathcal{L} \geq t$ such that $\dim_{\mathrm{H}} (K \cap \ell) \geq s$ for all $\ell \in \mathcal{L}$. We prove that for $s\in (0,1)$, and $t \in (s,2]$, the Hausdorff dimension of $(s,t)$-Furstenberg sets in $\mathbb{R}^{2}$ is no smaller than $2s + ε$, where $ε> 0$ depends only on $s$ and $t$. For $s>1/2$ and $t = 1$, this is an $ε$-improvement over a result of Wolff from 1999. The same method also yields an $ε$-improvement to Kaufman's projection theorem from 1968. We show that if $s \in (0,1)$, $t \in (s,2]$ and $K \subset \mathbb{R}^{2}$ is an analytic set with $\dim_{\mathrm{H}} K = t$, then $$\dim_{\mathrm{H}} \{e \in S^{1} : \dim_{\mathrm{H}} π_{e}(K) \leq s\} \leq s - ε,$$ where $ε> 0$ only depends on $s$ and $t$. Here $π_{e}$ is the orthogonal projection to $\mathrm{span}(e)$.

math.CA↗
arXiv2023

Absolute continuity of non-homogeneous self-similar measures

We prove that self-similar measures on the real line are absolutely continuous for almost all parameters in the super-critical region, in particular confirming a conjecture of S-M. Ngai and Y. Wang. While recently there has been much progress in understanding absolute continuity for homogeneous self-similar measures, this is the first improvement over the classical transversality method in the general (non-homogeneous) case. In the course of the proof, we establish new results on the dimension and Fourier decay of a class of random self-similar measures.

math.DS↗
arXiv2022

Dimensions of Furstenberg sets and an extension of Bourgain's projection theorem

We show that the Hausdorff dimension of $(s,t)$-Furstenberg sets is at least $s+t/2+ε$, where $ε>0$ depends only on $s$ and $t$. This improves the previously best known bound for $2s<t\le 1+ε(s,t)$, in particular providing the first improvement since 1999 to the dimension of classical $s$-Furstenberg sets for $s<1/2$. We deduce this from a corresponding discretized incidence bound under minimal non-concentration assumptions, that simultaneously extends Bourgain's discretized projection and sum-product theorems. The proofs are based on a recent discretized incidence bound of T.~Orponen and the first author and a certain duality between $(s,t)$ and $(t/2,s+t/2)$-Furstenberg sets.

math.CA↗