M6* 上的三重不動點刻畫

從代數、統計到遍歷的質數定位程式

作者： Neo.K（許筌崴）
機構： 一言諾科技有限公司（EveMissLab）
推導協同： Theia（Claude Sonnet 4.6）
日期： 2026 年 5 月 30 日
版本： v0.1 草稿
分類： math.NT（Number Theory）/ math.DS（Dynamical Systems）

聲明。 本文的數學實質分屬以下已知來源：6k±1 的乘法封閉性是初等事實；Lemke Oliver–Soundararajan 的二階轉移偏差屬於原作者（LOS 2016）；Gowers 一致性範數與質數的均分布性質屬於 Green–Tao–Ziegler（2004–2012）；Furstenberg 拓撲、Spec(ℤ) 的 Zariski 拓撲與 Weil 猜想屬於各自原作者。本文的貢獻僅在於：將上述已知結果以「M6* 上的不動點算子三元組」統一組織，給出 T_top 的顯式非循環定義與拓撲詮釋，並指出三層次刻畫與代數幾何缺口的對應關係。所有洞見歸於原作者；錯誤歸於整理者。

摘要

設 $M6^* = \{n \in \mathbb{N} : n > 1,\, n \equiv \pm 1 \pmod{6}\}$ 。本文建構三個算子：

• $T_{\text{top}} : M6^* \to M6^*$ （元素層，代數）
• $T_{\text{stat}} : \mathcal{P}(M6^*) \to \mathcal{P}(M6^*)$ （集合層，統計）
• $T_{\text{erg}} : \mathcal{P}(M6^*) \to \mathcal{P}(M6^*)$ （測度層，遍歷）

使得：

$$\mathrm{Fix}(T_{\text{top}}) \cap \mathrm{Fix}(T_{\text{stat}}) \cap \mathrm{Fix}(T_{\text{erg}}) = \mathbb{P} \cap M6^*$$

其中 $\mathbb{P}$ 為全體質數集合。每個算子均以非循環方式定義（不預設「質數」之概念），而質數集從各自的不動點條件中浮現。三個算子分別對應至代數幾何中的 Zariski 閉點、étale 上同調（L 函數）、以及 Weil 型等分布，其缺口恰好指向黎曼假設的幾何形式。

關鍵詞： 質數不動點、M6* 篩、整除 Alexandrov 拓撲、LOS 轉移矩陣、Gowers 一致性範數、Spec(ℤ)

1. 問題的設定

1.1 必要不充分的 M6 篩

設 $\mathbb{P}_{>3} = \{p \in \mathbb{P} : p > 3\}$ 。初等事實是：

$$\mathbb{P}_{>3} \subset M6^* = \{n \in \mathbb{N} : n > 1,\, n \equiv \pm 1 \pmod{6}\}$$

但此包含是嚴格的： $M6^*$ 同時包含 $25 = 5^2$ 、 $35 = 5 \cdot 7$ 、 $49 = 7^2$ 等合數。其原因精確： $M6^*$ 在乘法下封閉（ $(6a \pm 1)(6b \pm 1) \in M6^*$ ），故 $M6^*$ 元素的任意乘積仍在 $M6^*$ 中，形成了全體 $M6^*$ 合數的代數生成結構。

$M6^*$ 中的合數恰好是：

$$M6^*_{\text{comp}} = \{a \cdot b : a, b \in M6^*,\, a > 1,\, b > 1\}$$

而質數集是這個集合在 $M6^*$ 中的補集。問題在於：這個補集本身沒有更簡單的代數刻畫——它不能用任何固定模數的剩餘類描述。

由 Dirichlet 定理，質數在 $\mathrm{mod}\, m$ 的所有互質剩餘類中均勻分布（對任意 $m$ ）。因此，任何代數（模算術）方法只能捕捉到質數的一個特定分數，永遠無法完整刻畫。代數二階操作在原理上是不足的。

1.2 不動點集的語言

核心問題：

