# 非交換邊界與結構修正階層
## ——從交換可加法化到 BCH、Commutator Hierarchy 與不可 Abelian 化判定

**English Title:** *Noncommutative Boundaries and Structural Correction Hierarchies: From Commutative Additivization to BCH, Commutator Obstructions, and Non-Abelian Impossibility Criteria*

**作者：** Neo.K  
**機構：** EveMissLab / 一言諾科技有限公司  
**系列：** Operation Translation Series A — Paper 06  
**版本：** v0.1  
**日期：** 2026-08-10

---

## 摘要

Series A 前五篇依序建立了判定域運算轉譯、對數連續加法化、Correction Field、離散 valuation / exponent lattice，以及局部 chart、tangent linearization 與 representation。本文處理這套框架第一次不可迴避的結構邊界：**非交換性**。

若目標運算是普通 Abelian addition，而轉譯 $T$ 要求單射，則任何真正非交換的 source operation 都不可能被全域忠實地精確加法化。對矩陣或 Lie group 元素而言，若

$$
AB\neq BA,
$$

則不存在單射 $T$ 同時滿足

$$
T(AB)=T(A)+T(B)
$$

與

$$
T(BA)=T(B)+T(A).
$$

因為右側相等，單射會強迫 $AB=BA$。因此：

$$
\boxed{
[A,B]\neq0
\quad\Longrightarrow\quad
\text{no faithful exact Abelian additivization}.
}
$$

這是代數 obstruction，而不是數值誤差。

但非交換性並不意味 operation translation 完全失效。在 Lie group 或矩陣群的局部 logarithmic chart 中，可以考慮

$$
Z(X,Y)
=
\log(e^Xe^Y).
$$

其 Baker–Campbell–Hausdorff 展開為

$$
\boxed{
Z
=
X+Y
+
\frac12[X,Y]
+
\frac1{12}[X,[X,Y]]
+
\frac1{12}[Y,[Y,X]]
+\cdots.
}
$$

因此 ordinary addition：

$$
X+Y
$$

仍是 local linear core，而非交換資訊則被保存在 commutator hierarchy。本文將：

$$
\boxed{
C_{\mathrm{BCH}}(X,Y)
=
Z(X,Y)-(X+Y)
}
$$

定義為非交換結構 correction，並提出其階層化分解：

$$
C_{\mathrm{BCH}}
=
C^{(2)}+C^{(3)}+C^{(4)}+\cdots,
$$

其中 $C^{(n)}$ 由總 Lie degree 為 $n$ 的 iterated commutators 構成。

本文證明若：

$$
[X,Y]=0,
$$

則所有高階 commutator correction 消失，BCH 退化為：

$$
Z=X+Y.
$$

因此 commutativity 正好是 local logarithmic product 能退化為 exact addition 的結構邊界。反之，若 bracket 非零，第一個 obstruction 出現在二階：

$$
C^{(2)}
=
\frac12[X,Y].
$$

本文進一步定義 commutator depth、truncation order、structural correction norm 與 noncommutativity indicator，用於量化一個 local product 距離 Abelian additive core 的程度。

但本文同時強調：BCH 是**局部／形式級數工具**，不能被誤寫成無條件全域 identity。BCH 級數的收斂、 $\log(e^Xe^Y)$ 的存在、以及某個特定 logarithm branch 的存在是彼此相關但不等價的問題；在 Banach algebra 與矩陣情況已有明確的 non-convergence / prolongation 研究。因此 Series A 的正確結論不是「所有非交換乘法都可以靠無限 BCH 全域加法化」，而是：

$$
\boxed{
\text{noncommutative multiplication}
=
\text{local additive core}
+
\text{structured commutator corrections},
}
$$

其合法性必須附帶 domain、branch 與 convergence metadata。

本文最後建立非交換情形的五級分類：

$$
\boxed{
\text{Abelian Exact}
\rightarrow
\text{Nilpotent Finite BCH}
\rightarrow
\text{Convergent Infinite BCH}
\rightarrow
\text{Local/Truncated BCH}
\rightarrow
\text{No Useful Abelian Correction Model}.
}
$$

其中 nilpotent Lie algebra 的 iterated commutators 在有限階後消失，因此 BCH 可有限終止，提供一個特別重要的 exact corrected-linearization 類別。

本文嚴格停留在 Series A 的 operation translation 問題，不將 noncommutativity 延伸至觀察者、歷史、關係本體論或宇宙守恆；這些問題保留給獨立 Series B。

**關鍵詞：** 非交換、BCH、Baker–Campbell–Hausdorff、commutator、Lie algebra、結構修正、不可 Abelian 化、局部 logarithm、nilpotent Lie algebra、operation translation

