Number Theory [math.NT]

Reducing Every Set of 36 Consecutive Integers to Zero by Differences of Squares

math.NT

For a finite multiset of integers, repeatedly choose two entries $a,b$ and replace them with $|a^{2}-b^{2}|$. Hickerson and Kleber asked whether, for every integer $n$, the set ${n,n+1,\ldots,n+35}$ can be reduced to zero. We give an explicit reduction. Together with their results for lengths 12 and 24, this gives, for every positive integer $L$, [ {n,n+1,\ldots,n+L-1}\text{ reduces to zero for every }n\in\mathbb Z \Longleftrightarrow 12\mid L\text{ and }L\ge 24. ]

Colombo's Determinant Problem

math.NT

math.CA

We completely solve Colombo's 1928 determinant problem. For distinct real $x_1,\ldots,x_N$, $N\geq 2$, and an integer $D\geq 1$, we prove that $\det[(x_j-x_i)^D]\neq 0$ if and only if $D\geq N-1$ and either $N$ is even or $D$ is even. The even-exponent case follows from Dyn--Goodman--Micchelli (1986); the remaining odd case is proved by a strict Pfaffian sign theorem. The new odd-exponent theorem and its complete proof chain have also been formalized in Lean 4.

The shortest harmonic sums with decreasing denominator

math.NT

For a positive integer $a$, let $b(a)$ be the smallest integer $b > a$ such that the denominator of $\frac{1}{a} + \frac{1}{a+1} + \cdots + \frac{1}{b}$ is smaller than the denominator of $\frac{1}{a} + \frac{1}{a+1} + \cdots + \frac{1}{b-1}$. Recently it was shown that the limit inferior $$\liminf_{a \to \infty} \left(\frac{b(a) - a}{\log a}\right)$$ exists and is positive. Here we find its exact value.

From Common-Slot Chains to Heisenberg Central Products over Global Fields

math.NT

math.RA

Let $F$ be a global field and let $p$ be an odd prime with $p\neq\operatorname{char}F$. Assuming first that $\mu_p\subset F$, we record in a uniform global-field form the length-four common-slot chain for equal degree-$p$ symbol classes and emphasize the signed normalization adapted to explicit norm constructions. Thus, from \[(a,b)_p=(c,d)_p\in\textrm{Br}(F)[p]\] one obtains $x,y\in F^\times$ such that \[(a,b)_p=(x^{-1},b)_p=(x,y)_p=(c^{-1},y)_p=(c,d)_p.\] For number fields, the underlying chain is the length-four chain lemma of Gille--Szamuely, based on Tate's simultaneous local--global theorem. The point developed here is that its signed form yields four compatible norm equations that can be used constructively. For the extraspecial central product $H_{p^3}*H_{p^3}$ over a $C_p^4$-Kummer extension, the central-embedding obstruction is $(a,b)_p-(c,d)_p$, while the four norm equations supplied by the chain assemble, under a natural independence hypothesis on the auxiliary Kummer classes, into an explicit factorized radical realization of the central product. Finally, when the ground field does not contain $\mu_p$, we show by a restriction--corestriction argument that the central-embedding obstruction is detected after passage to the cyclotomic extension $F(\mu_p)$. Over that field the problem is Kummer, and the obstruction is again the difference of the two symbol classes.

Smooth Diffeomorphisms and Mahler's Problem on Liouville Numbers

math.NT

A classical theorem of Maillet asserts that every nonconstant rational function over $\mathbb{Q}$ maps Liouville numbers to Liouville numbers. In 1984, Mahler asked whether a transcendental entire function can have the same property. We prove a strong smooth counterpart: writing $\mathscr{L}$ for the set of Liouville numbers, there exist orientation-preserving $C^\infty$ diffeomorphisms $f:\mathbb{R}\to\mathbb{R}$, arbitrarily close to the identity and transcendental over $\mathbb{R}(x)$, such that for every real number field $K\subset\mathbb{R}$, every $n\geq 1$, and every $m\geq 0$, \[ D^m(f^{\circ n})(K)\subseteq K, \qquad D^m(f^{\circ n})(\mathscr{L})\subseteq\mathscr{L}. \] In fact, the non-analyticity locus may be prescribed as any nonempty compact perfect nowhere-dense set disjoint from the real algebraic and Liouville numbers. The proof combines Maillet's theorem with an arithmetic refinement of K\"orner's smooth polynomial sewing method and a rational-germ construction.

Almost $k$-th powers in short intervals

math.NT

Let $k\geq 3$ be a fixed integer and $x$ be a large real number. Let $0<\theta\leq 1$ be a fixed real number for some $c_0>0.$ In this paper we show that there exists a constant $1/2\leq \delta_k(\theta)<1$ such that the interval $[x, x + x^{\delta_k(\theta) +\varepsilon} ]$ contains an integer of the form $n_1n_2 \cdots n_k$ such that $|n_j-n^{1/k}|\ll n^{\theta/k} \ (j=1,2, \cdots, k)$. Especially we have $\delta_3(1) = \delta_4(1) = 1/2,$ which improves previous results of Chan.

Exceptional points on Atkin--Lehner quotients

math.NT

math.AG

