Number Theory [math.NT]

Superpolynomially Large Support in Every Irreducible Factor of Lacunary Polynomials
math.NT


Bhawesh Mishra

We show that there exist infinitely many polynomials $F\in\mathbb{Q}[x]$ with exactly $m$ nonzero coefficients such that every irreducible factor of \(F\) over \(\mathbb{Q}\) has \(\exp\) \(\!\bigl(\Omega(\sqrt{m/\log m})\bigr)\) nonzero coefficients. This places multiplication in a sharply different category from powers, composition, and other algebraic operations for which reverse-sparsity principles are known. It also gives an unconditional, degree-free obstruction to sparse factorization, complementing positive factor-sparsity results that impose hypotheses on coefficient height, exponent positions, reciprocal structure, or degree bounds.

Iwasawa theory of class field towers
math.NT
math.GR


Anwesh Ray

Let $p$ be an odd prime and let $K_\infty/K$ be a $\mathbb{Z}_p$-extension. For each finite layer $K_n$, let $G_n$ be the Galois group of its maximal unramified pro-$p$ extension. We study the augmentation and Zassenhaus filtrations of the groups $G_n$ as $n$ tends to infinity. Assume that the classical Iwasawa $\mu$-invariant is positive. If $d_n$ denotes the minimal number of generators of $G_n$, then there is an integer $\delta>0$ such that $d_n=\delta p^n+O(1)$, while the minimal number of relations is $O(p^n)$. For each fixed $m\geq2$, as $n\to\infty$, we show that the $m$-th augmentation quotient has the same leading asymptotic as that of a free pro-$p$ group on $d_n$ generators. We also obtain corresponding asymptotics for the Hilbert series, the exponential growth rate of the augmentation filtration, and the Zassenhaus quotients.

A quadratic-residue dichotomy for two partition functions modulo 3
math.NT
math.CO


Jiyuan Li

Let $f_{0,1,4}(n)$ denote the number of partitions of $n$ into parts congruent to 0, 1 or 4 modulo 5 with each part used at most twice, and let $f_{0,2,3}(n)$ be defined analogously for parts congruent to 0, 2 or 3 modulo 5. We prove that for every prime $p \equiv 3 \pmod 4$ there are explicit non-negative integers $a(p)$ and $b(p)$, determined by $20a(p) \equiv -9$ and $20b(p) \equiv -1 \pmod{p^2}$, such that $f_{0,1,4}(p^2m + a(p))$ and $f_{0,2,3}(p^2m + b(p))$ are congruent modulo 3 to $f_{0,1,4}(m)$ and $f_{0,2,3}(m)$ when $p \equiv \pm 1 \pmod 5$, and to $f_{0,2,3}(m)$ and $f_{0,1,4}(m)$ when $p \equiv \pm 2 \pmod 5$. By quadratic reciprocity the two functions are preserved exactly when 5 is a quadratic residue modulo $p$, and interchanged otherwise. The smallest cases are $f_{0,1,4}(9m) \equiv f_{0,2,3}(m)$ and $f_{0,2,3}(9m+4) \equiv f_{0,1,4}(m)$. The proof reduces each generating function modulo 3 to the square of a Rogers-Ramanujan-type theta function by means of $(1-x)^{\ell} \equiv 1-x^{\ell} \pmod{\ell}$ and the Jacobi triple product, and then dissects the resulting binary quadratic form using the fact that $-1$ is a quadratic non-residue modulo $p$. As corollaries we obtain, for each such $p$, a congruence with exceptions on a progression of modulus $p$, and an infinite family of self-similarity congruences on progressions of modulus $p^{dn}$ with $d = 2$ or $d = 4$ and constants $9(p^{dn}-1)/20$ and $(p^{dn}-1)/20$.

On periods of the Tribonacci sequence modulo primes
math.NT


Liam Baker, Florian Luca, Kerry Porrill

In this paper, we study the $p$-adic zeros of the Tribonacci sequence $T_n$, for a prime $p$. In particular, we complete the analysis that was done in a 2024 paper of Yuri Bilu by investigating the case of $p=11$. In addition, we investigate the primes $p$ for which at the first two values $T_n$ and $T_{n-1}$ which are both divisible by $p$, both of these are actually divisible by $p^2$, proving under the assumption of a generalisation of the $abc$ conjecture that there are infinitely many $p$ which are not such.

Monogenic Fields of Cryptographic Size
math.NT


Swechchha Adhikari, Daphne Plott, Parker Torgersen

For a monic irreducible $f \in \mathbb{Z}[x]$ of degree $n$ and an integer $c$, we study the palindromic transform $F(x) = x^n f(x + x^{-1} + c)$, which produces a polynomial of degree $2n$. We give a discriminant formula $\operatorname{disc}(F) = f(c+2)f(c-2)\operatorname{disc}(f)^2$, sufficient conditions for the irreducibility of $F$, and a criterion showing that $F$ is monogenic when $f$ is monogenic and $f(c+2)f(c-2)$ is squarefree, together with a matching non-monogenicity criterion. Iterating the transform yields monogenic number fields of degree $2^k n$ from a fixed base polynomial. As an explicit example, we construct a monogenic field of degree 512 from $x^4 + x + 1$.

Bad Reduction of Genus Two Curves with complex multiplication
math.NT
math.AG


Jan Hendrik Bruinier, Tonghai Yang, Peng Yu

We study genus two curves whose Jacobians have complex multiplication by a biquadratic CM field. In this setting the Jacobian decomposes as a product of two elliptic curves with complex multiplication by orders in the same imaginary quadratic field. We derive upper bounds for the primes of stable bad reduction of such curves in terms of the discriminants of the CM orders. To do so, we give an explicit description of principally polarized abelian surfaces with CM by a biquadratic field via small CM cycles on an orthogonal Shimura variety of signature (3,2). We use it to prove an arithmetic intersection formula between such CM cycles with Humbert surfaces in terms of coefficients of incoherent Eisenstein series and representation numbers of ternary positive definite quadratic forms. Finally, employing the arithmetic properties of higher Green functions, we show that primes of stable bad reduction always exist.

Almost Trivial Units in Group Rings
math.NT
math.GR


Efrat Shani, Anupam Srivastav

We find all ring of integers, R, and finite groups G, such that RG has almost trivial units. Moreover, for such a group ring we determine the Swan subgroup of its locally free classgroup

Zero density theorems for short intervals
math.NT


Andrew Fiori

We provide explicit bounds on the number of zeros for $\zeta$ in short intervals near the edge of the critical strip. Ultimately we show that even in short intervals a positive proportion of zeros will not be near the edge of the critical strip. For example with $h>100$ and $t>10^{100}$ the proportion of zeros of $\zeta$ with imaginary part in $[t-h,t+h]$ which have real part in $[\frac{1}{16},\frac{15}{16}]$ is at least $13\%$ and a positive proportion is already obtained at $t>10^{43}$.

Maximal Unramified $p$-Extensions with Prescribed Galois Groups: A Quantitative Refinement of Ozaki's Theorem
math.NT


Kwang-Seob Kim

Ozaki proved that every finite $p$-group occurs as the Galois group of a maximal unramified $p$-extension of a number field. Hajir, Maire and Ramakrishna made this theorem effective, obtaining a base-field degree of order $|G|$. In this article, we reduce that degree by taking the Frattini structure of $G$ into account. More precisely, for an odd prime $p$ and a finite $p$-group $G$ of order $p^n$, we prove \[ \tau_p(G) \leq p^{\ell_\Phi(G)+ \left\lceil\log_p\left(\binom{n+2}{2}+1\right)\right\rceil}. \] Here $\tau_p(G)$ is the least degree of a number field realizing $G$ as its $p$-class tower group, and $\ell_\Phi(G)$ is the iterated Frattini length of $G$. Thus, for groups of bounded Frattini length, the order-scale bound $p^n$ is replaced by the quadratic bound $O_p(n^2)$. For $E_m=(\Z/p\Z)^m$, we further prove the sharp estimate $\tau_p(E_m)\asymp_p m^2$.

On a Tur\'an's theorem for small primes
math.NT


T. Makoto Minamide, Haruka Sakai, Yoshio Tanigawa

Denote by $\omega(n)$ the number of distinct prime divisors of the natural number $n$. In 2007, Granville and Soundararajan gave a quite new method to compute the higher moments $\sum_{n\leq x}(\omega(n)-\log\log x)^{k}$, for a wide range of integers $k\geq 2$. In this notes, we shall apply the method for $\omega_{z}(n)$ which denotes the number of distinct prime divisors $\leq z$ of $n$. Especially, for odd integers $k\geq 3$, we lead asymptotic formulas for $\sum_{n\leq x}(\omega_{z}(n)-\log\log z)^{k}$, under certain restrictions on $k$, $z$, and $x$. Also, we refer to a framework of the approach.

On a Tur\'an's theorem for arithmetic progressions
math.NT


T. Makoto Minamide, Haruka Sakai, Yoshio Tanigawa

Let $m\geq 1$ be a fixed integer, $a$ an integer satisfying $(a,m)=1$, and $z\geq 1$ a real parameter. Denote by $\omega_{z}(n;m,a)$ the number of distinct prime divisors $p$ of $n$ satisfying $p\equiv a\, (m)$ and $p\leq z$. We study an asymptotic behaviour of $\sum_{n\leq x}\left(\omega_{z}(n;m,a)-\frac{1}{\varphi(m)}\log\log z\right)^{k}$ as $x\to\infty$ for a wide range of positive integer $k\geq 2$, where $\varphi(\cdot)$ is the Euler function. Following a method of Granville and Soundararajan we lead an asymptotic formula for the above. Also, we investigate $\sum_{n\leq x}\left(\omega(n;m,a)-\frac{1}{\varphi(m)}\log\log x\right)^{k}$, where $\omega(n;m,a)$ denotes the number of distinct prime divisors $p$ of $n$ such that $p\equiv a\, (m)$.

Romanoff type theorems for polynomials over finite fields
math.NT


Enci Wang

Given a polynomial \(g\) of degree \(\delta>0\) over a finite field, we study monic polynomials \(f\) of degree \(n\) that can be written as \(f=h+g^k\), where \(h\) is a monic irreducible polynomial of degree \(n\) and \(k\in\mathbb{N}\) with \(\delta k<1\), where \(\rho_g=\varphi_q(g)/|g|\), then a positive proportion of degree-\(n\) polynomials admits at least two such representations. More generally, for sums of powers \(g^{\lfloor k_i^{r_i}\rfloor}\), we prove that a positive proportion of polynomials of degree \(n\) is representable whenever \(\sum_{i=1}^{t}r_i^{-1}\ge 1\), while certain residue classes modulo some irreducible polynomial contain no representable polynomial.

