Number Theory [math.NT]

Bogomolov property for modular Galois representations with nontrivial nebentypus
math.NT


Pietro Piras

A field in which the (logarithmic) Weil height is bounded from below by a strictly positive constant is said to have the Bogomolov property (property (B)). Given a normalized eigenform $f\in S_k(\Gamma_0(N))$ Amoroso and Terracini proved (B) for the field "cut out" by the adelic representation associated to $f$ under some assumptions on $f$, generalizing the earlier work of Habegger on elliptic curves. In this paper we extend this result to the case of normalized eigenforms with nontrivial nebentypus character. We also introduce the notion of ADZ field, inspired by earlier work of Amoroso, David and Zannier, exhibiting a class of fields in which property (B) is preserved under (arbitrary) composition.

Dirichlet Series and Asymptotics for Generalized Legendre Factorials
math.NT


Brian Diaz, Pascal Normanyo

We introduce a Dirichlet-series framework for studying the asymptotic behavior of generalized factorial functions defined by Legendre-type valuation formulas. Let $K$ be a number field and let $S$ be a finite set of prime ideals. For a function $f$ on the prime ideals of $K\setminus S$, we define a factorial $n!_{K,f}$ by prescribing valuations $$ v_{\mathfrak p}(n!_{K,f})=\sum_{k\geq 0}\left\lfloor \frac{n}{f(\mathfrak p)\mathrm{N}(\mathfrak p^k)}\right\rfloor. $$ Using Perron's formula and contour shifting, we obtain $$ \log n!_{K,f} = a_{K,f,S}n\log n + C_{K,f,S}n + O\, \!\bigl(ne^{-c\sqrt{\log n}}\bigr), $$ for some constants $a_{K,f,S}, C_{K,f,S}$ up to a possible secondary term arising from an exceptional zero of $\zeta_K(s)$. The method applies naturally to rings of $S$-integers and provides an analytic explanation for the asymptotics of Legendre-type factorial constructions. As a result, we give asymptotics on a class of factorials with subsets in Dedekind domains finitely generated as $\mathbb{Z}$-algebras, partially answering a question of Bhargava on Stirling's formula for his generalized factorials.

Murmurations of Elliptic Curves over Function Fields
math.NT


Dane Wachs

We compute the first murmurations for elliptic curves over function fields F_q(t): oscillatory patterns in average Frobenius traces that separate rank-0 from rank-1 curves, with z-scores up to 256. For the family E_D: y^2 = x^3 + x + D(t) with D monic squarefree of degree 5, we enumerate 534,745 curves across q = 7, 11, 13 with exact BSD invariants. All L-polynomials factor into cyclotomic polynomials -- a weight-2 consequence of the Weil conjectures and Kronecker's theorem, independent of CM. Since |Sha| = L(1/q) in this family (a consequence of BSD with trivial torsion and Tamagawa numbers), the |Sha| modulation of murmurations is entirely a composition effect: different |Sha| strata have different mixtures of L-polynomial types, and hence different mean traces. This yields an exact reweighting identity for the |Sha|-stratified murmuration density: M_s(d,q) = -sum_lambda f_{lambda,s} p_d(lambda), where lambda ranges over cyclotomic types, f_{lambda,s} is the type composition of the |Sha| = s stratum, and p_d(lambda) is the degree-d power sum of the unitarized roots. Within each |Sha| stratum, joint cells -- distinct L-polynomial types sharing the same |Sha| -- show that the murmuration profile carries arithmetic information strictly finer than |Sha| alone.

Multiple standard twists of $L$-functions
math.NT


Jerzy Kaczorowski, Alberto Perelli

The standard twist of $L$-functions plays a fundamental role in the Selberg class theory. It is defined as an absolutely convergent Dirichlet series and admits meromorphic continuation beyond the half-plane of absolute convergence. Nowadays, the analytic properties of the standard twist $F(s,\alpha)$ of an $L$-function $F$ are well-understood. For example, it has poles when the positive number $\alpha$ belongs to the so-called spectrum of $F$, and is entire otherwise. In this paper, for a given set ${\mathbf F}=\{F_1,\dots,F_N\}$ of $L$-functions and ${\mathbf s}\in{\mathbb C}^N$, we consider the multiple standard twist ${\mathbf F}({\mathbf s},\alpha)$. This is defined initially on a certain half-space of ${\mathbb C}^N$, and we describe its meromorphic continuation to the whole space. Results in the multidimensional case are, in many ways, analogous to those in the one-dimensional case. In particular, the spectrum of a multiple standard twist is relevant to the description of the set of poles of ${\mathbf F}({\mathbf s},\alpha)$. There are also significant differences; for instance, in the structure of the singularities.

A note on the invariants of the $L$-functions
math.NT


Jerzy Kaczorowski, Alberto Perelli

We explain the exact meaning of a statement we made in a previous paper on invariants, namely that a complex-valued function of the data of the functional equation of an $L$-function is an invariant if and only if it is stable under the multiplication and factorial formulae. To this end, we show that every invariant has a so-called rational extension, having some desired invariance properties. The existence of such an extension, which enables to express formally the above heuristic concept, is not apparent and its construction is the main novelty of the paper.

Parity of parts and excludant statistics in partitions
math.NT


Gargi Mukherjee

In this paper, we study restricted excludant statistics depending on its parity in partitions where parts with same parity are distinct. Using $q$-series transformations, we show that generating functions of these partition statistics are related to the quantum modular forms $\s(q)$, its companion $\sigma^*(q)$ introduced by Ramanujan, and $v_2(q)$, a Nahm-type sum, introduced by Andrews. Utilizing Tauberian method, we obtain asymptotics of such sequences.

