Number Theory [math.NT]

Divisor Structure of p-1 in Mersenne Prime Exponents

math.NT

According to the Wagstaff heuristic, the probability that a Mersenne number $M_p = 2^p-1$ is prime mainly depends on the size of the exponent $p$. We investigate whether the secondary arithmetic structure in $p-1$ is linked to noticeable variation among Mersenne prime exponents, motivated by the cyclotomic decomposition of $2^{p-1}-1$. We introduce the normalized divisor-structure parameter $S(p)=\log \tau(p-1)/\log\log p$, which is a scale-invariant way to measure the divisor structure of $p-1$. Using the currently known Mersenne prime exponents (excluding small cases), we compare $S(p)$ with nearby prime controls through percentile analysis, stratified conditional likelihood estimation and stratified permutation testing. Across all methods, Mersenne prime exponents tend to exhibit elevated values of $S(p)$ within local exponent windows compared to nearby primes of comparable size. The observed effect is moderate and remains stable across different non-parametric tests. It is also compatible with the classical asymptotic behavior. An analytic mechanism has not yet been established, and a theoretical explanation of the observed phenomenon remains open.

Iwasawa Invariants of Even $K$-groups of Rings of Integers in the $\mathbb{Z}_2$-extension over Real Quadratic Number Fields

math.NT

Let $F$ be a real quadratic number field, and let $F_{cyc}$ denote its cyclotomic $\mathbb{Z}_2$-extension. For each integer $n\geq0$, let $F_n$ be the unique intermediate field in $F_{cyc}$ such that $[F_n:F]=2^n$. By studying the $2$-adic divisibility of Dirichlet $L$-series at negative integers, we derive an asymptotic formula that determines the order of the $2$-primary part of even $K$-groups of rings of integers of $F_n$ for sufficiently large $n$. As a corollary, we determine their $\lambda$ and $\mu$ invariants. We also establish a lower bound for $n$ beyond which this asymptotic formula holds. Our results have two main applications: (1) For $K=\mathbb{Q}$, $\mathbb{Q}(\sqrt{p})$ or $\mathbb{Q}(\sqrt{2p})$ with $p\equiv\pm3\mod 8$, we determine the structure of the $2$-primary tame kernels $K_2\mathcal{O}_{K_n}(2)$; (2) We explicitly determine the three Iwasawa invariants $\lambda,\mu,\nu$ for a family of real quadratic number fields, whose discriminants have arbitrarily many prime divisors.

Frobenius structure on rigid connections and arithmetic applications

math.NT

math.AG

math.RT

We construct the natural Frobenius structures on two families of rigid irregular $\check{G}$-connections on $\mathbb{G}_m$ (or $\mathbb{A}^1$) for a split simple group $\check{G}$: (i) the $\theta$-connections arising from Vinberg's $\theta$-groups introduced by Chen and Yun; (ii) the Airy connection of Jakob--Kamgarpour--Yi generalizing the classical Airy equations. These data form the $p$-adic companions of the $\ell$-adic local systems introduced by Yun and Jakob--Kamgarpour--Yi. Via the Frobenius structures, we study the local monodromy representations of these local systems at the unique wildly ramified point and verify the prediction of Reeder--Yu on epipelagic Langlands parameters in our setting. We calculate the global geometric monodromy group of a special Airy $\check{G}$-local system via its local monodromy. We show the cohomological rigidity and the physical rigidity of these local systems, as conjectured by Heinloth--Ng\^o--Yun.

On the Green-Tao theorem for sparse sets

math.NT

math.CO

We establish the following quantitative form of the Green--Tao theorem: if a set $\mathcal{A}$ of relative density $\delta$ within the primes up to $N$ contains no nontrivial arithmetic progressions of length $k\geq 4$, then $\delta\ll \exp(-(\log \log \log N)^{c_k})$ for some $c_k>0$. This improves on previous work of Rimani\'c and Wolf. The main new ingredients in the proof are a version of the Leng--Sah--Sawhney quasipolynomial inverse theorem for unbounded functions and a dense model theorem with quasipolynomial dependencies, which may be of independent interest.

On a cyclic structure of generators modulo primes

math.NT

