Number Theory [math.NT]

Beyond the Riemann Hypothesis bounds: A pair-correlation approach to the least prime in arithmetic progression and the smallest quadratic non-residue

math.NT

The Generalized Riemann Hypothesis (GRH) has long defined the expected bounds for the smallest prime in an arithmetic progression and the least quadratic non-residue. However, this hypothesis primarily addresses the horizontal location of non-trivial zeros. In this paper, we show that incorporating the vertical spacing--or pair-correlation--of these zeros allows us to surpass these classical bounds. By combining these two zero-distribution perspectives, we establish sharper estimates for both problems under GRH and specific pair-correlation hypotheses, thereby providing a new link between pair-correlation phenomena for Dirichlet L-functions and these two classical problems.

The Spine: A Supersingular Highway

math.NT

We consider the structure of the spine of the supersingular $\ell$-isogeny graph for one of the cases which arXiv:2502.03613 was not able to fully describe, $\ell = 2$ and $p = 71, 119\pmod{120}$. We find the distance, eccentricity, and diameter functions, of the components of the spine without the non-trivial edge not defined over $\mathbb{F}_p$. Using these functions, we find the mean diameter of the spine and show how this value distinguishes the different structures of the spine. Thus, allowing us to use explicit computations to provide heuristics on the behavior of the spine's structure as $p$ varies.

The First Moment of Dirichlet L-functions over Generators of the Character Group

math.NT

We evaluate the average of the central values $L(1/2,\chi)$ over the generators of the group of Dirichlet characters modulo $q$, as $q\to\infty$ through the primes.

Minimal degree of an isogeny between a supersingular elliptic curve and its conjugate

math.NT

Let $E$ be a supersingular elliptic curve defined over $\bar{\mathbb{F}}_p$ and $E^{(p)}$ be its conjugate. We give a bound on the minimal degree of an isogeny from $E$ to $E^{(p)}$ depending on $p$, and show that this bound is both asymptotically optimal as well as sharp in many cases. This bound is obtained by developing a new technique to compute the degree of certain isogenies from a supersingular elliptic curve to its conjugate, and we present extensive computations of the successive minima of the lattice containing these isogenies. Following this, we give several conjectures supported by the data we have obtained, including some on the set of primes $p$ for which the bound we give in this article is attained.

Multiple Clausen values and deformed Ap\'ery-like series

math.NT

hep-th

math.CO

With generalized central binomial coefficients $ \binom{2x}{x}:=\frac{\Gamma(2x+1)}{[\Gamma(x+1)]^2}$ defined through Euler's gamma function, we represent deformed Ap\'ery-like series \[ \mathscr A_{s,n}:=\sum_{k=1}^\infty\left.\!\frac{\partial^n}{\partial x^n}\frac{1}{x^s\binom{2x}{x}}\right|_{x=k} \] by multiple Clausen values (MCVs), which belong to a special class of cyclotomic multiple zeta values (CMZVs) at level $3$. For example, exploiting provable algebraic relations among MCVs, we show that \[\mathscr A_{1,5}=-\frac{9[495L(\chi_{-3},6)-30\pi^{2}L(\chi_{-3},4)-2\pi^{4}L(\chi_{-3},2)]}{4}\]and\[\mathscr A_{4,4}=\frac{352\zeta_{5,3}}{15}+\frac{752537\pi^{8}}{10206000},\]where $ L(\chi_{-3},s):=\sum_{n=0}^\infty\left[(3n+1)^{-s}-(3n+2)^{-s}\right]$ and $ \zeta_{5,3}:=\sum_{m=1}^\infty\sum_{n=1}^{m-1}m^{-5}n^{-3}$.

Equidistribution and the torsor method

math.NT

math.AG

We prove equidistribution and Manin's conjecture for rational points outside the lines on smooth split quintic del Pezzo surfaces over number fields with respect to any anticanonical height. The proof is based on a general theorem that is broadly usable to deduce equidistribution when using the torsor method with several equivalent height functions to treat variants of Manin's problem.

On the Log-Concavity of the D'Arcais Polynomials for Normalised Functions

