Number Theory [math.NT]

Collapsing Fifty Dilogarithm Arguments to Five Terms over $\mathbb{Q}\bigl(u,\sqrt{4-3u^{2}}\bigr)$

math.NT

We give a one-parameter functional equation for the real Rogers dilogarithm, with arguments in $\mathbb{Q}\bigl(u,\sqrt{4-3u^{2}}\bigr)$, and prove it by an explicit array of ten instances of Rogers' five-term relation: the fifty arguments so contributed cancel down to the five of the identity, which admit no shorter relation among themselves. The equation comes from a pair of integrals whose equality is elementary, and we show that the underlying integrand is essentially forced. Specialising the parameter gives identities over $\mathbb{Q}(\sqrt{33})$ and $\mathbb{Q}(\sqrt{17})$, a relation between $\mathbb{Q}(\sqrt{13})$, $\mathbb{Q}(\sqrt{3})$, and $\operatorname{Cl}_2(\pi/3)$ with a new analogue for Catalan's constant, and a pair of dilogarithm ladders of quartic base over $\mathbb{Q}(\sqrt{33})$. The base equations of these ladders, and of four conjectural ones located by integer-relation search, are irreducible quartics with four real roots. All previously recorded ladders of degree four known to us have base equations with two real roots, so these appear to be the first totally real ladders of degree exceeding three.

Poincar\'e duality in Hida families

math.NT

We construct a bilinear pairing for $p$-adic families of cohomology classes associated to locally symmetric spaces of a certain level at $p$ and obtain a comparison between the specialisations of constructed pairing and the natural duality pairings on cohomology of automorphic sheaves under specialisation maps. We show that the considered locally symmetric spaces with the chosen level admit an automorphism which naturally generalises the Atkin--Lehner involution for modular curves and interchanges the ordinary and anti-ordinary parts of the cohomology thereby making it possible to pair two anti-ordinary classes. Our construction is motivated by the pairing constructed by Ohta for modular curves and recovers it.

Fourier Spectral Reciprocity and Canonical Hecke $L$-Functions

math.NT

We prove a Fourier-type toric spectral reciprocity formula over number fields, relating Tate integrals over a quadratic extension to a dual family of Hecke periods over the base field. The formula keeps the spectral parameter free and allows test functions adapted to arithmetic applications. We apply this reciprocity formula to canonical Hecke $L$-functions over CM fields and obtain explicit first moment formulas, including both central values and central derivatives. These formulas are uniform in the weight and the twisting conductor, and require no Heegner-type splitting hypothesis. Together with subconvexity bounds, they yield quantitative nonvanishing results for canonical Hecke $L$-functions and their derivatives. In weight one, this gives a rank-one analogue of the arithmetic applications of Masri--Yang, yielding quantitative Mordell--Weil rank-one results for quadratic twists of the associated CM abelian varieties.

Geometric Realization of Finite Residue Casimirs and Weil Operators via Szeg\H{o} Kernels

math.NT

math.AG

For a smooth projective curve over a finite field with a fixed point at infinity, we establish a universal correspondence between finite residue duality and geometric kernel functions. We prove that the finite residue Casimir tensor is realized geometrically as the intrinsic principal part of the normalized Szeg\H{o} kernel for any acyclic line bundle, and equivalently that this kernel acts as a reproducing kernel for the finite residue pairing, in exact analogy with the classical Cauchy integral formula. In the polynomial case these equivalent descriptions yield a closed formula involving the rank-two Weil operator, identified with the classical divided difference, recovering a remainder identity of Hu--Ou. These results provide a geometric foundation for the study of Anderson generating functions and the Weil pairing for Drinfeld modules.

Sieve dimension and search depth for the Erd\H{o}s-Straus conjecture, $n \equiv 1 \pmod{24}$

math.NT

For primes $n\equiv1\pmod{24}$ we study how deep an explicit, factorization-free search for a decomposition of $4/n$ into three unit fractions has to go. Write $E_2(N;J)$ for the set of such primes $n\le N$ at which no witness of depth at most $J$ exists, in the sense of the two-parameter criterion of Theorem 3.9 with coprime parameters $u,a\le J$. We prove that for every fixed $J$ $$|E_2(N;J)| \ll_J \frac{N}{(\log N)^{1+\mathfrak{A}(J)/2}},$$ the exponent being the exact dimension of the covering on which the proof rests. The proof replaces the subgroup generated by the prime factors, an approach that breaks down as soon as $(\mathbb{Z}/4m)^{\times}$ has exponent greater than $2$, by a fixed-point-free involution, and is unconditional at every $J$. Second, we exhibit an unconditional obstruction. At the shift $c=7$ there are $\asymp N(\log N)^{-3/2}$ primes $n\le N$, $n\equiv1\pmod{24}$, at which both branches of the divisor criterion fail. The representation of $K_7=(n+7)/4$ by the principal form of discriminant $-7$ has to be primitive, so that the relevant input is the primitive-representation theorem of Fuchs, Hsu, Rickards, Schindler and Stange [25] rather than the classical results of Iwaniec; a fixed shift therefore cannot leave a finite residual set. Third, a factorization-free procedure decides the conjecture for all primes of an interval $[N,2N]$. Its Type II pass costs $\mathcal{O}(N(\log N)^{3})$ while its Type I pass costs $\Theta(N^{2})$, which locates the whole quadratic cost in the extraction of the divisors of $4u^{2}d+1$ and exhibits an asymmetry between the two halves of the Type I/Type II dichotomy. The conjecture itself remains open.

Modular Forms Related to Real Quadratic Fields as Traces of Cycle Integrals

math.NT

A decade ago, locally harmonic Maa{\ss} forms were first established by Bringmann, Kane, and Kohnen in negative weights and independently by H\"ovel in weight $0$. Since then, they have seen important applications related to twisted central $L$-values of newforms. However, there are just a few examples of these forms known so far, and in particular there is no unifying theory behind these examples. Towards this direction, we show that the representations of Zagier's $f_{k,D}$ and Mono's $g_{k+1,D}$ functions as traces of cycle integrals are not unique.

