Number Theory [math.NT]

Recovering Kodaira types from $\ell$-torsion on elliptic curves

math.NT

The classical N\'eron-Ogg-Shafarevich criterion characterises good reduction of an elliptic curve $E$ over a $p$-adic field via the action of inertia on the $\ell$-adic Tate module. However, the action of inertia on $E[\ell]$ is not sufficient to distinguish between potentially good and multiplicative reduction, and the action on $T_{\ell}(E)$ is not sufficient to determine the Kodaira type. We remedy this situation by endowing $E[\ell]$ with a distance function that records the $p$-adic distances between the $x$-coordinates of the points. We show that, equipped with this additional structure, $E[\ell]$ determines the Kodaira type of the elliptic curve. In the case of residue characteristic $2$, we assume that $E$ does not have potentially good reduction of type $I_n^*$.

$(a,a)$-Carmichael numbers and greatest common divisors of $p-a$

math.NT

Define an $(a,a)$-Carmichael number to be a squarefree natural number $n$ such that $p\mid n$ implies $p-a\mid n-a$. For such a number $n$ with prime factors $p_1,\cdots,p_m$, define $$K=GCD[p_1-a,\cdots,p_m-a],$$ and let $C_\nu(X,a)$ denote the number of $(a,a)$-Carmichael numbers up to $X$ such that $K=\nu$. Assuming a strong conjecture on the first prime in an arithmetic progression, we prove that for any integer $a$ and for any natural number $\nu$ with $(\nu,a)=1$ and $a$ and $\nu$ having opposite parity, $$C_\nu(X,a)\geq X^{1-(2+o(1))\frac{\log\log\log \log X}{\log\log\log X}}.$$ This is a departure from many traditional constructions of Carmichael numbers, which generally require $K$ to grow along with $n$.

$p$-adic rigidity for $\mathrm{GSp}_4$

math.NT

This paper establishes the $p$-adic rigidity of certain suitably refined noncuspidal automorphic Saito$\unicode{x2013}$Kurokawa representations of $\mathrm{GSp}_4(\mathbb{A}_\mathbb{Q})$, in the sense that they cannot be interpolated in a nontrivial positive dimensional $p$-adic family. The results provide a $\mathrm{GSp}_4$ analogue of Bella\"{i}che's rigidity theorems for $\mathrm{U}(2,1)$ and identify an obstruction to $p$-adic variation on the $\mathrm{GSp}_4$ eigenvariety.

A finite Guinand-Weil dictionary and archimedean tail order for the truncated Weil quadratic form

math.NT

math.SP

The Connes-van Suijlekom and Connes-Consani-Moscovici truncations of the Weil quadratic form, at a prime cutoff c>1 and frequency band N, produce finite Galerkin matrices whose spectra are the finite-rank window on Weil positivity. We prove two exact finite theorems about this truncation. First, every real even Galerkin coefficient vector v determines, in closed form, a band-limited Guinand-Weil test function g_v whose zero sum over the nontrivial zeros of zeta equals the quadratic value exactly: every value of the truncated form is an exact sum over the zeros. The construction factors through an exact source quotient of dimension 2N+1 and admits a non-collapsing pole-neutral subfamily. Second, beyond the Galerkin band the omitted archimedean tail is a totally positive Cauchy-Stieltjes increment. This yields a two-sided certification rule with an explicit budget B_T ~ (2N+1) rho log(T) / (pi^2 T), where T is the archimedean cutoff and rho = 2 pi / log c: finite-cutoff positivity certifies cutoff-free positivity, a finite-cutoff eigenvalue below -B_T certifies a cutoff-free negative, and a negative eigenvalue in the band [-B_T, 0) certifies nothing. Resolving a spectral scale of 10^-59 at c=100 by brute cutoff would require T of order 10^63; a cutoff-free interval LDL^T factorization resolves it directly. The dictionary is verified over the first 512 zeros of zeta and by three independent computational routes; all scripts and artifacts ship with the paper. The paper makes no Riemann Hypothesis, prime-counting, next-prime, or factoring claim.

A Mackey criterion for locally analytic representations

math.NT

math.RT

We prove an analogue of Mackey's irreducibility criterion for compactly induced locally analytic representations of $p$-adic groups, where we induce from an open subgroup which is compact mod centre. We also discuss several examples.

Beyond Endoscopy for $\mathrm{GL}_3(\mathbb{Q})$: Functional equation for the $L$-function of a cubic order

math.NT

The Beyond Endoscopy strategy, proposed by Langlands, aims to establish the principle of functoriality by analyzing the trace formula. Recently, Deng and Espinosa advanced this program for $\mathrm{GL}_3(\mathbb{Q})$ by isolating the contribution of the trivial representation from the elliptic regular part. Their work relies on a conjectural factorization formula for the $L$-function associated with a cubic order, which yields the functional equation for the completed $L$-function. In this paper, we provide an unconditional proof of this functional equation for every Gorenstein order in a cubic number field. As a consequence, their isolation of the trivial representation for $\mathrm{GL}_3(\mathbb{Q})$ becomes fully unconditional.

Refined Humbert invariants and subvarieties of $\Ac_2(\C)$: the rank 3 case

math.NT

Over the complex field, we show that the principally polarised abelian surfaces with a given refined Humbert invariant of rank 3 are all Galois conjugated.

Lubin's conjecture for height-one $p$-adic dynamical systems

math.NT

math.DS

We prove Lubin's conjecture for height-one commuting pairs of formal power series defined over the ring of integers $\mathcal{O}$ of any finite extension of $\mathbb{Q}_p$. Using some $p$-adic Hodge theory, we show that such a pair is a pair of endomorphisms of a formal group defined over $\mathcal{O}$.

On S\'ark\"ozy-S\'{o}s Theorem related to representation functions

math.NT

Let $\mathbb{N}_0$ be the set of all nonnegative integers. For a nonempty set $\mathcal{A}\subseteq \mathbb{N}_0$ and integers $n,h\ge 2$, let $r_{h}(\mathcal{A},n)$ be the number of representations of $n$ as $a_1+\cdots+a_h$, where $a_1\le \cdots\le a_h$ and $a_i\in \mathcal{A}$ for $i=1,\cdots,h$. In 2016, Chen and Tang showed that, for any given distinct positive integers $u_1,\cdots,u_k$ and positive rational numbers $\alpha_1,\cdots,\alpha_k$ with $\alpha_1+\cdots+\alpha_k=1$, there are infinitely many sets $\mathcal{A}\subseteq \mathbb{N}_0$ such that $r_{h}(\mathcal{A},n)\ge 1$ for all nonnegative integers $n$ and the set of $n$ with $r_{h}(\mathcal{A},n)=u_i$ has density $\alpha_i$ for all integer $i=1,\cdots,k$. In this paper, we consider the irrational numbers $\alpha_i$ as well. As a main result, we prove that, for any nonnegative numbers $\alpha_0,\cdots,\alpha_m$ with $\alpha_0+\cdots+\alpha_m=1$, there are infinitely many sets $\mathcal{A}\subseteq \mathbb{N}_0$ such that the set of $n$ with $r_{2}(\mathcal{A},n)=i$ has density $\alpha_i$ for all integer $i=0,\cdots,m$. Other related results are also contained.

Derivative-Free Richelot Isogenies via Subresultants with Algebraic Certification

math.NT

cs.CR

cs.SC

The classical Richelot $(2,2)$-isogeny step for genus-$2$ curves constructs a codomain triple $(U,V,W)$ from a factorization $f=uvw$ via Wronskian derivatives. We give a completely derivative-free reformulation over prime fields $\mathbb{F}_p$, $p>2$, by expressing the Wronskian output through the $2\times 2$ minors of the coefficient matrix and recovering them from first subresultants and a linear syzygy. The resulting Remainder-Polynomial Route (RPR) is proven to produce the identical output triple in $\mathbb{F}_p[x]$ not merely up to units, but as an exact polynomial identity. Building on this equivalence, we introduce the Guarded Subresultant Route (GSR), a deterministic evaluator that certifies admissibility through constant-size algebraic guards, a lightweight post-check, and at most one bounded affine retry. All routes execute $O(1)$ field operations per step. A prototype over $10^6$ matched trials per prime confirms a $4.75$--$6\times$ kernel speedup for RPR over the classical Wronskian formula, and the full GSR pipeline remains $1.4$--$3\times$ faster than WRO despite the certification overhead. Correctness is independently verified by a double-Richelot involution test on $2.5\times10^5$ random triples across five primes.

