Number Theory [math.NT]

Improvements to Jacobian Arithmetic in Global Function Fields

math.NT

We present two improvements to arithmetic in the Jacobian of global function fields based on the approach of Hess. The first reduces the number of expensive reduction steps by optimizing for typical inputs rather than worst-case behavior, assuming the function field contains a degree-one place. The second introduces a memory-time trade-off that speeds up computations by caching frequently used intermediate results. Our asymptotic analysis and empirical experiments show that our improved algorithms are significantly faster in practice than previously published methods. To the best of our knowledge, our publicly-available software implementation of Jacobian arithmetic is the first to support unique representatives of divisor classes.

Counting solutions to the quadratic determinant equation

math.NT

Given $h, N \in \mathbb{N}$ satisfying $1 \leqslant h \leqslant N^2$, we prove an asymptotic formula for the number of solutions to the equation $x_1 x_2 - x_3 x_4 = h$ with $x_1, \ldots, x_4 \in [-N,N] \cap \mathbb{Z}$. We use a combination of combinatorial and analytic arguments in physical space along with bounds for Kloosterman sums. Our main result concerns the case when $h = N^2 + O(N)$, wherein we obtain square-root cancellation error terms by bypassing Kloosterman sum bounds and exploiting an additional symmetry available in this setting via Ramanujan sums. This confirms a speculation of Dhanda-Haynes-Prasala in a very general form.

Explicitly combing hedgehogs over fields of Stufe 4

math.NT

math.AG

Let $K[x,y,z]=K[X,Y,Z]/(X^2+Y^2+Z^2-1)$ be the coordinate ring of the algebraic unit sphere over a field $K$. Umberto Zannier showed that there exists a matrix in $\operatorname{SL}_3(K[x,y,z])$ with first row $(x,y,z)$ for $K=\mathbb Q_p$, the field of $p$-adic numbers for an odd prime $p$, or more generally, if $-1$ is a sum of two squares in $K$. The case $K=\mathbb Q_2$ remained open and was subsequently posed and discussed by Zannier with numerous researchers, thereby bringing the problem to broader attention. In 2025, Alexey Ananyevskiy and Marc Levine showed that such a matrix exists if and only if $K$ has Stufe at most $4$, equivalently, if there exist $a,b,c,d\in K$ such that $a^2+b^2+c^2+d^2=-1$. Since $\mathbb Q_2$ has Stufe $4$, this settled Zannier's problem. Their proof is purely existential and does not provide an explicit matrix. In this note, we construct an explicit example in terms of $a,b,c,d$ and describe the computational techniques used to find it.

On the Face Map of the Admissible Set With Iwahori Level

math.NT

math.RT

To each face $\mathcal{F}$ of the coweight polytope $\mathcal{P}_{\mu}$, we associate a subset $\text{Adm}(\mu)_{\mathcal{F}}$ of the $\mu$-admissible set $\text{Adm}(\mu)$, which we refer to as a face of $\text{Adm}(\mu)$. This gives rise to a face decomposition of $\text{Adm}(\mu)$. As an application, we give a complete description of the fibers of the face map $|\Delta|^f$ defined by Pappas-Rapoport and prove that the face map is surjective.

Bailey pairs, Eichler integrals and unified Witten-Reshetikhin-Turaev invariants

math.NT

math.GT

math.QA

In 1999, Lawrence and Zagier expressed the Witten-Reshetikhin-Turaev (WRT) invariant of the Poincar\'e homology sphere as the limiting value of the Eichler integral of a weight 3/2 modular form. Habiro's construction of the unified WRT invariant subsequently recast this result as an identity for a $q$-hypergeometric series at roots of unity. This motivated Hikami to prove analogous $q$-series identities involving the unified WRT invariants of certain Brieskorn homology spheres. Hikami also made several conjectures of a similar type for $q$-series with no apparent connection to quantum invariants. In this paper we use the Bailey pair machinery and a novel relation between incomplete quadratic Gauss sums with periodic coefficients to construct infinite families of identities between $q$-multisums at roots of unity and limiting values of Eichler integrals of weight 3/2 modular forms. These identities include all of Hikami's results and conjectures as well as a generalization of the result of Lawrence and Zagier.