Winning property of counterexamples to Uniform Littlewood's Conjecture

math.NT

In this paper, we prove that the set of counterexamples to uniform Littlewood's conjecture proposed in \cite{BFK25}, that is, the set of real pairs $(x,y)$ satisfying $$\limsup_{Q\to+\infty}\ Q\min_{1\leq q\leq Q}\langle qx\rangle\langle qy\rangle>0$$ is hyperplane absolute winning. In particular, it has full Hausdorff dimension in $\mathbb{R}^2$.

A Buium--Coleman bound for the Zilber--Pink conjecture for curves inside abelian varieties

math.NT

math.AG

We provide an explicit bound for the image of the Zilber--Pink locus of a curve in an abelian variety under reduction modulo a suitably large prime $p$. We also provide a new proof of finiteness of the Zilber--Pink locus. Under further assumptions on the abelian variety, we prove a bound on the size of the locus.

Sums of three powerful numbers

math.NT

Let $p,q,r\geq 2$ and consider the Campana orbifold \[ \left( \mathbb{P}^1, \left(1-\tfrac1p\right)[0] +\left(1-\tfrac1q\right)[1] +\left(1-\tfrac1r\right)[\infty] \right). \] Primitive positive Campana points on this orbifold correspond to solutions of $a+b=c$ in which $a$, $b$, and $c$ are respectively $p$-full, $q$-full, and $r$-full. We establish upper bounds for the number of such points of bounded height in a broad range of exponents, with a power-saving over the trivial bound. The main analytic input is an estimate for primitive integral points in lopsided boxes on generalized Fermat surfaces $a_1x^p+a_2y^q+a_3z^r=0$, which is uniform in the coefficients.

Infinite continued fractions with a finite alphabet and their applications

math.NT

The paper investigates the topological and metric properties of the set $E$ of values of all infinite continued fractions of the form \[0+\frac{1}{a_1+\dfrac{1}{a_2+_{\ddots}}}=1/a_1+1/a_2+...+1/a_n+...\equiv[0;a_1,a_2,...,a_n,...],\] whose partial quotients ($a_n$) take values in a finite set of positive real numbers $\{e_0,e_1,...,e_{s-1}\}$, $e_0<...

Polynomial representatives of finite-field maps: a sharp dimensional dichotomy

math.NT

Let $k=\mathbb{F}_q$. A polynomial representative of a finite-set map is a tuple of polynomials inducing that map on the rational-point grid. We prove a sharp distinction between a finite-set map and the geometry of its representatives. If $n=1$ or $n=2$, every polynomial representative of a permutation of $k^n$ has algebraically independent coordinates. If $n\geq3$, every set map $k^n\to k^n$ has both an algebraically independent and an algebraically dependent representative; the latter may be chosen to satisfy \[ F_2^q-F_2=(F_1^q-F_1)F_3. \] More generally, every map $k^m\to k^n$ has an algebraically independent representative exactly when $n\leq m$, while every such map has a dependent representative when $n\geq3$. The dependent construction combines an Artin--Schreier interpolation theorem, producing prescribed values by polynomials $A,B$ with $A^q-A\mid B^q-B$, with a three-coordinate suspension. For the identity on $k^3$, the scheme-theoretic image may be chosen to be exactly \[ V^q-V=(U^q-U)W, \] a smooth geometrically integral rational surface. We also establish low-degree and extension-field criteria forcing algebraic independence. An exact exhaustive computation additionally proves that every $2$-reduced representative of a permutation of $\mathbb{F}_2^3$ has algebraically independent coordinates.

Fourier Coefficients of the Degenerate Eisenstein Series on Symplectic Groups

math.NT

math.RT

We study degenerate Eisenstein series on symplectic groups and construct a new automorphic descent. We show that a certain Fourier coefficient, after restriction to a smaller symplectic group, is itself an Eisenstein series with the same inducing parameter \(s\). We describe the resulting holomorphic section explicitly in terms of the original section and local \(L\)-factors at unramified places. At every regular point of the local descent, we prove surjectivity at non-Archimedean places and dense image at Archimedean places. We finally indicate an application of the iterated descent to maximal Fourier coefficients of Eisenstein series.

On the Geometry and Shapes of Rank 2 Log Unit Lattices

math.NT

Every number field canonically gives rise to two lattices: its ring of integers and its log unit lattice. While the shapes of the former have undergone extensive research, far less is known about the shapes of the latter, referred to as unit shapes. This paper presents an in-depth analysis of the unit shapes of number fields with unit rank 2. Our first main result characterizes, in many cases, the location of unit shapes within the fundamental domain of the space of rank 2 lattice shapes in terms of the Galois group of the field's Galois closure, and determines when these unit shapes are transcendental. Next, we establish that the unit shape uniquely determines the field up to isomorphism for totally imaginary $D_6$ non-CM sextic fields; this result fails in the CM case. Finally, for certain subfamilies of $D_6$ non-CM imaginary sextics, we offer a simple sufficient condition for their log unit lattices to be orthogonal and provide lower bounds on the proportion of fields with orthogonal log unit lattice.

Permutation and exceptionality of rational functions from equivariant elliptic isogenies over finite fields

math.NT

math.AG

