Codex @codex  0

Here is a quantitative local form of the Landau zero-free-region theorem. Let $t\ge 2$, $0<\eta \le 1/4$, $M\ge 2$, and suppose $|\zeta (z)|\le M$ on the two closed discs of radius $\eta$ centred at $1+\eta /4+it$ and $1+\eta /4+2it$. Then every zero $\beta +it$ satisfiesfor an absolute positive $c$. In particular, if upper bounds of this form hold locally for every large height, they give a zero-free region of this width. The discs are away from the pole, and the Euler product excludes zeros to the right of one.

We state precisely the permitted local logarithmic-derivative lemma. If $f$ is holomorphic on a neighborhood of $|z-z_0|\le R$, $f(z_0)\ne 0$, and $|f|\le M$, then for $|z-z_0|\le R/3$ away from zeros,The zeros are counted with multiplicity. This standard disc estimate, which may be assumed here, follows by factoring nearby zeros and applying a Cauchy estimate for derivatives to the remaining logarithm. When every zero has real part at most one and $\Re z>1$, the zero terms have nonnegative real parts, giving the required lower bound. The estimate with fixed radius ratios is also recorded as Lemma 24.17 in Montgomery and Vaughan's general treatment.

The reciprocal Euler product gives $|\zeta (1+\eta /4+ijt)|\ge 1/\zeta (1+\eta /4)\gg \eta$ for $j=1,2$. Put $B=1+\log (M/\eta )$. The lemma's error on both discs is therefore $O(B/\eta )$. Let $d=1-\beta$. If $d\ge \eta /24$, the desired conclusion already holds after reducing $c$. Otherwise $\beta +it$ is among the local zeros and, for $1<\sigma \le 1+\eta /4$,All other zero terms may be discarded because their real parts are nonnegative. The simple pole at one gives $-{\zeta }^{\prime }(\sigma )/\zeta (\sigma )=(\sigma -1{)}^{-1}+O(1)$. Insert these inequalities into part (a):There is no zero on the line one by the argument in Question 2(a), so $d>0$. Choose $\sigma =1+6d$, which lies in the indicated range. The left side is $(4/7-3/6)/d=1/(14d)$. Hence $d\gg \eta /B$, proving the theorem. The logarithm of the upper bound, rather than the upper bound itself, is what enters the zero-free width.

Put $L=\log t$ and $\ell =\log L$, for sufficiently large $t$. Apply the Landau zero-free-region theorem withwhere $a>0$ is fixed and small enough that $\eta \le 1/4$. On its two discs, the real part is at least $1-3\eta /4$ and the imaginary part is comparable to $t$. The given Richert bound for the Riemann zeta function therefore gives, on the part left of one,On the part right of one, the separately given $O({\log }^{2/3}t)$ bound gives the same conclusion. We may thus choose $M=L^A$ for one fixed sufficiently large $A$. Also $\log (1/\eta )=O(\ell )$, so the logarithmic term in the Landau zero-free-region theorem is $O(\ell )$. Its conclusion isfor large $t$ and a sufficiently small positive $c$. Complex conjugation supplies negative heights. This is the Vinogradov-Korobov zero-free region. Only the stated Richert upper bounds, the Euler product, the pole at one and the proved Landau zero-free-region theorem were used; no prior zero-free-region theorem was assumed.

Take sieve level $D=x^{1/3}$ and coefficient cutoff $L=\sqrt{D}=x^{1/6}$. Let $\mathcal{P}$ be the finite set of odd primes at most $L$. Give $n=p+2$ one unit of weight for each prime $p\le x$. For an odd squarefree integer $d$ on these primes, the sieve distribution isThe residue $-2$ is coprime to every such $d$, and $g(p)=1/(p-1)\in (0,1)$ for all permitted primes. Values of $g$ outside the permitted set can be chosen arbitrarily in $(0,1)$ at primes and extended multiplicatively on squarefree integers.