The multi-height distribution implies the Batyrev-Manin principle
math.NT


Nicolas Bongiorno

We explain how to deduce from the multi-height analysis of rational points on a toric stack (respectively on a toric variety) the asymptotic study of the number of rational points of bounded orbifold anticanonical height (respectively bounded anticanonical height), using a general version of the hyperbola method developed by Marta Pieropan and Damaris Schindler.

A Totient Function Associated with Variants of Groups
math.NT
math.GR


James Renshaw

Motivated by an application of semigroup variants to the discrete log problem in groups and related cryptographic applications, we introduce a new kind of totient function, related to both Euler's function and a generalisation of Euler's function introduced in 1869 by Schemmel. We focus on the problem of how to evaluate this function, and the number theory involved, while non-trivial and at times slightly technical, is reasonably accessible to a wide audience. It should also become clear that there are obvious generalisations of his new function that the interested reader might like to pursue.

Euler Characteristics of a Family of Congruence Subgroups of $GL_m(\Z)$
math.NT


Ivan Horozov

The congruence subgroups $\Gamma_1(m,p)$ that we consider here are subgroups of $GL_m(\Z)$ that fix the vector $(0,\dots,0,1) \mod p$, where $p\geq 5$ is a prime. We present a method and many computations of homological Euler characteristics of $GL_m(\Z)$ and $\Gamma_1(m,p)$ with coefficients in any highest weight representation $V$. By homological Euler characteristics we mean the alternating dimensions of cohomology of the group with coefficient in $V$. We compute the homological Euler characteristics for $\Gamma_1(2,p)$, and $\Gamma_1(3,p)$ with coefficients in any finite dimensional highest weight representation. Also we compute the homological Euler characteristics for of $\Gamma_1(4,p)$ and $\Gamma_1(5,p)$ with coefficients in the trivial and the determinant representations. We give application to cohomology of $\Gamma_1(3,p)$ with trivial and with determinant representation. We also give an alternative method for computing the cohomology of $GL_4(\Z)$ compared to \cite{GL4}. The methods in this paper are a continuation of result from \cite{Thesis, EulerChar}.

On some results of Korobov and Larcher and Zaremba's conjecture
math.NT
math.CA
math.CO


Ilya D. Shkredov

We prove, in particular, the well--known Zaremba conjecture from the theory of continued fractions for any prime denominator. More precisely, we show, firstly, that under some mild conditions, for any sufficiently large $q$, there exists $a$ coprime to $q$ such that all partial quotients of $a/q$ are bounded by $O(\sqrt{\log q})$, and, moreover we find asymptotically tight lower bound for the number of such $a$. Secondly, we obtain a good lower bound for the number $a$ such that the sum of all partial quotients of $a/q$ is bounded by $O(\log q \cdot \sqrt{\log \log q})$. This, accordingly, improves on some results of Korobov and Larcher. Finally, we show that for all sufficiently large $\mathcal{M}$ there are $\Omega(q^{1-O(1/\mathcal{M})})$ numbers $a$ coprime to $q$ such that all partial quotients of $a/q$ are bounded by $\mathcal{M}$.

Separable integer partition classes and Slater's list -- I
math.NT
math.CO


Aritram Dhar, Ankush Goswami, Runqiao Li

Slater's list of Rogers-Ramanujan type identities consists of 130 series-product identities whose analytic proofs rely primarily on Bailey pair techniques. Although these identities play an important role in the theory of $q$-series and partitions, combinatorial interpretations for many of them remain unknown, largely because the series sides are difficult to interpret naturally in terms of partitions. In this paper we apply Andrews' theory of separable integer partition (SIP) classes to several identities from Slater's list. By constructing suitable SIP classes, we obtain natural partition-theoretic interpretations and parameterized generalizations of their series sides. We then apply various $q$-hypergeometric transformations to these generalized series to derive alternative expressions, which in certain cases reduce to infinite products. These results illustrate how the SIP framework provides a systematic approach to understanding Rogers-Ramanujan type identities and offer new combinatorial insights into identities appearing in Slater's list.

Elliptic curves with rank one and nontrivial 2-part of Tate Shafarevich groups over the $\mathbb{Z}_2$-extension of $\mathbb{Q}$
math.NT


Li-Tong Deng, Yong-Xiong Li

Let $\mathbb{Q}_\infty$ be the cyclotomic $\mathbb{Z}_2$-extension over $\mathbb{Q}$. For each integer $n\geq1$, let $\mathbb{Q}_n$ denote the unique subfield in $\mathbb{Q}_\infty$ such that $[\mathbb{Q}_\infty:\mathbb{Q}]=2^n$. Denote by $\mathbb{Z}_2[{\rm Gal}(\mathbb{Q}_n/\mathbb{Q})]$ the group ring of ${\rm Gal}(\mathbb{Q}_\infty/\mathbb{Q})$. For any elliptic curve defined over $\mathbb{Q}$ with odd conductor, the Mazur-Tate modular element associated with the curve is an element of $\mathbb{Z}_2[{\rm Gal}(\mathbb{Q}_n/\mathbb{Q})]$. In this paper, for each $n$, we study the $2$-adic properties of Mazur-Tate modular elements associated with quadratic twists of elliptic curves, under specializations by finite order characters of ${\rm Gal}(\mathbb{Q}_n/\mathbb{Q})$. Using the congruence properties of Heegner points and an equivariant version of the Coates-Wiles theorem, we construct an elliptic curve $E/\mathbb{Q}$ and a family of quadratic twists $E^{(m)}$ of $E$ such that each $E^{(m)}$ has both analytic and algebraic rank one over $\mathbb{Q}_\infty$, and whose Tate-Shafarevich group is infinite over $\mathbb{Q}_\infty$.

