Number Theory [math.NT]

Sharp Bounds for Moments of the Dedekind Zeta Function

math.NT

Assuming the Generalized Riemann Hypothesis, we establish upper bounds of conjectural order of magnitude for shifted moments of the Dedekind zeta function associated with a finite Galois extension. This improves results of Milinovich and Turnage-Butterbaugh and extends a recent result of Hagen.

Cohomological Obstructions for Varieties over $p$-adic Function Fields

math.NT

We introduce various cohomological obstructions for smooth integral varieties over $p$-adic function fields. We show that the unramified obstruction is the finest one among obstructions arising from arithmetic dualities. We also construct an explicit example whose unramified obstruction gives a proper obstruction while Manin obstruction does not. Finally, we compare the unramified obstruction with the descent obstruction.

Separable integer partition classes and Slater's list -- II

math.NT

math.CO

Slater's list of Rogers-Ramanujan type identities remains a central source of striking series-product formulas in the theory of partitions and basic hypergeometric series. Although many of these identities admit elegant analytic proofs through Bailey pairs, Bailey chains, or transformations of basic hypergeometric series, the partition-theoretic meaning of their series sides is often much less apparent. In this paper, which continues the program initiated in arXiv:2603.14179, we apply Andrews' theory of separable integer partition classes to further identities from Slater's list. We construct a strict overpartition class and two families of overpartitions with positional gap conditions, in which overlining is permitted only at alternating positions. Their multivariate generating functions give natural refinements of the series sides of Slater's identities (12), (28), (29), (47), (48), (50), and (51). We then use Heine-type transformations, a limiting form of Heine's transformations, Watson's $q$-analogue of Whipple's theorem, and classical theta-product identities to obtain alternative series representations and recover the associated products. In addition, we derive a new companion identity to a Slater identity and a signed companion formula. Our results further demonstrate that SIP classes provide a flexible framework for converting basic hypergeometric series into structured partition generating functions, while simultaneously producing refinements, transformations, and new Rogers-Ramanujan type identities.

On Franke's theorem in the simplest case

math.NT

math.RT

math.SP

For level one spherical automorphic forms on the upper half-plane, we prove directly that every automorphic form is a sum of a cusp form and a linear combination of Laurent coefficients of the standard Eisenstein series. This is the simplest instance of Franke's general theorem, which asserts that automorphic forms on a reductive group are spanned by Laurent coefficients of Eisenstein series induced from cuspidal automorphic forms on Levi subgroups. Unlike Franke's general argument, ours does not invoke Langlands' construction of the discrete automorphic spectrum from cuspidal Eisenstein series. It rests instead on basic analytic properties of automorphic forms and Green's identity.

Large common values of generalized Ankeny-Brauer-Chowla recurrences

math.NT

In this paper we count the number of common values shared by two linear recurrence sequences, whose characteristic polynomials are a generalized Ankeny-Brauer-Chowla polynomial and its reciprocal. More precisely, we show that these sequences have at most two sufficiently large common values. Our proof combines Baker's theory of linear forms in logarithms of algebraic numbers with techniques from function field theory and from Galois theory.

Sign law for Ramanujan's third order mock theta function $\rho(q)$

math.NT

We study the coefficients of Ramanujan's third order mock theta function \[ \rho(q)=\sum_{m\geq 0} \frac{q^{2m(m+1)}}{(1+q+q^2)(1+q^3+q^6)\cdots(1+q^{2m+1}+q^{4m+2})} =\sum_{n\geq 0}r(n)q^n. \] Numerical evidence suggests the striking sign pattern \[ r(3n)>0,\qquad r(3n+1)\leq 0,\qquad r(3n+2)\leq 0. \] We prove an asymptotic form of this phenomenon. More precisely, using Watson's relation between $\rho(q)$ and $\omega(q)$, together with a Rademacher-type expansion for the coefficients of $\omega(q)$ and the corresponding expansion for a theta--eta product, we show that \[ r(n)\sim \kappa_{n\bmod 3}\, \frac{2\pi}{(12n+8)^{1/4}} I_{1/2}\!\left(\frac{\pi\sqrt{12n+8}}{18}\right), \] where \[ \kappa_0=\frac13\cos\frac{\pi}{18}>0, \qquad \kappa_1=-\frac13\sin\frac{2\pi}{9}<0, \qquad \kappa_2=-\frac13\sin\frac{\pi}{9}<0. \] Consequently, \[ r(3n)>0, \qquad r(3n+1)<0, \qquad r(3n+2)<0 \] for all sufficiently large $n$.