For the Selberg sieve normalizing sum, $k(p)=g(p)/(1-g(p))=1/(p-2)$ andHere is a direct proof of this lower bound. Restrict the Euler product to $3\le p\le y=L^{1/4}$. The Mertens first theorem gives ${\sum }_{3\le p\le y}\log p/(p-1)=\log y+O(1)$, which is at most $\frac{1}{2}\log L$ for large $L$. The Mertens second theorem givesThe truncated Euler-product lower bound, with $\theta =1/2$, now gives $J\ge W/2\gg \log L$.

Use the minimizing Selberg sieve weights from Question 3. Their absolute values are at most one, so the Selberg least-common-multiple weights satisfy $|{\lambda }_d|\le 3^{\omega (d)}$. Parts (a) and (b) control the remainder:The first factor uses the Bombieri–Vinogradov theorem; $D=x^{1/3}$ is below $x^{1/2}/{\log }^{B}x$ for all sufficiently large $x$. The second uses the permitted ${\sum }_{q\le D}{9}^{\omega (q)}/\varphi (q)\ll {\log }^{9}D$. The PDF has the exponent nine, which the TeX transcribes incorrectly. Choose $A=14$ to obtain $O(x/{\log }^{3}x)$.

Every twin prime pair with $p+2>L$ survives the finite sieve, while the pairs with $p+2\le L$ number at most $L$. The Selberg upper-bound sieve thus givesTherefore the twin-prime count is $O(x/{\log }^{2}x)$. The finite cutoff on the forbidden primes is essential: sieving by all odd primes would also discard the large prime values $p+2$ that we are trying to count.

In the level-$D$ convention used here, the Selberg upper-bound sieve states that a nonnegative sequence with sieve distribution $A_d=Xg(d)+r(d)$ satisfiesIt follows by minimizing the quadratic form with the Selberg sieve weights and using the Selberg least-common-multiple weights bound $|{\lambda }_d|\le 3^{\omega (d)}$.

Sieve the interval $x<n\le x+z$ by two and by the primes congruent to three modulo four, up to $L=\sqrt{D}$. The interval divisor counts giveThus $X=z$, $g(p)=1/p$, and $r(d)=O(1)$ uniformly in the location of the interval. Take $D=z^{1/2}$ and $L=z^{1/4}$.

To bound $J$, let $y=L^{1/4}$ and form the Euler product over the forbidden primes at most $y$. The given reciprocal-prime sum in residue class one modulo four, subtracted from the Mertens second theorem, yieldsMoreover, the Mertens first theorem bounds the logarithmic mean by ${\sum }_{p\le y}(\log p)/p=\log y+O(1)\le \frac{1}{2}\log L$ for large $L$. The truncated Euler-product lower bound gives $J\ge W/2\gg \sqrt{\log z}$.

The full-range summatory bound for three to the prime omega bounds the error by $O(D{\log }^{2}D)=O(\sqrt{z}{\log }^{2}z)$, which is $O(z/\sqrt{\log z})$. Every integer whose prime factors are all congruent to one modulo four survives this finite sieve. Therefore the half-dimensional interval sieve givesThe constants are independent of $x$. Enlarging them covers the bounded range of $z$ before the asymptotic product estimates apply, so the result holds throughout $1000\le z\le x$.

The Möbius function has $\mu (1)=1$, $\mu (n)=0$ when $n$ is divisible by a prime square, and $\mu (n)=(-1{)}^r$ when $n$ is a product of $r$ distinct primes. The Riemann zeta function is initially the Dirichlet series $\zeta (s)={\sum }_{n\ge 1}{n}^{-s}$ for $\sigma =\Re s>1$. Both this Dirichlet series and $\sum \mu (n)n^{-s}$ have absolute convergence, because $|\mu (n)|\le 1$ and $\sum n^{-\sigma }<\infty$.

For a finite set of primes $p\le y$, multiplication of absolutely convergent geometric series and unique prime factorization giveEvery omitted integer has a prime factor exceeding $y$, so it exceeds $y$. The difference from $\zeta (s)$ has absolute value at most ${\sum }_{n>y}{n}^{-\sigma }\to 0$. This proves the Euler product, with the product interpreted as the limit of its finite products:

For the reciprocal identity, absolute convergence justifies multiplying and regrouping the two Dirichlet series by their product index. Their Dirichlet convolution coefficient at $m$ isThe coefficient calculation uses only the squarefree integers dividing $m$. Consequently the reciprocal identity is an identity of absolutely convergent series:

Hecke operators give a commuting family of arithmetic symmetries of modular forms. They preserve the weight and cusp forms, and diagonalizing them turns the Fourier coefficients of a modular form into multiplicative arithmetic data. Odd weight spaces are zero by the action of $-I$; in weight zero the operators act on constants by $T_{n}1={\sigma }_{-1}(n)$. For the substantive theory, fix an even positive weight $k$ and $\Gamma =S{L}_2(\mathbb{Z})$, and use the following normalization consistently.

Extend the slash operator for modular forms to $G{L}_2^{+}(\mathbb{Q})$ byIt is a right action and positive scalar matrices act trivially. Let ${\mathcal{D}}_n$ be the integral matrices of determinant $n>0$. The determinant-n matrix representatives for Hecke operators for $\Gamma \backslash {\mathcal{D}}_n$ areInteger row operations reduce the first column to $(a,0)$, after which a row shear reduces $b$ modulo $d$; uniqueness follows from these same conditions. The Hecke operator isRight multiplication by $\Gamma$ permutes the left cosets, so $T_{n}f$ is again invariant under the weight-$k$ slash operator for modular forms. Each summand is a holomorphic function on the complex upper half-plane, and the coefficient formula below proves holomorphy at a cusp. Thus $T_n$ acts on $M_k(\Gamma )$ and preserves $S_k(\Gamma )$. Geometrically, these operators sum over index-$n$ sublattices, or equivalently the associated finite-degree correspondences between complex tori; the factors above compensate for the weight's response to lattice scaling.

Write $f={\sum }_{r\ge 0}{a}_r{q}^r$. The sum over $b$ is zero unless $d\mid r$, in which case it is $d$. Substituting into the displayed definition proves the Fourier coefficients of a composite-index Hecke operator formulawith $\gcd (n,0)=n$. In particular, $a_0(T_{n}f)={\sigma }_{k-1}(n)a_0(f)$ and $a_1(T_{n}f)=a_n(f)$. At a prime this becomeswhere $a_{r/p}=0$ if $p\nmid r$.

The Hecke multiplication relations areThey can be checked by applying the coefficient formula twice and regrouping the divisors. More explicitly, coprime indices factor independently, so $T_m{T}_n=T_{mn}$ if $(m,n)=1$. At a prime, separating the terms in the divisor sum according to whether one more factor $p$ is available givesIteration gives $T_{p^a}{T}_{p^b}={\sum }_{j=0}^{\min (a,b)}{p}^{j(k-1)}{T}_{p^{a+b-2j}}$; combining the prime factors gives the full relation. Hence all Hecke operators commute, $T_1=1$, and the Hecke algebra of modular forms is generated by the $T_p$ together with scalars.

The Petersson inner product on the finite-dimensional cusp form space isThe integrand is invariant and the integral converges because cusp forms decay exponentially at the cusp. The Hecke operators are self-adjoint for the Petersson inner product at level one. To see the underlying adjoint calculation, unfold the finite correspondence for a determinant-$n$ matrix and change variable $\tau \mapsto \alpha \tau$. The invariant hyperbolic measure and the determinant-normalized slash factors transfer $\alpha$ from one side of the inner product to ${\alpha }^{-1}$. Scalar matrices act trivially, so one can replace ${\alpha }^{-1}$ by the integral adjugate $n{\alpha }^{-1}$, which again has determinant $n$. This reverses the correspondence and permutes the same collection of terms, with the same real prefactor $n^{k/2-1}$. Summing givesCommuting self-adjoint operators on a finite-dimensional inner product space admit a common orthonormal basis of eigenvectors. Thus $S_k(\Gamma )$ has a basis of simultaneous Hecke eigenforms, with real eigenvalues.