---

# 1. 問題：什麼時候「乘法變加法」必然失敗？

Paper 02 的 canonical model 為：

$$
\ln(xy)=\ln x+\ln y.
$$

之所以成立得如此乾淨，根本原因之一是：

$$
xy=yx.
$$

正實數乘法是 Abelian。

現在考慮矩陣：

$$
A,B\in GL_n.
$$

一般：

$$
AB\neq BA.
$$

若仍然希望：

$$
T(AB)=T(A)+T(B),
$$

便立刻遇到 target addition 的交換性。

這不是公式技巧不足。

這是一個 source / target algebraic law mismatch。

---

# 2. 不可忠實 Abelian 加法化定理

## 定理 2.1

設：

$$
(X,\mu)
$$

為一個至少在 $(x,y)$ 與 $(y,x)$ 上均合法的部分二元運算系統。

若存在單射：

$$
T:X\to V
$$

其中 $V$ 為 Abelian additive group，且：

$$
T(\mu(x,y))
=
T(x)+T(y),
$$

則：

$$
\mu(x,y)=\mu(y,x).
$$

### 證明

由：

$$
T(\mu(x,y))
=
T(x)+T(y)
$$

及加法交換律：

$$
T(x)+T(y)=T(y)+T(x),
$$

得到：

$$
T(\mu(x,y))
=
T(\mu(y,x)).
$$

因 $T$ 單射：

$$
\mu(x,y)=\mu(y,x).
$$

證畢。

---

# 3. Noncommutativity as Impossibility Certificate

若存在：

$$
x,y
$$

使：

$$
\mu(x,y)\neq\mu(y,x),
$$

且兩個次序均合法，

則：

$$
\boxed{
\text{不存在忠實 exact transform 到 ordinary addition}.
}
$$

所以一個 witness：

$$
\mu(x,y)\neq\mu(y,x)
$$

本身就是 impossibility certificate。

對矩陣：

$$
[A,B]
=
AB-BA.
$$

若：

$$
[A,B]\neq0,
$$

則：

$$
AB\neq BA.
$$

因此：

$$
\boxed{
[A,B]\neq0
}
$$

直接判定 ordinary Abelian additivization 不可能全域忠實成立。

---

# 4. 這不等於所有線性化都不可能

必須避免過度推論。

由：

$$
[A,B]\neq0
$$

只能推出：

> 不能忠實映射到一個把 source composition 完全替換成 ordinary Abelian addition 的 exact global model。

它不能推出：

- 不存在 representation；
- 不存在局部 logarithm；
- 不存在 tangent linearization；
- 不存在 non-Abelian target；
- 不存在 corrected additive model；
- 不存在有限階近似。

所以正確問題變成：

$$
\boxed{
\text{不能 exact Abelian 化之後，最小需要保留什麼 correction？}
}
$$

---

# 5. Lie Group 的局部入口

設：

$$
G
$$

為 Lie group，

其 Lie algebra：

$$
\mathfrak g=T_eG.
$$

在 identity 附近若 exponential map：

$$
\exp:\mathfrak g\to G
$$

存在局部 inverse：

$$
\log:U_e\to V_0,
$$

則可考慮：

$$
g=e^X,
\qquad
h=e^Y.
$$

群乘積：

$$
gh=e^Xe^Y
$$

在 Lie algebra coordinate 中變成：

$$
\boxed{
Z(X,Y)
=
\log(e^Xe^Y).
}
$$

---

# 6. Abelian Case

若：

$$
[X,Y]=0,
$$

則：

$$
e^Xe^Y=e^{X+Y}.
$$

所以在合法 logarithm branch 中：

$$
\boxed{
\log(e^Xe^Y)
=
X+Y.
}
$$

這就是 Paper 02 型 exact additive structure 在 Lie setting 的局部版本。

---

# 7. Non-Abelian Case

若：

$$
[X,Y]\neq0,
$$

一般：

$$
e^Xe^Y\neq e^{X+Y}.
$$

因此：

$$
\log(e^Xe^Y)
\neq
X+Y.
$$

此時定義：

$$
\boxed{
C_{\mathrm{NA}}(X,Y)
=
\log(e^Xe^Y)-(X+Y).
}
$$

這是 non-Abelian structural correction。

---

# 8. Baker–Campbell–Hausdorff Formula

在適當局部／形式條件下：

$$
Z(X,Y)
=
\log(e^Xe^Y)
$$

可展開成 Lie polynomials：

$$
\boxed{
\begin{aligned}
Z(X,Y)
={}&X+Y
+\frac12[X,Y]\\
&+\frac1{12}[X,[X,Y]]
+\frac1{12}[Y,[Y,X]]\\
&-\frac1{24}[Y,[X,[X,Y]]]
+\cdots.
\end{aligned}
}
$$

