Number Theory [math.NT]

Algebraic representatives of the ratios $\zeta(2n+1)/\pi^{2n}$ and $\beta(2n)/\pi^{2n-1}$
math.NT


Luc Ramsès Talla Waffo

In \cite{TallaWaffo2025arxiv2511.02843} we introduced even polynomials $\Xi_n,\Lambda_n\in\mathbb{Q}[x]$ arising from integral representations of $\beta(2n)/\pi^{2n-1}$ and $\zeta(2n+1)/\pi^{2n}$. In this paper we give explicit closed formulae for these polynomials in terms of Eulerian numbers and study their structural properties. These properties may prove useful in studies on the arithmetic nature of the ratios $\beta(2n)/\pi^{2n}$ and $\zeta(2n+1)/\pi^{2n+1}.$

Complex Moments, Gamma and Riemann Zeta Functions unified by the Parabolic Mellin Transform
math.NT
math.CA
math.PR


Peter Reinhard Hansen, Chen Tong

We present a unified integral framework based on the Fourier-Laplace transform evaluated along a vertical line in the complex plane. By identifying the moment-generating function (MGF) of a random variable with the weights of these integrals, we first establish a general expression for complex fractional moments valid for any random variable with a MGF. Applying this formula to the Gaussian distribution, we recover a global integral representation for the reciprocal Gamma function that unifies it with its reflection. We formalize the underlying operator as the Parabolic Mellin Transform, a holomorphic alternative to the classical Mellin transform that avoids strips of convergence by mapping the vertical line to a parabolic contour. This general framework leads to new meromorphic representations for the Hurwitz and Riemann zeta functions that are valid throughout the critical strip, as well as reformulations of the Riemann hypothesis and the Lindelof hypothesis.

Non-hyperelliptic modular curves of genus 3
math.NT
math.AG


Enrique González-Jiménez, Roger Oyono

A curve $C$ defined over $\mathbb Q$ is modular of level $N$ if there exists a non-constant morphism from $X_1(N)$ onto $C$ defined over $\mathbb Q$ for some positive integer $N$. We provide a sufficient and necessary condition for the existence of a modular non-hyperelliptic curve $C$ of genus $3$ and level $N$ such that $\mathrm{Jac}{(C)}$ is $\mathbb Q$-isogenous to a given three dimensional $\mathbb Q$-quotient of $J_1 (N)$. Using this criterion, we present an algorithm to compute explicitly equations for modular non-hyperelliptic curves of genus $3$. Let $C$ be a modular curve of level $N$, we say that $C$ is new if the corresponding morphism between $J_1(N)$ and $\mathrm{Jac}{(C)}$ factors through the new part of $J_1(N)$.

On the local-global principle for twists of abelian varieties
math.NT


Nirvana Coppola, Lorenzo La Porta, Matteo Longo

This paper investigates the existence of a local-global principle for certain twists of abelian varieties defined over number fields. Our main focus is to determine when, for $m$ a positive integer, locally $m$-atic twists of an abelian variety $A$ over a number field $K$ are globally $m$-atic. We define and study a "Tate-Shafarevich cohomology set" that governs the obstruction to the local-global principle for $m$-atic twists. We prove that, under some mild assumptions, this set is finite, and give criteria for it to be trivial, i.e. for the local-global principle to be satisfied.

Computing class groups and gonalities of algebraic curves over finite fields
math.NT
math.AG


Maarten Derickx, Kenji Terao

We give practical algorithms for computing the divisor class group and the gonality of a curve over a finite field, achieving several orders of magnitude speedup over existing methods for sufficiently large genus or residue field. The approach relies on introducing a precomputation step involving power series-expansions, which allows for an efficient amortized computation of large numbers of Riemann-Roch spaces.

Classifying binary quadratic forms using Clifford invariants
math.AG
math.AC
math.NT


Soham Mondal, T. E. Venkata Balaji

We functorially identify similarity classes of line-bundle-valued quadratic forms on rank two vector bundles with isomorphism classes of pairs consisting of the degree zero and the degree one parts of the associated generalized Clifford algebras. As applications, we generalize the Gauss Composition and explore connections with Picard groups of quadratic algebras.

Modular curves $X_0(N)$ of density degree $5$
math.NT
v2


Maarten Derickx, Wontae Hwang, Daeyeol Jeon, Petar Orlić

