Abstract

I construct and analyze a family of arithmetic worlds generated by the twin primes. A world here is an elementary object: a chosen set of primes together with all the integers those primes generate by multiplication, and nothing else. Viewing the integers through a bilayer—two parallel copies of the number line separated by the twin gap 2, classifies every odd position into four types, written 11, 10, 01, 00 according to the primality of the position and of its upper neighbor, that obey an exact transition grammar with one forbidden set of transitions and one forced local word, and a balance law: the two singly-prime populations agree to within 2 at every height. Removing the upper twin primes from the alphabet of all primes splits the multiplicative structure into two complementary worlds whose zeta functions factor Riemann’s: ${\zeta }_L\left(s\right){\zeta }_R\left(s\right)=\zeta \left(s\right)$ for $\mathrm{Re}s>1$ . World L inherits the pole behavior, the boundary growth, and every classical analytic difficulty; world R, the integers built exclusively from upper twin primes, has a convergent zeta at $s=1$ (by Brun’s theorem), no parity problem (its Liouville sum is an absolutely convergent product), and exactly one hard statement: whether its alphabet is infinite, which is the twin prime conjecture. Statements about abscissae of convergence, boundary behavior at $s=1$ , and analytic continuation of the two factors are separate distributional questions, kept strictly apart from that equivalence (Section 7.6). I prove a general Privileged World Theorem: for any set P of primes, the world $W\left(P\right)$ satisfies a division law ($m$ -multiples divided by $m$ reproduce the world, for every member $m$ ), gap covariance, a head law stamping the alphabet’s initial spacings at every scale, an exact tiling by smallest-factor branches, and recovery of the alphabet from the member list alone by Möbius-von Mangoldt inversion, verified on twin, congruence, and Bertrand alphabets, the last two provably infinite. The worlds organize into a singularity spectrum in which the real-axis boundary behavior of ${\zeta }_W$ at $s=1$ measures the density of the prime set, and this spectrum exposes an honest two-layer decomposition of the twin prime conjecture into existence (the Euler product of ${\zeta }_R$ has infinitely many factors) and density (the Hardy-Littlewood layer). Within world R the twin phenomenon regenerates: 1874 second-generation pairs below 10⁷ obey a stabilized density law, every pair anchored on the prime 5 by a proven congruence theorem, while the pure third generation is impossible by a congruence argument and the mixed third generation is empty below 10⁹. Cross-world structure includes quadruple and hexad patterns binding the two worlds and a decomposition of Dubner’s twin-Goldbach conjecture into three channels modulo 6 whose synchronized exceptions reproduce the classical list exactly, together with a proven divisibility law for Goldbach representations at the integer level of world R. Throughout, the prime 5—the unique prime that is both a lower and an upper twin—appears as the two worlds’ only shared letter, the generator of world R’s grading modulo 3, and the mandatory ancestor of every future generation of twins. The author’s published work “The Mathematical Principles of Causal Conspiracy” (SCIRP) describes a dual-world representation of nature with a paired structure that corresponds to the bilayer of the twin primes.

Keywords

Twin Primes, Bilayer Classification, Beurling Generalized Numbers, Euler Products, Self-Similarity, Singular Series, Goldbach Decomposition, Parity, Multiplicative Monoids

Share and Cite:

1. Introduction

This paper develops a construction that begins with a single picture—the integers viewed through two parallel sheets separated by the twin gap 2, and ends with a general theorem about arbitrary prime-generated number systems, a factorization of the Riemann zeta function into a classical-difficulty factor and a twin-difficulty factor, and a self-reproducing hierarchy of twin generations. Every claim carries one of four registers, maintained strictly: [Theorem] for statements proved here (all elementary, each with its proof set directly beneath it), [Cited] for established results used as anchors, [Measured] for numerical facts verified in the course of this work with ranges stated, and [Conjecture] for what is proposed. Where measurements motivated or confirmed a theorem, the text says so before the theorem is stated.

1.1. The References and What They Do in This Paper

Brun’s theorem [1], the convergence of the sum of reciprocals of the twin primes, is the founding theorem of this paper’s worlds: I invoke it to prove that world L has positive density (Section 4), that world R’s zeta function converges at $s=1$ (Section 4), and that world R’s Liouville sum converges (Section 6). In this paper, Brun 1919 is read as the first theorem ever proved about world R. The Hardy-Littlewood memoir [2] supplies the singular series constant $\Phi =2C_2=1.3203236\cdots$ , which appears here as the limiting increment that removal adds to the average prime gap (Section 9) and as the conditional density layer of the conjecture (Section 7.6). Dubner’s conjecture [3], catalogued with its 35 exceptional even numbers as OEIS entry A007534, asserts that every even number beyond 4208 is a sum of two twin primes; Section 8.4 decomposes it exactly into three channels modulo 6 and verifies that its exceptions are synchronized triples, one per channel. Beurling’s theory of generalized number systems [4], in the modern treatment of Diamond and Zhang, is the frame into which all the worlds of this paper fall: each is a Beurling system whose primes are the chosen set, and the Privileged World Theorem of Section 7 isolates the elementary structure that all of them share. Landau’s theorem [5] on integers composed of primes from a fixed congruence class calibrates the half-power point of the singularity spectrum in Section 7.5, where its constant is measured at 0.326 for the class 1 mod 4. Dirichlet’s theorem [6] and the Bertrand-Chebyshev theorem [7] supply the two provably infinite alphabets on which the general theorem is stress-tested; the second furnishes the counterexample world whose alphabet is infinite while its zeta converges far below $s=1$ , forcing the refinement of Section 7.6. The primon-gas papers of Julia [8], Bakas-Bowick [9], and Spector [10], in which the integers are the states of a quantum gas, $\zeta$ its partition function, and the Liouville function the fermion parity, supply the statistical-mechanics vocabulary used, as labeled interpretation only, for world R’s grading, and the Bost-Connes system [11] anchors the reading of the pole at $s=1$ as a phase transition, which world R provably never undergoes. Chen’s theorem [12] appears where the bilayer’s classes meet the deficit spectrum of the companion paper. Tao’s logarithmically averaged two-point Chowla theorem [13] is cited for contrast in Section 6: the parity problem it cracked in the ordinary integers does not exist in world R and is visible as a congruence in the pure lower world. The companion papers [14]-[16] supply the divisor-deficit framework, the deficit spectrum with its Gap Theorem, and the register discipline; results from them are cited, not reproved. The On-Line Encyclopedia of Integer Sequences [17] catalogs the atoms of this paper—A001359 (lower twins), A006512 (upper twins), A001097, A014574, A007534, and Section 10 records the new sequences this work contributes.

1.2. Definitions and Notation

This section defines every term used in the paper, so that a student can read what follows without outside preparation.

