Number Theory [math.NT]

On the Lagarias Inequality and Superabundant Numbers

math.NT

We study the Lagarias inequality, an elementary criterion equivalent to the Riemann Hypothesis. Using a continuous extension of the harmonic numbers, we show that the sequence $B_n=\frac{H_n+e^{H_n}\log(H_n)}{n}$ is strictly increasing for $n\ge 1$. As a consequence, if the Lagarias inequality has counterexamples, then the least counterexample must be a superabundant number; equivalently, it suffices to verify the inequality on the superabundant numbers.

On the Jacobian of $\overline{{{\rm Spec}\,\mathbb Z}}$

math.NT

math.AG

math.QA

We interpret the structure of the adele class space of the rationals--and specifically its Riemann sector--as the natural monoidal extension of the Picard group of the arithmetic curve $\overline{\operatorname{Spec} \mathbb Z}$. We identify the elements of this space with torsion-free rank-1 abelian groups $L$ endowed with rigidifying data. In the Riemann sector, this data corresponds to a norm, extending the classical notion of metrized line bundles in Arakelov geometry. For the full adele class space, we replace the norm with a group morphism to $\mathbb R$ and a combinatorial datum: a parametrization of the roots of unity associated with the character dual of $L$. We show that the product of adeles is represented geometrically by the tensor product of these rank-1 groups and their rigidifying structures. The resulting monoid space generalizes the Picard group to the full adelic context by incorporating the singular strata required for the spectral realization of $L$-functions.

On the Mean Value of a Weighted Composite Arithmetic Function

math.NT

The primary objective of this paper is to employ methods from analytic number theory to investigate the mean value properties of a composite function involving the Dirichlet divisor function and a generalized minimal power function. Specifically, we study the weighted summatory function where the divisor function is normalized by the number of distinct prime factors. We establish a rigorous asymptotic formula for this sum, detailing the analytic properties of the associated Dirichlet series and the contour integration process.

Binomial sums and properties of the Bernoulli transform

math.NT

math.CO

In this paper, we study the binomial sum $S_{n}(q):=% \overset{n}{\underset{k=0}{\sum }}a_{k}\binom{n}{k}\left( 1-q\right) ^{k}q^{n-k}$ for a given sequence $\left( a_{n}\right) $ of real or complex numbers. We express $S_{n}(q)$ in function of the powers of $q,$ and, we explicit it when the sequence $\left( a_{n}\right) $ is the sequence of Fibonacci numbers, Laguerre Polynomials, Meixner Polynomials, binomial coefficients and the sequence $\left[ n\right] _{p}.$ We establish later some properties, relations, probabilistic interpretations and generating functions between $S_{n}(q)$ and $S_{n}(x+q-xq).$ Further identities related to Appell polynomials are also given in the last of the paper.

Quantum modularity of signatures in TQFT and generalized Dedekind sums

math.NT

math.GT

We prove the quantum modularity of the signature of $ \mathrm{SU}(2) $-TQFT for a genus 2 surface, which was conjectured by March\'{e}--Masbaum in 2025. Our approach is based on a quantum modularity of generalized Dedekind sums associated with general modular forms. In the case of Eisenstein series for $ \Gamma(N) $, these generalized Dedekind sums admit trigonometric sum expressions, which coincide with the formula for the $ \mathrm{SU}(2) $-TQFT signature. Furthermore, we express both the $ \mathrm{SU}(2) $-TQFT and generalized Dedekind sums as radial limits of Eichler integrals.

Intersections of special cycles on Shimura curves and Siegel Maass forms

math.NT

math.AG

We show that the generating series of the number of pairs of geodesics on a compact Shimura curve with given discriminants and intersection angle are coefficients of a non-holomorphic Siegel modular form, a theta lift of the constant function. This retrieves and generalizes counting results of Rickards via the Siegel-Weil formula. More generally, we study the genus two theta lift of Maass forms on this Shimura curve and prove a Fourier-Taylor expansion in terms of some generalized Whittaker functions. We also provide a geometric interpretation of all Fourier coefficients of these theta lifts in terms of averages of geodesic Taylor coefficients over special cycles.

A zero-one law for improvements to Dirichlet's theorem in arbitrary dimension

math.NT

