-
Eratosthenes sieve supports the $k$-tuple conjecture
Authors:
Fred B. Holt
Abstract:
Viewing Eratosthenes sieve as a discrete dynamic system, we show that every admissible instance of every admissible constellation of gaps arises and persists in Eratosthenes sieve. For an admissible constellation of length J, we show that its population across stages of the sieve is consistent with the Hardy and Littlewood estimates from 1923. This work strongly connects Eratosthenes sieve to the…
▽ More
Viewing Eratosthenes sieve as a discrete dynamic system, we show that every admissible instance of every admissible constellation of gaps arises and persists in Eratosthenes sieve. For an admissible constellation of length J, we show that its population across stages of the sieve is consistent with the Hardy and Littlewood estimates from 1923. This work strongly connects Eratosthenes sieve to the k-tuple conjecture, and it provides a compact notation, primorial coordinates, for tracking the locations of admissible instances for a constellation.
△ Less
Submitted 8 July, 2025; v1 submitted 27 February, 2025;
originally announced February 2025.
-
Expected biases in the distribution of consecutive primes
Authors:
Fred B. Holt
Abstract:
In 2016 Lemke Oliver and Soundararajan examined the gaps between the first hundred million primes and observed biases in their distributions modulo 10. Given our work on the evolution of the populations of various gaps across stages of Eratosthenes sieve, the observed biases are totally expected.
The biases observed by Lemke Oliver and Soundararajan are a wonderful example for contrasting the co…
▽ More
In 2016 Lemke Oliver and Soundararajan examined the gaps between the first hundred million primes and observed biases in their distributions modulo 10. Given our work on the evolution of the populations of various gaps across stages of Eratosthenes sieve, the observed biases are totally expected.
The biases observed by Lemke Oliver and Soundararajan are a wonderful example for contrasting the computational range with the asymptotic range for the populations of the gaps between primes. The observed biases are the combination of two phenomena: (a) very small gaps, say $2 \le g \le 30$, get off to quick starts and over the first 100 million primes larger gaps are too early in their evolution; and (b) the assignment of small gaps across the residue classes disadvantages some of those classes - until enormous primes, far beyond the computational range.
For modulus 10 and a few other bases, we aggregate the gaps by residue class and track the evolution of these teams as Eratosthenes sieve continues. The relative populations across these teams start with biases across the residue classes. These initial biases fade as the sieve continues. The OS enumeration strongly agrees with a uniform sampling at the corresponding stage of the sieve. The biases persist well beyond the computational range, but they are ultimately transient.
△ Less
Submitted 29 April, 2024;
originally announced May 2024.
-
Models for gaps $g=2p_1$
Authors:
Fred B. Holt
Abstract:
We have shown previously that at each stage of Eratosthenes sieve there is a corresponding cycle of gaps $\mathcal{G}(p_0^\#)$. We can view these cycles of gaps as a discrete dynamic system, and from this system we can obtain exact models for the populations and relative populations of gaps $g < 2p_1$ if we can get the initial conditions from $\mathcal{G}(p_0^\#)$. In this addendum we have shown t…
▽ More
We have shown previously that at each stage of Eratosthenes sieve there is a corresponding cycle of gaps $\mathcal{G}(p_0^\#)$. We can view these cycles of gaps as a discrete dynamic system, and from this system we can obtain exact models for the populations and relative populations of gaps $g < 2p_1$ if we can get the initial conditions from $\mathcal{G}(p_0^\#)$. In this addendum we have shown that we can produce the model for $g=2p_1$ from these initial conditions. This model requires one special iteration to track the count from $\mathcal{G}(p_0^\#)$ to $\mathcal{G}(p_1^\#)$, after which we can use the general model for these populations. As a specific example we exhibit the model for the gap $g=82$ using $\mathcal{G}(37^\#)$ for initial conditions.
We show further that in order to produce the models for $g=2p_1+2$ and beyond from initial conditions in $\mathcal{G}(p_0^\#)$, we would have to track subpopulations of the driving terms until the general model applies, that is until $g < 2p_{k+1}$.
This work serves as an addendum to the existing references "Patterns among the Primes" and "Combinatorics of the gaps between primes". We do not duplicate that background here, beyond summarizing a few needed results.
△ Less
Submitted 2 October, 2023; v1 submitted 28 September, 2023;
originally announced September 2023.
-
On the counts of p-rough numbers
Authors:
Fred B. Holt
Abstract:
The p-rough numbers are those numbers all of whose prime factors are greater than p. These are exactly those numbers left after Eratosthenes sieve has been advanced from 2 through the prime p. Here we show that for fixed p there is a line of symmetry for the function $Φ(x,p)$, and we introduce the function $ΔΦ(x,p)$ which is the difference between $Φ(x,p)$ and the line of symmetry. $ΔΦ(x,p)$ is pe…
▽ More
The p-rough numbers are those numbers all of whose prime factors are greater than p. These are exactly those numbers left after Eratosthenes sieve has been advanced from 2 through the prime p. Here we show that for fixed p there is a line of symmetry for the function $Φ(x,p)$, and we introduce the function $ΔΦ(x,p)$ which is the difference between $Φ(x,p)$ and the line of symmetry. $ΔΦ(x,p)$ is periodic and bounded and has a rotational symmetry.
△ Less
Submitted 12 February, 2024; v1 submitted 15 August, 2023;
originally announced August 2023.
-
On the last digits of consecutive primes
Authors:
Fred B. Holt
Abstract:
Recently Oliver and Soundararajan made conjectures based on computational enumerations about the frequency of occurrence of pairs of last digits for consecutive primes. By studying Eratosthenes sieve, we have identified discrete dynamic systems that exactly model the populations of gaps across stages of Eratosthenes sieve. Our models provide some insight into the observed biases in the occurrences…
▽ More
Recently Oliver and Soundararajan made conjectures based on computational enumerations about the frequency of occurrence of pairs of last digits for consecutive primes. By studying Eratosthenes sieve, we have identified discrete dynamic systems that exactly model the populations of gaps across stages of Eratosthenes sieve. Our models provide some insight into the observed biases in the occurrences of last digits in consecutive primes, and the models suggest that the biases will ultimately be reversed for large enough primes.
The exact model for populations of gaps across stages of Eratosthenes sieve provides a constructive complement to the probabilistic models rooted in the work of Hardy and Littlewood, and it provides time constants that describe the evolution of the populations of larger gaps.
△ Less
Submitted 10 July, 2016; v1 submitted 8 April, 2016;
originally announced April 2016.
-
Combinatorics of the gaps between primes
Authors:
Fred B. Holt
Abstract:
A few years ago we identified a recursion that works directly with the gaps among the generators in each stage of Eratosthenes sieve. This recursion provides explicit enumerations of sequences of gaps among the generators, which sequences are known as constellations. The populations of gaps and constellations across stages of Eratosthenes sieve are modeled exactly by discrete dynamic systems. Thes…
▽ More
A few years ago we identified a recursion that works directly with the gaps among the generators in each stage of Eratosthenes sieve. This recursion provides explicit enumerations of sequences of gaps among the generators, which sequences are known as constellations. The populations of gaps and constellations across stages of Eratosthenes sieve are modeled exactly by discrete dynamic systems. These models and their asymptotic behaviors provide evidence on a number of open problems regarding gaps between prime numbers. For Eratosthenes sieve we show that the analogue of Polignac's conjecture is true: every gap $g=2k$ does occur in the sieve, and its asymptotic population supports the estimates made in Hardy and Littlewood's Conjecture B. A stronger form of Polignac's conjecture also holds for the sieve: for any gap $g=2k$, every feasible constellation $g,g,\ldots,g$ occurs; these constellations correspond to consecutive primes in arithmetic progression. The models also provide evidence toward resolving a series of questions posed by Erdös and Turán.
△ Less
Submitted 8 October, 2015; v1 submitted 2 October, 2015;
originally announced October 2015.
-
Constellations of gaps in Eratosthenes sieve
Authors:
Fred B. Holt
Abstract:
A few years ago we identified a recursion that works directly with the gaps among the generators in each stage of Eratosthenes sieve. This recursion provides explicit enumerations of sequences of gaps among the generators, which sequences are known as constellations.
Over the last year we identified a discrete linear system that exactly models the population of any gap across all stages of the s…
▽ More
A few years ago we identified a recursion that works directly with the gaps among the generators in each stage of Eratosthenes sieve. This recursion provides explicit enumerations of sequences of gaps among the generators, which sequences are known as constellations.
Over the last year we identified a discrete linear system that exactly models the population of any gap across all stages of the sieve. In August 2014 we summarized our results from analyzing this discrete model on populations of single gaps. This paper extends the discrete system to model the populations of constellations of gaps.
The most remarkable result is a strong Polignac result on arithmetic progressions. We had previously established that the equivalent of Polignac's conjecture holds for Eratosthenes sieve -- that every even number arises as a gap in the sieve, and its population converges toward the ratio implied by Hardy and Littlewood's Conjecture B. Extending that work to constellations, we here establish that for any even gap $g$, if $p$ is the maximum prime such that $p\# \; | g$ and $P$ is the next prime larger than $p$, then for every $2 \le j_1 < P-1$, the constellation $g,g,\ldots,g$ of length $j_1$ arises in Eratosthenes sieve. This constellation corresponds to an arithmetic progression of $j_1+1$ consecutive candidate primes.
△ Less
Submitted 6 March, 2015; v1 submitted 1 March, 2015;
originally announced March 2015.
-
Nonsimplicities and the perturbed wedge
Authors:
Fred B. Holt
Abstract:
In 2010 Santos described the construction of a counterexample to the Hirsch conjecture, and in 2012 Santos and Weibel provided the coordinates for the 40 facets of a 20-dimensional counterexample. In this paper we explore technical details of the construction using Santos and Weibel's work as the motivating example.
Santos presented the construction in the dual setting. Here we return to the pri…
▽ More
In 2010 Santos described the construction of a counterexample to the Hirsch conjecture, and in 2012 Santos and Weibel provided the coordinates for the 40 facets of a 20-dimensional counterexample. In this paper we explore technical details of the construction using Santos and Weibel's work as the motivating example.
Santos presented the construction in the dual setting. Here we return to the primal setting, in which Santos' construction calls for repeated application of a perturbed wedge operation, a wedge over a facet followed by a perturbation of one or more other facets. We show that the starting point for the construction is a counterexample "P5" to the nonrevisiting conjecture in dimension 5. However, this polytope P5 is not a simple polytope; it contains two nonsimple vertices. As we repeatedly apply the perturbed wedge, the nonsimplicities grow in dimension while their excess is reduced. Finally in dimension 20, the resulting polytope is simple and its diameter exceeds the Hirsch bound by 1.
These notes are a technical companion to the work of Santos and Weibel.
△ Less
Submitted 1 March, 2015; v1 submitted 11 January, 2015;
originally announced January 2015.
-
Eratosthenes sieve and the gaps between primes
Authors:
Fred B. Holt,
Helgi Rudd
Abstract:
A few years ago we identified a recursion that works directly with the gaps among the generators in each stage of Eratosthenes sieve. This recursion provides explicit enumerations of sequences of gaps among the generators, which sequences are known as constellations.
By studying this recursion on the cycles of gaps across stages of Eratosthenes sieve, we are able to provide evidence on a number…
▽ More
A few years ago we identified a recursion that works directly with the gaps among the generators in each stage of Eratosthenes sieve. This recursion provides explicit enumerations of sequences of gaps among the generators, which sequences are known as constellations.
By studying this recursion on the cycles of gaps across stages of Eratosthenes sieve, we are able to provide evidence on a number of open problems regarding gaps between prime numbers. The basic counts of short constellations in the cycles of gaps provide evidence toward the twin prime conjecture and toward resolving a series of questions posed by Erdos and Turan. The dynamic system underlying the recursion provides evidence toward Polignac's conjecture and in support of the estimates made for gaps among primes by Hardy and Littlewood in Conjecture B of their 1923 paper.
△ Less
Submitted 26 August, 2014;
originally announced August 2014.
-
On Polignac's Conjecture
Authors:
Fred B. Holt,
Helgi Rudd
Abstract:
A few years ago we identified a recursion that works directly with the gaps among the generators in each stage of Eratosthenes sieve. This recursion provides explicit enumerations of sequences of gaps among the generators, which are known as constellations.
As the recursion proceeds, adjacent gaps within longer constellations are added together to produce shorter constellations of the same sum.…
▽ More
A few years ago we identified a recursion that works directly with the gaps among the generators in each stage of Eratosthenes sieve. This recursion provides explicit enumerations of sequences of gaps among the generators, which are known as constellations.
As the recursion proceeds, adjacent gaps within longer constellations are added together to produce shorter constellations of the same sum. These additions or closures correspond to removing composite numbers that are divisible by the prime for that stage of Eratosthenes sieve. Although we don't know where in the cycle of gaps a closure will occur, we can enumerate exactly how many copies of various constellations will survive each stage.
In this paper, we broaden our study of these systems of constellations of a fixed sum. By generalizing our methods, we are able to demonstrate that for every even number $2n$ the gap $g=2n$ occurs infinitely often through the stages of Eratosthenes sieve. Moreover, we show that asymptotically the ratio of the number of gaps $g=2n$ to the number of gaps $g=2$ at each stage of Eratosthenes sieve converges to the estimates made for gaps among primes by Hardy and Littlewood in Conjecture B of their 1923 paper.
△ Less
Submitted 15 February, 2014; v1 submitted 9 February, 2014;
originally announced February 2014.
-
On small gaps among primes
Authors:
Fred B. Holt,
Helgi Rudd
Abstract:
A few years ago we identified a recursion that works directly with the gaps among the generators in each stage of Eratosthenes sieve. This recursion provides explicit enumerations of sequences of gaps among the generators, which are known as constellations.
As the recursion proceeds, adjacent gaps within longer constellations are added together to produce shorter constellations of the same sum.…
▽ More
A few years ago we identified a recursion that works directly with the gaps among the generators in each stage of Eratosthenes sieve. This recursion provides explicit enumerations of sequences of gaps among the generators, which are known as constellations.
As the recursion proceeds, adjacent gaps within longer constellations are added together to produce shorter constellations of the same sum. These additions or closures correspond to removing composite numbers that are divisible by the prime for that stage of Eratosthenes sieve. Although we don't know where in the cycle of gaps a closure will occur, we can enumerate exactly how many copies of various constellations will survive each stage.
In this paper, we study these systems of constellations of a fixed sum. Viewing them as discrete dynamic systems, we are able to characterize the populations of constellations for sums including the first few primorial numbers: 2, 6, 30.
Since the eigenvectors of the discrete dynamic system are independent of the prime -- that is, independent of the stage of the sieve -- we can characterize the asymptotic behavior exactly. In this way we can give exact ratios of the occurrences of the gap 2 to the occurrences of other small gaps for all stages of Eratosthenes sieve.
△ Less
Submitted 8 January, 2014; v1 submitted 29 December, 2013;
originally announced December 2013.
-
Estimating constellations among primes - I. Uniformity
Authors:
Fred B. Holt,
Helgi Rudd
Abstract:
A few years ago we identified a recursion that works directly with the gaps among the generators in each stage of Eratosthenes sieve. This recursion provides explicit enumerations of sequences of gaps among the generators, which are known as constellations.
In this paper, we use those enumerations to estimate the numbers of these constellations that occur as constellations among prime numbers, a…
▽ More
A few years ago we identified a recursion that works directly with the gaps among the generators in each stage of Eratosthenes sieve. This recursion provides explicit enumerations of sequences of gaps among the generators, which are known as constellations.
In this paper, we use those enumerations to estimate the numbers of these constellations that occur as constellations among prime numbers, and we compare these estimates with computational results. We include in our estimates the constellations corresponding to three and four consecutive primes in arithmetic progression.
For these initial estimates, we assume that the copies of a given constellation tend toward a uniform distribution in the cycle of gaps, as the recursion progresses. Our simple estimates based on the recursion of gaps and the assumption of uniformity appear to have correct asymptotic behavior, and they exhibit a systematic error correlated to length of the constellation.
△ Less
Submitted 7 December, 2013;
originally announced December 2013.
-
Observations on the Perturbed Wedge
Authors:
Fred B. Holt
Abstract:
Santos' construction of the first known counterexample to the Hirsch conjecture, for bounded polytopes, follows the strategy of first finding a counterexample to the nonrevisiting conjecture. Santos constructs a $5$-dimensional all-but-simple spindle $(P,x,y)$ of length $6$, which is a counterexample to the nonrevisiting conjecture.
For simple polytopes, if we had a counterexample to the nonrevi…
▽ More
Santos' construction of the first known counterexample to the Hirsch conjecture, for bounded polytopes, follows the strategy of first finding a counterexample to the nonrevisiting conjecture. Santos constructs a $5$-dimensional all-but-simple spindle $(P,x,y)$ of length $6$, which is a counterexample to the nonrevisiting conjecture.
For simple polytopes, if we had a counterexample to the nonrevisiting conjecture, we would produce the corresponding counterexample to the Hirsch conjecture through repeated wedging, over all the facets not incident to $x$ or $y$. However, Santos $5$-dimensional spindle is not simple. Every facet is incident to either $x$ or $y$, so we need an alternate method to produce the corresponding counterexample to the Hirsch conjecture. Santos has offered the perturbed wedge to accomplish this.
In these working notes, we offer some technical details regarding the nonsimplicities under iterations of the perturbed wedge construction.
NOTE: these are working notes about the construction.
△ Less
Submitted 3 November, 2013;
originally announced November 2013.
-
Two Observations on the Perturbed Wedge
Authors:
Fred B. Holt
Abstract:
Francisco Santos has described a new construction, per- turbing apart a non-simple face, to offer a counterexample to the Hirsch Conjecture. We offer two observations about this perturbed wedge con- struction, regarding its effect on edge-paths. First, that an all-but- simple spindle of dimension d and length d + 1 is a counterexample to the nonrevisiting conjecture. Second, that there are conditi…
▽ More
Francisco Santos has described a new construction, per- turbing apart a non-simple face, to offer a counterexample to the Hirsch Conjecture. We offer two observations about this perturbed wedge con- struction, regarding its effect on edge-paths. First, that an all-but- simple spindle of dimension d and length d + 1 is a counterexample to the nonrevisiting conjecture. Second, that there are conditions under which the perturbed wedge construction does not increase the diameter. NOTE: These are simply working notes, offering two observations on the construction identified by Santos.
△ Less
Submitted 24 May, 2013;
originally announced May 2013.
-
Expected gaps between prime numbers
Authors:
Fred B. Holt
Abstract:
We study the gaps between consecutive prime numbers directly through Eratosthenes sieve. Using elementary methods, we identify a recursive relation for these gaps and for specific sequences of consecutive gaps, known as constellations. Using this recursion we can estimate the numbers of a gap or of a constellation that occur between a prime and its square. This recursion also has explicit implic…
▽ More
We study the gaps between consecutive prime numbers directly through Eratosthenes sieve. Using elementary methods, we identify a recursive relation for these gaps and for specific sequences of consecutive gaps, known as constellations. Using this recursion we can estimate the numbers of a gap or of a constellation that occur between a prime and its square. This recursion also has explicit implications for open questions about gaps between prime numbers, including three questions posed by Erdös and Turán.
△ Less
Submitted 6 June, 2007;
originally announced June 2007.
-
Expansion properties of a random regular graph after random vertex deletions
Authors:
Catherine Greenhill,
Fred B. Holt,
Nicholas Wormald
Abstract:
We investigate the following vertex percolation process. Starting with a random regular graph of constant degree, delete each vertex independently with probability p, where p=n^{-alpha} and alpha=alpha(n) is bounded away from 0. We show that a.a.s. the resulting graph has a connected component of size n-o(n) which is an expander, and all other components are trees of bounded size. Sharper result…
▽ More
We investigate the following vertex percolation process. Starting with a random regular graph of constant degree, delete each vertex independently with probability p, where p=n^{-alpha} and alpha=alpha(n) is bounded away from 0. We show that a.a.s. the resulting graph has a connected component of size n-o(n) which is an expander, and all other components are trees of bounded size. Sharper results are obtained with extra conditions on alpha. These results have an application to the cost of repairing a certain peer-to-peer network after random failures of nodes.
△ Less
Submitted 29 January, 2007;
originally announced January 2007.