Primes and twin pairs. A prime is an integer greater than 1 whose only divisors are 1 and itself. A twin prime pair is a pair of primes at distance 2, such as $\left(11,13\right)$ . In the pair $\left(p,p+2\right)$ , the prime $p$ is called the lower twin and $p+2$ the upper twin. The lower twins begin $3,5,11,17,29,41,\cdots$ (OEIS A001359); the upper twins begin $5,7,13,19,31,43,\cdots$ (OEIS A006512). The twin prime conjecture states that there are infinitely many such pairs. Note that the prime 5 appears in both lists: it is the upper twin of $\left(3,5\right)$ and the lower twin of $\left(5,7\right)$ . Lemma 1.1 below shows that 5 is the only prime with this double membership; I refer to it throughout as the double twin.

Indicators and the four position types. For any integer $x$ , write $1_P\left(x\right)=1$ if $x$ is prime and 0 otherwise. To each odd position $x$ I attach the ordered pair $\left(1_P\left(x\right),1_P\left(x+2\right)\right)$ , which takes four possible values, written compactly as two-bit types:

$11=\left(1,1\right)\left(\text{twin position}\right),10=\left(1,0\right),01=\left(0,1\right),00=\left(0,0\right).$ (1)

In words: a position of type 11 starts a twin pair; type 10 is a prime whose upper neighbor $x+2$ is composite (a lower-prime position); type 01 is a composite position whose upper neighbor is prime (an upper-prime position); type 00 has both entries composite (a composite position). Types 10 and 01 together are the singly-prime positions. These are names for the four values of the pair, nothing more.

Alphabets and worlds. An alphabet (or privileged set) is any nonempty set P of primes. The world generated by P, written $W\left(P\right)$ , is the set of all positive integers whose prime factors all belong to P - that is, the number 1 (the empty product) together with every finite product of primes from P, repetition allowed. A world consists of a set of primes and the integers they generate, and nothing else. For example, $W\left(\left\{2,5\right\}\right)=\left\{1,2,4,5,8,10,16,20,25,\cdots \right\}$ . Unique factorization in the ordinary integers guarantees that factorization is also unique inside every world.

Membership, and integers outside both worlds. Members of a world are the integers it contains. An integer with prime factors drawn from two disjoint alphabets belongs to neither of the two worlds those alphabets generate: for the worlds L and R defined below, $15=3\cdot 5$ has a factor (3) outside R’s alphabet and a factor (5) inside the removed set, so it is a member of neither L nor R. Such integers are called mixed. The two worlds are not a partition of the integers: $L\cap R=\left\{1\right\}$ and $L\cup R$ omits every mixed integer. This point matters for Theorem 8.3.

Removal. Given the set of all primes and a subset S, the removal of S means forming the complementary alphabet: all primes not in S. Removal is a precise operation on alphabets, not a metaphor: to remove the upper twins is to work with the alphabet consisting of every prime that is not an upper twin.

The four worlds of this paper. Let U denote the set of upper twin primes and T the set of lower twin primes. The paper studies:

${\mathcal{N}}_L=W\left(\text{all primes}\backslash U\right):\text{integers with no prime factor in}U\left(\text{world}L\right);$ (2)

${\mathcal{N}}_R=W\left(U\right):\text{integers with every prime factor in}U\left(\text{world}R\right);$ (3)

${\mathcal{N}}_{Ls}=W\left(T\right)\text{and}{\mathcal{N}}_{Rs}=W\left(U\right):\text{the pure worlds},$ (4)

i.e., generated by lower twins alone and upper twins alone. (Rs and R coincide; both symbols are kept because the pure pair Ls, Rs is studied as a mirror pair.)

Analytic terms. The zeta function of a world is the Dirichlet series ${\zeta }_W\left(s\right)={\displaystyle {\sum }_{n\in W}{n}^{-s}}$ , which by unique factorization equals the Euler product ${\displaystyle {\prod }_{p\in P}{\left(1-p^{-s}\right)}^{-1}}$ wherever both converge. The reciprocal sum of an alphabet is ${\displaystyle {\sum }_{p\in P}1/p}$ ; when it converges, so does ${\zeta }_W\left(1\right)$ . The gap sequence of a world is the sequence of differences between consecutive members listed in increasing order; the gap sequence of an alphabet is defined the same way on the alphabet itself. The branch at $m$ , for a member $m$ , is the set of members divisible by $m$ . The functions $\omega \left(n\right)$ and $\Omega \left(n\right)$ count the prime factors of $n$ without and with multiplicity; the Liouville function is $\lambda \left(n\right)={\left(-1\right)}^{\Omega \left(n\right)}$ ; $v_5\left(n\right)$ is the exponent of 5 in $n$ .

Equation numbering. Equations are numbered sequentially, with the equation set toward the center and the number at the margin, as in (1)-(4) above.

1.3. Elementary Background Lemmas

The following three lemmas collect the elementary modular arithmetic used throughout. They are stated once here, with one-line proofs, and cited wherever needed; none is a structural result of this paper.

Lemma 1.1 (Triples and the double twin). Among any three integers $x,x+2,x+4$ , one is divisible by 3. Consequently: the only three primes in arithmetic progression with common difference 2 are 3, 5, 7; 2) the prime 5 is the only prime that is simultaneously a lower twin and an upper twin.

Proof. The three numbers cover all residues modulo 3, so one is divisible by 3; if all are prime, that one equals 3, forcing $x=3$ . For (ii): if $n$ is both a lower and an upper twin, then $n-2,n,n+2$ are all prime, so $n-2=3$ and $n=5$ .

Lemma 1.2 (Twin residues). Let $\left(p,p+2\right)$ be a twin pair with $p>3$ . Then $p\equiv 2$ and $p+2\equiv 1\left(\mathrm{mod}3\right)$ ; equivalently, for $p>3$ the lower twin is $\equiv 5$ and the upper twin $\equiv 1\left(\mathrm{mod}6\right)$ . The prime 3 is the unique twin divisible by 3, and the exceptional memberships of 3 and 5 are read off from the pairs $\left(3,5\right)$ and $\left(5,7\right)$ .

Proof. Neither member is divisible by 3 and they differ by 2, so they occupy the two nonzero classes; $p\equiv 1$ would force $p+2\equiv 0$ . Both are odd, which upgrades the mod-3 statement to mod 6.

Lemma 1.3 (Oddness and digit endings). Every twin prime is odd; hence every member of a world generated by twins alone (lower, upper, or any subset) is odd, and the sum of two such members is never such a member. An integer not divisible by 5 does not end in the digit 0 or 5.

Proof. The prime 2 is not a twin (its neighbors 0 and 4 are not prime), so twin alphabets consist of odd primes, whose products are odd; the sum of two odd numbers is even. The digit statement is divisibility by 5 read in base 10.

1.4. Plan of the Paper

Section 2 measures the bilayer classification. Section 3 proves its structural theorems, citing the lemmas above for the elementary steps. Section 4 constructs worlds L and R and factors zeta, distinguishing throughout between real-axis boundary behavior (unconditional) and analytic continuation (not asserted). Section 5 develops the pure mirror worlds. Section 6 measures factor statistics and locates where the classical difficulties live. Section 7 proves the Privileged World Theorem and the singularity spectrum, with the two-layer refinement of the conjecture. Section 8 develops the twin generations and the Goldbach decomposition. Section 9 collects geometric interpretations, clearly labeled as such. Section 10 concludes.

