Number Theory [math.NT]

Zeta elements for $p$-ordinary modular forms over imaginary quadratic fields and applications

math.NT

Let $p\geq 5$ be a prime, and let $f$ be a $p$-ordinary cuspidal newform of even weight $k = 2r \geq 2$ and level $N$, with $p \nmid N$ and trivial nebentype. In this article, we prove Kato's Iwasawa main conjecture for $f$, formulated in terms of the $p$-adic $L$-function of $f$, under the sole assumptions that the associated Galois representation of $f$ satisfies the big-image hypothesis and that its residual representation is absolutely irreducible. This generalises the main result of Burungale--Castella--Skinner, which treats elliptic curves over $\mathbb{Q}$ with good ordinary reduction at $p$. Our proof follows their general strategy. A key new ingredient is the construction, over an imaginary quadratic field in which $p$ splits, of a zeta element attached to $f$, together with a proof of its explicit reciprocity laws, generalising the corresponding work of Burungale--Skinner--Tian--Wan. These results provide the higher-weight analogue of a crucial input in the argument of Burungale--Castella--Skinner and allow their method to be carried out for higher-weight modular forms.

Monogenity of the irreducible factors of $(k,t)$-Fibonacci and $(k,t)$-Lucas polynomials

math.NT

In this article, we study the monogenity of the number field generated by a root of an irreducible factor of the generalized $(k,t)$-Fibonacci and $(k,t)$-Lucas polynomial sequence. We use Dickson polynomials and their connection with cyclotomic fields to prove our main results. As special cases, we recover the monogenity results for the classical Fibonacci and Lucas polynomials and obtain corresponding monogenity results for Chebyshev polynomials of the first and second kinds.

On a problem of Nathanson related to strongly minimal asymptotic bases of order $h$

math.NT

Let $h\geq2$ be an integer and let $1/h<\theta\leq1/(h-1)$. In this paper, we prove that there exists a strongly minimal asymptotic basis $A$ of order $h$ such that $A(x)\asymp x^\theta$. This solves a problem posed by Nathanson in 1988.

The twisted convolution identity and ghost $r$-SICs from finite quantum dilogarithms

math.NT

math.MG

math.QA

quant-ph

Radchenko and Wheeler (RW) recently proved a finite pentagon relation for real quadratic special values of the modular quantum dilogarithm and used it to establish the rank-$1$ twisted convolution identity conjectured by the current authors. RW gave an explicit argument in the principal case and remarked that their proof holds for all rank-$1$ admissible tuples. We extend their proof to all rank-$r$ admissible tuples and provide an explicit dictionary between the modular quantum dilogarithm and the Shintani-Faddeev modular cocycle conventions in the respective papers. Thus, we establish that, if $d,r$ are positive integers such that $r<\frac{d-1}{2}$ and $\frac{d^2-1}{r(d-r)} \in \mathbb{Z}$, then there exist ghost $r$-SICs: i.e., configurations of $d^2$ rank-$r$ subspaces in $\mathbb{C}^d$ that satisfy a non-Hermitian equichordal condition. Under the Stark conjecture, these configurations are Galois conjugate to Hermitian equichordal configurations called $r$-SICs (or rank-$r$ SIC-POVMs).

The cardinality of a set containing the pairwise sums of four positive integers

math.NT

Choi, Erd\H{o}s and Szemer\'edi showed that there exists an absolute constant $C$ such that for all subsets $A \subseteq \{1, 2, \ldots, 2n\}$ with at least $n+C$ elements, there exist four distinct positive integers whose pairwise sums are all contained in $A$. A proof that one can take $C = 3166$ was recently sketched by the first author, and here we show that we actually have $C = 4$ for all $n \ge 6$, which is optimal. The proof we present was originally conceived of by AI, with the final result proved and formalized by Aristotle, the formal reasoning agent developed by Harmonic.

Limit distribution of algebraic integral points on curves

math.NT

math.AG

For a quasi-projective arithmetic surface $\mathcal U/\mathbb Z$ and a compact subset $E\subset \mathcal U(\mathbb C)$ under mild regularity assumptions, we study algebraic integral points on $\mathcal U$ whose Galois orbits lie in $E$. We characterize the collections of local probability measures that arise simultaneously as the local limit distributions of Galois orbits of such points. Our result also works for measures prescribed at a subset of places. This generalizes the results of Smith and Orloski--Sardari on $\mathcal{U}=\mathbb{A}^1$ concerning the archimedean place. As a consequence, we prove an integral version of Szachniewicz's theorem on curves, which states that every \emph{integral} GVF functional can be approximated by a sequence of algebraic integral points in the GVF topology. We also give several applications: we prove that the essential minimum of height functions on curves can be attained by algebraic integral points; we connect integer Chebyshev constants with the essential minima of certain height functions on $\mathbb{A}^1$ and prove a conjecture of Montgomery; we also answer affirmatively a question of Levenberg--Londhe by showing that the smallest limit of averaged trace of totally positive algebraic integers can be attained by a sequence of totally positive algebraic units.

Finite-slope p-adic L-functions for $\mathrm{GL}_{3}$

math.NT

