Number Theory [math.NT]

Series for $1/\pi$ arising from Cauchy product

math.NT

In this note, we evaluate a series for $1/\pi$ conjectured by Sun. Our proof uses the Cauchy product and hypergeometric transformations. From this result, we derive two additional analogous series for $1/\pi$ involving polynomials of degree $3$. Further identities can be proved using our method; these are presented in a table at the end of the note.

Multiple Gauss sums

math.NT

A multiple Gauss sum is a complete multiple exponential sum twisted by Dirichlet characters. We prove a new bound for multiple Gauss sums and, as an application, improve previous results in the Birch--Goldbach problem. Let $F_1, \ldots, F_R \in \mathbb{Z}[x_1, \ldots, x_s]$ be forms with differing degrees, with $D$ being the highest degree, and let $\boldsymbol{F} = (F_1, \ldots, F_R)$ be nonsingular. We prove that the system $\boldsymbol{F}(\boldsymbol{x})=\mathbf{0}$ is solvable in primes provided that $s \geq D^2 4^{D+2} R^5$.

On $u$-Multiple Zeta Values in Positive Characteristic

math.NT

In this paper, we introduce the concepts of the $u$-bracket, finite multiple harmonic $u$-series, and $u$-multiple zeta values via the Carlitz module. These objects serve as function field counterparts to the classical theory of $q$-analogs. We prove that the "limits" of finite multiple harmonic $u$-series at Carlitz torsion points yield Thakur's multiple zeta values and finite multiple zeta values over $\mathbb{F}_r(\theta)$ from analytic and algebraic perspectives, respectively. This can be regarded as a positive characteristic analog of the results by Bachmann, Takeyama, and Tasaka [BTT18]. Furthermore, we investigate the properties of $u$-multiple zeta values and their expansions, obtaining a family of explicit relations among Thakur's multiple zeta values at both positive and non-positive indices.

On higher dimensional integrality and multiplicative dependence in semigroup algebraic dynamics

math.NT

math.DS

We study multiplicative dependence of points in semigroup orbits in higher dimensions. More specifically, we show that the non-density of integral points in semigroup orbits implies sparsity of multiplicative dependence in orbits. This can be viewed as a semigroup dynamical and a higher dimensional version of recent results by B\'{e}rczes, Ostafe, Shparlinski and Silverman, which in turn can be viewed as a generalization of theorems of Northcott and Siegel. We also confirm that the non-density hypothesis of integral points in orbits is implied by Vojta's conjecture.

Arithmetic volume of Shtukas and Langlands duality

math.NT

math.AG

math.RT

We extend the work of Feng--Yun--Zhang relating the arithmetic volume of Shtukas with derivatives of zeta functions by allowing arbitrary coweights for split semisimple algebraic groups. As in their original work, the formula involves some numbers called eigenweights. We obtain uniform formulas for the eigenweights in terms of the Langlands dual group, marking the first structural role for the dual group in such formulas governing derivatives of L-functions.

Relation between Anderson Generating Functions and Weil Pairing

math.NT

The existence of the Weil pairing for Drinfeld modules was proved by van~der~Heiden using the Anderson $t$-motive. Papikian's note provided the explicit formula for the rank-two Weil pairing that avoids Anderson motives. Following this approach, Katen extended the formula to higher ranks. As Papikian observed, this method is more elementary than the approach using Anderson motives, but it is less conceptual. This paper is devoted to a new insight into Katen's formula motivated by the Moore determinant coming from Hamahata's tensor product of Drinfeld modules and the basis of torsion modules found by Maurischat and Perkins. We investigate the Weil operator, establish its connection with the remainder polynomial of Anderson generating functions modulo a fixed polynomial $\f$, and finally derive an extremely simple interpretation: the value of the rank-$r$ Weil pairing is essentially the specific coefficient in the Moore determinant of certain Anderson generating functions.