Let $\psi$ be a continuous decreasing function defined on all large positive real numbers. We say that a real $m\times n$ matrix $A$ is $\psi$-Dirichlet if for every sufficiently large real number $t$ one can find $\mathbf{p} \in \mathbb{Z}^m$, $\mathbf{q} \in \mathbb{Z}^n\setminus\{\mathbf{0}\}$ satisfying $\|A\mathbf{q}-\mathbf{p}\|^m< \psi(t)$ and $\|\mathbf{q}\|^n<1/t$ and $t\psi(t)$ is increasing. In fact, we prove the zero-one law in a more general situation with the monotonicity assumption on $t\psi(t)$ replaced by a weaker condition. Our proof follows the dynamical approach of Kleinbock-Str\"ombergsson-Yu in reducing the question to a shrinking target problem in the space of lattices. The key new ingredient is a family of carefully chosen subsets of the shrinking targets studied by Kleinbock-Str\"ombergsson-Yu, together with a short-range mixing estimate for the associated hitting events. Our method also works for the analogous weighted problem where the relevant supremum norms are replaced by certain weighted quasi-norms.

On coefficients, potentially abelian quotients, and residual irreducibility of compatible systems

math.NT

math.AG

math.RT

Let $\{\rho_\lambda:G_K\rightarrow GL_n(\overline E_\lambda)\}$ be a semisimple E-rational compatible system of a number field K. In a first step, building upon the theory of pseudocharacters [Ro96],[Ch14], we attach to each $\rho_\lambda$ an algebraic monodromy group $G_\lambda$ defined over $E_\lambda$ and also prove that the compatible system can be descended to a strongly E'-rational compatible system $\{\rho_{\lambda'}: G_K\rightarrow GL_n(E'_{\lambda'})\}$ for some finite extension E'/E. Secondly, we demonstrate that the maximal potentially abelian quotient of $G_\lambda$ is independent of $\lambda$ in a strong sense. Finally, as an application, we generalize a result of Patrikis--Snowden--Wiles on residual irreducibility of compatible systems.

Remarks on the inverse Littlewood conjecture

math.NT

math.CA

math.CO

The Littlewood conjecture, proven by Konyagin and McGehee-Pigno-Smith in the 1980s, states that if $A\subset \mathbb{Z}$ is a finite set of integers with $\lvert A\rvert=N$ then $\| \widehat{1_A}\|_1\geq c\log N$ for some absolute constant $c > 0$. We explore what structure $A$ must have if $\| \widehat{1_A}\|_1\leq K\log N$ for some constant $K$. Under such an assumption we prove, for instance, that $A$ contains a subset $A'\subseteq A$ with $\lvert A\rvert \geq N^{0.99}$ such that $\lvert A'+A'\rvert \ll K^{O(1)}\lvert A'\rvert$. As a consequence, for any $k\geq 3$, if $N$ is sufficiently large depending on $k$ and $K$, then $A$ must contain an arithmetic progression of length $k$. A byproduct of our analysis is a (slightly) improved bound for the constant $c$.

Hensel minimality, $p$-adic exponentiation and Tate uniformization

math.LO

math.NT

We use Hensel minimality, a non-Archimedean analog of o-minimality, to study several questions around transcendental number theory, unlikely intersections, and differential fields in a non-Archimedean setting. In particular, we focus on $p$-adic exponentiation and Tate uniformization on $\mathbb{C}_p$, which we show live in a Hensel minimal structure on $\mathbb{C}_p$. We start by constructing a large collection of derivations on Hensel minimal fields that respect definable functions, which we then apply to the $p$-adic Schanuel conjecture. We also study properties of local definability in analogy to work of Wilkie, and show that $p$-adic Schanuel implies a uniform version of itself. For Tate uniformization we show a strong closure property when blurring, and deduce that $\mathbb{C}_p$ with the blurred Tate uniformization is quasiminimal. Finally, we prove a result on $p$-adic density of likely intersections for powers of elliptic curves.

Anticoncentration of Random Sums in $\mathbb{Z}_p$

math.PR

math.CO

math.NT

