Searcharxiv⌕ Search

arXiv · 2609.36412

Twisted Diophantine Approximation II: Uniform Theory

Abstract

We develop a general method for uniform twisted metric Diophantine approximation with an arbitrary fixed real matrix. Using all successive minima of the associated diagonal lattice trajectory, we estimate lattice-point counts, accounting for clustering in every direction. Ratios of these counts give exact Hausdorff dimensions of sets of twisted $ψ$-Dirichlet vectors for a large class of functions $ψ$, including all except finitely many power functions {$T^{-τ}$, $τ>0$}. We obtain Hausdorff dimension formulae for the endpoint sets obtained by taking the intersection and union of the sets of twisted $cψ$-Dirichlet vectors over $c>0$, and prove that taking the intersections causes no dimension drop. Furthermore, we obtain Hausdorff dimensions of level sets of the uniform Diophantine exponent. In addition, we prove zero-full laws for general Hausdorff measures of $ψ$-Dirichlet sets. Applications recover the one-dimensional Kim-Liao formulae, strengthen Aggarwal's escape-of-mass upper bound, reproduce the metric criteria of Moshchevitin and the second author and give certain extensions of the above statements.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Taehyeong Kim, Vasiliy Neckrasov. 2026-09-29. Twisted Diophantine Approximation II: Uniform Theory. https://arxiv.org/abs/2609.36412

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

KEEP EXPLORING

Related papers

Voronoi-Hankel Transforms

Let $π$ be a generic irreducible representation of $\mathrm{GL}_n(\mathbf{F})$ for a local field $\mathbf{F}$. We introduce the Voronoi--Hankel transform $\mathcal{VH}_π$ for $π$, and prove it is equivalent to the $π$-Fourier transform introduced by Jiang--Luo. We give an extension $\widetilde{\mathcal{VH}}_π$ of $\mathcal{VH}_π$ to some larger class of functions on $\mathbf{F}^{\times}$, and prove the multiplicativity with respect to parabolic induction via the above-mentioned equivalence. For non-archimedean $\mathbf{F}$ we give a systematical study of the relevant kernel function, including the asymptotic behavior at $0$ and $\infty$, as well as some simple integral representation based on the local Langlands correspondences for the essentially tame supercuspidals. As an application in the non-archimedean case, we give an effective version of the stability theorem for the twisted local gamma factors.

math.NT↗

Hecke structure of quaternionic modular forms mod $p$

We relate the systems of Hecke eigenvalues arising from the (mod $p$) modular forms on the Shimura curve attached to the indefinite quaternion algebra $B$ of discriminant $δ$ over $\mathbf{Q}$ to the systems of Hecke eigenvalues arising from the (mod $p$) algebraic modular forms attached to the definite quaternion algebra $D$ of discriminant $pδ$. Moreover, we discuss details of the Hecke structure on the latter spaces, following ideas of Serre. The entire setup can be seen as a Shimura curve analogue of Serre's letter to Tate on quaternions and modular forms. The bijection between the sets of systems of Hecke eigenvalues is a special case of recent work of Terakado and Yu; the novelty of this paper is the explicit nature of the construction, allowing for finer control of its behaviour with respect to weights, as well as the results on the Hecke module structure.

math.NT↗

Real quadratic fields and finite quantum dilogarithms I

We prove that Stark--Shintani ray class invariants (Stark units) associated to real quadratic fields are algebraic numbers. These invariants are given by special values of Faddeev's modular quantum dilogarithm, introduced by Garoufalidis--Kashaev--Zagier. Our main discovery is that special values of the modular quantum dilogarithm satisfy an explicit overdetermined system of polynomial equations, matching a variation on the defining equations of Andersen--Kashaev's notion of a quantum dilogarithm on a product of two cyclic groups. We give two and a half proofs that this system of equations defines a zero-dimensional variety. The simplest follow from an uncertainty principle for finite Fourier transform and $2$-adic valuation bounds. The last proof is more involved and shows finite quanatum dilogarithms can be used to categorify fusion rings introduced by Izumi, and the algebraicity of the special values then follows by Ocneanu's rigidity theorem. As a byproduct, we obtain an explicit infinite family of irrational near-group fusion categories. As a further application, we prove a family of quadratic relations for Stark units recently conjectured by Appleby, Flammia, and Kopp motivated by Zauner's conjecture about SIC-POVMs (complex equiangular lines).

math.NT↗