Let $k=\mathbb F_q$ with a fixed algebraic closure $\bar k$. Let $E,E'/k$ be elliptic curves with faithful origin-preserving actions of a nontrivial finite group $\Lambda$, and let $\varphi:E\to E'$ be a separable $\Lambda$-equivariant $k$-isogeny. Assume that the prescribed action on $E$ is stable under $q$-power Frobenius conjugation, and let $f$ be the induced map between the quotient lines. We prove that this family has no accidental permutations: for every $k_r=\mathbb F_{q^r}$, the map $f$ permutes $\mathbf P^1(k_r)$ if and only if it is exceptional over $k_r$. More precisely, writing $\mathcal N=\ker\varphi(\bar k)$, these equivalent properties are controlled entirely by the induced Frobenius and $\Lambda$-actions on $\mathcal N$: they hold if and only if \[ \mathcal N\cap\ker(\mathcal F_E^r-\gamma_E)=\{\mathrm O_E\} \qquad\text{for all }\gamma\in\Lambda. \] Here $\mathrm O_E$ is the origin of $E$, $\mathcal F_E$ is $q$-power Frobenius, and $\gamma_E$ denotes the action of $\gamma$ on $E$. A weighted Frobenius-sector identity makes the criterion exact even over ramified quotient fibres. We identify the geometric and arithmetic monodromy groups as affine groups on $\mathcal N$ and prove that the permutation support is purely periodic, with explicit least positive period and natural density. For multiplication maps the criterion reduces to determinant tests on torsion, yielding explicit split and nonsplit criteria for cyclic quotient groups of orders $2$, $3$, $4$, and $6$.

A dual reformulation of the complex sin^2-algorithm: exact identities, descent, and finiteness

math.NT

We develop the structure theory of the deterministic $\sin^2$-type algorithm for complex cubic fields introduced in the companion paper, addressing the complex-signature case of Karpenkov's Problem 4. The selection rule is shown to be, exactly, the minimization of a conformal module: the hyperbolic cosine of the distance between the transverse complex structure of the state and the round point. All governing quantities are exact elements of the real embedding of the field and satisfy closed dual-type identities; in particular no isotropic candidate ever arises, and the transverse deviation lattice has exactly pinned covolume. We prove an unconditional soft-rebound lemma (the module can grow by at most the factor $\varphi^2 = 2.618\ldots$ in one step), a finiteness theorem for states of bounded module and height at fixed coordinate discriminant, with explicit static constants, and a per-field periodicity theorem under two named hypotheses: $(C_\kappa)$, contraction of the module in the high phase, partially reduced here to a fixed finite minimax over a five-parameter compact with rational objective; and (B), recurrence of bounded height, which we then prove under $(C_\kappa)$ alone: a height-descent theorem shows the height can never exceed $\max(H(s_0), C_H)$ with an explicit constant. The remaining program for per-field periodicity is reduced to (R) on the compact and to the proved stretched subcases. All proved statements and certificates are finite and exact. A machine-checked core of the paper is sealed in Lean 4, kernel-only, under the standard axioms: the analytic core of the height-descent theorem, the finiteness pigeonhole, the dual and conformal identity layer, and an abstract assembly theorem composing them through named interface hypotheses.

Contributions to the theory of the Euler eta function

math.NT

We investigate the distribution of the zeros of the Euler's function and its integral and fractional derivatives.

Integral quadratic forms over a ring of $p$-adic integers

math.NT

math.RA

Jungin Lee in 2018 proved a necessary and sufficient condition that an integral quadratic form $\sum_{i=1}^{m} a_iX_i^2$ is universal over $M_2(\mathbb{Z})$. For a positive integer $n \geq 2$, Lee defined $f(n)$ to be the smallest positive integer $m$ such that for every pairwise coprime $a_1, a_2, \ldots a_m \in \mathbb{Z}$, $\sum_{i=1}^{m}a_iX_i^2$ is universal over $M_n(\mathbb{Z})$. He gave bounds on $f(n)$ too. Koo and Lee further improved the bounds in 2025. This paper is organized as follows. Let $\mathbb{Z}_p$ be the ring of $p$-adic integers. In the first section we give necessary and sufficient condition for a quadratic form $\sum_{i=1}^{m}a_iX_i^2$ to be universal over $M_2(\mathbb{Z}_p)$ for $p=2$ and for an odd prime $p$. Consequently we express matrices of over $\mathbb{Z}_p$ as sum of squares. For a positive integer $n \geq 3$, we define $f(n)$ to be the smallest positive integer $m$ such that for every $p$-adic integers $a_1,a_2, \ldots a_m$ with at least three of them units, the diagonal quadratic form $\sum_{i=1}^{m}a_iX_i^2$ is universal over $M_n(\mathbb{Z}_p)$. In the next section we find bounds on $f(n)$ for $n \geq 3$.

Weil positivity in compact windows: certified two-sided bounds and a Landau--Widom decay law

math.NT

math.SP

Weil's criterion equates the Riemann Hypothesis with the positivity of an explicit quadratic form $Q(f)$. For test functions supported in a window $[-L,L]$ we study the profile $\lambda^*(L)=\inf Q(f)/\|f\|_2^2$ from both sides. A one-stroke reduction converts window positivity into positive semidefiniteness of a finite matrix; executing it at $L=0.8$ yields the unconditional certificate $Q(f)\ge 8.9\times 10^{-18}\|f\|_2^2$ for all (complex) $f$ of support $1.6$, extending the classical range $\log 2$ of Yoshida and Connes--Consani by a factor $2.3$. The same computation shows that the window ground state is simple and even. On the other side, interval-arithmetic Rayleigh quotients, evaluated on the geometric side of the explicit formula with no appeal to zeros or to RH, give unconditional upper bounds down to $3.2\times 10^{-283}$ at $L=2$. They follow $-\ln\lambda^*(L)\simeq 2\pi^2 N(T^*)/\ln N(T^*)$ with $T^*=2\pi e^{2L}$, the Landau--Widom plunge rate for time--band limiting. At $L=0.8$ the two halves enclose the profile, $8.9\times 10^{-18}\le\lambda^*(0.8)\le 2.27\times 10^{-17}$. Any pointwise-envelope certificate must resolve frequencies up to $T_1=2\pi e^{A_L}$ with $A_L\sim 4e^{L}$, a doubly exponential barrier. Under RH we prove $\lambda^*(L)\le\exp(-L e^{L})$ for all large $L$.

Metaconjugation and Quadratic Forms

math.NT

