Number Theory [math.NT]

Magic partition functions: Sign smoothing convolutions with Dirichlet invertible arithmetic functions

math.NT

Sign changes in sums of arithmetic functions and their inverses are a subtle topic with room to grow new results. Suppose that $S_f(x) := \sum_{n \leq x} f(n)$ is the summatory function of some arithmetic function $f$ such that $f(1) \neq 1$. There are known lower bounds on the limiting growth of $V(S_f, Y)$ -- the number of sign changes of $S_f(y)$ on the interval $y \in (0, Y]$ as $Y \rightarrow \infty$. We observe a partition theoretic sign smoothing by discrete convolution of the local oscillatory properties of the Dirichlet inverse of $f$, $S_{f^{-1}}(x)$. These so-called invertible ``magic partition function`` encodings lead to a sequence of convolution sums which have predictable sign properties provided the sequence of $f(n)$ ($f^{-1}(n)$, respectively) has reasonable asymptotic upper bounds with respect to $n$.

Quadratic Congruences for half-integral weight cusp forms with the eta multiplier

math.NT

Let $\ell \geq 5$ be a prime, and let $\nu_\eta$ denote the Dedekind eta multiplier. For an odd integer $r$, and a real Dirichlet character $\psi$, recent work of Ahlgren, Andersen, and the author showed that quadratic congruences modulo $\ell$ hold for a wide range of half-integral weight cusp forms with multiplier $\psi\nu_\eta^r$, vastly generalizing certain congruences discovered by Atkin for the partition function. In this paper, we show that such congruences hold when $\psi$ is an arbitrary character. Our methods rely on the theory of modular Galois representations. For primes $\ell \geq 5$, the core of our work is the study of modular Galois representations modulo $\ell$ attached to integer-weight eigenforms with arbitrary Nebentypus whose images are large in a precise sense. Our key new result is that, given a finite set of such representations and $\gamma \in \SL_2(\F_\ell)$, there exists $\sigma \in \Gal(\bar{\Q}/\Q(\zeta_\ell))$ whose images under the representations are in the conjugacy class of $\gamma^2$.

Remarks on polynomial count varieties

math.NT

math.AG

In this short note we prove a couple of facts about polynomial count varieties, answering natural questions that they raise. A polynomial count $X$ variety is essentially one for which its number of points over finite fields is given by a polynomial in the field size. Well-known examples include affine or projective space (or more generally the Grassmanian) and other standard varieties. The two questions we address are the following. 1) If $X$ is smooth, polynomial count with $\#X(q)=q^n$ for some $n$, is $X$ isomorphic to $n$-dimensional affine space? 2) If $X$ is a polynomial count, is it true that its Hodge numbers in a given graded piece of fixed weight satisfy~$h^{p,q}=0$ unless $p=q$? We show that in both cases the answer is no.

Resolution of the Skolem Problem for $k$-Generalized Lucas Sequences

math.NT

This paper provides a complete solution to Skolem's problem for the $k$-generalized Lucas sequence $(L_n^{(k)})_{n \in \mathbb{Z}}$ with a primary focus on its behavior at negative indices. We characterize the zero-distribution of this sequence by identifying and bounding all indices $n < 0$ such that $L_n^{(k)} = 0$. Our central result establishes that the zero-multiplicity $\delta_k$ of the sequence is $(k-1)(k-2)/2$ for all $k.$

$\{\pm 1\}$-weighted zero-sum constants

math.NT

Let $A,B\subseteq \mathbb Z_n\setminus\{0\}$. A sequence $S=(x_1,\ldots, x_k)$ in $\mathbb Z_n$ is called an $(A,B)$-weighted zero-sum sequence if there exist $a_1,\ldots,a_k\in A$ and $b_1,\ldots,b_k\in B$ such that $a_1x_1+\cdots+a_kx_k=0$ and $b_1a_1+\cdots+b_ka_k=0$. The constant $E_{A,B}(n)$ is defined to be the smallest positive integer $k$ such that every sequence of length $k$ in $\mathbb Z_n$ has an $(A,B)$-weighted zero-sum subsequence of length $n$. We determine the constant $E_{A,B}(n)$ and the related constants $C_{A,B}(n)$ and $D_{A,B}(n)$ when $A=\{\pm 1\}$ and $B=\{1\}$.

Oscillatory Interference in Dirichlet L-Functions and the Separation of Primes

math.NT

Dirichlet's theorem guarantees infinitely many primes in each reduced residue class modulo q, but the analytic mechanism underlying this separation is often difficult to visualize directly. In this article we construct simplified oscillatory reconstructions based on the imaginary parts of the nontrivial zeros of Dirichlet L-functions. These reconstructions produce interference patterns that act as analytic filters separating primes according to congruence classes. Examples for moduli 3, 4, and 5 illustrate how the oscillatory frequencies associated with the zeros generate structured peak patterns at prime powers. For complex characters modulo 5, conjugate pairs of L-functions produce cancellation effects that mirror algebraic relations between characters. When all characters modulo 5 are combined, the Dedekind factorization of the cyclotomic field $\mathbf{Q}(\zeta_5)$ appears visually as a striking interference pattern in which only primes congruent to 1 (mod 5) remain. These numerical experiments provide a visual bridge between analytic number theory and algebraic number theory by illustrating how the zero distributions of L-functions generate structured oscillations in prime-related functions.