Positive density for Sun's $2^k+m$ conjecture

math.NT

In 2013, Zhi-Wei Sun proposed a Romanov-type conjecture stating that every integer $n > 1$ can be written as $n = k + m$ with $k, m \ge 1$ such that $2^k + m$ is a prime. In this paper, we unconditionally prove that the natural numbers satisfying this property have a positive density. We compute this density to be at least $0.0734$. We also discuss the limitations of our method. Under a uniform Hardy-Littlewood prime pairs conjecture, we show that the lower bound of density obtained by this method cannot exceed $1/(\log 2 + 1) \approx 0.5906$.

Eisenstein circle packings and the Eisenpint Schmidt arrangement

math.NT

math.MG

The Schmidt arrangement of an imaginary quadratic number field $K$ is the orbit of the extended real line under $\text{PSL}(2, \mathcal{O}_K)$ as M\"obius transformations on the extended complex plane. If $K\neq\mathbb{Q}(\sqrt{-3})$, then the resulting set of circles can only intersect tangentially, leading to various classes of integral circle packings, including Apollonian circle packings. When $K=\mathbb{Q}(\sqrt{-3})$, circles can intersect at angles of $\frac{\pi}{3}$ and $\frac{2\pi}{3}$, making it unclear how to extract circle packings from the arrangement. The goal of this paper is to study a modification of the $\mathbb{Q}(\sqrt{-3})-$Schmidt arrangement called the "Eisenpint Schmidt arrangement" and associated integral "Eisenstein circle packings". In analogy to the study of Apollonian circle packings, we study the number theory of such packings, including associated families of quadratic forms, show the Eisenpint Schmidt arrangement is formed of exactly all primitive Eisenstein circle packings, show strong approximation and classify congruence obstructions, prove a density-one local-global statement, and find quadratic -- but alas no cubic -- reciprocity obstructions. Unexpected aspects of the Eisenstein case include the role of congruence subgroups, the bipartite nature of the packings and reciprocity obstructions, the coefficients of quadratic obstructions, an abundance of extra symmetry, and the need to use "first-odd" quadratic forms.

Duality of analytic Hopf algebras and the Amice transform

math.NT

math.AG

math.FA

We construct global versions of the analytic Hopf algebras used in the $p$-adic Fourier theory of Amice and Mahler over a general Banach ring, independently of the choice of prime $p$. This is done by generalising K\"othe echelon and coechelon spaces to an arbitrary base Banach ring $R$ and proving reflexivity and nuclearity results. We show how to define an analytic Hopf algebra structure on them and investigate their duality theory. The particular case of the Hopf algebra of analytic functions converging on the open unit disk around $1$ and its dual is studied in detail. Amice duality is recovered from this case by base-change to a $p$-adic ring. Most notably, when $R$ is the ring of integers with the trivial norm, we obtain a global analytic version of Amice duality that does not depend on $p$.

Hecke Eigenvalues of Ikeda Lifts

math.NT

In this paper, we study the Hecke eigenvalues of Ikeda lifts. Using the spherical map for the Hecke algebra of the symplectic group, we obtain an explicit formula for the eigenvalues $\lambda_F(p^r)$. From this formula, we show that $\lambda_F(p^r)$ can be written as a polynomial in $p^{\pm 1/2}$ with a positive leading term. Furthermore, we prove that the coefficients of this polynomial are bounded and, as a consequence, the Hecke eigenvalues $\lambda_F(p^r)$ are positive for all sufficiently large primes $p$.

On Drinfeld's representability theorem

math.NT

math.AG