Transversal Difference Numbers in Finite Abelian Quotients

math.NT

cs.CR

cs.DM

math.CO

Given \(H\leq G\) finite abelian groups, a transversal \(T\subseteq G\) for \(G/H\) has fixed size \(|G/H|\), but its ambient difference support \(D(T)=T-T\) can vary with the embedding of \(H\) in \(G\). We call $ \delta(G,H)=\min_T |D(T)| $ the transversal difference number of the pair \((G,H)\). This invariant is related to finite abelian factorisation, tiling complements, and small-sumset questions, and is motivated by recent work regarding ambient Galois labels in CRT transforms for cyclotomic-subfield homomorphic encryption. We prove various results regarding this invariant, including a general lower bound $\delta(G,H)\geq 2|G/H|-m(G,H), $ where \(m(G,H)\) is the largest order of a subgroup of \(G\) disjoint from \(H\). The bound is sharp for cyclic quotients, and Kneser's theorem gives a cross-transversal estimate leading to exact product families with one nonsplit cyclic coordinate and arbitrary split factors. These results isolate the first genuinely new residual obstruction, namely the same-prime square plane \[ G=(\mathbb Z/p^2\mathbb Z)^2,\qquad H=pG. \] For odd \(p\), this case is the technical core of the paper. Here transversals are graphs of functions \(\mathbb F_p^2\to \mathbb F_p^2\), and \(D(T)\) decomposes into carry-corrected finite-field derivative images. We conjecture that \[ \delta(G,H)=(2p-1)^2 \] for all odd primes \(p\), prove the unconditional lower bound \(3p^2-p-1\), and give small-prime, probabilistic, and fixed-polynomial evidence for the conjecture.

The Natural Extension for the Triangle Map (a Multi-dimensional Continued Fraction) with An Internal Symmetry from Young Conjugation

math.NT

math.DS

The natural extension of the triangle map (a type of multi-dimensional continued fraction algorithm) is completely described in all possible dimensions. The motivation and inspiration for this natural extension stems from the triangle map's recent link to the classical study of integer partitions. Inspired by Young conjugation for integer partitions, we show that the natural extension has an internal symmetry and allows the natural extension to be subdivided into four natural subdomains. This appears to be new even for the classical case of the natural extension for continued fractions, namely for both the classical Gauss map and the classical Farey map.

Perfect powers in sequences of polygonal numbers

math.NT

Let $P_s(n)$ denote the $n$-th $s$-gonal number. Consider the Diophantine equation $P_{s}(n) = t^{m}$ for integers $n, s, t$ and $m > 2$. All solutions to this equation are known for $m>2$ and $s\in\{3,5,6,8,10,20\}$. Here we extend these results to the cases $s = 2k+4$ (where $k = 4,6$ or $5 \leq k \leq 97$ is a prime number) and $s = k+4$ (where $k = 9,15$ or $3 \leq k \leq 97$ is a prime number). The proofs of our results use the modular and hypergeometric methods, linear forms in logarithms and extensive calculations. We were unable to completely solve the above Diophantine equations, but we expect (based on GRH and the weak effective $abc$ conjecture) that there will be no additional solutions beyond those explicitly shown in Theorems~1, 2 and 3.

Kontsevich graphs associated with specific multiple zeta values

math.QA

math.NT

The primary aim of this paper is to provide an explicit construction of Kontsevich graphs whose integrals give certain multiple zeta values. Furthermore, by using this construction, we explicitly determine the weights of $\mathbb{Z}$-linear combinations of graphs whose integrals yield normalized multiple zeta values of a given weight. The methods employed in this paper are based on those introduced by Ritland, and our results provide a refinement of his results.

Series involving parametric harmonic zeta function

math.CV

math.NT

