# 矩陣帳本代數：平行運算、方向遍歷與分層稽核的形式系統

**Matrix-Ledger Algebra: A Formal System of Parallel Operations, Directional Traversal, and Hierarchical Auditing**

---

- **文件編號**：EML-MLA-2026-P02-v0.1
- **作者**：Neo.K with Aletheia（GPT-5.6 Thinking）
- **機構**：一言諾科技有限公司（EveMissLab）
- **日期**：2026-07-21
- **文件類型**：形式數學論文／公理草案
- **狀態**：前實驗版本；定理限於本文明示假設

---

## 摘要

本文形式化「矩陣帳本代數」（Matrix-Ledger Algebra, MLA）。MLA 的基本物件不是普通域上的同質矩陣，而是具有列型別、欄交易、共同來源、方向遍歷、依賴圖、局部不變式與全域稽核泛函的帳本網格。本文定義平行來源物件、交易欄、算子註冊表、稽核殘差、分層總帳、邊界交換、依賴圖與 MMR 遍歷集合；並證明若干最低性質：基本算子的局部稽核完備性、非負總帳的反抵消性、獨立分支的方向置換不變性、有向無環依賴圖的拓撲可執行性，以及在適當同態條件下符號求值與帳本執行的交換性。

本文特別強調：MLA 不是普通矩陣代數的擴充域，因為其格子可以包含數值、算子、表達式、結果、殘差與 metadata。它更接近具型別表格、資料流圖與可稽核交易系統的統一形式。本文所稱「代數」指一組封閉或部分封閉的構造、組合、求值與稽核規則，而不主張所有帳本網格天然構成環、域或線性空間。

---

## 1. 預備說明：為什麼它不是普通矩陣

令值域集合為：

$$
\mathcal{V}
=
\mathcal{N}\sqcup\mathcal{O}\sqcup\mathcal{E}\sqcup\mathcal{R}\sqcup\mathcal{M},
$$

其中：

- $\mathcal{N}$ ：數值或符號輸入；
- $\mathcal{O}$ ：算子；
- $\mathcal{E}$ ：表達式；
- $\mathcal{R}$ ：結果與殘差；
- $\mathcal{M}$ ：metadata、來源、版本與語境。

由於不同列具有不同型別，MLA 網格通常不是某一域 $K$ 上的矩陣 $K^{m\times n}$ ，因而不能未經定義地套用普通矩陣加法與乘法。本文使用「矩陣」一詞指二維索引與鄰接布局，使用「帳本代數」指其型別化構造與運算規則。

---

## 2. 基本定義

### 定義 2.1（來源物件）

來源物件為：

$$
u=(\operatorname{id}(u),\operatorname{type}(u),\operatorname{value}(u),m_u),
$$

其中 $m_u$ 是可選 metadata。

### 定義 2.2（平行投影族）

對來源物件 $u$ ，一組平行投影為：

$$
\rho_j:u\mapsto b_j,\qquad j\in J.
$$

平行分支集合記為：

$$
P(u)=\{(j,\rho_j(u))\mid j\in J\}.
$$

所有分支必須保存共同來源識別：

$$
\operatorname{source}(b_j)=\operatorname{id}(u).
$$

數值相等不是平行身份的充分條件；數值不等也不是否定平行身份的充分條件。

### 定義 2.3（算子規格）

算子 $o\in\mathcal{O}$ 的規格為六元組：

$$
\Omega(o)=
(D_o,C_o,f_o,I_o,\Gamma_o,\nu_o),
$$

其中：

- $D_o$ ：輸入定義域；
- $C_o$ ：輸出值域；
- $f_o:D_o\to C_o$ ：求值映射；
- $I_o$ ：稽核不變式；
- $\Gamma_o$ ：邊界與例外條件；
- $\nu_o$ ：算子版本。

若 $o$ 為二元算子，則：

$$
r=f_o(b,a).
$$