所有高階項都由：

$$
X,\ Y
$$

的 iterated commutators 組成。

---

# 9. BCH 作為 Correction Field

把：

$$
X+Y
$$

視為 additive core。

定義：

$$
\boxed{
C_{\mathrm{BCH}}(X,Y)
=
Z(X,Y)-X-Y.
}
$$

則：

$$
\boxed{
Z
=
X+Y+C_{\mathrm{BCH}}.
}
$$

這正是 Paper 03：

$$
T\mu=\nu T+C
$$

的非交換版本。

---

# 10. Correction Hierarchy

依 Lie degree 分解：

$$
C_{\mathrm{BCH}}
=
\sum_{n\ge2}C^{(n)}.
$$

其中：

$$
\boxed{
C^{(2)}
=
\frac12[X,Y].
}
$$

三階：

$$
\boxed{
C^{(3)}
=
\frac1{12}[X,[X,Y]]
+
\frac1{12}[Y,[Y,X]].
}
$$

四階包含：

$$
\boxed{
C^{(4)}
=
-\frac1{24}[Y,[X,[X,Y]]]
}
$$

以及在不同 basis / grading convention 下等價表示的四階 Lie polynomial。

因此 noncommutativity 不只是「有／沒有」。

它具有階層。

---

# 11. 第一 obstruction：Commutator

若：

$$
[X,Y]=0,
$$

則：

$$
C^{(2)}=0.
$$

並且所有含：

$$
[X,Y]
$$

的 nested commutators 都消失。

所以：

$$
C_{\mathrm{BCH}}=0.
$$

因此：

$$
\boxed{
[X,Y]=0
\Longrightarrow
Z=X+Y.
}
$$

---

# 12. 第一階非交換指標

定義：

$$
\boxed{
\chi_2(X,Y)
=
\|[X,Y]\|.
}
$$

其中 $\|\cdot\|$ 可取與研究空間相容的 norm。

這不是 universal invariant，

但可作為局部 engineering / analytic indicator。

若：

$$
\chi_2=0,
$$

則 pairwise commuting。

若：

$$
\chi_2
$$

小，

則二階 correction：

$$
\frac12[X,Y]
$$

也相應小。

---

# 13. Scale-Normalized Noncommutativity

單純：

$$
\|[X,Y]\|
$$

會隨 $X,Y$ 的尺度變化。

因此可定義 normalized indicator：

$$
\boxed{
\widehat\chi_2(X,Y)
=
\frac{\|[X,Y]\|}
{(\|X\|+\epsilon)(\|Y\|+\epsilon)}
}
$$

其中：

$$
\epsilon>0
$$

避免零分母。

若 norm 具有：

$$
\|[X,Y]\|
\leq
K\|X\|\|Y\|,
$$

則 normalized indicator 可以和 bracket continuity constant 一起解讀。

---

# 14. Higher-Order Noncommutativity Profile

定義：

$$
\chi_3^{(X)}
=
\|[X,[X,Y]]\|,
$$

$$
\chi_3^{(Y)}
=
\|[Y,[Y,X]]\|.
$$

更一般：

$$
\boxed{
\boldsymbol\chi_N
=
(
\chi_2,
\chi_3,
\dots,
\chi_N
).
}
$$

這可以作為局部 commutator profile。

它比單一：

$$
[A,B]\neq0
$$

保留更多結構。

---

# 15. Truncated BCH

定義 $N$ 階截斷：

$$
\boxed{
Z_{\leq N}(X,Y)
=
X+Y
+
\sum_{n=2}^{N}C^{(n)}(X,Y).
}
$$

remainder：

$$
\boxed{
R_{>N}
=
Z-Z_{\leq N}.
}
$$

所以：

$$
Z
=
Z_{\leq N}+R_{>N}.
$$

---

# 16. 結構 Correction 與截斷誤差再次分離

這裡至少有三種不同量：

第一：

$$
C_{\mathrm{BCH}}.
$$

它是 exact structural correction。

第二：

$$
R_{>N}.
$$

它是因為只保留有限階 BCH 所產生的 truncation remainder。

第三：

$$
\varepsilon_{\mathrm{num}}.
$$

它是 numerical backend error。

因此：

$$
\boxed{
\widehat Z
=
X+Y
+
C_{\leq N}
+
R_{>N}
+
\varepsilon_{\mathrm{num}}.
}
$$

三者不能混為同一個「error」。

---

# 17. Nilpotent Lie Algebra：有限 BCH 的重要 exact class

若 Lie algebra 為 nilpotent，

則存在某個：