math.NT

A sequence $(a_n)_{n \in \mathbb{N}}$ of non-negative real numbers is called log-concave at $n$ if $a_n^2 \geq a_{n+1}a_{n-1}$. This property has been generalised in various ways to families of polynomials. We introduce a new variant and show that certain types of D'Arcais polynomials have the respective properties at certain points.

Double $L$-values of Negative Weight Admitting Series Representations

math.NT

In this paper, we construct double $L$-values of negative weight that admit series representations. In our construction, we use the Thue-Morse sequence, which appears in combinatorics on words and automatic sequences.

On a character-twisted analogue of Sch\"{a}ffer's equation

math.NT

Let $f$ be a positive integer, and let $\chi$ be a primitive quadratic character of conductor $f$. Let $k$ be a positive integer, and write $B_k(\chi,X)$ for the $k$-th Bernoulli polynomial corresponding to $\chi$. Suppose $B_k(\chi,X)$ is irreducible and of degree at least $2$. Then for 100% of positive integers $m$ divisible by $f$, the Diophantine equation \[ \chi(1) \cdot (x+1)^k+\chi(2) \cdot (x+2)^k+\cdots+\chi(m) \cdot (x+m)^k \, =\, y^n, \] has no solutions with $x$, $y$, $n$ integers, and $n \ge 2$.

A Bombieri-Vinogradov theorem for exponential sums over products of k primes

math.NT

We prove a Bombieri-Vinogradov type theorem for exponential sums over products of $k$ primes. As an application, we show the lower bound $$\sup_{n\le x} \left|\sum_{m\le n} 1_{\Omega(m) = k} e(\alpha m)\right| \gg x^{1/6 - \varepsilon}$$ for $2\le k\le (2-\varepsilon)\log\log x$ and $\alpha\in\mathbb{R},$ where we noted $e(\beta) := e^{2i\pi\beta}.$

Formality for rigid-analytic spaces satisfying the weight-monodromy conjecture

math.AG

math.NT

We prove that \'etale and de Rham cohomology algebras of a smooth proper rigid-analytic space over a finite extension of $\mathbf{Q}_p$ are formal if the rigid-analytic space satisfies the weight-monodromy conjecture. We give examples of smooth proper rigid-analytic surfaces whose cohomology algebras are not formal.

Aperiodic tile sets from Sturmian lattices

math.CO

math.DS

math.NT

We give an explicit algorithm to construct aperiodic tile sets based on Sturmian words of quadratic slopes. The method works for any quadratic irrational slope, and we can produce an aperiodic tile set whose underlying scaling constant is a unit of any real quadratic field. There are two key ingredients in our construction. The first one is the ``Sturmian lattices'', an interesting grid structure generated by Sturmian words that emerged in an aperiodic monotile called Smith Turtle. The second is the bounded displacement equivalence of Delone sets, which plays a central role in this construction. A classification of Sturmian lattices and complete proofs are given in the full version.

Several families of incommensurable noncompact hyperbolic Coxeter polytopes

math.GT

math.GR

math.NT

We classify all 141 finite-volume hyperbolic Coxeter five-dimensional polytopes with eight facets, of which 125 are noncompact. Using maximal-cusp density and a noncompact analog of Bogachev-Douba-Raimbault's argument, we construct infinitely many pairwise incommensurable noncompact Coxeter polytopes in dimensions 4, 5, 6, 7, and 9, with the number of commensurability classes growing at least exponentially in volume.

Aperiodicity and subword complexity in the binary expansion of powers of three

math.CO

math.NT

We prove two results on the fine structure of the binary digits of $3^{m}$. First, for every fixed period $p$, the number of positions at which the binary expansion of $3^{m}$ breaks $p$-periodicity grows in order like $\log m/\log\log m$; equivalently, no window of the expansion deeper than a fixed power of $\log m$ is $p$-periodic. Second, the finite binary word formed by the low-order digits of $3^{m}$ has full low-order subword complexity: its complexity function satisfies $\pcx_{3^{m}}(n)\ge n+1$ for every length $n$, once $m$ is large enough.

