Number Theory [math.NT]

Asymptotic counting of integers with prime factors $p_{r^a s^b}$
math.NT


Mehdi Golafshan

Let $p_n$ be the $n$th prime, and let $r,s\ge2$ be fixed multiplicatively independent integers. We count the integers up to $x$ whose prime factors all have the form $p_{r^a s^b}$ with integers $a,b\ge0$. Our asymptotic formula for this count has relative error $o(1)$ and is explicit down to the multiplicative constant. For $(r,s)=(2,3)$ these integers are the prime codes of the ordinals below $\omega^{\omega^2}$, so the formula settles that case of the counting problem of Vernaeve, Vindas and Weiermann.

Endoscopic description of the local Langlands correspondence for $\mathrm{G}_2$
math.NT
math.RT


Yugo Takanashi

We prove that the $L$-packets for $p$-adic $\mathrm{G}_2$ constructed by Gan and Savin satisfy the endoscopic character identities. In the course of the proof, we also prove twisted endoscopic character identities for functorial lifts from $\mathrm{G}_2$ to $\mathrm{PGSO}_8$ with triality. As a byproduct, we also prove a global multiplicity formula for the discrete automorphic spectrum of $\mathrm{G}_2$ coming from the cuspidal automorphic spectrum of $\mathrm{PGL}_3$.

A uniform proof approach for congruences modulo 3 for partitions with $k$-colored odd parts
math.NT
math.CO


Marie Jameson, James A. Sellers

In recent work, Hirschhorn and the second author defined $a_k(n)$ to be the number of partitions of $n$ wherein the even parts come in only one color, while the odd parts may be ``colored'' with one of $k$ colors for fixed $k\geq 1$. This function generalizes the classical partition function and has been of significant interest because it satisfies a number of congruences. Although prior work studying $a_k(n)$ has resulted in congruences in arithmetic progressions in a somewhat ad hoc manner, this work gives a uniform framework for studying congruences modulo 3. This allows us to prove an infinite family of infinite families of non-nested congruences modulo 3.

A new family of maximal curves not covered by the Hermitian curve
math.NT


Liming Ma, Yipeng Wang

For every prime power $q>2$ and every even integer $n\ge4$, we construct an $\mathbb{F}_{q^{2n}}$-maximal curve of genus $(q^2-1)q^n/2$ that is not covered by the Hermitian curve over $\mathbb{F}_{q^{2n}}$. The defining equation also gives a Kummer model for the Beelen--Montanucci curves when $n\ge3$ is odd. We compute the genus for both odd and even $n$ and give a uniform proof of maximality by counting rational places. For $q>2$ and odd $n\ge5$, we also prove that the Beelen--Montanucci curves are not covered by the Hermitian curve, extending the known result for Galois coverings. For every prime power $q$ and $n\ge4$, we also give an explicit automorphism subgroup of order $(q^n+1)q(q^2-1)$.

Simultaneous nonvanishing of quadratic twists via Rankin-Cohen brackets
math.NT


Ramin Takloo-Bighash

Let $D$ be an odd fundamental discriminant, with $D=1$ permitted, and let $r\geq 1$ be fixed. We prove that, for every sufficiently large integer $\ell$ satisfying $(-1)^\ell D>0$, the first $r$ traced diagonal Rankin--Cohen brackets \[ \mathrm{Tr}_1^{|D|}[G_{\ell-2e,D},G_{\ell-2e,D}]_{2e}, \qquad 1\leq e\leq r, \] are linearly independent in $S_{2\ell}(SL_2(\mathbb Z))$. Here $G_{k,D}$ is the Eisenstein series of weight $k$, level $|D|$, and nebentypus $\chi_D$. The Petersson formula of Kayath, Lane, Neifeld, Ni, and Xue then implies that at least $r$ normalized Hecke eigenforms $f\in S_{2\ell}(SL_2(\mathbb Z))$ satisfy $L(f\otimes\chi_D,\ell)\neq 0$. For $D=1$, this gives, for every fixed $r$ and every sufficiently large $K\equiv 0\pmod 4$, at least $r$ level-one eigenforms of weight $K$ with nonzero central value.

Finite subgroups of outer automorphism groups of the absolute Galois groups of mixed-characteristic local fields
math.NT


Yu Nishio

In the present paper, we study finite subgroups of the outer automorphism groups of the absolute Galois groups of mixed-characteristic local fields from the point of view of mono-anabelian geometry. We shall refer to a finite subgroup of the outer automorphism group of the absolute Galois group of a mixed-characteristic local field as quasi-geometric if its inverse image in the automorphism group of the corresponding absolute Galois group is isomorphic to the absolute Galois group of some mixed-characteristic local field. It is well-known that the image of the natural injective homomorphism from the automorphism group of a mixed-characteristic local field to the outer automorphism group of the associated absolute Galois group yields a typical example of a quasi-geometric subgroup. The main result of the present paper asserts the existence of non-quasi-geometric finite subgroups of the outer automorphism groups of the absolute Galois groups of mixed-characteristic local fields. This result shows that the set of quasi-geometric subgroups of the outer automorphism group of the absolute Galois group of a mixed-characteristic local field cannot be characterized, in general, as the set of all finite subgroups of the outer automorphism group.

