Number Theory [math.NT]

The Strong 24-Conjecture

math.NT

Restricted forms of Lagrange's four-square theorem, in which the representing variables are required to satisfy additional arithmetic conditions, have been studied from several points of view. Among the refinements proposed by Zhi-Wei Sun is the conjecture that every nonnegative integer has a representation \[ N=x^2+y^2+z^2+w^2,\qquad x,y,z,w\in\mathbb Z_{\ge0}, \] for which \[ x\ \text{and}\ x+24y\ \text{are perfect squares}. \] We prove this conjecture for all sufficiently large integers. The proof starts from an elementary parametrization of the two square conditions and combines a semi-linear two-squares sieve with Poisson summation, finite-field cancellation, and switching.

Theta functions after Weil

math.NT

This is a mostly expository paper on the construction of theta functions on the Siegel and Hermitian half-spaces using the machinery of the Weil representation, especially theta functions weighted by polynomials. When the polynomial in question satisfies suitable homogeneity and harmonicity conditions, the resulting theta function is holomorphic. Non-holomorphic Siegel and Hermitian theta functions can be constructed in a similar way, using a more general class of polynomials.

Dynamical uniform boundedness for unicritical polynomials and elliptic curves of large rank

math.NT

math.AG

math.DS

For every number field $K$, we prove the dynamical uniform boundedness conjecture for the unicritical family of polynomials $z^d + c$ when $d \geq 4$, and when $d = 3$ if $\mathbb{Q}(\sqrt{-3}) \not\subset K$. Furthermore, the unconditional bounds that we construct for periodic points of unicritical polynomials are effectively computable. In all of the remaining cases, we show that the dynamical uniform boundedness conjecture is implied by the boundedness of Mordell-Weil ranks over $K$ for a specific family of elliptic curves when $d = 3$ and for Jacobians of dynatomic curves when $d = 2$.

Arithmetic Siegel-Weil for the spherical Hecke algebra

math.NT

We formulate a conjectural generalization of the arithmetic Siegel-Weil formula, relating intersection multiplicities of cycles on unitary Rapoport-Zink spaces to central derivatives of local Whittaker functions. The new aspect of the conjecture is that it incorporates the action of certain Hecke correspondences on the Rapoport-Zink space. We verify the conjecture in a low-dimensional case. A significant portion of the paper is devoted to generalizing the classical theory of representation densities for local Hermitian spaces, as this is needed for explicit computation of the relevant Whittaker functions. We expect this generalization to be of independent interest.

Galois representations and modularity for twisted moments of Kloosterman sums

math.NT

math.AG

Associated with the classical Kloosterman sums, we consider the quadratic twisted symmetric power moments. We investigate the cohomological properties and construct the motives over the field of the rationals underlying such moments. We determine the associated modular forms in the lower degree cases.

Pointwise ergodic theorems along sequences of intermediate growth

math.NT

math.DS

We establish the first pointwise convergence result for ergodic averages with iterates along explicit and deterministic sequences of intermediate growth, that is, growing faster than any polynomial but slower than any exponential. In particular, we show that the sequence $(\lfloor \exp((\log n)^c)\rfloor)_{n\in\mathbb{Z}+}$, with $c\in(1,8/7)$, is universally $L^p$-good for every $p\in(1,\infty]$. This gives an affirmative answer to an open problem dating back to the mid 1980s and contributes to Bellow's program, initiated in the earlier part of the same decade, on the characterization of $L^p$-good sequences in pointwise ergodic theorems. The proof combines the so-called one-frequency circle method with a delicate application of Vinogradov's method for estimating exponential sums whose phases involve $\big(\lfloor \exp((\log n)^c)\rfloor\big)_{n\in\mathbb{Z}_+}$. An interesting feature of our analysis, reminiscent of estimates arising in the study of the zero-free region of the Riemann zeta function, is that the argument relies on the classical Vinogradov method, in the sense that it necessitates estimates on the number of solutions for the Vinogradov system of Diophantine equations with explicit dependence on the system's parameters.

Spherical statistics and phase transitions in high-dimensional lattices

math.NT

math.MG

math.PR

We study the spherical statistics of all the points in a thin shell of a high-dimensional random lattice. The exact relations between lattice points make it unclear when predictions based only on spherical geometry should hold. We answer this question for several statistics, including the number of shell points, the balance of their directions, and the occurrence, repetition, and distribution of differences between them. We identify sharp thresholds as the shell radius grows and show that these statistics undergo several distinct phase transitions. A shell can already agree with one geometric prediction while still differing strongly from another. Our results hold for a single sampled lattice, with probability tending to one as the dimension grows. They include estimates that hold across a complete shell, bounds close to the transition thresholds, and extensions to randomly shifted lattices. A Lean formalization verifies the main results, assuming the classical formulas and probability model stated in the code.

Finiteness of an Isogeny Class via Equidistribution

math.NT

In a very recent, beautiful paper, Junyi Xie and Ziquan Yang gave a new proof of Faltings' isogeny theorem over number fields by reducing to Tate's theorem over finite fields. We show that the same ideas can be adapted to prove finiteness of an isogeny class over number fields from the finiteness of an isogeny class over finite fields. Hence we obtain a new proof of the Shafarevich conjecture over number fields. The proof in this paper was obtained through the use of GPT6 Astra Ultra.

Prime and Nonprime Totatives: A Sharp Construction and Exact Thresholds

math.NT

math.CO

For \(n\ge2\), let \(A(n)=\pi(n)-\omega(n)\) and \(B(n)=\phi(n)-\pi(n)+\omega(n)\) denote the numbers of prime and nonprime totatives of \(n\), respectively, with \(1\) included in \(B(n)\). We construct an explicit injectively parametrized family \(\mathcal C_n\) of composite totatives by completing suitably restricted squarefree products of prime totatives with a larger prime totative that is the unique largest prime factor, making the parametrization recoverable. We prove \(\lvert\mathcal C_n\rvert/A(n)\ge (e^{-\gamma}-o(1))\log A(n)/\log\log A(n)\), realizing the sharp classical leading constant \(e^{-\gamma}\). For the same family, with the same defining parameters, we obtain an effective refinement with error of order \((\log\log A(n))^{-1/4}\) and absolute effectively computable constants. Classical minimal-order results and the prime number theorem show that \(e^{-\gamma}\) is optimal: no family contained in the nonprime totatives can satisfy a uniform lower bound at this scale with a larger leading constant. We also determine exact eventual thresholds. Let \(N_k\) and \(M_k\) be the least integers such that \(\phi(n)>k\pi(n)\) for every \(n\ge N_k\) and \(B(n)>kA(n)\) for every \(n\ge M_k\), respectively. We prove \(M_k\le N_{k+1}\) for every \(k\ge1\), determine \(N_1,\ldots,N_6\) and \(M_1,\ldots,M_5\) exactly, and obtain \(M_k=N_{k+1}\) for \(1\le k\le5\).

The optimal scale in Linnik's microsquare problem for almost all integers

math.NT

We prove that, for any positive function $\Psi(t)\to\infty$, almost all positive integers $n$ satisfying $4\nmid n$ and $n\not\equiv7\pmod8$ can be written as $n=x^2+y^2+z^2$, where $x,y,z\in\mathbb{Z}$ and $1\leqslant z<\sqrt{\log n}\,\Psi(n)$. This improves Wooley's bound, and we show that the result is best possible. Our approach combines Hooley's weighted representation function for sums of two squares with Green's $W$-trick. We also give a necessary and sufficient condition, in terms of covering systems, for almost all odd integers to be represented as the sum of a squarefree number and a power of two, answering a question of Granville and Soundararajan.

Generalized Wieferich primes and monogenic polynomials

math.NT

Let $b, p\in {\mathbb Z}$ with $b\ge 2$ and $p\ge 3$ a prime. If $b^{p-1}\equiv 1 \pmod{p^2}$, then $p$ is called a {\em generalized Wieferich prime base $b$}, or more succinctly, a {\em base-$b$ Wieferich prime}. When $b=2$, $p$ is also known simply as a Wieferich prime. We say that a monic polynomial $f(x)\in {\mathbb Z}[x]$ is {\em monogenic} if $f(x)$ is irreducible over ${\mathbb Q}$ and $\{1,\theta,\theta^2,\ldots,\theta^{\deg(f)-1}\}$ is a basis for the ring of integers of ${\mathbb Q}(\theta)$, where $f(\theta)=0$. Recently, necessary and sufficient conditions for the monogenicity of the trinomials $x^{2n}+bx^n+b$ were given that included base-$b$ Wieferich prime congruences, and also congruences involving a certain Lucas sequence. In this article, we prove a similar result for a different class of trinomials that does not rely on any congruence condition involving a Lucas sequence. Furthermore, we extend this result to a related class of $N$-nomials, for any $N\ge 4$.

Density of Vanishing of Certain Eigenspaces of Cyclotomic Class Groups

math.NT

For an odd prime $p$, let $A_j$ be the $\omega^j$-eigenspace of the $p$-primary class group of $\mathbb Q(\zeta_p)$. Fix an even integer $d\ge4$, put $N=(p-1)/d$, and let $U_d=(\mathbb Z/d\mathbb Z)^\times$. For a relative density-one set of primes $p\equiv d+1\pmod{2d}$, we prove that the odd block $\bigoplus_{a\in U_d}A_{aN}$ has order at most $p^{\varphi(d)/2-1}$, and reflection shows that the even block $\bigoplus_{a\in U_d}A_{p-aN}$ has $p$-rank at most $\varphi(d)/2-1$. For each $d\in\{4,6\}$, both blocks vanish for a relative density-one set of primes $p\equiv d+1\pmod{2d}$; in particular, the even components vanish in accordance with Vandiver's conjecture. For each $d\in\{8,10,12\}$, the odd block has order at most $p$ for a relative density-one set of primes in the same progression, so every summand $A_{aN}$, $a\in U_d$, is cyclic, in accordance with Iwasawa's cyclicity conjecture. The proof uses an atomless limiting law for products of Dirichlet $L$-values, integrality of generalized Bernoulli norms, the relative class-number formula and reflection. A separate exact computation proves $A_{34}=0$ for every odd prime $p$; a single-file PARI/GP program reproduces the calculation.

A Local Proof of Langlands's Second Main Lemma for Local Epsilon Factors over Nonarchimedean Local Fields

math.NT

We give a local proof of Langlands's Second Main Lemma for local epsilon factors over nonarchimedean local fields, in mixed and equal characteristic. The lemma compares local constants of characters of two intermediate fields in a bicyclic extension. It is one of the identities used in Langlands's construction of epsilon factors of local Weil representations. The proof builds on the work of Dwork, Langlands, and Lakkis. Langlands attributes the Second Main Lemma to Dwork, but Dwork did not publish a complete proof. Lakkis gave a detailed local treatment of the Second Main Lemma. For odd prime degree, his argument proves the required equality. In degree two, however, it proves only that the equality holds up to sign. The new point in the present paper is the wild dyadic case, i.e. biquadratic extensions over a nonarchimedean local field of residue characteristic two. For a biquadratic extension the First Main Lemma determines the square of the required equality, leaving a possible sign. We determine this sign by comparing the finite sums occurring in Lamprecht's formula. This completes the proof of the Second Main Lemma, including the equal-characteristic case. OpenAI ChatGPT was used extensively in the development of this proof. A substantial part of the argument consists of long local calculations, which are in principle accessible by standard methods, but would have required a very large amount of time. ChatGPT was therefore used to accelerate this technical work: to check calculations and compare them with the arguments of Dwork, Langlands, and Lakkis, and detect inconsistencies in intermediate versions of the proof. The author checked the final mathematical arguments and assumes responsibility for the results.