Calculating the floor of y**(1/m)

math.NT

cs.CR

cs.DS

We present two algorithms based on the Newton-Raphson method to calculate the floor of y**(1/m) for natural integer numbers y>2 and m >1. One could use such an algorithm to establish whether y is an integer power of an integer in number theory problems, even though binary search methods are traditionally considered simpler to implement.

Ramanujan-type identities for alternating Hurwitz zeta functions

math.NT

math.CA

Around 1910, in an unpublished manuscript, Ramanujan proposed the following identity for $\zeta(2n+1)$: \begin{align*} \alpha^{-n}\left\{\frac{1}{2}\zeta\left(2n+1\right) +\sum_{m=1}^{\infty}\frac{m^{-2n-1}}{e^{2\alpha m}-1}\right\} &-\left(-\beta\right)^{-n}\left\{\frac{1}{2}\zeta\left(2n+1\right) +\sum_{m=1}^{\infty}\frac{m^{-2n-1}}{e^{2\beta m}-1}\right\} \\&=2^{2n}\sum_{k=0}^{n+1}{\frac{\left(-1\right)^{k-1}B_{2k}B_{2n-2k+2}} {\left(2k\right)!\left(2n-2k+2\right)!}\alpha^{n-k+1}\beta^k}, \end{align*} where $\alpha$, $\beta$ are positive numbers satisfying $\alpha\beta=\pi^2,n\in\mathbb Z\setminus\{0\},$ $B_n$ denotes the $n$-th Bernoulli number, and $\zeta(z)$ is the Riemann zeta function. In this paper, we extend Ramanujan's identity to the alternating Hurwitz zeta function and systematically investigate the properties of the alternating Hurwitz zeta function $\zeta_E(z,x)$ under different modular symmetry conditions, as well as the corresponding Ramanujan-type identities. We also establish infinite series expressions for products of the tangent and hyperbolic tangent functions, and express the Dirichlet lambda function $\lambda(z)$ together with linear combinations of infinite series as convolution sums of special sequences. Furthermore, we define alternating Hurwitz kernels of even and odd orders, and obtain Ramanujan-type identities involving the alternating digamma function $\widetilde{\psi}(x)$ and Euler polynomials $E_n(x)$, as well as transformation formulas between even-order and odd-order alternating Hurwitz kernels.

The discrete logarithm problem in cokernels of $\mathcal{O}_K$-matrices

math.NT

In 2009 and 2010, Blackburn and Shokrieh independently found that the discrete logarithm can be computed efficiently on the sandpile group of a graph, meaning that sandpile groups are not secure for cryptography. We generalize this problem to cokernels of matrices with entries in the ring of integers $\mathcal{O}_K$ of a number field $K$. When $K$ has nontrivial class group, the failure of the Euclidean algorithm in $\mathcal{O}_K$ is an obstacle to generalizing previous methods. For $M$ in $\mathrm{M}_{n\times m}(\mathcal{O}_K)$, we overcome this obstacle to efficiently compute discrete logarithms in $\mathrm{cok}(M) = \mathcal{O}_K^n/M\mathcal{O}_K^m$. In particular, we find an algorithm with time complexity $\tilde{O}((m+n)^{\omega+1})$, where $\omega$ is an exponent of matrix multiplication, to compute discrete logarithms in $\mathrm{cok}(M)$ when $\mathrm{cok}(M)$ is viewed either as an $\mathcal{O}_K$-module or as a group. When $M$ is Hermitian with respect to a Galois involution $\sigma$ and nonsingular, we improve the time complexity to $\tilde{O}(n^\omega)$.

On the inverses of permutation polynomials of the form $h(\psi(x))\varphi(x)+g(\psi(x))$ over finite fields

math.NT

In this paper, we investigate the compositional inverses of permutation polynomials of the form \[ F(x)=h(\psi(x))\varphi(x)+g(\psi(x)) \in \mathbb{F}_{q^n}[x], \] where \(\psi(x),\varphi(x) \in \mathbb{F}_{q^n}[x]\) are additive polynomials, \(h(x), g(x) \in \mathbb{F}_{q^n}[x]\) satisfy $ h(\psi(\mathbb{F}_{q^n})) \subseteq \mathbb{F}_q^*, $ and there exists a polynomial \(\bar{\psi}(x) \in \mathbb{F}_{q^n}[x]\) such that $ \bar{\psi}(F(x)) = \psi(x). $

The compositional inverses of the permutation polynomials of the form $x+\gamma\operatorname{Tr}_{q}^{q^n}(H(x))$ over $\mathbb{F}_{q^n}$

math.NT

This paper focuses on computing the compositional inverses of permutation polynomials of the form $x+\gamma \operatorname{Tr}_{q}^{q^{n}}(H(x))$ over finite fields via the local method. We explicitly construct compositional inverses for four families of permutation polynomials of this type over $\mathbb{F}_{q^2}$, another four families over $\mathbb{F}_{q^3}$, and one general family over $\mathbb{F}_{q^n}$. The closed-form inverse expressions derived in this work supplement the theory of trace permutation polynomials.

Extreme values of the real part of the Riemann zeta function

math.NT

In this paper, we establish lower bounds for extreme values of the real part of the Riemann zeta function on the critical line. This work relies on the resonance method of Bondarenko and Seip, together with lower bounds for certain integrals associated with Dirichlet series with non-negative coefficients. Our results extend the work of Bondarenko and Seip (2018).

A Romanoff-type theorem for $P_2$+{$a^a$: a$\ge$ 1}

math.NT

Let $\Omega(n)$ denote the number of prime factors of $n$, counted with multiplicity, and put $P_2$={$m$ $\ge$ 1:$\Omega(m)$ $\le$ 2}. We prove that the sumset $P_2$+{$a^a$: a$\ge$ 1} has positive lower density. The proof uses the Romanoff second moment method, in the spirit of Li and Pan's theorem on $P_2$+$2^{\mathcal P}$. The main new ingredient is the following average estimate for the singular factor \[ \frac{1}{K(K-1)} \sum_{\substack{1\le a,b\le K\\a\ne b}} \prod_{p\mid a^a-b^b}\left(1+\frac{\kappa}{p}\right) \le C_\kappa \] for some constant $C_\kappa>0$, which is valid for all $K \ge 2$ and any fixed $\kappa>0$. This estimate controls the average arithmetic correlation among the shifts $a^a$ and allows the Romanoff argument to be carried out.

Modular elliptic curves and hyperbolic uniformization

math.NT

In an article published a few years before the modularity of elliptic curves over $\Q$ was proved, Mazur \cite{maz} looked at modularity as a purely complex analytic phenomenon, defining a notion of an elliptic curve over $\Q$ having a hyperbolic uniformisation of arithmetic type. Such an elliptic curve (of conductor $N$, say) is necessarily geometrically modular, i.e. a quotient of the jacobian of the modular curve $X_0(N)$, by a morphism defined over $\Q$. We extend these ideas to elliptic curves over totally real fields of odd degree, using Shimura curves for quaternion algebras split at all finite places and one real place. In particular, we prove that the existence of a hyperbolic uniformisation of arithmetic type would imply geometric modularity.

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

math.NT

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

Anomalous Partial Quotients in the Continued Fraction of $\sqrt{\zeta(3)-S_N}$

math.NT