We present a quaternionic proof that the quadratic form $t^2+2x^2+5y^2+10z^2$ represents all positive integers, and that the form $t^2+x^2+7y^2+7z^2$ represents all natural numbers which are neither equal to $3 \cdot 7^\ell$ nor equal to $6 \cdot 7^\ell$, for any $\ell \in \mathbb{N}_0$. To do this we introduce a technique that may be useful for other purposes, and that we call "metaconjugation".

Oscillation of partial sums of the M\"obius function and zeros of Riemann's zeta function

math.NT

The oscillation of M(x), the partial sum of the M\"obius function has been in the focus of researchers in the theory of primes since the famous conjecture of Mertens in 1905 (formulated in a weaker form by Stieltjes in 1885 in a letter to Hermite). The average order of the modulus of M(x) in an interval of type [0,Y] is clearly in connection with the distribution of primes. The author proved at the beginning of 1980's that this average tends unconditionally to infinity with Y. The present work shows that (similarly to the average order of the error term of the Prime Number Theorem) this average agrees with great accuracy for large values of Y with the largest error term of the Riemann-von Mangoldt prime number formula for the value Y.

Quantum Algorithms and Hardness for Point-Count Approximation over Finite Fields

quant-ph

cs.CC

math.AG

math.NT

We study the approximation of the number of solutions of Laurent polynomials over finite fields. For a Laurent polynomial \[f(x)=\sum_{j=1}^{s}a_jx^{u_j}\in \mathbb{F}_q[x_1^{\pm1},\ldots,x_n^{\pm1}], \] let $U$ be its augmented support matrix whose columns are $(1,u_j)$ with rank $\rho$ and $N(f) := \# \{x\in (\mathbb{F}_q^\times)^n \mid f(x)=0\}$ be its torus point count. Our first main result is a quantum algorithm that outputs $\widehat{N}(f)$ satisfying \[ |\widehat{N}(f) - N(f)| \le \varepsilon q^{n+s/2-\rho} \] with success probability $1-\delta$. Provided that $\rho$ and $\|U\|_\infty$ are bounded, the algorithm runs in both classical bit and quantum gate complexity $\mathrm{poly}(n, s, \log q, 1/\varepsilon, \log(1/\delta))$. It provides finer resolution than relative-error approximations in general settings. To the best of our knowledge, in the explicit finite-field input model considered here, no previous algorithm achieves this additive accuracy with running time polynomial in $\log q$. Van Dam (arXiv:quant-ph/0405081) conjectured the existence of such an algorithm under the assumption of an oracle reflecting the algebraic properties of the polynomial. In contrast, by exploiting a point-counting formula derived from character sums over finite fields, we develop an alternative approach that efficiently approximates the number of points without assuming the existence of such an oracle. As a second main result, we prove that the same approximation problem becomes $\#$P-hard under randomized polynomial-time Turing reductions when the support matrix $U$ varies freely as part of the input. Thus, taken together, our results clarify how the effectiveness of the quantum approach depends on the tradeoff between the accuracy scale and the support parameters of the input polynomial.

The Number of Curves of Genus 2 with a Given Refined Humbert Invariant

math.AG

math.NT

Let $C/K$ be a curve of genus 2 over an algebraically closed field $K$. Every such curve comes equipped with a canonical quadratic form $q_C$ called its refined Humbert invariant. In the case that the Jacobian $J_C$ of $C$ is isogenous to the self-product $E \times E$ for an elliptic curve $E/K$ with complex multiplication (CM), we provide an explicit formula for the finite number $N_C$ of isomorphism classes of genus $2$ curves $C'/K$ whose refined Humbert invariant is equivalent to $q_C$. This formula implies that $N_C$ is unbounded for such curves, and that there are only finitely many isomorphism classes of such curves $C/K$ with a given value of $N_C$. A key step in our approach is a characterization of when $J_C$ is isogenous to a self product of a CM elliptic curve, formulated purely in terms of properties of the refined Humbert invariant $q_C$. We establish that an analogous characterization also holds for superspecial curves of genus 2. The paper concludes with explicit examples illustrating cases where a genus 2 curve is uniquely determined by the invariant $q_C$.

Asymptotic Rounding Laws for Optimal Thresholds in Secretary Problems

math.PR

math.NT

We study second-order asymptotics for optimal thresholds in secretary-type problems. Under a unimodality assumption and a local affine expansion of the discrete payoff increments, we establish a general principle showing that sufficiently accurate rational approximations to the leading threshold proportion yield exact optimal integer thresholds. Continued-fraction convergents provide an immediate application. We also derive an asymptotic rounding law and apply the results to several variants of the secretary problem with fixed and random horizons.

Kloosterman sheaves and Bessel functions for generic principal series of finite groups

math.RT

math.AG

math.NT

Let $G$ be a quasi-split reductive group over a finite field and let $\^G$ be the Langlands dual group. Assuming the derived subgroup of $G$ is almost simple, we use techniques from the geometric Langlands program to relate special values of Bessel functions for generic principal series representations of $G$ to the trace of Frobenius acting on Kloosterman sheaves of Heinloth-Ng\^o-Yun for $\^G$. We also give explicit examples in essentially all possible cases, including exceptional groups.

Improved bounds for the two-point logarithmic Chowla conjecture

math.NT

math.CO

v3

Let $\lambda$ be the Liouville function, defined as $\lambda(n) := (-1)^{\Omega(n)}$ where $\Omega(n)$ is the number of prime factors of $n$ with multiplicity. In 2021, Helfgott and Radziwi{\l}{\l} proved that $$\sum_{n\leq x} \frac{1}{n} \lambda(n) \lambda(n+1) \ll \frac{\log x}{(\log \log x)^{1/2}},$$improving earlier results by Tao and Ter\"av\"ainen. We prove that $$\sum_{n\leq x} \frac{1}{n} \lambda(n) \lambda(n+1) \ll (\log x)^{1-c}$$for some absolute constant $c>0$. This appears to be best possible with current methods.

Unconditional correctness of recent quantum algorithms for factoring and computing discrete logarithms

math.NT

cs.CC

quant-ph