Modular and Shimura curves $X_0^D(N)$ embedded in $\mathbb P^1 \times \mathbb P^1$

math.NT

We classify the modular curves $X_0(N)$ that admit a smooth embedding in $\mathbb P^1 \times \mathbb P^1$ and obtain a partial classification for the Shimura curves $X_0^D(N)$. We also prove that, for $D>1$, a Shimura curve $X_0^D(N)$ admits a smooth plane model if and only if its genus is at most one.

Reduction of integer tiles via CRT and base-p digits

math.NT

math.CO

Coven and Meyerowitz gave two cyclotomic conditions, (T1) and (T2), which characterize integer tiles whose cardinalities have at most two distinct prime factors. We prove that the same characterization holds without this restriction. The proof uses a reduction in Chinese remainder coordinates: slicing by the lowest base-p digit produces sets with a common tiling complement in a group of order smaller by a factor of p. This reduction preserves the cyclotomic data needed for an induction on the exponents in (T2).

Patterns in the Markov numbers and their generalizations

math.NT

math.GT

Positive integer solutions to $x^2+y^2+z^2- x y z =D$ correspond to the important Markov (Markoff) numbers when $D=0$. From a given solution triple, three more are found with Vieta involutions, making an infinite tree of solutions. Starting instead with three real numbers greater than $2$ gives lengths of closed geodesics in a punctured torus. In this paper we study these tree structures for any real $D$. A continuous function, originally related to a norm on homology, encodes all the numbers on each of these trees. The properties of this function are developed here in general, with a self-contained exposition, showing that the usual $D=0$ case is part of a bigger picture. Encoding function graphs are shown to be convex for $D<4$, straight lines for $D=4$ and concave for $D>4$. Among other consequences are generalizations to all $D$ of: estimates for counting numbers on these trees, descriptions of the geometry of the corresponding lattice curves, uniqueness conditions, and identities of McShane and Hines.

Quantitative linear independence for square roots

math.NT

We consider the problem of finding lower bounds for integer linear combinations of $\sqrt{a_1},\ldots,\sqrt{a_K}$, where $a_1,\ldots,a_K$ are positive integers such that their square roots are linearly independent over the rationals. We use a probabilistic approach and prove that for any integers $m_1,\ldots,m_K$, not all zero, $$\left|\sum_{n\leq K}m_n\sqrt{a_n}\right|> e^{-1/2}\left(\max_{n\leq K}|m_n|\sqrt{a_n}\cdot\sqrt{K}\right)^{-(2^{K-1}-1)}.$$ This inequality improves the dependence on $K$ in the classical product bound.

Twisted Lubin-Tate Big Witt Vectors and Fleck-Sun-Wan Congruences

math.NT

We construct a big Witt theory associated with coefficient-multiplicative normalized $\sigma$-twisted Lubin-Tate formal groups. The resulting $F$-big Witt ring extends Hazewinkel's ramified $q$-typical Witt theory and recovers the usual big Witt ring in the multiplicative case. We also introduce Fleck operators defined from iterated Coleman traces and prove Lubin-Tate analogues of the Fleck-Sun-Wan congruences for both positive and negative powers. By relating the Lubin-Tate Coleman theory to the $F$-big Witt theory, we obtain a Coleman $F$-norm whose integrality yields congruences among the corresponding Fleck coefficients.

On Decomposition of Drinfeld cusp forms of level $t$

math.NT

In this article, we first prove that the Hecke operator $T_t$ has no eigenform in $\Sla$ with eigenvalue $-t^{k/2}$, when the characteristic of the base field is odd. Furthermore, if $\dim \Slt$ is even, we show that $T_t$ has no eigenform in $\Sla$ with eigenvalue $t^{k/2}$. As a consequence, we prove that the direct sum decomposition $\Slt=\Sold \oplus \Snew$ holds when $\dim \Slt$ is even. This proves the conjecture \cite[Conjecture 1.1(3)]{BV19a} of Bandini and Valentino for an infinite family of cusp forms. In particular, for any weight $k$, there exists at least one type $m$ (there are only two possible non-trivial values of $m$) for which the conjecture \cite[Conjecture 1.1(3)]{BV19a} is true.

Golden-ratio growth of Conway's subprime closure

math.NT

Let $s(m)$ be the Conway subprime function define the binary operation on the natural numbers $x \circ y= s(x + y)$, and denote by $C_n$, $n \ge 0$, the sequence of subsets of natural numbers defined by $C_0 = \{1\}$, and $C_{n+1} = C_n \cup (C_n \circ C_n)$. We prove the conjecture by Caragiu, Vicol and Zaki that $$\lim_{n\to \infty} \frac{ | C_{n+1}| }{ | C_n |}= \frac{1+\sqrt{5}}{2}.$$ The underlying mathematical proof in this paper was constructed with some algorithmic assistance from GPT-6 Astra and its correctness has been formally verified using the Lean 4 proof assistant.

Two-Height Approximation and Mahler's Problem on Liouville Numbers

math.NT

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 underlying local result is quantitative and uniform: there exists an absolute constant such that, for every nonrational real-analytic function $f$, every nonempty open subinterval of its domain contains a Liouville number whose image under $f$ has irrationality exponent bounded by that constant. The main ingredient is a two-height counting estimate for rational approximation to nonrational analytic graphs, with the source and target denominators treated independently. Its proof combines an adaptive determinant argument with uniform Wronskian sublevel estimates and Farey separation; a nested-interval construction then yields the local quantitative result.

A Central Limit Theorem for Coprime Pair Counts in Randomly Translated Disks

math.NT

math.PR

We study the distribution of the number of coprime lattice points in randomly translated disks. We prove that its spatial variance is asymptotic to $\sigma^2r\log r$ and establish a central limit theorem under the corresponding normalization, where $\sigma^2$ is an explicit positive constant. By truncating the numerators of rational frequencies in lowest terms, the proof reduces higher-moment estimates to counting squarefree denominators in zero-sum relations.

Surjectivity of Finite Rank-Capped Enots-Wolley Sequences

math.NT

math.CO

For each fixed integer $K\ge2$, we consider the Enots--Wolley sequence in which every term after the initial $1,2$ is required to have between two and $K$ distinct prime divisors. We prove that every integer satisfying this restriction occurs. If an exact prime support $T$ were selected only finitely often, then after a finite cutoff the terms meeting $T$ would form short episodes, and every full term would force an earlier proper term at comparable numerical height. The case $|T|=K$ is then ruled out directly. In the remaining case $|T|

The Jensen--P\'{o}lya program and inequalities for arithmetic sequences

math.NT

We develop an analytic framework to study hyperbolicity of Jensen polynomials and related inequalities for arithmetic sequences with general asymptotic growth. Our results provide partial converses to the Hermite--Jensen phenomenon of Griffin, Ono, Zagier, and the third author. As applications we prove several conjectures concerning log-concavity, higher-order Turan inequalities, Laguerre inequalities, infinite log-concavity, and Toeplitz determinants for partition-type functions.

Cubic AGM graphs and Hessian $3$-isogenies over finite fields $\mathbb{F}_q$ of odd characteristic with $q \equiv 2 \pmod3$

math.NT

Let $\mathbb{F}_q$ be a finite field of odd characteristic with $q \equiv 2 \pmod3$. We study the directed graph defined by the Borwein--Borwein cubic arithmetic--geometric mean (AGM) over $\mathbb{F}_q$. We prove that this graph is a disjoint union of directed cycles. We associate Hessian curves with this AGM. We also show that each edge corresponds to a $3$-isogeny defined over $\mathbb{F}_q$ between the curves associated with its initial and terminal vertices. We then use a counting formula for Hessian curves to derive a lower bound for the number of cycles.

Character sums on an oriented singer conic and explicit Ramanujan double covers

math.NT

math.CO

Let $q$ be odd. The trace conic in $\mathbb{F}_{q^{3}}$ determines a Singer difference set in $\mathbb{F}_{q^{3}}^{\times} /\mathbb{F}_{q}^{\times}$ and a natural square-class lift to $\mathbb{F}_{q^{3}}^{\times} /\mathbb{F}_{q}^{\times 2}$. We study the odd multiplicative Fourier coefficients of this lift and prove that they are bounded in absolute value by $2\sqrt{q}$. The proof improves the naive six-puncture Weil bound by exploiting a projective Klein-four symmetry of the associated rank-one local system. The resulting nontrivial cocycle produces a quaternionic action on its four-dimensional cohomology, while Frobenius symmetry reduces the relevant trace to two Weil-scale eigenvalues.As an application, the oriented conic yields an explicit Singer-invariant signing of the point-line incidence graph of $PG(2,q)$. The corresponding dihedral Cayley graph is a connected Ramanujan double cover. Thus a conic lift already known in finite-geometric constructions has an additional Ramanujan spectral property governed by its odd multiplicative character sums.

An explicit power-saving bound for S\'{a}rk\"{o}zy's Theorem on shifted primes, assuming GRH

math.NT

math.CO

Assume the Generalised Riemann Hypothesis. If $A\subseteq \{1,...,N\}$ contains no two elements differing by $p+1$, $p$ prime, then $|A|\ll N^{\frac{79}{80} + o(1)}$.

Bloch cycles and the weak two-variable Chinburg conjecture

math.NT

Let $-f<0$ be a fundamental discriminant, $w$ the number of roots of unity in $\mathbb{Q}(\sqrt{-f})$, and $\chi_{-f}$ the associated quadratic character. We prove that there is a polynomial $R_f\in\mathbb{Q}[x,y]$ such that $m(R_f)=4wL'(\chi_{-f},-1)$. Hence the weak two-variable Chinburg conjecture holds.

Dynamical generalizations of Chowla's conjecture on short averages

math.NT

math.DS

In 1965, Chowla conjectured that the signs of the Liouville function become asymptotically uncorrelated at any fixed collection of distinct shifts. In 2015, Matom\"aki, Radziwi\l\l{} and Tao proved an averaged form of Chowla's conjecture. In 2022, Lichtman proved a variant of this conjecture over primes on average. In the same year, Lichtman and Ter\"av\"ainen proved the Hardy--Littlewood--Chowla conjecture on average. In this article, motivated by the recent work of Bergelson and Richter on the dynamical generalizations of the prime number theorem, we will establish the dynamical generalizations of these three results related to Chowla's conjecture. In the proofs, we will show a uniform pretentious-distance estimate on the prime Omega function. Then exponential sum estimates are used to establish the averaged shift invariance of the distributions related to the shifted sum of the prime Omega function.