Asymptotic Brill-Noether Existence at the Half-Canonical Degree: Energy Pairing, Cheeger Inequality and Covering Radii

math.CO

math.AG

math.MG

math.NT

We study asymptotic versions of the Brill-Noether existence conjecture on graphs via techniques inspired by the geometry of numbers. We confirm an asymptotic version of the conjecture at (and near) the half-canonical degree in several well-connected families of graphs. They include expander graphs of even valence, almost-Ramanujan graphs of a fixed valence at least five and certain random graphs. In particular, for any fixed $k \geq 5$, almost all simple, connected, $k$-regular graphs satisfy the Brill-Noether existence conjecture at the half-canonical degree up to a constant factor. The key tool is a Cheeger-style inequality for the covering radius of a certain periodic set with respect to the energy quadratic form associated with the graph. As an application, we lower bound the diameter of graphs associated with certain dynamical systems called reversal systems. We conclude with a suggestion to tackle the asymptotic version of the conjecture, in general, i.e. beyond half-canonical degrees.

On the irreducibility of $p$-adic Banach principal series of $p$-adic reductive groups

math.NT

math.RT

v4

Suppose that $G$ is the group of $F$-points of a connected reductive group over $F$, where $F/\mathbb{Q}_p$ is a finite extension. We study the (topological) irreducibility of principal series of $G$ on $p$-adic Banach spaces. For unitary inducing representations we obtain an optimal irreducibility criterion, and for $G = \mathrm{GL}_n(F)$ (as well as for arbitrary split groups under slightly stronger conditions) we obtain a variant of Schneider's conjecture [Sch06, Conjecture 2.5]. In general we reduce the irreducibility problem to smooth inducing representations and almost simple simply-connected $G$. Our methods include locally analytic representation theory, the bifunctor of Orlik--Strauch, translation functors, as well as new results on reducibility points of smooth parabolic inductions.

On the irreducibility of $p$-adic Banach principal series of $p$-adic $\mathrm{GL}_3$

math.NT

math.RT

v3

We establish an optimal (topological) irreducibility criterion for $p$-adic Banach principal series of $\mathrm{GL}_{n}(F)$, where $F/\mathbb{Q}_p$ is finite and $n \le 3$. This is new for $n = 3$ as well as for $n = 2$, $F \ne \mathbb{Q}_p$ and establishes a refined version of Schneider's conjecture [Sch06, Conjecture 2.5] for these groups.

On the constituents of the mod $p$ cohomology of Shimura curves

math.NT

math.RT

v2

Let $p$ be a prime number and $K$ a finite unramified extension of $\mathbb{Q}_p$. When $p$ is large enough with respect to $[K:\mathbb{Q}_p]$ and under mild genericity assumptions, we proved in our previous work that the admissible smooth representations $\pi$ of $\mathrm{GL}_2(K)$ that occur in Hecke eigenspaces of the mod $p$ cohomology are of finite length. In this paper we obtain various refined results about the structure of subquotients of $\pi$, such as their Iwahori-socle filtrations and $K_1$-invariants, where $K_1$ is the principal congruence subgroup of $\mathrm{GL}_2(\mathcal{O}_K)$. We also determine the Hilbert series of $\pi$ as Iwahori-representation under these conditions.

The Gross-Zagier formula on singular moduli for Shimura curves

math.NT

math.AG

v2

The Gross-Zagier formula on singular moduli can be seen as a calculation of the intersection multiplicity of two CM divisors on the integral model of a modular curve. We prove a generalization of this result to a Shimura curve.

A note on exact approximations

math.NT

v4

Based on M. Hall's theorem we prove a simple result dealing with real numbers which admit exact approximations by rationals.

Algorithmic aspects of Newman polynomials and their divisors

math.NT

v3