Let $\Pi$ be a regular algebraic cuspidal automorphic representation of $\mathrm{GL}_{3}(\mathbb{A}_{\mathbb{Q}})$ of weight $(a, 0, -a)$, and let $p$ be a prime. Generalising work of Loeffler--Williams in the nearly-ordinary case, we construct $p$-adic $L$-functions for each small slope regular $P_{1}$-refinement of $\Pi$ at $p$ consistent with the conjectures of Coates--Perrin-Riou and Panchishkin.

On the Quotient of a Pseudo-null Module

math.NT

Motivated by questions arising in noncommutative Iwasawa theory, let $R$ be a (not necessarily commutative) ring, $T \in R$ a regular central element, and $M$ a pseudo-null $R$-module. We investigate necessary and sufficient conditions under which the quotient $M/TM$ is pseudo-null as an $R/TR$-module. We first give necessary and sufficient conditions in terms of associated prime ideals when $R$ is commutative. Then we apply this to the case when $R$ is a Krull domain and obtain a precise relationship between the characteristic ideals of $M/TM$ and the $T$-torsion submodule $M[T]$. We give necessary and sufficient conditions in terms of $\operatorname{Ext}$ groups when $R$ is a noncommutative ring and then compare them with the criterion when $R$ is commutative. Lastly, we give an application to noncommutative Iwasawa theory. Roughly speaking, if `big' dual fine Selmer group is pseudo-null, then `most' specialized dual fine Selmer group is pseudo-null.

Asymptotic and Arithmetic Aspects of Generalized Colored Overpartitions

math.NT

Colored partitions constitute a well-established and extensively studied area of research with numerous generalizations arising from imposing restrictions on the allowed colors of the parts. In particular, restricted colored partitions have received considerable attention owing to their rich combinatorial and arithmetic properties. Motivated by these developments, we consider a colored overpartition function $\overline{\mathfrak{C}}_{m,r,s}(n)$, which enumerates the overpartitions of $n$ such that each part divisible by $m$ can be assigned any of $r$ colors, while each part not divisible by $m$ may be assigned any of $s$ colors. We investigate an asymptotic formula and several arithmetic properties of this function, including its density properties.

The sixth moment of a degree two $L$-function of arbitrary level

math.NT

Let $f$ be a primitive holomorphic cusp form of arbitrary weight, level and nebentypus. We prove $\int_0^T|L(1/2+it,f)|^6\,dt\ll_{f,\epsilon}T^{2+\epsilon}$, extending Jutila's level-one theorem. The new ingredient is a large sieve comparing the stationary phases in the Booker-Milinovich-Ng transformation at different heights. Applications include moments of order $T^{1+\epsilon}$ on every line to the right of the critical line, $\Omega(T^{4/35-\epsilon})$ simple zeros, zero density estimates, and bounds for cubic-field power sums, shifted convolution sums and the general divisor problem.

Atkin--Lehner Quotients of Modular Curves at Primes of Bad Reduction

math.NT

math.AG

Let $N$ be a square-free, positive integer and let $p\ge 5$ be a prime dividing $N$. In this work, we construct semistable models of Atkin--Lehner quotients of $X_0(N)$ over the Witt ring $W(\overline{\mathbb{F}}_p)$ by taking the corresponding quotients of the Deligne--Rapoport model of $X_0(N)$. We give an explicit description of the special fiber of the models and obtain genus formulae for the Atkin--Lehner quotients of $X_0(N)$.

Sharp spherical extension theorem in $\mathbb F_q^{2m}$ and applications

math.NT

math.CA

math.CO

Let $q$ be an odd prime power and $m\geq 1$. Let $Q$ be a nondegenerate quadratic form on $\mathbb F_q^{2m}$. For every sphere $S_j=\{Q=j\}$ with $j\in \mathbb F_q^\times$, we prove the sharp extension estimate $R_{S_j}^*(2\to r)\lesssim_m1$ for $r\ge 2(m+1)/m$, uniformly in $q$, $Q$, and $j$. As an application, we show that if $E\subseteq\mathbb F_q^{2m}$ satisfies $|E|/q^{m+1/3}\to\infty$, then almost every pin $y\in E$ determines $(1-o(1))q$ values of $Q(x-y)$. The proof combines two arithmetic Hecke operator estimates with an induction in the dimension, a centered sphere--cone estimate, and an orthogonal decomposition.

On a question of Jones on tracelike vectors, cusp forms, and von Neumann algebras

math.NT

math.OA

Previous work of Vaughan Jones built a bridge between cusp forms and random matrices using the language of von Neumann algebras. Specifically, for a discrete subgroup of $\operatorname{PSL}_2(\mathbb Z)$, there is a natural von Neumann algebra associated to it. Jones showed that for any "tracelike'' vector, there is a corresponding (anti)-isomorphism between this algebra and its commutant. Jones also showed that such vectors exist. As he noted, this connection is not useful without an explicit formula, which he posed as an open question. Here, we resolve Jones' question and discuss its context for a broad number theory audience. As we were finalizing this preprint for submission, we learned of an independent paper of Abreu. Both papers employ a closely-related polar normalisation of a kernel orbit to obtain the Jones tracelike vector at the critical parameter. The novelty of the present work lies in its extension to all $1

Rational quadrilaterals and tetrahedra -- the involutions of Kummer, Heegner and Regge

math.NT