Norms of Schneider--Teitelbaum Polynomials in $p$-adic Fourier Theory
math.NT


Yu Katagiri

Let $F$ be the unramified quadratic extension of $\mathbb{Q}_p$, and let $P_n(T)$ denote the polynomials arising in the $p$-adic Fourier theory of Schneider and Teitelbaum. We determine explicitly the norms of the functions $P_n(x\Omega)$ on the Banach spaces of locally $F$-analytic functions of fixed order, where $\Omega$ is a Lubin--Tate period. Our computation is based on a recent valuation formula of Ardakov and Berger for the values $P_n(\Omega)$. As an application, we obtain an explicit normalization of the basis constructed by Bannai and Kobayashi, whose elements all have norm one.

Sampling and Moments of Reciprocal Quadratic Mellin Integrals
math.NT


K. Srinivasa Raghava

We study logarithmic Mellin integrals attached to a reciprocal quadratic rational function. When the rational kernel has algebraic coefficients, positive-integer samples of an entire deformation have a generating function which, after division by $\pi$, is algebraic for every $a\in\mathbb Q$ with $0<\vert{}a\vert{}<1$. For the principal half-weight example we determine the minimal quartic, complete finite branch locus, minimal differential equation, polynomial recurrence, and coefficient asymptotics. Throughout the saddle region $c>1$, $-2\sqrt c<0$, positive hyperbolic formulas for real $0<1$ give determinate Hausdorff moment sequences, strict total positivity, and monotone quotient limits. For real $\vert{}a\vert{}<1$, a general coefficient asymptotic in the same region shows that one maximum controls both the sampling radius and the high logarithmic moments. On the fixed-critical locus, two-term diagonal asymptotics give a normalized product tending to $\pi$; division by the displayed correction $1+\gamma/M$ gives an $O(M^{-2})$ approximation.

On a question of Ruzsa about densities of sumsets
math.NT


Paolo Leonetti

Let $\mathsf{d}$, $\mathsf{d}^{\ast}$, and $\mathsf{d}_{\ast}$ denote, respectively, the asymptotic density, the upper asymptotic density, and the lower asymptotic density on $\mathbb N$. We show that there are no constants $0<\nu<1$ and $c>0$ such that $$ \mathsf{d}_{\ast}(A+A)\ge c\bigl(\mathsf{d}^{\ast}(A+A)\bigr)^{1-\nu}\mathsf{d}(A)^{\nu} $$ for every set $A\subseteq \mathbb{N}$ which admits asymptotic density. This answers in the negative a question of I.Z. Ruzsa.

A characterization of Sophie Germain primes - II
math.NT


Paolo Leonetti

Let $n\ge 4$ be an even integer. We show that $\{1^{\sigma(1)},2^{\sigma(2)},\ldots,n^{\sigma(n)}\}$ is a complete residue system modulo $n$ for some permutation $\sigma$ of $\{1,2,\ldots,n\}$ if and only if $p:=n/2$ is prime and $p-1$ is squarefree. This complements the results in [Int. J. Number Theory \textbf{14} (2018), 653--660], where an analogue characterization has been proved for odd integers.

The Three Gates: A Rooted-Operator Approach to Weil Positivity
math.NT


Marco Desogus

We present a localized rooted-operator argument for Weil positivity in the real odd logarithmic channel, retaining the polar rank-one term throughout. Gate I establishes a strict cellular/shell sign theorem with rigorous interval-arithmetic bounds. Gate II combines the Mellin unit-cell decomposition, divisor partial-isometry squares, affine translations, full-form Cauchy--Carleman transport, coherent multi-source shorting, the augmented scalar root, and Schur geometry in the true metric. Gate III uses compression, closure, and the restricted odd Weil criterion. A central point in Gate II is to place the inherited parent response in the same post-old-core/common-cut primal form in which the arithmetic mismatch and folded scalar debit are charged. If $P^{\rm ex}_{k,m}$ is the surviving inherited pivot and $a_m$ the inherited coordinate of the Schur minimizer, then $P^{\rm ex}_{k,m}a_m=\omega^{\rm ex}_{k,m}$, so the inherited source-coupling contribution is the negative metric energy of that response. The aligned forcing is retained explicitly, and an outward-rounded finite computation together with the analytic tail gives $g^{M+}_k=\frac12+\log k-\frac{439}{250\log 2}\sum_m V_{k,m}-\frac52 W_k>0$ for $k\ge7$. The simultaneous common-cut theorem keeps the parent-ground and transverse budgets separate before the common infimum, while the fold identity leaves a non-negative remainder. Starting from the rigorously certified endpoint $Y=7$, Schur induction yields positivity at the integer endpoints, zero-extension gives non-negativity at every finite support radius, and closure together with the restricted odd Weil criterion yields the Riemann hypothesis. Short fantasy interludes provide only an expository map and may be omitted without changing any definition, lemma, theorem, or proof.