Steinness of the Basic $\mathrm{GL}_n$ Local Shimura Tower in Odd Rank
math.NT
math.AG


Jiawei Yang

We prove Steinness over $\breve{\mathbf{Q}}_p$ for the basic local Shimura tower attached to $G=\mathrm{GL}_n$, $\mu=(1,1,0^{n-2})$, with basic Newton slope $2/n$, for every odd $n\ge3$, at every finite level and for every prime $p$. The proof proceeds by constructing global analytic functions from the crystalline period map, proving compactness of their sublevel sets via a perfectoid normalization of Tate lattices, and showing that the resulting function map to affine space is finite. The key geometric inputs are the Fargues--Fontaine realization of the universal cover, a normalized determinant on the rank-two locus, and an integral PEL realization over $W(\overline{\mathbf{F}}_p)$ used to produce bounded global Hodge generators. The integral constructions include the prime $p=2$.

On $\mathbb{Z}_2$-extensions of real quadratic fields with class group of $2$-rank three
math.NT


Yuito Saito

In this paper, we study the unramified Iwasawa module over the cyclotomic $\mathbb{Z}_2$-extension of the real quadratic field $\mathbb{Q}(\sqrt{p_1p_2p_3p_4})$, where $p_1, p_2, p_3$, and $p_4$ are distinct odd prime numbers. We give a criterion for the finiteness of an unramified Iwasawa module of a number field. The criterion is based on the nonexistence of a $2$-group with a certain prescribed quotient. Using this criterion, we construct an infinite family of such real quadratic fields with unramified Iwasawa module of type $\mathbb{Z}/4\mathbb{Z} \oplus \mathbb{Z}/2\mathbb{Z} \oplus \mathbb{Z}/2\mathbb{Z}$ and $2$-class group of type $\mathbb{Z}/2\mathbb{Z} \oplus \mathbb{Z}/2\mathbb{Z} \oplus \mathbb{Z}/2\mathbb{Z}$. This gives the first example of an infinite family of real quadratic fields whose ideal class group has $2$-rank three and whose cyclotomic $\mathbb{Z}_2$-extension is totally ramified and satisfies Greenberg's conjecture.

Counting number fields with symplectic Galois group
math.NT
math.AG


Anwesh Ray

Let $n\geq 1$ and let $\ell$ be an odd prime. Let $G=\mathrm{PGSp}_{2n}(\mathbb{F}_\ell)$ or $\mathrm{GSp}_{2n}(\mathbb{F}_\ell)$, and fix a faithful transitive permutation representation $\pi:G\longrightarrow S_d$. We study degree-$d$ number fields whose Galois closures have Galois group $G$ and whose associated permutation representation is $\pi$. For $\sigma\in S_d$, write $\operatorname{ind}(\sigma)$ for its permutation index, namely $\operatorname{ind}(\sigma) = d-\#\{\text{orbits of $\sigma$ on $\{1,\ldots,d\}$}\}$. If $\tau$ denotes a symplectic transvection, or its image in the projective symplectic group, we prove that the number of such fields with absolute discriminant at most $X$ is bounded below by a constant multiple of $X^{1/(2n\,\operatorname{ind}(\pi(\tau)))}$. For the natural vector and projective actions, the exponents we obtain are asymptotically $1/(4n)$ of those predicted by the weak form of Malle's conjecture as $\ell\to\infty$. The fields are constructed from the mod-$\ell$ Galois representations attached to the Jacobians of a one-parameter family of hyperelliptic curves. The proof combines large symplectic monodromy for this family with a squarefree sieve.

The variance of the number of lattice points in narrow sectors
math.NT


Stephen Lester, Ezra Waxman, Nadav Yesha

We study the variance of the number of lattice points in smoothed narrow sectors, where the average is taken over the position of the sectors. There are three regimes corresponding to specific ranges for the open angle of the sectors and in each we obtain an asymptotic formula for the variance.

Explicit bounds for the prime number theorem
math.NT


Andrew Fiori, Mikko Jaskari

We study the problem of finding tight explicit bounds on sums over zeros of $L$-functions near the $1$-line with a variety of zero-free regions and zero-density estimates. As an application to demonstrate the techniques, we apply them to the case of the Riemann zeta function and the prime number theorem to obtain new best estimates on the error terms in the prime number theorem. We show that for $x\geq21$ we have $|\psi(x)-x| < 0.239 x \exp\left(-0.1982767\left(1+\frac{\log\log\log(x)}{15\log\log(x)}\right) \frac{\log(x)^{3/5}}{\log\log(x)^{1/5}}\right).$

Wave Numbers: Discrete Sequence Algebras, Sieve Projectors, and Dynamical Geometry
math.NT


Terence R. Smith

We establish a comprehensive algebraic, geometric, and physical classification of the wave closure space generated from primitive plane wave sequences on the discrete spatial lattice $\mathbb{Z}$. Resolving lattice degeneracies via unwrapped phase spaces, we prove that the linear wave group $\mathcal{G}$ under pointwise product, inversion, and root extraction is an infinite divisible abelian torsion group isomorphic to $(\mathbb{Q}/\mathbb{Z}) \times (\mathbb{Q}/\mathbb{Z})$, with canonical decomposition into Pr\"{u}fer $p$-groups and maximal cyclotomic value field $\mathbb{Q}^{\mathrm{ab}}$. Extending to coordinate powers yields the polynomial phase group $\mathcal{G}_{\mathrm{poly}}$, classified by integer-valued polynomials $\operatorname{Int}(\mathbb{Z})$. Adjoining addition yields the group algebra $\mathbb{C}[\mathcal{G}_{\mathrm{poly}}]$, for which we establish the Permutation-Symmetric Phasor Superposition Theorem, factoring superpositions into collective barycentric carriers and closed Born probability envelopes. Using algebraic sieves over roots of unity, we construct idempotent projectors and complementary Not-sieve notch filters, achieving exact algebraic synthesis of both momentum and localized Kronecker position bases. Generalizing to non-abelian quaternions $\mathcal{V}_\mathbb{H}$, we prove a polar decomposition into scalar envelopes and $\mathrm{SU}(2)$ spinor rotors. Identifying coordinate advance with time, biquaternion determinants intrinsically yield Minkowski spacetime $s^2 = c^2 t^2 - \|\mathbf{x}\|^2$ and the Lorentz group $\mathrm{SO}^+(1,3)$. We demonstrate emergent vacuum zero-point jitter, topological selection of rational frequencies, and correspondences with discrete qudits.

$v$-adic Chowla-Selberg formula over function fields
math.NT


Fu-Tsun Wei

Let $v$ be a finite place of a rational function field with finite constant field. We establish an Ogus-type $v$-adic Chowla-Selberg formula for $t$-motives with "complex multiplication" by subfields of Carlitz cyclotomic function fields. For this purpose, we first introduce the $v$-adic crystalline action of the Weil group on the de Rham spaces of $t$-motives via the de Rham-crystalline comparison isomorphism of Hartl-Kim, and use it to give a "$v$-isocrystal" period interpretation of special values of Thakur's $v$-adic geometric gamma function. Our Ogus-type formula is then based on the isogeny theorem for CM $t$-motives, together with a recipe for constructing "abelian CM types" given in the $\infty$-adic setting over function fields.

Critical Pairs for Mixed Restricted Sumsets in Prime Fields
math.NT


Weilin Zhang, Hongjian Li

Let $p$ be an odd prime and let $A,B\subseteq\mathbb{F}_p$ be nonempty and distinct, with $|A|\ge |B|$. We give a complete classification of the pairs for which the mixed restricted sumset $A\mathbin{\widehat+} B=\{x+y:x\in A,\ y\in B,\ x\ne y\}$ has size $\min\{p,|A|+|B|-2\}$. The main new contribution concerns the interior range $|A|+|B|\le p-1$. For $|B|\ge3$ and $|A|-|B|\ge3$, criticality forces $A$ and $B$ to be common-endpoint arithmetic progressions, apart from a single common affine orbit with $(p,|A|,|B|)=(13,7,4)$. For $|A|-|B|\in\{1,2\}$, criticality itself forces $B\subsetneq A$, after which the restricted self-sum determines the deletion patterns. Together with the remaining cases, this yields the complete classification.

A two-step supercongruence for an Ap\'ery-like sequence
math.NT


Huimin Zheng

Let $G_n=\sum_{k=0}^n4^k\binom{2n-2k}{n-k}^{2}\binom{2k}{k}$. Zhi-Hong Sun conjectured that, for primes $p\equiv3\pmod4$, positive odd integers $m$, and $r\ge2$, the two-step congruence $G_{(mp^r-1)/2}\equiv p^2G_{(mp^{r-2}-1)/2}\pmod {p^{2r-1}}$ holds. We prove the stronger valuation statement $G_{(p^2M-1)/2}-p^2G_{(M-1)/2}\in p^{2v_p(M)+3}\mathbb Z_p$ for every positive odd $M$. The proof converts the sum to a terminating ${}_3F_2$, constructs a cancelled digit-transfer operator, and identifies a two-dimensional analytic quotient of its cubic difference operator. The quotient operator has characteristic polynomial $X^2-p^2$; its second trace is evaluated through the Gross--Koblitz formula and Greene's finite-field Dixon identity. A logarithmic-loss Green inverse converts this spectral identity into an actual integral analytic primitive. The exceptional prime $3$ requires a finite exact PARI/GP certificate, while the infinite tail is bounded symbolically. Thus the computation is finite, reproducible, and separated from the uniform part of the proof.

Lower-order terms in mean-square formulas for the Euler--Zagier double zeta-function and regularized multiple zeta values
math.NT


Tomokazu Onozuka

We study the mean square of the Euler--Zagier double zeta-function when the second variable moves vertically. Mean-square formulas in and beyond the region of absolute convergence were previously obtained by Matsumoto and Tsumura and by Ikeda, Matsuoka and Nagata. In particular, the latter authors determined the leading terms in the following three boundary cases: \[ \zeta_2\left(1+a,\frac12+it\right),\qquad \zeta_2\left(1+ib,\frac12+it\right),\qquad \zeta_2\left(1-a,\frac12+a+it\right), \] where $a\in\mathbb C$ with $\Re a>0$ and $b\in\mathbb R$ are fixed. The mean squares in the first and third cases, as well as in the second case when $b\neq0$, have leading terms of order $T\log T$. When $b=0$, the second case reduces to the corner $(1,1/2)$, where the leading term is of order $T(\log T)^3$. In the present paper, we refine these results by obtaining asymptotic formulas with remainder $o(T)$. In the case $b\neq0$, an additional oscillatory term of order $T$ occurs. We also show that, at the parameter points $(s_1,\sigma_2)=(k,\ell/2)$ with integers $k\geq1$ and $\ell\geq2$, the constant multiplying $T$ in the mean-square formula is a linear combination of multiple zeta values. At the boundary points $(k,1/2)$ with integers $k\geq1$, the harmonic finite parts of the corresponding divergent sums are expressed in terms of harmonic regularized multiple zeta values.

