# RH-W-02：Weil 正規化對齊與符號閉合
## Riemann Hypothesis GAP Engineering Note v0.2

**研究計畫：** RH GAP Atlas / AI 數學工程化接力  
**父節點：** `RH-W-02`  
**本輪節點：** `RH-W-02-NORMALIZATION`  
**前置節點：** `RH-W-01`、`RH-W-02-RANGE`  
**狀態：** `CLOSED_FOR_ENDPOINT_NULL_CORE / GLOBAL_BRIDGE_OPEN`  
**日期：** 2026-07-23  
**性質：** 文獻正規化、符號審計與接口閉合；不是 RH 證明

---

# 0. 本輪結論

Bombieri／Clay 使用的顯式公式「trace-negativity」與 Lagarias 使用的 Weil「covariance-positivity」在一般測試函數上並不相同，因為兩者相差端點項：

$$
\widehat f(0),\qquad \widehat f(1).
$$

然而對本工程的雙消失矩核心

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

以及相關型函數

$$
C_{g,h}:=g*h^*,
$$

端點項精確消失，因此有：

$$
\boxed{
E_{B0}(C_{g,h})
=
-\langle g,h\rangle_W
}
$$

其中：

- $E_{B0}$ 是 Bombieri／Clay 顯式公式的算術側；
- $\langle\cdot,\cdot\rangle_W$ 是 Lagarias 的 Weil 協方差型；
- $h^*$ 是乘法群上的 Hermitian 對合。

在對角線上：

$$
\boxed{
Q_{B0}(g)
:=-E_{B0}(C_{g,g})
=
\langle g,g\rangle_W
=
W[C_{g,g}]
}
$$

所以：

$$
E_{B0}(C_{g,g})\le 0
\quad\Longleftrightarrow\quad
Q_{B0}(g)\ge 0.
$$

這不是新的 RH 等價判準，而是把兩種既有表述鎖成同一個工程接口。

---

# 1. 固定唯一 Mellin 慣例

本工程永久固定：

$$
\boxed{
\widehat f(s)
=
\int_0^\infty f(x)x^s\frac{dx}{x}
}
$$

不得與另一常見慣例

$$
\int_0^\infty f(x)x^{s-1}\,dx
$$

分開記憶；兩者數值相同，但程式與文件只能保留第一種寫法，避免在變數替換時多出或遺失一個 $x$。

乘法卷積固定為：

$$
(a*b)(x)
=
\int_0^\infty
 a(y)b\!\left(\frac{x}{y}\right)\frac{dy}{y}.
$$

則：

$$
\widehat{a*b}(s)
=
\widehat a(s)\widehat b(s).
$$

---

# 2. 固定 Hermitian 對合

Lagarias 使用的幾何對合為：

$$
\widetilde h(x)
=
\frac1x h\!\left(\frac1x\right),
$$

且：

$$
\widehat{\widetilde h}(s)
=
\widehat h(1-s).
$$

為建立 Hermitian 型，本工程固定：

$$
\boxed{
 h^*(x)
 :=
 \widetilde{\overline h}(x)
 =
 \frac1x\overline{h\!\left(\frac1x\right)}
}
$$

因此：

$$
\boxed{
\widehat{h^*}(s)
=
\overline{\widehat h(1-\overline s)}
}.
$$

這裡的複共軛不可省略。省略後得到的是雙線性型，而不是 Hermitian 二次型。

---

# 3. Clay 相關函數與 Lagarias 卷積完全相同

定義：

$$
C_{g,h}(x)
:=(g*h^*)(x).
$$

直接展開：

$$
\begin{aligned}
(g*h^*)(x)
&=
\int_0^\infty
 g(y)
 \frac{y}{x}
 \overline{h\!\left(\frac{y}{x}\right)}
 \frac{dy}{y}
\\
&=
\frac1x
\int_0^\infty
 g(y)
 \overline{h\!\left(\frac{y}{x}\right)}dy.
\end{aligned}
$$

令 $y=xu$，得到：

$$
\boxed{
C_{g,h}(x)
=
\int_0^\infty
 g(xu)\overline{h(u)}\,du
}.
$$

對角線即為 Bombieri／Clay 使用的相關函數：

$$
\boxed{
C_g(x)
=
\int_0^\infty
 g(xu)\overline{g(u)}\,du
}.
$$

因此，`相關積分` 與 `乘法卷積＋Hermitian 對合` 不是兩個候選定義，而是同一物件的兩種座標。

---

# 4. Mellin 相關恆等式

