|
|
| Line 1: |
Line 1: |
| '''Goldbach's comet'''<ref>Fliegel, Henry F.; Robertson, Douglas S.; "Goldbach's Comet: the numbers related to Goldbach's Conjecture”; Journal of Recreational Mathematics, v21(1) 1-7, 1989.</ref> is the name given to a plot of the function <math>g(E)</math>, the so-called '''Goldbach function'''. The Goldbach function is studied in relation to [[Goldbach's conjecture]]. The function <math>g(E)</math> is defined for all even integers <math>E > 2</math> to be the number of different ways in which ''E'' can be expressed as the sum of two primes. For example, <math>g(22) = 3</math> since 22 can be expressed as the sum of two primes in three different ways (<math>22 = 11+11 = 5+17 = 3+19</math>).
| | Hi there, I am Andrew Berryhill. For a while I've been in Alaska but I will have to transfer in a year or two. What I adore doing is football but I don't have the time recently. Distributing manufacturing has been his occupation for some time.<br><br>Stop by my weblog: online psychic chat ([http://kpupf.com/xe/talk/735373 click through the following document]) |
| | |
| [[Image:goldbachs comet.gif]]
| |
| | |
| The coloring of points in the above image is based on the value of <math>E/2</math> [[modular arithmetic|modulo]] 3 with red points corresponding to 0 mod 3, blue points corresponding to 1 mod 3 and green points corresponding to 2 mod 3.
| |
| | |
| == Anatomy of the Goldbach Comet ==
| |
| | |
| An illuminating way of presenting the comet data is as a [[histogram]]. The function <math>g(E)</math> can be normalized by dividing by the locally averaged value of ''g'', g<sub>av</sub>, taken over perhaps 1000 neighboring values of the even number ''E''. The histogram can then be accumulated over a range of up to about 10% either side of a central ''E''.
| |
| [[Image:Gbcomethista1.jpg|400 px|right]]
| |
| Such a histogram appears on the right. A series of well-defined peaks is evident. Each of these peaks can be identified as being formed by a set of values of <math>E/2</math> which have certain smallest factors. The major peaks correspond to lowest factors of 3, 5, 7 ... as labeled. As the lowest factors become higher the peaks move left and eventually merge to give the lowest value primary peak.
| |
| | |
| There is in fact a hierarchy of peaks; the main peaks are composed of subsidiary peaks, with a succession of second smallest factors of <math>E/2</math>. This hierarchy continues until all factors are exhausted.
| |
| [[Image:gbcomethistoga2.jpg|300 px|right]]
| |
| | |
| The magnified section shows the succession of subsidiary peaks in more detail.
| |
| | |
| The relative location of the peaks follows from the form developed by Hardy and Littlewood:<ref>[[G. H. Hardy]] and [[J. E. Littlewood]], "Some problems of 'partitio numerorum'; III: on the expression of a number as a sum of primes", [[Acta Mathematica]], vol. 44, pp. 1-70, 1922.</ref>
| |
| | |
| :<math>\frac{g(E)}{g_{av}} = \Pi_{2}\prod\frac{(p-1)}{(p-2)}\,,\quad\quad\quad\quad\quad\quad(1)</math>
| |
| | |
| where the product is taken over all primes p that are factors of <math>E/2</math>. The factor on the right is the twin-prime constant
| |
| | |
| :<math>\Pi_{2} = \prod_{p>2}\left(1-\frac{1}{(p-1)^{2}}\right) = 0.6601618...</math> | |
| | |
| Here the product is taken over all primes greater than 2.
| |
| [[Image:gbcomethistoga3.jpg|300 px|right]]
| |
| Of particular interest is the peak formed by selecting only values of <math>E/2</math> that are prime. The product factor in equation (1) is then very close to 1. The peak is very close to a Gaussian form (shown in gray). For this range of ''E'' values, the peak location is within 0.03% of the ideal Π<sub>2</sub>.
| |
| | |
| When histograms are formed for different average values of ''E'', the width of this (primes only) peak is found to be proportional to <math>1/\sqrt{g_{pav}(E)}</math>. However, it is a factor of about 1.85 less than the value <math>\sqrt{2/g_{pav}(E)}</math> that would be expected from a hypothesis of totally [[random]] occurrence of prime-pair matching. This may be expected, since there are [[correlation]]s that give rise to the separated peaks in the total histogram.
| |
| | |
| [[Image:gbcomethistoga4.jpg|300 px|right]]
| |
| Returning to the full range of <math>E/2</math> rather than just primes, it is seen that other peaks associated with specified lowest factors of <math>E/2</math> can also be [[Curve fitting|fitted]] by a [[Gaussian]], but only on their lower shoulder. The upper shoulder, being formed by an aggregate of subsidiary peaks, lies above the simple Gaussian form.
| |
| | |
| The relative heights of the peaks in the total histogram are representative of the populations of various types of <math>E/2</math> having differing factors. The heights are approximately proportional to <math>\Pi\,p</math>, the products of the lowest factors. Thus the height of the peak marked (3,5) in the overall histogram is about 1/15 of the main peak. Heights may vary from this by about 20%; their exact value is a complex function of the way in which the peaks are constituted from their components and of their varying width.
| |
| | |
| It is interesting to speculate on the possibility of any number ''E'' having zero prime pairs, taking these Gaussian forms as [[probabilities]], and assuming it is legitimate to [[extrapolate]] to the zero-pair point. If this is done, the probability of zero pairs for any one ''E'', in the range considered here, is of order 10<sup>−3700</sup>. The integrated probability over all ''E'' to infinity, taking into account the narrowing of the peak width, is not much larger. Any search for violation of the Goldbach conjecture may reasonably be expected to have these odds to contend with; a [[Quixotism|quixotic]] venture.
| |
| | |
| == See also ==
| |
| *[[Goldbach's conjecture]]
| |
| | |
| ==References==
| |
| {{reflist}}
| |
| | |
| [[Category:Prime numbers]]
| |
Hi there, I am Andrew Berryhill. For a while I've been in Alaska but I will have to transfer in a year or two. What I adore doing is football but I don't have the time recently. Distributing manufacturing has been his occupation for some time.
Stop by my weblog: online psychic chat (click through the following document)