Number Theory [math.NT]

Perfect powers in the product of denominators of elliptic curves

math.NT

We use sieving arguments to estimate the frequency of $s$-tuples of rational points $$(P_1,\dots,P_s)\in E_1(\mathbb{Q})\times\cdots\times E_s(\mathbb{Q}),$$ where $E_1,\dots,E_s$ are (not necessarily distinct) elliptic curves over $\mathbb{Q}$, for which the product of their denominators is a perfect $\ell$th power for a fixed prime $\ell$. We consider two settings: one in which the points are of the form $n_iP_i+Q_i$ with $n_i$ ranging over an interval, and another in which we take arbitrary points of bounded canonical height. In the special case where all $Q_i$ are the points at infinity, we also obtain better estimates by using a version of the elliptic sieve with elliptic divisibility sequences. Consequently, we derive analogues of these results for various rational functions, providing elliptic analogs of R. de la Bret\`eche, P. Kurlberg and I. E. Shparlinski (2021).

On $\mathbb{Z}_2$-extensions of real quadratic fields

math.NT

Let $k$ be a real quadratic field. Let $k_n$ be the $n$-th layer of the $\mathbb{Z}_2$-extension of $k$, and $2^{a_n}$ be the $2$-part of the class number of $k_n$. In this paper, we derive many laws concerning the sequence $(a_0,a_1,\dotsc)$, by iteratively extending the group of cyclotomic units.

Prescribed realisation of longest runs in continued fractions

math.NT

math.DS

Exceptional longest-run behaviour in continued fraction expansions is studied through the interaction between fixed-symbol runs and the overall longest run. For every prescribed partial quotient value and every admissible growth scale, a full Hausdorff dimensional set of irrational numbers is constructed on which the longest run of the prescribed value has exactly the prescribed asymptotic growth and, for every initial length, uniquely realises the overall maximum. It follows that the symbol responsible for the overall longest run can be fixed in advance without any loss of Hausdorff dimension. Thus, the known full-dimensional exceptional-set results for fixed-symbol longest-run growth and for overall longest-run growth are simultaneously strengthened, while the maximising symbol in the overall problem is shown to be fully prescribable.

Polylogarithmic Analogues of Euler's Constant

math.NT

We introduce a family of constants \[ C_m := \lim_{n\to\infty} \left( \sum_{k=1}^n \operatorname{Li}_m\!\left(\frac1k\right) - \log n \right), \] which may be regarded as polylogarithmic analogues of Euler's constant. We study their basic properties and derive representations in terms of iterated logarithmic integral structures associated with the gamma function. We further introduce associated polylogarithmic zeta potentials and polylogarithmic gamma functions, establish differential relations and integral representations, and describe logarithmic branch asymptotics near the singular points. As an application, we relate the constants \(C_m\) to special values of certain Dirichlet series involving the Riemann zeta function.

On the $P(t)$-adic Littlewood conjecture in odd characteristics

math.NT

math.AG

The $P(t)$-adic Littlewood conjecture is a function field analogue of the famous $p$-adic Littlewood conjecture in Diophantine approximation. In this paper, we prove that the $P(t)$-adic Littlewood conjecture fails for any irreducible polynomial $P(t)$ over any ground field of odd characteristic.

Locating a shortest vector in certain $2$-dimensional lattices

math.NT

Let $a$, $m$ be positive integers, $1

On indecomposable elements in lattices

math.NT

math.MG

We study the distribution of indecomposable elements in Euclidean lattices. A positive element in a lattice is called indecomposable if it cannot be represented as a sum of two other positive nonzero elements. The set of all indecomposables in a lattice forms the Hilbert basis for the positive lattice semigroup. We classify lattices that contain only finitely many indecomposables versus those that contain infinitely many. In the two-dimensional case, we prove that every positive element in a lattice can be represented as a positive integer linear combination of at most two indecomposables, which is a certain variation of the discrete Carath\'eodory's property. In the case of lattices coming from fractional ideals in real quadratic number fields, we obtain an explicit counting estimate for the number of indecomposables with bounded norm, showing logarithmic growth.

The categorical local Langlands conjecture

math.NT

math.AG

math.RT

We formulate a program to prove the categorical local Langlands conjecture (CLLC) of Fargues-Scholze, for all quasisplit $p$-adic groups where the Fargues-Scholze $L$-parameters agree with the semisimplification of a known "automorphic" local Langlands parametrization. A key working hypothesis - which we expect to prove elsewhere jointly with Hamann - is the compatibility of the enhanced Whittaker coefficient functor $c_\psi$ with Eisenstein series. For $\mathrm{GL}_n$, we show that this hypothesis alone implies the full CLLC. For more general groups $G$, we prove an induction principle which reduces CLLC for $G$ to CLLC for all proper Levi subgroups together with a very small amount of information about $G$. This principle applies unconditionally to many classical groups with current technology. Along the way, we establish many foundational results. In particular: - We prove a very strong finiteness theorem for spectral constant term functors. - We prove a spectral analogue of Bernstein's finite global dimension theorem for $p$-adic Hecke algebras. - We introduce and develop the theory of admissible ind-coherent sheaves and admissible duality on derived stacks. - We prove a duality theorem for the spectral action. Using all of these results, we unconditionally define a new and explicit functor $t_{\psi}$ from the spectral side to the automorphic side, which is defined on enough ind-coherent sheaves to control the entire conjecture.

A further study of polynomial $g_{n,q}$ over finite fields

math.NT

Let $n\geq 0$ be an integer and $q$ a prime power. The polynomial $g_{n,q}$ was introduced in [10] with the purpose of finding new classes of permutation polynomials over finite fields. We investigate the permutation behaviour of the polynomial $g_{n,q}(X)$ over finite fields of even characteristic. We introduce the multivariate case of the polynomial $g_{n,q}$, and study the permutation polynomials in several variables and local permutation polynomials resulting from the polynomials $g_{n,q}(X_1,X_2,\ldots , X_k)$. We also present several new identities of $g_{n,q}(X)$, and present some open questions on the permutation property of $g_{n,q}(X)$.

Topological and Diophantine properties of lattice subset projections

math.NT

math.MG

Fix $1 \leq n < m, k = m-n.$ The Grassmannian $Gr(n,m)$ is a compact $kn$-dimensional manifold with a unique rotation invariant probability measure $\sigma_n.$ For $W \in Gr(n,m)$, $P_W : \mathbb R^m \mapsto W$ is orthogonal projection. A lattice subset $L \subset \mathbb Z^m \subset \mathbb R^m$ is called $k$-dense if it intersects $C(O) := \bigcup_{V \in O} V\backslash \{0\}$ for every nonempty open $O \subset Gr(k,m)$. We use Baire's category theorem [4] to prove that $L$ is $k$-dense iff $L_{n,lim} := \{W \in Gr(n,m) : 0 \mbox{ is a limit point of } P_W(L) \}$ is a $G_\delta$ set. We use Khintchine-Groshev's theorem [5,13,20] to characterize Diophantine properties of $L_{n,lim}$ by lacunary properties of $L$ and construct $k$-dense $L$ with $\sigma_n(L_{n,lim}) = 0$ and with $\sigma_n(L_{n,lim}) = 1.$ We pose related questions about the construction of multidimensional crystalline measures and Fourier quasicrystals.

Tame Galois Groups, Linking Numbers and Mildness

math.NT

math.GR

Let $p$ be an odd prime and let $S$ be a set of tame primes. We denote by $G_S$ the Galois group of the maximal pro-$p$ extension of $\mathbb{Q}$ unramified outside $S$. We prove that for every finite set of tame primes $S_0$ with $|S_0|\geq 2$, there exists a set $S_1$ consisting of two tame primes such that $G_{S_0\cup S_1}$ has cohomological dimension $2$. This refines a result of Labute. More generally, we establish an analogous result for number fields not containing a primitive $p$-th root of unity, under a suitable splitting condition. Our approach answers a question of Labute, from his seminal paper on mild groups, and combines weighted Zassenhaus filtrations, graph-theoretic methods, and Koch-type presentations. As an application, we solve several cohomological Galois inverse problems with prescribed ramification and splitting. We also provide numerical examples and statistics.

Piatetski-Shapiro Primes in short intervals

math.NT

The existence of primes in a short interval, which asks if there are prime numbers in the interval $[x, x + x^\theta]$, is a core problem in number theory. Guth and Maynard proved the best known result for this problem with an asymptotic formula while Baker, Harman and Pintz proved the best lower bound result. In this article, we focus on Piatetski-Shapiro primes in a short interval. The study of Piatetski-Shapiro primes of the form $\lfloor n^c \rfloor$ is an approximation of the well-known conjecture that there exist infinitely many primes of the form $n^2+1$. We prove the existence of such primes under restrictions on $\theta$ and $c$ with an asymptotic formula and a lower bound, respectively.

Additive Rigidity for Images of Rational Points on Abelian Varieties II: The General Case

math.NT

math.AG

We study the interaction between the group law on an abelian variety and the additive structure induced on its image under a morphism to a projective space. Let $A/F$ be an abelian variety, $f:A \rightarrow \mathbb{P}^n$ be a morphism which is finite onto its image, and $\Gamma \subseteq A(F)$ be a finite-rank subgroup. We show that for any affine chart $\mathbb{A}^n \subseteq \mathbb{P}^n$ and any finite subset $X \subseteq f(\Gamma) \cap \mathbb{A}^n$, the energy satisfies $E(X) \ll \lvert X \rvert^2$ and the sumset satisfies $\lvert X+X \rvert \gg \lvert X \rvert^2$. Thus images of finite-rank subgroups of abelian varieties cannot have strong additive structure in affine space. This removes the simplicity assumption from the author's previous result. The proof combines the uniform Mordell--Lang conjecture of Gao--Ge--K\"{u}hne with a refined use of the Ueno locus, R\'{e}mond's boundedness theorem for abelian subvarieties of bounded degree, and induction on the dimension of $A$.

A Sharp Reverse Minkowski Inequality for the Gaussian Mass of Integral Unimodular Lattices Through Rank $32$

math.NT

math.FA

math.MG

The integer lattice $\mathbb{Z}^n$ is conjectured to maximize the Gaussian mass $\Theta_L(t)=\sum_{x\in L}e^{-t\|x\|^2}$ over the set of stable lattices in $\mathbb{R}^n$, for every $t>0$. We prove this sharp inequality for every integral unimodular lattice $L$ of rank $n\leq 32$, with equality only at $L\cong\mathbb{Z}^n$, and furthermore obtain the strict inequality for every even unimodular lattice of rank $40$. The proof does not use the classification of unimodular lattices in these ranks; rather, it parametrizes integral unimodular theta series as polynomials in the modular function $u=\Delta_8/\vartheta_3^8\in(0,1/64]$, with the few coefficients that arise controlled by norm-$1$ splitting, ADE root counts, and shadow positivity.

Sums of Apostol's M\"{o}bius functions of order $k$

math.NT

In 1970, T. M. Apostol introduced the M\"{o}bius function $\mu_{k}$ of order $k$ for all positive integer $k$, as a generalization of the M\"{o}bius function $\mu = \mu_{1}$. For any integer $k \ge 2$, he proved $\sum_{n \le x} \mu_{k}(n) = A_{k} x + O_{k}(x^{1/k} \log x)$ where $A_{k}$ is a positive constant. In 2001, A. Bege conjectured both the conditional and unconditional estimates for the sum $\sum_{n \le x, (n, q) = 1}\mu_{k}(n)$ for any positive integer $q$. In this paper, we give affirmative solutions to the conditional version of Bege's conjecture completely and the unconditional one partially. We also give a mean square estimate for the error term.

Distinguished defining polynomials for extensions of p-adic fields

math.NT

We give an algorithm for choosing a distinguished defining polynomial for a p-adic field extension. This algorithm formed an important ingredient in the recent expansion of the database of p-adic fields within the L-functions and modular forms database.

Geometrization of summation formulae for quadrics

math.NT

We geometrize the Poisson summation formula for the zero locus of a split quadratic form in an even number of variables over number fields. We do so by making explicit the relationship between Schwartz spaces on quadrics defined in two different ways: via Braverman-Kazhdan spaces and via theta lifts.

High moments of random multiplicative functions twisted by Fourier coefficients of modular forms

math.NT

Let $\lambda(n)$ denote the Fourier coefficients of a fixed modular form and $h(n)$ a Steinhaus or Rademacher random multiplicative function. In this paper, we determine, under the generalized Riemann hypothesis, the order of magnitude of $\E|\sum_{n \leq x} h(n)\lambda(n)|^{2q}$ up to factors of size $e^{O(q^2)}$, for all real $x, q$ with $1 \leq q \leq c\log x/\log\log x $ and $c>0$ a small constant.

Intrinsic Subgroups and the $\ell$-adic Galois image

math.NT

math.AG

Let $X$ be a geometrically irreducible smooth projective curve over a field $k$. Yamazaki et al. define a biadditive symmetric pairing $\langle -,-\rangle$ on the torsion subgroup of the Picard group $\mathrm{Pic}(X)$ with values in $k^\times \otimes \mathbb{Q}/\mathbb{Z}$. The intrinsic subgroup $\mathrm{Pic}(X)_\mathrm{tors}^\mathrm{is}$ is the kernel of this pairing. When $X$ is an elliptic curve $E$, we can identify $E \simeq \mathrm{Pic}^0(E)$. We classify $E(k)_\mathrm{tors}^\mathrm{is}$ in purely algebraic terms for many elliptic curves over an arbitrary field $k$. We give a generalization of the analytic methods of Yamazaki et al. from $\mathbb{Q}$ to an arbitrary field $k \subset \mathbb{C}$. Lastly, for $k=\mathbb{Q}$, we describe an algorithm to explicitly compute $E(\mathbb{Q})_\mathrm{tors}^\mathrm{is}$.

On a problem on a generalization of Euler's totient function

math.NT

B\"uy\"uka\c{s}ik et al. [Publ. Math. Debrecen, 2024] introduced a family of generalizations of Euler's totient function $\varphi(n)$, by setting $\varphi_k(n) = \sum_{a} a^k$ for $a \in [1, n]$ such that $(a, n) = 1$, with $\varphi_0(n) = \varphi(n)$. Letting $\mathcal{D}_{s} = \{ k \geq s : \forall n \geq 1 \ \varphi_s(n) \mid \varphi_k(n) \}$, B\"uy\"uka\c{s}ik et al. proved that $\mathcal{D}_{s}$ is finite for each $s \geq 0$, and conjectured that $\mathcal{D}_{1} = \{ 1, 3, 15 \}$ and provided computations to support this conjecture. We succeed in proving this conjecture, using an argument based on our extensive interactions with GPT-5.5 Pro.

On cyclotomic matrices related to Kloosterman sums over finite fields

math.NT

Let $p$ be an odd prime and $\mathbb{F}_p$ be the finite field with $p$ elements. For any $a,b\in\mathbb{F}_p$, it is known that the Kloosterman sum $$K_p(a,b)=\sum_{x\in\mathbb{F}_p\setminus\{0\}}e^{\frac{2\pi i}{p}(ax+\frac{b}{x})}$$ can be viewed as a finite field analogue of certain Bessel function. In this paper, using the arithmetic properties of character sums over $\mathbb{F}_p$, we study some cyclotomic matrices involving Kloosterman sums. For example, we prove that the matrix $[K_p(1,i^2+j^2)]_{1\le i,j\le (p-1)/2}$ is singular if and only if $p\ge11$.

Infinite Moments of Class Groups for Solvable Fields with a Normal Abelian Subgroup

math.NT

We apply the class field theory and Minkowski bound to obtain an upper bound estimate for the number of solutions to the restricted ramifications when the Galois group is solvable. Together with suitable conditions on the solvable group and the ordering of number fields, we could prove an upper bound on specific field-counting problems, hence the infinite moment of the class groups. In particular, for non-Galois cubic fields ordered by the product of ramified primes, we could show that the $\mathbb{Z}/3\mathbb{Z}$-moment is infinite with the results on the $\mathbb{Z}/3\mathbb{Z}$-moment of quadratic number fields and the field-counting on cubic fields ordered by the generalized discriminant.

Applications of a formula of Maesaka-Seki-Watanabe type for multiple harmonic $q$-sums

math.NT

Maesaka, Seki and Watanabe proved a formula for multiple harmonic sums. Yamamoto generalized it to Schur-type multiple harmonic sums, and the second author proved a $q$-analogue of this generalization. In this paper, we give two applications of the $q$-analogue formula. The first is an alternative proof of the duality of a $q$-analogue of multiple zeta values. The second is a proof of an identity for a $q$-analogue of the Kawashima function.

Universality of the cokernels of random $p$-adic matrices with inhomogeneously balanced columns

math.NT

math.PR

In this paper, we prove universality of the distribution of the cokernels of a random $p$-adic matrix with inhomogeneously balanced columns. More precisely, let $u \ge 0$ be an integer and $A(n)$ be a random $n \times (n+u)$ matrix over $\mathbb{Z}_p$ whose $i$-th column is $\alpha_n(i)$-balanced. We prove that if $\sum_{i=1}^{n+u} \exp(-\epsilon \alpha_n(i)n) \to 0$ as $n \to \infty$ for every $\epsilon>0$, then the cokernels of $A(n)$ converge in distribution, as $n \to \infty$, to the same limiting law as the cokernels of Haar-random $n \times (n+u)$ matrices over $\mathbb{Z}_p$. This extends a universality theorem of Nguyen and Wood to random $p$-adic matrices with inhomogeneously balanced columns.

On the unit equation $\varepsilon+\delta=n$ in cubic fields

math.NT

Let n be a non-zero integer not equal to 2. We consider the unit equation $\varepsilon + \delta = n$ in units $\varepsilon, \delta$ of cubic fields. We show that this equation has no solutions for 100% of cubic fields, when ordered by discriminant. This is consistent with a recent conjecture of the authors.

On periods of Elliptic curves

math.NT

Let $E$ be an elliptic curve over $\mathbb{Q}$ having split multiplicative reduction at a prime number $p$. We describe the tame part of the $\mathcal{L}$-invariant of $E$ at $p$ in terms of automorphic $p$-adic periods introduced in the work of Darmon. More precisely, we prove an equality of refined $\mathcal{L}$-invariants using twisted versions of refined exceptional zero conjectures. When the conductor of the elliptic curve is exactly $p$ and the automorphic period is attached to an optimal embedding of conductor $1$ then we prove this equality unconditionally by using the work of de-Shalit.

Arithmetic regularity as an alternative to transference

math.NT

Since Green (2005), the Fourier-analytic transference principle has dominated the landscape of combinatorial theorems relative to sparse arithmetic sets. We demonstrate a different approach using arithmetic regularity. This is more versatile and has the potential to succeed when no obvious `dense model' is forthcoming. Moreover, we contend that, just as the traditional circle method disassembles an arithmetic problem into real and $p$-adic parts which can be solved individually, the arithmetic regularity method generalises this to yield an additional `combinatorial' factor. This framework leads directly to a correct lower bound on the number of configurations in a dense set. We illustrate this using a system comprising a linear equation together with a higher-degree equation.

