arXiv Science⌕ Search

arXiv subjects

Laura Venieri

Publications and source records attributed to Laura Venieri.

7 recordsLinked to original sources
arXiv2021

A Marstrand-type restricted projection theorem in $\mathbb{R}^{3}$

Marstrand's projection theorem from $1954$ states that if $K \subset \mathbb{R}^{3}$ is an analytic set, then, for $\mathcal{H}^{2}$ almost every $e \in S^{2}$, the orthogonal projection $π_{e}(K)$ of $K$ to the line spanned by $e$ has Hausdorff dimension $\min\{\dim_{\mathrm{H}} K,1\}$. This paper contains the following sharper version of Marstrand's theorem. Let $V \subset \mathbb{R}^{3}$ be any $2$-plane, which is not a subspace. Then, for $\mathcal{H}^{1}$ almost every $e \in S^{2} \cap V$, the projection $π_{e}(K)$ has Hausdorff dimension $\min\{\dim_{\mathrm{H}} K,1\}$. For $0 \leq t < \dim_{\mathrm{H}} K$, we also prove an upper bound for the Hausdorff dimension of those vectors $e \in S^{2} \cap V$ with $\dim_{\mathrm{H}} ρ_{e}(K) \leq t < \dim_{\mathrm{H}} K$.

math.CA↗
arXiv2018

Geometric properties of extremal sets for the dimension comparison in Carnot groups of step 2

In Carnot groups of step 2 we consider sets having maximal or minimal possible homogeneous Hausdorff dimension compared to their Euclidean one: in the first case we prove that they must be in a sense vertical, that is a large part of these sets can lie off horizontal planes through their points, and in the latter case close to horizontal. The examples that had been used to prove the sharpness of the sub-Riemannian versus Euclidean dimension comparison intuitively satisfied these geometric properties, which we here quantify and prove to be necessary. We also show the sharpness of our statements with some examples. This paper generalizes the analogue results proved by Mattila and the author in the first Heisenberg group.

math.CA↗
arXiv2018

Improved bounds for restricted families of projections to planes in $\mathbb{R}^{3}$

For $e \in S^{2}$, the unit sphere in $\mathbb{R}^3$, let $π_{e}$ be the orthogonal projection to $e^{\perp} \subset \mathbb{R}^{3}$, and let $W \subset \mathbb{R}^{3}$ be any $2$-plane, which is not a subspace. We prove that if $K \subset \mathbb{R}^{3}$ is a Borel set with $\dim_{\mathrm{H}} K \leq \tfrac{3}{2}$, then $\dim_{\mathrm{H}} π_{e}(K) = \dim_{\mathrm{H}} K$ for $\mathcal{H}^{1}$ almost every $e \in S^{2} \cap W$, where $\mathcal{H}^{1}$ denotes the $1$-dimensional Hausdorff measure and $\dim_{\mathrm{H}}$ the Hausdorff dimension. This was known earlier, due to Järvenpää, Järvenpää, Ledrappier and Leikas, for Borel sets $K \subset \mathbb{R}^{3}$ with $\dim_{\mathrm{H}} K \leq 1$. We also prove a partial result for sets with dimension exceeding $3/2$, improving earlier bounds by D. Oberlin and R. Oberlin.

math.CA↗
arXiv2018

A note on expansion in prime fields

Let $β,ε\in (0,1]$, and $k \geq \exp(122 \max\{1/β,1/ε\})$. We prove that if $A,B$ are subsets of a prime field $\mathbb{Z}_{p}$, and $|B| \geq p^β$, then there exists a sum of the form $$S = a_{1}B \pm \ldots \pm a_{k}B, \qquad a_{1},\ldots,a_{k} \in A,$$ with $|S| \geq 2^{-12}p^{-ε}\min\{|A||B|,p\}$. As a corollary, we obtain an elementary proof of the following sum-product estimate. For every $α< 1$ and $β,δ> 0$, there exists $ε> 0$ such that the following holds. If $A,B,E \subset \mathbb{Z}_{p}$ satisfy $|A| \leq p^α$, $|B| \geq p^β$, and $|B||E| \geq p^δ|A|$, then there exists $t \in E$ such that $$|A + tB| \geq c p^ε|A|,$$ for some absolute constant $c > 0$. A sharper estimate, based on the polynomial method, follows from recent work of Stevens and de Zeeuw.

math.CO↗
arXiv2017

A comparison of Euclidean and Heisenberg Hausdorff measures

We prove some geometric properties of sets in the first Heisenberg group whose Heisenberg Hausdorff dimension is the minimal or maximal possible in relation to their Euclidean one and the corresponding Hausdorff measures are positive and finite. In the first case we show that these sets must be in a sense horizontal and in the second case vertical. We show the sharpness of our results with some examples.

math.CA↗
arXiv2017

Dimension estimates for Kakeya sets defined in an axiomatic setting

In this dissertation we define a generalization of Kakeya sets in certain metric spaces. Kakeya sets in Euclidean spaces are sets of zero Lebesgue measure containing a segment of length one in every direction. A famous conjecture, known as Kakeya conjecture, states that the Hausdorff dimension of any Kakeya set should equal the dimension of the space. It was proved only in the plane, whereas in higher dimensions both geometric and arithmetic combinatorial methods were used to obtain partial results. In the first part of the thesis we define generalized Kakeya sets in metric spaces satisfying certain axioms. These allow us to prove some lower bounds for the Hausdorff dimension of generalized Kakeya sets using two methods introduced in the Euclidean context by Bourgain and Wolff. With this abstract setup we can deal with many special cases in a unified way, recovering some known results and proving new ones. In the second part we present various applications. We recover some of the known estimates for the classical Kakeya and Nikodym sets and for curved Kakeya sets. Moreover, we prove lower bounds for the dimension of sets containing a segment in a line through every point of a hyperplane and of an (n-1)-rectifiable set. We then show dimension estimates for Furstenberg type sets (already known in the plane) and for the classical Kakeya sets with respect to a metric that is homogeneous under non-isotropic dilations and in which balls are rectangular boxes with sides parallel to the coordinate axis. Finally, we prove lower bounds for the classical bounded Kakeya sets and a natural modification of them in Carnot groups of step two whose second layer has dimension one, such as the Heisenberg group. On the other hand, if the dimension is bigger than one we show that we cannot use this approach.

math.CA↗