# Series B / Paper 05
# 觀察者轉換與關係協變性：跨觀察者 Transport、交換圖與相對 Holonomy
## Observer Transformations and Relational Covariance: Cross-Observer Transport, Commuting Diagrams, and Relative Holonomy

**系列：** Series B — 觀察者、局部關係、非交換與全域守恆  
**作者：** Neo.K  
**機構：** EveMissLab／一言諾科技有限公司  
**版本：** v0.1  
**日期：** 2026-08-10  
**性質：** 基礎定義／跨觀察者橋接論文  
**前篇：** Series B / Paper 04《路徑傳輸、Holonomy 與關係記憶：回到同一位置為何不等於回到同一關係狀態》

---

## 摘要

Series B / Paper 04 將觀察者與局部關係置入路徑傳輸框架：對每條合法路徑

$$
\gamma:x\to y
$$

指定 transport

$$
T_\gamma:\mathcal F_x\to\mathcal F_y,
$$

並以閉路 holonomy

$$
H_x(\gamma)=T_\gamma
$$

描述「返回同一基底位置但關係狀態未返回」的關係記憶。本文進一步研究一個無法再延後的問題：

> 若兩個觀察者各自有自己的局部狀態纖維、transport 與觀察 frame，我們如何判定兩套描述只是不同表示，還是真的彼此不相容？

本文將每個觀察者 $O$ 的路徑傳輸寫成一個函子型結構

$$
T^O:\Pi(X)\to\mathcal C_O,
$$

其中 $\Pi(X)$ 為合法路徑 groupoid， $\mathcal C_O$ 為觀察者 $O$ 的局部狀態範疇。兩觀察者 $O,P$ 之間的局部轉換由一族映射

$$
F_{OP,x}:\mathcal F_x^O\to\mathcal F_x^P
$$

構成。若對每條路徑

$$
\gamma:x\to y
$$

皆有交換圖

$$
\boxed{
F_{OP,y}\circ T_\gamma^O
=
T_\gamma^P\circ F_{OP,x},
}
$$

則稱 $F_{OP}$ 為**精確觀察者協變轉換**。在範疇語言中，這就是 transport functors 之間的自然變換條件。

若交換圖不閉合，本文定義 observer-transport defect。於賦範線性情形：

$$
\boxed{
D_{OP}(\gamma)
=
\left\|
F_{OP,y}T_\gamma^O
-
T_\gamma^P F_{OP,x}
\right\|.
}
$$

它量的是「先以 $O$ 描述演化再翻譯成 $P$ 」與「先翻譯成 $P$ 再用 $P$ 的 transport 演化」兩條路徑的差。這是 Paper 01 的非交換缺陷在**觀察者轉換層**的直接提升。

本文證明：若 $F_{OP}$ 為逐纖維可逆且滿足精確協變，則對任意閉路 $\ell:x\to x$，

$$
\boxed{
H_x^P(\ell)
=
F_{OP,x}
H_x^O(\ell)
F_{OP,x}^{-1}.
}
$$

因此兩觀察者的 holonomy 必須落在同一共軛類。故任何共軛不變量——例如有限維線性情形中的 trace、determinant、characteristic polynomial、spectrum——在兩個精確協變觀察者之間一致。若這些 invariants 不一致，便可立即否證兩套描述只是合法 frame change。

若 $F_{OP}$ 不可逆，則只能得到 intertwining／semiconjugacy：

$$
F_{OP,x}H_x^O
=
H_x^P F_{OP,x}.
$$

此時 $P$ 可能是 $O$ 的 coarse-graining； $O$ 的某些 holonomy 自由度可落入 $\ker F_{OP}$ 而對 $P$ 完全不可見。這將 Paper 03 的「觀察者不可辨識」與 Paper 04 的「holonomy 不可見」統一起來。

本文進一步定義可逆情形的**相對 holonomy**

$$
\boxed{
R_{OP,x}(\ell)
=
F_{OP,x}H_x^O(\ell)F_{OP,x}^{-1}
\left(H_x^P(\ell)\right)^{-1}.
}
$$

精確協變時：

$$
R_{OP,x}(\ell)=I.
$$

非平凡 $R$ 則表示即使已將兩觀察者搬到同一 frame，閉路 transport 仍不一致。這種殘餘不是單純「兩個人看到不同數值」，而是**兩套局部關係動力學無法由合法觀察者轉換互相吸收**。

