Models for gaps $g=2p_1$

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 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.

16 pages, 1 figure