合成数ペアと同期するゴールドバッハペアの構造的必然性（Preprint）

Structural Necessity of Goldbach Pairs Synchronized with Composite Pairs (Preprint)

Abstract

This study shows that every even number is inevitably expressed as the sum of two primes by uncovering a hidden structure in the space of odd numbers. All pairs of odd numbers fall into three categories—prime pairs, composite pairs, and mixed pairs—and their fluctuations always balance each other. This balance forces prime pairs and composite pairs to rise and fall together with the same direction and the same amplitude, creating a phenomenon we call synchronized oscillation.

Within this structure, the pairs formed by odd multiples of three generate the dominant oscillation and directly push up the number of prime pairs. When this component disappears at certain even numbers, the remaining composite pairs reverse their direction and increase, again pushing up the prime pairs. Because these two mechanisms alternate without gaps, there is no point at which the prime pairs can vanish.

The deviations between the prime number theorem and actual prime counts are not errors of continuous approximation but the visible trace of this synchronized oscillation, which arises from the discrete structure of odd numbers. The symmetry of the odd-number space comes first, and the distribution of primes follows it. As a result, the three-way decomposition is uniquely determined, and the existence of prime pairs for every even number becomes a structural necessity.

要約

本研究は、奇数空間に内在する三つの組み合わせ構造が、 素数どうしの組と合成数どうしの組を必ず同じ方向へ、同じ振幅で揺らす 「同期振動」という現象を生み出していることを示す。 この同期振動こそが、偶数が必ず二つの素数の和として表されることを 構造的に保証している。

奇数どうしの組は、素数どうし、合成数どうし、異種の三成分に必ず分かれ、 それぞれの増減は常に釣り合う。 この釣り合いが、素数の局所的な落ち込みを必ず押し戻す力となり、 素数の揺らぎは平均から決して外れ続けることができない。

特に、周期六で現れる三の奇数倍どうしの合成数の組が主振動となり、 その増加が素数どうしの組を直接押し上げる。 この成分が消える位置では、残りの合成数どうしの組が反転して増え、 やはり素数どうしの組を押し上げる。 押し上げが二重に働くため、素数どうしの組がゼロになる余地は 構造的に存在しない。

素数定理と実測値の差異として現れる揺らぎは、 連続的な近似の誤差ではなく、奇数空間の離散構造が生み出す 同期振動そのものである。 奇数空間の対称性が先にあり、素数の配置はその構造に従うしかない。 このため、すべての偶数における素数どうしの組の存在は 必然的に保証される。

序論

ゴールドバッハ予想は加法数論における最古級の未解決問題であり、
「2 より大きいすべての偶数は 2 つの素数の和として表せる」と主張する
\cite{GoldbachConjecture}。弱い予想は Helfgott により証明され
\cite{Helfgott2012,Helfgott2013}、強い予想についても 4×10¹⁸ まで
計算的に検証されている \cite{Oliveira2014}。しかし一般的な証明はいまだ得られず、素数列の局所的な揺らぎが主要な障害となっている \cite{Haga2017}。
本研究では、この揺らぎの正体が連続的な実数近似と離散的な整数構造の差異に由来する整数振動であり、その整数振動が奇数空間の代数構造として
完全に記述できることを示す。

従来の研究は素数列そのものの解析に依存してきたが、
本研究では視点を転換し、奇数空間に内在する
「素数ペア・合成数ペア・異種ペア」の三成分対称構造に着目する。
著者は先行研究 \cite{Hyama2025} において、合成数ペアと素数ペアの間に
周期的な同期構造が存在することを示し、この構造がゴールドバッハ型の
拘束を生む可能性を指摘した。

本論文ではこの枠組みを拡張し、対称式の基本定理に基づく厳密な
三成分分解（素数ペア・異種ペア・合成数ペア）を導入することで、
同期構造の起源とその必然性を明確にする。

特に、周期6で現れる C3 が主振動となり Pp を押し上げる。 C3 が消える偶数では、残差成分 Cx が反転して増加し、 やはり Pp を押し上げる方向に働く。
この二重の押し上げメカニズムにより、すべての偶数 2n において Pp(2n) > 0 が必然となる。