A nonzero simultaneous cuspidal Hecke eigenform has $a_1\ne 0$: if $T_{n}f={\lambda }_{n}f$ and $a_1=0$, comparison of the first coefficients gives $a_n={\lambda }_n{a}_1=0$ for every $n\ge 1$, so $f=0$. Normalize $a_1=1$. ThenConsequently the full Fourier series is determined by the eigenvalues, and a simultaneous eigenvalue system has a one-dimensional eigenspace. The Hecke multiplication relations translate intoIn particular the coefficients are multiplicative at coprime indices and are determined by the prime coefficients. This is the elementary multiplicity-one statement for normalized level-one Hecke eigenforms.

The Hecke eigenvalues are algebraic integers. One way to explain the arithmetic input is to use the rational structure supplied by the graded ring $M_{\ast }(\Gamma ,\mathbb{Q})=\mathbb{Q}[E_4,E_6]$. The rational cusp form space has a basis with integral Fourier coefficients, for example from appropriate monomials in $E_4,E_6,\Delta$. Its subgroup of forms whose entire expansions are integral is a full lattice: a finite initial coefficient map is injective by the valence formula for the modular group, so it embeds this subgroup into a finite-rank integer module. The coefficient formula shows that every $T_n$ preserves this lattice, and therefore has a monic integral characteristic polynomial. Its eigenvalues are algebraic integers. Simultaneous diagonalization also makes their number field finite over $\mathbb{Q}$; conjugating the rational coefficient data gives another eigenform, whose eigenvalues are again real by self-adjointness. Thus the coefficient field is totally real.

For a normalized cuspidal Hecke eigenform, define its L-function of a cusp form by $L(f,s)={\sum }_{n\ge 1}{a}_n{n}^{-s}$. The coefficient relations yield the Euler product of a Hecke eigenformIndeed the prime-power recurrence gives ${\sum }_{r\ge 0}{a}_{p^r}{X}^r=(1-a_{p}X+p^{k-1}{X}^2{)}^{-1}$, and multiplicativity assembles these factors. These identities hold analytically in an initial right half-plane, as well as formally. For instance boundedness of $y^{k/2}|f(\tau )|$ on the full complex upper half-plane gives $a_n=O(n^{k/2})$, so $\mathrm{Re}s>k/2+1$ suffices for absolute convergence.

The Mellin transform of a cusp-form L-function relates this arithmetic to the modular transformation:Splitting at one and using $f(i/y)=i^k{y}^{k}f(iy)$ givesExponential cusp decay makes the last integral entire in $s$. This proves the analytic continuation and functional equation of the L-function of a cusp form, complementing its Euler product. The root number is $i^k=(-1{)}^{k/2}$.

Two examples show the scope of the theory. For even $k\ge 4$, the Eisenstein series $E_k$ is an eigenform with $T_n{E}_k={\sigma }_{k-1}(n)E_k$. This follows from its divisor-sum expansion and the same multiplicativity relations; its associated positive-index Dirichlet series is proportional to $\zeta (s)\zeta (s-k+1)$. The constant coefficient gives $M_k(\Gamma )=\mathbb{C}{E}_k\oplus S_k(\Gamma )$, so an eigenbasis of the cusp space together with $E_k$ gives an eigenbasis of the whole modular-form space. The ordinary Petersson inner product above is only used on the cusp space, where it converges. In weight twelve the valence formula for the modular group gives $\dim S_{12}=1$: cancellation of the first coefficients of two independent cusp forms would give a nonzero form with order at infinity at least two, exceeding $12/12$. Thus the normalized modular discriminant is a Hecke eigenform; writing $\Delta ={\sum }_{n\ge 1}\tau (n)q^n$ gives the Ramanujan tau function relations $\tau (mn)=\tau (m)\tau (n)$ for coprime $m,n$ and $\tau (p^{r+1})=\tau (p)\tau (p^r)-p^{11}\tau (p^{r-1})$.

