Number Theory [math.NT]

Multi-scale Vandermonde test kernels for spectral trace formulas
math.NT


Stefan Horvath

We construct a family of test kernels for use in spectral trace formulas on locally symmetric spaces. The key innovation is the factorization $h_T = g_T \star \widetilde{g}_T$, which simultaneously achieves: (i) automatic positive semi-definiteness of the spectral multiplier $m_{h_T}(\pi) = |m_{g_T}(\pi)|^2 \ge 0$; (ii) $J$-fold moment annihilation via a multi-scale Vandermonde construction, yielding super-polynomial decay of all error terms; (iii) uniform spectral parameter bounds (Master-Bound) $\mathfrak{E}_{\mathrm{tot}}(T) \ll T^{d+1-\delta}$ with $\delta > 0$ depending only on the symmetry order $k$ and the annihilation depth $J \asymp \sqrt{(\log T)/k}$, representing a power saving over the main term $\asymp T^{d+1}$. The cost is a controlled polynomial growth $T^{c_0^2/2+o(1)}$ in the Vandermonde coefficients (with exponent strictly less than 1), which is dominated by the super-polynomial decay of the off-diagonal terms. The construction is axiomatized over two analytic hypotheses -- a Weyl law and Bessel/Airy asymptotics -- making it applicable beyond the classical $\mathrm{GL}(2)$ setting.

Quantitative longest-run laws for partial quotients
math.NT
math.DS
math.PR


Ying Wai Lee

Two longest-run statistics are studied: the longest run of a fixed value and the longest run over all values. Under quantitative mixing and exponential cylinder estimates for constant words, a general theorem is proved. Quantitative almost-sure logarithmic growth is obtained, and eventual two-sided bounds with double-logarithmic error terms are established. For continued-fraction partial quotients, explicit centring constants and double-logarithmic error bounds are derived for both statistics.

Computations on Modular Jacobian Surfaces
math.NT
math.AG


Enrique González-Jiménez, Josep González, Jordi Guàrdia

We give a method for finding rational equations of genus 2 curves whose jacobians are abelian varieties $A_f$ attached by Shimura to normalized newforms $f \in S_2( \Gamma_0(N))$. We present all the curves corresponding to principally polarized surfaces $A_f$ for $N\leq500$.

A solution to the Straus-Erd\H{o}s conjecture
math.NT


Kyle Bradford

This paper outlines a solution to the Straus Erd\H{o}s Conjecture. Namely for each prime $p$ there exists positive integers $x \leq y \leq z$ so that $$ \frac{4}{p} = \frac{1}{x}+\frac{1}{y}+\frac{1}{z} $$

Series involving central binomial coefficients and harmonic numbers of order 2
math.NT
math.CO


Zhi-Wei Sun, Yajun Zhou

