# RH-W-03：緊支撐分離、負證人存在性與雙核心架構
## Riemann Hypothesis GAP Engineering Note v0.1

**研究計畫：** RH GAP Atlas / AI 數學工程化接力  
**父節點：** `RH-W-03-SEPARATION`  
**前置節點：** `RH-W-01`、`RH-W-02`  
**狀態：** `EXISTENTIAL_SEPARATION_CLOSED / CONSTRUCTIVE_SEARCH_OPEN`  
**日期：** 2026-07-23  
**性質：** 既有等價判準的工程化拆解；不是 RH 證明

---

# 0. 本輪結論

本輪得到的核心判定是：

$$
\boxed{
\neg RH
\Longrightarrow
\exists\,g\in C_c^\infty(0,\infty)
\quad Q_{\mathrm{full}}(g)<0
}
$$

而且這個負證人具有有限的對數支撐半徑：存在某個 $a>0$，使對應的加法座標測試函數

$$
\psi(u):=e^{u/2}g(e^u)
$$

滿足

$$
\operatorname{supp}(\psi)\subset(-a,a).
$$

因此，「離軸零點能否被緊支撐平滑測試函數看見」不是新的未解 GAP；這是 Weil–Bombieri–Yoshida 型判準已經提供的存在性結論。

真正尚未完成的是：

1. 不知道任何實際離軸零點，因而無法直接生成其負證人；
2. 必須把存在性定理變成有限維、可計算、可嚴格驗證的負特徵值證書；
3. 先前的雙消失矩子空間 $\mathcal C_{00}$ 是否單獨保持完整分離能力，仍須獨立證明。

---

# 1. 為何需要拆成兩個核心

先前工程只使用：

$$
\mathcal C_{00}
=
\left\{
 g\in C_c^\infty(0,\infty):
 \widehat g(0)=\widehat g(1)=0
\right\}.
$$

它的優點是顯式公式的兩個端點項精確消失，但它是 $C_c^\infty(0,\infty)$ 的餘維二子空間，不應未經證明便當成完整 Weil 測試空間。

本輪正式採用雙核心架構。

## 1.1 完整分離核心

$$
\boxed{
\mathcal C_{\mathrm{full}}
:=C_c^\infty(0,\infty)
}
$$

用途：

- 承載 Bombieri 精化的 Weil 判準；
- 保證若 RH 為假，存在緊支撐負證人；
- 作為有限支撐譜掃描的邏輯母空間。

## 1.2 端點零簡化核心

$$
\boxed{
\mathcal C_{00}
:=\ker \widehat{(\cdot)}(0)
\cap
\ker \widehat{(\cdot)}(1)
}
$$

且先前已證：

$$
\mathcal C_{00}
=
D(D+1)C_c^\infty(0,\infty),
\qquad
D=x\frac{d}{dx}.
$$

用途：

- 消除端點項；
- 讓算術側與 Weil 協方差只相差負號；
- 方便 AI、CAS 與形式化系統進行局部計算。

但目前不得宣稱：

$$
Q(g)\ge0\quad\forall g\in\mathcal C_{00}
\Longrightarrow RH.
$$

這是新的精確子 GAP：`RH-W-03-C00-SEPARATION`。

---

# 2. 完整端點修正公式

固定 Mellin 變換：

$$
\widehat g(s)
=
\int_0^\infty g(x)x^s\frac{dx}{x}.
$$

固定 Hermitian 相關型：

$$
C_g(x)
=
\int_0^\infty g(xy)\overline{g(y)}\,dy.
$$

則：

$$
\widehat{C_g}(s)
=
\widehat g(s)
\overline{\widehat g(1-\overline s)}.
$$

Weil 顯式公式採用：

$$
\widehat f(0)
-
\sum_\rho^{\prime}\widehat f(\rho)
+
\widehat f(1)
=
E_{B0}(f),
$$

其中 $E_{B0}$ 是素數項、$x=1$ 項與阿基米德項組成的算術側。

令：

$$
Q_{\mathrm{full}}(g)
:=
\sum_\rho^{\prime}
\widehat g(\rho)
\overline{\widehat g(1-\overline\rho)}.
$$

代入 $f=C_g$ 可得完整算術接口：

