Number Theory [math.NT]

Explicit density computations for certain sets of primes in Lucas sequences

math.NT

Let $U$ be a Lucas sequence, $p$ be prime, and $\rho_U(p)$ be the rank of appearance of $p$ in $U$. We derive closed-form formulas for the Dirichlet density of primes $p$ for which $d\mid \rho_U(p)$, where $d\geq 1$ is a fixed integer. Our results complete the work of Sanna ($2022$) by covering all $U$ and all $d\geq 1$.

On Uniqueness of Mock Theta Functions

math.NT

math-ph

math.CA

math.MP

We develop a resurgent approach to the problem of unique continuation of mock theta functions across their natural boundary. The starting point is the representation of the associated Mordell-Appell integrals as Laplace transforms of resurgent functions, which serve as the primary analytic objects. By rotating the Laplace contour by $\pi$, i.e. onto the Stokes line, one obtains, in all known cases, the mock-modular relations between the Mordell-Appell integrals and the corresponding unary series in $\hat q=e^{-\pi i \tau}$ and $\hat q_1=e^{-\pi i (-1/\tau)}$. We then prove that these relations admit a unique solution on the $q$-side, expressed in terms of $q=e^{\pi i \tau}$ and $q_1=e^{\pi i (-1/\tau)}$, with coefficients determined by the corresponding Mordell-Appell integrals. This yields a canonical continuation across the natural boundary, given by a resurgent extension of the classical principle of permanence of relations, and singles out a distinguished family of mock theta functions in each group. We present a complete analysis for the order 3 and 5 cases (mf3 and mf5). The method extends naturally to higher orders; a general theory will appear in a separate paper.

Minimal $a$-numbers of Artin--Schreier covers of ordinary curves

math.NT

math.AG

Let $k$ be a perfect field of characteristic $p>0$, and let $d$ be a positive integer not divisible by $p$. We define a non-empty Zariski open subset $U$ of the space of polynomials of degree $d$, and for $f(x)\in U(k)$, we compute the $a$-number of the curve defined by $y^p-y=f(x)$. This $a$-number realizes a lower bound given by Booher and Cais, so the latter is tight. Our result also implies that the bound of Booher and Cais for minimal $a$-numbers of Artin-Schreier covers of ordinary curves is tight.

Root numbers for twisted Fermat quotient curves II

math.NT

This is a sequel to the previous work of the author Yanagihara (2025). Let $\ell$ be an odd prime, let $N \geq 1$ be an integer, and let $\delta \geq 1$ be an $\ell^N$-th-power-free integer. Let $r,s,t>0$ be integers satisfying $r+s+t=\ell^N$. In Yanagihara (2025), the author computed the root number of the Fermat quotient curve $y^{\ell^N}=x^r(\delta-x)^s$ under the assumptions that $\ell\nmid rst$ and that $\operatorname{ord}_{\ell}(\delta)=0$ or $\ell\nmid \operatorname{ord}_{\ell}(\delta)$. In this paper, we study the case where the technical assumption $\ell\nmid rst$ is dropped. As one such case, we compute the root number when $\ell^{N-1}\| r$ and $\ell\nmid st\delta$.

On the $I(1)$-invariants: Non-abelian Hecke algebra case

math.NT

Let $F$ be a finite extension of $\mathbb{Q}_p$. The so-called supersingular representations are the basic building blocks in the theory of mod $p$ representations of ${\rm GL}_2(F)$. The space of pro-$p$-Iwahori invariants of a universal module played a crucial role in the construction of the supersingular representations of ${\rm GL}_2(\mathbb{Q}_p)$. In this paper, we give an explicit description of the pro-$p$-Iwahori invariants of the universal module $\pi_r$ for $r = 0, q - 1$ using the Iwahori-Hecke model. We also determine the action of the pro-$p$-Iwahori-Hecke algebra on these newly found invariants. As an application, we recover $\pi_r$ functorially from its space of $I(1)$-invariants and extend a theorem of Ollivier for any totally ramified extension of $\mathbb{Q}_p$ other than itself.

On the singularities of differential equations satisfied by $E$-functions

math.NT