We study the problem of determining which integer polynomials divide Newman polynomials. In this vein, we first give results concerning the $8438$ known polynomials with Mahler measure less than $1.3$. We then exhibit a list of polynomials that divide no Newman polynomial. In particular, we show that a degree-10 polynomial of Mahler measure \text{approximately} 1.419404632 divides no Newman polynomial, thereby improving the best known upper bound for any universal constant $\sigma$, if it exists, such that every integer polynomial of Mahler measure less than $\sigma$ divides a Newman polynomial. Finally, letting $l(x)$ denote Lehmer's polynomial, we explicitly construct Newman polynomials divisible by $l(x)^2$ with degrees up to $150$, and show that no Newman polynomial is divisible by $l(x)^3$ up to degree $160$.

Theta correspondence and the Borisov-Gunnells relations

math.NT

v3

We consider a geometric theta correspondence from the first homology of a modular curve, to modular forms of weight $2$. Using Stevens' description of the homology, we find that this map sends modular symbols to product of weight one Eisenstein series, modular caps to weight $2$ Eisenstein series, and hyperbolic cycles to diagonal restrictions of Hilbert-Eisenstein series. We use it to revisit work of Borisov and Gunnells, and explain its connection to a theorem of Li. In particular, we give a geometric proof of certain relations between Eisenstein series.

The Mantovanelli-Hofstadter Sequence

math.NT

v2

We study the perturbed Hofstadter recurrence introduced by Mantovanelli, $\widetilde{Q}(n)=\widetilde{Q}(n-\widetilde{Q}(n-1))+\widetilde{Q}(n-\widetilde{Q}(n-2))+(-1)^n$, with $\widetilde{Q}(1)=\widetilde{Q}(2)=1$. We prove that this recurrence is well-defined for every positive integer and that $\lim_{n\to\infty}\widetilde{Q}(n)/n=1/2$. We establish the optimal order $\widetilde{Q}(n)=n/2+O(n/\sqrt{\log n})$ and give explicit positive lower and upper bounds for the corresponding normalized limsup. The proof is primarily combinatorial. An odd-even split turns the recurrence into two exact interleavings of binary words, and the resulting Dyck paths define plane forests. Catalan numbers also arise in the enumeration.

A trace formula derivation of the functional equation for symmetric square L-functions

math.NT

v2

This paper revisits the functional equation of the symmetric-square $L$-function from the perspective of trace formulas. We show that, for level-one holomorphic cusp forms and even Hecke--Maass cusp forms, this symmetry can be recovered directly from the Petersson and Kuznetsov trace formulas. Although the functional equation itself is classical, our aim is to provide a concrete and transparent example of how the analytic structure of an $L$-function can emerge from a comparison of the spectral and geometric sides of a trace formula. The argument leads to an averaged reciprocity identity and treats the holomorphic and Maass settings within the same general framework. In this way, the paper offers a simple model for extending trace-formula methods beyond standard $L$-functions.

Positive dyadic density for rational weighted binary expansions

math.NT

v2

Let $S\subseteq\mathbb N$ be infinite and consider the weighted binary expansion $\eta_S=\sum_{n\in S}n2^{-n}$. We prove that, if $\eta_S$ is rational, then $S$ occupies a positive proportion of every sufficiently large dyadic block. The proportion depends only on the reduced denominator of $\eta_S$. This blockwise statement is stronger than the density obstruction required for Erd\H{o}s Problem~260 and implies that problem as a corollary. Rationality turns the binary tails into nonnegative integral carries satisfying a linear bound. If a dyadic block were sparse, overlapping gap windows would produce a positive integrated excess over a range of thresholds. Frequently repeated long prefixes of these windows align their carry states on affine lines. We count the resulting occurrences according to whether the line slope, after normalization by the rational denominator, stays inside $(0,1)$ or leaves $[0,1]$. Odd denominators and separation of reduced fractions control the first regime. In the second, the distance from $[0,1]$ grows exponentially while the original integer parameterization is retained. An exact partition of the window--threshold pairs places both estimates on the same weighted quantity and yields a contradiction. The result identifies a local density obstruction to rationality for weighted binary expansions.

Sharp Upper Bounds for Moments of Dedekind Zeta Functions

math.NT

v2