2. The Bilayer Classification: Measurements

Place two copies of the integer line as parallel sheets separated by the gap 2, and view them together: at position $x$ , the left sheet is occupied when $x$ is prime, the right sheet when $x+2$ is prime. On even positions both sheets are vacant beyond trivial boundary cases, since an even number exceeding 2 is composite; so the classification lives on the odd numbers, where each position carries one of the four types of Equation (1).

[Measured] The census on the odd track up to 10⁶: type 11: 8169; type 10: 70,328; type 01: 70,327; type 00: 351,175. The transition counts between consecutive types (at $x$ and $x+2$ ) were tabulated in full; the entries $11\to 01$ , $11\to 00$ , $10\to 11$ , $10\to 10$ , $01\to 01$ , $01\to 00$ , $00\to 11$ , $00\to 10$ are all exactly zero, $11\to 11$ occurs exactly once, $01\to 11$ occurs 8167 times, and $11\to 10$ occurs 8168 times. These measurements motivate every theorem of the next section.

3. The Bilayer Grammar: Theorems and Proofs

Before each theorem I explain in plain language what it says.

3.1. The Balance Law

The two singly-prime censuses above differ by exactly 1 at height 10⁶; more refined counts across the range never differ by more than 2. The following theorem says this is forced: the two singly-prime populations must always balance, because each sheet carries the same total number of primes up to boundary effects. Measurements show that the following theorem applies with the stated constant.

Theorem 3.1 (Balance). At every height X, the number of type-10 positions and the number of type-01 positions up to X differ by at most 2. Moreover, the running sum ${\displaystyle {\sum }_{x\le X}\left(1_P\left(x\right)-1_P\left(x+2\right)\right)}$ over odd $x$ is bounded by an absolute constant; up to 10⁶ it remains in $\left\{1,2\right\}$ .

Proof. Each type-11 position contributes $1-1=0$ to the running sum, each type-10 position +1, each type-01 position-1, each type-00 position 0; so the running sum equals (type-10 count) minus (type-01 count) up to X. On the other hand the sum telescopes: ${\displaystyle {\sum }_{x\le X}{1}_P\left(x\right)}-{\displaystyle {\sum }_{x\le X}{1}_P\left(x+2\right)}$ counts the primes in the two windows $\left[3,X\right]$ and $\left[5,X+2\right]$ , which share all primes except those in the boundary intervals of length 2 at each end. Hence the difference is bounded by the number of primes in two intervals of length 2, which is at most 2.

3.2. The Grammar

Consecutive odd positions $x$ and $x+2$ share information: the second coordinate of the type at $x$ (namely $1_P\left(x+2\right)$ ) is the first coordinate of the type at $x+2$ . So not every type can follow every other; the sequence of types obeys transition rules. The measured transition table has zeros exactly where the following theorem predicts.

Theorem 3.2 (Grammar). In the sequence of types along the odd numbers, the first bit of each type equals the second bit of its predecessor. Consequently 11 can be followed only by 11 or 10; 10 only by 01 or 00; 01 only by 11 or 10; and 00 only by 01 or 00.

Proof. The type at $x+2$ has first coordinate equal to the second coordinate of the type at $x$ . If the type at $x$ is 11 or 01, the next type has first coordinate 1, hence is 11 or 10. If the type at $x$ is 10 or 00, the next type has first coordinate 0, hence is 01 or 00.

3.3. The Unique Double Twin Position

The grammar permits 11 to follow 11, yet the measurement found exactly one such occurrence in a million positions. Lemma 1.1 explains why: two adjacent twin positions would be three primes in arithmetic progression with common difference 2.

Corollary 3.3 (Unique 11 → 11). The transition $11\to 11$ occurs exactly once among the positive integers: at $x=3$ , corresponding to the primes 3, 5, 7. Consequently, beyond this single site, consecutive twin positions differ by at least 6.

Proof. A transition $11\to 11$ at position $x$ means $x,x+2,x+4$ are all prime, which by Lemma 1.1(i) forces $x=3$ . For the spacing: twin positions at $x$ and $x+2$ are excluded beyond the triple, and twin positions at $x$ and $x+4$ would make $x+2,x+4,x+6$ contain three primes spaced by 2 beginning at $x$ unless excluded by the same lemma; hence the next twin position is at $x+6$ or beyond.

3.4. The Forced Local Word

The measurements show that a twin position is almost always immediately preceded by a type-01 position and immediately followed by a type-10 position (8167 and 8168 occurrences against 8169 twin positions, the deficits being boundary effects at the primordial triple). The following theorem shows this local pattern $01\cdot 11\cdot 10$ is forced for every twin position beyond the triple.

Theorem 3.4 (Forced neighborhood). For every twin position $x>3$ : the type at $x-2$ is 01, and the type at $x+2$ is 10.

Proof. The type at $x-2$ has second coordinate $1_P\left(x\right)=1$ , so it is 01 or 11; it cannot be 11, since that would put a twin position at $x-2$ adjacent to the one at $x$ , excluded by Corollary 3.3 for $x>3$ . Hence it is 01. The type at $x+2$ has first coordinate $1_P\left(x+2\right)=1$ , so it is 11 or 10; if it were 11 then $x+4$ would be prime, and $x,x+2,x+4$ would be three primes spaced by 2 with $x>3$ , excluded by Lemma 1.1. Hence it is 10.

3.5. The Double Twin

Corollary 3.5 (Uniqueness of the double twin). The prime 5 is the only prime that is simultaneously a lower twin and an upper twin.

Proof. Lemma 1.1(ii).

The bilayer thus compresses the twin prime conjecture, without loss, into a single census question—is the type-11 class infinite?—while its three sibling classes are settled: the singly-prime classes are infinite (if all sufficiently large primes were lower twins, chains of three primes spaced by 2 would form, contradicting Lemma 1.1; the mirror argument settles the other class), and type 00 is trivially infinite.

4. The Complementary Worlds L and R, and the Factorization of Zeta

Remove the upper twins: work with the alphabet of all primes not in U for world L, and with the alphabet U itself for world R, as defined in (2) and (3). Both worlds are free commutative monoids: unique factorization holds inside each, inherited from the ordinary integers.

[Measured] Census: world L has 446,362 members below 10⁶; world R has 524, 3424, 23,757 members at 10⁴, 10⁵, 10⁶. World R begins $1,5,7,13,19,25,31,35,43,49,\cdots$ ; the smallest positive integers outside it are $2,3,4,6,8,\cdots$ and every even number.

4.1. The Conservation Law

Splitting the primes into two alphabets splits every integer’s Euler factor into one product or the other. The following theorem records the consequence: the two worlds’ zeta functions multiply back to Riemann’s. The identity was verified numerically at $s=2$ to six decimals ($1.644934=1.644934$ ) before being asserted.