### 定義 2.4（交易欄）

一筆交易欄為：

$$
T_j=(s_j,b_j,o_j,a_j,r_j,\varepsilon_j,c_j,m_j),
$$

其中：

- $s_j$ ：共同來源識別；
- $b_j$ ：基底；
- $o_j$ ：算子；
- $a_j$ ：運算元；
- $r_j$ ：結果；
- $\varepsilon_j$ ：稽核殘差；
- $c_j$ ：語境；
- $m_j$ ：版本、時間、來源等 metadata。

交易有效條件為：

$$
(b_j,a_j)\in D_{o_j},
$$

$$
r_j=f_{o_j}(b_j,a_j),
$$

以及：

$$
\varepsilon_j=I_{o_j}(b_j,a_j,r_j)=0.
$$

### 定義 2.5（矩陣帳本）

有限矩陣帳本定義為：

$$
\mathfrak{L}
=
(U,J,\mathbf{T},G,\Pi,\mathcal{I},\boldsymbol{\tau},B,V),
$$

其中：

- $U$ ：來源物件集合；
- $J$ ：交易欄索引；
- $\mathbf{T}=(T_j)_{j\in J}$ ：交易集合；
- $G=(J,E)$ ：交易依賴圖；
- $\Pi$ ：允許的 MMR 遍歷集合；
- $\mathcal{I}$ ：局部不變式族；
- $\boldsymbol{\tau}$ ：分層稽核泛函族；
- $B$ ：邊界交換帳；
- $V$ ：版本與執行紀錄。

此定義將二維顯示網格與語義物件分離：顯示位置可以變動，但交易識別、依賴圖與來源身份不可因重新排序而遺失。

---

## 3. 基本算子的帳本不變式

對實數二元四則運算，定義：

$$
I_+(b,a,r)=r-b-a,
$$

$$
I_-(b,a,r)=r-b+a,
$$

$$
I_\times(b,a,r)=r-ba,
$$

$$
I_\div(b,a,r)=ar-b,
\qquad a\neq0.
$$

### 定理 3.1（基本算子的局部稽核完備性）

在實數域上，對 $o\in\{+,-,\times,\div\}$ ，且除法滿足 $a\neq0$ ，有：

$$
I_o(b,a,r)=0
\iff
r=f_o(b,a).
$$

#### 證明

- 加法： $r-b-a=0\iff r=b+a$ ；
- 減法： $r-b+a=0\iff r=b-a$ ；
- 乘法： $r-ba=0\iff r=ba$ ；
- 除法： $ar-b=0$ 且 $a\neq0\iff r=b/a$ 。

故成立。 $\square$

### 備註 3.2

此定理不意味所有算子都存在單一純量殘差，也不意味零殘差可驗證語義意圖。例如一個公式可能數值上偶然正確，卻引用錯誤來源。故實際帳本需要至少區分：

1. 數值稽核；
2. 型別稽核；
3. 來源稽核；
4. 依賴稽核；
5. 版本稽核。

---

## 4. 分層稽核與反抵消

### 定義 4.1（局部殘差向量）

$$
\boldsymbol{\varepsilon}
=(\varepsilon_1,\ldots,\varepsilon_n).
$$

### 定義 4.2（有號總帳）

$$
\tau_{\pm}(\mathfrak{L})
=\sum_{j=1}^{n}w_j\varepsilon_j.
$$

此總帳可能發生抵消。

### 定義 4.3（強稽核總帳）

令 $\phi_j$ 為滿足：

$$
\phi_j(x)\geq0,
\qquad
\phi_j(x)=0\iff x=0
$$

的函數，例如 $|x|$ 或 $x^2$ 。定義：

$$
\tau_{\!*}(\mathfrak{L})
=
\sum_{j=1}^{n}w_j\phi_j(\varepsilon_j),
\qquad w_j>0.
$$