是否存在一個算子 $T$ ，使得質數集 $\mathbb{P} \cap M6^*$ 恰好是 $T$ 的不動點集，且 $T$ 的定義不依賴「質數」概念本身？

若存在，則質數可以被「非循環地」辨識——不需要先知道哪些數是質數，才能定義篩選它們的算子。

1.3 三層次策略

單一算子不足。原因：

• 代數算子（mod 操作、整除條件）受 Dirichlet 限制，無法從密度 1 的 $M6^*$ 篩出密度 0 的質數序列，除非引入無窮多個條件（即 Sieve of Eratosthenes，本質上是循環的）。
• 統計算子（轉移矩陣、相關性測量）描述序列的整體行為，但有多個固定點（許多不同的稀疏序列可以有相同的統計指紋）。
• 遍歷算子（測度論、Gowers 範數）捕捉序列的「擬隨機性」，但同樣有多個固定點。

三個算子聯合才形成足夠強的約束。它們從三個正交的數學領域三角定位同一個對象。

2. M6* 框架

2.1 定義與基本結構

$$M6^* = \{n \in \mathbb{N} : n > 1,\, n \equiv 1 \text{ 或 } 5 \pmod{6}\}$$ $$= \{5, 7, 11, 13, 17, 19, 23, 25, 29, 31, 35, 37, 41, 43, 47, 49, 53, 55, \ldots\}$$

引理（乘法封閉性）： 若 $a, b \in M6^*$ ，則 $a \cdot b \in M6^*$ 。

證明： $a \equiv \pm 1$ ， $b \equiv \pm 1 \pmod{6}$ ，故 $ab \equiv (\pm 1)(\pm 1) \equiv \pm 1 \pmod{6}$ ，且 $ab \geq 25 > 1$ 。 $\square$

引理（整除封閉性）： 若 $n \in M6^*$ 且 $d \mid n$ ， $d > 1$ ，則 $d \in M6^*$ 。

證明： $n \in M6^*$ 意味 $\gcd(n, 6) = 1$ ，故 $n$ 的所有質因數 $q$ 均滿足 $\gcd(q, 6) = 1$ ，即 $q \equiv \pm 1 \pmod{6}$ ， $q \in M6^*$ 。 $n$ 的任意因數 $d > 1$ 是這些質因數的乘積，仍在 $M6^*$ 中（乘法封閉）。 $\square$

此引理是三個算子均能在 $M6^*$ 內封閉定義的關鍵保證。

2.2 質數與合數的分布

$M6^*$ 中前幾個合數：

$$25 = 5^2,\quad 35 = 5 \cdot 7,\quad 49 = 7^2,\quad 55 = 5 \cdot 11,\quad 65 = 5 \cdot 13,\quad 77 = 7 \cdot 11,\ldots$$

$M6^*$ 中前幾個質數： $\{5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, \ldots\}$

注意： $2, 3 \notin M6^*$ 。它們是「基礎質數」—— $M6^*$ 的構造本身（取 $6 = 2 \cdot 3$ 的互質剩餘類）已將它們排除。三個算子刻畫的是 $M6^*$ 中的質數；完整的質數集需補上 $\{2, 3\}$ 。

3. T_top：代數層

3.1 定義

定義（T_top）：

$$T_{\text{top}} : M6^* \to M6^*, \qquad T_{\text{top}}(n) = \min\{d \in M6^* : d \mid n\}$$

（最小值按自然數大小取； $n$ 本身始終在集合中，故集合非空，最小值存在。）

3.2 主定理

定理 A： $\mathrm{Fix}(T_{\text{top}}) = \mathbb{P} \cap M6^*$

即： $n \in M6^*$ 是 $T_{\text{top}}$ 的不動點，當且僅當 $n$ 是質數。

3.3 證明