Elimination of Ren\'e Peschmann's 968 Remaining Hard Fibers for the Perfect Cuboid Problem

math.NT

math.AG

Recently, Ren\'e Peschmann proved perfect-cuboid nonexistence on 1,072 explicit master-tuple fibers with $\max(m,n)\le100$, leaving 968 fibers in the same bounded parameter range. In this paper, I eliminate all 968 remaining fibers. Most fibers fall to fairly short rank-zero or covering arguments, while the final cases need the stronger local-global sieves. Together with Peschmann's theorem this excludes perfect cuboids on all 2,040 admissible fibers with $m\le100$; the result is still a bounded-fiber theorem rather than a proof of the full perfect-cuboid conjecture.

Asymptotic Formula for Biregular Overpartitions

math.NT

Let $\bar{p}_{s,t}(N)$ be the number of overpartitions of $N$ into parts that are not divisible by $s$ or $t$. In this paper, we obtain asymptotic formulas for $\bar{p}_{s,t}(N)$ for relatively prime integers $s>t\ge 10$ via the saddle-point method. Our results cover different ranges of the parameters $s$ and $t$ relative to $N$. As an application, we show that $\bar{p}_{s,t}(N)$ satisfies higher-order Tur\'an inequalities for all sufficiently large $N$ by using a result of Griffin, Ono, Rolen, and Zagier.

Critical Restricted Sumsets at the Boundary $\lvert A\rvert+\lvert B\rvert=p$

math.NT

math.CO

Let $p$ be an odd prime, and write $A\RS B=\{a+b:a\in A,\ b\in B,\ a\ne b\}$. We classify all pairs $A,B\subseteq\Fp$ satisfying $|A|+|B|=p$, $|A|>|B|=\ell\ge1$, and $|A\RS B|=p-2$. After normalizing the two missing sums to $\{0,1\}$, we obtain exactly $\ell+1$ explicit models. The classification forces $B\subseteq A$ and yields, for fixed $p,\ell$, exactly $\binom p2(\ell+1)$ ordered pairs and $1+\lfloor\ell/2\rfloor$ equivalence classes under simultaneous affine transformations. We determine when either set is an arithmetic progression and compute exact difference-set cardinalities. For $\ell\ge3$ and $p\ge4\ell-5$, the cardinality $|B-B|$ determines the equivalence class at fixed $p,\ell$. The proof uses punctured translates and cyclic component counting. We also exhibit a critical pair in $\mathbb F_{13}$, with size gap three and $|A|+|B|=p-2$, that contradicts a proposed inverse statement below the boundary.

Prime Plus a Non-Square-Free Integer: An Elementary Approach

math.NT

Lee and O'Clarey recently conjectured that every integer $n>24$ can be written as the sum of a prime and a positive integer that is not square-free. They proved this for odd $n$, and for all $n>24$ assuming the generalised Riemann hypothesis for Dirichlet $L$-functions. We prove their conjecture unconditionally for every integer $n>24$ that is not divisible by $997\#$, where $997\#=\prod_{p\leq 997}p$. In particular, any counterexample must be divisible by every prime up to $997$, and hence exceeds $10^{415}$. The proof uses an elementary congruence argument together with finite computation.

Transcendence of Montgomery Reduction Factor in the Ring of Integers Modulo Infinitely Large Primes

math.NT

We prove the transcendence over $\mathbb{Q}$ of the image of Montgomery reduction factor $R'$ in the ring $\mathscr{A}$ of integers modulo infinitely large primes. Here, for an odd prime number $p$, $R'$ is defined as the modular inverse of a power $R$ of $2$ modulo $p$ satisfying $2^{-k} R \leq p < R$ for a fixed constant $k \in \mathbb{N}_{> 0}$ typically given as the standard bit size $32$ of an integer type, and is the element of $\mathbb{Z}/p \mathbb{Z}$ representing Montgomery reduction regarded as a $\mathbb{Z}/p \mathbb{Z}$-linear homomorphism.

A proof of Sylvester's conjecture

math.NT

We prove Sylvester's conjecture, originating in his 1879 study of ternary cubic equations, that every prime $p\equiv4,7,8\pmod9$ is a sum of two rational cubes. Elkies announced a proof for the classes $4$ and $7$ in 1994, and Yin recently supplied a complete proof. For the remaining class $p\equiv8\pmod9$, we prove that the elliptic curve $E_p:y^2=x^3+p^2/4$ has analytic rank one, as predicted by the Birch and Swinnerton-Dyer conjecture, and so $p$ is a sum of two rational cubes. The proof begins by adapting the auxiliary Rankin--Selberg construction from the authors' work on the rank one converse for CM elliptic curves. The resulting convolution factors as the $L$-function of $E_p$ times a complementary $L$-function. Chan's $3$-isogeny descent and the rank zero converse show that the complementary central $L$-value is non-zero, and so it suffices to prove that a cubic component of the associated Heegner point is non-torsion. A basic difficulty is that the unweighted Hecke trace of the underlying CM orbit vanishes. Our decisive idea is to take $\lambda$-division before taking the trace, where $\lambda=1-\omega$ and $\omega$ is a primitive cube root of unity. We prove that the resulting division boundary is non-zero by analysing Frobenius at $p$. The Galois action on the CM orbit and ramification theory then transfer this non-vanishing to the cubic component.

The typical size of Hecke eigenvalue sums is $o(\sqrt{x})$

math.NT

Let $\mathcal{H}_k$ denote the set of normalized holomorphic Hecke cusp forms of weight $k$ for the full modular group $ \mathrm{SL}_2(\mathbb Z)$. For each $f\in\mathcal{H}_k$, let $\lambda_f(n)$ denote the corresponding eigenvalue of the normalized Hecke operator $T_n$. We prove nontrivial upper bounds for \[\sum_{f \in \mathcal{H}_k}\omega_f \left|\sum_{n \leq x} \lambda_f(n)\right|^{2q},\] where $k$ is a positive even integer, $1\leqslant x\leqslant k$, $0\leqslant q \leqslant 1$ and $ \omega_f = \frac{\Gamma(k-1)} {(4\pi)^{k-1}\langle f,f\rangle} = \frac{2\pi^2} {(k-1)L(1,\mathrm{Sym}^2 f)}. $ Our estimates match the conjecturally sharp upper bound for $1\leqslant x\leqslant k^{0.99}$. In particular, whenever both $x$ and $k/x$ tend to infinity with $k$, we obtain \[\sum_{f \in \mathcal{H}_k}\omega_f \left|\sum_{n \leq x} \lambda_f(n)\right|=o(\sqrt{x}).\] We also prove upper bounds for low moments of sums of Hecke eigenvalues associated with Hecke--Maass cusp forms for $\mathrm{SL}_2(\mathbb Z)$. We study these sums through the probabilistic model proposed by Cogdell--Michel. We also determine the order of magnitude of low moments of this probabilistic model, which is equivalent to determining the order of magnitude of low moments of Hecke eigenvalue sums in the limit.

Two-term dilogarithms, mixed-base Nahm sums, and Fricke symmetry

math.NT

We study the arithmetic constraints that two-term Rogers dilogarithm relations impose on rank-two Nahm systems with mixed denominator steps. Monomial complement equations give a uniform conversion to quadratic data in every algebraic degree. Within a specified ten-record simplest-cubic family, positive coupling, positive definiteness, and integer-valued exponents leave, for m > 2, exactly the steps (1,3), (1,13), and (1,31). At the smallest compatible modulus 31, the required support cannot be a multiplicative subgroup coset. Quadratic examples include known product identities and two systems for which the first radial correction excludes every individual modular sum with rational linear terms. For the index-13 system, we prove a two-term Rogers identity and recover its arguments from the matrix of a previously proved two-dimensional Fricke transformation. Its cusp growth agrees with the resulting saddle action, and an independent calculation reproduces all three leading Fricke amplitudes exactly. The associated two-summand product evaluations remain conjectural; the small rank and dimension contrast with the classical rank-five, six-component Andrews-Gordon construction at the same modulus. A mixed-signature cubic family illustrates the limits of the arithmetic restriction

Ekedahl-Oort strata meeting the supersingular locus

math.NT

math.AG

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