We study the rational points on the star curve $X_0^*(N) := X_0(N)/W(N)$, the quotient of the classical modular curve $X_0(N)$ by the full group of Atkin--Lehner involutions, for squarefree levels $N$. Rational points on $X_0^*(N)$ parameterize $\mathbb{Q}$-curves, i.e.\ elliptic curves $E/\overline{\mathbb{Q}}$ that are isogenous to all of their Galois conjugates. Elkies conjectures that $X_0^*(N)$ has only CM or cuspidal rational points for all large enough $N$. We call any other rational points "exceptional". In this article, we provide new examples of exceptional points in genus 3 and 4, and we give evidence that no exceptional points exist in genus $g \geq 5$. Moreover, we investigate the underlying geometric reasons that might "explain" why these exceptional points arise in the first place, in the vein of Ogg and Mazur. In particular, we propose geometric explanations for Galbraith's exceptional points on $X_0^*(137)$ and $X_0^*(311)$.

Explicit Exponential Sum Estimates and Approximate Functional Equations for the Zeta Function

math.NT

We show an explicit version of the Van der Corput truncated Poisson summation formula (B-process). By using refined explicit exponential sum estimates, this improves the error term of previous explicit results by Patel and Yang (2024) and Arias de Reyna (2024). As an application, we obtain fine explicit estimates for the error terms in approximate functional equations for the Riemann zeta function, improving on previous explicit results of Simoni\v{c} (2020) in certain ranges.

Distribution of Kaneko's val function

math.NT

math.DS

Kaneko's val function is defined as the normalized cycle integral of the elliptic modular $j$-function along closed geodesics on the modular surface. We prove that, when primitive hyperbolic conjugacy classes are ordered by geodesic length, its values concentrate at the single point 720. More generally, an analogous concentration result holds for every weakly holomorphic modular function $f$ of weight 0, with the concentration point given by Atkin's inner product $(f, 1)_{\mathrm{At}}$. The proof combines an equidistribution theorem following Pollicott with the ergodicity of a continued-fraction suspension flow and uses the decomposition formula of Bengoechea-Imamo\={g}lu to construct a bounded continuous observable.

A unification of Euler-Maclaurin and Euler-Boole summation formulas

math.NT

In this paper, we establish a summation formula associated with the generalized Apostol-Bernoulli functions. This formula unifies the Euler-Maclaurin summation formula, the Euler-Boole summation formula, and the character analogues of these two formulas. We also apply it to obtain the general power sum formula and the special values of Berndt's generalized $L$-function at non-positive integers.

Improved bounds in Birch's theorem for forms in many variables

math.NT

We improve the best known result on the number of variables needed for the smooth Hasse principle for homogeneous forms of degree \(d\geq5\).

Universal murmuration and Hecke augmentation

math.NT

math.ST

stat.TH

Prime coefficients of elliptic curves exhibit murmurations, statistical patterns that support the prediction of arithmetic labels. We conjecture that root number weighted averages of unitary normalized coefficients at primes and prime powers sample the same leading profile when placed at the effective position $p^k/X$, where $X$ is the conductor scale. For weight $2$ newforms of squarefree level in the level aspect, we prove this principle for every fixed $k$ under suitable short-window and growth conditions, extending Zubrilina's prime case and the square-case analysis of Kundu and M\"uller. Experiments with elliptic curve isogeny class representatives show that the resulting prime power features improve root number prediction and give a smaller gain in distinguishing ranks $0$ and $1$.

Covering Projective Height Balls by Subspaces in Rigid Adelic Spaces

math.NT

Let $E$ be an $n$-dimensional rigid adelic space over a number field $K$. We study the minimum number $g_E(R)$ of proper $K$-subspaces needed to cover the projective height ball of radius $R$, together with the maximum cardinality $h_E(R)$ of a subset in linear general position. We show that, once $R$ is sufficiently large compared with the last Roy--Thunder minimum of $E$, both quantities have order $\Psi_E(R)^{[K:\mathbb Q]}$, where $\Psi_E(R)$ is an explicit expression in the Roy--Thunder minima. The comparison constants are effectively computable and uniform in $E$. For the standard adelic space $K^n$, this gives order $R^{[K:\mathbb Q]n/(n-1)}$.

Sharp lower bounds for shifted moments of Dedekind zeta functions

math.NT

Let $K_1,\cdots,K_r$ be fixed number fields, and let $L$ be the compositum of their Galois closures. Assuming GRH for $\zeta_L$, we prove a sharp lower bound for products of shifted Dedekind zeta functions on the critical line, for arbitrary fixed positive real exponents and uniformly for shifts of size at most $T/2$. The correlation factor is expressed as a product of Dedekind zeta functions of the fixed fields of double-coset stabilisers in $\textrm{Gal}(L/\mathbb{Q})$. Combined with the corresponding upper bound by the authors, determines the order of magnitude of these shifted moments for both Galois and non-Galois fields.

Nonabelian Chabauty for the Thrice-punctured Line over Cyclotomic Fields

math.NT

In this paper we study the motivic Chabauty--Kim method, which aims to determine the set of $S$-integral points of $\mathbb{P}^1\smallsetminus \{0,1,\infty\}$, over cyclotomic fields. We focus on the case $K=\mathbb{Q}(\zeta_8)$ and $S=\left\{(1-\zeta_8)\right\}$, where we obtain explicit polylogarithmic Kim functions up to depth $4$ and verify Kim's Conjecture for several primes. We also observe and explain that the Chabauty--Kim locus for the polylogarithmic quotient contains, in addition to the $S$-integral points, certain exceptional points arising from roots of unity in $\mathbb{Q}_p$.