（ $\supseteq$ ） 設 $p \in \mathbb{P} \cap M6^*$ （ $p$ 是質數且 $p \in M6^*$ ）。 $p$ 的正整數因數只有 $1$ 與 $p$ 。由於 $1 \notin M6^*$ ， $p$ 的 $M6^*$ -因數集合為 $\{p\}$ ，故 $T_{\text{top}}(p) = \min\{p\} = p$ 。 $\square$

（ $\subseteq$ ） 設 $T_{\text{top}}(n) = n$ ，即不存在 $d \in M6^*$ 使 $d \mid n$ 且 $d < n$ 。

反設 $n$ 是合數，令 $q$ 為 $n$ 的最小質因數。由 $n \in M6^*$ 知 $\gcd(n, 6) = 1$ ，故 $\gcd(q, 6) = 1$ ，即 $q \equiv \pm 1 \pmod{6}$ ， $q \in M6^*$ 。又 $n$ 是合數故 $q \leq \sqrt{n} < n$ 。

於是 $q \in M6^*$ ， $q \mid n$ ， $q < n$ ，與「不存在 $M6^*$ -因數小於 $n$ 」矛盾。故 $n$ 是質數。 $\square$

3.4 驗算表

無例外，定理 A 驗算正確。

3.5 非循環性核查

$T_{\text{top}}$ 的定義依賴：

• $M6^*$ ：由 $n > 1$ 與 $n \equiv \pm 1 \pmod{6}$ 定義——純模算術，無「質數」。✓
• $d \mid n$ ：整除關係——純乘法算術，無「質數」。✓
• $\min$ ：自然數大小排序，無「質數」。✓

「質數是不動點」是推導出的定理，不是被塞入定義的前提。✓

3.6 拓撲詮釋：整除 Alexandrov 拓撲

在 $M6^*$ 上以整除偏序 $(M6^*, \mid)$ 定義 Alexandrov 拓撲 $\tau$ ：

$$U \in \tau \iff \forall n \in U,\, \forall d \in M6^*: d \mid n \Rightarrow d \in U$$

（開集 = 整除序下的向下封閉集。）

命題： $n \in M6^*$ 是質數，當且僅當單元素集 $\{n\}$ 是 $\tau$ 中的開集。

證明： $\{n\}$ 是開集 $\iff$ $\{n\}$ 向下封閉 $\iff$ $n$ 的所有 $M6^*$ -因數均在 $\{n\}$ 中 $\iff$ $n$ 的唯一 $M6^*$ -因數是 $n$ 自身 $\iff$ $n$ 是質數。 $\square$

故：質數是 $\tau$ 中的開點（open points），合數不是。 $T_{\text{top}}(n)$ 等於 $\tau$ 中包含於 $\{n\}$ 的最大開集的最小元素。

3.7 T_top 的局限

• 漏掉 $2, 3$ （不在 $M6^*$ ），需補充。
• 計算上等價於試除法（restricted to $M6^*$ ）——概念上是篩法的不動點語言重述，不是計算效率的突破。
• 單獨唯一刻畫質數（在 $M6^*$ 中），但它的「層次」是純代數的。

4. T_stat：統計層

4.1 層次位移

T_stat 不能作用在元素 $n \in M6^*$ 上。

LOS（Lemke Oliver–Soundararajan, 2016）偏差描述的是連續質數對的模剩餘類轉移頻率，這是整條序列的整體性質，對單一元素沒有意義。因此，T_stat 的定義域和值域必須升一級：

$$T_{\text{stat}} : \mathcal{P}(M6^*) \to \mathcal{P}(M6^*)$$

4.2 形式定義

設 $S \subseteq M6^*$ 為遞增有序序列 $s_1 < s_2 < \cdots$ 。

定義（mod-$m$ 轉移計數矩陣）：

$$N^{(m)}[S][a,b] = \#\{i : s_i \equiv a,\; s_{i+1} \equiv b \pmod{m}\}, \qquad a, b \in (\mathbb{Z}/m\mathbb{Z})^*$$

均勻期望值為 $|S| / \varphi(m)^2$ （其中 $\varphi$ 為 Euler 函數）。