In this paper, we introduce a new notion called the \textit{set of missing generators} $\mathcal{M}(g)$ for a generator (or primitive element) $g$ of the cyclic group $\mathbb{Z}_p^*$, where $p$ is an odd prime. The cardinality of $\mathcal{M}(g)$ is established for all odd primes $p$. For primes $p$ of the form $2^iq_1^{j_1}q_2^{j_2}+1$, the collection $V_p = \{ \mathcal{M}(g):g\in \mathcal{G} \}$ forms an equinumerous partition of $\mathcal{G}$ (the set of all generators of $\mathbb{Z}_p^*$), and a digraph defined on the vertex set $V_p$ is a disjoint collection of unicycles of the same size. Thus, for every such prime, an unique triplet $(c,n,e)$ of integers, describing the structure of the digraph of missing generators, can be associated. With the help of cyclic structure, we present a macroscopic additive property of generators of $\mathbb{Z}_p^*$. Further, we show that factoring RSA numbers is computationally equivalent to computing $T(p)$, under the assumption that there exists an absolute constant $k$ such that the set $\{2^iN^j+1: 1\leq i,j<\log^k N\}$ contains a prime for any given odd $N$.

On autoduality of Drinfeld modules and Drinfeld modular forms

math.NT

Let $\mathbb{F}_q$ be the field of $q$ elements and let $A=\mathbb{F}_q[t]$ be the polynomial ring over $\mathbb{F}_q$. Let $\mathfrak{n}\in A\setminus \mathbb{F}_q$ be a monic polynomial with a prime factor of degree prime to $q-1$. Let $\Delta$ be a subgroup of $(A/(\mathfrak{n}))^\times$ such that the map $\Delta\to (A/(\mathfrak{n}))^\times/\mathbb{F}_q^\times$ is bijective. Let $S$ be a scheme over $A[1/\mathfrak{n}]$ and let $R$ be an $A[1/\mathfrak{n}]$-algebra which is an excellent regular domain. In this paper, we show that any Drinfeld module $E$ of rank two over $S$ admitting a $\Gamma_1^\Delta(\mathfrak{n})$-structure is isomorphic to its Taguchi dual $E^D$. As an application, for the Hodge bundle $\bar{\omega}$ on the Drinfeld modular curve $X$ of level $\Gamma_1^\Delta(\mathfrak{n})$ over $R$, we give a dual Kodaira--Spencer isomorphism of the form $\bar{\omega}^{\otimes 2}\simeq \Omega^1_{X/R}(2\mathrm{Cusps})$, in contrast with the usual one in the Drinfeld case in which $E^D$ is involved.

Murmurations: a case study in AI-assisted mathematics

math.NT

stat.ML

We report the emergence of a striking new phenomenon in arithmetic, which we call murmurations. First observed experimentally through averages over large arithmetic datasets, murmurations can be detected and analyzed using standard interpretability tools from machine learning, including principal component weightings, saliency curves, and convolutional filters. Although discovered computationally, they constitute a genuinely new and intriguing phenomenon in arithmetic that can be formulated and investigated using established tools of number theory. In particular, murmurations encode subtle information about Frobenius traces and naturally belong to the framework of arithmetic statistics. More precisely, murmurations connect to central themes surrounding the conjecture of Birch and Swinnerton-Dyer and perspectives from random matrix theory. In this paper, we present an overview of murmurations, contextualizing them within number theory and AI.

The Flint Hills Series, Mixed Tate Motives, and a Criterion for the Irrationality Measure of $\pi$

math.NT

We undertake a rigorous structural analysis of the Flint Hills series $S = \sum_{n=1}^{\infty} \frac{1}{n^3 \sin^2 n}$. Our primary contribution is a reduction theorem that expresses $S$ as a linear combination of $\zeta(3)$ and a companion series $R_1^* = \sum_{n=1}^\infty \frac{\sin 3n}{n^3 \sin^3 n}$, with the equivalence "$S$ converges if and only if $R_1^*$ converges" holding unconditionally.We prove that this equivalence, combined with the classical result of Alekseyev, yields a sharp arithmetic criterion: $S$ converges if and only if the irrationality measure $\mu(\pi) \leq 5/2$. Conditionally on this bound, we identify $R_1^*$ as a period of a Mixed Tate Motive of weight 3 over the ring of integers $O_K$ of the imaginary quadratic field $K = Q(\sqrt{-3})$, lying in the image of the Borel regulator on $K_5(O_K)$. This gives a precise conjectural closed form for $S$ as a $Q$-linear combination of $\zeta(3)$ and $L(3, \chi_{-3})$ modulo a geometric correction term. All analytic identities are verified to fifty decimal places of precision.