We determine all modular curves $X_0(N)$ with density degree $5$, i.e. all curves $X_0(N)$ with infinitely many points of degree $5$ and only finitely many points of degree $d\leq4$. As a consequence, the problem of determining all curves $X_0(N)$ with infinitely many points of degree $5$ remains open for only $30$ levels $N$.

Multiple polylogarithms and the Steinberg module
math.NT
math.AG
math.AT
math.KT
v2


Steven Charlton, Danylo Radchenko, Daniil Rudenko

We establish a connection between multiple polylogarithms on a torus and the Steinberg module of $\mathbb{Q}$, and show that multiple polylogarithms of depth $d$ and weight $n$ can be expressed via a single function $\mathrm{Li}_{n-d+1,1,\dots,1}(x_1,x_2,\dots,x_d)$. Using this connection, we give a simple proof of the Bykovski\u{\i} theorem, explain the duality between multiple polylogarithms and iterated integrals, and provide a polylogarithmic interpretation of the conjectures of Rognes and Church-Farb-Putman.

On pairs of triangular numbers whose product is a perfect square and pairs of intervals of successive integers with equal sums of squares
math.NT
math.CO
v3


Vladimir Gurvich, Mariya Naumova

A number $N$ is a triangular number if it can be written as $N = t(t + 1)/2$ for some nonnegative integer number $t$. A triangular number $N$ is called square if it is a perfect square, that is, $N = d^2$ for some integer number $d$. Square triangular numbers were characterized by Euler in 1778 and are in one-to-one correspondence with the so-called near-isosceles Pythagorean triples $(k,k+1,l)$, where $k^2 + (k+1)^2 = l^2$. A quadratic number is the product $\Pi = \Pi(k,j) = k(k+1)(k+j)(k+j+1)$ for some nonnegative integer numbers $k$ and $j$. By definition, it is the product of two triangular numbers and 4. Quadratic number $\Pi$ and the corresponding pair $(k,j)$ are called square if $\Pi$ is a perfect square. Clearly, $(k,j)$ is square if both triangular numbers $k(k+1)/2$ and $(k+j)(k+j+1)/2$ are perfect squares. Yet, there exist infinitely many other square quadratic numbers. We construct polynomials $j_i(k)$ of degree $i$ with positive integer coefficients satisfying equations: $k + j_{2 \ell}(k) + 1 = k [a_\ell k^\ell + \dots + a_1 k + a_0]^2 +1 = (k+1) [b_\ell k^\ell + \dots + b_1 k + b_0]^2$ and \newline $k + j_{2\ell+1}(k) + 1 = k(k+1) [a_\ell k^\ell + \dots + a_1 k + a_0]^2 + 1 = [b_{\ell+1} k^{\ell+1}+b_\ell k^\ell + \dots + b_1 k + b_0]^2$ for some positive integer $\ell$ and some coefficients $a_i, b_j$, $i=0, \ldots, \ell, j=0, \ldots, \ell+1$. All the obtained pairs $(k, j_i(k))$ are square. We conjecture that the products of square triangular numbers and pairs $(k, j_i(k))$ cover all quadratic squares. Additionally, we identify pairs of intervals of successive integers with equal sums of squares.

Rigorous methods for computational number theory
math.NT
v2


Koen de Boer, Alice Pellet-Mary, Benjamin Wesolowski

We present the first algorithm for computing class groups and unit groups of arbitrary number fields that provably runs in probabilistic subexponential time, assuming the Extended Riemann Hypothesis (ERH). Previous subexponential algorithms were either restricted to imaginary quadratic fields, or relied on several heuristic assumptions that have long resisted rigorous analysis. The heart of our method is a new general strategy to provably solve a recurring computational problem in number theory (assuming ERH): given an ideal class $[\mathfrak{a}]$ of a number field $K$, sample an ideal $\mathfrak b \in [\mathfrak{a}]$ belonging to a particular family of ideals (e.g., the family of smooth ideals, or near-prime ideals). More precisely, let $\mathcal{S}$ be an arbitrary family of ideals, and $\mathcal{S}_B$ the family of $B$-smooth ideals. We describe an efficient algorithm that samples ideals $\mathfrak b \in [\mathfrak{a}]$ such that $\mathfrak b \in \mathcal{S} \cdot\mathcal{S}_B$ with probability proportional to the density of $\mathcal{S}$ within the set of all ideals. The case where $\mathcal{S}$ is the set of prime ideals yields the family $\mathcal{S}\cdot\mathcal{S}_B$ of near-prime ideals, of particular interest in that it constitutes a dense family of efficiently factorable ideals. The case of smooth ideals $\mathcal{S} = \mathcal{S}_B$ regularly comes up in index-calculus algorithms (notably to compute class groups and unit groups), where it has long constituted a theoretical obstacle overcome only by heuristic arguments.