本論文は以下の流れで構成される：

1. 対称式の基本定理から奇数空間の平均構造を導出する（第1章）

2. 周期 6 の振動が三成分の同期構造を支配することを示す（第2章）

3. その結果として Pp(2n) > 0 が必然となることを結論する（第3章）

さらに、本研究で扱う奇数空間の対称構造および三成分分解
（Pp, Mp, Cp）は、自然数学（正規化自然数）の生成因果に基づく
実在的な代数空間の上で一意に定義される \cite{Hyama2026}。
この枠組みにより、既存数学に固有の非標準モデルや無限依存の問題が排除され、
奇数空間の対称構造が実在的に保証される。

第0章　用語（Terminology）

本論文では、偶数 2n に対して奇数空間における三成分構造と
同期振動を扱うため、以下の用語を用いる。

0.1 奇数空間とペア構造

奇数空間（odd-number space）：
3 <= k <= 2n-3 の奇数全体からなる空間。
この空間におけるペア構造は、同種ペア（Pp, Cp）と
異種ペア（Mp）の三成分に一意に分解される。

同種ペア（homogeneous pairs）：
Pp(2n)：素数どうし（prime–prime）
Cp(2n)：合成数どうし（composite–composite）

異種ペア（heterogeneous pairs）：
Mp(2n)：素数 ＋ 合成数（prime–composite）

0.2 合成数どうしの二重構造

C3(2n)：
3 の奇数倍どうしの合成数ペアの実測値

Cx(2n)：
それ以外の合成数どうしのペア実測値

Cp(2n)：
合成数どうしのペア総数
Cp(2n) = C3(2n) + Cx(2n)

0.3 平均構造（対称式の基本定理による）

Cavg(2n)：合成数ペアの平均値
Pavg(2n)：素数ペアの平均値
Mavg(2n)：異種ペアの平均値

0.4 整数振動（Integer Oscillation）と同期振動（Synchronized Oscillation）

本論文では、素数ペア Pp(2n) の実測値が、 素数定理のような単調増加構造をもつ代数的平均値 Pavg(2n) の周囲で周期的に上下する離散的な揺らぎを 「整数振動（Integer Oscillation）」と呼ぶ。
これは解析的な誤差ではなく、整数空間に固有の構造に起因する決定論的な振動である。

奇数空間のペア構造は、素数ペア Pp、合成数ペア Cp、異種ペア Mp の三成分に一意に分解され、それぞれの偏差は

ΔP(2n) = Pp(2n) − Pavg(2n)
ΔC(2n) = Cp(2n) − Cavg(2n)
ΔM(2n) = Mp(2n) − Mavg(2n)

を満たす。三成分分解の一意性より ΔP(2n) = ΔC(2n) が常に成立し、

ΔP(2n) + ΔC(2n) + ΔM(2n) = 0

という代数的拘束が生じる。この三成分の反転・相補的な連動を「同期振動（Synchronized Oscillation）」と呼ぶ。

すなわち、整数振動はこの同期振動が生み出すマクロな振れ幅であり、
奇数空間の代数構造に由来する本質的な現象である。

第一章　対称式の基本定理と平均構造

対称式の基本定理から「同期振動の定理」を導く

この節では、対称多項式の基本定理を用いて、偶数 2n ≧ 6 におけるゴールドバッハペアである素数ペアの平均構造と、素数ペアと合成数ペアの同期振動を示す。

3 ≦ k ≦ 2n - 3 の範囲における素数の個数を a、合成数の個数を b とする。素数と合成数によって形成されるペア（重複あり。同一の奇数ペアは 0.5 として数える）の組み合わせ総数は

Tc = (a + b)² / 2

である。このうち、x + y = 2n を満たすペア総数は

Tₚ = (a + b) / 2 = (n - 2) / 2

である。ここで a + b = n - 2 が成り立つ。

TcとTₚの比が (a + b) であるため、対称多項式の基本定理より (a + b)² は次の 3 成分に一意に分解される。

Tp = (a + b)² / (2 * (a + b))
= a² / (2 * (a + b)) + a*b / (a + b) + b² / (2 * (a + b))

