Sieve Methods
()
About this ebook
"For years to come, Sieve Methods will be vital to those seeking to work in the subject, and also to those seeking to make applications," noted prominent mathematician Hugh Montgomery in his review of this volume for the Bulletin of the American Mathematical Society. The authors supply the theoretical background for the method of Jurkat-Richert and illustrate it by means of significant applications, concentrating on the "small" sieves of Brun and Selberg. Additional topics include the linear sieve, a weighted sieve, and Chen's theorem.
Related to Sieve Methods
Titles in the series (100)
Mathematics for the Nonmathematician Rating: 4 out of 5 stars4/5An Introduction to Lebesgue Integration and Fourier Series Rating: 0 out of 5 stars0 ratingsA Catalog of Special Plane Curves Rating: 2 out of 5 stars2/5First-Order Partial Differential Equations, Vol. 1 Rating: 5 out of 5 stars5/5Infinite Series Rating: 4 out of 5 stars4/5First-Order Partial Differential Equations, Vol. 2 Rating: 0 out of 5 stars0 ratingsAnalytic Inequalities Rating: 5 out of 5 stars5/5Dynamic Probabilistic Systems, Volume II: Semi-Markov and Decision Processes Rating: 0 out of 5 stars0 ratingsVision in Elementary Mathematics Rating: 3 out of 5 stars3/5How to Gamble If You Must: Inequalities for Stochastic Processes Rating: 0 out of 5 stars0 ratingsMethods of Applied Mathematics Rating: 3 out of 5 stars3/5Laplace Transforms and Their Applications to Differential Equations Rating: 5 out of 5 stars5/5Modern Calculus and Analytic Geometry Rating: 4 out of 5 stars4/5Counterexamples in Topology Rating: 4 out of 5 stars4/5Calculus Refresher Rating: 3 out of 5 stars3/5Fourier Series and Orthogonal Polynomials Rating: 0 out of 5 stars0 ratingsNumerical Methods Rating: 5 out of 5 stars5/5An Adventurer's Guide to Number Theory Rating: 4 out of 5 stars4/5An Introduction to the Theory of Canonical Matrices Rating: 0 out of 5 stars0 ratingsExtremal Graph Theory Rating: 3 out of 5 stars3/5Advanced Calculus: Second Edition Rating: 5 out of 5 stars5/5Mathematics in Ancient Greece Rating: 5 out of 5 stars5/5Calculus: An Intuitive and Physical Approach (Second Edition) Rating: 4 out of 5 stars4/5A Treatise on Probability Rating: 0 out of 5 stars0 ratingsHistory of the Theory of Numbers, Volume II: Diophantine Analysis Rating: 0 out of 5 stars0 ratingsA History of Mathematical Notations Rating: 4 out of 5 stars4/5Optimization Theory for Large Systems Rating: 5 out of 5 stars5/5Geometry: A Comprehensive Course Rating: 4 out of 5 stars4/5Elementary Matrix Algebra Rating: 3 out of 5 stars3/5Basic Algebra II: Second Edition Rating: 4 out of 5 stars4/5
Related ebooks
Representation Theory of Finite Groups Rating: 4 out of 5 stars4/5Theory of Functions, Parts I and II Rating: 3 out of 5 stars3/5Lebesgue Measure and Integration: An Introduction Rating: 0 out of 5 stars0 ratingsAnalysis in Euclidean Space Rating: 0 out of 5 stars0 ratingsFoundations of Modern Analysis Rating: 1 out of 5 stars1/5History of the Theory of Numbers, Volume II: Diophantine Analysis Rating: 0 out of 5 stars0 ratingsAlgebraic Theory of Numbers: Translated from the French by Allan J. Silberger Rating: 0 out of 5 stars0 ratingsLebesgue Integration Rating: 0 out of 5 stars0 ratingsLectures on Modular Forms Rating: 0 out of 5 stars0 ratingsConformal Mapping Rating: 4 out of 5 stars4/5The Solution of Equations in Integers Rating: 0 out of 5 stars0 ratingsElementary Number Theory: An Algebraic Approach Rating: 0 out of 5 stars0 ratingsBanach Spaces of Analytic Functions Rating: 3 out of 5 stars3/5Applied Functional Analysis Rating: 0 out of 5 stars0 ratingsAsymptotic Expansions Rating: 3 out of 5 stars3/5An Introduction to Orthogonal Polynomials Rating: 4 out of 5 stars4/5Lectures on Ergodic Theory Rating: 0 out of 5 stars0 ratingsReal Variables with Basic Metric Space Topology Rating: 5 out of 5 stars5/5The Concept of a Riemann Surface Rating: 0 out of 5 stars0 ratingsMatrix Representations of Groups Rating: 0 out of 5 stars0 ratingsThe Theory and Practice of Conformal Geometry Rating: 0 out of 5 stars0 ratingsStatistical Independence in Probability, Analysis and Number Theory Rating: 0 out of 5 stars0 ratingsElementary Theory of Analytic Functions of One or Several Complex Variables Rating: 5 out of 5 stars5/5Probabilistic Metric Spaces Rating: 3 out of 5 stars3/5Harmonic Analysis and the Theory of Probability Rating: 0 out of 5 stars0 ratingsAsymptotic Methods in Analysis Rating: 4 out of 5 stars4/5Infinite Sequences and Series Rating: 3 out of 5 stars3/5Advanced Number Theory Rating: 0 out of 5 stars0 ratings
Mathematics For You
Quantum Physics for Beginners Rating: 4 out of 5 stars4/5The Little Book of Mathematical Principles, Theories & Things Rating: 3 out of 5 stars3/5What If?: Serious Scientific Answers to Absurd Hypothetical Questions Rating: 5 out of 5 stars5/5Mental Math Secrets - How To Be a Human Calculator Rating: 5 out of 5 stars5/5Fluent in 3 Months: How Anyone at Any Age Can Learn to Speak Any Language from Anywhere in the World Rating: 3 out of 5 stars3/5Basic Math & Pre-Algebra For Dummies Rating: 4 out of 5 stars4/5My Best Mathematical and Logic Puzzles Rating: 4 out of 5 stars4/5Basic Math & Pre-Algebra Workbook For Dummies with Online Practice Rating: 3 out of 5 stars3/5Standard Deviations: Flawed Assumptions, Tortured Data, and Other Ways to Lie with Statistics Rating: 4 out of 5 stars4/5How to Solve It: A New Aspect of Mathematical Method Rating: 4 out of 5 stars4/5Pre-Calculus For Dummies Rating: 5 out of 5 stars5/5Algebra - The Very Basics Rating: 5 out of 5 stars5/5Math Magic: How To Master Everyday Math Problems Rating: 3 out of 5 stars3/5Calculus Made Easy Rating: 4 out of 5 stars4/5GED® Math Test Tutor, 2nd Edition Rating: 0 out of 5 stars0 ratingsCalculus For Dummies Rating: 4 out of 5 stars4/5Limitless Mind: Learn, Lead, and Live Without Barriers Rating: 4 out of 5 stars4/5Algebra I Workbook For Dummies Rating: 3 out of 5 stars3/5Mental Math: Tricks To Become A Human Calculator Rating: 2 out of 5 stars2/5Mathematics, Magic and Mystery Rating: 4 out of 5 stars4/5Algebra II For Dummies Rating: 3 out of 5 stars3/5Trigonometry For Dummies Rating: 0 out of 5 stars0 ratingsSecrets of Mental Math: The Mathemagician's Guide to Lightning Calculation and Amazing Math Tricks Rating: 4 out of 5 stars4/5The Everything Everyday Math Book: From Tipping to Taxes, All the Real-World, Everyday Math Skills You Need Rating: 5 out of 5 stars5/5Seeing Further: The Story of Science and the Royal Society Rating: 4 out of 5 stars4/5Algebra I For Dummies Rating: 4 out of 5 stars4/5The Math of Life and Death: 7 Mathematical Principles That Shape Our Lives Rating: 4 out of 5 stars4/5Geometry For Dummies Rating: 4 out of 5 stars4/5
Reviews for Sieve Methods
0 ratings0 reviews
Book preview
Sieve Methods - Heine Halberstam
Sieve Methods
HEINI HALBERSTAM
and
HANS-EGON RICHERT
DOVER PUBLICATIONS, INC.
Mineola, New York
Copyright
Copyright © 1974, 2011 by Heini Halberstam and the Estate of Hans-Egon Richert.
All rights reserved.
Bibliographical Note
This Dover edition, first published in 2011, is an unabridged republication of the work originally published in 1974 by Academic Press, Inc., London. Heini Halberstam has provided a new Preface and a new Errata List for this edition.
Library of Congress Cataloging-in-Publication Data
Halberstam, H. (Heini)
Sieve methods / Heini Halberstam and Hans-Egon Richert.
p. cm.
Originally published: London; New York: Academic Press, 1974.
Includes bibliographical references and index.
eISBN-13: 978-0-486-32080-9
1. Sieves (Mathematics) I. Richert, H.-E. (Hans-Egon), 1924- II. Title.
QA246.H35 2011
512.7’.3—dc22
2010039623
Manufactured in the United States by Courier Corporation
47939001
www.doverpublications.com
Preface to the Dover Edition
There is never a right time to publish a systematic account of a subject that is in a state of healthy growth; even as the late Ted Richert and I were embarking on the writing of Sieve Methods forty years ago, inspired by the 1965 seminal of Jurkat and Richert, the young Henryk Iwaniec was discovering what has become known as the Rosser-Iwaniec method, which has since lead to many advances and applications, by himself and others. There is now in the literature an enveloping
sieve (Hooley), a vector
sieve (Brudern and Fourvy), a prime detecting
sieve (Harman); and probably there will be others.
There are now also other books about sieves that the interested reader might wish to consult: there is the influential discussion of sieves by one of the founders of the subject, Atle Selberg, in Volume II of his Collected Papers (1991), there is Sieves in Number Theory (2001) by the late George Greaves, there is Glyn Harman’s monograph on Prime Detecting Sieves
(2007), and recently Harold Diamond and I have published A Higher Dimensional Sieve Method (2009), building on Iwaniec’s approach. Several current books on Number Theory also devote sections or chapters to sieves.
Our book has by now been long out of print, but demand for it continues and second-hand copies, when they can be found, command exorbitant prices. I am very grateful therefore to Dover Publications for reprinting it. I apologize for the long list of Errata; that they were necessary in the original was entirely my fault.
Heini Halberstam
March, 2010
Preface
We conceived the idea of writing an introduction to applicable sieve theory during a brief encounter at Syracuse airport in the spring of 1966; we had both been lecturing on sieves, and it seemed to us that the time for a systematic exposition was long overdue. Our original plan was modest: to to supply, in lecture notes form, the theoretical background for the method of Jurkat-Richert [1] and to illustrate it by means of significant applications; also, to give a first connected account of the large sieve. As we burrowed in the literature and came to realize its extent and wealth—the notes we prepared on some two hundred papers in the summer of 1968 alone would have filled a monograph—the inadequacy of our original conception became increasingly clear. Not only did we find that we should have to assimilate much classical material into a revised scheme but, as we progressed, new results began to appear which affected it profoundly; so much so that, viewing the matter in retrospect, if we had called a halt at any earlier stage and published then, the book would have been much the poorer. In the end we abandoned the chapters on the large sieve altogether—happily the monographs of Montgomery [2] and Huxley [2] have appeared in the meantime and provide admirable introductions to that subject and much else beside—and concentrated on the small
sieves of Brun and Selberg; even so, critics should have no trouble in pointing to omissions, and we accept any such criticisms in advance. Indeed, we have been at pains to point out important extensions that time and space forced us to exclude, and we hope only that what we have done here will make it easier for others to cover these too in due course.
The intermittent opportunities we have had of working together on the book have often shared the nature of that first encounter; even so, they would have been much rarer still but for the generous support of the National Science Foundation and of the U.S. Army Research Office, and for the equally generous hospitality of Syracuse University during several happy summers of uninterrupted work. We express our due gratitude to these institutions for all their help. We owe a special word of thanks also to Dr. R. C. Vaughan of Imperial College, London, for having read with great care several chapters of the manuscript and for having removed some blemishes that had escaped our notice; also for having pointed out to us a notable simplification in Chapter 11. The final version of the manuscript was typed by Mrs. Shoshana Mandel of Tel Aviv University and Mrs. Angela Fullerton of Nottingham, and we are indebted to them both for undertaking a task that must often have been extremely trying. We thank the London Mathematical Society for accepting the book into their series of research monographs. Finally, we are grateful to Academic Press for all their help and patience during the course of publication; Mr. Hitchings, of Roystan Printers Ltd., told us that our manuscript had been typographically the most difficult he had met in twenty years of printing mathematics.
The companionship of a shared endeavour has been a memorable experience for us both. Now that we have completed, with a mixture of sadness and relief, the task we set ourselves eight years ago, we hope that there will be some readers for whom our book will prove to be a helpful introduction to a beautiful topic that has been shrouded for too long in unnecessary mystery.
July, 1974
H. Halberstam
H. -E. Richert
Contents
Preface to the Dover Edition
Preface
Notation
Errata
Introduction
1.Hypotheses H and HN
2.Sieve methods
3.Scope and presentation
1: The Sieve of Eratosthenes: Formulation of the C problem
1.Introductory remarks
3.Basic examples
and the sifting function S
5.The sieve of Eratosthenes–Legendre
2: The Combinatorial Sieve
1.The general method
2.Brun’s pure sieve
3.Technical preparation
4.Brun’s sieve
5.A general upper bound O-result
6.Sifting by a thin set of primes
7.Further applications
8.Fundamental Lemma
9.Rosser’s sieve
3: The Simplest Selberg Upper Bound Method
1.The method
2.The case ω(d) = 1, |Rd| ≤ 1
4.The Brun–Titchmarsh inequality
5.The Titchmarsh divisor problem
7.The prime twins and Goldbach problems: explicit upper bounds
8.The problem ap + b = p′: an explicit upper bound
4: The Selberg Upper Bound Method (continued): O-results
1.A lower bound for G(x, z)
2.Applications
5: The Selberg Upper Bound Method: Explicit Estimates
1.A two-sided Ω2-condition
2.Technical preparation
3.Asymptotic formula for G(z)
4.The main theorems
5.Two ways of dealing with polynomial sequences {F(p)}: discussion
6.Primes representable by polynomials
7.Primes representable by polynomials F(p): the non-linearized approach
8.Prime k-tuplets
9.Primes representable by polynomials F(p): the linearized approach
6: An Extension of Selberg’s Upper Bound Method
1.The method
2.An upper estimate
3.The function σK
4.Asymptotic formula for G(ξ, z)
5.The main result
7: Selberg’s Sieve Method (continued): A First Lower Bound
1.Combinatorial identities
2.An asymptotic formula for S
3.Fundamental Lemma
4.The function ηK
5.A lower bound
6.The main result
8: TheLinear Sieve
1.The method
2.The functions F, f
3.An approximate identity for the leading terms
4.Upper and lower bounds for S
5.The main result
9: A Weighted Sieve: TheLinear Case
1.The method
2.Application to the prime twins and Goldbach problems
3.The weighted sieve in applicable form
4.Almost-primes in intervals and arithmetic progressions
5.Almost-primes representable by irreducible polynomials F(n)
6.Almost-primes representable by irreducible polynomials F(p)
10: Weighted Sieves: The General Case
1.The first method
2.The first method in applicable form
3.Almost-primes representable by polynomials
4.The second method
5.Almost-primes representable by polynomials
6.Another method
11: Chen’s Theorem
1.Introduction
2.The weighted sieve
3.Application of Selberg’s upper sieve
4.Transition to primitive characters
5.Application of contour integration
6.Application of the large sieve
Bibliography
References
Notation
STANDARD NOMENCLATURE
[x] always denotes the largest integer not exceeding x.
Where no confusion is possible with the notation for intervals, (a, b) denotes the highest common factor of integers a, b and [a, b] their lowest common multiple.
We denote the Möbius function by μ(n) (for a definition see p. 34). We write v(n) for the number of distinct prime divisors of n, Ω(n) for the number of prime divisors of n counted according to multiplicity, τ(n) for the number of positive integer divisors of n, and φ(n) for Euler’s function (the order of the multiplicative group of reduced residue classes modulo n).
We denote the number of primes not exceeding x by π(x) and the number of primes not exceeding x that are congruent to l modulo k by π(x; k, l).
SIEVE NOTATION
are defined on pages 24, 73 respectively.
The following table indicates where the various principal functions featuring in our account of sieves are first introduced:
The unique real root of the equation ηκ(u) = 1, written vκ, is introduced on page 212.
All our general theorems have been formulated subject to certain basic conditions. The symbolic representations of these conditions, and the pages on which they are first described, are as follows:
CONSTANTS
The symbols π and e have their usual meaning throughout, and γ always denotes Euler’s constant.
The letters A, B, C with or without suffices or superscripts denote constants ≥ 1 throughout. The A-constants, together with the constants κ and α, feature in the basic conditions and we therefore refer to them sometimes as structure constants. The dependence of the B- and C-constants is first described at the end of Chapter 1, Section 4 (pp. 29, 30), and there are also reminders at appropriate stages throughout the text.
The O- and o-notation of I. M. Vinogradov, are now so well established as not to require definition; for the dependence of the constants implied by the use of these notations see top of p. 30.
CONVENTIONS
We often use: = as the symbol for equality by definition; see e.g. p. 15.
Theorem 5.4 is the fourth theorem in Chapter 5; Corollary 5.4.2 is the second corollary of Theorem 5.4. Lemmas are numbered in the same way.
In any one chapter we attach to a formula the notation (3.6) if it is the sixth numbered formula in Section 3 of that chapter. If we wish in Chapter 7 to refer to formula (3.6) of Chapter 5 we do so by referring to it as (5.3.6).
To avoid excessive length in the statement of a general theorem (some statements are very long as it is!) we use a short-hand way of indicating which of the basic conditions the theorem rests on; for a description see footnotes on pp. 31, 57.
ABBREVIATIONS
RH denotes Riemann’s conjecture concerning the location of zeros of the Riemann ζ-function; GRH denotes the generalized Riemann conjecture, concerning the location of zeros of L-functions.
H-W stands for Hardy and Wright, An Introduction to the theory of numbers
, 4th edition, Oxford 1960. D stands for Davenport’s Multiplicaative Number Theory
, Markham, Chicago 1967. We refer to these texts for various classical results.
ERRATA
The following corrections should be made in the text:
p.1, l.6: for from some point onward read greater than 2
p.9, NOTES l.1: derives from Schinzel
p.10, l
p.14, l. – 11: for half a century ago read at the beginning of the 20th century
p.15, l. – 7: after we then introduce add the remainders
p.20, l. – 6: omit full stop
p.21, l.8: in π(x; . . . .) write l′ for l
p.23, l.11: replace = by – and insert } before + ϑρ(d)
l.15: for ρ1* read ρ1 *(d)
p.26, (4.7): insert comma at end of line
p.28, l. (4.13) – 1: correct misprint ‘numbers’
p.29, l. – 8: comma at end of (4.18)
l. – 4: for be write by
p.34, l.2: Staatsexamensarbeit, Marburg 1970
p.34, l. – 2: The reference for (1.3.17) to Nagel [1] is not helpful, because there he derives this formula from Landau’s deep Prime Ideal Theorem whereas Landau gave a much simpler proof elsewhere. For an account of this, see the note by Diamond and Halberstam, ‘Congruences and ldeals’ in ‘Analytic Number Theory, Essays in Honor of Klaus Roth, Cambridge 2009, 164–169.
p.36, l
p.37, l.(1.2) + 1: for σ(n) read u(n)
47, l.1: for v(d) read v(d)
p.48, l.–3: for any positive integer read any positive odd integer
p.50, l.4: for (as x → ∞) read (as X → ∞)
p.52, l.(3.2)–1: for Ω2(k) read Ω2(κ)
p.57, l.(4.3): before } on the right insert exp((2b + 2)c1 / (λ log z))} + . . .
p.61, l.(4.18) & (4.18) – 2: for eΛ – 1 read eΛ – 1
p.62, l.5: for εΛ read εΛ
p.65, l.6: for (e2λ /κ –1) read (e²λ /κ –1)
p.67, l.19: for a read A
p.68, l
p.79, l.(7.14): at end, move comma from exponent to main line
p.83, l.(8.2): in O-term, for (εκ//2) read (εκ/(2λ)
l. – 8: for log(x/α) read log(κ/α)
p.87, l
p.90, (9.6): in last line, for j1 = [. . . .] read j0 = [. . . .]
(9.7): the last line, l. – 9, for pβ2ji + 2......read pβ2j1 + 2......
p.92, l.6: for probed read proved
l.7: for if read of
p.95, l.7: for n = mod Dk read n = l mod Dk
p.99, l
p.102, l
p.106, l. – 6: on extreme right, for ((z – 1)/2) read ((z – 1)/2)²
p.111, l.9: on left, for 1/φ(l) read 1/φ(n)
p.112, l
p. 118, l.(7.3): full stop at end
p.121, l. – 4: for d1 = pα
p.122, l. – 2: R.R. Hall, Halving an estimate obtained from Selberg’s upper bound method, Acta Arith. 25(1973/74), 347–351
p.124, l. – 4: for full stop at end read comma
p.128, l.8: on right, insert + O(log k) k
l.9: the right side should read
l.10: the right side should read
p.131, l.(1.2), + 3: at the lower limit of integration, for 2 read 1
p.143, l.(1.1) on right, for log | z/w | read log (z/w)
p.149, l.2: for (2.2.8) read (2.3.8)
p.151, l.4: at the lower limit of integration on right, for 0 read 1
p.154, l. – 3: for c.f read cf.
p.179, l. – 8: Omit full stop after 5.8.2
p.183, l
p.189, l. – 5: this should read
pp.198–201: go to p.3
The proof of Lemma 6.1 (pp. 198–201) requires correction although the result as stated is correct. In the argument leading up to (4.14), and again in the last steps on p. 201, c4 cannot be absorbed into the O-constant because it depends implicitly on L. However, this difficulty can be avoided. First of all, the error term in (4.5) is O(L/W(z)) by (4.1.1) and this leads to the generally better error term
in both (4.7) and (4.8). Now modify the definition of R(ξ, z) by writing (4.9) in the new form
Then (4.11) is still true, but with error term (*) and subject to z ≤ w ≤ ξ. From this one deduces (4.12) in the new form
The equation on l. – 5 is correct subject to (5.3.3) (i.e. if t ≥ exp (B8L, that (4.14) holds in the weaker but adequate form
From here on the argument follows, subject to the obvious changes, as on p. 200 and leads to
in place of (4.16); the proof of the lemma via the revised (4.5) is then straightforward.
p.203, Note on 6.5, replace last full stop by . . . ., Onishi[1].
p.203, Note on 6.5, replace last full stop by . . . ., Onishi[1].
p.215, l.3: lower limit of integration is log ξ²/log z2
p.219, l.2: should read 0 < α ≤ 1
(6.2): for ≤ read ≥
p.220, l.10: in parentheses, for; read: A = {p + 2 : p ≤ x}
p.222, l.5: Write for earlier lower sieve estimates
p.224, l.5: should read
p.225, l. 1: omit second ‘that’
p.228, l.5: should read 0 ≤ f(u2) – f(u1) ≤ ......
p.230, l. – 1: for lemma read theorem
p.232, l
p.236, l.4: write the right side as W(z)e–logξ²/log zεb
p.253, l
l.(3.2) + 1: read Λ1 = 1 for Λ1 = r
p.257, l.(4.3) – 1: (cf.(1.3.8)) we now choose
p.267, l.11: and [(r + 1)/2]-free for r > 5
p.269, l.20: if better results were even at this moment
p.283, l. – 3: at end a comma not a full stop
p.287, l.(3.9): no full stop at end
p.308, l.(4.25): or 1.–6: read –C45(1/λ + 1) (loglog 3X)²/log X
p.290, l.1: by g log g + (2 + log 4.88. . .) g
p.317, ll. – 2, –1: . . . κ < 1; our remark here is misguided in the ligh of lwaniec [2], who applies . . .
p.323, l.12: omit < 0.0165
l.14: on right side read ≥ 8(3 log 3 – 5 log 2 + 1/2) > 2.64081
p.326, l.12: at end write 0.544 for 0.538
F/N: at end read . . . estimate 0.490095 (1 + ε), |ε| < 10–5
p.327, l.4: the second summation condition is (N – rn, P(z)) = 1
p.328, l.(3.3): Omit printing blemish
p.345, l. Chen;3: for larger read large
in reference add MR55, 7959
"Far and few, far and few,
Are the lands where the Jumblies live;
Their heads are green and their hands are blue,
And they went to sea in a Sieve."
E. Lear, The Jumblies
Introduction
1. HYPOTHESES H AND HN
Two of the oldest problems in the theory of numbers, and indeed in the whole of mathematics, are the so-called prime twins and binary Goldbach conjectures. The first of these asserts that
"There exist infinitely many primes p such that p + 2 is a prime",
and the second that
"every even natural number N from some point onward can be expressed as the sum of two primes".
To G. H. Hardy, addressing the Mathematical Society of Copenhagen in 1921, the binary Goldbach conjecture appeared . . . . . probably as difficult as any of the unsolved problems of mathematics
; yet at the time Hardy pronounced this judgement, Brun’s now famous researches on the Eratosthenian sieve were already well under way, and in the previous year† Brun himself had established the following remarkable approximations to the two problems: there exist infinitely many integers n such that both n and n + 2 have at most nine prime factors; also, every sufficiently large even N is the sum of two numbers each having at most nine prime factors (cf. Chapter 2).
There are many who believe that Hardy’s view is as valid now as it was then. Nevertheless, many dramatic advances have taken place in the intervening years, and in 1966 we set out to chart this progress from Brun’s pioneering work to the present day. As we progressed, we found, however, that we were driven increasingly to view both questions as parts of a much grander design.
Mere difficulty has never been a bar to further speculation in mathematics; and over the years the two notorious conjectures had given rise to a host of related questions, each a generalization, in one sense or another, of the prime twins problem or of the Goldbach problem. We owe to Schinzel the classification of these and many other questions from classical prime number theory in terms of two grandly conceived conjectures, the hypotheses H and HN below, which we shall now formulate.
Let F1, . . ., Fg [x] (with positive leading coefficients) and suppose that the product polynomial F = F1 . . . Fg has no fixed prime divisor. Then
Hypothesis H: There exist infinitely many integers n such that each Fi(n) (i = 1, . . ., g) is prime.
Furthermore, let N [x] (with positive leading coefficient) such that N – G is irreducible, and also such that F(N – G) has no fixed prime divisor. Then
Hypothesis HN: If N is large enough, there exists a positive integer n such that N – G(n) > 0 and such that each of Fi(n) (i = 1, . . ., g) and N – G(n) is prime.
It was against the background of these two comprehensive conjectures that the principal results of our book were finally conceived.
When g = 1 and F1(n) = an + b with (a, b) = 1, then, according to Hypothesis H, the arithmetic progression an + b (n = 0, 1, 2 . . .) contains infinitely many primes. By the famous theorem of Dirichlet (1837) this is indeed true, and so provides the only instance of Hypothesis H that has been settled up to the present time. When g = 2, F1(n) = n and F2(n) = n + 2, then Hypothesis H coincides with the prime twins conjecture. Similarly, taking g = 1, F1(n) = G(n) = n, Hypothesis HN coincides with Goldbach’s conjecture; and Goldbach’s conjecture is evidently the simplest special case of HN. There is no end to the fascinating illustrations of H or HN that one might list; but we shall content ourselves for the moment with mentioning only two more: taking g = 1 and F1(n) = n² + 1 in H, the conjecture claims that n² + 1 represents primes infinitely often; and the case of g linear polynomials in H (with suitable conditions on the coefficients) corresponds to the well-known prime g-tuplets problem.
In the absence of even a single case of H or HN in which Dirichlet’s achievement has been matched, a natural way to approach these seemingly intractable problems is to show that there exist positive integers n (in the case of H, infinitely many such n’s) for which the polynomials concerned have very few prime factors. Let us make this more precise in the context of H (for technical algebraic reasons we shall pay less attention in this book to HN, apart chiefly from approximations to the Goldbach case itself). We denote by Pr any integer having at most r prime factors, equal or distinct, and refer to such a number as an almost-prime (thus Brun’s results assert that P9 + 2 = P9′ for infinitely many almost-primes P9, and, if N is even and large enough, N is representable in the form N = P9 + P9′). Then Hypothesis H is equivalent, under the given conditions, to the statement that
and a reasonable way of approximating to H is therefore to show that there exists a relatively small integer r, depending at most on g and on the degree of F, such that
One of our main objectives will be to establish, by means of sieve theory, such approximations to Hypothesis H. Thus, for example, we shall prove in Chapter 9 that
and, in Chapter 10, we shall show, as a special case of a quite general theorem, that when g is large (but fixed) and the polynomials F1, . . ., Fg are linear, then (2) holds, subject only to necessary conditions on the coefficients of F1, . . ., Fg, with an r equal to about g log g. Also in Chapter 10 we shall give Selberg’s classical approximation (first announced in 1950) to the prime twins conjecture, namely that
and the same argument yields the corresponding approximation to the Goldbach problem, namely, that if N is even and sufficiently large, then
In each of the results (4) and (5) the two factors on the left may both be composite; but already in 1948 Rényi had shown, using appreciably deeper methods than Selberg’s, that n could be taken as prime in each of (4) and (5) at the cost of having on the right, in place of P5, a Pr with r some large but fixed integer (cf. Chapter 2). Thus Rényi was the first to prove that there exists an r such that
and that every sufficiently large even integer N is representable in the form
Let us view the result (6) against the background of H. If there we take g + 1 in place of g and take Fg + 1 (n) = n, then, according to H and provided that nF1(n). . .Fg(n) has no fixed prime divisor,† there exist infinitely many primes p such that each Fi(p)(i = 1, . . ., g) is simultaneously a prime; or, in our alternative formulation (cf. (1)),
We shall find that we are able to approximate to (8) by results of the type
where r is