Let $S_N = \sum_{j=1}^N j^{-3}$ and $R_N = \zeta(3) - S_N$. The simple continued fraction of $\sqrt{R_N}$ has partial quotients of generic size $O(N)$. We prove that at the sequence of indices $N_k = (Q_{2k+1}-1)/2$, where $Q_{2k+1}$ are companion Pell numbers, the continued fraction begins \[ \sqrt{R_{N_k}} = \bigl[0;\; M_k-1,\; 1,\; 6M_k^3+12M_k-2,\; 1,\; \ldots\,\bigr], \] with $M_k = P_{2k+1}$ (Pell numbers), and the third partial quotient grows cubically while generic ones are linear. We determine all partial quotients through the fifth: \begin{align*} \PQ_0 &= M_k - 1, & \PQ_2 &= 6M_k^3 + 12M_k - 2, & \PQ_4 &= \Bigl\lfloor\frac{10M_k - 261}{261}\Bigr\rfloor, \PQ_1 &= 1, & \PQ_3 &= 1, & \PQ_5 &= \Bigl\lfloor\frac{261}{r_k}\Bigr\rfloor + \epsilon_k, \end{align*} where $r_k = (10M_k) \bmod 261$ satisfies the recurrence $r_{k+1} \equiv 6r_k - r_{k-1} \pmod{261}$, and $\epsilon_k = -1$ at the $k$ with $r_k \mid 261$ (the two residue classes $k \equiv 57, 62 \pmod{60}$), and $\epsilon_k = 0$ otherwise. All six formulas follow from the Euler--Maclaurin expansion of $1/\sqrt{R_{N_k}}$, carried to sufficient precision, combined with the Pell identity $Q_{2k+1}^2 - 2M_k^2 = -1$. The delicate first step, $\PQ_0 = M_k - 1$, is proved by rationalizing the irrational factor $\sqrt{2}$ in the Euler--Maclaurin expansion; we complement this proof with a heuristic derivation via Gosper's bihomographic continued-fraction algorithm that exposes the underlying mechanism. All claimed results have been formalized in LEAN with the aid of Aristotle.

Extreme values of derivatives of Dirichlet $L$-functions

math.NT

In this paper, we establish lower bounds for extreme values of derivatives of Dirichlet \(L\)-functions in the range \(1/2<\sigma<1\). Compared with the work of Aistleitner, Mahatab, Munsch, and Peyrot in 2019, our result shows that derivatives of Dirichlet \(L\)-functions can attain extreme values of the same order of magnitude as the original \(L\)-functions when \(1/2<\sigma<1\) holds.

$p$-adic multiple $L$-functions and twisted multiple Bernoulli numbers

math.NT

We compute the special values ($p$MLFVs) of the $p$-adic multiple $L$-functions introduced by Furusho, Komori, Matsumoto, and Tsumura at tuples of positive integers. Furusho and Jarossay show that the special values can be expressed as an infinite sum of cyclotomic multiple harmonic values (CMHVs) with coefficients given by cyclotomic multiple Bernoulli numbers (CMBNs). We provide an explicit formula for CMBNs in terms of twisted multiple Bernoulli numbers (TMBNs), which are special values of generalized Euler-Zagier-Lerch type complex multiple zeta functions at tuples of non-positive integers. As a result, we obtain that these $p$MLFVs can be expressed as infinite sums of CMHVs, with coefficients given by the special values of the complex functions at tuples of non-positive integers.

A Stretched-Exponential Bound for an Erdos--Graham Unit-Fraction Problem

math.NT

math.CO

For a finite multiset $A$ of positive integers, write $\mathcal{R}(A)=\sum_{a\in A}a^{-1}$ and let $\varepsilon(A)$ be the distance from $1$ to the largest reciprocal subsum of $A$ that does not exceed $1$. Erd\H{o}s and Graham proved that $\varepsilon(A)\ll K^{-2}$ whenever $\mathcal{R}(A)>K$, and asked whether one always has $\varepsilon(A)\leq \exp(-cK)$ for an absolute constant $c>0$. We prove the stretched-exponential estimate $$ \varepsilon(A)\leq \exp\bigl(-c\sqrt{K\log K}\bigr) $$ for all sufficiently large $K$.

Distinctness of the generalized $n$-dimensional Kloosterman sums

math.NT

In this paper, we study the algebraic degree and distinctness of a kind of generalized $n$-dimensional Kloosterman sums over finite field $F_q$ by Galois theory and the Stickelberger theorem on $p$-adic Gauss sums.

On the number of perfect positive definite quadratic forms

math.NT

We prove a new asymptotic lower bound for the number of perfect positive definite quadratic forms in n variables which is close to the optimal one.

Improving on the Brun-Titchmarsh Theorem

math.NT

We prove that the number of primes in an interval of length $N$ is at most $2N/(\log N+3.53)$ when $N$ is large enough. This is obtained through a sieving process which can be seen as a hybrid between the large sieve and the Selberg sieve, and draws on what we call "local models". This paper has been published in {\sc Acta Arithmetica, 2008, vol. 131, nb. 4, pages 351--366}.

A Gaussian-Perron Smoothed Prime-Side Defect for Local Profiles Near Critical-Line Zeros of the Riemann Zeta Function

math.NT

We introduce a Gaussian--Perron prime-force defect that compares a smoothed prime-side logarithmic force with the logarithmic derivative of the Riemann zeta function. The construction turns the explicit formula into a local diagnostic for zero geometry. Its kernel produces an error-function prime weight and an anisotropic zero-side damping law, with an explicit boundary separating amplified and suppressed nonlocal zero contributions. We prove an exact zero-side formula, derive a universal selected-zero profile on the logarithmic scale, and formulate a finite-window damping certificate for non-selected residues. Under explicit damping, pole, and contour-regularity hypotheses, these ingredients localize the full defect near a selected zero. Assuming the Riemann Hypothesis and the stated pole-damping condition, the full defect near each fixed simple critical-line zero has the selected-zero profile up to an exponentially small nonlocal remainder. The framework provides a local diagnostic for zero geometry associated with the Riemann zeta function.

A proof of Riemann's hypothesis via Hadamard-Weierstrass factorization

math.NT

Using the Hadamard-Weierstrass factorization theorem for Riemann's {\xi} function, we discuss and prove Riemann's hypothesis.

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

math.NT

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.

Symmetric Spectral Reciprocity for $\mathrm{GL}(2)$ and Uniform Subconvexity

math.NT

We construct a new analytic regularization of the Petersson norm identity for Eisenstein series on $\mathrm{GL}_2$ over a number field $F$, and derive from it an explicit symmetric spectral reciprocity formula for twisted fourth moments of $\mathrm{GL}_2$ $L$-functions, reflecting the intrinsic rank decomposition $4=2+2$. Independently, we identify a square-level phenomenon arising from amplification, whereby the dual spectral family acquires square-level conductors. This additional arithmetic rigidity permits a refined analysis within the relative trace formula and leads to refined hybrid subconvexity bounds for twisted $L$-functions. As a consequence, we obtain new uniform subconvexity bounds for $\mathrm{GL}_2/F$; in particular, \begin{align*} L(1/2,\pi)\ll C(\pi)^{\frac14-\frac{1}{120}+\varepsilon} \end{align*} for every unitary cuspidal representation $\pi$ of $\mathrm{GL}_2/F$. We also obtain refined bounds for certain Artin $L$-functions and applications to class group arithmetic.

Supercongruences Arising from Truncated Appell Series

math.NT

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.

A decades-long breakthrough in zero-density estimates and primes in short intervals

math.NT

The Riemann Hypothesis (RH) asserts that every nontrivial zero of the Riemann zeta-function has real part equal to $1/2$. A zero-density theorem provides evidence towards RH by bounding the number of zeros of the zeta-function with real part greater than $1/2$. In 2024, Larry Guth and James Maynard announced a new zero-density theorem which, for a key location in the critical strip, strengthens previous work of Ingham and is the first such improvement in over 80 years. This expository paper places this remarkable achievement in the context of the rich history of zero-density theorems and explores its implications on the distribution of primes in short intervals.

Pythagorean triples in level sets of completely multiplicative functions

math.NT

math.CO

We show that given completely multiplicative functions $f_1,\dots,f_d$ taking values in the unit circle, there exist Pythagorean triples (i.e., integer solutions to $x^2+y^2=z^2$) with $f_i(x),f_i(y),f_i(z)$ all arbitrarily close to $1$ for all $i$. This is a new special case of the conjecture that any finite colouring of $\mathbb{N}$ has a monochromatic Pythagorean triple. Our proof combines vanishing averages for aperiodic functions with concentration estimates for pretentious functions. A similar proof is applied to obtain the analogous statement for more general equations of the form $ax^2+by^2=cz^2$ whenever $a,b,c$ are perfect squares satisfying the Rado's condition.

On the exterior square $\varepsilon$-factors of $GL_n$

math.NT

Let $\pi$ be a generic representation of ${\mathrm{GL}}_r(F)$, where $F$ is a $p$-adic field. We show using global methods that the $\varepsilon$-factors associated to the exterior square of $\pi$ via the Jacquet-Shalika integrals and Langlands-Shahidi methods coincide. Along the way we also give a new proof of the local functional equation in the $p$-adic case following the techniques in [Beuzart-Plessis, Relative trace formulas, Simons Symp.(2021), pages 1-50].