ここで Cavg(2n)、 Pavg(2n) を

Cavg(2n) = b(2n)² / (2 * (n - 2))
Pavg(2n) = a(2n)² / (2 * (n - 2))

と定める。

最小合成数ペアの実測値 Cmin(2n) と一致するペア平均値 Dmin(2n) は

Cmin(2n) = ( b(2n) - a(2n) ) / 2
= Dmin(2n) = Cavg(2n) - Pavg(2n)

となる。

これを、素数ペアと合成数ペアの実測値がどれだけ振動しても、 その偏差 ΔP と ΔC は個数 a, b と平均値 Pavg, Cavg によって 互いの差（関係式）が一意に拘束されることを示す定理として、 対称式の基本定理から導かれる「同期振幅の定理」と呼ぶ。
図 1は、素数と合成数の個数と、それぞれのペア平均値の単調増加と、それぞれのペア実測値の同期振動の様子です。

同期振動の基礎方程式 (ΔP + ΔC = -ΔM, ΔP ＝ ΔC)

ペア実測値とペア平均値の差を各、

ΔP(2n) = Pp(2n) - Pavg(2n)
ΔC(2n) = Cp(2n) - Cavg(2n)
ΔM(2n) = Mp(2n) - Mavg(2n)

と定める。3 成分分解の一意性より、

ΔP(2n) + ΔC(2n) = -ΔM(2n)

が恒等的に成立する。

これは、素数は Pp か Mp に、合成数は Cp か Mp に必ず分解され、
Pp と Cp が同相で同期振動 (ΔP = ΔC) するため、
その同期振動の合計 (ΔP + ΔC) に対して、
Mp の偏差 ΔM がちょうど同じ振幅で反転振動することを意味する。

この構造は、解析学では陳景潤の「1 + 多くても 2 の定理」(Chen, 1973) によって現象的に裏付けられてきたが、本研究ではその因果が代数的に説明される。

まず素数定理 (Hadamard, 1896; de la Vallée-Poussin, 1896) によりスケール間の単調性が保証され、従来のヒューリスティック研究においてゴールドバッハ予想が妥当と考えられる主要な根拠となってきた \cite{HardyLittlewood1923, MontgomeryVaughan1975, Granville2007}。

さらに、先行研究 \cite{Hyama2025} によって導かれた同期振動の定理により、この基本方程式はスケール依存性が完全に排除されることが示された。以上が平均構造と同期振動に関する既存の枠組みである。

しかし、この同期振動が素数ペアの値をゼロに落とす可能性を、その振動メカニズムの観点から排除できるかどうかは依然として未解決である。
次章では、この点を決定づける振幅メカニズム（C₃ と Cx の二重構造）を解析し、素数ペアがゼロを取り得ないことを示す。

第2章　C₃ 支配と振幅構造

C₃ の存在による主振動

次に３以上の奇数の和に着目し、Hpの同期振幅を解析するために、対角ペア分布を図２で調べる。

2n = 6m の場合、C₃(2n) = n/6 - 1 が均一に出現し、Hp(2n)は同期して増加し、Mp(2n) は減少する。

逆に 6m +/- 2 の場合、C₃(2n) = 0 となり消滅し、Hp(2n)は同期して減少し、Mp(2n) は増加する。

C₃ がTp(2n) = n/2 - 1 の約 1/3 を占めるのは 6m の場合のみであり、これが主振動を引き起こす。これは素数の分布と一致し、素数 (3 を除く) は 6m +/- 1 に出現する。

したがって、C₃ の存在または非存在が同期振幅の主要因となる。6m では存在し、6m +/- 2 では消失し、Mp の増減は隣接する振動と逆位相のHp振幅に分散する。

3 だけでなく素数 5, 7,… などの奇数倍も振動因子となるが、3 が支配的であり、平均値に対して 6m の山と 6m +/- 2の谷で振動する。　この山谷は素数ペアの存在を保証する方向に働く。

図３は、2n の成長に伴って、a と b の成長と、C₃ と Cp とCavg の成長です。参考として -ΔC ＝ -ΔP の成長が Pavg を超えない様子です。