A trigonometric approach to an identity by Ramanujan

math.NT

An identity by Ramanujan is expressed using polar coordinates, so that its proof reduces to the verification of an elementary trigonometric identity. This approach produces a few variations on Ramanujan's original identity.

On the de Rham flip-flopping in dual towers

math.NT

math.AG

We prove a version of de Rham and Hyodo-Kato flip-flopping for dual towers of rigid analytic spaces including those coming from dual basic local Shimura varieties. The main tool are comparison theorems expressing the two cohomologies as pro-\'etale cohomology of corresponding relative period sheaves that, by definition, satisfy pro-\'etale descent. As an application, we show that de Rham and Hyodo-Kato cohomologies of finite level coverings of the Drinfeld space of any dimension $d$ over $K$ are admissible as representations of $\mathbb{GL}_{d+1}(K)$.

Serre conjecture II for pseudo-reductive groups

math.NT

math.AG

The Serre conjecture II predicts that every torsor under a semisimple, simply connected, algebraic group over a field of cohomological dimension at most 2 and of degree of imperfection at most 1 has a rational point. We generalize this conjecture to pseudo-reductive groups and prove their equivalence. In particular, we show that every torsor under a pseudo-semisimple, simply connected group over a global function field or a non-archimedean local field always has a rational point.

An Equivalent form of Twin Prime Conjecture connected with a sequence of arithmetic progressions

math.NT

We give an equivalent form of the Twin prime conjecture relating to a symmetric property that is observed for terms present in a certain sequence of arithmetic progressions defined for a pair of co-prime integers.

A short remark on the $\ell$-torsion part of class groups

math.NT

In a 2008 paper Ellenberg suggested a strategy to improve the known upper bounds for the $\ell$-torsion part of class groups of number fields of fixed degree $d$. Motivated by this he proposed a question about the number of primitive elements of small height in a number field. Here we answer Ellenberg's question. We also improve Heath-Brown's bound for the $\ell$-torsion part of class groups of purely cubic number fields, and we generalize our improvement to pure fields of arbitrary odd degree $d$.

On odd-spin $A_{1}^{(1)}$-string functions, cross-spin identities, and mock theta conjecture-like identities

math.NT

math.RT

Determining the explicit forms and modularity for string functions and branching coefficients for Kac--Moody algebras after Kac, Peterson, and Wakimoto is a long-standing, yet wide-open, problem and recently a connection has been made between positive admissible-level $A_{1}^{(1)}$-string functions and Ramanujan's mock theta functions. In this paper we obtain the polar-finite decomposition for the admissible-level $A_{1}^{(1)}$ character of odd spin, and we also find new mock theta conjecture-like identities for the odd-spin, $2/3$-level and $2/5$-level $A_{1}^{(1)}$-string functions.

Distributions of left prime truncations

math.NT

The prime number 357686312646216567629137 is notable because of the unusual property that it remains prime successively on removing the left digit until there are no remaining digits. We explore here the distributions of the number of left prime truncations of integers and of the number of irreducible truncations of polynomials with coefficients over a finite field, focusing on the proportion among all $\ell$-digit numbers or polynomials, their variance, and the maximal proportion.

New Ramanujan-type congruences for overpartitions modulo $11$ and $13$

math.NT

In this paper, we establish two new Ramanujan-type congruences for the overpartition function: $\overline{p}(11\times(8n+5))\equiv 0 \pmod{11}$ and $\overline{p}(13\times 2^6(8n+7))\equiv 0 \pmod{13}$. The proofs rely on the theory of modular forms. We conjecture potential Ramanujan-type congruences for overpartitions modulo 7, 17, 19 and 23.

The image of the adelic Galois representation of an elliptic curve with complex multiplication

math.NT

math.AG

Let $E/\mathbb{Q}$ be an elliptic curve and let $\rho_E \colon \operatorname{Gal}(\overline{\mathbb{Q}}/\mathbb{Q}) \to \operatorname{GL}(2, \widehat{\mathbb{Z}})$ be the adelic Galois representation attached to $E$. We describe and implement an algorithm to compute the image of $\rho_E$ in $\operatorname{GL}(2, \widehat{\mathbb{Z}})$ (up to conjugation) for an elliptic curve $E/\mathbb{Q}$ with complex multiplication (CM) and $j$-invariant not $0$ or $1728$. In the process, we prove certain entanglement results between division fields of elliptic curves over $\mathbb{Q}$ with CM.

An archimedean approach to singular moduli on Shimura curves

math.NT