Truncated Multiple Zeta Values

math.NT

We generalize the definition of truncated multiple zeta values by allowing arbitrary integers as arguments. This leads to interesting identities, particularly with the argument 0. Truncated multiple zeta values satisfy the same quasi-shuffle algebraic identities as multiple zeta values, but we need to extend the algebra QSym of quasi-symmetric functions to a larger algebra. Using this algebra, we are able to sum systematically powers of harmonic and generalized harmonic numbers. This leads to summation identities such as \[ \sum_{n=1}^\infty H_n^3\bigg(\zeta(2)-\sum_{k=1}^n\frac{1}{k^2}-\frac{1}{n}\bigg)= -\frac{11}2\zeta(4)+\zeta(3)+3\zeta(2)-6. \] We also prove analogous identities involving alternating sums of harmonic numbers and their powers.

Class-Number-One Cubic Fricke Companions on $\Gamma_0(2)^+$ and an Exact Chudnovsky Bridge

math.NT

A structural classification-and-bridge result is proved for RS series on \(\Gamma_0(2)^+\). Among the fundamental Heegner discriminants with \(h(D)=1\), the irreducibly cubic Fricke-cusp companions occur exactly for \[ D=-11,-19,-43,-67,-163. \] The proof gives an explicit bridge between \(z=1728/j\) and \(X=256t/(t+64)^2\), a hypergeometric gauge identity, and a CM interpretation of the fibre. For \(D=-163\), the cubic Fricke RS series is the exact level-two transport of the Chudnovsky linear form.

Exceptional rational functions of degree 5 over finite fields: classification by monodromy, ramification, and the Riemann-Hurwitz formula

math.NT

We complete the classification of exceptional rational functions of degree 5 over any finite field $\mathbb{F}_{q}$ of characteristic different from 2 and 5, up to M\"obius equivalence. Our approach employs the arithmetic and geometric monodromy groups, combined with the ramification structure of the associated cover and the Riemann-Hurwitz formula. The cyclic monodromy case yields precisely monomials and R\'edei functions, while the dihedral case is resolved by analysing its inertia groups and branch points; this leads to Dickson polynomials and a non-polynomial family arising from rational 5-isogenies of elliptic curves. We also obtain partial classifications in characteristics 2 and 5: all cases with cyclic geometric monodromy and all dihedral cases admitting an $\mathbb{F}_{q}$-rational branch point are determined. The only unresolved cases are those with geometric monodromy group $D_{5}$ and no $\mathbb{F}_{q}$-rational branch point.

Thue equations that simultaneously fail the Hasse principle

math.NT

We refine a previous construction by Akhtari and Bhargava so that, for every positive integer m, we obtain a positive proportion of Thue equations F(x; y) = h that fail the integral Hasse principle simultaneously for every positive integer h less than m. The binary forms F have fixed degree >2 and are ordered by the absolute value of the maximum of the coefficients.

Sharp Circular Sampling and Derivative Period Polynomials

math.NT

We determine the exact maximal reflected zero region that forces centered binomial samples of a balanced entire function to have all zeros on the unit circle. In degree $d\ge2$, this region is \[ \Omega_d=\left\{a+ib:\ a^2-\frac{b^2}{d-1}\le\frac d4\right\}. \] The finite theorem is sharp already for a single reflected zero pair, and a phase-preserving canonical-product approximation extends it to balanced entire functions of order at most one. De Bruijn strip contraction and projective Hermite--Kakeya--Obreschkoff theory then give the exact common-zero obstruction, simplicity, strict interlacing of consecutive derivative samples, and a monotone real-pencil root flow. As an application, we prove the derivative-period-polynomial unit-circle theorem for completed $L$-functions of primitive holomorphic newforms, in every derivative order and for arbitrary level and nebentypus. After the standard normalization, every zero of \[ \sum_{j=0}^{k-2}\binom{k-2}{j}\Lambda^{(m)}(f,j+1)z^j \] lies on the unit circle for every weight $k\ge4$, level, nebentypus, and derivative order $m\ge0$. In particular, this proves the full-polynomial unit-circle conjecture of Diamantis and Rolen in its original level-one setting and extends it to arbitrary level and nebentypus. The same source-side theorem also gives simplicity, strict interlacing, and, for each fixed derivative order, conductor-uniform quantitative localization in the weight aspect.

Calculating the natural density of Mersenne numbers using nonstandard mathematical analysis

math.NT

math.CO

Currently, among the open (unsolved) problems in number theory is the following: it is unknown what is the natural density of the sequence of Mersenne numbers in the set of natural numbers. In the paper, using methods of nonstandard mathematical analysis, we obtain the following equation: the natural density of Mersenne numbers (some infinitesimal value $e$) multiplied by the sum of the reciprocals of odd numbers (the infinitely large value {\omega} = 1 + 1/3 + 1/5 + ...) is equal to 1, or the equality $e$ = 1/{\omega} is true. In nonstandard analysis, the resulting infinitesimal numbers $e$ and 1/{\omega} are considered equivalent. We obtained this result by working with a two-dimensional matrix of non-negative integers, where odd numbers are separated from even ones by the Pepis-Kalmar pairing function.

Iwasawa invariants of sharp/flat $2$-adic $L$-functions for quadratic twists of elliptic curves

math.NT

The aim of this paper is to study the variation under quadratic twists of the analytic Iwasawa invariants of Sprung's sharp/flat 2-adic $L$-functions for elliptic curves over $\mathbb{Q}$ with good supersingular reduction at $2$. Under the hypothesis that the $\mu$-invariant vanishes, we obtain an explicit difference formula for the sharp/flat $\lambda$-invariants. This formula gives a supersingular analogue of Matsuno's formula in the good ordinary case. As an application, following the method of Hatley-Ray, we obtain asymptotic lower bounds for the number of quadratic twists with prescribed sharp/flat $2$-adic Iwasawa $\lambda$-invariant.

An improved lower bound for odd integers not of the form $p+2^a+2^b$

math.NT

math.CO

Let $x$ be sufficiently large and \[ N(x)=\big|\bigl\{n\le x:n\ \text{is odd and }n\ne p+2^a+2^b \textrm{ with } p \text{ a prime and } a,b\in \mathbb{N}\bigr\}\big|. \] Motivated by Crocker's result \[ N(x)\gg \log\log x, \] Erd\H os repeatedly asked whether there is an absolute constant $c_0$ such that $N(x)>c_0x$. Pan \cite{Pan} proved in 2011 that \[ N(x)\gg x\exp\!\left( -C_0\frac{\log\log\log\log x}{\log\log\log x}\log x \right), \] where $C_0>0$ is an absolute constant. We improve on Pan's result by showing that, given any $\eta>0$, for all sufficiently large $x$, \[ N(x)\gg_\eta x\exp\left(-(4+\eta)\frac{\log\log\log x}{\log\log x}\log x\right). \]

Large $B_2[g]$ subsets of the first squares

math.CO

math.NT

We prove that, for every fixed integer $g\geq 1$, the largest cardinality of a $B_2[g]$ subset of the first $n$ squares is at least a positive constant, depending only on $g$, times $$ n^{\frac{2g}{2g+1}}(\log n)^{\frac{2-2^g}{2g+1}}, $$ for all sufficiently large $n$. For $g=1$, this recovers the theorem of Lefmann and Thiele on Sidon subsets of the first squares. The proof follows their hypergraph method, but replaces the $4$-uniform hypergraph encoding two representations as a sum of two squares by a $2(g+1)$-uniform hypergraph encoding $g+1$ such representations. The main point is to verify that this higher-uniformity hypergraph has few edges and few $2$-cycles; the lower bound then follows from an independence theorem for uncrowded hypergraphs due to Duke, Lefmann and R\"odl.

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

math.CO

math.NT

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.

Partitions with parity restrictions: a bijective approach

math.CO

math.NT

There has been recent interest in integer partitions whose parts satisfy parity restrictions: for example, those where all the odd parts are distinct, or those where all the even parts are larger than the odd parts. Often results about such partitions have been obtained by algebraic manipulation of generating functions. We show that a number of these identities can be proved in a bijective, and sometimes simpler, manner.