$$
\boxed{
Q_{\mathrm{full}}(g)
=
\widehat{C_g}(0)
+
\widehat{C_g}(1)
-
E_{B0}(C_g)
}
$$

又因：

$$
\widehat{C_g}(0)
=
\widehat g(0)\overline{\widehat g(1)},
$$

$$
\widehat{C_g}(1)
=
\widehat g(1)\overline{\widehat g(0)},
$$

所以：

$$
\boxed{
Q_{\mathrm{full}}(g)
=
2\operatorname{Re}
\left(
\widehat g(0)\overline{\widehat g(1)}
\right)
-
E_{B0}(C_g)
}.
$$

在 $g\in\mathcal C_{00}$ 時，這才退化為：

$$
Q_{\mathrm{full}}(g)=-E_{B0}(C_g).
$$

因此端點零條件不是 Weil 判準本身的必要條件，而是一種**正規化選擇**。

---

# 3. 加法座標與 Weil 二次型

令：

$$
\psi(u)=e^{u/2}g(e^u),
\qquad
u=\log x.
$$

則：

$$
g(x)=x^{-1/2}\psi(\log x).
$$

若定義 Fourier–Laplace 變換：

$$
\mathcal F\psi(z)
:=
\int_{-\infty}^{\infty}
\psi(u)e^{izu}\,du,
$$

則：

$$
\widehat g\!\left(\frac12+iz\right)
=
\mathcal F\psi(z).
$$

把非平凡零點寫成：

$$
\rho=\frac12+i\gamma,
$$

其中 $\gamma$ 在 RH 為真時全部為實數。二次型變成：

$$
\boxed{
Q_W(\psi)
=
\sum_{\gamma\in\Gamma}^{\prime}
 m_\gamma
\mathcal F\psi(\gamma)
\overline{\mathcal F\psi(\overline\gamma)}
}.
$$

若 RH 成立，$\gamma=\overline\gamma$，故：

$$
Q_W(\psi)
=
\sum_{\gamma\in\Gamma}
 m_\gamma
\left|\mathcal F\psi(\gamma)\right|^2
\ge0.
$$

若存在非實 $\gamma_0$，Paley–Wiener 型插值可選取緊支撐平滑 $\psi$，使其 Fourier–Laplace 變換在 $\gamma_0$ 與 $\overline{\gamma_0}$ 上具有相反相位，並把其他零點的貢獻壓低，從而得到：

$$
Q_W(\psi)<0.
$$

Suzuki 對 Weil 判準充分性的證明明確使用這種「指定一個非實零點、壓低其餘零點」的分離機制。

---

# 4. 緊支撐分離定理的工程版本

對 $a>0$，定義：

$$
\mathcal V_a
:=C_c^\infty(-a,a).
$$

並定義最低 Rayleigh 商：

$$
\boxed{
\lambda(a)
:=
\inf_{0\neq\psi\in\mathcal V_a}
\frac{Q_W(\psi)}{\|\psi\|_{L^2}^2}
}.
$$

則：

$$
\boxed{
RH
\Longleftrightarrow
\lambda(a)\ge0
\quad\forall a>0
}.
$$

其反命題為：

$$
\boxed{
\neg RH
\Longrightarrow
\exists a>0:
\lambda(a)<0
}.
$$

此處的 $a$ 是有限支撐尺度，不是無窮極限。

## 4.1 單調性

若 $0<a_1<a_2$，則：

$$
\mathcal V_{a_1}\subset\mathcal V_{a_2},
$$

故：

$$
\boxed{
\lambda(a_2)\le\lambda(a_1)
}.
$$

因此 $\lambda(a)$ 隨支撐半徑增加而不增。

## 4.2 支撐相變點

近期 Suzuki 的工作證明 $\lambda(a)$ 對 $a$ 連續，並回收 Yoshida 的結論：若 RH 為假，則存在某個有限 $a$ 使 $\lambda(a)<0$；另一方面，充分小的 $a$ 有 $\lambda(a)>0$。

因此在假設 $\neg RH$ 下，可定義：

$$
a_*
:=
\inf\{a>0:\lambda(a)\le0\},
$$

並得到：

$$
\lambda(a_*)=0.
$$

這個 $a_*$ 可視為「負證人首次能被容納的最小對數視窗」。它不是 RH 的已知數值，也不能在沒有離軸零點的情況下被計算出來；但它提供了清楚的工程掃描參數。