Higher Reciprocity, Cassels Pairings, and Selmer Towers for the 3/5 Congruent Number Problem
math.NT


Kaisheng Lei, Shisong Xu

We study the arithmetic of the elliptic curves \[ A_m:y^2=x(x-m)(x+4m) \] attached to the $3/5$ congruent number problem. A difference of ternary representation numbers controls the relevant central $L$-values. For $p\equiv11\pmod{40}$ the ordinary Cassels pairing degenerates; we construct an explicit $4$-cover and show that the next Cassels--Tate pairing is governed by the normalized representation defect, equivalently by a factorial character, a Pell symbol, and a class number congruence. For composite parameters we compute the ordinary Cassels matrices of four twists and, in the two prime case, a degree $1024$ governing field for their joint distribution. The same higher descent extends to larger radicals: a second rational pushout determines the full $\Lambda'$ row of the next pairing. We also determine two explicit Selmer towers with four dimensional ordinary radical, and all finite $2$-power Selmer groups when the ordinary radical is one dimensional.

Refined sum formulas for finite multiple zeta values of level two
math.NT


Zhenlu Wang

In this paper, we establish two classes of refined sum formulas for finite multiple zeta values of level two, a variant of finite multiple zeta values recently introduced by M. Kaneko et al. One is an explicit formula for the sum of level-two finite multiple zeta values over indices in which one prescribed component is odd and all the remaining components are even. The other is an Ohno--Zagier type relation for level-two finite multiple zeta values, which gives a generating function for sums of fixed weight, depth and height in terms of depth-one values. As applications, we derive sum formulas for fixed weight and depth and for several special heights.

Two Legendre-symbol determinants of Sun and Bernoulli numbers
math.NT
math.CO


Hang Liu

Let $p>5$ be an odd prime, put $n=(p-1)/2$, and let $\left(\frac{\cdot}{p}\right)$ be the Legendre symbol. Define $D_p^{\pm}$ to be the following determinants \[ \begin{aligned} D_p^{\pm}&:=\det\left[(i\pm j)\left(\frac{i\pm j}{p}\right) \right]_{1\leq i,j\leq n}. \end{aligned} \] In this article, we give explicit formulas for these determinants modulo $p$ in terms of Bernoulli numbers. As a consequence of Reinhart's recent counterexample to the Ankeny--Artin--Chowla conjecture, we find a prime $p$ such that $D_p^{\pm} \equiv 0 \pmod p$. This gives a negative answer to a question of the Sun.

Concave transforms and volumes of adelic line bundles
math.NT
math.AG


Yuxing Ye

We study the relationship between the integrals of Yuan's concave transforms and the characteristic volumes of adelic line bundles on projective varieties. We establish an identity in dimension one and an inequality in higher dimensions. These results yield counterexamples to an identity conjectured by Yuan.

Selmer groups of CM-twists of elliptic curves
math.NT


Olivia Beckwith, Tùng Hoàng

Let $F$ be a totally real Galois number field of degree $g\leq5$ and let $\ell$ be an odd prime. Let $E/F$ be an elliptic curve with an $F$-rational point of order $\ell$. Under explicit arithmetic and local hypotheses, together with an explicit non-vanishing condition modulo $\ell$, we prove that there are $\gg_{F,E,\ell}\frac{X^{1/(2g)}}{\log X}$ totally negative square classes $d\in F^\times/(F^\times)^2$ with $\left|\mathrm{N}_{F/\mathbb{Q}}\bigl(D(F(\sqrt{d})/F)\bigr)\right|

Interpolation determinants and the Lebesgue--Nagell equation $a^2-D=b^p$
math.NT


Davide Lombardo

We prove the long-standing conjecture that, for every odd prime $p$, the only integral solutions of $a^2-2=b^p$ are $(a,b)=(\pm 1, -1)$. We also completely solve the analogous equations $y^2-D=x^p$ for $D=3$ and $D=5$ and describe a general approach for other positive squarefree values of $D \not \equiv 1 \pmod 8$. The proof refines the interpolation determinant method for linear forms in two logarithms in special cases, introducing new ideas for both the arithmetic lower bounds and the analytic upper bounds.

Detecting split surfaces, RM surfaces, and minimum walks on isogeny graphs
math.NT


Eda K{\i}r{\i}ml{\i}, Gaurish Korpal

We study the detectability of split surfaces in isogeny graphs of principally polarized superspecial abelian surfaces, a question relevant to the security analysis of dimension-$2$ isogeny-based cryptography. Our approach uses refined Humbert invariants to replace explicit isogeny computations with primitive representation problems for positive definite quadratic forms in five variables. We develop algorithms to detect $(N,N)$-splittings and to compute the minimum $(N,N)$-splitting level of a superspecial Jacobian without constructing the corresponding isogeny path. The same framework detects embeddings of real multiplication (RM) orders through primitive representations of discriminants of real quadratic orders. For RM, we use exhaustive small-prime data together with $100{,}000$ random polarizations per prime for $227\leq p\leq1619$, testing primitive representations of square-free discriminants $D\leq100$; the first nontrivial primitively represented discriminant is typically small. We apply these methods experimentally in two regimes. For $11\leq p\leq251$, where the irreducible principal polarizations are known exhaustively, the automorphism data recovered from the refined Humbert invariant reproduces the counts of Ibukiyama--Katsura--Oort for the irreducible polarizations. For large parameters, we reach primes of $1000$ bits, where the splitting degrees produced satisfy $\log_2N\approx\log_2p$ with a distribution whose shape is stable across the whole range, so the detected $(N,N)$-isogeny has degree about $p^{2}$; the smallest observed largest prime-power divisor of $N$ remains small up to $250$ bits and increases sharply from $300$ bits onward.

Non-Archimedean Poincar\'e series and geodesics on the Bruhat-Tits tree
math.NT


Milan Berger-Guesneau, Mihran Papikian

Adapting a construction of Kurihara in the setting of Drinfeld modular forms, we define Poincar\'e series on the Drinfeld half-plane $\Omega$. These series are built from products of meromorphic $1$-forms that are naturally associated to geodesics on the Bruhat-Tits tree. We establish convergence under a finiteness condition on the geodesics, verify this condition in several cases, and give sufficient conditions for the resulting cusp forms to be nonzero. For the principal congruence subgroup $\Gamma(\mathfrak{n})$ of $GL_2(\mathbb{F}_q[T])$, we construct explicit linearly independent families of Poincar\'e series by lifting certain $k$-forms from the components of the analytic reduction of $\Gamma(\mathfrak{n})\backslash\Omega$. We formulate conjectures on the vanishing orders at cusps, and we prove the first of them for an explicit family of Poincar\'e series by computing the corresponding expansions at the cusps; as an application, we obtain the Drinfeld modular forms $h$ and $\Delta$ as Poincar\'e series (up to a sign). Finally, for cocompact groups attached to quaternion algebras over $\mathbb{F}_q(T)$ that split at $\infty$, we show that the Poincar\'e series span the whole space of modular forms of given weight and type.

On existence of generalised Lehmer numbers modulo primes
math.NT


Bikram Misra, Bidisha Roy, B. Sury

In this article, we discuss a multivariable analogue of Lehmer's parity problem. We generalise the notions of Lehmer numbers as Lehmer $q$-tuples for a fixed odd prime $q$. We count the number of Lehmer $q$-tuples and derive an asymptotic estimate with explicit error terms. This deals with estimating various character sums and Deligne's bound for incomplete exponential sums.

Imaginary Non-CM Fields of $2$-Power Degree
math.NT


Farahnaz Amiri

We establish a new method for studying imaginary non-CM fields of arbitrary \(2\)-power degree. In particular, we show that for degrees greater than \(16\), dihedral fields either lie in the ray class field of one of the three imaginary quadratic fields \(\mathbb{Q}(\sqrt{-2})\), \(\mathbb{Q}(\sqrt{-3})\), \(\mathbb{Q}(\sqrt{-67})\), with the conductor of this ray class field supported only on primes dividing \(2\) and with explicit upper bounds on the relevant exponents, or are Hilbert class fields of imaginary quadratic fields. We also give a complete classification of the \(104\) imaginary non-CM fields of degree \(16\) with class number one, providing explicit tables of defining polynomials, Galois groups, base fields, and conductors. These 104 non-CM fields, together with the five CM fields classified by Louboutin and Okazaki \cite{lou7}, complete the classification of all imaginary fields of degree 16 with class number one. For CM fields, the problem reduces to computing relative class numbers via analytic class number formulae, whereas for non-CM fields the absence of a totally real subfield of index \(2\) necessitates a further approach and leads to a richer variety of Galois groups and ramification patterns.

A fully faithful p-adic Riemann--Hilbert functor for filtered coherent D-modules
math.NT
math.AG


Finn Wiersig

We prove that the solution functor from bounded good filtered complexes of coherent D-modules on a smooth rigid-analytic variety to modules over the positive almost de Rham period sheaf is fully faithful. On filtered vector bundles with flat connection satisfying Griffiths transversality, the construction recovers, up to duality and extension of scalars, Scholze's horizontal sections functor. As an application, we obtain a notion of de Rham Zariski-constructible sheaves, generalising the classical notion of de Rham local systems.

Proofs of eighteen conjectural identities related to the modulo nine Kanade--Russell identities
math.NT


Ernest X. W. Xia

Uncu and Zudilin studied reflections of finite forms of the modulo nine Kanade--Russell identities under $q\mapsto q^{-1}$, leading to ten conjectural sum--product evaluations, including two proposed by Warnaar. Hickerson conjectured four further identities in his study of contiguous relations for the associated parameterized double sums. By constructing finite forms of Hickerson's sums and studying their reflections, Konenkov proposed two additional product identities, whose conjugates give two more. In this paper, we prove all eighteen conjectural identities by combining Nahm-sum dual evaluations established by the author with parameterized divided-difference identities. For the symmetric reflections, Schur-type decompositions and finite rational identities reduce the required evaluations to nonsingular two-by-two linear systems. The asymmetric and cyclotomic cases are treated through $q$-Airy--theta connection formulas, whereas the Hickerson identities are derived from low-order divided differences.

Sharp zero estimates for trajectories of polynomial vector fields
math.NT
math.AC
math.CA


Gal Binyamini, Yuval Salant