This paper is devoted to questions concerning rational quadrilaterals and rational tetrahedra. In both cases there is a finite group which acts on the set. In the case of rational quadrilaterals it was discovered by Kurt Heegner; in the second case there are two variants, one again due to Heegner the other a consequence of an involution introduced by Tullio Regge. These allow one to construct a number of solutions to the appropriate diophantine equation from given ones. The original question was posed by Kummer. There is an intimate connection with the theory of the tetrahedroid and so Kummer surfaces.

Galois groups of random polynomials of large degree

math.NT

math.PR

We study random polynomials of the form $R(x)=x^n+\omega_{n-1}x^{n-1}+\cdots+\omega_0$, where $\omega_0,\dots,\omega_{n-1}$ are independent, uniformly bounded integer-valued random variables, and $\omega_1,\dots,\omega_{n-1}$ have a fixed common law $\mu$. We prove (unconditionally) that, if the R\'{e}nyi entropy of order $2$ satisfies $H_2(\mu)=-\log\|\mu\|_2^2>12$, then $\mathbb{P}(\operatorname{disc}(R)\text{ is a square})=O_\mu(1/\log n)$. Combined with previous results, this shows that, for such measures $\mu$ and under additional hypotheses, $R$ has full Galois group $\mathrm{Sym}(n)$ with high probability, when conditioned on $\omega_0\ne 0$.

Semi-stable models, local heights and quadratic Chabauty for $X_0(N)^*$

math.NT

Quadratic Chabauty computations for $X_0(N)^*$ are complicated by local height contributions at primes of bad reduction. For squarefree $N$, we explain a strategy for constructing a global $p$-adic height for which all the contributions at the primes of bad reduction vanish. As our first main result, we show that such a $p$-adic height exists for all squarefree levels $N>714$. In order to do this, we first give an explicit description of the minimal regular model of $X_0(N)^*$ at primes of bad reduction, and show this model is semi-stable. Each component of this model gives rise to a linear condition which ensures that the contribution at that component vanishes. Using embeddings of quadratic orders into quaternion algebras, we obtain an upper bound for the number of these conditions; when the genus of $X_0(N)^*$ is greater than one more than this bound, there is enough freedom to choose a suitable correspondence, simplifying quadratic Chabauty computations. As an application, we determine the rational points on several curves $X_0(N)^*$ for which this was not done before.

A proof of Hirose's duality conjecture

math.NT

Hirose formulated a duality conjecture for a $q$-discretization of iterated integrals on the four-punctured projective line, incorporating word-dependent $q$-shifts of the parameters. In this paper, we prove this conjecture using a symmetric terminating ${}_{4}\phi_{3}$ connector.

Resurgent rigidity of mock theta functions: uniqueness and natural boundary crossing

math.NT

hep-th

math-ph

math.CA

math.MP

We develop a resurgent transseries approach to mock theta functions and show that the associated Mordell--Appell integrals underlie their modular and resurgent structure. From these integrals, we recover the modular transformation laws, obtain uniqueness characterizations of the mock theta vectors, provide a canonical crossing of their natural boundary, and produce new mock theta functions. After representing the Mordell--Appell integrals as Laplace transforms of elementary resurgent functions, we rotate the Laplace contour to a Stokes line. Their Stokes phenomena and their modular transformation laws reproduce those of the associated unary series and, combined with our uniqueness results, those of the mock theta functions. Conversely, we regard these modular transformation laws as functional equations governing the mock theta vectors. For Ramanujan's order-$3$ pair $(f,\omega)$ and the distinguished mock theta vectors of orders $5$, $7$, and $11$, satisfying the full $SL(2,\mathbb Z)$ transformation laws, we prove that these functional equations uniquely determine a holomorphic solution in the unit disk under canonical minimal-growth normalization. This unique solution is precisely the classical mock theta vector. We show that the normalization is essential: for orders $5$, $7$, and $11$ we determine explicit nontrivial solutions of the homogeneous problem, yielding new mock theta functions with faster-growing coefficients. Finally, we give two intrinsic and natural constructions for crossing the natural boundary $|q|=1$. The first continues the modular functional equations and takes their unique holomorphic solutions on the other side. The second acts on the resurgent asymptotic series at the cusp: we replace $\tau$ by $-\tau$ and apply \'Ecalle--Borel summation. We prove that the constructions agree, giving a canonical and explicit boundary crossing.

On Greenberg's conjecture for rational elliptic curves at Eisenstein primes

math.NT

Let $E/\mathbb{Q}$ be an elliptic curve, and let $p$ be an odd prime of ordinary reduction for $E$, and assume that $E$ admits a rational $p$-isogeny. In this paper we prove Greenberg's conjecture on the vanishing of algebraic Iwasawa $\mu$-invariants of the Selmer groups attached to $E$ over the cyclotomic $\mathbb{Z}_p$-extension of the rational numbers. Via the Iwasawa Main Conjecture for elliptic curves at Eisenstein primes, we also confirm Stevens's conjecture on the behavior of analytic $\mu$-invariants.

On c-polynomial factorisations

math.CO

math.NT

