Number Theory [math.NT]

Convolution identities for complex-indexed divisor functions and modular graph functions

math.NT

math-ph

math.MP

We find exact identities for sums of the form \begin{equation*}\label{eq:convsumabs} \sum_{\stackrel{n_1+n_2 = n}{n_1 \in \mathbb{Z} \setminus \{ 0, n \} }} Q(n_1,n_2) \sigma_{-r_1}(n_1) \sigma_{-r_2}(n_2), \end{equation*} where $n\in\mathbb{N}$, $r_1,r_2\in\mathbb{C}$, $Q$ is a combination of hypergeometric functions, and $\sigma_{a}(x)$ denotes the divisor function. Specifically, we find that they can be expressed in terms of Fourier coefficients of Hecke cusp forms weighted by their $L$-values. This result expands upon previous work with Radchenko in which such identities were found for divisor functions with even integer index \cite{FKLR} and encompasses results of Jacobi \cite{motohashi1994binary} and Diamantis and O'Sullivan in \cite{diamantis2010kernels, o2023identities} for divisor functions with odd integer index. The proof of our result expresses these sums in terms of Estermann zeta functions and uses trace formulae. In addition, we use a regularization of divergent convolution sums to provide a mathematical explanation for $L$-values (non-critical in the sense of Deligne) appearing in modular graph functions \cite{DKS2021_2}.

Counting $C_2 \wr S_4$ fields with a power saving error term

math.NT

Let $N_d(G,X)$ denote the number of degree $d$ extensions of $\mathbb{Q}$ with Galois closure $G$ and $|\Delta_K|\leq X$. Malle's conjecture predicts an asymptotic of the form $N_d(G,X)\sim CX^{\alpha}(\log X)^\beta$. Previously, Kl\"uners proved Malle's conjecture for $G=C_2 \wr S_4$. His proof gives a power savings of $O(X^{7/8})$. We improve Kl\"uners' result by establishing a stronger power saving error term for the count of such fields. Specifically, we show $N_8(C_2\wr S_4,X)=CX+O(X^{3/4-1/30})$. Additionally, we obtain new bounds on $N_8(G,X)$ for the groups $S_4$, $C_2^3 \rtimes S_4$, $GL_2 (\mathbb{F}_3)$, and $Q_8\rtimes S_4$ as permutation subgroups of $S_8$.

The Gauss circle problem for Penrose tilings

math.NT