最後，本文建立守恆的跨觀察者接口。若 $Q^O_x$ 、 $Q^P_x$ 是兩觀察者的局部量，要求

$$
Q^P_x\circ F_{OP,x}
=
Q^O_x
$$

並且各自 transport-invariant，則兩觀察者對同一守恆結構的描述協變一致。因此 Series B 後續的「守恆」不能只要求每個 observer 各自找到 constant，而必須進一步問：這些 invariants 能否在 observer transformations 下形成一致的自然族。

**關鍵詞：** 觀察者轉換、自然變換、關係協變性、transport functor、relative holonomy、intertwiner、semiconjugacy、observer defect、gauge covariance、守恆

---

# 1. 問題：兩個觀察者看到不同，究竟代表什麼？

假設觀察者 $O$ 描述一條路徑：

$$
\gamma:x\to y.
$$

它使用：

$$
T_\gamma^O:
\mathcal F_x^O
\to
\mathcal F_y^O.
$$

另一觀察者 $P$ 使用：

$$
T_\gamma^P:
\mathcal F_x^P
\to
\mathcal F_y^P.
$$

即使兩者都描述「同一條」基底路徑，也可能：

$$
\mathcal F_x^O
\neq
\mathcal F_x^P,
$$

甚至兩者使用完全不同的局部座標、變數或表示。

因此：

$$
T_\gamma^O
\neq
T_\gamma^P
$$

本身沒有任何意義。

不同 frame 的矩陣本來就可以不同。

真正要問的是：

> 是否存在合法的 observer transformation，把 $O$ 的整套 transport 結構轉成 $P$ 的整套 transport 結構？

---

# 2. 每個觀察者是一套 transport system

## 定義 2.1（觀察者 transport system）

對觀察者 $O$，定義：

$$
\mathfrak T_O
=
\left(
\{\mathcal F_x^O\}_{x\in X},
\{T_\gamma^O\}_{\gamma\in\Pi(X)}
\right).
$$

其中：

$$
T_{\operatorname{id}_x}^O
=
I_x^O,
$$

以及：

$$
T_{\eta\circ\gamma}^O
=
T_\eta^O
\circ
T_\gamma^O.
$$

因此可抽象寫成：

$$
\boxed{
T^O:
\Pi(X)\to\mathcal C_O.
}
$$

 $\Pi(X)$ 是合法路徑 groupoid。

---

# 3. 觀察者轉換

## 定義 3.1（逐點觀察者轉換）

兩觀察者 $O,P$ 之間的一族局部轉換為：

$$
\boxed{
F_{OP}
=
\{F_{OP,x}\}_{x\in X},
}
$$

其中：

$$
F_{OP,x}:
\mathcal F_x^O
\to
\mathcal F_x^P.
$$

 $F_{OP,x}$ 可以是：

- 座標變換；
- frame change；
- gauge transformation；
- 單位／表示轉換；
- coarse-graining；
- 測量映射；
- observer-specific translation。

它不預設可逆。

---

# 4. 精確關係協變性

考慮兩條計算路徑。

第一條：

$$
\mathcal F_x^O
\xrightarrow{T_\gamma^O}
\mathcal F_y^O
\xrightarrow{F_{OP,y}}
\mathcal F_y^P.
$$

第二條：

$$
\mathcal F_x^O
\xrightarrow{F_{OP,x}}
\mathcal F_x^P
\xrightarrow{T_\gamma^P}
\mathcal F_y^P.
$$

## 定義 4.1（精確 observer covariance）

若：

$$
\boxed{
F_{OP,y}\circ T_\gamma^O
=
T_\gamma^P\circ F_{OP,x}
}
$$

對所有合法：

$$
\gamma:x\to y
$$

成立，則稱 $O,P$ 的 transport 描述在 $F_{OP}$ 下**精確協變**。

此時交換圖為：

$$
\begin{array}{ccc}
\mathcal F_x^O
&\xrightarrow{T_\gamma^O}&
\mathcal F_y^O\\
\downarrow F_{OP,x}
&&
\downarrow F_{OP,y}\\
\mathcal F_x^P
&\xrightarrow{T_\gamma^P}&
\mathcal F_y^P
\end{array}
$$