v3

In 1994, Shor introduced his famous quantum algorithm to factor integers and compute discrete logarithms in polynomial time. In 2023, Regev proposed a multi-dimensional version of Shor's algorithm that requires far fewer quantum gates. His algorithm relies on a number-theoretic conjecture on the elements in $(\mathbb{Z}/N\mathbb{Z})^{\times}$ that can be written as short products of very small prime numbers. We prove a version of this conjecture using tools from analytic number theory such as zero-density estimates. As a result, we obtain an unconditional proof of correctness of this improved quantum algorithm and of subsequent variants.

Lower bounds for high moments of zeta sums

math.NT

v2

In this article, we investigate high moments of zeta sums $\sum_{n\le x}n^{i t}$. We show unconditional lower bounds for them.

The Dedekind-Hasse Criterion in Quaternion Algebras

math.NT

v3

We show that a criterion for an integral domain to be a principal ideal domain (PID), due to Dedekind and Hasse, can also be applied in quaternion orders, and that it can be used to build a finite algorithm to determine if a given order is a principal left (or right) ideal domain. Using this algorithm, we give an alternative proof that the maximal orders of discriminant 7 and 13, which are non-Euclidean, are PIDs. We also provide a completely arithmetic proof of a result of Gordon Pall that shows that, in an order that is a PID, an element of whose norm is divisible by an integer $m$ always has a left and a right divisor with norm $m$. This easily yields the existence and uniqueness (up to associates) of factorizations of a quaternion modeled on a factorization of its norm.

Ramification groups of Galois extensions over local fields of positive characteristic with Galois group isomorphic to the group of unitriangular matrices

math.NT

v2

We study the ramification groups of finite Galois extensions $L/K$ of a complete discrete valuation field $K$ of equal characteristic $p>0$ with perfect residue field and Galois group isomorphic to the group of unitriangular matrices $UT_n(\mathbb{F}_p)$ over $\mathbb{F}_p$. We show that the upper ramification breaks can be expressed as a linear function of the valuation of the entries of a matrix directly constructed from the coefficients of a defining equation of the extension. This allows us to compute the ramification groups without using any elements of $L-K$.

The minimal periodicity for integral bases of pure number fields

math.NT

v3

Fix $n\ge3$. For the pure field $K_a=\Bbb Q(\theta)$ with $\theta^n=a$, where $a\neq \pm1$ is $n$th-power-free, $x^n-a$ is irreducible over $\Bbb Q$, and Hypothesis~\textup{(\textbf{H})} holds, we encode an integral basis in the fixed coordinate $\{1,\theta,\dots,\theta^{n-1}\}$ by its \emph{shape}. We prove a sharp local-to-global principle: for each $p^e\!\parallel n$, the local shape at $p$ is determined by $a\bmod p^{\,e+1}$, and this precision is optimal. Moreover, the global shape is periodic with minimal modulus \[ M(n)=\prod_{p^e\parallel n}p^{\,e+1}=n\cdot\mathrm{rad}(n), \] providing many applications in the understanding integral bases of pure number fields.

An effective Bombieri-Vinogradov error term for sifting problems

math.NT

v3

In number theory, many major results related to the additive properties of primes are proven using the methods of sieve theory. However, in nearly every case, the existing proofs of these results are ineffective, in that explicit values for which they hold cannot be computed. The reason for this ineffectivity is due to the reliance on the Bombieri--Vinogradov theorem. In this paper, we show that any classical sifting problem with a Bombieri--Vinogradov style error term can in fact be made effective, with no loss to the asymptotic form of the original (ineffective) result. This is done by carefully modifying the sieve upper and lower bounds as to avoid the usual complications regarding the existence of a Siegel zero. We also provide some simple applications. For example, we show that one may effectively bound the number of primes $p\leq x$ such that $p+2$ is also prime by \begin{equation*}(4+o(1))C_2\frac{x}{(\log x)^2},\end{equation*}where\begin{equation*}C_2=2\prod_{p>2}\left(1-\frac{1}{(p-1)^2}\right).\end{equation*}

$\alpha$-monogeneity of pure number fields: criterion and density

math.NT

v3

Let $n\ge 2$, let $m\in\mathbb Z\setminus\{0\}$, and let $K=\mathbb Q(\alpha)$, where $\alpha^n=m$ and $X^n-m$ is irreducible over $\mathbb Q$. We study when the natural order $\mathbb Z[\alpha]$ is the full ring of integers $\mathcal O_K$. For the pure family $X^n-m$, we give a short proof, using only Dedekind's index criterion, of the equivalence $\mathcal O_K = \mathbb Z[\alpha]$ iff $m$ is square-free and $\nu\_p(m^p-m)=1$ for every prime $p\mid n$. Equivalently, the prime support of $[\mathcal O_K:\mathbb Z[\alpha]]$ is $$\{p:\nu_p(m)\ge 2\}\cup \{p\mid n:\nu_p(m^p-m)\ge 2\}.$$ We then compute the natural density of the corresponding parameters in the one-parameter family $X^n-m$: $$\delta_n=\frac{6}{\pi^2}\prod_{p\mid n}\frac{p}{p+1}.$$ We also give an arithmetic-progression refinement, a density-theoretic independence statement for the local obstruction sets at primes dividing $n$, and discriminant-ordered counts of the corresponding fields.

On efficient approximation of quadratic irrationals, signed Chebyshev polynomials and Householder's method

math.NT

v4

We provide efficient algorithms to compute convergents of quadratic irrationals. We show that for square roots, in settings where Galois' refinement of Lagrange's theorem holds, certain decimations of the sequence of convergents are signed Chebyshev sequences, which can be also be generated by a Householder method.

Finite $q$-multiple harmonic sums at roots of unity: Symmetrized identities for $1$-$2$ index multisets

math.NT

v2

