Number Theory [math.NT]

Joint level-weight murmurations for holomorphic newforms

math.NT

We establish an unconditional joint level-weight murmuration law for holomorphic newforms of squarefree level. The level N is averaged at size X, the even weight k at size K, and primes are measured in the coordinate p divided by N times ((k-1)/(4 pi)) squared. After normalization, the root-number weighted prime trace converges to a locally finite measure supported on rational squares, with explicitly given Euler-product masses. The convergence is uniform for X^epsilon <= K <= X^(1-epsilon), and therefore holds for K = X^rho for every fixed 0 < rho < 1. Starting from the exact trace formula, we first sum over the weight, truncate the resulting quadratic L-values using Burgess's bound, and average the remaining periodic functions over squarefree levels. Neumann summation converts the resulting Bessel series into the atomic measure. No hypothesis on zeros of Dirichlet or automorphic L-functions is used.

Moments of the number of representations as sums of two prime squares

math.NT

We prove, for every fixed integer $k\ge 4$, the correct order of magnitude for the $k$th moments of the function that counts the number of representations of an integer as sums of two prime squares. The upper bound for $k=4$ was previously known up to $\log\log\log x$, and the lower bound for $k\ge 4$ was only known conditionally on a conjectural uniform version of the Green-Tao theorem on linear equations in primes by the work of Sabuncu \cite{Sabuncu2024}. As an application of our method, we give a simpler proof of the lower bounds for the moments of the shifted prime divisor function, thereby recovering the lower-bound part of Gabdullin's recent result on a conjecture of Fan and Pomerance.

Remarks on a theorem of Silverman

math.NT

math.AG

Motivated by a theorem of Silverman, we consider the following problem. Let $A$ be an abelian variety over a global field $K$. Given a non-torsion point $P \in A(K)$, for a sufficiently large positive integer $n$, whether there exists a place $v$ of $K$ such that the order of the reduction of $P$ modulo $v$ is $n$? In this article, we first show that this holds for an elliptic curve over a global function field of positive characteristic $p>3$ and for sufficiently large positive integers $n$ coprime to $p$. In the second part of the paper, we consider its relative version over $\mathbb C$. More precisely, let $\pi: \mathcal{A} \rightarrow S$ be an abelian scheme over some variety $S$ over $\mathbb C$, and let $P$ be a non-torsion section of $\pi$. If the Betti map associated to $P$ is generically submersive, then for every sufficiently large $n$, there is a point $s$ in $S(\mathbb C)$ such that $P(s)$ is a point of order $n$ in the corresponding fiber.

The complete cubic Walsh spectrum of a permutation-inverse Boolean family

math.NT

math.CO

Let $q=2^e$ with $e\ge2$ even, put $d=(q^2+q+1)/3$, and let $\sigma(X)=X+X^d+X^{dq}$ be the permutation of $\mathbb F_{q^2}$ introduced by Ding, Qu, Wang, Yuan, and Yuan. For $\alpha\in\mathbb F_q^*$, define the Boolean function \[ f_\alpha(x)=\operatorname{Tr}_{q^2}\bigl(\alpha(\sigma^{-1}(x))^3\bigr), \qquad x\in\mathbb F_{q^2}. \] In this paper, we determine the complete Walsh distribution of $f_\alpha$ in the remaining cubic case $\alpha\in(\mathbb F_q^*)^3$. More precisely, these functions are not bent but are $2$-plateaued: their Walsh values are precisely $0$ and $\pm 2q$, with exact multiplicities. The main new tool is a completion method for the outside Walsh coefficients: the punctured Fourier transform arising from the outside reduction is filled on the missing line, a modification invisible to outside frequencies, and the completed function is then identified with a Boolean component of a Kasami APN monomial. The APN property supplies a fourth-moment identity which, together with the known subfield spectrum and a Hasse divisibility congruence, forces the pointwise cubic spectrum.

First Moment of derivatives of $L$-functions in a nonlinear family

math.NT

In this paper, we prove an asymptotic formula for the moment of the first order derivative of modular $L$-functions at the center of the critical strip, weighted by generalized divisor functions formed by primitive quadratic characters. Such moments were previously studied by Munshi, which naturally arise in the study of elliptic fibration. To the best of our knowledge, such asymptotic formulae have only been proven in the setting of higher-order derivatives, or under the specialization to dihedral forms.

Extension of the Equation $\sum\limits_{j=1}^{k}jF_{j}^{p}=F_{n}^{q}$ to a Family of Lucas Sequences