Cyclotomic factors of rational necklace functions

math.NT

Necklace polynomials arise in various fields of mathematics, including combinatorics, Lie theory, and Galois theory over finite fields. Their arithmetic properties have been extensively studied in recent years. In this article, we introduce a new class of rational necklace functions that unifies two well-studied families of polynomials: necklace polynomials and Fekete polynomials. We describe several ways in which cyclotomic polynomials appear as factors of these rational necklace functions. Our results unify and generalize various earlier work on necklace polynomials and on Fekete polynomials. In particular, we describe a surprising phenomenon in which certain Galois groups play a hidden role in the appearance of new cyclotomic factors that are not covered by these previous works.

Analogues of the Lindel\"of Hypothesis for the Barnes multiple zeta function and related problems

math.NT

For the Lindel\"of Hypothesis concerning the Riemann zeta function $\zeta(s)$, upper bounds as $\Im(s)\to\infty$ have been extensively studied for many years. In particular, the Lindel\"of Hypothesis is one of the most important open problems in analytic number theory. It is also known to be equivalent to certain mean value estimates, which provide a fundamental connection between pointwise upper bounds and integral mean values of zeta-functions. In this paper, we consider an analogue of the Lindel\"of Hypothesis for the Barnes multiple zeta function $\zeta_r (s,a,(w_1,\dots,w_r)) = \sum_{m_1=0}^\infty \cdots \sum_{m_r=0}^\infty (a+m_1 w_1+\cdots+m_r w_r)^{-s} $, and establish equivalent conditions in terms of integral mean values. In particular, the situation depends essentially on the $\Q$-rank of $\langle w_1,\dots,w_r\rangle$, and it is especially interesting that phenomena peculiar to the Barnes multiple zeta function appear according to this rank.