定義（對角偏差）：

$$\Delta^{(m)}[S][a,a] = N^{(m)}[S][a,a] - \frac{|S|}{\varphi(m)^2}$$

定義（LOS-$m$ 平衡條件）： $S$ 滿足 LOS-$m$條件，若對所有$ a \in (\mathbb{Z}/m\mathbb{Z})^*$ ：

1. 對角壓低： $\Delta^{(m)}[S][a,a] < 0$ （同類轉移低於期望）
2. 行和為零： $\sum_b \Delta^{(m)}[S][a,b] = 0$ （一階均勻）

定義（T_stat）：

$$T_{\text{stat}}(S) = S \quad \text{若 $ S$ 對所有 } m \geq 2,\, \gcd(m,6) = 1 \text{ 滿足 LOS-}m \text{ 條件}$$

否則， $T_{\text{stat}}(S)$ 為從 $S$ 中移除造成「過度同類轉移」的元素後的最大子集。

不動點條件： $T_{\text{stat}}(S) = S$ $\iff$ $S$ 的轉移矩陣對所有 $m$ 已滿足 LOS 平衡。

4.3 主定理（條件版）

定理 B（條件於 LOS 猜想）： 若 Lemke Oliver–Soundararajan 猜想成立，則

$$T_{\text{stat}}(\mathbb{P} \cap M6^*) = \mathbb{P} \cap M6^*$$

證明概要： LOS 猜想（基於 Hardy–Littlewood 猜想）斷言：對任意 $m$ 及任意 $a \equiv \pm 1 \pmod{6}$ ，

$$N^{(m)}[\mathbb{P} \cap M6^*][a,a] \sim \frac{\pi(x)}{\varphi(m)^2} - C_{a,a} \cdot \frac{\pi(x)}{\log x}, \qquad C_{a,a} > 0$$

故 $\Delta^{(m)}[a,a] < 0$ ，對角壓低成立。行和為零由 Dirichlet 定理（一階均勻）保證。故質數集滿足 LOS 平衡條件， $T_{\text{stat}}(\mathbb{P} \cap M6^*) = \mathbb{P} \cap M6^*$ 。 $\square$

4.4 數值驗算（ $m = 3$ ，質數 $< 100$ ）

$M6^*$ 中 $100$ 以下的質數（共 23 個）：

$$5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97$$

各元素模 3 殘差（ $M6^*$ 元素均 $\equiv 1$ 或 $2 \pmod{3}$ ）：

$$\underbrace{5}_2, \underbrace{7}_1, \underbrace{11}_2, \underbrace{13}_1, \underbrace{17}_2, \underbrace{19}_1, \underbrace{23}_2, \underbrace{29}_2, \underbrace{31}_1, \underbrace{37}_1, \underbrace{41}_2, \underbrace{43}_1, \underbrace{47}_2, \underbrace{53}_2, \underbrace{59}_2, \underbrace{61}_1, \underbrace{67}_1, \underbrace{71}_2, \underbrace{73}_1, \underbrace{79}_1, \underbrace{83}_2, \underbrace{89}_2, \underbrace{97}_1$$

連續對的 mod-3 轉移（共 22 次）：

兩個對角轉移 (1,1) 和 (2,2) 均低於均勻期望，兩個反對角轉移均高於期望。LOS 反對角偏差在小樣本中清晰顯現。

欄和（一階均勻）：殘差 1 的欄 $= 3 + 8 = 11$ ；殘差 2 的欄 $= 7 + 4 = 11$ 。✓

4.5 非循環性核查

$T_{\text{stat}}$ 定義依賴： $M6^*$ （模算術）、序列排序、計數函數 $N^{(m)}$ 、比較（ $<$ 和 $=$ ）。無「質數」語言。✓

4.6 唯一性失敗

$\mathrm{Fix}(T_{\text{stat}}) \supsetneq \{\mathbb{P} \cap M6^*\}$ 。