Arithmetical structure of sumset intersections
math.NT


Diego Marques, Melvyn B. Nathanson

The $h$-fold sumset of a set $A$ of integers is the set of all sums of $h$ not necessarily distinct elements of $A$. Let $(A_q)_{q=1}^{\infty}$ be a strictly decreasing sequence of sets of integers and let $A = \bigcap_{q=1}^{\infty} A_q$. Then $hA \subseteq \bigcap_{q=1}^{\infty} hA_q$ for all $h \geq 1$. Let $\mathcal{H}(A_q) = \{h \geq 1: hA = \bigcap_{q=1}^{\infty} hA_q\}$. The arithmetical structure of the sets $\mathcal{H}(A_q)$ is unknown. It is proved that for every $h_0 \geq 2$ there exist sequences $(A_q)_{q=1}^{\infty}$ such that $\{1,\ldots, h_0-1\} \subseteq \mathcal{H}(A_q)$ but $h_0 \notin \mathcal{H}(A_q)$ and also that there exist sequences $(A_q)_{q=1}^{\infty}$ such that $\{1, h_0 \} \subseteq \mathcal{H}(A_q)$ but $\{2,3, \ldots, h_0-1\} \cap \mathcal{H}(A_q) = \emptyset$.

Counting Polynomials via Galois Actions on Root Subsets
math.NT


Or Ben-Porath

This paper studies the number of monic integer polynomials $f$ of height at most $H$ whose Galois group, endowed with the action on the roots, is isomorphic to a prescribed permutation group $(G,\Omega)$. New upper bounds are obtained for several families of groups: transitive subgroups of the wreath product $S_m\wr S_r$ in the primitive action; $k$-homogeneous subgroups of $S_m$ in the action on $k$-subsets of $\{1,\ldots,m\}$; $k$-transitive subgroups of $S_m$ in the action on $k$-tuples of distinct elements of $\{1,\ldots,m\}$. Almost all finite groups in their regular permutation representation are also treated.

Hilbert cubes in sets with arithmetic properties
math.NT
math.CO


Ernie Croot, Junzhe Mao, Chi Hoi Yip

In this paper, we introduce new general frameworks for estimating the maximal dimension of Hilbert cubes contained in finite truncations of arbitrary sets. As applications, we investigate Hilbert cubes in a range of arithmetic sets, including perfect powers, powerful numbers, primes, smooth numbers, and squarefree numbers. Along the way, we substantially sharpen several earlier results of Dietmann-Elshotlz, Erd\H{o}s-S\'ark\"ozy-Stewart, Hajdu, and S\'ark\"ozy, and we obtain bounds that are sharp up to the implied constant in several cases. Additionally, we prove conditional results of independent interest, including an almost sharp uniform upper bound on the number of $k$-th powers in an arithmetic progression for each $k\geq 4$, assuming the ABC conjecture.

Multiplicities of eigenvalues and quadratic representations of integers
math.NT
math.SP


Siqi Fu, Andrew Pendleton

We study the set $M$ of all multiplicities of non-zero eigenvalues for the Laplace operator on a two-dimensional rectangle or torus. We show that for a rectangle with the side length ratio $r$, $M=\mathbb{N}$, the set of all positive integers, if and only if $r^2$ is rational. For a torus whose generating vectors have a length ratio $r$ and the angle between them $\theta$, we show that $M$ is an infinite set if and only if both $r\cos\theta$ and $r^2$ are rational. In this case, $M=2\mathbb{N}$, $4\mathbb{N}$, or $6\mathbb{N}$, and we obtain a characterization for each of these cases in term of $r\cos\theta$ and $r^2$. In the case when at least one of $r\cos\theta$ or $r^2$ is irrational, we show that $M=\{2\}$ or $\{2, 4\}$, and obtain a characterization for these cases. We prove these results by studying the number of integral lattice points on dilated ellipses.

Paratrophic Determinants over $\mathbb{Z}/N\mathbb{Z}$ via Discrete Fourier Transform
math.NT


Hang Liu

In this note, we investigate the paratrophic determinants attached to the multiplicative semigroup $\mathbb{Z}/N\mathbb{Z}$. We show that, via discrete Fourier, cosine and sine transforms, these determinants factor into products of group determinants indexed by $d|N$. This yields explicit formulas for several determinant families, including determinants involving periodic Bernoulli functions and powers of the tangent function. As an application, we also prove a corrected version of a conjecture of Sun Zhi-Wei. The idea of using discrete Fourier transform (DFT) in our approach was discovered through human-AI interaction.

Bounded Additive Relation and Application to Finite Multiple Zeta Values
math.NT


Tomoki Mihara

We formulate an algebraic problem to find a generating system of a finite subset of an Abelian group with respect to linear relations whose coefficients are bounded by a constant, and recall MITM algorithm for the problem. As an application of MITM algorithm for the Abelian group \begin{eqnarray*} \mathbb{Z}/106700590455862347842907841856033238416352421 \mathbb{Z} \end{eqnarray*} combined with Chinese remainder algorithm, we give a table of expected linear relations of finite multiple zeta values of weight $10$.

Primitive points on some low degree Fermat curves
math.NT


Maleeha Khawaja