Theorem 4.1 (Conservation). For $\text{Re}s>1$ :

${\zeta }_L\left(s\right){\zeta }_R\left(s\right)=\zeta \left(s\right),{\zeta }_R\left(s\right)={\displaystyle \prod }_{q\in U}{\left(1-q^{-s}\right)}^{-1},{\zeta }_L\left(s\right)=\zeta \left(s\right){\displaystyle \prod }_{q\in U}\left(1-q^{-s}\right).$ (5)

Proof. The Euler product of $\zeta \left(s\right)$ runs over all primes. Partition the primes into U and its complement. The product of the factors over the complement is ${\zeta }_L\left(s\right)$ by unique factorization in world L; the product over U is ${\zeta }_R\left(s\right)$ likewise. Multiplying the two partial products restores the full product.

4.2. World L: Density and Boundary Behavior

World L excludes only a sparse set of primes, so it should retain most integers. The next theorem quantifies this: L has positive density, given by a convergent product, and the convergence is exactly Brun’s theorem. The theorem is stated in two registers, kept separate on the referee’s principle that boundary convergence and meromorphic continuation are different things: what Brun’s theorem yields is the density, the convergence of the removal factor on the closed half-plane $\text{Re}s\ge 1$ , and a real-axis pole-type asymptotic at $s=1$ ; it does not yield analytic continuation of either factor past that line, and no such continuation is asserted. Measurements show the theorem applies: the density at 10⁶ is 0.446, the partial product is 0.455, and the limiting value with the density-layer tail estimate is approximately 0.41.

Theorem 4.2 (World L). Write $E\left(s\right)={\displaystyle {\prod }_{q\in U}\left(1-q^{-s}\right)}$ . Then:

(a) (Density.) The members of L have natural density ${\delta }_L=E\left(1\right)={\displaystyle {\prod }_{q\in U}\left(1-1/q\right)}$ , and this product converges to a positive number.

(b) (Boundary asymptotic.) The product $E\left(s\right)$ converges absolutely and uniformly on $\text{Re}s\ge 1$ , defining a function analytic on $\text{Re}s>1$ and continuous on the closed half-plane. Consequently, as $s\to 1$ within $\text{Re}s>1$ ,

${\zeta }_L\left(s\right)=\zeta \left(s\right)E\left(s\right)~\frac{{\delta }_L}{s-1},\text{in particular}\underset{\sigma \to 1^{+}}{\text{lim}}\left(\sigma -1\right){\zeta }_L\left(\sigma \right)={\delta }_L.$ (6)

This is a boundary statement along and near the real axis. Whether ${\zeta }_L$ possesses a meromorphic continuation to a neighborhood of $s=1$ , with (6) upgraded to a genuine simple pole, depends on continuing E past $\text{Re}s=1$ , which Brun’s theorem does not supply and which is not asserted here.

(c) (Zeros.) On $\text{Re}s>1$ , ${\zeta }_L$ has no zeros (all Euler factors are nonvanishing there). Any comparison between the zero set of ${\zeta }_L$ and the zeros of $\zeta$ requires an analytic continuation of E into the critical strip; under any hypothesis supplying such a continuation to a region Ω with E nonvanishing on Ω, the zero sets of ${\zeta }_L$ and $\zeta$ would coincide on Ω. Unconditionally, no statement about zeros off $\text{Re}s>1$ is made.

(d) (Divisibility.) No member of L is divisible by 5 or by 7 (both are upper twins); hence, by Lemma 1.3, no member of L ends in the digit 0 or 5.

Proof. (a) By the sieve of the excluded primes: truncating U at height $Q$ gives the density ${\displaystyle {\prod }_{q\in U,q\le Q}\left(1-1/q\right)}$ for integers avoiding the truncated set, with the error controlled by the tail ${\displaystyle {\sum }_{q>Q}1/q}$ , which tends to 0 because ${\displaystyle {\sum }_{q\in U}1/q}$ converges by Brun’s theorem [1]. (b) For $\text{Re}s\ge 1$ , $\left|q^{-s}\right|\le 1/q$ , so the product converges absolutely and uniformly by comparison with ${\displaystyle \sum 1/q}$ ; analyticity in the open half-plane and continuity on the closed half-plane follow. The asymptotic (6) multiplies $\left(s-1\right)\zeta \left(s\right)\to 1$ by $E\left(s\right)\to E\left(1\right)={\delta }_L$ . (c) Each factor $1-q^{-s}$ vanishes only where $q^{-s}=1$ , i.e., on $\text{Re}s=0$ , so no factor vanishes on $\text{Re}s\ge 1$ ; the conditional statement is immediate from ${\zeta }_L=\zeta E$ . (d) 5 and 7 are upper twins, hence not in L’s alphabet; the digit statement is Lemma 1.3.

4.3. World R: No Pole, and the Honest Dichotomy

World R is generated by a sparse alphabet, and Brun’s theorem again controls its analysis: the harmonic sum over the world converges, so there is no pole. What happens at $s=1$ then depends entirely on whether the alphabet is infinite, and that is the twin prime conjecture. The measured partial product for ${\zeta }_R\left(1\right)$ is 2.198.

Theorem 4.3 (World R). The series ${\zeta }_R\left(1\right)={\displaystyle {\sum }_{n\in {\mathcal{N}}_R}1/n}$ converges; world R’s zeta has no pole at $s=1$ . Furthermore, exactly one of the following holds: (i) the twin primes are finite, in which case ${\zeta }_R$ is a finite Euler product, a meromorphic function on the whole plane whose poles lie on the imaginary axis at the points $s=2\pi \text{i}k/\ln q$ , $q\in U$ ; or (ii) the twin primes are infinite, in which case the Euler product of ${\zeta }_R$ has infinitely many factors. The twin prime conjecture is equivalent to (ii).

Proof. Convergence at $s=1$ : ${\zeta }_R\left(1\right)={\displaystyle {\prod }_{q\in U}{\left(1-1/q\right)}^{-1}}=1/{\delta }_L$ , finite by Theorem 4.2, i.e., by Brun. The dichotomy is immediate: the number of Euler factors equals the number of upper twins, and each pair contributes exactly one upper twin. In case (i) the finite product is an elementary function; each factor ${\left(1-q^{-s}\right)}^{-1}$ has poles exactly where $q^{-s}=1$ , i.e., at $s=2\pi \text{i}k/\ln q$ .

The further statement that in case (ii) the abscissa of convergence of ${\zeta }_R$ equals 1 requires a lower bound on the density of the twins, which no theorem supplies; this is addressed honestly in Section 7.6.

4.4. The Grading of world R

Every upper twin except 5 leaves remainder 1 on division by 3 (Lemma 1.2). The next theorem converts this into a complete residue rule for all of world R. The mod-6 clause was corrected in revision: divisibility by 5 does not by itself place a member in class 5 mod 6, since $25=5^2\equiv 1\left(\mathrm{mod}6\right)$ is a member of R; the correct criterion is an odd exponent of 5, and the corrected rule was verified without exception across the members to 10⁶, where the superseded criterion fails for exactly 1267 members, the first being $25,175,325,475$ .