We derive modular parametrizations for certain infinite series whose summands involve central binomial coefficients and second-order harmonic numbers. When the rates of convergence are certain rational numbers, modularity allows us to reduce the corresponding series to special values of the Dirichlet $L$-values. For example, we establish the following identity that has been recently conjectured by Sun:\[\sum_{k=0}^\infty\binom{2k}{k}^3\left[ \mathsf H_{2k}^{(2)}-\frac{25}{92}\mathsf H_{ k}^{(2)} +\frac{735L_{-7}(2)-86\pi^{2}}{1104}\right]\frac{1}{4096^{k}}=0,\] where $ \mathsf H^{(2)}_k:= \sum_{0

On the dynamical Galois group of certain affine polynomials in positive characteristic
math.NT


Andrea Ferraguti, Guido Maria Lido

We use explicit class field theory of rational function fields to prove a dynamical criterion for a polynomial of the form $x^{p^r}+ax+b$ over a field of characteristic $p$ to have dynamical Galois group as large as possible. When $p=2$ and $r=1$ this yields an analogue in characteristic $2$ of the celebrated criterion of Stoll for quadratic polynomials over fields of characteristic not $2$.

The circle method and pointwise ergodic theorems
math.DS
math.CA
math.NT


Mariusz Mirek

The purpose of this article is to discuss the circle method and its quantitative role in understanding pointwise almost everywhere convergence phenomena for polynomial ergodic averaging operators. Specifically, we will use the circle method to illustrate that pointwise almost everywhere convergence and norm convergence in ergodic theory can have fundamentally different natures. More importantly, these differences may necessitate the use of distinct types of tools, which can sometimes be more intriguing than the original problems themselves.

Prescribed distinct-digit growth in countable alphabets
math.DS
math.NT
math.PR


Ying Wai Lee

The number of distinct symbols appearing in digit expansions generated by full-branch affine countable iterated function systems is studied whose branch weights are regularly varying. The Hausdorff dimensions of the exceptional sets in which the distinct-digit count grows at a positive linear rate or at a prescribed sublinear rate are determined. The resulting dimension laws exhibit a sharp phase transition: imposing any positive linear rate forces the dimension to collapse to a value determined solely by the tail index, whereas under a broad class of sublinear growth rates, the exceptional sets retain full Hausdorff dimension.

Fibonacci numbers and a metric on coprime pairs
math.MG
math.NT


Mitsuaki Kimura

In this paper, we introduce a metric on the set of pairs of coprime natural numbers. We explicitly construct a quasi-isometric embedding from the set of natural numbers into this metric space via Fibonacci numbers.

The Infinite Sphere and Galois Belyi maps
math.AG
math.NT


Noémie C. Combe

We show that the space of Belyi maps admits a natural parametrization by an infinite-dimensional sphere arising from Voiculescu's theory of noncommutative probability spaces. We show that this sphere decomposes into sectors, each of which corresponds to a class of Belyi maps distinguished up to isomorphism by their monodromy, encoded by a finite-index subgroup of F2. For Galois Belyi maps, our correspondence between spectral sectors of the infinite sphere and algebraic quotients of F2 yields a genuine bijection. Within this framework, distinct sectors of the sphere capture the algebraic constraints imposed on the monodromy, thereby providing a geometric organization of Belyi maps according to their associated group-theoretic data.

Regularity and Automorphism Groups of Dessins d'Enfants with Uniform Passports
math.AG
math.NT


Tatsuya Ohnishi

For a smooth algebraic curve defined over a number field, one can associate a bipartite graph known as a dessin d'enfant. In this paper, we investigate the regularity and automorphism groups of dessins d'enfants with uniform passports, that is, those for which the valencies of black vertices, white vertices, and faces are constant, and study how these properties depend on the genus. Although uniformity imposes a high degree of symmetry, such dessins are not necessarily regular. Our main results are as follows: (1) A passport of the form $[a^{p}, b^{q}, n]$ (the tree case) admits a regular dessin if and only if $\gcd(p,q)=1$. (2) Every passport of the form $[n, b^{q}, n]$ of genus at least 2 admits a dessin with a trivial automorphism group. In addition, we obtain several results on uniform passports of genus 0 and 1. We also establish two theorems on the enumeration of elements in symmetric groups, which are useful for the study of automorphism groups of dessins.

Holographic Equidistribution
hep-th
math.NT


Nico Cooper

Hecke operators acting on modular functions arise naturally in the context of 2d conformal field theory, but in seemingly disparate areas, including permutation orbifold theories, ensembles of code CFTs, and more recently in the context of the AdS$_3$/RMT$_2$ program. We use an equidistribution theorem for Hecke operators to show that in each of these large $N$ limits, an entire heavy sector of the partition function gets integrated out, leaving only contributions from Poincar\'e series of light states. This gives an immediate holographic interpretation as a sum over semiclassical handlebody geometries. We speculate on further physical interpretations for equidistribution, including a potential ergodicity statement.

On the factorisation of the $p$-adic Rankin-Selberg $L$-function in the supersingular case
math.NT
v2


Alessandro Arlandini, David Loeffler

Given a cusp form $f$ which is supersingular at a fixed prime $p$ away from the level, and a Coleman family $F$ through one of its $p$-stabilisations, we construct a $2$-variable meromorphic $p$-adic $L$-function for the symmetric square of $F$. We prove that this new $p$-adic $L$-function interpolates values of complex imprimitive symmetric square $L$-functions, for the various specialisations of the family $F$. We use this $p$-adic $L$-function to prove a $p$-adic factorisation formula, expressing the geometric $p$-adic $L$-function attached to the Rankin--Selberg convolution of $f$ with itself as a the product of the $p$-adic symmetric square $L$-function of $f$ and a Kubota-Leopoldt $L$-function. This extends a result of Dasgupta in the ordinary case.

Slopes of modular forms and geometry of eigencurves
math.NT
v3


Ruochuan Liu, Nha Xuan Truong, Liang Xiao, Bin Zhao

Under a stronger genericity condition, we prove the local analogue of ghost conjecture of Bergdall and Pollack. As applications, we deduce in this case (a) a folklore conjecture of Breuil--Buzzard--Emerton on the crystalline slopes of Kisin's crystabelian deformation spaces, (b) Gouvea's $\lfloor\frac{k-1}{p+1}\rfloor$-conjecture on slopes of modular forms, and (c) the finiteness of irreducible components of the eigencurve. In addition, applying combinatorial arguments by Bergdall and Pollack, and by Ren, we deduce as corollaries in the reducible and strongly generic case, (d) Gouvea--Mazur conjecture, (e) a variant of Gouvea's conjecture on slope distributions, and (f) a refined version of Coleman's spectral halo conjecture.

Sufficient conditions for solvability of linear Diophantine equations, and Frobenius numbers
math.NT
v2


Eteri Samsonadze

The sufficient conditions for solvability of a linear Diophantine equation $\sum_{i=1}^{n}a_ix_i=b$ (with $a_1,a_2,...,a_n\in \mathbb{N}$) in non-negative integers $x_1,x_2,...,x_n$ are given. The explicit formulas are given for Frobenius numbers $g(a_1,a_2,...,a_n)$, for some particular cases,. Besides, a new recurrent method of studying the problem of solvability of a linear Diophantine equation in non-negative integers is proposed. This recurrent method is used for the problem of finding Frobenius numbers $g(a_1,a_2,...,a_n)$ for any $n\geq 3$; the example is given for the case $n=5$.

Exponential sums weighted by additive functions
math.NT
v2


Ayla Gafni, Nicolas Robles

We introduce a general class $F_0$ of additive functions $f$ such that $f(p) = 1$ and prove a tight bound for exponential sums of the form $\sum_{n \le x} f(n) e(\alpha n)$ where $f \in F_0$ and $e(\theta) = \exp(2\pi i \theta)$. Both $\omega$, the number of distinct primes of $n$, and $\Omega$, the total number primes of $n$, are members of $F_0$. As an application of the exponential sum result, we use the Hardy-Littlewood circle method to find the asymptotics of the Goldbach-Vinogradov ternary problem associated to $\Omega$, namely we show the behavior of $r_\Omega(N) = \sum_{n_1+n_2+n_3=N}\Omega(n_1)\Omega(n_2)\Omega(n_3)$, as $N \to \infty$. Lastly, we end with a discussion of further applications of the main result.

Notes on certain binomial harmonic sums of Sun's type
math.NT
hep-th
math.CA
v2


Yajun Zhou

We prove and generalize some recent conjectures of Z.-W. Sun on infinite series whose summands involve products of harmonic numbers and several binomial coefficients. We evaluate various classes of infinite sums in closed form by interpreting them as automorphic objects on the moduli spaces for Legendre curves $Y^{ g+1}=(1-X)^{ g}X(1-t X)$ of positive genera $ g\in\{1,2,3,5\}$.

Functional equations of axiomatic multiple Dirichlet series, Weyl groupoids, and quantum algebra
math.NT
v2


Will Sawin, Ian Whitehead

We prove functional equations for multiple Dirichlet series defined by a collection of five geometric axioms. We find functional equations of two types: one modeled on the functional equations of Dirichlet $L$-functions, and another modeled on the functional equations of Kubota $L$-series with Gauss sums as coefficients. These functional equations generate groupoid structures, which we relate to the Weyl groupoids of arithmetic root systems. From the known classification of arithmetic root systems, we obtain a complete classification of multiple Dirichlet series which can be used to compute moments of $L$-functions via established analytic techniques. Our classification includes all moments of $L$-functions which have appeared in the multiple Dirichlet series literature previously, alongside some new moments. Finally, we give applications of our functional equations to quantum algebra, specifically the cohomology of Nichols algebras.

A note on Poisson summation for GL(2)
math.NT
math.RT
v2


Tian An Wong

Using analytic number theory techniques, Altu\u{g} showed that the contribution of the trivial representation to the Arthur-Selberg trace formula for GL(2) over $\Q$ could be cancelled by applying a modified Poisson summation formula to the regular elliptic contribution. Drawing on recent works, we re-examine these methods from an adelic perspective.

Elliptic curves and Fourier coefficients of meromorphic modular forms
math.NT
v2


Pengcheng Zhang

We discuss several congruences satisfied by the coefficients of meromorphic modular forms, or equivalently, the $p$-adic behaviors of meromorphic modular forms under the $U_p$ operator, that are summarized from numerical experiments. In the generic case, we observe the connection to symmetric powers of elliptic curves, while in the CM case, we furthermore observe the connection to the $p$-adic analogue of the Chowla--Selberg periods. Along with the discussions, we will provide some heuristic explanations for these congruences as well as prove some of them using hypergeometric functions and the Borcherds--Shimura lift.

Ekedahl-Oort types of $\mathbb{Z}/2\mathbb{Z}$-covers in characteristic $2$
math.NT
math.AG
v2


Jeremy Booher, Steven R. Groen, Joe Kramer-Miller

In this article we study the Ekedahl-Oort types of $\mathbb{Z}/2\mathbb{Z}$-Galois covers $\pi:Y \to X$ in characteristic two. When the base curve $X$ is ordinary, we show that the Ekedahl-Oort type of $Y$ is completely determined by the genus of $X$ and the ramification of $\pi$. For a general base curve $X$, we prove bounds on the Ekedahl-Oort depending on the Ekedahl-Oort type of $X$ and the ramification of $\pi$. Along the way, we develop a theory of \emph{enhanced differentials of the second kind}. This theory allows us to study algebraic de Rham cohomology in any characteristic by working directly with differentials, in contrast to the standard \v{C}ech resolution.

On the Sidon tails of $\left\{\lfloor x^n\rfloor\right\}$
math.NT
math.CO
math.GN
v2


Sayan Dutta

We prove that the tail of the sets $$\mathbf S_x := \big\{\left\lfloor x^n\right\rfloor : n\in \mathbb N\big\}$$ are Sidon for almost all $x\in (1,2)$. Then we prove that for all $\varepsilon>0$, there exists $x\in (1,\, 1+\varepsilon)$ and $r\in (2-\varepsilon,\, 2)$ such that $\mathbf S_x$ and $\mathbf S_r$ do not have a Sidon tail.

Collision of Orbits on an Elliptic Surface
math.NT
v2


Dragos Ghioca, Negin Shadgar

Let $C$ be a smooth projective curve defined over $\Qbar$, let $\pi:\mathcal{E}\lra C$ be an elliptic surface and let $\sigma_{P_1},\sigma_{P_2},\sigma_{Q}$ be sections of $\pi$ (corresponding to points $P_1,P_2, Q$ of the generic fiber $E$ of $\mathcal{E}$). We obtain a precise characterization, expressed solely in terms of the dynamical relations between the points $P_1,P_2,Q$ with respect to the endomorphism ring of $E$, so that there exist infinitely many $\l\in C(\Qbar)$ with the property that for some nonzero integers $m_{1,\l},m_{2,\l}$, we have that $[m_{i,\l}](\sigma_{{P_{i}}}(\l))=\sigma_{Q}(\l)$ (for $i=1,2$) on the smooth fiber $E_\l$ of $\mathcal{E}$.

Inequalities and asymptotics for hook numbers in restricted partitions
math.CO
math.NT
v2


William Craig, Madeline Locus Dawsey, Guo-Niu Han

In this paper, we consider the asymptotic properties of hook numbers of partitions in restricted classes. More specifically, we compare the frequency with which partitions into odd parts and partitions into distinct parts have hook numbers equal to $h \geq 1$ by deriving an asymptotic formula for the total number of hooks equal to $h$ that appear among partitions into odd and distinct parts, respectively. We use these asymptotic formulas to prove a recent conjecture of the first author and collaborators that for $h \geq 2$ and $n \gg 0$, partitions into odd parts have, on average, more hooks equal to $h$ than do partitions into distinct parts. We also use our asymptotics to prove certain probabilistic statements about how hooks distribute in the rows of partitions.

Note on a certain category of mod $p$ representations
math.RT
math.NT
v2


Reinier Sorgdrager

Let $p>3$ be a prime number, $f\geq1$ an integer. We consider a certain full subcategory $\mathcal C$ of the category of smooth admissible mod $p$ representations of either $\text{GL}_2\mathbf Q_{p^f}$ or of the group of units of the quaternion algebra over $\mathbf Q_{p^f}$. This category was introduced in the context of the mod $p$ Langlands program by Breuil-Herzig-Hu-Morra-Schraen in the $\text{GL}_2$-case and by Hu-Wang in the quaternion case. We prove that whether a smooth admissible mod $p$ representation $\pi$ (with central character) belongs to $\mathcal C$ is completely determined by the restriction of $\pi$ to an arbitrarily small open subgroup.

The Hydra Map and Numen Formalisms for Collatz-Type Problems
math.DS
math.NT
v3


Maxwell C. Siegel

This paper details a generalization of the formalism presented in the author's 2024 paper, "The Collatz Conjecture and Non-Archimedean Spectral Theory - Part I - Arithmetic Dynamical Systems and Non-Archimedean Value Distribution Theory", to the case of Hydra maps on the ring of integers $\mathcal{O}_{K}$ of a global field $K$. In addition to recounting these definitions, background material is presented for the necessary standard material in algebraic number theory and integration and Fourier analysis with respect to the $p$-adic Haar measure. This paper is meant to serve as a technical manual for use of Hydra maps and numens in future research.