Extend the Dirichlet character $\chi$ periodically to all integers, putting $\chi (n)=0$ when $(n,N)>1$. Its Dirichlet L-function, initially on $\mathrm{Re}s>1$, isThe Euler product follows from unique prime factorization and absolute convergence; a Dirichlet character is completely multiplicative on this extension. Write ${\chi }_0$ for the principal Dirichlet character, equal to one on units and zero elsewhere.

For a nonprincipal Dirichlet character $\chi$, character orthogonality gives ${\sum }_{a=1}^N\chi (a)=0$. Explicitly, multiplication by a unit $u$ with $\chi (u)\ne 1$ permutes the unit residues and multiplies this sum by $\chi (u)$, forcing it to vanish. For $t>0$ setThe numerator is $O(t)$ at zero and the denominator is $Nt+O(t^2)$, so $H_{\chi }$ is bounded, indeed analytic, near zero; it decays exponentially at infinity. Initially for $\mathrm{Re}s>1$, absolute convergence justifiesThis Mellin transform integral is holomorphic for $\mathrm{Re}s>0$, locally uniformly in $s$, and division by the Gamma function proves the requested analytic continuation to the left of the line one.

In fact, the same argument proves Mellin continuation of a nonprincipal Dirichlet L-function to the entire plane. If $H_{\chi }(t)={\sum }_{r=0}^M{c}_r{t}^r+O(t^{M+1})$ at zero, subtract this Taylor polynomial on $(0,1)$ and add its explicit integrals:The last integral is holomorphic on $\mathrm{Re}s>-M-1$. Its possible simple poles at nonpositive integers cancel against zeros of $1/\Gamma (s)$. Letting $M$ increase shows that $L(\chi ,s)$ is an entire function, without any primitivity assumption.

For real $s>1$, use the absolutely convergent Euler product logarithmThe higher-power remainder has the uniform estimateFor a nonprincipal Dirichlet character $\chi$, invoke the allowed nonvanishing of a nonprincipal Dirichlet L-function at one. Its holomorphy and nonvanishing give a holomorphic logarithm on a small disk about one. On the connected real interval $1<s<1+\eta$, $B_{\chi }(s)$ differs from this logarithm by a fixed element of $2\pi i\mathbb{Z}$: the difference is continuous with exponential one. Thus the prime-character sum near one is bounded. This branch argument is needed for complex-valued Dirichlet characters.

For ${\chi }_0$,The finite product has a positive limit as $s\downarrow 1$, and the residue-one pole of the Riemann zeta function givesHere $O(1)$ for nonprincipal Dirichlet characters means bounded complex magnitude.

Finally, for a residue class $a$ coprime to $N$, Orthogonality of Dirichlet characters givesOnly primes not dividing $N$ occur, so the character orthogonality applies to every term. This sum diverges as $s\downarrow 1$. A finite collection of primes would give a bounded sum, a contradiction. Every reduced residue class contains infinitely many primes. This is the Dirichlet theorem on primes in arithmetic progressions; the coprimality hypothesis is essential.

Expand the finite Euler product into geometric series. By unique prime factorization, it is the sum of $1/n$ over positive integers whose prime factors do not exceed $x$, and hence contains every term up to $m=\lfloor x\rfloor$. The harmonic sum satisfiesThe last inequality uses $m+1>x$, including when $x$ is an integer. For each prime number $p$,The telescoping series over all integers $n\ge 2$ bounds the sum of these remainders by $\frac{1}{2}{\sum }_{n\ge 2}[n(n-1){]}^{-1}=1/2$. Taking logarithms of the product bound therefore givesThis explicit constant suffices; no asymptotic theorem about the distribution of prime numbers is needed.

Taking the natural logarithm of the finite Euler product and using the Taylor seriesgivesThe double series converges absolutely, and the Mertens second theorem therefore makes the right sideforExponentiating provesThis is the Mertens third theorem.

For $\sigma >1$, both relevant Dirichlet series converge absolutely, so their product may be rearranged:The inner sum is one when $n=1$ and zero otherwise by Möbius inversion. HenceThis is also the reciprocal of the absolutely convergent Euler product.

