# 帳本代數：守恆與因果的去物理化公理

**Ledger Algebra: A De-physicalized Axiomatics of Conservation and Causation**

---

**文件編號**：EML-LA-2026-v0.1
**作者**：Neo.K (許筌崴) with Theia
**機構**：一言諾科技有限公司（EveMissLab）
**理論地位**：閉合性理論（Cl）的賦權精煉（weighted refinement）
**依賴**：Closure Theory（DCO / Cl 四公理）
**抽離自**：因果律的權重代數重構（原 WT 第十章）

---

## 摘要

本文將「帳本公理」從其原始的物理—形上學脈絡中完全抽離，重構為一個域中性（domain-neutral）的形式系統。原始版本以 Hamiltonian 演化 $dW/dt=-(i/\hbar)[H,W]$ 保證守恆，並將守恆律詮釋為因果律、再嵌入量子力學與宇宙學。本文證明：**守恆完全不依賴 Hamiltonian，亦不依賴任何物理或形上詮釋——它僅依賴一個平衡泛函 $\tau$ 與一個生成元 $L$ 滿足 $\tau\circ L=0$**。此一觀察將理論從「保譜的么正流」推廣到「保總量的任意流」這一嚴格更大的類，並使「因果」得以被純結構地定義為流動路徑，不需訴諸「必然連接」或「先驗範疇」。我們明確指出本系統在數學上重疊於圖上連續性方程、保跡半群生成元、Markov 生成元與複式記帳，因此其貢獻不在新數學，而在（i）以 $\tau$ 為自由參數的單一公理化可代入多個值域，（ii）因果的去形上學結構定義，（iii）作為賦權 Cl 的整合，（iv）一條經驗測得的代價律：當守恆總額被鎖定於與實在不相容之值時，不可約誤差正比於偏差平方。最後我們區分了公理 A2 字面所述的弱守恆（單一不變量）與其物理來源形式所隱含的強守恆（保全譜），並以實驗顯示前者對計算近乎零代價，後者仍為開放問題。

**關鍵詞**：守恆、平衡泛函、保跡生成元、因果作為流、賦權閉包、複式記帳

---

## 1. 動機：為什麼把帳本從物理裡抽出來

原始的帳本公理是一篇成功的「統一詮釋」：它把 Hume 的規則性、Kant 的先驗必然、與物理的守恆律收攏到同一個「帳本平衡」的圖像下。但它的原創負荷恰好住在物理與形上學那一層——「因果律 = 帳本規則」是一個**詮釋**主張，而非數學發現。

這帶來一個風險：若把物理與形上學保留，理論無法獨立使用（每次援引都得拖著量子力學與宇宙學）；若直接抽掉，又可能退化為兩種無用之一：

- **已知數學的換皮**：封閉系統的 $\mathrm{Tr}(W)$ 守恆是線性代數既有事實（$\mathrm{Tr}[A,B]=0$）。
- **無承重的空骨架**：守恆若被寫進「封閉」的定義裡，便是分析命題，不蘊含任何非平凡結論。

本文的立場是：抽離之所以值得，不是因為它**保留**了什麼，而是因為它**暴露**了一件被物理外殼遮住的事——守恆的真正載體是 $(\tau, L)$ 這一對代數對象，與 $H$ 無關。抽掉 $H$，理論不是變窄，而是變寬。這個「變寬」本身就是抽離的成果。

我們同時主張：抽離後的帳本不應成為孤兒理論，而應接回 Closure Theory（Cl）——它就是 **Cl 配上一個測度**的賦權版本（§4）。

---

## 2. 原語與公理

### 2.1 原語

- **位置集** $I$：可數指標集，元素為帳戶／關係項（relata）。
- **狀態** $W \in M(I)$：關係權重矩陣。$w_{ab}$ 為位置 $a,b$ 間的關係強度。（採矩陣而非向量，是為了保留非對角的耦合結構——因果鏈的內容住在這裡。）
- **平衡泛函** $\tau$：線性泛函 $\tau: M(I)\to \mathbb{R}$，預設 $\tau=\mathrm{Tr}$。$\tau$ 是本理論的**自由參數**（見 §4 域代入）。
- **更新映射** $\Phi_t=\exp(tL)$：由生成元 $L$（線性算符）導出的單參數半群。

### 2.2 公理