Extensions of the Carlitz-McConnel and Blokhuis-Sziklai theorems for unions of cyclotomic classes

math.NT

math.CO

Let $p$ be a prime, let $q=p^n$, and let $D\subseteq \mathbb{F}_q^\ast$. A celebrated result of Carlitz and McConnel states that if $D$ is a proper subgroup of $\mathbb{F}_q^\ast$, and $f:\mathbb{F}_q\to\mathbb{F}_q$ is a function such that $(f(x)-f(y))/(x-y)\in D$ for all $x\neq y$, then $f$ must be of the form $f(x)=ax^{p^j}+b$. In this paper, we extend their result to the setting where $D$ is a union of cosets of a fixed subgroup of $\mathbb{F}_q^\ast$, under a mild assumption. In a similar spirit, we also investigate maximum cliques in related Cayley graphs over finite fields, strengthening several results of Blokhuis, Sziklai, and Asgarli and Yip.

Joint extreme values of Dirichlet (L)-functions and their logarithmic derivatives

math.NT

In this paper, we establish joint extreme values of Dirichlet (L)-functions and their logarithmic derivatives using the resonance method. Our results extend previous work of Aistleitner et al. (2019) and Yang (2023).

Settled Elements in Arboreal Galois Groups of Quadratic PCF Polynomials

math.NT

math.GR

Let $f(x) \in K(x)$ be a quadratic polynomial where $K$ is a field of characteristic not equal to $2$. The associated arboreal Galois representation of the absolute Galois group of $K$ acts on a regular rooted binary tree. Boston and Jones conjectured that, for $f \in \mathbb{Z}[x]$, the image of this representation contains a dense set of settled elements. Roughly speaking, a cycle of an automorphism $\tau$ of the tree is called stable if its length strictly increases at each subsequent level, and $\tau$ is called settled if the proportion of vertices contained in stable cycles goes to $1$ as the level goes to infinity. In this article, we prove that the arithmetic iterated monodromy groups of postcritically finite quadratic polynomials in $K[x]$ with periodic postcritical orbits are densely settled. In the number field case, by a result of Benedetto--Ghioca--Juul--Tucker \cite{BGJT2025s}, it follows that for infinitely many $a \in K$, the associated arboreal Galois representations are densely settled. In particular, our results apply to the arithmetic IMG of the Basilica map $f(x)=x^2-1$.

On special values of Koshliakov zeta functions

math.NT

math.CA

In this paper, we study the Koshliakov zeta function $\eta_p(s)$, whose theory appears to be more involved than that of its counterpart $\zeta_p(s)$, owing to the fact that its defining series is not of Dirichlet type. We derive formulas for $\eta_p(s)$ at both even and odd values of $s$. In the limiting case $p\to\infty$, our results yield the celebrated formulas of Euler and Ramanujan for the Riemann zeta function. Moreover, our results lead to several consequences concerning closed-form expressions for Lambert series and their arithmetic properties, recovering results due to Berndt, Cauchy, Ramanujan, and others. We also propose $p$-analogues of the transformation formula for the classical Eisenstein series. Moreover, we introduce two families of $p$-analogues of Ramanujan polynomials and establish functional equations satisfied by them.

A note on Bremner's conjecture and uniformity

math.NT

In 1998, Bremner conjectured that elliptic curves over the rationals having long sequences of different rational points whose $x$-coordinates are in arithmetic progression, have large rank. This conjecture was proved some years ago in a strong form as a consequence of previous work by the authors, by a combination of Nevanlinna theory and the uniform Mordell--Lang conjecture of Gao--Ge--K\"uhne. In particular, if the ranks of elliptic curves over the rationals are uniformly bounded, then so are the lengths of the aforementioned arithmetic progressions. In this note we give a more direct proof of this last statement, which only uses the uniform Mordell--Lang conjecture for curves (due to Dimitrov--Gao--Habegger) and avoids the technicalities of our original argument with Nevanlinna theory.