An improvement on the largest prime factor of $n^2+1$

math.NT

The study of the largest prime factor in polynomial sequences can be traced back at least to the late 19th century in the work of St\"ormer. Mahler (1933) and Chowla (1934) proved that the largest prime factor of $n^2+1$ grows at least as fast as $\log_2 n$. In 2023 we improved this to $(\log_2 n)^2/\log_3 n$. In this note we show the lower bound $(\log_2 n)^2/\log_4 n$, and that when this bound is nearly sharp it also holds for many prime factors of $n^2+1$.

New classes of trace-form permutation polynomials and their compositional inverses

math.NT

cs.IT

math.IT

We construct permutation polynomials of the form x + \gamma Tr^{q^2}_q(h(x)) over the finite field F_{q^2}. More precisely, we present two families ofpermutation polynomials whose coefficients range over all elements of the field rather than being restricted to a proper subfield. We also compute the compositional inverses of both families. Our techniques involve the evaluation of certain Kloosterman sums together with the analysis of some equations over finite fields, and we believe these can be of independent interest.

Regularized spectral expansion of a Rankin--Selberg period and moments

math.NT

math.RT

We establish a regularized spectral decomposition of the squared magnitude of a maximal degenerate Eisenstein series as a Schwartz distribution on $\mathrm{GL}_n$. Although the original problem is on $\mathrm{GL}_n$, its spectral components are described entirely by the automorphic spectrum of $\mathrm{GL}_2$. As an application, we prove a partial reciprocity formula relating the second moment of $\mathrm{GL}_n\times\mathrm{GL}_n$ Rankin--Selberg central $L$-values and a mixed moment of $L$-values of $\mathrm{GL}_2$. We also prove, assuming the generalized Ramanujan conjecture, an asymptotic formula for the second moment of the above Rankin--Selberg $L$-functions over a conductor-aspect family with an error term of square-root-cancellation strength.

Confluence relations for $q$-analogues of multiple zeta values

math.NT

math.QA

In this paper, we construct confluence relations for $q$-analogues of multiple zeta values by adapting the classical construction to the $q$-setting. Our construction uses $q$-analogues of multiple polylogarithms depending on an auxiliary variable $z$, functional relations arising from their $q$-differential equations, and the (regularized) limit as $z$ tends to $1$. We prove that the resulting family of relations contains the stuffle product relations and, assuming a certain conjectural identity, the duality relations for both the Bradley--Zhao and Schlesinger--Zudilin models.

A General Construction of Codes from Drinfeld Modules

math.NT

cs.IT

math.CO

math.IT

We construct additive rank-metric and sum-rank-metric codes from Drinfeld modules by restricting bounded-degree morphisms to prime-to-characteristic torsion. For supersingular Drinfeld modules of rank $r$ in characteristic $\mathfrak{p}$ of degree $d$, the stabilization formula for morphism spaces yields rank-metric codes of $\mathbb{F}_q$-dimension $mrt-c$ and minimum distance $r-t+1$, where $c=r(r-1)(d-1)/2$. Simultaneous restriction to $\ell$ distinct degree-$m$ torsion modules gives additive sum-rank codes of the same dimension and minimum distance at least $\ell r-t+1$. Their normalized Singleton defects tend to zero, while in characteristic $(T)$ the module $\phi_T=\tau^r$ makes the defect vanish and produces an explicit MSRD family. We identify this family with a skew Chinese remainder theorem code supported on central skew polynomials and prove that its poly-skew weight is exactly $m$ times its sum-rank weight. This gives a specialized Singleton-type bound and a polynomial-time unique decoder up to the full sum-rank unique-decoding radius. We also derive a Welch-Berlekamp-type filter equation for the general supersingular sum-rank construction; it becomes an effective decoder whenever bases of the relevant morphism spaces and the restriction maps are computable.

On the Ramification of Quadratic Fields where there is a torsion growth

math.NT

Let $E/\mathbb{Q}$ be a rational elliptic curve whose torsion group grows over a quadratic field $K$. In a previous paper, a relation between the primes of the conductor of $E$ and the primes that divide the discriminant of $K$ was shown. In the present paper, we go further in this study and we compute the ramification of the field $K$, when a torsion point of prime order $\ell$ is added, in terms of invariants of the curve. Concretely, the conductor, the prime $\ell$ and the Kodaira symbol at the primes of bad reduction.

A Proof of Fraenkel's Conjecture

math.NT

Fraenkel's conjecture asserts that a partition of the integers into at least three Beatty sequences with distinct moduli has the binary densities $1,2,4,\ldots,2^{m-1}$, normalized by $2^m-1$. We prove the conjecture through a dimension-free intermediate statement: every such partition contains a component of density at least 1/3. After reducing the partition to primitive common-period data, Fourier cancellation produces a finite inverse-sine system. We prove that no such system can exist when every density is below 1/3. The proof combines a divisor-concentration identity with uniform analytic estimates and three exact finite verifications, all carried out with integer or rational arithmetic. The component supplied by the density bound has mean spacing at most three. Deleting it preserves balance, and every surviving periodic balanced set is again a rational Beatty set. Induction determines the surviving binary scales, while a two-sequence disjointness criterion forces the deleted density to be the next binary scale. This yields the asserted density pattern.

