Number Theory [math.NT]

On the Existence of Hyperelliptic Curves over $\mathbb{Q}(T)$ with Certain Jacobian Ranks
math.NT
math.AG


Lucas Chen, Joshua Im, Steven J. Miller, Devayani Pradhan

Let $y^2 = f(x,T)$ be a hyperelliptic curve of genus $g\geq 1$, defined over $\mathbb{Q}(T)$. We prove the existence of infinitely many imaginary hyperelliptic curves with a fixed genus $g$ having a certain rank for $5\leq r\leq 4g+2$, and a similar result for real hyperelliptic curves with a fixed genus $g$ having a certain rank for $6\leq r\leq 4g+4$. We begin by constructing such curves and prove the rank using two methods. First, we apply the generalized Nagao's conjecture, which relates the first moment and the rank of the Jacobian variety $J_\mathcal{X}(\mathbb{Q}(T))$, and that the conjecture holds for our curves, making the result unconditional. Furthermore, we explicitly construct rational points in the Mordell-Weil group and use Shioda-Tate to prove that the rank is equal to $r$.

More than two thirds of the zeta zeros are simple and on the critical line
math.NT


Levent Alpöge, Ralph Furman

We prove unconditionally that at least two thirds of the nontrivial zeros of the Riemann zeta function, counted with multiplicity, are simple and lie on the critical line, and that at least five sixths are distinct; the previous unconditional records are $\frac{5}{12}$ and $0.6603$. With the Montgomery--Taylor window the constants become $0.6725$ and $0.8362$. The argument makes Montgomery's 1973 deduction unconditional: the Riemann hypothesis, classically needed to read the zero side as a positive sum over real ordinates, is replaced by a rank-trace inequality applied to a finite compression of Weil's Hermitian form, with Sylvester's law of inertia handling off-line pairs. The analytic inputs are those of Aryan and of Baluyot, Goldston, Suriajaya and Turnage-Butterbaugh. The results extend to primitive Dirichlet $L$-functions and are formally verified in Lean 4.

Some Dwork-type $q$-supercongruences from a $_6\phi_5$ summation formula
math.NT
math.CO


Chuanan Wei, Qin Wang

With the help of a $_6\phi_5$ summation formula and Guo and Zudilin's method, we shall establish some Dwork-type $q$-supercongruences in this paper. When $q\to1$, these $q$-supercongruences are able to engender the corresponding supercongruences. One of them may be stated as follows: for any prime $p\geq5$ and any positive integer $s$, \begin{align*} &\sum_{k=0}^{p^s-1}(6k-1)\frac{(-\frac{1}{3})_k^3}{(1)_k^3} \equiv 0\pmod{p^{3s}}. \end{align*}

$p$-numerical semigroup of the sequence of consecutive odd integers
math.NT
math.CO


Takao Komatsu, Sungjin Hyun, Kyunghwan Song

We prove the $p$-Frobenius problems proposed as Conjectures 7.1 and 7.5 developed by T. Komatsu and R. Pandey (Bull. Korean Math. Soc. 2025;62:1397--1409.) for two families of consecutive odd integers. For integers $r,L,n\ge0$, the bounded restricted partition function $p_{\le r}^{(\le L)}(\le n)$ counts partitions of $n$ into at most $r$ parts, each at most $L$. Thus the bounded restricted partition functions $p_{\le 3}^{(\le a)}(\le s)$and $p_{\le 3}^{(\le a+1)}(\le s)$ play central roles in the proofs. Their generating functions are Gaussian polynomials, whose symmetry and unimodality provide a common tool for treating both families.

A structural trace identity and certified spectra for the Richelot-Brandt graph
math.NT
math.AG


Hung T. Dang