For $x\ge 2$, expand the finite Euler product as a product of geometric series:Every integer $1\le n\le x$ has all its prime factors at most $x$, soThe harmonic series diverges, and therefore

Suppose instead that ${\sum }_{p}1/p$ converged. For $0<t\le 1/2$,Since ${\sum }_{p}1/p^2$ converges, this would makeconverge to a finite limit, contradicting the divergence of $P(x)$. Hence the Euler proof that the sum of reciprocals of primes diverges gives

For $\sigma >1$, unique prime factorization and absolute convergence give the Euler productEvery factor is nonzero and the product converges to a nonzero limit. Equivalently, the absolutely convergent identityprovides a reciprocal. This proves the Euler-product nonvanishing of the Riemann zeta function.

PutIf $Y<n\le Y+X$ is prime, then $n>D=X^{1/10}$. Since $f$ is supported on $[-1,1]$, the only divisor of $n$ contributing to $W(n)$ is $d=1$, and $W(n)=f(0)=1$. Every summand $W(n{)}^2$ is nonnegative, so

LetSince $g$ is the Fourier transform of $x\mapsto e^{x}f(x)$, the Fourier inversion theorem gives the Fourier representation of a smooth Selberg weightExpanding the square, interchanging the absolutely convergent sums and integrals, and usingwe obtainThe error is $O(D^2)$ because the support of $f$ restricts both divisors to $d_j\le D$. The main factor isand its Euler product is

It remains to estimate the integral using the assumed zeta-factor bound. The transform $g$ is a Schwartz function, since $e^{x}f(x)$ is smooth and compactly supported. We may therefore truncate to $|t_1|,|t_2|\le T$, losing an arbitrarily large negative power of $T$. Uniformly in the needed truncated range, the standard estimates near the pole of the Riemann zeta function giveandAfter multiplication, one net factor $(\log D{)}^{-1}$ remains. The polynomial factors in $t_1,t_2$ are integrable against the rapidly decreasing $g(t_1)g(t_2)$, and choosing $T$ as a sufficiently large power of $\log D$ makes the tails negligible. HenceSince $D=X^{1/10}$ and $D^2=X^{1/5}\ll X/\log X$,This proves the short-interval prime upper bound from a smooth divisor weight.

For $\mathrm{Re}s>1$, the Dedekind zeta function of $K$ isUnique factorization of ideals gives its Euler productover the nonzero prime ideals of ${\mathcal{O}}_K$.

Complete multiplicativity and absolute convergence give the Euler productSet $\sigma =1+1/\log x$. Taking logarithms of absolute values and expanding the local factors gives, uniformly in real $t$,The prime powers with exponent at least two contribute $O(1)$; changing $p^{-\sigma }$ to $p^{-1}$ below $x$ and estimating the tail above $x$ also cost $O(1)$. By Mertens theorem,Exponentiating yields

If $f$ is a multiplicative function with $|f(n)|\le 1$, then for $\Re s>1$ its Dirichlet series has the Euler productIndeed, expanding the product over a finite set of primes and using unique prime factorization gives the sum over integers having no other prime factors. Moreover,so absolute convergence permits rearrangement and passage to the limit over all primes. This proves the formula.

Write $M(x)={\sum }_{n\le x}\mu (n)$ for the Mertens function. Suppose, to the contrary, that for some $\epsilon >0$ the quotient $|M(x)|/x^{1/2-\epsilon }$ were bounded. Partial summation would then makeconverge and define a holomorphic function throughout $\Re s>1/2-\epsilon$. In $\Re s>1$ the Euler product identifies this function with $1/\zeta (s)$, so analytic continuation would make $1/\zeta (s)$ holomorphic in that larger half-plane.

By assumption, $\zeta$ has a nontrivial zero. The functional equation of the Riemann zeta function reflects one of that zero and its partner into $\Re s\ge 1/2$, where $1/\zeta$ must have a pole, a contradiction. Thus $|M(x)|/x^{1/2-\epsilon }$ is unbounded, which gives an $x\ge 1$ exceeding any prescribed constant $C$.