Ten unknowns for Hilbert's tenth problem over the integers

math.NT

math.LO

Hilbert's Tenth Problem over the integers was solved negatively by Y. Matiyasevich in 1970. In this paper, we prove that there is no algorithm to determine for any polynomial equation $P(z_1,\ldots,z_{10})=0$ (with integer coefficients and ten unknowns) whether it has integer solutions. This improves the previous 11 unknowns theorem.

The First Two Exceptional Boundaries for Sets with Few Subset Sums

math.CO

math.NT

Let $A$ be an $n$-element set of positive real numbers, and write $\operatorname{FS}(A)$ for its subset sums, including the empty sum. Write $T_n=\binom{n+1}{2}$. For $0\le M\le n-4$, Carpenter, Defant and Kravitz classify all $A$ satisfying $\lvert\operatorname{FS}(A)\rvert\le T_n+1+M$. We determine the next two cases for every $n\ge5$. At $M=n-3$, the sets are precisely the positive dilates of primitive positive-integer sets $B$ with $\sum B\le T_n+n-3$, together with the dilates of $\{1,3,4,\ldots,n+1\}$. At $M=n-2$, the integer total bound increases by one, and the exceptional templates are $\{1,3,4,\ldots,n+1\}$, $\{2,3,\ldots,n+1\}$, and $\{1,3,4,\ldots,n,n+2\}$. We also determine all equality cases and show that $n=5$ is the sharp threshold, including for commensurability at $M=n-2$. The proof records the missing subset sums at the two endpoints and derives a transition formula that extends the exceptional configurations to arbitrary $n$.

Shifted poles and chamber cancellation for classical Witten zeta functions

math.RT

math.NT

We determine two infinite families of poles on the positive real axis for classical single-variable Witten zeta functions. In type $A_r$, for $r \geq 5$, the point $q_r^A = 2(r-4)/(r^2+r-4)$ is a simple pole except in ranks $12$ and $20$, where it is a double pole. In type $D_r$, for $r \geq 4$, the point $q_r^D = (r-3)/(r(r-1)-1)$ is a simple pole except at $D_8$, where it is double. In root-product normalization, we express the simple residues and the leading coefficients of these three double poles in terms of gamma, trigonometric, and Riemann zeta values. For $r \geq 4$, the functions of types $B_r$ and $C_r$ are holomorphic at $q_r^{BC} = (r-3)/(r^2-1)$ except possibly in ranks $7$ and $11$, where any pole is simple. These pole and holomorphy statements arise from quadratic normal Taylor coefficients. For every fixed higher even normal degree, we also determine exactly when the associated continued $B/C$ chamber sum is nonzero; this auxiliary result does not by itself classify poles of the full Witten function. The proofs combine exhaustive support classifications, explicit integration-by-parts identities, and finite chamber relations. No numerical nonvanishing estimate is used.

Infinite transitivity of tame groups of automorphisms of affine spaces

math.AG

math.NT

For positive integers $n$ and $m$, we study the actions of the groups of tame automorphisms of the $n$-dimensional affine spaces over finite fields on ordered subsets of $m$ points. Our primary interest lies in constructing tame automorphisms that take one ordered sequence to another and in proving upper and lower bounds on the maximal complexity of such automorphisms. Our preferred measure of complexity of an automorphism is the maximum of the degrees of the polynomials that define it and its inverse. Using methods and results from various branches of mathematics, including the theory of symmetric groups, affine geometry over finite fields, polynomial interpolation, combinatorics of projective spaces over fields, and polynomial automorphisms, we obtain a wide variety of qualitative and quantitative results.

Hodge--Tate splitting and Akizuki--Nakano vanishing in positive characteristic

math.AG

math.NT

We introduce the notion of Hodge--Tate splitting for schemes in positive characteristic. For a smooth variety $X$ over a perfect field $k$ of characteristic $p > 0$, we say that $X$ is Hodge--Tate split if the natural morphism $\mathcal{O}_X \to F_*\Omega^\bullet_{X/k}$ induced by the absolute Frobenius admits a splitting in $\mathcal{D}_{\mathrm{qcoh}}(X)$. We prove that this condition is equivalent to the existence of a decomposition $F_*\Omega^\bullet_{X/k} \simeq \bigoplus_{i=0}^{\dim X}\Omega^i_{X/k}[-i]$ of its de Rham complex. Consequently, for smooth projective varieties, Hodge--Tate splitting implies Akizuki--Nakano vanishing and the $E_1$-degeneration of the Hodge-to-de Rham spectral sequence. Furthermore, we establish criteria and permanence properties for Hodge--Tate splitting and use them to construct many new examples of varieties whose de Rham complexes decompose. These include blow-ups of quasi-$F$-split varieties along strata of simple normal crossings divisors, complete intersections in toric varieties, and linearly reductive quotients of Hodge--Tate split varieties. Among these examples, we obtain smooth projective varieties whose Hodge-to-de Rham spectral sequences degenerate at $E_1$, whereas their Hochschild--Kostant--Rosenberg spectral sequences do not degenerate. As an application in mixed characteristic, we prove an Akizuki--Nakano-type vanishing theorem for smooth projective globally $+$-regular varieties over the Witt ring of a perfect field.