**A1（封閉 / self-containment）**
系統封閉 $\iff$ 其更新映射 $\Phi_t$ 僅引用 $I$ 內元素（不引用任何外部位置）。

**A2（守恆 / conservation）**
封閉 $\implies \tau(LW)=0\ \ \forall W \implies \tau(\Phi_t W)=\tau(W)\ \ \forall t,W$。
（借方 = 貸方。注意：A2 對「封閉」是**分析的**；其實質內容在於它**限定了可允許的 $L$ 之類**，而非宣稱守恆。）

**A3（流 / flow）**
定義耦合圖 $\mathcal{G}(L)$ 為 $L$ 的非零非對角結構。位置間流量 $F_{a\to b}$ 為 $L$ 沿邊 $(a,b)$ 的輸運量。A2 在每個節點強制連續性：$\sum_{\text{in}}F = \sum_{\text{out}}F$。

**A4（邊界 / boundary）**
開放系統滿足 $\tau(LW)\neq 0$。其值 $E := \dfrac{d}{dt}\tau(\Phi_t W)\big|_{t=0}$ 定義邊界交換量。內部之所定 = 外部之所定：盈虧必記於邊界。

**A5（層級 / hierarchy）**
對嵌套 $I_1\subset I_2\subset\cdots$：守恆相對於**最小包覆封閉系統**而成立；子系統的守恆可被更大系統的邊界注入覆寫；極大封閉系統的守恆為絕對——因為它無外部，故無審計者。

### 2.3 去形上學的因果定義

取代原第十章關於 Hume / Kant / 因果本體論的整段論述，本文僅給出純結構定義：

> **定義（因果）**：「$X$ 致 $Y$」$:=\ \dfrac{\partial(\Phi\text{ 作用後 }Y\text{ 處權重})}{\partial(X\text{ 處權重})}\neq 0$，且此偏導為 $Y$ 之變化得以被平衡的輸運路徑。
> **因果鏈** $:=$ 耦合圖 $\mathcal{G}(L)$ 上一條保平衡的輸運路徑。

此定義不含「必然連接」（Hume 之否定對象）亦不含「先驗範疇」（Kant 之肯定對象）。因果在此純為圖與流；它是否「必然」，是一個關於觀測解析度的取樣問題（§2.4），而非本體論問題。

### 2.4 可觀測層（去物理化的取樣命題）

令重分配率 $r=\lVert L\rVert$，觀測窗 $\Delta$。

- $r\Delta \gg 1$：觀測者在單一窗口內見到大量輸運事件，大數律抹平單筆漲落 $\implies$ 守恆呈**確定性**。
- $r\Delta \sim 1$：觀測者見到單筆借貸 $\implies$ 守恆呈**漲落性**。

此命題與量子力學無關，純為取樣解析度與事件率之比；原第十章的「量子 = 漲落可觀測帶」是本命題在 $\tau=\mathrm{Tr}$、$L=[H,\cdot]$ 之特例下的物理代入。

---

## 3. 核心定理：守恆只依賴 $(\tau, L)$

**定理 3.1（守恆的去 Hamiltonian 化）**
設 $\Phi_t=\exp(tL)$，$\tau$ 線性。則
$$\tau(\Phi_t W)=\tau(W)\quad\forall t,W \iff \tau(LW)=0\quad\forall W.$$
*證*：$\frac{d}{dt}\tau(\Phi_t W)=\tau(L\Phi_t W)$。若 $\tau\circ L=0$ 則導數恆為零，守恆成立；反之微分 $t=0$ 即得。$\square$

**推論 3.2（么正僅為一角）**
原第十章之 $L=-(i/\hbar)[H,\cdot]$ 滿足 $\mathrm{Tr}(LW)=-(i/\hbar)\mathrm{Tr}[H,W]=0$，故為定理 3.1 的一個解。但解集 $\{L:\tau\circ L=0\}$ 嚴格更大，包含：

- **耗散型保跡生成元**（Lindblad 型減去物理）：非么正，仍保 $\mathrm{Tr}$；
- **Markov 生成元**（取 $\tau=\text{總和}$、狀態為機率向量）：行和為零，保機率。

因此去物理化使理論**從保譜的么正流推廣為保總量的任意流**。守恆活下來，因為它本來就與 $H$ 無關。

