BZPEER

preprint2022arXiv

Additive properties of fractal sets on the parabola

Let $0 \leq s \leq 1$ , and let $\mathbb{P} := \{(t,t^{2}) \in \mathbb{R}^{2} : t \in [-1,1]\}$ . If $K \subset \mathbb{P}$ is a closed set with $\dim_{\mathrm{H}} K = s$ , it is not hard to see that $\dim_{\mathrm{H}} (K + K) \geq 2s$ . The main corollary of the paper states that if $0 < s < 1$ , then adding $K$ once more makes the sum slightly larger: $\dim_{\mathrm{H}} (K + K + K) \geq 2s + ε,$ where $ε= ε(s) > 0$ . This information is deduced from an $L^{6}$ bound for the Fourier transforms of Frostman measures on $\mathbb{P}$ . If $0 < s < 1$ , and $μ$ is a Borel measure on $\mathbb{P}$ satisfying $μ(B(x,r)) \leq r^{s}$ for all $x \in \mathbb{P}$ and $r > 0$ , then there exists $ε= ε(s) > 0$ such that $\|\hatμ\|_{L^{6}(B(R))}^{6} \leq R^{2 - (2s + ε)}$ for all sufficiently large $R \geq 1$ . The proof is based on a reduction to a $δ$ -discretised point-circle incidence problem, and eventually to the $(s,2s)$ -Furstenberg set problem.

preprint2022arXiv

Hausdorff dimension bounds for the ABC sum-product problem

The purpose of this paper is to complete the proof of the following result. Let $0 < β\leq α< 1$ and $κ> 0$ . Then, there exists $η> 0$ such that whenever $A,B \subset \mathbb{R}$ are Borel sets with $\dim_{\mathrm{H}} A = α$ and $\dim_{\mathrm{H}} B = β$ , then $\dim_{\mathrm{H}} \{c \in \mathbb{R} : \dim_{\mathrm{H}} (A + cB) \leq α+ η\} \leq \tfrac{α- β}{1 - β} + κ.$ This extends a result of Bourgain from 2010, which contained the case $α= β$ . This paper is a sequel to the author's previous work from 2021 which, roughly speaking, established the same result with $\dim_{\mathrm{H}} (A + cB)$ replaced by $\dim_{\mathrm{B}}(A + cB)$ , the box dimension of $A + cB$ . It turns out that, at the level of $δ$ -discretised statements, the superficially weaker box dimension result formally implies the Hausdorff dimension result.

preprint2022arXiv

Integrability of orthogonal projections, and applications to Furstenberg sets

Let $\mathcal{G}(d,n)$ be the Grassmannian manifold of $n$ -dimensional subspaces of $\mathbb{R}^{d}$ , and let $π_{V} \colon \mathbb{R}^{d} \to V$ be the orthogonal projection. We prove that if $μ$ is a compactly supported Radon measure on $\mathbb{R}^{d}$ satisfying the $s$ -dimensional Frostman condition $μ(B(x,r)) \leq Cr^{s}$ for all $x \in \mathbb{R}^{d}$ and $r > 0$ , then $\int_{\mathcal{G}(d,n)} \|π_{V}μ\|_{L^{p}(V)}^{p} \, dγ_{d,n}(V) < \infty, \qquad 1 \leq p < \frac{2d - n - s}{d - s}.$ The upper bound for $p$ is sharp, at least, for $d - 1 \leq s \leq d$ , and every $0 < n < d$ . Our motivation for this question comes from finding improved lower bounds on the Hausdorff dimension of $(s,t)$ -Furstenberg sets. For $0 \leq s \leq 1$ and $0 \leq t \leq 2$ , a set $K \subset \mathbb{R}^{2}$ is called an $(s,t)$ -Furstenberg set if there exists a $t$ -dimensional family $\mathcal{L}$ of affine lines in $\mathbb{R}^{2}$ such that $\dim_{\mathrm{H}} (K \cap \ell) \geq s$ for all $\ell \in \mathcal{L}$ . As a consequence of our projection theorem in $\mathbb{R}^{2}$ , we show that every $(s,t)$ -Furstenberg set $K \subset \mathbb{R}^{2}$ with $1 < t \leq 2$ satisfies $\dim_{\mathrm{H}} K \geq 2s + (1 - s)(t - 1).$ This improves on previous bounds for pairs $(s,t)$ with $s > \tfrac{1}{2}$ and $t \geq 1 + ε$ for a small absolute constant $ε> 0$ . We also prove a higher dimensional analogue of this estimate for codimension-1 Furstenberg sets in $\mathbb{R}^{d}$ . As another corollary of our method, we obtain a $δ$ -discretised sum-product estimate for $(δ,s)$ -sets. Our bound improves on a previous estimate of Chen for every $\tfrac{1}{2} < s < 1$ , and also of Guth-Katz-Zahl for $s \geq 0.5151$ .