If $f$ is a tuple of functions satisfying an algebraic ODE and $P\in{\mathbb C}(x)[f]$, it is common in applications to transcendental number theory to consider upper bounds for the order of zero of $P(x,f)$ at a given point in terms of $\operatorname{deg}_x P,\operatorname{deg}_f P$. Nesterenko introduced a condition known as the D-property, which holds in many applications, and proved essentially optimal bounds under this condition. We prove a global form of this result, where the field $\mathbb C(x)$ is replaced by a number field $K$ and $\operatorname{deg}_x P$ is replaced by the logarithmic height $\operatorname{h}(P)$. Under an analogous global D-property, we prove essentially optimal bounds for the number of zeroes, counted with multiplicities, in a fixed compact set. Applications of this result to point-counting theorems are developed in a separate joint paper with Hirata-Kohno and Kawashima.

Proportions of the non-trivial zeros of the Riemann zeta function
math.NT


Biao Wang

Let $C_0=\frac32-\frac1{\sqrt2}\cot\big(\frac1{\sqrt2}\big) =0.67250\ldots$ and $C_1=\frac{C_0+1}{2}= 0.83625\ldots$. Recently, it is obatained by Alp\"oge and Furman that more than 67.25\% of the non-trivial zeros of the Riemann zeta function are simple and on the critical line, and more than 83.62\% are distinct. Later, Lamzouri gave a different and more direct proof. In this article, by refining the method of Lamzouri, we slightly improve the bounds $C_0$ and $C_1$ in these two results to $C_0+\delta_0$ and $C_1+\frac{\delta_0}2$ with $\delta_0=6.66624\ldots\times10^{-8}$, respectively.

Selberg sieve weights and sign changes of Kloosterman sums. I. Uniform asymptotics for shifted weights
math.NT


Yixiu Xiao, Hongze Li

We prove an asymptotic formula for correlations of divisor sums with quadratic cutoff functions shifted independently by \(s,u\in[0,1/2]\). The error is \(O_g(Y/(\log Y)^2)\), uniformly for \(Y^{1/5}\leq R\leq Y^{1/3}\), including coincident shifts. The main term is an explicit bilinear form in the first and second derivatives of the cutoff functions. We obtain it by taking the residue in the outer Mellin variable and evaluating the remaining double integral by Laplace inversion. The present paper establishes the divisor-sum estimate. Its application to the sign-change problem, including the choice of the prime cutoff and the remaining parameters, is treated in Part II.

Selberg sieve weights and sign changes of Kloosterman sums. II. Square-free moduli with at most four prime factors
math.NT


Yixiu Xiao, Hongze Li

Let \(\Kl(1;q)\) denote the normalized Kloosterman sum modulo \(q\). We prove that, for each sign, there are \(\gg X/\log X\) square-free moduli \(q\in(X,2X]\) with at most four prime factors for which \(\Kl(1;q)\) has that sign. The proof combines the Selberg sieve with equidistribution and mean-square estimates for Kloosterman sums; the uniform estimate for shifted sieve weights established in Part~I controls the contribution of moduli having small prime factors.

On the abundance of rigid meromorphic cocycles for quadratic forms in four variables
math.NT


Lennart Gehrmann, Sören Sprehe

Let $(V,q)$ be an anisotropic quadratic space of dimension $4$ over the rationals and let $p$ be a prime such that the local quadratic space $V\otimes \mathbb{Q}_p$ is the orthogonal direct sum of two hyperbolic planes. We show that the group of $p$-adic rigid meromorphic cocycles attached to $V$ has infinite rank. A key ingredient in the proof is the computation of the group of invertible rigid analytic functions on products of certain rigid analytic subspaces of the projective line such as the $p$-adic upper half-plane.

The lower bound of shifted primes with large prime factors
math.NT


Zhiyuan Yang

In this paper, we consider the asymptotic density of $T_c(x):=\#\{p\leq x:P^+(p-1)\geq p^c\}$, where $P^+(n)$ denote the largest prime factor of $n$. We show that for $x\rightarrow\infty$, for any $00$ for $11/320.0436$. This improves a previous result by Liu-Wu-Xi (2020), who showed \begin{align*} \mathop{\lim\inf}_{x\rightarrow\infty}\frac{T_c(x)}{\pi(x)}&\geq\max\left(1-4\rho\left(\frac{1}{c}\right),1-c\right), \end{align*} for $0

$D$-elliptic modular curves $X_0(N)$
math.NT


Maarten Derickx, Daeyeol Jeon, Yongjae Kwon, Petar Orlić

We present a method for determining whether there exists a degree $D$ rational map from $X_0(N)$ to some elliptic curve $E/\mathbb{Q}$. Moreover, we explain how to obtain a quadratic form that represents all possible degrees of such maps using the degree pairing method. This method previously required odd analytic rank and some additional technical conditions to be satisfied. In this paper, we extended the method to even rank curves as well and remove all technical conditions. We also show how to prove or disprove the existence of degree $D$ maps to elliptic curves by a lifting criterion on the lattices $H_1(-,\mathbb{Z})$ As an application of this method, we determine all $D$-elliptic curves $X_0(N)$ for all $D\leq 100$. Interestingly, in some cases we found degree $D$ rational maps that we could not explain by degeneracy maps, quotient maps, and modular parameterisation.

Asymptotic Behavior of Iterated Sets of Remainders
math.NT


Omkar Baraskar, Prashant Gokhale, Sarvagya Jain, Adam Kieżun

For a positive integer $n$, let $$S_0(n)=\{1,2,\ldots,\lfloor n/2\rfloor\},\qquad S_{j+1}(n)=\{n\bmod k:k\in S_j(n)\setminus\{0\}\},$$ and put $s_j(n) := |S_j(n)|$. The sets defined above arise naturally in the study of the length of the Pierce series expansion of a rational number. In \cite{Ba-Vu}, Baraskar and Vukusic conjectured that for every fixed $j\geq 2$, the limit $$\lim_{n\to\infty} s_j(n)/n$$ does not exist. In this paper, we prove this conjecture in the affirmative. Moreover, we define a new class of iterated remainder sets $T_j(n)$ that naturally arises from the study of the length of the Engel series expansion of a rational number. We analogously study the asymptotic behavior of $t_j(n) := |T_j(n)|$. We show that $$\lim_{n\to\infty}\frac{t_j(n)}n$$ exists precisely for $j\in\{0,1\}$ and fails to exist for every fixed integer $j\geq2$.

Weighted Generalizations of Zagier's Phenomenon
math.NT


Dragomir Grozev, Navid Safaei

We study sums associated with the action of $PGL_2(\mathbb Z)$ on continuous piecewise polynomial functions with exactly two real roots, both irrational. We form weighted sums of the positive parts of their normalized transforms, using nonnegative weights compatible with translation, reflection, and inversion. Under suitable continuity, finiteness, and convergence assumptions, we prove that these sums are well defined, bounded, $1$-periodic, and continuous on $\mathbb R$, and satisfy a reciprocal functional equation. We also extend the construction to finite families of distinct function orbits. Our framework recovers Zagier's constancy result and includes the full family of quadratic sums for which Bengoechea proved convergence.

The local Dold congruence for Fibonacci and Lucas sequences
math.NT


Sompong Chuysurichay, Sawian Jaidee, Chatchawan Panraksa, Thomas Ward

We discuss local properties of the classical Fibonacci and Lucas sequences, characterising in both cases those primes~$p$ for which the~$p$-part satisfies the Dold congruences or is realizable. We calculate an exact `repair' multiplier in each case and determine the relative prime densities of the Dold, realizable, almost Dold, and almost realizable prime sets. In that order, the four densities are~$(\frac34,\frac13,1,\frac13)$ for the Lucas sequence and~$(\frac12,\frac12,1,1)$ for the Fibonacci sequence.

On Normality Preserving Operations
math.NT
math.DS


Chokri Manai

We study arithmetic operations and maps which preserve normality. Revisiting a recent argument of Dayan, Ganguly and Weiss, we give a streamlined, self-contained presentation of the probabilistic proof that the non-zero rationals are exactly the multiplicative normality preserving numbers in a fixed integer base. We also include the extension to all bases simultaneously, using the theorem of Hochman and Shmerkin. In the additive case, we extend Rauzy's characterization of deterministic numbers in a fixed integer base to absolutely normal numbers. Namely, a translation preserves absolute normality if and only if its parameter is deterministic in every integer base. We prove this extension by a sparse random perturbation argument. Finally, we show that all locally $C^2$ normality preserving maps need to be affine-linear. The regularity assumption cannot be weakened to $C^{1,1}$: we construct a non-affine $C^{1,1}$ diffeomorphism which preserves normality in every integer base, and hence absolute normality.

Geometry around unramified CM points
math.NT
math.AG
math.RT


Yuta Takaya

We compute an explicit contribution of supercuspidal representations arising from Yu's construction to the middle \'etale cohomology of local Shimura varieties. For the proof, we construct special affinoids in local Shimura varieties whose reductions are isomorphic to Heisenberg Deligne-Lusztig varieties and then apply positive-depth Deligne-Lusztig theory. Along the way, we propose a stacky analogue of special affinoids using the stack of local shtukas and observe that the `general canonical subgroup problem' can be solved purely on the stack of local shtukas, which yields the corresponding claim on Shimura varieties via the Hodge-Tate period map.

Algebraic independence of periods of Anderson modules and their hyperderivatives
math.NT
math.AC
math.RT


Andreas Maurischat, Changningphaabi Namoijam

Transcendence questions of periods and quasi-periods of Anderson modules, as well as the hyperderivatives thereof, are of major interest in number theory over function fields. In the case of Drinfeld modules, this question was answered by the second author. In this paper, we show that these results hold for general Anderson $t$-modules under certain assumptions on their Galois representations. The proofs use the explicit description of the $\mathfrak{p}$-adic Galois representation of the first author by means of a rigid analytic trivialization of the associated $t$-motive, as well as prolongations of $t$-modules and $t$-motives. The general result is applied to determine algebraic relations between periods and quasi-periods, and their hyperderivatives, of finitely many Drinfeld modules. Along the way, our results provide more evidence for the Mumford-Tate conjecture for Anderson modules.

Exceptional maps and abelian points in backward orbits
math.NT
math.AG
math.DS


Zhuchao Ji, Jiarui Song, Junyi Xie

Consider a number field $K$, a polarized endomorphism $f:X\to X$ on a normal projective variety, and a non-exceptional point $\alpha$ for $f$. We show that the extension $K(f^{-\infty}(\alpha))/K$ generated by the backward orbit of $\alpha$ is virtually abelian if and only if $f$ is an exceptional map with CM and $\alpha$ is $f$-preperiodic. This answers a conjecture of Andrews and Petsche and extends it to higher dimensions. To this end, we develop the theory of exceptional maps on normal projective varieties over $\mathbb{C}$ and prove that commuting polarized endomorphisms of multiplicatively independent degrees are exceptional.

