Number Theory [math.NT]

The generalized Montgomery-Hooley formula: A survey

math.NT

This memoir is a survey of theorems and inequalities which have grown out of, and extended, the seminal estimate of Montgomery \cite{HM70} \begin{multline*} V(x,Q)=\sum_{q\le Q}\sum_{\substack{a=1\\ (a,q)=1}}^q \left| \psi(x;q,a) - \frac{x}{\phi(q)} \right|^2 \\ = Qx\log x + \textstyle O\big(Qx\log\frac{2x}{Q}\big) + O\big(x^2(\log x)^{-A}\big)., \end{multline*}

Short Salem polynomials

math.NT

We give a complete classification of all Salem polynomials of length 5. For length 6 we show that all but finitely many Salem polynomials lie in one of 12 infinite families, and subject to Lehmer's Conjecture we give a complete list of the 126 exceptions. We provide a table of short polynomials for all known Salem numbers below the smallest Pisot number.

Fibonacci Numbers and Vieta Jumping for a Rational Diophantine Equation

math.NT

We study the Diophantine equation $\displaystyle{\tfrac{a+1}{b} + \tfrac{b+1}{a} \ = \ k}$, where $k$ is an integer. Using Vieta jumping, we completely classify all positive integer pairs $(a, \, b)$. We prove that the associated integer value $k$ can only be $3$ or $4$. The corresponding solution pairs $(a,\,b)$ are related to the classical Fibonacci numbers. As a consequence, the quantity $\frac{a+b}{\gcd(a, \,b)^2}$ takes only the values $1, \, 2, \, 3$ and $5$. This reveals an unexpected connection between a simple rational Diophantine condition, Vieta jumping, and Fibonacci numbers.

Hal\'asz theorems for Gaussian ideals in sectors and short intervals

math.NT

We prove a quantitative Hal\'asz theorem for multiplicative functions on the nonzero ideals of $\mathbb{Z}[i]$, with bounds controlled by pretentious distance to the Archimedean characters $N^{it}$. We also prove a sectorial analogue: under angular non-pretentiousness, the sum of $f$ over ideals lying in a fixed sector is asymptotically given by the expected proportion of the unrestricted sum. Finally, under angular non-pretentiousness and a non-degeneracy condition on conjugate prime pairs, we prove a sectorial short-interval version of the Hal\'asz theorem for annular sectors whose radial thickness tends to infinity. The proof of the sectorial short-interval Hal\'asz theorem uses angular Fourier expansion, norm-compression to multiplicative functions on $\mathbb{N}$, and a theorem of Mangerel.

On nonconvex constellations among primes II: (458,3240)

math.NT