並且交換。

在 transport functor 語言中， $F_{OP}$ 正是候選自然變換。

---

# 5. 為什麼「交換圖」比「數值相等」更適合 observer mathematics

如果：

$$
F_{OP,x}
$$

不是 identity，則要求：

$$
T_\gamma^O=T_\gamma^P
$$

通常既不合理也沒有型別意義。

協變性真正要求的是：

$$
\boxed{
\text{translate after evolution}
=
\text{evolve after translation}.
}
$$

所以 observer agreement 不必等於「看到同一個數字」。

它只要求：

> 兩套描述能被一個一致的轉換律互相映射。

這是 Series B 從「觀察者相對」走向「觀察者協變」的關鍵一步。

---

# 6. Observer-Transport Defect

若交換圖不閉合，就需要量化它。

## 定義 6.1（一般 observer-transport defect）

對：

$$
v\in\mathcal F_x^O,
$$

若 $\mathcal F_y^P$ 有度量 $d_P$，定義：

$$
\boxed{
D_{OP,\gamma}(v)
=
d_P\!\left(
F_{OP,y}(T_\gamma^O v),
T_\gamma^P(F_{OP,x}v)
\right).
}
$$

它直接比較兩條合法流程。

---

## 線性退化

若所有空間為賦範線性空間，定義算子級 defect：

$$
\boxed{
\mathfrak D_{OP}(\gamma)
=
F_{OP,y}T_\gamma^O
-
T_\gamma^P F_{OP,x}.
}
$$

以及：

$$
\boxed{
D_{OP}(\gamma)
=
\|\mathfrak D_{OP}(\gamma)\|.
}
$$

因此：

$$
D_{OP}(\gamma)=0
$$

等價於該路徑上的精確 observer covariance。

---

# 7. 這其實是 Paper 01 的缺陷再次升階

Paper 01 有：

$$
\delta_{f,g}(x)
=
d(fg(x),gf(x)).
$$

本文則有：

$$
D_{OP,\gamma}(v)
=
d\!\left(
F T^O(v),
T^P F(v)
\right).
$$

形式完全平行。

Paper 01 問：

> 兩個局部操作換順序是否造成差？

Paper 05 問：

> observer translation 與 world transport 換順序是否造成差？

因此 Series B 的「非交換」現在至少有兩個層次：

$$
\boxed{
\text{intra-world noncommutativity}
}
$$

與：

$$
\boxed{
\text{inter-observer covariance defect}.
}
$$

後者不是前者的直接同義詞。

---

# 8. 合成觀察者轉換

若有三個觀察者：

$$
O,P,Q,
$$

且：

$$
F_{OP,x},
\qquad
F_{PQ,x},
$$

則可定義合成：

$$
F_{OQ,x}
=
F_{PQ,x}\circ F_{OP,x}.
$$

若 $F_{OP}$ 與 $F_{PQ}$ 都精確協變，則：

$$
F_{OQ}
$$

也精確協變。

## 命題 8.1（協變轉換對合成封閉）

若：

$$
F_{OP,y}T_\gamma^O
=
T_\gamma^P F_{OP,x}
$$

且：

$$
F_{PQ,y}T_\gamma^P
=
T_\gamma^Q F_{PQ,x},
$$

則：

$$
\boxed{
F_{OQ,y}T_\gamma^O
=
T_\gamma^Q F_{OQ,x}.
}
$$

**證明。**

$$
F_{OQ,y}T_\gamma^O
=
F_{PQ,y}F_{OP,y}T_\gamma^O
$$

$$
=
F_{PQ,y}T_\gamma^P F_{OP,x}
$$

$$
=
T_\gamma^Q F_{PQ,x}F_{OP,x}
$$

$$
=
T_\gamma^Q F_{OQ,x}.
$$

∎

因此精確 observer covariance 可以形成可組合的 observer-transition 結構。

---

# 9. 可逆觀察者轉換

若每個：

$$
F_{OP,x}
$$

都是同構，則存在：

$$
F_{PO,x}
=
F_{OP,x}^{-1}.
$$

此時 $O,P$ 可以視為同一 relational transport structure 的兩種等價表示。

這是最接近 ordinary gauge/frame transformation 的 régime。

---

