# RH-W-06：第一素數活化與算術支撐腔室
## 從「人類可手算」到可擴張的離散—連續耦合工程

**版本：** v0.1  
**日期：** 2026-07-23  
**研究計畫：** RH GAP Atlas／AI 數學工程化接力  
**父節點：** `RH-W-05-REAL-MATRIX-ENCLOSURE`  
**本輪節點：** `RH-W-06-PRIME-ACTIVE-MATRIX`  
**狀態：** `CLOSED_FOR_PRIME2_2D_AND_5D_SPLINE_CHAMBERS`  
**性質：** 真實 Riemann–Weil 顯式公式的有限維區間計算；不是 RH 證明，也不是 RH 反例

---

# 0. 本輪問題

上一輪故意把全部素數項排除，完成第一份真實 Weil 矩陣區間。該計算本身當然能由人類完成；工程價值不在於取代一次手算，而在於建立：

$$
\text{函數規格}
\longrightarrow
\text{支撐分析}
\longrightarrow
\text{活化的素數冪集合}
\longrightarrow
\text{顯式公式分解}
\longrightarrow
\text{有理區間矩陣}
\longrightarrow
\text{小型 exact verifier}.
$$

本輪第一次讓素數項真正進入矩陣，而且刻意把支撐控制在：

$$
\log 2<R<\log 3.
$$

## 0.1 與現有研究的關係

本節點不是宣稱重新發明 Weil 有限維化。Suzuki 已從 screw-function 與固定區間形式研究 Weil 二次型；2026 年的有限 Guinand–Weil dictionary 工作也把截斷形式、有限 Galerkin 矩陣與阿基米德尾界明確聯繫起來。本工程包的角色較窄：

1. 選定可被有理分段多項式處理的 B-spline 字典；
2. 把 $\log n$ 門檻寫成機器可讀的支撐腔室；
3. 讓單一 $n=2$ 項可被隔離觀察；
4. 產生可重播的有理區間矩陣與小型驗證器；
5. 把驗證器失敗與數學性質失敗分開登錄。

因此本輪成果是研究工程與證書流水線，不主張新的 RH 等價定理。

因此 von Mangoldt 和中只有：

$$
\boxed{n=2}
$$

可能活化。這讓第一個素數的作用可以被單獨觀察，而不會與 $3,4,5,\ldots$ 混在一起。

---

# 1. 固定顯式公式

對適當的加法座標測試函數 $f$，本工程沿用：

$$
\begin{aligned}
W(f)
={}&
\int_{-\infty}^{\infty}
f(x)(e^{x/2}+e^{-x/2})\,dx
\\
&-
\sum_{n\ge1}
\frac{\Lambda(n)}{\sqrt n}
f(\log n)
-
\sum_{n\ge1}
\frac{\Lambda(n)}{\sqrt n}
f(-\log n)
\\
&-(\log4\pi+\gamma)f(0)
\\
&-
\int_0^\infty
\frac{e^{x/2}(f(x)+f(-x))-2f(0)}{e^x-e^{-x}}\,dx.
\end{aligned}
$$

對實函數 $v_i,v_j$，令：

$$
\widetilde v_j(x)=v_j(-x),
$$

$$
f_{ij}=v_i*\widetilde v_j,
$$

$$
M_{ij}=W(f_{ij}).
$$

素數區塊為：

$$
P_{ij}
=
-
\sum_{n\ge2}
\frac{\Lambda(n)}{\sqrt n}
\bigl(f_{ij}(\log n)+f_{ij}(-\log n)\bigr).
$$

若：

$$
\operatorname{supp}(f_{ij})\subseteq[-R_{ij},R_{ij}],
$$

則只有滿足：

$$
\log n\le R_{ij}
$$

的 $n$ 可能貢獻。這是本輪「算術支撐腔室」的基本規則。

---

# 2. 算術支撐腔室

定義一組基底參數的**算術支撐腔室**，是指在該參數區域內：

1. 每個相關函數的支撐端點不跨越任何 $\log n$；
2. 活化的 von Mangoldt 指標集合保持固定；
3. 每個 $f_{ij}(\pm\log n)$ 停留在固定的 spline 多項式片段內。

在同一腔室中，顯式公式的離散組合結構不改變；矩陣元素只隨連續參數平滑或分片解析地變化。跨越：

$$
R=\log n
$$

時，新的 prime-power sample 才會加入。

因此支撐半徑不是普通的數值參數，而是離散算術結構的開關：