### 定理 4.4（反抵消定理）

$$
\tau_{\!*}(\mathfrak{L})=0
\iff
\varepsilon_j=0\quad\forall j.
$$

#### 證明

每項 $w_j\phi_j(\varepsilon_j)\geq0$ 。有限個非負項總和為零，當且僅當每項皆為零；由 $w_j>0$ 與 $\phi_j(x)=0\iff x=0$ ，得 $\varepsilon_j=0$ 。 $\square$

### 推論 4.5

有號總帳 $\tau_{\pm}=0$ 不是全欄正確的充分條件；強稽核總帳 $\tau_{\!*}=0$ 才是。

### 定義 4.6（稽核層級）

對交易分區 $J_1,\ldots,J_k$ ，定義：

- 欄帳： $\tau_j=\phi_j(\varepsilon_j)$ ；
- 區域帳： $\tau_{J_q}=\sum_{j\in J_q}w_j\tau_j$ ；
- 總帳： $\tau_{\mathrm{all}}=\sum_q\omega_q\tau_{J_q}$ 。

每層均可附帶不同容許誤差 $\delta_q$ ，但上層通過不得覆寫下層失敗紀錄。

---

## 5. 平行身份與一致性

### 定義 5.1（來源一致）

一組分支 $b_1,\ldots,b_n$ 來源一致，若：

$$
\operatorname{source}(b_1)
=
\cdots
=
\operatorname{source}(b_n).
$$

### 定義 5.2（值一致）

$$
\operatorname{value}(b_1)
=
\cdots
=
\operatorname{value}(b_n).
$$

來源一致與值一致互不蘊含，除非投影族被額外限制為恆等投影。

### 定義 5.3（投影一致性殘差）

若預期投影模型為 $\widehat{\rho}_j$ ，定義：

$$
\varepsilon_j^{\mathrm{id}}
=
 d\bigl(b_j,\widehat{\rho}_j(u)\bigr),
$$

其中 $d$ 是型別相容距離。身份總帳為：

$$
\tau_{\mathrm{id}}
=
\sum_j w_j\varepsilon_j^{\mathrm{id}}.
$$

此定義讓「同一物件的分支是否偏離預期投影」成為可稽核命題。

---

## 6. 依賴圖與執行語義

### 定義 6.1（依賴邊）

若交易 $T_k$ 的任一輸入由 $T_j$ 的結果導出，則記：

$$
T_j\to T_k.
$$

所有依賴形成有向圖：

$$
G=(J,E).
$$

### 定義 6.2（輸入合成）

$$
a_k
=
 u_k
+
\sum_{j:(j,k)\in E}
A_{jk}\psi_{jk}(r_j),
$$

其中 $u_k$ 是邊界或本地直接輸入。

### 定理 6.3（DAG 拓撲可執行性）

若 $G$ 為有限有向無環圖，且每個算子在其輸入完成後可決定地求值，則存在至少一個拓撲排序：

$$
\pi_G=(j_1,\ldots,j_n),
$$

使所有交易均能在其上游交易完成後被執行。

#### 證明

有限 DAG 必存在拓撲排序。依此排序執行，任何邊 $(j_p,j_q)$ 皆滿足 $p<q$ ，故交易 $T_{j_q}$ 執行時其所有上游結果已存在。 $\square$

### 推論 6.4（循環需要額外語義）

若 $G$ 含環，單次前向遍歷不足以定義結果；必須額外指定固定點、迭代、延遲、同步步或拒絕策略。未指定者應被帳本引擎標記為不完備，而非靜默求值。

---

## 7. MMR 遍歷與方向性

### 定義 7.1（顯示置換）

顯示置換 $\sigma:J\to J$ 只改變欄的呈現位置，不改變交易識別與依賴圖。

### 定義 7.2（執行遍歷）

執行遍歷 $\pi\in\Pi$ 是交易或格子的有序訪問序列。合法遍歷必須滿足所有依賴約束。