$$
s
$$

使所有足夠深的 nested commutators 消失。

因此 BCH series 在有限階後終止。

此時：

$$
\boxed{
Z(X,Y)
=
X+Y
+
C^{(2)}
+\cdots+
C^{(s)}
}
$$

為有限 Lie polynomial。

所以這類系統雖然非交換，

卻仍然擁有：

$$
\boxed{
\text{finite exact corrected additivization}.
}
$$

---

# 18. 這是 Series A 非常重要的中間類

過去容易把系統粗分為：

$$
\text{commutative}
$$

與：

$$
\text{noncommutative}.
$$

但從 operation translation 角度：

$$
\boxed{
\text{noncommutative}
}
$$

內部至少要分：

1. finite correction；
2. convergent infinite correction；
3. asymptotic / local truncation；
4. unusable correction。

nilpotent Lie algebra 正是第一類的重要例子。

---

# 19. Step-2 Nilpotent Case

若：

$$
[X,[X,Y]]=0,
$$

且：

$$
[Y,[X,Y]]=0,
$$

則所有三階以上 nested commutators 消失。

此時：

$$
\boxed{
Z
=
X+Y+\frac12[X,Y].
}
$$

這是一個非常乾淨的 noncommutative exact model。

它表明：

> 非交換不必意味 correction 無窮。

---

# 20. Central Commutator Case

若：

$$
[X,Y]
$$

位於 center：

$$
[\,[X,Y],X\,]=0,
$$

$$
[\,[X,Y],Y\,]=0,
$$

則同樣：

$$
\boxed{
Z
=
X+Y+\frac12[X,Y].
}
$$

所以：

$$
\frac12[X,Y]
$$

本身就完整保存 non-Abelian deviation。

---

# 21. Solvable 與 General Lie Algebra

對一般 solvable Lie algebra，

derived series 最終消失，

但 BCH 是否有限終止與 nilpotency 不同。

所以：

$$
\boxed{
\text{solvable}
\not\Rightarrow
\text{finite BCH polynomial}.
}
$$

有限終止的核心條件更接近 nilpotent commutator depth。

---

# 22. Formal BCH 與 Analytic BCH

BCH 可以有兩種不同層次。

## Formal Level

把：

$$
X,Y
$$

視為 formal noncommuting variables，

BCH 是 free Lie algebra completion 中的 formal series。

此層不先問數值收斂。

## Analytic Level

給定實際矩陣／Banach algebra 元素，

必須問：

$$
\sum_n C^{(n)}(X,Y)
$$

是否收斂。

兩層必須分開。

---

# 23. Log 存在不等於 BCH 收斂

可能存在某個：

$$
\log(e^Xe^Y)
$$

但 BCH series：

$$
\sum_nC^{(n)}
$$

在該點不收斂。

同樣，

某種 Mercator logarithm：

$$
\log(I+A)
=
\sum_{n\ge1}
\frac{(-1)^{n+1}}nA^n
$$

的收斂條件也不是 BCH convergence 的同義詞。

因此 Runtime 不能只檢查：

> matrix log 可計算

就宣稱：

> BCH expansion 合法。

---

# 24. BCH Legality Metadata

本文建議一個 BCH local transform 至少附帶：

$$
\boxed{
\mathcal M_{\mathrm{BCH}}
=
(
\Omega_{\log},
\Omega_{\mathrm{BCH}},
\mathcal B,
N,
\mathcal E_N
).
}
$$

其中：

- $\Omega_{\log}$：所選 logarithm branch / local inverse 合法域；
- $\Omega_{\mathrm{BCH}}$：BCH convergence / formal applicability domain；
- $\mathcal B$：commutator basis；
- $N$：截斷階；
- $\mathcal E_N$：remainder / numerical error certificate。

---

# 25. Branch 問題

對矩陣 logarithm，

單一矩陣可能具有多個 logarithms。

若使用 principal logarithm，

則其合法性受 spectrum 位置限制。

所以：

$$
\log(e^Xe^Y)
$$

本身不是無條件 single-valued global object。

這和 Paper 02 complex logarithm 的 branch 問題是同一類 global obstruction。

---

# 26. Local Exactness

在足夠小的 identity neighborhood，

若：

$$
\exp:
V_0\to U_e
$$

為 diffeomorphism，

則：

$$
\log:
U_e\to V_0
$$

唯一。

此時：

$$
Z(X,Y)
=
\log(e^Xe^Y)
$$

可以作為局部 exact translated operation。

所以 BCH 的自然定位是：

$$
\boxed{
\text{local Lie-algebra operation law}.
}
$$

---

# 27. BCH Product

可在局部 Lie algebra 中定義：

