Number Theory [math.NT]

Non-Archimedean Brauer Oval (of Cassini) Theorem and Applications

math.NT

math.FA

Nica and Sprague [\textit{Am. Math. Mon., 2023}] derived a non-Archimedean version of the Gershgorin disk theorem. We derive a non-Archimedean version of the oval (of Cassini) theorem by Brauer [\textit{Duke Math. J., 1947}] which generalizes the Nica-Sprague disk theorem. We provide applications for bounding the zeros of polynomials over non-Archimedean fields. We also show that our result is equivalent to the non-Archimedean version of the Ostrowski nonsingularity theorem derived by Li and Li [\textit{J. Comput. Appl. Math., 2025}].

The holonomic triangle: from a symmetry between $e$ and $\pi$ to additive Gamma functions

math.NT

Two linear recurrences exhibit mirror symmetry connecting the constants $e$ and $\pi$. When parametrized, their asymptotic connection constants extend to meromorphic functions satisfying additive functional equations with rational coefficients. We call such functions additive Gamma functions (AGFs), recognizing Euler's $\Gamma(z)$ as the order-1 prototype. Our theory reveals a structural dichotomy: one AGF is expressible as Gamma ratios (regular case), another involves incomplete Gamma (irregular case). AGFs complete a holonomic triangle between P-recursive sequences, additive functional equations, and differential equations, unifying discrete and continuous perspectives under the condition that Gamma factors in asymptotics have integer slopes.

Sobre los teoremas de Shafarevich y Siegel

math.NT

Presentaremos una nueva demostraci\'on del teorema de Shafarevich sobre finitud de curvas el\'ipticas con buena reducci\'on fuera de un conjunto finito de primos dado. Esto da un nuevo punto de entrada a teoremas fundamentales de finitud diofantina tales como el teorema de Siegel sobre la ecuaci\'on $S$-unidad. Nuestro argumento est\'a libre de aproximaci\'on diofantina o teor\'ia de trascendencia, y se acerca m\'as a las ideas de Faltings en su demostraci\'on de la conjetura de Mordell. -- We present a new proof of Shafarevich's theorem on finiteness of elliptic curves with good reduction outside a given finite set of primes. This gives a new entry point to fundamental diophantine finiteness theorems such as Siegel's theorem on the $S$-unit equation. Our proof is free from diophantine approximation or transcendence theory, and it is closer to the ideas of Faltings in his proof of Mordell's conjecture .

Normal bases of small height in Galois number fields

math.NT

Let $K$ be a number field of degree $d$ so that $K/\mathbb Q$ is a Galois extension. The {\it normal basis theorem} states that $K$ has a $\mathbb Q$-basis consisting of algebraic conjugates, in fact $K$ contains infinitely many such bases. We prove an effective version of this theorem, obtaining a normal basis for $K/\mathbb Q$ of bounded Weil height with an explicit bound in terms of the degree and discriminant of $K$. In the case when $d$ is prime, we obtain a particularly good bound using a different method.

On the average $2$-torsion in class groups and narrow class groups of cubic orders with prescribed shape

math.NT

We study the distribution of $2$-torsion in class groups and narrow class groups of cubic fields and cubic orders subject to prescribed shape conditions. The \emph{shape} of a cubic order in a number field is a natural geometric invariant taking values in the modular surface $\mathbb{H}/\operatorname{GL}_2(\mathbb{Z})$. Fix a subset $W$ of the modular surface with positive hyperbolic measure and boundary of measure zero. Refining the methods of Bhargava and Varma, we prove that among cubic fields with shape in $W$, the average size of the $2$-torsion subgroup of the class group is $5/4$ for totally real fields and $3/2$ for complex fields, while the average size of the $2$-torsion subgroup of the narrow class group for totally real cubic fields is $2$. We also obtain analogous results for cubic orders satisfying prescribed local conditions at all primes.

Automorphic vector-forms using the Cohn-Elkies magic functions

math.NT