In the seventies, V. G. Drinfeld proved that a moduli problem of deformations by quasi-isogenies of certain $p$-divisible groups with extra actions is representable by an explicit semi-stable model of the $p$-adic symmetric space. This theorem, known as \emph{Drinfeld's representability theorem}, has been one of the cornerstones of geometric aspects in $p$-adic Hodge theory. The purpose of these notes is twofold. On the one hand we give a new and more transparent proof of Drinfeld's representability theorem; on the other hand, we give a detailed presentation of Drinfeld's moduli space and the formal model of the $p$-adic symmetric space.

Extensions of the Furstenberg-S\'ark\"ozy theorem via the arithmetic level-$d$ inequality

math.NT

math.CO

Very recently, Green and Sawhney obtained a quasipolynomial bound in the Furstenberg--S\'ark\"ozy theorem for square differences by proving an ''arithmetic level-$d$'' inequality, thereby yielding a greatly improved density increment scheme. We adapt their method to general intersective polynomials $h\in\mathbb{Z}[x]$ and obtain an analogous quasipolynomial upper bound for the largest subset of $\{1,2,\dots,X\}$ whose difference set contains no nonzero element of the form $h(n)$ with $n\in \mathbb{Z}$. This is the best quantitative upper bound presently known for sets lacking intersective polynomial differences. In contrast to the square case, extending the method to general intersective polynomials requires performing a density increment iteration in which the underlying polynomial changes at each step; a key contribution of this paper is to show that the arithmetic level-$d$ inequality remains effective uniformly across all auxiliary polynomials arising in the iteration. We also develop smoothly weighted versions of the exponential sum estimates of Rice.

A Weyl-type theorem for Diophantine approximations driven by LCA groups and applications

math.DS

math.CA

math.NT

We investigate actions of locally compact Abelian (LCA) groups on the torus $\mathbb{T}^n$, motivated by their close connection with Diophantine approximation. While Kronecker's theorem yields a classical density result, we prove a stronger equidistribution theorem of Weyl type: every such action admits a decomposition into uniquely ergodic subsystems. The proof of this result is based on a characterization of unique ergodicity for actions of amenable groups on compact metric spaces. As consequences, we establish several foundational results for LCA groups, including the Bohr orthogonality of characters along arbitrary Folner sequences, a Bohr mean formula for almost periodic functions, and a Wiener-type theorem on LCA groups characterizing the discrete part of a Borel probability measure through its Fourier transform.

Local newforms for generic representations of $p$-adic ${\rm SO}_{2n+1}$: Reduction

math.RT

math.NT

We prove that if the space of newforms is non-zero for every irreducible generic supercuspidal representation of ${\rm SO}_{2n+1}$ then it is also non-zero for all irreducible generic representations of ${\rm SO}_{2n+1}$.

A new construction of permutation polynomials over $\mathbb{F}_{q^3}$

math.CO

math.NT

We determine all permutation polynomials among several families of polynomials over $\mathbb{F}_{q^3}$ for arbitrary prime powers $q$. We obtain some new families of permutation polynomials over $\mathbb{F}_{q^3}$ with simple coefficients for infinitely many characteristics. As a specific consequence, our results resolve the generalization of conjectures of Zhang, Zheng, Wang, Peng, and Li in the even characteristic. Our proofs are conceptually short and involve no complicated computations, in contrast to the proofs of results on permutation polynomials which were published previously. Moreover, we develop a totally new systematic method in this paper for the study of permutation polynomials.

On the number of directions formed by Cartesian products in $\mathbb{F}_{p^2}^2$

math.CO

math.NT

We prove a lower bound on the number of directions determined by Cartesian products $A\times A$ in the affine plane over the finite field $\mathbb F_{p^2}$. Our lower bound holds for sets of size $p^{2/3}<|A|

Evaluation of two determinants involving $q$-integers

math.CO

math.NT

The $q$-analogue of an integer $m$ is given by $[m]_q=(1-q^m)/(1-q)$. Let $a$ be an integer, and let $n$ be a positive odd integer. Via discrete Fourier transforms, we establish the following two identities: $$\det\left[\left[\left\lfloor\frac{aj-(a+1)k}n\right\rfloor\right]_q\right]_{1\leqslant j,k\leqslant n}=-\left(\frac{a(a+1)}n\right)q^{(1-3n)/2}$$ and $$\det\left[\left[\left\lceil\frac{(a+1)j-ak}n\right\rceil\right]_q\right]_{1\leqslant j,k\leqslant n}=\left(\frac{a(a+1)}n\right)q^{(n-1)/2},$$ where $(\frac{\cdot}n)$ denotes the Jacobi symbol.

Ordinary local representations and $\Ext$ groups

math.NT

v4

We can associate an admissible unitary representation $\Pi(\rho_p)$ of $\GL_2(\Q_p)$ with every local Galois representation $\rho_p$ by the $p$-adic local Langlands correspondence. If $\rho_p$ is ordinary, we prove local and global vanishing results for $\Ext$ functors with respect to these representations.

Nonzero $\mathfrak{n}$-cohomology of Totally Degenerate Limit of Discrete Series representations

math.NT

v2

We show that a totally degenerate limit of discrete series representation admits a choice of n-cohomology group that is nonvanishing at a canonically defined degree. We then show that these groups satisfy Serre duality. This produces two n-cohomology groups, each for a totally degenerate limit of discrete series of U(n+1) and U(n), which are nonvanishing at the same degree. This suggests Gan-Gross-Prasad type branching laws for the TDLDS of unitary groups of any rank. We conclude by constructing an intertwining map of TDLDS for SU(2,1) and SU(1,1). This map will vanish on the minimal K type but induce a non-vanishing map of cohomology.

Character sums to prime power moduli evaluated at binary quadratic forms

math.NT

v3

We establish estimates for short character sums to prime power moduli evaluated at binary quadratic forms. This complements estimates established by Heath-Brown for such character sums to squarefree moduli. Our approach uses $p$-adic analysis. More precisely, we use tools from the $p$-adic theory of exponential sums, as initiated by Mili\'cevi\'c.

Folkman's theorem and the primes

math.NT

math.CO

v3

We provide two new proofs of the infinitude of prime numbers, using the additive Ramsey-theoretic result known as Folkman's theorem (alternatively, one can think of these proofs as using Hindman's theorem). This adds to the existing literature deriving the infinitude of primes from Ramsey-type theorems.

