Number Theory [math.NT]

The exceptional set of the Goldbach problem

math.NT

We study the estimates for the number of exceptions to the representation of integers as the sum of at most two prime numbers. Most of this article is a survey that gives an overview of existing results. We begin with the legendary Hardy-Littlewood circle method and show how it paved the way to a power saving by Montgomery-Vaughan in 1975 and Pintz in 2018. We conclude with a new result that is a fully explicit formula for the major arcs. Another new observation is the non-existence of exceptional zeros under a sparse version of the Hardy-Littlewood conjecture. The survey part of this article aims to be accessible to an audience that has not encountered these techniques before.

Multivariate counting of wild abelian extensions

math.NT

Let $K$ be a global function field of characteristic~$p$ and let $G$ be a finite abelian group of exponent $p^e$. We show that the multivariate generating function counting sub-$G$-extensions of $K$ with respect to $e$ specific height functions (encoding successive drops in the exponents of the higher ramification groups) is rational.

On some Diophantine and Ergodic properties of the Schneider map over function fields

math.NT

math.DS

We introduce and study continued fractions defined by Schneider-like maps over polynomial rings, where the maps are associated with a fixed polynomial of arbitrary degree. In particular, we prove the existence and uniqueness of the continued fraction expansion for every element of the field of Laurent series. We then establish precise Diophantine approximation properties of the corresponding convergents. We also study the dynamical aspects of the underlying map, proving that the Haar measure is invariant and ergodic. As an arithmetic consequence, we determine the asymptotic sum of the digits of the expansion for almost every element. Finally, we identify the set of elements that are worst approximable in this framework and compute its Hausdorff dimension, showing that it is a fractal set of positive dimension.

On the greatest common divisor of $n, \lfloor \alpha_1n\rfloor, \lfloor \alpha_2n^2\rfloor, ..., \lfloor \alpha_kn^k\rfloor$

math.NT

We answer a question of Bergelson and Richter about the probability of the relation $\gcd(n,\lfloor\alpha_1n\rfloor,\lfloor\alpha_2n^2\rfloor,...,\lfloor\alpha_kn^k\rfloor)=1$ for $n\in\mathbb{N}$ when $\alpha_1,...,\alpha_k$ are fixed irrational numbers. In particular, we avoid the use of exponential sums, as they are difficult to control when one of $\alpha_1,...,\alpha_k$ admits very efficient rational approximations. Instead, we use an elementary method similar to that of Erd\H{o}s and Lorentz, together with some general bounds on those $n$'s which share a large prime divisor with $\lfloor\alpha_1n\rfloor$.

An Asymptotic Bound for Non-covering Congruence Systems over Fq[x]

math.NT

Fix a prime power $q$. Let $D_q(n)$ be the largest possible least degree of a polynomial omitted by a non-covering family of $n$ congruence classes in $\mathbb F_q[x]$. Assuming the known theorem that every non-covering family of $n$ classes omits a polynomial of degree less than $n$, we prove \[ D_q(n)=\frac{n}{q-1}+O_q(1). \] The upper bound combines a minimal-counterexample reduction to irreducible moduli with a truncated inclusion--exclusion (Brun sieve) argument. A nested-modulus construction gives the matching lower bound. This is a follow-up to the author's 2025 work.

Perfect $2$-codes over arbitrary alphabets

math.NT

cs.IT

math.IT

The classification of perfect $e$-codes over an arbitrary alphabet of size $q$ is complete for $e > 2$. In the case of non prime power $q$, it is conjectured that no perfect $2$-codes exist. We confirm this conjecture in a number of situations, including the case where $q=2^\alpha p^\beta$ with $p$ prime, $\alpha$ and $\beta$ positive integers, and either $\alpha \leq 20$, or $\alpha$ sufficiently large.

Schur Eisenstein series and Schur MacMahon series

math.NT

math.CO

math.QA

