Number Theory [math.NT]

A note on least primitive roots

math.NT

The least primitive root $g(p)$ modulo a prime $p$ is conjectured by Grosswald to satisfy $g(p)<\sqrt{p}-2$ for any $p>409$. We make progress towards the conjecture by proving $g(p)<\sqrt{p}-2$ when $p > 1.77 \times 10^{54}$.

Polylogarithmic Chabauty--Kim loci over number fields

math.NT

We study polylogarithmic Chabauty--Kim loci for $S$-integral points on $\mathbb{P}^1\smallsetminus\{0,1,\infty\}$ over number fields. We compare motivic and \'etale Selmer schemes, describe Galois actions on Selmer schemes and period rings, and give an explicit formula for the localisation map on the polylogarithmic Selmer scheme. For imaginary and real quadratic fields, we derive equations and determine several polylogarithmic and full Chabauty--Kim loci and show that Kim's Conjecture holds in several new cases. In other cases, we show that the polylogarithmic Chabauty--Kim method is insufficient to cut out precisely the $S$-integral points, even when combined with $S_3$-symmetrisation, due to additional points arising from $p$-adic roots of unity. As a further application, we give a Chabauty--Kim theoretic proof of the $S$-Selmer Section Conjecture for imaginary quadratic fields when $S$ is empty or $S$ consists of a single prime not fixed by complex conjugation.

Maximal and minimal curves of the form $y^3=x^{(q^2+1)/2}+x$

math.NT

math.AG