Finding the complement of an elliptic curve inside a Jacobian

math.NT

math.AG

This note gives a simple algorithm for the following effectivity problem: given a genus $2$ curve $X$ together with a nonconstant map $\pi:X\to E$ to an elliptic curve, determine an elliptic curve $E'$ and a map $\pi':X\to E'$ independent of $\pi$. Equivalently, we compute the complementary elliptic factor in the decomposition of $\operatorname{Jac}(X)$ up to isogeny. While the problem has been studied extensively, and more general ones have been solved by deep and powerful techniques, we are not aware of a reference for the simple explicit procedure described here.

The Primes are $2$-Accessible

math.CO

math.NT

We prove that the set of positive integers having between $1$ and $n$ prime factors, counted with multiplicity, has degree of accessibility $2^n$. In particular, the case $n=1$ answers a question of Landman and Robertson asking whether the set of prime numbers is $2$-accessible.

Infinitely many holes in connectedness loci for collinear affine iterated function systems

math.DS

math.CV

math.NT

We investigate the topology of connectedness loci, denoted as $M_n$, for a one-parameter family of collinear affine iterated function systems featuring equally spaced translations. These loci are arithmetically equivalent to the closures of roots of monic polynomials whose non-leading coefficients fall within a prescribed finite interval of integers. Our main theorem proves that for every integer $n \ge 2$, the connectedness locus $M_n$ contains infinitely many holes. While the $n=2$ case is equivalent to a known theorem by Calegari, Koch, and Walker, this paper establishes the proof for $n \ge 3$. To prove the existence of holes for larger alphabets, we construct a stationary family of finite-capture loops in the geometry of the associated difference attractor. Each loop surrounds a missing-center configuration, and a finite inverse-tree certificate rigorously demonstrates that the enclosed witness parameter lies outside the connectedness locus. Furthermore, we show that the sequence of witness parameters converges to a canonical algebraic boundary point -- termed the renormalization point, $\xi_n$ -- where infinitely many of these distinct holes accumulate. The paper's finite geometric checks are verified via exact algebraic certificates.