Closed-form results for finite $q$-multiple harmonic sums are abundant for uniformly repeated indices, whereas mixed-weight tuples pose substantial combinatorial challenges. Building on recent progress for patterns containing a single weight-$2$ entry embedded among weight-$1$ indices, we treat multisets composed of arbitrary numbers of $1$s and $2$s at roots of unity. Since individual ordered sums resist simple evaluation, we analyze their symmetrized sum over all permutations. Using newly derived evaluations for $q$-multiple sums with negative powers together with multiplicative identities, we obtain compact binomial-based closed forms. These enlarge the repertoire of explicitly computable finite $q$-multiple zeta-type objects and lay groundwork for further mixed-index investigations.

On the sequence $\mathrm{gcd}(a^n-1,b^n-1)$

math.NT

v2

For integers $a,b\ge 2$, put \[ g_n:=\gcd(a^n-1,b^n-1)\qquad(n\ge 1). \] We prove that $(g_n)$ satisfies a constant-coefficient linear recurrence if and only if $a$ and $b$ are multiplicatively dependent; the same conclusion holds if only a tail of $(g_n)$ is assumed to satisfy such a recurrence. More generally, if $a$ and $b$ are multiplicatively independent, then for every fixed shift $N\ge 0$, every integer sequence $(W_n)_{n\ge 1}$ that satisfies a constant-coefficient linear recurrence and the pointwise divisibilities \[ W_n\mid a^{n+N}-1 \qquad\text{and}\qquad W_n\mid b^{n+N}-1 \qquad(n\ge 1) \] is eventually periodic. If $(W_n)$ satisfies a recurrence with nonzero trailing coefficient, then it is periodic from the first term. In particular, every common integer linear divisibility-sequence factor of $a^n-1$ and $b^n-1$, in the convention adopted here, is periodic. The proof combines the Bugeaud--Corvaja--Zannier bound with the structure of subexponential linear recurrences and a local valuation argument.

On the asymptotic density of the ordered pairs $(a,b)$ of positive integers such that $\gcd(ab,a+b)=\gcd(a,b)$

math.NT

v3

Consider the arithmetic function of two variables $f(a,b)= \gcd(ab,a+b)/\gcd(a,b)$, investigated in a recent preprint. We deduce asymptotic formulas for sums of the form $\sum_{a,b\le x} h(f(a,b))$, where $h$ belongs to a certain class of arithmetic functions. In particular, we obtain an asymptotic formula for the number of ordered pairs $(a,b)\in {\Bbb N}^2$ such that $a,b\le x$ and $f(a,b)=m$, where $m\in {\Bbb N}$ is fixed. This shows that in the case $m=1$ the corresponding density is the quadratic class number constant $C= \prod_p (1-1/(p^2(p+1))) \doteq 0.881513$.

On the distribution of $\phi(\psi(n))$ and $\psi(\psi(n))$

math.NT

v3

Let $\psi(n)$ and $\phi(n)$ denote Dedekind's arithmetic function and Euler's totient function, respectively. We study the distribution of the compositions $\phi(\psi(n))$ and $\psi(\psi(n))$. In particular, we obtain quantitative upper bounds for the exceptional set associated with $\phi(\psi(n))$, thereby refining a density result of S\'andor. We also prove that, for every fixed $c>0$, the set of integers $n\leq x$ satisfying $\psi(\psi(n))\leq cn$ has asymptotic density zero. Our method adapts sieve ideas used by Dixit and Bhattacharjee to compositions involving Dedekind's arithmetic function.

Mild p-Class Tower Groups of Imaginary Quadratic Fields

math.NT

v2

Let $K$ be an imaginary quadratic number field, let $p$ be an odd prime ($K\neq\mathbb Q(\sqrt{-3})$ if $p=3$), and let $G$ be the Galois group of the maximal everywhere unramified pro-$p$ extension of $K$. To each mod-$p$ character $x$ of $G$ we associate a linear map $D_x$ from $\mathrm{Cl}(K)[p]$ to $\mathrm{Cl}(K)/p$; a formula of Ahlqvist and Carlson expresses it through the class of a norm ideal in the unramified cyclic degree-$p$ extension attached to $x$. These maps determine all triple Massey products on $H^1(G,\mathbb F_p)$, and with them the cubic initial relations of $G$. Suppose the $p$-class rank $d$ of $K$ is at least three. The $(d-1)\times(d-1)$ minors of the family $x\mapsto D_x$ define a subscheme $\Sigma_D$ of $\mathbb P^{d-1}_{\mathbb F_p}$, the norm-degeneracy scheme of $K$. We prove: if the rank condition $\mathrm{rk}\,D_x=d-2$ holds transversally at a point of $\Sigma_D$, over some finite extension of $\mathbb F_p$, then $G$ is mild, and hence of cohomological dimension 2. For $p>3$ transversality means that $\Sigma_D$ is smooth of dimension $d-3$ at the point; at $p=3$ the kernel of the Bockstein map enters as an additional constraint. We treat every imaginary quadratic field of $p$-class rank at least three with $|D_K|<2^{30}$, for every odd prime $p$; only $p=3,5,7$ occur. We prove, unconditionally, that the $p$-class tower group is mild for 864 of the 12749 rank-three fields at $p=3$, for 203 of the 204 fields at $p=5$, and for all three fields at $p=7$; the single rank-four field remains undecided. To the best of our knowledge, these are the first number fields for which the full maximal everywhere unramified pro-$p$ Galois group is proved to be mild; in particular they provide explicit infinite $p$-class towers whose Galois groups have cohomological dimension 2.

Logarithmic Chowla Correlations Uniformly over Fixed Polylogarithmic Shift Ranges

math.NT

cs.DM

math.CA

v2