In this study, we introduce the theory of what we call Hecke vector-forms. A Hecke vector-form can be viewed as a vector function representation of some quasiautomorphic form that transforms like an automorphic form on an arbitrarily chosen Hecke triangle group. In other words, because quasiautomorphic forms have complicated transformation behavior when compared with automorphic forms, the construction of a Hecke vector-form is to retrieve a transformation behavior analogous to the simpler, automorphic case. In this way, a Hecke vector-form can be viewed as the vector function analogue of an automorphic form. Since our work is for any quasi-automorphic form over an arbitrary Hecke triangle group, we briefly review the construction of such groups. Furthermore, we review the derivation of the hauptmodul, the automorphic forms, and the normalized quasiautomorphic form of weight 2 for any Hecke triangle group. We then proceed to the theory of Hecke vector-forms and establish the desired transformation behavior with respect to the generators of the associated group. A proof of this fact is strictly elementary, relying on fine properties of binomial coefficients. Lastly, we relate the vector-forms to Hecke automorphic linear differential equations, which are analogues of the frequently researched modular linear differential equations. Our results include Hecke vector-forms of the classical quasimodular forms as the simplest case.

Linear identities for partition pairs with $5$-cores

math.NT

math.CO

We prove an infinite family of linear identities for the number $A_5(n)$ of partition pairs of $n$ with $5$-cores by using certain theta function identities involving the Ramanujan's parameter $k(q)$ due to Cooper, and Lee and Park. Consequently, we deduce an infinite family of congruences for $A_5(n)$ using these linear identities.

New gap principle for semiabelian varieties using globally valued fields

math.NT

math.AG

math.LO

Hrushovski observed that the new gap principle of Gao-Ge-K\"uhne is essentially equivalent to the Bogomolov conjecture over arbitrary globally valued fields of characteristic $0$. Building on this observation, we prove a new gap principle for semiabelian varieties by reducing the Bogomolov conjecture for semiabelian varieties to the Bogomolov conjecture for abelian varieties over arbitrary GVFs. This reduction remains valid in positive characteristic; however, the corresponding Bogomolov conjecture for abelian varieties is not yet known in that setting. We prove an unconditional new gap principle in positive characteristic for semiabelian varieties whose abelian quotient is an elliptic curve.

Residue Theorem, Regularization and Parity Theorem

math.NT

In this paper, we employ contour integration and residue calculus to derive explicit parity formulas for (cyclotomic) multiple zeta values (MZVs). A key innovation lies in applying double shuffle regularization to the contour integrals, which leads to two distinct regularized parity formulas-one via shuffle and one via stuffle regularization. Notably, this demonstrates for the first time that the contour integral method can be extended to the regularized setting (including the case $k_r=1$), thereby overcoming a limitation of previous approaches. Our results not only provide explicit parity relations at arbitrary depths but also lay the groundwork for extending this technique to other variants of multiple zeta values.

Strong paucity in the Br\"udern-Robert Diophantine system

math.NT

Let $k$ be a natural number with $k\ge 2$, and let $\varepsilon>0$. We consider the number $V_k^*(P)$ of integral solutions of the system of simultaneous Diophantine equations \[ x_1^{2j-1}+\ldots +x_{k+1}^{2j-1}=y_1^{2j-1}+\ldots +y_{k+1}^{2j-1}\quad (1\le j\le k), \] with $1\le x_i,y_i\le P$ $(1\le i\le k+1)$. Writing $L_k^*(P)$ for the number of diagonal solutions with $\{x_1,\ldots ,x_{k+1}\}=\{y_1,\ldots ,y_{k+1}\}$, so that $L_k^*(P)\sim (k+1)!P^{k+1}$, we prove that \[ V_k^*(P)-L_k^*(P)\ll P^{\sqrt{8k+9}-1+\varepsilon}. \] This establishes a strong paucity result improving on earlier work of Br\"udern and Robert.

On non-Archimedean quantum mathematics and non-Archimedean (quantum) computation

math.NT

We consider selected aspects of (non-Archimedean) quantum mathematics and non-Archimedean (quantum) computation.

Distibution of values of higher derivatives of $L'(s,\chi)/L(s,\chi)$

math.NT

In this article we study the value distribution theory for the first derivative of the logarithmic derivative of Dirichlet $L$-functions, generalizing certain results of Ihara, Matsumoto et. al. related to ``$M$-functions" for $\sigma = $ Re$(s) > 1$. We then discuss how things evolve for higher derivatives.

Central values of additive twists of Maa{\ss} forms $L$-functions

math.NT

v2