Dynamics of integer zeroes of homogeneous quadratic equations over $\mathbb{R}^3$

math.DS

math.NT

Romik has presented a construction of a 1-dimensional dynamical system on the unit interval by developing an algorithm that returns the unique sequence of matrices associated with a positive primitive Pythagorean triple (in the sense of Barning), and projecting the map involved in this algorithm onto an appropriate 1-dimensional space via stereographic projection. Romik additionally computes the infinite, absolutely continuous invariant measure, and shows that the system is conservative and ergodic. Later, Cha et al. provided a method of calculating "Berggren trees", which are generalisations of the tree of positive primitive Pythagorean triples one may construct via Barning's theorem, except for different homogeneous quadratic equations in 3 variables. We present here a method of computing 1-dimensional dynamical systems induced from these Berggren trees following Romik's outline, and determine their absolutely continuous invariant measures by adapting the method of Keane.

A Combinatorial Proof for Partitions of Pythagorean Triples Into Three Parts

math.CO

math.NT

Any Pythagorean triple $\{a,b,c\}$ such that $a^{2}+b^{2}=c^{2}$ satisfies an elegant relation between its partitions into three parts, namely $p(a,3)+p(b,3)=p(c,3)$. While this property follows from elementary analytic methods, we give the first combinatorial proof of this relation.

Presenting restricted Steinberg modules of general linear groups

math.RT

math.KT

math.NT

We give generators and presentations for various local restrictions of Steinberg modules over fields and relate them to \emph{partial} Borel--Serre compactifications of locally symmetric spaces in the case of number fields, extending the existing theory of partial modular symbols for $\mathrm{GL}_2(\Q)$. Along the way, we clarify the relationship between ``circuit'' and ``Bykovskii''-type presentations for such modules. In an appendix, we relate the existence of such presentations to Koszulity properties of the Steinberg $\mathrm{VB}$-algebra.

A MacMahon Analysis View of 4 Diagonal DSPPs

math.CO

math.NT

We study skew double-shifted plane partitions with three-element profiles using MacMahon's partition analysis. We present new generating function formulas for these partitions, incorporating an extra bound on the number of non-zero diagonal elements. These objects are closely related to the G\"ollnitz-Gordon and little G\"ollnitz identities. Moreover, we investigate some infinite hierarchies of $q$-series identities that stem from our formulas. We also observe certain palindromic properties within these generating functions. Finally, we examine these same objects from the perspective of linear partitions, which leads to interesting new $q$-series identities.

A sharp lower bound for some reciprocal Rado numbers

math.CO

cs.DM

math.NT

Let $f_r(k)$ be the smallest $n$ such that every $r$-coloring of $\{1,2,\ldots,n\}$ has a monochromatic solution to the equation \[\frac{1}{x_1}+\frac{1}{x_2}+\cdots+\frac{1}{x_k}=\frac{1}{x_{k+1}}, \] where $x_1,x_2,\ldots,x_k$ are not necessarily distinct. In this paper, we prove that $f_r(2)\geq 4^r/2$ for all $r\geq1$, and $f_r(k)\geq(2^r-1)k^r$ for all $k\geq3$ and $r\geq1$. When $r=2$, we show that, if $k=3\cdot2^m$ for some positive integer $m$, then $f_2(k)=3k^2$; and if $k=p^m$ for some odd prime number $p$ and positive integer $m$, then $f_2(k)\geq3k^2+1$. We also provide new computational results for $f_2(k)$ and $f_3(k)$, as well as a generalization of our lower bounds for $f_2(k)$ to equations with general coefficients.

Sharpening Borel's result in Diophantine approximation

math.DS

math.NT

In this paper, we refine Borel's 1903 result in Diophantine approximation by providing sharper bounds for the minimum of three consecutive approximation coefficients $\Theta_n(x)$, defined for any real number $x$ with regular continued fraction (RCF) expansion $x=[0;a_1,a_2,\dots]$ as $\Theta_n = q_n^2\left| x-\frac{p_n}{q_n}\right|$. Here $\frac{p_n}{q_n}$ is the $n$th RCF convergent of $x$. Borel's result states that for all (irrational) $x$ and all $n\in\mathbb{N}$, $$ \min \left\{ \Theta_{n-1}(x),\Theta_n(x),\Theta_{n+1}(x)\right\} \leq \frac{1}{\sqrt{5}}. $$ We focus on the situation where $a_{n+1}=1$, since otherwise a result by F.~Bagemihl and J.R.~McLaughlin from 1966 implies that the Borel-bound $1/\sqrt{5}$ can already be improver to $1/\sqrt{8}$.

Theta correspondence as a C*-correspondence

math.RT

math.NT

math.OA

This is a survey of the recent works that describe theta correspondence as a C*-correspondence. The main mechanism is elucidated in the special case when one of the groups involved in the theta correspondence is compact.

Integer Coefficient Power Series with Prescribed Zero Sets

math.CV

math.AC

math.NT

We prove that a discrete effective divisor on the open unit disk $\mathbb{D}$ is the zero divisor of a holomorphic function on $\mathbb{D}$ with integer Taylor coefficients if and only if it is invariant under complex conjugation. The construction uses a one-parameter deformation of the Weierstrass elementary factors in which each modified factor of order $n$ leaves all Taylor coefficients of degree $\leq n$ unchanged while shifting the coefficient of degree $n+1$ by a controlled affine amount. These modified factors act as elementary jet-correction operators: the triangular structure of the coefficient map permits an inductive rounding scheme compatible with canonical-product convergence. As a consequence, every holomorphic function on $\mathbb{D}$ differs from one with Gaussian-integer Taylor coefficients by multiplication by a nowhere-vanishing holomorphic factor.

The Minkowski grid has robustly many repeated distances

math.CO

math.MG

math.NT