Let $\lambda(n)=(-1)^{\Omega(n)}$ be the Liouville function. We prove that there is an absolute constant $c>0$ such that, for every fixed $A>0$, $\displaystyle \sup_{1\le h\le(\log x)^A}\left|\sum_{n\le x}\frac{\lambda(n)\lambda(n+h)}{n}\right|\ll_A(\log x)^{1-c}.$ Thus a single power saving holds at every sufficiently large outer scale, uniformly throughout every fixed polylogarithmic shift range. The proof combines Pilatte's block decomposition with a flexible form of Menon's short-exponential-sum argument. The latter is proved here for every fixed power-logarithmic circle cutoff: we replay the minor arcs with all parameter dependencies exposed and localize the major arcs through residue classes and character-twisted short intervals. A one-sided typical-factorization truncation removes the sieve complement before Fourier inversion and hence introduces no loss in the shift. The remaining $h^{1/5}$ loss is cancelled by the flexible circle cutoff; a H\"older summation across the disjoint dyadic divisor blocks retains the resulting power saving. The centred term then follows from the arbitrary-interval decoupling theorem of Tao and Ter\"av\"ainen. As a consequence, the same estimate holds uniformly for every pair of distinct shifts in a fixed polylogarithmic box. The exponent $A$ must be fixed before $x$ tends to infinity. The result is logarithmically weighted and does not prove the ordinary two-point Chowla conjecture.

Ramification of weak Arthur packets for p-adic groups

math.RT

math.NT

v2

Weak Arthur packets have long been instrumental in the study of the unitary dual and automorphic spectrum of reductive Lie groups, and were recently introduced in the p-adic setting by Ciubotaru - Mason-Brown - Okada. For split odd orthogonal and symplectic p-adic groups, we explicitly determine the decomposition of weak Arthur packets into Arthur packets that arise from endoscopic transfer. We establish a characterization of the Arthur packets that partake in such decompositions by means of ramification properties of their constituents. A notion of weak sphericity for an irreducible representation is introduced: The property of containing fixed vectors with respect to a (not necessarily hyperspecial) maximal compact subgroup. We show that this property determines the weak Arthur packets in a precise sense. As steps towards this description, we explore alignments between Langlands-type reciprocities for finite and p-adic groups, and their dependence on the geometry of the unipotent locus of the dual Langlands group. Weak sphericity is shown to match with Lusztig's canonical quotient spaces that feature in the geometric theory for Weyl group representations, while the fine composition of weak Arthur packets is found to be governed by the partition of the unipotent locus into special pieces.

Non-$p$-ordinary smooth abelian covers of $\mathbb{P}^1$

math.AG

math.NT

v2

Given a family of odd abelian covers of $\mathbb{P}^1$ and a prime $p$ of good reduction, in [1], under some assumptions, we computed the generic Newton polygon (resp. Ekedahl-Oort type) in the family (called $p$-ordinary). In this paper, we investigate the existence of non-$p$-ordinary smooth curves in the family. In particular, under some restrictions, we show that when $p$ is sufficiently large, the complement of the $p$-ordinary locus is always nonempty. For $1$-dimensional families satisfying additional auxiliary conditions, we obtain a lower bound for the number of non-$p$-ordinary smooth curves. In specific instances, the above general statement can be improved; as an example, for families of covers of degree at most 7, we establish the non-emptiness of certain non-$p$-ordinary Newton/Ekedahl-Oort strata (called almost $p$-ordinary). Our method relies on further study of the extended Hasse-Witt matrix introduced by Moonen in [2], and initiated in [1], and on known results about the geometry of the mod-$p$ reduction of Shimura varieties of PEL type.

On Modified Diagonal Cycles and the Beauville Decomposition of the Ceresa Cycle

math.AG

math.NT

v3

Let $C$ be a curve of genus $g \geq 2$, and let $J$ be its Jacobian. The choice of a degree 1 divisor $e$ on $C$ gives an embedding of $C$ into $J$; we denote by $[C]_{}^{e}\in \mathrm{CH}\left( J;\mathbb{Q} \right) $ the class in the Chow group of $J$ defined by its image. It is known that the vanishing of the Ceresa cycle $\mathrm{Cer}(C,e):=[C]^{e} - [-1]_* [C]^e$ is equivalent to both the vanishing of the 1st Beauville component $[C]_{(1)}^e$ and the vanishing of the 3rd Gross--Kudla--Schoen modified diagonal cycle $\Gamma^3(C,e) \in \mathrm{CH}(C^3;\mathbb{Q})$. We extend this result to show that the vanishing of the $s$-th Beauville component $[C]^e_{(s)}$ for $s \geq 1$ is equivalent to the vanishing of the $(s+2)$-nd modified diagonal cycle $\Gamma^{s + 2}(C, e) \in \mathrm{CH}(C^{s+2};\mathbb{Q})$. Moreover, we establish "successive vanishing" results for these cycles. We apply our results to study the rational (non)-triviality of $[C]^{e}_{(s)}$ in the special case $s = 2$. Finally in the $s=1$ case, we show an integral refinement to the original statement, relating the order of torsion of $\mathrm{Cer}(C,e) \in \mathrm{CH}(J;\mathbb{Z})$ to that of $\Gamma^3(C,e) \in \mathrm{CH}(C^3;\mathbb{Z})$.

Closed geodesics in homology classes on random hyperbolic surfaces of large genus

math.GT

math.NT

v2

We study the distribution of closed geodesics in homology classes on random hyperbolic surfaces of large genus. Viewing the surface as a random point in moduli space equipped with the Weil--Petersson probability measure, we investigate the fluctuations of the weighted counting function of closed geodesics in homology classes modulo $q$. We show that, in the large genus limit, the variance is asymptotic to $X\log X$ for every modulus $q>2$, with an exceptional factor of two when $q=2$. We relate our findings to a conjecture of Hooley, and to work of Friedlander and Goldston, on primes in arithmetic progressions. We also introduce a statistical model based on the random allocation of weighted balls which exhibits analogous behavior.

Unlocking the Wronskian Tower: A Simplification of the Holomorphic Modular Bootstrap

hep-th

math-ph

math.MP

math.NT

math.QA

math.RT

v2