Non-Archimedean Massera-Schaffer-Maligranda-Pecaric-Rajic Inequality

math.FA

math.NT

Massera and Schaffer [\textit{Ann. Math. (2), 1958}] derived a breakthrough upper bound for the Clarkson angle between two nonzero vectors in a normed linear space, which was later improved by Maligranda [\textit{Am. Math. Mon., 2006}]. Pecaric and Rajic [\textit{Math. Inequal. Appl., 2007}] extended Maligranda's inequality to finitely many nonzero vectors. We derive a non-Archimedean version of Massera-Schaffer-Maligranda-Pecaric-Rajic inequality.

Hitting Arithmetic Progressions at the Square-Root Scale

math.CO

math.NT

For positive integers $N$ and $k$, let $f(N,k)$ be the minimum size of a set $A\subseteq\{0,1,\ldots,N-1\}$ which intersects every $k$-term arithmetic progression contained in $\{0,1,\ldots,N-1\}$. Brown and Freedman introduced this hitting problem for arithmetic progressions and studied it for growing $k$. The square-root scale $k=\sqrt N$ is a natural transition point. Truss proved \[ f(n^2,n)>n+\frac12 n^{1/2}-2. \] We improve the leading constant in the second-order term, proving \[ f(n^2,n)\ge n+\left(\frac1{\sqrt2}+o(1)\right)n^{1/2}. \] On the upper-bound side, Brown and Freedman proved $f(p^2,p)\le 2p-2$ for odd primes $p$, and subsequent Szekeres-type constructions give logarithmic savings. We prove the stronger asymptotic upper bound \[ f(p^2,p) \le 2p-\left(\sqrt{\frac23}-o(1)\right)\sqrt{\frac p{\log p}} \] for sufficiently large prime $p$. The upper bound is obtained by a randomized front construction with an alteration step.

The 1/2-Conjecture for $q$-Binomial Coefficients with Fractional Index

math.CO

math.NT