由卷積定理：

$$
\boxed{
\widehat{C_{g,h}}(s)
=
\widehat g(s)
\overline{\widehat h(1-\overline s)}
}.
$$

對角線上：

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

若 $s$ 位於臨界線：

$$
\operatorname{Re}(s)=\frac12,
$$

則：

$$
1-\overline s=s,
$$

所以：

$$
\boxed{
\widehat{C_g}(s)=|\widehat g(s)|^2
}.
$$

注意：這只是在臨界線上的平方模恆等式；它不會自行證明零點位於臨界線。

---

# 5. 三個泛函必須分開命名

## 5.1 零點／協方差側

固定：

$$
\boxed{
W[f]
:=
\sum_{\rho}^{\prime}\widehat f(\rho)
}
$$

其中撇號表示採來源指定的對稱截斷極限。

## 5.2 trace 側

固定：

$$
\boxed{
T[f]
:=
\widehat f(0)-W[f]+\widehat f(1)
}.
$$

## 5.3 算術側

Bombieri／Clay 顯式公式右側統一命名為：

$$
\boxed{
E_{B0}[f]
}
$$

並由顯式公式固定：

$$
\boxed{
E_{B0}[f]=T[f]
}.
$$

因此一般情況下：

$$
\boxed{
E_{B0}[f]
=
\widehat f(0)-W[f]+\widehat f(1)
}.
$$

任何 AI 若直接寫出

$$
E_{B0}[f]=-W[f]
$$

卻未先證明兩個端點項消失，該步驟自動標記為：

```text
INVALID_ENDPOINT_DROP
```

---

# 6. 雙消失矩如何消掉端點

若：

$$
\widehat g(0)=\widehat g(1)=0,
$$

且：

$$
C_g=g*g^*,
$$

則：

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

以及：

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

因此：

$$
\boxed{
E_{B0}[C_g]
=
-W[C_g]
}.
$$

更一般地，若 $g,h\in\mathcal C_{00}$，則：

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

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

故：

$$
\boxed{
E_{B0}[C_{g,h}]
=
-W[C_{g,h}]
}.
$$

---

# 7. Weil 內積的工程定義

固定：

$$
\boxed{
\langle g,h\rangle_W
:=
W[C_{g,h}]
=
W[g*h^*]
}.
$$

因此：

$$
\boxed{
E_{B0}[C_{g,h}]
=-\langle g,h\rangle_W
}
\qquad
(g,h\in\mathcal C_{00}).
$$

對角線：

$$
\boxed{
Q_{B0}(g)
:=-E_{B0}[C_g]
=\langle g,g\rangle_W.
}
$$

若 RH 成立，對每個非平凡零點皆有：

$$
\rho=1-\overline\rho,
$$

所以：

$$
\begin{aligned}
Q_{B0}(g)
&=
\sum_\rho
\widehat g(\rho)
\overline{\widehat g(1-\overline\rho)}
\\
&=
\sum_\rho
|\widehat g(\rho)|^2
\ge 0.
\end{aligned}
$$

反向方向仍必須依賴測試空間「足以分離所有零點」的充分性；這不是正規化等式本身提供的。

---

# 8. 正負號轉換表

| 表述 | 工程符號 | RH 判準方向 |
|---|---:|---:|
| Bombieri／Clay 算術側 | $E_{B0}[C_g]$ | $\le 0$ |
| Lagarias Weil 協方差 | $W[C_g]$ | $\ge 0$ |
| 工程統一二次型 | $Q_{B0}(g):=-E_{B0}[C_g]$ | $\ge 0$ |
| Weil 內積對角線 | $\langle g,g\rangle_W$ | $\ge 0$ |

在雙消失矩核心上：

$$
\boxed{
Q_{B0}(g)
=
W[C_g]
=
\langle g,g\rangle_W
=-E_{B0}[C_g].
}
$$

這個盒裝等式是後續所有程式、AI 代理與形式化版本的唯一合法接口。

---

# 9. 哪些差異不能被這次正規化消除

## 9.1 一般函數的端點項

若 $\widehat f(0)$ 或 $\widehat f(1)$ 不為零，則：

$$
E_{B0}[f]
\neq
-W[f]
$$

一般成立。此時必須保留：

$$
\widehat f(0)+\widehat f(1).
$$

## 9.2 Li 類的奇異測試函數

Lagarias 的 Li 測試函數可能在 $s=0$、$s=1$ 有極點，trace 形式甚至可能未定義；協方差形式則可透過 cutoff／regularization 延伸。