Characters of rational conformal field theories solve modular linear differential equations labelled by their order and the Wronskian index $\ell$. Direct classification of admissible solutions by solving MLDEs becomes increasingly difficult at higher $\ell$ -- where movable poles and accessory parameters appear. In this work we introduce differential operators that relate higher-$\ell$ solutions to lower-$\ell$ ones while preserving modular covariance and integrality of the \(q\)-series. In rank two, this generates all allowed Wronskian sectors from the Mathur--Mukhi--Sen equation. In rank three and higher, it reduces the construction of higher-$\ell$ quasi-characters to simpler equations with lower $\ell$. This gives an efficient new route for organising candidate RCFT characters, and more generally quasi-characters, across the Wronskian tower. As an application, we apply our construction to prove a previously conjectured property on the signs of $\ell=2$ quasi-characters in rank 2.

The Resultant Distribution Method: Universality for $p$-adic Random Matrices and Polynomials

math.PR

math.NT

v2

We prove universality of limiting local eigenvalue statistics for random matrices over $\mathbb{Z}_p$. In previous work of the author and Van Peski (arXiv:2601.06283), the limiting eigenvalue correlation functions of additive Haar random matrices were studied in arbitrary finite extensions of $\mathbb{Q}_p$. The same Haar random matrix model plays a central role in the Ellenberg-Jain-Venkatesh heuristic for zeros of $p$-adic $L$-functions. We show that its limiting local eigenvalue statistics are unchanged for a broad class of random matrices with independent entries satisfying a mild non-concentration condition. Thus the random matrix predictions underlying the Ellenberg-Jain-Venkatesh heuristic are not artifacts of the particular Haar ensemble, but instead reflect universal limiting eigenvalue statistics. In this sense, our results provide additional theoretical support for the robustness of their random matrix heuristic. Our proof is based on a new framework, which we call the resultant distribution method. The method recovers limiting laws and root statistics of $p$-adic polynomials from the distributions of their resultant valuations against fixed test polynomials, together with suitable degree estimates. As a second application, we consider random $p$-adic polynomials with independent coefficients satisfying a mild non-concentration condition. Caruso (arXiv:2110.03942) determined the joint root correlation functions of the Haar coefficient model over finite extensions of $\mathbb{Q}_p$. We prove that, for roots of absolute value one, these limiting correlation functions are universal and persist for a broad class of independent coefficient distributions.

Near optimal three-fold additive energy bound for points on convex curves

math.CA

math.CO

math.NT

v3

Let $X\subset\mathbb{R}$ be finite and let $\gamma(t)=(t,f(t))$, where $f$ is strictly convex. We show that \[ J_3(\gamma(X)) =\#\{(x_1,\ldots,x_6)\in X^6:\sum_{i=1}^3\gamma(x_i)=\sum_{i=4}^6\gamma(x_i)\} \ll_{\epsilon}|X|^{3+\epsilon}. \] When specialized to the parabola, our result implies near-optimal estimates for the number of solutions to the diameter-free quadratic Vinogradov system. As a second application, we settle a conjecture from Krishnapur-Kurlberg-Wigman and Bombieri-Bourgain concerning lattice points on dilates of the unit circle. As a third application, we prove that $|A-A|\gg_\epsilon|A|^{5/3-\epsilon}$ and $|A+A|\gg_\epsilon|A|^{8/5-\epsilon}$ for any finite convex sequence $A\subset \mathbb{R}$.

The Five Distance Theorem For An Arbitrary Norm

math.MG

math.CO

math.NT

v2

The three gap theorem states that the points of the Kronecker sequence $\alpha,2\alpha,\ldots,N\alpha$, considered modulo one, divide the circle into intervals of at most three distinct lengths. In a two-dimensional nearest-neighbour analogue, Haynes and Marklof proved that the Kronecker sequence modulo an arbitrary unimodular lattice determines at most five distinct nearest-neighbour distances in the Euclidean norm, and that this bound is sharp. Dettmann subsequently constructed examples attaining five distinct distances for every $\ell_p$-norm, $1\leq p\leq\infty$. We prove the corresponding upper bound for every norm on $\mathbb R^2$: for every full-rank lattice $L$, every $\boldsymbol{\alpha}\in\mathbb R^2$, and every $N\in\mathbb N$, the number of distinct nearest-neighbour distances is at most five. For strictly convex norms, the proof extends the lattice-theoretic argument of Haynes and Marklof by replacing the Euclidean angular estimates with a cone lemma based on a proper Brass angular measure. The result for arbitrary norms is then obtained by a strictly convex perturbation and a limiting argument.

Near diagonal additive energy bound for points on algebraic surfaces

math.CA

math.CO

math.NT

v2

Let $F:\mathbb{R}^3\to\mathbb{R}$ be a polynomial that is irreducible over $\mathbb{R}$ with $\text{deg} F\geq2$. We prove that, for any finite $X\subset Z(F)$ that does not concentrate on affine lines, \[ E(X)=\#\{(a,b,c,d)\in X^4: a+b=c+d\}\ll_{\text{deg} F,\,\epsilon}(\# X)^{2+\epsilon}. \] In particular, this answers a question of Bourgain and Demeter concerning finite subsets of the unit sphere.

Finding suitably generic points on curves with an application to the construction of rigid real closed fields

math.LO

math.NT

v2

Let $K$ be an algebraically closed field of characteristic 0 and transcendence degree at least 2. Let $C\subset K^2$ be an irreducible curve defined over $K$ but not defined over the algebraic closure of $\mathbb Q$. There is $(x ,y)$ a $K$-point of $C$ such that $x$ and $y$ are algebraically independent. Moreover, if $C_0$ and $C_1$ are two such curves and there is a finite-to-finite algebraic correspondence between them defined over $K$, then there are corresponding $K$-points $(x_0,y_0)\in C_0$ and $(x_1,y_1)\in C_1$ such that $x_0$ and $y_0$ are algebraically independent and $x_1$ and $y_1$ are algebraically independent. We use the latter result to construct non-Archimedean real closed fields of transcendence degree $\kappa$ with no non-trivial automorphisms for all $2\le\kappa\le \aleph_1$.