For a nonnegative integer $k$ and a rational number $r\in\mathbb{Q}^+$, we define the generalized Gaussian binomial coefficient $\qbinom{r+k}{k} = \frac{(q^{r+1}; q)_k}{(q; q)_k}$. When $r=a/b$ with $a,b$ coprime positive integers and $b\geq 2$, expanding $\qbinom{r+k}{k}$ via the finite $q$-binomial theorem produces fractional powers of $q$, so that $\qbinom{r+k}{k}$ is a \emph{Puiseux series} in $q$ with nonnegative exponents; concretely it lies in $\mathbb{Q}[[q^{1/b}]]$. The notion we single out is the \emph{integer trace} of this expansion, the subseries consisting of those terms $c_r(d)\,q^d$ whose exponent $d$ is an integer, with all fractional powers discarded. This projection is not standard, and there is no a~priori reason for the surviving coefficients to behave coherently as $r$ varies. Nonetheless, ordering the family by the coefficientwise partial order leads to the \emph{$\tfrac{1}{2}$-Conjecture}: among all $r\in\mathbb{Q}^+$, the value $r=\tfrac{1}{2}$ maximizes the integer trace, in the sense that the coefficients of $\qbinom{1/2+k}{k}$ dominate those of $\qbinom{r+k}{k}$ coefficientwise for every $r$. That so elementary a definition should single out $\tfrac{1}{2}$ this cleanly came as a surprise to us. We prove the conjecture in several special cases and provide further computational evidence.

Three-color van der Waerden numbers grow super-exponentially

math.CO

math.NT

For $k$ sufficiently large, we show that there is a three-coloring of the first $2^{k (\log^* k)/4}$ positive integers without any monochromatic $k$-term arithmetic progressions. Thus, the three-color van der Waerden number $w(k;3)$ grows faster than any exponential in $k$. We further prove a new lower bound on multicolor van der Waerden numbers which resolves a problem of Erd\H{o}s and Graham on canonical van der Waerden numbers.

A differential approach to Ax-Schanuel, I

math.NT

math.AG

math.LO

v5

In this paper, we prove several Ax-Schanuel type results for uniformizers of geometric structures; our general results describe the differential algebraic relations between the solutions of the partial differential equations satisfied by the uniformizers. In particular, we give a proof of the full Ax-Schanuel Theorem with derivatives for uniformizers of simple projective structure on curves including unifomizers of any Fuchsian group of the first kind and any genus. Combining our techniques with those of Ax, we give a strong Ax-Schanuel result for the combination of the derivatives of the j-function and the exponential function. In the general setting of Shimura varieties, we obtain an Ax-Schanuel theorem for the derivatives of uniformizing maps. Our techniques combine tools from differential geometry, differential algebra and the model theory of differentially closed fields.

A discrepancy result for Hilbert modular forms

math.NT

v3

Let $F$ be a totally real number field and $r=[F :\mathbb{Q}].$ Let $A_k(\mathfrak{N},\omega) $ be the space of holomorphic Hilbert cusp forms with respect to $K_1(\mathfrak{N})$, of weight $k=(k_1,\dots,k_r)$ such that $k_j>2$ for all $j$, and with central Hecke character $\omega$. For integral ideals $\mathfrak{N}$ and $\mathfrak{n}$ in $F$ such that $( \mathfrak{n}, \mathfrak{N}) = 1$, we study the Petersson trace formula for the Hecke operator $T_{\mathfrak{n}}$ acting on the space $A_k(\mathfrak{N},\omega)$. We present asymptotic estimates for the terms of the Petersson formula as $k_0\rightarrow\infty,$ where $k_0=\min(k_1,\dots,k_r)$. As an application, we obtain a weighted discrepancy bound for the distribution of the eigenvalues of the Hecke operator $T_{\mathfrak{p}}$ (for a fixed prime ideal $\mathfrak{p}$) acting on the space $A_k(\mathfrak{N},1),$ when $F$ has narrow class number $1$, and the ideal $\mathfrak{N}$ is generated by (rational) integers. This generalizes a discrepancy result previously obtained by Jung and Sardari in the context of classical cusp forms.

Character varieties on a four-holed sphere

math.NT

v3

For each $\mathbf{k}\in\mathbb{C}^4$, let $V_\mathbf{k}$ be the character variety on a four-holed sphere and $\Gamma_\mathbf{k}$ the group generated by the Vieta involution maps. First, under a certain condition, we find a fundamental domain for $\Gamma_\mathbf{k}$-action on $V_\mathbf{k}$, expressed via inequalities. Second, we show that it is decidable whether or not two integral solutions for $V_\mathbf{k}$ are in the same $\Gamma_\mathbf{k}$-orbit and in the same mapping class group orbit. To achieve our goals, we introduce graphs corresponding to the $\Gamma_\mathbf{k}$-orbits and the mapping class group orbits, and classify their restricted global shapes by analyzing the limited local edge configurations at each vertex, using a descent argument.

Interpolation and Extrapolation Statements equivalent to the Riemann Hypothesis

math.NT

v3

The goal of this paper is twofold; on one hand we wish to present some statements that can be formulated in terms of Interpolation theory which are equivalent to the truth or the falseness of the Riemann Hypothesis, on the other hand we will use a key result of the Jawerth-Milman extrapolation to improve on a well-known criterion by Beurling and Nyman for the Riemann Hypothesis giving sharper sufficient conditions to the celebrated hypothesis.

The constructive inverse Galois problem via Hilbert modular forms: realizing the transitive group 17T7

math.NT

v4

We show how Hilbert modular forms can be used in the constructive inverse Galois problem over the rationals. In particular, we prove that the transitive permutation group 17T7, isomorphic to a split extension of C_2 by PSL_2(FF_16), is a Galois group over the rationals and exhibit an explicit degree 17 polynomial with this Galois group. The group arises from the field of definition of the 2-torsion on an abelian fourfold with real multiplication defined over a real quadratic field; we find such a fourfold attached to a Hilbert modular form. Building upon work of Dembele, we describe a method for reconstructing a period matrix attached to a Hilbert modular form, and we use it to construct the 2-isogeny polynomial. We also rigorously identify the relevant fourfold as the Jacobian of a genus 4 Shimura curve and compute explicit equations for this curve.

Brownian behaviour of the Riemann zeta function around the critical line

math.NT

math.PR

v2