Deciding superellipticity and computing the Weierstrass normal form

math.AG

cs.SC

math.NT

Let \( \mathcal{S}_{g,n} \subset \mathcal{M}_g \) be the locus of curves of genus \( g \geq 2 \) admitting a model \( y^n = h(x) \) with \( h \) separable; such curves $C$ have a cyclic group \( C_n \leq \operatorname{Aut}(C) \) of order \( n \) with \( C/C_n \cong \mathbb{P}^1 \). % We give an algorithm which, given an absolutely irreducible plane model \( F(x,y) = 0 \) of a curve \( C \) over a field \( k_0 \) of characteristic zero, decides for which \( n \) the curve lies in \( \mathcal{S}_{g,n} \) and returns a model \( y^n = h(x) \) together with the birational transformation to it.

Two-photon quantum Rabi models - Spectral degeneracy and symmetries

math-ph

math.MP

math.NT

The quantum Rabi model occupies a distinguished role in the study of quantum light and matter, describing the most fundamental interactions. Elucidation of its spectral properties, along with those of its generalizations, is necessary for quantum optics and applications in areas such as quantum information technologies. In this paper, we explore a precise description of energy degeneracy of the two-photon asymmetric quantum Rabi model and the nature of the system's symmetries; as a result, we demonstrate that these have significant relationships with the structure of certain algebraic curves (hyperelliptic curves) and number theory. Concretely, we first prove the existence of degenerate eigenvalues using the monodromy data of the Fuchsian ODE, which draws the eigenvalue problem of the system, and the existence of associated symmetry operators, previously discovered and studied heuristically in physics. Subsequently, we give a complete characterization of spectral degeneracies and present a series of conjectures showing that the degeneracy may determine the entire energy spectral structure. More precisely, for sufficiently strong interaction, we obtain an excellent approximation of the energy curves by the zero locus of a two-variable polynomial associated to degenerate eigenstates. In addition, we postulate an explicit description of the relation between the missing symmetry at the Hamiltonian level (hidden symmetry) and the degeneracy of the two-photon quantum Rabi model.

On Algebraic Integrability of Vector Fields with Rational Function Coefficients that Separate Variables

math.AG

math.AC

math.DG

math.NT

We work over a field of characteristic zero - primarily over an algebraic closure of the field of rational numbers. We prove a necessary and sufficient condition for a vector field whose coefficients are rational functions separating variables to be algebraically integrable, that is, the subring of rational functions killed by this vector field, its ring of first integrals, is of maximal possible dimension. We do it arithmetically by reducing the vector field modulo almost all primes. In particular, we verify the generalized Grothendieck--Katz p-curvature conjecture for foliations defined by these vector fields. Finally, we use the outcome of that verification to provide explicit formulas for coefficients of all algebraically integrable vector fields separating variables, and their first integrals.

Sharp Threshold for Universality of Rational Canonical Forms over a Finite Field

math.PR

math.NT

math.RT

We study the rational canonical form of sparse random matrices over a finite field. Suppose $A_n\in \operatorname{Mat}_n(\mathbb{F}_p)$ has independent and $\alpha_n$-balanced entries. We prove that if $$ \liminf_{n\to\infty}\frac{n\alpha_n}{\log n}>1, $$ then, for every fixed collection of distinct monic irreducible polynomials over $\mathbb{F}_p$, the corresponding primary partitions of $A_n$ converge jointly to the same asymptotically independent Cohen-Lenstra distributions as in the uniform model studied by Fulman in his thesis. The sharp sparsity threshold for the full rational canonical form coincides with the threshold previously obtained by Lee for finite-field cokernels and by Jung-Lee-Yu for random matrix models over $\mathbb{Z}_p$. Our proof is based on the surjection moment method over the function field $\mathbb{F}_p[t]$, applied to the finite module $\operatorname{Cok}_{\mathbb{F}_p[t]}(tI_n-A_n)$, whose primary decomposition records the rational canonical form. We also construct degree-$d$ critical sparse obstructions, suggesting a polynomial-dependent threshold $1/d$ for statistics associated with irreducible polynomials of minimal degree $d$.

$A_1$ - Coulomb branches over finite fields and Selberg Character sums

math-ph

math.AG

math.MP

math.NT

Motivated by mirror symmetry, we study exponential sums over the $\mathbb{F}_q$-points of the $A_1$ Coulomb branch. We show that their fiberwise structure is governed by polynomial Gauss sums, providing a geometric realization of Selberg character sums studied by Evans. Using Evans's evaluation, we obtain explicit formulas for the Coulomb-branch exponential sums as products of classical Gauss sums.

Pair Correlation of Zeros of the Riemann Zeta Function I: Proportions of Simple Zeros and Critical Zeros

math.NT

v3