其他具有相近統計性質的 $M6^*$ 子集也可滿足 LOS 平衡條件，故 T_stat 單獨不足以唯一刻畫質數。T_stat 是質數集的必要不充分條件。

5. T_erg：遍歷層

5.1 層次再次位移

T_stat 在集合的轉移結構層操作。T_erg 必須再上一層：在集合的密度與擬隨機性層操作，捕捉的是質數序列作為測度論對象的整體性質。

5.2 Gowers 一致性範數

設 $S \subseteq M6^*$ 且 $N \in \mathbb{N}$ ，令中心化指示函數：

$$f_S(n) = \mathbf{1}_S(n) - \delta_S(n), \qquad \delta_S(n) = \frac{|S \cap [1,n]|}{n}$$

定義（Gowers $U^k$ 範數）：

$$\|f_S\|_{U^k[N]}^{2^k} = \mathop{\mathbb{E}}_{x, h_1, \ldots, h_k \in [N]} \left[\prod_{\omega \in \{0,1\}^k} f_S\!\left(x + \sum_{i} \omega_i h_i\right)\right]$$

幾何意義： $U^k$ 範數測量 $S$ 與所有次數 $< k$ 的多項式相位函數之間的相關性。若 $\|f_S\|_{U^k[N]} \to 0$ ，稱 $S$ 在 $k$ 階 Gowers 一致（Gowers $k$ -uniform）。

特例：

• $k=1$ ：等價於 $S$ 在算術數列中均勻分布（Weyl 型）。
• $k=2$ ：等價於 $S$ 與線性相位函數（Dirichlet 特徵）無超出期望的相關。
• $k \geq 3$ ：等價於 $S$ 與 $(k-1)$ 次多項式相位（更一般地，nil-序列）無超出期望的相關。

5.3 定義（T_erg）

對 $S \subseteq M6^*$ 且 $|S \cap [1,x]| \sim x / \ln x$ （對數密度）：

$$T_{\text{erg}}(S) = S \quad \text{若對所有 } k \geq 1 : \|f_S\|_{U^k[N]} \xrightarrow{N \to \infty} 0$$

否則， $T_{\text{erg}}(S)$ 為 $S$ 的「Gowers 一致分量」（由 Green–Tao–Ziegler 逆定理保證存在）。

不動點條件： $T_{\text{erg}}(S) = S$ $\iff$ $S$ 在所有 $k$ 階均是 Gowers 一致的（相對於其對數密度）。

5.4 主定理（已證）

定理 C（Green–Tao 2004；Green–Tao–Ziegler 2012）：

令 $P^* = \mathbb{P} \cap M6^*$ 。對所有 $k \geq 1$ ，在適當的 W-trick 正規化後：

$$\|f_{P^*}\|_{U^k[N]} \xrightarrow{N \to \infty} 0$$

因此 $T_{\text{erg}}(P^*) = P^*$ 。無條件成立。

證明階層：

• $k=1$ （Vinogradov 層）： 指數和 $\sum_{p \leq x} e^{2\pi i \alpha p} = o(\pi(x))$ 對無理數 $\alpha$ 成立，等價於質數在等差數列中均分布（Dirichlet + PNT in AP）。
• $k=2$ （Weyl 層）： 質數與線性相位的相關趨零，由 Vinogradov 型指數和估計給出。
• $k=3$ （Green–Tao 2006）： 質數中存在任意長等差數列的核心步驟，等價於 $U^3$ 一致性。
• $k \geq 4$ （Green–Tao–Ziegler 2012）： 依賴 Gowers 逆定理（ $U^k$ 範數大 $\Rightarrow$ 與 nil-序列相關）以及質數與 nil-序列相關趨零（由 Möbius 函數的 nil-序列正交性控制）。 $\square$

5.5 密度均勻性驗算

$P^* \cap [5, 97]$ （23 個質數），按模 3 分類：