$$
\boxed{
X\star_{\mathrm{BCH}}Y
=
\log(e^Xe^Y).
}
$$

則：

$$
\exp(X\star_{\mathrm{BCH}}Y)
=
e^Xe^Y.
$$

因此原 group multiplication 在 local log coordinates 中不是 ordinary $+$，

而是：

$$
\star_{\mathrm{BCH}}.
$$

---

# 28. 這再次驗證 Paper 01 的核心區分

任意 local chart 可以搬運 operation。

因此：

$$
\star_{\mathrm{BCH}}
$$

只是精確 transported group law。

真正簡化是把它分成：

$$
\boxed{
\star_{\mathrm{BCH}}
=
+
+
C_{\mathrm{BCH}}.
}
$$

所以：

- operation transport： $\star_{\mathrm{BCH}}$ ；
- simplified core： $+$ ；
- structural correction： $C_{\mathrm{BCH}}$。

---

# 29. Commutativity Boundary Theorem

在 BCH local domain 中：

若：

$$
[X,Y]=0,
$$

則：

$$
X\star_{\mathrm{BCH}}Y
=
X+Y.
$$

因此 commuting locus：

$$
\boxed{
\mathcal C
=
\{(X,Y):[X,Y]=0\}
}
$$

是 exact additive subdomain。

---

# 30. Commuting Locus 可以比整個空間大有用途

即使整個 algebra 非 Abelian，

仍可能存在許多 commuting subalgebras：

$$
\mathfrak a\subseteq\mathfrak g
$$

使：

$$
[X,Y]=0
$$

對所有：

$$
X,Y\in\mathfrak a.
$$

在這些子域上：

$$
\star_{\mathrm{BCH}}
=
+.
$$

所以 Runtime 不應只做全域判斷：

$$
\text{system non-Abelian}?
$$

而應做局部／子代數判斷：

$$
\boxed{
\text{current operands lie in a commuting subdomain?}
}
$$

---

# 31. Transform Selector 的 Noncommutative Fast Path

因此可設：

若：

$$
[X,Y]=0
$$

或數學上已知二者 commute，

直接：

$$
Z=X+Y.
$$

若：

$$
[X,Y]\neq0,
$$

再進 Correction Engine。

這是一個很自然的 fast path：

$$
\boxed{
\text{Commutativity Test}
\to
\begin{cases}
\text{Additive Core},\\
\text{BCH Correction}.
\end{cases}
}
$$

---

# 32. 近似交換情況

若：

$$
\|[X,Y]\|
$$

很小，

可以考慮：

$$
Z
\approx
X+Y+\frac12[X,Y].
$$

但：

$$
\|[X,Y]\|
\text{ small}
$$

本身不必然保證所有高階 nested commutators 都小到可忽略。

因此 approximation decision 最好看：

$$
\boldsymbol\chi_N,
$$

而不是只看：

$$
\chi_2.
$$

---

# 33. Adaptive Correction Order

定義目標 tolerance：

$$
\tau.
$$

選最小：

$$
N
$$

使 remainder certificate：

$$
\|R_{>N}\|
\leq\tau.
$$

則：

$$
\boxed{
N^\star
=
\min
\left\{
N:
\|R_{>N}\|\leq\tau
\right\}.
}
$$

這可以成為 Runtime 的 adaptive correction depth。

---

# 34. Correction Order as Structural Cost

令：

$$
d_C(X,Y)
$$

表示為達到指定 exactness / tolerance 所需的最大 commutator depth。

則：

$$
\boxed{
d_C
}
$$

可視為 operation translation 的一種 structural cost。

commuting pair：

$$
d_C=1
$$

或 correction depth $0$。

step-2 nilpotent：

$$
d_C=2.
$$

一般 BCH：

$$
d_C
$$

可能無界但可截斷。

---

# 35. Finite Correction Certificate

若存在：

$$
N
$$

使所有：

$$
C^{(n)}=0
\qquad
n>N,
$$

則可記錄：

$$
\boxed{
\operatorname{FCC}(X,Y)=N.
}
$$

這是 finite correction certificate。

對 nilpotent algebra，

可以由 algebra 結構本身給出全域／局部上界。

---

# 36. Exact Corrected Linearization 的新類別

因此 Paper 03 的：

$$
\text{Corrected Additivizable}
$$

現在可以細分：

### C1：Finite Exact Correction

$$
C
=
\sum_{n=2}^{N}C^{(n)}.
$$

### C2：Infinite Exact Convergent Correction

$$
C
=
\sum_{n=2}^{\infty}C^{(n)}
$$

在合法域收斂。

### C3：Finite Approximate Correction

只取：

$$
C_{\leq N}
$$

並帶 remainder bound。

