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

2026-05-19T03:45:29Z

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.

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

2026-05-19T01:32:57Z

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

2026-05-19T01:18:31Z

In 1953 LeVeque proved the existence of $U_m$-numbers by showing that for some specially defined Liouville number $λ$, the $m$th root $λ^{1/m}$ is in $U_m$. In this article we study the following question: let $u$ be an algebraic function of degree $m$ and $λ$ a Liouville number; under which conditions is $u(λ)$ 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.

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

2026-05-18T22:58:22Z

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=(α, β)$. 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=(α,β)$. 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 nonconvex constellations among primes II: (458,3240)

2026-05-18T22:40:26Z

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$.

Halász theorems for Gaussian ideals in sectors and short intervals

2026-05-18T20:47:26Z

We prove a quantitative Halász 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ász theorem for annular sectors whose radial thickness tends to infinity. The proof of the sectorial short-interval Halász theorem uses angular Fourier expansion, norm-compression to multiplicative functions on $\mathbb{N}$, and a theorem of Mangerel.

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

2026-05-18T19:34:32Z

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.

Short Salem polynomials

2026-05-18T18:35:07Z

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.

The generalized Montgomery-Hooley formula: A survey

2026-05-18T18:14:29Z

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| ψ(x;q,a) - \frac{x}{φ(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*}

Heavenly elliptic curves over quadratic fields

2026-05-18T17:36:51Z

An abelian variety $A/K$ is heavenly at $\ell$ if the extension $K(A[\ell^\infty])/K(μ_{\ell^{\infty}}\!)$ is both pro-$\ell$ and unramified away from $\ell$. It is known that for a fixed quadratic field $K$, the number of $K$-isomorphism classes of heavenly elliptic curves is finite, even running over all primes $\ell$. We prove a complementary result, that for a fixed prime $\ell\geq 7$, there are only finitely many such classes, even running over all quadratic fields. This naturally raises the question of whether to expect a finiteness result when both $K$ and $\ell$ are allowed to vary. We demonstrate similarities in the behavior of heavenly elliptic curves and elliptic curves with complex multiplication, in terms of their Frobenius traces modulo $\ell$. We determine the complete list of heavenly elliptic curves defined over quadratic fields with complex multiplication and with irrational $j$-invariant (up to isomorphism). We include various extensions of our results to higher degree fields and higher-dimensional abelian varieties where possible.

Evaluation of two determinants involving $q$-integers

2026-05-18T17:28:05Z

The $q$-analogue of an integer $m$ is given by $[m]_q=(1-q^m)/(1-q)$. Let $a$ be an integer, and let $n$ be a positive odd integer. Via discrete Fourier transforms, we establish the following two identities: $$\det\left[\left[\left\lfloor\frac{aj-(a+1)k}n\right\rfloor\right]_q\right]_{1\leqslant j,k\leqslant n}=-\left(\frac{a(a+1)}n\right)q^{(1-3n)/2}$$ and $$\det\left[\left[\left\lceil\frac{(a+1)j-ak}n\right\rceil\right]_q\right]_{1\leqslant j,k\leqslant n}=\left(\frac{a(a+1)}n\right)q^{(n-1)/2},$$ where $(\frac{\cdot}n)$ denotes the Jacobi symbol.

Linear equations in Piatetski-Shapiro primes

2026-05-18T17:15:41Z

We establish discorrelation estimates between the Piatetski-Shapiro prime set \[ \mathcal{P}_γ := \{p \text{ is prime and } p = \lfloor n^{1/γ} \rfloor \text{ for some } n \in \mathbb{N}\} \] and arbitrary nilsequences when $γ\in (0,1)$ is sufficiently close to $1$. This extends earlier works which treated linear or polynomial exponential phase functions. As an application, we establish an asymptotic formula for the number of solutions in $\mathcal{P}_γ$ to any "finite-complexity" system of linear equations, including for the number of $k$-term arithmetic progressions in $\mathcal{P}_γ$ up to a threshold $N$ for any given $k \geq 3$. Furthermore, we show that there exists an absolute constant $C>0$ such that if \[ 1 - 2^{-Ck} < γ< 1, \] then the Piatetski-Shapiro primes $\mathcal{P}_γ$ contain infinitely many non-trivial $k$-term arithmetic progressions. This significantly improves upon the previous range of $γ$ obtained by Li and Pan, which is of triple exponential type.

Covering systems where the prime divisors of all moduli are only $2$, $3$, or $5$

2026-05-18T16:51:26Z

We try to find all quadruples of positive integers $(m,a,b,c)$ with $a \geq b \geq c$ such that there exists a distinct covering system with minimum modulus $m$ and least common multiple of the moduli $2^a 3^b 5^c$. We obtain complete description of all such quadruples when $m=2,3,4,5$, or $6$, except when $m=6$ and $b=c=1$. We also show that if the LCM of the moduli has only $2$, $3$, or $5$ as prime divisors, then $m \leq 9$ and construct a distinct covering system with $m=8$, $a=8$, $b=3$, and $c=2$. When a covering system exists for a quadruple $(m,a,b,c)$ we provide an example. Nonexistence of covering systems is established via integer programming or by using a new estimate on the density of a set covered by a system of congruences.

Cross representations of additive complements of $r$-th powers

2026-05-18T16:37:07Z

Let $\mathbb{N}$ be the set of natural numbers and $\mathcal{S}_r=\big\{1^r, 2^r, 3^r,\cdots\big\}$ the set of $r$-th powers, where $r\ge 2$ is a natural number. Let $\mathcal{W}_r$ be an additive complement of $\mathcal{S}_r$ and $$ f_r(n)=\#\big\{(w,m^r)\in \mathcal{W}\times \mathcal{S}_r: n=w+m^r\big\}. $$ Motivated by a 1993 conjecture of Cilleruelo, we show that $$ \sum_{n\le N}f_r(n)-N\gg_r N^{1-\frac{1}{r}}. $$ Previously, the bound was only proved for $r=2$. In the case $r=2$, the lower bound above can be made more explicit as $$ \sum_{n\le N}f_2(n)-N\gg N^{1/2}(\log N)^δ $$ for some absolute constant $δ>0$, which improves a $\log$ factor upon a recent result of Ding, Sun, Wang and Xia.

Three Brillhart-Lehmer-Selfridge primality proofs for Wagstaff numbers

2026-05-18T15:35:56Z

The Wagstaff numbers $W_p = (2^p + 1)/3$ for odd primes $p$ are the natural $+1$ companions of the Mersenne numbers. Known primality proofs for $W_p$ with $p \geq 2617$ rely on the elliptic-curve primality proving algorithm of Atkin-Morain; Chebyshev/Lucas-type tests, while available as compositeness criteria, remain conjectural on the sufficiency side. We present fully verified primality proofs of $W_{2617}$ (788 digits), $W_{10501}$ (3161 digits), and $W_{12391}$ (3730 digits), independent of ECPP and relying only on classical $N-1$ machinery. The proofs apply the Brillhart-Lehmer-Selfridge (BLS) $N-1$ criterion to the cyclotomic decomposition $2^{p-1} - 1 = \prod_{d \mid p-1} Φ_d(2)$, harvesting factored content from the Cunningham project tables (used as evidence) and FactorDB (used only as a discovery aid, with every retrieved factor re-certified). As an independent check on the $\mathbb{Z}[\sqrt{2}]$ arithmetic implementation, the Chua $N+1$ congruence $ω_3^{(W_p + 1)/2} \equiv -1 \pmod{W_p}$ -- the $a=3$ case of the Chua framework with $ω_3 = 3 + 2\sqrt{2}$, a necessary condition for Wagstaff primality -- is verified at each $W_p$. BLS $N-1$ requires $p-1$ sufficiently smooth that enough cyclotomic factors $Φ_d(2)$ are fully factored. On the factorisation data consulted (Cunningham project tables and FactorDB, January-April 2026), $p = 10501$ and $p = 12391$ are the only exponents above $2617$ in the known Wagstaff prime/probable-prime list meeting this ceiling. Every cofactor primality is certified unconditionally by APR-CL; the method is independent of the Chebyshev sufficiency conjecture, and every step is reproducible from the archived scripts.