Theorem 4.4 (Grading). Every member $n$ of world R satisfies

$n\equiv {\left(-1\right)}^{v_5\left(n\right)}\left(\mathrm{mod}3\right),$ (7)

where $v_5\left(n\right)$ is the exponent of 5 in $n$ . In particular no member is divisible by 3, and a member is congruent to 5 modulo 6 exactly when $v_5\left(n\right)$ is odd. Divisibility by 5 is necessary for the class 5 mod 6, but not sufficient: members with even positive $v_5$ lie in class 1 mod 6.

Proof. Write $n=5^{a}m$ with $5\nmid m$ ; every prime factor of $m$ is an upper twin other than 5, hence $\equiv 1\mathrm{mod}3$ by Lemma 1.2, so $m\equiv 1\mathrm{mod}3$ . Since $5\equiv -1\mathrm{mod}3$ , $n\equiv {\left(-1\right)}^a\mathrm{mod}3$ . Both values ±1 are nonzero mod 3. For the mod-6 clause: members are odd (Lemma 1.3), and an odd number is $\equiv 5\mathrm{mod}6$ exactly when it is $\equiv 2\mathrm{mod}3$ , which by (7) happens exactly when $v_5\left(n\right)$ is odd. An odd $v_5$ entails $5|n$ , giving necessity of divisibility; the members $25,175,\cdots$ show it is not sufficient.

5. The Pure Mirror Worlds

Now restrict both alphabets to twins only: $Ls=W\left(T\right)$ (lower twins) and $Rs=W\left(U\right)$ (upper twins), as in (4).

5.1. Equinumerous Alphabets, One Shared Letter

Theorem 5.1 (Mirror census). At every height $x$ , the number of lower twins up to $x$ equals the number of upper twins up to $x+2$ ; the two alphabets are equinumerous. Their intersection is exactly $\left\{5\right\}$ .

Proof. The map $p\mapsto p+2$ is a bijection from lower twins to upper twins, increasing each element by 2; this gives the count statement. The intersection consists of primes that are both lower and upper twins, which is $\left\{5\right\}$ by Lemma 1.1(ii).

5.2. The Residue Laws

Corollary 5.2 (Mirror residues). Every upper twin except 5 is $\equiv 1\left(\mathrm{mod}3\right)$ ; every lower twin except 3 is $\equiv 2\left(\mathrm{mod}3\right)$ ; and 3 is the unique twin divisible by 3.

Proof. Lemma 1.2.

5.3. Oddness and the Additive Void

Corollary 5.3 (Oddness). Every member of Ls and of Rs (and of R) is odd. The prime 2 belongs to neither pure alphabet.

Proof. Lemma 1.3.

Corollary 5.4 (Additive void). In each pure world, the sum of two members is never a member.

Proof. Lemma 1.3: all members are odd, sums of two members are even.

5.4. The Two Parity Trivializations

In the ordinary integers, controlling the average of the Liouville function $\lambda \left(n\right)={\left(-1\right)}^{\Omega \left(n\right)}$ is a problem of Prime-Number-Theorem strength, and the “parity problem”—the invisibility of $\lambda$ to congruence-based sieves—is the recognized central obstruction to the twin prime conjecture [13]. Both pure worlds dispose of this problem, in opposite ways. Measurements first: in world R, the sum ${\displaystyle \sum \lambda \left(n\right)/n}$ over members up to 10⁶ came to 0.480 against the predicted product 0.489; in world Ls, the congruence law below was checked exhaustively on the distinct products of the small alphabet.

Theorem 5.5 (Parity by convergence, in R). The series ${\displaystyle {\sum }_{n\in {\mathcal{N}}_R}\lambda \left(n\right)n^{-1}}$ converges absolutely, with value ${\displaystyle {\prod }_{q\in U}q/\left(q+1\right)}$ .

Proof. By unique factorization, the Euler factor of the series at a prime $q$ is ${\displaystyle {\sum }_{a\ge 0}\lambda \left(q^a\right)q^{-a}}={\displaystyle {\sum }_{a\ge 0}{\left(-1\right)}^a{q}^{-a}}={\left(1+1/q\right)}^{-1}=q/\left(q+1\right)$ . The product over $q\in U$ of $\left(1+1/q\right)$ converges since ${\displaystyle \sum 1/q}$ does (Brun), so the series converges absolutely to the stated product. ▫

Theorem 5.6 (Parity by visibility, in Ls). Every member $n$ of Ls not divisible by 3 satisfies

$n\equiv {\left(-1\right)}^{\Omega \left(n\right)}\left(\mathrm{mod}3\right).$ (8)

The Liouville function of the pure lower world is readable as a congruence.

Proof. Write $n$ as a product of lower twins none equal to 3; by Lemma 1.2 each factor is $\equiv -1\left(\mathrm{mod}3\right)$ , so a product of $\Omega \left(n\right)$ of them is $\equiv {\left(-1\right)}^{\Omega \left(n\right)}$ .

5.5. The Injection Theorem

The two pure worlds have equal alphabets by count, yet the lower world is always at least as populous. The reason is that each lower letter is smaller than its mirror partner by exactly 2, and the advantage compounds through products.

Theorem 5.7 (Injection). For every $x$ , the number of Ls-members up to $x$ is at least the number of Rs-members up to $x$ .

Proof. Extend the pair bijection multiplicatively: send ${\displaystyle \prod p_i^{a_i}}\mapsto {\displaystyle \prod {\left(p_i+2\right)}^{a_i}}$ . This maps Ls-members injectively to Rs-members (injectivity by unique factorization on both sides) and strictly increases every member exceeding 1. Hence every Ls-member $\le x$ maps to a distinct Rs-member, and Rs-members $\le x$ pull back only from Ls-members $\le x$ . Counting gives the inequality.

6. Factor Statistics, and Where the Difficulties Live

[Measured] World L keeps the classical shape of the prime-factor-counting statistics with one shifted constant: mean $\omega$ over members 2.366 against the classical 2.854 at 10⁶, the asymptotic shift equal to the reciprocal sum of the removed alphabet ${\displaystyle {\sum }_{q\in U}1/q}=0.747$ (the finite-height lag reflects the scale dependence of the removal sieve), with the Erdős-Kác Gaussian fluctuations intact (variances 0.75 and 0.98, both on the $\ln \ln x$ scale). World R inverts: the Ω histogram at 10⁶ is 8169/8748/4566/1647/474/123/26/3 across depths 1 - 8—the most common member of world R is a product of exactly two twins, with mean $\Omega =2.07$ against the classical 3.63.