We give a new proof of a recent generalization to Shimura curve of genus 0 of the work of Gross and Zagier in `On singular moduli'. This generalization was conjectured by Giampietro and Darmon and proved by Daas by using $p$-adic $\Theta$-functions as an analogue of the $j$-invariant. Instead of working $p$-adically, we prove this result by evaluating Green's function at CM points on the Shimura curve. Our strategy is inspired by the analytic proof of Gross--Zagier. We put a special emphasis on both the similarities and the differences with the $p$-adic proof.

Informational Cardinality: A Unifying Framework for Set Theory, Fractal Geometry, and Analytic Number Theory

math.NT

This paper investigates a class of deterministic fractals whose construction is governed by arithmetic sequences. We introduce the essential fractal prime set P_{ess} , a variant of the Cantor set constructed using the sequence of prime numbers modulo 4. We compute its Hausdorff dimension, \dim_H(P_{ess}) , and analyze its geometric complexity. In contrast to the classical middle-third Cantor set C_{1/3} , we demonstrate that while both sets are uncountable and share the same cardinality, their differing fractal dimensions (dim_H(C_{1/3}) versus the computed dimension of P_{ess}) reflect a fundamental difference in their geometric complexity. Furthermore, we propose a potential connection between the density of this prime-driven fractal and the distribution of zeros of the Riemann zeta function, formalized through the construction of a fractal zero set Z_F . This framework provides a novel geometric perspective on analytic number theory, illustrating how the fine-scale structure of primes can be encoded in deterministic fractal geometries.

Congruences between Klingen-Eisenstein series and cusp forms on $\mathrm{U}_{n,n}$

math.NT

In this paper, we study congruences of Hecke eigenvalues between Hermitian Klingen-Eisenstein series and cusp forms on the unitary group $\mathrm{U}_{n,n}$ defined over the rational number field $\mathbb{Q}$. We also prove the rationality of the space of Hermitian automorphic forms and the integrality of their Hecke eigenvalues.

Local theta correspondence and Galois periods

math.RT

math.NT

We study the behavior of Galois periods under the local theta correspondence for even orthogonal and symplectic groups. Specifically, we compare their multiplicities and construct explicit transfer maps. Furthermore, we establish both an adjoint relation and a relative character relation for these periods.

On one class of nowhere non-monotonic functions with fractal properties that contains a subclass of singular functions

math.CA

math.FA

math.NT

We study one class of continuous functions $f$ defined on segment $[0,1]$ by equality $$ f(x)=\delta_{\alpha_1(x)1}+\sum^{\infty}_{k=2}\left[\delta_{\alpha_k(x)k}\prod^{k-1}_{j=1}g_{\alpha_j (x)j}\right]\equiv\Delta^{G^*_3}_{\alpha_1\alpha_2\ldots\alpha_k\ldots}, $$ where $||q^*_{ik}||$ is given infinite stochastic positive matrix ($i=0,1,2$; $k \in N$); $\beta_{0k}=0$, $\beta_{1k}=q_{0k}$, $\beta_{2k}=q_{0k}+q_{1k}$; $(\varepsilon_k)$ is given sequence of numbers such that $0\leqslant \varepsilon_k \leqslant 1 $; $g_{0k}=\dfrac{1+\varepsilon_k}{3}=g_{2k}$, $g_ {1k}=\dfrac{1-2\varepsilon_k}{3}$, $\delta_{0k}=0$, $\delta_{1k}=g_{0k}$, $\delta_{2k}=g_{0k}+g_{1k}$, $k\in N$. We found criteria of strict monotonicity, non monotonicity and nowhere monotonicity, non-differentiability and singularity of the functions. We pay attention to properties of level sets of the functions.

Finite capture and the closure of roots of restricted polynomials

math.DS

math.CV

math.NT

We study how a countable algebraic root set passes to a fractal connectedness locus. Let $D_n=\{-n+1,-n+2,\ldots,n-1\}$, and let $R_n$ be the set of roots of monic polynomials whose non-leading coefficients lie in $D_n$. We study $\overline{R_n}\setminus\overline{\mathbb{D}}$. Outside the closed unit disk this set equals a connectedness locus $M_n$ for a collinear affine iterated function system, or equivalently the zero set of reciprocal power series $1+\sum_{k\ge1} d_k c^{-k}$ with $d_k\in D_n$. For non-real parameters in the lens $X_n=\{\,c\in\mathbb{C}\setminus\overline{\mathbb{D}}:\ |c\pm1|<\sqrt{2n}\,\}$ we construct a canonical trap and enclosure for the associated difference attractor and use them to define finite-capture sets $\Theta_k(n)$ for the marked point $2c$. Our main result is the uniform inclusion $\overline{\Theta_k(n)}\cap(X_n\setminus\mathbb{R})\subset\Theta_{k+2}(n)$ for every $k\ge0$. Consequently, $(M_n\cap X_n)\setminus\mathbb{R}$ is exactly the closure of the finite-capture locus. The paper combines explicit trap geometry with certified inverse search. Moreover, $M_n\setminus\mathbb{R}\subset X_n$ for every $n\ge20$, and this is sharp for $2\le n\le19$. Thus, for $n\ge20$, the non-real part of $\overline{R_n}\setminus\overline{\mathbb{D}}$ is exactly the closure of the finite-capture locus.

Extreme value theorem for geodesic flow on the quotient of the theta group

math.DS

math.NT

We establish an extreme value theorem for the geodesic flow on the hyperbolic surface $\Theta\backslash\mathbb{H}^2$ associated with the theta group $\Theta$. To capture excursions into both cusps of this surface, we introduce a generalized continued fraction algorithm obtained by splicing the even and odd-odd continued fraction maps into a single dynamical system. We prove that the natural extension of this map is isomorphic to the first return map of the geodesic flow on a suitable cross section. Using spectral properties of the associated transfer operator, we derive a Galambos-type extreme value law for the digits of the spliced continued fraction. This symbolic result is then translated into a geometric extreme value theorem describing maximal cusp excursions of geodesics on $\Theta\backslash\mathbb{H}^2$.

Noncommutative Wilczynski Invariants, and Modular Differential Equations

math.AG

math.NT

We develop an explicit invariant calculus for monic $n$-th order linear differential operators in the Ore algebra of a (possibly noncommutative) differential algebra $(K,D)$: \[ L \;=\; \sum_{i=0}^n \binom{n}{i}\,a_i\,D^{\,n-i}\qquad (a_0=1). \] The formalism requires only the Leibniz rule for $D$ and extends to connection-type differentials $d:K\to\Omega$ into a $K$-bimodule, so it applies in particular to matrix-valued meromorphic coefficients and to the $\Gamma$-equivariant differential algebras that arise in automorphic settings. For a gauge change written unambiguously as $y=f\,\widetilde y$ with $f\in K^\times$, the operator transforms by conjugation $L\mapsto f^{-1}Lf$. Using noncommutative complete Bell polynomials $P_m(u)$ and covariant Bell polynomials $Q_m(u)$ associated to the shifted derivation $\Delta_{a_1}=D+\operatorname{ad}_{a_1}$, we prove a closed Miura/oper expansion \[ L\;=\;(D+a_1)^n+\binom{n}{2}I_2(D+a_1)^{n-2}+\cdots+I_n, \] and we give universal explicit formulas for every gauge covariant $I_k$ in terms of $Q$-Bell polynomials. Assuming a central-jet chain rule for reparametrizations, we compute the full transformation laws of the $I_k$ and construct the projective (Wilczynski) covariants $W_k$; in particular we obtain explicit formulas for $W_2,W_3,W_4$ and a filtration-based construction scheme for the higher $W_k$, together with explicit formulas for $W_4$, $W_5$, and $W_6$. We globalize the theory to Riemann surfaces and holomorphic bundles, then formulate modular and Siegel modular differential operators via modular connections. In genus $1$ this yields noncommutative Rankin--Cohen brackets attached to $\mathcal A$-valued modular connections and their Maurer--Cartan realizations; in higher genus it yields $g$-linear Siegel determinant brackets and ordered-determinant brackets with values in noncommutative coefficient algebras.

A Lock-Free, Fully GPU-Resident Architecture for the Verification of Goldbach's Conjecture

cs.MS

cs.DC

cs.PF

math.NT

We present a fully device-resident, multi-GPU architecture for the large-scale computational verification of Goldbach's conjecture. In prior work, a segmented double-sieve eliminated monolithic VRAM bottlenecks but remained constrained by host-side sieve construction and PCIe transfer latency. In this work, we migrate the entire segment generation pipeline to the GPU using highly optimised L1 shared-memory tiling, achieving near-zero host-device communication during the critical verification path. To fully leverage heterogeneous multi-GPU clusters, we introduce an asynchronous, lock-free work-stealing pool that replaces static workload partitioning with atomic segment claiming, enabling $99.7$% parallel efficiency at 2 GPUs and $98.6$% at $4$ GPUs. We further implement strict mathematical overflow guards guaranteeing the soundness of the 64-bit verification pipeline up to its theoretical ceiling of $1.84 \times 10^{19}$. On the same hardware, the new architecture achieves a $45.6\times$ algorithmic speedup over its host-coupled predecessor at N = $10^{10}$. End-to-end, the framework verifies Goldbach's conjecture up to $10^{12}$ in $36.5$ seconds on a single NVIDIA RTX 5090, and up to $10^{13}$ in $133.5$ seconds on a four-GPU system. All code is open-source and reproducible on commodity hardware.

Heights on toric varieties for singular metrics: Global theory

math.AG

math.NT

In this paper, we develop a toric analog of the theory of adelic divisors on quasi-projective arithmetic varieties introduced by Yuan and Zhang, and extend the convex-analytic descriptions of the Arakelov geometry of projective toric arithmetic varieties given by Burgos, Philippon, and Sombra. Our main result is that the arithmetic self-intersection number of a semipositive toric adelic divisor is given by the integral of a concave function on a compact convex set. These generalized arithmetic intersection numbers coincide with the ones introduced by Burgos and Kramer in 2024, and therefore, can be used to compute heights of toric arithmetic varieties with respect to line bundles equipped with toric singular metrics.

Finiteness of specializations of the $q$-deformed modular group at roots of unity

math.QA

math.CO

math.GT

math.NT

Recently, Morier-Genoud and Ovsienko introduced the $q$-deformed modular group. For construction, they first gave a group $G_q \subset \operatorname{GL}(2, {\mathbb Z}[q^{\pm}])$ and then set $\operatorname{PSL}_q(2,{\mathbb Z}):=G_q/Z(G_q)$. We show that for $\zeta \in {\mathbb C}^*$, $\operatorname{PSL}_q(2,{\mathbb Z})|_{q=\zeta}$ is finite, if and only if so is $G_q(\zeta):=G_q|_{q=\zeta} \subset \operatorname{GL}(2,{\mathbb C})$, if and only if $\zeta=\zeta_n$ for $n=2,3,4,5$, where $\zeta_n$ is a primitive $n$-th root of unity. Moreover, $G_q(\zeta_n) \cap \operatorname{SL}(2,\mathbb{C})$ is isomorphic to the binary tetrahedral group (resp. the binary icosahedral group), if $n=3,4$ (resp. $n=5$). When $n=6$, the groups are infinite, but still "mild". We also give several applications (e.g., the special values of the normalized Jones polynomials of rational links).

The Reidemeister and the Nielsen numbers: growth rate, asymptotic behavior, dynamical zeta functions and the Gauss congruences

math.DS

math.AT

math.GR

math.NT

In the present paper, taking a dynamical point on view, we study the growth rate and asymptotic behavior of the sequences of the Reidemeister numbers and the sequences of the Reidemeister and the Nielsen coincidence numbers. We also prove the Gauss congruences for the sequence $\{R(\varphi^n,\psi^n)\}$ of the Reidemeister coincidence numbers of the tame pair $(\varphi,\psi)$ of endomorphisms of a torsion-free nilpotent group~$G$ of finite Pr\"ufer rank. Furthermore, we prove the rationality of the Nielsen coincidence zeta function, the Gauss congruences for the sequence $\{N(f^n, g^n)\}$ of the Nielsen coincidence numbers and show that the growth rate exists for the sequence \{$N(f^n, g^n)\}$ of tame pair of maps $(f,g)$ of a compact nilmanifold to itself.

Theorem of the heart for Weibel's homotopy $K$-theory

math.KT

math.AG

math.AT

math.CT

math.NT

In this paper we prove the theorem of the heart for Weibel's homotopy $K$-theory $KH.$ Namely, if $\mathcal{C}$ is a small stable $\infty$-category with a bounded $t$-structure, then the realization functor $D^b(\mathcal{C}^{\heartsuit})\to \mathcal{C}$ induces an equivalence of spectra $KH(\mathcal{C}^{\heartsuit})\xrightarrow{\sim}KH(\mathcal{C}).$ In a certain sense this result is dual to the Dundas-Goodwillie-McCarthy theorem. We deduce the d\'evissage theorem for $KH$ of abelian categories, also on the level of spectra (in all degrees). More generally, we prove these results for dualizable categories with nice $t$-structures and for the so-called coherently assembled abelian categories. The proof is heavily based on another new result, which is a much stronger version of Barwick's theorem of the heart. Its special case states the following: if $\mathcal{C}$ is a small stable category with a bounded $t$-structure, such that for some $n\geq 1$ the realization functor induces isomorphisms on $\operatorname{Ext}^{\leq n}$ between the objects of $\mathcal{C}^{\heartsuit},$ then the map $K_j(\mathcal{C}^{\heartsuit})\to K_j(\mathcal{C})$ is an isomorphism for $j\geq -n-1,$ and a monomorphism for $j = -n-2.$ Moreover, we prove that these estimates are sharp, even for dg categories over a field. In particular, the naive $K$-theoretic theorem of the heart fails for $K_{-3}.$

The Theory of ramification

math.NT

v3

In this paper, we introduce and develop the concept of \emph{ramification} in a given modulus. We study some properties in relation to this concept and it's connection to some important problems in mathematics, particularly the Goldbach conjecture.

Computing Classical Modular Forms for Arbitrary Congruence Subgroups

math.NT

v3

In this paper, we prove the existence of an efficient algorithm for the computation of $q$-expansions of modular forms of weight $k$ and level $\Gamma$, where $\Gamma \subseteq SL_{2}({\mathbb{Z}})$ is an arbitrary congruence subgroup. We also discuss some practical aspects and provide the necessary theoretical background.

A catalog of interesting and useful Lambert series identities

math.NT

math.HO

v2

A Lambert series generating function is a special series summed over an arithmetic function $f$ defined by \[ L_f(q) := \sum_{n \geq 1} \frac{f(n) q^n}{1-q^n} = \sum_{m \geq 1} (f \ast 1)(m) q^m. \] Because of the way the left-hand-side terms of this type of generating function generate divisor sums of $f$ convolved by Dirichlet convolution with one, these expansions are natural ways to enumerate the ordinary generating functions of many multiplicative special functions in number theory. We present an overview of key properties of Lambert series generating function expansions, their more combinatorial generalizations, and include a compendia of tables illustrating known formulas for special cases of these series. In this sense, we focus more on the formal properties of the sequences that are enumerated by the Lambert series, and do not spend significant time treating these series as analytic objects subject to rigorous convergence constraints. The first question one might ask before reading this document is: Why has is catalog of interesting Lambert series identities compiled? As with the indispensible reference by H. W. Gould and T. Shonhiwa, A catalog of interesting Dirichlet series, for Dirichlet series (DGF) identities, there are many situations in which one needs a summary reference on Lambert series and their properties. New work has been done recently tying Lambert series expansions to partition functions by expansions of their generating functions. In addition to these new expansions and providing an introduction to Lambert series, we have listings of classically relevant and "odds and ends'' examples for Lambert series summations that are occasionally useful in applications. If you see any topics or identities the author has missed, please contact us over email to append to this reference.

On distinguishing Siegel cusp forms of degree two

math.NT

v3

In this work, we establish several results on distinguishing Siegel cusp forms of degree two. In particular, a Hecke eigenform of level one can be determined by its second Hecke eigenvalue under a certain assumption. Moreover, we can distinguish two Hecke eigenforms of level one by using $L$-functions.

Hodge-Newton indecomposability and a combinatorial identity

math.NT

math.CO

v3

We present a simple alternative viewpoint on Hodge-Newton indecomposability, illustrating its explanatory value through a uniform proof of a combinatorial identity arising from affine Deligne-Lusztig varieties with finite Coxeter part.

Supersingular Ekedahl-Oort strata and Oort's conjecture

math.NT

math.AG

v3

Let $\mathcal{A}_g$ be the moduli space over $\overline{\mathbb{F}}_p$ of $g$-dimensional principally polarised abelian varieties, where $p$ is a prime. We show that if $g$ is even and $p\geq 5$, then every geometric generic member in the maximal supersingular Ekedahl-Oort stratum in $\mathcal{A}_g$ has automorphism group $\{ \pm 1\}$. This confirms Oort's conjecture in the case of $p\geq 5$ and even $g$. We also separately prove Oort's conjecture for $g=4$ and any prime $p$.

Congruences for two-color partitions with odd smallest part

math.NT

v2

For a fixed positive integer $k$, let $C(k,n)$ denote the number of two-color partitions of $n$ with odd smallest part and restrictions on even parts, and let $C_k(q)$ be its generating function. We show that $C(1,n)\equiv d(2n-1)\pmod{4}$ and obtain congruences modulo $2$ and $4$ for $C(k,n)$ when $k=2,3$. Using $q$-series methods we derive closed formulas for $C_k(q)$ in terms of eta-quotients and formulate Ramanujan-type congruences for the limiting sequence arising from $\lim_{k\to\infty} C_k(q)$.

Geometric Height on Flag Varieties in Positive Characteristic

math.NT

math.AG

math.RT

v2

Let $k$ be an algebraically closed field of characteristic $p\neq 0$. Let $G$ be a connected reductive group over $k$, $P \subseteq G$ be a parabolic subgroup and $\lambda: P \longrightarrow \mathbb G_m$ be a strictly anti-dominant character. Let $C$ be a projective smooth curve over $k$ with function field $K=k(C)$ and $F$ be a principal $G$-bundle on $C$. Then $F/P \longrightarrow C$ is a flag bundle and $\mathcal{L}_\lambda=F \times_P k_\lambda$ on $F/P$ is a relatively ample line bundle. We compute the height filtration and successive minima of the height function $h_{\mathcal{L}_\lambda}: X(\overline{K}) \longrightarrow \mathbb{R}$ over the flag variety $X=(F/P)_K$.

A Markov model for factorisation of iterated cubic polynomials

math.NT

v2

Motivated by the work of Boston, Jones and Goksel, we propose a Markov model for the factorisation of post-critically finite (PCF) cubic polynomials f. Using the information encoded in the critical orbits, we define a Markov model for PCF cubic polynomials with combined critical orbits of lengths one and two. Thanks to the work of Anderson et al., a complete list of PCF cubic polynomials over $\mathbb{Q}$ is available. Some of these polynomials have already been studied, such as those with colliding critical orbits analysed by Benedetto et al. in \cite{benedetto2024arborealgaloisgroupscubic}, which align with our model. We construct groups $M_n$ and prove that they follow our Markov model. These groups $M_n$ are conjectured to contain $\mathrm{Gal}(f^n)$.

On the torsion growth in quadratic number fields for elliptic curves defined over the rationals

math.NT

v2

Given an elliptic curve defined over the field of rational numbers, it is known how its torsion subgroup may grow when we make a base change to a quadratic number field. In this paper we consider the inverse question: if we have the elliptic curve defined over the rationals and we know how the torsion subgroup grows, what can we say about the field? Our main result gives an explicit relationship between the primes dividing the conductor of the curve and the conductor of the extension as a first approach to a better understanding of this problem.

The $L$-polynomials of van der Geer--van der Vlugt curves in characteristic $2$

math.NT

math.AG

v2

The van der Geer--van der Vlugt curves form a class of Artin--Schreier coverings of the projective line over finite fields. We provide an explicit formula for their $L$-polynomials in characteristic $2$, expressed in terms of characters of maximal abelian subgroups of associated Heisenberg groups. For this purpose, we develop new methods specific to characteristic $2$ that exploit the structure of the Heisenberg groups and the geometry of Lang torsors for $W_2$. As an application, we construct examples of curves in this family attaining the Hasse--Weil bound.

Quantum arithmetic of Drinfeld modules

math.NT

math.OA

v2

We study the quantum invariants of projective varieties over the number fields. Namely, explicit formulas for a functor $\mathscr{Q}$ on such varieties are proved. The case of abelian varieties with complex multiplication is treated in detail.

Comparison between formal slopes and p-adic slopes

math.NT

v2

In this paper, we establish several inequalities comparing formal slopes with p-adic slopes of solvable differential modules over the punctured open unit disc. Our approach is based on a delicate analysis of Newton polygons and the log-convexity of generic radius functions.

Generalization on the higher moments of the Fourier coefficients of symmetric power $L$-functions

math.NT

v2

For an even integer $k\geq 2$, let $f$ be a primitive holomorphic cusp form of weight $k$ for the full modular group $SL(2,\mathbb{Z})$ and let $\lambda_{{\rm{sym}}^jf}(n)$ denote the $n^\text{th}$ normalized Fourier coefficient of the $j^{\text{th}}$ symmetric power $L$-function $L(s,{\rm{sym}}^j f)$. It has been an interesting problem to study the average behaviour of $\lambda_{{\rm{sym}}^jf}(n)$ and their higher powers, and many researchers in the literature have studied the sum \begin{equation*} \sum_{n\leq x} \lambda_{{\rm{sym}}^j}^l(n), \end{equation*} for various values of $l$ and $j$. In this paper, we improve and generalize previously known results concerning the sum above for positive integers $l$ and $j$ such that $lj\geq 4$.

Binomial sums and properties of the Bernoulli transform

math.NT

math.CO

v2

In this paper, we study the binomial sum $S_{n}(q):=% \overset{n}{\underset{k=0}{\sum }}a_{k}\binom{n}{k}\left( 1-q\right) ^{k}q^{n-k}$ for a given sequence $\left( a_{n}\right) $ of real or complex numbers. We express $S_{n}(q)$ in function of the powers of $q,$ and, we explicit it when the sequence $\left( a_{n}\right) $ is the sequence of Fibonacci numbers, Laguerre polynomials, Meixner polynomials, binomial coefficients and the sequence $\left[ n\right] _{p}.$ We establish later some properties, relations, probabilistic interpretations and generating functions between $S_{n}(q)$ and $S_{n}(x+q-xq).$ Further identities related to Appell polynomials are also given in the last of the paper.

Algebraic representatives of the ratios $\zeta(2n+1)/\pi^{2n}$ and $\beta(2n)/\pi^{2n-1}$

math.NT

v2

In \cite{TallaWaffo2025arxiv2511.02843} we introduced even polynomials $\Xi_n,\Lambda_n\in\mathbb{Q}[x]$ arising from integral representations of $\beta(2n)/\pi^{2n-1}$ and $\zeta(2n+1)/\pi^{2n}$. In this paper we give explicit closed formulae for these polynomials in terms of Eulerian numbers and study their structural properties. These properties may prove useful in studies on the arithmetic nature of the ratios $\beta(2n)/\pi^{2n}$ and $\zeta(2n+1)/\pi^{2n+1}.$

Rational points on modular curves: parameterization and geometric explanations

math.NT

v2

We show that, conditional on Zywina's effective version of the Serre uniformity conjecture, there is a natural way to parameterize non-CM $\mathbb{Q}$-rational points on all modular curves in terms of the rational points on finitely many modular curves. Our proof refines Zywina's work to give a (conditional) parameterization of the images of adelic Galois representations of elliptic curves. In particular, we show that there are 41 $j$-invariants of elliptic curves whose associated Galois image does not vary in an infinite family. Using our explicit parameterization, we show that all rational points on all modular curves arise from the geometry of modular curves in a formal sense, confirming a philosophy of Mazur and Ogg.

Torsion points on $\rm{GL}_2$-type abelian varieties

math.NT

v2

It is well known that the rational torsion of an abelian variety defined over a number field injects into the reduction modulo any sufficiently large prime, so the order of the torsion group divides the greatest common divisor of the sizes of points on the reduction at each prime. Drawing inspiration from Katz's Inventiones paper (1981), we investigate the converse to this for abelian varieties of $\rm GL_2$-type and exhibit a conjectural list of possible torsion orders for modular abelian varieties over $\mathbb Q$ of dimension up to $5$.

Distribution of boundary points of expansion and application to the lonely runner conjecture

math.CO

math.NT

v3

In this paper, we study the distribution of the boundary points of expansion. As an application, we say something about the lonely runner problem. We show that given $k$ runners $\mathcal{S}_i$ round a unit circular track with the condition that at some time $||\mathcal{S}_i-\mathcal{S}_{i+1}||=||\mathcal{S}_{i+1}-\mathcal{S}_{i+2}||$ for all $i=1,2\ldots,k-2$, then at that time we have $$ ||\mathcal{S}_{i+1}-\mathcal{S}_i||>\frac{\mathcal{D}(n)\pi}{k-1} $$ for all $i=1,\ldots, k-1$ and where $\mathcal{D}(n)>0$ is a constant depending on the degree of a certain polynomial of degree $n$. In particular, we show that given at most eight $\mathcal{S}_i$~($i=1,2,\ldots, 8$) runners running around a unit circular track with distinct constant speed and the additional condition $||\mathcal{S}_i-\mathcal{S}_{i+1}||=||\mathcal{S}_{i+1}-\mathcal{S}_{i+2}||$ for all $1\leq i\leq 6$ at some time $s>1$, then at that time their mutual distance must satisfy the lower bound $$ ||\mathcal{S}_{i}-\mathcal{S}_{i+1}||>\frac{\pi}{7C\sqrt{3}} $$ for some constant $C>0$ for all $1\leq i \leq 7$.

Quantitative Convergence for Sparse Ergodic Averages in $L^1$

math.DS

math.CA

math.NT

math.PR

v2

We provide a unified framework to proving pointwise convergence of sparse sequences, deterministic and random, at the $L^1(X)$ endpoint. Specifically, suppose that \[ a_n \in \{ \lfloor n^c \rfloor, \min\{ k : \sum_{j \leq k} X_j = n\} \} \] where $X_j$ are Bernoulli random variables with expectations $\mathbb{E} X_j = n^{-\alpha}$, and we restrict to $1 < c < 7/6, \ 0 < \alpha < 1/2$. Then (almost surely) for any measure-preserving system, $(X,\mu,T)$, and any $f \in L^1(X)$, the ergodic averages \[ \frac{1}{N} \sum_{n \leq N} T^{a_n} f \] converge $\mu$-a.e. Moreover, our proof gives new quantitative estimates on the rate of convergence, using jump-counting/variation/oscillation technology, pioneered by Bourgain. This improves on previous work of Urban-Zienkiewicz, and Mirek, who established the above with $c = \frac{1001}{1000}, \ \frac{30}{29}$, respectively, and LaVictoire, who established the random result, all in a non-quantitative setting.

On matrices commuting with their Frobenius

math.AG

math.NT

v2

The Frobenius of a matrix $M$ with coefficients in $\bar{\mathbb F}_p$ is the matrix $\sigma(M)$ obtained by raising each coefficient to the $p$-th power. We consider the question of counting matrices with coefficients in $\mathbb F_q$ which commute with their Frobenius, asymptotically when $q$ is a large power of $p$. We give answers for matrices of size $2$, for diagonalizable matrices, and for matrices whose eigenspaces are defined over $\mathbb F_p$. Moreover, we explain what is needed to solve the case of general matrices. We also solve (for both diagonalizable and general matrices) the corresponding problem when one counts matrices $M$ commuting with all the matrices $\sigma(M)$, $\sigma^2(M)$, $\ldots$ in their Frobenius orbit.

Une conjecture $C_{\rm st}$ pour la cohomologie \`a support compact

math.AG

math.NT

v2

Let $\mathbf{B}$ be the ring of analytic functions on the Fargues-Fontaine curve $Y_{\rm FF}$. We show that adding $p$-adic analogs of $\log p$ and $\log 2\pi i$ kills its Galois cohomology in degrees~$\geq 1$. The analogous result for $\mathbf{B}^+_{\rm dR}$ is folklore. This makes it possible to formulate $C_{\rm dR}$ and $C_{\rm st}$-type conjectures for compact support cohomology of $p$-adic analytic varieties.

Complexity of Linear Subsequences of $k$-Automatic Sequences

cs.FL

cs.DM

math.CO

math.NT

v3

We construct automata with input(s) in base $k$ recognizing some basic relations and study their number of states. We also consider some basic operations on $k$-automatic sequences $(h(i))_{i \geq 0}$ and discuss their state complexity. We find a relationship between subword complexity of the interior sequence $(h'(i))_{i \geq 0}$ and state complexity of the linear subsequence $(h(ni+c))_{i \geq 0}$. We resolve a recent question of Zantema and Bosma about linear subsequences of $k$-automatic sequences with input in most-significant-digit-first format. We also discuss the state complexity and runtime complexity of using a reasonable interpretation of B\"uchi arithmetic to actually construct some of the studied automata recognizing relations or carrying out operations on automatic sequences.

The Simplicial Geometry of Integer Partitions: An Exact $O(1)$ Formula via $A_{k-1}$ Root Systems

math.CO

math.MG

math.NT

v3

We present a structural resolution to the exact evaluation of the partition function $p_k(n)$, definitively overcoming the limitations of traditional recursive and asymptotic methods. By framing the partition polytope $\mathcal{P}_{n,k}$ within the theory of rational polytopes and Ehrhart foliation, we prove that its discrete volume is exactly captured by a geometric Simplicial Spectral Decomposition. We establish the Rational Structure Theorem, demonstrating that the generating function of the spectral weights is a proper rational function defined rigorously over cyclotomic fields. Through partial fraction decomposition over complex roots of unity, we derive a strictly closed-form, non-iterative mathematical formula (The Compact Bonelli Identity). This definitively proves that the computational complexity of evaluating $p_k(n)$ is absolutely $O(1)$ with respect to $n$, yielding exact discrete geometric evaluations for arbitrary magnitudes of $n$ and any fixed $k$.

Modular Nahm sums for symmetrizable matrices of indices $({2,\ldots, 2},1)$ and $({1,\ldots, 1},2)$

math.CO

math.NT

v2

In this paper, we present three families of modular Nahm sums for symmetrizable matrices with arbitrary rank $r\geq 2$ of indices $({2,\ldots, 2},1)$ and $({1,\ldots, 1},2)$. Specifically, the cases corresponding to $r = 2$ and $r = 3$ of these families have been previously demonstrated by Mizuno, Warnaar, and B. Wang-L. Wang. Building upon these three families, we construct two vector-valued automorphic forms, one of which is a vector-valued modular function when $r$ is odd.

Power monoids and their arithmetic: a survey

math.RA

math.CO

math.NT

v2

The non-empty finite subsets of a multiplicatively written monoid form a monoid in their own right, and so do the finite subsets that contain the identity element. Partly due to their unusual arithmetic properties, these structures, known as power monoids, have attracted increasing attention in recent years and have in turn stimulated growing interest in new perspectives in factorization theory, better suited to non-cancellative or non-commutative settings. We survey these developments and briefly review some related aspects.