Number Theory [math.NT]

Distinct Consecutive Products

math.NT

math.CO

We prove that there is a density-one set of positive integers for which the products of all distinct consecutive blocks are distinct, answering a question of Erd\H{o}s and Graham. The construction retains or rejects entire interiors of consecutive-prime gaps and is therefore stable under passage to longer prefixes. Uniform affine-curve estimates control the witnesses with no previous rejected gap, and a scale-contracting forest controls every remaining witness unconditionally.

Transcendence measure for the values of the logarithmic derivative of the Bessel function $J_0$ at algebraic arguments

math.NT

Let $P\in \mathbb Z[X]\setminus\{0\}$ be of degree $\delta\ge 1$ and usual height $H\ge 1$, and let $\alpha\in \overline{\mathbb Q}^*$ be of degree $d\ge 2$. As a consequence of general result due to Lang and Galochkin, we have the following transcendence measure: for any $\varepsilon>0$, there exists $c>0$ such that $\vert P(J_0'(\alpha)/J_0(\alpha))\vert>c/H^{4d^2\delta+\varepsilon}$ where $J_0$ is the Bessel function. In this paper, we prove that the exponent $4d^2\delta$ can be replaced by a smaller (explicit) quantity $\mu(d,\delta)\le 4d^2\delta-2d\delta-1$. A similar improvement holds more generally for the logarithmic derivative of any $E$-function $f$ of differential order 2 and such that $f$ and $f'$ are homogeneously algebraically independent. Our method rests upon the optimization of the size of a determinant that appears naturally in the classical Siegel-Shidlovskii method, following the steps of our previous improvement of the transcendence measure of the value $e^\alpha$ for any $\alpha\in \overline{\mathbb Q}^*$.

Lattice points close to a smooth curve and squarefull numbers in short intervals. II

math.NT

By applying recent estimates on the number of integer solutions of ternary quadratic forms in boxes due to Browning and Heath-Brown, we obtain new estimates for the number of lattice points close to a curve. This leads to a new result on the distribution of squarefull numbers in short intervals.

Effective Hecke eigenvalue equidistribution over the Atkin--Lehner subspaces

math.NT

math.AG

For a fixed prime $p$, let $\mu_p$ denote the $p$-adic Plancherel measure. Then the first main goal of this paper is to prove effective (and moreover explicit) $\mu_p$-equidistribution of the $p$-th Hecke eigenvalues over the Atkin--Lehner subspaces $S_k^\sigma(N) \subseteq S_k(N)$ and $S_k^{\operatorname{new}, \sigma}(N) \subseteq S_k^{\operatorname{new}}(N)$. We then highlight five applications of this explicit equidistribution result. For the first application, we generalize Kim's vertical analog of the Atkin--Serre conjecture to the Atkin--Lehner setting. For the second application, we obtain explicit bounds on the number of newforms $f \in S_k^{\operatorname{new}, \sigma}(N)$ for which $p$ is extremal over $S_k^{\operatorname{new}, \sigma}(N)$. For the third application, we prove explicit asymptotics for the number of $\mathbb{F}_{p^r}$-points on the modular Jacobian $J_0(N),$ as well as on its factors $J_0^{\operatorname{new}}(N),$ $J_0^\sigma(N),$ and $J_0^{\operatorname{new}, \sigma}(N)$. We also make explicit an asymptotic result of Serre concerning point counts of the modular curves $X_0(N)$. For the fourth application, we generalize lower bounds due to Murty and Sinha on the sizes of large $\mathbb{Q}$-simple factors of $J_0(N)$ to analogous bounds for $J_0^\sigma(N)$. Finally, for the fifth application (the details of which are given in a separate paper), we use our explicit equidistribution result to prove that only finitely many modular Jacobians are supersingular modulo any fixed prime.

Only finitely many modular Jacobians are supersingular modulo a given prime

math.NT

math.AG

In this paper, we study supersingularity of modular Jacobians $J_0(N)$ and abelian varieties $A_f$ of $\mathrm{GL}_{2}$-type from both the vertical perspective (where the prime $p$ is fixed, and the level $N$ varies) and the horizontal perspective (where the newform $f$ is fixed, and the prime $p$ varies). Vertically, we prove that $J_{0}(N)$ is supersingular modulo a given prime $p$ for only finitely many levels $N$. Horizontally, we show that for sufficiently large $p$, the reduction of $A_f$ modulo $p$ is supersingular if and only if it isogenous to a power of a supersingular elliptic curve.

On two forms in many variables of different degrees

math.NT

In this paper, we investigate integral solutions satisfying the system of two forms in many variables of different degrees. Let $d_1$ and $d_2$ be natural numbers with $d_2>d_1\geq 2$. Let $F_{i}(\boldsymbol{x}) \ (i=1,2)$ be forms in $n$ variables of degrees $d_i\ (i=1,2)$, respectively. Define $$N(\boldsymbol{F};P):=\#\{\boldsymbol{x}\in [-P,P]^n\cap \mathbb{Z}^n:\ F_{i}(\boldsymbol{x})=0\ (i=1,2)\}.$$ When each dimension of singular loci of $F_1=0$ and $F_2=0$ is small, we obtain a number $n_0:=n_0(\boldsymbol{F})$ such that whenever $n> n_0$ one has the expected asymptotic formula \begin{equation*} N(\boldsymbol{F};P)=c_{\boldsymbol{F}}\cdot P^{n-d_1-d_2}+O(P^{n-d_1-d_2-\delta}),\ \text{for some }\delta>0, \end{equation*} where the constant $c_{\boldsymbol{F}}$ is the product of local densities. We note that this asymptotic formula agrees with the Manin-Peyre conjecture. Compared to the previous work, we lower the admissible threshold $n_0(\boldsymbol{F})$ in most cases, with the exception of case $d_2-d_1=1$. In particular, if $F_1$ and $F_2$ are non-singular forms, then we obtain $$n_0(\boldsymbol{F})=3(d_2-1)2^{d_2-1}+(d_1-1)2^{d_1},$$ provided that $d_2\geq 5d_1$ with $d_1\geq2$. This yields a substantial improvement over the previous bound $n_0(\boldsymbol{F})=(d_1+2)(d_2-1)2^{d_2-1}+d_12^{d_1-1}$. To achieve this, we develop a new differencing argument together with the van der Corput differencing argument, delivering an efficient upper-bound estimate for mean values of exponential sums associated with two forms in many variables of different degrees, when the difference between degrees is sufficiently large. Furthermore, the method described in this paper is flexible enough to apply to forms in many variables of differing degrees in general.

Zero-Density Concentration for Dirichlet Polynomials

math.NT

We prove that broad families of finite Dirichlet sums exhibit deterministic concentration of normalized vertical zero density on a single line. The main result gives a general criterion under which the normalized Jessen potentials converge locally uniformly to a piecewise-linear convex function with a single corner. The associated normalized measures describing the distribution of real parts of zeros in vertical mean density then converge weakly to a Dirac mass. Thus, for each fixed truncation, zeros may occupy a nontrivial range of real parts, while asymptotically their normalized vertical density concentrates on one line. The proof combines the finite Bohr lift with a translation-uniform anti-concentration estimate for isolated prime coordinates. We apply the criterion to partial sums of the Riemann zeta function, fixed Dirichlet $L$-functions, and primitive holomorphic Hecke eigenforms of fixed level, trivial Dirichlet character, and without complex multiplication. The concentration line is $\operatorname{Re} s=1/2$ in the normalized setting and becomes $\operatorname{Re} s=k/2$ for the classical Fourier coefficients of a form of weight $k$.

Unramified Geometric Iwasawa theory of function fields

math.NT

math.AG

For an algebraically closed field $k$ of characteristic $p>0$, we study unramified $\mathbf{Z}_p$-towers $\{X_n\}_{n\ge 0}$ of smooth, projective and connected curves over $k$. Our main result provides an Iwasawa-theoretic description of the Newton polygons of their Jacobians, establishing that the slopes of the new part at level $n$ are eventually affine functions of $p^{-n}$ with rational coefficients.

Surjectivity of the Enots Wolley Sequence

math.NT

math.CO

We prove that the Enots Wolley sequence contains every positive integer with at least two distinct prime divisors. Suppose an eligible integer is omitted, and let T be its finite set of prime divisors. There is a finite cutoff such that any maximal run of terms divisible by at least one prime of T and beginning after the cutoff starts with a term divisible by every prime of T and has length at most two. If infinitely many such runs occur, then terms divisible by some but not all primes of T can outnumber terms divisible by all of them by at most a fixed constant. A prime-exchange construction gives the opposite inequality at arbitrarily large scales: after discarding a negligible exceptional set, a weighted double count produces a fixed-factor excess of the former terms. Hence only finitely many such runs occur. Prime recurrence then forces every sufficiently late term to be divisible by some prime of T. Finally, a disjoint-cover argument rules out any finite eventual prime cover, proving surjectivity. The only analytic number-theoretic inputs are the prime number theorem and Mertens' estimate for reciprocal primes.

Continuous approximation to the reciprocal sum of the cubes of Fibonacci numbers

math.NT

Let $f_n$ be the $n$-th Fibonacci number with $f_1=f_2=1$. Recently exact formulas for the integer parts of the tails of inverse reciprocal Fibonacci numbers have been obtained in several cases. However, the cubic case ($s=3$) is much more complicated because of highly oscillating error terms. Thus it is difficult to construct a precise continuous approximation and algebraic estimates simultaneously. In this paper, we give a complete and unified algebraic method to solve this difficulty. More precisely we construct an explicit closed form of sequence $g_n$, preserving the principal part $f_n^3-f_{n-1}^3$, such that $\ds \lim_{n\rightarrow\infty}\left\{ \left( \sum^\infty_{k=n}\frac{1}{f_k^3} \right)^{-1}-g_n \right\}=0. $ By decomposing the error terms and investigating the algebraic identities, we establish the lower and upper bounds $ \ds g_n<\left( \sum^\infty_{k=n}\frac{1}{f_k^3} \right)^{-1}

Exact universal normalizations for the G\'al--Koksma lemma

math.NT

The G\'al--Koksma lemma is a standard tool for converting quadratic-mean estimates on consecutive blocks into almost-everywhere bounds for partial sums, without assumptions of independence, mixing, or orthogonality. A natural open problem is to determine exactly which universal growth normalizations are forced by this hypothesis alone. The corresponding universal normalization problem under the abstract consecutive-block second-moment hypothesis is resolved by characterizing exactly which non-decreasing normalizations are valid uniformly over the entire admissible class. The resulting necessary-and-sufficient summability criterion is sharp even for bounded exactly centred systems with constant majorants and exact linear block variance, and determines the critical logarithmic and iterated-logarithmic thresholds.

Nonvanishing of ray class $L$-functions

math.NT

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 $q$-recurrence for a finite Ap\'ery limit

math.NT

The Kaneko-Zagier conjecture predicts a correspondence between finite and symmetric multiple zeta values. Under this correspondence, $\zeta(3)$ corresponds to an element $Z(3)$ defined by Bernoulli numbers. We prove a conjecture of Tasaka relating $Z(3)$ to the quotient of two solutions of a recurrence. A two-index $q$-recurrence connects this quotient to a finite harmonic $q$-series. Using a method of the author, Takeyama, and Tasaka, we obtain the algebraic and analytic limits $3Z(3)/4$ and $3\zeta(3)/4$ at roots of unity.

Graded Algebras of Modular Forms and Sign Changes of Fourier Coefficients for Eta Quotients

math.NT

In this paper, for $N=8,12,16,20,32$, we determine the explicit structure of the graded algebra of modular forms for $\varGamma_0(N)$ of both integral and half-integral weights, with all quadratic Dirichlet characters modulo $N$. We give explicit eta quotient generators and determine the relations among them. Using these structures, for a given weight, a level among those considered above, and a quadratic character, we obtain a basis for the corresponding space of modular forms consisting of eta quotients. Using these eta quotient bases, we obtain necessary and sufficient conditions for the periodicity of the signs of the Fourier coefficients of modular forms in three specific spaces. Finally, we determine all eta quotients in these spaces whose Fourier coefficient signs are periodic.

Bounded intervals containing a given number of primes

math.NT

Let $m$ be a non-negative integer and $f(x)$ a positive, non-decreasing function satisfying certain conditions. We give an explicit lower bound for the number of integers $n\leq x$ such that $\#([n, n+f(n)] \cap \mathbb{P})=m$ for sufficiently large $x$, where $\mathbb{P}$ denotes the set of prime numbers. This work extends the results of Mastrostefano and of Freiberg, and also makes the lower bound of Masrtrostefano explicit. In addition, we show that if the interval length is sufficiently large, then there exist infinitely many bounded intervals of the same length that contain exactly a prescribed number of primes.

Extreme Values of Quadratic Dirichlet $L$-Functions over Monic Irreducible Polynomials in $\mathbb{F}_q[t]$

math.NT

In this paper, we establish a new $\Omega$-result for the central values $|L(1/2,\chi_P)|$ of quadratic Dirichlet $L$-functions, where $P$ ranges over monic irreducible polynomials associated with hyperelliptic curves of genus $g$ over a fixed finite field $\mathbb{F}_q$. We consider the asymptotic setting in which $q$ is fixed and $g\to\infty$. More precisely, for every $\epsilon \in (0,1/2)$, we prove that \[ \max_{P \in \mathcal{P}_{2g+1}} |L(1/2, \chi_P)| \gg \exp \left( \left( \sqrt{\frac{\sqrt{q}+1}{\sqrt{q}-1} (1/2-\epsilon)} \, \, \ln q + o(1) \right) \sqrt{\frac{g \ln_2 g}{\ln g}} \right), \] where $\mathcal{P}_{2g+1}$ is the set of all monic irreducible polynomials of degree $ 2g+1$ in $\mathbb{F}_q[t]$. Our result extends the recent work of Darbar and Maiti (2024) and yields an improved lower bound for the extreme values in this family. we also investigate the extreme values of these quadratic $L$-functions near the central line. In addition, for $1/2<\sigma<1$ and sufficiently large $n$, we study the extreme values of $L(\sigma,\chi_P)$, where $P\in\mathcal{P}_n$, and obtain an improved lower bound compared with the result of Lumley (2021).

Cyclotomic Prime Extractors

math.NT

We develop explicit prime-recovery formulas from the values $\Phi_n(2)$ of cyclotomic polynomials. Binary divisibility patterns detect repeated prime factors and identify the least prime divisor of a squarefree index, while small corrections to $\log_2\Phi_n(2)$ allow successive recovery of the distinct prime factors. Specializing the index gives identities for prime products and the least prime above a given integer. The same mechanism extends from finite factorizations to an infinite prime sequence: a normalized limit of cyclotomic values along the odd primorials defines a real constant $\Omega=0.25061403238015047218\ldots$, from which every odd prime can be recovered by a recursive rounding rule.

Periodicity conjectures for all 2-sumfree sequences

math.NT

Complementing an earlier paper, which focused on $3$-sumfree sequences, we here consider only $2$-sumfree sequences: starting with positive integers $f$ and $g>f$, the infinite, increasing 2-sumfree sequence $S_{f,g}$ is constructed as follows. After any initial segment, the next entry is the smallest positive integer exceeding all previous ones that differs from all sums of distinct pairs in the sequence. It follows from a theorem in the previous paper that for every $f\geq 1$ and all $f+1\leq g<2f$ the sequence $S_{f,g}$ exhibits ultimately periodic behaviour. In this paper we state precise conjectures that, if true, would imply that every $2$-sumfree sequence is ultimately periodic. Here periodicity of an increasing sequence is understood to mean periodicity of the sequence of first differences, or, equivalently, of its characteristic sequence. We supply much computational evidence to support the conjectures.

Extreme values of Euler-Kronecker constants of cubic abelian fields

math.NT

Euler-Kronecker constants analogues of the Euler-Mascheroni constant for number fields. Assuming the Generalized Riemann Hypothesis for Hecke $L$-functions, we obtain extreme values of Euler-Kronecker constants of abelian cubic fields. We also prove a similar result for quadratic fields.

Stable Trace Formula for Newton strata of Shimura varieties

math.NT

math.AG

math.RT

Let $(G,X)$ be a Shimura datum of abelian type satisfying the hypotheses of the main theorem, and suppose that the associated Shimura varieties have hyperspecial good reduction at $p$. Their special fibres are stratified by the $\sigma$-conjugacy classes $b\in B(G_{\mathbb{Q}_p},\mu_h^{-1})$. For an individual Newton stratum, this paper constructs a stabilized formula for the alternating traces of Frobenius--Hecke correspondences on its compactly supported $\ell$-adic cohomology, with coefficients in an $\ell$-adic local system. The formula, obtained by modifying the Langlands--Kottwitz method, expresses these Lefschetz numbers as elliptic stable geometric distributions on endoscopic groups of $G$, placing the cohomological traces in a form suitable for comparison with automorphic spectral data. We also give a group-theoretic criterion determining which elliptic endoscopic groups can contribute to a given Newton stratum. For certain unitary Shimura varieties, we exhibit an intermediate Newton stratum with no non-trivial endoscopic contribution, although there are non-trivial endoscopic contributions in the cohomology of the ambient Shimura variety.

On Multiple Eisenstein Series in Positive Characteristic: Direct Sum Result

math.NT

In this paper, we study multiple Eisenstein series (MES) in positive characteristic. By computing and analyzing the t-expansions of MES, we determine the precise "weights" of their coefficients. This framework enables us to establish a graded algebra structure for MES, extending the direct sum result for Thakur's multiple zeta values proved in [Cha14]. Our result may also be viewed as a function field analogue of the corresponding direct sum result of Bachmann and Kanno [BK26].

On a conjecture of Browning and Sawin on random hypersurfaces with sign coefficients

math.NT

math.AG

Browning and Sawin conjectured that random hypersurfaces with sign coefficients are smooth with probability tending to one as the degree grows. We prove this conjecture and obtain a quantitative bound. For each $n\geq1$, a degree $d$ form in $n+1$ variables, with independent uniform coefficients in $\{-1,1\}$, defines a singular complex hypersurface with probability $O_n(d^{-1/2})$. The positive-dimensional singular loci occur with exponentially small probability. For $n\geq3$, the same exponential bound holds for failure of absolute irreducibility. These results have been formalized in Lean by AxiomProver assuming existing literature.

A uniform effective Andr\'e--Oort result

math.NT

math.AG

We prove the Andr\'e--Oort conjecture for hypersurfaces $V \subset Y(1)^n \cong \mathbb{A}^n_\mathbb{C}$ defined by an equation $a_1 x_1^m + \ldots + a_n x_n^m = b$, where $a_1, \ldots, a_n, b \in \overline{\mathbb{Q}}$ and $m \in \mathbb{Z}_{>0}$. Unlike previous proofs, our result is both effective and uniform in the height of the coefficients $a_1, \ldots, a_n, b$. This is the first effective proof of a uniform Andr\'e--Oort statement for a class of subvarieties with arbitrary dimension and non-empty special locus. We also prove an analogous result for hypersurfaces $V \subset Y(1)^n \times \mathbb{G}_m^l$.

An Omega result for partial sums of the Riemann zeta function

math.NT

In this paper, we establish an Omega result for partial sums of the Riemann zeta function on the \(1\)-line. Our work relies on the long resonance method and an effective asymptotic formula for smooth numbers. For sufficiently long partial sums, our result approaches the work obtained by Aistleitner, Mahatab and Munsch in 2019.

$\Omega$-results for the logarithmic derivative of $\zeta(s)$ on vertical homogeneous progressions

math.NT

In this paper, we establish $\Omega$-results for the logarithmic derivative of the Riemann zeta function on vertical homogeneous progressions on the 1-line and in the critical strip. Compared with Yang's work in 2023, our results show that the discrete case has a similar order of magnitude to the continuous case.

Arithmetic Constraints and Limit Laws for Diagonal Rational Partitions

math.NT

math.CO

Let $R_N(m)$ count unordered partitions of $m$ into reduced positive fractions whose numerators and denominators are at most $N$, excluding integer parts. Uniformly for $\rho$ in compact positive intervals, $\log R_N(\lfloor\rho N\rfloor)=\sqrt{2\rho}\,N^{3/2}-\kappa(\rho)N^{3/2}/\log N+o(N^{3/2}/\log N)$. The positive, continuously differentiable function $\kappa$ is an explicit sum of lattice-distance integrals, with $\kappa(1)\approx 0.00264713$. For a uniform partition of $n$, all but $o_{\mathbb{P}}(n/\log n)$ prime-denominator blocks in $(n/2,n]$ have total 2 or 3, according to whether $p/n$ lies below or above an explicit threshold near 0.7522. For fixed $N$, we give the Ehrhart numerator and determine how its poles control quasipolynomial coefficients. Its residue distribution is asymmetric for $N\ge 4$, but agrees with an independent model in every moment below order $\lceil N/2\rceil$. We identify the first discrepancy and prove a Gaussian limit. We also obtain joint denominator and size laws under two sampling rules.

Finite Fourier Duality, Radial Values, and Arithmetic of a Mod Eight False Theta Quotient

math.NT

We study a family of mod-eight false-theta moment quotients and determine their radial behaviour at every root of unity. The main structural result establishes an exact finite Fourier closure for the associated periodic boundary sequences. This closure yields a completed functional equation and proves the nonvanishing of the relevant periodic Dirichlet values at all negative odd integers. Consequently, each quotient exhibits either universal normalized factorial asymptotics or a finite nonzero radial value. The finite values belong to cyclotomic fields, satisfy Galois covariance, and specialize at the principal root to signed odd Springer numbers. We also determine exact coefficient divisibility, construct an optimal coefficientwise two-adic interpolation, and identify the unique dominant zero of the common denominator. This zero gives an unconditional coefficient decomposition. Finally, using exact boundary estimates and M\"obius inversion, we prove positivity of every exponent in the formal Euler transform of the denominator.

Transcendence criteria for the minimal word of the rational base $3/2$

math.NT

Let $x_{0}$ be a positive integer, let $x_{n}=\lceil 3x_{n-1}/2\rceil$, and let $w_{n}=2x_{n+1}-3x_{n}\in\{0,1\}$ be the associated word studied by Dubickas; for $x_{0}=1$ the orbit is A061419 and $w$ is the minimal word $g_{3/2}$ of the rational base number system of Akiyama, Frougny and Sakarovitch. The orbit encodes a real constant $K=\lim_{n}x_{n}(2/3)^{n}$, equal for $x_{0}=1$ to $\omega_{3/2}=K(3)=1.6222705028\ldots$, whose irrationality has been open since 1977. We prove that if $w$ is automatic then $K$ is transcendental; equivalently, an algebraic $K$ forces $w$ to be non-automatic. Further we prove that either the complexity of $w$ exceeds every linear bound or $K$ is irrational. All results are formally verified in the Lean~4 proof assistant, on three cited axioms.

Tunnell-type criteria for variants of the congruent number problem

math.NT

We study the $\theta$-congruent number problem for $\cos\theta=\pm3/5$ and $\pm4/5$ using the generalized theta series construction of Sirolli--Tornar\'ia. We describe its specialization to newforms of weight $2$ over $\mathbb Q$ with nontrivial square-free odd part of the level, and explain the reduction of quadratic twists to odd fundamental discriminants. The same construction gives an effective procedure for every $\theta$-congruent number problem with nonzero rational cosine. For the four angles, we construct explicit forms of weight $3/2$ whose Fourier coefficients determine the central $L$-values of the associated elliptic curves. This gives Tunnell-type criteria for every positive square-free integer: a nonzero coefficient implies non-$\theta$-congruence unconditionally, and the converse holds assuming the Birch--Swinnerton-Dyer conjecture. We also prove unconditional non-$\theta$-congruence for primes in explicit arithmetic progressions.

Explicit equations of Galois subfields of Hermitian function fields with respect to decomposition groups

math.NT

Let $q$ be a prime power and $\mathbb{F}_{q^2}$ be the finite fields of $q^2$ elements. The Hermitian function field $H=\mathbb{F}_{q^2}(x,y)$ defined by $y^q+y=x^{q+1}$ is a well-known maximal function field with the largest possible genus. Let $A(P_\infty)$ be the decomposition group of the infinity place $P_\infty$ of $H$ which is the common pole of $x$ and $y$. For every subgroup $G\le A(P_\infty)$, we construct explicit generators of Galois subfield $H^G$ of $H$ with respect to $G$ and determine an absolutely irreducible equation defining the smooth affine plane model for such a Galois subfield. For $p$-subgroups, the generators can be chosen so that the defining equation has an additive polynomial on the left-hand side and an $\mathbb{F}_p$-quadratic polynomial on the right-hand side. For $q=27$, we can construct a genus-two subfield $D\subset H$ that is not isomorphic to $H^J$ for any subgroup $J\le \text{Aut}(H)$ from the explicit equations of Galois subfields of the Hermitian function field. To the best of our knowledge, this is the first example of a maximal function field covered but not Galois-covered by the same Hermitian function field.

The non-spherical sup-norm problem for $\mathrm{GL}(n)$ and generalized spherical functions

math.NT

math.RT

math.SP

We solve the sup-norm problem for minimal weight vectors in an arbitrary cuspidal representation $\pi$ of $\mathrm{GL}(n,\mathbb{Z})\backslash\mathrm{GL}(n,\mathbb{R})$ with a uniform power saving bound in terms of the archimedean data of $\pi$, including its spectral parameters and the dimension of its minimal $K$-type. As a key ingredient, we establish new uniform decay bounds for generalized spherical functions.

Two proofs of the Cassels--Swinnerton-Dyer conjecture for cubic surfaces

math.AG

math.NT

v2

The Cassels--Swinnerton-Dyer conjecture asserts that a cubic hypersurface contains a rational point if and only if it contains a point of degree coprime to $3$, or, equivalently, a zero-cycle of degree $1$. The case of smooth cubic surfaces in characteristic zero has been reduced by Coray and Voisin to the case of points of degree $4$. We give two independent proofs of this missing case and use a lifting argument of Ma to extend the result to smooth cubic surfaces over arbitrary fields. We further give a separate argument for the case of singular cubic surfaces, extending previous work of Coray over perfect fields. Altogether, this proves the Cassels--Swinnerton-Dyer conjecture for cubic surfaces.

Generalized DCCQ: From Binary Quotients to Multinomial Simplex Geometry and Critical-Strip Coordinates

stat.ML

math.NT

We extend the discrete complex complement quotient (DCCQ) framework from binary Bernoulli counts to multinomial count compositions. For m+1 categories, m is the number of independent probability degrees of freedom. Integer count vectors modulo common scaling determine rational points of the m-dimensional probability simplex. Building on standard simplex and log-ratio coordinate geometry, for m >= 2 we define the full multinomial DCCQ coordinate map and show that it is a real-analytic diffeomorphism The previously established binary baseline m=1 gives a critical-line coordinate, while the ternary case m=2 gives the full open critical strip; higher multinomial models retain m-2 additional real contrasts. We also give a one-versus-rest specialization, an exact integer-lattice realization of the ternary coordinate, and a hyperbolic representation of its log-ratio. No zero-location theorem or proof of the Riemann Hypothesis is claimed.

On the singularities and the Kodaira dimension of unitary Shimura varieties

math.AG

math.NT

math.RT

We study the geometry of Shimura varieties associated with a Hermitian form of signature $(p,q)$ over an imaginary quadratic field $E$, where $2\leq p\leq q$. We prove that when $p\geq w_E$ and $(p,q)\neq(2,2),(2,3)$, where $w_E:=\#\mathscr{O}_E^\times$, there exists a toroidal compactification with at worst canonical singularities. As an application, combining this singularity analysis with Arthur's multiplicity formula, we prove that only finitely many pairs $(p,q)$ satisfying the above conditions and $p+q\equiv1\pmod{w_E}$ give rise to unitary Shimura varieties that are not of general type. Our method also improves the singularity bound of Gritsenko--Hulek--Sankaran (Invent.\ Math., 2007) for $\mathrm{O}^+(2,n)$ to the range $n\geq6$ and shows that this bound is sharp.

A somewhat sure note on an un-Schur problem

math.CO

math.NT

Parczyk and Spiegel initiated the study of an anti-Ramsey multiplicity variant of Schur's theorem and proved that the maximum fraction of Schur triples that can be rainbow in a $3$-coloring of $\{ 1, \dots ,n \}$ is bounded asymptotically between $0.4$ and $0.66364$. Furthermore, they conjectured that their lower bound is optimal. We disprove this conjecture and prove new bounds. In particular, we show that the maximum fraction of rainbow Schur triples that can be rainbow in a $3$-coloring of $\{ 1, \dots ,n \}$ lies between $9/22$ and $8/15$ asymptotically. Moreover, we study the problem in the general $k$-color setting and establish new non-trivial bounds.

Graph lattice sums and graph zeta functions for long-range interacting quantum lattice models

math.NA

cond-mat.str-el

cs.NA

math.NT

quant-ph

Taming the exponential increase of the Hilbert space dimension with system size in the simulation of gapped quantum lattice models is of the highest relevance for understanding and designing exotic quantum materials, where nonlocal interactions are of particular interest. High-order linked-cluster expansions provide access the solution of the eigenvalue problem for the infinite system, yet rely on the computation of high-dimensional oscillatory lattice sums with a graph structure, only approachable with Monte Carlo methods so far. This work resolves this issue, rendering all required graph lattice sums, referred to as graph zeta functions for kernels involving power-laws, computable. The resulting method reduces the evaluation time for state-of-the art series expansions from tenthousands of core-hours to minutes. After factorizing the lattice sum over blocks, each block is evaluated by the cheapest available strategy depending on its treewidth $\mathrm{tw}$. Basic blocks admit analytic forms in terms of generalized zeta functions. Series-parallel blocks with $\mathrm{tw}\le 2$ can be computed at linear cost in the number of graph nodes and in the size of the momentum grid using a semi-analytical algebra based on Epstein zeta functions and rapidly decaying Fourier series. Finally, for $\mathrm{tw}>2$, the method is combined with tensor-network bucket elimination yielding polynomial scaling of numerical work and memory in momentum grid size with exponents only growing with $\mathrm{tw}$ rather than with the number of vertices. Through use of FFT, the full momentum grid is recovered at the cost of a single momentum evaluation. We provide a detailed analysis of the precision and runtime of our method against analytic and numerical benchmarks. We further reproduce published Monte Carlo data for the transverse-field Ising model on different 1D, 2D, and 3D lattices, obtaining full agreement.

On pairs of triangular numbers whose product is a perfect square and pairs of intervals of successive integers with equal sums of squares

math.NT

math.CO

v4

In 1778 Leonhard Euler characterized triangular numbers that are perfect squares. Obviously, the product of any two such numbers is a perfect square too. Yet, there are many other solutions, that is, pairs $(k,k')$ such that $k(k+1)k'(k'+1)$ is a perfect square. We give explicit formulas characterizing all these square triangular pairs by means of some integer positive polynomials, which is the primary novelty of our work. This result allows us to find all pairs of intervals of successive integers with equal sums of squares in case when the lengths of two intervals in a pair differ by 1. It is known that there is a one-to-one correspondence between the square triangular numbers and nearly isosceles Pythagorean triples: $n^2 + (n+1)^2 = N^2$. Both are generated by the same Fermat-Pell recursion. This is a special case of our result, when the lengths of the two intervals are 2 and 1.

Constrained PSLQ Search for Machin-like Identities Achieving Record-Low Lehmer Measures

math.NT

cs.AI

v2

Machin-like arctangent relations are classical tools for computing $\pi$, with efficiency quantified by the Lehmer measure ($\lambda$). We present a framework for discovering low-measure relations by coupling the PSLQ integer-relation algorithm with number-theoretic filters derived from the algebraic structure of Gaussian integers, making large scale search tractable. Our search yields new 5 and 6 term relations with record-low Lehmer measures ($\lambda=1.4572, \lambda=1.3291$). We also demonstrate how discovered relations can serve as a basis for generating new, longer formulae through algorithmic extensions. This combined approach of a constrained PSLQ search and algorithmic extension provides a robust method for future explorations.

Counting integral points in homogeneous spaces over function fields

math.NT

math.AG

v3

We establish the asymptotic formula for the number of integral points in non-compact symmetric homogeneous spaces of semi-simple simply connected algebraic groups over global function fields, given by the sum of the products of local densities twisted by suitable Brauer elements. As an application, we count the number of representations of a scalar by a sum of at least three squares.

A parallelogram height inequality for Drinfeld modules

math.NT

v2

We prove an inequality relating the Taguchi heights of four Drinfeld modules arranged in a ``parallelogram of isogenies''. This inequality is the analogue for Drinfeld modules of the parallelogram inequality of R\'emond (2022) for abelian varieties over number fields and of Griffon--Le Fourn--Pazuki (2026) for abelian varieties over function fields. We also prove a similar inequality for the local graded height at a finite place.

Analytic Study of $p$-Bessel Functions: Fractional Calculus, Integral Representations, and Complex Extensions

math.NT

v4

We present a systematic analytic study of the $p$-Bessel functions $\mathcal{J}_{\omega,\varphi}^{[p]}$, a novel class of generalized Bessel functions arising from Fourier analysis on planar domains bounded by $p$-circles, including astroid-type shapes with $0

On the density of rational lines on diagonal cubic hypersurfaces, II

math.NT

v2

In this paper, we establish the expected asymptotic formula for the number of rational lines on a diagonal cubic hypersurface in 18 or more variables, improving on recent work of the second author. This is achieved via a refined mean value estimate for minor arcs that non-trivially exploits a shifting variables argument in both underlying dimensions.

Arithmetic Wu Formulas and the Generalized Hecke Theorem

math.NT

math.AG

math.AT

v2

We construct canonical stable Steenrod squares on modified compactly supported \'etale cohomology of separated finite-type schemes over rings of $S$-integers in number fields with $2$ invertible, extending Feng's absolute Wu classes to arithmetic bases. For a flat projective morphism $f:X\to B$ of pure relative dimension, with $X$ regular and $B$ such a base, we prove $v_X=\operatorname{Sq}^{-1}(w_{\mathrm{et}}(\tau_f+\mathcal O_X^{\oplus3}))$ in completed mod-$2$ \'etale cohomology. Here $\tau_f$ is the virtual relative tangent bundle, $w_{\mathrm{et}}$ the total \'etale Stiefel--Whitney class, and $\operatorname{Sq}^{-1}$ the inverse total Steenrod square. Over finite fields of odd characteristic, the formula holds without the three trivial summands. The proof uses a modified compactly supported relative Wu formula extending Benoist's theorem. Our generalized Hecke theorem gives universal mod-$2$ relations involving Chern classes and the Kummer class of $-1$, governed by an arithmetic deformation of Hirzebruch's $2$-Todd series. These hold modulo an explicit archimedean ideal and become vanishing identities over finite fields, over totally imaginary arithmetic bases, or when $-1$ is a square on $X$. Nonempty real loci force infinitely many nonzero Wu components. Applications include Hecke's theorem on the different away from $2$, a finite-field analog of Atiyah's theorem on theta characteristics, and new higher-dimensional relations. We also revisit Serre's Riemann--Hurwitz theorem for spin bundles, recover the Shusterman--Sawin theorem for smooth branched covers of closed $3$-manifolds and prove a function-field analog of the Lusztig--Milnor--Peterson formula, expressing the difference between mod-$2$ and $2$-adic semicharacteristics using the middle Wu class and its Tate-twisted Bockstein.

Prime Quadruplets and Jump Conditions on Arithmetic Functions

math.NT

v4

We provide progress on the characterization of composite integers $n$ that satisfy the jump conditions $\varphi(n+12)=\varphi(n)+12$ and $\sigma(n+12)=\sigma(n)+12$ simultaneously. While it is known that prime quadruplets $(p,p+2,p+6,p+8)$ generate solutions $n=p(p+8)$, the complete characterization remains an open conjecture. We prove that this characterization is complete when $n$ and $n+12$ are both squarefree semiprimes, and that no solution $n$ can be a prime power. Furthermore, a complete search up to $10^{12}$ resulted in no counterexamples to the conjecture. If this conjecture is proven true, and there are infinitely many such solutions, then it can be proved that there are infinitely many prime quadruplets.

The Natural Extension for the Triangle Map (a Multi-dimensional Continued Fraction) with An Internal Symmetry from Young Conjugation

math.NT

math.DS

v2

The natural extension of the triangle map (a type of multi-dimensional continued fraction algorithm) is completely described in all possible dimensions. The motivation and inspiration for this natural extension stems from the triangle map's recent link to the classical study of integer partitions. Inspired by Young conjugation for integer partitions, we show that the natural extension has an internal symmetry and allows the natural extension to be subdivided into four natural subdomains. This appears to be new even for the classical case of the natural extension for continued fractions, namely for both the classical Gauss map and the classical Farey map.

Modularity of Higher Theta Series III: Proof of the Modularity Conjecture

math.NT

math.AG

v2

We prove the Modularity Conjecture for higher theta series on moduli stacks of Hermitian shtukas. For general linear shtukas, we establish a more refined phenomenon that we call supermodularity. As a key input, we prove the Trace Conjecture for Hitchin stacks of low corank, realizing virtual fundamental classes of special cycles as categorical traces.

Rigid analytic 1-motives and conjugate uniformization of abeloid varieties

math.NT

math.AG

v2

Let $K$ be a $p$-adic field. We study the arithmetic theory of abeloid varieties over $K$. Our aims are twofold. First, we study the theory of rigid analytic 1-motives, which will be viewed as a tool to describe degeneration of abeloid varieties, similarly as in the classical algebraic setting. Our key new results are the equivalence between formal (resp. log formal) 1-motives over $\mathcal{O}_K$ and rigid analytic 1-motives with good (resp. semi-stable) reduction over $K$, and the N\'eron-Ogg-Shafarevich criterion for the good (resp. semi-stable) reduction of rigid analytic 1-motives. In particular, we construct log formal 1-motives and log $p$-divisible groups over $\mathcal{O}_K$ from semi-stable abeloid varieties over $K$. Next, we study the conjugate uniformization of an arbitrary abeloid variety $A$ over $K$. This is a type of $p$-adic uniformization initiated by Iovita--Morrow--Zaharescu in case of abelian varieties with good reduction. Our approach here is based on Fargues' theory of $p$-divisible rigid analytic groups. In fact, we view the theory of conjugate uniformization as a study of rational points of dualizable $p$-divisible rigid analytic groups in terms of their classification Hodge--Tate triples. Along the way, we construct $p$-divisible rigid analytic groups from rigid analytic 1-motives.

A problem on the largest divisor $d$ of $N$ with $d\leq \sqrt{N}$

math.NT

v2

For a given number $N$, we consider the problem of computing two integers $1\leq r,f < N$ such that the set $$\mathcal{X}(N,r,f) = \{(a+b)-(f+\frac{Nr+1}{f}): ab=Nr\}$$ consists only of positive integers. Computing a solution to the problem is equivalent to finding a pair $(r,f)$ satisfying $l(Nr) < f \leq l(Nr+1)$, where $l(x)$ is the largest divisor of $x$ bounded by $\sqrt{x}$. This requires factoring both $Nr$ and $Nr+1$. We present a simple randomized algorithm that - avoiding factoring - computes pairs $(r,f)$. We give an exact formula for the total number of possible pairs $(r,f)$, and with the aid of empirical data we estimate that the ratio $$\frac{\phi(N)-2}{|\mathfrak{F}(N)|}$$ is approximately about $c*\log \log N$. Here, $\mathfrak{F}(N)$ is the set of unique $r$ appearing among all possible pairs $(r,f)$, $\phi(.)$ is the Euler's Totient function, and $c$ is a constant equal to 2 for prime $N$ and oscillates much for composite $N$. As a separate and independent case, we study the same problem of computing $(r,f)$ with $r>N$. We present a procedure to find such an $r$, which requires finding the least prime in an arithmetic progression.

Zeros of Quasimodular Forms Defined by Iterated Sums

math.NT

v2

We study the zeros of the quasimodular forms $G_{\{2\}^n}$ defined by iterated sums. We first show that, for every $n>0$, $G_{\{2\}^n}$ has exactly $n$ simple zeros on each of the vertical half-lines $\Real(\tau)=0$ and $\Real(\tau)=1/2$, and that the zeros for consecutive values of $n$ satisfy an interlacing property. The proof is based on an expression of $G_{\{2\}^n}$ in terms of the $n$-th derivative of $\eta^3$ and on the theory of bell-shaped functions, rather than on Rankin--Swinnerton-Dyer method. We also determine the asymptotic behavior of these zeros as $n\to\infty$. In addition, we prove that all zeros of $G_{\{2\}^n}$ are simple and that $G_{\{2\}^n}$ has infinitely many $SL_2(\ZZ)$-inequivalent zeros. We further show that quasimodular forms of maximal depth have no zeros at CM points. In particular, none of the zeros of $G_{\{2\}^n}$ are CM points. Finally, in the special case $G_{2,2}$, we show that each Ford circle contains exactly two distinct simple zeros.

Uniform Mordell--Lang conjecture for semiabelian varieties

math.NT

v2

We prove the uniform Mordell-Lang conjecture for semiabelian varieites.

Regulators in the Arithmetic of Function Fields

math.AG

math.NT

v4

As a natural sequel to the study of A-motivic cohomology initiated in "On the integral part of A-motivic cohomology", we develop a notion of regulator for rigid analytically trivial Anderson A-motives. In accordance with the conjectural picture over number fields, we define it as the morphism at the level of extension modules induced by the exactness of the Hodge-Pink realization functor. The purpose of this article is twofold: first, we prove a finiteness result for A-motivic cohomology; second, under a weight assumption, we show that the source and the target of the regulator have the same dimension. It came as a surprise to the author that the image of this regulator may fail to have full rank, thereby preventing an analogue of Beilinson's celebrated conjecture from holding in our setting.

Analytic expressions pertaining to certain arithmetical functions

math.CO

math.NT

v3

We demonstrate the general outlines of a method for obtaining analytic expressions for certain types of general arithmetical sums. In particular, analytical expressions for a general arithmetical sum whose terms are summed over either the positive integer solutions $(a,b)$ of the Diophantine equation $kb^2+da^2 = N$ or the positive integer solutions $(a,b)$ of the Diophantine equation $kb^2-da^2 = N$ are derived.

The Kodaira dimension of even-dimensional ball quotients

math.AG

math.NT

math.RT

v3

We prove that, up to scaling, there exist only finitely many isometry classes of Hermitian lattices over $\mathscr{O}_E$ of signature $(1,n)$ that admit ball quotients of non-general type, where $n>12$ is even and $E=\mathbb{Q}(\sqrt{-D})$ for an odd discriminant $-D<-3$. Furthermore, we show that even-dimensional ball quotients, associated with arithmetic subgroups of $\mathrm{U}(1,n)$ defined over $E$, are always of general type if $n > 207$, or $n>12$ and $D>2557$. To establish these results, we construct a nontrivial full-level cusp form of weight $n$ on the $n$-dimensional complex ball. A key ingredient in our proof is the use of Arthur's multiplicity formula from the theory of automorphic representations.

On maximal Dynkin friezes

math.CO

math.NT

math.RT

v3

The maximal entries of Dynkin friezes over the positive integers have recently been determined for all finite Dynkin types except $B_n$ and $D_n$. In this note, we explicitly construct large positive integral points on affine cluster varieties of type $B_n$ (resp. $D_n$), giving rise to friezes of types $B_n$ (resp. $D_n$) over the positive integers with largest entries $F_{n+1} F_{n+2} - 1$ (resp. $F_n F_{n+1} - 1$) where $F_k$ is the $k$-th Fibonacci number. We conjecture that these are the maximal possible entries for their respective Dynkin types.