Cx の反転振動

図４では、a、b、Cavg が単調に増加する一方で、 Cx は、Cp の主振動 C₃ が構造から外れるため、 振動の山谷が反転した形で増加する。

重要なのは、Cp の減少局面で Cx が反転して増加する際、Cpと同期振動する Pp がその Cx に対して常に逆位相で同期振動し、 Cp や Cx が減少している局面でさえ、Pp が同期振動を保ちながら成長し続ける点である。

すなわち Pp は Cx とも同期して成長し続けるため、Pp(2n) が 0 を割ることは構造的に不可能となる。

第3章　同期振動の定理と必然性

ここでは、Pp(2n) と Cp(2n) がそれぞれのペア平均値に対して同期振動し、 その結果として Pp(2n) > 0 が構造的に必然となることを示す。

(1) C₃ の出現位置

C₃(2n) ≧ 0 <=> 2n = 6m, C₃(2n) = 0 <=> 2n = 6m ± 2.

周期 6 の構造により、C₃ は 6m にのみ出現し、 6m ± 2 では完全に消失する。

(2) 合成数ペアの分解

Cp(2n) = C₃(2n) + Cx(2n).

(3) 振幅の主成分

2n = 6m のとき C₃(6m) ≧ 0,
Cp(6m) = C₃(6m) + Cx(6m) → 振幅の主成分は C₃

2n = 6m ± 2 のとき C₃(2n) = 0,
Cp(2n) = Cx(2n) → 振幅の成分は Cx.

したがって 6m : 主成分 = C₃、 6m ± 2 : 全成分 = Cx.

(4) 偏差の関係式

3 成分分解の一意性より

ΔP(2n) + ΔC(2n) + ΔM(2n) = 0

を満たす有界量である。

(5) ΔC の符号が ΔP の符号を決める

ΔP(2n) = ΔC(2n)

ΔC > 0 なら ΔP > 0, ΔC < 0 なら ΔP < 0

これは C₃ の有無に関係なく常に成立する。

(6) Cx の成長に対して Pp も必ず成長する

2n = 6m±2 では C₃(2n)=0 であり、 ΔC(2n) の成分は Cx(2n) のみとなる。

このとき

ΔC(2n) = Cx(2n) − Cavg(2n)

であり、

ΔP(2n) = ΔC(2n)

より、

Cx(2n) が成長するとき Pp(2n) も必ず成長方向に同期する。

つまり、

• Pp が Pavg に対して下がる 2n = 6m±2 であっても

• Cx が成長ときは必ず Pp も成長している

という 二重構造 が成立する。

これは図4が示す決定的事実であり、 6m ± 2 においても素数ペアが生成されることを保証する。

結論

本研究が示した最も重要な点は、従来の数論が前提としてきた
「素数の個数や位置を先に調べ、その後に素数和を考える」
という量的・解析的な順序そのものが、奇数空間に先在する構造を
捉え損ねていたという事実である。

ペア問題を代数論的に扱うことで、奇数空間には
素数ペア・合成数ペア・異種ペアという三成分の対称構造が先に存在し、
A（素数）と B（合成数）が素数定理型の比率で発展することにより、
この三成分分解は代数的に一意に定まる。
すなわち、解析数論が A/B の正確な比率を与えてくれれば、
ペア構造は代数的に閉じ、素数の配置は奇数空間の対称構造によって
一意に決定される。素数は「自由に散らばる整数」ではなく、
この代数構造が要求する位置に現れざるを得ない。

素数定理と実測値の差異として現れる整数振動は、
実数近似と整数世界の違いによる不可避の離散構造であり、
その正体は C₃/Cx の同期振動として完全に代数的に記述される。
したがって、実測値に現れる揺らぎは解析的誤差ではなく、
奇数空間の代数構造そのものに由来する必然的な現象である。

本論文で示した C₃ 成分による押し上げ構造と、
Cx 成分の反転同期振動は、この代数的拘束の具体的な形であり、
A/B の比率構造が素数定理型で安定している限り、
Pp(2n) がゼロを取る余地は構造的に存在しない。
すなわち Pp(2n) > 0 は必然である。