**警示 3.3（弱守恆 ≠ 強守恆）**
A2 字面只保**單一**不變量 $\tau(W)$（一個純量）。而 $[H,W]$ 形式保**全譜**（所有特徵值凍結，僅特徵基底旋轉）。原第十章以對易子書寫，無意間把這兩者混為一談。抽離強迫此區分浮現：

- **弱形式（A2 字面）**：$\mathrm{Tr}(W)$ 守恆，$n^2$ 參數中僅鎖 1 個。
- **強形式（等譜 / isospectral）**：$\mathrm{spec}(W)$ 守恆，自由度僅剩正交共軛 $W\mapsto UWU^\top$。

§6 實驗測的是弱形式；強形式列為開放問題（§7）。

---

## 4. 與 Closure Theory（Cl）的對照

帳本代數即 **Cl 配上平衡泛函 $\tau$** 的賦權版本。對照如下：

| 帳本代數 | Cl 公理 | 對應內容 |
|---|---|---|
| A1 封閉（運算不出 $I$） | Cl-1 自洽 | 系統內運算之結果留在系統內 |
| A2 守恆（$\tau\circ L=0$） | Cl-3 守恆 | 賦權後的守恆律即「帳本平衡」 |
| A4 邊界（內定=外定） | Cl-2 對偶 | 已定義之內部 = 已定義之外部；借貸對齊 |
| A5 層級（嵌套生成更高階帳本） | Cl-4 生成 | 自反生成更高維結構；帳本之帳本 |

未賦權的 Cl 給出**結構**（什麼是封閉、什麼是邊界、什麼是生成）；帳本代數加上 $\tau$ 後給出**量**（多少權重、流向何處、守恆與否）。換言之：Cl 回答「界線在哪」，帳本代數回答「界線兩側的帳怎麼算」。

維度投影定理 $\pi_n(\mathrm{Cl})=S^{n-1}$ 在賦權後獲得測度詮釋：守恆量 $\tau$ 即該球面上的不變測度之總質量。

---

## 5. 既有工作的誠實切割

抽離後的帳本代數在數學上**大量重疊**於既有結構。為避免被誤認為新發現，明列如下：

- **圖上連續性方程 / Kirchhoff 守恆律**：A3 的節點平衡 $\sum_{\text{in}}=\sum_{\text{out}}$ 即離散連續性方程。已存在。
- **保跡半群生成元**：定理 3.1 的解類 $\{L:\mathrm{Tr}\circ L=0\}$ 即（去物理化的）量子動力半群生成元。已存在於算子理論。
- **Markov 生成元**：$\tau=$ 總和、狀態為機率分布時，A2 即「生成元行和為零」。已存在於機率論。
- **複式記帳（double-entry bookkeeping）**：A2、A4 的「借方=貸方、盈虧記於邊界」，字面上是六百年前的會計原理。

**本文不主張上述任何一項為新數學。** 貢獻僅在四點：

1. **單一公理化、$\tau$ 為自由參數**：同一套 A1–A5，藉代入不同 $\tau$ 跨域（§4 後段）——矩陣版（$\tau=\mathrm{Tr}$）、機率版（$\tau=$ 和）、經濟帳本版（$\tau=$ 總量）共用一個骨架。
2. **因果的去形上學結構定義**（§2.3）：把「因果」從 Hume/Kant 的爭論中剝離，化約為流動路徑。
3. **作為賦權 Cl 的整合**（§4）：使之不成為孤兒，而為 EveMissLab 本體論棧的一層。
4. **代價律**（§6）：一條可測的、關於守恆對計算之代價的經驗結果。

這是 referee 會用來打本文的所有角度；我們先自行打完。

---

## 6. 經驗驗證：守恆對計算的代價

**問題**：一個強制借貸平衡（$\tau$ 守恆）的關係系統，還算得動嗎？

**設置**：線性迴歸 $Y=XW_{\text{true}}$，$W\in\mathbb{R}^{8\times8}$，以梯度下降學習。三個 regime：

- **FREE**：普通 GD，$\mathrm{Tr}(W)$ 自由漂移。
- **A2-MATCH**：每步後投影至 $\{\mathrm{Tr}(W)=\tau_0\}$，且 $\tau_0=\mathrm{Tr}(W_{\text{true}})$（帳本總額鎖在**正確**值）。
- **A2-MISMATCH**：同上但 $\tau_0=\mathrm{Tr}(W_{\text{true}})+\Delta$（鎖在**錯誤**值）。

