arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2409.12826

Dimension of Diophantine approximation and some applications in harmonic analysis

Longhui Li·Bochen Liu
View original source ↗Read source document ↗Export metadata ↓

Abstract

In this paper we construct a new family of sets based on Diophantine approximation in the Euclidean space, and consider their applications in several problems in harmonic analysis. Our first application is on the Hausdorff dimension of our sets. We show a recent result of Ren and Wang on the ABC sum-product problem is sharp. Higher dimensional cases and the relation to orthogonal projections are also discussed. Some conjectures are proposed. In addition to Hausdorff dimension, we also consider Fourier dimension. For every $0\leq t\leq s\leq 1$, we are able to construct a subset of $\mathbb{R}$ that has Hausdorff dimension $s$ and Fourier dimension $t$, together with a measure $μ$ that captures both dimensions, i.e., $$μ(B(x,r))\lesssim_εr^{s-ε} \ \text{and} \ |\hatμ(ξ)|\lesssim_ε|ξ|^{-t/2 +ε}, \ \forall\,ε>0.$$ It is fundamental but the very first such result in the literature. Our last result is to provide a viewpoint of the sharpness of Fourier restriction over general measures from dimensions of sets and measures.

Explore related subjects

math.CAmath.COmath.NT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Longhui Li, Bochen Liu. 2026-01-27. Dimension of Diophantine approximation and some applications in harmonic analysis. https://arxiv.org/abs/2409.12826

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Positive Cubature Compression and Optimal Hyperinterpolation Stability on a Conic Surface

We study the computational cost and stability of positive cubature and hyperinterpolation on a truncated conic surface with a Jacobi-type weight. A classical quadratic disk-to-cone map is formulated as a measure-preserving $\mathbb Z_2$ quotient. It identifies degree-$m$ conic traces with even disk polynomials of degree at most $2m$ and gives a two-way correspondence between positive degree-$2n$ cone cubature and centrally symmetric positive degree-$(4n+1)$ disk cubature. Consequently, Möller's lower bound and the node excess above it transfer exactly, producing compressed non-product cone rules from near-minimal disk formulas. The quotient also transfers reproducing kernels and hyperinterpolation operators. Every positive degree-$2n$ cone rule yields an exact $L^2$ sampling isometry on $Π_n(V)$, so the weighted sampling matrix has condition number one, independently of the number and geometry of its nodes. The associated Lebesgue constants satisfy the rule-independent bound $Λ_{n,γ}^V\ge c_γn^{γ+1}$ for every $γ>-1$. For nonnegative half-integer $γ$, the matching upper bound holds, giving the sharp universal order $Λ_{n,γ}^V\asymp n^{γ+1}$; in particular, $Λ_n^V\asymp n$ when $γ=0$. Thus node compression preserves exact $L^2$ conditioning and, in this parameter range, optimal-order $L^\infty$ stability. Low-degree near-minimal rules and higher-degree optimized disk schemes illustrate the reduction in sampling cost.

math.CA↗
arXiv2026

A Sharp Lower Bound for Integral Menger Curvature

We prove that round circles $C_L$ are the unique minimisers of integral Menger curvature among embedded closed $C^1$ curves $γ$ of prescribed length $L$ for every $p\geq 2$, i.e. $M_p(C_L) \leq M_p(γ)$, with equality if and only if $γ$ parametrises a round circle. The proof combines a three-point symmetrisation, an analysis of diagonal truncations, and the periodic Wirtinger inequality. For $p>3$, known self-avoidance and regularity results extend the minimisation result to closed rectifiable curves without assuming embeddedness or smoothness, provided the length of the curve image equals $L$. In particular, $M_p$ detects the unknot and is basic for $p>3$, thereby answering a question posed repeatedly in the literature.

math.CA↗
arXiv2026

The $(n-2)$-linear restriction estimate in $\mathbb R^n$

We present a proof for the $(n-2)$-linear extension estimate for curved surfaces in $\mathbb{R}^n$, $n\ge5$, at the local product exponent $2(n-1)/(n-2)^2$, with an arbitrarily small power loss. The hypotheses are transversality of the normals and nondegeneracy of the compressed shape operators on their common two-dimensional orthogonal complement. The argument combines polynomial partitioning, a descent through algebraic varieties, localized multilinear restriction, and positive packet-energy estimates.

math.CA↗