所以：

$$
\mathcal C_{00}
\longrightarrow
\text{Li singular class}
$$

不能靠本輪等式自動完成。新增 GAP：

```text
RH-W-02-REGULARIZATION-BRIDGE
```

## 9.3 全域充分性

即使已在 $\mathcal C_{00}$ 上固定唯一二次型，仍未證明：

$$
Q_{B0}(g)\ge0
\quad\forall g\in\mathcal C_{00}
$$

足以推出 RH。仍需完成：

- 緊支撐核心在某個 RH 等價測試空間中的稠密性；或
- 直接證明緊支撐核心已足以分離任意離軸零點。

因此：

```text
RH-W-02-GLOBAL-DENSITY = OPEN
RH-W-02-RH-SUFFICIENCY = BLOCKED
```

---

# 10. AI 代理不可違反的正規化規則

每一個候選證明節點都必須攜帶：

```yaml
mellin_convention: integral_0_inf_f_x_x^s_dx_over_x
convolution_measure: dy_over_y
star_involution: x_inverse_conjugate_f_of_x_inverse
zero_sum_ordering: source_symmetric_cutoff
endpoint_zero_required: true
arithmetic_sign: negative_semidefinite
covariance_sign: positive_semidefinite
unified_quadratic_form: Q_B0_equals_minus_E_equals_W
```

自動拒絕條件：

1. 忘記複共軛；
2. 把 $dy$ 與 $dy/y$ 混用；
3. 未驗證端點即刪除 $\widehat f(0),\widehat f(1)$；
4. 把 $E_{B0}\le0$ 和 $W\ge0$ 判成矛盾；
5. 把 Li singular class 當成 $C_c^\infty$；
6. 從有限零點和的正值推論全域正性；
7. 從正規化一致性推論 RH。

---

# 11. GAP 狀態更新

| GAP | 新狀態 | 說明 |
|---|---|---|
| `RH-W-02-NORMALIZATION` | `CLOSED_FOR_ENDPOINT_NULL_CORE` | trace-negativity 與 covariance-positivity 已逐項對齊 |
| `RH-W-02-ENDPOINTS` | `CLOSED` | 端點項由雙消失矩相關型精確消去 |
| `RH-W-02-STAR` | `CLOSED` | Hermitian 對合、卷積與相關積分完全對齊 |
| `RH-W-02-SIGN` | `CLOSED` | 唯一統一二次型 $Q_{B0}=-E_{B0}=W$ 已鎖定 |
| `RH-W-02-ADELTA-NORM` | `REFERENCE_LOCKED` | Lagarias 帶狀一致範數定義已固定為候選完成空間 |
| `RH-W-02-REGULARIZATION-BRIDGE` | `OPEN` | 核心到 Li 奇異協方差類仍需 cutoff 接口 |
| `RH-W-02-GLOBAL-DENSITY` | `OPEN` | 核心到 RH 等價全域空間的稠密性未證 |
| `RH-W-02-RH-SUFFICIENCY` | `BLOCKED` | 仍被全域密度／分離性阻塞 |

---

# 12. 下一節點

正規化問題已不再阻塞。下一個最自然的工程節點是：

$$
\boxed{
\texttt{RH-W-03-SEPARATION}
}
$$

研究問題：

> 若存在一個離軸零點軌道，緊支撐平滑雙消失矩核心是否已足以構造一個負證人？

形式上，嘗試直接證明或否證：

$$
\neg RH
\Longrightarrow
\exists g\in\mathcal C_{00},
\quad
Q_{B0}(g)<0.
$$

若成立，便可繞過抽象的 `GLOBAL-DENSITY`，直接證明核心的 RH 充分性；若不成立，也會產生一個精確的表示障礙。

---

# 13. 來源

1. E. Bombieri, *The Riemann Hypothesis*, in **The Millennium Prize Problems**, Clay Mathematics Institute / AMS, explicit formula and Weil negativity criterion, pp. 121–122.
2. J. C. Lagarias, *Li Coefficients for Automorphic L-Functions*, Appendix 9, trace form, covariance form, test space $\mathcal A_\delta$, and Weil scalar product; arXiv:math/0404394.

---

# 14. 邊界聲明

本文件只完成表述與符號的工程閉合。它沒有：

- 證明 $Q_{B0}(g)\ge0$；
- 證明緊支撐核心足以刻畫 RH；
- 建立任何新零點定位結果；
- 把有限數值檢查升格為無限命題。