Let $B_2(2)$ be the degree-2 Brandt operator on the principal genus of binary quaternion Hermitian lattices of discriminant $p$. Geometrically, $B_2(2)$ is the weighted adjacency operator of the Richelot $(2,2)$-isogeny graph on superspecial principally polarized abelian surfaces, and it commutes with an Atkin-Lehner involution $R(\pi)$. We prove a structural formula for the trace of $R(\pi)$ on the principal genus. For every prime $p \ge 7$, this trace is the sum of an explicit lift contribution, determined by the Atkin-Lehner eigenspaces of elliptic newforms of weights 2 and 4, and a signed defect of the weight-3 paramodular non-lift space. The proof compares term by term the closed principal- and non-principal-genus trace evaluations of Ibukiyama. The resulting closed formula for the signed defect yields the Fricke-sign bias $d(p) \ge 0$ for every prime. We next formulate an eigenvalue-sign refinement of Ibukiyama's principal-genus multiplicity conjectures. It predicts a factorization of $\mathrm{charpoly}\, B_2(2)$ into Eisenstein, Saito-Kurokawa, opposite-sign Yoshida, type-Va, and general-type blocks, and specifies the $R(\pi)$-sign on each block. In particular, it predicts that the two members of every type-Va pair are separated by opposite $R(\pi)$-eigenvalues. Finally, exact-arithmetic certificates verify this prediction for every prime $11 \le p \le 149$. The verification constructs the Richelot matrices, checks their weighted graph structure, matches the lift blocks with separately computed elliptic data, and certifies the signed isotypic multiplicities by projector traces. At $p = 19$ the first verified type-Va pair is separated by $R(\pi)$; at $p = 61$ the graph realizes the general-type factor $x + 7$.

A Kubilius model for sieve-theoretic sequences
math.NT


Ofir Gorodetsky

We bound the total variation distance in the Kubilius model for sequences with positive level of distribution. We obtain a result that we expect is qualitatively optimal. As a special case, it recovers a recent result of Ford on shifted primes, with a slightly simplified proof. In the classical case considered by Kubilius, our theorem gives a simple proof of the optimal bound discovered by Tenenbaum, up to factors of $x^{o(1)}$ and $u^{o(u)}$.

Ratio of sum of digits functions in two bases
math.NT


Pascal Jelinek