In the present paper we study the central values of additive twists of Maa{\ss} forms $L$-series. In the case of the modular group, we show that the additive twists (when averaged over denominators) are asymptotically normally distributed. This supplements the recent work of Petridis--Risager which settled an averaged version of a conjecture of Mazur--Rubin concerning modular symbols. The methods of the present paper combine dynamical input due to Bettin and the first named author with the new fact that the additive twists define quantum modular forms in the sense of Zagier. This latter property is shown for a general discrete, co-finite group with cusps. Our results also has a number of arithmetic applications; in the case of Hecke congruence groups the quantum modularity implies certain reciprocity relations for twisted moments of twisted ${\rm GL}_2$-automorphic $L$-functions, extending results of Conrey and the second named author. In the case of cuspidal Maa{\ss} forms for the modular group, we also obtain a calculation of certain wide moments of twists of the $L$-function of the Maa{\ss} form.

Explicit Deuring-Heilbronn phenomenon for Dirichlet $L$-functions

math.NT

v3

Assuming the existence of a Landau-Siegel zero, we establish an explicit Deuring-Heilbronn zero repulsion phenomenon for Dirichlet $L$-functions modulo $q$. Our estimate is uniform in the entire critical strip, and improves over the previous best known explicit estimate due to Thorner and Zaman.

On the conductor of a family of Frey hyperelliptic curves

math.NT

v2

In his breakthrough article, Darmon presented a program to study Generalized Fermat Equations (GFE) via abelian varieties of $\text{GL}_2$-type over totally real fields. So far, only Jacobians of some Frey hyperelliptic curves have been used with that purpose. In the present article, we show how most of the known Frey hyperelliptic curves are particular instances of a more general biparametric family of hyperelliptic curves $C(z,s)$. Then, we apply the cluster picture methodology to compute the conductor of $C(z,s)$ at all odd places. As a Diophantine application, we specialize $C(z,s)$ in some particular values $z_0$ and $s_0$, and we find the conductor exponent at odd places of the natural Frey hyperelliptic curves attached to $Ax^p+By^p=Cz^r$ and $Ax^r+By^r=Cz^p$, generalizing the results due to Azon, Curc\'o-Iranzo, Khawaja, Maistret and Mocanu, and opening the door for future research in GFE with coefficients. Moreover, we show how a new Frey hyperelliptic curve for $Ax^2+By^r=Cz^p$ can be constructed in this way, giving new results on the conductor exponents for this equation. Finally, following the recent approach by Golfieri and Pacetti, we consider the Frey representations attached to a general signature $(q,r,p)$ via hypergeometric motives and, using $C(z,s)$, we compute the wild part of the conductor exponent at primes above $q$ and $r$ of the residual representation modulo a prime above $p$.

Remarks on a certain restricted partition function of Lin

math.NT

math.CO

v4

Let $b(n)$ be the number of partition triples $\pi=(\pi_1,\pi_2,\pi_3)$ of $n$ such that $\pi_1$ consists of distinct odd parts, and $\pi_2$ and $\pi_3$ consist of parts divisible by $4$. Utilizing modular forms, Lin obtained the generating functions for $b(3n+1)$ and $b(3n+2)$, which yields the congruence $b(3n+2)\equiv 0\pmod{3}$ for all $n\geq 0$. We provide in this note elementary proofs of these generating functions by employing $q$-series manipulations and dissection formulas. We also establish infinite families of internal congruences modulo $3$ for $b(n)$.

Landau-Siegel Zeros of Triple Product L-functions

math.NT

v3

Let $F$ be a number field. Let $\pi_1,\pi_2$ be cuspidal automorphic representations of $GL_2(\mathbb{A}_F)$, and let $\pi$ be a cuspidal automorphic representation of either $GL_2(\mathbb{A}_F)$ or $GL_3(\mathbb{A}_F)$. When $(\pi_1,\pi_2,\pi)$ is of general type, we show that the triple product $L$-function $L(s,\pi_1 \times \pi_2 \times \pi)$ on either $GL(2) \times GL(2) \times GL(2)$ or $GL(2) \times GL(2) \times GL(3)$ has a standard zero-free region with no exceptional Landau-Siegel zero. Moreover, when $(\pi_1,\pi_2,\pi)$ is not of general type, we give precise conditions when $L(s,\pi_1 \times \pi_2 \times \pi)$ could possibly have exceptional Landau-Siegel zeros.

