Search arXiv⌕ Search

arXiv · 2610.03707

Quantitative Gowers uniformity of the primes in intervals of length $X^{5/8+\varepsilon}$

Abstract

We prove the first quantitative bounds for the Gowers norms of the von Mangoldt function minus a Siegel corrected model function in short intervals. The result applies to intervals $(X,X+H]$ with $H\geq X^{5/8+\varepsilon}$ and gives quasipolynomial savings for the $U^k(X,X+H]$ norm. The main new ingredient is an efficient non-abelian Type II inverse theorem with explicit dependence on the nilsequence dimension. We prove this inverse theorem by applying Leng's efficient equidistribution theorem in four parameters directly to an unweighted corner correlation in four variables, hence replacing the factorisation and subgroup argument in the non-abelian Type II proof of Matomäki, Shao, Tao and the author. In joint work with Florian Richter, we use this quantitative result as one ingredient in proving the existence of infinitely many sum-product patterns of the form $\{x,x+y,xy\}$ in the shifted primes $\mathbb{P}-1$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Joni Teräväinen. 2026-10-02. Quantitative Gowers uniformity of the primes in intervals of length $X^{5/8+\varepsilon}$. https://arxiv.org/abs/2610.03707

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Extendability of group actions on K3 or Enriques surfaces

Let $X$ be a K3 or Enriques surface with good reduction. Let $G$ be a finite group acting (not necessarily linearly) on $X$. We give a criterion for this group action to extend to a smooth model of $X$ in terms of the action of $G$ on the second $\ell$-adic cohomology groups. In particular, we generalize the result on the extendability of Galois actions on K3 surfaces by Chiarellotto, Lazda, and Liedtke. As an application, we prove that a symplectic linear group action is extendable if the residue characteristic does not divide its order. Lastly, we relate the good reduction of Enriques surfaces with that of their K3 double covers.

math.NT↗

New bounds for the integer Chebyshev constant of [0,1]

The integer Chebyshev constant of [0,1] has been bracketed by 0.4213 <= t_Z([0,1]) <= 0.422685 since the work of Pritsker (2005) and of Flammang (2014). We prove 0.4222286000 <= t_Z([0,1]) <= 0.4226846975, narrowing the interval from 1.39e-3 to 4.56e-4. Both bounds are established by explicit certificates. The upper bound is carried by an integer polynomial with 92 factors and explicit integer exponents; the lower bound by a discrete measure on 947 cells together with a library of 206 irreducible polynomials, through an inequality in which the terms paying for divisibility are made explicit. Two self-contained scripts, included as ancillary files, re-derive both bounds from the certificates alone.

math.NT↗

Iterated cotangent-difference integrals over totally real cyclotomic fields

We study iterated cotangent integrals with cyclotomic shifts and express their values along specified reference paths in terms of cyclotomic multiple zeta values. Differences of cotangent forms extend to a punctured projective line over a totally real cyclotomic field, giving a family of "real cyclotomic multiple zeta values." With rational tangential endpoints, these difference integrals are periods of mixed Tate motives over that field; integral endpoint data yield periods over its ring of integers after inverting primes dividing the level. The associated framed motivic classes generate a Hopf subalgebra under Goncharov's coproduct.

math.NT↗