Let $p\ge 5$ be a prime with $p\equiv -1\pmod 3$, let $q=p^r$, and consider \[ \cC:\qquad y^3=x^{(q^2+1)/2}+x \] over $\F_{q^6}$. We prove the exact formula \[ \#\cC(\F_{q^6})=q^6+1+(-1)^{r+1}(q^2-1)q^3. \] Since $g(\cC)=(q^2-1)/2$, the curve is maximal when $r$ is odd and minimal when $r$ is even. The proof uses a birational Kummer model and an explicit Jacobi-sum point count. A congruence together with Frobenius invariance reduces the relevant Jacobi sums to cubic Gauss sums, whose sign is determined from the Fermat cubic. In particular, the maximality of $y^3=x^{13}+x$ over $\F_{5^6}$ appears as the first case of an infinite family.

Euler characteristic of the Selmer group attached to an Artin representation

math.NT

Longo and Vigni extended a result of Greenberg by giving a relation between the cardinality of the Selmer group and the characteristic power series of its Pontryagin dual over the cyclotomic $\mathbb{Z}_p$-extension for a $p$-adic Galois representation. In this paper, we extend this result to the case of Artin representations, following the framework of Greenberg and Vatsal.

Complete Resolution Of A Family Of Twisted Thue Equations

math.NT

One of the first infinite families of Thue equations, $$F_n(X)=X^3 - (n-1) X^2Y - (n+2)XY^2 - Y^3 = \pm 1$$ for $n\in \mathbb{Z}$, was solved by Thomas in 1990. This family is associated to the simplest cubic fields $\mathbb{Q}(\lambda)$ of Shanks, where $\lambda$ is a root of $F_n(X,1)$. Levesque and Waldschmidt twisted the Thue equations by an exponent $t$ and looked at the equation $$N_{\mathbb{Q}(\lambda)/\mathbb{Q}}(X-\lambda^t Y)=\pm 1,$$ where $t\in \mathbb{Z}$ with $t\neq 0$. In this paper, we find all solutions $(X,Y,n,t)\in \mathbb{Z}^4$ with $n,t\in\mathbb{Z}$ and $t\neq 0$ to this family of twisted Thue equations, thereby answering a question of Levesque and Waldschmidt.

Arithmetic $\mathcal{D}$-modules over Laurent series fields: the relative case

math.NT

math.AG

Let $k$ be a perfect field of characteristic $p>0$. Within Berthelot's theory of arithmetic $\mathcal{D}$-modules, we construct a $p$-adic formalism of Grothendieck's six operations for quasi-projective schemes over the basis $\mathrm{Spec}\, k[[t]]$.

Adjoint Closures of Singular Pairs of Quadratic Forms and a Pfister-Type Criterion

math.NT

math.RA

Let $K$ be a field of characteristic different from $2$. First proved that, for a nonsingular pair of quadratic forms over a number field or a real closed field, weak hyperbolicity is equivalent to vanishing of the total signature on the adjoint closure, and he asked whether nonsingularity is necessary. We show that it is. Over every formally real field, we construct a singular pair on $K^7$ whose adjoint closure is exactly its two-dimensional pencil and consists entirely of hyperbolic forms, although the pair is not weakly hyperbolic. We then identify the mechanism. For every symmetric singular Kronecker block $M_\varepsilon$ of positive minimal index, its adjoint closure is its pencil; moreover, adjoining $M_\varepsilon$ to a nonsingular pair collapses the visible regular closure to the original pencil. Minimal-index-zero blocks, by contrast, preserve the full regular closure. This yields an exact visibility dichotomy and a general family of counterexamples. Finally, over number fields and real closed fields, we prove that dimension $7$ is minimal. For the minimal example we also compute the full adjoint algebra and its involution-trace form.

Legendre polynomials and complex multiplication, II: class numbers of quadratic fields and genus 2 supersingular polynomials

math.NT

The factorizations over $\mathbb{F}_p$ of two supersingular polynomials $h_p(x)$ and $g_p(x)$ for genus $2$ curves, discussed by Ibukiyama, Katsura and Oort in their 1986 paper, are investigated. These polynomials are congruent modulo $p$ to the Jacobi polynomials $P_n^{(\alpha,0)}(1-2x)$, for $\alpha = \pm 1/4, \pm 1/6$, respectively. The number of their linear factors (mod $p$) is determined in terms of class numbers of the imaginary quadratic fields $\mathbb{Q}(\sqrt{-dp})$, where $d \in \{1,2,3\}$. The proofs use a quadratic transformation relating these polynomials to the Legendre polynomials $P_n(x)$; previous results on linear and binomial quadratic factors of $P_{(p-e)/4}(x)$ and $P_{(p-\bar e)/3}(x)$ proved by Brillhart and Morton; and properties of the irreducible quadratic factors of the class equations $H_{-3p}(X)$ and $H_{-12p}(X)$ (mod $p$). The quadratic transformation and linear factor results for $h_p(x) \equiv P_n^{(\pm1/4,0)}(1-2x)$ were first discovered using artificial intelligence.

Anabelian Geometry in Families

math.NT

math.AG

math.AT

Anabelian geometry as an attempt to describe geometry in terms of \'etale topological data has addressed so far mainly categories of varieties over a field. In this paper we work over a normal base scheme $S$ of finite type over a sub-$p$-adic field and show that families of hyperbolic curves over $S$ are anabelian among smooth $S$-schemes with respect to dominant morphisms.

Sums of products of Kloosterman sums to prime power moduli

math.NT

We prove new bounds on complete sums of products of k additively shifted Kloosterman sums to odd high prime power moduli q=p^n, which feature substantially stronger power savings (about q^(-1/ceil(k/2)) in generic configurations) and a novel quantification of the alignment among the shifts. We prove our bounds by developing a method to estimate complete exponential sums with a broad class of phases well-controlled by a specified number of initial terms in a property reflecting p-adic differentiability.

Almost sure upper bound for sums of random multiplicative functions and critical chaos

math.NT

math.PR

Let $f$ be a Steinhaus or Rademacher random multiplicative function. We use methods from the theory of critical chaos to improve on the best known upper bound for partial sums of random multiplicative functions. In particular, our results imply that for any $\varepsilon>0$, almost surely $$ \Big|\sum_{n\le x}f(n)\Big| \ll_{f,\varepsilon}\sqrt{x}(\log_2x)^{1/4}(\log_3x)^{1+\varepsilon}. $$ This proves in a strong form a conjecture of Harper on large fluctuations of partial sums of random multiplicative functions, and determines the exact corresponding logarithmic exponent.

On nearly consecutive sequences without long arithmetic progressions

math.CO

math.NT

A sequence $a_1,\ldots,a_n$ of integers is nearly consecutive if $a_{i+1}-a_i \in \{1,2\}$ for $1 \leq i \leq n-1$. We prove that there are nearly consecutive sequences of length $\Omega(2^k/k^2)$ that contain no $k$-term arithmetic progression. This improves on the previous best known bound of Alon and Zaks from 1998. We also prove a generalization for sequences with bounded gaps.

A new lower bound for two-color van der Waerden numbers

math.CO

math.NT

The van der Waerden number $w(k)$ is the smallest positive integer $N$ such that every two-coloring of $\{1,2,\ldots,N\}$ contains a monochromatic $k$-term arithmetic progression. We prove that $w(k) \geq (1-o(1))k2^{k-1}$ holds for all positive integers $k$. This verifies a conjecture of Erd\H{o}s. In 1968, Berlekamp proved the same result when $k-1$ is prime. The coloring for general $k$ can be viewed as a product of Berlekamp's colorings for various primes. It was found by ChatGPT 5.6 Sol Pro.

Monogenic Cyclic Polynomials in Recurrence Sequences

math.NT

v2

Let $f(x)\in {\mathbb Z}[x]$ be an $N$th degree polynomial that is monic and irreducible over ${\mathbb Q}$. We say that $f(x)$ is {\em monogenic} if $\{1,\theta,\theta^2,\ldots ,\theta^{N-1}\}$ is a basis for the ring of integers of ${\mathbb Q}(\theta)$, where $f(\theta)=0$. We say that $f(x)$ is {\em cyclic} if the Galois group of $f(x)$ over ${\mathbb Q}$ is the cyclic group of order $N$. In this article, we investigate the appearance of monogenic cyclic polynomials in certain polynomial recurrence sequences.

The determination of norm-Euclidean cyclic cubic fields

math.NT

v2

It is known on the Generalised Riemann Hypothesis that there are precisely $13$ cyclic cubic fields that are norm-Euclidean. Unconditionally, there is a gap between analytic estimates which hold for all sufficiently large conductors and computational techniques. In this paper, we establish new results concerning explicit bounds for cubic non-residues and refine previous computational techniques, enabling us to completely characterise all norm-Euclidean cyclic cubic fields.

Local constancy of reduction type and related invariants for curves in $p$-adic families

math.NT

math.AG

v2

We investigate the behaviour of the reduction type and related invariants of curves in families of curves over a discretely valued field. By a family, we will mean a set of curves obtained by perturbing the coefficients of the defining equations. We will show that the reduction type in these families is locally constant in the topology induced by the valuation. We also derive local constancy results for some related invariants, such as the Tamagawa number, the Birch and Swinnerton-Dyer 'fudge factor' and the Galois representation.

Goldfeld conjecture for non-hyperelliptic direction

math.NT

v2

Since the curve $y^2 = x^6+1$ has a large automorphism group, there exist twist families arising from non-hyperelliptic directions. In this paper, we give an explicit upper bound on the average analytic rank of such a family, assuming the generalized Riemann hypothesis for the $L$-functions. Also, we propose an analogue of the Goldfeld conjecture for the family following Katz--Sarnak philosophy.

The fourth known primitive solution to $a^5 + b^5 + c^5 + d^5 = e^5$

math.NT

v4

We report the fourth known primitive solution to the Diophantine equation $a^5 + b^5 + c^5 + d^5 = e^5$, extending the small set of solutions identified in 1966, 1996, and 2004. The new solution has target value $e = 1{,}956{,}878$, more than an order of magnitude larger than those of all previously known primitive solutions. It was obtained by a large-scale computational search using an optimized meet-in-the-middle algorithm. To make this search feasible under fixed memory, we introduce a partitioning strategy that trades additional preprocessing for reduced memory usage, and show that this approach remains practical for search ranges well beyond those explored here. Finally, we compare structural properties of known fourth- and fifth-power counterexamples to Euler's sum-of-powers conjecture, observing that most known fifth-power solutions have their largest summand close to the target value.

Irreducibility and Monodromy of Automorphic Galois Representations of $\mathrm{GL}(4)$

math.NT

v2

We prove that over totally real fields, the $p$-adic Galois representations attached to non-self-dual regular algebraic cuspidal automorphic representations of $\mathrm{GL}(4)$ are irreducible. We then develop the theory of extra-twists in a general setting and use it to compute the monodromy group (over $\mathbb{Q}$) of these Galois representations, in both self-dual and non-self-dual settings, and prove $p$-adic and residual big image results.

Explicit bounds for Dickman's function

math.NT

math.CA

v3

Dickman's function $\rho(u)$ denotes the natural density of integers $n$ whose largest prime factor does not exceed $n^{1/u}$. We establish numerically explicit upper and lower bounds for $\rho(u)$, resulting in estimates with a relative error of less than $0.005/u^2$ for all $u\ge 5$. This allows for an approximate evaluation of $\rho(u)$ without the need to solve the delay differential equation numerically.

On a conjecture of Andrews and almost alternating sign patterns

math.NT

v2

In this paper, we prove a sign phenomenon first observed by Andrews for certain $q$-series from Ramanujan's Lost Notebook. For three of the series considered by Andrews, namely $v_2(q)$, $v_3(q)$, and $v_4(q)$, we show that the coefficients are alternating in sign, with only a density-zero set of exceptions. Our approach yields precise asymptotic formulas for the coefficients via an adapted circle method, inspired by the work of Folsom-Males-Rolen-Storzer on the $q$-series $v_1(q)$, revealing an interplay between exponential growth and oscillatory behaviour. This interaction produces a dominant alternating sign factor, which governs the sign regularity observed numerically by Andrews. More broadly, we establish the same sign behaviour for explicit infinite families of $q$-hypergeometric series encompassing these examples, and show that it arises systematically from oscillatory asymptotics of these $q$-series near roots of unity. We introduce an additional family whose coefficients appear to exhibit similar sign regularity, suggesting that this phenomenon is widespread and may point towards a deeper underlying theory.

Iwasawa invariants and exceptional pairs of certain abelian fields

math.NT

v2

Let $p$ be an odd prime number and $\zeta_p$ a primitive $p$-th root of unity. By computing special arithmetic elements modulo prime ideals, we have investigated the Iwasawa invariants and exceptional pairs $(p,\chi \omega_p^k)$ of $\mathbf{Q}(\sqrt{d},\zeta_p)$. Here $\chi$ denotes the Dirichlet character associated to $\mathbf{Q}(\sqrt{d})$, and $\omega_p$ the Teichm\"uller character at $p$. First, we determine $\varLambda$-isomorphism classes of Iwasawa modules, and describe structural differences between exceptional and non-exceptional pairs in terms of unramified extensions outside $p$. Next, we report 15 new exceptional pairs in the range $|d|<200$ (resp.~$|d|<10$) and $p <2,\!000,\!000$ (resp.~$p <30,\!000,\!000$), including $(p,k,d)=(28,\!679,\!999,\;2,\!284,\!521,-8)$ for which the $\chi \omega_p^{1-k}$-part of the Iwasawa $\lambda$-invariant is equal to two.

On the residual Eisenstein cohomology of unitary groups

math.NT

v2

We investigate the residual Eisenstein cohomology of an arbitrary unitary group $U(V)$ attached to an arbitrary quadratic extension of number fields $E/F$. Our focus lies on the contribution of the maximal parabolic $F$-subgroups of $U(V)$, for which we identify the cohomologically relevant poles of Eisenstein series and prove that the resulting residues all survive as non-trivial classes in automorphic cohomology in an explicit degree. To illustrate the range of phenomena involved, we study in detail the case of a unitary group over $F=\mathbb{Q}(\sqrt[3]{2})$ of $F$-rank $3$, for which we explicitly construct cuspidal automorphic representations, which satisfy all the assumptions of our main theorem and hence explicitly construct non-zero residual Eisenstein cohomology classes for this unitary group. The methods used in this construction are paradigmatic however, i.e., generalize to other unitary groups over other ground fields $F$ by the use of base change.

Shifted second moment of Gaussian Hecke $L$-functions $L(s,\lambda^k)$

math.NT

v3

We establish a uniform asymptotic formula for the smoothly weighted shifted second moment of the Gaussian angular Hecke $L$-functions $L(s,\lambda^k)$. The completed moment is expressed as the sum of four explicit main terms, corresponding to the four functional-equation swaps, with an error of size $O_{\Phi,\epsilon}(K^{1/2+\epsilon})$.After the Archimedean factors are removed, the resulting formula agrees with the numerator-only specialization of the four-swap prediction of the $L$-functions Ratios Conjecture. The proof transforms the off-diagonal contribution into Weyl sums over the roots of $r^2\equiv-1\pmod C$, realizes these sums spectrally through incomplete Poincar\'e series evaluated at $i$, and separates the Eisenstein and Maa\ss{} spectra. The two $v$-type main terms arise respectively from the zero frequency and from the combined residues of two moving Eisenstein poles, while the cuspidal spectrum is absorbed into the square-root error term.

Abelian-normal decimal expansions

math.CO

math.NT

v2

A landmark paper on normal numbers due to Champernowne [J. London Math. Soc., 1933] provided the first explicit construction of a normal number. Since many research works have concerned normality-preserving selection rules and operations on the sequence of digits of a given normal number, this leads us to introduce the concept of an abelian-normal number, in such a way so that subwords that are equivalent up to permutations are counted as being equivalent, and so that the number of occurrences of equivalent subwords appearing, up to a given point in a decimal expansion, is then normalized by the size of the associated equivalence class. This may be thought of as giving rise to an interdisciplinary area linking combinatorics on words and probabilistic number theory. Since every normal number is abelian-normal, this raises the question as to whether or not there exists an abelian-normal number that is not normal. We succeed in constructing such a constant in an explicit way.

Bertini theorems for Hilbert-Samuel multiplicity over finite fields

math.AG

math.AC

math.NT

v2

Let $X$ be a quasiprojective subscheme of $\mathbb{P}^n_{\mathbb{F}_q}$. We prove a Bertini theorem for Hilbert--Samuel multiplicity of $X$; that is, there exists a positive-density set of hypersurfaces $H_f$ such that for every point $\xi\in X\cap H_f$, one has $\operatorname{ord}_\xi(f)=1$ and $e_\xi(X\cap H_f)=e_\xi(X)$. Furthermore, we extend this result on hypersurfaces to complete intersections, hypersurfaces containing a prescribed subscheme, and semiample linear systems.

Spectral convergence of hyperbolic surfaces and quantum ergodicity

math.SP

math-ph

math.MP

math.NT

v2

We extend the notion of Plancherel convergence, introduced in the study of compact quotients of locally compact groups, to finite-area hyperbolic surfaces and establish a quantum ergodicity theorem for Plancherel sequences. We show that the expectation values of integral operators whose kernels are uniformly bounded and have uniformly bounded propagation become asymptotically equidistributed, on average, for eigenvalues in a fixed compact interval. Our result recovers the case of multiplication operators studied by Le Masson and Sahlsten, corresponding to the degenerate case of propagation bound zero and kernels supported on the diagonal. Moreover, our result allows the systole to shrink without a uniform lower bound, with the allowed degeneration constrained by Plancherel convergence. This identifies Plancherel convergence as a natural spectral framework for quantum ergodicity on degenerating hyperbolic surfaces.

Lonely Runners over Function Fields: Quantized Phase--Riesz product

math.CO

math.NT

v2

Let $C_k(q)$ be the least cardinality of a family of nonzero polynomials over $\mathbb F_q$ whose associated codimension-$k$ partial-circulant kernels cover the full coefficient space. Chow and Rimani'c conjectured that $C_k(q)=1+q+\cdots+q^k$. We disprove the unrestricted conjecture by constructing thirteen monic polynomials over $\mathbb F_2$ whose $k=3$ kernels cover $\mathbb F_2^7$; in particular, $C_3(2)\le 13<15$. For a general covering family of size $N=q^k+S$ and $\mathbb F_q$-linear rank $d$, we prove $S\gg d^{2/3}\left(\frac{\log(2q)}{\log(eNq^k/S)}\right)^{2/3}$. Consequently, for every fixed $k\ge 2$ and all sufficiently large $q$, $C_k(q)\ge q^k+c_kq^{2/3}$. When $k=2$, an integer-multiplicity refinement of the second-moment covering argument yields $\liminf_{q\to\infty}(C_2(q)-q^2)/q\ge \widetilde c_2$, where $\widetilde c_2$ is an explicit one-variable variational constant with numerical value $\widetilde c_2=0.5829944375\ldots$. We also classify triples admitting two independent low-degree polynomial syzygies and prove a conditional packet-free lower bound of size $q^k+(1/2-o(1))q^{k-1}$.