Number Theory [math.NT]

A counterexample to a subadditivity conjecture of Cohen for Sophie Germain cyclic numbers

math.NT

math.CO

An integer $n \ge 1$ is cyclic if $\gcd(n,\varphi(n))=1$ (equivalently, if every group of order $n$ is cyclic), and Sophie Germain cyclic if both $n$ and $2n+1$ are cyclic. Let $C_\sigma(N)$ count the Sophie Germain cyclic integers in $[1,N]$. Cohen conjectured that $C_\sigma$ is subadditive, $C_\sigma(m+n) \le C_\sigma(m)+C_\sigma(n)$ for all $1 \le m \le n$ (his Conjecture 66), having checked $m,n \le 10^6$ without finding a counterexample. We give one: at $m=31$, $n=3928$, $C_\sigma(3959)=697 > 696 = C_\sigma(31)+C_\sigma(3928)$. The argument is short, and is verified by the Lean 4 kernel.

Affine monodromy and exact value distributions over finite fields

math.NT

math.AG

We study finite field value distributions through the fixed-point statistics of monodromy groups. For a regular degree-\(n\) cover, omitted values are controlled by derangements. Thus natural symmetric monodromy gives support density \(1-D_n/n!\to 1-e^{-1}\), while the Cameron--Cohen bound gives the universal ceiling \(1-1/n\), attained by sharply \(2\)-transitive affine monodromy. We give an explicit polynomial realization of this optimal mechanism. For \(N=p^e\) and \(h\mid N-1\), set \[ \Lambda_{N,h}(U)=U\bigl(U^{(N-1)/h}-1\bigr)^h . \] Its geometric Galois closure is rational, \[ U=z^h, \qquad T=(z^N-z)^h, \] and its geometric monodromy is the affine group \((\F_N,+)\rtimes H_h\). For every extension \(\F_Q/\F_p\) we compute the complete fibre enumerator of \(\Lambda_{N,h}\) exactly, including the nonregular cases. In the full affine case \(h=N-1\), the polynomial \[ U(U-1)^{N-1} \] attains the Wan--Shiue--Chen upper bound for non-permutation polynomials over every finite field containing \(\F_N\); over arbitrary extensions we compute the exact defect from that bound.

Hyperbolic Arcsine Kernels, Finite Fourier Filters, and Quartic Central Binomial Harmonic Sums

math.NT

Classical expansions of powers of the inverse sine contain central-binomial coefficients and finite repeated harmonic sums. We place the odd-square and ordinary-square coefficient families into two hyperbolic arcsine kernels and use these kernels as generating functions on which finite Fourier projection and Mellin deformation can be carried out before specialization. The quadratic projection extracts quartic subsequences and gives identities involving \(\binom{4r}{2r}\), \(\pi\), and \(L=\log(1+\sqrt2)\). The same projection admits accelerated interior forms and, after Mellin deformation, denominator-power and logarithmic companions with polylogarithms at \((\sqrt2-1)^2\). The paper also records the square-law convolution between the two kernels, periodic-weight filters, finite spectral truncations at negative square parameters, and the analytic details needed for branch choices, boundary convergence, and termwise Mellin operations. A final comparison shows that direct quartic kernels lead to a different \({}_4F_3\) family.

Integer Sequences which Are Closed with Respect to Multiplication and whose Sumset does not Intersect the Sequence

math.NT

We investigate increasing sequences of integers with the property that the product of every two terms of the sequence is also a term of the sequence and the sum of every two terms is not a term of the sequence. We say that a sequence with the above properties is maximal if it is not a proper subsequence of another sequence with the above properties. We determine whether the sequences in three families are maximal or not.

Simultaneous popular polynomial differences over finite fields

math.NT

math.CO

Green's popular difference theorem says that for every \(\varepsilon>0\), all sufficiently large primes \(p\), and every set \(A\subseteq\mathbb F_p\) of density \(\alpha\), there exists a nonzero \(d\in\mathbb F_p\) such that \[ \mathbb E_{x\in\mathbb F_p} 1_A(x)1_A(x+d)1_A(x+2d) \geq \alpha^3-\varepsilon. \] We show that a stronger simultaneous popular difference phenomenon holds for polynomial configurations. Namely, if $\mathcal P=\{P_1,\dots,P_k\} \subset \mathbb Z[t]$ is a fixed collection of linearly independent polynomials with zero constant terms, we show that for every \(\varepsilon>0\), all sufficiently large primes \(p\), and every set \(A\subseteq\mathbb F_p\) of density \(\alpha\), there exists a nonzero \(d\in\mathbb F_p\) such that \[ \mathbb E_{x\in\mathbb F_p} 1_A(x) \prod_{i=1}^k 1_A\bigl(x+P_i(d)\bigr)^{\omega_i} \geq \alpha^{1+\sum_i\omega_i}-\varepsilon \] simultaneously for every \(\omega=(\omega_1,\dots,\omega_k)\in\{0,1\}^k\). We also show that such simultaneous popular difference phenomena have sharp limitations by proving that for every sufficiently large prime \(p\), there is a constant \(c>0\) such that, for all sufficiently large \(n\), one can find a set \(A\subseteq\mathbb F_p^n\) of density \(1/2+o_n(1)\) satisfying \[ \max_{d\neq 0} \min\left\{ \mathbb E_{x\in\mathbb F_p^n} 1_A(x)1_A(x+d)1_A(x+2d), \mathbb E_{x\in\mathbb F_p^n} 1_A(x)1_A(x+2d)1_A(x+4d) \right\} \leq \frac18-c. \] That is, the strengthening of Green's result, in this case over $\mathbb F_p^n$ for $p$ fixed and $n$ tending to infinity, requiring that both \(d\) and \(2d\) are simultaneously popular differences for three-term arithmetic progressions is false.

On the Summatory Function of $d_3(n)$

math.NT

