Searcharxiv⌕ 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

Reverse square function estimates for degenerate curves and their applications

Building on the classical work of Córdoba--Fefferman and the recent work of Schippa, we establish $L^4$ reverse square function estimates for functions whose Fourier support is contained in a $δ$-neighborhood of the curve $\{(ξ,|ξ|^a): |ξ|\leq 1\}$ in $\mathbb{R}^2$, for all exponents $a\in(0,\infty)\backslash\{1\}$. As applications, we derive sharp $L^4$ Strichartz estimates on the one-dimensional torus for fractional Schrödinger equations and establish new local smoothing estimates in modulation spaces. In the latter application, orthogonal Strichartz-type estimates also play a crucial role.

math.CA↗
arXiv2026

Gaussian rigidity and width of measures

Given $0\le m<n$ and a positive Radon measure $μ$ on $\mathbb R^n$ with at most polynomial growth, assume that it has finite $m$-dimensional Gaussian discrepancy, defined as $$\mathcal D(μ):=\limsup_{R\to\infty}\Bigl[R^2\sup_{x\in\mathrm{spt}μ}|G_R^μ(x)-1|\Bigr],$$ where $G_R^μ(x):=(4πR^2)^{-m/2}\int_{\mathbb R^n} e^{-|z-x|^2/(4R^2)}\,dμ(z)$. Provided that $μ$ admits a flat blow-down $\mathcal H^m\llcorner V$ (an assumption that cannot be dropped entirely), we prove that there exists a finite (smallest) $0\leδ<\infty$, the so-called width of $μ$, such that $$\mathrm{spt}μ\subseteq \bar B_δ(V+x_0),\quad δ^2\le C(m,n)\mathcal{D}(μ),$$ where $\bar B_δ(V+x_0)$ denotes the closed $δ$-neighborhood of a suitable translate of $V$. Note that the exponent is optimal because of scale invariance. In particular, when $\mathcal D(μ)=0$, the support of $μ$ is included in an $m$-dimensional affine plane. We use this fact to give a simpler proof of Preiss's rectifiability theorem: while still based on Gaussian averages of $μ$, this new proof avoids showing uniqueness (and hence conicality) of blow-downs of $m$-uniform measures, as well as studying Gaussian-weighted moments beyond second order. The strategy of proof consists of an anisotropic blow-down of $μ$, followed by an analysis of the resulting Young measure, using a rigidity lemma involving the heat semigroup.

math.CA↗
arXiv2026

Fourier decay and endpoint estimates for lacunary maximal operators

We study endpoint estimates for lacunary maximal operators associated with compactly supported measures. For every $d\geq1$, we construct a compactly supported, absolutely continuous probability measure on $\mathbb R^d$ with polynomial Fourier decay whose associated lacunary maximal operator fails to map $H^1(\mathbb R^d)$ boundedly into $L^{1,\infty}(\mathbb R^d)$. In particular, it fails to be of weak type $(1,1)$. This gives a negative answer to the weak type $(1,1)$ question posed by Seeger and Wright in 2011 and to Open Problems 14 and 15, contributed by Wright at the 2016 Conference in Harmonic Analysis, held at the University of Wisconsin--Madison in honor of Professor Michael Christ.

math.CA↗