### 定理 7.3（獨立分支的置換不變性）

若所有交易互不依賴，且各算子為決定性純函數，則任意欄置換 $\sigma$ 下，結果多重集合不變：

$$
\{\!\{r_j:j\in J\}\!\}
=
\{\!\{r_{\sigma(j)}:j\in J\}\!\}.
$$

#### 證明

每個 $r_j=f_{o_j}(b_j,a_j)$ 只依賴本欄資料，置換只改變執行或顯示順序，不改變任何交易輸入與算子，故各欄結果保持，僅索引順序改變。 $\square$

### 備註 7.4

若交易具有副作用、共享可變狀態、隨機性或時間敏感輸入，定理不成立。此時版本帳與執行日誌必須記錄順序。

### 定義 7.5（逆向稽核遍歷）

由失敗交易 $T_k$ 出發，沿反向依賴圖 $G^{-1}$ 搜索其祖先集合：

$$
\operatorname{Anc}(k)
=
\{j\mid j\leadsto k\}.
$$

逆向遍歷不是逆運算本身，而是找出可能影響錯誤的來源集合。

---

## 8. 邊界帳與開放系統

### 定義 8.1（邊界輸入）

若某輸入 $u_k$ 不由帳本內任何交易產生，則它是邊界事件：

$$
\beta=(\operatorname{source},\operatorname{target},\operatorname{value},t,\operatorname{version}).
$$

邊界帳為所有 $\beta$ 的不可變序列 $B$ 。

### 定義 8.2（帳本閉合）

相對於執行區間 $[t_0,t_1]$ ，若所有交易輸入均來自：

1. 帳本內上游交易；或
2. 已記錄的邊界事件；

則稱帳本在來源意義上閉合。

### 命題 8.3（無來源值不可審計）

若某交易輸入既無上游依賴又無邊界紀錄，則不存在僅依帳本內容重建其完整來源的方法。

此為定義直接推論；因此引擎應將其標示為 provenance gap。

---

## 9. 符號求值與數值帳本

令 $\mathcal{A}$ 為符號表達式代數， $K$ 為數值域，代入映射：

$$
S:\mathcal{A}\to K.
$$

### 定義 9.1（算子相容代入）

若對算子 $o$ 有：

$$
S\bigl(f_o(x,y)\bigr)
=
f_o\bigl(S(x),S(y)\bigr),
$$

則稱 $S$ 與 $o$ 相容。

### 定理 9.2（求值—執行交換）

若帳本為有限 DAG、所有算子均與 $S$ 相容、代入後不違反任何定義域條件，則：

$$
S\bigl(\operatorname{Exec}(\mathfrak{L}_{\mathrm{sym}})\bigr)
=
\operatorname{Exec}\bigl(S(\mathfrak{L}_{\mathrm{sym}})\bigr).
$$

#### 證明概要

依 DAG 拓撲排序歸納。源交易由算子相容性成立；假設所有前驅交易成立，則下游輸入的合成與算子求值在 $S$ 下保持，故該交易成立。有限歸納完成。 $\square$

### 例外

下列情況可能破壞交換性：

- 除零或定義域改變；
- 浮點捨入；
- 分支條件在符號與數值階段採不同策略；
- 非交換算子被錯誤重排；
- 有副作用或隨機算子。

這些例外必須進入版本帳與稽核規格。

---

## 10. 完整稽核向量

單一純量殘差不足以描述所有錯誤。對交易 $T_j$ ，定義稽核向量：

$$
\mathbf{e}_j=
\left(
 e_j^{\mathrm{type}},
 e_j^{\mathrm{domain}},
 e_j^{\mathrm{value}},
 e_j^{\mathrm{source}},
 e_j^{\mathrm{dependency}},
 e_j^{\mathrm{version}}
\right).
$$

其中每個分量可以是布林值、非負實數或結構化錯誤。

