# 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 驗算表

| $n$ | $M6^*$-因數集 | $T_{\text{top}}(n)$ | 不動點？ | 質數？ |
|---|---|:---:|:---:|:---:|
| 5 | $\{5\}$ | 5 | ✓ | ✓ |
| 7 | $\{7\}$ | 7 | ✓ | ✓ |
| 11 | $\{11\}$ | 11 | ✓ | ✓ |
| 13 | $\{13\}$ | 13 | ✓ | ✓ |
| 17 | $\{17\}$ | 17 | ✓ | ✓ |
| 19 | $\{19\}$ | 19 | ✓ | ✓ |
| 23 | $\{23\}$ | 23 | ✓ | ✓ |
| 25 = 5² | $\{5, 25\}$ | 5 | ✗ | ✗ |
| 29 | $\{29\}$ | 29 | ✓ | ✓ |
| 31 | $\{31\}$ | 31 | ✓ | ✓ |
| 35 = 5·7 | $\{5, 7, 35\}$ | 5 | ✗ | ✗ |
| 37 | $\{37\}$ | 37 | ✓ | ✓ |
| 41 | $\{41\}$ | 41 | ✓ | ✓ |
| 43 | $\{43\}$ | 43 | ✓ | ✓ |
| 47 | $\{47\}$ | 47 | ✓ | ✓ |
| 49 = 7² | $\{7, 49\}$ | 7 | ✗ | ✗ |
| 55 = 5·11 | $\{5, 11, 55\}$ | 5 | ✗ | ✗ |
| 65 = 5·13 | $\{5, 13, 65\}$ | 5 | ✗ | ✗ |
| 77 = 7·11 | $\{7, 11, 77\}$ | 7 | ✗ | ✗ |

無例外，定理 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 次）：

| 轉移對 | 轉移類型 | 計數 |
|---|:---:|:---:|
| 5→7, 11→13, 17→19, 29→31, 41→43, 59→61, 71→73, 89→97 | (2,1) | 8 |
| 7→11, 13→17, 19→23, 37→41, 43→47, 67→71, 79→83 | (1,2) | 7 |
| 31→37, 61→67, 73→79 | (1,1) | **3** |
| 23→29, 47→53, 53→59, 83→89 | (2,2) | **4** |

| 轉移類型 | 計數 | 均勻期望 ($22/4$) | $\Delta$ | LOS？ |
|:---:|:---:|:---:|:---:|:---:|
| (1,1) | 3 | 5.5 | $-2.5$ | ✓ 低於期望 |
| (1,2) | 7 | 5.5 | $+1.5$ | ✓ 高於期望 |
| (2,1) | 8 | 5.5 | $+2.5$ | ✓ 高於期望 |
| (2,2) | 4 | 5.5 | $-1.5$ | ✓ 低於期望 |

兩個對角轉移 (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 三層次對比

| 算子 | 操作層 | 操作對象 | 質數為不動點 | 唯一性 | 條件性 |
|:---:|:---:|:---:|:---:|:---:|:---:|
| $T_{\text{top}}$ | 代數 | 元素 $n \in M6^*$ | ✓ 無條件 | ✓ 完全 | 無條件 |
| $T_{\text{stat}}$ | 統計 | 子集 $S \subseteq M6^*$ | ✓（條件） | ✗ | 條件於 LOS |
| $T_{\text{erg}}$ | 測度 | 密度 $\mu_S$ | ✓ 無條件 | ✗ | 無條件（成員）；條件（唯一） |

### 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。*