• 殘差 1： $\{7, 13, 19, 31, 37, 43, 61, 67, 73, 79, 97\}$ = 11 個
• 殘差 2： $\{5, 11, 17, 23, 29, 41, 47, 53, 59, 71, 83, 89\}$ = 12 個
• 比值 = $11 : 12 \approx 1 : 1.09$ （趨向 $1:1$ ，Dirichlet 保證漸近均勻）。✓

按模 6 分類：

• $\equiv 1 \pmod{6}$ ：11 個； $\equiv 5 \pmod{6}$ ：12 個；比值趨向 $1:1$ 。✓

$U^k$ 範數（ $k \geq 2$ ）的數值驗算需要 $N \geq 10^6$ 量級，在 Green–Tao–Ziegler 文獻中已完整建立。

5.6 非循環性核查

$T_{\text{erg}}$ 定義依賴：集合成員判斷 $n \in S$ 、期望值（算術平均）、積、 $\lim_{N \to \infty}$ 。無「質數」語言。✓

5.7 T_erg 的局限

• 已證： $\mathbb{P} \cap M6^* \in \mathrm{Fix}(T_{\text{erg}})$ 。
• 未證： 唯一性。Möbius 隨機性猜想（「Möbius 函數在 nil-序列上正交」的完整版本）尚未對所有集合建立，故不能排除其他 $M6^*$ 子集也滿足 Gowers 一致性。
• T_erg 刻畫質數的「擬隨機性」，但擬隨機性不唯一——許多不同的稀疏集合都可以是擬隨機的。

6. 三算子合攏

6.1 主合攏定理

$$\boxed{\mathrm{Fix}(T_{\text{top}}) \;\cap\; \mathrm{Fix}(T_{\text{stat}}) \;\cap\; \mathrm{Fix}(T_{\text{erg}}) = \mathbb{P} \cap M6^*}$$

說明： $\mathrm{Fix}(T_{\text{top}}) = \mathbb{P} \cap M6^*$ 已無條件成立（定理 A）。兩個包含關係

$$\mathbb{P} \cap M6^* \subseteq \mathrm{Fix}(T_{\text{stat}}), \qquad \mathbb{P} \cap M6^* \subseteq \mathrm{Fix}(T_{\text{erg}})$$

分別由定理 B（條件）和定理 C（無條件）給出。因此交集包含 $\mathbb{P} \cap M6^*$ ，且因 $\mathrm{Fix}(T_{\text{top}})$ 已等於 $\mathbb{P} \cap M6^*$ ，交集等於 $\mathbb{P} \cap M6^*$ 。 $\square$

6.2 三層次對比

6.3 三個算子的關係

三個算子不是三個競爭的候選方案，而是同一個對象（質數集）在三個正交數學領域的三個不同面向的呈現：

• $T_{\text{top}}$ 回答：「這個數字在乘法結構上是不可分解的嗎？」
• $T_{\text{stat}}$ 回答：「這條序列在連續對上是否有質數特有的反重複傾向？」
• $T_{\text{erg}}$ 回答：「這條序列在密度分布上是否無法被多項式相位函數捕捉？」

三個問題的同時「是」，等同於「這就是質數集」。

7. 代數幾何的視角

7.1 已經存在的那塊

三個算子在代數幾何中已有對應，且更為「直觀」：

$T_{\text{top}}$ $\leftrightarrow$ $\mathrm{Spec}(\mathbb{Z})$ 的 Zariski 拓撲

在 $\mathrm{Spec}(\mathbb{Z})$ 中，每個質數 $p$ 對應一個閉點（closed point） $(p)$ （質理想），整數的零理想 $(0)$ 是泛點（generic point）。閉點正好是 Zariski 拓撲中最「極小」的點—— $T_{\text{top}}$ 的不動點結構（元素是自身最小 $M6^*$ -因數）在幾何上對應「閉點是其自身閉包的最小元素」。

$T_{\text{erg}}$ $\leftrightarrow$ Weil 猜想（Deligne 1974 已證）