A problem of Yang and Chen on weighted representation functions
math.NT


Shuang-Shuang Li, Ya-Ting Xu, Xiao-Hui Yan

Let $\mathbb N$ denote the set of nonnegative integers. For an integer $k>1$ and a set $A\subseteq\mathbb N$, let $R_{1,k}(A,n)$ denote the number of solutions of $n=a_1+ka_2$ with $a_1,a_2\in A$. For integers $k>1$ and $t\ge1$, Yang and Chen defined $f_k(t)$ to be the number of sets $A\subseteq\mathbb N$ for which \[ R_{1,k}(A,n)=R_{1,k}(\mathbb N\setminus A,n) \] for all integers $n\ge t$, and asked whether $f_k(t)$ and $f_l(t)$ are eventually equal for any integers $k,l>1$. We prove that \[ f_k(t)\asymp_k \frac{2^t}{t^{k/2}}, \] which gives a negative answer to their problem.

Low moments of automorphic random multiplicative function sums
math.NT
math.PR


Sun-Kai Leung

We determine the order of the low moments of partial sums of random multiplicative functions associated with Euler products of bounded degree whose unitary local parameters satisfy a prime-square cancellation condition, thereby generalizing Harper's seminal work. The result applies to irreducible compact-group representations of unitary or symplectic type, including the higher-rank Sato--Tate model $SU(d)$ and the odd symmetric-power Sato--Tate model $\operatorname{Sym}^{m}SU(2)$.

Finding New Limit Points of Mahler Measure by Methods of Missing Data Restoration
math.NT


Jean-Marc Sac-Épée, Souad El Otmani, Armand Maul, Georges Rhin

It is well known that the set of Mahler measures of single variable polynomial has limit points of which a list established by D. Boyd and M. Mossinghoff has been extended through approaches based on genetic algorithms. In this paper, we wish to further extend the list of known limit points by adapting a method of missing data restoration.

Computational results on sums of a prime with squares or cubes
math.NT


Kenny Applegate, Kyle Pratt

One conjectures that all integers greater than 14 are the sum of an odd prime and two positive squares. We prove that all integers $n$ with $14<10^{26}$ can be represented in this manner. Along the way, we investigate sums of a prime and one square and then ``bootstrap'' to get our results on sums of a prime and two squares. We also show that all integers between $308$ and $10^{16}$ can be represented as the sum of an odd prime and two positive cubes. Our methods require the determination of the integral points on various elliptic curves.

Rogers--Ramanujan identities from the geometry of $X^a=Y^b$
math.NT
math.AG
math.CO
math.RT


Yifeng Huang, Kenny Lau, Ken Ono

We prove the conjecture of Huang, Jiang, and Oblomkov (HJO) giving a geometric extension of the Rogers--Ramanujan and Andrews--Gordon identities for every torus-knot singularity $X^a=Y^b$ with coprime $1

An ergodic approach to equations of the form $x+y=\lfloor\alpha(n)\rfloor$
math.NT
math.DS


Vitaly Bergelson, Hao Pan, Saúl Rodríguez Martín

Motivated by questions and results of Erd\H{o}s, S\'ark\"ozy and S\'os (1989), and Khalfalah and Szemer\'edi (2006), we introduce an ergodic approach to additive problems concerning solutions of equations of the form \[ x+y=\lfloor\alpha(n)\rfloor,\quad x,y\in A,n\in\mathbb{N} \] where $\alpha(t)$ is a sufficiently regular function, such as a polynomial or a logarithmico-exponential function of polynomial growth (e.g. $\alpha(t)=t^{5/2}+t^2\log t$), and $A$ is either a given set of positive upper density, or a cell of a prescribed finite partition of $\mathbb{N}$. We give a complete description of the Hardy field functions of polynomial growth for which these partition and density problems are always solvable. The ergodic approach also applies to the more general problem of finding $x\in A_1,y\in A_2$, where $A_1,A_2$ are two given sets of positive density. This in turn allows us to treat equations of the form $kx+ly=\lfloor\alpha(n)\rfloor$, where $k,l\in\mathbb{Z}$. Some of our results also hold true when $A$ is a subset of the primes with positive relative upper density.

Sumsets of Ahlfors--David regular sets
math.CO
math.CA
math.MG
math.NT


Fred Tyrrell

We prove that there is an absolute constant $c>0$ such that for every finite $(\alpha,M)$-Ahlfors--David regular set $A\subseteq[N]$ with $0\leq\alpha<1$ and $M\geq2$, we have the sumset estimate \[|A+A|\geq |A|^{1+c(1-\alpha)/\log M}.\] We also prove a corresponding statement for Ahlfors--David regular sets in $[0,1]$. The proof combines a multiscale entropy decomposition with inverse results from additive combinatorics, showing that Ahlfors--David regularity forces a definite entropy gain at each scale. The dependence $1/\log M$ in the exponent is of optimal order.

