arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.20554

The large sieve inequality and additive decompositions of sums of squares

Christian Elsholtz·Julia Stadlmann
View original source ↗Read source document ↗Export metadata ↓

Abstract

Building on the large sieve, we prove a new sieve estimate for sets which are missing various residue classes modulo prime squares. For certain interesting residue class configurations, our bound is a significant improvement over the corresponding Johnsen-Selberg sieve inequality. Our application of this sieve estimate is motivated by Ostmann's problem. We study additive decompositions of sums of squares and show that any non-trivial sumset decomposition must consist of two sets of roughly equal size: If $A_1, A_2 \subseteq \mathbb{Z}$ with $A_1 + A_2 = \{x^2 + y^2 : x, y \in \mathbb{Z}\}$ and $|A_1|, |A_2| \geq 2$, then $\sqrt{x}/(\log x)^{9/2} \ll |A_i \cap [1, x]| \ll \sqrt{x}(\log x)^4$ for $i \in \{1, 2\}$.

Explore related subjects

math.NT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Christian Elsholtz, Julia Stadlmann. 2026-10-14. The large sieve inequality and additive decompositions of sums of squares. https://arxiv.org/abs/2610.20554

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

KEEP EXPLORING

Related papers

arXiv2026

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↗
arXiv2026

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↗
arXiv2026

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↗