[Paper Review] Hausdorff theory of dual approximation on planar curves

Jing-Jing Huang|arXiv (Cornell University)|Mar 31, 2014

Mathematical Dynamics and Fractals25 references3 citations

TL;DR

This paper establishes the first complete Hausdorff measure theory for dual approximation on planar curves, resolving the long-standing convergence counterpart of the Beresnevich-Dickinson-Velani ubiquity framework. By applying advanced exponential sum estimates and dyadic decomposition techniques, it proves that the Hausdorff measure of the set of dual approximable points on any non-degenerate planar curve is determined precisely by the convergence or divergence of a specific series involving the approximation function, thereby completing the metric theory for this class of manifolds.

ABSTRACT

Ten years ago, Beresnevich-Dickinson-Velani initiated a project that develops the general Hausdorff measure theory of dual approximation on non-degenerate manifolds. In particular, they established the divergence part of the theory based on their general ubiquity framework. However, the convergence counterpart of the project remains wide open and represents a major challenging question in the subject. Until recently, it was not even known for any single non-degenerate manifold. In this paper, we settle this problem for all curves in $\mathbb{R}^2$, which represents the first complete theory of its kind for a general class of manifolds.

Motivation & Objective

• To resolve the convergence part of the Hausdorff theory of dual approximation on non-degenerate manifolds, which had remained open for a decade.
• To establish a complete metric theory for dual approximation on all non-degenerate planar curves, filling a critical gap in the theory.
• To extend the ubiquity framework of Beresnevich-Dickinson-Velani to the convergence case for curves in R².
• To prove that the Hausdorff measure of the set of dual approximable points on a planar curve is determined by the convergence behavior of a specific series involving the approximation function.

Proposed method

• The proof uses a dyadic decomposition of the denominator q₂ to analyze the number of rational points (q₁, q₂) on the curve satisfying the dual approximation inequality.
• It applies Huxley's exponential sum estimates (Lemma 4) to control the number of solutions to ||q₂f*(q₁/q₂)|| < δ, which bounds the counting function in the ubiquity construction.
• The method introduces a separation of cases based on whether ||F(x₀)|| is less than or greater than 2ψ(q), enabling distinct estimates for the measure of the corresponding solution sets.
• It employs a weighted sum over dyadic intervals to control the Hausdorff s-measure of the set of approximable points, using the decay rate of ψ(q) and the curvature of the curve.
• The proof relies on the Hausdorff-Cantelli lemma to conclude convergence of the s-dimensional Hausdorff measure based on the convergence of the series ∑ψ(2ᵏ)ˢ(2ᵏ)³⁻ˢ.
• It leverages the non-degeneracy of the curve to ensure sufficient curvature, which allows the application of the key exponential sum estimates and ensures the ubiquity framework applies.

Experimental results

Research questions

• RQ1 What is the precise Hausdorff measure of the set of points on a non-degenerate planar curve that are dual approximable by rational vectors with respect to a given approximation function ψ?
• RQ2 Does the convergence case of the Hausdorff theory for dual approximation on manifolds hold for planar curves, given that the divergence case was already established by Beresnevich-Dickinson-Velani?
• RQ3 Can the ubiquity framework be extended to cover the convergence part of the theory for non-degenerate curves in R²?
• RQ4 Is there a complete metric theory for dual approximation on planar curves that parallels the known Khintchine-Groshev theory for Rⁿ?
• RQ5 What conditions on the approximation function ψ ensure that the set of dual approximable points on a planar curve has zero or positive Hausdorff s-measure?

Key findings

• The paper establishes that for any non-degenerate planar curve, the Hausdorff s-measure of the set of dual approximable points is zero if the series ∑ψ(2ᵏ)ˢ(2ᵏ)³⁻ˢ converges.
• The key result is that the convergence of this series characterizes the Hausdorff s-measure of the dual approximation set, completing the metric theory for planar curves.
• The proof confirms that the convergence case of the ubiquity framework holds for all non-degenerate planar curves, resolving a major open problem in metric Diophantine approximation.
• The method successfully controls the number of solutions to the dual approximation inequality using dyadic decomposition and exponential sum estimates, even when the approximation function ψ decays slowly.
• The result implies that the Hausdorff dimension of the set of dual approximable points on a non-degenerate planar curve is determined by the critical exponent s for which the series transitions from divergence to convergence.
• The analysis shows that the non-degeneracy of the curve ensures sufficient curvature to allow the application of Huxley-type exponential sum estimates, which is essential for the convergence proof.