On the Hiraga-Ichino-Ikeda conjecture on formal degrees for $\mathrm{G_2}$
math.RT
math.NT


Yugo Takanashi

We prove that the twisted endoscopic character identities between triality $\mathrm{PGSO}_8$ and the endoscopic group $\mathrm{G}_2$ imply the Hiraga-Ichino-Ikeda conjecture on formal degrees for $\mathrm{G}_2$. In the course of proving the main result, we also establish some fundamental results on representation theory of $\mathrm{PGSO}_8$ with triality. A key feature of our approach is an application of the adjoint group of type $E_6$.

Infinite prime sumsets in structured and $U^k(\Phi)$-uniform sets
math.DS
math.CO
math.NT


Felipe Hernández, Tristán Radić

By introducing new ergodic-theoretic techniques in nilsystems, we determine which infinite sumset configurations occur in $U^k(\Phi)$-uniform and Nil-Bohr sets. To be more precise, our first result associates the degree $k$ of a $U^k(\Phi)$-uniform set with the variety of sumsets it contains, solving a conjecture of Kra, Moreira, Richter and Robertson. Restricting to Nil-Bohr sets we show the existence of infinite sumsets with summands in the shifted primes $\mathbb{P}-1$. As a consequence, we show that for any real polynomial $Q(n)$ with leading irrational coefficient of degree $k$, and any natural numbers $\ell_1, \cdots, \ell_k$ there is an infinite set $P\subset \mathbb{P}$ such that \begin{equation*} Q\Big(\sum_{p \in I} p\Big) \in U \pmod 1 \quad \text{ for all } I \subset P , |I| = \ell_1, \ldots, \ell_k. \end{equation*}

Conductor-Discriminant Inequality for Tamely Ramified Cyclic Covers I
math.AG
math.AC
math.NT


Andrew Obus, Padmavathi Srinivasan, Connor Stewart

We prove conductor-discriminant inequalities for all $\mathbb{Z}/n$-covers of $\mathbb{P}^1$ defined over discretely valued fields $K$ with excellent valuation ring $\mathcal{O}_K$ and perfect residue field of characteristic not dividing $n$, modulo some calculations appearing in work of the third author. Specifically, when such a curve $X$ is given by $y^n = f(x)$ with $f(x) \in\mathcal{O}_K[x]$ and $n\mid\text{deg}(f)$, and if $\mathcal{X}$ is its minimal regular model over $\mathcal{O}_K$, then the negative of the Artin conductor of $\mathcal{X}$ is bounded above by $(n-1)v_K(\text{disc}(\text{rad}(f)))$. This is a direct generalization of previous work of the first two authors on hyperelliptic curves, which in turn generalized work of Ogg, Saito, Liu, and the second author. When $f$ is monic, this strengthens a result of Kohls stating that the conductor exponent of the Jacobian of such a curve is bounded above by $(n-1)v_K(\text{disc}(\text{rad}(f)))$.

Conductor-Discriminant Inequality for Tamely Ramified Cyclic Covers II
math.AG
math.AC
math.NT


Connor Stewart

Let $K$ be a Henselian discretely valued field with excellent ring of integers $\mathcal{O}_K$ and algebraically closed residue field $k$. Let $X\to\mathbb{P}^1_K$ be a cyclic cover of degree $n$ prime to the characteristic of $k$. In joint work with Obus and Srinivasan, we define an integer called the conductor-discriminant contribution $\text{cdc}(y)$ associated to a multiplicity $2$ point $y$ of the branch divisor of the normalization in $K(X)$ of a regular $\mathcal{O}_K$-model $\mathcal{Y}$ of $\mathbb{P}^1_{K}$, and modulo several key results about $\text{cdc}(y)$, we prove a conductor-discriminant inequality for $X$, extending previous work of Ogg, Saito, Liu, Srinivasan, and Obus--Srinivasan. In this companion paper, we supply the necessary technical results for $\text{cdc}(y)$. In particular, we show $\text{cdc}(y)$ is non-negative except under highly restrictive conditions on $n$ and the structure of the branch divisor at $y$. Moreover, if $\text{cdc}(y)$ is negative, we show the spectrum of the complete local ring of any point lying over $y$ under the normalization of $\mathcal{Y}$ in $K(X)$ is a rational double point. Along the way, we show the non-negativity of a related quantity, the conductor exponent-discriminant contribution $\text{cedc}(y)$, which is used in our joint work with Obus and Srinivasan to give a new proof of a result of Kohls.

Logarithmic--exponential preparation in sharply o-minimal structures
math.LO
math.AG
math.NT


Gal Binyamini, Oded Carmon, Dmitry Novikov