math.NT

We solve the equation $\sum\limits_{j=1}^{k}jU_{j}(x,y)^{p}=U_{n}(x,y)^{q}$ positive integers $x,p,q,k,n$, with $y=\pm1$ and $\max\{p,q\}\leq11$, where $U_{m}(x,y)=\frac{\alpha^{m}-\beta^{m}}{\alpha-\beta}$ for $\alpha$ and $\beta$ roots of the polynomial $t^2-xt+y$. This generalizes existing results on similar equations, wherein the sequence was fixed as either the Fibonacci or Pell numbers. In addition, we find all solutions with $k=2$ and $y=\pm1$.

Averages of diagonal Elliott-Halberstam problem twisted by M\"obius function with Sobolev and H\"older-Zygmund weights

math.NT

Recalling that the so-called Elliott-Halberstam conjecture twisted by the M\"obius function $\mu(n)$ claims that \[ \sum_{q\leq N^{\theta}}\max_{y\leq N}\max_{(a,q)=1}\left|\sum_{\underset{{\scriptstyle n\equiv a\,\mod\,q}}{n\leq y}}\Lambda(n)\mu\left(N-n\right)-\frac{1}{\varphi\left(q\right)}\sum_{n\leq y}\Lambda(n)\mu\left(N-n\right)\right|\ll\frac{N}{\log\left(N\right)^{A}} \] for every $A>0$, where $0<\theta<1$ is fixed, and also recalling that the validity of this conjecture, in combination with the validity of the classical Elliott-Halberstam for suitable $\theta$, proves the binary Goldbach conjecture, in this paper we study weighted average variants of this problem. We will show that, under Generalized Riemann Hypothesis, a weak version of the Gonek-Hejhal conjecture and working with weights belonging to the Sobolev space $W^{2,1}$ or in the H\"older-Zygmund spaces $\mathcal{C}^{\delta}$ for suitable range of $\delta$, the bound of the average is consistent with the bound of the ``diagonal versions'' of this conjecture (that is, taking $y=N$ and taking $n\equiv N\mod q)$. In particular, in the case of weights in Sobolev space, the consistent upper bound holds for the whole $0<\theta<1$ and, in the case of weights in the H\"older-Zygmund class $\mathcal{C}^{\delta}$, for $\theta$ that depends on the choice of $\delta$ but still not below the $1/2-2\varepsilon$ threshold.

The Young Tableaux Hopf algebra and multiple Schur series

math.NT

math.CO

math.QA

In this paper, we introduce multiple Schur series, which are defined by Schur-type sums over semi-standard Young tableaux and generalize both Schur multiple zeta values and multiple Eisenstein series. To study their algebraic structure, we construct a connected, commutative, graded Hopf algebra of Young tableaux and identify its linearized quotient with the quasi-shuffle algebra. Within this Hopf algebra and its quotient, we establish several relations, including a hook formula and the Jacobi--Trudi formula. Furthermore, we relate this Hopf algebra to the ring of symmetric functions, which yields polynomial reduction formulas for tableaux with constant entries. As applications, we recover Schur multiple zeta values, introduce Schur multiple Eisenstein series together with a $q$-analogue of Schur multiple zeta values, and discuss their (quasi)modularity.

Asymptotic Formula for Multipartitions

math.NT

Let $p_t(N)$ denote the number of $t$-multipartitions of a positive integer $N$. In this article, we obtain an asymptotic formula for $p_t(N)$, when $t \ll N^{1 - \epsilon}$, for any $\epsilon > 0$.

Chevalley-Herbrand formulas and Z p -extensions of a p-principal imaginary quadratic field

math.NT

Let k be an imaginary quadratic field and let p>2 be a prime number, split in k into PP'. We assume that the p-class group of k is trivial. Let $\delta$ $\ge$ 0 be the P'-valuation of the P-Fermat quotient of the fundamental P-unit x of k. Let K/k be any Zp-extension and let p^e be the degree of the inertia field of P, P' being totally ramified. We prove that if e $\ge$ $\delta$, then $\lambda$(K/k) = 1, $\mu$(K/k) = 0; if e < $\delta$ a characterization is obtained from the S^P-Iwasawa invariants (Theorems 6.1, 7.6). These results only use generalizations of Chevalley-Herbrand formulas and the non-nullity of a p-adic regulator R^p\_$\delta$ in incomplete p-ramification. They provide effective and computable results that complement some aspects of Iwasawa's theory. A pari/gp program computes $\delta$ and R^p\_$\delta$ , for p = 3, e = 1.