Rank jumps for Jacobians of Hyperelliptic curves on K3 surfaces

math.AG

math.NT

We study Mordell-Weil rank jumps on families of jacobians of a pencil of genus-2 curves on a K3 surface defined over a number field k. We exhibit a finite extension l/k over which the subset of fibers for which the rank jumps is infinite. Moreover, we describe further geometric conditions on the K3 surface under which the rank jumps on a non-thin set of fibers.

Cohomology of special unitary groups and congruence subgroups

math.KT

math.GR

math.NT

We prove a homotopy invariance result for the first cohomology group of the special unitary group $\mathrm{SU}_3(F[t])$ with coefficients in irreducible representations of $\mathrm{PGL}_2(F)$. The main theorem establishes that this cohomology is naturally isomorphic to the corresponding cohomology of $\mathrm{PGL}_2(F)$.

LRC codes over characteristic $2$

cs.IT

math.IT

math.NT

In this work the construction of LRC codes given in [6] is completed, in the case of even characteristic. A general construction is presented, that enables us to obtain linear LRC codes of large length $n \approx q^4$, dimension and distance of order $q^4$, and locality $r =q-1$. In addition, the cases $q = 4$ and $q=8$ are studied.

Problems and results on intersections of product sets and sumsets in semigroups

math.CO

math.GR

math.NT

For every subset $A$ of a semigroup $S$, let $A^h$ be the set of all products of $h$ elements of $S$. If $(A)_{q\in Q}$ is a family of subsets of $S$, then $A = \bigcap_{q \in Q} A_q$ satisfies $A^h \subseteq \bigcap_{q \in Q} A_q^h$. The product intersection set $H(A_q) = \left\{h \in \mathbf{N}: A^h = \bigcap_{q \in Q} A_q^h \right\}$ is investigated.

Cryptanalysis of the Legendre Pseudorandom Function over Extension Fields

cs.CR

math.NT

The Legendre Pseudorandom Function (PRF) is a highly efficient cryptographic primitive built upon the Legendre symbol, valued for its low multiplicative complexity in Multi-Party Computation (MPC) and Zero-Knowledge Proof (ZKP) protocols. While its security over prime fields $\mathbb{F}_p$ is well-documented, recent interest has shifted toward instantiations over extension fields $\mathbb{F}_{p^r}$. This paper presents the first comprehensive cryptanalysis of the single-degree Legendre PRF operating over $\mathbb{F}_{p^r}$. First, we analyze polynomial input encoding under a standard passive threat model (sequential additive counter queries). We demonstrate that while the absence of polynomial carry-overs causes an asynchronous "no-carry fracture" that neutralizes classical sliding-window collision attacks, the fracture itself is deterministically periodic. By introducing a novel "Differential Signature" bucketing technique, we prove that an adversary can systematically group fractured sequences by their structural shapes to bypass this defense, recovering the secret key in $\mathcal{O}(U \cdot p^r/M)$ operations, where $U$ is the unicity distance. Second, we evaluate the PRF under an active Chosen-Query threat model. We demonstrate that an adversary can circumvent the additive fracture by evaluating the PRF along a geometric sequence generated by a primitive polynomial. This structure invokes strict multiplicative homomorphism over $\mathbb{F}^*_{p^r}$, permitting a direct generalization of state-of-the-art table collision attacks to extract the key in $\mathcal{O}(p^r/M)$ operations. Finally, we establish the cryptographic boundaries of these attacks, formally proving the necessity of higher-degree key variants ($d \ge 2$) to achieve exponential security against structural reduction in extension fields.

Unlikely intersections in families of polynomial skew products

math.DS

math.AG

math.NT