Assuming the Riemann Hypothesis (RH), Montgomery proved a theorem in 1973 concerning the pair correlation of zeros of the Riemann zeta-function and applied this to prove that at least 2/3 of the zeros are simple. In this paper, we investigate the versatility of the pair correlation method and show, for the first time, that it can be used to prove results on the horizontal distribution of zeros of the Riemann zeta-function. In earlier work we showed how to remove RH from Montgomery's theorem and, in turn, obtain results on simple zeros assuming conditions on the zeros that are weaker than RH. Here we assume a more general condition, namely that all the zeros $\rho = \beta +i\gamma$ with $T<\gamma\le 2T$ are in a narrow vertical box centered on the critical line with width $b/\log T$. We prove that under this assumption with $b=0.3185$ that at least $2/3$ of zeros are simple and on the critical line.

On Some Hypergeometric Modularity Conjectures of Dawsey and McCarthy

math.NT

v2

In recent work, the author, in collaboration with Allen, Long, and Tu, developed the Explicit Hypergeometric Modularity Method (EHMM), which establishes the modularity of a large class of hypergeometric Galois representations in dimensions two and three. One important application of the EHMM is the construction of an explicit family of eta-quotients, which we call the $\mathbb{K}_{2}$ functions, from the hypergeometric background. In this article, we introduce an analogous family of eta-quotients, which we call the $\mathbb{K}_{3}$ functions. These $\mathbb{K}_{3}$ functions are constructed using the theory of weight one cubic theta functions originally developed by Jonathan and Peter Borwein. We then use the $\mathbb{K}_{3}$ functions in the EHMM to resolve several hypergeometric modularity conjectures of Dawsey and McCarthy. Further, we provide applications to special $L$-values of the $\mathbb{K}_{3}$ functions and to the study of generalized Paley graphs.

Parity of the partition function in quadratic progressions

math.NT

math.CO

v4

The parity of the partition function $p(n)$ is one of the most stubborn problems in number theory. In 2010, the first author conjectured, for square-free $1

A $p$-adic interpolation of the Cogdell lift

math.NT

v2

In this paper we obtain several results related to the $p$-adic interpolation of the classical Cogdell lift, mapping special cycles on Picard modular surfaces to elliptic modular forms. The results have a three-fold nature: in the first part of the paper, we $p$-adically interpolate the adjoint Kudla lift, exploiting the previously constructed $\Lambda$-adic Kudla lift. In the second part, we construct higher weight cycles in Kuga-Sato varieties attached to Picard modular surfaces, and show modularity of the generating series of these cycles, thus obtaining a higher weight analogue of the Cogdell lift. Finally, we apply the formalism introduced by Loeffler to construct $p$-adic analytic cohomology classes of special cycles, whose generating series is proved to be a Hida family interpolating the Cogdell lifts in the weight and level variables.

The Riemann Hypothesis through the looking of partitions

math.NT

v3

An equivalence of the Riemann Hypothesis due to Espinosa reveals a direct bridge to the theory of integer partitions. Building on this formulation, we analyze the asymptotic behavior of a family of combinatorial sums \(A_r(n)\), called Espinosa's branches, expressed in terms of monomial symmetric polynomials. In this work, we propose that the Riemann Hypothesis splits into the successive realization of each Espinosa branch by a concrete subset of divisors. In this direction, we rigorously establish the first step: the branch $r=1$ is fully realized. For the higher branches, we define the asymptotic proportions $\rho_r=\lim_{n\to\infty} A_r(n)/(n\log\log n)$ and we compute exactly the contribution of the hook-shaped family of partitions $[r,1^l]$, denoted by $\tilde{\rho}_r$, which accounts for $91.85\%$ of the total classical constant $e^\gamma\approx 1.781072417990\ldots$ The remaining proportion, coming from all other partitions, satisfies $\lim_{r\to\infty} \rho_r/(\rho_r-\tilde{\rho}_r) = 1$. Assuming the Alaoglu-Erd\"os conjecture, we use the list of 10,000 existing colossally abundant numbers (OEIS A004490, A073751) to yield explicit cutoff divisors realizing the first seven Espinosa branches. We present computational evidence showing how these first realizations appear, supporting the proposed divisor-realization framework.

Non-Expansive Matrix Based number Systems

math.NT

v2

An integer $d$-dimensional vector is usually represented by $d$ strings, which express the value of each component separately. This article is devoted to number systems that allow representing integer vectors using a single string of digits. This system is given by an integer square matrix $M$ and a finite set $\mathcal{D}$ of symbols, called digits. We focus on full number systems, in which every vector $\vec{x} \in \mathbb{Z}^n$ can be written in the form $\vec{x}=\sum_{i=0}^{k-1} M^i d_i$ with $d_i \in \mathcal{D}$ and thus represented by the string $d_{k-1}d_{k-2}\cdots d_1d_0$. In contrast to the very well-described case where the base $M$ is expansive, we focus on systems in which $M$ is similar to a Jordan block with the eigenvalue $\pm 1$. We follow the work of Caldwell, Hare, and V\'avra who initiated the study of such systems. First, we address the question of choosing a minimal sized digit set $\mathcal{D}$. Then we describe optimal representations for vectors from $\mathbb{Z}^2$, both with respect to their length and the occurrence of non-zero digits.

On the finite transcendence of Frobenius traces for abelian varieties over $\mathbb{Q}$

math.NT

v5

The first purpose of this paper is to give the fnite transcendence of Frobenius traces for elliptic curves over $\mathbb{Q}$ without the assumption of complex multiplication (CM). This result generalizes the previous work by Luca and Zudilin, who obtained similar transcendence results specifically for the CM case. The second purpose is to give the finite transcendence of Frobenius traces for several principally polarized abelian varieties over $\mathbb{Q}$, by using Luca--Zudilin's method.