We establish a Brownian extension to Selberg's central limit theorem for the Riemann zeta function. This implies various limiting distributions for $\zeta$, including an analogue of the reflection principle for the maximum of the Brownian motion: as $T$ diverges, for any $u>0$ we have \[ \frac{1}{T}\cdot {\rm meas}\Big\{0\leq t\leq T:\max_{\sigma\geq \tfrac{1}{2}}\log|\zeta(\sigma+i t)|\geq u \sqrt{\tfrac{1}{2}\log \log T} \Big\}\to 2 \displaystyle\int_u^{\infty} \frac{e^{-\frac{x^2}{2}}}{\sqrt{2\pi}}\mathrm{d} x. \]

On Hardy's $Z$-function and its derivatives associated with the extended Selberg class

math.NT

v2

Hardy's $Z$-function $Z(t)$ is a real-valued function of the real variable $t$, and whose zeros correspond exactly to the zeros of the Riemann zeta-function on the critical line. In 2012, K. Matsuoka showed that for every non-negative integer $k$, there exists a $T=T(k)>0$ such that $Z^{(k+1)}(t)$ has exactly one zero between consecutive zeros of $Z^{(k)}(t)$ for $t\ge T$ under the Riemann Hypothesis. In this paper, we extend Matsuoka's theorem to $L$-functions in extended Selberg class.

Constructive Proof of Two Characterizations of Arithmetic Equivalence

math.NT

v2

We prove a formula governing the combinatorics of cyclic group actions and extend a lemma of Hasse to account for ramification. Consequently, we obtain the first constructive proofs of two theorems characterizing arithmetic equivalence. We are also able to give new proofs of strong multiplicity one type theorems for Kronecker equivalence and weak Kronecker equivalence.

Good Ramanujan Expansions: A suitably enhanced decay of coefficients has important consequences

math.NT

v2

In this self-contained short note, we introduce the new definition of Good Ramanujan Expansion, say G.R.E., for a fixed arithmetic function $F$, building upon a good decay of its coefficients $G$; this, gains $\log-$powers w.r.t. the trivial bound for $G$ and precisely $\log^{1+\eta}$, where the present parameter $\eta>0$ is real. This property alone has important consequences for all the $F$ having a G.R.E. : mainly, 1) the Eratosthenes Transform $F'$ of our $F$ is infinitesimal (see in Theorem 1); 2) when $\eta>1$ (an enhanced decay) we have uniqueness of $G$ (actually, these are the classic Wintner-Carmichael coefficients, see Th.2); 3) we get a bound for $F$ (in Th.3); 4) an important new class of arithmetic functions $F$ can't have a G.R.E. (see Th.4). These are a generalization of Correlations; which in this way, if are, say, a kind of "far from constants", may not have a G.R.E., whence, a fortiori, can't have the R.E.E.F. This is the Ramanujan Exact Explicit Formula, that we introduced with Prof. Ram Murty.

Curves of genus two with maps of every degree to a fixed elliptic curve

math.NT

math.AG

v3

We show that up to isomorphism there are exactly twenty pairs $(C,E)$, where $C$ is a genus-$2$ curve over ${\mathbf C}$, where $E$ is an elliptic curve over ${\mathbf C}$, and where for every integer $n>1$ there is a map of degree $n$ from $C$ to $E$. We also show that for every genus-$2$ curve $C$, there is an integer $n$ with $1 < n \le 59$ such that there is no minimal degree-$n$ map from $C$ to an elliptic curve.

Generalized fruit Diophantine equation and super elliptic curves

math.NT

v2

In this article, we are interested in finding rational points on certain superelliptic curves.

Arithmetic Bias in Mersenne Prime Exponents and the Divisor Structure of $p-1$

math.NT

v3

According to the classical Wagstaff heuristic, the probability that a Mersenne number \(M_p=2^p-1\) is prime depends primarily on the size of the exponent \(p\). We investigate whether the divisor structure of \(p-1\) produces detectable secondary variations within this asymptotic framework. We introduce the normalized divisor parameter S(p)=\frac{\log\tau(p-1)}{\log\log p}, which measures the divisor complexity of \(p-1\), including prime multiplicities. Using the currently known Mersenne prime exponents (excluding small cases), we compare \(S(p)\) against nearby prime controls of comparable size. Across several complementary distribution-free methods, including percentile analysis, conditional likelihood estimation, and permutation tests, Mersenne prime exponents consistently exhibit elevated values of \(S(p)\). To interpret this effect, we develop a heuristic framework based on the cyclotomic decomposition 2^{p-1}-1=\prod_{d\mid(p-1)}\Phi_d(2), in which divisors of \(p-1\) generate effective modular constraint layers. This motivates a heuristic refinement of the Wagstaff model of the form P(M_p\text{ prime}) \approx C\,\frac{(\log p)^{S(p)}}{p}. The proposed refinement preserves the classical Wagstaff scale in the typical regime \(S(p)\approx 1\), while suggesting that the finite-scale distribution of Mersenne prime exponents exhibits a weak arithmetic bias linked to the divisor structure of \(p-1\).

Additive Rigidity for Images of Rational Points on Abelian Varieties I: The Simple Case

math.NT

math.AG

v3

We study the interaction between the group law on an abelian variety and the additive structure induced on its image under a morphism to projective space. Let $A/F$ be a simple abelian variety, $f:A \rightarrow \mathbb{P}^n$ be a morphism which is finite onto its image, and $\Gamma \subseteq A(F)$ be a finite-rank subgroup. We show that for any affine chart $\mathbb{A}^n \subseteq \mathbb{P}^n$ and any finite subset $X \subseteq f(\Gamma) \cap \mathbb{A}^n$, the energy satisfies $E(X) \ll \lvert X \rvert^2$ and the sumset satisfies $\lvert X+X \rvert \gg \lvert X \rvert^2$. We then ask whether the same additive rigidity holds for arbitrary abelian varieties, and prove that this is indeed the case when the morphism $f$ is compatible with the decomposition of $A$ into simple factors. The proof uses the uniform Mordell-Lang conjecture proven by Gao--Ge--K\"{u}hne.

Some geometric series for Euler's constant

math.NT

math.CO

v5

We provide representations of Euler's constant $\gamma=0.577...$ as series which converge geometrically fast (but use a certain sequence whose computation induces a quadratic cost). The asymptotic oscillations of these coefficients are determined to all orders. A result of independent interest, about sufficient conditions for the validity, in the case of unbounded parameters, for the Tricomi-Erd\'elyi asymptotic expansion of the ratio of two Gamma functions, is established for that purpose.

