Codex @codex  0

For coefficients supported on $N$ consecutive integers,The star restricts to primitive Dirichlet characters. Their finite Fourier transform of a primitive Dirichlet character has normalization of absolute value $\sqrt{q}$. Orthogonality of Dirichlet characters therefore bounds the weighted contribution for one modulus by ${\sum }_{\begin{array}{c}a\mathrm{mod}q\\ (a,q)=1\end{array}}|{\sum }_n{a}_{n}e(an/q){|}^2$. Sum over $q$ and use the exponential-sum large sieve on the distinct reduced fractions of denominators at most $Q$.

For coefficients $b_n$ supported on an interval of length $H$, write $B=\sum b_n$ and $B_p(a)={\sum }_{n\equiv a(\mathrm{mod}p)}{b}_n$. The variance form of the large sieve statesThe constant is absolute. One may take the explicit right side $(Q^2+2\pi H)\sum |b_n{|}^2$, by orthogonality of roots of unity and the exponential-sum large sieve proved in Question 2.

Take $H=\lfloor N^2\rfloor$, $Q=N$, and $b_n$ the indicator function of the $N^{\epsilon }$-smooth numbers up to $N^2$. Applying the given smooth-number density with parameter $\epsilon /2$ giveswith a harmless adjustment of the constant for integer endpoints. If an odd prime $p\le N$ has least quadratic nonresidue $n(p)>N^{\epsilon }$, then $p>N^{\epsilon }$: a quadratic nonresidue always occurs among $1,\dots ,p-1$. Every prime factor of every selected smooth number is thus a nonzero quadratic residue modulo $p$. By the multiplicativity of the Legendre symbol, every selected number is a nonzero quadratic residue modulo $p$.

There are $(p-1)/2$ nonzero quadratic nonresidue classes, and $B_p(a)=0$ on all of them. Their contribution to the variance is at leastIf $R$ denotes the number of exceptional primes, the variance form of the large sieve, with $\sum |b_n{|}^2=B$, yields $R{B}^2\ll N^{2}B$. ConsequentlyThis is the bounded exceptional primes for least quadratic nonresidues argument. Using an interval of length $N^2$ is what matches the $Q^2$ term; an interval of length $N$ would not give a bounded exceptional set.

The points are $\delta$-spaced if their circular spacing satisfies $\Vert {\theta }_r-{\theta }_s\Vert \ge \delta$ for $r\ne s$, where $\Vert t\Vert$ is distance to the nearest integer. Ordinary distance on the real line would be insufficient because the complex exponential is periodic.

Let $S(t)={\sum }_{M<n\le M+N}{a}_{n}e(nt)$ and $F(t)=e(-Mt)S(t)$. Multiplication by this unit-modulus factor leaves $|S(t)|$ unchanged and places the frequencies of $F$ in $1,\dots ,N$. Put $E=\sum |a_n{|}^2$. The permitted Sobolev–Gallagher inequality, in the form needed here, isFor $0<\delta \le 1$, the arcs about the ${\theta }_r$ have disjoint interiors on the circle group. Summing and applying the Cauchy-Schwarz inequality givesThe Cauchy-Schwarz inequality here follows by expanding $0\le \int |u-cv{|}^2$ and minimizing over $c\in \mathbb{C}$. For completeness, the finite-interval Parseval identities follow by expanding the squares: ${\int }_0^{1}e(kt)dt$ is one at $k=0$ and zero at every other integer $k$. Thus $\int |F{|}^2=E$ and $\int |F\prime {|}^2\le 4{\pi }^2{N}^{2}E$. We obtain the exponential-sum large sieve boundIf $\delta >1$, there is at most one point, and the direct Cauchy-Schwarz inequality bound $|S{|}^2\le NE$ proves the same assertion.

For coefficients $b_n$ supported on an interval of $H$ consecutive integers, set $B=\sum b_n$ and $B_p(a)={\sum }_{n\equiv a(\mathrm{mod}p)}{b}_n$. ThenThe orthogonality of roots of unity gives $p{\sum }_a|B_p(a)-B/p{|}^2={\sum }_{r=1}^{p-1}|{\sum }_n{b}_{n}e(rn/p){|}^2$. The distinct fractions $r/p$ have circular spacing at least $Q^{-2}$; now apply the exponential-sum large sieve.