The unstable complex in Bruhat-Tits buildings for arithmetic groups over function fields

math.NT

Let $K$ be a function field in positive characteristic, $\infty$ be a fixed place of $K$ and $K_\infty$ be the completion of $K$ at $\infty$. By the work of Serre, it is well known that, for a suitable arithmetic subgroup $\Gamma \subset GL_2(K)$, the $\Gamma$-unstable region of the Bruhat-Tits tree for $GL_2(K_\infty)$ is naturally homotopy equivalent to the spherical Tits building for $GL_2(K)$. Grayson, following Quillen's ideas, generalizes this homotopy equivalence to the non-semistable part of the Bruhat-Tits building for $GL_r(K_\infty)$. By using the method of proof of Grayson's result, we are also able show a similar homotopy equivalence for the $\Gamma$-unstable region, for $\Gamma \subset GL_r(K)$ a principal congruence subgroup.

Antisymmetry of real quadratic singular moduli

math.NT

We confirm a conjecture of Darmon-Vonk on the antisymmetry of real quadratic singular moduli. The proof relies on a careful analysis of rigid meromorphic cocycles \`a la Darmon-Gehrmann-Lipnowski for the split orthogonal group on four variables. Moreover, we prove the modularity of a generating series of Kudla-Millson divisors in the spirit of Gross-Kohnen-Zagier.

The SQInstructor: a guide to SQIsign and the Deuring Correspondence with level structures

math.NT

cs.CR

We explore the use of level structures to generalize the SQIsign signature scheme. We give a general framework where, given the public key and the commitment, the challenge is to exhibit an isogeny between them with an additional requirement, namely to map a chosen level structure to another. We then instantiate the framework using 1-dimensional and 2-dimensional isogenies. In doing that we provide a new explicit Deuring correspondence for supersingular elliptic curves with level structures and solve new constrained norm equations.

The Hofstadter consecutive-sum sequence omits infinitely many positive integers

math.NT

math.CO

Let $(a_n)_{n\ge 1}$ be the greedy self-generating sequence defined by $a_1=1$, $a_2=2$, and, for $k\ge 3$, by taking $a_k$ to be the least integer greater than $a_{k-1}$ that can be written as a sum of at least two consecutive earlier terms. Hofstadter asked about the asymptotic behavior of this sequence. In this paper we prove that $$ n+\omega(1)\le a_n \ll n^{4175/2506+o(1)}. $$ In particular, $(a_n)_{n\ge1}$ omits infinitely many positive integers, thereby settling a conjecture from the OEIS entry A005243.

Cycles on splitting models of Shimura varieties

math.AG

math.NT

math.RT

We construct exotic Hecke correspondences between the special fibers of different PEL type Shimura varieties, when the local groups are restrictions of scalars of unramified groups. In particular, the local groups themselves are not necessarily unramified, and the Shimura varieties can have bad reduction. By adapting the methods of Xiao-Zhu in the case of good reduction, we use this to construct new instances of the geometric Jacquet-Langlands correspondence, including a motivic refinement, and verify generic instances of the Tate conjecture for the special fibers of these Shimura varieties at very special level. Our main tool is to resolve the integral models by the splitting models of Pappas-Rapoport. We also define splitting versions of the moduli stacks of local shtukas and affine Deligne-Lusztig varieties, and study their geometry.

On the height boundedness of periodic and preperiodic points of dominant rational self-maps on projective varieties

math.AG

math.DS

math.NT

We give a counterexample to the following conjecture: the set of isolated periodic points of an automorphism of degree at least two on an affine space is a set of bounded height. As a positive result, we prove that any cohomologically hyperbolic dominant rational self-map on a projective variety admits a non-empty Zariski open subset on which the set of periodic points is height bounded. Concerning preperiodic points, we give an example suggesting that the same statement may fail.

On the Existence of Algebraic Equiangular Lines

quant-ph

math.NT

We consider real and complex equiangular lines, generated by unit vectors. We show that, for an arbitrary dimension $d$, if there exists a set of $d^2$ equiangular unit vectors in $\mathbb{C}^d$, then there must exist a set of $d^2$ equiangular unit vectors with all of their coefficients in a number field. This result is motivated by the question of constructing SIC-POVMs in quantum physics and conjectures around them. We discuss applications of our techniques to the case of real equiangular lines and consequences of the above results.

Smooth polynomials with several prescribed coefficients

math.NT

v4

Let $\mathbb{F}_q[t]$ be the polynomial ring over the finite field $\mathbb{F}_q$ of $q$ elements. A polynomial in $\mathbb{F}_q[t]$ is called $m$-smooth (or $m$-friable) if all its irreducible factors are of degree at most $m$. In this paper, we investigate the distribution of $m$-smooth (or $m$-friable) polynomials with prescribed coefficients. Our technique is based on character sum estimates on smooth (friable) polynomials, Bourgains's argument (2015) applied for polynomials by Ha (2016) and on double character sums on smooth (friable) polynomials.

Theta Operator Equals Fontaine Operator on Modular Curves

math.NT

v2

Inspired by [Pan22], we give a new proof that for an overconvergent modular eigenform $f$ of weight $1+k$ with $k\in\mathbb{Z}_{\ge1}$, assuming that its associated global Galois representation $\rho_{f}$ is irreducible, then $f$ is classical if and only if $\rho_{f}$ is de Rham at $p$. For the proof, we prove that theta operator $\theta^{k}$ coincides with Fontaine operator in a suitable sense.

Analytic Properties of an Orthogonal Fourier-Jacobi Dirichlet Series

math.NT

v2

We investigate the analytic properties of a Dirichlet series involving the Fourier-Jacobi coefficients of two cusp forms for orthogonal groups of signature $(2,n+2)$. Using an orthogonal Eisenstein series of Klingen type, we obtain an integral representation for this Dirichlet series. In the case when the corresponding lattice has only one $1$-dimensional cusp, we rewrite this Eisenstein series in the form of an Epstein zeta function. If additionally $4 \mid n$, we deduce a theta correspondence between this Eisenstein series and a Siegel Eisenstein series for the symplectic group of degree $2$. We obtain, in this way, the meromorphic continuation of the Dirichlet series to $\mathbb{C}$ as a corollary. In the case of the $E_8$ lattice, we are able to further deduce a precise functional equation for the Dirichlet series.

The Second Moment of Sums of Hecke Eigenvalues I

math.NT

v2

Let $f$ be a holomorphic Hecke cusp form of weight $k$ for $\mathrm{SL}_2(\mathbb{Z})$, and let $(\lambda_f(n))_{n\geq1}$ denote its sequence of Hecke eigenvalues. We compute the first and second moments of the sums $S(x,f)=\sum_{x\leq n\leq 2x}\lambda_f(n)$, on average over forms $f$ of large weight $k$, in the regime where the length of the sums $x$ is smaller than $k^2$. We observe transitions in the size of the sums when $x\approx k$ and $x\approx k^2$. In subsequent work (part II), it will be shown that once $x$ is larger than $k^2$ (where the latter transition occurs), the average size of the sums $S(x,f)$ becomes dramatically smaller.

On Ruzsa's conjecture on congruence preserving functions

math.NT

v2

Ruzsa's conjecture asserts that any sequence $(a_n)_{n \geq 0}$ of integers that preserves congruences, $\textit{i.e.}$, satisfies $ a_{n+k} \equiv a_n \mod k $, and has the growth condition $\limsup_{n \to +\infty} |a_n|^{1/n} < e$, must be a polynomial sequence. While previous results by Hall, Ruzsa, Perelli, and Zannier have confirmed this conjecture under stricter growth bounds, the general case remains open. In this paper, we establish a new partial result by proving that if in addition the generating series $ f = \sum_{n \geq 0} a_n x^n $ has at most two singular directions at $ x = 0 $, then $(a_n)_{n \geq 0}$ is necessarily a polynomial sequence. Our approach is based on an adaptation of Carlson's method, originally developed for the P\'olya-Carlson dichotomy, combined with a refined analysis of Hankel determinants. Specifically, we derive an upper bound on these determinants using P\'olya's inequality and a transfinite diameter argument of Dubinin, while a non-Archimedean divisibility condition on Hankel determinants yields a lower bound, ultimately leading to the rationality of $ f $. This confirms that counterexamples to Ruzsa's conjecture, if they exist, must exhibit at least three singular directions.

A Markov model for factorisation of iterated cubic polynomials

math.NT

v3

Motivated by the work of Boston, Jones and Goksel, we propose a Markov model for the factorisation of post-critically finite (PCF) cubic polynomials f. Using the information encoded in the critical orbits, we define a Markov model for PCF cubic polynomials with combined critical orbits of lengths one and two. Thanks to the work of Anderson et al., a complete list of PCF cubic polynomials over $\mathbb{Q}$ is available. Some of these polynomials have already been studied, such as those with colliding critical orbits analysed by Benedetto et al., which align with our model. We construct groups $M_n$ and prove that they follow our Markov model. These groups $M_n$ are conjectured to contain $\mathrm{Gal}(f^n)$.

Desingularization of double covers of regular surfaces

math.NT

math.AG

v3

Let $Z$ be a noetherian integral excellent regular scheme of dimension 2. Let $Y$ be an integral normal scheme endowed with a finite flat morphism $Y \to Z$ of degree 2. We give a description of Lipman's desingularization of $Y$ by explicit equations, leading to a desingularization algorithm for $Y$.

Explicit conditional bounds for the residue of a Dedekind zeta-function at $s=1$

math.NT

v3

We prove new explicit conditional bounds for the residue at $s=1$ of the Dedekind zeta-function associated to a number field. Our bounds are concrete and all constants are presented with explicit numerical values.

Galois Action and Localization in Number Fields

math.NT

math.AC

v4

For a Galois number field $K$, the Galois group $\text{Gal}(K/\mathbb{Q})$ acts on the class group $Cl_K$ in a very natural way: $\sigma\cdot[I]=[\sigma(I)]$ for any $\sigma \in \text{Gal}(K/\mathbb{Q})$, $[I]\in Cl_K$. In this paper, we will explore how the unique properties of this group action work together to elucidate the relationship between these two groups -- developing and expanding upon some known results from a new perspective. To this end, we explore the class groups of localizations of the ring of integers $\mathcal{O}_K$. These turn out to be powerful tools for understanding $Cl_K$ and overrings of $\mathcal{O}_K$. The paper concludes with some interesting observations about normset arithmetic -- a topic intimately related to this action.

Diophantine approximation with mixed powers of Piatetski-Shapiro primes

math.NT

v2

Let $[\,\cdot\,]$ denote the floor function. In this paper, we show that whenever $\eta$ is real and the constants $\lambda _i$ satisfy some necessary conditions, then for any fixed $\frac{63}{64}<\gamma<1$ and $\theta>0$, there exist infinitely many prime triples $p_1,\, p_2,\, p_3$ satisfying the inequality \begin{equation*} |\lambda _1p_1 + \lambda _2p_2 + \lambda _3p^2_3+\eta|<\big(\max \{p_1, p_2, p^2_3\}\big)^{{\frac{63-64\gamma}{52}}+\theta} \end{equation*} and such that $p_i=[n_i^{1/\gamma}]$, $i=1,\,2,\,3$.

Arithmetic dynamics and Generalized Fermat's conjecture

math.NT

math.AG

v4

We propose generalized Fermat's conjecture in the framework of arithmetic dynamics, and give evidences. The multi-indexed version is added.

On odd-spin $A_{1}^{(1)}$-string functions, cross-spin identities, and mock theta conjecture-like identities

math.NT

math.RT

v2

Determining the explicit forms and modularity for string functions and branching coefficients for Kac--Moody algebras after Kac, Peterson, and Wakimoto is a long-standing, yet wide-open, problem and recently a connection has been made between positive admissible-level $A_{1}^{(1)}$-string functions and Ramanujan's mock theta functions. In this paper we obtain the polar-finite decomposition for the admissible-level $A_{1}^{(1)}$ character of odd spin, and we also find new mock theta conjecture-like identities for the odd-spin, $2/3$-level and $2/5$-level $A_{1}^{(1)}$-string functions.

Functionality for isomorphism classes of curves and hypersurfaces

math.AG

math.NT

v2

We describe algorithms based on invariant theory to solve problems on the geometry of curves, mainly those of genus 2, 3 and 4. New theoretical results building on the first author's PhD thesis are also included.

Witt Group of Nondyadic Curves

math.AG

math.KT

math.NT

v4

Witt group of real algebraic curves has been studied since Knebusch in 1970s. But few results are known if the base field is non-Archimedean except the hyperelliptic case by works of Parimala, Arason et al.. In this paper, we compute the derived Witt groups of smooth proper curves over nondyadic local fields with $char\neq2$ by reduction, with a general study of the existence of Theta characteristics.

Relative Langlands duality for $\mathfrak{osp}(2n + 1|2n)$

math.RT

hep-th

math.NT

v2

We establish an $S$-duality converse to the one studied by the 1st, 2nd and 4th authors; this is also a case of a twisted version of the relative Langlands duality of Ben Zvi, Sakellaridis and Venkatesh.. Namely, we prove that the $S$-dual of $\text{SO}(2n+1)\times \text{Sp}(2n)$ acting on the tensor product of their tautological representations is the symplectic mirabolic space $\text{Sp}(2n)\times\text{Sp}(2n)$ acting on the product $T^* \text{Sp}(2n)$ and the tautological representations of $\text{Sp}(2n)$. (Note that due to the anomaly, the dual of the second factor $\text{Sp}(2n)$ is the metaplectic dual, i.e. $\text{Sp}(2n)$). We also formulate the corresponding global conjecture, which describes explicitly the categorical theta-correspondence on the Langlands dual side.

Infinite linear patterns in sets of positive density

math.DS

math.CO

math.NT

v3

In this article we describe all possible infinite linear configurations that can be found in a shift of any set of positive upper Banach density. This simultaneously generalizes Szemer\'edi's theorem on arithmetic progressions and the recent density finite sums theorem of Kra, Moreira, Richter, and Robertson.

Classifying integer tilings and hypertilings

math.CO

math.NT

v2

There are two objectives to this work: to classify all tame integer tilings and to classify all tame integer hypertilings. Motivation for the first objective comes from Conway and Coxeter's modelling of positive integer friezes using triangulated polygons, which has received significant attention since the discovery of cluster algebras by Fomin and Zelevinsky in 2002. Assem, Reutenauer, and Smith introduced $\text{SL}_2$-tilings as generalisations of friezes, and Bessenrodt, Holm, and J{\o}rgensen classified positive integer $\text{SL}_2$-tilings using infinite triangulated polygons. Here we consider $N$-tilings, of which $\text{SL}_2$-tilings are the case $N=1$. We provide a geometric model for all tame integer $N$-tilings using a generalisation of the Farey graph in the hyperbolic plane. Highlights of this model include classifications of all positive integer $N$-tilings and of all positive rational friezes, with entries encoded by lambda lengths or weight data of triangulated polygons. The second objective is motivated by Bhargava's celebrated study of binary quadratic forms using integer cubes and by an observation of Demonet et al. that there is essentially only one three-dimensional positive integer tiling with $\text{SL}_2$ cross sections. We consider a richer class of three-dimensional tilings, which we call hypertilings, using the Cayley hyperdeterminant. We classify all tame integer hypertilings using generalised Farey graphs; remarkably, those with Cayley hyperdeterminant 1 prove to have a simple description in terms of triple Hadamard products of integer pairs.

A Comparison of Gauge Dimension and Effective Dimension

math.LO

math.NT

v2

We characterize the gauge profile of $\mathcal{D}_s$, the set of reals with effective dimension $s$, and $\mathcal{D}_{\leq s}$, the set of reals with effective dimension $\leq s$. Let $W(s)$ be the set of reals that are $s$-well approximable. This gives us a separation between $\mathcal{D}_{\leq s}$ and $W(2/s)$ in terms of Hausdorff measure.

Overcolored Partition Restricted by Parity of the Parts

math.CO

math.NT

v2

Very recently, Thejitha, Sellers, and Fathima defined the function $a_{r,s}(n)$, which enumerates the number of multicolored partitions of $n$, wherein both even parts and odd parts may appear in one of $r$-colors and $s$-colors, respectively, for fixed $r,s\ge 1$. In this paper, we extend the concept to overpartitions.