The organizing consequence of Theorem 4.1 can now be stated, in the two registers of Section 4.2. At the existence layer, the factorization $\zeta ={\zeta }_L{\zeta }_R$ separates the two great open problems of the subject onto the two factors: world L carries the boundary growth at $s=1$ , the Prime Number Theorem, the parity problem (its Liouville averages still demand deep cancellation), and under any continuation hypothesis in the sense of Theorem 4.2(c)—the Riemann zeros; world R sheds every one of them, its analysis consisting of absolutely convergent products throughout, and retains exactly one hard statement: whether its alphabet is infinite. The transplantation of the classical analytic objects (pole, zeros) onto ${\zeta }_L$ is exact on $\text{Re}s>1$ and boundary-asymptotic at $s=1$ ; beyond that line it is conditional, exactly as Sections 4.2 and 7.6 state.

7. The Privileged World Theorem, Self-Similarity, and the Singularity Spectrum

7.1. What the Theorem Says

Measurements in world R found that the members divisible by 5, when each is divided by 5, reproduce the entire member list exactly (6116 members each way at 10⁶); the same held for the divisors 7, 13, 19, and for the composite divisors 35 and 91. Measurements show that the following theorem applies; and that it applies to every world, not only to R.

Theorem 7.1 (Privileged World Theorem). Let P be any nonempty set of primes and $W=W\left(P\right)$ . Then:

(a) (Division law.) For every member $m\in W$ , the set of members divisible by $m$ , with each divided by $m$ , equals W: in symbols $\left\{n\in W:m|n\right\}=m\cdot W$ .

(b) (Gap covariance.) The gap sequence of the branch at $m$ is $m$ times the gap sequence of W.

(c) (Head law.) Let $q_1=\min P$ . Every member of W below $q_1^2$ is 1 or a prime of P; consequently, for every member $m$ , the branch at $m$ below $m{q}_1^2$ is exactly $m\cdot \left(\left\{1\right\}\cup \left\{p\in P:p<q_1^2\right\}\right)$ , so the alphabet’s initial spacings appear, scaled by $m$ , at the head of every branch.

(d) (Fixed point and tiling.) W is the least set satisfying $X=\left\{1\right\}\cup {\displaystyle {\cup }_{p\in P}pX}$ ; and the members exceeding 1 are partitioned by smallest prime factor: each lies in exactly one branch $q\cdot W_{\ge q}$ , where $W_{\ge q}$ denotes the sub-world over letters $\ge q$ .

(e) (Recovery.) Define ${\Lambda }_W$ on W by ${\displaystyle {\sum }_{d|n,d\in W}{\Lambda }_W\left(d\right)}=\ln n$ . Then ${\Lambda }_W$ is supported exactly on the powers of the primes of P, with ${\Lambda }_W\left(p^k\right)=\ln p$ ; equivalently,

the alphabet’s Dirichlet series satisfies $P_W\left(s\right)={\displaystyle {\sum }_{k\ge 1}\frac{\mu \left(k\right)}{k}\log {\zeta }_W\left(ks\right)}$ . The alphabet is therefore recoverable from the member list alone.

Proofs. (a) If $n\in W$ and $m|n$ , the multiset of prime factors of $n/m$ is contained in that of $n$ , hence lies in P, so $n/m\in W$ ; conversely every element of $mW$ is a member divisible by $m$ . (b) The branch is $mW$ by (a), an order-preserving rescaling of W by the factor $m$ ; differences scale by $m$ . (c) A composite member has at least two prime factors, each $\ge q_1$ , hence is $\ge q_1^2$ ; so below $q_1^2$ only 1 and primes of P remain. Apply (a) to transport this head into every branch. (d) W satisfies the set equation, since every member is 1 or $p\cdot$ (member) for its smallest factor $p$ ; any set satisfying the equation contains 1 and is closed under multiplication by letters, hence contains all finite products, hence contains W; minimality follows. The tiling is the smallest-prime-factor decomposition, unique by unique factorization. (e) The defining recursion is the Möbius pair of the ordinary von Mangoldt identity restricted to W; by unique factorization in W, the standard computation gives ${\Lambda }_W\left(n\right)=\ln p$ if $n=p^k$ with $p\in P$ , and 0 otherwise; taking Dirichlet series and logarithms of the Euler product yields the displayed inversion.

[Measured] The theorem was verified exactly on: world R (divisors 5, 7, 13, 19, 35, 91; tiling 23,756 = 6116 + 3380 + 1596 + ∙∙∙ over 8169 branches; recovery of the first twenty upper twins from the list with no primality test); the arbitrary alphabet $\left\{3,11,17\right\}$ ; the alphabet $\left\{2,5\right\}$ ; the Dirichlet-infinite classes $p\equiv 3\mathrm{mod}4$ and $p\equiv 1\mathrm{mod}4$ ; and the Bertrand alphabet of Section 7.4.

7.2. The Class Exchange

Within world R, one branch of the self-similar structure is distinguished by the grading of Theorem 4.4.

Theorem 7.2 (Class exchange). In world R, multiplication by 5 exchanges the two residue classes modulo 3; multiplication by any other letter preserves them.

Proof. By (7), multiplying by 5 flips the sign ${\left(-1\right)}^{v_5}$ ; multiplying by any letter $\equiv 1\mathrm{mod}3$ leaves the residue unchanged.

[Measured] Sector sizes at 10⁶: 18,908 members in class 1 and 4849 in class 2; the exchange was verified exhaustively. In the statistical-mechanics reading of Section 9 this exchange plays the role of a two-valued charge generated by a single mode; here it is stated purely as a congruence.

7.3. Why Self-Similarity Cannot Decide the Conjecture

It is tempting to argue that a world so perfectly self-reproducing cannot have a finite alphabet. The next proposition shows the temptation must be resisted: a world with a deliberately finite alphabet satisfies every law of Theorem 7.1.

Proposition 7.3 (Finite-alphabet control). Let $P=\left\{5,7,13\right\}$ . Then $W\left(P\right)$ is an infinite set of integers satisfying the division law, gap covariance, head law, fixed-point equation, and recovery of Theorem 7.1, and the recovery yields exactly three primes at every height, forever.

Proof. Theorem 7.1 applies to every alphabet, finite or not; infinitude of $W\left(P\right)$ follows from the powers of 5; the recovery statement follows from part (e), whose support is the prime powers of P, a set with three primes.

[Measured] All laws were verified on this world directly. The structural conclusion: self-similarity consumes the alphabet and cannot produce it. Furthermore, the classical escape from such an impasse is unavailable: Euclid’s proof of the infinitude of the primes leaves the multiplicative span by adding 1, and by Corollary 5.4 the pure twin worlds have no additive structure to exploit. The twin prime conjecture is, in this precise sense, an Euclid-type theorem missing from world R: a proof must construct an exit from a world shown here to have no additive door.

7.4. The Stress Tests on Infinite Alphabets