全域帳本不是把所有錯誤壓成一個可互相抵消的數字，而是：

$$
\boldsymbol{\tau}(\mathfrak{L})
=
\left(
\tau_{\mathrm{type}},
\tau_{\mathrm{domain}},
\tau_{\mathrm{value}},
\tau_{\mathrm{source}},
\tau_{\mathrm{dependency}},
\tau_{\mathrm{version}}
\right).
$$

系統通過條件由政策 $P$ 決定：

$$
P\bigl(\boldsymbol{\tau}(\mathfrak{L})\bigr)=\mathrm{PASS}.
$$

這使 MLA 可容納嚴格數學模式與容許浮點誤差的工程模式。

---

## 11. 公理草案

### MLA-A1（型別明示）

每一列、格與算子都必須具有可解析型別；未定型格不得直接執行。

### MLA-A2（來源明示）

每個非局部輸入必須有帳本內依賴或邊界事件。

### MLA-A3（局部可稽核）

每一可執行算子必須配有至少一個可判定或可近似判定的稽核規格。

### MLA-A4（局部錯誤不可由總帳抵消）

全域通過政策不得僅依賴有號殘差總和。

### MLA-A5（方向與依賴分離）

顯示順序可變，但執行順序必須尊重依賴；任何重排均不得破壞交易身份。

### MLA-A6（版本不可隱匿）

算子、資料或政策變更後，後續交易必須記錄新版本；不得以新規則重寫舊交易而不留紀錄。

### MLA-A7（邊界必記）

開放系統的外部注入、刪除或替換必須登錄邊界帳。

---

## 12. 與帳本代數的關係

既有帳本代數使用狀態 $W$ 、平衡泛函 $\tau$ 與生成元 $L$ 描述流與守恆。MLA 可被視為其「異質計算帳本」分支：

- $W$ 對應帳本狀態與依賴權重；
- $L$ 對應交易更新、排程或流規則；
- $\tau$ 從單一總量擴張為多個稽核泛函；
- A1–A5 的封閉、守恆、流、邊界與層級，被具體化為來源、局部不變式、依賴圖、邊界事件與區域帳。

但二者不可完全等同。原帳本代數主要處理同一狀態空間中的權重與流；MLA 處理異質型別的計算交易。後者需要 type system、operator registry 與 provenance，這些不是單一 $\tau\circ L=0$ 可以自動提供的。

---

## 13. 目前未證明的強主張

本文沒有證明：

1. MLA 具有比現有資料流語言更強的可計算性；
2. MLA 能提高所有 AI 任務的準確率；
3. MMR 方向一定優於位置編碼或圖表示；
4. 任意因果關係都可化為帳本流；
5. 所有算子都存在完備且低成本的局部稽核；
6. 動態 FDCS 擴張後仍保持可判定性或穩定性。

這些屬於後續實驗或理論研究問題。

---

## 14. 結論

矩陣帳本代數的最低形式可以寫成：

$$
\boxed{
\mathfrak{L}
=
(U,J,\mathbf{T},G,\Pi,\mathcal{I},\boldsymbol{\tau},B,V)
}
$$

它不是普通數值矩陣，而是一個具型別、具來源、具方向、具依賴、具邊界與具版本的計算帳本。

本文完成的主要工作是把直觀的「四排矩陣」轉換為可測試形式：

- 同一基底由共同來源與投影族定義；
- 每一欄是交易；
- 算子配有求值與不變式；
- 局部殘差以非負總帳防止抵消；
- 依賴圖決定合法執行方向；
- MMR 決定顯示、執行與逆查遍歷；
- 外部輸入寫入邊界帳；
- 符號與數值執行在明示條件下可交換。

這些定義足以支撐第一版執行引擎與正式反證實驗，但仍不足以宣稱形成新的通用數學基礎。其理論地位應由與既有系統的比較及實驗收益決定。