This paper investigates the analytic structure of the parametric harmonic zeta function \[ \zeta_{H}\left( s,a,b\right) =\sum_{n=0}^{\infty}\frac{H_{n}\left( a\right) }{\left( n+b\right) ^{s}}, \] where $H_{n}\left( a\right) $ denotes the $n$th generalized harmonic number. We first establish the meromorphic continuation of $\zeta_{H}\left(s,a,b\right) $ to the whole complex plane, except for a set of poles, and explicitly determine the residues at its poles. Secondly, we derive the Taylor expansion of $\zeta_{H}\left( s,a,b+t\right) $ around $t=0$, serving as a generating function that enables generalizations of several classical identities of Landau, Singh-Verma, and Srivastava to the harmonic zeta setting. We then develop explicit expressions for the associated harmonic Stieltjes constants $\gamma_{H,-v}\left( m,a,b\right) ,$ $v\in\mathbb{N} \cup\left\{ -1,0\right\} $. These formulas include cases for which no closed forms were previously available, such as $\gamma_{H,-v}\left( m,a\right) $ and $\gamma_{H,-v}\left( m\right) ,$ $v\in\mathbb{N}\cup\left\{ 0\right\} $. Finally, we introduce a new special function, the harmonic digamma function, and show that it shares key analytic properties with the classical digamma function, including difference equations, derivative identities, and Taylor series expansion.

Average divisibility in character tables of $\mathrm{GL}_2(\mathbb{F}_q)$

math.RT

math.CO

math.NT

Let $q$ range over odd prime powers and let $G_q=\mathrm{GL}_2(\mathbb{F}_q)$. Fix a prime number $\ell$. Motivated by work of Peluse and Soundararajan on Miller's conjecture for character tables of symmetric groups, we study the proportion of entries in the character table of $G_q$ which are not divisible by $\ell$, in the sense of divisibility in the ring of algebraic integers. We prove that $N_\ell(q)=\frac{q^4}{2}+O_\epsilon(q^{3+\epsilon})$ for every $\epsilon>0$, where $N_\ell(q)$ denotes the number of entries which are not divisible by $\ell$. We also show that the number of zero entries is $\frac{q^4}{2}+O_\epsilon(q^{3+\epsilon})$. Consequently, the proportion of all entries not divisible by $\ell$ tends to $1/2$, while the proportion of nonzero entries not divisible by $\ell$ tends to $1$. This differs significantly from the symmetric-group case, where almost every character-table entry is divisible by any fixed prime. We also prove an angular equidistribution result for the nonzero character values as $q\to\infty$. We show that the arguments become equidistributed in $[0,2\pi]$. This proves an analogue of Miller's question on the distribution of signs among the nonzero entries in character tables of symmetric groups.

Stability of the exterior cube $\gamma$-factors for $\mathrm{GL}(6)$

math.RT

math.NT

We prove the stability of the Langlands-Shahidi local $\gamma$-factor for the exterior cube representation of $\mathrm{GL}_6$. More precisely, if $\pi_1$ and $\pi_2$ are irreducible admissible generic representations of $\mathrm{GL}_6(F)$ with the same central character, then \[ \gamma(s,\pi_1\otimes\chi,\wedge^3,\psi)= \gamma(s,\pi_2\otimes\chi,\wedge^3,\psi) \] for every sufficiently ramified character $\chi$ of $F^\times$, where $\chi$ is regarded as a character of $\mathrm{GL}_6(F)$ through the determinant. The proof uses the realization of the exterior cube representation by the maximal parabolic subgroup of the simply connected group of type $E_6$. We give an explicit description of the relevant geometric quotient $U_M\backslash N'$, compute its invariant measure, and relate Shahidi's partial Bessel functions to partial Bessel integrals on the Levi subgroup. The desired stability then follows from an asymptotic expansion of these partial Bessel integrals and the vanishing of highly ramified Mellin transforms.

Higher Hida theory for Hilbert modular varieties in the totally split case

math.NT

math.AG

v4