[Measured] Dirichlet’s theorem [6] guarantees the alphabet $\left\{p\equiv 1\mathrm{mod}4\right\}$ is infinite; its world (9623 members below 10⁵) passed all laws exactly, and its counting function obeys the Landau shape $N\left(x\right)\sqrt{\ln x}/x\to 0.326$ (measured at 10⁴ and 10⁵: 0.3259, 0.3265). The Bertrand alphabet—the smallest prime above each power of 2, infinite by [7]—passed all laws exactly as well, with reciprocal sum 0.7404 and ${\zeta }_W\left(1\right)=2.322$ .

7.5. The Singularity Spectrum

The real-axis boundary behavior of a world’s zeta at $s=1$ measures how dense its alphabet is. Collecting the cases: the full alphabet gives the simple pole of $\zeta$ ; a positive-proportion alphabet such as $p\equiv 1\mathrm{mod}4$ gives a half-power branch ${\left(s-1\right)}^{-1/2}$ with the Landau constant measured above [5]; the twin alphabet, at its conjectural Hardy-Littlewood density $x/{\ln }^{2}x$ , gives the soft branch

$\left(s-1\right)\text{log}\frac{1}{s-1}$ with amplitude Φ established in the companion paper [14]; and

the Bertrand alphabet gives no feature at $s=1$ at all—its zeta converges even at $s=0.2$ (measured value 9934.6). The exponent of the singularity is a meter of the alphabet’s density. All statements in this subsection concern behavior along the real axis approached from the right; none asserts continuation.

7.6. The Honest Two-Layer Decomposition of the Conjecture

The Bertrand world forces a correction of a claim I would otherwise have overstated. Its alphabet is provably infinite, yet its zeta converges far below $s=1$ : infinitude of an alphabet does not imply that the world’s zeta is singular at $s=1$ . Since no theorem of mathematics bounds the density of the twins from below, the unconditional content of the twin prime conjecture is the existence layer: the Euler product of ${\zeta }_R$ has infinitely many factors (Theorem 4.3). The identification of the boundary with $s=1$ , and of the branch amplitude with Φ, is the density layer, conditional on the Hardy-Littlewood conjecture [2]. The two layers are logically independent refinements, and this paper keeps them separate.

8. The Generations, and the Cross-World Structure

8.1. Second-Generation Pairs and the Anchor Theorem

Inside world R, ask the original question one level up: do two members ever sit at distance 2?

[Measured] Counts of such pairs: 16, 73, 359, 1874 at 10⁴, 10⁵, 10⁶, 10⁷; the normalized density $P_2\left(x\right)x/N{\left(x\right)}^2$ stabilizes near 0.64. The first pairs: $\left(5,7\right)$ ; $\left(215,217\right)=\left(5\cdot 43,7\cdot 31\right)$ ; $\left(245,247\right)=\left(5\cdot 7^2,13\cdot 19\right)$ ; $\left(1415,1417\right)=\left(5\cdot 283,13\cdot 109\right)$ . In every observed pair the lower member is divisible by 5. Measurements show that the following theorem applies.

Theorem 8.1 (5-Anchor). If $n$ and $n+2$ are both members of world R, then $5|n$ , and indeed $v_5\left(n\right)$ is odd.

Proof. By Theorem 4.4 no member is $\equiv 0\mathrm{mod}3$ . The pair $n,n+2$ occupies two distinct classes mod 3; avoiding 0 for both forces $n\equiv 2$ and $n+2\equiv 1\left(\mathrm{mod}3\right)$ . By (7), $n\equiv 2$ means ${\left(-1\right)}^{v_5\left(n\right)}=-1$ , i.e., $v_5\left(n\right)$ odd; in particular $5|n$ .

The mirror world $Ls$ regenerates pairs more freely (1606 below 10⁶, normalized constant ≈1.48), with the prime 3 as a statistical anchor (92 percent of pairs have a member divisible by 3) but not an absolute one, since Ls possesses three admissible residue channels where R has one.

8.2. The Extinction of the Pure Third Generation

Iterate the construction: build a world from the upper members of the second-generation pairs, and ask for pairs again. The following theorem shows this pure continuation is impossible.

Theorem 8.2 (Extinction). Every upper member $n+2$ of a second-generation pair satisfies $n+2\equiv 1\left(\mathrm{mod}3\right)$ ; hence every product of such numbers is $\equiv 1\left(\mathrm{mod}3\right)$ , and no two such products can differ by 2.

Proof. The congruence for $n+2$ is part of the proof of Theorem 8.1. A product of numbers $\equiv 1\mathrm{mod}3$ is $\equiv 1\mathrm{mod}3$ . Two integers both $\equiv 1\mathrm{mod}3$ differ by a multiple of 3; their difference is $\equiv 0\mathrm{mod}3$ , never 2.

The only viable lineage carries both members of each pair forward, since the 5-anchored lower members supply the class-2 letters that a future pair requires. The mixed world holds 55,971 integers below 10⁹, and beyond the inherited pairs contains no new pair: the third generation is empty below a billion, with the smallest candidates excluded by S-unit finiteness (equations of the form $5^a{7}^b\pm 2$ landing in the world have finitely many solutions per form). The generational census per comparable range: 8169, then 359, then 0.

8.3. The Wheel-Template Quadruples

The statement of this theorem was narrowed in revision: worlds L and R do not partition the integers (Section 1.2), so the residue argument excludes the class-0 position from world R but does not place it in world L—it may be occupied by a mixed integer. The measurements below now report the occupancy of that position exactly, and the exclusion is all the theorem asserts.

Theorem 8.3 (Template). Every second-generation pair $\left(n,n+2\right)$ in world R occupies residues $\left(2,1\right)$ modulo 3, and consequently the two odd positions below it occupy residues $\left(0,1\right)$ at $n-2$ and $n-4$ respectively. The class-0 position $n-2$ cannot belong to world R, since no member of R is divisible by 3 (Theorem 4.4). Nothing further about its membership follows from the residues: it may lie in world L or be a mixed integer belonging to neither world.

Proof. The residues of the pair are from Theorem 8.1’s proof. Stepping down by 2 subtracts 2 mod 3 at each step, giving $n-2\equiv 0$ and $n-4\equiv 1$ . Membership of a class-0 integer in R is excluded by Theorem 4.4. Membership in L is possible (3 belongs to L’s alphabet) but not forced: a class-0 integer with an upper-twin factor, such as $1803=3\cdot 601$ with 601 an upper twin, is a mixed integer in neither world.

[Measured] Of the 359 pairs below 10⁶: the class-0 position $n-2$ lies in world L in 223 cases and is a mixed integer in 136 cases (the first mixed occupants being $1803,2943,5373,6513,8043$ ); it lies in world R in 0 cases, as the theorem requires. Restricting to pairs whose two lower positions both lie in L: 120 pairs extend downward to quadruples with pattern $L,L,R,R$ , the first being $\left(1,3,5,7\right)$ and $\left(211,213,215,217\right)$ ; 152 extend upward to $R,R,L,L$ , the first being $\left(5,7,9,11\right)$ and $\left(245,247,249,251\right)$ ; and 48 extend both ways into full hexads $L,L,R,R,L,L$ , the first being $\left(1,3,5,7,9,11\right)$ : the opening six odd numbers of arithmetic.