Let $n\geq 3$ be an integer. Let $F_n$ be the Fermat curve defined by the Fermat equation $x^n+y^n=z^n$. For a curve $C/\mathbb{Q}$, we say an algebraic point $P\in C(\bar{\mathbb{Q}})$ is primitive if the Galois group of the Galois closure of the number field $\mathbb{Q}(P)$ is a primitive permutation group. Recall that $A_4$ is a primitive subgroup of $S_4$. We prove that there are no non-trivial quartic points on $F_n$ with Galois closure $A_4$, when $n = 7$ and $n = 8$. We also provide sufficient conditions for the non-existence of non-trivial points on the Fermat curves $F_6$ and $F_8$ defined over a given primitive number field of degree at least $3$.

Infinite families of APN permutations in constrained trivariate classes over $\mathbb{F}_{2^m}$
math.NT
cs.CR
cs.IT
math.IT


Daniele Bartoli, Pantelimon Stanica

We study trivariate permutation polynomials over $\mathbb{F}_{2^{m}}$ extending two APN permutation families of Li--Kaleyski (IEEE Trans. Inform. Theory, 2024) by allowing the scalar parameter to vary over $\mathbb{F}_{2^m}^*$. For \[ G_a(x,y,z)=(x^{q+1}+ax^qz+yz^q,\; x^qz+y^{q+1},\; xy^q+ay^qz+z^{q+1}), \] where $a\in\mathbb{F}_{2^m}^*$, $q=2^i$, $\gcd(i,m)=1$, and $m$ is odd, we prove that $G_a$ is a permutation if and only if an associated univariate polynomial has no root in $\mathbb{F}_{2^m}^*$, and that this condition is also equivalent to $G_a$ being APN. Hence, writing $d=q^2+q+1$, at least \[ \frac{2^m+1-(d-1)(d-2)2^{m/2}-d}{d} \] values of $a$ yield APN permutations $G_a$. In the binary case $q=2$, we show that $a=1$ is good whenever $7\nmid m$, recovering the Li--Kaleyski family. For the second family \[ H_a(x,y,z)=(x^{q+1}+axy^q+yz^q,\; xy^q+z^{q+1},\; x^qz+y^{q+1}+ay^qz), \] we obtain the same root criterion and prove that its defining polynomial is root-equivalent to that of $G_a$. Thus the same parameters $a$ give APN permutations in both families. We also prove strong inequivalence results. First, $G_a$ (resp.\ $H_a$) is diagonally equivalent to $G_1$ (resp.\ $H_1$) if and only if $a^{q^2+q+1}=1$; moreover, for $m>4$, $m\neq 6$, and $7\nmid m$, diagonal non-equivalence implies CCZ non-equivalence by the monomial restriction theorem of Shi et al.\ (DCC, 2025). In particular, when $q=2$ and $7\nmid m$, every good $a\neq 1$ gives APN permutations CCZ-inequivalent to Li--Kaleyski. Second, for the same range of $m$, no $G_a$ is CCZ-equivalent to any $H_b$. Hence these constructions yield two genuinely new, mutually inequivalent families of APN permutations on $\mathbb{F}_{2^{3m}}$.

Variance of GL(2) Fourier coefficients in arithmetic progressions
math.NT


Laurent Montaigu (UB)

We improve a result of Lau and Zhao on the variance of Fourier coefficients of primitive cuspidal modular forms for SL2(Z) in arithmetic progressions. This is achieved by using bounds on the first moment of Rankin-Selberg L-functions in the height aspect and non-trivial estimates for shifted convolution sums.

Explicit formula for multi-indexed poly-Bernoulli numbers
math.NT


Tomoko Kikuchi, Maki Nakasuji

The classical Bernoulli numbers $B_m$ can be expressed using Stirling numbers of the second kind, and M. Kaneko extended this framework by defining poly-Bernoulli numbers ${\mathbb B}_m^{(k)}$, for which explicit formulas using the Stirling numbers of the second kind and duality relations were obtained. Later, Kaneko and H. Tsumura introduced multi-indexed poly-Bernoulli numbers ${\mathbb B}_{m_1, \ldots, m_r}^{(k_1, \ldots, k_r)}$ using the multiple polylogarithm and reached their duality properties via an associated $\eta$-function. Explicit formulas for double-indexed poly-Bernoulli numbers ${\mathbb B}_{m_1, m_2}^{(k_1, k_2)}$ were obtained by Y. Baba, M. Nakasuji, and M. Sakata. In this article, we extend these results to general multi-indexed poly-Bernoulli numbers and use it to give an alternative proof of the duality of multi-indexed poly-Bernoulli numbers.

$p$-adic $L$-functions for Hecke characters of totally imaginary fields
math.NT
math.AG


Guido Kings, Johannes Sprang

We construct $p$-adic $L$-functions interpolating critical $L$-values of algebraic Hecke characters for arbitrary unramified primes $p$ and any totally imaginary field. For non-ordinary primes, the only previously known case was that of imaginary quadratic extensions of $\mathbb{Q}$. One of the main ingredients is a new $p$-adic Fourier theory relating generic fibers of $p$-divisible groups to a general class of character varieties. Combining this with equivariant cohomology classes constructed in a previous paper allows us to construct the $p$-adic $L$-function.

Lifts of unramified twists and local-global principles
math.NT


Fabian Gundlach, Béranger Seguin

We prove that two-step nilpotent $p$-extensions of rational global function fields of characteristic $p$ satisfy a quantitative local-global principle when they are counted according to their largest upper ramification break ("last jump"). We had previously shown this only for $p\neq2$. Compared to our previous proof, this proof is also more self-contained, and may apply to heights other than the last jump. As an application, we describe the distribution of last jumps of $D_4$-extensions of rational global function fields of characteristic $2$. We also exhibit a counterexample to the analogous local-global principle when counting by discriminants.

Diversity, equity, and inclusion for problems in additive number theory
math.NT
math.CO


