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

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

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

數值稽核；
型別稽核；
來源稽核；
依賴稽核；
版本稽核。

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]$ ，若所有交易輸入均來自：

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

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

命題 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. 目前未證明的強主張

本文沒有證明：

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

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

14. 結論

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

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

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

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

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

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

矩陣帳本代數_形式系統_v0.1