Exceptional zeros of $\mathrm{GL}_3\times\mathrm{GL}_3$ Rankin-Selberg $L$-functions

math.NT

v2

Let $\chi$ be an idele class character over a number field $F$, and let $\pi,\pi'$ be any two cuspidal automorphic representations of $\mathrm{GL}_2(\mathbb{A}_F)$. We prove that the Rankin-Selberg $L$-function $L(s,\mathrm{Sym}^2(\pi)\times(\mathrm{Sym}^2 (\pi')\otimes\chi))$ has a "standard" zero-free region with no exceptional Landau-Siegel zero except possibly when it is divisible by the $L$-function of a real idele class character. In particular, no such zero exists if $\pi$ is non-dihedral and $\pi'$ is not a twist of $\pi$. Until now, this was only known when $\pi=\pi'$, $\pi$ is self-dual, and $\chi$ is trivial.

Congruences modulo $7$ and $11$ for certain two restricted partition functions

math.NT

math.CO

v3

For an integer $c\geq 1$, let $a_c(n)$ count the number of generalized cubic partitions of $n$, which are partitions of $n$ whose even parts may appear in $c$ different colors, and $d_c(n)$ count the number of partitions obtained by adding the links of the $c$-elongated plane partition diamonds of length $n$. We prove in this note infinite families of congruences modulo $7$ and $11$ for $a_c(n)$ and $d_c(n)$ by employing elementary $q$-series techniques. These results generalize particular congruences modulo $7$ and $11$ for $a_c(n)$ and $d_c(n)$ recently found by Dockery, and Baruah, Das, and Talukdar, respectively, using modular forms.

The minimal periodicity for integral bases of pure number fields

math.NT

v2

Fix $n\ge3$. For the pure field $K_a=\mathbb Q(\theta)$ with $\theta^n=a$, where $a\neq \pm 1$ is $n$th-power-free, we encode an integral basis in the fixed coordinate $\{1,\theta,\dots,\theta^{n-1}\}$ by its \emph{shape}. We prove a sharp local-to-global principle: for each $p^e\!\parallel n$, the local shape at $p$ is determined by $a\bmod p^{\,e+1}$, and this precision is optimal. Moreover, the global shape is periodic with minimal modulus $$ M(n)=\prod_{p^e\parallel n}p^{\,e+1}=n\cdot\mathrm{rad}(n), $$ providing many applications in the understanding integral bases of pure number fields.

Congruences for an analogue of Lin's partition function

math.NT

math.CO

v2

We study certain arithmetic properties of an analogue $B(n)$ of Lin's restricted partition function that counts the number of partition triples $\pi=(\pi_1,\pi_2,\pi_3)$ of $n$ such that $\pi_1$ and $\pi_2$ comprise distinct odd parts and $\pi_3$ consists of parts divisible by $4$. With the help of elementary $q$-series techniques and modular functions, we establish Ramanujan-type congruences modulo $2,3,5,7$, and $9$ for certain sums involving $B(n)$.

$\alpha$-monogeneity of pure number fields: criterion and density

math.NT

v2

For pure extensions $K=\mathbb{Q}(\alpha)$ with $\alpha^n=m$, we give a short proof, based only on Dedekind's index theorem, of the $\alpha$-monogeneity criterion: $\mathbb{Z}[\alpha]=\mathcal{O}_K$ if and only if $m$ is square-free and $\nu_p(m^p-m)=1$ for every prime $p\mid n$. We then derive an explicit natural density $\delta_n=\frac{6}{\pi^2}\prod_{p\mid n}\frac{p}{p+1}$, independence across primes, refinements in arithmetic progressions, and discriminant-order asymptotics.

Counting rational points on smooth quartic and quintic surfaces

math.NT

math.AG

v2