A polynomial basis for the multizeta algebra in positive characteristic
math.NT


Li Lai

Let $K=\mathbb{F}_q(\theta)$, and let $\mathcal{Z}$ be the $K$-algebra generated by Thakur's multiple zeta values $\zeta_A(\mathfrak{s})$. We prove that $\mathcal{Z}$ is a polynomial algebra and construct an explicit polynomial basis of $\mathcal{Z}$ over $K$. We also determine the transcendence degree of $K[\zeta_A(\mathfrak{s}): \operatorname{wt}(\mathfrak{s}) \leqslant w]$ over $K$ for every integer $w \geqslant 1$, generalizing a result of Ngo Dac--Nguyen Chu--Pham. The proof uses Chang's grading theorem, the linear basis theorem proved independently by Chang--Chen--Mishiba and Im--Kim--Le--Ngo Dac--Pham, and the carry relations of Im--Kim--Ngo Dac. The key step is to show that suitable derivations obtained from deconcatenation and linear functionals descend through the carry relations to $\mathcal{Z}$.

Abelian dynamical Galois groups over global function fields
math.NT


Andrea Ferraguti, Patrick Ingram, Carlo Pagano

We establish a function field analogue of a recent conjecture of Andrews--Petsche. Our main result characterizes abelian dynamical Galois groups to be precisely the isotrivial ones, whenever the degree of the polynomial is smaller than $p$, the characteristic of the field. The proof of this characterization is achieved in four independent steps as follows: $$\text{Abelian} \implies \text{Finite ramification} \implies \text{PCF map} \implies \text{Isotrivial map} \implies \text{Isotrivial pair}, $$ and works more generally for maps with a superattracting fixed point. We observe that this chain of implications is sharp in the degree: as soon as one reaches $p$ there are new non-isotrivial examples coming from Drinfeld modules. We propose a full conjectural classification in all degrees, taking into account all of the new exotic examples coming from Drinfeld modules and their associated Latt\`es maps.

$\Kab$ has the Bogomolov property for canonical heights
math.NT


Andrea Ferraguti, Carlo Pagano

We show that for any number field $K$ and any rational map $f$ in $K(x)$ that is not conjugate to a power, (signed) Chebyshev or Latt\`es map, then $K^{\mathrm{ab}}$ has the strong Bogomolov property for the canonical height of $f$. We also classify the pairs $(f,\alpha)$ whose backward orbit contains infinitely many abelian points. This settles the Andrews--Petsche conjecture to rational maps over a number field and to infinite abelian subsets of backward orbits. The authors were led to the main idea of the proof in conversation with \emph{Astra}. The key insight consists of applying the equidistribution results \cite{Yua08}, followed by a classification of $(f,f)$-preperiodic curves \cite{Pak23,Pak20, Bea25} followed by an additional application of equidistribution on a parametrized preperiodic curve.

The Hall-Janko Simple Group and the Icosian Leech Lattice
math.GR
math.NT


Gerald Höhn

We give a unified arithmetic and geometric treatment of the Hall-Janko simple group and the icosian Leech lattice. Let $\mathcal{I}$ be the standard icosian maximal order over $K=\mathbb{Q}(\sqrt5)$. Following the mass-formula and Venkov framework for the Niemeier and Leech lattices, we classify positive definite unimodular Hermitian $\mathcal{I}$-lattices of quaternionic rank $3$. Hashimoto's mass formula, the Siegel-Weil average, and Gundlach's structure theorem determine the scalar theta series of every nonsplit class. A two-place harmonic separation of the Leech minimal shell proves that its three Hermitian components are quaternionic projective $5$-designs. For the norm-$2$ shell, integrality and projective moments recover the complete angle scheme and its $525$ orthogonal frames. The finite code of one frame then saturates the residual mass, giving exactly the split and Tits classes and an independent computation of the order of $\operatorname{Aut}_{\mathcal{I}}(L_{\mathrm T})\cong2.J_2$. Finally, a quaternionic line system with the prescribed five projective inner products has at most $315$ points, with equality precisely for the Hall-Janko configuration up to $P\operatorname{Sp}(3)$. Equality in Hoggar's bound supplies the design property; Cohen-Tits uniqueness, golden-angle fission, and the centered cubic moment give geometric rigidity.

Extremal Least Common Multiples in Rows of Pascal's Triangle
math.CO
math.NT


Felix Huber

For $r \geq 0$, let $\mathcal P_r=\{\binom{r}{0},\binom{r}{1},\ldots,\binom{r}{\lfloor r/2\rfloor}\}$ be the set of distinct entries in row $r$ of Pascal's triangle. We study the least possible least common multiple of $n$ entries chosen from one row, with the row itself also free: \[ a(n)=\min_{\substack{r\geq 0,\ S\subseteq\mathcal P_r\\ |S|=n}}\operatorname{lcm}(S). \] We first recast the fixed-row problem exactly as a weighted prime-power exclusion problem. This structural description explains why optimal supports may develop holes and yields an exact certification method for finite cases. Our main asymptotic result is \[ \log a(n)=2n+O\!\left(n\exp\!\left(-c\frac{(\log n)^{3/5}}{(\log\log n)^{1/5}}\right)\right) \] for some absolute $c>0$, so $a(n)^{1/n}\to e^2$. A two-band refinement further shows that every optimal row satisfies \[ r_n=2n+O\!\left(n\exp\!\left(-c\frac{(\log n)^{3/5}}{(\log\log n)^{1/5}}\right)\right), \] and that the minimum prefix defect of an optimal support is $o(n)$. Finally, two independent exact implementations certify the first finite structural transitions: $n=15$ is the first non-prefix optimum, while $n=41$ is the first case of minimum prefix defect greater than one.

Existence of a Hall ray in higher dimensional Lagrange spectra
math.SP
math.DS
math.NT


Yitwah Cheung, Zhijing Wendy Wang, Ruichong Zhang

Given any norm $\|\cdot\|_{\mathbb R^2}$ on $\mathbb R^2$, we prove that the Lagrange spectrum for $2$-vectors contains a Hall ray. Equivalently, every sufficiently small $\rho\ge0$ occurs as $\liminf_{q\to\infty}q^{1/2}\min_{p\in\mathbb Z^2}\|qx-p\|_{\mathbb R^2} $ for some $x\in\mathbb R^2\setminus\mathbb Q^2$. Combined with a recent result of Kleinbock \cite{Kleinbock}, this implies that the $2$-dimensional Lagrange spectrum is either a ray, mirroring the behavior for Dirichlet spectra, or a ray preceded by a dense part.

Sum of Three Squares and Particle in a Cubic Box - Degeneracies
math-ph
math.MP
math.NT
quant-ph


S. Pratik Khastgir

We address the problem of determining the degeneracy of a particular energy eigenvalue corresponding to a quantum particle trapped in a cubic box. In other words, we aim to find the number of ways a specific positive integer can be written as the sum of three natural number squares. This is a classic problem in number theory. We provide a closed-form, exact solution to the problem. We do not claim to provide proofs, as we have none; instead, we build up the formulae starting from simple cases where the answer could be deduced by studying the list of degeneracies. We present ample examples that could be verified against the degeneracy calculated numerically via the brute-force method. We arrived at the solution by meticulously studying the list of degeneracies for the first five million numbers, generated by Mathematica$^{\circledR}$.

Quantum modularity in refined topological recursion
math-ph
hep-th
math.AG
math.CV
math.MP
math.NT


Veronica Fantini, Kento Osuga

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.

From Dimension Drop to Aperiodic Order
math.DS
math.MG
math.NT


Natalia Jurga, Dmytro Karvatskyi

We consider the parametrised family of sets $$ E(x,y)=\left\{\sum_{n=1}^{\infty}\frac{\varepsilon_n}{4^n}: (\varepsilon_n) \in \{0,x,y,x+y\}^{\mathbb{N}}\right\} $$ for $(x,y) \in \mathbb{N}^2$. This family can be viewed through three lenses: (a) as homogeneous self-similar sets; (b) as achievement sets of bi-geometric series; or (c) as the set of `rational' orthogonal projections of the four-corner Cantor set. We synthesise these three perspectives to obtain a complete topological classification of $E(x,y)$ for $(x,y) \in \mathbb{N}^2$. Next, we collapse this topological classification to a binary one according to whether or not $E(x,y)$ has interior. When this binary classification is visualised, it reveals a two-colour tiling $T$ of the lattice $\mathbb N^2$, which, despite being visibly structured, turns out to be aperiodic; indeed, we prove it has no non-trivial translational symmetries. Due to the rigidity of our model, this same binary classification simultaneously captures several dichotomies. Most notably, when the family $\{E(x,y)\}_{(x,y) \in \mathbb{N}^2}$ is viewed through the theory of self-similar sets, $T$ can be seen to describe the emergence of dimension drop within the family. Finally we examine the mechanism underlying the tiling's aperiodic order. By considering the number-theoretic properties of the tiling, we characterise its substitution structure, and discover that $T$ is a factor of a substitution tiling on four ``hidden'' arithmetically defined states.

Density of almost squares of horospherical orbits in non-uniform quotients of $\operatorname{SL}_2(\mathbb{R})\times\operatorname{SL}_2(\mathbb{R})$
math.DS
math.NT


Konstantin Andritsch

