Search

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., Comment: 43 pages, no figures

Let $\nu$ be a self similar measure on $\mathbb{R}^d$, $d\geq 2$, and let $\pi$ 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 $\pi$, and show that it ensures the dimension of $\pi \nu$ 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)., Comment: 19 pages

We prove that for $1\le k

We prove the following. Let $\mu_{1},\ldots,\mu_{n}$ be Borel probability measures on $[-1,1]$ such that $\mu_{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 $\mu_{1},\ldots,\mu_{n}$ has power Fourier decay: there exists a constant $\tau = \tau(s_{1},\ldots,s_{n}) > 0$ such that \[ \left| \int e^{-2\pi i \xi \cdot x_{1}\cdots x_{n}} \, d\mu_{1}(x_{1}) \cdots \, d\mu_{n}(x_{n}) \right| \leq |\xi|^{-\tau} \] for sufficiently large $|\xi|$. 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}$., Comment: v2: added result giving explicit Fourier decay, 26 pages

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., Comment: 19 pages. v3: many corrections and clarifications, incorporates referees' comments, main results unchanged

We make progress on several interrelated problems at the intersection of geometric measure theory, additive combinatorics and harmonic analysis: the discretised sum-product problem, exceptional estimates for orthogonal projections, and the dimension of Furstenberg sets. 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. $$ Here we only mention special cases of our results on projections and Furstenberg sets. We prove that every $s$-Furstenberg set $F \subset \mathbb{R}^{2}$ has Hausdorff dimension $$ {\dim_{\mathrm{H}}} F \geq \max\{ 2s + (1 - s)^{2}/(2 - s), 1+s\}.$$ We prove that every $(s,t)$-Furstenberg set $F \subset \mathbb{R}^{2}$ associated with a $t$-Ahlfors-regular line set has $${\dim_{\mathrm{H}}} F \geq \min\left\{s + t,\tfrac{3s + t}{2},s + 1\right\}.$$ Let $\pi_{\theta}$ denote projection onto the line spanned by $\theta\in S^1$. We prove that if $K \subset \mathbb{R}^{2}$ is a Borel set with ${\dim_{\mathrm{H}}}(K)\le 1$, then $$ {\dim_{\mathrm{H}}} \{\theta \in S^{1} : {\dim_{\mathrm{H}}} \pi_{\theta}(K) < u\} \leq \max\{ 2(2u - {\dim_{\mathrm{H}}} K),0\}, $$ whenever $u \leq {\dim_{\mathrm{H}}} K$, and the factor "$2$" on the right-hand side can be omitted if $K$ is Ahlfors-regular., Comment: 73 pages. v4: improved Theorem 5.61 and Remark 5.67

We show that the Hausdorff dimension of $(s,t)$-Furstenberg sets is at least $s+t/2+\epsilon$, where $\epsilon>0$ depends only on $s$ and $t$. This improves the previously best known bound for $2s

We provide several new answers on the question: how do radial projections distort the dimension of planar sets? Let $X,Y \subset \mathbb{R}^{2}$ be non-empty Borel sets. If $X$ is not contained on any line, we prove that \[ \sup_{x \in X} \dim_{\mathrm{H}} \pi_{x}(Y) \geq \min\{\dim_{\mathrm{H}} X,\dim_{\mathrm{H}} Y,1\}. \] If $\dim_{\mathrm{H}} Y > 1$, we have the following improved lower bound: \[ \sup_{x \in X} \dim_{\mathrm{H}} \pi_{x}(Y \, \setminus \, \{x\}) \geq \min\{\dim_{\mathrm{H}} X + \dim_{\mathrm{H}} Y - 1,1\}. \] Our results solve conjectures of Lund-Thang-Huong, Liu, and the first author. Another corollary is the following continuum version of Beck's theorem in combinatorial geometry: if $X \subset \mathbb{R}^{2}$ is a Borel set with the property that $\dim_{\mathrm{H}} (X \, \setminus \, \ell) = \dim_{\mathrm{H}} X$ for all lines $\ell \subset \mathbb{R}^{2}$, then the line set spanned by $X$ has Hausdorff dimension at least $\min\{2\dim_{\mathrm{H}} X,2\}$. While the results above concern $\mathbb{R}^{2}$, we also derive some counterparts in $\mathbb{R}^{d}$ by means of integralgeometric considerations. The proofs are based on an $\epsilon$-improvement in the Furstenberg set problem, due to the two first authors, a bootstrapping scheme introduced by the second and third author, and a new planar incidence estimate due to Fu and Ren., Comment: 31 pages. This paper supersedes arXiv:2205.13890