Let $X\subseteq \mathbb{P}^3$ be a smooth projective surface of degree $d\ge 4$ defined over a number field $K$, and let $N_{X^{\prime}}(B)$ be the number of rational points of $X$ of height at most $B$ that do not lie on lines contained in $X$. Assuming a suitable hypothesis on the size of the rank of Abelian varieties, we show that $N_{X^{\prime}}(B)\ll_{K,d,\varepsilon} B^{4/3+\varepsilon}$ for any fixed $\varepsilon>0$. This improves an unconditional bound from Salberger for $d=4$ and $d=5$. The proof, based on an argument of Heath-Brown, consists of cutting $X$ by projective planes and using a uniform version of Faltings's Theorem, due to Dimitrov, Gao, and Habegger, to bound the number of rational points on the plane sections of $X$. More generally, we prove that if $X\subseteq \mathbb{P}^n$ is a non-degenerate non-uniruled smooth projective surface defined over $K$, then $N_{X^{\prime}}(B)\ll_{K,n,d,\varepsilon}B^{\frac{n+1}{n}+\varepsilon}$.

G-companions on algebraic stacks and applications to canonical $\ell$-adic local systems on Shimura stacks

math.NT

v2

Cases of Deligne's companion conjecture for normal schemes over finite fields have been proven by L. Lafforgue, Drinfeld, and Zheng in recent years: L. Lafforgue proved the conjecture for curves, Drinfeld proved the conjecture for all smooth schemes and later also for representations valued in a reductive group, and Zheng proved Deligne's conjecture for smooth Artin stacks. In this paper, we extend Drinfeld's theorem for general reductive groups to smooth Artin stacks of finite presentation and apply the result to the study of compatibility of the canonical $\ell$-adic local systems on Shimura stacks.

Elementary Bounds on Digital Sums of Powers, Factorials, and LCMs

math.NT

v2

We prove logarithmic lower bounds on digital sums of powers, multiples of powers, factorials, and the least common multiple of $\{1,\ldots, n\}$, using only elementary number theory. We conclude with an expository proof of Stewart's theorem on digital sums of powers, which uses Baker's theorem on linear forms in logarithms.

Cyclotomic Congruences and Lucas Sequences

math.NT

v2

In this paper, we extend the $p$-adic valuations originally obtained by Carmichael for the sequences obtained by applying M\"obius inversion to Lucas sequences to $p$-adic congruences, from which we immediately derive corresponding congruences for Lucas sequences. As a corollary, we also establish some constraints on the entry point behavior of primes in Lucas sequences, on the basis of which we conjecture the presence of a strong Chebyshev-like bias in real regular Lucas sequences.

Arithmetic Fujita approximation over adelic curves

math.AG

math.NT

v3

In this paper, we will prove an analogue of Fujita's approximation theorem under the framework of Arakelov theory over adelic curves, which proves a conjecture of Huayi Chen and Atsushi Moriwaki.

A universal example for quantitative semi-uniform stability

math.AP

math.FA

math.NT

math.OC

v3

We characterise quantitative semi-uniform stability for $C_0$-semigroups arising from port-Hamiltonian systems, complementing recent works on exponential and strong stability. With the result, we present a simple universal example class of port-Hamiltonian $C_0$-semigroups exhibiting arbitrary decay rates slower than $t^{-1/2}$. The latter is based on results from the theory of Diophantine approximation, as the decay rates will be strongly related to the approximation properties of irrational numbers by rationals obtained from cut-offs of continued fraction expansions.

Descent for algebraic stacks

math.AG

math.NT

v2

We prove that algebraic stacks satisfy 2-descent for fppf coverings. We generalize Galois descent for schemes to stacks, by considering the case where the fppf covering is a finite Galois covering, and reformulating 2-descent data in terms of Galois group actions on the stack.

Vertex-transitive nut graph order-degree existence problem

math.CO

math.NT

v3

A nut graph is a nontrivial simple graph whose adjacency matrix has a simple eigenvalue zero such that the corresponding eigenvector has no zero entries. It is known that the order $n$ and degree $d$ of a vertex-transitive nut graph satisfy $4 \mid d$, $d \ge 4$, $2 \mid n$ and $n \ge d + 4$; or $d \equiv 2 \pmod 4$, $d \ge 6$, $4 \mid n$ and $n \ge d + 6$. Here, we prove that for each such $n$ and $d$, there exists a $d$-regular Cayley nut graph of order $n$. As a direct consequence, we obtain all the pairs $(n, d)$ for which there is a $d$-regular vertex-transitive (resp. Cayley) nut graph of order $n$.