arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.37420

Spectral $L^2$-bounds on Eisenstein series and Diophantine properties of quadratic forms

Jitendra Bajpai·Kristian Holm
View original source ↗Read source document ↗Export metadata ↓

Abstract

We give $L^2$-bounds with respect to the height of the spectral parameter for Epstein zeta functions $\mathrm{Z}_Q(s)$ and non-holomorphic Eisenstein series $E_{\mathfrak{c}}(s,z)$ attached to the Hecke congruence subgroup $Γ_0 (p)$ of prime level $p$. Our bounds are completely explicit in the level and, additionally, constitute an almost sure logarithmic improvement over previously established bounds for the level-one Eisenstein series. Following the approach of Kelmer--Kontorovich--Lutsko, we combine the approximate functional equation for $\mathrm{Z}_Q(s)$ with estimates for the number of pairs of lattice vectors at which $Q$ takes nearly equal values. Under a Diophantine hypothesis on $Q$, we sharpen these counting estimates using results of Eskin--Margulis--Mozes on the distribution of values of quadratic forms of signature $(2,2)$.

Explore related subjects

math.NT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Jitendra Bajpai, Kristian Holm. 2026-10-27. Spectral $L^2$-bounds on Eisenstein series and Diophantine properties of quadratic forms. https://arxiv.org/abs/2610.37420

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

KEEP EXPLORING

Related papers

arXiv2026

Hypergeometric Motives from Toric Hypersurfaces

In this paper, we study two compactifications of general hypersurfaces defined by the vanishing of linear combinations of $d+2$ monomials in $d$-dimensional algebraic tori. We prove that the number of their $\mathbb{F}_q$-points is given by finite hypergeometric sums under certain general conditions. In the process, we introduce the notion of a gamma triple, which allows us to extend the classical definition of finite hypergeometric sums to prime powers corresponding to the cyclotomic field of definition of the associated monodromy representation. As a special case of our main results, we study the Dwork family and obtain a formula for the number of its $\mathbb{F}_q$-points. Our results generalise the work of Beukers, Cohen, and Mellit for finite hypergeometric sums defined over $\mathbb{Q}$.

math.NT↗
arXiv2026

p-adic Properties of Translated Division Polynomials and Somos Sequences

We study the periodicity and $p$-adic convergence of sequences of values of the translated division polynomials $(Ψ_n(P))_{n\geq 0}$, $(Φ_n(P))_{n\geq 0}$, and $(Ω_n(P))_{n\geq 0}$ evaluated at a pair of points on an elliptic curve. We prove that these sequences are purely periodic over finite fields. We then use their periodicity properties to prove that certain subsequences are $\mathbb{Z}_p$-Cauchy. Applying this result to Somos 4 and Somos 5 sequences yields analogous convergence results. We also establish pure periodicity modulo prime powers for the even- and odd-indexed subsequences of Somos 5 sequences under suitable hypotheses.

math.NT↗
arXiv2026

Coefficient choice in Galois-ring lifts of APN permutations: sharp unit-direction spectra and one-term optimal lifts

Permutation polynomials over the Galois ring $\mathrm{GR}(2^k,m)$ are nonlinear components for symmetric primitives that add keys in the ring, as in secure computation modulo $2^k$. Rønjom and Sandrib showed that their differential uniformity is at least $2q^{k-1}$, where $q=2^m$. For the class studied here it is attained on top-layer differences, while almost all differences are units. We ask how small the difference table can be on unit differences when the residue permutation is fixed and only higher coefficient digits of its lift are chosen. Let $m\ge5$ be odd, $k\ge3$, and let $p$ be a reduced quadratic almost perfect nonlinear (APN) permutation of $\mathbb{F}_q$ whose derivative is nowhere zero and two-to-one. Over all lifts of $p$, the least possible maximum on unit differences is $q$ or $2q$, decided by two invariants of $p$ and the level $k$. We describe every lift attaining it and show that the coefficients modulo $8$ decide optimality at every level. For every odd $m\ge5$, residue permutations with at most $16$ monomials attain $q$ after one $2$-adic digit of one coefficient of the natural lift is changed. For an explicit infinite family, one added monomial lowers the maximum on unit differences from $4q$, or from at least $q^2$, to $2q$ at every level without raising the degree. Under a uniform starting state and independent uniform round keys, valuation preservation yields layerwise bounds for characteristics and two-round differentials that distinguish lifts with the same global uniformity. Core results are formalized in Lean 4.

math.NT↗