Bessel Distributions and Kloosterman Sums

math.NT

math.RT

v2

Let $G$ be a split reductive group over a $p$-adic field. We give germ expansions of Kloosterman integrals for $G$. As an application, we prove that Bessel distributions are regular for all generic representations on $G$ provided that Kloosterman sums for any Levi subgroups of $G$ have nontrivial bounds.

Multiplicator freeness for restricted-ramification Galois groups over global function fields

math.NT

v2

Let $K$ be a global function field with full constant field $\mathbb{F}_q$, let $T$ be a finite set of finite places, and let $\infty$ be a distinguished place. We study the maximal pro-$\ell$ extension of $K$ which is unramified outside $T$ and in which $\infty$ splits completely. Using factorisation results for $\ell$-primary idele class characters, we prove that its Galois group is multiplicator-free if $\ell \nmid q - 1$ or $T \neq \varnothing$. In particular, if $T \neq \varnothing$, the conclusion holds for every prime $\ell$.

Logarithmic Chowla Correlations Across All Shift Scales

math.NT

cs.DM

math.CA

v4

Let $\lambda(n)=(-1)^{\Omega(n)}$ be the Liouville function. We prove a fixed power-logarithmic bound for its logarithmically weighted two-point correlations across the full shift range. There is an absolute $c>0$ such that every sufficiently large $x$ admits a single set $\mathcal E_x\subseteq[1,x]$ with $|\mathcal E_x\cap[1,H]|\ll_A H(\log x)^{-A}$ $(1\le H\le x)$ for every fixed $A>0$, while $\max_{\substack{1\le h\le x\ h\notin\mathcal E_x}}\sup_{1\le y\le x}\left|\sum_{n\le y}\frac{\lambda(n)\lambda(n+h)}{n}\right|\ll(\log x)^{1-c}$. The same exceptional-set formulation extends, without an upper cutoff, to all positive integer shifts. Earlier full-range theorems average over the shift; here a fixed saving holds pointwise outside one set whose density in every initial segment is smaller than every fixed negative power of $\log x$. The new middle-scale argument combines a general-good-modulus Liouville deletion lemma with a linear bad-modulus score, a progression Fourier estimate, and a Mellin-localized dilation that separates divisor-dependent endpoints. Maximal fixed-moment bounds evacuate the low prefix and control the long-shift range. Assuming GRH for primitive Dirichlet $L$-functions, we also prove, uniformly for $h\in\mathbb N$ and $1\le y\le x$, $\left|\sum_{n\le y}\frac{\lambda(n)\lambda(n+h)}{n}\right|\le\log(2\min{h,y})+O((\log x)^{1-c_{\mathrm G}})$ for an absolute $c_{\mathrm G}>0$, with no exceptional shifts.

Period Relations for Theta Products and Elliptic Integral Moments

math.NT

v2

We construct period polynomial relations for finite systems of theta products stable under modular transformations and use them to derive identities among critical $L$-values. Our main example is a three-component theta system of weight $5$, whose coupled period polynomials are determined explicitly and yield new cross-form relations among critical values of the associated eta products. These relations are not consequences of the functional equations of the individual forms. We also develop a weight-$4$ system arising from a quadratic twist of conductor $3$ and obtain relations linking critical values of the original and twisted modular forms. Through modular parametrizations by complete elliptic integrals, these $L$-value identities yield corresponding moment identities. The method gives a unified modular-symbol explanation of several previously known elliptic integral moment relations while producing new critical-value relations between distinct modular forms.

Unit Indices of Shanks Orders

math.NT

v2

For an integer $t\geq-1$, let $\theta_t$ be the largest real root of $g_t(X)=X^3-tX^2-(t+3)X-1$, and put $R_t=\mathbb{Z}[\theta_t]\subseteq\mathcal{O}_t=\mathcal{O}_{\mathbb{Q}(\theta_t)}$, $N_t=[\mathcal{O}_t:R_t]$, and $\varepsilon_t=[\mathcal{O}_t^\times:R_t^\times]$. We prove that if $N_t$ is squarefree, then $\varepsilon_t=3$ for $t=3$, $\varepsilon_t=7$ for $t=5$, and $\varepsilon_t=1$ otherwise. We also prove that if $N_t=27$, then $\varepsilon_t=13$ for $t=12$ and $\varepsilon_t=1$ otherwise. The squarefree proof determines the local conductor at every prime divisor of $N_t$, proves that $\varepsilon_t\mid N_t$, and combines an argument ruling out cubic powers with regulator and congruence bounds. When $N_t$ is prime, we also determine the Picard kernel, the ideal class monoid, and every fiber in the corresponding classification of integral matrices up to conjugacy. An appendix uses computer assistance to determine the rational points needed for the case of divisibility by $13$ and proves, using Magma's saturation-enabled genus-two Chabauty routine, that $13\mid\varepsilon_t$ exactly for $t=12,66$

Density of the multidimensional Lagrange spectrum

math.NT

math.DS

v2