Let $\xi$ be a value, at an algebraic point, of a Siegel $E$-function. As a special case of a very general interpolation result, we prove that there exists an $E$-function $f$ such that $f(1)=\xi$, and such that 1 is not a singularity of the minimal differential equation satisfied by $f$. We prove that the same property does not hold at the point $0$, when $\xi$ is the value at a non-zero algebraic number of the Bessel function. This answers an analogue of a question asked by Yves Andr{\'e} for $G$-functions.

On the Hyperbolic Fractional Sum of the Divisor Function

math.NT

Let $\tau(n)$ denote the classical divisor function. In this paper, we consider the hyperbolic fractional sum of the divisor function defined by $$ T(x) = \sum_{n_1 n_2 \leqslant x} \tau\left( \left[ \frac{x}{n_1 n_2} \right] \right) = \sum_{n \leqslant x} \tau\left( \left[ \frac{x}{n} \right] \right) \tau(n), $$ where $[t]$ denotes the integral part of the real number $t$. By establishing new estimates for a class of three-dimensional exponential sums with constant perturbation, we obtain an improved asymptotic formula for $T(x)$. In particular, we show that for any $\varepsilon > 0$, the error term in the asymptotic expansion of $T(x)$ is bounded by $O(x^{17/30+\varepsilon})$. This result breaks the $4/7$-barrier which corresponds to the application of the classical divisor problem conjecture $1/4+\varepsilon$.

Non-vanishing of the $p$-adic constant for mock modular forms associated to a newform with real Fourier coefficients

math.NT

Let $F^{+}$ be a mock modular form associated to a normalized newform $g$. K. Bringmann et. al. obtained a $p$-adic modular form starting from $F^{+}$ by adding a suitable linear combination of Eichler integrals of $g(q)$ and $g(q^{p})$. We denote the coefficients of the Eichler integrals of $g(q)$ and $g(q^{p})$ by $\gamma_{g}$ and $\delta_{g}$. These constants are important in the $p$-adic theory of mock modular forms, but relatively little is known about them at present. For instance, K. Bringmann et. al. raised the question of whether $\delta_{g}$ vanishes when $g$ has CM by an imaginary quadratic field in which $p$ is inert. In previous work, the non-vanishing of $\delta_{g}$ has been proved mainly when $g$ is associated to an elliptic curve. In higher weight, only one example was known for which $\delta_{g}\neq 0$. In this paper, we show that $\delta_{g}\neq 0$ under mild assumptions when all the Fourier coefficients of $g \in S_{k}(\Gamma_{0}(N), \chi)$ are real, without assuming that $g$ has CM. In particular, this provides a class of higher-weight examples for which $\delta_{g}\neq 0$.

On sums of two squares and a basis of order $2$

math.NT

Let $\mathcal{R}$ denote the set of integers $n$ that can be represented as the sum $n = x^2 + y^2$ with $(x,y) = 1$. Let $a$ and $b$ be integers with $a>0$, $a \nmid b$. We show that for sufficiently large positive integer $N$ there are two strings of consecutive positive integers $I_{1}=\{n_1-m,\ldots, n_1+m\}$ and $I_{2}=\{n_2-m, \ldots, n_2+m\}$ such that $m = [(\log N) (\log \log N)^{1/325525}]$, $I_{1}\cup I_{2} \subset [1, N]$, $N = n_1 + n_2$, and for any $n\in I_{1}\cup I_{2}$ at least one of $n$ or $an+b$ does not lie in $\mathcal{R}$. In particular, we have $n(an+b)\notin \mathcal{R}$ for all $n\in I_{1}\cup I_{2}$.

p-adic elliptic polylogarithms and cubic Chabauty

math.NT

math.AG

The Chabauty--Coleman--Kim method, under favourable circumstances, describes the set of integral points of a hyperelliptic curve inside the $p$-adic zeroes of certain transcendental functions. For an elliptic curve of Mordell--Weil rank one, the Chabauty--Coleman--Kim set in depth 2 is given by the zeroes of a (finite union of) quadratic polynomial(s) in the $p$-adic logarithm of the elliptic curve and the local $p$-adic height at $p$. Here, we give an explicit formula for a finite set containing the Chabauty--Coleman--Kim set in depth 3 for an elliptic curve of rank at most 2 under an assumption on non-vanishing of a special value of a $p$-adic $L$-function. The finite set is given by the zeroes of a polynomial in $p$-adic elliptic polylogarithms. We use these formulas to verify new instances of Kim's conjecture.

Mellin transforms, transfinite diameter and rational approximations of integrals

math.NT

We establish a higher-dimensional irrationality criterion for periods which are presented as Mellin integrals depending on many parameters. The criterion is stated as an upper bound on the multi-variate transfinite diameter of the image of the domain of integration under the Mellin arguments. Most of the paper is devoted to studying notions of transfinite diameter relative to very general multivariate Vandermonde matrices. As a proof of principle, we illustrate how this approach works with detailed computations in the case of a 5-parameter family of integrals for $\zeta(2)$ on $\mathcal{M}_{0,5}$, the moduli space of curves of genus 0 with 5 marked points. This yields a `higher-dimensional' proof of the irrationality of $\zeta(2)$, based on an upper bound for a certain kind of transfinite diameter associated to $\mathcal{M}_{0,5}$.

Fractal transference principle for continued fractions of Laurent series

math.DS

math.NT

We establish a fractal transference principle for continued fraction expansions over the field of Laurent series. Let $S$ be an infinite subset of the set of all polynomials over a finite field of $q$ elements of positive degree with growth density exponent $\alpha \ge 1$, and let $U \subset S$ be a subset of positive relative upper density. We prove that there exists a subset $E_{S,U}$ of the set of points whose continued fraction digits are pairwise distinct and belong to $S$ such that \[\dim_{\rm H} E_{S,U}=\frac{1}{2\alpha}.\] Moreover, the set of digits appearing in the continued fraction expansions of points in $E_{S,U}$ recovers the relative upper density of $U$ in $S$. We also show that the same construction preserves the relative upper density of the corresponding degree sets in $\mathbb N$. As a consequence, combinatorial statements for subsets of $\mathbb N$ of positive upper density can be transferred to degree sets arising from continued fraction expansions of Laurent series on sets of optimal Hausdorff dimension.

On the distribution of addition chains

math.NT

v5

Addition chains are a classical construction for fast exponentiation and related computation problems. In this paper, we study a chain for a fixed integer $n$ by decomposing each generator into a \emph{determiner} and a \emph{regulator} (gap). This viewpoint leads to explicit identities for two aggregate statistics of the chain: the sum of the determiners and the sum of the chain elements. We then derive the corresponding lower bounds by using the positivity of the regulators. In parallel, we establish an identity for the reciprocal sum of the chain, showing how the harmonic profile of the chain can also be written in terms of the same gap sequence. These identities provide a unified way to compare addition chains of the same target and length. The paper concludes with a balancing problem that asks for the chain(s) that minimize the difference between the arithmetic sum and the harmonic sum, together with a structural decomposition of that optimization objective.

On $p$-adic $L$-functions of elliptic curves and the ideal class groups of the division fields

math.NT

v3

Let $E$ be an elliptic curve defined over $\mathbb{Q}$ and $F$ be $\mathbb{Q}$ or an imaginary quadratic field with certain conditions. In this article, we study the ideal class group $\mathrm{Cl}(F_E)$ of the $p$-division field $F_E:=F(E[p])$ of $E$ over $F$ for an odd prime number $p$. More precisely, we investigate the non-vanishing of the $E[p]$-component in the semi-simplification of $\mathrm{Cl}(F_E)/p\mathrm{Cl}(F_E)$ as an $\mathbb{F}_p[\mathrm{Gal}(F_E/F)]$-module when $E[p]$ is an irreducible $\mathrm{Gal}(F_E/F)$-module. When the analytic rank of $E$ over $F$ is $1$, we establish a new relationship between the non-vanishing of the $E[p]$-component and the $p$-divisibility of a certain $p$-adic analytic quantity associated with $E$. The quantity is defined by the leading coefficient of the cyclotomic $p$-adic $L$-function of $E$ when $F=\mathbb{Q}$ and by that of Bertolini--Darmon--Prasanna's anticyclotomic $p$-adic $L$-function of $E$ when $F$ is the imaginary quadratic field.

Higher-order Hermite numbers: Properties and applications to evolution problems

math.NT

v2

The operational calculus associated with Hermite numbers has been shown to be an effective tool for simplifying the study of special functions. Within this context, Hermite polynomials have been viewed as Newton binomials, with the consequent possibility of establishing previously unknown properties. In this article, this method is extended to study the lacunary Hermite polynomials and obtain novel results concerning their generating functions, recurrence relations, differential equations and certain integral transforms. The proposed method is systematically applied to a variety of evolution equations. Furthermore, this idea is extended to combinatorial interpretation of these polynomials, broadening their applicability in mathematical analysis and discrete structures.

Tamagawa numbers and positive rank of elliptic curves

math.NT

v2

This paper addresses the prediction of positive rank for elliptic curves without the need to find a point of infinite order or compute L-functions. While the most common method relies on parity conjectures, a recent technique introduced by Dokchitser, Wiersema, and Evans predicts positive rank based on the value of a certain product of Tamagawa numbers, raising questions about its relationship to parity. We show that their method is a subset of the parity conjectures approach: whenever their method predicts positive rank, so does the use of parity conjectures. To establish this, we extend previous work on Brauer relations and regulator constants to a broader setting involving combinations of permutation modules known as K-relations. A central ingredient in our argument is demonstrating a compatibility between Tamagawa numbers and local root numbers.

Unit-generated orders of real quadratic fields I. Class number bounds

math.NT

v3

Unit-generated orders of a quadratic field are orders of the form $\mathcal{O} = \mathbb{Z}[\varepsilon]$, where $\varepsilon$ is a unit in the quadratic field. If the order $\mathcal{O}$ is a maximal order of a real quadratic field, then the quadratic number field is necessarily of a restricted form, being of narrow Richaud--Degert type. However, every real quadratic field contains infinitely many distinct unit-generated orders. They are parametrized as $\mathcal{O} = \mathcal{O}_{n}^{\pm}$ having quadratic discriminants $\Delta(\mathcal{O}) = \Delta_{n}^{+} = n^2 - 4$ (for $n \geq 3$) and $\Delta(\mathcal{O}) = \Delta_{n}^{-} = n^2 + 4$ (for $n \geq 1$). We show the (wide or narrow) class numbers of unit-generated orders satisfy $\log \left|{\rm Cl}(\mathcal{O})\right| \sim \log \frac{1}{2}\left|\Delta(\mathcal{O})\right|$ as $\left|\Delta(\mathcal{O})\right| \to \infty$, using a result of L.-K. Hua. We deduce that there are finitely many unit-generated quadratic orders of class number one and finitely many unit-generated quadratic orders whose class group is $2$-torsion. We classify all unit-generated real quadratic orders having class number one. We provide numerical lists of quadratic unit-generated orders whose class groups are $2$-torsion for $\Delta \leq 10^{10}$, for both wide and narrow class groups. These lists are conjecturally complete for all $\Delta$.

Improved Averaged Distribution of $d_3(n)$ in Prime Arithmetic Progressions

math.NT

v2

We say that $d_3(n)$ has exponent of distribution $\theta$ if, for every $\varepsilon>0$, the expected asymptotic holds uniformly for all moduli $q \le x^{\theta-\varepsilon}$. Nguyen proved, following earlier work of Banks, Heath-Brown, and Shparlinski, that after averaging over reduced residue classes $a \bmod q$, the function $d_3(n)$ has exponent of distribution $2/3$. Using the Petrow--Young subconvexity bound for Dirichlet $L$-functions, we improve this to $8/11$ when averaging over residue classes modulo a prime $q$.

Lubin's conjecture for height-one $p$-adic dynamical systems over cyclo-tame extensions

math.NT

math.DS

v2

Let $K/\mathbb{Q}_p$ be a finite extension whose ramification index is coprime to $p^2-p$. We study height-one commuting pairs $(f, u)$ of noninvertible and invertible formal power series defined over the ring of integers $\mathcal{O}_K$ of $K$. We begin by extracting a crystalline character of weight $1$ from the $\mathrm{Gal}(\overline K/K)$-set $T_f$ of $f$-consistent sequences. This character is used in order to equip $T_f$ with a $\mathbb{Z}_p$-module structure for which $f$ is an endomorphism. We then apply explicit functors in integral $p$-adic Hodge theory to $T_f$ to recover a formal group defined over $\mathcal{O}_K$ for which $(f, u)$ is a pair of endomorphisms. This proves new cases of a conjecture of Lubin.

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

math.NT

math.CO

v4

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.

Products of consecutive integers with unusual anatomy

math.NT

v2

Call an interval $\{N+1,\dots,N+H\}$ of consecutive natural numbers \emph{bad} if the product $(N+1) \dots (N+H)$ is divisible by the square of its largest prime factor; \emph{very bad} if this product is powerful, and \emph{type $F_3$} if it has the same squarefree component as a factorial. Such concepts arose in the analysis of the factorial equation $a_1! a_2! a_3! = m^2$ with $a_1

A remark on an integral structure of the imperfect coefficient ring of $(\varphi,\Gamma)$-modules

math.NT

math.RT

v2

Let $K$ be a complete discrete valuation field of characteristic $0$ with perfect residue field of characteristic $p>0$. Let $\mathbb{A}_K$ denote the imperfect coefficient ring of $(\varphi,\Gamma)$-modules defined by Jean-Marc Fontaine. We prove that the canonical map $W(k_{K_\infty})[[\mu]]\rightarrow \mathbb{A}_K\cap A_\mathrm{inf}$ is an isomorphism, even if $K$ is ramified. This fact was remarked by Nathalie Wach without proof.

Sophie Germain Primes and the Totient of Fibonacci Numbers

math.NT

v3

We study the set $S(q)$ of residue classes $r$ modulo the Pisano period $\pi(q)$ for which $q \mid \varphi(F_m)$ for every $m \equiv r \pmod{\pi(q)}$. We prove that if $q$ is a Sophie Germain prime and $z(2q+1) \mid \pi(q)$, then $S(q)$ is a nonempty arithmetic progression, and for $q > 5$ its cardinality is odd and $q \equiv 8 \pmod{15}$. Conversely, we show that if a prime $p \equiv 1 \pmod{q}$ has $z(p) \mid \pi(q)$, then necessarily $p = 2q+1$, so $q$ is Sophie Germain. We conjecture that $S(q) \neq \emptyset$ forces the existence of such a prime $p$; this is verified for all $q \leq 50000$. Assuming that $z(2q+1) \mid \pi(q)$ holds for infinitely many Sophie Germain primes (verified computationally for approximately 23.9% of them), the Sophie Germain conjecture implies the existence of infinitely many primes $q \equiv 8 \pmod{15}$ with $(2q+1) \mid F_{\pi(q)}$ -- a purely Fibonacci-theoretic condition. These results generalize to arbitrary Lucas sequences $U_n(P,Q)$ with non-square discriminant.

Deriving motivic coactions and single-valued maps at genus zero from zeta generators

hep-th

math.AG

math.NT

v2

Multiple polylogarithms are equipped with rich algebraic structures including the motivic coaction and the single-valued map which both found fruitful applications in high-energy physics. In recent work arXiv:2312.00697, the current authors presented a conjectural reformulation of the motivic coaction and the single-valued map via zeta generators, certain operations on non-commuting variables in suitable generating series of multiple polylogarithms. In this work, the conjectures of the reference will be proven for multiple polylogarithms that depend on any number of variables on the Riemann sphere.

Unramified Brauer groups of symmetric products and the Brauer-Manin obstructions

math.AG

math.NT

v2

This article focuses on smooth, projective, and geometrically integral varieties $X$ defined over a number field $k$ with torsion-free geometric Picard groups. We establish an isomorphism between the Brauer groups of $X$ and its symmetric products. As applications, we deduce the relationship between the Brauer--Manin obstruction to the Hasse principle and to weak approximation for $0$-cycles of degree $n$ on $X$ and the corresponding obstruction for rational points on smooth projective models of its $n$-fold symmetric product.

Matsuki duality for loop groups

math.RT

math.AG

math.NT

v2

We establish versions of Matsuki duality for loop groups. The main result is a bijection between symmetric loop group orbits and real polynomial loop group orbits on the affine Grassmannians or affine flag varieties. Along the way we obtain orbit parametrizations and make connections with vector bundles on real and twistor-$\mathbb P^1$ and Kottwitz sets .