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 共軛定理）

假設：

$F_{OP}$ 精確協變；
$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}$ 使兩者以共軛方式相容。

至少有一個前提必須錯：

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

所以 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}

使：

transport naturality 成立；
observer composition coherence 成立；
所有 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 應同時：

沿 world path transport 不變；
沿 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。

參考文獻與既有工作

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

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

觀察者轉換與關係協變性_v0.1