Let $\Gamma\subset\operatorname{SL}_2(\mathbb{R})\times\operatorname{SL}_2(\mathbb{R})$ be an irreducible, non-uniform lattice and define the space $X = \operatorname{SL}_2(\mathbb{R})\times\operatorname{SL}_2(\mathbb{R})/\Gamma$. Let $U$ be the standard horospherical subgroup in $\operatorname{SL}_2(\mathbb{R})\times\operatorname{SL}_2(\mathbb{R})$. We show that for every $\delta>0$ and $x\in X$ with dense $U$-orbit, the $U$-orbit evaluated at almost squares, $\{(u_{(n^{2-\delta},m^{2-\delta})}~:~n,m\in\mathbb{N}\}\cdot x$, is dense in $X$. The main idea of the proof is to shadow large periodic $U$-orbits and reduce the statement to a density statement within the periodic $U$-orbit, i.e. a statement for the $2$-torus $\mathbb{T}^2$. This then follows from an effective version of Weyl's inequality to deduce the result. The effective shadowing of periodic $U$-orbits is achieved using tools from homogeneous dynamics, namely quantitative non-divergence of horospherical subgroups, recurrence under the diagonal flow and effective equidistribution of expanding horospherical subgroups. Our approach follows the strategy of the work \cite{KR25} of \citeauthor{KR25} who established density of almost squares of the horocycle flow for non-uniform lattices in $\operatorname{SL}_2(\mathbb{R})$.

The Chowla conjecture and Landau-Siegel zeroes
math.NT
v4


Mikko Jaskari, Stelios Sachpazis

Let $k\geq 2$ be an integer and let $\lambda$ be the Liouville function. Given $k$ non-negative distinct integers $h_1,\ldots,h_k$, the Chowla conjecture claims that $\sum_{n\leq x}\lambda(n+h_1)\cdots \lambda(n+h_k)=o(x)$ as $x\to\infty$. An unconditional answer to this conjecture is yet to be found, and in this paper, we take a conditional approach towards it. More precisely, we establish a non-trivial bound for the sums $\sum_{n\leq x}\lambda(n+h_1)\cdots \lambda(n+h_k)$ under the existence of a Landau-Siegel zero for $x$ in an interval that depends on the modulus of the character whose Dirichlet series corresponds to the Landau-Siegel zero. Our work constitutes an improvement over the previous related results of Germ\'{a}n and K\'{a}tai, Chinis, and Tao and Ter\"av\"ainen.

On single-variable Witten zeta functions of rank two and three
math.NT
math.CA
v4


Kam Cheong Au

By introducing a novel integration kernel for the Mellin transform, we uncover many previously unknown and intriguing properties of the Witten zeta functions of rank two and three. Detailed results concerning their pole locations, residues, and special values are obtained. We propose a non-trivial conjecture regarding their derivatives at the origin, which seems to encode deep information about the root system. We also discuss their behavior at negative integers, highlighting a connection with Eisenstein series and a $p$-adic observation.

Primes in arithmetic progressions under the presence of Landau-Siegel zeroes
math.NT
v2


Stelios Sachpazis

Let $x\geqslant 2$ and assume that $a$ and $q$ are coprime positive integers. As usual, $\psi(x;q,a):=\sum_{n\leqslant x,n\equiv a(\!\!\!\mod{\!\!q})}\Lambda(n)$, where $\Lambda$ is the von Mangoldt function. In 2003, Friedlander and Iwaniec assumed the existence of exceptional characters corresponding to "extreme" Landau-Siegel zeroes and established a meaningful asymptotic formula for $\psi(x;q,a)$ beyond the square-root barrier of the Generalized Riemann Hypothesis. In particular, their asymptotic yields non-trivial information for moduli $q\leqslant x^{1/2+1/231}$. In this paper, we considerably relax the extremity of the Landau-Siegel zero required in the work of Friedlander and Iwaniec and obtain a conditional asymptotic formula for $\psi(x;q,a)$ in a slightly wider range of $q$.

On graded Lie algebras associated to once-punctured elliptic curves with complex multiplication
math.NT
v2


Shun Ishii

We study a graded Lie algebra arising from the Galois action on the pro-$p$ fundamental group of a once-punctured elliptic curve with complex multiplication. Among other things, we provide a minimal generating set of the rationalized Lie algebra under suitable assumptions. The proof is based on a slight variant of the theory of weighted completion of profinite groups developed by Hain and Matsumoto.

Arithmetic exceptionality of Latt\`{e}s maps
math.NT
v2


Chatchawan Panraksa, Detchat Samart, Songpon Sriwongsa

Let $\mathbb{F}_q$ denote a finite field of order $q$. A rational function $r(x)\in \mathbb{Q}(x)$ is said to be arithmetically exceptional if it induces a permutation on $\mathbb{P}^1(\mathbb{F}_p)$ for infinitely many primes $p$. Based on some computational results, Odaba\c{s} conjectured that for each $k\in \mathbb{N}$, the $k$-th Latt\`{e}s map attached to an elliptic curve $E/\mathbb{Q}$ is arithmetically exceptional if and only if $E$ has no $k$-torsion point whose $x$-coordinate is rational. In this paper, we prove that this conjecture is true for any elliptic curve $E/\mathbb{Q}$ having complex multiplication by an imaginary quadratic field other than $\mathbb{Q}(\sqrt{-11}).$ On the other hand, we show that the conjecture becomes invalid if $E$ has CM by $\mathbb{Q}(\sqrt{-11})$ and $6\mid k$. Partial results for non-CM elliptic curves are also given.

Explicit hypergeometric modularity of certain weight two and four Hecke eigenforms
math.NT
v2


Sipra Maity, Rupam Barman

Recently, Allen \emph{et al.} developed the Explicit Hypergeometric Modularity Method (EHMM) that establishes the modularity of a large class of hypergeometric Galois representations in dimensions two and three. Motivated by this framework, we construct two explicit families of eta-quotients, which we call the $\mathbb{K}_4$ and $\mathbb{K}_5$ functions, from the hypergeometric background. These $\mathbb{K}_4$ and $\mathbb{K}_5$ functions are constructed using the theory of weight $1/2$ Jacobi theta functions and their cubic analogues, respectively. Using these constructions, we then express the Fourier coefficients of certain Hecke eigenforms of weight two and four in terms of finite field period functions. As an application, we obtain new identities expressing the Fourier coefficients of weight two Hecke eigenforms in terms of special values of finite field analogues of the Appell series $F_1$ and $F_2$. These results provide new explicit connections between hypergeometric character sums, modular forms, and multivariable hypergeometric functions over finite fields, thereby extending the scope of known instances of hypergeometric modularity.

p-adic Hodge theory of de Rham local systems, I: Newton polygon and monodromy
math.NT
math.AG
v3


Heng Du

We prove that the relative p-adic monodromy theorem holds over a dense open subset. Moreover, we establish the equivalence of the following two statements: the local constancy of the Newton polygon function associated with a de Rham local system around rank-1 points, and the relative p-adic monodromy theorem near rank-1 points. We demonstrate how to extend the relative p-adic monodromy conjecture from the neighborhood of rank-1 points to the entire interiors of Newton partitions. Finally, we verify a conjecture of Howe-Klevdal concerning the potential good reduction of admissible pairs arising from variant of p-adic Hodge structures.

On the Face Map of the Admissible Set With Iwahori Level
math.NT
math.RT
v2


Qingchao Yu

To each face $\mathcal{F}$ of the coweight polytope $\mathcal{P}_{\mu}$, we associate a subset $\text{Adm}(\mu)_{\mathcal{F}}$ of the $\mu$-admissible set $\text{Adm}(\mu)$, which we refer to as a face of $\text{Adm}(\mu)$. This gives rise to a face decomposition of $\text{Adm}(\mu)$. As an application, we give a complete description of the fibers of the face map $|\Delta|^f$ defined by Pappas-Rapoport and prove that the face map is surjective.

Congruence Classes of Supporting the Erd\"{o}s-Straus Conjecture I: Tame Solutions
math.NT
v2


Xiaoping Xu

In 1948, Erd\"{o}s and Straus formulated a conjecture : for any positive integer $n>2$, there exist positive integers $n_1,n_2$ and $n_3$ such that \begin{equation}\frac{4}{n}=\frac{1}{n_1}+\frac{1}{n_2}+\frac{1}{n_3},\nonumber\end{equation} which is still open. It is known that one only needs to prove the conjecture for any prime number $n$ such that $n\equiv 1\;(\mbox{mod}\;24)$. If $n=24m+1$ and $n_1\leq n_2,n_3$, then $n_1=6m+k$ with $1\leq k\leq 12m$. A solution $(n_1,n_2,n_3)$ of the above equation is called a {\it tame solution} if $n_2$ and $n_3$ are factors of $(6m+k)(24m+1)$. We call $n=24m+1$ {\it wild} if it does not have any tame solution. In this paper, we derive twenty-eight families of tame solutions of the above equation. Numeric test shows that they cover all the tame primes.

Stable quadratic polynomials over $\mathbb{Q}(i)$
math.NT
v3


Jermain McDermott

We study iterates of a quadratic $f= x^2+1/c\in K[x]$. If the number of factors of $f^n:=f\circ f \circ ... \circ f$ is bounded by a constant independent of $n$, then $f$ is said to be \emph{eventually stable}. This paper is an extension to $\mathbb{Q}(i)$ of the paper \cite{evstb}, which considered $f$ over $\mathbb{Q}$. The conjecture "if $f^2$ is irreducible, then $f^n$ is irreducible for all $n$" extends to $\mathbb{Q}(i)$, but due to the lack of a linear ordering on $\mathbb{Q}(i)$, an auxiliary function is involved in a specific $n$ to check. The elusive case of $c\equiv 2 \bmod 4$ (as a $\mathbb{Z}$ equivalence class) is shown to be "stable" over $\mathbb{Q}(i)$, offering more evidence for \cite[Conjecture 1]{evstb}. Stability for $c\equiv 1\bmod 2$ (as a $\mathbb{Z}[i]$ equivalence class) is not as fully handled as over $\mathbb{Z}$, however.

Exact approximation order of real numbers in Cantor series expansions
math.NT
v2


Wanjin Cheng, Xinyun Zhang

Let $Q=\{q_n\}_{n\geq1}$ be a sequence of integers with $q_n\geq2$ for every $n\geq1$. Every $x\in[0,1)$ admits a Cantor series expansion of the form $$ x = \frac{\varepsilon_1(x)}{q_1} + \frac{\varepsilon_2(x)}{q_1q_2} +\cdots+ \frac{\varepsilon_n(x)}{q_1q_2\cdots q_n} +\cdots.$$In this paper, we study exact approximation of real numbers by the $n$-th partial sums of their Cantor series expansions. More precisely, for a non-increasing function $\psi:\mathbb{N}\to(0,\infty)$ satisfying $\psi(n)\to0$, let $E_c(\psi)$ be the set of points that are $\psi$-approximable by their $n$-th partial sums but are not $b\psi$-approximable for any $0<1$. We determine the Hausdorff dimension of $E_c(\psi)$.

Torsion groups of rational elliptic curves over $\mathbb{Z}_p$-extensions of quadratic fields: the $p\le 5$ case
math.NT
v2


Haidong Li

Let $E$ be a rational elliptic curve. We generalize a theorem due to Avc{\i}\cite{AVCI2026153}, which asserts that for any quadratic field $K$ and prime $p>5$, the equality $E(K)_{\mathrm{tors}} = E(L)_{\mathrm{tors}}$ holds for every $\mathbb{Z}_p$-extension $L/K$. In this paper, we consider the setting where the $\mathbb{Z}_p$-extension $L$ is replaced by the compositum $K_{\infty}$ of all $\mathbb{Z}_p$-extensions of $K$. Under this new setting, we prove the analogous statement for $p=5$, and further provide some results for the remaining primes $p=3$ and $p=2$, where we also try to study the growth pattern of torsion groups. Moreover, we completely classify all triples $(E,K,p)$ for which $E(K_\infty)_{\mathrm{tors}}$ is infinite.

A Positive Proportion of the Reduced D'Arcais Polynomials is not Hurwitz
math.NT
v2


Steven Charlton, Bernhard Heim, Markus Neuhauser, Johann Stumpenhusen, Robert Tröger

Heretofore, the second and third author conjectured that the D'Arcais polynomials, related to the coefficients of the powers of the Dedekind $\eta$-function, are Hurwitz polynomials except for a root at the origin. We show that this does in fact not hold for a positive proportion of all natural numbers.

The strong form of Van der Waerden's conjecture via twisted Chowla
math.NT
math.PR
v2


Theresa C. Anderson, Sam Chow, Rainer Dietmann, David Hokken, Peter Koymans, Robert J. Lemke Oliver, Will Sawin, Mark Shusterman

Determining the properties of a random polynomial has fuelled significant investigation over the past century. One driving force of this research is a 1936 paper of Van der Waerden. Fix $n \ge 3$ and let $E_n(B)$ be the number of monic, irreducible, non-$S_n$ polynomials $f = X^n + a_1 X^{n-1} + \cdots + a_n$ with $|a_j| \leq B$ for all $j$. A recent breakthrough of Bhargava bounds $E_n(B) \ll B^{n-1}$. This spectacularly resolves a conjecture of Van der Waerden, but leaves open its stronger form, namely that $E_n(B) = o(B^{n-1})$. Inspired by recent progress, we now prove this stronger form for all $n \ge 40$. Bhargava's result, together with work of Chow and Dietmann, essentially reduces the strong Van der Waerden conjecture to the claim that the number of polynomials $f$ with Galois group $A_n$ is $o(B^{n-1})$. We connect this claim to Chowla's conjecture, an area driving major mathematical progress. Indeed, we formulate a twisted function field version of Chowla's conjecture, and show how Van der Waerden's conjecture reduces to this conjecture for $n \ge 8$. Finally, we make significant progress towards this twisted Chowla conjecture, leading to our resolution of the strong form of Van der Waerden's conjecture for all $n \geq 40$.

Modular Forms Related to Real Quadratic Fields as Traces of Cycle Integrals
math.NT
v2


Johann Stumpenhusen

A decade ago, locally harmonic Maa{\ss} forms were first established by Bringmann, Kane, and Kohnen in negative weights and independently by H\"ovel in weight $0$. Since then, they have seen important applications related to twisted central $L$-values of newforms. However, there are just a few examples of these forms known so far, and in particular there is no unifying theory behind these examples. Towards this direction, we show that the representations of Zagier's $f_{k,D}$ and Mono's $g_{k+1,D}$ functions as traces of cycle integrals are not unique.

An explicit refined Gan--Gross--Prasad identity for Fourier--Jacobi periods of degree 2 Siegel cusp forms
math.NT
v2


Biplab Paul, Ameya Pitale, Abhishek Saha, Ralf Schmidt

We compute the local integrals appearing in the refined Gan--Gross--Prasad conjecture for Fourier--Jacobi periods of $\mathrm{Sp}_4$ in new ramified cases and use this to formulate an explicit conjectural identity relating Petersson norms of degree 2 Siegel cusp forms and associated half-integral weight forms. We note consequences of our identity for the growth of Petersson norms, the size of Fourier coefficients, and non-vanishing of central $L$-values.

Short arithmetic terms for the cardinality of elliptic curves over rings of remainder classes and over finite fields
math.NT
v2


Bogdan Dumitru, Mihai Prunescu

Arithmetic terms are fixed finite compositions of addition, truncated subtraction, multiplication, integer division and exponentiation on natural numbers. We construct such terms for the number of affine solutions of $ y^2 = x^3 + Ax + B $. For arbitrary moduli $ n \geq 1 $, a specialization of Prunescu's general construction reduces the number of monomial contributions from fourty-nine to fifteen and the size of the packed integer from approximately $ 2n^{11} $ to approximately $ 2n^5 $ binary digits. For prime moduli $ p \geq 17 $, the Hasse invariant and the trace of Frobenius give a term of about thirty operations. For curves defined over $ \mathbb F_p $, a further term counts the points over $ \mathbb F_{p^k} $ with $ k $ as a variable. For primes $ p \geq 5 $, we also obtain arithmetic terms for the counts over $ \mathbb Z / p^k \mathbb Z $ with $ k $ variable, covering good reduction, nodes and cusps, including non-minimal equations and zero discriminant.

On the syntomic regulator of the Hesse cubic curves and $p$-adic hypergeometric functions
math.NT
math.AG
v2


Yusuke Nemoto

We introduce a new type of $p$-adic hypergeometric function, which satisfies congruence relations similar to Dwork's $p$-adic hypergeometric function. Also, we prove that the syntomic regulators of the Hesse cubic curves are expressed in terms of the special values of our new $p$-adic hypergeometric functions. We also show that there is a transformation formula between our new $p$-adic hypergeometric function and a $p$-adic hypergeometric function of logarithmic type defined by Asakura.

Mahler's Problem on Liouville Numbers
math.NT
v2


Diego Marques

A classical theorem of Maillet states that every nonconstant rational function with rational coefficients maps Liouville numbers to Liouville numbers. In 1984, Mahler asked whether there exists a transcendental entire function with the same property. We resolve this question in the negative. More generally, we prove that every real-analytic function on an interval with this property is the restriction of a rational function in $\mathbb{R}(x)$. The local result is quantitative: for every nonrational real-analytic function, every nonempty open subinterval of its domain contains a Liouville number whose image has irrationality exponent at most $100$. The proof rests on a two-height counting estimate that treats source and target denominators independently. An adaptive determinant argument, uniform Wronskian sublevel bounds, and Farey separation establish the estimate; a nested-interval construction yields the quantitative result.

The weak Chinburg conjecture on Mahler measures
math.NT
v2


Xuejun Guo, Zhengyu Tao

For every negative fundamental discriminant $-f$ and every $k\geq1$, we construct a rational function $R_{f,2k}\in\mathbb{Q}(x_1,\ldots,x_{2k})$ and a constant $r_{f,2k}\in\mathbb{Q}^\times$ such that \[ m(R_{f,2k})=r_{f,2k}L'(\chi_{-f},1-2k), \] where $m$ denotes the logarithmic Mahler measure and $\chi_{-f}$ is the quadratic Dirichlet character associated with $-f$. This proves the weak Chinburg conjecture. An independent construction using Bloch cycles yields a stronger result in two variables: there exists a nonzero polynomial $R_f\in\mathbb{Q}[x,y]$ satisfying \[ m(R_f)=4wL'(\chi_{-f},-1), \] where $w$ is the number of roots of unity in $\mathbb{Q}(\sqrt{-f})$.

Endoscopic description of the local Langlands correspondence for $\mathrm{G}_2$
math.NT
math.RT
v2


Yugo Takanashi

We prove that the $L$-packets for $p$-adic $\mathrm{G}_2$ constructed by Gan and Savin satisfy the endoscopic character identities. In the course of the proof, we also prove twisted endoscopic character identities for functorial lifts from $\mathrm{G}_2$ to $\mathrm{PGSO}_8$ with triality. As a byproduct, we also prove a global multiplicity formula for the discrete automorphic spectrum of $\mathrm{G}_2$ coming from the cuspidal automorphic spectrum of $\mathrm{PGL}_3$.

The Three Gates: A Rooted-Operator Approach to Weil Positivity
math.NT
v2


Marco Desogus

We present a localized rooted-operator argument for Weil positivity in the real odd logarithmic channel, retaining the polar rank-one term throughout. Gate I establishes a strict cellular covariance theorem and its midpoint-shell consequence, with rigorous interval-arithmetic bounds on the finite range used below. Gate II combines the Mellin unit-cell decomposition, divisor partial-isometry squares, affine translations, full-form Cauchy--Carleman transport, coherent multi-source shorting, the augmented scalar root, and Schur geometry in the true metric. Gate III uses compression, closure, and the restricted odd Weil criterion. A central point in Gate II is to place the inherited parent response inside the same post-old-core/common-cut primal form in which the arithmetic mismatch and folded scalar debit are charged. If $P^{\rm ex}{k,m}$ is the surviving inherited pivot and $a_m$ the inherited coordinate of the Schur minimizer, then $P^{\rm ex}{k,m}a_m=\omega^{\rm ex}_{k,m}$, so the inherited source-coupling contribution is the negative metric energy of that response. The aligned forcing is retained explicitly, and an outward-rounded finite computation together with the analytic tail gives $\mathfrak g^{\rm M+}k=\frac12+\log k-\frac{439}{250\log 2}\sum_m V{k,m}-\frac52 W_k>0$ for $k\ge7$. The simultaneous common-cut theorem keeps the parent-ground and transverse budgets separate before the common infimum, while the fold identity leaves a non-negative remainder. Starting from the rigorously certified endpoint $Y=7$, Schur induction yields positivity at the integer endpoints, zero-extension gives non-negativity at every finite support radius, and closure together with the restricted odd Weil criterion yields the Riemann hypothesis.

Effective equidistribution of orbits under semisimple groups on congruence quotients
math.DS
math.NT
v2


Andreas Wieser

We prove an effective equidistribution result for periodic orbits of semisimple groups on congruence quotients of an ambient semisimple group.This extends a previous work of Einsiedler, Margulis and Venkatesh. The main new feature is that we allow for periodic orbits of semisimple groups with nontrivial centralizer in the ambient group. Our proof uses crucially an effective closing lemma from work of the author with Lindenstrauss, Margulis,Mohammadi, and Shah.

A stacky $p$-adic Riemann--Hilbert correspondence on Hitchin-small locus
math.AG
math.NT
v4


Yudong Liu, Chenglong Ma, Xiecheng Nie, Xiaoyu Qu, Yupeng Wang

Let $C$ be an algebraically closed perfectoid field over $\mathbb{Q}_p$ with the ring of integer $\mathcal{O}_C$ and the infinitesimal thickening $\Ainf$. Let $\mathfrak X$ be a semi-stable formal scheme over $\mathcal{O}_C$ with a fixed flat lifting $\widetilde{\mathfrak X}$ over $\Ainf$. Let $X$ be the generic fiber of $\mathfrak{X}$ and $\widetilde X$ be its lifting over $\BdRp$ induced by $\widetilde{\mathfrak X}$. Let $\MIC_r(\widetilde X)^{{\rm H}\text{-small}}$ and $\rL\rS_r(X,\BBdRp)^{{\rm H}\text{-small}}$ be the $v$-stacks of rank-$r$ Hitchin-small integrable connections on $X_{\et}$ and $\BBdRp$-local systems on $X_{v}$, respectively. In this paper, we establish an equivalence between these two stacks by introducing a new period sheaf with connection $(\calO\bB_{\dR,\pd}^+,\rd)$ on $X_{v}$.

The \'etale topos reconstructs varieties over sub-p-adic fields
math.AG
math.NT
v2


Magnus Carlson, Jakob Stix

Let $K$ be a sub-$p$-adic field. We show that the functor sending a finite-type $K$-scheme to its \'etale topos is fully faithful after localizing at universal homeomorphisms. This generalizes a result of Voevodsky, who proved the analogous theorem for fields finitely generated over $\mathbb{Q}$. We also establish a relative version over normal noetherian Nagata schemes with sub-$p$-adic function fields, where we prove that componentwise universally open schemes can be reconstructed from their \'etale topoi, up to universal homeomorphism. Specializing to $\operatorname{Spec}(\mathbb{Z})$ as the base, this partially verifies a conjecture of Grothendieck. Our proofs rely on Mochizuki's Hom-theorem in anabelian geometry, a study of point-theoretic morphisms of fundamental groups of curves, and a topos-theoretic section conjecture of Voevodsky, which we prove.

Hausdorff dimension for the weighted products of multiple digits in d-decaying Gauss like systems
math.DS
math.NT
v2


Ayreena Bakhtawar, Micha{\l} Rams

We compute the Hausdorff dimension of sets defined by the growth of weighted products of multiple digits at arbitrary positions in $d$-decaying Gauss-like iterated function systems. We provide the complete Hausdorff dimensional result for product of more than two digits, which was an open problem even for consecutive digits in the classical Gauss map and L\"{u}roth map. In our approach we do not need to assume the Bounded Distortion Property (BDP).

Characteristic-free approaches around Yu's construction
math.RT
math.AG
math.NT
v2


Yuta Takaya

We give a direct characteristic-free construction of twisted Heisenberg-Weil representations when there are no symmetric and ramified roots. As a consequence, we show that twisted Yu's construction naturally extends to residual characteristic $2$. Moreover, we give a geometric realization of such twisted Heisenberg-Weil representations via the Deligne-Lusztig construction for Heisenberg group schemes. As an application, we give an explicit description of positive-depth parahoric Deligne-Lusztig induction in the generic case.

Local height arguments toward the dynamical Mordell-Lang conjecture
math.DS
math.AG
math.NT
v2


She Yang, Aoyang Zheng

We consider regular endomorphisms of the complex affine space with a degree gap $k$. They are endomorphisms $f$ of $\mathbb{A}_{\mathbb{C}}^{N}$ of the form $f(x_1,\dots,x_N)=(f_1(x_1,\dots,x_N)+g_1(x_1,\dots,x_N),\dots,f_N(x_1,\dots,x_N)+g_N(x_1,\dots,x_N))$, in which $f_1,\dots,f_N$ are homogeneous polynomials of degree $d$ with no nonzero common zeros and $g_1,\dots,g_N$ are polynomials of degree $\leq d-k$. Such an endomorphism extends to an endomorphism of $\mathbb{P}_{\mathbb{C}}^{N}$. Let $H_{\infty}=\mathbb{P}_{\mathbb{C}}^{N}\setminus\mathbb{A}_{\mathbb{C}}^{N}$ be the infinity hyperplane and we denote $f_{\infty}$ as the induced endomorphism of $H_{\infty}$. Suppose that $k$ is twice greater than the multiplicities of $f_{\infty}$ at the periodic closed points, i.e. $k>2\max\limits_{P\in\mathrm{Per}(f_\infty)}e_{f_{\infty}}(P)$. Then we prove that $f$ satisfies the dynamical Mordell-Lang conjecture for curves. As a by-product of our proof, we show that in this case every periodic curve of $f$ is a "vertical line", i.e. a straight line passing through the origin. There are many examples which satisfy our condition $k>2\max\limits_{P\in\mathrm{Per}(f_\infty)}e_{f_{\infty}}(P)$. Indeed, we prove that for every $d\geq2$, a general endomorphism $f_{\infty}$ of $H_{\infty}\cong\mathbb{P}_{\mathbb{C}}^{N-1}$ of degree $d$ satisfies $\max\limits_{P\in H_{\infty}(\mathbb{C})}e_{f_{\infty}}(P)\leq(N-1)!\cdot2^{N-1}$. So if we take $k=(N-1)!\cdot2^N+1$, then $f$ will satisfy our condition if $f_{\infty}$ is general (of an arbitrary degree $d\geq k$). Moreover, we provide examples to illustrate that this condition is optimal to force every periodic curve to be a vertical line, in the sense that one cannot change "$>$" into "$\geq$".

On the prime field spherical restriction conjecture in four dimensions: breaking the Stein-Tomas exponent and applications
math.CA
math.CO
math.NT
v5


Thang Pham, Boqing Xue

Let $p$ be an odd prime. We prove the extension estimate $R_{S_j}^*(2\to r)\lesssim_r 1$ for every nonzero-radius sphere $S_j\subseteq\mathbb{F}_p^4$ and every $r\geq \, 34/11$, uniformly in $p$ and $j$. This improves the Stein--Tomas exponent $10/3$ established by Iosevich and Koh (2008). We also formulate a localized spherical restriction/extension conjecture that predicts the sharp dependence of the restriction norm on the size of the physical support. This conjecture implies the spherical extension estimates $R_{S_j}^*(2\to r)\lesssim_r 1$ for every $r>3$, and yields almost-every-pin distance estimates at the conjectured Erd\H{o}s--Falconer exponent in four dimensions, up to an arbitrarily small power loss in the set-size hypothesis. Using the same method, we improve the bounds supplied by Fourier decay and Plancherel at intermediate support scales and derive new almost-every-pin distance estimates in $\mathbb{F}_p^4$.

Optimal local convergence criteria for integer and Gaussian integer continued fractions
math.CO
math.CV
math.NT
v2


Ian Short, Margaret Stanier, Matty van Son, Andrei Zabolotskii

The objective of this work is to determine optimal local restrictions on the coefficients of integer and Gaussian integer continued fractions that imply convergence. We identify all minimal restrictions involving words of length two in the integer case, and we identify all reversible minimal restrictions of length two in the Gaussian integer case. In the integer setting, our classification is equivalent to a classification of minimal unavoidable words of length two in Conway--Coxeter quiddity sequences. We also construct a canonical set of restrictions of infinite cardinality that is strictly stronger than every finite set of restrictions.

Intensional semantics for comparison problems in arithmetic geometry
math.CT
math.NT
v2


R. Laniewski

This work proposes a semantic environment for arithmetic geometry in which passage between presentations carries an explicit weight. Morphism costs induce a Lawvere generalized distance by taking infima over transports, and heights satisfy the corresponding transport bounds. A labeled quantitative $(2,1)$-category retains invertible $2$-morphisms as coherent comparisons between transports. Its vertical groupoids admit a transport interpretation inspired by the identity types of Voevodsky's C-systems. If a height factors through the underlying object, then a vertical comparison has equal endpoints, whatever its transport cost. We formulate an intensional Szpiro inequality for elliptic packages, where the discriminant height transports along a morphism with a controlled model defect, and we relate a bound of this form to the $abc$ conjecture. The defect remains visible between non-minimal and normalized presentations, while conductor complexity stays attached to the underlying curve. We then treat the Birch and Swinnerton-Dyer conjecture in its pre-modularity form, using strong point-count asymptotics with an explicit convergence requirement. The refined constant retains separately typed arithmetic factors. A finite differential correction makes the period independent of the chosen differential and links its normalization to model transport. Within the declared finite-descent theory, Tate--Shafarevich finiteness reduces to finitely many closed prime columns of Selmer shadows and a uniform cutoff. For $y^2=x^3-q^2x$ with $q\equiv3\pmod8$ prime, two-isogeny descent closes the two-primary column uniformly. The statements admit expression in $\mathsf{ACA}_0$ relative to certified descent and Mordell--Weil data, with certified Cauchy names for the period and regulator.

Matchings and product growth in modular abelian independence groups
math.CO
math.NT
v2


Mohsen Aliabadi, Jozsef Losonczy

We unify two matching theories, one for finite subsets of groups and the other for finite-dimensional subspaces in a field extension. To achieve this, we study groups equipped with a compatible finitary matroid structure, termed here independence groups. Applying Rado's independent transversal theorem, we derive necessary and sufficient rank criteria for matchability between finite-rank sets. In the setting of a modular abelian independence group $G$, we develop an analogue of the $e$-transform from additive number theory, derive structural matching criteria, and characterize a global matching property by the absence of a finite-rank submonoid $H$ satisfying $1<\rho(H)<\rho(G)$, where $\rho$ denotes rank. Examples of modular abelian independence groups are given and examined in the matching context. Arising from this matching theory, but formulated without any reference to it, is a product-growth bound that generalizes the Cauchy--Davenport theorem: we define a parameter $\mu(G)$ and prove that $\rho(XY)\geq \min\{\mu(G),\rho(X)+\rho(Y)-1\}$ for all nonempty finite-rank subsets $X,Y$ of $G$. Furthermore, $\rho(XY)$ is shown to be controlled from below by a submonoid of $G$ that stabilizes a flat, a phenomenon reminiscent of Kneser's theorem.

A Mixed Robinson--Schensted--Knuth Construction in the Representation Theory of $\mathrm{GL}_n$ over Local non-Archimedean Fields
math.CO
math.NT
math.RT
v2


Ilse Fischer, Markus Reibnegger

We present a simple combinatorial method for computing the socle of representations of $\mathrm{GL}_n(F)$, where $F$ is a local non-Archimedean field, parabolically induced from two ladder representations satisfying a permissibility condition. We adapt recent approaches to such problems using the classical Robinson--Schensted--Knuth correspondence (RSK) and introduce a new variant of RSK that we call mixed-RSK. Some combinatorial properties of this map are investigated and then used to resolve a conjecture of Erez Lapid.

Polynomial point counts for moduli spaces of curves with marked points
math.AG
math.NT
v2


Sam Payne, Thomas Willwacher

We prove that the number of curves of a fixed genus g with n marked points over finite fields is a polynomial function of the cardinality of the field if and only if g = 0 or 3g + 2n is less than or equal to 24. This confirms a conjecture of Canning, Larson, and the authors.

On the Hiraga-Ichino-Ikeda conjecture on formal degrees for $\mathrm{G}_2$
math.RT
math.NT
v2


Yugo Takanashi

We prove that the twisted endoscopic character identities between triality $\mathrm{PGSO}_8$ and the endoscopic group $\mathrm{G}_2$ imply the Hiraga-Ichino-Ikeda conjecture on formal degrees for $\mathrm{G}_2$. In the course of proving the main result, we also establish some fundamental results on representation theory of $\mathrm{PGSO}_8$ with triality. A key feature of our approach is an application of the adjoint group of type $E_6$.