Extending our work on the $k$-tuple conjecture, we previously applied those methods to the Engelsma counterexamples (narrow constellations) of length $J=459$ and span $|s|=3242$. Here we extend that analysis to the $116$ Engelsma counterexamples of length $J=458$ and $|s|=3240$. We track the evolution of these $116$ counterexamples from inadmissible driving terms starting in the cycle of gaps ${\mathcal G}(11^\#)$ up through their first appearance in ${\mathcal G}(113^\#)$. We continue developing primorial coordinates for each admissible instance through a breadth-first exhaustive search through ${\mathcal G}(211^\#)$. Each of the $(458,3240)$ constellations sits inside a $(459,3242)$ constellation, which we call its {\em parent}. We show that no $(458,3240)$ constellation occurs outside of its parent until the cycle ${\mathcal G}(227^\#)$. The early evolution of the $(458,3240)$ constellations is dominated by the evolution of their parents, which we have previously studied. For each $(458,3240)$-counterexample we calculate its asymptotic relative population, among other constellations of length $J=458$.

A formula of counting divisors in integers rings: a generalization of the divisor function $d_0(n)$

math.NT

In this paper we establish a formal connection between the structure of ideals in integers rings and the theory of additive combinatorics. For integers rings with cyclic class groups, we prove a structural theorem demonstrating that every non-zero ideal can be decomposed into a maximal principal part and a product of ideals whose total length is bounded by the Davenport constant. With this decomposition we find divisors for generators of the ideal $I=(\alpha, \beta)$. The central result of this work is the derivation of a closed formula using character theory over finite abelian groups to count the exact number of zero-sum subsequences of a given sequence. Under the established correspondence between principal ideals and zero-sum sequences, this formula provides a precise counting of the principal ideal divisors of any given ideal, and therefore counting common divisors of generators of the ideal $I=(\alpha,\beta)$. This result constitutes a natural generalization of the classical divisor function $d_0(n)$ from unique factorization domains to any Dedekind domain with a finite class group. Finally, we characterize irreducible elements in $\mathcal{O}_K$ based on the counting of these zero-sum subsequences.

On optimal $p$-adic uniformization of unitary Shimura curves

math.NT

math.AG

The paper is a continuation of the paper of Kudla-Rapoport-Zink on $p$-adic uniformization of Shimura curves associated to a group of binary unitary similitudes. Here we consider two variants: first, the RSZ variant, for which we can allow any level which is maximal at the chosen special $p$-adic place where the group is anisotropic; second, the unitary group variant. The latter is based on an explicit determination of the integral local Shimura variety associated to an anisotropic unitary group over a $p$-adic local field.

A Determinant Congruence Conjectured by Sun

math.NT

We prove a strengthened form of a conjecture of Sun on a determinant attached to a binary quadratic form. Let $n>3$ and let $c,d\in\Z$. If $n$ is composite, then \[ \det\big[(i^2+cij+dj^2)^{n-2}\big]_{0\leq i,j\leq n-1}\equiv 0\pmod {n^2} \] with no condition on $c$ and $d$. If $n=p$ is prime, the same congruence holds whenever the Legendre symbol $\leg{d}{p}$ is $-1$. For composite $n$, a polynomial determinant is divisible by two Vandermonde factors; after specialisation, their product already yields the required square divisor. For prime $n=p$, we estimate the rank of the matrix modulo $p$. The required rank defect follows from a coefficient cancellation obtained from the involution $t\mapsto d/t$ on $\Fp^\times$ and the condition $\leg{d}{p}=-1$.

Sun-type determinant and permanent congruences

math.NT

Sun proposed a collection of congruence and quadratic-residue conjectures for determinants and permanents over residue classes modulo a prime. This article proves Conjectures 4.6, 4.7, 4.8(ii), 4.9, 4.10(ii), 4.11 and 4.12 from Sun's list. The determinant part is strengthened to a root-quotient criterion for irreducible binary quadratic forms over the quadratic extension of the prime field; the criterion gives the stated result for the determinant associated with the remaining binary quadratic form. The Cauchy-kernel part gives both derangement congruences modulo the square of the prime and a polynomial fixed-point permanent congruence modulo the prime. The Cayley-transform part gives the signed fixed-point determinant congruences, the quadratic-residue assertion for the signed derangement determinant, and the full fixed-point permanent congruence modulo the square of the prime. The half-size quadratic Cayley determinant is treated by a local expansion at a simple zero eigenvalue, giving divisibility by the square of the prime and, in the stronger congruence class, by its cube. The proofs combine finite-field diagonalisation, Cauchy cycle cancellation, matching expansions, interpolation, Morley's congruence and first nonzero determinant terms.

Two determinant evaluations in Sun's conjectures involving Legendre symbols

math.NT

We prove two determinant evaluations attached to Sun's conjectures on matrices of Legendre symbols. The first one resolves the \(p\equiv1\pmod4\) part of Conjecture 4.8(i) by reducing the determinant with four indeterminates to a four-entry inverse package for the adjacent minor \([\chi(j-k+1)]_{0\le j,k<(p-1)/2}\). The core evaluation is \[ \det H=\leg{2}{p}(b'_p-a'_p),\qquad U^TH^{-1}U= \begin{pmatrix} \leg{2}{p}\dfrac{pb'_p-a'_p}{b'_p-a'_p}&1\\[2mm] \dfrac{b'_p-a'_p-1}{b'_p-a'_p}&1 \end{pmatrix}, \] where \(U=(\mathbf1,\eta)\) and \(\eta_j=\chi(j)\). The proof uses Vsemirnov's factorisation of Chapman's matrix and an adjacent cofactor calculation. The second result resolves Conjecture 4.10(i) for \(p\equiv1\pmod4\) in a stronger form: for any ordered half-system modulo sign and all \(u,v\in\mathbb F_p\), the determinant is evaluated exactly modulo \(p\). This second proof is a two-antidiagonal Vandermonde factorisation, and it gives the asserted square class as an immediate corollary.

On the Goldbach problem with restricted primes

math.NT

Let $N$ be a sufficiently large, odd integer. We prove an asymptotic formula for the number of representations of $N$ as the sum of three primes, one of which is smaller than a given $U$. By inserting the currently best zero-density estimate for Dirichlet $L$-functions, we may unconditionally take $U= N^{\frac{4}{49}}\exp(\log^{\frac{2}{3}+\varepsilon}N)$ for any $\varepsilon>0$. If we assume the Generalized Riemann Hypothesis instead, we may take $U= \log^{4+\varepsilon}N$.

The inhomogeneous Khintchine Theorem in dimension two

math.NT

We prove that the inhomogeneous variant of Khintchine's Theorem holds in dimension $2$ without any monotonicity assumption. This resolves the last remaining case in the metric theory of inhomogeneous Diophantine approximation: while the monotonicity assumption is known to be unnecessary in dimensions $m\geq 3$ and necessary in dimension $m=1$, the two-dimensional case has remained open. It also settles the final outstanding case of a Khintchine--Groshev-type theorem for the approximation of systems of linear forms, confirming a conjecture of the first and third authors. Our results bring the inhomogeneous theory of metric Diophantine approximation into alignment with its homogeneous counterpart.

Split-prime supercongruence at the mixed CM point (1/6, 1/3; 1)

math.NT

For the mixed CM point (a,b,c) = (1/6, 1/3, 1), define A_n^{mix} := 108^n [z^n] _2F_1(1/6, 1/3; 1; z)^3. For every split prime p >= 7, p == 1 mod 3, and every m >= 1, we prove unconditionally A_{mp}^{mix} == A_m^{mix} mod p^4. The exponent 4 exceeds the generic weight-3 Hodge-gap prediction of 3; the extra factor of p is a CM enhancement attached to j=0. We also establish the matching unconditional inert-prime obstruction (p == 2 mod 3), both as a formal-parameter congruence on the q-side and as a coefficient-level Cartier parity law modulo p. The proof uses the modular realization on Gamma_0(3) with parameter t = u/(1+27u)^2, a Lagrange-Burmann reduction to three Cartier identities Lambda_p(C_mix U_p^l) == 0 mod p^4 for l = 1,2,3, a saturated weak q-expansion lattice on the rigidified stack X_0(3) handling vertical integrality, and a length-three Witt-Cartier pole estimate at the elliptic point P_- driven by mu_3-equivariance of the canonical Frobenius lift.

A Fourier-Free Density-Increment Proof of Roth's Theorem

math.CO

math.NT

We give an elementary, Fourier-free proof of Roth's theorem. The proof follows Roth's original density-increment strategy, but replaces the usual Fourier-analytic step with a direct combinatorial argument involving averages over sub-progressions.

Motivic Galois theory for one-loop Feynman integrals in momentum space

math.AG

math.NT

We develop a motivic framework for Feynman integrals of one-loop graphs in momentum space. Its advantage compared to the already existing framework in Feynman representation is that it naturally includes graphs with cuts. To each such graph, we associate a motivic local system over the space of generic kinematics. Our construction is functorial with respect to the natural operations on graphs: edge contraction and cutting. We compute the weight-graded pieces of the motivic local systems. They are Tate twists of quadratic Artin motives associated with maximally cut quotient graphs. We also derive a formula for the (co)action of the de Rham motivic Galois group, expressed in terms of cut quotient graphs.

Distribution of solutions to systems of congruences in balls

math.NT

v2

Let $G_1,\dots, G_n\in \mathbb{F}_p[X_1,\dots,X_m]$ be $n$ polynomials in $m$ variables over the finite field $\mathbb{F}_p$ of $p$ elements. For any sufficiently large prime $p$ and non-trivial bounds for the Weyl sums associated to the non-trivial linear combinations of $G=(G_1,\dots, G_n)$, we study various properties regarding the distribution of the vectors by fractional parts \begin{equation*} \bigg(\bigg\{ \frac{G_1(\textbf{x})}{p}\bigg\},\cdots,\bigg\{ \frac{G_n(\textbf{x})}{p}\bigg\}\bigg)\in \mathbb{T}^n,\hspace{10pt} \textbf{x}\in \mathbb{F}_p^m. \end{equation*} We prove refinements of equidistribution, such as bounds for the ball discrepancy and variance.

Refinements for primes in short arithmetic progressions

math.NT

v2

Given a zero-free region and an averaged zero-density estimate over all Dirichlet $L$-functions modulo $q\in\mathbb{N}$, we refine the error terms of the prime number theorem in all and almost all short arithmetic progressions. For example, if we assume the Generalized Density Hypothesis, then for any arithmetic progression modulo $q\leq \log^{\ell} x$ with $\ell>0$ and any $\varepsilon>0$, the prime number theorem holds in all intervals $(x-\sqrt{x}\exp(\log^{\frac{2}{3}+\varepsilon} x),x]$ and almost all intervals $(x-\exp(\log^{\frac{2}{3}+\varepsilon} x),x]$ as $x\rightarrow\infty$. This refines the classic intervals $(x-x^{1/2+\varepsilon},x]$ and $(x-x^\varepsilon,x]$ for any $\varepsilon>0$.

Syntomification and crystalline local systems

math.NT

v4

Let $p$ be a prime, and let $\mathrm{X}$ be a smooth $p$-adic formal scheme over $\mathrm{Spf} \mathcal{O}_K$ where $K/\mathbf{Q}_p$ is a finite extension. We show that reflexive sheaves on the stack $\mathrm{X}^{\mathrm{Syn}}$ are equivalent to $\mathbf{Z}_p$-lattices in crystalline local systems on the rigid generic fiber $\mathrm{X}_\eta$, and then use this to study the essential image of the \'{e}tale realization functor on the isogeny category of perfect complexes on $\mathrm{X}^{\mathrm{Syn}}$. We also show that when $\mathrm{X}/\mathrm{Spf} \mathcal{O}_K$ is smooth and proper that $\mathsf{Perf}(\mathrm{X}^{\mathrm{Syn}})[1/p]$ is equivalent to a category of admissible filtered $F$-isocrystals in perfect complexes.

Upper bounds on gaps between zeros of $L$-functions

math.NT

v2

We prove two unconditional upper bounds on the gaps between ordinates of consecutive non-trivial zeros of a general $L$-function $L(s)$. This extends previous work of Hall and Hayman (2000) on the Riemann zeta-function and work of Siegel (1945) on Dirichlet $L$-functions. Interestingly, we observe that while Hall and Hayman's method gives a sharper estimate when the degree of $L(s)$ is sufficiently small compared to the analytic conductor, Siegel's method does better in the other regime.

On the Existence of Integers with at Most 3 Prime Factors Between Every Pair of Consecutive Squares

math.NT

v2

We prove an explicit analogue of Legendre's conjecture for almost primes. Namely, for every integer $n \geq 1$, the interval $(n^2,(n+1)^2)$ contains an integer having at most $3$ prime factors, counted with multiplicity. This improves the previous best result of Dudek and Johnston, who showed that every such interval contains an integer with at most $4$ prime factors. The proof is divided into two ranges. For $n^2 \leq 10^{31}$, we use prior computational results on primes in short intervals between consecutive squares, together with explicit bounds on maximal prime gaps. For $n^2 > 10^{31}$, we give a sieve-theoretic argument with explicit constants, adapting Richert's logarithmic weights to intervals between consecutive squares and employing an explicit linear sieve of Bordignon, Johnston, and Starichkova.

Values of algebraic functions at Liouville numbers

math.NT

v3

In 1953 LeVeque proved the existence of $U_m$-numbers by showing that for some specially defined Liouville number $\lambda$, the $m$th root $\lambda^{1/m}$ is in $U_m$. In this article we study the following question: let $u$ be an algebraic function of degree $m$ and $\lambda$ a Liouville number; under which conditions is $u(\lambda)$ a $U_m$-number? We consider a more refined notion of $\mathcal{L}$-numbers, and show that, under very general assumptions, an algebraic function of degree $m$ takes $U_m$-values at all $\mathcal{L}$-numbers.

Classification of Rational Functions of Degree Three over Finite Fields

math.NT

v2

We study rational functions over finite fields under PGL-equivalence. We say that $f, g \in \Bbb F_q(X)$ are \emph{equivalent} if there exist $\psi, \phi \in \Bbb F_q(X)$ of degree one such that $g = \psi \circ f \circ \phi$. Most properties of rational functions over finite fields as they appear in theory and applications are preserved under this equivalence. In a recent work, Mattarei and Pizzato classified rational functions of degree three over finite fields in even characteristic. In the present paper, we classify all rational functions of degree three over finite fields in odd characteristic. Our approach is based on careful analyses of the value frequencies and the ramification points of the degree three rational functions. The completion of our classification also relies on an explicit formula for the number of equivalence classes of degree three rational functions over finite fields recently obtained by the first author.

A Local Hilbert--P\'olya Realisation for Elliptic Curve $L$-Functions

math.NT

math-ph

math.MP

math.SP

v2

We introduce a class of J-self-adjoint causal operator pencils whose spectral determinants exactly encode the local Euler factors of L-functions. Driven by a fractional causal kernel z^{-1/2}, these operators manifest a rigid arithmetic encoding hierarchy governed by the geometric genus g of their spectral curves. For g=0, a unique pencil recovers the Euler factors of the Riemann zeta(s). For g=1, we prove a universal Euler matching theorem: every 2x2 causal pencil canonically encodes the local factors of an elliptic curve E/Q, with the operator invariants mapping dominantly onto the elliptic moduli space. We resolve the arithmetic obstructions of quadratic twists and inert primes via the topological reality of the operator basepoints. For g=infinity, discrete encoding capacity provably collapses into continuous transcendental spectral measures. As applications, we provide new operator-theoretic proofs of the CM Sato-Tate distribution and establish an unconditional interpolation obstruction, proving that global L-functions are structurally inaccessible to any single local operator. Finally, we assemble the global restricted tensor product of these local Krein spaces. We demonstrate that the Hilbert-P\'olya realisation for zeta(s) reduces strictly to a single explicit convergence hypothesis on the global resolvent trace, which we state as a precise conjecture.

Embeddings of Certain Exceptional Shimura Varieties into Siegel Modular Varieties

math.AG

math.NT

v2

We define a class of local Shimura varieties that contains some local Shimura varieties for exceptional groups, and for this class, we construct a functor from $\left(G, \mu\right)$-displays to $p$-divisible groups. As an application, we prove that for this class, the local Shimura variety is representable and perfectoid at the infinite level. Considering the global counterpart of this class, we embed certain exceptional Shimura varieties into Siegel modular varieties. In particular, we prove that they are perfectoid at the infinite level.

The local Langlands correspondence of essentially unipotent supercuspidal representations for disconnected reductive groups

math.RT

math.NT

v2

We construct the local Langlands correspondence of essentially unipotent supercuspidal representations under the framework of rigid inner forms and prove a certaion functoriality and compatibilities. This result is stronger than the analogous one in [Sol20], which did not care about rigidifications of inner twists. We also generalize this correspondence for disconnected reductive groups. We expect to use this result for extension of the explicit local Langlands correspondence in [Kal21] for more general supercuspidal representations.