Motivated by the study of unlikely intersection in the moduli space of rational maps, we initiate our investigation on algebraic dynamics for families of regular polynomial skew products in this article. Our goals are threefold. (1) We classify special loci -- which contain a Zariski dense set of postcritically finite points -- in the moduli space of quadratic regular polynomial skew products. More precisely, special loci include families of homogeneous polynomial endomorphisms, families of split endomorphisms, and polynomial endomorphisms of the form $(x^2,y^2+bx)$ up to conjugacy. As a consequence, we verify a special case of a conjecture proposed by Zhong. (2) Let $F_t$ be a family of regular polynomial skew products defined over a number field $K$ and let $P_t, Q_t\in K[t]\times K[t]$ be two initial marked points. We introduce a good height $h_{P_t}(t)$ which is built from the theory of adelic line bundles for quasi projective varieties. We show that the set of parameters $t_0\in \overline{K}$ for which $P_{t_0}$ and $Q_{t_0}$ are simultaneously $F_{t_0}$-preperiodic is infinite if and only if $h_{P_t}=h_{Q_t}$. (3) As an application of $h_{P_t}$, we show that, under some degree conditions of $P_t$, if there is an infinite set of parameters $t_0$ for which the marked point $P_{t_0}$ is preperiodic under $F_{t_0}$, then the Zariski closure of the forward orbit of $P_t$ lives in a proper subvariety of $\mathbb{P}^2$. As a by-product, we conditionally verify a special case of a conjecture of DeMarco--Mavraki which is a relative version of the Dynamical Manin--Mumford Conjecture.

The gaps in the multiplication table

math.NT

v3

We determine the complete list of the gaps between successive elements of the multiplication table of the first N integers.

Comparison of component groups of $\ell$-adic and mod $\ell$ monodromy groups

math.NT

v2

Let $\{\rho_{\ell}:\mathrm{Gal}_K\to\mathrm{GL}_n(\mathbb{Q}_{\ell})\}_{\ell}$ be a semisimple compatible system of $\ell$-adic representations of a number field $K$ that is arising from geometry. Let $\textbf{G}_{\ell}\subset\mathrm{GL}_{n,\mathbb{Q}_{\ell}}$ and $\widehat{\underline{G_{\ell}}}\subset\mathrm{GL}_{n,\mathbb{F}_\ell}$ be respectively the algebraic monodromy group and full algebraic envelope of $\rho_{\ell}$. We prove that there is a natural isomorphism between the component groups $\pi_0(\textbf{G}_{\ell}) \simeq \pi_0(\widehat{\underline{G_\ell}})$ for all sufficiently large $\ell$.

A guide to Tauberian theorems for arithmetic applications

math.NT

v3

A Tauberian theorem deduces an asymptotic for the partial sums of a sequence of non-negative real numbers from analytic properties of an associated Dirichlet series. Tauberian theorems appear in a tremendous variety of applications, ranging from well-known classical applications in analytic number theory, to new applications in arithmetic statistics, group theory, and the intersection of number theory and algebraic geometry. The goal of this article is to provide a useful reference for practitioners who wish to apply a Tauberian theorem. We explain the hypotheses and proofs of two types of Tauberian theorems: one with and one without an explicit remainder term. We furthermore provide counterexamples that illuminate that neither theorem can reach an essentially stronger conclusion unless its hypothesis is strengthened.

On the Existence of the Maximal Unramified Pro-$2$-Extension over the Cyclotomic $\mathbb{Z}_2$-Extension with Prescribed Metacyclic Galois Group

math.NT

v2