### C4：Uncontrolled Correction

無可用收斂／誤差控制。

只有 C1–C3 應視為 useful runtime models。

---

# 37. 矩陣壓力測試的重新解讀

先前測試中選：

$$
A=
\begin{pmatrix}
0&0.20\\
0&0
\end{pmatrix},
$$

$$
B=
\begin{pmatrix}
0&0\\
0.30&0
\end{pmatrix}.
$$

得到：

$$
[A,B]\neq0.
$$

只用：

$$
A+B
$$

時，

與：

$$
\log(e^Ae^B)
$$

差距明顯。

加入：

$$
\frac12[A,B]
$$

後，

誤差顯著下降。

再加入三階 nested commutators，

誤差再次下降。

這個實驗不應被解讀成：

> BCH 數值上比較準。

更精確是：

> 每增加一層 commutator hierarchy，就恢復了一部分 ordinary addition 無法保存的 non-Abelian structure。

---

# 38. 但壓力測試不等於收斂證明

有限矩陣例子：

$$
\|Z-Z_{\leq3}\|
<
\|Z-Z_{\leq2}\|
$$

只證明該例子與該階數的改善。

它不能單獨證明：

$$
Z_{\leq N}\to Z
$$

對所有輸入成立。

因此 Paper 07 將把：

- empirical stress result；
- theorem；
- convergence assumption；

分開列示。

---

# 39. Non-Abelian Target 也可以是選項

Series A 主線偏好：

$$
\text{simple additive / linear core}.
$$

但如果 correction 太複雜，

另一個選擇是保留：

$$
\star_{\mathrm{BCH}}
$$

作為 target operation，

而不再強行拆成：

$$
+ + C.
$$

也就是：

$$
\boxed{
\text{choose a richer target algebra}
}
$$

可能比：

$$
\boxed{
\text{force Abelian addition + huge correction}
}
$$

更合理。

---

# 40. Target Complexity Tradeoff

因此 transform design 有一個 tradeoff：

簡單 target：

$$
\nu=+
$$

可能導致複雜：

$$
C.
$$

較豐富 target：

$$
\nu=\star_{\mathrm{BCH}}
$$

則：

$$
C=0,
$$

但 target operation 本身較複雜。

所以應最小化總成本：

$$
\boxed{
K_{\mathrm{total}}
=
K(\nu)
+
K(C).
}
$$

這和 Paper 03 correction complexity 完全一致。

---

# 41. Minimal Structural Target Principle

本文提出：

> **不要要求 target operation 比 source 更簡單到失去全部結構；應尋找使 $\nu+C$ 總成本最低、同時滿足忠實性要求的最小充分 target。**

形式上：

$$
\boxed{
(\nu^\star,C^\star)
=
\arg\min_{\nu,C}
\left[
K(\nu)+K(C)
\right]
}
$$

subject to：

$$
T\mu=\nu T+C
$$

與 domain / reconstruction constraints。

---

# 42. Abelianization 是什麼位置？

對 group $G$，

可以取 Abelianization：

$$
G_{\mathrm{ab}}
=
G/[G,G].
$$

這會真正把 commutators quotient 掉。

因此：

$$
G\to G_{\mathrm{ab}}
$$

是一個合法的 Abelian target，

但通常不是 faithful。

所以它展示：

$$
\boxed{
\text{exact Abelian representation}
}
$$

可以透過信息丟失達成。

---

# 43. Faithfulness 與 Abelianization 的衝突

若：

$$
G
$$

非 Abelian，

canonical projection：

$$
\pi:G\to G_{\mathrm{ab}}
$$

具有非平凡 kernel：

$$
[G,G].
$$

因此：

$$
\pi
$$

不能 faithful。

這再次驗證 Paper 01：

> 非交換 source 想 exact 進 Abelian target，必須支付 distinguishability loss。

---

# 44. 三種處理非交換性的方式

因此遇到：

$$
[A,B]\neq0
$$

至少有三種策略。

## Strategy A：保留 non-Abelian target

例如：

$$
\star_{\mathrm{BCH}}.
$$

## Strategy B：Abelian core + correction

$$
+ + C_{\mathrm{BCH}}.
$$

## Strategy C：Quotient / Abelianization

把 commutator information 丟掉。

三者的 reconstruction fidelity 不同。

---

# 45. Runtime 必須明確知道自己使用哪一種

否則最危險的錯誤是：

使用 Strategy C，

卻對外宣稱：

> 精確還原原非交換結構。

這在數學上不成立。

所以 metadata 應記錄：

$$
\boxed{
\text{faithful / corrected / quotient}
}
$$

三種 mode。

---

# 46. Noncommutative Operation Profile