We introduce and study two partition-indexed families of quasimodular forms obtained from Schur functions: Schur Eisenstein series and Schur MacMahon series. An explicit transition between them can be interpreted as a convolution in a Fa\`a di Bruno Hopf algebra of symmetric functions. We discuss the classical sl2-action and prove that Schur Eisenstein series for partitions with parts of size at most 3 give a basis for quasimodular forms. Further, we conjecture that the Schur MacMahon series span all quasimodular forms with integral coefficients.

Irrationality of finite logarithms in a congruence-class ad\`ele ring

math.NT

Finite logarithms of non-zero rational numbers can be defined in the "poor man's ad\`{e}le ring" ${\mathcal A}$ by Fermat quotients modulo sufficiently large primes. This ring contains $\mathbb{Q}$ and outside trivial cases, Matsusaka and Seki have shown that finite logarithms cannot take non-zero rational values in ${\mathcal A}$. Furthermore, a theorem of Silverman shows they are not zero, assuming the $abc$-conjecture. We extend these results to primes restricted to arithmetic progressions of the form $p\equiv 1\bmod m$ by relating Fermat quotients to values of cyclotomic polynomials and their logarithmic derivatives. As an application we show that, subject to the $abc$-conjecture, finite logarithms cannot be quadratic irrational in ${\mathcal A}$ in an appropriate sense.

On a question of Gowers related to Littlewood's conjecture

math.NT

In a blogpost in 2009, Gowers raised a possible approach to Littlewood's conjecture in Diophantine approximation, leading to a question about the existence of sufficiently many points in the unit cube such that "hyperbolic distance" between any two of them is large. In this note we answer this question by an explicit construction. This shows that this approach to prove Littlewood's conjecture cannot work, unless some further refinements are added.

On the Gow--McGuire Conjecture for Primitive Quadratic Polynomials

math.NT

Let \(q\) be an odd prime power, let \(\mu\in\F_q^\times\), and let \(\alpha\in\F_{q^2}\setminus\F_q\). We study primitive polynomials in the family \(x^2+\mu x+\lambda-\alpha\), where \(\lambda\in\F_q\). A root parametrization reduces the problem to finding primitive values of a rational function on \(q+1\) points. Combining character-sum estimates, refined prime sieves, and an exact finite computation, we prove Conjecture~3 of Gow and McGuire for every odd prime power \(q>204931\). Their Conjectures~1 and~2 follow in the same range.

Random linear configurations in dense sets and primes

math.NT

math.CO

We prove that every polylogarithmically dense subset of $[N]$ contains a nontrivial configuration $x+b_1m,\ldots,x+b_km$ for almost all choices of the coefficient vector $(b_1,\ldots, b_k)$ in a wide range of scales. We prove the same statement for polylogarithmically relatively dense subsets of the primes, in a shorter range of scales. The main ingredients are a new quantitative generalised von Neumann theorem, degree lowering to the $U^{1+}$ norm, and densification arguments that transfer the result to the primes.

Regularity of Diophantine quadruples over $\mathbb{Q}(i)[X]$

math.NT

We prove that every Diophantine quadruple $\{a,b,c,d\}$ over $\mathbb{Q}(i)[X]$ that contains at least one non-constant polynomial is regular; that is, $$(a+b-c-d)^2=4(ab+1)(cd+1).$$ This result is consistent with the corresponding results over $\mathbb{Z}[i][X]$ and $\mathbb{R}[X]$, but contrasts with the situation over $\mathbb{C}[X]$.

Euler-type Recurrence Relations for Partition Functions with Congruence Conditions

math.NT

We study partition functions $p_{\delta,g}(n)$ counting partitions into parts congruent to $0$ or $\pm g \pmod\delta$. Using generalized Dedekind eta functions and Rankin-Cohen brackets, we derive infinite families of Euler-type recurrences involving divisor sums and Fourier coefficients of cusp forms. We also obtain an explicit recurrence for $\delta=5$, which, as a corollary, gives a Ramanujan-type congruence. As a corollary of our method of proof, we obtain a Rademacher-type formula involving Kloosterman sums and Bessel functions.

Eventually greedy best Egyptian underapproximations of rational numbers via optimal control

math.NT

math.CA

math.CO

math.OC

We prove that every positive rational number has eventually greedy best Egyptian underapproximations, both when repetitions of the denominators are allowed and when the denominators are required to be distinct. This answers affirmatively a problem originating with Erd\H{o}s and Graham and later revisited by Nathanson, and yields an application concerning the maximal asymptotic growth of denominators in unit fraction series converging to certain rational numbers. We reformulate the question as an optimal control problem for a dynamical system, construct an appropriate payoff function, and study properties of the associated Bellman function. We also answer another question of Nathanson by constructing an irrational number with unique and greedy best Egyptian underapproximations.

Ginzburg's conjecture on the unramified computation of Eulerian integrals

math.NT

In this paper, we prove a conjecture of D. Ginzburg on the unramified computation of an Eulerian global integral associated with a cuspidal automorphic representation of $\mathrm{GL}_{2r}$ and the generalised Speh representation $\Delta(\tau_2, r)$ attached to a cuspidal automorphic representation $\tau_2$ of $\mathrm{GL}_2$. We also study an analogous Eulerian global integral involving degenerate Eisenstein series and compute its unramified local factors.

Vertex volumes, lattice-minima tails, and height zeta functions for the standard arithmetic quotient of $\operatorname{PGL}_d$

math.NT

math.GR

We study the standard nonuniform arithmetic quotient of the affine Bruhat--Tits building attached to $\operatorname{PGL}_d(\mathbb F_q(\!(t^{-1})\!))$, with Haar measure normalized so that a maximal compact subgroup has volume one. We first compute its vertex volume in closed product form. The proof is entirely building-theoretic: vertices are parametrized by a dominant sector, their stabilizers are counted exactly, and the resulting sum over block compositions is evaluated by a cut-set recursion. On the same quotient, we introduce a homothety-invariant normalized lattice-minima height $\alpha$. We determine its exact integrability threshold, proving that $\alpha$ belongs to $L^r$ precisely for $0

Deformation of the absolute Galois groups of number fields

math.NT

The technical goal of this paper is to construct and study profinite monoids DG_K for number fields K such that (1) the unit group of DG_K is isomorphic to the absolute Galois group G_K; (2) the maximal abelian quotient of DG_K is isomorphic to the Deligne-Ribet monoid DR_K; (3) the idempotents of DG_K bijectively correspond to subsets of the set P_K of (finite) primes of K; (4) the maximal Galois groups G_{K, S} with restricted ramifications S all appear as maximal closed subgroups of DG_K at idempotents; (5) all maximal closed subgroups of DG_K at idempotents are of this form. We also discuss the relationship between DG_K and the p-typical Witt vectors of Borger and de Smit, where we will describe the fundamental monoid of the semi-galois category of Lambda-rings of Borger and de Smit in terms of fields of norms of the local field K_p in particular.

Schwartz spaces on L-monoids: non-Archimedean

math.NT

math.RT

We complete the Braverman-Kazhdan-Ng\^{o} program over non-Archimedean local fields assuming local Langlands conjecture for tempered representations and a natural assumption on the $\gamma$-factors of non-supercuspidal discrete series. In particular, the program is complete unconditionally for general linear groups.

Sumsets and generalized arithmetic progressions in multiplicative subgroups

math.NT

math.CO

Let $q=p^f$, and let $A\leq\mathbb{F}_q^\times$ be a multiplicative subgroup with $\mathbb{F}_p(A)=\mathbb{F}_q$. We prove that a proper subgroup $A$ is a generalized arithmetic progression (GAP) if and only if $|A| \in \{1, 2, 4\}$, and we determine when the full group $\mathbb{F}_q^\times$ is a GAP. For certain families of subgroups, we obtain the stronger conclusion that $A$ is additively irreducible. In particular, if $|A|>4$ and $p^e\equiv-1\pmod{|A|}$ for some $e\ge1$, then $A$ admits no nontrivial sumset decomposition. We also prove that every $c \neq 0$ has fewer than $|A|/2$ representations as a sum (or difference) of two elements of $A$ whenever $[\mathbb{F}_q^\times:A] \ge3$ and $|A| \ge 5$, which may be of independent interest.

$\mathbb Q\setminus\mathbb Z$ is diophantine over $\mathbb Q$ with $7$ unknowns

math.NT

math.LO

In 2016 J. Koenigsmann proved that $\mathbb Q\setminus\mathbb Z$ is diophantine over $\mathbb Q$, i.e., there is a polynomial $P(t,x_1,\ldots,x_{n})\in\mathbb Z[t,x_1,\ldots,x_{n}]$ such that for any rational number $t$ we have $$t\not\in\mathbb Z\iff \exists x_1,\ldots,x_{n}\in\mathbb Q\,[P(t,x_1,\ldots,x_{n})=0].$$ In this paper we show that we may take $n=7$ which improves the previous record $n=10$ obtained by Daans in 2024. (Actually we even extend this to any global field.) This, together with a previous result of Z.-W. Sun, implies that there is no algorithm to decide for any $F(x_1,\ldots,x_{16})\in\mathbb Z[x_1,\ldots,x_{16}]$ whether $$\forall x_1,\ldots,x_9\in\mathbb Q\exists y_1,\ldots,y_{7}\in\mathbb Q\,[F(x_1,\ldots,x_9,y_1,\ldots,y_{7})=0].$$

Proof of a Conjectured Ramanujan Type Master Theorem for Powers of the Cosecant

math.CV

math.NT

We prove a conjecture of Bradshaw and Atale asserting a Ramanujan type master theorem for the kernel $\pi^m/\sin^m(\pi s)$, whose poles at the non-positive integers have order $m$. The residue data at these poles are organized by a family of polynomials studied by Airault with coefficients the central factorial numbers of the first kind. The proof reduces the conjecture to a Laurent series identity for $\csc^m$, established by induction from an elementary differential recursion, and the resulting theorem holds under a growth hypothesis strictly weaker than Hardy's. As applications, we obtain integral representations for powers of the cosecant, a closed form for the Mellin convolution powers of the Cauchy kernel $(1+x)^{-1}$, and a family of differential identities satisfied by the Airault polynomials.

Types and collapse for cuspidal representations of groups acting on trees

math.RT

math.NT

In a previous paper, the second author proved that every supercuspidal representation of a rank-one p-adic group is induced from a compact-mod-center open subgroup. The method was geometric, localizing representations to obtain equivariant sheaves on trees. Here we provide two refinements. The first is a geometric description of the inducing data, via a geometrically minimal K-type. Second is a proof that the equivariant sheaves collapse onto injective sheaves. The two notions of geometrically minimal K-types and collapsibility generalize to higher rank groups, suggesting a pair of conjectures.

Franklin's identity for $n$-color partitions and companion Beck-type identities

math.CO

math.NT

We show that some classical identities valid for ordinary partitions have precise analogues for $n$-color partitions, that is partitions in which a part of size $n\geq 1$ can occur in colors $1, 2, \ldots, n$. For $r \ge 2$ and $j \ge 0$, we write $\mathcal{O}_{j,r}(m)$ and $\mathcal{D}_{j,r}(m)$ for the sets of $n$-color partitions of $m$ with, respectively, exactly $j$ different parts whose size and color are divisible by $r$, and exactly $j$ different parts occurring at least $r$ times. We prove an $n$-color version of Franklin's theorem, $|\mathcal{O}_{j,r}(m)| = |\mathcal{D}_{j,r}(m)|$, along with two Beck-type identities. We give both analytic and combinatorial proofs for all theorems.

Fourier-Jacobi periods and the non-tempered Gan--Gross--Prasad conjecture for $\Mp_{2n} \times \Sp_{2m}$

math.NT

math.RT

v3

In this paper, we establish one direction of the non-tempered global Gan--Gross--Prasad (GGP) conjecture for the symplectic-metaplectic pairs $\Sp_{2n} \times \Mp_{2m}$ and $\Mp_{2n} \times \Sp_{2m}$. Our study focuses on two distinct families of non-tempered global $A$-parameters spanning all coranks, where standard relative trace formula methods remain unavailable. Our approach proceeds along two distinct lines of attack. First, we treat the case where both members of the pair are non-tempered, utilizing regularized Fourier-Jacobi periods of residual Eisenstein series and establishing a reciprocal non-vanishing theorem. Second, we address the setting where only the metaplectic member is non-tempered and its central $L$-value vanishes, relying heavily on the global theta correspondence and explicit seesaw identities. Along the way, we establish one direction of the tempered GGP conjecture for these pairs in arbitrary coranks, and prove a dichotomy for the global associated $L$-packet of the metaplectic parameter $[1] \boxplus M'$. We show that this packet lies entirely in the residual spectrum or entirely in the cuspidal spectrum, a behavior determined uniformly by the non-vanishing of the central $L$-value $L(1/2, M')$.

On the Mordell-Weil rank of certain CM abelian varieties over anticyclotomic towers

math.NT

v2

Let $K/\mathbb{Q}$ be an imaginary quadratic extension, and let $p$ be an odd prime. In this paper, we investigate the growth of Mordell-Weil ranks of CM abelian varieties associated with Hecke characters over $K$ of infinite type $(1, 0)$ along the $\mathbb{Z}_p$-anticyclotomic tower of $K$. Our results cover all decomposition types of $p$ in $K$. The analytic aspect of our proof is based on our computations of the local and global root numbers of Hecke characters, together with a recent generalization by H. Jia of D. Rohrlich's result concerning the relation between the vanishing orders of Hecke $L$-functions and their root numbers. The arithmetic conclusions then follow from the Gross-Zagier formula and the Kolyvagin machinery.

Gap estimates for the spectrum of $m$-bonacci numbers

math.NT

v2

We establish some results on the structure of the spectrum of $m$-bonacci numbers. More precisely, we study explicit lower bounds for the distance between elements separated by $N$ positions in the ordered spectrum. The result is further detailed in the Fibonacci and Tribonacci case. The methodology combines the combinatorial structure of $m$-bonacci words and the canonical $m$-bonacci number system.

On the basic locus of GSpin Shimura varieties with vertex stabilizer level

math.NT

math.AG

v2

We study the basic locus of Shimura varieties associated to the group of spinor similitudes of a quadratic space over $\mathbb{Q}$ with level structure given by the stabilizer of a vertex lattice. We give a description of the underlying reduced scheme of the associated Rapoport--Zink space, generalizing results of Howard--Pappas [HP17] and Oki [Oki20b], in the case of self-dual, and almost self dual level structure.

Some new congruences on biregular overpartitions

math.NT

v3

Recently, Nadji, Ahmia and Ram\'{i}rez \cite{Nadji2025} investigate the arithmetic properties of ${\bar B}_{\ell_1,\ell_2}(n)$, the number of overpartitions where no part is divisible by $\ell_1$ or $\ell_2$ with $\gcd(\ell_1,\ell_2)$$=1$ and $\ell_1$,$\ell_2$$>1$. Specifically, they established congruences modulo $3$ and powers of $2$ for the pairs of $(\ell_1,\ell_2)$$\in$$\{(4,3),(4,9),(8,3),(8,9)\}$, using the concept of generating functions, dissection formulas and Smoot's implementation of Radu's Ramanujan-Kolberg algorithm. After that, Alanazi, Munagi and Saikia \cite{Alanazi2024} studied and found some congruences for the pairs of $(\ell_1,\ell_2)\in\{(2,3),(4,3),(2,5),(3,5),(4,9),(8,27),\\(16,81)\} $ using the theory of modular forms and Radu's algorithm. Recently Paudel, Sellers and Wang \cite{Paudel2025} extended several of their results and established infinitely many families of new congruences. In this paper, we find infinitely many families of congruences modulo $3$ and powers of $2$ for the pairs $(\ell_1,\ell_2)$ $ \in$ $\{(2,9),(5,2),(5,4),(8,3)\}$ and in general for $ (5,2^t)$ $\forall t\geq3$ and for $ (3,2^t)$,$ (4,3^t)$ $\forall t\geq2$, using the theory of Hecke eigenform, an identity due to Newman and the concept of dissection formulas and generating functions.

Locally finite-dimensional central division algebras over function fields of curves over m-local fields, criterion for normality

math.NT

math.RA

v2

Let $K _{m}$ be an $m$-local field with an $m$-th residue field $K _{0}$, for some integer $m > 0$, and let $K/K _{m}$ be a field extension of transcendence degree $1$. The paper under review shows that if $K _{0}$ is a field of finite Diophantine dimension ddim$(K _{0})$, and $R$ is an associative locally finite-dimensional central division $K$-algebra, then $R$ is a normally locally finite algebra over $K$, that is, every nonempty finite subset $Y$ of $R$ is contained in a finite-dimensional central $K$-subalgebra $\mathcal{R}_{Y}$ of $R$.

Resurgent Lambert series with characters

math.NT

hep-th

v2

We consider certain Lambert series as generating functions of divisor sums twisted by Dirichlet characters and compute their exact resurgent transseries expansion near $q=1^-$. For special values of the parameters, these Lambert series are expressible in terms of iterated integrals of holomorphic Eisenstein series twisted by the same characters and the transseries representation is a direct consequence of the action of Fricke involution on such twisted Eisenstein series. When the parameters of the Lambert series are generic the transseries representation provides for a quantum-modular version of Fricke involution which for a particular example we show being equivalent to modular resurgent structures found in topological strings observables.

The Minkowski dimension of the image of an arboreal Galois representation

math.NT

v2

We consider the Minkowski dimension of the arboreal Galois group $G_{f,\alpha}$ associated to a rational map $f:\mathbb{P}^1\to\mathbb{P}^1$ and a base point $\alpha\in\mathbb{P}^1(K)$. This is a subgroup of the automorphism group of the infinite $d$-ary rooted tree whose vertices are indexed by the backward orbit $f^{-\infty}(\alpha)$. We show that the Minkowski dimension exists for the profinite iterated monodromy groups $G_f^\mathrm{arith}$ and $G_f^\mathrm{geom}$, and that these two groups have the same dimension. We prove a dichotomy theorem stating that $G_f^\mathrm{arith}$ and $G_f^\mathrm{geom}$ are either the full tree automorphism group or else have non-maximal dimension. We identify several cases of interest in which dimension non-maximality $\overline{\dim}(G_{f,\alpha})<1$ holds, including the cases of postcritical base point, the case of periodic base point, the case in which $f$ is a nontrivial iterate, and the postcritically finite case. We identify several cases of interest in which dimension minimality $\dim(G_{f,\alpha})=0$ holds, including the power, Chebyshev, Latt\`es, and abelian cases. We formulate a conjecture on dimension minimality for quadratic polynomials, which if true would imply the $d=2$ case of a conjecture of Andrews-Petsche on abelian arboreal Galois groups.

Properties of a random Cantor set with overlaps

math.NT

v2

We study the topology and the Hausdorff dimension of a random Cantor set with overlaps, generated by an iterated function system with scaling ratio equal to the Golden Mean. The results extend known formulas to a case where the Open Set Condition fails. Our methodology is based on the theory of expansions in non-integer bases.

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

math.NT

v5

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 variation within this aggregate probability scale. We introduce the normalized divisor parameter $S(p)=\frac{\log\tau(p-1)}{\log\log p}$, which provides a scale-adjusted measure of the divisor complexity of $p-1$. Using the currently known Mersenne prime exponents, excluding the smallest cases, we compare $S(p)$ against nearby prime controls of comparable size. Across several complementary statistical analyses, Mersenne prime exponents exhibit elevated values of $S(p)$. To interpret this empirical bias, we develop a reduced coarse-grained structural model based on the cyclotomic decomposition $2^{p-1}-1=\prod_{d\mid(p-1)}\Phi_d(2)$. The divisor structure of \(p-1\) generates cyclotomic layers associated with modular constraints on candidate factorizations. Their cumulative filtering effect motivates a structural refinement of the classical Wagstaff heuristic of the form $\mathbb P(M_p\ {\rm prime}\mid S)\approx C(p,S)\frac{\log p}{p}$, where $C(p,S)$ denotes the finite-scale structural factor. The resulting model predicts a redistribution toward higher values of $S(p)$, consistent with the observed imbalance across the explored exponent ranges, while preserving the aggregate Wagstaff probability scale after marginalization over $S$. The proposed framework is heuristic and finite-scale, and is intended as a possible structural interpretation of the observed arithmetic bias rather than as a derivation from first principles or a modification of the classical Wagstaff asymptotic scale.

Beatty solutions of almost Golomb functional equations

math.NT

v4

We study the almost Golomb equation of order $r$, $a\bigl(S(n)\bigr)=n$, where $S(n)=a(n)+a(n-1)+\cdots+a(n-r+1)$, for nondecreasing sequences of positive integers. Its greedy solution is $r$-regular in the sense of Allouche and Shallit. Beyond that one, and for every non-square order $r$, the equation has another solution, an inhomogeneous Beatty sequence $a(n)=\lfloor n/\sqrt{r}+d \rfloor$ where $d$ is a parameter. No other positive slope occurs, and the equation holds for all $n\ge r$ exactly when $d$ lies in an explicit closed interval depending on $r$. That interval is a single point when $r=2$ and has positive length for every non-square $r\ge 3$. Iterating the equation gives, for $k\ge 1$, $a^{\circ k}\bigl(S(n)\bigr)=a^{\circ(k-1)}(n)$, with $a^{\circ 0}$ the identity. Its Beatty solutions of positive slope are again of the form $\lfloor n/\sqrt{r}+d \rfloor$, and the sets of admissible $d$ form an increasing chain. The equation for $k$ holds exactly when $a^{\circ(k-1)}$ agrees at $n$ and at $a(S(n))$. We determine these solutions for $k=2$ when $r=2$ and $r=3$. At the right endpoint of the $r=2$ interval the first equation fails on a thin set of indices, which we identify as the return times of an irrational rotation to an explicit interval. The proofs combine equidistribution with an exact computation in $\mathbb{Z}[\sqrt{r}]$ over a finite range of orders.

Special periods and some non-tempered cases of the Gan-Gross-Prasad conjecture

math.NT

v2

In this paper, we establish a relationship between special periods and special L-values of automorphic representations of classical groups, and prove the non-tempered global Gan--Gross--Prasad conjecture in several cases. Our approach consists of two main steps. First, inspired by Rallis' tower property, we study the interaction between special periods and the tower property for the genericity of global theta lifts. Second, we investigate the relationship between the analytic properties of L-functions and special periods via the Rankin--Selberg integral method. Combining these results with non-vanishing criteria for global theta lifts in terms of various L-values, we prove three explicit higher-corank families of non-tempered cases of the global Gan--Gross--Prasad conjecture.

Potential semistability of Finite height Galois representations: Relative case

math.NT

math.AG

v2

Let $K$ be a $p$-adic field. We define the notion of finite height for an \'etale $\mathbb{Z}_p$-local system on a smooth adic space $\mathcal{X}$ over $K$ with semistable reduction. Using analytic prismatic $F$-crystals and purity results of Du-Liu-Moon-Shimizu (arXiv:2404.19603), we prove that if an \'etale $\mathbb{Z}_p$-local system over $\mathcal{X}$ is of finite height then its pullback along a finite \'etale cover of $\mathcal{X}$ is semistable. This answers a question of Tong Liu in the relative setting.

Determining newforms via arithmetic relations among Fourier coefficients

math.NT

v2

We investigate the distribution of primes satisfying arithmetic inequalities involving the Fourier coefficients of two non-CM newforms at prime powers. More precisely, we establish asymptotic formulas for the number of primes for which the differences, products, and ratios of the Fourier coefficients satisfy prescribed inequalities, together with explicit estimates for the corresponding densities. The proofs combine an effective joint Sato--Tate theorem with a geometric analysis of the associated semi-algebraic regions. As applications, we obtain new multiplicity one criteria, improve a theorem of Matom\"aki on small differences between Fourier coefficients, establish density-one analogues in the spirit of the Atkin--Serre conjecture, and derive a new characterization of twist-equivalence through the distribution of ratios of Fourier coefficients.

Sarnak's M\"obius disjointness for dynamical systems with singular spectrum and dissection of M\"obius flow

math.DS

math.NT

v2

It is shown that Sarnak's M\"{o}bius orthogonality conjecture is fulfilled for the compact metric dynamical systems for which every invariant measure has singular spectra. This is accomplished by first establishing a special case of Chowla conjecture which gives a correlation between the M\"{o}bius function and its square. Then a computation of W. Veech, followed by an argument using the notion of `affinity between measures', (or the so-called `Hellinger method'), completes the proof. We further present an unpublished theorem of Veech which is closely related to our main result. This theorem asserts, if for any probability measure in the closure of the Cesaro averages of the Dirac measure on the shift of the M\"{o}bius function, the first projection is in the orthocomplement of its Pinsker algebra then Sarnak M\"{o}bius disjointness conjecture holds. Among other consequences, we obtain a simple proof of Matom{\"a}ki-Radziwi{\l}l-Tao's theorem and Matom{\"a}ki-Radziwi{\l}l's theorem on the correlations of order two of the Liouville function.