# 10. 第一主定理：協變性推出 Holonomy 共軛

## 定理 10.1（Holonomy 共軛定理）

假設：

1. $F_{OP}$ 精確協變；
2. $F_{OP,x}$ 可逆。

對任意閉路：

$$
\ell:x\to x,
$$

有：

$$
\boxed{
H_x^P(\ell)
=
F_{OP,x}
H_x^O(\ell)
F_{OP,x}^{-1}.
}
$$

**證明。**

由閉路上的自然性：

$$
F_{OP,x}H_x^O(\ell)
=
H_x^P(\ell)F_{OP,x}.
$$

右乘：

$$
F_{OP,x}^{-1},
$$

得到：

$$
F_{OP,x}H_x^O(\ell)F_{OP,x}^{-1}
=
H_x^P(\ell).
$$

∎

---

# 11. 推論：合法 frame change 不能改變 Holonomy 的共軛不變量

有限維線性情形直接得到：

$$
\operatorname{tr}H^O
=
\operatorname{tr}H^P,
$$

$$
\det H^O
=
\det H^P,
$$

以及：

$$
\operatorname{spec}(H^O)
=
\operatorname{spec}(H^P).
$$

因此：

$$
\boxed{
\text{Holonomy matrix may differ}
}
$$

但：

$$
\boxed{
\text{its conjugacy invariants must agree}.
}
$$

這給 observer equivalence 一個非常強的否證器。

---

# 12. 不變量不同代表什麼？

如果兩觀察者聲稱：

> 我們只是使用不同 frame 描述同一 transport。

但卻得到：

$$
\operatorname{spec}(H^O)
\neq
\operatorname{spec}(H^P),
$$

則不存在一個可逆 $F_{OP}$ 使兩者以共軛方式相容。

至少有一個前提必須錯：

1. 兩者不是同一 transport；
2. observer transformation 不可逆；
3. 觀察資料有損；
4. 其中一方模型錯誤；
5. 需要更高階／更廣的比較結構。

所以 Series B 不接受「觀察者不同，所以什麼都可以不同」。

observer relativity 仍受 consistency constraints 約束。

---

# 13. 非可逆觀察者轉換：Coarse-Graining

更現實的觀察者轉換常不可逆。

例如：

$$
F_{OP,x}:
\mathcal F_x^O
\to
\mathcal F_x^P
$$

是一個投影。

即使精確協變，也只能有：

$$
\boxed{
F_{OP,x}H_x^O
=
H_x^P F_{OP,x}.
}
$$

而不能移項得到共軛。

這叫 intertwining／semiconjugacy 型關係。

---

# 14. Kernel 裡的歷史會消失

假設：

$$
w\in\ker F_{OP,x}.
$$

若 $O$ 的 holonomy 只改變：

$$
w
$$

方向，則 $P$ 可能完全看不見。

例如若：

$$
(H^O-I)(\mathcal F_x^O)
\subseteq
\ker F_{OP,x},
$$

則：

$$
F_{OP,x}H^O
=
F_{OP,x}.
$$

因此即使：

$$
H^O\neq I,
$$

對 $P$ 的投影仍可能：

$$
H^P=I.
$$

這正式連接 Paper 03 的：

$$
\text{observer information loss}
$$

與 Paper 04 的：

$$
\text{holonomy invisibility}.
$$

---

# 15. Relative Holonomy

在可逆 $F_{OP,x}$ 情況，兩套 holonomy 可以搬到同一 frame 比較。

## 定義 15.1（相對 Holonomy）

對閉路：

$$
\ell:x\to x,
$$

定義：

$$
\boxed{
R_{OP,x}(\ell)
=
F_{OP,x}H_x^O(\ell)F_{OP,x}^{-1}
\left(H_x^P(\ell)\right)^{-1}.
}
$$

若：

$$
R_{OP,x}(\ell)=I,
$$

則閉路上的 observer descriptions 相容。

若：

$$
R_{OP,x}(\ell)\neq I,
$$

則即使已把 $O$ 的 holonomy 轉進 $P$ frame，仍留下無法吸收的關係殘餘。

---

# 16. Relative Holonomy 的意義

它不是：

$$
H^O-H^P.
$$

因為 $H^O,H^P$ 活在不同 frame 中。

正確比較必須先 transport：