In 2019 La Bret\`eche, Stoll and Tennenbaum showed that the ratio of the sum of digits function $s_{q_1}(n)/s_{q_2}(n)$ of two multiplicatively independent bases $q_1$ and $q_2$ is dense in $\mathbb{Q}^+$. Recently Spiegelhofer proved that in the special case $s_2(n)/s_3(n)=1$ we have infinitely many solutions. Spiegelhofer extended this jointly with Drmota to show that the pair $(s_2(n),s_3(n))$ attains almost every value of $\mathbb{N}^2$ and hence, in particular, that every rational ratio is attained infinitely many times.\\ In this paper we show that, indeed, for any pair of multiplicatively independent bases $p$ and $q$, that the ratio attains every rational number infinitely many times. We also study this problem in the multiplicatively dependent case, hence giving a complete characterisation in the case of 2 bases.

Hurwitz class number relations and mock modular forms
math.NT


Kathrin Bringmann, Jia-Wei Guo, Ben Kane, Michael Mertens, Yifan Yang

A classical class number relation of Hurwitz expresses the Fourier coefficients of the product of a unary theta function and the class number generating function. Here, we establish an infinite family of analogous class number relations obtained by replacing the unary quadratic form $m^2$ by positive-definite binary quadratic forms. These identities involve Cohen's generalized class numbers and depend only on the genus of the underlying quadratic form. For this, we construct a genus-dependent level-lowering operator.

New Congruences Involving $p$-adic dual sequences
math.NT
math.CO


Yassine Otmani

Let $(a_n)_{n\geqslant 0}$ be a sequence of integers. Its dual sequence $(a_n^*)_{n\geqslant 0}$ is defined by \begin{equation*} a_n^* := \sum_{k=0}^{n} \binom{n}{k}(-1)^k a_k. \end{equation*} Let $p>3$ be a prime. In this paper we mainly investigate congruences modulo $p^2$ involving central binomial coefficients and $p$-adic dual sequences. For example, we prove that for any sequence $(a_k)_{k\ge0}$ of $p$-adic integers, \begin{align*} \sum^{(p-1)/2}_{k=0}\binom{2k}{k}^2\frac{a_{2k}}{16^k}\equiv\left( \frac{-1}{p}\right) \sum_{k=0}^{p-1}\frac{\mathcal{P}_{k}}{16 ^{k}}a_{k}^*\pmod{p^2}, \end{align*} where $(\mathcal{P}_n)_{n\ge0}$ are the Catalan--Larcombe--French numbers given by \begin{equation*} \mathcal{P}_0=1,\quad \mathcal{P}_1=8, \quad n^2 \mathcal{P}_n = 8(3n^2-3n+1)\mathcal{P}_{n-1}-128(n-1)^2\mathcal{P}_{n-2} \quad (n\ge2). \end{equation*} We also establish a new formula for $\sum_{k=0}^{(p-1)/2}\binom{2k}{k}a_{2k}^*/4^k \pmod{p^2}$ and as a consequence we confirm some conjectures of Z.-W. Sun \cite{Sun2014CANT} on the generalized central trinomial coefficients $T_{2k}(b,c)$, i.e., the coefficient of $x^{2k}$ in $(x^2+bx+c)^{2k}$, where $b,c$ are integers.

Shimura curves of discriminant 14 and 15 and associated Heun Functions
math.NT


Harshavardhan Reddy, Devendra Tiwari

The Shimura curve of discriminant $D$ for $D=14, 15$ is uniformized by a subgroup of an arithmetic quadrilateral Fuchsian group $(2, 2, 2, q)$, where $q=4, 6$. We relate the generator of the ring of quaternionic modular forms on this Shimura curve to explicit Heun functions for the quadrilateral group. We also discuss how the Picard-Fuchs equation of the associated family of abelian surfaces has solutions that are modular forms on $X^{D}(1) / W_{D}$, where $W_D$ is the full group of Atkin-Lehner involutions. This leads us to completely describe the rational exceptional sets of the associated Heun functions, and the algebraic values attained by the Heun function on these points, for example $${\rm He}\left( 81, \frac{1}{2}; \frac{1}{3}, \frac{1}{6}, \frac{1}{2}, \frac{1}{2};-\frac{729}{112}\right)= \left( \frac{2^2 \cdot 3^3 \cdot 5^3}{7^5} \right)^{\frac{1}{6}}$$.

The inverse Galois problem of iterated Galois groups and their fixed-point proportion
math.NT
math.GR


Santiago Radi

In 1985, Odoni initiated the study of arboreal representations and the fixed-point proportion, motivated by prime density problems in arithmetic dynamics. Since then, many questions regarding the connection between the dynamics of rational functions and the Galois groups associated to their dynamics (iterated Galois groups) have been posed. In this article, we give several contributions to this connection with the introduction of the concept of virtually mixing groups. This new concept is related to the capability of self-replication of the iterated Galois groups, and when it fails to be completely self-replicated, the failure is always by a finite index normal subgroup. It turns out that the quotient by this subgroup contains valuable information of the properties of the rational function. First, we investigate the inverse Galois problem, showing that iterated Galois groups of rational functions are always virtually mixing and the failure (the quotient by this finite-index subgroup) is related to geometric properties of the rational function. As a consequence, we prove that the rational function is induced by an endomorphism of an algebraic curve (dynamical pullback) if and only if this failure is non-trivial. Finally, we solve the main open problem of the fixed-point proportion of geometric iterated Galois groups of rational functions, by showing that the fixed-point proportion is zero when the map is not a dynamical pullback. This result has direct applications to prime density problems, proportion of periodic points in the reduction of maps and proportion of periodic points over finite fields. The proofs in this article rely on a combination of techniques and results from group theory, ergodic theory, probability, number theory, complex dynamics, energy transport in graphs, arithmetic dynamics and algebraic geometry.

Intensional semantics for comparison problems in arithmetic geometry
math.CT
math.NT


R. Laniewski

This work proposes a semantic environment for arithmetic geometry in which the passage between two presentations of one object carries a measurable weight, rather than dissolving into a transparent identification. Following Lawvere, a category equipped with a cost on its morphisms is enriched over the monoidal poset $([0,\infty],\ge,+)$, so that a height becomes a map controlled by a generalized distance. Following Voevodsky, the identity type of a C-system is a locus of structure open to transport. A labeled quantitative $(2,1)$-category reconciles the two readings, with invertible $2$-morphisms witnessing that two transports differ only by a coherent change of presentation. A comparison between two labeled realizations of one object becomes a transport inequality. If it is asked to descend functorially to an inequality between extensional invariants, then it collapses to a tautology, unless a non-zero load is assigned to the transport itself, at which point the inequality regains its content. We formulate an intensional Szpiro inequality for elliptic packages, where the discriminant height transports along a morphism with a controlled model defect, and relate a bound of this shape to the $abc$ conjecture. We then treat the Birch and Swinnerton-Dyer conjecture in its pre-modularity form, so that the rank and refined forms descend to $\mathrm{ACA}_{0}$ without analytic continuation. The refined constant reads as a transport cost in which the regulator, the period, the local Tamagawa data, and the order of the Tate--Shafarevich group $\mathrm{Sha}(E/K)$ are held apart by the descent obstruction. We reduce the finiteness of $\mathrm{Sha}(E/K)$ to one hypothesis.

Multiplicative chaos from random multiplicative functions
math.PR
math.NT


Haoran Hu, Yujin H. Kim, Xaver Kriechbaum

We construct the multiplicative chaos measures emerging from the Dirichlet series of the twisted Steinhaus multiplicative function. Our work has three main features. First, our argument treats the full subcritical and critical phases simultaneously. Second, we show that the same multiplicative chaos measure arises from any approximation to the Dirichlet series in which the prime cutoff is sent to infinity and the critical line is approached from the right at arbitrary speeds. Such results are known as "universality" results, and we show this via a novel and quick partial summation trick. Third, we show that the multiplicative chaos measure is mutually absolutely continuous with a GMC measure in the same phase, coupled on the same probability space, almost surely. Our work unifies and extends results from a recent breakthrough trilogy of papers by Gorodetsky and Wong.

Algebraic curves admitting automorphism groups of large prime square order
math.AG
math.NT


Nazar Arakelian, Diego Kian

Let $\mathbb{K}$ denote an algebraically closed field of arbitrary characteristic. In this paper we provide bounds for the size of a prime $\ell$ for which there are curves defined over $\mathbb{K}$ admitting automorphism groups of order $\ell^2$. In addition, we also give a classification of the families of curves attaining the upper bounds for $\ell$ in both tame and wild case. Finally, we present the full automorphism groups of the curves attaining the highest bounds.

Sharp refined-direction Kakeya estimates in finite Heisenberg groups
math.CA
math.CO
math.NT


Thang Pham, Andrea Pinamonti, Dung The Tran, Boqing Xue

Let $n\geq 2$ and let $q$ be an odd prime power. The first aim of this paper is to prove that, for every $E\subset \mathbb{H}_n(\mathbb{F}_q)$ and every $\lambda>0$, the following sharp rich-direction estimate holds \[ \left| \left\{ \vartheta\in D_n: M^{\mathrm{rd}}_{\mathbb{H}_n}\mathbf{1}_E(\vartheta)\geq\lambda \right\} \right| \lesssim_n q^{2n-1}|E|\lambda^{-2n}. \] The second aim is to determine, for every $1\leq u,v\leq\infty$, the sharp exponent of $q$ in the corresponding $\ell^u\to\ell^v$ estimate. More precisely, we prove that \[ A_n^{\mathrm{rd}}(u,v) = \max\left\{ \frac{2n-1}{v},\ 1-\frac1u,\ \frac{2n}{v}-\frac1u,\ 1+\frac{2n}{v}-\frac{2n+1}{u} \right\}. \] The proof combines the polynomial method with multiplicities and a probabilistic covering argument based on the action of the affine symplectic group.

Counting non-attracting subtrees and the equidistribution of repelling points
math.DS
math.AG
math.NT


Lorenzo Bottiglione

Consider the action of a rational function on the Berkovich projective line over an algebraically closed field complete with respect to a nontrivial non-archimedean absolute value. We say a connected component of the fixed locus is a "non-attracting subtree" if it contains no attracting points. We define a "degree of a non-attracting subtree," in terms of the local degrees of the rational function at its points. We show that the degrees of non-attracting subtrees sum up to the degree of the rational function. This counting result is obtained by studying the potential of a discrete measure charging each non-attracting subtree with mass equal to its degree. We prove that as we iterate the rational function these measures equidistribute to the equilibrium measure. Under certain conditions, notably in the case of polynomials, this reduces to the equidistribution of repelling points. We also show that repelling type II points become negligible under iteration when the Lyapunov exponent is positive. These results give a partial and a complete answer to questions of Favre and Rivera-Letelier.

Semi-abelian reduction of Albanese varieties
math.AG
math.NT


Tai-Hsuan Chung

Let X_K be a projective geometrically normal variety over the fraction field of a DVR. We show that if X_K admits a projective model whose special fibre has at worst nodes in codimension one, then the Albanese variety Alb_{X_K/K} has semi-abelian reduction over the same base. As an application, we extend the classical nonexistence theorem of Fontaine and Abrashkin for abelian schemes over Z to the singular setting. For instance, if a flat projective Z-scheme X has normal and geometrically connected fibres, then H^1(X_Q, O_{X_Q})=0.

Near diagonal additive energy bound for points on algebraic surfaces
math.CA
math.CO
math.NT


Yifan Jing, Shukun Wu

Let $F:\mathbb{R}^3\to\mathbb{R}$ be a polynomial that is irreducible over $\mathbb{R}$ with $\text{deg}(F)\geq2$. We prove that, for any finite $X\subset Z(F)$ that does not concentrate on affine lines, \[ E(X)=\#\{(a,b,c,d)\in X^4: a+b=c+d\}\ll_{\text{deg}(F),\,\epsilon}(\# X)^{2+\epsilon}. \]

Compressive Domains and a Bound for the Number of Components of the Fixed Locus of a Self-Map of the Berkovich Line
math.AG
math.NT


Xander Faber, Niladri Patra

We introduce the notion of a "compressive domain" for the action of a rational function on the Berkovich projective line over a complete nontrivially-valued algebraically closed nonarchimedean field. We prove that such a domain always contains a classical fixed point, and we leverage this fact to give a sharp upper bound for the number of connected components of the fixed locus of a rational function. We give a second proof for polynomial functions that uses a previously unpublished mass formula of Rivera-Letelier. Finally, we give an explicit formula for the crucial weight inside a compressive domain as a function of the number of classical fixed points and boundary points.

Free Pro-2 Product Decompositions and Hilbert's Theorem 90 for the Kaplansky Radical
math.NT
math.GR
v3


Ronie Peterson Dario

The H-conjecture of Kijima and Nishi predicts a Hilbert Theorem~90 type property for the Kaplansky radical with respect to quadratic field extensions. In this paper, we establish a Galois-theoretic criterion ensuring this property for fields F with finitely many square classes. The criterion is formulated in terms of a free pro-2 product decomposition of the maximal pro-2 Galois group G_F(2). As an application, we prove the H-conjecture for fields whose maximal pro-2 Galois groups are of elementary type, in the sense of the pro-2 version of Efrat's Elementary Type Conjecture. Our criterion also applies to pre-2-henselian fields, to the previously known positive cases established by Iwakami, Kijima, and Nishi, and to the families of fields with nontrivial Kaplansky radical constructed by Berman and Kula. It thereby provides a unified Galois-theoretic explanation for the currently known positive instances of the finite-dimensional H-conjecture.

The bad and rough rotation is Poissonian
math.NT
v2


Manuel Hauke

Motivated by the Berry-Tabor Conjecture and the seminal work of Rudnick-Sarnak, the fine-scale properties of sequences $(a_n\alpha)_{n \in \mathbb{N}} \mod 1$ with $(a_n)_{n \in \mathbb{N}} \subseteq \mathbb{N} $ and $\alpha$ irrational have been extensively studied in the last decades. In this article, we prove that for $(a_n)_{n \in \mathbb{N}}$ arising from the set of rough numbers with explicit roughness parameters and any badly approximable $\alpha$, $(a_n\alpha)_{n \in \mathbb{N}} \mod 1$ has Poissonian correlations of all orders, and consequently, Poissonian gaps. This is the first known explicit sequence $(a_n\alpha)_{n \in \mathbb{N}} \mod 1$ with these properties. Further, we show that this result is false for Lebesgue almost every $\alpha$, thereby disproving a conjecture of Larcher and Stockinger [Math. Proc. Camb. Phil. Soc. 2020]. The method of proof makes use of an equidistribution result mod $d$ in diophantine Bohr sets which might be of independent interest.

Rational points on varieties defined by multihomogeneous diagonal forms
math.NT
v2


Doyon Kim, Tian Wang

We give an asymptotic formula for the number of rational points of bounded height on algebraic varieties defined by systems of multihomogeneous diagonal equations. The proof uses the Hardy-Littlewood circle method and the hyperbola method developed by Blomer and Br\"udern.

Meromorphic continuation of a q-analogue of multiple zeta function
math.NT
v2


Nita Tamang, Pitu Sarkar

In this paper, we obtain the meromorphic continuation of a q-analogue of multiple zeta function using an elementary formula called translation formula. We then obtain the matrix representation of the translation formula and using it, we locate the poles of the function and the corresponding residues. While locating the poles, we also obtain an inverse of an infinite triangular matrix in a particular case.

High-Precision Approximation of Riemann Zeros via the Truncated Weil Form
math.NT
v4


Akiva Groskin

The Connes-van Suijlekom truncated Weil quadratic form, indexed by a cutoff $c$ (controlling the primes $p\leq c$ in the operator), has a ground state whose Fourier-Mellin zeros provably lie on the critical line; whether they converge to the Riemann zeros as $c\to\infty$ is open (Connes 2026; Connes-Consani-Moscovici 2025). We present, to our knowledge, the first public implementation of the CvS Galerkin matrix at sixteen cutoffs ($c=13$ through $67$, plus $c=100$). Across $c=13$--$67$ at $N=100$, the first-zero error $|\gamma_1-\gamma_1^{\mathrm{Riemann}}|$ shrinks monotonically from $\sim 2\times 10^{-55}$ to $\sim 1.5\times 10^{-168}$ (113-OOM across fifteen cutoffs). The smallest-positive even-sector eigenvalue reaches $\sim 10^{-334}$ at $c=100$, $N=250$ (275-OOM span), whose eigenvector recovers $\gamma_1,\ldots,\gamma_{10}$ to 307-329 matching digits. Under the unitary equivalence with CCM 2025 Lemma 5.1, each $\gamma_k$ is (modulo a hypothesis-status caveat at $c=100$) an eigenvalue of the CCM rank-one operator $D_{\log}^{(\lambda,N)}$. Aitken-$\Delta^2$ on the $c=100$ $N$-sweep gives $\log_{10}|\lambda_\infty^{\mathrm{even}}|\approx -536.76$ and $-533.70$, approaching the Connes 2026 Section 6.4 heuristic continuum prediction ($\approx -530.38$) monotonically in $N$. The empirical fit $|\log_{10}\lambda_{\min}|\approx 13.24\,c^{0.634}$ on $c\leq 67$, $N=100$ is a finite-$N$ rate, falsified at $c=100, N=200$ by 49 OOM. At $c=100$ the raw spectrum carries a small block of negative-sign eigenvalues at the finite archimedean cutoff $T=800$; these are an artifact of that cutoff and absent once $T$ is increased, so the smallest-positive even-sector eigenvalue is the genuine smallest one (continuum positivity of $QW_\lambda$ is RH-equivalent and is not assumed at $\lambda=\sqrt{100}$). We make no claim of proof.

EKOR and BT stratifications for basic unramified $\mathrm{GU}(1,n-1)$ Rapoport-Zink spaces
math.NT
v2


Joseph Muller

In this paper, we establish the relation between the Ekedahl-Kottwitz-Oort-Rapoport stratification and the Bruhat-Tits stratification on basic unramified $\mathrm{GU}(1,n-1)$ Rapoport-Zink spaces with arbitrary parahoric level. More precisely, we prove that every basic EKOR stratum is a disjoint union of copies of an explicitly defined fine Deligne-Lusztig variety. Using this comparison and the closure relations for fine Deligne-Lusztig varieties, we give an explicit combinatorial description of the closure of every basic EKOR stratum. As further applications, we determine which KR strata are entirely contained in the basic locus, and we prove the smoothness of the irreducible components of the closure of certain EKOR strata.

Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond
math.NT
math.CO
math.LO
v3


Kenny Lau, Seewoo Lee, Ken Ono

The theory of $q$-series and basic hypergeometric series plays a crucial role at the intersection of combinatorics, number theory, and representation theory. From the classical partition identities of Euler and Jacobi to modern developments in class field theory, vertex operator algebras, and the Monstrous Moonshine conjecture, $q$-series provide the analytic framework for a wide range of profound applications. In this paper, we discuss the formalization of this theory in the Lean proof assistant, a process that requires careful design of scalable and versatile structures to reconcile formal algebraic identities with analytic convergence properties. We address these foundational challenges by focusing on the construction of $q$-Pochhammer symbols, $q$-binomial coefficients, Bailey's Lemma and similar primitives. To demonstrate the utility of this work, we provide fully verified proofs of the Jacobi Triple Product formula and the celebrated Rogers-Ramanujan identities, which serve as both historical and technical benchmarks for the field. This work establishes a rigorous computational foundation for the future formalization of mock theta functions, modular forms, and the diverse algebraic structures that underpin their applications across mathematics and physics. AxiomProver was used to produce the formalizations in this paper.

A finite Guinand-Weil dictionary and archimedean tail order for the truncated Weil quadratic form
math.NT
math.SP
v3


Akiva Groskin

The Connes-van Suijlekom and Connes-Consani-Moscovici truncations of the Weil quadratic form, at a prime cutoff c>1 and frequency band N, produce finite Galerkin matrices whose spectra are the finite-rank window on Weil positivity. We prove two exact finite theorems about this truncation. First, every real even Galerkin coefficient vector v determines, in closed form, a band-limited Guinand-Weil test function g_v whose zero sum over the nontrivial zeros of zeta equals the quadratic value exactly: every value of the truncated form is an exact sum over the zeros. The construction factors through an exact source quotient of dimension 2N+1 and admits a non-collapsing pole-neutral subfamily. Second, beyond the Galerkin band the omitted archimedean tail is a totally positive Cauchy-Stieltjes increment. This yields a two-sided certification rule with an explicit budget B_T ~ (2N+1) rho log(T) / (pi^2 T), where T is the archimedean cutoff and rho = 2 pi / log c: finite-cutoff positivity certifies cutoff-free positivity, a finite-cutoff eigenvalue below -B_T certifies a cutoff-free negative, and a negative eigenvalue in the band [-B_T, 0) certifies nothing. Resolving a spectral scale of 10^-59 at c=100 by brute cutoff would require T of order 10^63; a cutoff-free interval LDL^T factorization resolves it directly. The dictionary is verified over the first 512 zeros of zeta and by three independent computational routes; all scripts and artifacts ship with the paper. The paper makes no Riemann Hypothesis, prime-counting, next-prime, or factoring claim.

Improved Bounds for Distinct Multiples in Intervals
math.NT
math.CO
v2


Kaizhe Chen, Samuel Korsky

For $n\ge1$, let $F(n)$ be the least $H$ such that any $H$ consecutive integers contain $n$ pairwise distinct integers $a_1, a_2, \dots, a_n$ with $k \mid a_k$ for $1\le k\le n$, and define $h_{\mathbb P}(n)$ analogously for the primes at most $n$. We prove \[ F(n)\le n^{4/3}\exp\!\left(O\!\left(\frac{\log n}{\log\log n}\right)\right), \qquad h_{\mathbb P}(n)\ll \frac{n^{4/3}}{(\log n)^{1/3}}, \] and \[ F(n) \ge h_{\mathbb P}(n)\ge n\exp\!\left( \left(\frac{\log 2}{2}-o(1)\right) \frac{\log n}{\log\log n} \right). \] The upper bounds follow from a new estimate for unions of arithmetic progressions. The lower bound adapts a quadratic-residue compression construction of Green and Ruzsa.

Shalika germs for tamely ramified elements in $GL_n$
math.RT
math.AG
math.CO
math.NT
v4


Oscar Kivinen, Cheng-Chiang Tsai

We prove explicit combinatorial formulas for various germ expansions of orbital integrals of tamely ramified elements in $GL_n(F)$, where $F$ is a nonarchimedean local field. The relevant combinatorics arises from the theory of the elliptic Hall algebra and the representation-theoretic knot superpolynomials defined by Cherednik--Danilenko and Morton--Samuelson. As a byproduct, we give explicit formulas for the weight polynomials of affine Springer fibers in type A and standard orbital integrals of tamely ramified regular semisimple elements. Our formulas subsume most earlier facts about the structure of Shalika germs of $GL_n$ in the literature. As a further corollary, we show that point-counts of compactified Jacobians of locally planar curves are given by non-negative integral polynomials. Our results also provide further evidence for the Oblomkov-Rasmussen-Shende conjecture relating compactified Jacobians and HOMFLY-PT invariants of algebraic knots.

Continuum envelopes on Fargues-Fontaine curves and elliptic curves
math.AG
math-ph
math.MP
math.NT
v2


Heng Du, Qingyuan Jiang, Yucheng Liu

In this paper, we apply the theory of Bridgeland stability conditions, which was motivated by ideas from string theory, to study the derived category of coherent sheaves on Fargues--Fontaine curves. This leads us to consider the quasi-coherent sheaves $\mathcal{O}(\theta^{\pm})$ via the convergents of an irrational number $\theta$. We define the continuum envelope $\mathrm{QCoh}_{\mathbb{R}}(X{FF})$ to be the smallest abelian subcategory of $\mathrm{QCoh}(X_{FF})$ containing $\mathrm{Coh}(X_{FF})$ and $\mathcal{O}(\theta^{\pm})$. We study the homological algebra of $\mathrm{QCoh}_{\mathbb{R}}(X{FF})$ via Farey diagrams. We show that the homological properties of $\mathcal{O}(\theta^{\pm})$ depend heavily on the Diophantine properties of $\theta$. From this point of view, Fargues--Fontaine curves exhibit strong similarities to complex elliptic curves.

Schubert cells and Whittaker functionals for $\text{GL}(n,\mathbb{R})$ part I: Combinatorics
math.RT
math.NT
v3


Doyon Kim

We give a formula for a birational map on the Schubert cell associated to each Weyl group element of $G=\text{GL}(n)$. The map simplifies the UDL decomposition of matrices, providing structural insight into the Schubert cell decomposition of the flag variety $G/B$, where $B$ is a Borel subgroup. An application of the formula includes a new proof of the existence of Whittaker functionals for principal series representations of $\text{GL}(n,\mathbb{R})$ via integration by parts. In this paper, we establish combinatorial properties of the birational map and prove auxiliary results.

Schubert cells and Whittaker functionals for $\text{GL}(n,\mathbb{R})$ part II: Existence via integration by parts
math.RT
math.NT
v3


Doyon Kim

We give a new proof of the existence of Whittaker functionals for principal series representation of $\text{GL}(n,\mathbb{R})$, utilizing the analytic theory of distributions. We realize Whittaker functionals as equivariant distributions on $\text{GL}(n,\mathbb{R})$, whose restriction to the open Schubert cell is unique up to a constant. Using a birational map on the Schubert cells, we show that the unique distribution on the open Schubert cell extends to a distribution on the entire space $\text{GL}(n,\mathbb{R})$. This technique gives a proof of the analytic continuation of Jacquet integrals via integration by parts. We briefly discuss an application of the method to the Bessel functions on $\text{GL}(n,\mathbb{R})$.

The VC-dimension of random subsets of finite groups
math.CO
math.NT
math.PR
v2


Brad Rodgers, Anurag Sahay

For a random subset of a finite group $G$ of cardinality $N$, we consider the VC-dimension of the family of its translates (equivalently the VC-dimension of a random Cayley graph) and prove a law of large numbers as $N\rightarrow\infty$. This answers a question of McDonald--Sahay--Wyman.

Ind-Banach approach to Grothendieck duality in Rigid-analytic geometry
math.AG
math.NT
v3


Arun Soor

We prove a duality theorem for quasi-compactly supported cohomology of quasi-coherent sheaves on rigid-analytic spaces, with respect to a smooth and Kiehl partially-proper morphism. This includes an identification of the dualizing object with volume forms. The functional analysis underlying our theory does not use condensed mathematics, but rather Ind-Banach spaces, following Ben-Bassat--Kelly--Kremnizer.

How Random Is the M\"obius Function? Smoothing, Probability, and the Riemann Hypothesis
math.PR
math.NT
v2


Alberto Verjovsky

This article is primarily expository, but it also contains several new observations and reformulations concerning the M\"obius function, probabilistic models, dynamical systems, and the Riemann hypothesis. Its starting question is classical: in what sense can the M\"obius function be said to behave randomly? We begin with Denjoy's random-walk heuristic and place it in the context of later work on random multiplicative functions, short intervals, and M\"obius pseudorandomness. We then develop two smoothing forms of the classical Mertens criterion for the Riemann hypothesis. The first uses the discrete Laplace transform \[ \Phi(t)=\sum_{n\geq1}\mu(n)e^{-nt} \] and identifies RH with the condition \[ \Phi\in L^p(0,\infty) \qquad\text{for every }1\leq p<2. \] The second uses normalized M\"obius Fourier polynomials and local moments on arcs of length comparable with \(1/N\). The paper also revisits the author's earlier criterion for RH in terms of discrete measures, as presented in Broughan's account of analytic equivalents of RH. Denjoy's heuristic is made precise in a simple independent coefficient model, and this model is carefully distinguished from the modern theory of random multiplicative functions. The resulting coefficient space also gives a measure--category contrast: the relevant \(L^p\)-property has full measure but is topologically meagre. A further point of the paper is dynamical: the multiplicative semigroup of positive integers acts naturally on the coefficient space, and the M\"obius sequence is a distinguished arithmetic point for this action. The aim throughout is explanatory, while keeping these new observations visible: to show how arithmetic, probability, Fourier analysis, Mellin transforms, and dynamics fit together, and to indicate what modern results add to the older random-walk picture.

Near optimal three-fold additive energy bound for points on convex curves
math.CA
math.CO
math.NT
v2


Adam Cushman, Ciprian Demeter, Shukun Wu

Let $X\subset\mathbb{R}$ be finite and let $\gamma(t)=(t,f(t))$, where $f$ is strictly convex. We show that \[ J_3(\gamma(X)) =\#\{(x_1,\ldots,x_6)\in X^6:\sum_{i=1}^3\gamma(x_i)=\sum_{i=4}^6\gamma(x_i)\} \ll_{\varepsilon}|X|^{3+\varepsilon}. \] As applications, we prove that $|A-A|\gg_{\varepsilon}|A|^{5/3-\varepsilon}$ and $|A+A|\gg_{\varepsilon}|A|^{8/5-\varepsilon}$ for any convex sequence $A\subset \mathbb{R}$.