Let $B_R$ denote the closed Euclidean ball of radius $R$ in the plane. In this paper we prove that, if $V$ is the set of vertices of any unit length rhombic Penrose tiling then, for $R\ge 2$, \[\#(V\cap B_R)=\pi C_P R^2 + O(R^{2/3}(\log R)^{2/3}),\] where $C_P\approx 1.231$ is a constant.

The Density of Primes in the Eigensurface of ${\bf S}_3$

math.NT

The Prime Number Theorem asserts that the density of primes less than or equal to $N$ is asymptotically equal to $1/\log N$. The density of prime triples in coprime triples in $\mathbb{Z}^3_+$ is determined to be $3\zeta (3)/\log N$, where $\zeta$ is the Riemann zeta function. In this paper, we prove that the density of prime triples in coprime triples in the surface $S=\{z_0^{2} - z_1^{2} + z_2^{2} - z_0z_2=0\}$ is greater than $3\zeta (3)/\log N$, meaning that $S$ meets primes more frequently. This surface is the eigensurface of the symmetric group ${\bf S}_3$ with respect to an irreducible representation.

Restriction estimates with sifted integers

math.NT

Let $\mathcal{P}$ be a subset of primes and for each prime $p\in \mathcal{P}$, consider a subset $\mathcal{L}_p$ of $\mathbb{Z}/p\mathbb{Z}$. We provide restriction estimates with integers $\leq N$ sifted by $(\mathcal{L}_p)_{\substack{p\leq z\\ p\in \mathcal{P}}}$. This generalizes a result of Green-Tao [3] on the restriction estimates.

Permutation Polynomials of the form $L(X)+\gamma Tr_q^{q^3}(h(X))$ over finite fields with even characteristic

math.NT

Permutation polynomials over finite fields have extensive applications in various areas. Particularly, permutation polynomials with simple forms are of great interest. In recent papers, several classes of permutation polynomials of the form $L(X)+Tr_q^{q^3}(h(X))$ have been constructed. This paper further investigates permutation polynomials of such form over $\mathbb{F}_{q^3}$. Unlike previous studies, we transform the problem of constructing univariate permutation polynomials over finite fields into that of constructing corresponding multivariate permutations over $\mathbb{F}_{q}$-vector spaces. Through this approach, we completely characterize a class of permutation polynomials of the form $L(X)+\gamma Tr_q^{q^3}(c_1X+c_2X^2+c_3X^3+c_4X^{q+2})$ over $\mathbb{F}_{q^3}$, where $q=2^m$, $L(X)=X^q+aX$ and $a,c_1,c_2,c_3,c_4,\gamma\in\mathbb{F}_q$ with $a^2+a+1\neq0$. Furthermore, using a similar method, we generalize several results from a recent work by Jiang, Li and Qu (2026).

Asymptotics for $6$-torsion and $D_6$-extensions

math.NT

We prove a composite case of the Cohen--Lenstra--Gerth heuristics. Specifically, we establish an asymptotic for the average $6$-torsion of the class group of quadratic number fields. We also prove Malle's conjecture for Galois $D_6$-extensions.

Topological properties of generalized Markoff mod $p$ graphs

math.NT

math.CO

The generalized Markoff mod $p$ graph is defined via the equation $x^2+y^2+z^2=xyz+\kappa$ over the finite field $\mathbb{F}_p$ of prime order $p$. In this paper, we investigate the topological properties of the graph such as non-planarity, surface embeddability, and the existence of short cycles. Our approach is based on a systematic construction of $K_{3,3}$-subdivisions, integrating techniques from graph theory, computer algebra, and number theory.

Elementary proof of some Ramanujan-type identities

math.NT

We give an elementary proof of some identities that express the squares of Riemann zeta function at integer points by the series involving hyperbolic functions, digamma function, Bernoulli numbers etc.

The smallest denominator not contained in a unit fraction decomposition of $1$ with fixed length

math.NT

math.CO

Let $v(k)$ be the smallest integer larger than $1$ that does not occur among the denominators in any identity of the form $$ 1=\frac1{n_1}+\cdots+\frac1{n_k}, $$ where $1 \le n_1<\cdots0$ such that the inequality $$ v(k)\ge e^{c k^2} $$ holds for all positive integers $k$.

On Congruences for Iterates of the Sum--Power Divisor Function and Conditional Implications for the Riemann Hypothesis

math.NT

v2

Inspired by Cohen and te Riele~\cite{Cohen1996}, who computationally verified that for every $n \leq 400$ there exists $k$ such that $\sigma^k(n) \equiv 0 \pmod{n}$ (where $\sigma^k$ denotes the $k$-fold iteration of the sum-of-divisors function), this paper resolves their reverse question negatively: no integer $n > 1$ satisfies $\sigma^k(n) \equiv 0 \pmod{n}$ for \emph{all} $k \geq 1$. The proof eliminates prior gaps via Lenstra's density-zero bounds $\sigma_k(m) \ll m / \log\log m$ combined with Robin's RH-equivalent criterion $\sigma(n) < e^\gamma n \log\log n + 0.6483 n / \log\log n$ ($n \geq 5041$), showing universal metaperfect divisibility implies RH-violating $\sigma$ growth or low-lying zeta zeros near $s=1$. Among multiperfect $n$ with prime $L = \mathrm{lcm}(1+e_p : p \mid n)$, only $n=6$ satisfies the congruence for all odd $k$, with Shannon entropy $H(\sigma^k(6) \mod 6) \to \log 2$ reflecting periodic order. We analyze bifurcation phenomena in the dynamics $\sigma^k(n) \mod n$, where high-entropy chaotic residues for other $n$ mirror GUE statistics of zeta zeros ($\sim \log T / 2\pi$ near $s=1/2$, $>41\%$ verified on critical line), contrasting the ordered $n=6$ case. Zero rates near $s=1$ (simple pole) and $s=1/2$ bound iterated $\sigma$ distributions, linking to RH via divisor sums and dynamical bifurcations; we conjecture $n=6$ uniquely achieves odd-$k$ divisibility with small period dividing $L$.

On classic $n$-universal quadratic forms over dyadic local fields

math.NT

v3

Let $ n $ be an integer and $ n\ge 2 $. A classic integral quadratic form over local fields is called classic $ n $-universal if it represents all $n$-ary classic integral quadratic forms. We determine the equivalent conditions and minimal testing sets for classic $ n $-universal quadratic forms over dyadic local fields.

On $n$-ADC integral quadratic lattices over algebraic number fields

math.NT

v3

In the paper, we extend the ADC property to the representation of quadratic lattices by quadratic lattices, which we define as $ n $-ADC-ness. We explore the relationship between $ n$-ADC-ness, $ n $-regularity and $ n $-universality for integral quadratic lattices. Also, for $ n\ge 2 $, we give necessary and sufficient conditions for an integral quadratic lattice over arbitrary non-archimedean local fields to be $ n $-ADC. Moreover, we show that over any algebraic number field $ F $, an integral $ \mathcal{O}_{F} $-lattice with rank $ n+1 $ is $n$-ADC if and only if it is $\mathcal{O}_{F}$-maximal of class number one.

A generalization of Dumas irreducibility criterion

math.NT

math.AC

math.AG

v3

Using Newton polygons, a key factorization result for polynomials over discrete valuation domains is proved, which in particular yields new irreducibility criteria including a generalization of the classical irreducibility criterion of Dumas.

On new identities of Jacobi sums and related cyclotomic matrices

math.NT

v2

In this paper, using some arithmetic properties of Jacobi sums, we investigate some products involving Jacobi sums and reveal the connections between these products and certain cyclotomic matrices. In particular, as an application of our main results, we confirm a conjecture posed by Z.-W. Sun in 2019, and obtain a stronger result.

MNT Elliptic Curves with Non-Prime Order

cs.CR

math.NT

v4

Miyaji, Nakabayashi, and Takano proposed the algorithm for the construction of prime order pairing-friendly elliptic curves with embedding degrees $k=3,4,6$. We present a method for generating generalized MNT curves. The order of such pairing-friendly curves is the product of two prime numbers.

The Theory Of Auxiliary Weierstrassian Zeta Functions And Zeta Differences

math.CV

math.NT

v3

In this paper, we expand the theory of Weierstrassian elliptic functions by introducing auxiliary zeta functions $\zeta_\lambda$, zeta differences of first kind $\Delta_\lambda$ and second kind $\Delta_{\lambda,\mu}$ where $\lambda,\mu=1,2,3$. Fundamental and novel results pertaining to these functions are proven. Furthermore, results already existing in the literature are translated in terms of auxiliary zeta functions. Their relationship to Jacobian elliptic functions and Jacobian functions are given.

Congruences Modulo Powers of 7 for the Reciprocal Crank Parity Function

math.CO

math.NT

v2

Amdeberhan and Merca recently studied arithmetic properties of the sequence $a(n)$, the reciprocal of the crank parity function, which counts the number of integer partitions of weight $n$ whose even parts are monochromatic and whose odd parts may appear in one of three colors (OEIS A298311). A key result of their work was the congruence $a(7n + 2) \equiv 0 \pmod{7}$ for all $n \geq 0$. We prove new congruences for the reciprocal crank parity function modulo powers of $7$.