$$
H^O
\mapsto
F H^O F^{-1}.
$$

所以：

$$
R_{OP}
$$

真正回答：

> 兩觀察者的閉路記憶是否能由 observer transformation 完全對齊？

這是一個比「兩個人觀測數值不同」更結構性的問題。

---

# 17. Observer-Loop Defect

可用任意適當距離／範數定義：

$$
\boxed{
D^{\mathrm{loop}}_{OP}(\ell)
=
d_G(R_{OP,x}(\ell),I).
}
$$

在線性矩陣情形：

$$
D^{\mathrm{loop}}_{OP}(\ell)
=
\|R_{OP,x}(\ell)-I\|.
$$

它給出跨觀察者閉路不相容性的數值版本。

---

# 18. Gauge 改變下的相對 Holonomy

若：

$$
O
$$

與：

$$
P
$$

各自改 frame：

$$
g_x^O,
\qquad
g_x^P,
$$

則：

$$
H^O\mapsto
g^O H^O (g^O)^{-1},
$$

$$
H^P\mapsto
g^P H^P (g^P)^{-1},
$$

以及一致地：

$$
F_{OP}
\mapsto
g^P F_{OP}(g^O)^{-1}.
$$

代入可得：

$$
R_{OP}
\mapsto
g^P R_{OP}(g^P)^{-1}.
$$

因此 $R_{OP}$ 本身仍依 $P$ frame 共軛變換，但其：

- conjugacy class；
- trace；
- spectrum；
- determinant

保持不變。

所以真正跨觀察者 relational defect 仍應使用共軛不變量描述。

---

# 19. 近似協變

現實系統不一定滿足：

$$
D_{OP}(\gamma)=0.
$$

可定義：

$$
D_{OP}(\gamma)
\le
\varepsilon.
$$

這代表近似協變。

若對某一合法路徑族：

$$
\Gamma_0
$$

有：

$$
\sup_{\gamma\in\Gamma_0}
D_{OP}(\gamma)
\le
\varepsilon,
$$

則稱：

$$
O,P
$$

在 $\Gamma_0$ 上 $\varepsilon$ -協變。

這可用於：

- 有限精度；
- 模型近似；
- coarse-grained observers；
- 實驗誤差；
- 數值 transport。

但：

$$
\varepsilon
$$

必須和 structural defect 分離。

---

# 20. 路徑 Defect 如何累積

假設：

$$
\gamma
=
\gamma_n\circ\cdots\circ\gamma_1.
$$

即使每一步：

$$
D_{OP}(\gamma_k)
$$

都很小，長路徑可能累積誤差。

在線性有界情形，可利用插入—相消技巧寫出：

$$
F_yT_\gamma^O
-
T_\gamma^P F_x
$$

為各局部 defect 經前後 transport 放大的和。

因此存在形如：

$$
\boxed{
D_{OP}(\gamma)
\le
\sum_{k=1}^{n}
L_k\,
D_{OP}(\gamma_k)
}
$$

的上界，其中 $L_k$ 由其餘 transport 的 operator norms 控制。

這是 Paper 01「局部順序缺陷傳播」在 observer-covariance 層的再次出現。

---

# 21. 觀察者轉換本身也可能非交換

有三個觀察者：

$$
O,P,Q.
$$

可能存在：

$$
F_{PQ}F_{OP}
\neq
F_{OQ}.
$$

如果三者應描述同一 observer network，這表示 observer transitions 本身缺乏一致 composition。

可以定義：

$$
\boxed{
C_{OPQ,x}
=
F_{PQ,x}F_{OP,x}
-
F_{OQ,x}
}
$$

在線性情形度量：

$$
\|C_{OPQ,x}\|.
$$

更一般則用適當 categorical 2-cell／coherence morphism。

這是 observer-space 自己的 gluing 問題。

---

# 22. 從自然變換到高階相容

最簡單的 Series B 使用嚴格交換：

$$
F_{PQ}F_{OP}
=
F_{OQ}.
$$

但更一般的高階結構可能只有：

$$
F_{PQ}F_{OP}
\cong
F_{OQ},
$$

存在一個自然同構：

$$
\alpha_{OPQ}.
$$

如果觀察者組合需要保留這些 2-morphisms，Series B 就會自然進入：