We develop a complex-analytic approach to the model theory of the (real) unrestricted exponential. As a consequence we derive sharp forms of many of the foundational results for the structure ${\mathbb R}^\text{RE}_{\exp}$ (and more general structures). In particular we establish sharp o-minimality, a sharp form of Wilkie's theorem of the complement, a sharp form of Wilkie's conjecture and a sharp form of piecewise definability by terms. Our approach is based on a complexification of the LE-preparation theorem of Lion--Rolin. We also develop a parallel complex theory for ${\mathbb R}_\text{an,exp}$, proving for example that the rational points of height $H$ on a nowhere-dense definable set can be interpolated by an algebraic hypersurface of degree $\text{poly}(\log H)$. This generalizes a theorem of Cluckers--Pila--Wilkie who proved the same statement for ${\mathbb R}_\text{an}^\text{pow}$.

Combinatorics of hyperplane arrangements and Witten zeta function at the origin
math.CO
math.NT


Kam Cheong Au, Kazuhiro Onodera

We introduce a new method that brings the combinatorics of hyperplane arrangements into the study of representation zeta functions of compact Lie groups. For the Witten zeta function $\zeta_\Phi(s)$ associated with a root system $\Phi$, our method yields elegant formulas for $\zeta_\Phi(0)$ and $\zeta_\Phi'(0)$ in terms of the exponents of various parabolic subsystems of $\Phi$. Such formulas do not appear to be readily accessible through the conventional analytic techniques in the literature. More generally, the method applies to a broad family of conical zeta functions, expressing these two special values through the M\"obius function of the intersection poset of the associated hyperplane arrangement.

Morphism spaces on low degree hypersurfaces
math.AG
math.NT


Hrishabh Mishra

For $r> 2$, we study the moduli space parameterising fixed degree morphisms $\mathbb P^r\to X$ where $X$ is a smooth hypersurface of low degree. More precisely, we prove the following result: let $n\geq 2, e\geq 1$ and $X\subset \mathbb P^{n-1}$ a smooth degree $d\geq 2$ hypersurface over an algebraically closed field of characteristic zero or greater than $d$, then $\mathrm{Mor}_e(\mathbb P^r, X)$ is irreducible of the expected dimension if \[ n> 2^d(d-1)\binom{de+r-1}{r-1}. \] Our result extends the result of Browning-Yamagishi for $r=2$ via multiblock Weyl differencing.

Relative Trace Formula, Subconvexity and Quantitative Nonvanishing of Rankin-Selberg $L$-functions for $\mathrm{GL}(n+1)\times\mathrm{GL}(n)$
math.NT
v2


Liyang Yang