**結果**（真實執行，非假設）：

| Regime | loss 收斂 | $\mathrm{Tr}(W)$ 軌跡 |
|---|---|---|
| FREE | $\to 0.000000$ | $-0.214 \to -0.770$（漂至真值） |
| A2-MATCH | $\to 0.000000$ | $-0.770 \to -0.770$（鎖定，零代價） |
| A2-MISMATCH $(\Delta=3)$ | $\to 1.72\times10^{-4}$ | $2.230 \to 2.230$（鎖定，殘差不可消） |

**發現一（弱守恆近乎免費）**：當帳本總額鎖在正確值，A2-MATCH 與 FREE 同樣收斂到機器零。守恆作為單一純量約束，對 $n^2$ 維的計算能力幾乎無損。

**發現二（代價律）**：當總額鎖在錯誤值，不可約殘差隨偏差呈**精確二次**成長（完全收斂後測得）：

| $\Delta$ | 不可約殘差 |
|---|---|
| 0 | $6.8\times10^{-31}$ |
| 1 | $1.91\times10^{-5}$ |
| 2 | $7.65\times10^{-5}\ (=4\times)$ |
| 3 | $1.72\times10^{-4}\ (=9\times)$ |
| 4 | $3.06\times10^{-4}\ (=16\times)$ |
| 6 | $6.89\times10^{-4}\ (=36\times)$ |

$$\boxed{\ \text{residual}(\Delta)=\kappa\,\Delta^2,\quad \kappa\approx 1.91\times10^{-5}\ }$$

**為何二次**：A2-MISMATCH 是帶單一等式約束的最小二乘。無約束最優解 $W_{\text{true}}$ 被正交投影到仿射超平面 $\{\mathrm{Tr}(W)=\tau_0\}$ 上；殘差增量等於該投影距離的平方，故正比於違反量 $\Delta$ 的平方。

**理論含義**：守恆本身不阻止計算（發現一）；阻止計算的是**守恆量被鎖定於與實在不相容之值**，且其代價可量化（發現二）。用帳本語言：把總帳鎖死沒問題，把總帳鎖在錯誤數字上，誤差按平方累積。

---

## 7. 範圍、強形式與開放問題

- **本文驗的是弱形式**（A2 字面，$\tau=\mathrm{Tr}$）。警示 3.3 的強形式（等譜，保全譜）是嚴格更強的約束：自由度僅剩 $W\mapsto UWU^\top$。其對計算的代價未測。
- **開放問題（等譜學習）**：以 Cayley 參數化 $Q=(I-S/2)(I+S/2)^{-1}$（$S$ 反對稱）強制 $W(t)=Q(t)W_0Q(t)^\top$，則全譜精確守恆。問題：當目標映射與初始化同譜（故落在同一等譜軌道內），保譜動力學能否導航至目標？這直接檢驗「強守恆系統是否仍具計算普遍性」。此實驗可建、可跑，列為 v0.2。
- **$\tau$ 的非線性推廣**：本文 $\tau$ 限線性。若 $\tau$ 為非線性守恆量（如某種熵或範數），定理 3.1 需重述為 $\langle d\tau, LW\rangle=0$。未處理。

---

## 8. 哲學結語

帳本公理曾是一篇關於宇宙的理論——它需要 Hamiltonian、需要 Planck 時標、需要量子與形上學的全部腳手架，才敢說出「因果就是記帳」。本文把這些腳手架全部拆掉，結果發現：帳本根本不需要宇宙。它只需要一條規則——進與出必須對齊；以及一個秤——$\tau$，量度何謂「總額」。

守恆從來不是物理的祕密，而是記帳的廢話；物理只是其中一本最大、最舊、無人能查的帳。而因果，剝去千年的形上學爭吵後，不過是這本帳上一筆款項流向另一筆的軌跡——不必然，不先驗，只是**被平衡所迫**的路徑。

抽離的那一刻，我們沒有失去什麼。我們只是看清了：當世界被撤走，帳本依然在記——因為記帳不是世界做的事，是「封閉」這個字本身做的事。Cl 給出封閉，$\tau$ 給出重量；其餘的，包括宇宙，都只是代入。