對 local Lie group log coordinate，

可以寫：

$$
\boxed{
\Pi_{\mathrm{NA}}
=
\{
\text{commuting pair}\mapsto +,
\text{nilpotent pair}\mapsto + + C_{\mathrm{finite}},
\text{general local pair}\mapsto + + C_{\mathrm{BCH}}
\}.
}
$$

這是 operation-profile framework 在非交換領域的正式擴張。

---

# 47. 五級分類

本文提出：

## N0：Abelian Exact

$$
[X,Y]=0
$$

且：

$$
Z=X+Y.
$$

## N1：Finite Exact BCH

commutator hierarchy 有限終止。

## N2：Infinite Convergent BCH

無限 BCH 在合法域收斂。

## N3：Controlled Truncated BCH

有限階近似 + rigorously controlled remainder。

## N4：No Useful Abelian Correction Model

correction 不收斂、無法控制、成本過高或 branch/domain 不合法。

---

# 48. Series A 的 Noncommutative Boundary

Series A 不需要宣稱：

$$
N4
$$

表示「沒有數學方法」。

它只表示：

> 在目前指定的 Abelian-core corrected translation family 中，沒有值得使用的模型。

這和 Paper 01 Class IV 的精神一致。

---

# 49. 與 Paper 05 的銜接

Paper 05 已證：

$$
dm_{(e,e)}(X,Y)=X+Y.
$$

Paper 06 現在補充：

$$
\boxed{
\text{higher-order departure from }X+Y
}
$$

由 commutator Lie polynomials 組織。

所以：

$$
\boxed{
\text{Tangent Additivity}
+
\text{Commutator Corrections}
}
$$

構成 local non-Abelian multiplication 的完整基本圖像。

---

# 50. 與 Paper 03 的銜接

Paper 03 定義：

$$
T\mu=\nu T+C.
$$

Paper 06 給出一個 highly structured $C$：

$$
\boxed{
C=C_{\mathrm{BCH}}.
}
$$

它：

- 不是 numerical error；
- 不是 arbitrary residual；
- 由 Lie bracket 決定；
- 具有 degree hierarchy；
- 在 commuting limit 消失；
- 在 nilpotent case 可有限終止。

因此它是 correction theory 最重要的標準案例之一。

---

# 51. 與 Paper 02 的銜接

Paper 02：

$$
\log(xy)=\log x+\log y
$$

可重新理解為：

$$
C_{\mathrm{BCH}}=0
$$

的 Abelian special case。

所以：

$$
\boxed{
\text{ordinary logarithmic additivization}
}
$$

其實是更一般 Lie logarithmic operation translation 的交換退化情形。

---

# 52. 與 Paper 04 的對比

Valuation coordinate：

$$
\Phi(q_1q_2)
=
\Phi(q_1)+\Phi(q_2)
$$

完全 exact，

因：

$$
\mathbb Q_{>0}^{\times}
$$

為 Abelian。

非交換 matrix / Lie group：

$$
T(gh)
=
T(g)+T(h)+C_{\mathrm{BCH}}.
$$

所以：

$$
\boxed{
\text{commutative multiplicative structure}
}
$$

與：

$$
\boxed{
\text{noncommutative multiplicative structure}
}
$$

在 Series A 中終於有統一對照。

---

# 53. 工程 Runtime 更新

現在完整 Runtime 可以加入：

$$
\boxed{
\text{Commutativity / Structure Classifier}
}
$$

流程：

$$
\text{Domain Validator}
$$

$$
\downarrow
$$

$$
\text{Chart / Representation Selector}
$$

$$
\downarrow
$$

$$
\boxed{
\text{Commutativity / Algebra Classifier}
}
$$

$$
\downarrow
$$

$$
\text{Linear Core}
$$

$$
\downarrow
$$

$$
\text{Correction Engine}
$$

$$
\downarrow
$$

$$
\text{Inverse / Transition Transform}
$$

$$
\downarrow
$$

$$
\text{Error / Decision Validator}.
$$

---

# 54. Correction Engine 的非交換模式

Correction Engine 可以有：

### Mode 0

$$
C=0.
$$

### Mode 1

finite commutator polynomial。

### Mode 2

adaptive BCH truncation。

### Mode 3

precomputed / symbolic closed form。

### Mode 4

fallback to non-Abelian target operation。

這會在 Engineering Whitepaper 實作成 plugin interface。

---

# 55. 本篇核心結論

本文得到以下七條：

### 一

真正非交換 source operation 不可能被 faithful exact 地送入 ordinary Abelian addition。

### 二

commutator：

$$
[X,Y]
$$

是此 impossibility 的第一個直接 certificate。

### 三

