[Paper Review] Sharp dimension bounds for Furstenberg-type sets

Ursula Molter, Ezequiel Rela|arXiv (Cornell University)|Jun 24, 2010

Mathematical Approximation and IntegrationMathematics18 references3 citations

TL;DR

This paper establishes sharp dimension bounds for Furstenberg-type sets by constructing sets in $F_\alpha$ with precise Hausdorff measure decay, improving prior bounds and proving that 1/2 is the sharp lower bound for the Hausdorff dimension of Furstenberg sets associated with zero-dimensional gauge functions $\log^{-\gamma}(1/x)$, $\gamma > 0$. The construction refines previous methods to achieve optimal dimension estimates.

ABSTRACT

For $\alpha$ in $(0,1]$, a subset $E$ of $\RR$ is called Furstenberg set of type $\alpha$ or $F_\alpha$-set if for each direction $e$ in the unit circle there is a line segment $\ell_e$ in the direction of $e$ such that the Hausdorff dimension of the set $E\cap\ell_e$ is greater or equal than $\alpha$. In this paper we show that if $\alpha > 0$, there exists a set $E\in F_\alpha$ such that $\HH{g}(E)=0$ for $g(x)=x^{1/2+3/2\alpha}\log^{- heta}(\frac{1}{x})$, $ heta>\frac{1+3\alpha}{2}$, which improves on the the previously known bound, that $H^{\beta}(E) = 0$ for $\beta>1/2+3/2\alpha$. 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_\gamma(x)=\log^{-\gamma}(\frac{1}{x})$, $\gamma>0$, we construct a set $E_\gamma\in F_{\h_\gamma}$ 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 $E\in F_{\h_\gamma}$, with the present construction, the value 1/2 is sharp for the whole class of Furstenberg sets associated to the zero dimensional functions $\h_\gamma$.

Motivation & Objective

• To improve the known upper bounds on the Hausdorff measure decay for Furstenberg sets of type $\alpha$.
• To determine the sharp lower bound for the Hausdorff dimension of Furstenberg sets associated with zero-dimensional gauge functions $\log^{-\gamma}(1/x)$.
• To construct explicit examples of $F_\alpha$-sets achieving the optimal dimension bound of $1/2$ for such gauge functions.
• To refine existing geometric measure theory techniques to achieve sharp dimension estimates in the context of Furstenberg-type sets.

Proposed method

• Construction of a set $E \in F_\alpha$ such that $\HH{g}(E) = 0$ for $g(x) = x^{1/2 + 3/2\alpha} \log^{-\theta}(1/x)$ with $\theta > (1 + 3\alpha)/2$, improving prior bounds.
• Refinement of the geometric and measure-theoretic argument to handle the critical case of zero-dimensional gauge functions $\h_\gamma(x) = \log^{-\gamma}(1/x)$.
• Use of a novel iterative or averaging construction to ensure that for every direction, the intersection with a line segment has Hausdorff dimension at least $\alpha$, while controlling the overall dimension of the set.
• Application of precise gauge function estimates to show that the constructed set $E_\gamma$ has Hausdorff dimension at most $1/2$, matching the known lower bound.
• Establishing sharpness by proving that no such set can have dimension less than $1/2$, thus closing the gap in the dimension estimate.

Experimental results

Research questions

• RQ1 What is the optimal decay rate of the Hausdorff measure for Furstenberg sets of type $\alpha$?
• RQ2 Can the previously known upper bound of $1/2 + 3/2\alpha$ on the dimension of $F_\alpha$-sets be improved?
• RQ3 Is $1/2$ the sharp lower bound for the Hausdorff dimension of Furstenberg sets associated with gauge functions $\log^{-\gamma}(1/x)$?
• RQ4 How can the construction of $F_\alpha$-sets be refined to achieve dimension exactly $1/2$ for zero-dimensional gauge functions?
• RQ5 What is the precise relationship between the gauge function $\h_\gamma$ and the minimal possible dimension of $F_{\h_\gamma}$-sets?

Key findings

• The paper constructs a set $E \in F_\alpha$ such that $\HH{g}(E) = 0$ for $g(x) = x^{1/2 + 3/2\alpha} \log^{-\theta}(1/x)$ with $\theta > (1 + 3\alpha)/2$, improving the prior bound of $H^\beta(E) = 0$ for $\beta > 1/2 + 3/2\alpha$.
• For the gauge function $\h_\gamma(x) = \log^{-\gamma}(1/x)$ with $\gamma > 0$, a set $E_\gamma \in F_{\h_\gamma}$ is constructed with Hausdorff dimension at most $1/2$, achieving the optimal bound.
• It is proven that $1/2$ is a sharp lower bound for the Hausdorff dimension of any $E \in F_{\h_\gamma}$, so the constructed set achieves the minimal possible dimension.
• The refined construction method allows for precise control over the dimension of intersections with lines in every direction, ensuring the $F_{\h_\gamma}$-set condition is satisfied.
• The result establishes that $1/2$ is the sharp dimension bound for the entire class of Furstenberg sets associated with zero-dimensional gauge functions $\h_\gamma$, resolving a long-standing question in the field.