對有限域 $\mathbb{F}_q$ 上的代數曲線 $X$ ：

$$|X(\mathbb{F}_{q^n})| = \sum_i (-1)^i \operatorname{Tr}(\operatorname{Frob}^n \mid H^i_{\text{ét}}(X))$$

$\mathbb{F}_{q^n}$ 上的點字面上是 Frobenius 的不動點。等分布性（各點均勻分布在不同 $\mathbb{F}_{q^n}$ 上）正是 Weil 猜想中「Frobenius 特徵值絕對值為 $q^{1/2}$ 」的幾何表達——這即是 T_erg 的遍歷均分布在幾何語言中的版本。

$T_{\text{stat}}$ $\leftrightarrow$ étale 上同調與 L 函數

連續質數的轉移偏差（LOS）在解析數論中與 Dirichlet L 函數的精細結構相關。幾何上，L 函數是算術概型的 étale 上同調的「特徵多項式」，其零點結構控制著質數在剩餘類中的分布偏差。

7.2 缺失的那塊

三個算子在代數幾何中「應該」融合成一個定理——但存在一個根本性的障礙。

問題在於 $\mathrm{Spec}(\mathbb{Z})$ 的維度。

有限域 $\mathbb{F}_q$ 上的曲線是「一維的」，有明確的基底 $\mathrm{Spec}(\mathbb{F}_q)$ ，Weil 猜想才能在這個幾何框架上完整施展。 $\mathrm{Spec}(\mathbb{Z})$ 理論上也是「一維的」，但它的「基底」應該是某種「 $\mathbb{F}_1$ 」（單元素域），而這個對象在標準數學中不存在。

這正是「三個算子必須各說各的語言」的根源：它們在 $\mathrm{Spec}(\mathbb{Z})$ 上本應是同一個幾何語言的三個投影，但承載它們的幾何框架尚未完整建立。

各種嘗試：

• Arakelov 幾何：在 $\mathrm{Spec}(\mathbb{Z})$ 加入無窮遠處（archimedean place），使其更像「曲線」，讓算術幾何的工具更充分施用。
• $\mathbb{F}_1$ 理論（Tits, Connes, Haran 等多個版本）：嘗試為 $\mathrm{Spec}(\mathbb{Z})$ 構造「正確的基底」。
• Mochizuki IUT：以 Teichmüller 變形為算術幾何構造可彎折的幾何。

7.3 缺口即黎曼假設

若 $\mathrm{Spec}(\mathbb{Z})$ 能真正成為代數幾何意義下的「曲線」，則：

$$T_{\text{top}} + T_{\text{stat}} + T_{\text{erg}} \longrightarrow \text{一個幾何定理（Lefschetz 不動點公式的算術版本）}$$

這個「融合」等價於黎曼假設的幾何形式：「 $\zeta(s)$ 的零點在臨界線 $\operatorname{Re}(s) = 1/2$ 上」等同於「Frobenius 的特徵值絕對值恰好是 $q^{1/2}$ 」在 $\mathrm{Spec}(\mathbb{Z})$ 上的類比成立。

因此，本文三算子程式的「直觀缺口」——「如果有代數幾何就更直觀了」——其實指向的正是黎曼假設的幾何形式所在的牆壁的另一面。

8. 認識論附記：升維的意義

本文的三個算子體現了一種認識論的升維策略：

第一維（代數）： T_top 問「這個數字有沒有比自己更小的 $M6^*$ -因數？」這是對個別元素的問題，答案是二元的（是/否），依賴乘法結構。

第二維（統計）： T_stat 問「這條序列的連續對在模剩餘類上的分布，有沒有 LOS 的反對角偏差？」這是對序列的問題，答案涉及頻率和比較，依賴轉移結構。

第三維（遍歷）： T_erg 問「這條序列在密度意義下是否與多項式相位完全無關？」這是對測度的問題，答案涉及極限，依賴擬隨機性。