- bicategory；
- 2-groupoid；
- higher gauge；
- descent coherence。

本文不展開，但把它標成清楚的升階接口。

---

# 23. Observer Covariance 與「同一世界」的最小判準

本文不嘗試定義終極「同一世界」。

但至少可以提出一個 transport-relative 判準：

若存在一族可逆 observer transformations：

$$
F_{OP}
$$

使：

1. transport naturality 成立；
2. observer composition coherence 成立；
3. 所有 gauge-stable holonomy invariants 相容；

則：

$$
\mathfrak T_O
$$

與：

$$
\mathfrak T_P
$$

可以視為同一 relational transport structure 的等價表示。

因此：

$$
\boxed{
\text{observer-relative}
}
$$

不代表：

$$
\boxed{
\text{observer-arbitrary}.
}
$$

---

# 24. 跨觀察者量的轉換

假設觀察者 $O$ 定義局部量：

$$
Q_x^O:
\mathcal F_x^O
\to V.
$$

觀察者 $P$ 定義：

$$
Q_x^P:
\mathcal F_x^P
\to V.
$$

## 定義 24.1（量的 observer compatibility）

若：

$$
\boxed{
Q_x^P\circ F_{OP,x}
=
Q_x^O,
}
$$

則稱兩觀察者的 $Q$ 描述相容。

也就是：

> 把 $O$ 的 state 翻譯到 $P$ frame 再測 $Q$，和直接在 $O$ frame 測 $Q$，得到同一抽象量。

---

# 25. Transport 守恆與 Observer Covariance

假設：

$$
Q_y^O\circ T_\gamma^O
=
Q_x^O
$$

以及：

$$
Q_y^P\circ T_\gamma^P
=
Q_x^P.
$$

若再有：

$$
Q^P\circ F_{OP}
=
Q^O,
$$

則兩 observer 對 conservation law 的描述相容。

這可畫成一個更大的交換結構：

$$
\mathcal F_x^O
\to
\mathcal F_y^O
\to
V
$$

和：

$$
\mathcal F_x^O
\to
\mathcal F_x^P
\to
\mathcal F_y^P
\to
V
$$

最後都到同一個 $Q$。

因此：

$$
\boxed{
\text{守恆律的 observer-independence}
}
$$

並不要求：

$$
Q_x^O=Q_x^P
$$

作為函數字面相同。

它要求的是協變圖閉合。

---

# 26. 第二维守恆概念：Covariant Conservation

這讓 Series B 可以先預告一個比：

$$
Q(t)=\text{constant}
$$

更廣的守恆型態：

$$
\boxed{
Q_y\circ T_\gamma
=
Q_x.
}
$$

跨 observer 再要求：

$$
\boxed{
Q^P\circ F_{OP}
=
Q^O.
}
$$

所以一個真正 observer-compatible conserved quantity 應同時：

1. 沿 world path transport 不變；
2. 沿 observer transformation 也保持一致。

這將成為 Paper 07 的守恆階層核心。

---

# 27. 相對 Holonomy 與守恆

即使：

$$
R_{OP}(\ell)\neq I,
$$

仍可能：

$$
Q^P\circ R_{OP}(\ell)
=
Q^P.
$$

也就是：

> 兩 observer 的完整 relational memory 不相容，但某個量仍對兩套描述給出相同結果。

因此：

$$
\boxed{
\text{observer-transport defect}
\not\Rightarrow
\text{all shared invariants fail}.
}
$$

這再次防止 Series B 從「觀察者不一致」直接跳到「沒有任何守恆」。

---

# 28. 三種跨觀察者狀態

本文可得到第一版三分類。

## OC0：精確協變

$$
D_{OP}(\gamma)=0
$$

對所有相關路徑成立。

若 $F$ 可逆，兩套 transport 等價至 observer frame change。

---

## OC1：近似協變

$$
0<
D_{OP}(\gamma)
\le
\varepsilon.
$$

差異可由有限精度／近似模型等容忍。

---

## OC2：結構不相容

不存在允許類中的 $F_{OP}$ 使 defect 消失或降至規定容忍域。

此時差異不能再被解釋為普通 frame change。

---

# 29. 真正的 observer-relative defect 必須先最小化 frame freedom

如果允許很多候選：

$$
F_{OP}\in\mathcal F_{\mathrm{adm}},
$$