c-Polynomials are polynomials whose (non-zero) coefficients are all equal to 1. Taking a theorem by Carlitz and Moser as a motivation, we prove a structure theorem for the factorisations of the c-polynomial $(x^n-1)/(x-1)$ into c-irreducible factors by relating c-torisations into c-polynomials to joint ordered factorisations arising from the integer n. The question of how many different joint ordered factorisations there are leads to the precise chromatic polynomial for path graphs, counting the ways of path graph colourings with $m$ colours under the condition that all colours are used. Moreover, we give similar counting formulae for joint ordered factorisations under the constraints that all factors are primes, or that all factors are square-free.

The Bias Conjecture for One-Parameter, Non-Isotrivial Elliptic Curve Families

math.AG

math.NT

We investigate Miller's bias conjecture for general one-parameter families of elliptic curves over $\mathbb{Q}$ with non-constant $j$-invariants. Utilizing methods developed by Michel, we view the second moment as the sum of distinct cohomological components: a main $p^2$ term, a $p^{3/2}$ term arising from the first cohomology over the projective line, and terms of order $p$ or lower corresponding to singular fibers. By assuming the generalized Sato-Tate conjecture, we employ representation and motive theory to demonstrate that the coefficient of the $p^{3/2}$ term averages to zero in the limit. We then independently analyze the lower-order contributions without assuming Sato-Tate. By applying the Chebotarev density theorem and analyzing Galois representations, we show that the contributions to the order $p$ term from additive singular fibers also average to zero. Consequently, the only remaining average contribution to the $p$ term is $-B_pp$, where $B_p$ denotes the number of ``bad'' points where the discriminant vanishes. Because $B_p$ averages to a strictly positive value, the overall coefficient of the $p$ term averages to a strictly negative value in the limit, thereby establishing the bias conjecture for these families.

On the coefficients of the asymptotic of analytic torsion

math.DG

math.AG

math.NT

In this article, we study the asymptotic expansion of the analytic torsion associated with positive Hermitian line bundles on projective spaces. We show that the expansion contains no terms of the form $k^{-i}\log k$ for $i\geq 1$. The proof combines the arithmetic Riemann-Roch theorem with an explicit computation of the arithmetic degree of spaces of global sections.

Canonical representatives and interval independence in Ekedahl's equivalence

math.AG

math.NT

Ekedahl's equivalence reconstructs coherent Raynaud complexes from coherent F-gauges by a completed derived functor. We study this inverse before totalization. At a fixed finite level, we construct finite projective resolutions and express the inverse as a tensor product with a complex of bimodules. Its cohomology in the resolution direction gives actual R-complex representatives of diagonal cohomology. We prove that these representatives are independent of the interval and obtain an exact fully faithful functor from the diagonal heart to Ch(R), splitting localization. Finally, we compute the domino factors for three cyclic crystalline presentations of supergeneral abelian threefolds. The resulting elementary factor types are {2,3,4}, {2,3,7}, and {2,3,6}.

Diameter and radius of an additive-multiplicative graph

math.CO

math.NT

Let $G$ be the graph on the positive integers in which distinct vertices are adjacent if they differ by one or their quotient in one order is prime. We prove that $6\leq\operatorname{diam}(G)\leq7$ and $4\leq\operatorname{rad}(G)\leq5$. Under Dickson's conjecture for two linear forms, we prove that $\operatorname{diam}(G)=6$ and $\operatorname{rad}(G)=4$.

On Irreducibility and Multiplicity One Property for Non-Archimedean Type-II Theta Lifting

math.RT

math.NT

We establish a multiplicity-one refinement of the non-archimedean type-II Howe correspondence: whenever the small theta lift is non-zero, it occurs in the big theta lift with Jordan-H\"older multiplicity one. Furthermore, we apply this result alongside the Godement-Jacquet zeta integral to compute big theta lift for Arthur-type representations. Based on these computations, we also propose a conjecture regarding the irreducibility of the big theta lift.

An explicit type number formula for quaternion orders of level $(N_1,N_2)$

math.NT

v3

We give an explicit type number formula for the quaternion orders of level $(N_1,N_2)$ specified in this paper, where $N_1=p_1^{2u_1+1}\cdots p_w^{2u_w+1}$, the primes $p_i$ are distinct, $u_i\ge0$, $w$ is odd, and $\gcd(N_1,N_2)=1$. The formula includes Eichler orders and the orders with odd prime-power ramified level considered by Boyd, and allows nonmaximal local orders at several ramified primes, including $2$. We express the answer in terms of a generalized modified Hurwitz class number and explicit local correction factors. The proof combines the correspondence between quaternion orders and ternary quadratic forms with the Siegel--Weil formula and local representation densities. We tabulate class and type numbers for $N_1N_2\le100$. As an application, a mass bound and a finite exact calculation determine the $27$ pairs in this family with type number one.

Nombres de Pisot, nombres de Salem et la conjecture de Lehmer

math.NT

v2

We investigate the relationship between the set S of Pisot numbers and the set T of Salem numbers. Salem first established that: " every Pisot number is an accumulation point of the set T ". Building on Boyd's method, we show that every accumulation point of T belongs to S. Together, these results imply that the union S U T forms a closed subset of the real half-line ]1,+infinity[. Consequently, this settles Boyd's conjecture while disproving Lehmer's conjecture.

Multiplicative Subgroups of $\mathbb{Z}_p^*$ that are Generalized Arithmetic Progressions

