The Twin Prime Conjecture Ricardo Barca

Total Page:16

File Type:pdf, Size:1020Kb

The Twin Prime Conjecture Ricardo Barca The Twin Prime Conjecture Ricardo Barca To cite this version: Ricardo Barca. The Twin Prime Conjecture. 2018. hal-01882333v2 HAL Id: hal-01882333 https://hal.archives-ouvertes.fr/hal-01882333v2 Preprint submitted on 13 Nov 2020 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Public Domain THE TWIN PRIME CONJECTURE Ricardo G. Barca Abstract Consecutive primes which differ only by two are known as twin primes; the function π2(x) describes the distri- bution of the twin primes in the set of natural numbers. The twin prime conjecture states that there are infinitely many primes p such that p + 2 is also prime. At the present time, the knowledge about twin primes comes mostly from sieve methods. Using a formulation of the sieve of Eratosthenes supported on a sequence of k-tuples of re- mainders we obtain a lower bound for the number of twin primes in [1; x]. Thus, we prove that π2(x) ! 1 as x ! 1. 1 Introduction The twin prime conjecture is one of the problems in number theory that still remains without resolution. Twin prime conjecture: There exist infinitely many primes p such that p + 2 is a prime. In 1849, the french mathematician de Polignac made the statement (more general than twin prime conjecture) that for every positive even integer k there exist infinitely many primes p such that p + k is also a prime [6]. For k = 2 we have the twin prime conjecture. The most significant result for twin primes is due to Viggo Brun [3], who proves, in 1915, that the sum of the reciprocals of the odd twin primes, B = (1=3 + 1=5) + (1=5 + 1=7) + (1=(11) + 1=(13)) + (1=(17) + 1=(19)) + ::: converges to a number known as the Brun's constant. This outcome was the first use of the Brun sieve, and it was the beginning of modern sieve theory. Since the series of all prime reciprocals diverges to infinity, the result from Viggo Brun say us that twin primes are very scarce. On April 17, 2013, the american mathematician (born in Shangai) Yitang Zhang claims that there are infinitely many pairs of prime numbers that differ by 70 million or less [4]. For any m ≥ 1, let Hm denote the quantity 7 Hm = lim infn!1 (pn+m − pn), where pn denotes the n-th prime. In his paper, Zhang proved that H1 ≤ 7 × 10 ; the twin prime conjecture is equivalent to the assertion that H1 is equal to two. After the appearance of Zhang's paper, improvements to the upper bound on H1 were made. In addition, a Polymath project was made up to examine the arguments of Zhang [5]; one year after Zhang's announcement, the bound has been reduced to 246. Let x > 0 be a positive real number; let π2(x) be the number of twin primes p and p + 2 such that p ≤ x. In this paper we prove (Main Theorem) the following: π2(x) ! 1 as x ! 1. One of the principal ways of addressing problems like the twin prime conjecture or the Goldbach's conjecture have been through the use of sieve methods. The Sieve theory has developed along of the last century, starting from the Viggo Brun methods. For the sake of completeness and convenience of the reader, in this paper we shall repeat some explanations and arguments already given in [9]. Also, we use concepts and tools developed in [9], as well as the notations defined in this paper, unless we specifically state otherwise. We begin by defining the sieve of Eratosthenes, using the notation of the book by Cojocaru andp Ram Murty [2]. Let A = fn 2 Z+ : n ≤ xg, where x 2 R; x > 1, and let P be the sequence of all primes. Let z = x, and Y P (z) = p: p2P p<z Now, to each p 2 P; p < z, we associate the subset Ap of A , defined as follows: Ap = fn 2 A : n ≡ 0 (mod p)g. Then, when we sift out from A all the elements of every set Ap, the unsifted membersp of A are the integers that are not divisible by primes of P less than z; that is to say, any integer remaining in [ x; x) is a prime. Furthermore, if d is a squarefree integer such that djP (z), we define the set \ Ad = Ap: pjd Thus, from the inclusion{exclusion principle, we obtain 1 X S(A ; P; z) = µ (d) jAdj ; (1) djP (z) where µ(d) is the M¨obiusfunction. Moreover, from (1), the Legendre formula can be derived X X jxk S(A ; P; z) = µ (d) jAdj = µ (d) : d djP (z) djP (z) p The sieve of Eratosthenes is useful for findingp the prime numbers between x and x; for our purposes, we need first to isolate the subset of twin primes between x and x and then to obtain a lower bound for the size of this subset, for every x sufficiently large. However, we can not hope to find a suitable lower bound for the size of this set using the usual sieve methods, due to a well-known phenomenon in sieve theory, called the `parity barrier' or the `parity problem' (see [9, Introduction, Subsection 1.1]). So far, all attempts to solve the twin prime problem by the usual sieve techniques did not have the expected success. For these reasons, the strategy used in this paper differs quite a lot from the usual approach in sieve theory. n 2 3 5 7 n 2 3 5 7 1 1 1 1 1 31 1 1 1 3 2 0 2 2 2 32 0 2 2 4 3 1 0 3 3 33 1 0 3 5 4 0 1 4 4 34 0 1 4 6 5 1 2 0 5 35 1 2 0 0 6 0 0 1 6 36 0 0 1 1 7 1 1 2 0 37 1 1 2 2 8 0 2 3 1 38 0 2 3 3 9 1 0 4 2 39 1 0 4 4 10 0 1 0 3 40 0 1 0 5 11 1 2 1 4 41 1 2 1 6 12 0 0 2 5 42 0 0 2 0 13 1 1 3 6 43 1 1 3 1 14 0 2 4 0 44 0 2 4 2 15 1 0 0 1 45 1 0 0 3 16 0 1 1 2 46 0 1 1 4 17 1 2 2 3 47 1 2 2 5 18 0 0 3 4 48 0 0 3 6 19 1 1 4 5 49 1 1 4 0 20 0 2 0 6 50 0 2 0 1 21 1 0 1 0 51 1 0 1 2 22 0 1 2 1 52 0 1 2 3 23 1 2 3 2 24 0 0 4 3 25 1 1 0 4 26 0 2 1 5 27 1 0 2 6 28 0 1 3 0 29 1 2 4 1 30 0 0 0 2 Figure 1 Let P be the sequence of all primes; and given pk 2 P, let mk = p1p2p3 ··· pk. From now on, and throughout 2 this paper, for convenience, we take x to be a real number greater than p4 = 49, unless we specifically state otherwise. p 2 2 Note that if pk is the greatest prime less than x, every real number x > 49 satisfies pk < x ≤ pk+1 < mk. 2 Now, the formulation of the sieve of Eratosthenes using the classic sieve theory notation does not allow us to discriminate between the twin primes and the other primes, for counting only the first ones. In this paper we propose to use another formulation for this kind of sieves, using a sequence of k-tuples, which is able to show all the details of the sifting process (see [9, Introduction, Subsectionp 1.3]). Let pk be the greatest prime less than x. In the formulation of the sieve of Eratosthenes by means of a sequence of k-tuples, the index k is the corresponding to pk, and A is the set of integers that lie in the interval [1; x]. The rules for selecting remainders are the following: In the k-tuples of the sequence, all the zeroes are defined as selected remainders. Therefore, within the periods of every sequence of remainders modulo ph (a given column of the matrix), the element 0 is always a selected remainder. We more formally define the formulation of this sieve using a sequence of k-tuples in Section 2. p Remark 1.1. Note that given a k-tuple whose index ispn ≤ x, if n ≡ 0 (mod p) for at least one p < x, then it is a prohibited k-tuple, and if n 6≡ 0 (mod p) for every p < x, then it is a permitted k-tuple. p Clearly, the indices of the permitted k-tuples lying inp the interval [ x; x) are prime numbers. Therefore, the indices of a pair of permitted k-tuples that lie in the interval [ x; x) and differ by two form a pair of twin primes.
Recommended publications
  • An Amazing Prime Heuristic.Pdf
    This document has been moved to https://arxiv.org/abs/2103.04483 Please use that version instead. AN AMAZING PRIME HEURISTIC CHRIS K. CALDWELL 1. Introduction The record for the largest known twin prime is constantly changing. For example, in October of 2000, David Underbakke found the record primes: 83475759 264955 1: · The very next day Giovanni La Barbera found the new record primes: 1693965 266443 1: · The fact that the size of these records are close is no coincidence! Before we seek a record like this, we usually try to estimate how long the search might take, and use this information to determine our search parameters. To do this we need to know how common twin primes are. It has been conjectured that the number of twin primes less than or equal to N is asymptotic to N dx 2C2N 2C2 2 2 Z2 (log x) ∼ (log N) where C2, called the twin prime constant, is approximately 0:6601618. Using this we can estimate how many numbers we will need to try before we find a prime. In the case of Underbakke and La Barbera, they were both using the same sieving software (NewPGen1 by Paul Jobling) and the same primality proving software (Proth.exe2 by Yves Gallot) on similar hardware{so of course they choose similar ranges to search. But where does this conjecture come from? In this chapter we will discuss a general method to form conjectures similar to the twin prime conjecture above. We will then apply it to a number of different forms of primes such as Sophie Germain primes, primes in arithmetic progressions, primorial primes and even the Goldbach conjecture.
    [Show full text]
  • A Note on the Origin of the Twin Prime Conjecture
    A Note on the Origin of the Twin Prime Conjecture by William Dunham Department of Mathematics & Computer Science, Muhlenberg College; Department of Mathematics, Harvard University (visiting 2012-2013) More than any other branch of mathematics, number As the title suggests, de Polignac’s paper was about theory features a collection of famous problems that took prime numbers, and on p. 400 he stated two “theorems.” centuries to be proved or that remain unresolved to the It should be noted that he was not using the word in its present day. modern sense. Rather, de Polignac confirmed the truth of Among the former is Fermat’s Last Theorem. This these results by checking a number of cases and thereby states that it is impossible to find a whole number n ≥ 3 called them “theorems.” Of course, we would call them, at and whole numbers x , y , and z for which xn + yn = zn . best, “conjectures.” The true nature of these statements is suggested by the fact that de Polignac introduced them In 1640, as all mathematicians know, Fermat wrote this in under the heading “Induction and remarks” as seen below, a marginal note and claimed to have “an admirable proof” in a facsimile of his original text. that, alas, did not fit within the space available. The result remained unproved for 350 years until Andrew Wiles, with assistance from Richard Taylor, showed that Fermat was indeed correct. On the other hand, there is the Goldbach conjecture, which asserts that every even number greater than 2 can be expressed as the sum of two primes.
    [Show full text]
  • [Math.NT] 10 May 2005
    Journal de Th´eorie des Nombres de Bordeaux 00 (XXXX), 000–000 Restriction theory of the Selberg sieve, with applications par Ben GREEN et Terence TAO Resum´ e.´ Le crible de Selberg fournit des majorants pour cer- taines suites arithm´etiques, comme les nombres premiers et les nombres premiers jumeaux. Nous demontrons un th´eor`eme de restriction L2-Lp pour les majorants de ce type. Comme ap- plication imm´ediate, nous consid´erons l’estimation des sommes exponentielles sur les k-uplets premiers. Soient les entiers posi- tifs a1,...,ak et b1,...,bk. Ecrit h(θ) := n∈X e(nθ), ou X est l’ensemble de tous n 6 N tel que tousP les nombres a1n + b1,...,akn+bk sont premiers. Nous obtenons les bornes sup´erieures pour h p T , p > 2, qui sont (en supposant la v´erit´ede la con- k kL ( ) jecture de Hardy et Littlewood sur les k-uplets premiers) d’ordre de magnitude correct. Une autre application est la suivante. En utilisant les th´eor`emes de Chen et de Roth et un «principe de transf´erence », nous demontrons qu’il existe une infinit´ede suites arithm´etiques p1 < p2 < p3 de nombres premiers, telles que cha- cun pi + 2 est premier ou un produit de deux nombres premier. Abstract. The Selberg sieve provides majorants for certain arith- metic sequences, such as the primes and the twin primes. We prove an L2–Lp restriction theorem for majorants of this type. An im- mediate application is to the estimation of exponential sums over prime k-tuples.
    [Show full text]
  • Number 73 Is the 37Th Odd Number
    73 Seventy-Three LXXIII i ii iii iiiiiiiiii iiiiiiiii iiiiiiii iiiiiii iiiiiiii iiiiiiiii iiiiiiiiii iii ii i Analogous ordinal: seventy-third. The number 73 is the 37th odd number. Note the reversal here. The number 73 is the twenty-first prime number. The number 73 is the fifty-sixth deficient number. The number 73 is in the eighth twin-prime pair 71, 73. This is the last of the twin primes less than 100. No one knows if the list of twin primes ever ends. As a sum of four or fewer squares: 73 = 32 + 82 = 12 + 62 + 62 = 12 + 22 + 22 + 82 = 22 + 22 + 42 + 72 = 42 + 42 + 42 + 52. As a sum of nine or fewer cubes: 73 = 3 13 + 2 23 + 2 33 = 13 + 23 + 43. · · · As a difference of two squares: 73 = 372 362. The number 73 appears in two Pythagorean triples: [48, 55, 73] and [73, 2664, 2665]. Both are primitive, of course. As a sum of three odd primes: 73 = 3 + 3 + 67 = 3 + 11 + 59 = 3 + 17 + 53 = 3 + 23 + 47 = 3 + 29 + 41 = 5 + 7 + 61 = 5 + 31 + 37 = 7 + 7 + 59 = 7 + 13 + 53 = 7 + 19 + 47 = 7 + 23 + 43 = 7 + 29 + 37 = 11 + 19 + 43 = 11 + 31 + 31 = 13 + 13 + 47 = 13 + 17 + 43 = 13 + 19 + 41 = 13 + 23 + 37 = 13 + 29 + 31 = 17 + 19 + 37 = 19 + 23 + 31. The number 73 is the 21st prime number. It’s reversal, 37, is the 12th prime number. Notice that if you strip off the six triangular points from the 73-circle hexagram pictured above, you are left with a hexagon of 37 circles.
    [Show full text]
  • On Sufficient Conditions for the Existence of Twin Values in Sieves
    On Sufficient Conditions for the Existence of Twin Values in Sieves over the Natural Numbers by Luke Szramowski Submitted in Partial Fulfillment of the Requirements For the Degree of Masters of Science in the Mathematics Program Youngstown State University May, 2020 On Sufficient Conditions for the Existence of Twin Values in Sieves over the Natural Numbers Luke Szramowski I hereby release this thesis to the public. I understand that this thesis will be made available from the OhioLINK ETD Center and the Maag Library Circulation Desk for public access. I also authorize the University or other individuals to make copies of this thesis as needed for scholarly research. Signature: Luke Szramowski, Student Date Approvals: Dr. Eric Wingler, Thesis Advisor Date Dr. Thomas Wakefield, Committee Member Date Dr. Thomas Madsen, Committee Member Date Dr. Salvador A. Sanders, Dean of Graduate Studies Date Abstract For many years, a major question in sieve theory has been determining whether or not a sieve produces infinitely many values which are exactly two apart. In this paper, we will discuss a new result in sieve theory, which will give sufficient conditions for the existence of values which are exactly two apart. We will also show a direct application of this theorem on an existing sieve as well as detailing attempts to apply the theorem to the Sieve of Eratosthenes. iii Contents 1 Introduction 1 2 Preliminary Material 1 3 Sieves 5 3.1 The Sieve of Eratosthenes . 5 3.2 The Block Sieve . 9 3.3 The Finite Block Sieve . 12 3.4 The Sieve of Joseph Flavius .
    [Show full text]
  • Conjecture of Twin Primes (Still Unsolved Problem in Number Theory) an Expository Essay
    Surveys in Mathematics and its Applications ISSN 1842-6298 (electronic), 1843-7265 (print) Volume 12 (2017), 229 { 252 CONJECTURE OF TWIN PRIMES (STILL UNSOLVED PROBLEM IN NUMBER THEORY) AN EXPOSITORY ESSAY Hayat Rezgui Abstract. The purpose of this paper is to gather as much results of advances, recent and previous works as possible concerning the oldest outstanding still unsolved problem in Number Theory (and the most elusive open problem in prime numbers) called "Twin primes conjecture" (8th problem of David Hilbert, stated in 1900) which has eluded many gifted mathematicians. This conjecture has been circulating for decades, even with the progress of contemporary technology that puts the whole world within our reach. So, simple to state, yet so hard to prove. Basic Concepts, many and varied topics regarding the Twin prime conjecture will be cover. Petronas towers (Twin towers) Kuala Lumpur, Malaysia 2010 Mathematics Subject Classification: 11A41; 97Fxx; 11Yxx. Keywords: Twin primes; Brun's constant; Zhang's discovery; Polymath project. ****************************************************************************** http://www.utgjiu.ro/math/sma 230 H. Rezgui Contents 1 Introduction 230 2 History and some interesting deep results 231 2.1 Yitang Zhang's discovery (April 17, 2013)............... 236 2.2 "Polymath project"........................... 236 2.2.1 Computational successes (June 4, July 27, 2013)....... 237 2.2.2 Spectacular progress (November 19, 2013)........... 237 3 Some of largest (titanic & gigantic) known twin primes 238 4 Properties 240 5 First twin primes less than 3002 241 6 Rarefaction of twin prime numbers 244 7 Conclusion 246 1 Introduction The prime numbers's study is the foundation and basic part of the oldest branches of mathematics so called "Arithmetic" which supposes the establishment of theorems.
    [Show full text]
  • Sieve Theory and Small Gaps Between Primes: Introduction
    Sieve theory and small gaps between primes: Introduction Andrew V. Sutherland MASSACHUSETTS INSTITUTE OF TECHNOLOGY (on behalf of D.H.J. Polymath) Explicit Methods in Number Theory MATHEMATISCHES FORSCHUNGSINSTITUT OBERWOLFACH July 6, 2015 A quick historical overview pn+m − pn ∆m := lim inf Hm := lim inf (pn+m − pn) n!1 log pn n!1 Twin Prime Conjecture: H1 = 2 Prime Tuples Conjecture: Hm ∼ m log m 1896 Hadamard–Vallee´ Poussin ∆1 ≤ 1 1926 Hardy–Littlewood ∆1 ≤ 2=3 under GRH 1940 Rankin ∆1 ≤ 3=5 under GRH 1940 Erdos˝ ∆1 < 1 1956 Ricci ∆1 ≤ 15=16 1965 Bombieri–Davenport ∆1 ≤ 1=2, ∆m ≤ m − 1=2 ········· 1988 Maier ∆1 < 0:2485. 2005 Goldston-Pintz-Yıldırım ∆1 = 0, ∆m ≤ m − 1, EH ) H1 ≤ 16 2013 Zhang H1 < 70; 000; 000 2013 Polymath 8a H1 ≤ 4680 3 4m 2013 Maynard-Tao H1 ≤ 600, Hm m e , EH ) H1 ≤ 12 3:815m 2014 Polymath 8b H1 ≤ 246, Hm e , GEH ) H1 ≤ 6 H2 ≤ 398; 130, H3 ≤ 24; 797; 814,... The prime number theorem in arithmetic progressions Define the weighted prime counting functions1 X X Θ(x) := log p; Θ(x; q; a) := log p: prime p ≤ x prime p ≤ x p ≡ a mod q Then Θ(x) ∼ x (the prime number theorem), and for a ? q, x Θ(x; q; a) ∼ : φ(q) We are interested in the discrepancy between these two quantities. −x x x Clearly φ(q) ≤ Θ(x; q; a) − φ(q) ≤ q + 1 log x, and for any Q < x, X x X 2x log x x max Θ(x; q; a) − ≤ + x(log x)2: a?q φ(q) q φ(q) q ≤ Q q≤Q 1 P One can also use (x) := n≤x Λ(n), where Λ(n) is the von Mangoldt function.
    [Show full text]
  • Explicit Counting of Ideals and a Brun-Titchmarsh Inequality for The
    EXPLICIT COUNTING OF IDEALS AND A BRUN-TITCHMARSH INEQUALITY FOR THE CHEBOTAREV DENSITY THEOREM KORNEEL DEBAENE Abstract. We prove a bound on the number of primes with a given split- ting behaviour in a given field extension. This bound generalises the Brun- Titchmarsh bound on the number of primes in an arithmetic progression. The proof is set up as an application of Selberg’s Sieve in number fields. The main new ingredient is an explicit counting result estimating the number of integral elements with certain properties up to multiplication by units. As a conse- quence of this result, we deduce an explicit estimate for the number of ideals of norm up to x. 1. Introduction and statement of results Let q and a be coprime integers, and let π(x,q,a) be the number of primes not exceeding x which are congruent to a mod q. It is well known that for fixed q, π(x,q,a) 1 lim = . x→∞ π(x) φ(q) A major drawback of this result is the lack of an effective error term, and hence the impossibility to let q tend to infinity with x. The Brun-Titchmarsh inequality remedies the situation, if one is willing to accept a less precise relation in return for an effective range of q. It states that 2 x π(x,q,a) , for any x q. ≤ φ(q) log x/q ≥ While originally proven with 2 + ε in place of 2, the above formulation was proven by Montgomery and Vaughan [16] in 1973. Further improvement on this constant seems out of reach, indeed, if one could prove that the inequality holds with 2 δ arXiv:1611.10103v2 [math.NT] 9 Mar 2017 in place of 2, for any positive δ, one could deduce from this that there are no Siegel− 1 zeros.
    [Show full text]
  • An Introduction to Sieve Methods and Their Applications Alina Carmen Cojocaru , M
    Cambridge University Press 978-0-521-84816-9 — An Introduction to Sieve Methods and Their Applications Alina Carmen Cojocaru , M. Ram Murty Frontmatter More Information An Introduction to Sieve Methods and Their Applications © in this web service Cambridge University Press www.cambridge.org Cambridge University Press 978-0-521-84816-9 — An Introduction to Sieve Methods and Their Applications Alina Carmen Cojocaru , M. Ram Murty Frontmatter More Information LONDON MATHEMATICAL SOCIETY STUDENT TEXTS Managing editor: Professor J. W. Bruce, Department of Mathematics, University of Hull, UK 3 Local fields, J. W. S. CASSELS 4 An introduction to twistor theory: Second edition, S. A. HUGGETT & K. P. TOD 5 Introduction to general relativity, L. P. HUGHSTON & K. P. TOD 8 Summing and nuclear norms in Banach space theory, G. J. O. JAMESON 9 Automorphisms of surfaces after Nielsen and Thurston, A. CASSON & S. BLEILER 11 Spacetime and singularities, G. NABER 12 Undergraduate algebraic geometry, MILES REID 13 An introduction to Hankel operators, J. R. PARTINGTON 15 Presentations of groups: Second edition, D. L. JOHNSON 17 Aspects of quantum field theory in curved spacetime, S. A. FULLING 18 Braids and coverings: selected topics, VAGN LUNDSGAARD HANSEN 20 Communication theory, C. M. GOLDIE & R. G. E. PINCH 21 Representations of finite groups of Lie type, FRANCOIS DIGNE & JEAN MICHEL 22 Designs, graphs, codes, and their links, P. J. CAMERON & J. H. VAN LINT 23 Complex algebraic curves, FRANCES KIRWAN 24 Lectures on elliptic curves, J. W. S CASSELS 26 An introduction to the theory of L-functions and Eisenstein series, H. HIDA 27 Hilbert Space: compact operators and the trace theorem, J.
    [Show full text]
  • A Friendly Intro to Sieves with a Look Towards Recent Progress on the Twin Primes Conjecture
    A FRIENDLY INTRO TO SIEVES WITH A LOOK TOWARDS RECENT PROGRESS ON THE TWIN PRIMES CONJECTURE DAVID LOWRY-DUDA This is an extension and background to a talk I gave on 9 October 2013 to the Brown Graduate Student Seminar, called `A friendly intro to sieves with a look towards recent progress on the twin primes conjecture.' During the talk, I mention several sieves, some with a lot of detail and some with very little detail. I also discuss several results and built upon many sources. I'll provide missing details and/or sources for additional reading here. Furthermore, I like this talk, so I think it's worth preserving. 1. Introduction We talk about sieves and primes. Long, long ago, Euclid famously proved the in- finitude of primes (≈ 300 B.C.). Although he didn't show it, the stronger statement that the sum of the reciprocals of the primes diverges is true: X 1 ! 1; p p where the sum is over primes. Proof. Suppose that the sum converged. Then there is some k such that 1 X 1 1 < : pi 2 i=k+1 Qk Suppose that Q := i=1 pi is the product of the primes up to pk. Then the integers 1 + Qn are relatively prime to the primes in Q, and so are only made up of the primes pk+1;:::. This means that 1 !t X 1 X X 1 ≤ < 2; 1 + Qn pi n=1 t≥0 i>k where the first inequality is true since all the terms on the left appear in the middle (think prime factorizations and the distributive law), and the second inequality is true because it's bounded by the geometric series with ratio 1=2.
    [Show full text]
  • Arxiv:Math/0103191V1 [Math.NT] 28 Mar 2001
    Characterization of the Distribution of Twin Primes P.F. Kelly∗and Terry Pilling† Department of Physics North Dakota State University Fargo, ND, 58105-5566 U.S.A. Abstract We adopt an empirical approach to the characterization of the distribution of twin primes within the set of primes, rather than in the set of all natural numbers. The occurrences of twin primes in any finite sequence of primes are like fixed probability random events. As the sequence of primes grows, the probability decreases as the reciprocal of the count of primes to that point. The manner of the decrease is consistent with the Hardy–Littlewood Conjecture, the Prime Number Theorem, and the Twin Prime Conjecture. Furthermore, our probabilistic model, is simply parameterized. We discuss a simple test which indicates the consistency of the model extrapolated outside of the range in which it was constructed. Key words: Twin primes MSC: 11A41 (Primary), 11Y11 (Secondary) 1 Introduction Prime numbers [1], with their many wonderful properties, have been an intriguing subject of mathematical investigation since ancient times. The “twin primes,” pairs of prime numbers {p,p+ 2} are a subset of the primes and themselves possess remarkable properties. In particular, we note that the Twin Prime Conjecture, that there exists an infinite number of these prime number pairs which differ by 2, is not yet proven [2, 3]. In recent years much human labor and computational effort have been expended on the subject of twin primes. The general aims of these researches have been three-fold: the task of enumerating the twin primes [4] (i.e., identifying the members of this particular subset of the natural numbers, and its higher-order variants “k-tuples” of primes), the attempt to elucidate how twin primes are distributed among the natural numbers [5, 6, 7, 8] (especially searches for long gaps in the sequence [9, 10, 11]), and finally, the precise estimation of the value of Brun’s Constant [12].
    [Show full text]
  • Which Polynomials Represent Infinitely Many Primes?
    Global Journal of Pure and Applied Mathematics. ISSN 0973-1768 Volume 14, Number 1 (2018), pp. 161-180 © Research India Publications http://www.ripublication.com/gjpam.htm Which polynomials represent infinitely many primes? Feng Sui Liu Department of Mathematics, NanChang University, NanChang, China. Abstract In this paper a new arithmetical model has been found by extending both basic operations + and × into finite sets of natural numbers. In this model we invent a recursive algorithm on sets of natural numbers to reformulate Eratosthene’s sieve. By this algorithm we obtain a recursive sequence of sets, which converges to the set of all natural numbers x such that x2 + 1 is prime. The corresponding cardinal sequence is strictly increasing. Test that the cardinal function is continuous with respect to an order topology, we immediately prove that there are infinitely many natural numbers x such that x2 + 1 is prime. Based on the reasoning paradigm above we further prove a general result: if an integer valued polynomial of degree k represents at least k +1 positive primes, then this polynomial represents infinitely many primes. AMS subject classification: Primary 11N32; Secondary 11N35, 11U09,11Y16, 11B37. Keywords: primes in polynomial, twin primes, arithmetical model, recursive sieve method, limit of sequence of sets, Ross-Littwood paradox, parity problem. 1. Introduction Whether an integer valued polynomial represents infinitely many primes or not, this is an intriguing question. Except some obvious exceptions one conjectured that the answer is yes. Example 1.1. Bouniakowsky [2], Schinzel [35], Bateman and Horn [1]. In this paper a recursive algorithm or sieve method adds some exotic structures to the sets of natural numbers, which allow us to answer the question: which polynomials represent infinitely many primes? 2 Feng Sui Liu In 1837, G.L.
    [Show full text]