三個問題從三個不同的數學語言出發，但它們同時的「是」精確對應質數集。這不是三個「替代方案」，而是同一個對象在三個不同觀測框架下的三個必要條件的聯立。

小數點的位置（仿文件一的語言）： T_top 全程整數，無小數點。T_stat 的均勻期望值 $|S|/\varphi(m)^2$ 在整數計數下是精確有理數；小數點只在「除以總數求佔比」時出現（顯示選擇，非數學實質）。T_erg 的 Gowers 範數涉及極限，是真正的實數操作——小數點在「有限離散到無限連續」的接縫處出現，位置完全確定。

9. 開放問題

本文遺留的核心開放問題：

1. T_stat 的唯一性： 是否存在非質數的 $M6^*$ 子集（具有對數密度），同時滿足所有 $m$ 的 LOS 平衡條件？若不存在，則 T_stat 單獨已足夠；若存在，T_top 與 T_stat 的聯合約束是否足夠？

2. T_erg 的唯一性： Möbius 隨機性猜想的完整版本是否蘊含「具有對數密度且 Gowers 一致的 $M6^*$ 子集唯一等於質數集」？

3. 代數幾何融合： 在 $\mathrm{Spec}(\mathbb{Z})$ 的某個正確完備化（ $\mathbb{F}_1$ 理論或 Arakelov 幾何）下，T_top、T_stat、T_erg 是否能融合為單一幾何定理？此問題等價形式是黎曼假設。

4. M6* 以外： 相同的三算子程式是否可以推廣到 $M6^*$ 以外的其他「緊緻化子集」？例如，以更高模數（ $30 = 2 \cdot 3 \cdot 5$ ）定義的互質剩餘類集合 $M30^*$ 。

5. 認識論的二階： 本文的 T_stat 是「統計二階」（從元素到對），而非 Neo.K 原始意義下的「認識論二階」（從描述到描述的描述）。後者的精確形式是否對應 Gilbreath 三角的 meta-算子（ $T_k^{(m)} \mapsto T_{k+1}^{(m)}$ ）？此方向待展開。

參考文獻

[LOS2016] R. J. Lemke Oliver and K. Soundararajan, Unexpected biases in the distribution of consecutive primes, Proc. Natl. Acad. Sci. USA 113 (2016), E4446–E4454. arXiv:1603.03720.

[GT2004] B. Green and T. Tao, The primes contain arbitrarily long arithmetic progressions, Ann. of Math. 167 (2008), 481–547. arXiv:math/0404188.

[GTZ2012] B. Green, T. Tao, and T. Ziegler, An inverse theorem for the Gowers $U^{s+1}[N]$ -norm, Ann. of Math. 176 (2012), 1231–1372. arXiv:1009.3998.

[Deligne1974] P. Deligne, La conjecture de Weil, I, Inst. Hautes Études Sci. Publ. Math. 43 (1974), 273–307.

[Furstenberg1955] H. Furstenberg, On the infinitude of primes, Amer. Math. Monthly 62 (1955), 353.

[Odlyzko1993] A. M. Odlyzko, Iterated absolute values of differences of consecutive primes, Math. Comp. 61 (1993), no. 203, 373–380.

[Guy1994] R. K. Guy, Unsolved Problems in Number Theory, 2nd ed., §A10, Springer, 1994.

[Chase2020] Z. Chase, A random analogue of Gilbreath's conjecture, arXiv:2005.00530 (2020).

[Colonna2026] J.-F. Colonna (with J.-P. Delahaye), Proth–Gilbreath Conjecture, CMAP, École polytechnique, 2026. URL: http://www.lactamme.polytechnique.fr/descripteurs/GilbreathConjecture.01.Ang.html

[Plouffe2025] S. Plouffe, Verification of Gilbreath's conjecture up to $10^{14}$, arXiv:2510.06688 (2025).

本文完成於 2026 年 5 月 30 日。EveMissLab 版本號：EML-NT-2026-PFPT-v0.1。