In this paper we investigate the probability distribution of the sum $Y$ of $\ell$ independent identically distributed random variables taking values in $\mathbb{Z}_p$. Our main focus is the regime of small values of $\ell$, which is less explored compared to the asymptotic case $\ell \to \infty$. Starting with the case $\ell=3$, we prove that if the distributions of the $Y_i$ are uniformly bounded by $\lambda < 1$ and $p > 2/\lambda$, then there exists a constant $C_{3,\lambda} < 1$ such that \[ \max_{x \in \mathbb{Z}_p} \mathbb{P}[Y = x] \leq C_{3,\lambda}\lambda. \] Moreover, when the distributions are uniformly separated from $1$, the constant $C_{3,\lambda}$ can be made explicit. By iterating this argument, we obtain effective anticoncentration bounds for larger values of $\ell$, yielding nontrivial estimates already in small and moderate regimes where asymptotic results do not apply.

Trinomials with high differential uniformity

math.NT

v2

Comparisons of arithmetic and geometric monodromy groups coupled with the Chebotarev density theorem enable to obtain families of trinomials defined over finite fields of even characteristic with high differential uniformity when the base field is large enough.

On a Diophantine Equation Involving Lucas Numbers

math.NT

v3

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

On the number of $k$-full integers between three successive $k$-th powers

math.NT

v2

Let $k\geq2$ be an integer. The aim of this paper is to investigate the distribution of $k$-full integers between three successive $k$-th powers. More precisely, for any integers $\ell,m\ge0$, we establish the explicit asymptotic density for the set of integers $n$ such that the intervals $(n^k, (n+1)^k)$ and $((n+1)^k, (n+2)^k)$ contain exactly $\ell$ and $m$ $k$-full integers, respectively. As an application, we prove that there are infinitely many triples of successive $k$-th powers in the sequence of $k$-full integers, thereby providing a more general answer to Shiu's question.

Green's function on the Tate curve

math.NT

hep-th

math-ph

math.AP

math.MP

v2

Motivated by the question of defining a $p$-adic string worldsheet action in genus one, we define a Laplacian operator on the Tate curve, and study its Green's function. We show that the Green's function exists. We provide an explicit formula for the Green's function, which turns out to be a non-Archimedean counterpart of the Archimedean Green's function on a flat torus. In particular, it turns out that this Green's function recovers the N\'eron local height function for the Tate curve in the $p\to\infty$ limit, when the $j$-invariant has odd valuation. So this non-Archimedean height function now acquires a physics meaning in terms of the large $p$ limit of a non-Archimedean conformal field theory two point function on the Tate curve, as well as a direct analytic interpretation as a Green's function, on the same footing as in the Archimedean place.

Regulators in the Arithmetic of Function Fields

math.AG

math.NT

v3

As a natural sequel to the study of A-motivic cohomology initiated in "On the integral part of A-motivic cohomology", we develop a notion of regulator for rigid analytically trivial Anderson A-motives. In accordance with the conjectural picture over number fields, we define it as the morphism at the level of extension modules induced by the exactness of the Hodge-Pink realization functor. The purpose of this article is twofold: first, we prove a finiteness result for A-motivic cohomology; second, under a weight assumption, we show that the source and the target of the regulator have the same dimension. It came as a surprise to the author that the image of this regulator may fail to have full rank, thereby preventing an analogue of Beilinson's celebrated conjecture from holding in our setting.

On the Euler characteristic of $S$-arithmetic groups

math.GR

math.NT

v3

We show that the sign of the Euler characteristic of an $S$-arithmetic subgroup of a simple algebraic group depends on the $S$-congruence completion only, except possibly in type ${}^6 D_4$. Consequently, the sign is a profinite invariant for such $S$-arithmetic groups with the congruence subgroup property. This generalizes previous work of the first author with Kionke--Raimbault--Sauer.

Fourier-Mukai partners of abelian varieties and K3 surfaces in positive and mixed characteristics

math.AG

math.NT

v2

We study Fourier-Mukai equivalences of (families of) abelian varieties and K3 surfaces in positive and mixed characteristics. We first prove in any characteristics that Fourier-Mukai partners of abelian varieties are again abelian varieties. We subsequently focus on the canonical lifts of ordinary abelian varieties and ordinary K3 surfaces. For such schemes, we show that Fourier-Mukai equivalences on the special fibers can be lifted to the canonical lifts. We also prove that the relative Fourier-Mukai partners of the canonical lifts are in bijection with the Fourier-Mukai partners of the special fibers. We conclude by demonstrating that the last result can be used to recover the ordinary case of a result originally proved by Honigs, Lombardi and Tirabassi.