We show that there exists a constant $\delta > 0$ such that for any positive integer $n$ there exists a set of $n$ points $P \subset \mathbb{R}^2$ with the following property: for every subset $A \subseteq P$ of size $|A| \geq 2$, \[ \max_{\lambda>0} \#\{(a,b)\in A \times A: a\ne b,\ \lvert a-b\rvert=\lambda\} \gtrsim \frac{|A|^2}{n^{1-\delta}}.\] Our result is a vertical amplification of a robust Ramanujan estimate recently established by Croot-Mao-Pohoata-Sheffer-Yip for arbitrary subsets of the ordinary square grid, and is inspired by recent constructions for the Erd\H{o}s unit distance problem and the Elekes-R\'onyai problem. Taking $A=P$, the inequality above gives a distance occurring $n^{1+\delta}$ times in $P$; thereby a scaled copy of $P$ is a counterexample for the unit-distance conjecture. In addition, the same inequality shows that (1) all subsets of $P$ of size $\gtrsim n^{1-\delta}$ must contain isosceles triangles, and (2) all subsets of $P$ of size $\gtrsim n^{1/2-\delta}$ must contain repeated distances. These features give polynomially improved estimates for old problems of Erd\H{o}s. The existence of a set satisfying property (1) confirms a conjecture of Erd\H{o}s from 1980, whereas the existence of a set with property (2) answers a question of Conlon-Fox-Gasarch-Harris-Ulrich-Zbarsky in the negative.

Must a primitive non-deficient number have a component not much larger than its radical?

math.NT

v5

Let $n$ be a primitive non-deficient number where $n=p_1^{a_1}p_2^{a_2} \cdots p_k^{a_k}$ where $p_1, p_2, \cdots, p_k$ are distinct primes. We prove that there exists an $i$ such that $$p_i^{a_i+1} < 2k(p_1p_2p_3\cdots p_k).$$ We conjecture that in fact one can always find an $i$ such that $p_i^{a_i+1} < 2p_1p_2p_3\cdots p_k$.

A Pila--Wilkie theorem for Hensel minimal curves

math.NT

math.AG

math.LO

v3

Recently, a new axiomatic framework for tameness in henselian valued fields was developed by Cluckers, Halupczok, Rideau-Kikuchi and Vermeulen and termed Hensel minimality. In this article we develop Diophantine applications of Hensel minimality. We prove a Pila--Wilkie type theorem for transcendental curves definable in Hensel minimal structures. In order to do so, we introduce a new notion of point counting in this context related to dimension counting over the residue field. We examine multiple classes of examples, showcasing the need for this new dimension counting and prove that our bounds are optimal.

Plectic points and Hida-Rankin p-adic L-functions

math.NT

v2

Plectic points were introduced by Fornea and Gehrmann as certain tensor products of local pointson elliptic curves over arbitrary number fields $F$. In rank $r\leq [F:\mathbb{Q}]$-situations, they conjecturally come from p-adic regulators of basis of the Mordell-Weil group defined over dihedral extensions of $F$. In this article we define two variable anticyclotomic $p$-adic L-functions attached to a family of overconvergent modular symbols defined over $F$ and a quadratic extension $K/F$. Their restriction to the weight space provide Hida-Rankin $p$-adic L-functions. If such a family passes through an overconvergent modular symbol attached to a modular elliptic curve $E/F$, we obtain a $p$-adic Gross-Zagier formula that computes higher derivatives of such Hida-Rankin $p$-adic L-functions in terms of plectic points. This result generalizes that of Bertolini and Darmon, which has been key to demonstrating the rationality of Darmon points.

Hyperelliptic curves, the scanning map, and moments of families of quadratic L-functions

math.NT

math.AG

math.AT

math.GT

v3

We compute the stable homology of the braid group with coefficients in any Schur functor applied to the integral reduced Burau representation. This may be considered as a hyperelliptic analogue of the Mumford conjecture (Madsen--Weiss theorem) with twisted coefficients. We relate the result to the function field case of conjectures of Conrey-Farmer-Keating-Rubinstein-Snaith on moments of families of quadratic $L$-functions. Combined with a recent homological stability theorem of Miller-Patzt-Petersen-Randal-Williams, our homological calculations confirm the Conrey-Farmer-Keating-Rubinstein-Snaith predictions for all large enough prime powers $q$.

Quaternionic Mahler measure

math.NT

math.CV

v2

We introduce the quaternionic Mahler measure for non-commutative polynomials, extending the classical complex Mahler measure. We establish the existence of quaternionic Mahler measure for slice regular polynomials in one and two variables. We study the quaternionic Mahler measure for real and slice regular polynomials, and consider the associated Lehmer problem. Various formulas of quaternionic Mahler measures are proved.

Involves averaging arithmetic and integral partial functions over sparse set

math.NT

v2

Let $p$ be a prime number, $k\ge 0$ and $f$ be a class of arithmetic functions satisfying some simple conditions. In this short paper, we study the asymptotical behaviour of summation function $$\psi_{f,k}(x):=\sum_{n\le x}\Lambda (n)\frac{f\left ( \left [ \frac{x}{n} \right ] \right ) }{\left [ \frac{x}{n} \right ]^{k} } ,~~~~~~~~~~~ \pi_{f,k}(x):=\sum_{p\le x}\frac{f\left ( \left [ \frac{x}{p} \right ] \right ) }{\left [ \frac{x}{p} \right ]^{k} } $$ as $x\to \infty $, where $\left [ \cdot \right ] $ is the integral part function, $\Lambda (n)$ is the von Mangoldt function.

On a generalisation sum involving the Euler function

math.NT

v4

Let $j \ge1$, $k\ge 0$ be real numbers and $\varphi(n)$ be the Euler function. In this paper, we study the asymptotical behaviour of the summation function $$S_{j,k}(x):=\sum_{n\le x}\frac{\varphi\left ( \left [ \frac{x}{n} \right ]^{j} \right ) }{\left [ \frac{x}{n} \right ]^{k} } $$ as $x\to \infty $, where $\left [ \cdot \right ] $ is the integral part function. Our results combine and generalize the recent work of Zhai, Wu and Ma.

A Database of Continued Fractions of Polynomial Type

math.NT

math.CV

v4

We describe a database of 1883 continued fractions with polynomial coefficients, of which more than 1600 are new, both for interesting constants and for transcendental functions, and provide the database inside the \TeX\ source of the paper. Look in particular at the section ``Table of Contents''.

Infinitely many pairs of non-isomorphic elliptic curves sharing the same BSD invariants

math.NT

v3

Let \(E/\mathbb{Q}\) be an elliptic curve. The Birch and Swinnerton--Dyer (BSD) conjecture relates the leading coefficient of the Taylor expansion of the \(L\)-function of \(E/\mathbb{Q}\) at \(s=1\) to arithmetic invariants of \(E\), such as its Mordell--Weil group, its Tate--Shafarevich group, its Tamagawa numbers, its regulator, and its real period. We call two non-isomorphic elliptic curves over \(\mathbb{Q}\) BSD twins if they have the same \(L\)-function and the same arithmetic data underlying the BSD invariants appearing in the BSD conjecture, with the Mordell--Weil group and the Tate--Shafarevich group compared as groups. We exhibit a family of BSD twins for which the corresponding pairs of \(j\)-invariants are pairwise distinct. We further prove that, even after imposing equality of the Kodaira symbols at every prime and equality of the minimal discriminants, infinitely many BSD twins still exist.

Cup product of inhomogeneous Tate cochains, and Galois cohomology of tori over local fields that split over cyclic extensions

math.NT

math.GR

math.RT

v5

In this note we give formulas for cup product in Tate cohomology in terms of inhomogeneous cochains. Using one of these formulas, for a torus T defined over a non-archimedean local field K and splitting over a cyclic extension of K, we compute explicit cocycles representing all cohomology classes in H^1(K,T).

On s-split p-Hilbert class field towers with prescribed Galois groups

math.NT

v2

In this work, we show that given a finite p-group G, a number field K having a trivial p-class group Cl K , and a finite set of primes S of K, there exists a finite extension F/K such that the S-split p-Hilbert class field tower L S p (F ) of F has G as its Galois group. This extends results by Ozaki and Hajir-Maire-Ramakrishna.

Periodicity and Dynamical Systems of Dickson Polynomials in Finite Fields

math.NT

math.CO

math.DS

v3

This paper investigates the dynamical properties of the Dickson polynomials $D_n(x, \alpha)$ of the first kind over finite fields, with an emphasis on the periodicity and algebraic structure of their iterated sequences. We consider the sequence $[D_n(x, \alpha) \pmod{x^q - x}]_{n\geq1}$, and determine the exact period of this sequence. We then use the classical functional equation for the Dickson polynomials to relate the dynamics of $D_n(x,\alpha)$ to the power map $u\mapsto u^n$ on a suitable subset of $\mathbb F_{q^2}^\times$. In the permutation case $\gcd(n,q^2-1)=1$, this gives an explicit description of the group of Dickson polynomial functions under composition. We also obtain partial structural result in the non-permutation case. As further applications, we derive several new identities for the Dickson polynomials. Finally, we identify and prove a symmetry property of the Dickson polynomial family.

On a remark of Serre

math.NT

v3

Inspired by a remark of Serre, we extend the search for primes $p$ such that the maximum Hasse bound for the number of points on an elliptic curve over $\mathbb{F}_{p^5}$ is not achieved. We then give a list of all $q<10^{70}$ such that the Hasse bound is not achieved over $\mathbb{F}_{q}$. We explore the heuristics for how many such numbers should exist in each case. Finally, look at similar criteria for genus $2$ and $3$ curves.

The Second Moment of $\mathrm{GL}_4 \times \mathrm{GL}_2$ $L$-functions at Special Points

math.NT

v2

In this paper, we provide an alternative proof of Chandee and Li's result on the second moment of $\mathrm{GL}_4 \times \mathrm{GL}_2$ special $L$-values. Our method is conceptually more direct as it neither detects the `Eisenstein--Kloosterman' cancellation nor uses the Poisson summation.

Roth's Theorem in Super Smooth Numbers

math.NT

v2

We say that the set of $y$-smooth numbers $\mathcal{S}(N,y)$ up to $N$ is super smooth if $y=\log^KN$ for a large fixed constant $K$. We show that the Roth's theorem on arithmetic progressions is true in super smooth numbers case. This extends the result of Harper where he showed the statement is true under a weaker hypothesis.

Linear independence of values of hypergeometric functions and arithmetic Gevrey series

math.NT

v2

We prove new linear independence results for the values of generalized hypergeometric functions ${}_pF_q$ at several distinct algebraic points, over suitable algebraic number fields. Our approach provides a uniform construction of Pad\'{e} approximants of type II, together with a novel non-vanishing argument for generalized Wronskians of Hermite type. This method applies uniformly across all parameter regimes. Even in the case $p = q+1$, we extend known results from single-point to multi-points settings over general number fields, in both complex and $p$-adic settings. When $p < q+1$, we establish linear independence results over arbitrary number fields; and for $p > q+1$, we confirm that the values do not satisfy global linear relations in the $p$-adic setting in a framework of arithmetic Gevrey series. The results generalize and strengthen earlier works, demonstrating the flexibility of our Pad\'{e} construction for families of contiguous hypergeometric functions, through a new non-vanishing proof for the determinant, that is crucial for the universality.

Hermite's approach to Abelian integrals revisited

math.NT

v2

In this article, we establish a new linear independence criterion for the values of certain {\it Lauricella hypergeometric series} $F_D$ with rational parameters, in both the complex and $p$-adic settings, over an algebraic number field. This result generalizes a theorem of C.~Hermite \cite{Hermite} on the linear independence of certain Abelian integrals. Our proof relies on explicit Pad\'{e}-type approximations to solutions of a reducible Jordan-Pochhammer differential equation, which extends the Pad\'{e} approximations for certain Abelian integrals in \cite{Hermite}. The main novelty of our approach lies in the proof of the non-vanishing of the determinants associated with these Pad\'{e}-type approximants.

Zeros of Polynomials in Derivatives of Automorphic $L$-functions

math.NT

v2

Let $\mathfrak{F}_m$ be the set of all cuspidal automorphic representations of $\mathrm{GL}_m(\mathbb{A}_{\mathbb{Q}})$, and let $F(s,\boldsymbol{\pi})$ be a polynomial in the derivatives of $L$-functions associated with representations $\pi \in \cup_{m=1}^{\infty} \mathfrak{F}_m$. We establish an asymptotic formula for the number of nontrivial zeros of $F(s,\boldsymbol{\pi})$ with $0 < \operatorname{Im}(s) < T$. We explicitly determine the main term of this formula in terms of the dimensions, the arithmetic conductors, and the orders of differentiation of the component $L$-functions. Furthermore, we show that, under certain conditions, almost all nontrivial zeros of $F(s,\boldsymbol{\pi})$ lie near the critical line $\operatorname{Re}(s)=1/2$.

On the sizes of the maximal prime powers divisors of factorials

math.NT

v5

Let p be any prime, and $p^(\nu_p(n!))$ the maximal power of $p$ dividing $n!$. It is proved that there exists a positive integer $n_0$, which depends only on $p$, such that $q^(\nu_q(n!)) < p^(\nu_p(n!))$ for all $n \ge n_0$ and all primes $q > p$. For twin primes $p$ and $q = p + 2$ it is proved that the minimal $n_0$ satisfying $q^(\nu_q(n!)) < p^(\nu_p(n!))$ for all $n \ge n_0$ is given by $n_0 = (p^2+p)/2$.

On certain bilinear sums with modular square roots and applications

math.NT

v4

We extend bounds on additive energies of modular square roots by Dunn, Kerr, Shparlinski, Shkredov and Zaharescu and apply these results to obtain bounds on certain bilinear exponential sums with modular square roots. From here, we make partial progress on the large sieve for square moduli.

Positive characteristic analogues of finite algebraic numbers

math.NT

v2

J.~Rosen introduced the ring $\mathcal{P}^0_{\mathcal{A}}$ of so-called finite algebraic numbers, which may be seen as an analogue of certain periods in the ring $\mathcal{A}=\prod_p \mathbb{Z}/p\mathbb{Z} /\bigoplus_p \mathbb{Z}/p\mathbb{Z}$, $p$ running through all prime numbers. In this article, we introduce its positive characteristic analogue $\mathcal{P}^0_{\mathcal{A}_K}$ over the rational function field $K=\mathbb{F}_q(\theta)$, $q$ being a prime power, and study foundational properties, and provide further scopes.

Parity of $k$-differentials in genus zero and one

math.NT

math.AG

math.GT

v2

Here we completely determine the spin parity of $k$-differentials with prescribed zero and pole orders on Riemann surfaces of genus zero and one. This result was previously obtained conditionally by the first author and Quentin Gendron assuming the truth of a number-theoretic hypothesis Conjecture A.10. We prove this hypothesis by reformulating it in terms of Jacobi symbols, reducing the proof to a combinatorial identity and standard facts about Jacobi symbols. The proof was obtained by AxiomProver and the system formalized the proof of the combinatorial identity in Lean/Mathlib (see the Appendix).

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

math.NT

v2

We introduce a $p$-adic $L$-function $\mathscr L_{A/L}$ associated to an 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 and specialization 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, %and $A/K$ has semi-stable reductions everywhere, the conjecture holds for $A/L$ if and only if it holds for all intermediate $\Z_p^2$-extensions $A/L'$ belonging to a given non-empty Zariski open subset of the Grassmannian $\mathrm{Gr}(d-2,d)(\Z_p)$.

The Mean field equation on the Tate curve

math.NT

math.AP

math.RT

v3

In this paper, we study the spectrum of the Laplacian on the Tate curve and construct the associated Green's function as a finite sum, which can be viewed as the non-Archimedean counterpart of the Green's function on the flat torus in the Archimedean case. Moreover, we establish existence and uniqueness results of the mean field equation on this space. To address the problem, we first prove the structure of solutions on finite quotients, and prove the existence on the Tate curve by the convergence of such solutions. We also prove the uniqueness of the solutions for some parameter region. Notably, the well-posedness of the solution resembles that in the Archimedean case.

Proof of Sun's conjectures on hyperbolic cosine series via the Eisenstein--Lambert method

math.NT

v2

We prove two conjectures of Zhi-Wei Sun concerning hyperbolic cosine Lambert series. The first one is the evaluation, for integers $m\geq 0$, of \[ S_m=\sum_{n=1}^\infty\left( \frac{n^{2m}}{\cosh(\pi n)-1} -\frac{(2^{2m+1}-(-1)^{m(m+1)/2}2^{m+1}+4)n^{2m}}{\cosh(2\pi n)-1} +\frac{2^{2m+2}n^{2m}}{\cosh(4\pi n)-1} \right). \] We prove that \[ S_0=\frac1{12},\qquad S_1=\frac1{2\pi^2},\qquad S_m=0\quad (m>1). \] The second one is the quadratic identity \[ \sum_{n=1}^\infty \left( \frac{4}{(\cosh(\pi n)-1)^2} -\frac{55}{(\cosh(2\pi n)-1)^2} +\frac{16}{(\cosh(4\pi n)-1)^2} \right) = \frac{77-234/\pi}{72}. \] The proof uses an elementary level-four identity for Lambert series and its consequences for Eisenstein series. After differentiating this identity and evaluating it at $i/2$, the first conjecture follows from the modular transformation law for $E_{2m}$, with the cases $m=0$ and $m=1$ treated separately by the quasimodular transformation law for $E_2$. The second conjecture follows by rewriting the corresponding squared-kernel series as $(E_4+10E_2-11)/360$ and evaluating only the resulting linear combinations of $E_2$ and $E_4$ at $i/2$, $i$, and $2i$.

A Matrix-Theoretic Exact Formula for Counting Primes in Intervals Between Consecutive Odd Squares

math.NT

math.CO

v2

Let $I_k = [(2k-1)^2, (2k+1)^2)$ for $k \geq 1$. Starting from the odd-composite matrix $(b_{ij})$ with $b_{ij} = (2i-1)(2j-1)$, introduced by the author in [1], we define for each odd integer $n$ the \emph{matrix multiplicity} $r(n)$, the number of times $n$ appears in $B$. We prove the exact identity \[ P_k = N_k - S_k + E_k \] where $P_k = \#\{\text{primes in } I_k\}$, $N_k = 4k$ counts the odd integers in $I_k$, $S_k = \sum_{n \in I_k \text{ odd}} r(n)$ is the total matrix multiplicity, and $E_k = \sum_{n \in I_k \text{ odd}} (r(n)-1)$ measures the excess multiplicity of non-semiprime odd composites. All three quantities $N_k$, $S_k$, $E_k$ are computable from the divisor structure of odd integers in $I_k$ without primality testing. The formula yields the equivalent combinatorial condition: \[ P_k \geq 1 \iff E_k \leq S_k - N_k. \] We verify $P_k \geq 1$ for all $k \leq 10^8$ by direct computation and establish $P_k \geq 1$ for all $k \leq 1.37 \times 10^{17}$ using the Baker-Harman-Pintz theorem [2]. Whether $P_k \geq 1$ for all $k$ (a weaker statement than Legendre's conjecture) remains an open problem, now equivalent to the purely combinatorial inequality $E_k \leq S_k - N_k$ for all $k$.

The Gauss periods and cyclotomic matrices involving Gauss sums over cyclic groups

math.NT

v2

In this paper, by using the arithmetic properties of the Gauss periods and character sums over cyclic groups, we study the cyclotomic matrix $$A_k(\chi)=\left[G_N(\chi^{ki+ki})\right]_{0\le i,j\le \varphi(N)/k-1},$$ where $N=p^m$ is a prime power, $\varphi(\cdot)$ is the Euler totient function, $k$ is a divisor of $\varphi(N)$, $\chi$ is a generator of character group $\widehat{(\mathbb{Z}/N\mathbb{Z})^{\times}}$, and $$G_N(\chi^{ki+kj})=\sum_{x\in\mathbb{Z}/N\mathbb{Z}}\chi^{ki+kj}(x)e^{2\pi ix/N}$$ is the Gauss sum over $\mathbb{Z}/N\mathbb{Z}$.

Sperner systems with restricted differences

math.CO

math.NT

v4

Let $\mathcal{F}$ be a family of subsets of $[n]$ and $L$ be a subset of $[n]$. We say $\mathcal{F}$ is an $L$-differencing Sperner system if $|A\setminus B|\in L$ for any distinct $A,B\in\mathcal{F}$. Let $p$ be a prime and $q$ be a power of $p$. Frankl first studied $p$-modular $L$-differencing Sperner systems and showed an upper bound of the form $\sum_{i=0}^{|L|}\binom{n}{i}$. In this paper, we obtain new upper bounds on $q$-modular $L$-differencing Sperner systems using elementary $p$-adic analysis and polynomial method, extending and improving existing results substantially. Moreover, our techniques can be used to derive new upper bounds on subsets of the hypercube with restricted Hamming distances. One highlight of the paper is the first analogue of the celebrated Snevily's theorem in the $q$-modular setting, which results in several new upper bounds on $q$-modular $L$-avoiding $L$-intersecting systems. In particular, we improve a result of Felszeghy, Heged\H{u}s, and R\'{o}nyai, and give a partial answer to a question posed by Babai, Frankl, Kutin, and \v{S}tefankovi\v{c}.

On the multiplicity formula for discrete automorphic representations of disconnected tori

math.RT

math.NT

v3

Kaletha extended the local Langlands conjectures to disconnected groups that are inner forms of semidirect products $G\rtimes A$, where the finite group scheme $A$ preserves a pinning of the connected reductive group $G$, and proved the conjectures when $G$ is a torus. Our first main result is an intrinsic reinterpretation of the local Langlands correspondence for such disconnected tori. Our second main result, and the central objective of this paper, is to establish an automorphic multiplicity formula for them.

Uniform twisted homological stability

math.AT

math.NT

v4

We prove a homological stability theorem for families of discrete groups (e.g. mapping class groups, automorphism groups of free groups, braid groups) with coefficients in a sequence of irreducible algebraic representations of arithmetic groups. The novelty is that the stable range is independent of the choice of representation. Combined with earlier work of Bergstr\"om--Diaconu--Petersen--Westerland this proves the Conrey--Farmer--Keating--Rubinstein--Snaith predictions for all moments of the family of quadratic $L$-functions over function fields, for sufficiently large odd prime powers.

Modular forms for chromatic homotopy: Supersingular congruences

math.AT

math.NT

v2

We prove a conjecture of Larson in Behrens' program on congruences of modular forms attached to the divided beta family in the Adams--Novikov spectral sequence for the stable homotopy groups of spheres. The conjecture gives a sharp criterion for when the modular form associated to a divided beta element can be represented by a pure power of the discriminant modular form. Writing $i=rp^{n}$ with $(r,p)=1$ and $t=i(p^2-1)/12$, Larson's conjecture asserts that the Behrens form $f_{i/j}$ (which is well defined modulo $p$) may be taken to be the pure power $\Delta^{t}$ precisely when $1\le j\le p^{n}$, and admits no such representative otherwise. We prove this for all primes $p\ge5$. The proof reduces the decisive congruence condition to a geometric statement on supersingular points of modular curves. Namely, that for every prime $\ell\ne p$, the value of the modular function $V_\ell(\Delta)/\Delta$ at each supersingular point of $X_0(\ell)$ is an $(p^2-1)/12$-th root of unity.

The Wiener Wintner and Return Times Theorem Along the Primes

math.DS

math.CA

math.NT

v2

We prove the following Wiener-Wintner Theorem along the sequence of prime times, the first extension of the Wiener-Wintner Theorem to arithmetic sequences: for every probability space, $(X, \nu),$ equipped with a measure-preserving transformation, $T : X \to X,$ and every $f \in L^p(X), 1 < p \leq \infty$, there exists a set of full probability, $X_f \subset X$ with $\nu(X_f) = 1,$ so that for all $\omega \in X_f$, \[ \frac{1}{N} \sum_{n \leq N} e^{ 2 \pi i n \theta} f(T^{p_n} \omega) \] converges for all $\theta \in [0,1]$; above, $\{2 = p_1 < p_2 < \dots\}$ are an enumeration of the primes. Our proof lives at the interface of classical Fourier analysis, combinatorial number theory, higher order Fourier analysis, and pointwise ergodic theory, with U^3 theory playing an important role; our $U^3$-estimates for Heath-Brown models of the von Mangoldt function may be of independent interest.

Dimension of the motivic Galois group of a 1-motive

math.AG

math.NT

v3

We compute the dimension of the motivic Galois group of a 1-motive M defined over the field of complex numbers, expressing it explicitly in terms of the rank of the multiplicative group generated by the points defining M. As an application, we obtain a new formulation of the Grothendieck--Andr\'e periods Conjecture in the setting of 1-motives.

Decomposition Theorem for Perfectoid Rings along General Ideals

math.AC

math.AG

math.NT

v2

Using Andr\'e's lemma and the excision square for perfectoidization coming from $p$-complete arc descent, we prove new structural results about perfectoid rings and perfectoidization. The main result is a tameness theorem for torsion in perfectoid rings: if $R$ is a perfectoid ring and $I\subset R$ is an ideal, then the $I$-torsion in $R$ is $I_{\mathrm{perfd}}$-almost zero. This yields an excision-type decomposition of $R$ along its $I$-torsion part. We also study (semi)perfectoid rings and perfectoid ideals and take the opportunity to make some structural remarks about them.

Algebraic Hodge generic points are dense

math.AG

math.CA

math.NT

v2

Let $f: X \to S$ be a quasi-projective family of varieties defined over $\overline{\mathbb{Q}} \subset \mathbb{C}$. We show that the points of $S(\overline{\mathbb{Q}})$ that are Hodge generic for the variation of Hodge structures associated to $f$ are analytically dense in $S(\mathbb{C})$. In fact, in the spirit of the Grothendieck period conjecture and under a large monodromy assumption, we prove the density of the points of $S(\overline{\mathbb{Q}})$ where the periods of the fibre do not satisfy extra relations 'up to degree $\delta$'. As a by-product, we also establish new instances of the Mumford-Tate conjecture, beyond the realm of abelian motives. When the base $S$ is a curve, we provide quantitative estimates for points satisfying these properties. The main technical contribution is a new result on relations satisfied by solutions of $G$-operators, which relies on height estimates due to Bombieri and Andr\'e.

On Perfectoidizaiton of Finite Algebras over a Perfectoid Ring

math.AC

math.AG

math.NT

v2

We study general properties of the perfectoidization of finite algebras over a perfectoid ring, which helps to understand some precise and explicit descriptions. For example, we prove that if $A=R[t]/(m(t))$ where $m(t)$ is monic, $R$ is perfectoid and the discriminant $d$ of $m(t)$ is a non-zero divisor of $R$ satisfying a bounded torsion condition, then $dA_{\mathrm{pfd}}\subset A$. We also prove a density criterion reducing the construction of the perfectoidization to adjoining suitable $p$-power roots modulo $p$. In the second part of the paper, we compute perfectoidizations in several families of examples, including Kummer-type extensions and split finite algebras.