math.NT

v2

We prove that a multiplicative subgroup $A_k$ of $\mathbb{Z}_p^*$ is a generalized arithmetic progression if and only if $|A_k| = 2,\ 4,$ or $p-1$. Much of the argument builds upon recent work studying additive decompositions of subgroups, and we generalize a result of Hanson and Petridis to show that any additive $n$-decomposition of a subgroup must be a direct sum. We also show how this classification quickly follows from Kalmynin's recent work resolving S\'ark\"ozy's conjecture for quadratic residues.

Intrinsic semistable reduction loci for the iterations of non-archimedean quadratic rational functions and moduli-theoretic applications

math.NT

math.DS

v4

We study the intrinsic semistable reduction loci for the iterations of quadratic rational functions over algebraically closed complete non-archimedean fields. Using a reduction-theoretic slope formula for the hyperbolic resultant function and the non-archimedean argument principle, we establish a precise eventual stationarity theorem when the residue characteristic is different from $2$. In the finite-order case, we define an intrinsic prehole parameter, and for quadratic rational functions with the same reduction order and boundary period, classify the intrinsic reduction data of all iterations at distinguished Fatou boundary points up to simultaneous projective equivalence. For antispecialization algebraic arcs degenerating to an order $p>1$ boundary point of the compactified quadratic moduli space over an algebraically closed field of characteristic $0$, we define an intrinsic antispecialization parameter using the fixed-point multiplier polynomial. We show that this parameter equals the prehole parameter of every Puiseux lift of an antispecialization arc degenerating to the boundary point and that the $p$th iteration specialization determines all iteration specializations. Over $\mathbb{C}$, the two intrinsic parameters coincide with DeMarco's parameter $\tau^2$ after an appropriate interpretation. As a global consequence, we construct explicit blow-up models for the iterate compactification over arbitrary algebraically closed fields of characteristic $0$ and describe its boundary intrinsically. Over $\mathbb{C}$, this also recovers DeMarco's compactification.

Frobenius in $W(E_8)$ for $y^2=x^3+x+D(t)$ over $\mathbb F_q(t)$: ranks, Tate--Shafarevich groups and trace statistics

math.NT

v2