Bipartite Diophantine tuples and their applications
math.NT
v3


Kin Ming Tsang, Chi Hoi Yip

This paper investigates bipartite variants of generalized Diophantine tuples and their applications. We generalize a result of Bugeaud--Dujella on a special family of bipartite Diophantine tuples and affirmatively resolve a related question posed by the second author. Additionally, we establish new connections between bipartite Diophantine tuples and several known variants of Diophantine tuples, including those introduced by Banks--Luca--Szalay and Kihel--Kihel.

Congruences modulo powers of $2$ for three restricted partition functions of Pushpa and Vasuki
math.NT
math.CO
v2


Russelle Guadalupe

We establish infinite families of congruences modulo arbitrary powers of $2$ for the three restricted partition functions $M(n), T^\ast(n)$, and $P^\ast(n)$ introduced by Pushpa and Vasuki by employing elementary $q$-series techniques. These generalize some particular congruences for $M(n), T^\ast(n)$, and $P^\ast(n)$ recently found by Nath and Saikia.

On the Lagarias Inequality and Superabundant Numbers
math.NT
v2


Andrew MacArevey

We study the Lagarias inequality, an elementary criterion equivalent to the Riemann Hypothesis. Using a continuous extension of the harmonic numbers, we show that the sequence $B_n=\frac{H_n+e^{H_n}\log(H_n)}{n}$ is strictly increasing for $n\ge 1$. As a consequence, if the Lagarias inequality has counterexamples, then the least counterexample must be a superabundant number; equivalently, it suffices to verify the inequality on the superabundant numbers.

On the Mean Value of a Weighted Composite Arithmetic Function
math.NT
v2


Mihoub Bouderbala

The primary objective of this paper is to employ methods from analytic number theory to investigate the mean value properties of a composite function involving the Dirichlet divisor function and a generalized minimal power function. Specifically, we study the weighted summatory function where the divisor function is normalized by the number of distinct prime factors. We establish a rigorous asymptotic formula for this sum, detailing the analytic properties of the associated Dirichlet series and the contour integration process.

Critical modular lattices in the Gaussian core model
math.MG
math.NT
v2


Arian Joharian, Frank Vallentin, Marc Christian Zimmermannn

We discuss the local analysis of Gaussian potential energy of modular lattices. We present examples of $2$-modular lattices -- such as the $16$-dimensional Barnes-Wall lattice -- and $3$-modular lattices -- such as the $12$-dimensional Coxeter-Todd lattice -- that are locally universally optimal among lattices (in the sense of Cohn and Kumar). We also provide other $2$- and $3$-modular lattices that are not locally universally optimal, or not even critical in the Gaussian core model.

A central limit theorem for a generalization of the Ewens measure to random tuples of commuting permutations
math.PR
math.CO
math.NT
v3


Abdelmalek Abdesselam, Shannon Starr

We prove a central limit theorem (CLT) for the number of joint orbits of random tuples of commuting permutations. In the uniform sampling case this generalizes the classic CLT of Goncharov for the number of cycles of a single random permutation. We also consider the case where tuples are weighted by a factor other than one, per joint orbit. We view this as an analogue of the Ewens measure, for tuples of commuting permutations, where our CLT generalizes the CLT by Hansen. Our proof uses saddle point analysis, in a context related to the Hardy-Ramanujan asymptotics and the theorem of Meinardus, but concerns a multiple pole situation. The proof is written in a self-contained manner, and hopefully in a manner accessible to a wider audience. We also indicate several open directions of further study related to probability, combinatorics, number theory, an elusive theory of random commuting matrices, and perhaps also geometric group theory.

Nef cone and successive minima: an example
math.AG
math.NT
v2


Ruoyi Guo, Xinyi Yuan

In this paper, we compute the nef cone and the pseudo-effective cone of $C\times J$ for a smooth projective curve $C$ and its Jacobian variety $J$ such that $C\times J$ has the minimal Picard number. As a consequence, we also compute the successive minima of a height function for the relative setting $C\times J\to J$, and our result shows that Zhang's theorem of successive minima does not hold in this case.