不能挑一個很差的 $F$ 算出大 defect 就宣稱 observer 不相容。

應定義：

$$
\boxed{
D^\star_{OP}(\gamma)
=
\inf_{F\in\mathcal F_{\mathrm{adm}}}
D_{OP}^{F}(\gamma).
}
$$

只有：

$$
D^\star_{OP}>0
$$

才表示在允許的 observer transformations 中無法完全吸收差異。

這和 gauge theory 中先商掉 redundancy 再談 observable structure 的紀律一致。

---

# 30. Observer equivalence class

定義：

$$
O\sim P
$$

若存在 admissible 可逆 $F_{OP}$，使所有合法 transport 精確協變。

這是一個候選 observer-equivalence 關係。

在 composition／inverse 條件成立時，可形成 observer groupoid。

這和 Series B 的哲學直覺相容：

> 觀察者不是一堆互相孤立的絕對視角；它們透過合法 transformations 被組織成一張可比較網路。

---

# 31. Observer Groupoid

令：

$$
\mathcal O
$$

為 observer objects。

合法 observer transformations：

$$
F_{OP}
$$

作為 arrows。

若：

$$
F_{OO}=I,
$$

$$
F_{PQ}\circ F_{OP}=F_{OQ},
$$

且箭頭可逆，則形成 groupoid。

如果只部分可逆或含 coarse-graining，則需要更一般 category。

這提供 Paper 06 local-to-global observer gluing 的自然底層結構。

---

# 32. Paper 02 的 cohomology 將再次回來

observer transitions：

$$
F_{ij}
$$

在 overlap 上若滿足：

$$
F_{ij}F_{jk}F_{ki}=I,
$$

就形成標準 descent／nonabelian cocycle 型結構。

若失敗：

$$
F_{ij}F_{jk}F_{ki}\neq I,
$$

就出現 observer-transition holonomy／coherence defect。

因此 Paper 02 的：

$$
c_{ij}
$$

現在可能有第二種來源：

> 不只是 world-local frames 的 gluing defect，也可能是 observer frames 本身的 gluing defect。

這將在下一篇正式展開。

---

# 33. 本文與既有數學的關係

本文沒有發明：

- parallel transport functor；
- natural transformation；
- gauge covariance；
- holonomy conjugation；
- intertwiner。

這些都有成熟數學來源。

本文的工作是把它們放進 Series B 的同一個分層問題：

$$
\boxed{
\text{局部世界如何沿路徑變}
}
$$

和：

$$
\boxed{
\text{不同嵌入觀察者如何合法比較這個變化}
}
$$

並定義何時 observer difference 只是 representation difference，何時留下 relational incompatibility。

---

# 34. 本文禁止的四個推論

## 禁止一

$$
T^O\neq T^P
\Rightarrow
\text{兩 observer 不相容}.
$$

錯。必須先找 $F_{OP}$。

---

## 禁止二

$$
H^O\neq H^P
\Rightarrow
\text{holonomy 不一致}.
$$

錯。應比較共軛類或 relative holonomy。

---

## 禁止三

$$
D_{OP}>0
$$

在某一隨意 frame 下就代表結構不相容。

錯。應先最小化 admissible frame freedom。

---

## 禁止四

observer-transport defect 非零，就代表守恆破壞。

錯。某些 invariants 仍可能對 relative defect 不敏感。

---

# 35. 與前四篇的整合

Series B 現在形成五階：

## Paper 01：Order

$$
\delta,
\Delta.
$$

順序是否攜帶局部歷史資訊。

---

## Paper 02：Gluing

$$
c,
[c]\in H^1.
$$

局部差是否形成不可消去的全域阻塞。

---

## Paper 03：Access

$$
\mathcal G,
A_O,
R_O.
$$

global 是否存在，存在時 observer 能否辨識／重建。

---

## Paper 04：Transport

$$
T_\gamma,
H(\gamma).
$$

沿路徑走動後，閉路是否留下關係記憶。

---

## Paper 05：Covariance

$$
F_{OP},
D_{OP},
R_{OP}.
$$

不同 observer 的 transport 是否只是不同表示，還是具有不可消去的跨觀察者差異。

因此主線已成為：