The Lagrange spectrum is a classical object in number theory, defined as the set of values of $\liminf_{q\to\infty} q\, \mathrm{dist}(q\alpha,\mathbb{Z})$ where $\alpha$ runs through irrational numbers. It has a complicated structure, with the discrete part, Hall's ray, and a transitional part in between. One can similarly define Lagrange spectrum in the multidimensional set-up, and until now not much has been understood about it. In this paper we prove that, unlike in the one-dimensional case, the closure of the multidimensional Lagrange spectrum is equal to the interval between $0$ and its supremum. The proof relies on a correspondence between Diophantine approximation and dynamics on the space of unimodular lattices and proceeds by studying a dynamical counterpart of the Lagrange spectrum that we call dynamical Lagrange spectrum. The latter is shown to be equal to the interval between $0$ and its maximum by means of an argument utilizing the higher rank nature of the set-up. A passage from full dynamical spectrum to the density of the Diophantine spectrum is achieved by applying equidistribution of expanding translates of horospheres in the space of lattices.

On Bosch-L\"utkebohmert-Raynaud's Conjecture I

math.AG

math.NT

v2

Let $G$ be a smooth algebraic group over the field of rational functions of an excellent Dedekind scheme $S$ of equal characteristic $p>0.$ A N\'eron lft-model of $G$ is a smooth separated model $\mathscr{G} \to S$ of $G$ satisfying a universal property. Predicting whether a given $G$ admits such a model is a very delicate (and, in general, open) question if $S$ has infinitely many closed points, which is the subject of Conjecture I due to Bosch-L\"utkebohmert-Raynaud. This conjecture was recently proven by T. Suzuki and the author if the residue fields of $S$ at closed points are perfect, but refuted in general. The aim of the present paper is two-fold: firstly, we give a new construction of counterexamples which is more general and provides a conceptual explanation for the only counterexamples known previously, as well as providing many new counterexamples. Secondly, we shall give a new and elementary proof of Conjecture I in the case of perfect residue fields. Both parts make use of the concept of weakly permawound unipotent groups recently introduced by Rosengarten.

Paley-type matrices and $1$-factorizations of complete graphs

math.CO

math.NT

v3

Ball, Ortega--Moreno, and Prodromou asked two questions about whether, for every odd prime $p$, one can find a $1$-factor of the complete graph $K_{p+1}$ with some arithmetic restrictions related to quadratic residues. These problems are motivated by two natural compatibility conditions between $1$-factorizations and the sign patterns of certain Paley-type matrices. Recently, Afifurrahman et al. made some partial progress on the second problem. In this paper, we completely resolve both problems. We prove that the first problem has a solution precisely when $p\equiv3\pmod4$, while the second problem has a solution for every odd prime $p$. We also solve a further problem of Ball et al. for cyclic groups of odd order, and more generally for all finite abelian groups of odd order.

Eleven, twelve, and thirteen lonely runners

math.CO

cs.DM

math.NT

v2

Wills conjectured that, for any non-zero integers $u_1,\ldots,u_k$, there is a real number $t$ such that, for all $i=1,\ldots,k$, \[\lVert tu_i\rVert\geq\frac{1}{k+1},\] where $\lVert x\rVert$ is the distance from $x$ to the closest integer. This statement is known as the Lonely Runner Conjecture. A computational method developed by Rosenfeld and the second author verified the conjecture for $k\leq9$. We further refine this method with new sieving techniques and employ a polynomial method argument to show that any $(u_1,\ldots,u_k)\equiv(1,2,\ldots,k)\pmod{p}$ with $\gcd(u_1,\ldots,u_k)=1$ satisfies the conjecture when $k+1$ and $p > k^2+k$ are both odd primes. Ultimately, we provide a computer-assisted proof of the Lonely Runner Conjecture for $k\in\{10,11,12\}$.

Balanced intersection size distributions in finite geometries and vector spaces

math.CO

math.NT

v2

We study intersection size distributions arising in finite geometries and vector spaces. For a projective plane $\Pi_q$ of order $q$ with line set $\mathcal L$, we show that \[ \min_{S\subseteq\Pi_q}\max_k |\{\ell\in\mathcal L:|S\cap\ell|=k\}|=\Theta(q^{3/2}). \] The arguments behind these bounds admit a more general formulation. We prove a similar lower bound for balanced incomplete block designs, together with probabilistic upper bounds for uniform block systems: one for fixed block size under a weak dependency condition and another for growing block size under bounded pairwise intersections. This yields corresponding results for subspaces of vector spaces over finite fields, equivalently, for affine subspaces of an affine space. We also study explicit constructions in affine planes of prime order and relate their intersection size distributions to character sum estimates; an elliptic curve construction gives a bound within a polylogarithmic factor of the optimal order. Finally, we relate balanced intersection size distributions to legitimate colorings and prove that every n-uniform linear hypergraph with $n$ edges admits a legitimate 2-coloring.

A Computational Framework for the Moduli of Supersingular Abelian Varieties

math.AG

math.NT

v2

We establish structure theorems for polarised flag type quotients arising in the study of the moduli space of supersingular abelian varieties. In particular, we prove a refined normal form for the top level of these flags and derive an explicit, computable descent criterion for quasi-polarisations. These results provide a complete classification of the first and last step of these flags. As an application, we compute polarised flag type quotients in dimensions $g\leq 5$, describing the fibers of the truncation morphisms as classification objects of supersingular abelian varieties.