For an integer $m\geq 2$, we aim to investigate the realizability of types of metacyclic-nonmodular groups, whose abelianization is $\mathbb{Z}/2 \mathbb{Z}\times\mathbb{Z}/2^m \mathbb{Z}$, as the Galois group of the maximal unramified $2$-extension (resp. pro-$2$-extension) over certain number fields of $2$-power degree (resp. cyclotomic $\mathbb Z_2$-extensions). Furthermore, we present some new techniques for studying Greenberg's conjecture for some number fields. In particular, the reader can find results concerning the real quadratic fields $F=\mathbb{Q}(\sqrt{\eta q rs})$, the real biquadratic fields $K=\mathbb{Q}(\sqrt{\eta q},\sqrt{rs})$, with $\eta\in\{1,2\}$, and the Fr\"ohlich multiquadratic fields of the form $\mathbb{F}=\mathbb{Q}(\sqrt{q }, \sqrt {r}, \sqrt{s})$, where $q$, $r$ and $s$ are odd prime numbers.

$p$-adic hyperbolicity for Shimura varieties and period images

math.NT

v2

We prove that Shimura varieties and geometric period images satisfy a $p$-adic extension property for large enough primes $p$. More precisely, let $\mathsf{D}^{\times}\subset \mathsf{D}$ denote the inclusion of the closed punctured unit disc in the closed unit disc. Let $X$ be either a Shimura variety or a geometric period image with torsion-free level structure. Let $F$ be a discretely valued $p$-adic field containing the number field of definition of $X$, where $p$ is a large enough prime. Then, any rigid-analytic map $f: (\mathsf{D}^{\times})^a \times \mathsf{D}^b \rightarrow X_F^{\textrm{an}}$ defined over $F$ whose image intersects the good reduction locus of $X_F^{\textrm{an}}$ (with respect to an integral canonical model) extends to a map $\mathsf{D}^{a+b}\rightarrow X_F^{\textrm{an}}$. We note that this hypothesis is vacuous if $X$ is proper. We also deduce an application to algebraicity of rigid-analytic maps. Our methods also apply to the more general situation of the rigid generic fiber of formal schemes admitting Fontaine-Laffaile modules which satisfy certain positivity conditions.

An effective Bombieri-Vinogradov error term for sifting problems

math.NT

v2

In number theory, many major results related to the additive properties of primes are proven using the methods of sieve theory. However, in nearly every case, the existing proofs of these results are ineffective, in that explicit values for which they hold cannot be computed. The reason for this ineffectivity is due to the reliance on the Bombieri--Vinogradov theorem. In this paper, we show that any classical sifting problem with a Bombieri--Vinogradov style error term can in fact be made effective, with no loss to the asymptotic form of the original (ineffective) result. This is done by carefully modifying the sieve upper and lower bounds as to avoid the usual complications regarding the existence of a Siegel zero. We also provide some simple applications. For example, we show that one may effectively bound the number of primes $p\leq x$ such that $p+2$ is also prime by \begin{equation*}(4+o(1))C_2\frac{x}{(\log x)^2},\end{equation*}where\begin{equation*}C_2=2\prod_{p>2}\left(1-\frac{1}{(p-1)^2}\right).\end{equation*}

Torsion of elliptic curves over $\mathbb{Q}_p$ with good reduction in cyclotomic extensions

math.NT

v2

In this paper, for every prime $p$ and every $0\le n\le \infty$, we classify the structure of the torsion subgroup of the group of $\mathbb{Q}_p(\mu_{p^n})$-rational points of elliptic curves over $\mathbb{Q}_p$ with good reduction, where $\mu_{p^n}$ is the set of the $p^n$-th roots of unity.

First-order definability of Campana Points and Darmon Points in algebraic function fields in one variable over number fields

math.NT

math.AG

math.LO

v2

We give first-order definitions of Campana and Darmon points in algebraic function fields in one variable over number fields. These sets are geometric generalizations of $n$-full integers (integers whose nonzero valuations are at least $n$) and perfect $n$th powers, respectively, to more general algebraic varieties. For this we exploit the theory of quadratic Pfister forms, which were used by Becher, Daans & Dittmann to extend to the case of algebraic function fields in one variable the methods used by Koenigsmann when proving that $\mathbb{Z}$ is universally defined in $\mathbb{Q}$. These methods had already been generalized to arbitrary global fields by Park (2013) and Eisentr\"ager & Morrison (2018), and the author had already exploited these methods to find first-order definitions of Campana points (2024) and Darmon points (2024, with Handley) in the context of number fields. With the newly expanded version of these methods, we now transfer those results to the new context of algebraic function fields in one variable over number fields.

