arXiv subjects
Publications and source records attributed to Tuomas Orponen.
I construct a compact subset of the plane whose visible parts are $\tfrac{3}{2}$-dimensional in all directions. This disproves the visibility conjecture. The value $\tfrac{3}{2}$ cannot be increased, as shown in recent collaboration with A. Rutar.
We disprove the visibility conjecture in the plane and prove the sharp upper bound for the almost-sure dimension of visible parts. Precisely, let $K \subset \mathbb{R}^{2}$ be a compact set. For $\sigma \in S^{1}$, let $\mathrm{Vis}_{\sigma}(K) \subset K$ be the visible part of $K$ in direction $\sigma$. We prove that $\operatorname{dim}_{\mathrm{H}} \mathrm{Vis}_{\sigma}(K) \leq \tfrac{3}{2}$ for $\mathcal{H}^{1}$ almost every $\sigma \in S^{1}$. This is sharp: we construct a compact set $K \subset \mathbb{R}^{2}$ such that $\operatorname{dim}_{\mathrm{H}} \mathrm{Vis}_{\sigma}(K)\geq \tfrac{3}{2}$ for all $\sigma \in S^1$.
We prove sharp $\delta$-discretised versions of some variants of the Furstenberg set problem under weaker or different non-concentration assumptions compared to previous works.
We study the planar Nikod\'ym maximal operator $\mathcal{N}_{\Theta;\delta}$ associated to a direction set $\Theta \subset \mathbb{S}^{1}$. We show that the quasi-Assouad dimension $s := \dim_{\mathrm{qA}} \Theta$ characterises the essential $L^{p}$-boundedness of $\mathcal{N}_{\Theta;\delta}$ in the following sense. If $s \in [\tfrac{1}{2},1]$, then $\mathcal{N}_{\Theta;\delta}$ is essentially bounded on $L^{p}(\mathbb{R}^{2})$ for $p \geq 1 + s$, and essentially unbounded for $p < 1 + s$. Here essential boundedness means $L^{p}$-boundedness with constant $O_{\epsilon}(\delta^{-\epsilon})$. We also show that the characterisation described above fails for $s < \tfrac{1}{2}$. More precisely, there exists a set $\Theta \subset \mathbb{S}^{1}$ with $\dim_{\mathrm{qA}} \Theta = \tfrac{1}{3}$ such that $\mathcal{N}_{\Theta;\delta}$ is essentially unbounded on $L^{p}(\mathbb{R}^{2})$ for all $p < \tfrac{3}{2}$. As an application, we show there exists a convex domain with affine dimension $\tfrac{1}{6}$ such that the $\alpha$-order Bochner-Riesz means converge in $L^6$ for all $\alpha>0$.
Uniformly perfect measures are a common generalisation of Ahlfors regular measures, self-conformal measures on the line, and their push-forwards under sufficiently regular maps. We show that every uniformly perfect measure $σ$ on a strictly convex planar $C^{2}$-graph is $L^{2}$-flattening. That is, for every $ε>0$, there exists $p = p(ε,σ) \geq 1$ such that $$\|\hatσ\|_{L^{p}(B(R))}^{p} \lesssim_{ε,σ} R^ε, \qquad R \geq 1.$$
I prove two variants of the $ABC$ sum-product theorem for $\delta$-separated sets $A,B,C \subset [0,1]$ satisfying Katz-Tao spacing conditions. The main novelty is that the cardinality of the sets $B,C$ need not match their non-concentration exponent. The new $ABC$ theorems are sharp under their respective hypotheses, and imply the previous one.
Let $t \in [1,2)$ and $p > 2/(2 - t)$. I construct a $t$-Frostman Borel measure $μ$ on $[0,1]^{2}$ such that $π_θμ\notin L^{p}$ for every $θ\in S^{1}$. This answers a question of Peres and Schlag.
We prove an extension of the Furstenberg set theorem to families of graphs satisfying a transversality condition. We apply the result to derive bounds on $L^{p}$-norms of Fourier transforms of fractal measures supported on plane curves.
Let $s \in [0,1]$ and $t \in [0,\min\{3s,s + 1\})$. Let $σ$ be a Borel measure supported on the parabola $\mathbb{P} = \{(x,x^{2}) : x \in [-1,1]\}$ satisfying the $s$-dimensional Frostman condition $σ(B(x,r)) \leq r^{s}$. Answering a question of the first author, we show that there exists an exponent $p = p(s,t) \geq 1$ such that $$\|\hatσ\|_{L^{p}(B(R))} \leq C_{s,t}R^{(2 - t)/p}, \qquad R \geq 1.$$ Moreover, when $s \geq 2/3$ and $t \in [0,s + 1)$, the previous inequality is true for $p \geq 6$. We also obtain the following fractal geometric counterpart of the previous results. If $K \subset \mathbb{P}$ is a Borel set with $\dim_{\mathrm{H}} K = s \in [0,1]$, and $n \geq 1$ is an integer, then $$ \dim_{\mathrm{H}}(nK) \geq \min\{3s - s \cdot 2^{-(n - 2)},s + 1\}.$$
Let $μ$ be the logarithmic equilibrium measure on a compact set $γ\subset \mathbb{R}^{d}$. We prove that $μ$ is absolutely continuous with respect to the length measure on the part of $γ$ which can be locally expressed as the graph of a $C^{1,α}$-function $\mathbb{R} \to \mathbb{R}^{d - 1}$, $α> 0$. For $d = 2$, at least in the case where $γ$ is a compact $C^{1,α}$-graph, our result can also be deduced from the classical fact that $μ$ coincides with the harmonic measure of $Ω=\mathbb{R}^{2} \, \setminus \, γ$ with pole at $\infty$. For $d \geq 3$, however, our result is new even for $C^{\infty}$-graphs. In fact, up to now it was not even known if the support of $μ$ has positive dimension.
For $0 \leq s \leq 1$ and $0 \leq t \leq 3$, a set $F \subset \mathbb{R}^{2}$ is called a circular $(s,t)$-Furstenberg set if there exists a family of circles $\mathcal{S}$ of Hausdorff dimension $\dim_{\mathrm{H}} \mathcal{S} \geq t$ such that $$\dim_{\mathrm{H}} (F \cap S) \geq s, \qquad S \in \mathcal{S}.$$ We prove that if $0 \leq t \leq s \leq 1$, then every circular $(s,t)$-Furstenberg set $F \subset \mathbb{R}^{2}$ has Hausdorff dimension $\dim_{\mathrm{H}} F \geq s + t$. The case $s = 1$ follows from earlier work of Wolff on circular Kakeya sets.
We show that the "sharp Kaufman projection theorem" from 2023 is sharp in the class of Ahlfors $(1,δ^{-ε})$-regular sets. This is in contrast with a recent result of the first author, which improves the projection theorem in the class of Ahlfors $(1,C)$-regular sets.
This paper contains the following $δ$-discretised projection theorem for Ahlfors regular sets in the plane. For all $C,ε> 0$ and $s \in [0,1]$, there exists $κ> 0$ such that the following holds for all $δ> 0$ small enough. Let $ν$ be a Borel probability measure on $S^{1}$ satisfying $ν(B(x,r)) \leq Cr^ε$ for all $x \in S^{1}$ and $r > 0$. Let $K \subset B(1) \subset \mathbb{R}^{2}$ be Ahlfors $s$-regular with constant at most $C$. Then, there exists a vector $θ\in \mathrm{spt\,} ν$ such that $$|π_θ(F)|_δ \geq δ^{ε- s}$$ for all $F \subset K$ with $|F|_δ \geq δ^{κ- s}$. Here $π_θ(z) = θ\cdot z$ for $z \in \mathbb{R}^{2}$.
Let $s \in [0,1]$. We show that a Borel set $N \subset \mathbb{R}^{2}$ whose every point is linearly accessible by an $s$-dimensional family of lines has Hausdorff dimension at most $2 - s$.
We prove that there exists a constant $\varepsilon > 0$ with the following property: if $K \subset \mathbb{R}^{2}$ is a compact set which contains no pair of the form $\{x, x + (z, z^{2})\}$ for $z \neq 0$, then $\mathrm{dim}_\mathrm{H} K \leq 2 - \varepsilon$.
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}$.
Let $P \subset \mathbb{R}^{2}$ be a Katz-Tao $(δ,s)$-set, and let $\mathcal{L}$ be a Katz-Tao $(δ,t)$-set of lines in $\mathbb{R}^{2}$. A recent result of Fu and Ren gives a sharp upper bound for the $δ$-covering number of the set of incidences $\mathcal{I}(P,\mathcal{L}) = \{(p,\ell) \in P \times \mathcal{L} : p \in \ell\}$. In fact, for $s,t \in (0,1]$, $$ |\mathcal{I}(P,\mathcal{L})|_δ \lesssim_ε δ^{-ε-f(s,t)}, \qquad ε> 0,$$ where $f(s,t) = (s^{2} + st + t^{2})/(s + t)$. For $s,t \in (0,1]$, we characterise the near-extremal configurations $P \times \mathcal{L}$ of this inequality: we show that if $|\mathcal{I}(P,\mathcal{L})|_δ \approx δ^{-f(s,t)}$, then $P \times \mathcal{L}$ contains "cliques" $P' \times \mathcal{L}'$ satisfying $|\mathcal{I}(P',\mathcal{L}')|_δ \approx |P'|_δ|\mathcal{L}'|_δ$, $$|P'|_δ \approx δ^{-s^{2}/(s + t)} \quad \text{and} \quad |\mathcal{L}'|_δ \approx δ^{-t^{2}/(s + t)}.$$
We study singular integral operators induced by $3$-dimensional Calderón-Zygmund kernels in the Heisenberg group. We show that if such an operator is $L^{2}$ bounded on vertical planes, with uniform constants, then it is also $L^{2}$ bounded on all intrinsic graphs of compactly supported $C^{1,α}$ functions over vertical planes. In particular, the result applies to the operator $\mathcal{R}$ induced by the kernel $$\mathcal{K}(z) = \nabla_{\mathbb{H}} \| z \|^{-2}, \quad z \in \mathbb{H} \setminus \{0\},$$ the horizontal gradient of the fundamental solution of the sub-Laplacian. The $L^{2}$ boundedness of $\mathcal{R}$ is connected with the question of removability for Lipschitz harmonic functions. As a corollary of our result, we infer that the intrinsic graphs mentioned above are non-removable. Apart from subsets of vertical planes, these are the first known examples of non-removable sets with positive and locally finite $3$-dimensional measure.