Completely Additive Height Functions: Profile Laws, Matula Bounds, and Inverse Growth

math.CO

math.NT

v3

The height (H(n)) of an integer (n) is classically the number of iterations of Euler's totient function required to reach (1). H. N. Shapiro showed that a modification of this function is completely additive. We study completely additive height functions with finite prime fibers. Their prime-height profile (\pi_k) determines the height multiplicities (N_k) through the weighted-multipartition identity (\sum_k N_k q^k=\prod_j(1-q^j)^{-\pi_j}), and conversely every profile containing infinitely many primes is realizable. We introduce iteratively defined heights encompassing Shapiro-type totient heights and the Matula height. For the Matula height, we give purely number-theoretic proofs of the classical Gutman-Ivi'c extremal bounds, thereby answering their question whether the maximal bound can be derived without recourse to the rooted-tree interpretation. Using Meinardus' theorem in its full form, we prove a conditional inverse-growth law: if (\Pi_k\sim Ck^\alpha), then (\log N_k\sim C_2 k^{\alpha/(\alpha+1)}), with an explicit constant. We also derive average-order results for a canonical sequential realization and report computations for the Shapiro height beyond the polynomial regime.

Une conjecture $C_{\rm st}$ pour la cohomologie \`a support compact

math.AG

math.NT

v3

Let $\mathbf{B}$ be the ring of analytic functions on the Fargues-Fontaine curve $Y_{\rm FF}$. We show that adding $p$-adic analogs of $\log p$ and $\log 2\pi i$ kills its Galois cohomology in degrees~$\geq 1$. The analogous result for $\mathbf{B}^+_{\rm dR}$ is folklore. This makes it possible to formulate $C_{\rm dR}$ and $C_{\rm st}$-type conjectures for compact support cohomology of $p$-adic analytic varieties.

Eigenforms and graphs of Hecke operators with wild ramification

math.AG

math.NT

math.RT

v4

Hecke operators on moduli of bundles over a global function field become substantially more complicated in the presence of ramification. We show that far enough in the Harder-Narasimhan cone of $\mathrm{Bun}_G$, this extra complexity has a simple structure, which allows to reduce most of the study to the unramified case. Using the theory of graphs of Hecke operators, we transform this statement into a combinatorial condition. Utilizing the combinatorial language, we obtain tight bounds, and for generic eigenvalues exact formulas for the dimensions of Hecke eigenspaces with arbitrary ramification for $\mathrm{Bun}_{\mathrm{PGL}_2}$. We compare these formulas to the known results in the theory of Eisenstein series. Moreover, our methods allow to construct eigenforms explicitly.

Resonances on geometrically finite graphs

math.SP

math.CO

math.GR

math.NT

v2

In analogy with the spectral theory of geometrically finite hyperbolic manifolds, we initiate the study of resonances on geometrically finite (q+1)-regular graphs of groups. We prove the meromorphic continuation of the resolvent of the adjacency operator on such spaces and give a geometric characterization of the resonant states. In contrast to the hyperbolic surfaces setting, geometrically finite graphs have only finitely many resonances, and these resonances may be computed explicitly, yet they exhibit many of the same qualitative phenomena as in the hyperbolic manifolds setting. Particularly interesting examples arise from algebraic curves over finite fields.

Graphs of Hecke operators in mixed ramification

math.AG

math.NT

math.RT

v2

We study Hecke operators on moduli spaces of ramified $G$-bundles using the combinatorial language of Hecke graphs. We introduce a general notion of $\mathcal H$-ramification in the spirit of parahoric ramification, which depends on a choice of a divisor and subgroups of $G$ at every point of the divisor. Building on our previous work, we prove that, under mild regularity conditions, the action of a Hecke operator in the deep cusp of $\mathrm{Bun}_G$ in a highly complex ramification mimics an action in a much simpler ramification. This reduces the study to a smaller number of cases which, in particular, involve divisors supported at no more than two points. We demonstrate our methods by computing various examples for $G=\mathrm{PGL}_2$ and computing the dimensions of spaces of Hecke eigenforms for generic eigenvalues. We connect the obtained dimension formulas with the known results from the theory of Eisenstein series.

The sharp exponent for the minimal distance problem

math.CO

math.MG

math.NT

v2

We show that for every fixed $\varepsilon>0$, there exist arbitrarily large families of point-line pairs $(x_1,\ell_1),\ldots,(x_n,\ell_n)$ in $[0,1]^2$, with $x_i \in \ell_i$ for all $i$, and such that $\operatorname{dist}(x_i,\ell_j)\ge n^{-2/3-\varepsilon}$ for all $i \neq j$. Combined with a previous result of Cohen, the author, and Zakharov, this solves the minimal distance problem. The same construction also comes with an unexpected finite field consequence: for every $\varepsilon>0$, there exists a set of primes $q$ of positive relative density for which $\mathbb F_q^2$ contains an induced point-line matching of size $\gtrsim q^{3/2-\varepsilon}$. This disproves a conjecture of Hunter, the author, Verstra\"ete and Zhang.