Counting the number of $n$-periodic $\mathbb{Z}_{p}$-and $\mathbb{F}_{p}[t]$-points of a discrete dynamical system with applications from arithmetic statistics, VI

math.NT

math.DS

v2

In this follow-up paper, we again inspect a surprising relationship between the set of $n$-periodic points of a polynomial map $\varphi_{d, c}$ defined by $\varphi_{d, c}(z) = z^d + c$ for all $c, z \in \mathbb{Z}_{p}$ or $\in \mathbb{F}_{p}[t]$ and the coefficient $c$, where $d>2$ is an integer and $n\in \mathbb{Z}_{\geq 2}$ is any fixed (period). As before, we study counting problems that are inspired by $n$-torsion point-counting in arithmetic statistics and $n$-periodic point-counting in arithmetic dynamics. In doing so, we then first prove that for any prime $p\geq 3$ and any fixed $\ell \in \mathbb{Z}_{\geq 1}$, the average number of distinct $n$-periodic $p$-adic integral points of any $\varphi_{p^{\ell}, c}$ modulo $p\mathbb{Z}_{p}$ is unbounded or zero as $c\to \infty$; and also prove that for any prime $p\geq 5$, the average number of distinct $n$-periodic $p$-adic integral points of any $\varphi_{(p-1)^{\ell}, c}$ modulo $p\mathbb{Z}_{p}$ is $1$ or $2$ or $0$ as $c\to \infty$. Inspired further by periodic $\mathbb{F}_{p}(t)$-point-counting in arithmetic dynamics, we then also prove that for any prime $p\geq 3$ and any fixed $\ell \in \mathbb{Z}_{\geq 1}$, the average number of distinct $n$-periodic points of any $\varphi_{p^{\ell}, c}$ modulo prime $\pi$ is unbounded or zero as $c$ varies; and also prove that for any prime $p\geq 5$, the average number of distinct $n$-periodic points of any $\varphi_{(p-1)^{\ell}, c}$ modulo $\pi$ is $1$ or $2$ or $0$ as $c$ varies. Finally, we apply density, polynomial-and field-counting, equidistribution results from arithmetic statistics, and then obtain counting and statistical results on irreducible polynomials, (Artin-Mazur) zeta functions, global fields, and on (Artin) $L$-functions arising naturally in our polynomial discrete dynamical settings.

Diophantine approximation with primes from short intervals

math.NT

v3

In this paper, we establish hybrid results on Diophantine approximation with primes from short intervals. In particular, we prove the following result in a slightly modified form: If $\alpha$ is an irrational number having a continued fraction expansion with bounded terms (in particular, if $\alpha$ is a quadratic irrational), then the number of primes $p$ in the interval $(X-Y,X]$ satisfying $||p\alpha||<\delta$ is asymptotically equal to $2\delta Y/\log X$, provided that $X\ge 10$, $X^{2/3+\varepsilon}\le Y\le X/2$ and $X^{\varepsilon}\max\left\{X^{1/4}Y^{-1/2},X^{2/3}Y^{-1}\right\}\le \delta\le 1/2$.

Diversity, equity, and inclusion for problems in additive number theory

math.NT

math.CO

v3

This is a survey of the diversity of problems in additive number theory. Equity requires the consideration of less currently popular problems, and suggests their inclusion in the additive canon. Of particular interest are problems about the sizes of sumsets of finite sets of integers and problems about the arithmetical structure of intersections of sumsets.

Simplest cubic fields with small class number

math.NT

v2