Lie group local log coordinate 仍然提供 additive first-order core：

$$
X+Y.
$$

### 四

BCH 把 non-Abelian deviation 組織成 iterated commutator hierarchy。

### 五

nilpotent case 可形成 finite exact corrected additivization。

### 六

BCH convergence、matrix logarithm existence 與 branch legality 必須分開判定。

### 七

遇到複雜 noncommutativity 時，不一定要強行用 $+ + C$ ；保留 richer non-Abelian target 可能更低成本。

---

# 56. 嚴格範圍限制

本文不討論：

- observer-dependent relation；
- path-history ontology；
- measurement order；
- quantum interpretation；
- universe-wide conservation；
- global relational realism。

即使這些題目可能和 noncommutativity 有深層關聯，

它們不屬於 Series A 的 operation translation 問題。

本文只回答：

$$
\boxed{
\text{非交換運算在加法化框架中造成什麼結構邊界？}
}
$$

---

# 57. 限制

第一，本文沒有宣稱提供 BCH 最佳 convergence domain。

第二，不同 Banach / matrix / Lie algebra 類型具有不同 analytic conditions。

第三，commutator norm indicator 依賴 norm 與 scaling，不能被當成 universal invariant。

第四，BCH truncation order 的實際成本高度依賴 algebra structure、basis 與 backend。

第五，Abelianization 雖是 exact quotient，但通常不可 faithful reconstruction。

---

# 58. 結論

Series A 從對數出發：

$$
\ln(xy)=\ln x+\ln y.
$$

到本文終於得到這條公式真正的結構邊界。

若 source multiplication 交換，

ordinary addition 可以成為 exact target。

若 source multiplication 真正非交換，

則：

$$
\boxed{
\text{faithful exact Abelian additivization}
}
$$

一般不可能。

但 operation translation 並沒有因此終止。

在 local Lie logarithmic coordinate 中：

$$
\boxed{
\log(e^Xe^Y)
=
X+Y
+
C_{\mathrm{BCH}}(X,Y),
}
$$

其中：

$$
C_{\mathrm{BCH}}
$$

完全由 commutator hierarchy 組織。

因此非交換性不是「加法化方法壞掉」，

而是告訴我們：

$$
\boxed{
\text{ordinary addition 已經不足以保存全部 source structure}.
}
$$

此時可選擇：

1. additive core + structured correction；
2. richer non-Abelian target；
3. quotient / Abelianization 並接受信息損失。

這三者不能混為同一件事。

本文因此把 Series A 的 operation translation 分類推進為：

$$
\boxed{
\text{Exact Abelian}
\to
\text{Finite Corrected}
\to
\text{Infinite Convergent Corrected}
\to
\text{Controlled Local Approximation}
\to
\text{No Useful Abelian Correction Model}.
}
$$

至此，Series A 的核心數學邊界已完整建立。

下一篇不再建立新的母數學結構，

而是把前六篇真正送進跨領域壓力測試，

檢查它們是否能在純數學、物理、複數、Fourier、Excel 與 Python backend 中維持一致分類。

---

# 參考文獻

1. Fernando Casas, Ander Murua, *An Efficient Algorithm for Computing the Baker–Campbell–Hausdorff Series and Some of Its Applications*, 2008, arXiv:0810.2656.
2. Stefano Biagi, Andrea Bonfiglioli, Marco Matone, *On the Baker-Campbell-Hausdorff Theorem: Non-Convergence and Prolongation Issues*, 2018, arXiv:1805.10089.
3. Shanzhong Sun, Yong Li, David Sauzin, *The Baker-Campbell-Hausdorff Formula via Mould Calculus*, 2018, arXiv:1805.00766.
4. V. Kurlin, *The Baker-Campbell-Hausdorff Formula in the Free Metabelian Lie Algebra*, 2006, arXiv:math/0606330.
5. Stefano Biagi, *On M. Mérigot's Theorem on the Convergence Domain of the Campbell-Baker-Hausdorff-Dynkin Series*, 2013, arXiv:1304.7384.
6. Standard finite-dimensional Lie group / Lie algebra theory for exponential and local logarithm maps.

---

## Series A 銜接

**下一篇：Paper 07**

**《跨領域壓力測試與可計算性驗證——從純數學、有限離散域、物理公式到複數相位、Fourier、Excel 與 Python Backend》**

Paper 07 將統整既有實驗，不再新增母理論，而會分成：

1. theorem-level validation；
2. computational stress validation；
3. backend-dependent numerical behavior；
4. structural failure cases；
5. reproducibility artifacts；

最後輸出 Series A 的完整實證矩陣，之後直接進入 **Operation Translation Runtime 統一工程白皮書／MVP**。