$$
R<\log2
\Rightarrow
\text{prime-free},
$$

$$
\log2<R<\log3
\Rightarrow
\text{only }n=2,
$$

$$
\log3<R<\log4
\Rightarrow
n=2,3,
$$

依此類推。注意 $\Lambda(n)$ 只在 prime powers 上非零，因此實際活化集合還要再經 von Mangoldt 篩選。

---

# 3. 二維隔離耦合實驗

取中心化 cubic B-spline $\beta_3$，令：

$$
h=\frac1{10},
\qquad
t_1=-\frac14,
\qquad
t_2=\frac14,
$$

$$
v_i(x)
=h^{-1/2}
\beta_3\!\left(\frac{x-t_i}{h}\right).
$$

各基底支撐為：

$$
\operatorname{supp}(v_1)
=
\left[-\frac9{20},-\frac1{20}\right],
$$

$$
\operatorname{supp}(v_2)
=
\left[\frac1{20},\frac9{20}\right].
$$

兩者互不重疊，所以：

$$
\langle v_1,v_2\rangle_{L^2}=0.
$$

相關函數仍為：

$$
f_{ij}(x)
=
\beta_7\!\left(
\frac{x-(t_i-t_j)}h
\right).
$$

對角相關支撐為：

$$
\operatorname{supp}(f_{11})
=
\operatorname{supp}(f_{22})
=
\left[-\frac25,\frac25\right]
\subset(-\log2,\log2),
$$

因此：

$$
P_{11}=P_{22}=0.
$$

交叉相關則為：

$$
\operatorname{supp}(f_{12})
=
\left[-\frac9{10},-\frac1{10}\right],
$$

$$
\operatorname{supp}(f_{21})
=
\left[\frac1{10},\frac9{10}\right].
$$

由：

$$
\log2<\frac9{10}<\log3
$$

可知交叉項只活化 $n=2$。具體而言：

$$
f_{12}(\log2)=0,
\qquad
f_{12}(-\log2)>0,
$$

所以：

$$
P_{12}
=
-
\frac{\log2}{\sqrt2}
f_{12}(-\log2)<0.
$$

嚴格區間為：

$$
\boxed{
P_{12}
\in
[-0.014521033659419367232,\,
 -0.014521033659419367232]
}.
$$

區間顯示相同小數只是因上下界極窄；證書內仍保存不同有理端點。

---

# 4. 二維矩陣：第一個素數作為非局部耦合

刪除素數區塊時，交叉項為：

$$
M_{12}^{(0)}
\in
[0.080368663737242510003,\,
 0.080368664575458659272].
$$

加入 $n=2$ 後：

$$
M_{12}
=
M_{12}^{(0)}+P_{12}
$$

變成：

$$
\boxed{
M_{12}
\in
[0.065847630077823141037,\,
 0.065847630916039290305]
}.
$$

對角項為：

$$
M_{11}=M_{22}
\in
[0.17817969315586257295,\,
 0.17981738868199476089].
$$

因此完整矩陣在本二維空間中嚴格正定。

更重要的是 parity mode 的分裂。對：

$$
e_+=(1,1),
\qquad
e_-=(1,-1),
$$

$n=2$ 的負交叉耦合使：

$$
Q(e_+)=M_{11}+M_{12}
$$

下降，而：

$$
Q(e_-)=M_{11}-M_{12}
$$

上升。

無 $n=2$ 時：

$$
Q^{(0)}(e_+)
\in
[0.25854835689310506908,\,
 0.26018605325745342016],
$$

加入 $n=2$ 後：

$$
Q(e_+)
\in
[0.24402732323368570011,\,
 0.24566501959803405120].
$$

無 $n=2$ 時：

$$
Q^{(0)}(e_-)
\in
[0.097811028580403913679,\,
 0.099448724944752264765],
$$

加入 $n=2$ 後：

$$
Q(e_-)
\in
[0.11233206223982328265,\,
 0.11396975860417163373].
$$

這提供一個乾淨的局部圖像：

> 第一個素數不是加在每個波包自己的局部能量上，而是作為兩個相隔約 $\log2$ 的波包之間的非局部算術耦合。

這個敘述只描述本有限基底與顯式公式的矩陣結構，不是新的 RH 理論。

---

# 5. 五維 Toeplitz 支撐腔室

為了跨出手算規模，取五個平移：

$$
t_k
\in
\left\{
-\frac3{10},
-\frac3{20},
0,
\frac3{20},
\frac3{10}
\right\}.
$$