Melvyn B. Nathanson

This is a survey of the diversity of problems in additive number theory. Equity requires the consideration of less currently popular problems, and suggests their inclusion in the additive canon. Of particular interest are problems about the sizes of sumsets of finite sets of integers and problems about the arithmetical structure of intersections of sumsets.

On Jiang's wavefront sets conjecture for representations in local Arthur packets
math.RT
math.NT


Baiying Liu, Freydoon Shahidi

This note serves as an attempt towards the Jiang conjecture on the upper bound nilpotent orbits in the wavefront sets of representations in local Arthur packets of classical groups, which is a natural generalization of the well-known Shahidi conjecture, reflecting the relation between the structure of wavefront sets and the local Arthur parameters. Applying the character identities of local Arthur packets and the matching method of endoscopic liftings, we reduce the study of the upper bound to certain properties of the wavefront sets of the corresponding bi-torsor representations of general linear groups.

An analogue of Rogers' theorem on sieving in commutative rings
math.AC
math.NT


Petr Kucheriaviy

We prove that an analogue of Rogers' theorem on sieving holds for an order if and only if the order is a Dedekind domain. We also prove that it holds for a finite commutative ring if and only if the ring is a direct product of local rings with linearly ordered ideals.

Negative $\beta$-transformations: invariant measures, subshifts of finite type and matching property
math.DS
math.NT


Yan Huang, Yun Sun

We study the negative beta transformations $T_{-\beta}:=-\beta x +\lfloor\beta x\rfloor+1$ for $x\in(0,1]$ and $\beta>1$. We present a complete characterization of pairs of dstinct non-integers with the same $T_{-\beta}$-invariant measure: for two non-integers $\beta_1 ,\beta_2 >1$, the invariant measures of negative $\beta$-transformation coincide if and only if $\beta_1$ is the root of equation $x^2-qx-p=0$, where $p,q\in\mathbb{N}$ with $p\leq q$, and $\beta_2 = \beta_1 + 1$. Furthermore, we show that $T_{-\beta}$ has matching property for all $\beta$ being generalized multinacci numbers. We also prove that the set of simple $-\beta$ numbers, whose $-\beta$-shifts are subshifts of finite type, is dense in the parameter interval $(1,\infty)$.

Twisted endoscopic character relation for toral supercuspidal L-packets of classical groups
math.RT
math.NT


Masao Oi

We prove that Kaletha's toral supercuspidal L-packets satisfy the twisted endoscopic character relation in some cases, including the case of general linear groups equipped with an involution. Consequently, we verify that Kaletha's construction of the local Langlands correspondence for toral supercuspidal representations of quasi-split symplectic or special orthogonal groups coincides with Arthur's. The strategy is to emulate Kaletha's proof of the standard endoscopic character relation in the twisted setting by appealing to Waldspurger's framework ``l'endoscopie tordue n'est pas si tordue''.

Spectral Moment Formulae for $\hbox{GL}(3)\times \hbox{GL}(2)$ $\hbox{L}$-functions II: The Eisenstein Case
math.NT
math.CA
v3


Chung-Hang Kwan

This work is the second in a series, following Part I (Algebra Number Theory 18.10 (2024)) and preceding Part III (Math. Ann. 391.1 (2025)). We continue our investigation of spectral moments of $\hbox{GL}(3)\times \hbox{GL}(2)$ $\hbox{L}$-functions from the perspective of period integrals. Using an identity between two distinct periods for the $\hbox{GL}(3)$ Eisenstein series, we establish an exact Motohashi-type identity linking the shifted cubic moment of $\hbox{GL}(2)$ $\hbox{L}$-functions to the shifted fourth moment of $\hbox{GL}(1)$ $\hbox{L}$-functions. In addition, we offer a novel, intrinsic and automorphic account for the sources and symmetries of the full set of main terms for both moments, in agreement with the CFKRS Moment Conjectures (Proc. Lond. Math. Soc.(3) 91 (2005)).

Doubly isogenous curves of genus two with a rational action of $D_6$
math.NT
math.AG
v3


Jeremy Booher, Everett W. Howe, Andrew V. Sutherland, José Felipe Voloch

Let $C$ and $C'$ be curves over a finite field $K$, provided with embeddings $\iota$ and $\iota'$ into their Jacobian varieties. Let $D\to C$ and $D'\to C'$ be the pullbacks (via these embeddings) of the multiplication-by-$2$ maps on the Jacobians. We say that $(C,\iota)$ and $(C',\iota')$ are \emph{doubly isogenous} if $\mathrm{Jac}(C)$ and $\mathrm{Jac}(C')$ are isogenous over $K$ and $\mathrm{Jac}(D)$ and $\mathrm{Jac}(D')$ are isogenous over~$K$. When we restrict attention to the case where $C$ and $C'$ are curves of genus $2$ whose groups of $K$-rational automorphisms are isomorphic to the dihedral group $D_6$ of order $12$, we find many more doubly isogenous pairs than one would expect from reasonable heuristics. Our analysis of this overabundance of doubly isogenous curves over finite fields leads to the construction of a pair of doubly isogenous curves over a number field. That such a global example exists seems extremely surprising. We show that the Zilber--Pink conjecture implies that there can only be finitely many such examples. When we exclude reductions of this pair of global curves in our counts, we find that the data for the remaining curves is consistent with our original heuristic. Computationally, we find that doubly isogenous curves in our family of $D_6$ curves can be distinguished from one another by considering the isogeny classes of the Prym varieties of certain unramified covers of exponent $3$ and $4$. We discuss how our family of curves can be potentially be used to obtain a deterministic polynomial-time algorithm to factor univariate polynomials over finite fields via an argument of Kayal and Poonen.