Laurent coefficients of Zagier-type zeta function {\`a} la Ishibashi and arithmetic aspects of extended Ramanujan period function

math.NT

One of the remarkable contributions of Don Zagier was the Kronecker limit formula for a real quadratic field, where he connects the double series $\mathcal{Z}(s,w,w^\prime)$ to the Dedekind zeta function associated to a real quadratic field. Later, Ishibashi determined all the Laurent coefficients of $\mathcal{Z}(s,w,w^\prime)$ at $s=1$. Recently, Choie and kumar have studied the analytic behaviour of the analogous double series $\tilde{\mathcal{Z}}(s,w,w^\prime)$. In this article, we derive all the Laurent coefficients of $\tilde{\mathcal{Z}}(s,w,w^\prime)$, akin to Ishibashi. These Laurent coefficients involve an interesting function $\mathfrak{F}_k^0(x)$, which was earlier studied by Dixit et. al. (Ramanujan for $k=1$), where they obtained a beautiful symmetric relation for $\mathfrak{F}_k^0(x)$. We establish both the two term and the three term functional equation of $\mathfrak{F}_k^0(x)$, derive the action of the period-like Hecke operator on $\mathfrak{F}_k^0(x)$ and connect an important integral with $\mathfrak{F}_k^0(x)$.

The Dynamical Mordell--Lang Conjecture for Relatively \'{E}tale Systems over Products of Curves

math.NT

math.DS

We establish the dynamical Mordell--Lang conjecture over \(\mathbb C\) for endomorphisms that are relatively \'{e}tale over arbitrary endomorphisms of finite products of smooth projective curves. In particular, we establish the conjecture for arbitrary endomorphisms of product of smooth projective curves and relatively \'{e}tale skew products. The arithmetic input is our unconditional theorem for split endomorphisms over \(\overline{\mathbb Q}\), proved by reducing to a simultaneous Hasse principle for the local periods of critical points and analyzing local inertia in joint arboreal towers. We combine this arithmetic input with relative \'{e}taleness, simultaneous algebraic specialization preserving wandering base coordinates, prescribed-reduction \(p\)-adic embeddings, and \(p\)-adic interpolation to obtain the result in the complex case.

On the largest prime factors less than $y$ of consecutive shifted primes

math.NT

For an integer $n > 1$, let $P^+(n)$ be the largest prime factor of $n$, and let $P_y^+(n)$ denote the largest prime factor of $n$ not exceeding $y$. One of Erd\H{o}s and Tur\'an's conjectures asserts that the asymptotic density of integers $n$ satisfying $P^+(n)

<\alpha<17/32$, let $y=x^\alpha$. Then there exists $h(\alpha)>0$ such that \begin{align*} \#\{p\leq x:P_y^+(p-1)

Algorithms for $p$-rationality and for $p$-saturation of units

math.NT

Let $K$ be a number field. We give new practical algorithms that determine whether $K$ is $p$-rational. For real cyclotomic fields $K=\mathbb{Q}(\zeta_{n})^{+}$, our method avoids computing either the class number or the full unit group. We also use the notion of $p$-rationality to explain the practical efficiency of an algorithm for determining whether a subgroup of the unit group $\mathcal{O}_{K}^{\times}$ is $p$-saturated. This in turn yields a new algorithm for the unconditional verification of unit groups of number fields that substantially outperforms existing unconditional algorithms in practice. Finally, by combining our algorithms for determining $p$-rationality with work of Greenberg, we construct certain Galois representations $\rho : \mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q}) \rightarrow \mathrm{GL}_{n}(\mathbb{Z}_{p})$ with open image and further prescribed properties.

Algebraic independence of the exponential and Weierstrass $\wp$-functions

math.NT

Let $\Omega$ be a lattice in $\mathbb{C}$ with algebraic invariants and complex multiplication, let $\mathcal{E}$ be the elliptic curve associated with $\Omega$, and let $\wp$ be the Weierstrass function relative to $\Omega$. Set $ k:=\operatorname{End}(\mathcal{E}) \otimes_{\mathbb{Z}}\mathbb{Q}.$ We prove that if $t_1,\dots,t_s$ are $\mathbb{Q}$-linearly independent algebraic numbers and $p_1,\dots,p_n$ are $k$-linearly independent algebraic numbers, then the $s+n$ numbers \[ \mathrm{e}^{t_1},\dots,\mathrm{e}^{t_s}, \wp(p_1),\dots,\wp(p_n) \] are algebraically independent over $\overline{\mathbb{Q}}$. The proof uses the Tannakian description of the Lie algebra of the unipotent radical of the $1$-motive associated with these points.

On the arithmetic of Tate-Shafarevich groups via Kolyvagin's conjecture

math.NT

We investigate how Heegner points detect the finiteness of the $p$-primary part of Tate-Shafarevich groups of semi-stable elliptic curves over the rationals of \emph{arbitrary} rank with any good reduction prime $p \geq 5$ with irreducible mod $p$ representation and partially recover \c{C}iperiani--Wiles' theorem on solvable points on genus one curves. As a key ingredient of the proof of these results, we also give a concise proof of Kolyvagin's conjecture for semi-stable elliptic curves with supersingular reduction with a relevant choice of an imaginary quadratic field. Our approach is independent of the cyclotomic Iwasawa main conjecture for elliptic curves with supersingular reduction.

Optimising Selberg's method for critical zeros

math.NT

We revisit Zhuravlev's 1974 quantitative form of Selberg's sign-change method for the zeros of the Riemann zeta function on the critical line. Zhuravlev's work, originally in Russian and little known in the West, established an explicit positive proportion of such zeros. Using modern techniques we optimise the arithmetic mean value at the heart of the method, which has an exact closed form for reciprocal-square-root coefficients and is improved further by a positive-semidefinite family of mollifiers. We thereby obtain the strongest result yet known from Selberg's method, proving that at least $7\%$ of the non-trivial zeros of the Riemann zeta function lie on the critical line.

On the number of solutions to $S$-unit equations

math.NT

Let $K$ be a number field and $S$ a finite set of places including the archimedian ones. Let $(a_1,a_2,a_3)\in K^*$ we consider the $S$-unit equation $a_1x+a_2y=a_3$ with $x,y\in U_S$. In this paper we prove that for fixed $a_1,a_2$ the equation has at most $\frac{|S|-1}2$ solutions provided that the height of $a_3$ is sufficiently large. We want to emphasize that our results are effective.

Hecke structure of quaternionic modular forms mod $p$

math.NT

math.AG

We relate the systems of Hecke eigenvalues arising from the (mod $p$) modular forms on the Shimura curve attached to the indefinite quaternion algebra $B$ of discriminant $\delta$ over $\mathbf{Q}$ to the systems of Hecke eigenvalues arising from the (mod $p$) algebraic modular forms attached to the definite quaternion algebra $D$ of discriminant $p\delta$. Moreover, we discuss details of the Hecke structure on the latter spaces, following ideas of Serre. The entire setup can be seen as a Shimura curve analogue of Serre's letter to Tate on quaternions and modular forms. The bijection between the sets of systems of Hecke eigenvalues is a special case of recent work of Terakado and Yu; the novelty of this paper is the explicit nature of the construction, allowing for finer control of its behaviour with respect to weights, as well as the results on the Hecke module structure.

Periodicity and Period-Length Bounds for Browkin $p$-Adic Continued Fractions

math.NT

Continued fractions have been introduced and studied in the field of $p$--adic numbers by several authors, with the aim of developing analogues of the classical theory of real continued fractions. In this paper, we focus on Browkin's continued fraction algorithm, for which several fundamental questions remain open, especially concerning periodic expansions of quadratic irrationals. In this paper, we solve a conjecture about periodicity left open in [6]. As a consequence, we prove that, for every positive integer $t$, there exist infinitely many square roots of integers whose Browkin continued fraction expansion is periodic with period length $2t$. This also settles a problem originating from previous classical results on the possible period lengths of square roots of integers. Moreover, we provide new sufficient conditions for the periodicity of quadratic irrationals and derive explicit bounds for the corresponding period lengths. These results also restrict the possible behaviour of a quadratic irrational whose Browkin continued fraction expansion is non-periodic, and therefore provide new tools for investigating whether an analogue of Lagrange's theorem can hold. Finally, we also provide a computational study of the Browkin expansions of quadratic irrationals, with particular attention to the behaviour of square roots of integers and to the search for possible non-periodic examples.

An extension of algebraic independence of special values for non-lacunary power series

math.NT

We study the algebraic independence of special values of power series $f(\beta^{-1})$, where $\beta$ is a fixed Pisot or Salem number. In particular, we consider the case where $f(X)=\sum_{n\geq 0} t(n) X^{w(n)}$ is not a lacunary series and is not assumed to satisfy any special functional equation, such as a Mahler-type functional equation. In our main results, we give a new criterion of the algebraic independence of three values. Applying our main results, we prove that the following three values are algebraically independent: \[ % \begin{gathered} \sum_{n=3}^{\infty}\lfloor n^{y}\rfloor\beta^{-\lfloor n^{\log \log n}\rfloor},\quad \sum_{n=3}^{\infty}\beta^{-\lfloor n^{\log \log n}\rfloor},\quad \sum_{n=1}^{\infty}\beta^{-\lfloor n^{\log n}\rfloor}, % \end{gathered} \] where $y$ is an arbitrary positive real number. Since our criterion is flexible, we have considerable freedom in choosing the coefficients $(t(n))_{n\geq 0}$ and the exponents $(w(n))_{n\geq 0}$.

Long runs of integers with small prime factors and the divisor function of $n!$

math.NT

Let $d$ be the divisor function, and let $K(n)$ be the least positive integer $K$ for which $d((n + K)!) \ge 2d(n!)$. Erd\H{o}s, Graham, Ivi\'c and Pomerance proved that, for infinitely many $n$, \begin{equation*} K(n) > (1/9)(\log n)(\log_{2} n)(\log_{4} n)/(\log_{3} n)^3. \end{equation*} We improve upon this by a factor of order $\log_{3} n$, which brings the bound to the same order as Rankin's 1938 lower bound for gaps between consecutive primes. The two problems are closely related, but a long prime-free interval does not by itself produce a large value of $K(n)$: what is needed is a weighted variant of the Erd\H{o}s--Rankin construction. We follow the method of Erd\H{o}s, Graham, Ivi\'c and Pomerance, replacing a key estimate by an averaging argument that permits some integers to remain uncovered. This improvement was formulated and proved during a private interaction with Claude Fable 5.1, a publicly available generative-AI system; the argument is verified and presented here by the author.

A Construction of an Extremal Even Unimodular Lattice of Rank $88$

math.NT

math.CO

In this paper, we construct a positive definite extremal even unimodular lattice of rank $88$. We further show that this lattice is extreme, and hence that the density of the corresponding lattice sphere packing is locally maximal.

Singular automorphic products and BKM algebras

math.NT

hep-th

math-ph

math.MP

math.QA

After proving the moonshine conjecture, Borcherds asked in 1995 whether there exist only finitely many holomorphic automorphic products of singular weight. We show that, up to conjugation, there are exactly 27 such products on lattices of the form $2U\oplus L$. The classification proceeds by identifying each product at a standard $1$-dimensional cusp with the superdenominator of a BKM superalgebra that carries a graded module structure over an affine Lie superalgebra $\hat{\mathfrak{g}}$. The auxiliary algebras $\hat{\mathfrak{g}}$ are shown to satisfy strong conditions that reduce the possibilities to an initial list of 1372 candidates. An elimination argument leaves exactly 85 algebras $\hat{\mathfrak{g}}$ that correspond to the 27 products. This classification is closely connected with certain distinguished families of vertex operator superalgebras. Our results provide a systematic framework for extending affine Lie superalgebras to hyperbolic ones with modularity, generalizing the work of Feingold and Frenkel (1983).

A septic covariant and the Hermite--Joubert problem in degree seven

math.NT

We prove the degree-seven case of the Hermite--Joubert problem in characteristic zero: if $F$ is a field of characteristic zero and $E/F$ is a field extension of degree seven, then $E$ is generated by an element $a$ with $\text{tr}_{E/F}(a)=\text{tr}_{E/F}(a^{3})=0$, that is, with minimal polynomial of the form $\lambda^{7}+c_{2}\lambda^{5}+c_{4}\lambda^{3}+c_{5}\lambda^{2}+c_{6}\lambda+c_{7}$, where the $c_i$'s belong to $F$. This is given by an explicit formula: a covariant of the binary septic of coefficient degree seven and order five, evaluated at a generator $\theta$ and divided by the derivative of its minimal polynomial evaluated at $\theta$. We also announce the general theorem, which will be proved in a companion paper in preparation: over every infinite field, in every characteristic, every \'etale algebra of degree seven contains a primitive element $a$ with $c_{1}(a)=c_{3}(a)=0$. Moreover, every field extension of degree seven of an arbitrary field has a generator $a$ with $c_{1}(a)=c_{3}(a)=0$.

Another proof of the $U^4(\mathbf{F}_p^n)$-inverse theorem

math.NT

math.CO

We give a new and shorter proof of a quantitative inverse theorem for the Gowers $U^4$-norm in the setting of high-dimensional vector spaces over finite fields.

Cauchy laws for zeta logarithmic derivatives and stationary Stieltjes transforms

math.NT

math.PR

We prove an unconditional Cauchy limit for a symmetrically truncated Stieltjes transform of the projected ordinates of the zeros of the Riemann zeta function. A suitable normalization of the logarithmic derivative of $\zeta$ on the critical line has the same limit provided that the sum of the distances to the critical line of the zeros lying to its right, counted with multiplicity up to height $2T$, is $o(T)$; we give an explicit bound on the comparison error. The proof rests on a convergence theorem for the Stieltjes transform of positive stationary point measures whose counting discrepancy satisfies an integrability criterion. This theorem is obtained by comparison with the transforms of periodic point measures, combined with truncation bounds and a transfer theorem. Over finite fields, a classical cotangent identity yields Cauchy limits for the logarithmic derivatives of zeta functions of varieties: the law is exactly Cauchy for nonconstant pure cohomological factors, and Poincar\'e duality gives explicit errors for full zeta functions, including Cauchy limits for smooth hypersurfaces of increasing degree, uniformly in the base field.

Low moments of Hecke eigenvalue sums

math.NT

math.PR

We show that partial sums of the Sato--Tate random multiplicative functions introduced by Cogdell and Michel exhibit better-than-square-root cancellation. The proof proceeds via a connection to multiplicative chaos, following Harper's seminal work. By a non-trivial adaptation of Harper's derandomization argument for character sums, we also obtain upper bounds for low moments of Hecke eigenvalue sums and of Hecke eigenforms near the cusp $0$; to our knowledge, this is the first appearance of multiplicative chaos in the context of automorphic forms on $\mathrm{GL}(2)$. A novel ingredient is the introduction of Hecke $s$-norms.

A lattice family with kissing constant $\tau(\mathcal{L}_n) \ge e^{\sqrt{n}}$

math.CO

cs.IT

math.IT

math.MG

math.NT

For prime dimensions $n \ge 5$, we define integer lattices $\mathcal{L}_n$ with kissing constant \begin{align} \tau(\mathcal{L}_n) \ge \left(\frac{1}{\sqrt{2 \pi e}} + o(1)\right) n^{3/4} e^{\sqrt n}. \notag \end{align} This improves on the growth rate $e^{\Theta((\log n)^2)}$ of the Barnes-Wall lattices, which provided the previously best known asymptotic lower bound. The construction is an extension of a previous construction by Bennett-Peikert based on Reed-Solomon codes.

Zeros in The Character Table of The Wreath Product of The Symmetric Group

math.CO

math.NT

math.RT

Let $G$ be a finite group with $t$ conjugacy classes, and let $S_N$ be the symmetric group. Let $Z_t(N)$ be the number of zeros in the character table of the wreath product $G\wr S_N$. We prove \begin{equation*} Z_t(N)\ge \frac{2p_t(N)^{2}}{\log \frac{N}{t}}\left(1+O\left(\frac{\log \log \frac{N}{t}}{\log \frac{N}{t}}\right)\right), \end{equation*} where $p_t(N)$ is the number of $t$-multipartitions of $N$.

Matrices over non-commutative rings as sums of fifth and seventh powers

math.RA

math.NT

Let $R$ be non-commutative ring with unity. In this paper, we prove that a given matrix in $M_n(R)$ is a sum of $p$-th powers in $M_n(R)$, where $n < p$ if and only if its trace can be written as a sum of $p$-th powers in $M_n(R)$, for $n = 2,3,4$ and $p = 5$ and $n = 4,5,6$ for $p = 7$. This paper extends the results of S. A. Katre and Kshipra Wadikar, $(p=3)$ and Garge $(n \geq p), (p = 5, 7)$, and S. A. Katre and Deepa Krishnamurthi $(n \geq p)$.

Subset-Sum Density Realization in Locally Finite Abelian Groups

math.CO

math.NT

Let $G$ be a countable locally finite abelian group, and let \[ G_1\leq G_2\leq\cdots, \qquad \bigcup_{i\geq1}G_i=G, \] be any filtration of $G$ by finite subgroups. For $A\subseteq G$, let $\mathcal P(A)$ denote the set of all finite subset sums of elements of $A$, and let $2G:=\{2g:g\in G\}$. We prove that $|2G|=\infty$ if and only if for every filtration and every interval $[\alpha,\beta]\subseteq[0,1]$, there exists $A\subseteq G$ such that the set of limit points of \[ \left( \frac{|\mathcal P(A)\cap G_i|}{|G_i|} \right)_{i\geq1} \] is exactly $[\alpha,\beta]$. We also prove a positive-density result that does not require $|2G|=\infty$: if $G$ is infinite and $\mathcal P(A)$ has positive upper density along the given filtration, then there is an infinite set $B\subseteq \mathcal P(A)$ such that $B+B\subseteq \mathcal P(A)$. Combining this with the realization theorem, we show that, when $|2G|=\infty$, every interval $[\alpha,\beta]$ with $0\leq\alpha\leq\beta\leq1$ and $\beta>0$ can be realized by a set $A$ with this additional property.

Torsion, Betti rank, and small points in semiabelian schemes

math.AG

math.NT

Let $\mathcal G\to S$ be a semiabelian scheme over a smooth complex algebraic base, with abelian relative dimension $g$ and toric rank $r$. We prove that a dominating irreducible subvariety not contained in a proper relative special subvariety has Zariski-dense fibrewise torsion if and only if its mixed Betti rank is $2(g+r)$. In particular, its dimension is at least $g+r$. For every prime, primary torsion is then dense even among points of maximal rank. The exceptional loci include generalized Ribet loci. Over algebraic numbers, we prove that generic small points force full mixed rank whenever the abelian Betti rank is maximal. This yields a transfer from abelian relative Bogomolov dimension theorems to arbitrary toric extensions, together with toric height gaps above abelian torsion and order-linear gluing-height bounds for nodal Pell equations. The proof combines algebraic quotients of marked $1$-motives, quadratic nef compensation, a central-monodromy calculation, and algebraicity of mixed Betti strata.

Thresholds and Fluctuations for Colorful Arithmetic Progressions in Sparse Random Colorings

math.CO

math.NT

math.PR

In this paper, we derive thresholds and fluctuations for arithmetic progressions with prescribed color patterns in sparse random colorings of $[n]:=\{1, 2, \ldots, n\}$, where each element of $[n]$ is colored independently according to a given probability vector. For any admissible ordered palette of colors, we determine the full multi-parameter threshold region for the appearance of a colorful arithmetic progression. The threshold is governed by two competing mechanisms: a global first-moment condition and a local color-availability condition, resulting in a polyhedral satisfiability region, with a piecewise-polyhedral threshold surface. In the satisfiability region we establish asymptotic normality for the number of colorful arithmetic progressions of a given length, with an explicit rate of convergence in Wasserstein distance. On the threshold surface, we identify three distinct asymptotic regimes: Poisson, compound Poisson with mixed Poisson jumps, and compound Poisson with uniform jumps, after an appropriate normalization. These results provide a complete description of the threshold and fluctuation behavior of general colored arithmetic progressions under sparse random colorings, in a unified framework that interpolates between classical uncolored/monochromatic progressions in binomial random subsets and multicolored, including rainbow, arithmetic progressions.

Noether's problem for $A_6$ and $A_7$

math.AG

math.NT

We prove that $B_kA_6$ is stably rational over every field $k$ in which $2$ and $-3$ are nonzero squares. Combining this with a theorem of Plans, we deduce that $B_kA_7$ is stably rational over every field $k$ of characteristic zero in which $2$ and $-3$ are squares.

Growth beyond exponent $3/2$ for convexity and iterated sum sets

math.CO

math.NT

We prove that the bound \[ \max \{ |16A|,|16f(A)| \} \gg_m |A|^{\frac{3}{2}+\frac{1}{162}} \] holds for any polynomial $f$ with degree $m \geq 2$ and any finite $A \subset \mathbb R$. This shows that the classical Jarn\'{i}k obstruction to growth beyond exponent $3/2$, which occurs for general strictly convex functions, cannot occur for polynomial functions.

AKE principles in roughly deeply ramified henselian valued fields

math.LO

math.AC

math.NT

We show that for any henselian valued field of mixed characteristic $(0,p)$, the (existential) $\mathcal{L}_{\mathrm{val}}$-theory of the valued field is determined by the (existential) theory of the value group in $\mathcal{L}_{\mathrm{oag}}$ with a constant for $v(p)$ and the (existential) theory of the residue ring $\mathcal{O}_v/(p)$ in an expansion $\mathcal{L}_{\mathrm{Witt}}$ of the language of rings, provided $\mathcal{O}_v/(p)$ is semi perfect. We moreover show that the $\mathcal{L}_{\mathrm{Witt}}$-structure on $\mathcal{O}_v/(p)$ is $\mathcal{L}_{\mathrm{ring}}$-definable using constants, and that this is exactly the structure induced on $\mathcal{O}_v/(p)$ by the ambient valued field. As a consequence, we obtain a relative quantifier elimination result (eliminating $K$-quantifiers) in a suitable language for the theory of roughly deeply ramified henselian valued fields of mixed characteristic $(0,p)$.

Algebraic Structures on Sets of Partitions

math.CO

math.NT

Motivated by Robert Schneider's trailblazing work toward developing a unifying algebraic theory of integer partitions, we explore various binary operations on partitions to identify algebraic structures on sets of partitions. In particular, we discover that several sets of restricted partitions form abelian groups under reduced versions of concatenation, component-wise addition, and component-wise multiplication. One type of restricted partition from a group structure also enjoys a bijection with ordinary partitions of any given size. We extend two partition groups to vector spaces over the finite field $\mathbb{Z}_p$, where $p$ is a prime. We further discover that partitions are equipped with a commutative ring structure. Finally, we consider subgroups, subspaces, and ideals of our algebraic partition structures to investigate properties of related types of restricted partitions. The new examples of algebraic structures described in this paper open the door to partition analysis via algebraic tools, decompositions, extensions, and geometry.

NP-hardness of ideal lattice problems

cs.CC

math.NT

We establish the worst-case hardness of several ideal lattice problems (including SVP and CVP) in the $\ell_2$ norm by providing a dimension-preserving, deterministic polynomial time reduction from their generic lattice versions. The reduction constructs an ideal lattice in the canonical embedding of a number field that approximates some input lattice up to scaling and orthogonal transformation. The integers defining the ideal and the ambient number ring, in particular its discriminant, are all polynomial in bit length relative to the generic input lattice. Furthermore, the ideal is invertible, the ring is monogenic, and the number field is totally real. If the number ring is also required to be a full ring of integers, the reduction conjecturally succeeds in bounded-error quantum polynomial time.

Geometric realizations of Brauer classes on K3 surfaces from hyperk\"ahler contractions

math.AG

math.NT

Elements of the Brauer group $\operatorname{Br}(S)$ of a variety $S$ have geometric incarnations as \'etale-projective $S$-bundles, yet producing minimalist constructions of such bundles, which often power arithmetic applications, remains a difficult problem. When $S$ is a K3 surface with Picard rank $1$, we use the birational geometry of moduli spaces of twisted sheaves on $S$ to construct geometric realizations of nontrivial elements of $\operatorname{Br}(S)$. We recover many known geometric constructions of Brauer classes on K3 surfaces while providing a common moduli-theoretic framework for them. As a by-product, we give a new proof of the period-index theorem for very general K3 surfaces.

Dynamical Mordell--Lang Conjecture for Higher-Rank Radially Ramified Skew Products

math.DS

math.NT

We establish the dynamical Mordell--Lang conjecture over the complex numbers for a family of radially ramified polynomial skew products in arbitrary base dimension and fiber rank. We assume that one fixed iterate sends the vertical critical locus into the invariant zero section. Our result covers affine-linear bases and, under a degree-gap condition, nonlinear \'{e}tale polynomial bases. We also establish a uniform Skolem--Mahler--Lech theorem for a fixed nonlinear orbit and a fixed polynomial-coefficient linear recurrence whose trailing coefficient is a nonzero constant. The theorem applies to joint polynomial and rational relations involving the orbit and finitely many successive terms of any solution. A single eventual period works for every such solution and relation, although the finite exceptional set may depend on the relation. Our proof combines controlled nonarchimedean realizations with an orbitwise transfer theorem for superattracting line-bundle dynamics.

p-Adic distribution of CM points and Hecke orbits. II: Linnik equidistribution on the supersingular locus

math.NT

math.AG

math.DS

v2

For every prime number $p$, this paper determines the asymptotic distribution of CM points on the moduli space of elliptic curves over $\mathbb{C}_p$. In stark contrast to the complex case, the $p$-adic setting admits infinitely many distinct accumulation measures. The paper identifies all such measures by translating this problem as a $p$-adic analog of Linnik's classical problem on the asymptotic distribution of integer points on spheres. This translation draws on the relationship between the deformation theories of elliptic curves and formal modules, together with results of Gross and Hopkins. The bounds for Fourier coefficients of cuspidal modular forms of Deligne, Iwaniec, and Duke yield a deviation estimate that solves this $p$-adic Linnik problem. This paper also identifies all the accumulation measures of an arbitrary Hecke orbit.

The $D^6 R^4$ interaction as a Poincar\'e series, and a related shifted convolution sum

math.NT

math-ph

math.MP

v3

We complete the program, initiated in a 2015 paper of Green, Miller, and Vanhove, of directly constructing the automorphic solution to the string theory $D^6 R^4$ differential equation $(\Delta-12)f=-E_{3/2}^2$ for $SL(2,\Z)$. The construction is via a type of Poincar\'e series, and requires explicitly evaluating a particular double integral. We also show how to use double Dirichlet series to formally derive the predicted vanishing of one type of term appearing in $f$'s Fourier expansion, confirming a conjecture made by Chester, Green, Pufu, Wang, and Wen motivated by Yang-Mills theory (and later proved rigorously by Fedosova, Klinger-Logan, and Radchenko using the Gross-Zagier Holomorphic Projection Lemma.).

On the triviality of the unramified Iwasawa modules of the maximal multiple $\mathbb{Z}_p$-extensions

math.NT

v5

For a number field $k$ and an odd prime number $p$, we consider the maximal multiple $\mathbb{Z}_p$-extension $\tilde{k}$ of $k$ and the unramified Iwasawa module $X(\tilde{k})$, which is the Galois group of the maximal unramified abelian $p$-extension of $\tilde{k}$. In this article, we classify the CM-fields $k$ in which $p$ splits completely and for which $X(\tilde{k}) = 0$. To this end, we provide a relation between the trivialities of $X(\tilde{k})$ and that of the $p$-split Iwasawa modules associated with certain anticyclotomic $\mathbb{Z}_p$-extensions. In addition, we provide an alternative proof of the sufficient condition for $X(\tilde{k})=0$, based on the study of the generalized Greenberg conjecture.

On the Pair Correlation of Zeros of $L$-Functions for Non-CM Newforms in Shifted Ranges

math.NT

v2

We study the pair correlation between zeros of a shifted auxiliary $ L $-function attached to a non-CM newform, the scale of which is a fixed constant. We prove an unconditional asymptotic result for the pair correlation and introduce a simplicity hypothesis for the zeros of this function, which if true means that multiple zeros of the original $ L $-function cannot be separated by the same fixed distance. Our results provide macroscopic information in contrast to the pair correlation of the original $ L $-function which is of microscopic nature.

Prime Solutions to a Binary Additive Equation and Mixed Moments of Character Sums

math.NT

v3

We obtain an asymptotic formula with a power-saving error term for counting the integer points $(a,b,c,d)$ in an expanding box that satisfy the determinant equation $x_1x_2-x_3x_4 =r$ for $r \neq 0 $ with two of entries to be prime. Finally, these estimates are applied to evaluate mixed fourth moments of Dirichlet character sums over integers and primes, yielding non-trivial bounds. The method involves the Poisson summation formula and the estimation for the average of the sums of the Kloosterman fractions over primes.

On properness of moduli stacks of $D^{\times}$-shtukas over ramified legs

math.NT

math.AG

v2

Given a maximal order $\mathcal{D}$ of a central division algebra $D$ over a global function field $F$, we prove an explicit sufficient condition for moduli stacks of $\mathcal{D}^\times$-shtukas to be proper over a finite field (modulo a suitable central action) in terms of the \emph{local invariants} of $D$ and \emph{bounds}. Our proof is a refinement of E.~Lau's result (Duke Math. J. \textbf{140} (2007)), which showed the properness of the \emph{leg morphism} (or \emph{characteristic morphism}) away from the ramification locus of $D$. %, by carefully measuring the contribution of ``ramified legs''. We also establish non-emptiness of Newton and Kottwitz--Rapoport strata for moduli stacks of $\mathcal{B}^\times$-shtukas, where $\mathcal{B}$ is a maximal order of a central simple algebra over $F$.

A Divisor-Sum Analogue of the Collatz Map

math.NT

v3

Let $\sigma$ denote the sum-of-divisors function and let $\mathcal{R}$ send an odd integer $n$ to $\sigma(n)$ and an even integer $n$ to $n/2$. We conjecture that every orbit of $\mathcal{R}$ reaches $1$; this implies that there is no odd $2^{k}$-perfect number for any $k \ge 1$. We prove a pointwise descent estimate for the map $T$ induced by $\mathcal{R}$ on the odd integers, and show that a single application of $T$ divides almost every odd $n$ by $(\log n)^{2\log 2-\varepsilon}$, for every fixed $\varepsilon>0$. The estimate does not iterate, and we determine what is missing.

On the Laurent series expansions of the Barnes double zeta function

math.NT

v3

We investigate the Laurent series expansions of the Barnes double zeta function $\zeta_2(s,\alpha;v,w)$ at $s=1$ and $s=2$. We derive explicit limit representations for the Laurent coefficients, which may be regarded as analogues of the Euler--Stieltjes constants in the Barnes setting. In particular, we obtain formulas in terms of finite double sums with explicit correction terms, including a new limit representation for the constant term at $s=1$. We also establish relations between the Laurent coefficients at $s=1$ and the Taylor coefficients at $s=0$, as well as relations between the coefficients at $s=1$ and $s=2$. Furthermore, we study the asymptotic behavior of these coefficients as the order tends to infinity and show that they approach simple closed-form expressions with exponentially decaying error terms. Finally, we investigate arithmetic properties of certain constant terms in the Laurent expansions. We establish transcendence results for some infinite families of special values, including a family at $s=1$ for which every member is transcendental and a family at $s=2$ for which all but at most one are transcendental.

Affine Chabauty I

math.NT

v3

We prove finiteness and give an explicit upper bound on the number of $S$-integral points on affine curves satisfying a certain rank-genus inequality. We achieve this by developing an analogue of the Chabauty method, embedding the curve into its generalised Jacobian and bounding the Abel-Jacobi image of the $S$-integral points using arithmetic intersection theory. Our results also provide the foundations for an algorithm to determine the set of $S$-integral points on affine curves presented in a follow-up article.

Regular ternary sums of generalized polygonal numbers

math.NT

v2

In this article, we provide an explicit constant $C$ such that there is no regular ternary sum of generalized $m$-gonal numbers for any integer $m$ greater than $C$.

Resolutions of spaces of crystalline representations and modularity

math.NT

v2

We introduce a new partial resolution of crystalline spaces of Galois representations when the gaps in Hodge--Tate weights are smaller than $p$, with no bound on ramification. Furthermore, when $n =3$ in the case of minimal regular weight, we are able to show that the resolution is normal (assuming the ramification index is divisible by 3). Employing base change techniques and further analysis of the resolution, we are able to show that all the components of the crystalline deformation rings are potentially diagonalizable. As a consequence, we deduce automorphy lifting, the weight part of Serre's conjecture, and the Breuil-M\'ezard conjecture in dimension three for minimal regular weight.

A Matrix-Theoretic Exact Formula for Counting Primes in Intervals Between Consecutive Odd Squares

math.NT

math.CO

v5

Matrix $B=(b_{ij})$ with $b_{ij}=(2j+1)(2j+2i-1)$ was introduced in \cite{Shi2024} as an additive sieve for odd primes. In this paper we introduce the minimal-anchor function $\pmin(d)$, the least odd prime $p$ such that $p+d$ is prime (sequence A020483 of the OEIS at index $d/2$), whose finiteness for all even $d$ is exactly the weak Polignac (Maillet) conjecture, i.e.\ the statement that every row of $B$ contains a semiprime. We prove that for each fixed $z$ the set $\{d\ \text{even}:\pmin(d)\le z\}$ has density zero, with the asymptotic $(\pi(z)-1)X/\log X$; consequently no fixed finite set of anchor primes can cover a positive proportion of the rows. Density-one coverage of the rows nevertheless holds, by a classical theorem of Lavrik which we restate in the matrix-$B$ framework: almost every row contains the number of semiprimes predicted by the Hardy--Littlewood conjecture. We formulate quantitative conjectures on $\pmin$ and support them with numerical data. Every-row coverage (= weak Polignac) is explicitly left open. We prove unconditional lower bounds for $\pmin$: for every $\psi\to0$, $\pmin(d)>\psi(d)\log d\log\log d$ for almost all even $d$, which is the conjectured typical order; and $\max_{d\le X}\pmin(d)\ge(\frac12+o(1))\log X\log\log X$. The same counting gives the corresponding lower bounds for the least prime in a Goldbach partition.

The Poisson Tail Conjecture for primes in short intervals

math.NT

math.PR

v2

In 1976, Gallagher showed that, conditional on the Hardy--Littlewood conjectures, the number of primes below $x$ in a randomly chosen short interval of length $\lambda \log x$ asymptotically follows a Poisson distribution with mean $\lambda$. Correspondingly, the normalized gaps between consecutive primes follow an exponential distribution, provided that the scaling parameter $\lambda$ is fixed. We investigate the validity and limitations of the associated folklore Poisson Tail Conjecture as $\lambda$ is allowed to grow. For slowly growing $\lambda$, and conditional on a strong variant of the Hardy--Littlewood conjectures, we establish asymptotics showing that the local counting statistics agree with these predictions. Furthermore, we identify the scale of the phase transition and establish the breakdown of these distributions for larger $\lambda$. The proof relies on a novel combination of extremal interval sieve estimates and concentration inequalities from probability.

Weighted sum formulas for finite multiple mixed values

math.NT

v2

In this paper, we employ the iterated integral expression of multiple polylogarithms to establish a weighted sum formula for finite multiple mixed values. As applications, we derive a one-parameter weighted sum formula for finite multiple $T$-values of arbitrary even depth, as well as several relations for depth-two, height-zero and height-one finite multiple mixed values.

$(a,a)$-Carmichael numbers and greatest common divisors of $p-a$

math.NT

v2

Define an $(a,a)$-Carmichael number to be a squarefree natural number $n$ such that $p\mid n$ implies $p-a\mid n-a$. For such a number $n$ with prime factors $p_1,\cdots,p_m$, define $$K=GCD[p_1-a,\cdots,p_m-a],$$ and let $C_\nu(X,a)$ denote the number of $(a,a)$-Carmichael numbers up to $X$ such that $K=\nu$. Assuming a strong conjecture on the first prime in an arithmetic progression, we prove that for any integer $a$ and for any natural number $\nu$ with $(\nu,a)=1$ and $a$ and $\nu$ having opposite parity, $$C_\nu(X,a)\geq X^{1-(2+o(1))\frac{\log\log\log \log X}{\log\log\log X}}.$$ This is a departure from many traditional constructions of Carmichael numbers, which generally require $K$ to grow along with $n$.

An Explicit Expression for MZVs in Terms of Symmetric MZVs

math.NT

v2

We provide a simpler proof of the fact, originally proved by Seidai Yasuda, that symmetric multiple zeta values generate the entire space of multiple zeta values. Furthermore, based on this argument, we present an algorithm for expressing multiple zeta values in terms of symmetric multiple zeta values and products of multiple zeta values. Moreover, we give some results on symmetric and finite multiple zeta values of depth three.

Alternating generalizations of Mizuno's product formula and the modified gamma functions

math.NT

math-ph

math.CA

math.MP

v2

Let $\tilde{\Gamma}(x)$ denote the modified gamma function recently introduced by the authors as an alternating analogue of the classical Euler gamma function. In this paper, we establish a complete alternating generalization of Mizuno's celebrated product formula: \begin{equation*} \prod_{m=0}^{\infty}\left(\prod_{j=1}^{n}(m+x_{j})^{(-1)^{m}}\right) =\frac{\left(\sqrt{\frac{\pi}{2}}\right)^n}{\prod_{j=1}^{n}\tilde{\Gamma}(x_{j})} =\prod_{j=1}^{n}\left(\prod_{m=0}^{\infty}(m+x_{j})^{(-1)^{m}}\right). \end{equation*} This identity, which we refer to as the alternating Mizuno formula, replaces the classical gamma function $\Gamma$ and the constant $\sqrt{2\pi}$ by their natural alternating counterparts $\tilde{\Gamma}$ and $\sqrt{\pi/2}$. As immediate consequences, we recover the alternating Lerch formula and, by specializing to $x=2$ and multiplying by $2$, a remarkably concise derivation of Wallis' famous product \begin{equation*} \frac{2\cdot2}{1\cdot3}\cdot\frac{4\cdot4}{3\cdot5}\cdot\frac{6\cdot6}{5\cdot7}\cdot\cdots=\frac{\pi}{2}. \end{equation*} More generally, by exploiting polynomial factorizations, we derive Kurokawa--Wakayama type formulas for alternating products over cyclotomic fields. Beyond these product identities, we investigate the multiple alternating gamma functions $\bar\Gamma_N(x)$, obtaining explicit factorizations in terms of Barnes' multiple gamma functions, closed-form evaluations involving the Glaisher--Kinkelin constant, and a Gauss--Legendre type multiplication formula. Finally, we introduce an alternating analogue of Shintani's double sine function and establish a clean arithmetic dichotomy: for algebraic $\tau$, its special values at integer points are algebraic precisely when $\tau$ is rational, and transcendental otherwise.

The average number of rational preperiodic points of polynomials over $\mathbb{Q}$

math.NT

math.DS

v2

Let $M_d(X)$ denote the average number of rational preperiodic points among degree-$d$ polynomials over $\mathbb{Q}$ with vanishing $z^{d-1}$ coefficient, constant term $1$, and height at most $X$. We prove that, for every integer $d\ge2$, $M_d(X) \sim \gamma_d X^{-1}$ for an explicit constant $\gamma_d>0$. For $d\ge4$, the error term is $O_{d,\varepsilon}(X^{-2+\varepsilon})$ for every $\varepsilon>0$; for $d=3$ the error term is $O(X^{-3/2})$; and for $d=2$ the error term is $O(X^{-3/2}\log X)$.

Counting integral points near curves: an exposition

math.NT

math.CA

v2

We give a detailed account of the recent work of Hickman and Srivastava on counting integral points in a $ \delta $-neighbourhood of a dilate $ q \mathcal{M} $ of a non-degenerate curve $ \mathcal{M} \subset \mathbb{R}^{n} $, $ n \ge 3 $. Our aim is expository: we simplify the proof, provide additional details, refine the statement of the theorem and provide calculations from a more fundamental perspective. We also formulate a new conjecture based on recent work of Chen, Seeger, Srivastava and Technau.

The density of long runs of non-$r$-free integers

math.NT

v2

Fix $r\ge2$ and let $D_k$ be the natural density of the $n$ such that none of $n+1,\dots,n+k$ is $r$-free. We prove that $\log(1/D_k)=\frac{r-1}{\zeta(r)}k\log k+\frac{r}{\zeta(r)}k\log\log k-C_rk+o(k)$, where $C_r=\frac{1}{\zeta(r)}((r-1)\log\zeta(r)+r-1+r\log\frac{\pi}{r\sin(\pi/r)})$; for $r=2$ this is $C_2=\frac{6}{\pi^2}(1+\log\frac{\pi^4}{24})=1.4595513\dots$. This determines Mirsky's constant $\alpha(h)$, the density of the $n$ with $s_{n+1}-s_n=h$ in the squarefree numbers, to the same precision. Previously the only known estimate was $\log\alpha(h)\le-\frac54 h\log\log h+O(h)$; ours improves this by a factor of order $\log h/\log\log h$, and is two-sided. The upper bound rests on the observation that the primes $p\le z$ with $\prod_{p\le z}p^r\le\sqrt k$ sieve a window of length $k$ with no freedom of alignment, so that at least $(1/\zeta(r)+o(1))k$ positions must be covered by $r$-th powers of distinct primes exceeding $k^{1/r}$. The resulting sum over injections is $m!e_m$ with $m\sim k/\zeta(r)$, evaluated by a saddle point. For the lower bound the Chung-Erdos inequality recovers the full contribution of $m!e_m$ rather than merely its largest term, which is what makes the linear coefficient explicit. As a consequence the first-moment threshold for gaps between $r$-free numbers is $\frac{\zeta(r)}{r-1}\frac{\log x}{\log\log x}(1-\frac{(1+o(1))\log\log\log x}{(r-1)\log\log x})$; for $r=2$ the constant is $\pi^2/6$, that of Erdos's 1951 lower bound. We also prove that every covering system of length $k$ has modulus at least $\exp((\frac{r}{\zeta(r)}+o(1))k\log k)$, so the Chinese remainder construction yields only $\zeta(r)/r$, half of $\pi^2/6$ when $r=2$. Erdos's bound is thus equivalent to the assertion that the first run of $k$ consecutive non-$r$-free integers occurs at the first-moment threshold, not at the scale set by the minimal modulus of a covering system.

Faltings' Isogeny Theorem via Equidistribution

math.NT

math.AG

v2

We give a new proof of Faltings' isogeny theorem. More precisely, we show that Yuan's non-archimedean equidistribution theorem can be used to "pump" homomorphisms and semisimplicity from finite fields to number fields, thereby reducing Faltings' theorem directly to Tate's theorem. In the appendix joint with Yap, we explain how an ultraproduct variant of our method gives another proof of the Shafarevich conjecture, and hence a new route to the Mordell conjecture via Parshin's trick.

A $p$-adic monodromy theorem for curves

math.NT

math.AG

v2

We prove that every de Rham $p$-adic local system on a smooth projective curve over a $p$-adic field is potentially semistable; that is, it becomes semistable after pulling back along a finite cover of the curve. This establishes a relative version of the classical $p$-adic monodromy theorem of Berger and Andr\'e--Kedlaya--Mebkhout. Along the way, we also establish a $p$-adic monodromy theorem for de Rham $p$-adic local systems on disks and annuli.

Large fluctuations of extended Rademacher random multiplicative functions

math.NT

math.PR

v2

Let $f$ be an extended Rademacher random multiplicative function (RMF). We show that, for every fixed deterministic function $V(x)$ tending to infinity, almost surely there are arbitrarily large $x$ for which \[ \sum_{n\leq x}f(n) \geq \frac{\sqrt{x}(\log\log x)^{1/4}}{V(x)}. \] The corresponding negative fluctuation holds as well. In particular, this gives an affirmative answer to Erd\H{o}s Problem~\#1144. As a byproduct, our result has a direct corollary giving new almost sure lower bounds $\log\log x$ on the number of sign changes of partial sums up to $x$ for all sufficiently large $x$.

Jacquet--Rallis transfer for GL(2)

math.NT

math.RT

v2

We study archimedean smooth transfer for the Jacquet--Rallis relative trace formula comparison, in particular, identities between orbital integrals on GL(n) and its unitary forms. We work with Lie algebras and a (g,K)-module setting. Our main result states that for n=2, meaning GL(2) acting on gl(3), every polynomial type Schwartz function has a transfer to the unitary side and vice versa. Our proof relies on the Weil representation and the study of invariant differential operators. It also suggests certain structural properties of the (g,K)-modules in question which we formulate as conjectures.

Small doublings in abelian groups of prime power torsion

math.CO

math.NT

v3

Let $A$ be a subset of $G$, where $G$ is a finite abelian group of torsion $r$. It was conjectured by Ruzsa that if $|A+A|\leq K|A|$, then $A$ is contained in a coset of $G$ of size at most $r^{CK}|A|$ for some constant $C$. The case $r=2$ received considerable attention in a sequence of papers, and was resolved by Green and Tao. Recently, Even-Zohar and Lovett settled the case when $r$ is a prime. In this paper, we confirm the conjecture when $r$ is a power of prime. In particular, the bound we obtain is tight.

The section conjecture for the toric fundamental group over $p$-adic fields

math.AG

math.NT

v5

Loosely speaking, the toric fundamental group is the Tannaka dual of a category of vector bundles which become direct sums of line bundles on a finite \'etale cover. In characteristic $0$, it is an extension of the \'etale fundamental group scheme by a projective limit of tori. We prove the analogue of Grothendieck's section conjecture for the toric fundamental group over $p$-adic fields. As a consequence, we give a new interpretation of Selmer sections as toric Galois sections.

On Special Subvarieties of the Universal Semi-abelian Scheme and Zilber--Pink Conjectures

math.AG

math.NT

v3

We classify the special subvarieties of the universal semi-abelian scheme of arbitrary toric rank, viewed as a mixed Shimura variety. As an application, we show that the Zilber--Pink conjecture for mixed Shimura varieties implies its counterpart for semi-abelian varieties, correcting an error in an unpublished manuscript of Pink. Our classification also reveals that the relative Manin--Mumford conjecture for semi-abelian schemes must account for subvarieties of Ribet type, and we give a corrected formulation that does so.

Higher Schwarzians

math.AG

math.NT

v3

The classical Schwarzian can be computed directly from the coefficients of a second-order linear equation. We extend this coefficient viewpoint to monic operators of arbitrary order over unital associative differential algebras over the rationals. The normalized coefficients freely generate the universal gauge covariants under covariant differentiation. Projective normalization in the scalar case, followed by symmetrization, gives higher Schwarzians with compatible finite laws under changes of frame and parameter. On a complex curve, these invariants, together with the coefficient connection and quadratic datum, reconstruct the operator. On a compact curve of genus $g\ge2$, canonical Szeg\H{o} kernels turn the construction into a tool for recovering bundle geometry. A bracket of the cubic invariant recovers marked extensions of acyclic line bundles with distinct cubics. Higher invariants through degree $4g-1$ separate acyclic line bundles and detect their self-extensions. For acyclic bundles of arbitrary rank, the full invariant jets at a point generate the associative span of the canonical monodromy. The same universal coefficient calculus gives automorphic tensors on Siegel modular varieties. For genus-two filtered symplectic connections with invertible Kodaira--Spencer map, matrix Schwarzian invariants determine where scalar equations selected by the Hodge filtration acquire apparent singularities. Exact Picard--Fuchs calculations exhibit these divisors and express their equations in Siegel modular forms. The exact calculations are supplied in a reproducible ancillary package.

On the hull of linearized polynomial codes

cs.IT

math.IT

math.NT

v2

Motivated by entanglement-assisted quantum error-correcting codes, where the hull dimension determines the number of required pre-shared entangled pairs, we study hulls of two families of $\mathbb{F}_q$-linear codes defined by $q$-polynomial operators over $\mathbb{F}_{q^m}$. Our main tool is a unified Gram-matrix method. For image codes $\mathcal{C}(\boldsymbol{\alpha})=\operatorname{im}\Phi_{\boldsymbol{\alpha}}$, with $\Phi_{\boldsymbol{\alpha}}=\sum_i\alpha_iF_i$, we prove the master hull--rank formula $\dim\operatorname{Hull}(\mathcal{C}(\boldsymbol{\alpha}))=\operatorname{rank}(\Phi_{\boldsymbol{\alpha}})-\operatorname{rank}(G(\boldsymbol{\alpha}))$, where $G(\boldsymbol{\alpha})$ is the associated Gram matrix over $\mathbb{F}_q$. Specializing to $C_{\lambda,\mu}=\operatorname{im}(\lambda x+\mu L(x))$, we obtain a quadratic Gram pencil $\lambda^2G_0+\lambda\mu G_1+\mu^2G_2$ whose determinant describes the LCD locus in $\mathbb{P}^1(\mathbb{F}_q)$. We also treat $\mathbb{F}_{q^m}$-linear rank-distance codes $\mathcal{C}=\langle X,F_1,\ldots,F_k\rangle_{\mathbb{F}_{q^m}}$ with the Delsarte inner product, where a $k\times k$ Gram matrix over $\mathbb{F}_{q^m}$ determines the hull dimension. For $L(X)=X^{q^k}$, with $d=\gcd(k,m)$, the resulting circulant Gram matrices yield a closed-form discriminant and a complete classification in three of the four bijectivity configurations over $\mathbb{P}^1(\mathbb{F}_{q^m})$. In the remaining case, the hull dimension equals $\delta=\dim_{\mathbb{F}_q}(\operatorname{im}\phi_{\lambda,\mu}\cap\ker\phi_{\lambda,\mu}^{\dagger})$, and the extremal condition $\delta=d$ is characterized by an explicit trace-isotropy criterion. We conclude with an exact count of LCD and non-LCD points, showing that the LCD density tends to $1$ as $q\to\infty$, together with a worked example over $\mathbb{F}_{64}$ and a SageMath verification.

On Arithmetic Mirror Symmetry for smooth Fano fourfolds

math.AG

math.NT

v4

We introduce an explicit class of tempered Laurent polynomials in the sense of Villegas and Doran--Kerr in $n \leqslant 4$ variables including all Landau--Ginzburg models for smooth Fano threefolds with very ample anticanonical class. We check that it contains Landau--Ginzburg models for various Fano fourfolds which are complete intersections in smooth toric varieties and Grassmannians of planes, or are quiver flag zero loci. We discuss implications to Arithmetic Mirror Symmetry conjecture, a Hodge-theoretic approach to the study of Ap\'{e}ry constants of Fano varieties proposed by Golyshev--Kerr--Sasaki. Using the partial case of Arithmetic Mirror Symmetry conjecture proved by Kerr, we provide three examples of a Mirror Symmetry correspondence between specific algebraic classes.

Lift-independence problem in the $p$-adic Simpson correspondence for curves

math.AG

math.NT

v3

Let $X$ be a proper smooth rigid analytic variety over a complete algebraically closed $p$-adic field $\mathbf C$. Fix a continuation $\operatorname{Exp}$ of $\exp$. Faltings, in the curve case, and Heuer showed that any lifting $\widetilde X$ of $X$ over $B_{\mathrm{dR}}^+/t^2$ induces an equivalence between the category of Higgs bundles on $X_{\text{\'et}}$ and the category of $v$-vector bundles on $X_v$. Changing $\widetilde X$ is known to alter the correspondence nontrivially. This raises the natural question of how the isomorphism class of the Higgs bundle associated with a fixed $v$-vector bundle varies with $\widetilde X$, a question that has not been systematically studied. In this paper, we address this question when $X$ is a curve of genus $g\ge 2$. More precisely, we call a Higgs bundle lift-independent if it corresponds to the same $v$-bundle under the $p$-adic Simpson correspondence for every lifting $\widetilde X$. We prove the following results. (1) Every lift-independent Higgs bundle of rank $r\le g$ is nilpotent. (2) Every semistable lift-independent Higgs bundle of rank $r\le \sqrt{g}+1$ has zero Higgs field. (3) In contrast, vanishing fails even within the class singled out by Faltings' conjecture: there always exists a lift-independent semistable Higgs bundle of degree $0$ with nonzero Higgs field.

On maximal Dynkin friezes

math.CO

math.NT

math.RT

v2

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.

On the number of solutions of systems of diagonal equations through diagonal GP-graphs: the general and the Hermitian-form cases

math.CO

math.NT

v2

For any $m, s \in \mathbb{N}$, we study the number $N_{m\times s,q}(\kappa, \beta)$ of solutions $(x_1,\ldots,x_s) \in (\mathbb{F}_q)^s$ of the monic system of diagonal equations $$ X_{1}^{k_i} + \cdots + X_{s}^{k_i}= \beta_i, \qquad (1\le i \le m), $$ with $\kappa=(k_1,\ldots,k_m) \in \mathbb{N}^m$ and $\beta=(\beta_1,\ldots,\beta_m) \in (\mathbb{F}_q)^m$. We show that this number can be obtained in terms of some data of \textit{diagonal} GP-graphs $\Gamma(\kappa,q)$. This is a new family of graphs that we introduce here, $\Gamma(\kappa,q)$, with $\kappa = (k_1,\ldots,k_m) \in \mathbb{N}^{m}$, is the directed graph with vertex set the finite field $\mathbb{F}_q$ and there is an arc from $u$ to $v$ if and only if $v-u \in R_{\kappa} = \{ (x^{k_1},\ldots,x^{k_m}) : x \in \mathbb{F}_{q}^*\}$. In particular, we give three different expressions for $N_{m\times s,q}(\kappa, \beta)$: one in terms of walks, another in terms of adjacency matrices of $\Gamma(\kappa,q)$ and the last one in terms of the spectrum of $\Gamma(\kappa,q)$. Finally, we explicitly derive combinatorial formulas for the number of solutions $N_{m}(s,q) = N_{m\times s,q}(\kappa_\ell, 0)$ of monic homogeneous systems of diagonal equations of the form $$ X_1^{q^{\ell_i}+1} + \cdots + X_s^{q^{\ell_i}+1} = 0 \qquad (1\le i \le m),$$ with $\kappa_\ell=(\ell_1,\ldots,\ell_m)=(1,3,\ldots,2m-1)$ and $m\ge 2$, via the known spectrum of Hermitian-form graphs, which can be viewed as diagonal GP-graphs. For any $m,s \in \mathbb{N}$, we give general summation and recursive formulas for $N_m(s,q) \in \mathbb{Z}[q]$. For the small cases $N_{1}(s,q)$, $N_{2}(s,q)$ and $N_{m}(s,q)$, with $1\le s \le 5$, we give explicit expressions.

Fixed-Defect Inverse Theorems for Subset Sums

math.CO

math.NT

v3

Let $A$ be an $n$-element set of positive real numbers, let $FS(A)$ be its set of subset sums, and put $T_n=\binom{n+1}{2}$. For every fixed integer $C\geq-1$ and all sufficiently large $n$, we classify the sets satisfying $$ |FS(A)|\leq T_n+n+C+1. $$ Each such set is commensurable. Its unique primitive integer normalisation $B$ either satisfies $\sum B\leq T_n+n+C$ or belongs to an explicit exceptional family specified by a missing element $m\in\{1,2\}$ and an integer partition of $C+m$ or $C+m+1$. If $P$ denotes the partition function, the exceptional family has exactly $$ P(C+1)+2P(C+2)+P(C+3) $$ primitive dilation classes. We also prove a local inverse theorem for bounded increment excess. If, for sufficiently large $i$, adjoining the largest element to the preceding $i-1$ elements creates only $i+e$ new subset sums, where $e$ is bounded, then the $i$-element set is a dilation of $[1,i+e]_{\mathbb{Z}}$ with exactly $e$ elements deleted. Conversely, every such deletion pattern has increment excess $e$. The proof combines a stabiliser argument in $\mathbb{R}/x\mathbb{Z}$, Kneser's theorem, a quadratic subset-sum bound, and endpoint propagation. These arguments also give effective commensurability and a finite-state encoding. Together with earlier results for $C\leq-2$, this completes the eventual fixed-defect classification for every integer $C$.

A Fej\'er--Riesz inequality for Dirichlet series

math.FA

math.CV

math.NT

v2

We prove the following inequality for Dirichlet polynomials: \[ \int_0^1 |f(1/2+\sigma)|\,d\sigma\lesssim \lim_{T\to\infty} \frac{1}{2T} \int_{-T}^T |f(it)| \, dt. \] In particular, for a Dirichlet series $f(s) = \sum_{n\geq 1} a_n n^{-s}$ belonging to the Hardy space $\mathscr{H}^1$ of Dirichlet series, \[ \left|a_1+\sum_{n=2}^\infty \frac{a_n}{\sqrt n\log n}\right| \lesssim \|f\|_{\mathscr{H}^1}. \] This answers a question raised previously in the literature and it proves that the multiplicative Hilbert matrix has a bounded symbol.