Local newforms for generic representations of $p$-adic ${\rm SO}_{2n+1}$: Uniqueness

math.NT

v3

The conjectural theory of local newofmrs for the split $p$-adic group ${\rm SO}_{2n+1}$, proposed by Gross, predicts that the space of local newforms in a generic representation is one-dimensional. In this note, we prove that this space is at most one-dimensional and verify its expected arithmetic properties, conditional on existence. These results play an important role in our proof of the existence part of the newform conjecture.

Metric properties of continued fractions with large prime partial quotients

math.NT

v2

Let $x \in [0,1)$ with continued fraction expansion $[a_1(x),a_2(x),\dots]$, and let $\phi:\mathbb{N}\to\mathbb{R}^+$ be a non-decreasing function. We consider the numbers whose continued fraction expansions contain at least two partial quotients that are simultaneously large and prime, that is \[ E'(\phi):=\Big\{x\in[0,1): \exists\, 1\leq k\neq l\leq n, \ a'_{k}(x),\ a'_{l}(x)\geq\phi(n) \ \text{for i.m. } n\in\mathbb{N}\Big\}, \] where $a'_i(x)$ denotes $a_i(x)$ if $a_i(x)$ is prime and $0$ otherwise. We establish a zero-one law for the Lebesgue measure of $E'(\phi)$ and determine its Hausdorff dimension.

A discrete approach to Dirichlet L-functions, their special values and zeros

math.NT

v3

We develop a discrete spectral framework for Dirichlet $L$-functions that reveals a combinatorial structure underlying their special values and connects this to their zeros. Our approach approximates the classical Dirichlet series by finite spectral sums $L_n(s,\chi)$ associated with cyclic graphs $\mathbb{Z}/n\mathbb{Z}$ and studies their asymptotics as $n\rightarrow \infty$. Combining a refined Euler Maclaurin expansion with a structural polynomiality property, we show that at integer arguments the asymptotic expansions terminate and yield exact identities. This asymptotic to exact principle produces new infinite families of relations among special values of Dirichlet $L$-functions and recovers, by a different mechanism, formulas previously obtained by Xie, Zhao and Zhao. An interesting feature of our method is that $\zeta(2n)$ and the corresponding special values for all Dirichlet $L$-functions thereby admit a finite combinatorial interpretation in terms of rooted spanning forests on any fixed cyclic graph. Concerning zeros, the same framework leads to some remarks about real zeros and a reformulation of the Generalized Riemann Hypothesis in the case of odd primitive characters in terms of an asymptotic functional equation relating $\xi_n(1-s,\overline{\chi})$ to $\xi_n(s,\chi)$ of the completed discrete functions. This establishes the remaining case of the one dimensional picture obtained in earlier works.

Improved Bounds for 3-Progressions

math.NT

math.CO

v3

We prove that if $A\subset \{1,\dots,N\}$ has no nontrivial three-term arithmetic progressions, then $|A|\leq \exp(-c\log(N)^{1/6}\log\log(N)^{-1})N$ for some absolute constant $c>0$. To obtain this bound, we use an iterated variant of the sifting argument of Kelley and Meka, as well as an improved bootstrapping argument for Croot-Sisask almost-periodicity due to Bloom and Sisask.

Some geometric series for Euler's constant

math.NT

math.CO

v4

We provide representations of Euler's constant $\gamma=0.577...$ as series which converge geometrically fast (but use coefficients whose computation induces a quadratic cost). The asymptotic oscillations of these coefficients are discussed.

Statistics of the Genus Number of $S_3 \times C_q$ and $D_4$-fields

math.NT

v2

The genus number of a number field is a fundamental invariant which measures the contribution of ramification to its ideal class group. In this paper, we establish the statistics for the genus number for $S_3\times C_q$-fields for $q\neq 3$ a prime number, $D_4$-fields and pure quartic fields. We also obtain precise results on the average and higher moments of the genus distribution within the family of $S_3\times C_q$-fields. Finally, based on heuristics, we formulate a conjecture identifying families for which one should expect the genus density to be zero, i.e., only a density zero subset of fields in the family attains any fixed genus number.

Meromorphic vector bundles on the Fargues--Fontaine curve

math.AG

math.NT

v3

We introduce and study the stack of \textit{meromorphic} $G$-bundles on the Fargues--Fontaine curve. This object defines a correspondence between the Kottwitz stack $\mathfrak{B}(G)$ and $\operatorname{Bun}_G$. We expect it to play a crucial role in comparing the schematic and analytic versions of the geometric local Langlands categories. Our first main result is the identification of the generic Newton strata of ${\operatorname{Bun}}_G^{\operatorname{mer}}$ with the Fargues--Scholze charts $\mathcal{M}$. Our second main result is a generalization of Fargues' theorem in families. We call this the \textit{meromorphic comparison theorem}. It plays a key role in proving that the analytification functor is fully faithful. Along the way, we give new proofs to what we call the \textit{topological and schematic comparison theorems}. These say that the topologies of $\operatorname{Bun}_G$ and $\mathfrak{B}(G)$ are reversed and that the two stacks take the same values when evaluated on schemes.

Abstract divisorial spaces and arithmetic intersection numbers

math.AG

math.NT

v2

Yuan and Zhang introduced arithmetic intersection numbers for adelic line bundles on quasi-projective varieties over a number field. Burgos and Kramer generalized this approach allowing more singular metrics at archimedean places. We introduce abstract divisorial spaces as a tool to generalize these arithmetic intersection numbers to the setting of a proper adelic base curve in the sense of Chen and Moriwaki. We also allow more singular metrics at non-archimedean places using relative mixed energy there as well.

Power monoids and their arithmetic: a survey

math.RA

math.CO

math.NT

v3

The non-empty finite subsets of a multiplicatively written monoid form a monoid under setwise multiplication. The same holds for finite subsets containing the identity element. Partly due to their unusual arithmetic properties, these structures, generically known as power monoids, have attracted increasing attention in recent years, stimulating new perspectives in the study of factorizations in non-cancellative or non-commutative settings. We survey these developments and briefly review some related aspects.

$p$-adic Linear Regression for Random Sampling with Digitwise Noise

stat.CO

math.NT

math.ST

stat.TH

v2

We propose a new probabilistic algorithm of $p$-adic linear regression for random sampling with digitwise noise. This includes a new probabilistic algorithm of modulo $p$ linear regression.