Assuming the Generalised Riemann Hypothesis, we establish conjecturally sharp upper bounds for shifted moments of products of Dedekind zeta functions of arbitrary number fields. This improves and extends earlier bounds obtained by Milinovich and Turnage--Butterbaugh, and Hagen. As applications, we obtain improved bounds for the variance of the coefficients and upper bounds for the large deviations of Dedekind zeta functions. Our results apply for both Galois and non-Galois extensions.

A new kind of numbers and related congruences

math.NT

math.CO

v2

For integers $l>0$ and $m\geqslant0$, we introduce the numbers $$S_l^{(m)}(n)=\sum_{k_1,\ldots,k_l\in\mathbb N\atop k_1+\cdots+k_l=n}\binom n{k_1,\ldots,k_l}^m\ \ (n=0,1,2,\ldots),$$ and prove that for any prime $p$ not dividing $l+1$ we have the congruence $$\sum_{n=1}^{p-1}\frac{(-1)^{mn}}{n^{m-1}}S_l^{(m)}(n)\equiv0\pmod p.$$ For the Domb numbers given by $$D(n)=\sum_{k=0}^n\binom nk^2\binom{2k}k\binom{2(n-k)}{n-k}=S_4^{(2)}(n)\ (n=0,1,2,\ldots),$$ we confirm a previous conjecture which states that $$\sum_{n=1}^{p-1}\frac{D(n)}n\equiv\left(\frac p3\right)\frac 25pB_{p-2}\left(\frac13\right)\pmod{p^2}$$ for any prime $p$, where $(\frac p3)$ is the Legendre symbol, and $B_{p-2}(x)$ is the Bernoulli polynomial of degree $p-2$.

On lower bounds for canonical heights of the map $\phi(X,Y)=(Y,X+Y^D+b)$

math.NT

v2

We give a lower bound for the canonical height associated to H\'enon maps $\phi(X,Y)=(Y,X+Y^D+B)$ of non-periodic points when $D>2$ in the spirit of conjectures of Lang and Silverman. This is followed by an application and extends previous work for $D=2$ by Ingram.

On Arthur's unitarity conjecture for split real groups

math.RT

math.NT

v3

Arthur's conjectures predict the existence of some very interesting unitary representations occurring in spaces of automorphic forms. We prove the unitarity of the "Langlands element" (i.e., the one specified by Arthur) of all unipotent Arthur packets for split real groups. The proof uses Eisenstein series, Langlands' constant term formula and square integrability criterion, analytic properties of intertwining operators, and some mild arithmetic input from the theory of Dirichlet L-functions, to reduce to a more combinatorial problem about intertwining operators. This updated arXiv posting also includes some comments (in blue) concerning statements about normalized intertwining operators we quoted from the literature in Section 9.

Localization of strings on group manifolds

hep-th

math.NT

math.RT

v3

We compute the partition function of the WZW model with target a compact Lie group $G$ by adapting a method used by Choi and Takhtajan to compute the heat kernel of the group manifold. The basic idea is to compute the partition function of a supersymmetric version of the WZW model using a form of supersymmetric localization and then use the fact that, since the fermions of the supersymmetric WZW model are actually decoupled from the bosons, this also determines the partition function of the purely bosonic WZW model. The result is a formula for the partition function as a sum over contributions from abelian classical solutions. We verify for $G=SU(2)$ that this formula agrees with the result for the same partition function that comes from the Weyl-Kac character formula. We extend the method of supersymmetric localization to certain related models such as the $SL(2,\mathbb{R})$ WZW model and a Wick-rotated version of this model in which the target space is hyperbolic three-space $H_3^+$.

Possible Sizes of Sumsets

math.CO

math.NT

v3

Nathanson introduced the range of cardinalities of $h$-fold sumsets $R(h,k) := \{|hA|:A \subset \mathbb{Z} \text{ and }|A| = k\}.$ Following a remark of Erd\H{o}s and Szemer\'edi that determined the form of $R(h,k)$ when $h=2$, Nathanson asked what the form of $R(h,k)$ is for arbitrary $h, k \in \mathbb{N}$. For $h \in \mathbb{N}$, we prove there is some constant $k_h \in \mathbb{N}$ such that if $k > k_h$, then $R(h,k)$ is the entire interval $\left[hk-h+1,\binom{h+k-1}{h}\right]$ except for a specified set of $\binom{h-1}{2}$ numbers. Moreover, we show that one can take $k_3 = 2$.

