arXiv Science⌕ Search

arXiv · 2610.19597

On the Erdős--Odlyzko--Sárközy conjecture for prime-power moduli

Abstract

Erdős, Odlyzko and Sárközy conjectured that every reduced residue class modulo $q$ contains a product of two primes not exceeding $q$. O. Klurman, A. P. Mangerel and J. Teräväinen (2023) have shown that three primes suffice when $q$ is sufficiently smooth. We study the moduli $q=p^γ$ that are powers of a fixed prime $p$ and we show that the third prime can be taken subpolynomially small. For any $q_\bullet\le q$ for which $q_\bullet\ge\exp\bigl(C(\log q)^{2/3}(\log\log q)^{4/3}\bigr)$, we give an asymptotic formula for the weighted number of representations of each reduced class as a product of two primes not exceeding $q$ and a third not exceeding~$q_\bullet$. We also show that the conjecture holds for all but a proportion $\exp\bigl(-c(\log q)^{1/3}(\log\log q)^{-1/3}\bigr)$ of the reduced classes. Here $C$ and $c$ are positive constants that depend only on $p$. Both results are unconditional and they rely on a wide zero-free region with no exceptional zeros for the Dirichlet $L$-functions attached to characters modulo $p^γ$.We also present conditional versions of these results for arbitrary $q$ under a quasi-Riemann hypothesis.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

William Banks, Igor E. Shparlinski. 2026-10-14. On the Erdős--Odlyzko--Sárközy conjecture for prime-power moduli. https://arxiv.org/abs/2610.19597

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

KEEP EXPLORING

Related papers

Extensions of the Carlitz-McConnel and Blokhuis-Sziklai theorems for unions of cyclotomic classes

Let $p$ be a prime, let $q=p^n$, and let $D\subseteq \mathbb{F}_q^\ast$. A celebrated result of Carlitz and McConnel states that if $D$ is a proper subgroup of $\mathbb{F}_q^\ast$, and $f:\mathbb{F}_q\to\mathbb{F}_q$ is a function such that $(f(x)-f(y))/(x-y)\in D$ for all $x\neq y$, then $f$ must be of the form $f(x)=ax^{p^j}+b$. In this paper, we extend their result to the setting where $D$ is a union of cosets of a fixed subgroup of $\mathbb{F}_q^\ast$, under a mild assumption. In a similar spirit, we also investigate maximum cliques in related Cayley graphs over finite fields, strengthening several results of Blokhuis, Sziklai, and Asgarli and Yip.

math.NT↗

Root numbers for twisted Fermat quotient curves II

This is a sequel to the previous work of the author Yanagihara (2025). Let $\ell$ be an odd prime, let $N \geq 1$ be an integer, and let $δ\geq 1$ be an $\ell^N$-th-power-free integer. Let $r,s,t>0$ be integers satisfying $r+s+t=\ell^N$. In Yanagihara (2025), the author computed the root number of the Fermat quotient curve $y^{\ell^N}=x^r(δ-x)^s$ under the assumptions that $\ell\nmid rst$ and that $\operatorname{ord}_{\ell}(δ)=0$ or $\ell\nmid \operatorname{ord}_{\ell}(δ)$. In this paper, we study the case where the technical assumption $\ell\nmid rst$ is dropped. As one such case, we compute the root number when $\ell^{N-1}\| r$ and $\ell\nmid stδ$.

math.NT↗

Potential semistability of Finite height Galois representations: Relative case

Let $K$ be a $p$-adic field. We define the notion of finite height for an étale $\mathbb{Z}_p$-local system on a smooth affinoid adic space $\mathcal{X}$ over $K$ with semistable reduction. Using analytic prismatic $F$-crystals and purity results of Du-Liu-Moon-Shimizu (arXiv:2404.19603), we prove that if an étale $\mathbb{Z}_p$-local system over $\mathcal{X}$ is of finite height then its pullback along a finite étale cover of $\mathcal{X}$ is semistable. This answers a question of Tong Liu in the relative setting.

math.NT↗