We study $p$-adic properties of the coherent cohomology of some automorphic sheaves on the Hilbert modular variety $X$ for a totally real field $F$ in the case where the prime $p$ is totally split in $F$. More precisely, we develop higher Hida theory \`{a} la Pilloni, constructing, for $0\leq q\leq [F:\mathbb{Q}]$, some modules $M^q$ which $p$-adically interpolate the ordinary part of the cohomology groups $H^q(X, \underline{\omega}^{\kappa})$, varying the weight $\kappa$ of the automorphic sheaf.

Modular resurgent structures

math.NT

hep-th

math-ph

math.CV

math.MP

v3

The theory of resurgence uniquely associates a factorially divergent formal power series with a collection of exponentially small non-perturbative corrections paired with a set of complex numbers known as Stokes constants. When the Borel plane displays a single infinite tower of singularities, the secondary resurgent series are trivial, and the Stokes constants are coefficients of an $L$-function, a rich analytic number-theoretic fabric underlies the resurgent structure of the asymptotic series. We propose a new paradigm of modular resurgence that focuses on the role of the Stokes constants and the interplay of the $q$-series acting as their generating functions with the corresponding $L$-functions. Guided by two pivotal examples arising from topological string theory and the theory of Maass cusp forms, we introduce the notion of modular resurgent series, which we conjecture to have specific summability properties as well as to be related to quantum modular forms.

Effective Brauer-Siegel theorems for Artin $L$-functions

math.NT

v2

Given a number field $K \neq \mathbb{Q}$, in a now classic work, Stark pinpointed the possible source of a so-called Landau-Siegel zero of the Dedekind zeta function $\zeta_K(s)$ and used this to give effective upper and lower bounds on the residue of $\zeta_K(s)$ at $s=1$. We extend Stark's work to give effective upper and lower bounds for the leading term of the Laurent expansion of general Artin $L$-functions at $s=1$ that are, up to the value of implied constants, as strong as could reasonably be expected given current progress toward the generalized Riemann hypothesis. Our bounds are completely unconditional, and rely on no unproven hypotheses about Artin $L$-functions.

Explicit valuation of elliptic nets for elliptic curves with complex multiplication

math.NT

v2

Division polynomials associated to an elliptic curve $E/K$ are polynomials $\phi_n, \psi_n^2$ that arise from the sequence of points $\{nP\}_{n \in \N}$ on this curve. If one wishes to study $\Z$--linear combination of points on $E(K)$, we can use net polynomials $\Phi_{\bm{v}}, \Psi_{\bm{v}}^2$ which are higher--dimensional \textcolor{red}{analogues} of division polynomials. It turns out they are also elliptic nets, an $n$--dimensional array with values in $K$ satisfying the same nonlinear recurrence relation that division polynomials do as well. Now further assume the elliptic curve $E/K$ has complex multiplication by an order of a quadratic imaginary field $F \subseteq K$, we will prove a formula for the common valuation of $\Phi_{\bm{v}}$ and $\Psi_{\bm{v}}^2$ associated to multiples of points by elements of an order in $F$. As an application, we will use the formula to show that elliptic divisibility sequences associated to multiples of points indexed by elements of an order also satisfy a recurrence relation when indexed by elements of an order, subject to certain conditions on the indices.

On a Smoothed Dirichlet Divisor Problem

math.NT

v3

Hardy showed that $\sum_{n \ioe x}\tau(n)-x(\log x +2\gamma -1)$ is not $o(x^{1/4})$. In this article, we prove that $\sum_{n \ioe x}\tau(n)(1-\frac{x}{n})-xP(\log x)=\frac{1}{4}+O \left( \frac{\log x}{x^{1/4}} \right)$, where $P$ is a polynomial of degree 2. As a corollary, this estimate enables us to settle a conjecture surmised by Berkane, Bordell\`{e}s, and Ramar\'{e} dealing with the positivity of an integral of the error term in the Dirichlet divisor problem. All results are entirely explicit and allow us to study the proximity between the remainder of the Dirichlet divisor problem and its logarithmic version.

Stabilization of isogeny spaces between supersingular Drinfeld modules

math.NT

v2

Let $\mathfrak{p}$ be a prime of degree $d$ in $A = \mathbb{F}_q[T]$ and let $\phi, \psi$ be supersingular Drinfeld modules of rank $r \geq 2$ in $A$-characteristic $\mathfrak{p}$. We study the $\mathbb{F}_q$-dimension of the space $M_s(\phi, \psi) = \{u \in \mathrm{Hom}(\phi, \psi) : \mathrm{deg}_\tau u \leq s\}$ as a function of $s$. By analyzing $\mathrm{Hom}(\phi, \psi)$ as a normed $A$-lattice in the local division algebra at $\infty$ via its successive minima, we obtain an exact closed-form expression for $\dim_{\mathbb{F}_q} M_s(\phi, \psi)$ valid for every $s \geq 0$, together with structural constraints on the successive-minima multiset which imply the stabilization formula $\dim_{\mathbb{F}_q} M_s(\phi, \psi) = r(s+1) - \frac{r(r-1)(d-1)}{2}$ for all $s \geq r^2(r-1)(d-1)/2$. We conjecture that the optimal threshold is $s \geq (r-1)(d-1) - 1$, and prove this sharp form for $r = 2$ by independent automorphic methods, using the decomposition of a Brandt-type theta series on the Bruhat-Tits tree of $\mathrm{PGL}_2(F_\infty)$ into Eisenstein and cuspidal parts together with the polynomiality of the cuspidal $L$-function. We also recast our results in Mornev's geometric framework, in which the conjecture becomes a cohomology-vanishing statement for a family of vector bundles on $\mathbb{P}^1$, and illustrate the theory with explicit examples in which all successive-minima multisets permitted by our constraints are realized.

On the finite transcendence of Frobenius traces for abelian varieties over $\mathbb{Q}$

math.NT

v4

The first purpose of this paper is to give the fnite transcendence of Frobenius traces for elliptic curves over $\mathbb{Q}$ without the assumption of complex multiplication (CM). This result generalizes the previous work by Luca and Zudilin, who obtained similar transcendence results specifically for the CM case. The second purpose is to give the finite transcendence of Frobenius traces for several principally polarized abelian varieties over $\mathbb{Q}$, by using Luca--Zudilin's method.

High-Precision Approximation of Riemann Zeros via the Truncated Weil Form

math.NT

v2

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.

On zero-sum problems of new types

math.NT

math.CO

v4

In this paper, we investigate zero-sum problems of new types. For example, given $2n-1$ integers $a_1,\ldots,a_{2n-1}$ not divisible by an integer $n>1$, we prove that for some nonempty $I\subseteq\{1,\ldots,2n-1\}$ with $|I|\leqslant n$, the sum $\sum_{i\in I}a_i$ is divisible by $n$ but not divisible by $n^2$. We also pose several conjectures for further research.

More sum-product type counterexamples: products with shifts and $AA+A$

math.NT

math.CO

v2

Adapting the construction disproving the sum-product conjecture over $\mathbb R$ present in Bloom, Sawin, Schildkraut and Zhelezov, we show the existence of a constant $c>0$ and arbitrarily large finite sets $A \subseteq \mathbb R$ such that $$|AA+A+A| \ll |A|^{2-c}.$$ As a corollary, all of the sets $A+A$, $AA$, $(A+1)(A+1)$, $A(A+1)$ and $AA+A$ are of size $O(|A|^{2-c})$ for this construction.

Affine Jacobi-Trudi Identities and $q,t$-Rogers-Ramanujan Identities

math.CO

math.NT

math.RT

v2

We conjecture affine or Hall-Littlewood analogues of the dual Jacobi-Trudi identities for orthogonal and symplectic Schur functions indexed by rectangular partitions of maximal height. These conjectures are then used to derive $t$-analogues of many known Rogers-Ramanujan identities for the characters of standard modules of affine Lie algebras. This includes $t$-analogues of the classical Rogers-Ramanujan identities, (some of) the Andrews-Gordon identities and the $\mathrm{C}_n^{(1)}$, $\mathrm{A}_{2n}^{(2)}$ and $\mathrm{D}_{n+2}^{(2)}$ GOW identities. We also prove an affine analogue of the dual Jacobi-Trudi identity for Schur functions indexed by rectangular partitions of arbitrary height.

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

math.DS

math.CA

math.NT

v2

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. An application to numerical analysis is also discussed.

Linear Code Conversion in the Merge Regime: General Bounds and Reed-Muller Constructions

cs.IT

cs.DM

math.CO

math.IT

math.NT

v2

Erasure codes are a core component of most existing large-scale distributed storage systems, ensuring reliability against node failures. Recent work has shown that adapting code parameters to changing node failure rates can lead to significant storage savings. The default approach is to re-encode the data under a new code, which consumes substantial system resources. Code conversion was introduced to reduce this cost. However, existing work has mainly focused on conversions within specific classes of codes. In this paper, we study scalar linear code conversion in the merge regime for arbitrary linear codes. We derive universal lower bounds on the write and read costs in terms of unchanged and read symbols. The bounds are refined using generalized Hamming weights, which capture support-growth properties of subcodes and can give sharper estimates than minimum-distance-only arguments. We show that the framework recovers known bounds for important special cases and can be strictly stronger when the final code has nontrivial jumps in its generalized Hamming weight hierarchy. We then apply the framework to Reed-Muller codes and construct explicit Reed-Muller convertible codes using the Plotkin decomposition. For a natural Reed-Muller parameter regime, the construction attains the derived write-cost lower bound. For the read cost, the generalized-Hamming-weight analysis is sharp for one initial block, while a gap remains for the other block.