We establish hybrid subconvexity bounds and quantitative simultaneous nonvanishing for Rankin--Selberg $L$-functions on $\mathrm{GL}(n+1)\times\mathrm{GL}(n)$ over $\mathbb Q$. For a fixed unitary cuspidal representation $\pi'$ of $\mathrm{GL}(n)$ and any unitary pure isobaric representation $\pi$ of $\mathrm{GL}(n+1)$, we prove the $t$-aspect bound \begin{align*} L(1/2+it,\pi\times\pi')\ll_{\pi,\pi',\varepsilon} (1+|t|)^{\frac{n(n+1)}{4}-\frac{1}{4(3n^2+n-1)}+\varepsilon}. \end{align*} When $\pi$ is tempered, the saving improves to $1/(4(3n-1))$; in particular, the resulting bound for standard $L$-functions improves the general-rank exponent of Nelson. We also obtain, in both the spectral and level aspects, the first quantitative simultaneous nonvanishing result in higher rank for central Rankin--Selberg values in suitable cuspidal families. Our proofs use an amplified, regularized relative trace formula whose spectral expansion retains the full generic spectrum and is expressed directly in terms of central values. On the geometric side, we estimate collective combinations of regular orbital integrals rather than the individual orbits separately. This structure leads to an optimized count of rational parameters, sharper amplification bounds, and a treatment of the level aspect. In rank one, the resulting exponents agree with the Burgess bounds.

On deciding transcendence of power series
math.NT
cs.SC
math.CA
v2


Alin Bostan, Bruno Salvy, Michael F. Singer

It is well known that algebraic power series are differentially finite (D-finite): they satisfy linear differential equations with polynomial coefficients. The converse problem---determining whether a given D-finite power series is algebraic or transcendental---is notoriously difficult. We prove that this problem is decidable: we give two theoretical algorithms and a transcendence test that results in an efficient Maple implementation.

Infinitesimal characters and Lafforgue's pseudocharacters
math.NT
v2


Vytautas Paškūnas, Julian Quast

We associate infinitesimal characters to $p$-adic families of Lafforgue's pseudocharacters of the absolute Galois group of a $p$-adic local field by extending a construction of Dospinescu, Schraen and the first author. We use this construction to study the action of the centre of the universal enveloping algebra on the locally analytic vectors in the Hecke eigenspaces of the completed cohomology.

Non-vanishing of a certain quantity related to the p-adic coupling of mock modular forms with newforms
math.NT
v3


Pavel Guerzhoy

Several authors have recently proved results which express a cusp form as a $p$-adic limit of weakly holomorphic modular forms under repeated application of Atkin's $U$-operator. Initially, these results had a deficiency: one could not rule out the possibility when a certain quantity vanishes and the final result fails to be true. Later on, Ahlgren and Samart \cite{AS} found a method to prove that no exceptions happen in the specific case considered by El-Guindy and Ono, Hanson and Jameson, and (independently) Dicks. generalized this method to finitely many other cases. In this paper, we present a different approach which allows us to prove a similar non-vanishing result for an infinite family of similar cases. Our approach also allows us to return back to the original example considered by El-Guindy and Ono, where we calculate the (manifestly non-zero) quantity explicitly in terms of Morita's $p$-adic $\Gamma$-function.

Point counts, automorphisms, and gonalities of Shimura curves
math.NT
v3


Pietro Mercuri, Oana Padurariu, Frederick Saia, Claudio Stirpe

We implement an algorithm to compute the number of points over finite fields for the Shimura curves $X_0^D(N)$ over $\mathbb{Q}$ and their Atkin--Lehner quotients. Our computations identify $116$ such quotients over finite fields (out of $783514$ tested) that attain a number of rational points exceeding that of any previously known curve of the same genus over the same finite field. To illustrate the utility of our point counts algorithm in addressing arithmetic questions, we prove that all automorphisms are Atkin--Lehner for $9288$ of the $10609$ curves $X_0^D(N)$ of genus $g > 2$ with $D$ the discriminant of an indefinite quaternion algebra over $\mathbb{Q}$, $N$ a squarefree positive integer coprime to $D$, and $DN\leq 10000$, and we determine all tetragonal and geometrically tetragonal curves $X_0^D(N)$ up to a small number of possible exceptions.

A note on congruences modulo 7 and 11 for two restricted partition functions
math.NT
math.CO
v4


Russelle Guadalupe

For an integer $c\geq 1$, let $a_c(n)$ count the number of generalized cubic partitions of $n$, which are partitions of $n$ whose even parts may appear in $c$ different colors, and $d_c(n)$ count the number of partitions obtained by adding the links of the $c$-elongated plane partition diamonds of length $n$. We prove in this note infinite families of congruences modulo $7$ and $11$ for $a_c(n)$ and $d_c(n)$ by employing elementary $q$-series techniques. These results generalize particular congruences modulo $7$ and $11$ for $a_c(n)$ and $d_c(n)$ recently found by Dockery, and Baruah, Das, and Talukdar, respectively, using modular forms.

Large smooth twins from short lattice vectors
math.NT
v3


Erik Mulder (UiB), Bruno Sterner (GRACE), Wessel van Woerden

Finding the largest pair of consecutive $B$-smooth integers is computationally challenging. Current algorithms to find such pairs have an exponential runtime -- which has only be provably done for $B \leq 100$ and heuristically for $100 < B \leq 113$. We improve this by detailing a new algorithm to find such large pairs. The core idea is to solve the shortest vector problem (SVP) in a well constructed lattice. With this we are able to significantly increase $B$ and notably report the heuristically largest pair with $B = 751$ which has $196$-bits. By slightly modifying the lattice, we are able to find larger pairs for which one cannot conclusively say whether it is the largest or not for a given $B$. This notably includes a $213$-bit pair with $B = 997$ which is the largest pair found in this work.

An Orthogonal View of Gau\ss ian Polynomials
math.NT
math.CO
v2


Christian Krattenthaler (Universität Wien), Brandt Kronholm (University of Texas Rio Grande Valley), Paul Marsh (University of Texas Rio Grande Valley)

We establish an alternative, ``perpendicular" collection of generating functions for the coefficients of Gaussian polynomials, $\begin{bmatrix}N+m\\m\end{bmatrix}_q$. We provide a general characterization of these perpendicular generating functions. For small values of $m$, unimodality of the coefficients of Gaussian polynomials is easily proved from these generating functions. Additionally, we uncover new and surprising identities for the differences of Gaussian polynomial coefficients, including a very unexpected infinite family of congruences for coefficients of $\begin{bmatrix}N+4\\4\end{bmatrix}_q$.

An expository review of the Chebyshev-Sylvester method in prime number theory
math.NT
math.HO
v2


Tsogtgerel Gantumur

This paper gives a self-contained expository and computational account of the elementary methods developed by P.L. Chebyshev and J.J. Sylvester to obtain explicit bounds for the distribution of prime numbers. The method replaces the Mobius function in a basic convolution identity by finitely supported arithmetic functions, or schemes, and relates the resulting auxiliary functions to the Chebyshev function psi(x) through the summatory logarithm T(x)=log([x]!). We examine a number of schemes introduced by Chebyshev and Sylvester, with particular emphasis on Sylvester's iterative refinement procedure. For a fixed choice of terms, this procedure leads to an explicit two-dimensional affine recurrence for upper and lower bounds on psi(x), whose fixed point can be analyzed by elementary linear algebra. We then implement the procedure computationally and introduce a simple one-parameter selection rule, the rho-rule, for choosing which terms to retain in the iteration. Numerical exploration of the historical schemes reproduces Sylvester's bounds and, in several cases, yields modest improvements of the resulting constants. The accompanying Python implementation is publicly available.

Arithmetic statistics of isogeny Selmer groups associated to hyperelliptic curves
math.NT
v2


Martí Oller

We determine asymptotic results for the average size of Selmer groups arising from certain isogenies related to Jacobians of hyperelliptic curves of genus $g\geq 2$. Our results come from two different routes. The first route is through the geometry-of-numbers methods pioneered by Bhargava, where we obtain new parametrisations coming from Vinberg theory arising from representations related to the Dynkin diagrams of type $B$ and $C$. The second route uses recent results by Koymans--Smith, which relate the average sizes of Selmer groups to Tamagawa ratios through a formula by Greenberg--Wiles.

Strongly complete sets and a conjecture of Erd\H{o}s
math.NT
math.CO
v5


Steve Fan

A set $A\subseteq\mathbb{N}$ is called $\textit{complete}$ if every sufficiently large integer can be written as a sum of distinct elements of $A$. It is $\textit{strongly complete}$ if it remains complete after one deletes finitely many elements from it. Building on recent work of Bergelson and Simmons and that of Griesmer, we establish a new strong-completeness criterion exploiting a three-component partition of a given set. As an application, we show that $A$ is strongly complete whenever \[ \big|A\cap(2^k,2^{k+1}]\big|\ge5 \] for every sufficiently large $k\in\mathbb{N}$, and \[ \sum_{a\in A}\|a\theta\|=\infty, \quad\forall\theta\in\mathbb{R}\setminus\mathbb{Z}. \] In particular, this resolves a 1961 conjecture of Erd\H{o}s. The new strong-completeness criterion also enables us to make progress on a 1996 problem of Burr, Erd\H{o}s, Graham, and Li concerning strong completeness of mixed power sets by refining a previous result of Bergelson and Simmons. Besides, we study the polynomially perturbed ray set \[ \{\lfloor t\alpha^n\rfloor,\lfloor t\alpha^n\rfloor+P(n):n\in\mathbb{N}\}, \] which combines the polynomial set $\{P(n):n\in\mathbb{N}\}$ and the single-ray set $\{\lfloor t\alpha^n\rfloor:n\in\mathbb{N}\}$ both previously considered by Graham, and show that it is strongly complete for any $t>0$ and $\alpha\in(0,2)$ and any primitive integer-valued polynomial $P$. The machinery developed for the proof of this result also yields other interesting applications.

A sharp inverse theorem for the quadratic large sieve
math.NT
v2


Ernie Croot, Junzhe Mao, Cosmin Pohoata, Chi Hoi Yip

We prove that if $A\subseteq[N]$, $|A|\gg\sqrt N$, and $|A_p|\le p/2+O(1)$ for every prime $p\ll \log N$, then $A$ contains at least $\exp\left(c\sqrt{\log N}/\log\log N\right)$ elements in the image of a single integral quadratic $m\pm x^2$. This significantly improves Hanson's logarithmic lower bound, while requiring the residue restriction only for primes $p\ll\log N$. Our proof uses a new weighted entropy argument inspired by our previous work \href{https://arxiv.org/abs/2606.17487}{arXiv:2606.17487} with Sheffer. A matching construction shows that this exponential scale is optimal even when the quadratic may be chosen arbitrarily in $\mathbb{Z}[x]$. We also show extending the residue restrictions to primes up to $(\log N)^3$ yields the stronger bound $\exp(c\sqrt{\log N/\log\log N})$ via a Selberg-sieve-type argument, and discuss an application to the inverse Goldbach problem.

On the value distribution of the Riemann zeta-function with general shifts
math.NT
v2


Keita Nakai

This paper studies the value distribution of the Riemann zeta-function under general shifts. We establish discrepancy estimates for the Bohr--Jessen limit theorem for a broad class of shifts. We also prove a universality theorem for logarithmic-power shifts, which are not covered by previous universality results for general shifts. Furthermore, we obtain a quantitative Bohr--Jessen limit theorem for logarithmic-power shifts.

Exceptional Sign Pairs in Oscillatory Asymptotics and Conjectures of Andrews
math.NT
v2


Jayashree Kalita

In this paper, we prove an \emph{exceptional sign pair phenomenon} for a general family of integer sequences with exponentially growing oscillatory asymptotics. This resolves, in particular, conjectural sign patterns proposed by Andrews in a 1986 paper for three $q$-series from Ramanujan's Lost Notebook, namely $v_2(q), v_3(q),$ and $v_4(q)$. Recent work of Kundu, Storzer, Wang, and the author established that the coefficients of these $q$-series are alternating in sign except in a density-zero set. We prove here that the exceptional indices where the alternating sign pattern fails occur infinitely often in a structured manner. More precisely, we show that there exist infinitely many pairs of consecutive coefficients having the same sign, and that the magnitude of at least one coefficient in each pair is a local minimum of the sequence of absolute values of the coefficients. Together with earlier results, this completes the resolution of Andrews' conjectures and their analogs for all the $q$-series in his original study.

Diagonal cycles on Shtukas and the adjoint $L$-function
math.NT
math.AG
math.RT
v2


Zeyu Wang

We study diagonal cycles on moduli spaces of shtukas for groups of the form $H\times H$, where $H$ is a split almost simple reductive group, allowing arbitrary modification types. We relate their self-intersection numbers, with insertions of determinant line bundles, to higher derivatives of adjoint $L$-functions. This gives a general Gross--Zagier-type identity over function fields for groups of arbitrary type, and suggests a parallel conjectural picture for arithmetic intersections on Shimura varieties.

On the graded center of $D(G)^c$
math.NT
math.CT
math.RT
v2


Peter Schneider, Claus Sorensen

Let $D(G)$ denote the derived category of smooth $G$-representations on $k$-vector spaces, where $G$ is a locally pro-$p$ group and $k$ is a field of characteristic $p$. In this paper we are primarily interested in the graded center of the subcategory of compact objects $Z^*(D(G)^c)$ and variants thereof. When $G$ is a $p$-adic Lie group, without proper open centralizers, we completely determine this center modulo locally nilpotent elements and give various applications.

Iwasawa theory of (directed) Cayley graphs
math.NT
v2


Debanjana Kundu, Katharina Müller, Alexis newton, Chloe Stewart, Yidi Wang

In this article, we prove the Defect Conjecture for Cayley graphs of abelian groups, dihedral groups, and groups of the form $\mathbb{Z}/p\mathbb{Z} \rtimes \mathbb{Z}/(p-1)\mathbb{Z}$ where $p\geq 3$ is a prime. We also compute the Iwasawa invariants of the Bowen--Franks groups associated with these graphs in several cases.

On Multiple Eisenstein Series in Positive Characteristic: Direct Sum Result
math.NT
v2


Chieh-Yu Chang, Song-Yun Chen, Fei-Jun Huang, Hung-Chun Tsui

In this paper, we study multiple Eisenstein series (MES) in positive characteristic. By computing and analyzing the $t$-expansions of MES, we determine the precise "weights" of their coefficients. This framework enables us to establish a graded algebra structure for MES, extending the direct sum result for Thakur's multiple zeta values proved in [Cha14]. Our result may also be viewed as a function field analogue of the corresponding direct sum result of Bachmann and Kanno [BK26].

Transcendence criteria for the minimal word of the rational base $3/2$
math.NT
v2


Ralf Stephan

Let $x_{0}$ be a positive integer, let $x_{n}=\lceil 3x_{n-1}/2\rceil$, and let $w_{n}=2x_{n+1}-3x_{n}\in\{0,1\}$ be the associated word studied by Dubickas; for $x_{0}=1$ the orbit is A061419 and $w$ is the minimal word $g_{3/2}$ of the rational base number system of Akiyama, Frougny and Sakarovitch. The orbit encodes a real constant $K=\lim_{n}x_{n}(2/3)^{n}$, equal for $x_{0}=1$ to $\omega_{3/2}=K(3)=1.6222705028\ldots$, whose irrationality has been open since 1977. We prove that if $w$ is automatic then $K$ is transcendental; equivalently, an algebraic $K$ forces $w$ to be non-automatic. Further we prove that either the complexity of $w$ exceeds every linear bound or $K$ is irrational. All results are formally verified in the Lean~4 proof assistant, on three cited axioms.

Foundations of Zeta Space: Geometry, Spectral States, and Fourier Mellin Duality
math.GT
math.DG
math.NT
v2


John Zimmerman

The zeta-space program seeks a geometric organization of theta states and completed zeta functions in which local spectral data, gluing, and Fourier duality belong to a single compatible construction. Its distinguished three-seed consists of four sheets arranged around an octahedral seam, with eight marked ends and full octahedral symmetry. A cubical boundary presents this incidence structure through six face crosses and eight corner regions. This manuscript gives precise definitions and proofs for the principal mechanisms of the framework. An equilateral Kirchhoff realization of the seam has an invariant Laplacian unitarily equivalent to a Neumann interval. Its normalized heat trace recovers the Jacobi theta function, and its Mellin transform gives the completed Riemann zeta function. On the sheets, closed energy forms produce conservative seam matching, while hyperbolic cusp collars yield Fourier Bessel propagation. Boundary transfer, harmonic extension, and ambient hyperbolic Poisson transforms are formulated with their domains and coupling data specified. For the higher tower, we define enriched bonding morphisms, compatible theta families, and Mellin-compatible transitions. A duality-and-assembly theorem carries Fourier reciprocity to a functional equation over the doubled inverse-limit base. A split rank-two calculation realizes a rank-lowering transition by residues and explains how duality exchanges its two polar prescriptions. The framework thereby separates geometric incidence, analytic propagation, arithmetic specialization, and global assembly while making their relationships explicit.