---

# 5. 存在性已關閉，但建構性仍開放

本輪必須嚴格區分三種層級。

## 5.1 邏輯存在性

$$
\neg RH
\Longrightarrow
\exists a,\psi:
Q_W(\psi)<0.
$$

**狀態：已知理論關閉。**

## 5.2 已知離軸零點後的證人建構

給定一個具誤差界的離軸零點 $\gamma_0$，利用整函數插值構造 $\psi$ 並控制尾和。

**狀態：理論機制存在，但尚未工程化成可執行的嚴格證書產生器。**

## 5.3 不知道離軸零點時的盲搜尋

只從素數側建立有限矩陣，掃描是否出現嚴格負特徵值。

**狀態：下一階段。**

若發現經區間算術證明的負特徵值，便直接反駁 RH；若有限矩陣皆非負，只能證明該有限子空間上沒有負證人，不能證明 RH。

---

# 6. 對舊 GAP 的更新

## `RH-W-02-GLOBAL-DENSITY`

原問題是：緊支撐核心是否需先在帶狀解析完成空間中證明稠密，才能推出 RH。

本輪判定：

- 對完整核心 $\mathcal C_{\mathrm{full}}$，**不需要這條橋**；Bombieri–Yoshida 的緊支撐判準直接給出充分性。
- 對端點零核心 $\mathcal C_{00}$，是否單獨充分仍未解決。

因此狀態改為：

`BYPASSED_FOR_FULL_CORE / OPEN_FOR_C00`。

## `RH-W-02-RH-SUFFICIENCY`

拆成：

$$
\texttt{FULL-COMPACT-SUFFICIENCY}=\texttt{CLOSED},
$$

$$
\texttt{C00-SUFFICIENCY}=\texttt{OPEN}.
$$

---

# 7. 下一節點

下一個工作單位是：

$$
\boxed{
\texttt{RH-W-04-GALERKIN-CERTIFICATE}
}
$$

目標是選擇一組可計算基底 $\{\psi_j\}_{j=1}^N\subset\mathcal V_a$，建立：

$$
M_{ij}(a):=Q_W(\psi_i,\psi_j),
$$

$$
G_{ij}(a):=\langle\psi_i,\psi_j\rangle_{L^2},
$$

並計算廣義最小特徵值：

$$
\lambda_N(a)
=
\min_{c\neq0}
\frac{c^*M(a)c}{c^*G(a)c}.
$$

由有限子空間包含關係：

$$
\lambda_N(a)\ge\lambda(a).
$$

所以：

$$
\boxed{
\lambda_N(a)<0
\Longrightarrow
\lambda(a)<0
\Longrightarrow
\neg RH
}
$$

只要所有矩陣元素與負特徵值都具有嚴格誤差證書。

反方向不成立：

$$
\lambda_N(a)\ge0
\centernot\Longrightarrow RH.
$$

---

# 8. 參考來源

1. Enrico Bombieri, *The Riemann Hypothesis*, in **The Millennium Prize Problems**, Clay Mathematics Institute, explicit formula and Weil negativity criterion.  
   https://www.claymath.org/library/monographs/MPPc.pdf
2. Masatoshi Suzuki, *Aspects of the screw function corresponding to the Riemann zeta function*, arXiv:2206.03682; compactly supported Weil positivity criterion.  
   https://arxiv.org/abs/2206.03682
3. Masatoshi Suzuki, *On the Hilbert space derived from the Weil distribution*, arXiv:2301.00421; explicit off-axis-zero separation construction.  
   https://arxiv.org/abs/2301.00421
4. Masatoshi Suzuki, *Weil's quadratic form via the screw function*, arXiv:2606.09096; finite-support quadratic form, lowest eigenvalue, continuity in the support parameter.  
   https://arxiv.org/abs/2606.09096

---

# 9. 誠實邊界

本文件沒有：

- 找到離軸零點；
- 找到真實負證人；
- 證明任何新的 RH 等價條件；
- 證明端點零核心 $\mathcal C_{00}$ 單獨足夠；
- 證明任何有限維非負結果可推至無限維。

本輪的實際成果是：

> 將「負證人是否存在」從待研究 GAP 移出，並把研究焦點精確轉移到「有限維可驗證負證書的建構與完備收斂」。