We prove two new exceptional set estimates for radial projections in the plane. If $K \subset \mathbb{R}^{2}$ is a Borel set with $\dim_{\mathrm{H}} K > 1$, then $$\dim_{\mathrm{H}} \{x \in \mathbb{R}^{2} \, \setminus \, K : \dim_{\mathrm{H}} \pi_{x}(K) \leq \sigma\} \leq \max\{1 + \sigma - \dim_{\mathrm{H}} K,0\}, \qquad \sigma \in [0,1).$$ If $K \subset \mathbb{R}^{2}$ is a Borel set with $\dim_{\mathrm{H}} K \leq 1$, then $$\dim_{\mathrm{H}} \{x \in \mathbb{R}^{2} \, \setminus \, K : \dim_{\mathrm{H}} \pi_{x}(K) < \dim_{\mathrm{H}} K\} \leq 1.$$ The finite field counterparts of both results above were recently proven by Lund, Thang, and Huong Thu. Our results resolve the planar cases of conjectures of Lund-Thang-Huong Thu, and Liu., Comment: 25 pages

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., Comment: v3: Many small corrections, incorporates referees suggestions. 71 pages, 4 figures. To appear in GAFA

Let $\lbrace f_i(x)=s_i \cdot x+t_i \rbrace$ be a self-similar IFS on $\mathbb{R}$ and let $\beta >1$ be a Pisot number. We prove that if $\frac{\log |s_i|}{\log \beta}\notin \mathbb{Q}$ for some $i$ then for every $C^1$ diffeomorphism $g$ and every non-atomic self similar measure $\mu$, the measure $g\mu$ is supported on numbers that are normal in base $\beta$., Comment: This article supersedes arXiv:2107.02699

We survey the history and recent developments around two decades-old problems that continue to attract a great deal of interest: the slicing $\times 2$, $\times 3$ conjecture of H. Furstenberg in ergodic theory, and the distance set problem in geometric measure theory introduced by K. Falconer. We discuss some of the ideas behind our solution of Furstenberg's slicing conjecture, and recent progress in Falconer's problem. While these two problems are on the surface rather different, we emphasize some common themes in our approach: analyzing fractals through a combinatorial description in terms of ``branching numbers'', and viewing the problems through a ``multiscale projection'' lens., Comment: 25 pages, submitted to the Proceedings ofthe ICM 2022

We prove $L^p$ bounds for the maximal operators associated to an Ahlfors-regular variant of fractal percolation. Our bounds improve upon those obtained by I. {\L}aba and M. Pramanik and in some cases are sharp up to the endpoint. A consequence of our main result is that there exist Ahlfors-regular Salem Cantor sets of any dimension $>1/2$ such that the associated maximal operator is bounded on $L^2(\mathbb{R})$. We follow the overall scheme of {\L}aba-Pramanik for the analytic part of the argument, while the probabilistic part is instead inspired by our earlier work on intersection properties of random measures., Comment: v2: 21 pages, 1 figure. Corrected several errors. Main result updated, but all qualitative improvements unchanged

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 + \epsilon$, where $\epsilon > 0$ depends only on $s$ and $t$. For $s>1/2$ and $t = 1$, this is an $\epsilon$-improvement over a result of Wolff from 1999. The same method also yields an $\epsilon$-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}} \pi_{e}(K) \leq s\} \leq s - \epsilon,$$ where $\epsilon > 0$ only depends on $s$ and $t$. Here $\pi_{e}$ is the orthogonal projection to $\mathrm{span}(e)$., Comment: 64 pages, 2 figures. v3: corrected and improved Proposition 5.2. To appear in Duke Math J

We prove that if $\alpha\in (0,1/2]$, then the packing dimension of a set $E\subset\mathbb{R}^2$ for which there exists a set of lines of dimension $1$ intersecting $E$ in dimension $\ge \alpha$ is at least $1/2+\alpha+c(\alpha)$ for some $c(\alpha)>0$. In particular, this holds for $\alpha$-Furstenberg sets, that is, sets having intersection of Hausdorff dimension $\ge\alpha$ with at least one line in every direction. Together with an earlier result of T. Orponen, this provides an improvement for the packing dimension of $\alpha$-Furstenberg sets over the "trivial" estimate for all values of $\alpha\in (0,1)$. The proof extends to more general families of lines, and shows that the scales at which an $\alpha$-Furstenberg set resembles a set of dimension close to $1/2+\alpha$, if they exist, are rather sparse., Comment: 12 pages. v2: incorporates referee's comments, to appear in Journal d'Analyse Math\'ematique

