Small Furstenberg sets

DOI10.1016/J.JMAA.2012.11.001MaRDI QIDQ1941103zbMATH OpenOpenAlexFDO

Authors Ursula Molter, Ezequiel Rela

Publication date 11 March 2013

Published in Journal of Mathematical Analysis and Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1006.4862

zbMATH Keywords

dimension functionFurstenberg setsHausdorff dinmensionJarík's theorems

Mathematics Subject Classification ID

Hausdorff and packing measures (28A78)

Abstract: For $alpha$ in $(0,1]$, a subset $E$ of $RR$ is called Furstenberg set of type $alpha$ or $F_{a}lpha$-set if for each direction $e$ in the unit circle there is a line segment $el{l}_e$ in the direction of $e$ such that the Hausdorff dimension of the set $Ecapel{l}_e$ is greater or equal than $alpha$. In this paper we show that if $alpha>0$, there exists a set $Ein{F}_{a}lpha$ such that $HHg(E)=0$ for $g(x)=x^{1/2+3/2alpha}lo{g}^{-heta}(frac1x)$, $heta>frac1+3alpha2$, which improves on the the previously known bound, that $$ for $$. Further, by refining the argument in a subtle way, we are able to obtain a sharp dimension estimate for a whole class of zero-dimensional Furstenberg type sets. Namely, for $h_{g}amma(x)=lo{g}^{-gamma}(frac1x)$, $gamma>0$, we construct a set $E_{g}ammain{F}_{h_{g}amma}$ of Hausdorff dimension not greater than 1/2. Since in a previous work we showed that 1/2 is a lower bound for the Hausdorff dimension of any $Ein{F}_{h_{g}amma}$, with the present construction, the value 1/2 is sharp for the whole class of Furstenberg sets associated to the zero dimensional functions $h_{g}amma$.

Review text

The authors study dimension properties of Furstenberg-type sets. In particular, they use generalized Hausdorff measures to construct very small Furstenberg sets in a given class. The definition of Furstenberg sets in the setting of a dimension function \(h\), as given in Subsection 1.2, is: a set \(E\subset \mathbb{R}^2\) is called a Furstenberg set of type \(h\) (or an \(F_h\)-set) if, for each direction \(e\) in the unit circle, there is a line segment \(l_e\) in the direction of \(e\) such that the \(h\)-dimensional Hausdorff measure of the set \(l_e\cap E\) is strictly positive. In a previous work by the same authors, it was shown that the appropriate dimension function for an \(F_h\)-set \(E\) must not be dimensionally much smaller than \(h^2\) and \(h\sqrt{\cdot}\). More specifically, in that same paper, the authors proved that for zero-dimensional Furstenberg type sets \(E\) belonging to \(F_{h_{\gamma}}\) holds \(\dim_{H}(E)\geq 1/2\), where \(h_{\gamma}=\log^{-\gamma}\left(\frac{1}{x}\right)\) for \(\gamma>0\). In the present paper, the authors show that, for any given \(\gamma>0\), there exists a set \(E_{\gamma}\subset\mathbb{R}^2\) such that \( E_{\gamma}\in F_{h_{\gamma}}\) and \(\dim_H(E_{\gamma})\leq 1/2\). As a result, the value \(1/2\) is the sharp dimension estimate for the whole class of Furstenberg sets associated to the zero-dimensional functions \(h_{\gamma}\).

Recommendations

• Improving dimension estimates for Furstenberg-type sets
• Hausdorff dimension of Furstenberg-type sets associated to families of affine subspaces
• Furstenberg sets for a fractal set of directions
• An improved bound for the dimension of (,2)-Furstenberg sets
• Refined size estimates for Furstenberg sets via Hausdorff measures: a survey of some recent results

Cited in

(8)

• Furstenberg sets for a fractal set of directions
• Very small sets
• Hausdorff Dimension, Projections, Intersections, and Besicovitch Sets
• scientific article; zbMATH DE number 2079414 (Why is no real title available?)
• Refined size estimates for Furstenberg sets via Hausdorff measures: a survey of some recent results
• Small Box-Behnken design
• Dimension estimates on circular (s,t)-Furstenberg sets
• The Furstenberg set and its random version

This page was built for publication: Small Furstenberg sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1941103)