$$
\boxed{
\text{order}
\rightarrow
\text{gluing}
\rightarrow
\text{access}
\rightarrow
\text{transport}
\rightarrow
\text{covariance}.
}
$$

---

# 36. 下一篇的問題：多個 observer-local worlds 能否黏成 observer network？

本文仍然只逐對比較：

$$
O\leftrightarrow P.
$$

下一篇必須研究整族：

$$
\{O_i\}_{i\in I}.
$$

即使每對：

$$
F_{ij}
$$

都存在，也可能在三重組合上：

$$
F_{ki}F_{jk}F_{ij}
\neq I.
$$

這會產生 observer-space 的 loop defect。

更進一步，即使 pairwise compatible，也未必存在一個 global observer-independent relational structure，讓所有：

$$
T^{O_i}
$$

都是它的局部限制／表示。

因此 Paper 06 將正式研究：

$$
\boxed{
\text{observer gluing}
+
\text{descent}
+
\text{local-to-global compatibility}.
}
$$

---

# 37. 結論

本文建立 Series B 的第五層：**關係協變性**。

核心不再是問：

> 兩個 observer 是否得到完全相同的表示？

而是：

$$
\boxed{
F_{OP,y}T_\gamma^O
=
T_\gamma^P F_{OP,x}\ ?
}
$$

若成立，兩 observer 的局部動力描述在 $F_{OP}$ 下協變。

若不成立，其差：

$$
\boxed{
\mathfrak D_{OP}(\gamma)
=
F_{OP,y}T_\gamma^O
-
T_\gamma^P F_{OP,x}
}
$$

就是 observer-transport defect。

在可逆精確協變情形，閉路 holonomy 滿足：

$$
\boxed{
H^P
=
F H^O F^{-1},
}
$$

所以所有共軛不變量一致。

這給「不同 observer 只是不同 frame」一個可否證的數學判準。

在不可逆情形，只剩：

$$
FH^O
=
H^P F,
$$

表示 coarse-graining observer 可以丟失某些完整 relational memory。

最後，相對 holonomy：

$$
\boxed{
R_{OP}
=
F H^O F^{-1}(H^P)^{-1}
}
$$

把 observer discrepancy 搬到同一 frame 後測量。

若：

$$
R_{OP}=I,
$$

閉路描述完全相容；

若：

$$
R_{OP}\neq I,
$$

則存在無法由 observer frame change 吸收的閉路關係差。

但即使如此，仍可能有：

$$
Q\circ R_{OP}=Q,
$$

因此跨觀察者不相容也不自動等於守恆失敗。

到這裡，Series B 已經具備進入真正 local-to-global observer network 的所有必要元件。

下一篇將問：

> 如果所有觀察者都只有局部世界、彼此之間只有局部 transformations，那麼這整張 observer network 何時能被黏成一個全域 relational structure？而何時即使 pairwise 一致，整體仍然失敗？

這將是 Series B / Paper 06。

---

## 參考文獻與既有工作

1. EveMissLab, **EML-OO-2026-DPE-v0.1**, *過程即存在：對話算子、回合映射與 agent 的本體論*, 2026-06-15.
2. EveMissLab, **EML-OO-2026-NSF-v0.2**, *關係先於物件：不可分數學的三根支柱與對話算子的上同調升級*, 2026-06-15.
3. EveMissLab, **EML-OO-2026-CONV-v0.1**, *殊途同歸：信息守恆封閉宇宙下「不可分數學」與「閉合性理論」的收斂猜想*, 2026-06-15.
4. U. Schreiber and K. Waldorf, *Parallel Transport and Functors*, arXiv:0705.0452.
5. C. A. Rossi, *Holonomy and parallel transport in the differential geometry of the space of loops and the groupoid of generalized gauge transformations*, arXiv:math/0401180.
6. K. Waldorf, *Parallel transport in principal 2-bundles*, arXiv:1704.08542.
7. G. A. Saldaña Moncada and G. Weingart, *Functoriality of Principal Bundles and Connections*, arXiv:1907.10231.
8. C. Rovelli, *Relational Quantum Mechanics*, International Journal of Theoretical Physics 35 (1996), arXiv:quant-ph/9609002.

---

**系列定位：** Series B / Paper 05  
**下一篇：** *觀察者網路的局部—全域黏合：Descent、三重相容與全域關係結構*