Mahler equations for Zeckendorf numeration
math.NT
cs.FL
v2


Olivier Carton, Reem Yassawi

We define generalised equations of Z-Mahler type, based on the Zeckendorf numeration system. We show that if a sequence over a commutative ring is Z-regular, then it is the sequence of coefficients of a series which is a solution of a Z-Mahler equation. Conversely, if the Z-Mahler equation is isolating, then its solutions define Z-regular sequences. This is a generalisation of results of Becker and Dumas. We provide an example to show that there exist non-isolating Z-Mahler equations whose solutions do not define Z-regular sequences. Our proof yields a new construction of weighted automata that generate classical q-regular sequences.

Conditional upper bounds on the least character non-residue
math.NT
v2


Aritro Pathak

We extend known methods to establish upper bounds on the least character non-residues contingent on different zero-free regions within the critical strip, in particular on bounded rectangles within the critical strip along the $\sigma=1$ line at arbitrary heights. This relates to earlier conditional results on least character non-residues, and recent results of Granville and Soundararajan on character sums.

Strong Hybrid Subconvexity for Twisted Selfdual $\mathrm{GL}_3$ $L$-Functions
math.NT
v2


Soumendra Ganguly, Peter Humphries, Yongxiao Lin, Ramon Nunes

We prove strong hybrid subconvex bounds simultaneously in the $q$ and $t$ aspects for $L$-functions of selfdual $\mathrm{GL}_3$ cusp forms twisted by primitive Dirichlet characters. We additionally prove analogous hybrid subconvex bounds for central values of certain $\mathrm{GL}_3 \times \mathrm{GL}_2$ Rankin-Selberg $L$-functions. The subconvex bounds that we obtain are strong in the sense that, modulo current knowledge on estimates for the second moment of $\mathrm{GL}_3$ $L$-functions, they are the natural limit of the first moment method pioneered by Li and by Blomer. The method of proof relies on an explicit $\mathrm{GL}_3 \times \mathrm{GL}_2 \leftrightsquigarrow \mathrm{GL}_4 \times \mathrm{GL}_1$ spectral reciprocity formula, which relates a $\mathrm{GL}_2$ moment of $\mathrm{GL}_3 \times \mathrm{GL}_2$ Rankin-Selberg $L$-functions to a $\mathrm{GL}_1$ moment of $\mathrm{GL}_4 \times \mathrm{GL}_1$ Rankin-Selberg $L$-functions. A key additional input is a Lindel\"of-on-average upper bound for the second moment of Dirichlet $L$-functions restricted to a coset, which is of independent interest.

On the sign changes of $\psi(x)-x$
math.NT
v2


Maciej Grześkowiak, Jerzy Kaczorowski, {\L}ukasz Pańkowski, Maciej Radziejewski

We improve the lower bound for $V(T)$, the number of sign changes of the error term $\psi(x)-x$ in the Prime Number Theorem in the interval $[1,T]$ for large $T$. We show that \[ \liminf_{T\to\infty}\frac{V(T)}{\log T}\geq\frac{\gamma_{0}}{\pi}+\frac{1}{60} \] where $\gamma_{0}=14.13\ldots$ is the imaginary part of the lowest-lying non-trivial zero of the Riemann zeta-function. The result is based on a new density estimate for zeros of the associated $k$-function, over $4\cdot10^{21}$ times better than previously known estimates of this type.

Torsion graded pieces of Nyggard filtration for crystalline representation
math.NT
math.AG
v2


Tong Liu

Let $K$ be a unramified $p$-adic field with the absolute Galois group $G_K$ and $T$ a crystalline $\mathbb Z_p$-representation of $G_K$. We study the graded pieces of integral filtration on $D_{\rm dR}(T)$ given by Nyggard filtration of the attached Breuil-Kisin module of $T$. We show that the $i$-graded piece has nontrivial $p$-torsion only if $ i = r_j +m p$ for a Hodge-Tate weight $ r_j$ of $T$ and $m$ a positive integer.

A note on the twisted degree $6$ $L$-function for Hermitian cusp forms of degree $2$
math.NT
v2


Rafail Psyroukis

Let $F$ be a cuspidal Hermitian eigenform of degree two over $\mathbb{Q}(i)$, with first Fourier-Jacobi coefficient not identically zero. Building on a paper by Das and Jha, we prove the meromorphic continuation to $\mathbb{C}$ and the functional equation of a degree six $L$-function attached to $F$ by Gritsenko, twisted by a Dirichlet character.

Discretized Rotation with fixed initial points
math.NT
math.DS
v3


Shigeki Akiyama, Bill Mance