We show that non-trivial $\times N$-invariant sets in $[0,1]^d$, such as the Sierpi\'{n}ski carpet and the Sierpi\'{n}ski sponge, are tube-null, that is, they can be covered by a union of tubular neighbourhoods of lines of arbitrarily small total volume. This introduces a new class of tube-null sets of dimension strictly between $d-1$ and $d$. We utilize ergodic-theoretic methods to decompose the set into finitely many parts, each of which projects onto a set of Hausdorff dimension less than $1$ in some direction. We also discuss coverings by tubes for other self-similar sets, and present various applications., Comment: 24 pages, 2 figures

We prove a version of Bourgain's projection theorem for parametrized families of $C^2$ maps, that refines the original statement even in the linear case. As one application, we show that if $A$ is a Borel set of Hausdorff dimension close to $1$ in $\mathbb{R}^2$ or close to $3/2$ in $\mathbb{R}^3$, then for $y\in A$ outside of a very sparse set, the pinned distance set $\{|x-y|:x\in A\}$ has Hausdorff dimension at least $1/2+c$, where $c$ is universal. Furthermore, the same holds if the distances are taken with respect to a $C^2$ norm of positive Gaussian curvature. As further applications, we obtain new bounds on the dimensions of spherical projections, and an improvement over the trivial estimate for incidences between $\delta$-balls and $\delta$-neighborhoods of curves in the plane, under fairly general assumptions. The proofs depend on a new multiscale decomposition of measures into ``Frostman pieces'' that may be of independent interest., Comment: 51 pages. v2: several fixes and clarifications, main results unchanged but numbering has changed

We show that given $\alpha \in (0, 1)$ there is a constant $c=c(\alpha) > 0$ such that any planar $(\alpha, 2\alpha)$-Furstenberg set has Hausdorff dimension at least $2\alpha + c$. This improves several previous bounds, in particular extending a result of Katz-Tao and Bourgain. We follow the Katz-Tao approach with suitable changes, along the way clarifying, simplifying and/or quantifying many of the steps., Comment: 29 pages. v2: many small corrections, results unchanged

We investigate the box dimensions of compact sets in $\mathbb{R}^2$ that contain a unit distance in every direction (such sets may have zero Hausdorff dimension). Among other results, we show that the lower box dimension must be at least $\frac{4}{7}$ and can be as low as $\frac{2}{3}$. This quantifies in a certain sense how far the unit circle is from being a difference set., Comment: 13 pages, 2 figures. v3: the proof of lower bound in dimension d\ge 3 contained a gap hence we have removed this claim; the lower bounds in the plane remain valid

We provide quantitative estimates for the supremum of the Hausdorff dimension of sets in the real line which avoid $\varepsilon$-approximations of arithmetic progressions. Some of these estimates are in terms of Szemer\'{e}di bounds. In particular, we answer a question of Fraser, Saito and Yu (IMRN, 2019) and considerably improve their bounds. We also show that Hausdorff dimension is equivalent to box or Assouad dimension for this problem, and obtain a lower bound for Fourier dimension., Comment: 14 pages. v3: minor corrections and clarifications