仍令：

$$
v_k(x)
=h^{-1/2}\beta_3\!\left(\frac{x-t_k}{h}\right),
\qquad h=\frac1{10}.
$$

由平移不變性，Weil 矩陣只依賴 $|i-j|$，所以是對稱 Toeplitz 矩陣：

$$
M_{ij}=T_{|i-j|}.
$$

第 $k$ 個 lag 的相關支撐半徑為：

$$
R_k
=
\frac25+\frac{3k}{20}.
$$

即：

$$
R_0=\frac25,
\quad
R_1=\frac{11}{20},
\quad
R_2=\frac7{10},
\quad
R_3=\frac{17}{20},
\quad
R_4=1.
$$

由：

$$
R_0,R_1<\log2<R_2,R_3,R_4<\log3
$$

得到精確活化模式：

$$
\boxed{
[\mathrm{off},\mathrm{off},\mathrm{on},\mathrm{on},\mathrm{on}]
}.
$$

所以 $n=2$ 只耦合相隔至少兩格的基底，而所有 $n\ge3$ 都被支撐排除。

---

# 6. 五維真實矩陣

得到 lag 區間：

$$
T_0
\in
[0.17830890976252,\,0.17961569170656],
$$

$$
T_1
\in
[-0.11350184334353,\,-0.11316488850491],
$$

$$
T_2
\in
[-0.0046696978281104,\,-0.0046656145320484],
$$

$$
T_3
\in
[0.064390925313298,\,0.064390925592652],
$$

$$
T_4
\in
[-0.025760245628262,\,-0.025760245348908].
$$

其中 $n=2$ 區塊為：

$$
P_0=P_1=0,
$$

$$
P_2
\approx
-6.901841001562\times10^{-13},
$$

$$
P_3
\approx
-0.0022566345837752,
$$

$$
P_4
\approx
-0.12737368742383.
$$

$P_2$ 極小，是因為 $R_2=0.7$ 只比 $\log2$ 稍大，樣本剛進入 spline 支撐邊緣。這顯示「活化」本身還有連續強度：

$$
R\downarrow\log2
$$

時，新加入的離散樣本由支撐邊界平滑地出生。

---

# 7. 為什麼直接 interval LDL 失敗

對完整區間矩陣直接執行自然區間 $LDL^T$，第四個 pivot 得到：

$$
[-0.0194265,\,0.0826456],
$$

因而無法判定正負。

這不是矩陣真的不定，而是自然區間運算重複使用同一變數時產生 dependency blow-up。這個失敗被保留為工程記錄，不能把「驗證器失敗」誤寫成「數學性質失敗」。

本輪改用：

$$
\text{精確中點譜裕度}
+
\text{區間擾動算子範數界}.
$$

完整證書見第二份文件。

---

# 8. 本輪完成與未完成

已完成：

1. 只活化 $n=2$ 的嚴格支撐腔室；
2. 二維正交波包的 prime-only cross coupling；
3. 五維 Toeplitz 自動矩陣；
4. 每個 prime sample 的有理區間求值；
5. $n\ge3$ 的解析排除；
6. 五維完整正定證書；
7. 一個 prime-free 負方向被 $n=2$ 翻正的 exact witness。

沒有完成：

1. 沒有找到真實 Weil 負方向；
2. 沒有推進 RH 的真偽；
3. 沒有處理 $n=3,4,5,\ldots$ 的多素數腔室；
4. 沒有建立全域參數優化或有效搜索複雜度；
5. 尚未移植至 Arb、Lean 或 Coq 的完全形式化後端。

下一個工程節點為：

$$
\boxed{
\texttt{RH-W-07-MULTIPRIME-CHAMBER-COMPILER}
}
$$

目標是把：

$$
(h,t_1,\ldots,t_N)
$$

自動編譯成：

- active prime-power set；
- 支撐與 knot chamber；
- 稀疏 prime block；
- archimedean block；
- interval matrix；
- exact positivity／negative-witness certificate。

---

# 參考來源

1. E. Bombieri, *Problems of the Millennium: The Riemann Hypothesis*, in *The Millennium Prize Problems*, Clay Mathematics Institute / AMS, 2006.
2. M. Suzuki, *Weil's quadratic form via the screw function*, arXiv:2606.09096, 2026.
3. A. Groskin, *A finite Guinand–Weil dictionary and archimedean tail order for the truncated Weil quadratic form*, arXiv:2607.02828, 2026.