Holes in Valid-Extension Sets of Finite Gilbreath Sequences

math.CO

math.NT

v2

Given a finite sequence of integers, form its difference triangle by repeatedly taking absolute differences of consecutive entries. We call the sequence Gilbreath if the leftmost entry of every row below the top is 1. The Gilbreath conjecture, which remains open, asserts that every initial segment of the primes is a Gilbreath sequence. This paper studies the local extension problem: given a Gilbreath sequence, which integers can be appended to it while preserving the Gilbreath property? We call the set of such admissible values the valid-extension set of the sequence. A previously proposed characterization in the literature predicts that this set always fills a natural parity interval around the last term. We show that this fails in general: the valid-extension set can have interior holes, with the smallest failure occurring at length 5 for the sequence (2,3,5,9,15). The paper develops a corrected theory of valid extensions. We give an exact criterion for membership in the valid-extension set, an algorithm that computes it, and a sharp condition determining exactly when the set fills the candidate interval. This last condition is an order-sensitive analogue of the classical Brown completeness criterion for subset sums. We also establish endpoint validity and reflection symmetry, determine the exact minimum size of the valid-extension set together with its unique minimizer, exhibit a family whose valid-extension set has exponentially many components, and provide enumeration data through length 11.

Some quadratically closed fields of nimbers

math.LO

math.NT

v2

In 1976, J. H. Conway introduced Nim arithmetic which establishes an algebraically closed field structure over the class of ordinals and proved that the first transcendental ordinal is $\omega^{\omega^\omega}$. The problem of finding the next transcendental ordinal is still open. Two years later, H. Lenstra proved that $\varepsilon_0$ is the next quadratically closed field ordinal. In this paper, we prove that $\{\varepsilon_\alpha \mid \alpha \leq \omega^{\omega^\omega} \}$ are the next quadratically closed field ordinals.

Small Matrices with Large Inverses: Unimodular $4 \times 4$ Cases

math.CO

cs.DM

math.NT

v2

How close to singularity can an $n \times n$ unimodular matrix be? For ternary cases as $n$ increases, exact expressions are unlikely, but upon fixing $n=4$ and assessing $(2k+1)$-ary cases as $k$ increases, we make significant progress; similarly for $(k+1)$-ary cases of $4\times 4$ nonnegative unimodular matrices.

A dual linear programming bound for sphere packing in dimension 36

math.MG

math.NT

v2

We construct an explicit dual-feasible point for the Cohn--Elkies linear program in dimension $36$, built from the space of weight-$18$ modular forms for $\Gamma_0(24)$ following the method of Cohn and Triantafillou. The certificate shows that the two-point linear programming bound on the sphere packing density in dimension $36$ exceeds the density of the best packing currently known -- the Kschischang--Pasupathy packing, of center density $2^{18}/3^{10}$ -- by a factor of at least $32.91$. In particular, no Cohn--Elkies auxiliary function can certify the best known packing in dimension $36$ as optimal. To our knowledge this is the first such dual bound in any dimension above $32$, extending the table of Cohn--Triantafillou ($d=12,16,20,28,32$), Li ($3\le d\le 13$), and de~Courcy-Ireland--Dostert--Viazovska ($d=6$). The certificate is rigorous and machine-checkable, with exact rational data and certified interval bounds: the dual point is a rational vector, coefficient nonnegativity is verified by exact arithmetic up to $n=800$, and eventual positivity of the two relevant $q$-expansions is proved via an explicit Deligne-type tail bound whose constant is certified with outward-rounded interval arithmetic. Two methodological points may be of independent interest: a constraint-generation (cutting-plane) formulation of the exact rational LP, which is what makes an exact vertex whose Eisenstein data supports the tail argument reachable; and a sharpened, lift-aware form of the Deligne bookkeeping constant that discounts deep oldform lifts, without which the finite verification in dimension $36$ fails (the crossover moves past the verified window).