Let $m\in\mathbb{Z}$ be an integer and $L_m=\mathbb{Q}(\alpha)$ be the simplest cubic field with class number $h_m$ and conductor $\mathfrak{f}_m$ where $\alpha$ is a root of $f_m(X)=X^3-mX^2-(m+3)X-1$. Let $\mathcal{O}_{L_m}$ be the ring of integers of $L_m$. By using PARI/GP, we confirm that if $[\mathcal{O}_{L_m}:\mathbb{Z}[\alpha]]=1$ $($resp. $3$, $27$$)$, i.e. $m^2+3m+9=\mathfrak{f}_m$ $($resp. $3\mathfrak{f}_m$, $27\mathfrak{f}_m$$)$, then there exist exactly $581$ (resp. $80$, $142$) integers $m\geq -1$ such that $h_m\leq 1000$. We also show that if $-1\leq m\leq 10^7$, then $h_m<16$ holds for $138=26+31+11+10+36+21+3$ integers $m$. More precisely, there exist $26$ $($resp. $31$, $11$, $10$, $36$, $21$, $3$$)$ integers $m$ with $-1\leq m\leq 10^7$ such that $h_m=1$ $($resp. $3$, $4$, $7$, $9$, $12$, $13$$)$ which are given explicitly.

Ties in Function Field Prime Races

math.NT

v3

The function field analogue of Chebyshev's bias was first studied by Cha. In this paper, we study *ties* in this race, namely collections of distinct congruence classes $c_1, \dots, c_k \in (\mathbb{F}_q[T] / m)^\times$ for which $$\pi(N; m, c_1) = \pi(N; m, c_2) = \dots = \pi(N; m, c_k)$$ holds for infinitely many $N$. We provide infinitely many examples of $(m, c_1, \dots, c_k)$ for which the tie holds whenever $N$ satisfies certain congruence conditions. We give two different proofs: first, via the explicit formula for prime counts in terms of $L$-functions together with a matrix analogue of M\"obius inversion, where exceptional pairs of Galois-conjugate elements in the corresponding cyclotomic fields produce ties; and second, via an explicit bijection arising from the $\mathrm{GL}_2(\mathbb{F}_q)$-action. Our examples also include characteristic 2 cases.

A Note on Cyclotomic Function Fields with Quadratic Modulus

math.NT

math.AG

v2

A longstanding and important problem in algebraic geometry is the characterization of algebraic function fields. In this paper, we focus on the characterization problem for cyclotomic function field $L(\Lambda_M)$, which is an important class of explicit function fields with applications in number theory and coding theory. Motivated by Arakelian and Quoos' classification of $L(\Lambda_M)$ with an irreducible quadratic modulus, we provide a complete characterization of the cyclotomic function field $L(\Lambda_M)$ with modulus $M = x^2$. More precisely, we prove that a function field $\mathcal{F}$ over $\mathbb{F}_q$ is $\mathbb{F}_q$-isomorphic to $L(\Lambda_{x^2})$ if and only if it satisfies the following three conditions: (i) $\mathcal{F}$ has a subgroup $G$ isomorphic to the direct product $(\mathbb{F}_q,+) \times \mathbb{F}_q^*$; (ii) its genus is $g(\mathcal{F}) = 1 + q(q-3)/2$; and (iii) the cardinality of $\mathbb{F}_q$-rational places is exactly $q+1$.

On bilinear sums with modular square roots and applications III

math.NT

v2

We continue our investigations of bilinear sums with modular square roots and the large sieve for square moduli in our recent article "On bilinear sums with modular square roots and applications II", arXiv:2603.00768. In the present article, we focus on the case of prime square moduli for which our previous method in the said article did not yield any improvement. Now we modify this method to make progress for these moduli. The key idea is to restrict certain quadratic Gauss sums to reduced residue classes, which results in significant cancellations in certain cases.

Various conjectural series identities

math.NT

math.CO

v2