Let $q$ be a power of a prime $p\ge5$ and let $\mathcal F_5(q)$ be the set of curves $E_D\colon y^2=x^3+x+D(t)$ over $\mathbb F_q(t)$ with $D$ monic of degree $5$ and $4+27D^2$ squarefree. Each $E_D$ is the generic fibre of a rational elliptic surface with Mordell--Weil lattice $E_8$, Frobenius acts on it by some $w_D\in W(E_8)$, and $L(E_D,T)=\det(1-qw_DT)$ (Shioda, Oguiso--Shioda, Ulmer). From known results (Galois descent, Grothendieck's $\mathrm{Sha}\cong\mathrm{Br}$, Artin, Milne, Urabe) one reads off $E_D(\mathbb F_q(t))=E_8^{w_D}$, $\mathrm{Sha}(E_D)\cong(E_8/(1-w_D)E_8)_{\mathrm{tors}}$ and $|\mathrm{Sha}|\cdot\mathrm{Reg}=\det{}'(1-w_D)$; by the class tables of Urabe and Karras, $|\mathrm{Sha}|$ is not determined by $L(E_D,T)$ at positive rank. The main new result is that the monodromy of this $4$-parameter family is $ W(E_8)$ in every characteristic $p\ge5$ (computer-assisted). With Deligne's theorem, and Katz's Betti bounds for uniformity in $p$, $w_D$ is equidistributed in $ W(E_8)$ with error $O(q^{-1/2})$ as $q\to\infty$ through all prime powers; e.g. the mean degree-$1$ trace over the rank-$r$ curves, which equals $-\mathbb E[\operatorname{tr} w_D\mid\mathrm{mult}_1(w_D)=r]$, tends to $8/29$ at rank $0$. The constant is astronomical. We prove first-order ($1/q$) formulas for the moments of $\operatorname{tr} w_D$ of order $\le3$; their coefficients depend on $q$ through $\chi_q(-3)$ and, at order $3$, through a Frobenius trace on a $2$-dimensional $H^1$. We conjecture a first-order law for the whole class distribution; one of its four terms involves the CM newform $\eta(4z)^6$ (checked for all primes below $3000$). The law fits exact class counts at all prime powers $q\le41$, including out-of-sample predictions at $q=37,41$, some of which (rank statistics at $q=41$) missed.

On the Periods of Ikeda-Yamana Lift for the Unitary Group

math.NT

v3

Let $F$ be a totally real field and $E$ be a quadratic CM extension field of $F$. Let $n$ be an odd positive integer. Yamana constructed a lift from Hermitian modular forms to automorphic forms on the unitary group. We denote by $\mathrm{I}_n(f)$ the form obtained by applying this lift to the Hermitian modular form $f$ of weight $(\kappa_v)_{v|\infty}$ and level 1. We then express the period $\perd{\mathrm{I}_n(f), \mathrm{I}_n(f)}$ of $\mathrm{I}_n(f)$ for Hecke eigenforms $f$ in terms of special values of certain $L$-functions attached to $f$. This is an extension of Katsurada's result concerning Ikeda's conjecture.

Binomial coefficients with divisors avoiding an interval

math.NT

v3

We solve a fifty-year-old conjecture of Erd\H{o}s and Graham concerning whether the binomial coefficient $\binom{n}{k}$ with $1 \leq k \leq \frac{n}{2}$ must always have a divisor $\leq n$ that is ``close'' to $n$: that is, bigger than a constant times $n$. We show this is the case when $k$ is sufficiently large as a function of $n$. However, we show it is possible to find binomial coefficients $\binom{n}{k}$, where $k$ is small compared to $n$, such that $\binom{n}{k}$ does not have divisors $\leq n$ close to $n$. This latter, more substantial argument involves a restricted covering problem with residue classes, sieve methods, and various exponential sum estimates.

Diophantine Approximation by Lagrangian Frames in Symplectic Lattices

math.NT

math.DS

v2

Classical Diophantine approximation searches for a short integral vector. In higher rank, one may retain either the rational subspace spanned by several such vectors or the integral frame itself. We study the latter problem for primitive Lagrangian frames $(Q,P) \in \mathrm{Mat}_{d \times 2d}(\mathbb{Z})$ and symmetric matrices. We first prove a Dirichlet theorem showing that, for symmetric targets, primitive Lagrangian frames attain the classical approximation rate: for every $X\in\mathrm{Sym}_d(\mathbb{R})$ and $N\geq1$, there exists such a frame satisfying $\lVert QX+P\rVert_{\mathrm{op}} \leq c_d/N$ and $\lVert Q\rVert_{\mathrm{op}} \leq N$. This contrasts with unrestricted full frame approximation, where the optimal universal exponent is $1/d$. We also prove a Khintchine-type zero-one law with critical sum $\sum_{q\geq1}q^{\varsigma-1}\psi(q)^{\varsigma}$, $\varsigma = \frac{d(d+1)}2$. Retaining the frame, rather than only its span, creates an infinite change-of-basis multiplicity: the naive frame-counting Siegel transform has infinite second moment for $d \geq 3$. We construct a conical regularization of the frame space which reduces this multiplicity to a finite group while retaining a positive proportion at every scale. Combined with span separation, this gives a finite-overlap $L^2$ estimate and the required cusp-volume bounds. The regularization is formulated independently of the symplectic condition.

On Small Doubling in Right-Ordered Groups and Baumslag-Solitar Groups-II

math.NT

v2

Recently, Mohan et al. [Results Math. 80 (2025), No. 4, 122] answered Freiman's $3k-4$ conjecture in right-ordered groups under certain restrictions. In this paper, we take a step further by investigating the structure of nonempty subsets $S$ of a right-ordered group satisfying the small doubling condition $|S^2| = 3|S|-3$. Moreover, we provide a complete characterization of all nonempty finite subsets $S$ of the Baumslag-Solitar group $\mathrm{BS}(1,q)$ (with $q \in \mathbb{Z}$ and $q \neq -1$) for which $|S^2| = 3|S|-3$ and the identity element is the minimum of $S$.

Hecke Subalgebras and Local Newforms for the Metaplectic Double Cover of $\mathrm{SL}_2(\mathbb{Q}_p)$

math.NT

v2

Let $p$ be an odd prime, and let $\overline{\mathrm{SL}_2(\mathbb{Z}_p)}$ and $\overline{K_0(p^n)}$ denote the inverse images of $\mathrm{SL}_2(\mathbb{Z}_p)$ and the congruence subgroup $K_0(p^n)$ in the metaplectic double cover $\widetilde{\mathrm{SL}}_2(\mathbb{Q}_p)$. For $n\geq2$, we study the subalgebra of the genuine Hecke algebra $H(\widetilde{\mathrm{SL}}_2(\mathbb{Q}_p)//\overline{K_0(p^n)},\eta)$ consisting of functions supported in $\overline{\mathrm{SL}_2(\mathbb{Z}_p)}$, where $\eta$ is the genuine extension of either the trivial or the nontrivial quadratic character modulo $p$. We give an explicit basis and a presentation by generators and relations, and prove that this subalgebra is commutative of dimension $2n$. We give the multiplicity-free decomposition of $\operatorname{Ind}_{\overline{K_0(p^n)}}^{\overline{\mathrm{SL}_2(\mathbb{Z}_p)}}\eta$, determining the dimensions of its irreducible constituents and their associated Hecke eigenvalues. This Hecke subalgebra acts on the $(\overline{K_0(p^n)},\eta)$-fixed spaces in irreducible admissible genuine representations of $\widetilde{\mathrm{SL}}_2(\mathbb{Q}_p)$. We compute its action explicitly on newvectors of prescribed $\eta$-type in principal series, Steinberg, even Weil, and supercuspidal representations. For supercuspidal representations, we construct the vectors by compact induction and use Ishimoto's conductor and dimension formulas. Finally, we relate our operator $\mathcal{W}_{n-1}$ to Ishimoto's local realization of Ueda's twisting operator.

Ekedahl-Oort strata meeting the supersingular locus

math.NT

math.AG

v2

We give an explicit combinatorial criterion for an Ekedahl-Oort (EO) stratum in the moduli stack of principally polarized abelian varieties of dimension $g$ in characteristic $p > 2$ to meet the supersingular locus. The criterion is obtained by translating a non-emptiness criterion for basic affine Deligne-Lusztig varieties, into an explicit condition on the elementary sequences indexing the EO strata. Furthermore, we give explicit bounds for the number of EO strata of $p$-rank zero which are disjoint from the supersingular locus. As a result, we prove that asymptotically almost every EO stratum of $p$-rank zero meets the supersingular locus. As an application, we also give a lower bound for the number of EO strata meeting the supersingular locus on unitary PEL Shimura varieties of signature $(a,b)$.

Local Langlands functoriality for Yu's supercuspidals I: Kaletha's parametrization

math.NT

math.RT

v2

This is the first of two papers dedicated to the explicit computation of the Fargues--Scholze correspondence. In this first part, we construct (inspired by, and extending, Kaletha's explicit Local Langlands Correspondence for non-singular supercuspidal representations) semisimple inertial L-parameters for all cuspidal representations arising from Yu's constructions, with arbitrary coefficients. We then establish a characterization of this correpondence in terms of certain functoriality properties. This characterization will be used in the sequel paper in order to compute the Fargues--Scholze correspondence after restriction to inertia.

Local Langlands functoriality for Yu's supercuspidals II: Fargues--Scholze's parametrization

math.NT

math.RT

v2

This is the second of two papers dedicated to the explicit computation of the Fargues--Scholze correspondence. We compute the Tate cohomology of cuspidal representations arising from Yu's construction. Combining this with modular functoriality in the Local Langlands Correspondence, independence of $\ell$, and the partial characterization of the Local Langlands Correspondence established in the first paper, we compare the Fargues--Scholze and Kaletha parametrizations. Among the consequences, we deduce that the Fargues--Scholze correspondence has finite fibers and is surjective onto inertial L-parameters.

Nonvanishing of ray class $L$-functions

math.NT

v2

We study the nonvanishing of central values of ray class $L$-functions over a fixed imaginary quadratic field $K$. We prove that, as $\mathrm{N}(\mathfrak f)$ tends to infinity, at least a proportion $1/3-\mathsf{o}_K(1)$ of the primitive ray class characters $\chi$ modulo $\mathfrak f$ satisfy $L(1/2,\chi)\neq 0$. Our proof adapts the classical mollifier method to the ray class setting and establishes asymptotic formulas for the first and second mollified moments.

A parametric Catalan-type congruence for generalized central trinomial coefficients

math.NT

math.CO

v2

Let $p>3$ be a prime, and let $b,c$ be integers with $p\nmid b+2c$. We obtain an explicit congruence modulo $p^2$ for the sum of $\binom{2k}{k}T_{2k}(b,c^2)/(4^k(k+1)(b+2c)^{2k})$ from $k=0$ to $(p-1)/2$, where $T_n(b,c)$ denotes the generalized central trinomial coefficient. This gives a parametric formula for the sum considered in a question of Wang and Cui. The proof uses a constant term representation and a logarithmic generating function to reduce the sum to two coefficients of an algebraic generating function. A differential identity and a coefficientwise polynomial congruence then yield the desired evaluation. The formula also applies when $p$ divides $b$ or $b-2c$.

On the largest prime factors of $p-1$ and $p+1$

math.NT

v2

We prove that each of the inequalities $P^{+}(p+1)>P^{+}(p-1)$ and $P^{+}(p-1)>P^{+}(p+1)$ holds for a positive proportion of primes. The argument combines a logarithmic balance identity with a uniform Selberg sieve over a thin cofactor strip. The same transfer mechanism applies to either shift and converts a one-sided large-prime-factor reservoir into an unconditional ordering result in both directions.

Large class of many-to-one mappings over quadratic extension of finite fields

cs.IT

math.IT

math.NT

v2

Many-to-one mappings (including $1$-to-$1$ mappings) over finite fields play important roles in cryptography and coding theory. This paper provides a unified framework for studying the many-to-one property of polynomials of the form $f(x) = h(a x^q + b x + c) + u x^q + v x$, where $h(x) \in \mathbb{F}_{q^2}[x]$ and $a$, $b$, $c$, $u$, $v \in \mathbb{F}_{q^2}$. Our approach uses two linear transformations from $\mathbb{F}_{q^2}$ to $\mathbb{F}_{q}$ to establish a commutative diagram relating $f(x)$ to an associated polynomial $g(x)$. This diagram reduces the characterization of the many-to-one property of $f(x)$ on $\mathbb{F}_{q^2}$ to that of $g(x)$ on the subfield $\mathbb{F}_{q}$. In particular, when $h(x) = x^{r}$ and~$r$ satisfies suitable conditions, we show that $g(x)$ can be reduced to either a low-degree polynomial or a linearized binomial. Then, employing the known many-to-one properties of these low-degree or linearized polynomials over~$\mathbb{F}_{q}$, we derive explicit conditions that completely characterize when $f(x)$ is many-to-one on $\mathbb{F}_{q^2}$. Moreover, we determine the inverses of all $1$-to-$1$ mappings obtained in this paper, and we show that the $2$-to-$1$ mappings of this form naturally yield explicit involutions. Our findings generalize and unify many results in the literature.

Blocking sets from a union of plane curves

math.AG

math.CO

math.NT

v2

Motivated by a question of Erd\H{o}s on blocking sets in a projective plane that intersect every line only a few times, several authors have used unions of algebraic curves to construct such sets in $\mathbb{P}^2(\mathbb{F}_q)$. In this paper, we provide new constructions of blocking sets in $\mathbb{P}^2(\mathbb{F}_q)$ from a union of geometrically irreducible curves of a fixed degree $d$. We also establish lower bounds on the number of such curves required to form a blocking set. Our proofs combine tools from arithmetic geometry and combinatorics.

The combinatorics of sector renormalization

math.DS

math.NT

v2

The goal of this note is to systematically develop the fundamental arithmetic and combinatorial properties of the sector renormalization operation on rigid rotations. We employ the specific framework of modified continued fractions appropriate for sector renormalization and analyze their properties. By allowing infinite first return times, this framework yields a dynamical compactification of the space of irrationals called the parabolic compactification; we show that it is characterized by some universal properties. We also discuss the corresponding natural extension and introduce the continuant group, the time semigroup, and topological cascades. For example, we demonstrate how a bi-infinite tower of sector renormalizations of irrational rotations can be packaged within a single dynamical plane as a cascade of translations. This note will serve as a foundational combinatorial tool for studying the geometric properties of sector renormalizations of holomorphic maps with irrationally indifferent fixed points, particularly neutral quadratic polynomials.

Counting sets with given doubling via dimension

math.CO

math.NT

v2

We determine, up to a factor of $2^{o(k)}$, the number of $k$-sets $A \subset \{1, \ldots, n\}$ such that $|A + A| \leq m$, where $k = \Theta(\log n)$ and $m \leq k^{1 + \alpha}$, for small $\alpha > 0$, answering a question of Green and Morris.

Quantum modularity in refined topological recursion

math-ph

hep-th

math.AG

math.CV

math.MP

math.NT

v2

In this paper we study the Borel summability and quantum modularity of the free energy computed by refined topological recursion on the Weber-type refined spectral curve. On the one hand, we verify expected properties, namely, Stokes rays come in a pair and the Borel-Laplace sum of the free energy coincides with the Barnes double gamma function. Somewhat unexpectedly, on the other hand, we prove that the generating function of the Stokes constants along each ray is a Jacobi quantum modular function. Our proof suggests that quantum modularity may be a general feature of refined topological recursion, applicable beyond the Weber-type refined spectral curve.

Locally analytic representations in mixed characteristic via stacks

math.RT

math.NT

v3

For any $p$-adic Lie group $G$, we construct a group stack $G^\mathrm{la}$ over the $p$-adic branch of Clausen--Scholze's stack of norms such that quasicoherent sheaves on its classifying stack $*/G^\mathrm{la}$ recover locally analytic representations of $G$ after base change to any suitable Tate Huber pair, even in positive or mixed characteristic. We also show that smooth $\mathbb{F}_p$-representations of $G$ embed fully faithfully into sheaves on the mod $p$ fibre of $*/G^\mathrm{la}$ and establish Poincar\'e duality for cohomology of locally analytic representations in mixed characteristic.

Disproof of a Conjectured Upper Bound for the Davenport Constant

math.CO

math.NT

v2

Let $G= C_{n_1}\oplus\cdots\oplus C_{n_r}$ be a finite abelian group with $1

A Memory-Magic Exchange Law in Streaming Clifford+T Compilation

quant-ph

cs.IT

math.IT

math.NT

v2

A phase that reaches a fault-tolerant processor in additive pieces can be remembered until the last piece arrives, or executed on arrival: the first option costs classical memory carried across rounds, the second costs magic states committed before the phase is known. We determine the exchange rate $\alpha$, committed $T$ gates per bit of memory forgone, for ancilla-free coordinatewise Clifford+$T$ compilation. The Ramanujan bound gives $\alpha\ge2$ with explicit constants, the square-root barrier of the spectral method. An elementary determinant method, using that quaternion numerators lie on spheres in both real embeddings of $\mathbb{Q}(\sqrt2)$, counts words near any rotation coset below that barrier. With a height dichotomy for the sphere sections it produces and a fibration over rational projections, it gives every $\alpha<5/2$ unconditionally and uniformly over frames, by an exact SMT check of its continuum case analysis; $5/2$ is where this method stops. At Clifford-framed cosets the volume law holds up to subexponential factors: all but a vanishing fraction of $z$-rotations need $T$-count $(3-o(1))\log_2(1/\varepsilon)$, and processes whose committed pieces are near Clifford-framed $z$-rotations, including per-rotation pipelines, have $\alpha\ge3-o(1)$, which a fractional-passthrough family attains under the Ross-Selinger typical-cost hypothesis. Under an equidistribution conjecture supported by exhaustive enumeration to $T$-count 22, $\alpha=3$ in general and memory should be shed in whole rotations. The bounds hold even when the phases cancel to the identity; side information enters through a conditional entropy; probabilistic mixing halves the costs but not the rate. With clean ancillas and a phase-gradient catalyst, table lookups batched over coordinates drive the rate to $O(1/\log\log(1/\varepsilon))$, so the constant-rate law is specific to coordinatewise synthesis.