Weighted averages of arithmetic functions and applications to equidistribution and ergodic theory

math.NT

v2

For a wide range of functions $W\colon\mathbb{N}\to\mathbb{N}$, we establish a general result for estimating weighted averages of the form\[\mathbb{E}^{W}_{n \le N} f(\vartheta(n))= \frac{1}{W(N)}\sum_{n=1}^N (W(n)-W(n-1))f(\vartheta(n)),\]where $f\colon \{1,\ldots,N\}\to\mathbb{C}$ is an arbitrary function, and $\vartheta(n)$ is any arithmetic function that adheres to a certain Gaussian distribution condition. (For instance, one may take $\vartheta(n)=\Omega(n)$, where $\Omega(n)$ counts the number of prime factors of $n$ with multiplicity, or $\vartheta(n)=s_q(p_n)$, where $s_q$ is the sum-of-digits function in base $q$ and $p_n$ denotes the $n$-th prime. Additional natural examples are discussed in the paper.) Building on our main theorem, we show that if $h(n)$ is a function from a Hardy field with polynomial growth then $(h(\vartheta(n)))_{n\in\mathbb{N}}$ is uniformly distributed mod $1$ if and only if one of the following (mutually exclusive) conditions is satisfied: (i) $\lim_{x\to\infty} \frac{|h(x)-p(x)|}{x \log x}=\infty$ for all $p(x)\in \mathbb{Q}[x]$; (ii) $\lim_{x\to\infty}\frac{|h(x)-p(x)|}{\sqrt{x}}=\infty$ for each $p(x)\in \mathbb{Q}[x]$ and there exists $q(x)\in \mathbb{Q}[x]$ such that $\lim_{x\to\infty}\frac{|h(x)-q(x)|}{x}<\infty$. This leads to several novel applications. For example, it follows that $(\Omega(n)^c)_{n\in\mathbb{N}}$ is uniformly distributed mod $1$ if and only if $c$ is a non-integer greater than $\frac{1}{2}$.

Differential operators on locally analytic Shimura varieties

math.NT

math.AG

v2

We investigate infinite-level Shimura varieties within the framework of analytic stacks of Clausen-Scholze, developing their smooth, completed, locally analytic, and de Rham realizations. We formulate a Grothendieck-Messing-Hodge-Tate period map, and establish a Grothendieck-Messing theory for locally analytic infinite-level Shimura varieties. This theory, combined with a reformulation of Riemann-Hilbert correspondence, implies that the locally analytic infinite-level Shimura variety can be fully reconstructed purely from its perfectoid counterpart and its $\mathbb{B}_{\mathrm{dR}}^{+}$-thickening. Building upon this geometric structure, we systematically construct differential operators generalizing those of Pan, and we introduce a Bernstein-Gelfand-Gelfand-Fontaine complex based on dual BGG complexes, conjecturing its automorphic properties. These constructions will be used to establish a locally analytic Jacquet-Langlands correspondence in a companion paper ([Jia26a]).

A formal proof of the Ramanujan--Nagell theorem in Lean 4

math.NT

cs.LO

v2

We present a complete formalization, in the Lean interactive theorem prover with the Mathlib library, of the Ramanujan--Nagell theorem: the only integer solutions to the Diophantine equation $x^2 + 7 = 2^n$ are $(n,x) \in \{(3,\pm1),(4,\pm3),(5,\pm5),(7,\pm11),(15,\pm181)\}$. The formalization includes all dependencies, notably the computation of the ring of integers of the quadratic field $\mathbb{Q}(\sqrt{-7})$, its class number, and unit group. We describe the proof strategy, the architecture of the formalization, and the challenges encountered in bridging the gap between textbook proofs and their machine-checked counterparts, with particular attention to the algebraic number theory infrastructure required.

$p$-adic Congruences of Generalized Euler Numbers and Relations to Even Zeta Values

math.NT

v2

Generalized Euler numbers have previously been studied mainly from a combinatorial viewpoint. The purpose of this paper is to explore them from $p$-adic and analytic perspectives. To this end, we introduce congruential Euler numbers, a new family extending generalized Euler numbers. We establish several $p$-adic congruences for these numbers, including an answer to a conjecture related to Lehmer numbers. Furthermore, using complex analytic methods, we derive expressions for even zeta values in terms of congruential Euler numbers. These results suggest that certain types of these numbers may possess connections with arithmetic or analytic structures beyond their purely combinatorial role as generalizations of Euler-type numbers.

On the finite transcendence of Frobenius traces for abelian varieties over $\mathbb{Q}$

math.NT

v3

The first purpose of this paper is to give the fnite transcendence of Frobenius traces for elliptic curves over $\mathbb{Q}$ without the assumption of complex multiplication (CM). This result generalizes the previous work by Luca and Zudilin, who obtained similar transcendence results specifically for the CM case. The second purpose is to give the finite transcendence of Frobenius traces for several principally polarized abelian varieties over $\mathbb{Q}$, by using Luca--Zudilin's method.

Classicality for Hilbert modular forms

math.NT

v2

Let $F$ be a totally real number field. We prove that a character of the spherical Hecke algebra appearing in the completed cohomology of Hilbert modular varieties is modular if the associated Galois representation is absolutely irreducible, and de Rham of regular parallel weights. As an application, we prove some new cases of the Langlands-Clozel-Fontaine-Mazur conjecture of $\mathrm{GL}_2$ over totally real fields. For the proof, we generalize the method in [Pan26], calculate geometric partial Fontaine operators, and study the cohomology of the associated Koszul-type partial de Rham complexes. The key step is the establishment of a locally analytic Jacquet-Langlands transfer, whose proof consists of several novel ingredients including a comparison of Igusa stacks for different quaternionic Shimura data constructed by [DvHKZ26], and the Grothendieck-Messing theory for locally analytic infinite level Shimura varieties established in [Jiang26a].

Generalized Fermat equation over cyclotomic $\mathbb{Z}_l$-extensions of totally real fields

math.NT

v2