In this article, we refine the method of our earlier work with N. Paloj{\"a}rvi to obtain a sharper explicit bound for the error term $\Delta_{3}(x)$ associated with the summatory function of $d_{3}(n)$. We prove that \begin{equation*} |\Delta_3(x)| < \begin{cases} 0.6901\,x^{\frac{1}{2}}\log^{\frac{7}{2}}x, & 3.682\cdot 10^{31}\le x < 4.133\cdot 10^{87},\\[4pt] 0.2067\,x^{\frac{1}{2}}\log^{\frac{7}{2}}x, & 4.133\cdot 10^{87} \le x < 1.597\cdot 10^{98},\\[4pt] 0.1947\,x^{\frac{1}{2}}\log^{\frac{7}{2}}x, & x \ge 1.597\cdot 10^{98}. \end{cases} \end{equation*} These explicit results improve the exponent of $x$ from $2/3$, due to Tudzi, and $859/1400$, due to Paloj{\"a}rvi and Tudzi, to $1/2$, giving the best known bound for all $x\ge 3.682\cdot 10^{31}$.

Local monodromy of unit root F-isocrystals from Shimura varieties

math.NT

We generalise a local $p$-adic monodromy theorem of Igusa that studies the monodromy representation associated to the universal elliptic curve around a supersingular point of the modular curve. Let $X$ be a smooth quasi-projective variety over $\mathbb{F}_p$. We set up and prove the analog of Igusa's theorem for overconvergent F-isocrystals on $X$ such that the action of the Frobenius is algebraic, $p$-plain, and semisimple at the closed points of $X$. We study the local monodromy of their unit root sub-objects around a point in $X$ with isoclinic Newton slopes. In particular, our result generalises Igusa's Theorem to overconvergent F-isocrystals arising from Shimura varieties, unconditionally for Shimura varieties of abelian type and conditional on Frobenius semisimplicity for exceptional Shimura varieties where this property is not known yet. In the particular case of Siegel Shimura varieties, we also prove an analogous result for the local monodromy of a point in the boundary of its compactification. As a consequence of our results, we prove a finiteness result for the reduction of the Hecke orbit of abelian varieties over a local field of equicharacteristic.

A resolution of Kellner's conjectures on Wilson quotients

math.NT

Kellner expressed higher congruences for the Wilson quotient $W_p$ of an odd prime $p$ in terms of power sums of Fermat quotients, and recursively constructed certain $p$-independent polynomials $\psi_\nu$ occurring in these congruences. In this note, we give a simple $p$-adic proof of these congruences using the $p$-adic logarithm and $p$-adic exponential function. We also provide an explicit generating function for the polynomials $\psi_\nu$ in terms of complete Bell polynomials. This gives a direct derivation of Kellner's polynomials and allows us to resolve two conjectures stated by Kellner.

On a Class of Hypergeometric Sums via Recurrences and Product Binomial-Harmonic Identities

math.NT

math.CA

We study hypergeometric series with coefficients \( a_n(\alpha)=\frac{(\alpha)_n(1-\alpha)_n}{(n!)^2},\) where \(0< \alpha < 1\). The main idea is to introduce a shift parameter in the linear denominator and consider \[ \Phi_{m,\varepsilon}(\lambda;\alpha) = \sum_{n=0}^{\infty}\varepsilon^n \frac{a_n(\alpha)}{n+m+1+\lambda}, \qquad \varepsilon\in\{1,-1\}. \] Expanding this expression in powers of \(\lambda\) produces sums with denominator powers \((n+m+1)^{-K}\). We first discuss analytic interpolation in the denominator exponent and explain why positive integer exponents lead to terminating recurrences. Using Euler's hypergeometric differential equation, we derive a first-order recurrence in \(m\) for \(\Phi_{m,\varepsilon}\). Solving this recurrence gives finite reductions for ordinary and alternating sums, and coefficient extraction yields formulas for all positive denominator powers. The same framework also treats linear denominators \((dn+m+1)^K\) of arbitrary positive parameter by separating \(m\) into residue classes modulo \(d\). We then specialize the results to product-binomial cases, especially \(\alpha=1/R\) with \(R=2,3,4\). Finally, we apply the same framework to harmonic-number sums by differentiating with respect to a lower hypergeometric parameter.

Class Number Relations in Abelian Extensions of Global Fields

math.NT

Consider a finite abelian extension $K/k$ of global fields with Galois group $G$. We study the rank-one component of the generalized Stickelberger module associated with $K/k$ and a finite set $S$ of places of $k$. Under explicit splitting conditions on $S$, we compute generalized indices of this module with respect to the torsion-free part of the $S$-unit group of $K$. We also obtain $p$-primary refinements which include the non-semisimple case $p\mid |G|$. As applications, we derive divisibility relations between the $S$-class numbers of $K$ and $k$, both for number fields and for function fields.

Long Intervals Without Distinct Multiples of the First $n$ Positive Integers

math.NT

math.CO

For positive integers $n$ and $m$, let $f(n,m)$ be the least integer $h\ge0$ such that $(m,m+h]$ contains distinct integers $a_1,\ldots,a_n$ satisfying $i\mid a_i$ for $1\le i\le n$, and put $F(n)=\max_{m\in\mathbb{N}} f(n,m)$. A recent theorem of van Doorn [INTEGERS, 2026; arXiv:2601.16972] gives $F(n)-f(n,n)>0.36\,n\log n/\log\log n$ for sufficiently large $n$. We prove \[ \liminf_{n\to\infty} \frac{F(n)-f(n,n)}{n\log n} \ge \frac{1}{\mathrm{e}}. \] Thus, for every fixed $c<1/\mathrm{e}$ and all sufficiently large $n$, some interval of length $c\,n\log n$ contains no system of pairwise distinct multiples of $1,2,\ldots,n$. The proof applies an Erd\H{o}s--Pomerance smooth-number obstruction at starting points $m\asymp n\log n$, using local saddle-point estimates of Hildebrand and Tenenbaum.

Orbit Transversality for Abelian Varieties

math.NT

math.AG

math.DS

Let $X/K$ be an abelian variety defined over a number field and let $f:X\to X$ be a dominant morphism defined over $K$. We show that $(f,K)$ is strongly dense orbit transversal. That is, up to replacing $K$ with a finite extension, every set of representatives for grand $(f,K)$-orbits is Zariski dense in $X$.

Sign Patterns in a Two Colored Partition Companion series

math.NT

math.CO

We study two closely related questions arising from the recent work of Andrews and El Bachraoui on the two-color partition series \[ S_1(q)=\sum_{n\ge0}s_1(n)q^n=\sum_{a\ge0}q^a(-q^{a+1};q)_\infty^2 \] and its odd companion, denoted by $T_o(q)$. First, for the eta-normalized companion \[ C(q)=(q;q)_\infty T_o(q)=\sum_{n\ge0}c(n)q^n, \] we prove a strong form of the Andrews--El Bachraoui sign conjecture that $\limsup c(n)=+\infty$ and $\liminf c(n)=-\infty$. Second, we construct an involution using the Franklin-type involution of Chen and Liu to combinatorially explain Andrews--El Bachraoui congruence for $s_1(n)$ modulo 4.

The Prime Digit Distribution Conjecture: A Formal Proof of Average Digit Equidistribution in the Prime Numbers

math.NT

Let $S_n=\{p\in\mathbb{P}:p<10^n\}$, $N_n$ denote the total number of decimal digits occurring in the primes of $S_n$, $C_n(d)$ be the number of occurrences of a digit $d\in\{0,\ldots,9\}$ among those digits, and $P_n(d)$ be the probability of occurrence of a digit, $d$ among those digits. We prove that \[ P_n(d)=\frac{C_n(d)}{N_n} =\frac{1}{10} +O\!\left(\frac{\log n}{n}\right), \qquad n\to\infty, \] uniformly for every decimal digit $d$. The argument is entirely unconditional and combines the Prime Number Theorem, the Erd\H{o}s--Tur\'an discrepancy inequality, and classical Vaughan--Vinogradov estimates for exponential sums over primes. The principal step establishes quantitative equidistribution for interior digit positions, while the logarithmically many exceptional positions near the ends of the decimal expansion are shown to have asymptotically negligible influence after averaging over all digit positions and prime lengths. Consequently, the decimal digits occurring in primes, when pooled over all positions and all primes below $10^n$, become asymptotically equidistributed. We also clarify the precise scope of the theorem by distinguishing this averaged equidistribution result from the substantially stronger and presently unresolved questions concerning pointwise digit equidistribution, normality, and higher-order digit correlations in the sequence of prime numbers.

Greenberg's $\mu=0$ conjecture for lisse sheaves over global function fields

math.NT

math.AG

Let $K$ be a global function field of characteristic $p>0$ and $\ell\neq p$ be a prime number. We study Selmer groups over a $\mathbb{Z}_\ell$-extension $K_\infty/K$. For a lisse $\mathbb Z_\ell$-sheaf we prove that the Pontryagin dual of the associated Selmer group is a finitely generated torsion module over the Iwasawa algebra and has $\mu$-invariant equal to zero. This gives a positive-characteristic, prime to $p$, analogue of Greenberg's $\mu=0$ conjecture. Our result applies in particular to abelian varieties, fine Selmer groups, and adjoint representations. We also prove an analogue of the weak Leopoldt conjecture in this context over $K_\infty$, and deduce that the framed deformation ring of a residual representation is a formal power series ring. The same conclusion holds for the unframed deformation ring if the residual representation has no non-scalar endomorphisms.

The rank of the modular multiplication matrix

math.NT

We prove Bueno et al.'s conjectural formula for the rank of the modular multiplication matrix for every positive integer. The proof first applies the additive Fourier transform to split the row space by exact additive character order, and then applies the multiplicative character decomposition on unit groups to count the nonzero components. The same formula holds after deleting the zero row and zero column.

Weak Inhomogeneous Poissonian Pair Correlation and Equidistribution

math.NT

math.PR

This paper investigates inhomogeneous Poissonian pair correlation (PPC), its weak form, and equidistribution. We establish that weak inhomogeneous PPC does not imply inhomogeneous PPC. Furthermore, we construct a sequence satisfying weak inhomogeneous PPC that fails to be equidistributed, which stands in sharp contrast to the homogeneous case. Finally, we prove that for distinct $\gamma_1, \gamma_2 \in (0, \frac{1}{2}]$, weak $\gamma_1$-PPC does not imply weak $\gamma_2$-PPC, showing that different inhomogeneous parameters give rise to mutually independent notions of weak inhomogeneous PPC.

Sums of Kloosterman sums formed with modular symbols

math.NT

We study sums of Kloosterman sums formed with a modular symbol. Employing Tauberian methods, we first give an estimate for a (Riesz) sum of Ramanujan sums formed with a modular symbol. We further define a zeta function that is analogous to the Selberg zeta function, establish its continuation to $\Re(s)>1/2$, give estimates for its growth and use this to prove a cancellation statement for sums of these twisted Kloosterman sums. We explain the connection of this construction to the eigenvalue 1/4 problem and formulate an analogue of Linnik's conjecture. Finally, we present numerical evidence that there is cancellation and also that the Kloosterman sums with a modular symbol are not correlated with classical Kloosterman sums.

Kloosterman sign changes with moduli having at most five prime factors

math.NT

On square-free moduli $q\in(X,2X]$ having at most five prime factors, we prove that each sign of the normalized Kloosterman sum $\operatorname{Kl}(1;q)$ occurs $\gg X/\log X$ times. This improves the recent unconditional result of Zhang and Zhong for moduli with at most six prime factors. Building on their analytic estimates and optimized Selberg sieve, we replace their truncated divisor penalty by a geometric half-weight. The new weight retains the $P_5$ exclusion threshold and is a positive linear combination of two standard two-parameter truncated divisor weights, so the Zhang--Zhong transference argument applies without alteration. After transference, the relevant pointwise coefficient is reduced from $5/16$ to $5/32$, which yields a positive final sieve margin.

Positivity and tails of Jacobi theta series

math.NT

math.CO

Using elementary $q$-series manipulations, we establish a positivity property for the tails of the Jacobi theta series. Specifically, for integers $k\ge 1$ and $n\ge 0$, define \[ \sum_{n\ge0}\sum_{m\in\mathbb{Z}}J_{k,n}(m)z^m q^{n} = \frac{(-1)^k q^{-\binom{k+1}{2}}}{(z)_{\infty}(q/z)_\infty} \sum_{j\ge k}(-1)^jq^{\binom{j+1}{2}}z^{-j}(1-z^{2j+1}), \] where $(a)_\infty:=\prod_{n\ge0}(1-aq^n)$ denotes the $q$-shifted factorial. We prove that for all integers $k\ge 1$ and $n\ge 0$, the coefficients $J_{k,n}(m)$ are positive for all integers $-(k+n)\le m\le k+n$.

Lattice point counting in Cygan--Kor\'anyi balls on Heisenberg groups

math.NT

math.CA

Lattice point counting in gauge balls on the Heisenberg group $\mathbb{H}^q$ is a non-commutative analogue of the Euclidean multidimensional sphere problem, initiated by Garg, Nevo and Taylor \cite[\textit{Ann. Inst. Fourier}, 2015]{GNT15}. The case of particular interest is when the gauge is taken as the Cygan--Kor\'anyi norm and the error term reads: $$\mathcal{E}_q(t)=\#\left(\mathbb{Z}^{2 q+1} \cap \mathcal{B}_t\right)-\operatorname{vol}(\mathcal{B}_1) \, t^{2 q+2},$$ with $\mathcal{B}_t=\{(v,w)\in\mathbb{H}^q: (|v|^4 + w^2)^{1/4} \le t \}$, which is closely related to the Gauss circle problem. When $q\ge3$, Gath \cite[\textit{Ann. Sc. Norm. Super. Pisa Cl. Sci.}, 2022]{Gat22} improved upon \cite[]{GNT15} by showing that $ |\mathcal{E}_q(t)|\lesssim t^{2q-1+ 1/3}$ and proposed the conjecture that the optimal order should be $2q-1$. In this paper, through Landau's formula and the $5,6$-th Derivative Tests of van der Corput, we arrive at that $|\mathcal{E}_q(t)| \lesssim t^{2 q-1 + 241/753} $ for any $ q \geq 4$, and recover the bound of Gath for $q=3$ up to a logarithmic factor. This, via a simpler method, provides the first progress towards Gath's conjecture.

Disproofs of two conjectures concerning nondeficient numbers

math.NT

A positive integer $n$ is said to be nondeficient if $\sigma(n) \geq 2n$. Letting the positive divisors of a positive integer $n$ be written as $1 = d_0 < d_1 < \cdots < d_k < d_{k+1} = n$, and letting $\mathcal{S}$ denote a set of integers, if there exist values $\lambda_j \in \mathcal{S}$ such that $1 + \sum_{j=1}^{k} \lambda_j d_j = n$, then $n$ is said to be an $\mathcal{S}$-perfect number. Ross, in 2024, introduced the study of $\mathcal{S}$-perfect numbers, and concluded with two conjectures that each concern both $\{ -1, 1 \}$-perfect numbers and nondeficient numbers. We disprove both of these conjectures.

Exact Frequencies of Consecutive Quadratic Residue and Nonresidue Patterns Modulo a Prime

math.NT

This paper determines the exact frequency of all consecutive sign patterns of lengths two and three formed by the quadratic character modulo an odd prime $p$. Using basic properties of character sums over finite fields, we derive exact counting formulas for pairs $(n, n+1)$ and triples $(n-1, n, n+1)$ exhibiting specific sequence patterns in \(\{\pm 1\}\). The frequencies of pairs are classified entirely by \(p \pmod 4\), whereas triples exhibit a more complex dependency on \(p \pmod 8\) and the Jacobsthal sum $T_p=\sum_{x\in\mathbb F_p}\chi(x^3-x)$.

Higher-Order Congruence for Reciprocal Power Sums and Generalized Lehmer-Type Products

math.NT

This paper investigates high-order congruences of reciprocal power sums and Lehmer-type products. Let $n\geq 1$ with $(n,6)=1$ and $e\in\{2,3,4,6\}$. For the reciprocal square sums \begin{equation*} S(n)=\sum_{\substack{r=1 \\ (r,n)=1}}^{\lfloor n/e \rfloor}\frac{1}{r^2} \end{equation*} we already know the form of the congruence modulo $n$. In this paper, motivated by the known congruences, we first extend these results to certain reciprocal sums of odd order and establish a uniform congruence modulo $n$ for \begin{equation*} S_m(n)=\sum_{\substack{r=1 \\ (r,n)=1}}^{\lfloor n/e \rfloor}\frac{1}{r^m} \end{equation*} We then study the generalized Lehmer-type product \begin{equation*} \prod_{d \mid n}\binom{kd-1}{\lfloor d/e \rfloor}^{\mu(n/d)} \end{equation*} Although congruences modulo $n^3$ for this product have previously been obtained, higher-order congruences do not admit a comparably simple closed form. To address this difficulty, we derive an explicit truncated expansion in terms of complete exponential Bell polynomials. The results provide a unified framework for explicit computation and algorithmic verification of higher-order congruences involving reciprocal sums and related product expressions.

On Small Doubling in Right-Ordered Groups and Baumslag-Solitar Groups-II

math.NT

Recently, Mohan et al. [Results Math. 80 (2025), No. 4, 122] answered Freiman's $3k-4$ conjecture in right-ordered groups under certain restrictions. In this paper, we take a step further by investigating the structure of nonempty subsets $S$ of a right-ordered group satisfying the small doubling condition $|S^2| = 3|S|-3$. Moreover, we provide a complete characterization of all nonempty finite subsets $S$ of the Baumslag-Solitar group $\mathrm{BS}(1,q)$ (with $q \in \mathbb{Z}$ and $q \neq -1$) for which $|S^2| = 3|S|-3$ and the identity element is the minimum of $S$.

Unexpected primes of good reduction in quotients of modular and Shimura curves

math.NT

We find all zero-dimensional spaces of newforms of weight $2$ and squarefree level $N$ with a fixed Atkin--Lehner sign pattern. As an application, we classify unexpected primes of good reduction of Atkin--Lehner quotients of modular and Shimura curves of squarefree levels.

p-adic Properties of Translated Division Polynomials and Somos Sequences

math.NT

In this paper we consider the sequences $(\Psi _{n}(\mathbf{P}))_{n\geq 0}$, $(\Phi _{n}(\mathbf{P}))_{n\geq 0}$ and $(\overline{\Omega }\,_{n}(\mathbf{P}% ))_{n\geq 0}$ of values of the translated division polynomials of an elliptic curve $E/K$ evaluated at a point $\mathbf{P}\in $ $E(K)^{2}$. We prove that these sequences are purely periodic when $K$ is a finite field. Then we use the periodicity properties of these sequences to prove that certain subsequences of these sequences are $% %TCIMACRO{\U{2124} }% %BeginExpansion \mathbb{Z} %EndExpansion _{p}$-Cauchy. Finally, we use this result to prove analogous results for Somos $4$ and Somos $5$ sequences.

Two local zero-sum problems

math.NT

math.CO

In the present paper, we investigate two local zero-sum problems. Let $n,k\ge 2$. We denote by $\mathsf{D}^*(n,nk)$ (resp. $\eta^{*}(n,nk)$) the smallest positive integer $\ell$ (if exists) such that, from any given $\ell$ integers not divisible by $n$, one can select some (resp. at most $n$) of them whose sum is divisible by $n$ but not by $nk$. We prove that both $\mathsf{D}^*(n,nk)$ and $\eta^{*}(n,nk)$ are equal to $2n-1$ if $\mathrm{rad}(n) \mid \mathrm{rad}(k)$ and infinite otherwise. The corresponding inverse problem is also determined. We denote by $\mathsf{D}_n^{\times}$ (resp. $\eta_n^{\times}$) the smallest positive integer $\ell$ such that, from any given $\ell$ integers coprime to $n$, one can select some (resp. at most $n$) of them whose sum $\sigma$ satisfies $\gcd(\sigma, n^2)=n$. We prove that $\mathsf{D}_n^{\times}=\eta_n^{\times}=2n-1$ if $n$ is a prime power, and determine its inverse problem.

Superlinear complexity of the $(3/2)^n$ steering word

math.NT

Write $(3/2)^n = m_n + \eps_n$ with $m_n$ the nearest integer and $\eps_n\in[-\tfrac12,\tfrac12)$, and let $T=(t_n)$, $t_n=2m_{n+1}-3m_n$, be the resulting \emph{steering word}: the step-by-step record of the map $x\mapsto\tfrac32 x$ on the orbit of $1$, coded by nearest-integer rounding. Using results by Corvaja--Zannier and Nair--Kumar--Rout we prove that the subword complexity $\pT(k)$ of $T$ is superlinear, $\pT(k)/k\to\infty$. The argument is completely formalized in Lean-4, depending only on the Subspace Theorem.

Local-global compatibility of automorphic Galois representations over CM fields at $p$

math.NT

Let $F$ be a CM number field; then, to any cuspidal, regular algebraic automorphic representation of $\mathrm{GL}_n(\mathbf{A}_F)$ is associated a compatible system of $p$-adic Galois representations of the absolute Galois group of $F$. We prove that these representations are potentially semi-stable, in the sense of $p$-adic Hodge theory, and satisfy compatibility with the local Langlands correspondence, up to semi-simplification.

Adjoint Bloch--Kato Selmer groups of regular algebraic automorphic Galois representations

math.NT

We prove the vanishing of the adjoint Bloch--Kato Selmer group of the Galois representations associated to regular algebraic automorphic representations of general linear groups over CM fields. A key novelty of our work is that we impose conditions only on the $p$-adic Galois representations, and not on their associated residual representations modulo $p$.

A decomposition of Weyl group multiple Dirichlet series for symmetrizable Kac-Moody root systems

math.NT

We study twisted Weyl group multiple Dirichlet series attached to symmetrizable Kac-Moody root systems, using the Chinta-Gunnells method to construct their $p$-parts. Our main result is a decomposition theorem for functions invariant under the twisted Chinta-Gunnells action: under natural analytic hypotheses, such a function has a unique expansion in terms of shifted Chinta-Gunnells averages, indexed by the dominant weights in the highest weight module determined by the twisting parameter. In particular, we show that this decomposition holds for twisted multiple Dirichlet series over rational function fields. For finite root systems, these results were proved by Friedlander. We also show that the relevant Chinta-Gunnells averages admit analytic continuation to the interior of the complexified Tits cone. In the affine $\widetilde{A}_1$ case, we prove extra functional equations, not arising from the Weyl group, for the untwisted average and for averages twisted by fundamental weights. As a consequence, we obtain an explicit formula for the multiple Dirichlet series with square-free twisting parameters, and show that it also satisfies an extra functional equation.

The Ramanujan Challenge For AI

math.HO

cs.AI

math.NT

To help evaluate the mathematical skills of current AI systems, we present a set of formulas for fundamental mathematical constants. These problems are attractive for AI evaluation because they are concrete and can be checked numerically to arbitrary precision, yet proving them may require non-obvious mathematics. Mathematical constants such as $\pi$, $e$, Catalan's constant, and special values of the Riemann zeta function have fascinated mathematicians for centuries. The search for formulas evaluating mathematical constants has produced some of the most beautiful mathematics in the field, especially in cases that yield irrationality proofs or fast convergence rates. Ramanujan's legacy is emblematic of this tradition. The list we provide contains two types of problems: formulas whose proofs are known to the authors but will remain encrypted for a short initial period; and formulas that are not yet proven. We are curious to see the achievements of AI in both cases.

On the Canonical Height Gap for Polynomial Maps and Portraits of Preperiodic Points of Polynomials with Height $0$

math.DS

math.NT

We study the difference between the canonical height and the naive height for polynomial maps on $\mathbb{P}^{1}$. While explicit upper bounds on this height gap generally depend on the degree $d$ for rational maps, we establish a refined bound for polynomial maps that is essentially independent of $d$. As an application, we determine the set of rational preperiodic points for polynomial maps defined over $\mathbb{Q}$ of height $0$ and classify their realizable portraits.

Bump-Friedberg type periods beyond the cuspidal spectrum

math.RT

math.NT

In this article, we study several Bump--Friedberg type periods beyond the cuspidal spectrum. We first consider the twisted Bump--Friedberg period on $\textnormal{GL}_{2n}$, as well as a variant on $\textnormal{GL}_1\times \textnormal{GL}_{2n}$. Under suitable regularity conditions on the cuspidal datum, these periods extend continuously to automorphic functions of uniform moderate growth. Such extensions are characterized by entire Whittaker-type zeta integrals. We then introduce a Bump--Friedberg type period on $\textnormal{GL}_{2n+1}$, integrating over the subgroup $\textnormal{SL}_{n+1}\times \textnormal{GL}_n$. For certain Eisenstein series, we evaluate this period as a finite sum of products of special values of $L$-functions and normalized local zeta integrals. Assuming the expected global Langlands correspondence, the sum is indexed by the fixed points of the extended $L$-parameter on the conjectural dual variety, and the resulting $L$-factors agree with the tangent space prediction of the global numerical conjecture of Ben-Zvi-Sakellaridis-Venkatesh.

Combinatorial identities derived from explicit formulas of Gauss hypergeometric functions

math.CO

math.NT

In present paper, with the help of the Fa\`a di Bruno formula and identities of partial Bell polynomials, the author establishes explicit formulas of the Gauss hypergeometric functions \begin{gather*} {\,}_2F_1\biggl(\frac{1-n}{2},\frac{2-n}{2};\frac{3}{2}-m;z^2\biggr), \quad {\,}_2F_1\biggl(-\frac{n}{2},\frac{1-n}{2};\frac{1}{2}-m;z^2\biggr),\\ {\,}_2F_1\biggl(a,a+\frac{1}{2};\frac{3}{2}-m;z^2\biggr), \quad {\,}_2F_1\biggl(a,a+\frac{1}{2};\frac{1}{2}-m;z^2\biggr) \end{gather*} for $m,n\in\mathbb{N}$ and $a\in\mathbb{C}$, and then derives two combinatorial identities \begin{equation*} \sum_{k=0}^{m}\frac{2^k}{k!} \binom{2m-2k}{m-k} \sum_{\ell=0}^{k} \frac{(-1)^\ell}{2^\ell} \frac{(2k-2\ell-1)!!}{(n-\ell)!} \binom{2k-\ell-1}{\ell-1} =\frac{1}{n!}\binom{2m-n}{m} \end{equation*} and \begin{equation*} \sum_{k=1}^{m}\frac{1}{(k!)^2}\binom{2m-2k}{m-k} \sum_{\ell=1}^{k} \binom{k}{\ell}\ell(2k-\ell-1)! (2a)_\ell =\binom{2m+2a}{m}, \end{equation*} where $m\in\mathbb{N}_0$, $n\in\mathbb{Z}$, and $a\in\mathbb{C}$. These newly-established identities generalize the nice and beautiful combinatorial identity \begin{equation*} \sum_{k=0}^{n} \frac{2^{k}}{k!}\binom{2n-2k}{n-k} \sum_{j=0}^{k}\frac{(-1)^{j}}{2^j} \frac{(2k-2j-1)!!}{(n-j)!} \binom{2k-j-1}{j-1} =\frac{1}{n!}, \quad n\in\mathbb{N}_0, \end{equation*} which was obtained in Theorem 4 of the recent paper "F. Qi, C.-Y. He, and D. Lim, Explicit formulas of two Gauss hypergeometric functions and several combinatorial identities, Discrete Appl. Math., Vol. 393 (2026), 215--229. DOI: https://doi.org/10.1016/j.dam.2026.06.023".

The Aubert and Bernstein involutions for disconnected groups

math.RT

math.NT

We extend to arbitrary disconnected reductive $p$-adic groups the duality on the category of smooth finite-length complex representations defined by Aubert, as well as its cohomological analog defined by Bernstein, and prove various properties of these functors, such as uniqueness, preservation of irreducibility, compatibility with parabolic induction and restriction, and a character formula. As a sample application, we obtain a definition of the Steinberg representation for a disconnected reductive $p$-adic group, compute its character, and discuss its twisted endoscopic properties.

The Arithmetic of Semirings Part I: Ideals

math.AC

math.NT

We study ideals in the semiring $\mathbb{N}$ of natural numbers, with a focus on those which are lost when extending from $\mathbb{N}$ to $\mathbb{Z}$. This leads to a new perspective on the classical theory of numerical semigroups, including the introduction of a natural multiplicative structure. We prove that unique factorization of ideals fails in $\mathbb{N}$ on several levels, introduce a handful of new tropical multiplicative invariants of numerical semigroups, characterize integral closures of ideals in terms of Newton polygons, and analyze the behavior of classical numerical semigroup invariants with respect to the product operation.

Zero-one laws for uniform approximation via Gaussian and Eisenstein integers

math.DS

math.NT

We establish two distinct zero-one laws for the uniform Diophantine approximation of complex numbers by quotients of Gaussian integers and by quotients of Eisenstein integers. Using tools from homogeneous dynamics, we study this problem by reducing to a shrinking target problem on certain homogeneous spaces of $\mathrm{SL}_2(\mathbb{C})$. The main novel ingredients include measure estimates on a certain family of neighborhoods of the corresponding critical loci, as well as new disjointness statements to control the short-range mixing contribution. Due to the different nature of the critical loci in the Gaussian and Eisenstein cases, these measure estimates are obtained by rather different arguments.

A dual linear programming bound for sphere packing in dimension 36

math.MG

math.NT

We construct an explicit dual-feasible point for the Cohn-Elkies linear program in dimension 36, built from the space of weight-18 modular forms for $\Gamma_0(24)$ following the method of Cohn and Triantafillou. The certificate shows that the two-point linear programming bound on the sphere packing density in dimension 36 exceeds the density of the best packing currently known -- the Kschischang-Pasupathy packing, of center density $2^{18}/3^{10}$ -- by a factor of at least 32.91. In particular, no Cohn-Elkies auxiliary function can certify the best known packing in dimension 36 as optimal. To our knowledge this is the first such dual bound in any dimension above 32, extending the table of Cohn-Triantafillou ($d=12,16,20,28,32$), Li ($3 \le d \le 13$), and de Courcy-Ireland-Dostert-Viazovska ($d=6$). The certificate is exact: the dual point is a rational vector, coefficient nonnegativity is verified by exact arithmetic up to $n=800$, and eventual positivity of the two relevant $q$-expansions is proved via an explicit Deligne-type tail bound whose constant is certified with outward-rounded interval arithmetic. Two methodological points may be of independent interest: a constraint-generation (cutting-plane) formulation of the exact rational LP, which makes the tail-safe optimum reachable; and a sharpened, lift-aware form of the Deligne bookkeeping constant, $C=\sum_{f,e}|\lambda_{f,e}|\,e^{-(k-1)/2}$, without which the finite verification in dimension 36 fails marginally.

Intrinsic ergodicity for $\mathfrak{B}$-free integers in number fields

math.DS

math.NT

Let $K$ be a number field with ring of integers $\mathscr{O}_K$, and let $\mathfrak{B}$ be an Erd\H{o}s family of ideals in $\mathscr{O}_K$. We prove that the associated $\mathfrak{B}$-free subshift $(X_{\mathfrak{B}},(S_a)_{a\in\mathscr{O}_K})$ is intrinsically ergodic: it carries a unique measure of maximal entropy, which we identify explicitly as a relatively independent extension of the Haar rotation on $\prod_{\mathfrak{b}\in\mathfrak{B}}\mathscr{O}_K/\mathfrak{b}$. This is the first proof of intrinsic ergodicity for $\mathfrak{B}$-free systems beyond dimension one, and relies on the work of Ara\'ujo--Dymek--Ku\l aga-Przymus. Via their reductions, we also settle the $k$-free and $\mathfrak{B}$-free lattice-point cases and the $k$-free number-field case. We give \emph{two independent proofs} of the underlying rigidity statement: one through a single-site relative-entropy argument, and one through an exact-tiling realisation of Peckner's induce-and-split scheme.

The combinatorics of sector renormalization

math.DS

math.NT

The goal of this note is to systematically develop the fundamental arithmetic and combinatorial properties of the sector renormalization operation on rigid rotations. We employ the specific framework of modified continued fractions appropriate for sector renormalization and analyze their properties. By allowing infinite first return times, this framework yields a dynamical compactification characterized by a universal property. We also discuss the corresponding natural extension and introduce the notion of a time (semi-)group. For example, we demonstrate how a bi-infinite tower of sector renormalizations of irrational rotations can be packaged within a single dynamical plane as a cascade of translations. This note will serve as a foundational combinatorial tool for studying the geometric properties of sector renormalizations of holomorphic maps with irrationally indifferent fixed points, particularly neutral quadratic polynomials.

Arithmetic Properties for $k$-Color Analogue of Simultaneously $s$-Regular and $t$-Distinct Partitions

math.CO

math.NT

In this article, we discuss general generating functions for partitions of $n$, simultaneously $s$-regular and $t$-distinct in 3-colors. In addition, we obtain infinite families of congruences modulo powers of 3 for specific values of $(\ell,t)$. For instance, for positive integers $n$ and $k$, we have \begin{align*} \sum_{n=o}^{\infty}RD_3^{3,3}\left(3^kn+\frac{3^k+1}{2}\right)q^n\equiv0 \pmod{3^{k+1}}. \end{align*}

Fractal uncertainty principle over $\mathbb{Q}_p$

math.FA

math.CA

math.NT

We prove a fractal uncertainty principle over $\mathbb{Q}_p$ for porous sets, resolving a conjecture of Cohen.

Submultiplicative Polynomials in Combinatorics

math.CO

math.NT

For normalized sequences $\left(g(n)\right)_{n\in\mathbb{N}}$ we consider recursively defined polynomials $P_n^g(x)$. In this paper we study their submultiplicative property, viewed as a Bessenrodt--Ono type inequality for the partition function, and provide an effective criterion for establishing it.

Exact Cardinality And Nonredundant Parametrization Of Character-Polynomial Codes

cs.IT

math.IT

math.NT

Character-polynomial codes are constructed by evaluating finite field polynomials and mapping the results to complex roots of unity through additive characters. This paper shows that, over extension fields, the original polynomial family may contain redundancies: distinct polynomials can generate the same codeword. We identify the source of this non-injectivity through the trace map and cyclotomic cosets, determine the exact code cardinality, and construct a refined polynomial family that parametrizes the code without redundancy. These results give corrected parameters for CP codes and clarify their algebraic structure.

Malle's Conjecture for $G \times A$, with $G = S_3, S_4, S_5$

math.NT

v3

We prove Malle's conjecture for $G \times A$, with $G=S_3, S_4, S_5$ and $A$ an abelian group. This builds upon work of the fourth author, who proved this result with restrictions on the primes dividing $A$.

On the transcendence of special values of Goss $L$-functions attached to Drinfeld modules

math.NT

v4

Let $\mathbb{F}_q$ be the finite field with $q$ elements and consider the rational function field $K:=\mathbb{F}_q(\theta)$. For a Drinfeld module $\phi$ defined over $K$, we study the transcendence of special values of the Goss $L$-function attached to the abelian $t$-motive $M_{\phi}$ of $\phi$. Moreover, when $\phi$ is a Drinfeld module of rank $r\geq 2$ defined over $K$ which has everywhere good reduction, we prove that the value of the Goss $L$-function attached to the $(r-1)$-st exterior power of $M_{\phi}$ at any positive integer is transcendental over $K$.

Endomorphism algebras of abelian varieties with large cyclic 2-torsion field over a given field

math.NT

v5

In this article we study the endomorphism algebras of abelian varieties $A$ defined over a given number field $K$ with large cyclic 2-torsion fields. A key step in doing so is to provide criteria for all the endomorphisms of $A$ to be defined over $K(A[2])$, the field generated by its 2-torsion. When $K= \mathbb{Q}$ and $\mathrm{Gal}(\mathbb{Q}(A[2])/\mathbb{Q})$ is cyclic of prime order $p = 2 \dim(A) +1$, we prove that there are only finitely many possibilities for the geometric endomorphism algebra $\mathrm{End}(A) \otimes \mathbb{Q}$.In fact, when $\dim (A) \not \in \{3,5,9,21,33,81\}$, we show $\mathrm{End}(A) \otimes \mathbb{Q}$ is a proper subfield of the $p$-th cyclotomic field. In particular, when $g=2$, $\mathrm{End}(A) \otimes \mathbb{Q}$ is isomorphic to either $\mathbb{Q}$ or $\mathbb{Q}(\sqrt{5})$.

On Some Variants Of Schinzel's Theorem For Global Function Fields

math.NT

v2

In this paper, we obtain global function field versions of the results of Schinzel-Postnikova for multiplicative groups, and of Hahn-Cheon for elliptic curves, which is an analog of the former result.

Weights of mod $p$ automorphic forms and partial Hasse invariants

math.NT

math.AG

math.RT

v5

For a connected, reductive group $G$ over a finite field endowed with a cocharacter $\mu$, we define the zip cone of $(G,\mu)$ as the cone of all possible weights of mod $p$ automorphic forms on the stack of $G$-zips. This cone is conjectured to coincide with the cone of weights of characteristic $p$ automorphic forms for Hodge-type Shimura varieties of good reduction. We prove in full generality that the cone of weights of characteristic $0$ automorphic forms is contained in the zip cone, which gives further evidence to this conjecture. Furthermore, we determine exactly when the zip cone is generated by the weights of partial Hasse invariants, which is a group-theoretical generalization of a result of Diamond--Kassaei and Goldring--Koskivirta.

On the irreducibility of $p$-adic Banach principal series of $p$-adic reductive groups

math.NT

math.RT

v3

Suppose that $G$ is the group of $F$-points of a connected reductive group over $F$, where $F/\mathbb{Q}_p$ is a finite extension. We study the (topological) irreducibility of principal series of $G$ on $p$-adic Banach spaces. For unitary inducing representations we obtain an optimal irreducibility criterion, and for $G = \mathrm{GL}_n(F)$ (as well as for arbitrary split groups under slightly stronger conditions) we obtain a variant of Schneider's conjecture [Sch06, Conjecture 2.5]. In general we reduce the irreducibility problem to smooth inducing representations and almost simple simply-connected $G$. Our methods include locally analytic representation theory, the bifunctor of Orlik--Strauch, translation functors, as well as new results on reducibility points of smooth parabolic inductions.

A GL(3) converse theorem via a "beyond endoscopy" approach

math.NT

v2

We give a new proof of the converse theorem for Maass forms on ${\rm GL}(3)$ using a technique that is inspired by Langlands' philosophy of "beyond endoscopy", thereby implementing these ideas for the first time in a higher rank setting.

Size of isogeny classes of abelian varieties of Lubin-Tate type

math.NT

math.AG

v3

We prove a lower bound for the size of the isogeny class of a simple abelian variety over a finite field with commutative endomorphism ring in the Lubin-Tate case. Moreover, based on the expected size of the isogeny classes in the Newton stratum, we conjecture that this lower bound is sharp.

Residue Class Patterns of Consecutive Primes

math.NT

v2

Dickson's conjecture and the Hardy--Littlewood prime tuple conjecture predict that every pattern of reduced residue classes modulo $q$ is attained by infinitely many strings of $m$ consecutive primes. At present, however, even proving that a single non-constant residue class pattern of length $m$ occurs infinitely often is beyond the reach of existing methods. Combining Dirichlet's theorem on primes in arithmetic progressions with a theorem of Shiu (2000) shows that, for any $m,q\in\mathbb N$ with $q \ge 3$, at least $m\varphi(q)$ residue class patterns of length $m$ are attained by infinitely many consecutive primes. In this paper, we prove that if $q$ is squarefree, every prescribed sequence of at least $60m\log m$ reduced residue classes mod $q$ contains, in order, an $m$-term block pattern that occurs infinitely often among consecutive primes, with each constant block of length at most $\lceil\log m\rceil$. A recursive combinatorial argument then shows that if $q$ is squarefree and $q \gg (\log m)^2$, then at least \[ \gg \frac{m}{(\log m)^{10}} \varphi(q)^2 \] residue class patterns of length $m$ occur infinitely often among consecutive primes. Moreover, we also show that if $q$ is squarefree and $q \gg (\log m)^2$, then at least \[ \gg e^{-O(m \log_2 m/\log m)} \varphi(q)^{m/\lceil \log m \rceil} \] residue class patterns of length $m$ occur infinitely often among consecutive primes. The proof consists of a modification of the Maynard--Tao sieve found in Banks, Freiberg, and Maynard (2016), by considering the $r$-th moment instead of the 2nd moment for an integer $r$ depending on $m$, which is then combined with an Erd\H{o}s--Rankin type construction.

Conductor exponents for families of hyperelliptic curves

math.NT

v2

We compute the conductor exponents at odd places using the machinery of cluster pictures of curves for three infinite families of hyperelliptic curves. These are families of Frey hyperelliptic curves constructed by Kraus and Darmon in the study of the generalised Fermat equations of signatures $(r,r,p)$ and $(p,p,r)$, respectively. Here, $r$ is a fixed prime number and $p$ is a prime that is allowed to vary. In the context of the modular method, Billerey-Chen-Dieulefait-Freitas computed all conductor exponents for the signature $(r,r,p)$. We recover their computations at odd places, providing an alternative approach. In a similar setup, Chen-Koutsianas computed all conductor exponents for the signature $(p,p,5)$. We extend their work to the general case of signature $(p,p,r)$ at odd places. Our work can also be used to compute local arithmetic data for the curves in these families.

Pair correlation for sums of two ordinates of zeros of the Riemann zeta function

math.NT

v2

Assuming the Riemann Hypothesis, we extend Montgomery's pair correlation method to study the distribution of differences between sums $\gamma_1+\gamma_2$ of two ordinates of nontrivial zeros of the Riemann zeta function. For the associated pair correlation function we prove that $G_2(\alpha,T)=\{\log T/T^{2\alpha}+4\alpha^3/(3T^\alpha)\} \{1+O(1/\log\log T)\}$ uniformly for $0\le\alpha\le 2/3-2\log\log T/\log T$. In contrast with the conjectured GUE statistics of the ordinates themselves, this result points to an absence of level repulsion among sums of two ordinates, the two-point correlation function of the sums being identically one, as for a Poisson process.

If a machine did it, it is probably transcendental (even $p$-adically)

math.NT

math.CO

v2

Continued fraction expansions provide a well-established bridge between algebraic properties of numbers and combinatorics on words. In this article, we investigate the algebraicity of $p$-adic numbers whose continued fractions arise from certain classes of words which generalize the classical automatic, periodic and palindromic words. Our main result shows that, under mild conditions on the $p$-adic continued fraction expansion, such numbers are either algebraic of degree at most 2 or transcendental. This result provides an analogue of results of Bugeaud and Adamczewski-Bugeaud in the real setting and extends previous works that were limited to specific choices of $p$-adic floor functions and less general classes of words.

Abelian threefolds with imaginary multiplication

math.NT

v3

Let $A$ be an abelian threefold defined over a number field $K$ with potential multiplication by an imaginary quadratic field $M$. Under mild assumptions on $K$, if $A$ has signature $(2,1)$ and the multiplication by $M$ is defined over $KM$, we attach to $A$ an elliptic curve defined over $K$ with potential complex multiplication by $M$, whose attached Galois representation is determined by the Hecke character associated to the determinant of the compatible system of $\lambda$-adic representations of $A$. We deduce that if the geometric endomorphism algebra of $A$ is an imaginary quadratic field, then it necessarily has class number bounded by $[KM:M]$.

On a Diophantine Equation Involving Lucas Numbers

math.NT

v4

Let L_t denote the t-th Lucas number. We prove that the Diophantine equation L_m^{n+k} + L_m^n = L_r has no solutions in positive integers r, m, n, and k with m >= 2. In the case n = 1, the proof is based on a precise factorization formula for the difference of two Lucas numbers and the Carmichael Primitive Divisor Theorem. For n >= 2, we apply lower bounds for linear forms in logarithms due to Matveev, combined with Legendre's lemma, an exact divisibility property for powers of Lucas numbers, and computer-assisted computations to complete the proof.

Metric Poissonian pair correlationa and additive energy

math.NT

v2

In this article we prove that for a strictly increasing sequence $(a_n)$ of natural numbers, if the additive energy of $\{a_n:n\leq N\}$ is less than $N^3/(\log N)^C$ for some $C\geq14.71,$ then $(\{a_n\alpha\})$ has Poissonian pair correlation for almost all $\alpha\in\mathbb{R}.$ This provides a lower bound for the exponent $C$ in the additive energy bound established by Bloom and Walker [4].

Effective short intervals containing primes

math.NT

v3

95 years ago Hoheisel proved the existence of primes in the sub-linear interval \[ \left[x, x+x^{1-{1\over 33000}}\right] \qquad \hbox{for $x$ sufficiently large}. \] This was improved by Heilbronn, proving existence of primes in the sub-linear interval \[ \left[x, x+x^{1-{1\over 250}}\right] \qquad \hbox{for $x$ sufficiently large}. \] More recently Baker, Harman, Pintz proved existence of primes in the sub-linear interval \[ \left[x, x+ x^{1-{19\over 40}}\right] \qquad \hbox{for $x$ sufficiently large}. \] In the present article I will, to the extent possible, make some of these statements effective. Specifically, among other things, I shall show that \[ \forall n \geq 4, \qquad\forall x \geq \exp(3\exp(33)), \qquad \hbox{there are primes in the interval} \left[x, x+ x^{1-{1\over n}}\right]; \] \[ \forall n \geq 91, \qquad\forall x \geq [90^{90}]^{n/(n-90)} , \qquad \hbox{there are primes in the interval} \left[x, x+ x^{1-{1\over n}}\right]. \] Furthermore \[ \forall n \geq 106, \qquad\forall x \geq 1, \qquad \hbox{there are primes in the interval} \left[x, x+ x^{1-{1\over n}}\right]. \] In particular this last observation makes both the Hoheisel and Heilbronn results fully explicit and effective. This (relatively) specific observation can be extended and generalized in various manners.

Moments of Higher Logarithmic Derivatives and Exceptional Zeros in Cyclotomic Fields

math.NT

v2

Let $\chi$ be a non-principal Dirichlet character, and let $L(s,\chi)$ be the associated Dirichlet $L$-function. We write $\mathcal{L}(s,\chi)$ for its logarithmic derivative $L'(s,\chi)/L(s,\chi)$. In this article, we prove arithmetic formulas for the higher derivatives $\mathcal{L}^{(r)}(1,\chi)$ and establish unconditional moment asymptotics for $P^{(a,b)}(\mathcal{L}^{(r)}(1,\chi))$ as $\chi$ runs over non-principal Dirichlet characters of large prime conductor. As an application, we show that these moment asymptotics imply positivity of the second Li coefficient of prime cyclotomic fields of sufficiently large conductor. Combined with a zero-free criterion in terms of this Li coefficient, this rules out the possible exceptional zero in a Stark-type zero-free region for these fields.

Continued Fractions and Irrationality Measures for Chowla--Selberg Gamma Quotients

math.NT

math.CA

v4

We give 39 rapidly convergent continued fractions for Chowla--Selberg gamma quotients, and deduce good irrationality measures for 20 of them, including for $\operatorname{CS}(-3)=(\Gamma(1/3)/\Gamma(2/3))^3$, for $a^{1/4}\operatorname{CS}(-4)=a^{1/4}(\Gamma(1/4)/\Gamma(3/4))^2$ with $a=12$ and $a=1/5$, and for $\operatorname{CS}(-7)=\Gamma(1/7)\Gamma(2/7)\Gamma(4/7)/(\Gamma(3/7)\Gamma(5/7)\Gamma(6/7))$. These appear to be the first proved and reasonable irrationality measures for gamma quotients.

Artin twists of Drinfeld modules and Goss L-series

math.NT

v2

Twisted $L$-functions by Dirichlet characters offer deep insights into arithmetic geometry, especially in the study of elliptic curves and abelian varieties over number fields. In the function field setting, Drinfeld modules and Anderson modules serve as analogues of elliptic curves and abelian varieties, and Goss $L$-series play the role of Hasse-Weil $L$-functions. This paper introduces a motivic framework for studying twisted Goss $L$-series via Anderson motives associated to Drinfeld modules and Artin representations. For a Drinfeld module and an Artin representation on the absolute Galois group, we present a construction of Anderson motives associated to them and we show that it comes from a uniformizable abelian Anderson module. We also study their associated $L$-series, which recover the norm of the twisted Goss $L$-values. These results provide an interpretation of twisted Goss $L$-values in terms of regulators of Anderson modules with the help of Taelman's class number formula.

Relations and Derivatives of Multiple Eisenstein Series

math.NT

math.QA

v2

In this paper, we study multiple Eisenstein series, which build a natural bridge between the theory of multiple zeta values and modular forms. We prove a large family of relations among these series and give an explicit formula for their derivatives. This formula is expressed using the double shuffle structure and the Drop1 operator introduced by Hirose, Maesaka, Seki, and Watanabe. In particular, the space of multiple Eisenstein series is closed under the derivative. Further we construct bi-multiple Eisenstein series, which give a realization of the formal multiple Eisenstein series as holomorphic functions on the upper half-plane, and we prove a conjecture of Okounkov on derivatives of $q$-analogues of multiple zeta values. Based on the derivative formula, we propose a family of linear relations that is conjectured to generate all linear relations among multiple Eisenstein series. Motivated by this conjecture, we introduce a space of formal multiple Eisenstein series and show that it is an $\mathfrak{sl}_2$-algebra.

A new proof of Carlitz-Wan conjecture on exceptional polynomials

math.NT

v3

We give a new proof of the Carlitz-Wan conjecture, previously proved by Lenstra (1995). The proof we present uses Weil's Conjecture for curves over finite fields and a result of Bombieri and Katz.

On local characterizations of Hida families of Siegel modular forms

math.NT

v2

We provide new local characterizations of Hida families of Siegel modular forms with genus two arising from stable Yoshida lifts, that is, automorphic inductions of nearly ordinary Hilbert modular eigenforms over real quadratic fields. Our characterizations involve (i) density of de Rham at $p$ specializations at the singular weights $(k,2)$ and (ii) local decomposability at $p$ of the associated $\Lambda$-adic Galois representation. These are analogous to the characterizations of Hida families of CM modular forms provided by Ghate--Vatsal. Our approach is similar to that of Castella--Wang-Erickson who provided an alternate strategy to reproving Ghate--Vatsal's main results by applying Ribet's method when an anti-cyclotomic class group is assumed to be pseudo-null and cyclic as a $\Lambda$-module. Along these lines, one key input to our methods involves an assumption of pseudo-nullity of Selmer groups that are defined by imposing stricter conditions at $p$ than those imposed for the usual Greenberg Selmer groups appearing in the Asai main conjectures over real quadratic fields.

$p$-adic $L$-functions for elliptic curves over global function fields

math.NT

v3

We introduce a $p$-adic $L$-function $\mathscr L_{A/L}$ associated to each ordinary elliptic curve $A$ over a global function field $K$ of characteristic $p$ together with a $\mathbb{Z}_{p}^{d}$-extension $L/K$, $d=0$ allowed, unramified outside a finite set of places where $A$ has ordinary (good ordinary or multiplicative) reductions. This $\mathscr L_{A/L}$ is characterized by its interpolation of the special values of twisted Hasse-Weil $L$-functions. We show that it satisfies the desired functional equation, specialization formula, and restriction formula in connection with the characteristic ideal of the dual $p^\infty$-Selmer group of $A/L$. The Iwasawa main conjecture having $\mathscr{L}_{A / L}$ as the analytic side is proven in several cases. In the $d\geq 3$ case, the conjecture holds for $A/L$ if and only if it holds for all intermediate $\mathbb{Z}_p^2$-extensions $L'/K$ belonging to a given non-empty Zariski open subset of the Grassmannian $\mathrm{Gr}(d-2,d)(\mathbb{Z}_p)$. Recently, subject to a technical $\mu$-invariant hypothesis, if $A/K$ has semistable reduction everywhere, the Iwasawa main conjecture is proven for $A$ over $L$ \cite{ttt26}.

On the series expansion of the secondary zeta function about $s=1$ and its coefficients

math.NT

v2

The secondary zeta function is defined as a generalized zeta series over the imaginary parts of non-trivial zeros assuming (RH). This function admits Laurent series expansion at the double pole at $s=1$. In this article, we derive a new formula for the expansion coefficients of the regular part, which is similar to the Stieltjes constants formula for the Riemann zeta function. We also numerically verify and compute the new formula to high precision for several test cases. Lastly, we also apply the Brent's (BPT) Theorem for improving convergence of the main formula.

Large sieve inequality for sums of Legendre symbols over short intervals

math.NT

v2

We use the Burgess bound and Selberg sieve to obtain an upper bound on the second moment of sums over an interval $[u+1,u+h]$ of Legendre symbols modulo primes $p$ in a dyadic interval $[Q,2Q]$. The bound is nontrivial and gives a power saving with respect to $h$ for any $u \le Q$, provided $h \ge \psi(Q)$ for any function $\psi(Q)\to\infty$ as $Q\to\infty$. This can be viewed as a variation of a result of D. R. Heath-Brown (1995) on moments of sums of quadratic characters over the initial interval $[1,h]$. In particular, it implies that for almost all primes $p$, there are almost equal numbers of quadratic residues and non-residues in arbitrary very short intervals. We also present a conditional, on the Generalised Riemann Hypothesis, result for higher moments.

On the modularity of the odd rank generating functions

math.NT

v2

To provide partition-theoretic interpretations to Watson's the third-order mock theta function $\omega(q)$, Andrews defined the odd Durfee symbols and odd ranks. Motivated by Andrews' work, arithmetic properties of odd ranks are widely studied recently. In this paper, we obtain transformation formulas of the odd rank generating functions, which are used to construct families of weak Maass forms and weakly modular forms. As an application,we provide explicit identities for odd ranks modulo 5, analogous to Ramanujan's classical partition identities.

A Resolution of Erd\H{o}s Problem 768: the Sylow Divisor Condition

math.NT

v2

We resolve Erd\H{o}s Problem 768. Let $A(x)$ count the positive integers $n\le x$ such that, for every prime $p\mid n$, there is a divisor $d>1$ of $n$ with $d\equiv 1 \pmod p$. Erd\H{o}s asked whether $A(x)/x=\exp(-(c+o(1))\sqrt{\log x}\log\log x)$ for some constant $c>0$. We prove that this holds with $c=1/(2\sqrt{\log 2})$; equivalently, $\log(x/A(x))/(\sqrt{\log x}\log\log x)$ tends to $1/(2\sqrt{\log 2})$. The lower bound is obtained from primes in disjoint logarithmic intervals using a fourth-moment argument based on the multiplicative large sieve and a subset-product second moment. The upper bound uses canonical witness divisors, a deterministic compression map, an injective reconstruction theorem for its fibers, and growing divisor moments. Thus the paper determines the exact leading constant in Erd\H{o}s Problem 768. The main theorem and its complete proof have been formally verified in the Lean 4 proof assistant.

The van der Corput property for sums of two squares

math.NT

math.CO

v2

Let $S_N=\{1\le d\le N:d=x^2+y^2\text{ for some }x,y\in\mathbb Z\}.$ We prove a power-saving form of the van der Corput property for $S_N$. As a consequence, we obtain a strong S\'{a}rk\"{o}zy-type result: if $A\subseteq [N]$ has no nonzero difference equal to a sum of two squares, then $|A|\ll_\varepsilon N^{7/8+\varepsilon}$ for every $\varepsilon>0$, improving upon an earlier quasipolynomial bound due to Rice. The shape of this bound is optimal, as a construction of Younis yields a set $A\subseteq [N]$ with $|A|\gg N^{1/2}$ such that $(A-A)\cap S_N=\emptyset$.

Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond

math.NT

math.CO

math.LO

v2

The theory of $q$-series and basic hypergeometric series plays a crucial role at the intersection of combinatorics, number theory, and representation theory. From the classical partition identities of Euler and Jacobi to modern developments in class field theory, vertex operator algebras, and the Monstrous Moonshine conjecture, $q$-series provide the analytic framework for a wide range of profound applications. In this paper, we discuss the formalization of this theory in the Lean proof assistant, a process that requires careful design of scalable and versatile structures to reconcile formal algebraic identities with analytic convergence properties. We address these foundational challenges by focusing on the construction of $q$-Pochhammer symbols, $q$-binomial coefficients, Bailey's Lemma and similar primitives. To demonstrate the utility of this work, we provide fully verified proofs of the Jacobi Triple Product formula and the celebrated Rogers-Ramanujan identities, which serve as both historical and technical benchmarks for the field. This work establishes a rigorous computational foundation for the future formalization of mock theta functions, modular forms, and the diverse algebraic structures that underpin their applications across mathematics and physics. AxiomProver was used to produce the formalizations in this paper.

Constructing the $\mathbf{2^{2^5} + 1 = F_5}$-gon, the first step: the 641-gon

math.NT

v2

In an article S. Adlaj showed the construction of the $F_4 = 65\,537$-gon ($F_4$ a Fermat prime). Extending the authors method to cases, where the multiplicative group is not of order $2^n$, but has an additional prime factor, here the $641$-gon ist constructed. $641$ is the smaller prime factor of the composite Fermat number $F_5 = 2^{2^5} + 1$.

On the distance problem over finite p-adic rings

math.CO

math.CA

math.NT

v4

In this paper, we study the distance problem in the setting of finite p-adic rings. In odd dimensions, our results are essentially sharp. In even dimensions, we clarify the conjecture and provide examples to support it. Surprisingly, compared to the finite field case, in this setting, we are able to provide a large family of sets such that the distance conjecture holds. By developing new restriction type estimates associated to circles and orbits, with a group theoretic argument, we will prove the $4/3$-parallel result in the two dimensions. This answers a question raised by Alex Iosevich. In a more general scenario, the existence/distribution of geometric/graph configurations will be also considered in this paper. Our results present improvements and extensions of recent results due to Ben Lichtin (2019, 2023). In comparison with Lichtin's method, our approach is much simpler and flexible, which is also one of the novelties in this paper.

On Fourier asymptotics and effective equidistribution

math.DS

math.NT

v3

We prove effective equidistribution of expanding horocycles in $\mathrm{SL}_2(\mathbb{Z})\backslash\mathrm{SL}_2(\mathbb{R})$ with respect to various classes of Borel probability measures on $\mathbb{R}$ having certain Fourier asymptotics. Our proof involves new techniques combining tools from automorphic forms and harmonic analysis. In particular, for any Borel probability measure $\mu$, satisfying $\sum_{\mathbb{Z}\ni|m|\leq X}|\widehat{\mu}(m)| = O\left(X^{1/2-\theta}\right)$ with $\theta>7/64,$ our result holds. This class of measures contains convolutions of $s$-Ahlfors regular measures for $s>39/64$, as well as a subclass of self-similar measures. Moreover, our result is sharp upon the Ramanujan--Petersson Conjecture (upon which the above $\theta$ can be chosen arbitrarily small): there are measures $\mu$ with $\widehat\mu(\xi) = O\left(|\xi|^{-1/2+\epsilon}\right)$ for which equidistribution fails.

A few notes on the asymptotic behavior of Rademacher random multiplicative functions

math.PR

math.DS

math.NT

v5

Let $X_p, p\in\cP$ be a sequence of independent random variables s.t. $\bbP(X_p=\pm 1)=1/2$. Let $\te_j=\prod_{p|j}X_p$ if $j$ is square free and $\te_j=0$ otherwise. Denote $S_n=\sum_{\ell=1}^n\te_\ell$. The from this point of view proving limit theorems for $S_n$ is natural problem, since $S_n$ mimics the behavior of $e^{\sqrt{\ln(\beta)}}$. It is a natural guiding conjecture that $S_n/\sqrt n$ obeys the central limit theorem (CLT). However, S. Chatterjee conjectured (as expressed in \cite{[25]}) that the CLT should not hold. Chatterjee's conjecture was proved by Harper \cite{[17]}, and by now it is a direct consequence of a more recent breakthrough by Harper \cite{Har20} that $\frac{S_n}{b_n}\to 0$ in $L^1$, where $b_n=(n^{1/2}(\ln(\ln(n)))^{-1/4})u_n, u_n\to\infty$. In particular $S_n/\sqrt n\to 0$. Nevertheless, the question whether there exists a sequence $a_n=o(b_n)$ such that $S_n/a_n$ converges to some limit remains a mystery. Note that the corresponding problem in the Steinhaus Setting was recently resolved by \cite{Gor1}. In this paper make an attempt to shed some light on the convergence of $S_n/a_n$. Additionally, we obtain explicit estimates on hight moments of $S_n$ without restrictions on the size of the moment compared to $n$ like in \cite[Theorem 1.2]{Har19}, which is of independent interest. This is achieved by a martingale argument together with the Burkholder inequality, and it has applications in a natural number theoretic combinatorial problem. Using martingale techniques we will also obtain exponential concentration inequalities for $S_n$ (in the large deviations regime)

The Kaleidoscopic Filter: A Structural Resolution of Restricted Integer Partitions

math.CO

math.MG

math.NT

v5

The integer partition functions $p_k(n)$ and $p(n)$ are traditionally constrained by recursive series and asymptotic limits. We introduce the Stratified Simplicial Decomposition (SSD) of the Ehrhart partition polytope, embedding the problem strictly within the continuous domain of the affine $A_{k-1}$ Weyl group. By formalizing the Kaleidoscopic Filter Theorem, we prove that the structural evaluation of $p_k(n)$ collapses to an exact algebraic invariant, achieving $\mathcal{O}_k(1)$ complexity. We bypass the recursive M"obius Poset algorithms by establishing a global closed-form identity via generalized Bernoulli polynomials, proving that fractional boundary defects are strictly bounded below $0.5$. This allows evaluation via a deterministic nearest-integer rounding operator. Extending to unrestricted partitions, we establish an exact Durfee-Ehrhart formulation. This polyhedral framework geometrically unifies additive number theory, resolving Euler's distinct-odd identity, MacMahon's $\Omega$-calculus, and Dyson's Rank. Furthermore, we reveal the structural origin of Ramanujan's Mock Theta functions within the cyclotomic tail via the Indefinite Theta Toric Fibration. Finally, by mapping these independent polyhedral volumes into a Toeplitz-Hessenberg matrix, we establish an exact, non-recursive geometric closed form for the prime-counting function $\pi(x)$.