8.4. The Chiral Decomposition of Twin Goldbach

Dubner’s conjecture [3] states that every even number greater than 4208 is a sum of two twin primes (lower or upper). The residue laws of Corollary 5.2 split the statement into three independent channels.

Theorem 8.4 (Channel structure). Modulo 6: a sum of two upper twins (excluding the anomalies) lies in class 2; a sum of two lower twins lies in class 4; a sum of one upper and one lower twin lies in class 0. Hence, apart from representations using the anomalous letters 3 and 5, the even classes 2, 4, 0 mod 6 are served respectively by the channels upper + upper, lower + lower, and mixed.

Proof. By Corollary 5.2 and Lemma 1.2, non-anomalous upper twins are $\equiv 1$ and lower twins $\equiv 5\mathrm{mod}6$ . Then $1+1=2$ , $5+5=10\equiv 4$ , and $1+5=6\equiv 0\mathrm{mod}6$ .

[Measured] To 10⁶: the upper + upper channel has 12 exceptional evens in its class (largest 4208), the lower + lower channel 11 (largest 4204), the mixed channel 12 (largest 4206); the union of the three exception lists reproduces Dubner’s list exactly, split by residue; and the classical exceptions verify as consecutive-even triples, one per channel and each exceptional site is a single scarcity of twins near $n/2$ affecting all three channels at once.

Theorem 8.5 (Divisibility law for Goldbach in world R). If an even number $n\equiv 4\left(\mathrm{mod}6\right)$ is a sum of two members of world R, then $5|n$ .

Proof. Members are $\equiv 1$ or $5\mathrm{mod}6$ (Theorem 4.4 with oddness). A sum $\equiv 4\mathrm{mod}6$ requires both summands $\equiv 5\mathrm{mod}6$ ; by the corrected clause of Theorem 4.4 each summand then has odd $v_5$ , in particular each is divisible by 5, hence so is the sum.

[Measured] 133,340 evens below 10⁶ are not sums of two R-members is equal to the density 4/15 of the class obstructed by Theorem 8.5, to four digits. Outside the obstructed class and sporadic small cases, coverage is essentially complete.

9. Interpretations

This section collects readings that aid intuition; each rests on the theorems and measurements above and is labeled as interpretation where it exceeds them. By transport of order structure, each world is internally a standard model of arithmetic—the twin question lives in the embedding of the world into the integers, not in any internal law. The average gap between consecutive members of world L exceeds the average prime gap by an increment measured at 1.4797 at 10⁶ and tending, under the density layer, to Φ [2]: removal stretches the metric by the singular series. The prime world’s exponential-sum peak at frequency 1/3 equals the real value −0.5000 (the Möbius amplitude $\mu \left(3\right)/\phi \left(3\right)$ , with measured extinctions at 1/4 and 1/8); world L’s peak is $-0.5000-0.1010\text{i}$ , a ten-percent imaginary part, because 8168 of the 8169 removed primes occupied the single class $1\mathrm{mod}3$ (Lemma 1.2), the exception being 5. World R’s peak at 1/3 has modulus 0.9998: a nearly perfectly coherent structure and the most ordered world in this paper; and by Theorem 4.3, the only world that provably has no phase transition in the Bost-Connes sense [11]. In the primon-gas vocabulary [8]-[10], world R is the pure pairing sector, and the grading (7) is a two-valued charge generated by a single mode; the deficit-spectrum companion [15] supplies the energy stratification of the bilayer’s four position types.

The removal-invariance law, corrected in revision. The original claim—that the gap 2 between members of world L is impossible beyond a boundary pair—was false at the member level: composite members supply gap-2 pairs freely, beginning with $\left(1,3\right)$ and $\left(9,11\right)$ , and world L contains 175,792 member pairs at distance 2 below 10⁶. The true and provable statement lives one level up, at the alphabet. No two letters of L’s alphabet differ by 2: if $p$ and $p+2$ are both prime, then $p+2$ is an upper twin and is removed. So the minimal gap between letters of L, beyond the boundary pair $\left(2,3\right)$ , is 4, and it is realized: below 10⁶ there are 6750 cousin pairs $\left(p,p+4\right)$ with both members in L’s alphabet, the first being $\left(37,41\right)$ , $\left(67,71\right)$ , $\left(79,83\right)$ —exactly the cousin pairs neither of whose members is an upper twin, since $p+2$ prime would recreate the triple of Lemma 1.1 and $p-2$ prime would make $p$ itself removed. The minimal-gap problem for the alphabet is thereby reborn at the cousins, with the same Hardy-Littlewood constant $C_4=C_2=\Phi /2$ governing the conjectural density; iterating the removal—next deleting the upper cousins from the new alphabet—produces a tower of alphabets, each carrying an equivalent minimal-gap conjecture one even number further out. The problem is invariant under removal at the alphabet level; the member level, as the corrected census shows, forgets the gap immediately.

10. Conclusion, and the Sequence Catalog

The constructions of this paper settle everything about the twin worlds except the question they were built to house. The bilayer’s grammar, balance, and forced neighborhood are theorems with elementary proofs; the factorization $\zeta ={\zeta }_L{\zeta }_R$ is exact on $\text{Re}s>1$ and separates the classical difficulties from the twin difficulty at the existence layer. The Privileged World Theorem shows the structural machinery—the division law, gap covariance, head stamps, tiling, recovery—to be universal, valid for finite alphabets, provably infinite alphabets, and the twins alike; the singularity spectrum locates world R between the worlds Dirichlet settled and the worlds Bertrand settled; the generations regenerate the phenomenon inside its own output, anchored at every level on the prime 5; and the Goldbach decomposition binds the complementary worlds back together additively under a proven divisibility law. What remains open is exactly what was open at the start, in its sharpest forms: the existence layer—the Euler product of ${\zeta }_R$ has infinitely many factors; the missing Euclid-type escapes from a world with no additive door; and the unborn third generation.

New integer sequences contributed by this work include the worlds ${\mathcal{N}}_R,{\mathcal{N}}_L,{\mathcal{N}}_{Ls}$ ; the second-generation anchors $5,215,245,1415,1805,2105,\cdots$ with Theorem 8.1 as their comment line; the quadruple starts $1,211,1411,2101,\cdots$ with Theorem 8.3; the mixed occupants of the class-0 positions $1803,2943,5373,\cdots$ recording the non-partition of Section 8.3; and the three channel exception lists of Section 8.4 refining A007534.

Acknowledgements

The author acknowledges the great mathematicians who prepared the way for this work. Claude (Anthropic, model Claude Fable 5) was used as a computational, verification, and editorial tool throughout. Every theorem was verified numerically before assertion, every measurement is reported with its range, and corrected by a test the author performed in Maple 24. The constructions, the research direction, and sole responsibility for all claims rest with the author.

Conflicts of Interest

The author declares no conflicts of interest regarding the publication of this paper.

References