-
Hausdorff dimension of Besicovitch sets of Cantor graphs
Authors:
Iqra Altaf,
Marianna Csörnyei,
Kornélia Héra
Abstract:
We consider the Hausdorff dimension of planar Besicovitch sets for rectifiable sets $Γ$, i.e. sets that contain a rotated copy of $Γ$ in each direction. We show that for a large class of Cantor sets $C$ and Cantor-graphs $Γ$ built on $C$, the Hausdorff dimension of any $Γ$-Besicovitch set must be at least $\min\left(2-s^2,\frac{1}{s}\right)$, where $s=\dim C$.
We consider the Hausdorff dimension of planar Besicovitch sets for rectifiable sets $Γ$, i.e. sets that contain a rotated copy of $Γ$ in each direction. We show that for a large class of Cantor sets $C$ and Cantor-graphs $Γ$ built on $C$, the Hausdorff dimension of any $Γ$-Besicovitch set must be at least $\min\left(2-s^2,\frac{1}{s}\right)$, where $s=\dim C$.
△ Less
Submitted 13 November, 2023; v1 submitted 26 August, 2022;
originally announced August 2022.
-
A Fubini-type theorem for Hausdorff dimension
Authors:
K. Héra,
T. Keleti,
A. Máthé
Abstract:
It is well known that a classical Fubini theorem for Hausdorff dimension cannot hold; that is, the dimension of the intersections of a fixed set with a parallel family of planes do not determine the dimension of the set. Here we prove that a Fubini theorem for Hausdorff dimension does hold modulo sets that are small on all Lipschitz graphs.
We say that $G\subset \mathbb{R}^k\times \mathbb{R}^n$…
▽ More
It is well known that a classical Fubini theorem for Hausdorff dimension cannot hold; that is, the dimension of the intersections of a fixed set with a parallel family of planes do not determine the dimension of the set. Here we prove that a Fubini theorem for Hausdorff dimension does hold modulo sets that are small on all Lipschitz graphs.
We say that $G\subset \mathbb{R}^k\times \mathbb{R}^n$ is $Γ_k$-null if for every Lipschitz function $f:\mathbb{R}^k\to \mathbb{R}^n$ the set $\{t\in\mathbb{R}^k\,:\,(t,f(t))\in G\}$ has measure zero. We show that for every Borel set $E\subset \mathbb{R}^k\times \mathbb{R}^n$ with $\dim (\text{proj}_{\mathbb{R}^k} E)=k$ there is a $Γ_k$-null subset $G\subset E$ such that $$\dim (E\setminus G) = k+\text{ess-}\sup(\dim E_t)$$ where $\text{ess-}\sup(\dim E_t)$ is the essential supremum of the Hausdorff dimension of the vertical sections $\{E_t\}_{t\in \mathbb{R}^k}$ of $E$. In addition, we show that, provided that $E$ is not $Γ_k$-null, there is a $Γ_k$-null subset $G\subset E$ such that for $F=E \setminus G$, the Fubini-property holds, that is, $\dim (F) = k+\text{ess-}\sup(\dim F_t)$.
We also obtain more general results by replacing $\mathbb{R}^k$ by an Ahlfors-David regular set. Applications of our results include Fubini-type results for unions of affine subspaces, connection to the Kakeya conjecture and projection theorems.
△ Less
Submitted 15 September, 2022; v1 submitted 17 June, 2021;
originally announced June 2021.
-
An improved bound for the dimension of $(α,2α)$-Furstenberg sets
Authors:
Kornélia Héra,
Pablo Shmerkin,
Alexia Yavicoli
Abstract:
We show that given $α\in (0, 1)$ there is a constant $c=c(α) > 0$ such that any planar $(α, 2α)$-Furstenberg set has Hausdorff dimension at least $2α+ 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.
We show that given $α\in (0, 1)$ there is a constant $c=c(α) > 0$ such that any planar $(α, 2α)$-Furstenberg set has Hausdorff dimension at least $2α+ 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.
△ Less
Submitted 12 March, 2020; v1 submitted 30 January, 2020;
originally announced January 2020.
-
Hausdorff dimension of Furstenberg-type sets associated to families of affine subspaces
Authors:
Kornélia Héra
Abstract:
We show that if $B \subset \mathbb{R}^n$ and $E \subset A(n,k)$ is a nonempty collection of $k$-dimensional affine subspaces of $\mathbb{R}^n$ such that every $P \in E$ intersects $B$ in a set of Hausdorff dimension at least $α$ with $k-1 < α\leq k$, then $\dim B \geq α+\dim E/(k+1)$, where $\dim$ denotes the Hausdorff dimension. This estimate generalizes the well known Furstenberg-type estimate t…
▽ More
We show that if $B \subset \mathbb{R}^n$ and $E \subset A(n,k)$ is a nonempty collection of $k$-dimensional affine subspaces of $\mathbb{R}^n$ such that every $P \in E$ intersects $B$ in a set of Hausdorff dimension at least $α$ with $k-1 < α\leq k$, then $\dim B \geq α+\dim E/(k+1)$, where $\dim$ denotes the Hausdorff dimension. This estimate generalizes the well known Furstenberg-type estimate that every $α$-Furstenberg set in the plane has Hausdorff dimension at least $α+ 1/2$.
More generally, we prove that if $B$ and $E$ are as above with $0 < α\leq k$, then $\dim B \geq α+(\dim E-(k-\lceil α\rceil)(n-k))/(\lceil α\rceil+1)$. We also show that this bound is sharp for some parameters.
As a consequence, we prove that for any $1 \leq k<n$, the union of any nonempty $s$-Hausdorff dimensional family of $k$-dimensional affine subspaces of $\mathbb{R}^n$ has Hausdorff dimension at least $k+\frac{s}{k+1}$.
△ Less
Submitted 11 March, 2019; v1 submitted 12 September, 2018;
originally announced September 2018.
-
The Kakeya problem for circular arcs
Authors:
Kornélia Héra,
Miklós Laczkovich
Abstract:
We prove that if a circular arc has angle short enough, then it can be continuously moved to any prescribed position within a set of arbitrarily small area.
We prove that if a circular arc has angle short enough, then it can be continuously moved to any prescribed position within a set of arbitrarily small area.
△ Less
Submitted 1 February, 2018;
originally announced February 2018.
-
Closed sets with the Kakeya property
Authors:
Marianna Csörnyei,
Kornélia Héra,
Miklós Laczkovich
Abstract:
We say that a planar set $A$ has the Kakeya property if there exist two different positions of $A$ such that $A$ can be continuously moved from the first position to the second within a set of arbitrarily small area. We prove that if $A$ is closed and has the Kakeya property, then the union of the nontrivial connected components of $A$ can be covered by a null set which is either the union of para…
▽ More
We say that a planar set $A$ has the Kakeya property if there exist two different positions of $A$ such that $A$ can be continuously moved from the first position to the second within a set of arbitrarily small area. We prove that if $A$ is closed and has the Kakeya property, then the union of the nontrivial connected components of $A$ can be covered by a null set which is either the union of parallel lines or the union of concentric circles. In particular, if $A$ is closed, connected and has the Kakeya property, then $A$ can be covered by a line or a circle.
△ Less
Submitted 1 February, 2018;
originally announced February 2018.
-
Hausdorff dimension of unions of affine subspaces and of Furstenberg-type sets
Authors:
K. Héra,
T. Keleti,
A. Máthé
Abstract:
We prove that for any $1 \le k<n$ and $s\le 1$, the union of any nonempty $s$-Hausdorff dimensional family of $k$-dimensional affine subspaces of ${\mathbb R}^n$ has Hausdorff dimension $k+s$. More generally, we show that for any $0 < α\le k$, if $B \subset {\mathbb R}^n$ and $E$ is a nonempty collection of $k$-dimensional affine subspaces of ${\mathbb R}^n$ such that every $P \in E$ intersects…
▽ More
We prove that for any $1 \le k<n$ and $s\le 1$, the union of any nonempty $s$-Hausdorff dimensional family of $k$-dimensional affine subspaces of ${\mathbb R}^n$ has Hausdorff dimension $k+s$. More generally, we show that for any $0 < α\le k$, if $B \subset {\mathbb R}^n$ and $E$ is a nonempty collection of $k$-dimensional affine subspaces of ${\mathbb R}^n$ such that every $P \in E$ intersects $B$ in a set of Hausdorff dimension at least $α$, then $\dim B \ge 2 α- k + \min(\dim E, 1)$, where $\dim$ denotes the Hausdorff dimension. As a consequence, we generalize the well known Furstenberg-type estimate that every $α$-Furstenberg set has Hausdorff dimension at least $2 α$; we strengthen a theorem of Falconer and Mattila; and we show that for any $0 \le k<n$, if a set $A \subset {\mathbb R}^n$ contains the $k$-skeleton of a rotated unit cube around every point of ${\mathbb R}^n$, or if $A$ contains a $k$-dimensional affine subspace at a fixed positive distance from every point of ${\mathbb R}^n$, then the Hausdorff dimension of $A$ is at least $k + 1$.
△ Less
Submitted 6 March, 2018; v1 submitted 9 January, 2017;
originally announced January 2017.
-
Small unions of affine subspaces and skeletons via Baire category
Authors:
Alan Chang,
Marianna Csörnyei,
Kornélia Héra,
Tamás Keleti
Abstract:
Our aim is to find the minimal Hausdorff dimension of the union of scaled and/or rotated copies of the $k$-skeleton of a fixed polytope centered at the points of a given set. For many of these problems, we show that a typical arrangement in the sense of Baire category gives minimal Hausdorff dimension. In particular, this proves a conjecture of R. Thornton.
Our results also show that Nikodym set…
▽ More
Our aim is to find the minimal Hausdorff dimension of the union of scaled and/or rotated copies of the $k$-skeleton of a fixed polytope centered at the points of a given set. For many of these problems, we show that a typical arrangement in the sense of Baire category gives minimal Hausdorff dimension. In particular, this proves a conjecture of R. Thornton.
Our results also show that Nikodym sets are typical among all sets which contain, for every point x of R^n, a punctured hyperplane H\{x} through x. With similar methods we also construct a Borel subset of R^n of Lebesgue measure zero containing a hyperplane at every positive distance from every point.
△ Less
Submitted 14 February, 2018; v1 submitted 5 January, 2017;
originally announced January 2017.