さらに、本論文で用いた奇数空間の対称構造および三成分分解（Pp, Mp, Cp）は、自然数学（正規化自然数）の生成因果に基づく実在的な代数空間の上で一意に定義される。
この枠組みにより、既存数学に固有の非標準モデルや無限依存の問題が排除され、平均構造と同期振動 ΔP + ΔC + ΔM = 0 が構造的に成立することが保証される。

したがって本論文の結論 Pp(2n) > 0 は、既存数学の形式に依存せず、
自然数学の正規化空間において完全に証明された結果となる。

引用

\bibitem{DummitFoote2004}
D.~S.~Dummit and R.~M.~Foote,
\textit{Abstract Algebra}, 3rd ed.,
Wiley, Hoboken, NJ, 2004.

\bibitem{GoldbachConjecture}
E.~W.~Weisstein,
\textit{Goldbach Number},
MathWorld -- A Wolfram Web Resource,
\url{http://mathworld.wolfram.com/GoldbachNumber.html}
(accessed March 2025).

\bibitem{Haga2017}
S.~Haga,
\textit{Goldbach's Primes},
Nature Asia 9 (2017), no.~6,
\url{https://www.natureasia.com/ja-jp/ndigest/v9/n6/ゴールドバッハの素数/36727}.

\bibitem{Hyama2025}
S.~Hyama,
``対称式の基本定理と同期振幅の定理によるゴールドバッハペアの確定（preprint）,''
\textit{note.com}, 2025.
Available at: \url{https://note.com/s_hyama/n/n3910d3d6bc41}.

\bibitem{Helfgott2012}
H.~A.~Helfgott,
\textit{Minor arcs for Goldbach's problem},
arXiv:1205.5252 (2012).

\bibitem{Helfgott2013}
H.~A.~Helfgott,
\textit{Major arcs for Goldbach's theorem},
arXiv:1305.2897 (2013).

\bibitem{Oliveira2014}
T.~Oliveira e Silva, S.~Herzog and S.~Pardi,
\textit{Empirical verification of the even Goldbach conjecture and computation of prime gaps up to
$4\times 10^{18}$},
Math. Comp. 83 (2014), no.~288, 2033--2060.

\bibitem{Stanley2011}
R.~P.~Stanley,
\textit{Enumerative Combinatorics, Vol.~1}, 2nd ed.,
Cambridge Stud. Adv. Math. 49,
Cambridge Univ. Press, Cambridge, 2011.

\bibitem{Hyama2026}
S.~Hyama,
``省略により生じる隠れた変数：自然数学とコラッツ予想 (Preprint),''
\textit{note.com}, 2026.
Available at: \url{https://note.com/s_hyama/n/n06901f47232c}

\bibitem{Chen1973}
J. R. Chen,
"On the representation of a large even integer as the sum of a prime and the product of at most two primes",
Scientia Sinica, vol. 16, pp. 157--176, 1973.

\bibitem{Hadamard1896}
Hadamard, J.
Sur la distribution des zéros de la fonction $\zeta(s)$ et ses conséquences arithmétiques.
\textit{Bulletin de la Société Mathématique de France} 24, 199–220 (1896).

\bibitem{ValeePoussin1896}
de la Vallée-Poussin, C.
Recherches analytiques sur la théorie des nombres premiers.
\textit{Annales de la Société Scientifique de Bruxelles} 20, 183–256 (1896).

\bibitem{HardyLittlewood1923}
G.~H.~Hardy and J.~E.~Littlewood,
``Some problems of 'Partitio Numerorum' III: On the expression of a number as a sum of primes,''
\textit{Acta Mathematica}, vol.~44, pp.~1--70, 1923.

\bibitem{MontgomeryVaughan1975}
H.~L.~Montgomery and R.~C.~Vaughan,
\textit{Multiplicative Number Theory I: Classical Theory},
Cambridge University Press, 1975.

\bibitem{Granville2007}
A.~Granville,
``Harald Cramér and the distribution of prime numbers,''
\textit{Scandinavian Actuarial Journal}, vol.~2007, no.~1, pp.~12--28, 2007.