Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2609.36412

Twisted Diophantine Approximation II: Uniform Theory

Taehyeong Kim·Vasiliy Neckrasov
View original source ↗Read source document ↗Export metadata ↓

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

math.NT

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

arXiv2026

Asymptotic Fermat for signatures $(r,r,p)$ using the modular approach

Let $K$ be a totally real field, and $r\geq 5$ a fixed rational prime. In this paper, we use the modular method as presented in the work of Freitas and Siksek to study non-trivial, primitive solutions $(x,y,z) \in \mathcal{O}_K^3$ of the signature $(r,r,p)$ equation $x^r+y^r=z^p$ (where $p$ is a prime that varies). An adaptation of the modular method is needed, and we follow the work of Freitas which constructs Frey curves over totally real subfields of $K(ζ_r)$. When $K=\mathbb{Q}$ we get that for most of the primes $5\leq r<150$ with $r\equiv 3,5\mod 8$ there are no non-trivial, primitive integer solutions $(x,y,z)$ with $2|z$ for signatures $(r,r,p)$ when $p$ is sufficiently large. Similar results hold for quadratic fields, for example when $K=\mathbb{Q}(\sqrt{2})$ there are no non-trivial, primitive solutions $(x,y,z)\in \mathcal{O}_K^3$ with $\sqrt{2}|z$ for signatures $(5,5,p), (11,11,p), (13,13,p)$ and sufficiently large $p$.

math.NT↗
arXiv2026

Algebraic approximations to linear combinations of S-units

Let $Γ\subset \bar{\Q}^{\times}$ be a finitely generated multiplicative group of algebraic numbers, let $α_1,\ldots,α_m$ be non-zero algebraic numbers, and let $\varepsilon >0$ be fixed. In this paper, we prove that there exist only finitely many tuples $(u_1, \ldots, u_m, q, p)\in Γ^m\times\mathbb{Z}^2$ with $d = [\mathbb{Q}(u_1, \ldots, u_m):\mathbb{Q}]$ such that for any two tuples $(u_1,\ldots,u_m)$ and $(u'_1,\ldots,u'_m)$, we have $\frac{u_{i_1}}{u_{i_2}}\neq \frac{u'_{i_1}}{u'_{i_2}}$ for $1\leq i_1\neq i_2\leq m$ and it is stable under Galois conjugation over $\Q$, $\max\{|α_1 qu_1|, \ldots, |α_m qu_m|\}>1$, the tuple $(α_1qu_1, \ldots, α_mq u_m)$ is not pseudo-Pisot and \[0< \left|\sum_{i=1}^m α_iq u_i - p\right|<\frac{1}{\left(\prod_{i=1}^mH( u_i)\right)^{\varepsilon} |q|^{md+\varepsilon}},\] where $H(u_i)$ denotes the absolute Weil height. This result extends one of the main results of Corvaja-Zannier \cite{corv}. In addition, we prove a result similar to \cite[Theorem 1.4]{kul} in a more general setting. In our proofs, we exploit the subspace theorem based on the work of Corvaja-Zannier.

math.NT↗
arXiv2026

Rational points on modular curves via maps to elliptic curves with rank zero

A fundamental problem in arithmetic geometry is to determine the image of the mod $N$ Galois representation for all elliptic curves over $\mathbb{Q}$ and integers $N \geq 1$. For a given subgroup $G \le \mathrm{GL}_2(\mathbb{Z}/N\mathbb{Z})$, there is a modular curve $X_G$ whose rational points parametrize elliptic curves for which the image of the mod $N$ Galois representation is contained in $G$. If $X_G$ admits a map to an elliptic curve $E/\mathbb{Q}$ for which $E(\mathbb{Q})$ has rank $0$, then its rational points can be effectively determined, provided that a map $X_G \to E$ is known. In this article, we give a method for constructing such maps. Using this method, together with existing methods and results, we systematically determine the rational points of $X_G$ for more than $99\%$ of modular curves of level at most $70$.

math.NT↗