We present a self-contained proof of a formula for the $L^q$ dimensions of self-similar measures on the real line under exponential separation (up to the proof of an inverse theorem for the $L^q$ norm of convolutions). This is a special case of a more general result of the author from [Shmerkin, Pablo. On Furstenberg's intersection conjecture, self-similar measures, and the $L^q$ norms of convolutions. Ann. of Math., 2019], and one of the goals of this survey is to present the ideas in a simpler, but important, setting. We also review some applications of the main result to the study of Bernoulli convolutions and intersections of self-similar Cantor sets., Comment: 33 pages, no figures. arXiv admin note: text overlap with arXiv:1609.07802

The $L^q$ dimensions, for $1

We obtain new lower bounds on the Hausdorff dimension of distance sets and pinned distance sets of planar Borel sets of dimension slightly larger than $1$, improving recent estimates of Keleti and Shmerkin, and of Liu in this regime. In particular, we prove that if $A$ has Hausdorff dimension $>1$, then the set of distances spanned by points of $A$ has Hausdorff dimension at least $40/57 > 0.7$ and there are many $y\in A$ such that the pinned distance set $\{ |x-y|:x\in A\}$ has Hausdorff dimension at least $29/42$ and lower box-counting dimension at least $40/57$. We use the approach and many results from the earlier work of Keleti and Shmerkin, but incorporate estimates from the recent work of Guth, Iosevich, Ou and Wang as additional input., Comment: 21 pages, no figures

We study discretized maximal operators associated to averaging over (neighborhoods of) squares in the plane and, more generally, $k$-skeletons in $\mathbb{R}^n$. Although these operators are known not to be bounded on any $L^p$, we obtain nearly sharp $L^p$ bounds for every small discretization scale. These results are motivated by, and partially extend, recent results of T. Keleti, D. Nagy and P. Shmerkin, and of R. Thornton, on sets that contain a scaled $k$-sekeleton of the unit cube with center in every point of $\mathbb{R}^n$., Comment: 15 pages

We prove new bounds on the dimensions of distance sets and pinned distance sets of planar sets. Among other results, we show that if $A\subset\mathbb{R}^2$ is a Borel set of Hausdorff dimension $s>1$, then its distance set has Hausdorff dimension at least $37/54\approx 0.685$. Moreover, if $s\in (1,3/2]$, then outside of a set of exceptional $y$ of Hausdorff dimension at most $1$, the pinned distance set $\{ |x-y|:x\in A\}$ has Hausdorff dimension $\ge \tfrac{2}{3}s$ and packing dimension at least $ \tfrac{1}{4}(1+s+\sqrt{3s(2-s)}) \ge 0.933$. These estimates improve upon the existing ones by Bourgain, Wolff, Peres-Schlag and Iosevich-Liu for sets of Hausdorff dimension $>1$. Our proof uses a multi-scale decomposition of measures in which, unlike previous works, we are able to choose the scales subject to certain constrains. This leads to a combinatorial problem, which is a key new ingredient of our approach, and which we solve completely by optimizing certain variation of Lipschitz functions., Comment: 60 pages, 2 figures. Incorporates referee comments. To appear in GAFA

R. Kaufman and M. Tsujii proved that the Fourier transform of self-similar measures has a power decay outside of a sparse set of frequencies. We present a version of this result for homogeneous self-similar measures, with quantitative estimates, and derive several applications: (1) non-linear smooth images of homogeneous self-similar measures have a power Fourier decay, (2) convolving with a homogeneous self-similar measure increases correlation dimension by a quantitative amount, (3) the dimension and Frostman exponent of (biased) Bernoulli convolutions tend to $1$ as the contraction ratio tends to $1$, at an explicit quantitative rate., Comment: 15 pages

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., Comment: v3: the statement of Theorem 1.3 was changed (the selection measure for the "model" of a random self-similar measure is assumed to be Bernoulli rather than an arbitrary ergodic shift-invariant measure; this was implicitly used in the proof. The original formulation is still correct; see the footnote on p.8 for details). The main result: Theorem 1.1 is unchanged

We prove that if $A$ is a Borel set in the plane of equal Hausdorff and packing dimension $s>1$, then the set of pinned distances $\{ |x-y|:y\in A\}$ has full Hausdorff dimension for all $x$ outside of a set of Hausdorff dimension $1$ (in particular, for many $x\in A$). This verifies a strong variant of Falconer's distance set conjecture for sets of equal Hausdorff and packing dimension, outside the endpoint $s=1$., Comment: 19 pages, no figures. v2: minor corrections, all results unchanged

We characterize the existence of certain geometric configurations in the fractal percolation limit set $A$ in terms of the almost sure dimension of $A$. Some examples of the configurations we study are: homothetic copies of finite sets, angles, distances, and volumes of simplices. In the spirit of relative Szemer\'{e}di theorems for random discrete sets, we also consider the corresponding problem for sets of positive $\nu$-measure, where $\nu$ is the natural measure on $A$. In both cases we identify the dimension threshold for each class of configurations. These results are obtained by investigating the intersections of the products of $m$ independent realizations of $A$ with transversal planes and, more generally, algebraic varieties, and extend some well known features of independent percolation on trees to a setting with long-range dependencies., Comment: 66 pages

We show that a set of small box counting dimension can be covered by a H\"older graph from all but a small set of directions, and give sharp bounds for the dimension of the exceptional set, improving a result of B. Hunt and V. Kaloshin. We observe that, as a consequence, H\"older graphs can have positive doubling measure, answering a question of T. Ojala and T. Rajala. We also give remarks on H\"older coverings in polar coordinates and, on the other hand, prove that a Homogenous set of small box counting dimension can be covered by a Lipschitz graph from all but a small set of directions.

We study a class of measures on the real line with a kind of self-similar structure, which we call dynamically driven self-similar measures, and contain proper self-similar measures such as Bernoulli convolutions as special cases. Our main result gives an expression for the $L^q$-dimensions of such dynamically driven self-similar measures, under certain conditions. As an application, we settle Furstenberg's long-standing conjecture on the dimension of the intersections of $\times p$ and $\times q$-invariant sets. Among several other applications, we also show that Bernoulli convolutions have an $L^q$ density for all finite $q$, outside of a zero-dimensional set of exceptions. The proof of the main result is inspired by M. Hochman's approach to the dimensions of self-similar measures and his inverse theorem for entropy. Our method can be seen as an extension of Hochman's theory from entropy to $L^q$ norms, and likewise relies on an inverse theorem for the decay of $L^q$ norms of discrete measures under convolution. This central piece of our approach may be of independent interest, and is an application of well-known methods and results in additive combinatorics: the asymmetric version of the Balog-Szemer\'{e}di-Gowers Theorem due to Tao-Vu, and some constructions of Bourgain., Comment: 68 pages. v2: many small fixes, main results unchanged. v3: incorporates referees' suggestions, added further details to some proofs. To appear in Annals of Math

We obtain box-counting estimates for the pinned distance sets of (dense subsets of) planar discrete Ahlfors-regular sets of exponent $s>1$. As a corollary, we improve upon a recent result of Orponen, by showing that if $A$ is Ahlfors-regular of dimension $s>1$, then almost all pinned distance sets of $A$ have lower box-counting dimension $1$. We also show that if $A,B\subset\mathbb{R}^2$ have Hausdorff dimension $>1$ and $A$ is Ahlfors-regular, then the set of distances between $A$ and $B$ has modified lower box-counting dimension $1$, which taking $B=A$ improves Orponen's result in a different direction, by lowering packing dimension to modified lower box-counting dimension. The proofs involve ergodic-theoretic ideas, relying on the theory of CP-processes and projections., Comment: 22 pages, no figures. v2: added Corollary 1.5 on box dimension of pinned distance sets. v3: numerous fixes and clarifications based on referee reports

We survey some of our recent results on the geometry of spatially independent martingales, in a more concrete setting that allows for shorter, direct proofs, yet is general enough for several applications and contains the well-known fractal percolation measure. We study self-convolutions and Fourier decay of measures in our class, and present applications of these results to the restriction problem for fractal measures, and the connection between arithmetic structure and Fourier decay., Comment: 28 pages, 2 figures

Under mild conditions we show that the affinity dimension of a planar self-affine set is equal to the supremum of the Lyapunov dimensions of self-affine measures supported on self-affine proper subsets of the original set. These self-affine subsets may be chosen so as to have stronger separation properties and in such a way that the linear parts of their affinities are positive matrices. Combining this result with some recent breakthroughs in the study of self-affine measures and their associated Furstenberg measures, we obtain new criteria under which the Hausdorff dimension of a self-affine set equals its affinity dimension. For example, applying recent results of B\'{a}r\'{a}ny, Hochman-Solomyak and Rapaport, we provide new explicit examples of self-affine sets whose Hausdorff dimension equals its affinity dimension, and for which the linear parts do not satisfy any domination assumptions., Comment: v3: added several examples and figures, corrected statement of Proposition 7.2. v2: Added some new examples to show that the SOSC cannot be relaxed to the OSC in Theorems 1.2 and 1.3. Applications of some results of Hochman-Solomyak have been updated to more accurately reflect the form which those results take in Hochman and Solomyak's recent preprint. Minor additional typographical fixes

We construct Salem sets in $\mathbb{R}/\mathbb{Z}$ of any dimension (including $1$) which do not contain any arithmetic progressions of length $3$. Moreover, the sets can be taken to be Ahlfors regular if the dimension is less than $1$, and the measure witnessing the Fourier decay can be taken to be Frostman in the case of dimension $1$. This is in sharp contrast to the situation in the discrete setting (where Fourier uniformity is well known to imply existence of progressions), and helps clarify a result of Laba and Pramanik on pseudo-random subsets of the real line which do contain progressions., Comment: 11 pages, no figures. v3: typos and minor issues fixed

We prove preservation of $L^q$ dimensions (for $1

We prove that complex Bernoulli convolutions are absolutely continuous in the supercritical parameter region, outside of an exceptional set of parameters of zero Hausdorff dimension. Similar results are also obtained in the biased case, and for other parametrized families of self-similar sets and measures in the complex plane, extending earlier results., Comment: 22 pages, no figures

In recent years there has been much interest -and progress- in understanding projections of many concrete fractals sets and measures. The general goal is to be able to go beyond general results such as Marstrand's Theorem, and quantify the size of every projection - or at least every projection outside some very small set. This article surveys some of these results and the techniques that were developed to obtain them, focusing on linear projections of planar self-similar sets and measures., Comment: 21 pages, 1 figure

We define a class of random measures, spatially independent martingales, which we view as a natural generalisation of the canonical random discrete set, and which includes as special cases many variants of fractal percolation and Poissonian cut-outs. We pair the random measures with deterministic families of parametrised measures $\{\eta_t\}_t$, and show that under some natural checkable conditions, a.s. the total measure of the intersections is H\"older continuous as a function of $t$. This continuity phenomenon turns out to underpin a large amount of geometric information about these measures, allowing us to unify and substantially generalize a large number of existing results on the geometry of random Cantor sets and measures, as well as obtaining many new ones. Among other things, for large classes of random fractals we establish (a) very strong versions of the Marstrand-Mattila projection and slicing results, as well as dimension conservation, (b) slicing results with respect to algebraic curves and self-similar sets, (c) smoothness of convolutions of measures, including self-convolutions, and nonempty interior for sumsets, (d) rapid Fourier decay. Among other applications, we obtain an answer to a question of I. {\L}aba in connection to the restriction problem for fractal measures., Comment: 96 pages, 5 figures. v4: The definition of the metric changed in Section 8. Polishing notation and other small changes. All main results unchanged

We study the relationship between the sizes of two sets $B, S\subset\mathbb{R}^2$ when $B$ contains either the whole boundary, or the four vertices, of a square with axes-parallel sides and center in every point of $S$, where size refers to one of cardinality, Hausdorff dimension, packing dimension, or upper or lower box dimension. Perhaps surprinsingly, the results vary depending on the notion of size under consideration. For example, we construct a compact set $B$ of Hausdorff dimension $1$ which contains the boundary of an axes-parallel square with center in every point $[0,1]^2$, but prove that such a $B$ must have packing and lower box dimension at least $\tfrac{7}{4}$, and show by example that this is sharp. For more general sets of centers, the answers for packing and box counting dimensions also differ. These problems are inspired by the analogous problems for circles that were investigated by Bourgain, Marstrand and Wolff, among others., Comment: 20 pages, no figures

We show that in many parametrized families of self-similar measures, their projections, and their convolutions, the set of parameters for which the measure fails to be absolutely continuous is very small - of co-dimension at least one in parameter space. This complements an active line of research concerning similar questions for dimension. Moreover, we establish some regularity of the density outside this small exceptional set, which applies in particular to Bernoulli convolutions; along the way, we prove some new results about the dimensions of self-similar measures and the absolute continuity of the convolution of two measures. As a concrete application, we obtain a very strong version of Marstrand's projection theorem for planar self-similar sets., Comment: 33 pages, no figures

We consider the dimensions of a family of self-affine sets related to the Bedford-McMullen carpets. In particular, we fix a Bedford-McMullen system and then randomise the translation vectors with the stipulation that the column structure is preserved. As such, we maintain one of the key features in the Bedford-McMullen set up in that alignment causes the dimensions to drop from the affinity dimension. We compute the Hausdorff, packing and box dimensions outside of a small set of exceptional translations, and also for some explicit translations even in the presence of overlapping. Our results rely on, and can be seen as a partial extension of, M. Hochman's recent work on the dimensions of self-similar sets and measures., Comment: 17 pages, 5 figures, to appear in Ergodic Th. Dynam. Syst

We employ the ergodic theoretic machinery of scenery flows to address classical geometric measure theoretic problems on Euclidean spaces. Our main results include a sharp version of the conical density theorem, which we show to be closely linked to rectifiability. Moreover, we show that the dimension theory of measure-theoretical porosity can be reduced back to its set-theoretic version, that Hausdorff and packing dimensions yield the same maximal dimension for porous and even mean porous measures, and that extremal measures exist and can be chosen to satisfy a generalized notion of self-similarity. These are sharp general formulations of phenomena that had been earlier found to hold in a number of special cases., Comment: v3: 30 pages, 2 figures, fixed typos and minor errors, to appear in Proc. London Math. Soc

We expand the ergodic theory developed by Furstenberg and Hochman on dynamical systems that are obtained from magnifications of measures. We prove that any fractal distribution in the sense of Hochman is generated by a uniformly scaling measure, which provides a converse to a regularity theorem on the structure of distributions generated by the scenery flow. We further show that the collection of fractal distributions is closed under the weak topology and, moreover, is a Poulsen simplex, that is, extremal points are dense. We apply these to show that a Baire generic measure is as far as possible from being uniformly scaling: at almost all points, it has all fractal distributions as tangent distributions., Comment: v2: 28 pages, 2 figures, fixed typos and minor errors, to appear in J. London Math. Soc

The pressure function $P(A, s)$ plays a fundamental role in the calculation of the dimension of "typical" self-affine sets, where $A=(A_1,\ldots, A_k)$ is the family of linear mappings in the corresponding generating iterated function system. We prove that this function depends continuously on $A$. As a consequence, we show that the dimension of "typical" self-affine sets is a continuous function of the defining maps. This resolves a folklore open problem in the community of fractal geometry. Furthermore we extend the continuity result to more general sub-additive pressure functions generated by the norm of matrix products or generalized singular value functions for matrix cocycles, and obtain applications on the continuity of equilibrium measures and the Lyapunov spectrum of matrix cocycles., Comment: 24 pages. v2: minor improvements, incorporates referee suggestions

We prove that the set of exceptional $\lambda\in (1/2,1)$ such that the associated Bernoulli convolution is singular has zero Hausdorff dimension, and likewise for biased Bernoulli convolutions, with the exceptional set independent of the bias. This improves previous results by Erd\"os, Kahane, Solomyak, Peres and Schlag, and Hochman. A theorem of this kind is also obtained for convolutions of homogeneous self-similar measures. The proofs are very short, and rely on old and new results on the dimensions of self-similar measures and their convolutions, and the decay of their Fourier transform., Comment: To appear in GAFA. 13 pages

We give a fractal-geometric condition for a measure on [0,1] to be supported on points x that are normal in base n, i.e. such that the sequence x,nx,n^2 x,... equidistributes modulo 1. This condition is robust under C^1 coordinate changes, and it applies also when n is a Pisot number and equidistribution is understood with respect to the beta-map and Parry measure. As applications we obtain new results (and strengthen old ones) about the prevalence of normal numbers in fractal sets, and new results on measure rigidity, specifically completing Host's theorem to multiplicatively independent integers and proving a Rudolph-Johnson-type theorem for certain pairs of beta transformations., Comment: 46 pages. v3: minor corrections and elaborations

Besicovitch showed that if a set is null for the Hausdorff measure associated to a given dimension function, then it is still null for the Hausdorff measure corresponding to a smaller dimension function. We prove that this is not true for packing measures. Moreover, we consider the corresponding questions for sets of non-$\sigma$-finite packing measure, and for pre-packing measure instead of packing measure., Comment: 10 pages, no figures

We show that in $\mathbb{R}^d$ there are purely unrectifiable sets of Hausdorff (and even box counting) dimension $d-1$ which are not tube null, settling a question of Carbery, Soria and Vargas, and improving a number of results by the same authors and by Carbery. Our method extends also to "convex tube null sets", establishing a contrast with a theorem of Alberti, Cs\"{o}rnyei and Preiss on Lipschitz-null sets. The sets we construct are random, and the proofs depend on intersection properties of certain random fractal measures with curves., Comment: 24 pages. Referees comments incorporated. JLMS to appear

We present a general approach to the study of the local distribution of measures on Euclidean spaces, based on local entropy averages. As concrete applications, we unify, generalize, and simplify a number of recent results on local homogeneity, porosity and conical densities of measures., Comment: v2: 23 pages, 6 figures. Updated references. Accepted to J. London Math. Soc