preprint2022arXiv

On exceptional sets of radial projections

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}} π_{x}(K) \leq σ\} \leq \max\{1 + σ- \dim_{\mathrm{H}} K,0\}, \qquad σ\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}} π_{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.

preprint2020arXiv

Absolute continuity in families of parametrised non-homogeneous self-similar measures

Let $μ$ be a planar self-similar measure with similarity dimension exceeding $1$ , satisfying a mild separation condition, and such that the fixed points of the associated similitudes do not share a common line. Then, we prove that the orthogonal projections $π_{e\sharp}(μ)$ are absolutely continuous for all $e \in S^{1} \setminus E$ , where the exceptional set $E$ has zero Hausdorff dimension. The result is obtained from a more general framework which applies to certain parametrised families of self-similar measures on the real line. Our results extend previous work of Shmerkin and Solomyak from 2016, where it was assumed that the similitudes associated with $μ$ have a common contraction ratio.

preprint2020arXiv

Planar incidences and geometric inequalities in the Heisenberg group

We prove that if $P,\mathcal{L}$ are finite sets of $δ$ -separated points and lines in $\mathbb{R}^{2}$ , the number of $δ$ -incidences between $P$ and $\mathcal{L}$ is no larger than a constant times $|P|^{2/3}|\mathcal{L}|^{2/3} \cdot δ^{-1/3}.$ We apply the bound to obtain the following variant of the Loomis-Whitney inequality in the Heisenberg group: $|K| \lesssim |π_{x}(K)|^{2/3} \cdot |π_{y}(K)|^{2/3}, \qquad K \subset \mathbb{H}.$ Here $π_{x}$ and $π_{y}$ are the vertical projections to the $xt$ - and $yt$ -planes, respectively, and $|\cdot|$ refers to natural Haar measure on either $\mathbb{H}$ , or one of the planes. Finally, as a corollary of the Loomis-Whitney inequality, we deduce that $\|f\|_{4/3} \lesssim \sqrt{\|Xf\| \|Yf\| }, \qquad f \in BV(\mathbb{H}),$ where $X,Y$ are the standard horizontal vector fields in $\mathbb{H}$ . This is a sharper version of the classical geometric Sobolev inequality $\|f\|_{4/3} \lesssim \|\nabla_{\mathbb{H}}f\|$ for $f \in BV(\mathbb{H})$ .

preprint2020arXiv

Semmes surfaces and intrinsic Lipschitz graphs in the Heisenberg group

A Semmes surface in the Heisenberg group is a closed set $S$ that is upper Ahlfors-regular with codimension one and satisfies the following condition, referred to as Condition B. Every ball $B(x,r)$ with $x \in S$ and $0 < r < \operatorname{diam} S$ contains two balls with radii comparable to $r$ which are contained in different connected components of the complement of $S$ . Analogous sets in Euclidean spaces were introduced by Semmes in the late $80$ 's. We prove that Semmes surfaces in the Heisenberg group are lower Ahlfors-regular with codimension one and have big pieces of intrinsic Lipschitz graphs. In particular, our result applies to the boundary of chord-arc domains and of reduced isoperimetric sets.

preprint2020arXiv

Singular integrals on regular curves in the Heisenberg group

Let $\mathbb{H}$ be the first Heisenberg group, and let $k \in C^{\infty}(\mathbb{H} \, \setminus \, \{0\})$ be a kernel which is either odd or horizontally odd, and satisfies $|\nabla_{\mathbb{H}}^{n}k(p)| \leq C_{n}\|p\|^{-1 - n}, \qquad p \in \mathbb{H} \, \setminus \, \{0\}, \, n \geq 0.$ The simplest examples include certain Riesz-type kernels first considered by Chousionis and Mattila, and the horizontally odd kernel $k(p) = \nabla_{\mathbb{H}} \log \|p\|$ . We prove that convolution with $k$ , as above, yields an $L^{2}$ -bounded operator on regular curves in $\mathbb{H}$ . This extends a theorem of G. David to the Heisenberg group. As a corollary of our main result, we infer that all $3$ -dimensional horizontally odd kernels yield $L^{2}$ bounded operators on Lipschitz flags in $\mathbb{H}$ . This was known earlier for only one specific operator, the $3$ -dimensional Riesz transform. Finally, our technique yields new results on certain non-negative kernels, introduced by Chousionis and Li.

preprint2020arXiv

Sub-elliptic boundary value problems in flag domains

A flag domain in $\mathbb{R}^{3}$ is a subset of $\mathbb{R}^{3}$ of the form $\{(x,y,t) : y < A(x)\}$ , where $A \colon \mathbb{R} \to \mathbb{R}$ is a Lipschitz function. We solve the Dirichlet and Neumann problems for the sub-elliptic Kohn-Laplacian $\bigtriangleup^{\flat} = X^{2} + Y^{2}$ in flag domains $Ω\subset \mathbb{R}^{3}$ , with $L^{2}$ -boundary values. We also obtain improved regularity for solutions to the Dirichlet problem if the boundary values have first order $L^{2}$ -Sobolev regularity. Our solutions are obtained as sub-elliptic single and double layer potentials, which are best viewed as integral operators on the first Heisenberg group. We develop the theory of these operators on flag domains, and their boundaries.

preprint2019arXiv

On the Assouad dimension of projections

Let $F \subset \mathbb{R}^{2}$ , and let $\dim_{\mathrm{A}}$ stand for Assouad dimension. I prove that $\dim_{\mathrm{A}} π_{e}(F) \geq \min\{\dim_{\mathrm{A}} F,1\}$ for all $e \in S^{1}$ outside of a set of Hausdorff dimension zero. This is a strong variant of Marstrand's projection theorem for Assouad dimension, whose analogue is not true for other common notions of fractal dimension, such as Hausdorff or packing dimension.

preprint2019arXiv

Quantitative absolute continuity of planar measures with two independent Alberti representations

We study measures $μ$ on the plane with two independent Alberti representations. It is known, due to Alberti, Csörnyei, and Preiss, that such measures are absolutely continuous with respect to Lebesgue measure. The purpose of this paper is to quantify the result of A-C-P. Assuming that the representations of $μ$ are bounded from above, in a natural way to be defined in the introduction, we prove that $μ\in L^{2}$ . If the representations are also bounded from below, we show that $μ$ satisfies a reverse Hölder inequality with exponent $2$ , and is consequently in $L^{2 + ε}$ by Gehring's lemma. A substantial part of the paper is also devoted to showing that both results stated above are optimal.

preprint2016arXiv

Curve packing and modulus estimates

A family of planar curves is called a Moser family if it contains an isometric copy of every rectifiable curve in $\mathbb{R}^{2}$ of length one. The classical "worm problem" of L. Moser from 1966 asks for the least area covered by the curves in any Moser family. In 1979, J. M. Marstrand proved that the answer is not zero: the union of curves in a Moser family has always area at least $c$ for some small absolute constant $c > 0$ . We strengthen Marstrand's result by showing that for $p > 3$ , the $p$ -modulus of a Moser family of curves is at least $c_{p} > 0$ .

preprint2016arXiv

Improving Kaufman's exceptional set estimate for packing dimension

Given $0 < s < 1$ , I prove that there exists a constant $ε= ε(s) > 0$ such that the following holds. Let $K \subset \mathbb{R}^{2}$ be a Borel set with $\mathcal{H}^{1}(K) > 0$ , and let $E_{s}(K) \subset S^{1}$ be the collection of unit vectors $e$ such that $\dim_{\mathrm{p}} π_{e}(K) \leq s.$ Then $\dim_{\mathrm{H}} E_{s}(K) \leq s - ε$ .

preprint2016arXiv

Projections of planar sets in well-separated directions

First, let $K \subset B(0,1) \subset \mathbb{R}^{2}$ be a set with $\mathcal{H}_{\infty}^{1}(K) \sim 1$ , and write $π_{e}(K)$ for the orthogonal projection of $K$ into the line spanned by $e \in S^{1}$ . For $1/2 \leq s < 1$ , write $E_{s} := \{e : N(π_{e}(K),δ) \leq δ^{-s}\},$ where $N(A,r)$ is the $r$ -covering number of the set $A$ . It is well-known -- and essentially due to R. Kaufman -- that $N(E_{s},δ) \lessapprox δ^{-s}$ . Using the polynomial method, I prove that $N(E_{s},r) \lessapprox \min\left\{δ^{-s}\left(\fracδ{r}\right)^{1/2},r^{-1}\right\}, \quad δ\leq r \leq 1.$ I construct examples showing that the exponents in the bound are sharp for $δ\leq r \leq δ^{s}$ . The second theorem concerns projections of $1$ -Ahlfors-David regular sets. Let $A \geq 1$ and $1/2 \leq s < 1$ be given. I prove that, for $p = p(A,s) \in \mathbb{N}$ large enough, the finite set of unit vectors $S_{p} := \{e^{2πi k/p} : 0 \leq k < p\}$ has the following property. If $K \subset B(0,1)$ is non-empty and $1$ -Ahlfors-David regular with regularity constant at most $A$ , then $\frac{1}{p} \sum_{e \in S_{p}} N(π_{e}(K),δ) \geq δ^{-s}$ for all small enough $δ> 0$ . In particular, $\overline{\dim}_{\text{B}} π_{e}(K) \geq s$ for some $e \in S_{p}$ .

preprint2015arXiv

Hausdorff dimension estimates for restricted families of projections in $\mathbb{R}^3$

This paper is concerned with restricted families of projections in $\mathbb{R}^{3}$ . Let $K \subset \mathbb{R}^{3}$ be a Borel set with Hausdorff dimension $\dim K = s > 1$ . If $\mathcal{G}$ is a smooth and sufficiently well-curved one-dimensional family of two-dimensional subspaces, the main result states that there exists $σ(s) > 1$ such that $\dim π_{V}(K) \geq σ(s)$ for almost all $V \in \mathcal{G}$ . A similar result is obtained for some specific families of one-dimensional subspaces.

preprint2015arXiv

Hausdorff dimension, intersection of projections and exceptional plane sections

This paper contains new results on two classical topics in fractal geometry: projections, and intersections with affine planes. To keep the notation of the abstract simple, we restrict the discussion to the planar cases of our theorems. Our first main result considers the orthogonal projections of two Borel sets $A,B \subset \mathbb{R}^{2}$ into one-dimensional subspaces. Under the assumptions $\dim A \leq 1 < \dim B$ and $\dim A + \dim B > 2$ , we prove that the intersection of the projections $P_{L}(A)$ and $P_{L}(B)$ has dimension at least $\dim A - ε$ for positively many lines $L$ , and for any $ε> 0$ . This is quite sharp: given $s,t \in [0,2]$ with $s + t = 2$ , we construct compact sets $A,B \subset \mathbb{R}^{2}$ with $\dim A = s$ and $\dim B = t$ such that almost all intersections $P_{L}(A) \cap P_{L}(B)$ are empty. In case both $\dim A > 1$ and $\dim B > 1$ , we prove that the intersections $P_{L}(A) \cap P_{L}(B)$ have positive length for positively many $L$ . If $A \subset \mathbb{R}^{2}$ is a Borel set with $0 < \mathcal{H}^{s}(A) < \infty$ for some $s > 1$ , it is known that $A$ is 'visible' from almost all points $x \in \mathbb{R}^{2}$ in the sense that $A$ intersects a positive fraction of all lines passing through $x$ . In fact, a result of Marstrand says that such non-empty intersections typically have dimension $s - 1$ . Our second main result strengthens this by showing that the set of exceptional points $x \in \mathbb{R}^{2}$ , for which Marstrand's assertion fails, has Hausdorff dimension at most one.

preprint2015arXiv

On the distance sets of AD-regular sets

I prove that if $\emptyset \neq K \subset \mathbb{R}^{2}$ is a compact $s$ -Ahlfors-David regular set with $s \geq 1$ , then $\dim_{\mathrm{p}} D(K) = 1,$ where $D(K) := \{|x - y| : x,y \in K\}$ is the distance set of $K$ , and $\dim_{\mathrm{p}}$ stands for packing dimension. The same proof strategy applies to other problems of similar nature. For instance, one can show that if $\emptyset \neq K \subset \mathbb{R}^{2}$ is a compact $s$ -Ahlfors-David regular set with $s \geq 1$ , then there exists a point $x_{0} \in K$ such that $\dim_{\mathrm{p}} K \cdot (K - x_{0}) = 1$ . Specialising to product sets, one derives the following sum-product corollary: if $A \subset \mathbb{R}$ is a non-empty compact $s$ -Ahlfors-David regular set with $s \geq 1/2$ , then $\dim_{\mathrm{p}} [A(A - a_{1}) + A(A - a_{1})] = 1$ for some $a_{1},a_{2} \in A$ . In particular, $\dim_{\mathrm{p}} [AA + AA - AA - AA] = 1$ . In all of the results mentioned above, compactness can be relaxed to boundedness and $\mathcal{H}^{s}$ -measurability, if packing dimension is replaced by upper box dimension.

preprint2015arXiv

On the packing measure of slices of self-similar sets

Let $K \subset \mathbb{R}^{2}$ be a rotation and reflection free self-similar set satisfying the strong separation condition, with dimension $\dim K = s > 1$ . Intersecting $K$ with translates of a fixed line, one can study the $(s - 1)$ -dimensional Hausdorff and packing measures of the generic non-empty line sections. In a recent article, T. Kempton gave a necessary and sufficient condition for the Hausdorff measures of the sections to be positive. In this paper, I consider the packing measures: it turns out that the generic section has infinite $(s - 1)$ -dimensional packing measure under relatively mild assumptions.

preprint2014arXiv

A discretised projection theorem in the plane

The main result of this paper is that for any $1/2 \leq s < 2 - \sqrt{2} \approx 0.5858$ , there is a number $σ= σ(s) < s$ with the following property. Let $δ> 0$ be small, assume that $A \subset [0,1]$ is a $(δ,1/2)$ -set, and that $E \subset [0,1]$ contains $\gtrsim δ^{-σ}$ roughly $δ^{s}$ -separated points. Then there exists a number $t \in E$ such that $A + tA$ contains $\gtrsim δ^{-s}$ $δ$ -separated points. For $σ= s$ , this is essentially a consequence of Kaufman's well-known bound for exceptional sets of projections. Our proof consists of a structural observation concerning sets, for which Kaufman's bound is near-optimal, combined with (an adaptation of) Solymosi's argument for his " $4/3$ " sum-product theorem.

preprint2014arXiv

On Ahlfors-David regular weighted bounds for the extension operator associated to the circle

This paper addresses the sharpness of a weighted $L^{2}$ -estimate for the Fourier extension operator associated to the circle, obtained by J. Bennett, A. Carbery, F. Soria and A. Vargas in 2006. A point left open in their paper was the necessity of a certain $\log R$ -factor in the bound. Here, I show that the factor is necessary for all $1/2$ -Ahlfors-David regular weights on the circle, but it can be removed for $s$ -Ahlfors-David regular weights with $s \neq 1/2$ .

preprint2014arXiv

On restricted families of projections in R^3

We study projections onto non-degenerate one-dimensional families of lines and planes in $\mathbb{R}^{3}$ . Using the classical potential theoretic approach of R. Kaufman, one can show that the Hausdorff dimension of at most $1/2$ -dimensional sets $B \subset \mathbb{R}^{3}$ is typically preserved under one-dimensional families of projections onto lines. We improve the result by an $\varepsilon$ , proving that if $\dim_{\mathrm{H}} B = s > 1/2$ , then the packing dimension of the projections is almost surely at least $σ(s) > 1/2$ . For projections onto planes, we obtain a similar bound, with the threshold $1/2$ replaced by $1$ . In the special case of self-similar sets $K \subset \mathbb{R}^{3}$ without rotations, we obtain a full Marstrand type projection theorem for one-parameter families of projections onto lines. The $\dim_{\mathrm{H}} K \leq 1$ case of the result follows from recent work of M. Hochman, but the $\dim_{\mathrm{H}} K > 1$ part is new: with this assumption, we prove that the projections have positive length almost surely.

preprint2014arXiv

On the tube-occupancy of sets in $\mathbb{R}^d$

Call a pair $(s,t) \in [0,d] \times [0,d]$ admissible, if there exists a compact set $K \subset \mathbb{R}^{d}$ and a constant $C > 0$ such that $0 < \mathcal{H}^{s}(K) < \infty$ , and $\mathcal{H}_{s}(K \cap T) \leq Cw(T)^{t}$ for all tubes $T \subset \mathbb{R}^{d}$ of width $w(T)$ . The purpose of this paper is to show that all pairs $(s,s)$ with $s < 1$ are admissible. Combined with previous results, this settles a question of A. Carbery.

preprint2014arXiv

Some obstacles in characterising the boundedness of bi-parameter singular integrals

The famous $T1$ theorem for classical Calderón-Zygmund operators is a characterisation for their boundedness in $L^{2}$ . In the bi-parameter case, on the other hand, the current $T1$ theorem is merely a collection of sufficient conditions. This difference in mind, we study a particular dyadic bi-parameter singular integral operator, namely the full mixed bi-parameter paraproduct $P$ , which is precisely the operator responsible for the outstanding problems in the bi-parameter theory. We make several remarks about $P$ , the common theme of which is to demonstrate the delicacy of the problem of finding a completely satisfactory product $T1$ theorem. For example, $P$ need not be unconditionally bounded if it is conditionally bounded -- a major difference compared to the corresponding one-parameter model operators. Moreover, currently the theory even lacks a characterisation for the potentially easier unconditional boundedness. The product BMO condition is sufficient, but far from necessary: we show by example that unconditional boundedness does not even imply the weaker rectangular BMO condition.

preprint2013arXiv

Constancy results for special families of projections

Let {\mathbb{V} = V x R^l : V \in G(n-l,m-l)} be the family of m-dimensional subspaces of R^n containing {0} x R^l, and let π_{\mathbb{V}} : R^n --> \mathbb{V} be the orthogonal projection onto \mathbb{V}. We prove that the mapping V \mapsto Dim π_{\mathbb{V}}(B) is almost surely constant for any analytic set B \subset R^n, where Dim denotes either Hausdorff or packing dimension.

preprint2013arXiv

Non-existence of multi-line Besicovitch sets

If a compact set K \subset R^2 contains a positive-dimensional family of line-segments in positively many directions, then K has positive measure.

preprint2013arXiv

On Fourier analytic properties of graphs

We study the Fourier dimensions of graphs of real-valued functions defined on the unit interval [0,1]. Our results imply that the graph of the fractional Brownian motion is almost surely not a Salem set, answering in part a question of Kahane from 1993, and that the graph of a Baire typical function in C[0,1] has Fourier dimension zero.

preprint2013arXiv

On the Haar Shift representations of Calderón-Zygmund Operators

In connection with proving the A_2 conjecture in 2010, T. Hytönen obtained a representation of general Caldéron-Zygmund operators in terms of simpler operators known as Haar shifts. In this note, we prove that the result is sharp in the sense that Haar shift representations of Hytönen's type are only available for Calderón-Zygmund operators.

preprint2013arXiv

On the packing measure of self-similar sets

Building on a recent result of M. Hochman, we give an example of a linear self-similar set K such that 0 < dim K = s < 1 and P^s(K) = 0. This answers a question of Y. Peres and B. Solomyak.

preprint2013arXiv

Square functions with general measures II

We continue developing the theory of conical and vertical square functions on $R^{n}$ , where $μ$ is a power bounded measure, possibly non-doubling. We provide new boundedness criteria and construct various counterexamples. First, we prove a general local $Tb$ theorem with tent space $T^{2,\infty}$ type testing conditions to characterise the $L^{2}$ boundedness. Second, we completely answer the question, whether the boundedness of our operators on $L^{2}$ implies boundedness on other $L^{p}$ spaces, including the endpoints. For the conical square function, the answers are generally affirmative, but the vertical square function can be unbounded on $L^{p}$ for $p > 2$ , even if $μ= dx$ . For this, we present a counterexample. Our kernels $s_t$ , $t > 0$ , do not necessarily satisfy any continuity in the first variable -- a point of technical importance throughout the paper. Third, we construct a non-doubling Cantor-type measure and an associated conical square function operator, whose $L^{2}$ boundedness depends on the exact aperture of the cone used in the definition. Thus, in the non-homogeneous world, the 'change of aperture' technique -- widely used in classical tent space literature -- is not available. Fourth, we establish the sharp $A_{p}$ -weighted bound for the conical square function under the assumption that $μ$ is doubling.

preprint2012arXiv

On the Distance Sets of Self-Similar Sets

We show that if K is a self-similar set in the plane with positive length, then the distance set of K has Hausdorff dimension one.

preprint2012arXiv

On the Packing Dimension and Category of Exceptional Sets of Orthogonal Projections

We consider several classical results related to the Hausdorff dimension of exceptional sets of orthogonal projections and try to find out whether they have reasonable formulations in terms of packing dimension. We also investigate the existence of category versions for Marstrand and Falconer-Howroyd-type projection results.

preprint2012arXiv

Slicing Sets and Measures, and the Dimension of Exceptional Parameters

We consider the problem of slicing a compact metric space Ωwith sets of the form π_λ^{-1}\{t\}, where the mappings π_λ \colon Ω\to \R, λ\in \R, are \emph{generalized projections}, introduced by Yuval Peres and Wilhelm Schlag in 2000. The basic question is: assuming that Ωhas Hausdorff dimension strictly greater than one, what is the dimension of the 'typical' slice π_λ^{-1}{t}, as the parameters λand t vary. In the special case of the mappings π_λ being orthogonal projections restricted to a compact set Ω\subset \R^{2}, the problem dates back to a 1954 paper by Marstrand: he proved that for almost every λthere exist positively many $t \in \R$ such that \dim π_λ^{-1}{t} = \dim Ω- 1. For generalized projections, the same result was obtained 50 years later by Järvenpää, Järvenpää and Niemelä. In this paper, we improve the previously existing estimates by replacing the phrase 'almost all λ' with a sharp bound for the dimension of the exceptional parameters.

preprint2011arXiv

A Characterization of the boundedness of the median maximal function on weighted L^p spaces

We introduce and study the median maximal function \mathcal{M} f, defined in the same manner as the classical Hardy-Littlewood maximal function, only replacing integral averages of f by medians throughout the definition. This change has a qualitative impact on the mapping properties of the maximal operator: in contrast with the Hardy-Littlewood operator, which is not bounded on L^1, we prove that \mathcal{M} is bounded on L^p(w) for all 0 < p < \infty, if and only if w \in A_{\infty}. The characterization is purely qualitative and does not give the dependence on [w]_{A_{\infty}}. However, the sharp bound \|\mathcal{M}\|_{L^1(w) \to L^1(w)} \lesssim [w]_{A_1} is established.

preprint2011arXiv

Radial projections of rectifiable sets

We show that if no $m$ -plane contains almost all of an $m$ -rectifiable set $E \subset \R^{n}$ , then there exists a single $(m - 1)$ -plane $V$ such that the radial projection of $E$ has positive $m$ -dimensional measure from every point outside $V$ .

preprint2011arXiv

Tangent measures of non-doubling measures

We construct a non-doubling measure on the real line, all tangent measures of which are equivalent to Lebesgue measure.

preprint2011arXiv

Weak And Strong Type Estimates for Maximal Truncations of Calderón-Zygmund Operators on $A_p$ Weighted Spaces

For 1<p< \infty, weight w \in A_p, and any L ^2 -bounded Calderón-Zygmund operator T, we show that there is a constant C(T,P) so that we prove the sharp norm dependence on T_#, the maximal truncations of T, in both weak and strong type L^p(w) norms. Namely, for the weak type norm, T_# maps L^p(w) to weak-L^p(w) with norm at most \|w\|_{A_p}. And for the strong type norm, the norm estimate is \|w\|_{A_p}^{\max(1, (p-1) ^{-1})}. These estimates are not improvable in the power of \lVert w\rVert_{A_p}. Our argument follows the outlines of the arguments of Lacey-Petermichl-Reguera (Math.\ Ann.\ 2010) and Hytönen-Pérez-Treil-Volberg (arXiv, 2010) with new ingredients, including a weak-type estimate for certain duals of T_#, and sufficient conditions for two weight inequalities in L ^{p} for T_#. Our proof does not rely upon extrapolation.

Tuomas Orponen

Research overview

Is this your work?

36 publications

Additive properties of fractal sets on the parabola

Hausdorff dimension bounds for the ABC sum-product problem

Integrability of orthogonal projections, and applications to Furstenberg sets

On exceptional sets of radial projections

Absolute continuity in families of parametrised non-homogeneous self-similar measures

Planar incidences and geometric inequalities in the Heisenberg group

Semmes surfaces and intrinsic Lipschitz graphs in the Heisenberg group

Singular integrals on regular curves in the Heisenberg group

Sub-elliptic boundary value problems in flag domains

On the Assouad dimension of projections

Quantitative absolute continuity of planar measures with two independent Alberti representations

Curve packing and modulus estimates

Improving Kaufman's exceptional set estimate for packing dimension

Projections of planar sets in well-separated directions

Hausdorff dimension estimates for restricted families of projections in R3\mathbb{R}^3R3

Hausdorff dimension, intersection of projections and exceptional plane sections

On the distance sets of AD-regular sets

On the packing measure of slices of self-similar sets

A discretised projection theorem in the plane

On Ahlfors-David regular weighted bounds for the extension operator associated to the circle

On restricted families of projections in R^3

On the tube-occupancy of sets in Rd\mathbb{R}^dRd

Some obstacles in characterising the boundedness of bi-parameter singular integrals

Constancy results for special families of projections

Non-existence of multi-line Besicovitch sets

On Fourier analytic properties of graphs

On the Haar Shift representations of Calderón-Zygmund Operators

On the packing measure of self-similar sets

Square functions with general measures II

On the Distance Sets of Self-Similar Sets

On the Packing Dimension and Category of Exceptional Sets of Orthogonal Projections

Slicing Sets and Measures, and the Dimension of Exceptional Parameters

A Characterization of the boundedness of the median maximal function on weighted L^p spaces

Radial projections of rectifiable sets

Tangent measures of non-doubling measures

Weak And Strong Type Estimates for Maximal Truncations of Calderón-Zygmund Operators on Ap A_pAp​ Weighted Spaces

See the researcher in context

Building this map preview

Hausdorff dimension estimates for restricted families of projections in $\mathbb{R}^3$

On the tube-occupancy of sets in $\mathbb{R}^d$

Weak And Strong Type Estimates for Maximal Truncations of Calderón-Zygmund Operators on $A_p$ Weighted Spaces