We prove that if $\max\{|a_0|,|a_1|\}\le 10$ and $\lambda\in\ ]-2,2[$, then the sequence defined by $$ 0 \le a_{n+2} +\lambda a_{n+1}+a_n<1 $$ is periodic.

Beyond endoscopy for $\mathsf{GL}_2$ over $\mathbb{Q}$ with ramification 3: contribution of the elliptic part
math.NT
math.RT
v2


Yuhao Cheng

We continue to work on \emph{Beyond Endoscopy} for $\mathsf{GL}_2$ over $\mathbb{Q}$ with ramification at $S = \{\infty, q_1, \dots, q_r\}$ (where $2 \in S$), generalizing the final step of Altu\u{g}'s work in the unramified setting. We derive an explicit asymptotic formula for the elliptic part when summing over $n2$, directly generalizing Altu\u{g}'s final result. Our approach differs entirely from Altu\u{g}'s: We apply a second Poisson summation with respect to the determinant, obtaining a formula on the Hitchin-Steinberg base $\mathfrak{g}/\!/ \mathsf{G}$. By changing variables from $(T, N)$ to $(T, \Delta)$ on $\mathfrak{g}/\!/ \mathsf{G}$, we perform analysis in the new coordinates.

On denominators of consecutive $\operatorname{SL}(2,{\mathbb N})$-saturated Farey fractions
math.NT
v2


Jack Anderson, Florin P. Boca, Cristian Cobeli, Alexandru Zaharescu

The sequence $({\mathscr S}_Q)_Q$ of $\operatorname{SL}(2,{\mathbb N})$-saturated Farey fractions was defined in our previous work by ${\mathscr S}_Q := \{ a/q \in {\mathbb Q} \cap (0,1]: q+a+\bar{a} \le Q\}$, where $\bar{a}$ is the multiplicative inverse of $a\pmod{q}$ in $[1,q)$. Here, we prove that the set of $Q$-scaled denominators of consecutive fractions in ${\mathscr S}_Q$ is dense in the region ${\mathcal V}:=\{ (x,y)\in [0,1]^2 : \max \{ (1-3x)/2,2x-1\} \le y \le \max \{ x,1-x\} \}$, and provide a formula for their distribution in ${\mathcal V}$ as $Q\rightarrow \infty$.

An Analogue of the Dedekind Eta Function for Hecke Groups $H(\sqrt{D})$
math.NT
v3


Debmalya Basak, Dorian Goldfeld, Winston Heap, Nicolas Robles, Alexandru Zaharescu

Let $D\equiv 1\bmod{4}$ be a fundamental discriminant of a real quadratic field. We construct an analogue of the classical Dedekind eta function for the Hecke group $H(\sqrt{D})$. This gives rise to a new family of holomorphic modular functions for $H(\sqrt{D})$ which vanish at the cusp at $\infty$. We establish results on the asymptotic growth and sign patterns of the Fourier coefficients associated to these modular forms.

Distribution of mixed character sums and extremal problems for Littlewood polynomials
math.NT
math.CA
math.CV
math.PR
v2


Jonathan W. Bober, Oleksiy Klurman, Besfort Shala

We prove distributional results for mixed character sums \begin{equation*} \sum_{n\le x }\chi(n)e(n\theta), \end{equation*} for fixed $\theta\in [0,1]$ and random character $\chi \pmod q$, as well as for a fixed character $\chi$ and randomly sampled $\theta\in [0,1].$ We present various applications of our results. For example, we construct Littlewood polynomials with large Mahler measure and $L_1$ norm, thus establishing new records in the Mahler and Newman problems. We also show that $L_{2k}$ norms of well-known Turyn polynomials are asymptotically minimized at the shift $\alpha=1/4,$ proving a conjecture of G\"unther and Schmidt. An important ingredient in our work is a general way of dealing with "log-integrability" problems.

Genus-One Fibrations and the Jacobian of Linear Slices in the Quintic Equal-Sum Problem
math.NT
math.AG
v3


Valery Asiryan

We study the Diophantine equation $a^5+b^5=c^5+d^5$ under the linear slicing constraint $(c+d)-(a+b)=h$. We first prove the necessary congruence $30\mid h$. After symmetrization, the associated discriminant equation defines, for each fixed nonzero slice parameter $h$, a genus-one curve over $\mathbb{Q}(S)$; to study Mordell-Weil rank, one must pass to its Jacobian fibration $E_h/\mathbb{Q}(S)$. We show that $E_h$ carries a global rational $2$-torsion section and never has full rational $2$-torsion over $\mathbb{Q}(S)$. We also prove that no nonsingular rational specialization acquires additional rational $2$-torsion: by homogeneity, the relevant square condition reduces to rational points on a universal genus-two hyperelliptic curve, whose rational points are determined via a verified Magma computation using a rank-$0$ bound and the Chabauty-Coleman method. We further show that, after the normalization $x=S/h$, the Jacobian fibrations for all $h\neq 0$ become isomorphic over a rational function field. For the representative slice $h=30$, we compute the classical invariants of the associated binary quartic, obtain an explicit Weierstrass model, and apply the Gusi\'c-Tadi\'c injectivity criterion together with verified specialized-rank computations to prove the uniform bound $\mathrm{rank}\,E_h(\mathbb{Q}(S))\le 1$ for all $h\neq 0$. We then construct an explicit rational section on the universal Jacobian model and, specializing at $S=12$ on the slice $h=30$, show via injective specialization that this section has infinite order. Consequently, $\mathrm{rank}\,E_h(\mathbb{Q}(S))=1$ for every $h\in\mathbb{Q}^\times$. We conclude by recording the additional integrality, parity, and size conditions required to recover integer solutions from the genus-one/Jacobian framework.

Primes and almost primes between cubes
math.NT
v2


Daniel R. Johnston, Jonathan P. Sorenson, Simon N. Thomas, Jonathan E. Webster

In this paper we study the problem of detecting prime numbers between all consecutive cubes. Firstly, we use a large computation to show that there is always a prime between $n^3$ and $(n+1)^3$ for $n^3\leq 1.649\cdot 10^{40}$. In addition, we use this computation and a sieve-theoretic argument to show that there exists a number with at most 2 prime factors (counting multiplicity) between $n^3$ and $(n+1)^3$ for all $n\geq 1$. Our sieving argument uses a logarithmic weighting procedure attributed to Richert, which yields significant numerical improvements over previous approaches.

Semistable intrinsic reduction loci for the iterations of non-archimedean quadratic rational functions
math.NT
math.DS
v2


Yûsuke Okuyama

We introduce a semistability notion of the intrinsic reductions of a non-archimedean rational function at each non-classical point in the Berkovich projective line, which extends the potential GIT-semistability one defined at each type II points, and compute the intrinsic semistability loci for the iterations of a quadratic rational function using a reduction theoretic slope formula for the hyperbolic resultant function associated to those iterations. In particular, we establish a precise stationarity of those loci for iterated quadratic rational functions similar to that in the case of non-archimedean polynomial dynamics.

A trick to ensure positive Mordell-Weil rank
math.NT
v2


Thibaut Misme

In this short note, we present a trick to ensure that the Jacobian of a given smooth curve over a number field has strictly positive Mordell-Weil rank. More explicitly, we prove that a smooth curve with no rational non-trivial 2-torsion and no rational theta characteristic has non-zero Mordell-Weil rank assuming the existence of a rational degree 1 divisor class. In particular, it implies that a generic nice curve with a rational degree 1 class has strictly positive rank. This criteria is both of theoretical and computational interest as we show how to use it in practice. We also give refinements, including an equivalent for families of curves, and explicit examples.

BSD Invariants and Murmurations of Elliptic Curves
math.NT
v2


Dane Wachs

We investigate the interaction between Birch and Swinnerton-Dyer (BSD) invariants and the murmuration phenomenon for elliptic curves over the rational numbers. Our study, based on a dataset of 3,064,705 curves from the Cremona database with conductor up to 499,998, yields three results. First, the BSD invariants themselves - real period, Tamagawa product, analytic order of the Tate-Shafarevich group, regulator, and torsion order - do not exhibit murmuration-type oscillations when averaged in sliding conductor windows. Second, these invariants modulate the shape of the standard Frobenius trace murmurations: within a fixed rank, curves stratified by Tamagawa product, analytic order of the Tate-Shafarevich group, or real period display significantly different murmuration profiles, with p-values less than 0.001 against permutation null models, and these differences are scale-invariant across conductor ranges. Third, the Tate-Shafarevich group modulation survives controlling simultaneously for the L-value at 1, the real period, and the conductor, establishing that the order of the Tate-Shafarevich group encodes information about the distribution of Frobenius traces at good primes that is not captured by any other standard BSD invariant. We further show that this modulation is a pure mean shift in the Frobenius trace distribution - variance, skewness, and kurtosis are identical between Tate-Shafarevich group strata - and that it concentrates at small primes. Computing low-lying L-function zeros for 2,000 curves at fixed L-value, we find that curves with Tate-Shafarevich group order at least four have systematically different low-lying zero distributions, with the first zero displaced higher and subsequent zeros more tightly packed. The explicit formula connects this zero displacement to the observed murmuration modulation, consistent with the zero distribution acting as a mediating mechanism.

Divisor Structure of p-1 in Mersenne Prime Exponents
math.NT
v2


Jesus Dominguez

According to the Wagstaff heuristic, the probability that a Mersenne number $M_p = 2^p-1$ is prime mainly depends on the size of the exponent $p$. We investigate whether the secondary arithmetic structure in $p-1$ is linked to noticeable variation among Mersenne prime exponents, motivated by the cyclotomic decomposition of $2^{p-1}-1$. We introduce the normalized divisor-structure parameter $S(p)=\log \tau(p-1)/\log\log p$, which is a scale-invariant way to measure the divisor structure of $p-1$. which is a scale-invariant way to measure the divisor structure of $p-1$. Using the currently known Mersenne prime exponents (excluding small cases), we compare $S(p)$ with nearby prime controls through percentile analysis, stratified conditional likelihood estimation and stratified permutation testing. Across all methods, Mersenne prime exponents tend to exhibit larger values of $S(p)$ within local exponent windows compared to nearby primes of comparable size. The observed effect is moderate and remains stable across different non-parametric tests. It is also consistent with the classical asymptotic behavior. At present, no analytic explanation for the observed phenomenon is known.

Twisted character formula for toral supercuspidal representations
math.RT
math.NT
v2


Masao Oi

We establish an explicit formula for twisted Harish-Chandra characters of toral supercuspidal representations of p-adic reductive groups under several technical assumptions. Our setup especially includes the case of a quasi-split group equipped with an involution.

The Simplicial Geometry of Integer Partitions: An Exact $O(1)$ Formula via $A_{k-1}$ Root Systems
math.CO
math.MG
math.NT
v4


Antonio Bonelli

We present a structural resolution to the exact evaluation of the partition function $p_k(n)$, systematically 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 rigorously proves that the strict arithmetic complexity of evaluating $p_k(n)$ is identically $O(1)$ with respect to $n$. Furthermore, we formally address the spatial complexity bottleneck for astronomically large $k$ by introducing a spatial memory reduction theory via Sylvester-Ramanujan waves, reducing the memory footprint to strictly $O(k)$. We additionally extend this structural framework to the unrestricted partition function $p(n)$, deriving an exact $O(\sqrt{n})$ closed form via Durfee squares, and establish its asymptotic limit as the geometric foundation of Euler's Pentagonal Number Theorem. Finally, we explicitly translate this additive framework into multiplicative number theory, establishing a geometric extraction of the divisor function $\sigma(n)$ and an exact non-recursive polyhedral closed form for the prime-counting function $\pi(x)$. In doing so, we formally identify a unique geometric basis of Ehrhart quasi-polynomials bridging continuous polyhedra and discrete arithmetic.

Theorem of the heart for Weibel's homotopy $K$-theory
math.KT
math.AG
math.AT
math.CT
math.NT
v2


Alexander I. Efimov

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}.$