In this paper we collect over 100 new series identities (involving binomial coefficients) conjectured by the author in 2026. Most of them involve $\pi$ or Riemann's zeta function. For example, we conjecture that $$\sum_{k=0}^\infty\frac{16k+3}{(-202^2)^k}\binom{2k}kT_k(19,-20)T_{2k}(9,-5)=\frac{43\sqrt{101}}{75\pi},$$ where $T_n(b,c)$ denotes the coefficient of $x^n$ in the expansion of $(x^2+bx+c)^n$. The conjectures in this paper might interest some readers and stimulate further research.

Digit-sum Formulas and Divisible Classes for B\"ottcher Coordinates of $x^{p^2}+p^{r+2}x^{p^2+1}

math.NT

math.DS

v2

Let $p$ be an odd prime and, for $r\ge 0$, let \[ \phi_r(x)=x^{p^2}+p^{r+2}x^{p^2+1}. \] For $r=0$ we prove a complete digit-sum congruence formula modulo $p$ for the coefficients of the B\"ottcher coordinate of $\phi_0$. As consequences we prove Conjecture~25 of Salerno and Silverman and obtain an explicit description of the first block of coefficients modulo $p$. For $r\ge 1$ we prove on the divisible non-pure class a leading term theorem together with a global digit-weight lower bound. These results yield an unconditional proof of Conjecture~27(a) of Salerno and Silverman.

On the Gap sequence and the Gilbreath conjecture

math.CO

math.NT

v3

Motivated by the Gilbreath conjecture, we develop the notion of the gap sequence induced by any sequence of numbers. We introduce the notion of the path and associated circuits induced by an originator and study the conjecture via the notion of the trace and length of a path.

Spectral decomposition of genuine cusp forms over global function fields

math.AG

math.NT

v3

We prove a version of the twisted geometric Satake equivalence and extend the Langlands parametrization of V. Lafforgue to certain covers of reductive groups.

Congruences modulo powers of $3$ for $6$-colored generalized Frobenius partitions

math.CO

math.NT

v2

In $1984$, Andrews introduced the family of partition functions $c\phi_k(n)$, which enumerate generalized Frobenius partitions of $n$ with $k$ colors. In $2016$, Gu, Wang, and Xia established several congruences for $c\phi_6(n)$ and proposed a conjecture concerning congruences modulo powers of $3$ for this function. In this paper, we resolve a revised version of their conjecture by employing an approach analogous to that developed by Banerjee and Smoot.

Power partitions and Khinchin families

math.PR

math.CV

math.NT

v2

We prove that the generating function of partitions into $k$-th powers is strongly Gaussian in the sense of B\'aez-Duarte. Within the probabilistic framework of Khinchin families, the Hardy--Ramanujan asymptotic formula for the number~$p_k(n)$ of partitions of~$n$ into $k$-th powers reads \[ p_k(n) \sim \frac{\alpha_k}{n^{(3k+1)/(2k+2)}} \exp\bigl(\beta_k\, n^{1/(k+1)}\bigr), \qquad n \to \infty, \] where $\alpha_k$ and $\beta_k$ are explicit constants depending only on~$k$, then follows directly from Hayman's asymptotic formula for strongly Gaussian power series. The proof of strong Gaussianity combines a Gaussianity criterion for Khinchin families with bounds of Tenenbaum, Wu and Li on the generating function; the asymptotic formula is recovered by computing asymptotic approximations of the mean and variance of the associated family.

Non-Archimedean Analogue of Chase's Lemma

math.LO

math.NT

v2

We formulate and verify a non-Archimedean analogue of Chase's lemma. Following the framework by K.\ Eda removing restriction of cardinality from analogy on direct product between countability and non-$\omega_1$-measurability, we extend the non-Archimedean analogue of Chase's lemma to a non-Archimedean counterpart of the extension by K.\ Eda of the extension by M.\ Dugas and B.\ Zimmermann-Huisgen of Chase's lemma.