Let $K$ be a totally real number field of odd degree in which $2$ is inert. Let $l \geq 5$ be a prime with $l \nmid [K:\mathbb{Q}]$ and $\gcd(\frac{l-1}{2}, [K:\mathbb{Q}])=1$. We prove that if $2$ is inert in $K$, $l$ is non-Wieferich, i.e., $2^{l-1} \not\equiv 1 \pmod{l^2}$, and $l$ is totally ramified in $K$, then the asymptotic Fermat's Last Theorem holds over each $n$-th layer $K_{n,l}$ of the cyclotomic $\mathbb{Z}_l$-extension of $K$. We then prove that the generalized Fermat equation $Ax^p+By^p+Cz^p=0$ has no asymptotic solution over each $n$-th layer $K_{n,l}$ when $A,B,C \in \{u2^r : u\in \mathcal{O}_K^\times,\ r \in \mathbb{Z}_{\geq 0}\}$. For any odd prime $d$, we also prove that if $A,B,C \in \{\pm 2^r d^s : r,s \in \mathbb{Z}_{\geq 0}\}$ and $h_{\mathbb{Q}_{n,l}}^+$ is odd, then the generalized Fermat equation $Ax^p+By^p+Cz^p=0$ has no effective asymptotic solution $(a,b,c) \in \mathcal{O}_{\mathbb{Q}_{n,l}}^3$ with $2 \mid abc$. The effectivity in the case of $\mathbb{Q}_{n,l}$ follows from a result of Thorne proving the modularity of elliptic curves over $\mathbb{Q}_{n,l}$.

On the Harris-Viehmann conjecture for Hodge-Newton reducible local Shimura data of abelian type

math.NT

v2

We address a new case of the Harris-Viehmann conjecture, which establishes a parabolic induction formula on the cohomology groups associated to non-basic local Shimura data. It follows that all supercuspidal representations on a Shimura variety are concentrated along the basic locus, making the conjecture relevant to the Langlands program. Historically, many cases of the Harris-Viehmann conjecture have been approached with the additional condition of Hodge-Newton reducibility on the underlying local Shimura datum. Building on previous work by Mantovan (EL/PEL case) and Hong (Hodge case), we extend the proof of the conjecture to unramified non-basic local Shimura data of abelian type under the assumption of Hodge-Newton reducibility. We leverage Shen's construction of Rapoport-Zink spaces of abelian type at the hyperspecial level.

Turning non-smooth points into rational points

math.AG

math.NT

v2

In a recent paper, the author and St\"ohr established a bound on the number of iterated Frobenius pullbacks needed to transform a non-smooth purely inseparable point on a regular geometrically integral curve into a rational point. In this paper we improve this result, by establishing a new bound that is sharp in every characteristic $p>0$.

Characterization of matchable sets and subspaces via Dyson transforms

math.CO

math.NT

v3

A \emph{matching} from a finite subset \( A \) of an abelian group \( G \) to another subset \( B \) is a bijection \( f : A \to B \) such that \( af(a) \notin A \) for all \( a \in A \). The study of matchings began in the 1990s and was motivated by a conjecture of E.~K.~Wakeford on canonical forms for homogeneous polynomials. The theory was later extended to the linear setting of vector subspaces over field extensions, and then to matroids. In this paper, we investigate the existence and structure of matchings in both abelian groups and field extensions. Using Dyson's \( e \)-transform, a tool from additive combinatorics, along with a linear analogue which is introduced in this paper, we establish characterization theorems for matchable sets and subspaces. Several applications are given to demonstrate the effectiveness of these theorems as standalone tools. Throughout, we highlight the parallels between the group-theoretic and linear perspectives.

Log-regularity of monoid algebras

math.AC

math.AG

math.NT

v2

Local log-regular rings are Cohen-Macaulay local domains introduced by Kazuya Kato to expand the theory of toric varieties without a base. In this note, we show that local rings of monoid algebras over regular rings are log-regular. As a corollary, we show that monoid algebras are log-regular rings.

{\delta}-rings, perfectoid towers, and lim Cohen-Macaulay sequences

math.AC

math.AG

math.NT

v3

The aim of this article is to study basic structures and interrelations of $\delta$-rings, perfectoid towers, and lim Cohen--Macaulay sequences over Noetherian rings in positive or mixed characteristic. We also discuss the deformation of perfectoid purity via perfectoid towers. In the latter part of this paper, we discuss some methods for constructing perfectoid towers, dealing with $p$-torsion-free and $p$-torsion cases, respectively. Some interesting examples arise as quotients by monomial or binomial ideals or determinantal rings. We also explain a geometric method with a view toward constructing rings with certain singularities.

Dyadic Frequency Laws, Clock Dynamics, and Defect Scaling in a Perturbed Hofstadter $Q$-Recursion

math.CO

math.NT

v2

We study the perturbed Hofstadter $Q$-recursion \[ Q(1)=Q(2)=1,\qquad Q(n)=Q(n-Q(n-1))+Q(n-Q(n-2))+(-1)^n \quad (n\ge3). \] We investigate its value frequencies and dyadic fluctuation structure. Our first main result is an explicit dyadic frequency law: if $F(s)$ denotes the number of occurrences of the value $2s-1$, then for every $k\ge0$, \[ \{F(s):2^k\le s<2^{k+1}\} = \{3+\nu_2(j):1\le j\le2^k\} \] as multisets. The proof uses Clo\^itre's binary interleaving structure, dyadic hitting-time identities, and an induced rank-lifting mechanism for plateau zero-runs. We also study deviations from exact dyadic scaling through the renormalized defect $R(n)=Q(2n)-2Q(n)$. Introducing the auxiliary clock process $t_1(n)=n-Q(n-1)$, we prove the exact identity \[ R(n)=2t_1(n+1)-t_1(2n+1)-1, \] which expresses the dyadic defects entirely in terms of a single delayed clock dynamics. Numerical computations further indicate coherent fluctuation profiles across dyadic scales and approximate logarithmic self-similarity on the $\log_2 n$-scale. Together with Clo\^itre's asymptotic estimate $Q(n)=n/2+O(n/\sqrt{\log n})$, these results suggest a nontrivial recursive dyadic scaling structure in the perturbed recursion.

The V/L recursion for Macdonald's 7th Variation Schur polynomials

math.CO

math.NT

math.RA

v2

We generalize and prove the recursive relation \[ S_{\lambda}(V) = \sum_{L\subseteq V\text{ line}} S_{\lambda}(V \mathbin{/\mkern-5mu/} L) \] conjectured by I. G. Macdonald for his "7th variation" of the Schur functions. This variation is a family of polynomials over a finite field that mimic the (straight and skew) Schur polynomials using powers of the Frobenius.