Hankel determinants of weighted binary sums of digits

math.NT

math.CO

Let $s_\mathbf{w}$ be the weighted binary sum-of-digits function associated with an arbitrary sequence of complex weights $\mathbf{w}=(w_j)_{j\geq 0}$. We investigate Hankel determinants $\mathcal{H}_\mathbf{w}(n) = \det [s_{\mathbf{w}}(i+j)]_{0\leq i,j

Counting odd genus $2$ curves with a marked rational $3$-torsion point

math.NT

In this paper we count, ordered by naive height, the genus $2$ curves over the rationals which admit a monic Weierstrass model of odd degree and whose Jacobian has a marked rational $3$-torsion point.

Explicit height bounds for G-functions and unlikely intersections with lines in tori

math.NT

This paper computes explicit constants in Bombieri and Andr\'e's height bound for points at which there are unexpected "global" polymomial relations between values of G-functions. It applies these bounds for G-functions to obtain explicit height bounds for unlikely intersections with lines in tori, making explicit a weak version of the bounded height theorem of Bombieri, Masser and Zannier and, in some cases, improving an explicit bound of Habegger.

p-Adically convergent loci in varieties arising from periodic continued fractions

math.NT

v3

Inspired by several alternative definitions of continued fraction expansions for elements in $\mathbb Q_p$, we study $p$-adically convergent periodic continued fractions with partial quotients in $\mathbb Z[1/p]$. To this end, following a previous work by Brock, Elkies, and Jordan, we consider certain algebraic varieties whose points represent formal periodic continued fractions with period and preperiod of fixed lengths, satisfying a given quadratic equation. We then focus on the $p$-adically convergent loci of these varieties, characterizing the zero and one-dimensional cases.

Proving the Duffin-Schaeffer conjecture without GCD graphs

math.NT

v2

We present a novel proof of the Duffin-Schaeffer conjecture in metric Diophantine approximation. Our proof is heavily motivated by the ideas of Koukoulopoulos-Maynard's breakthrough first argument, but simplifies and strengthens several technical aspects. In particular, we avoid any direct handling of GCD graphs and their `quality'. We also consider the metric quantitative theory of Diophantine approximations, improving the $(\log \Psi(N))^{-C}$ error-term of Aistleitner-Borda and the first named author to $\exp(-(\log \Psi(N))^{\frac{1}{2} - \varepsilon})$.

A Tannakian framework for prismatic $F$-crystals

math.NT

math.AG

v2

We develop the Tannakian theory of (analytic) prismatic $F$-crystals on a smooth formal scheme $\mathfrak{X}$ over the ring of integers of a discretely valued field with perfect residue field. Our main result gives an equivalence between the $\mathcal{G}$-objects of prismatic $F$-crystals on $\mathfrak{X}$ and $\mathcal{G}$-objects on a newly-defined category of $\mathbb{Z}_p$-local systems on $\mathfrak{X}_\eta$: those of prismatically good reduction. Additionally, we develop a shtuka realization functor for (analytic) prismatic $F$-crystals on $p$-adic (formal) schemes and show it satisfies several compatibilities with previous work on the Tannakian theory of shtukas over such objects.

The ring of Weyl invariant $E_8$ Jacobi forms

math.NT

hep-th

math.AG

v2

We prove that the ring of Weyl invariant $E_8$ weak Jacobi forms is isomorphic to that of joint covariants of a binary sextic and a binary quartic form. The ring is therefore finitely generated. A minimal basis of generators is obtained from that already known for the ring of covariants.

Computing Isomorphisms between Products of Supersingular Elliptic Curves

math.NT

cs.CR

cs.SC

v2

The Deligne-Ogus-Shioda theorem guarantees the existence of isomorphisms between products of supersingular elliptic curves over finite fields. In this paper, we present methods for explicitly computing these isomorphisms in polynomial time, given the endomorphism rings of the curves involved. Our approach leverages the Deuring correspondence, enabling us to reformulate computational isogeny problems into algebraic problems in quaternions. Specifically, we reduce the computation of isomorphisms to solving systems of quadratic and linear equations over the integers derived from norm equations. We develop $\ell$-adic techniques for solving these equations when we have access to a low discriminant subring. Combining these results leads to the description of an efficient probabilistic Las Vegas algorithm for computing the desired isomorphisms. Under GRH, it is proved to run in expected polynomial time.

Faithfulness and fractal (quasi-)equivalence principles for Perron, Engel, and Pierce expansions

math.NT

v2

We establish several unifying principles that clarify the fractal properties of classical number expansions, which are generalized by the Perron expansions. In particular, we prove the fractal equivalence principle for the positive and alternating Perron expansions, the fractal quasi-equivalence principle for the classical and modified Engel expansions, and the fractal quasi-equivalence principle for the Pierce expansions in the Perron and traditional notations. These results explain several known analogies and show that the Hausdorff dimension of sets defined by one expansion often coincides with that for another. The proofs rely on faithful families of coverings. In addition to deriving a range of known theorems as direct corollaries of previous results, our approach yields new fractal properties of the Engel and Pierce expansions and provides a systematic framework for transferring Hausdorff dimension properties between different expansions.

Kobayashi length bounds on bordered surfaces and generalized integral points on abelian varieties

math.NT

v3

Let $B$ be a compact Riemann surface and $B_0\subset B$ a bordered hyperbolic subsurface obtained by removing finitely many disjoint closed disks. Fix a nontrivial loop $\alpha$ in $B_0$. For $s\ge 0$, let $L(\alpha,s)$ denote the supremum, over all finite subsets $S\subset B_0$ with $\#S\le s$, of the minimal Kobayashi length of a loop in $B_0\smallsetminus S$ that is freely homotopic to $\alpha$ in $B_0$. Phung in [7] proved that $L(\alpha,s)$ grows at most linearly and at least as $\sqrt{s}/\log s$. We sharpen the upper bound to $O\left(\sqrt{s\log s}\right)$, which determines $\lim_{s\to\infty}\frac{\log L(\alpha,s)}{\log s}=\frac{1}{2}$, answering a question raised in [7, Question 1.4]. As an application, we improve the counting bound for generalized integral points on abelian varieties over complex function fields: for an abelian variety of dimension $n$ over $\mathbb C(B)$, Phung proved that the number of $(s, B_0)$-generalized integral points modulo the constant trace grows at most as $s^{2nk}$, where $k=\operatorname{rk}(\pi_1(B_0))$. We sharpen this to $s^{nk+\varepsilon}$ for every $\varepsilon>0$, halving the exponent.

The Frobenius problem for shifted square sequences

math.NT

v3

The greatest integer that does not belong to a numerical semigroup $S$ is called the Frobenius number of $S$, and finding the Frobenius number is called the Frobenius problem. In this paper, we resolve the conjecture of Frobenius problem for shifted square sequences suggested by Liu and Xin.

Transcendence of simple geodesics on finite modular covers

math.NT

math.DS

v3

The real projective line $\mathbb{R}\mathbf{P}^1$ is the boundary of $\mathbf{HP}=\{z\in \mathbb{C}\colon \Im(z)>0\}$, a model of the hyperbolic plane whose space of geodesics identifies with $\mathcal{G}(\mathbf{HP})=\mathbb{R}\mathbf{P}^1 \times \mathbb{R}\mathbf{P}^1 \setminus \mathrm{diagonal}$. The modular group $\Gamma=\operatorname{PSL}_2(\mathbb{Z})$ acts on $\mathbf{HP}$ with quotient the modular orbifold $\mathbf{M}=\Gamma\backslash \mathbf{HP}$. Consider a finite-index subgroup of the modular group $\Gamma^\prime \subset \Gamma = \operatorname{PSL}_2(\mathbb{Z})$ corresponding to a finite cover $\mathbf{M} \to \mathbf{M}^\prime$. A geodesic $(\xi^-,\xi^+)\in \mathcal{G}(\mathbf{HP})$ projects $\bmod{\Gamma^\prime}$ to a geodesic $\xi^\prime \subset \mathbf{M}^\prime$. We show that if $\xi^\prime$ is simple, then $\xi^+$ is either rational or quadratic or transcendental. In the transcendental case, we obtain bounds on the Mahler measures and show that those can be improved for geodesics fixed by pseud-Anosov maps. Finally, we also explain in detail why all this was known for the modular torus cover associated to the derived subgroup $\Gamma^\prime = [\Gamma, \Gamma]$.

The difference of the sums of odd and even parts of restricted partitions

math.NT

v2

For a subset $D \subset \mathbb{N}$, denote by $S\left(D,n\right)$ the total sum of all odd parts minus the sum of all even parts of all partitions of $n$ in which parts from $D$ do not repeat. In this paper, we derive the generating function for $S\left(2\mathbb{N},n\right)$ and use it to give some congruences modulo 4. We also derive the generating function for $S\left(2\mathbb{N}-1,n\right)$ and give two congruences for these functions, one of which was previously proved by Garvan and Sarma.

Complete Asymptotic Expansion of the Additive Mertens Sum $S_k(x)$

math.NT

v2

Let $p_1, \dotsc, p_k$ be primes not exceeding $x$ ($k \geqslant 2$), and define the additive Mertens sum \[ S_k(x) = \sum_{p_1 \leqslant x} \cdots \sum_{p_k \leqslant x} \frac{1}{p_1 + \dotsm + p_k}. \] In contrast to Tenenbaum's generalized (multiplicative) Mertens sum, whose leading term has order $(\log \log x)^k$, the sum $S_k(x)$ has leading term of order $x^{k-1}/\log^k x$. We establish the complete asymptotic expansion \[ S_k(x) = \frac{x^{k-1}}{\log^k x} \sum_{n=0}^{N} \frac{E_{k,n}}{\log^n x} + O\left(\frac{x^{k-1}}{\log^{k+N+1} x}\right) \quad (\forall\, N \geqslant 0), \] where the coefficients are given by absolutely convergent multiple logarithmic integrals \[ E_{k,n} = (-1)^n \int_{(0,1]^k} \frac{h_n(\log t_1, \dotsc, \log t_k)}{t_1 + \dotsm + t_k}\, \mathrm{d}\mathbf{t}, \] with $h_n$ the complete homogeneous symmetric polynomial of degree $n$. We give closed-form expressions for the first two coefficients $E_{k,0}$ and $E_{k,1}$ for all $k$, and obtain the closed form for the diagonal part of the third coefficient $E_{k,2}$ (with $E_{k,2}$ fully explicit for $k \leqslant 4$); consequently, the first three terms of the expansions of $S_2(x)$ and $S_3(x)$ are fully explicit. For $k = 2$, we further obtain a closed-form expression for the entire sequence $\{E_{2,n}\}_{n \geqslant 0}$, whose values are explicit $\mathbb{Q}$-linear combinations of $\log 2$ and zeta values $\zeta(j)$. The proofs rely on the real-variable form of the prime number theorem, variable rescaling, and multivariate Taylor remainder estimates.

Supercongruences Arising from Truncated Appell Series

math.NT

v2

In recent years, both Appell series and truncated Appell series have garnered significant research interest among scholars. In this paper, we investigate the congruence properties of truncated Appell series and truncated $q$-Appell series. By employing various combinatorial identities and the `creative microscoping' method introduced by Guo and Zudilin, we provide $q$-analogues for several known congruences of truncated Appell series $F_1$ and $F_2$. Meanwhile, we establish a new $q$-supercongruence related to the truncated Appell series $F_4$ and propose a related conjecture, which provides a $q$-analogue for two conjectures by Apagodu and Zeilberger.

Unstable cohomology of $\mathsf{GL}_{2n}(\mathbb{Z})$ and the odd commutative graph complex

math.AT

math.GT

math.NT

math.QA

v2

We study a closed differential form on the symmetric space of positive definite matrices, which is defined using the Pfaffian and is $\mathsf{GL}_{2n}(\mathbb{Z})$ invariant up to a sign. It gives rise to an infinite family of unstable classes in the compactly-supported cohomology of the locally symmetric space for $\mathsf{GL}_{2n}(\mathbb{Z})$ with coefficients in the orientation bundle. Furthermore, by applying the Pfaffian forms to the dual Laplacian of graphs, and integrating them over the space of edge lengths, we construct an infinite family of cocycles for the odd commutative graph complex. By explicit computation, we show that the first such cocycle gives a non-trivial class in $H^{-6}(\mathsf{GC}_3)$.

Signed graphs with fixed smallest eigenvalue at least $-3$ and their lattices

math.CO

math.NT

v2

In this paper, we consider connected signed graphs with smallest eigenvalue at least $-3-\varepsilon$ for a small positive constant $\varepsilon$. We prove that if such a signed graph has sufficiently large minimum valency, then its smallest eigenvalue is at least $-3$, and the lattice associated with it, which is generated by squared norm $3$ vectors, is a sublattice of a direct sum of the standard lattice $\mathbb{Z}^n$ and copies of the root lattice $E_8$. Moreover, there exist infinitely many connected signed graphs with smallest eigenvalue at least $-3$ containing it as a proper induced subgraph. Furthermore, we discuss signed graphs with smallest eigenvalue $-3$ arising from rootless irreducible unimodular lattices.