← Archive
lm-002979 · 2026-08

共享狀態域耦合:從圖邊、共同表示到存在間有效狀態交換

下載 MD 檔 ⬇
📎 附件 · Companion files — 隨文交付的程式 / 證明 / 資料,可獨立下載重驗

EveMissLab Ontology Core Series — Paper 03

共享狀態域耦合:從圖邊、共同表示到存在間有效狀態交換

Shared-State Domain Coupling: From Graph Edges and Common Representations to Effective Inter-Existence State Coupling

  • 文件編號:EML-ONTO-CORE-03
  • 版本:v0.1
  • 日期:2026-08-15
  • 作者:Neo.K × AI 協作
  • 機構:EveMissLab/一言諾科技有限公司
  • 系列:Ontology Core Series
  • 上游正典:
    • EveMissLab Ontology Canon v0.1
    • Ontology Genealogy & Symbol Migration Map v0.1
    • EML-ONTO-CORE-01:潛能、載域與顯現
    • EML-ONTO-CORE-02:型別化三元算子族
  • 性質:關係本體論/資訊本體論/狀態空間/多存在耦合/圖與開放系統
  • 證據狀態:理論框架、形式定義與反例式限制;不宣稱 SSDC 已被證明為所有關係的唯一基礎

摘要

圖論與網路模型通常以:

G=(V,E)G=(V,E)

表示節點與邊。這種表示對大量結構問題足夠,但當研究問題從「是否有連接」進一步轉成:

  • 兩個存在實際共享哪些狀態?
  • 一方的狀態能否被另一方合法理解或重建?
  • 共同表示是否真的進入彼此的狀態更新?
  • 耦合是否對稱?
  • 同步是否意味著共享完整狀態?
  • 高度共享是否意味著兩者成為同一存在?

單一 binary edge:

eABEe_{AB}\in E

便不再足夠。

本文提出 Shared-State Domain Coupling(SSDC,共享狀態域耦合),將存在 AABB 的關係從單一 edge 升級為具有狀態內容、方向性、轉譯、耦合與失真結構的 relational domain。

本文先建立兩種共享域表示。

對可被共同表示的系統,引入:

ϕAq:SAqZABq,\phi_A^q: \mathcal S_A^q \rightarrow \mathcal Z_{AB}^q, ϕBq:SBqZABq,\phi_B^q: \mathcal S_B^q \rightarrow \mathcal Z_{AB}^q,

並定義共同像:

ZAB,q=ImϕAqImϕBq.\boxed{ \mathcal Z_{AB}^{\cap,q} = \operatorname{Im}\phi_A^q \cap \operatorname{Im}\phi_B^q. }

以及 exact pullback-style matching pairs:

PABq={(a,b):ϕAq(a)=ϕBq(b)}.\boxed{ \mathcal P_{AB}^{q} = \left\{ (a,b): \phi_A^q(a)=\phi_B^q(b) \right\}. }

若沒有自然共同 latent space,本文採用更一般的 correspondence:

RABqSAq×SBq\boxed{ \mathcal R_{AB}^q \subseteq \mathcal S_A^q \times \mathcal S_B^q }

作為 relation-native shared domain。因此,SSDC 不以「兩個 state spaces 必須能做直接交集」為前提。

本文進一步將 SSDC 分成四個基本子結構:

Share,Transport,Couple,Measure.\boxed{ \operatorname{Share}, \quad \operatorname{Transport}, \quad \operatorname{Couple}, \quad \operatorname{Measure}. }

其中共享(Share)只判定哪些狀態能進入共同關係域;轉譯(Transport)研究一方狀態如何跨域到另一方;主動耦合(Couple)要求一方狀態真正進入另一方的更新動力;Measure 則記錄共享覆蓋、轉譯保真、有效耦合與同步誤差等 typed observables。

本文拒絕將 SSDC 壓成單一全域 scalar。正典形式是一個方向性 profile:

PABq=(ρABshare,ρBAshare,ηABtr,ηBAtr,κˉABact,κˉBAact,εABsync,δAB).\boxed{ \mathbf P_{AB}^{q} = \left( \rho_{A\to B}^{\mathrm{share}}, \rho_{B\to A}^{\mathrm{share}}, \eta_{A\to B}^{\mathrm{tr}}, \eta_{B\to A}^{\mathrm{tr}}, \bar\kappa_{A\to B}^{\mathrm{act}}, \bar\kappa_{B\to A}^{\mathrm{act}}, \varepsilon_{AB}^{\mathrm{sync}}, \boldsymbol\delta_{AB} \right). }

只有在各子量已被明確正規化時,才允許建立任務相對的有效 SSDC 係數,例如:

cABeff,q=ρABshare,qηABtr,qκˉABact,q.\boxed{ c_{A\to B}^{\mathrm{eff},q} = \rho_{A\to B}^{\mathrm{share},q} \eta_{A\to B}^{\mathrm{tr},q} \bar\kappa_{A\to B}^{\mathrm{act},q}. }

本文證明或以反例展示下列 no-go:

Shared representation⇏transport\boxed{ \text{Shared representation} \not\Rightarrow \text{transport} } transport⇏active coupling\boxed{ \text{transport} \not\Rightarrow \text{active coupling} } active coupling⇏synchronization\boxed{ \text{active coupling} \not\Rightarrow \text{synchronization} } synchronization⇏identity\boxed{ \text{synchronization} \not\Rightarrow \text{identity} } pairwise SSDC⇏global shared domain.\boxed{ \text{pairwise SSDC} \not\Rightarrow \text{global shared domain}. }

由此,本文將「邊不是只有線;邊可以是一個共享狀態域」正式化為一種 enriched relational representation,並將舊 GCPR-RWL / FELRA 中的同步算子 CoCo 重新定位為:

ColegacySSDCsnapshot/sync,\boxed{ Co_{\mathrm{legacy}} \mapsto \mathrm{SSDC}^{\mathrm{snapshot/sync}}, }

即 SSDC 的歷史同步特例,而不是 SSDC 母概念本身。

本文為後續信息完整/失真/還原、同一與非同一、主客邊、Closure 與 CRL 提供關係狀態的共同接口。

關鍵詞: SSDC、共享狀態域、耦合、共享表示、轉譯、同步、方向性、圖邊、狀態空間、關係本體論、shared latent space、partial-state coupling


1. 問題:一條 edge 到底共享了什麼?

普通圖:

G=(V,E)G=(V,E)

若:

eABE,e_{AB}\in E,

通常只能告訴我們:

AABB 具有某種關係。

但無法直接回答:

  1. AA 的哪些狀態能被 BB 使用?
  2. BB 的哪些狀態能被 AA 使用?
  3. 兩者共享的是表示、語義、記憶、因果自由度,還是物理變量?
  4. 是否只是可以互相傳資料?
  5. 傳過去後能否重建?
  6. 重建後是否影響狀態更新?
  7. 耦合是否雙向?
  8. 是否只是同步某個 observable?
  9. 是否存在共享域但不存在 transport?
  10. 是否 pairwise 相容卻沒有 global shared state?

因此:

edge existenceshared-state specification.\boxed{ \text{edge existence} \neq \text{shared-state specification}. }

2. 上游:Connection family

Paper 02 定義:

L=typed relational operator family.\boxed{ \mathfrak L = \text{typed relational operator family}. }

Connection 可以是:

  • adjacency;
  • dependency;
  • reference;
  • transport;
  • causal influence;
  • shared-state relation;
  • feedback coupling。

因此:

SSDCL.\boxed{ \mathrm{SSDC} \subset \mathfrak L. }

但:

LSSDC.\boxed{ \mathfrak L \neq \mathrm{SSDC}. }

SSDC 專門研究:

關係成立時,存在間有多少狀態真正進入共同可作用域,以及這個共同域如何被轉譯與耦合。


3. Context-relative SSDC

SSDC 不應被視為 A,BA,B 的永久單一屬性。

令:

q=(o,s,r,d,τ,χ)\boxed{ q = ( o, s, r, d, \tau, \chi ) }

其中可包含:

  • oo:observer / evaluator;
  • ss:scale;
  • rr:resolution;
  • dd:semantic / representational depth;
  • τ\tau:state type;
  • χ\chi:task / channel / protocol context。

因此:

SSDCABq\boxed{ \mathrm{SSDC}_{AB}^{q} }

是 context-relative relational object。

可能:

SSDCABq1SSDCABq2.\mathrm{SSDC}_{AB}^{q_1} \neq \mathrm{SSDC}_{AB}^{q_2}.

例如兩個系統在文字語義域高度共享,但在視覺狀態域幾乎完全不共享。


4. Relevant State Domains

對存在:

A,B,A, \qquad B,

其完整狀態空間記為:

SA,SB.\mathcal S_A, \qquad \mathcal S_B.

在 context qq 下,只取 relevant state domains:

SAqSA,\boxed{ \mathcal S_A^q \subseteq \mathcal S_A, } SBqSB.\boxed{ \mathcal S_B^q \subseteq \mathcal S_B. }

因此共享比例的分母不必是「存在的全部本體」。

而是:

task-relevant / observable / communicable state domain.\boxed{ \text{task-relevant / observable / communicable state domain}. }

這避免把任何有限互動都錯誤描述成:

只共享了整個存在的 0.000001%0.000001\%


5. Shared Representation Realization

最直觀的 SSDC realization 是共同中介表示。

定義:

ϕAq:SAqZABq,\boxed{ \phi_A^q: \mathcal S_A^q \rightarrow \mathcal Z_{AB}^q, } ϕBq:SBqZABq.\boxed{ \phi_B^q: \mathcal S_B^q \rightarrow \mathcal Z_{AB}^q. }

其中:

ZABq\mathcal Z_{AB}^q

是共同 comparison / representation domain。

它可以是:

  • shared latent space;
  • common protocol;
  • typed ontology;
  • common coordinate chart;
  • joint semantic code;
  • shared physical mode;
  • agreed state schema。

6. Common Image

定義 6.1 — Exact Common Image

ZAB,q=Im(ϕAq)Im(ϕBq).\boxed{ \mathcal Z_{AB}^{\cap,q} = \operatorname{Im} ( \phi_A^q ) \cap \operatorname{Im} ( \phi_B^q ). }

若:

ZAB,q=,\mathcal Z_{AB}^{\cap,q} = \varnothing,

則在此共同表示 realization 下沒有 exact common code。

但這仍不代表 A,BA,B 不可建立任何 SSDC。

因為:

  • 可以改用 approximate matching;
  • 可以改用 relation-native correspondence;
  • 可以更換共同表示;
  • 可以透過第三方 mediator。

7. Pullback-Style Matching Pairs

定義 7.1

定義:

PABq=SAq×ZABqSBq\boxed{ \mathcal P_{AB}^{q} = \mathcal S_A^q \times_{\mathcal Z_{AB}^q} \mathcal S_B^q }

在集合層寫成:

PABq={(a,b)SAq×SBq:ϕAq(a)=ϕBq(b)}.\boxed{ \mathcal P_{AB}^{q} = \left\{ (a,b) \in \mathcal S_A^q \times \mathcal S_B^q : \phi_A^q(a) = \phi_B^q(b) \right\}. }

PABq\mathcal P_{AB}^{q} 保存的是:

哪些 AA -state 與 BB -state 在指定共同表示下對齊。

它比:

ZAB,q\mathcal Z_{AB}^{\cap,q}

更完整,因為同一 common code 可能對應多個原始 states。


8. Approximate Shared Domain

exact equality 常過強。

若:

(ZABq,dq)( \mathcal Z_{AB}^q, d_q )

為 metric / discrepancy space,則對:

ϵ0\epsilon\ge0

定義:

PABq,ϵ={(a,b):dq(ϕAq(a),ϕBq(b))ϵ}.\boxed{ \mathcal P_{AB}^{q,\epsilon} = \left\{ (a,b): d_q ( \phi_A^q(a), \phi_B^q(b) ) \le \epsilon \right\}. }

這允許:

  • semantic near-equivalence;
  • noisy sensor alignment;
  • approximate synchronization;
  • compressed shared representations;
  • heterogeneous carriers。

但:

ϵ\epsilon

必須由 domain / task 決定。

不得跨領域任意共享。


9. Relation-Native SSDC

共同 latent space 並非必要。

更一般地,直接定義:

RABqSAq×SBq.\boxed{ \mathcal R_{AB}^q \subseteq \mathcal S_A^q \times \mathcal S_B^q. }

搭配 projections:

pA:RABqSAq,p_A: \mathcal R_{AB}^q \rightarrow \mathcal S_A^q, pB:RABqSBq.p_B: \mathcal R_{AB}^q \rightarrow \mathcal S_B^q.

此時:

DABq=(RABq,pA,pB)\boxed{ \mathcal D_{AB}^q = ( \mathcal R_{AB}^q, p_A, p_B ) }

稱為 Shared-State Domain Object

這是一個 correspondence / span-style relational object。

它允許:

  • one-to-one;
  • one-to-many;
  • many-to-many;
  • partially defined;
  • asymmetric operational access。

10. SSDC 第一層:Share

定義 10.1 — Share Operator

Shareq:(A,B)DABq.\boxed{ \operatorname{Share}_q : (A,B) \mapsto \mathcal D_{AB}^q. }

Share 回答:

哪些 states / state classes 在 qq 下進入共同關係域?

Share 不要求

  • 可雙向重建;
  • 可通信;
  • active influence;
  • synchronization;
  • identity。

11. Directional Share Support

定義:

SABq,share=pA(RABq)\boxed{ \mathcal S_{A\rightsquigarrow B}^{q,\mathrm{share}} = p_A ( \mathcal R_{AB}^q ) }

以及:

SBAq,share=pB(RABq).\boxed{ \mathcal S_{B\rightsquigarrow A}^{q,\mathrm{share}} = p_B ( \mathcal R_{AB}^q ). }

這兩者分別表示:

A 有哪些 relevant states 參與共享域?

與:

B 有哪些 relevant states 參與共享域?


12. Directional Share Coverage

若:

μAq,μBq\mu_A^q, \qquad \mu_B^q

是合法有限 measure,定義:

ρABshare,q=μAq(SABq,share)μAq(SAq).\boxed{ \rho_{A\to B}^{\mathrm{share},q} = \frac{ \mu_A^q ( \mathcal S_{A\rightsquigarrow B}^{q,\mathrm{share}} ) }{ \mu_A^q ( \mathcal S_A^q ) }. }

同理:

ρBAshare,q=μBq(SBAq,share)μBq(SBq).\boxed{ \rho_{B\to A}^{\mathrm{share},q} = \frac{ \mu_B^q ( \mathcal S_{B\rightsquigarrow A}^{q,\mathrm{share}} ) }{ \mu_B^q ( \mathcal S_B^q ) }. }

若沒有自然 measure,可用 typed coverage functional:

MAq,MBq.M_A^q, \qquad M_B^q.

因此:

ρABshareρBAshare\rho_{A\to B}^{\mathrm{share}} \neq \rho_{B\to A}^{\mathrm{share}}

完全可能。


13. 為什麼 directional coverage 必要?

假設:

SAq\mathcal S_A^q

只包含一個簡單 protocol state family。

而:

SBq\mathcal S_B^q

是非常大的 multimodal internal state family。

完全可能:

ρABshare1\rho_{A\to B}^{\mathrm{share}} \approx1

但:

ρBAshare1.\rho_{B\to A}^{\mathrm{share}} \ll1.

意思是:

A 幾乎所有 relevant states 都能進入共同域,但 B 只有很小部分能被 A 涵蓋。

所以單一:

ρAB\rho_{AB}

會隱藏重要結構。


14. SSDC 第二層:Transport

共享域存在後,仍需問:

一方狀態能不能被真正搬運/翻譯成另一方可使用的 state?


15. Partial Transport

定義 15.1

定義 partial transport:

TABq:SABq,trSBq.\boxed{ T_{A\to B}^q: \mathcal S_{A\to B}^{q,\mathrm{tr}} \rightharpoonup \mathcal S_B^q. }

其中:

SABq,trSAq.\mathcal S_{A\to B}^{q,\mathrm{tr}} \subseteq \mathcal S_A^q.

同理:

TBAq.T_{B\to A}^q.

Transport 可以是:

  • deterministic map;
  • stochastic kernel;
  • decoder;
  • translator;
  • protocol adapter;
  • state estimator;
  • human interpretation;
  • physical transducer。

16. Share 不等於 Transport

可以有:

RABq\mathcal R_{AB}^q \neq \varnothing

但不存在單值:

TABq.T_{A\to B}^q.

例如:

一個 AA -state 對應多個互不等價的 BB -states,而沒有合法 selection rule。

因此:

Share⇏Transport.\boxed{ \operatorname{Share} \not\Rightarrow \operatorname{Transport}. }

這是 SSDC 第一個核心 no-go。


17. Transport Fidelity

若存在 reference / equivalence criterion:

Jq\mathcal J_q

可比較 transport 前後狀態,定義 typed distortion:

δABq(a).\boldsymbol\delta_{A\to B}^{q}(a).

暫時定義 transport fidelity:

ηABtr,q=1NormDist(δABq)\boxed{ \eta_{A\to B}^{\mathrm{tr},q} = 1 - \operatorname{NormDist} \left( \boldsymbol\delta_{A\to B}^{q} \right) }

使:

η[0,1].\eta\in[0,1].

但其真正 information typing 將由 Paper 04 建立。

本文只固定:

transport existencelossless transport.\boxed{ \text{transport existence} \neq \text{lossless transport}. }

18. Shared Latent Space 也不保證雙向一致

即使:

ϕA,ϕB\phi_A, \phi_B

成功對齊到共同 latent space,也還需要:

  • decoder alignment;
  • reconstruction consistency;
  • path consistency;
  • semantic preservation;

才能安全地說:

AZBA \rightarrow Z \rightarrow B

與:

BZAB \rightarrow Z \rightarrow A

具有可靠 transport。

因此:

common code⇏bidirectional faithful translation.\boxed{ \text{common code} \not\Rightarrow \text{bidirectional faithful translation}. }

19. SSDC 第三層:Active Coupling

Transport 成立仍不代表 AA 真正影響 BB

一封訊息可以成功傳到系統 B,但 B 完全忽略它。

因此需要 active coupling。


20. Coupled State Update

令:

xASAq,xBSBq.x_A\in\mathcal S_A^q, \qquad x_B\in\mathcal S_B^q.

一般 joint update 可寫:

xA+=FA(xA,uA,CBAq(xB)),\boxed{ x_A^{+} = F_A \left( x_A, u_A, C_{B\to A}^q(x_B) \right), } xB+=FB(xB,uB,CABq(xA)).\boxed{ x_B^{+} = F_B \left( x_B, u_B, C_{A\to B}^q(x_A) \right). }

其中:

CABqC_{A\to B}^q

為 coupling input map。


21. Active Coupling Criterion

若存在:

a1,a2SAqa_1, a_2 \in \mathcal S_A^q

以及固定:

b,uBb, u_B

使:

FB(b,uB,CAB(a1))FB(b,uB,CAB(a2)),F_B ( b, u_B, C_{A\to B}(a_1) ) \neq F_B ( b, u_B, C_{A\to B}(a_2) ),

則:

AB\boxed{ A \rightsquigarrow B }

具有 nontrivial active state influence。

反之,若 AA 輸入如何改變都不改變 BB 的更新,則:

κABact=0.\boxed{ \kappa_{A\to B}^{\mathrm{act}} = 0. }

22. Metric Coupling Strength

若:

(SA,dA),(SB,dB)(\mathcal S_A,d_A), \qquad (\mathcal S_B,d_B)

為 metric state spaces,可定義 Lipschitz-style sensitivity:

κABq=supdB(FB(b,u,C(a1)),FB(b,u,C(a2)))dA(a1,a2)\boxed{ \kappa_{A\to B}^{q} = \sup \frac{ d_B \left( F_B(b,u,C(a_1)), F_B(b,u,C(a_2)) \right) }{ d_A(a_1,a_2) } }

對合法:

a1a2,b,u.a_1\neq a_2, b,u.

若要正規化到:

[0,1),[0,1),

可用:

κˉ=κ1+κ.\boxed{ \bar\kappa = \frac{\kappa}{1+\kappa}. }

這只是可用 realization,不是 SSDC 唯一 coupling measure。


23. Differential Coupling Strength

若 dynamics 可微:

xB+=FB(xA,xB),x_B^+ = F_B(x_A,x_B),

可以局部使用:

κABJac=FBxA.\boxed{ \kappa_{A\to B}^{\mathrm{Jac}} = \left\| \frac{\partial F_B} {\partial x_A} \right\|. }

這與物理、控制與神經系統中常見的 local sensitivity 概念相容。

但:

κAB\kappa_{A\to B}

可能依 state / time / context 改變。

因此:

κAB永久常數\boxed{ \kappa_{A\to B} \neq \text{永久常數} }

一般更合理。


24. Transport 不等於 Active Coupling

構造:

TAB(a)T_{A\to B}(a)

AA 的狀態完整送到 BB 的 buffer。

但:

FBF_B

從不讀取該 buffer。

則:

ηABtr=1\eta_{A\to B}^{\mathrm{tr}}=1

可能成立,但:

κABact=0.\kappa_{A\to B}^{\mathrm{act}}=0.

所以:

Transport⇏Couple.\boxed{ \operatorname{Transport} \not\Rightarrow \operatorname{Couple}. }

25. Coupling 不必對稱

可以:

κAB>0\kappa_{A\to B}>0

但:

κBA=0.\kappa_{B\to A}=0.

例如:

  • sensor \rightarrow controller;
  • teacher \rightarrow passive model;
  • environment \rightarrow observer;
  • broadcast \rightarrow receiver。

所以:

SSDCAB\boxed{ \mathrm{SSDC}_{AB} }

不預設 mutuality。


26. SSDC 第四層:Measure

SSDC 的 Measure 不是一個固定 scalar。

最低應保存:

PABq=(ρABshare,ρBAshare,ηABtr,ηBAtr,κˉABact,κˉBAact,εABsync,δAB).\boxed{ \mathbf P_{AB}^{q} = \left( \rho_{A\to B}^{\mathrm{share}}, \rho_{B\to A}^{\mathrm{share}}, \eta_{A\to B}^{\mathrm{tr}}, \eta_{B\to A}^{\mathrm{tr}}, \bar\kappa_{A\to B}^{\mathrm{act}}, \bar\kappa_{B\to A}^{\mathrm{act}}, \varepsilon_{AB}^{\mathrm{sync}}, \boldsymbol\delta_{AB} \right). }

稱為:

SSDC Profile.\boxed{ \text{SSDC Profile}. }

27. 為什麼不能只用一個 Coefficient?

兩個 systems 可能:

Case A

共享域大:

ρ1,\rho\approx1,

但 transport 很差:

η1.\eta\ll1.

Case B

transport 完美:

η=1,\eta=1,

但 active coupling:

κ=0.\kappa=0.

Case C

coupling 強:

κ0,\kappa\gg0,

但只作用於很小 partial state:

ρ1.\rho\ll1.

三種關係若壓成同一 scalar,語義完全不同。

因此:

profile first, scalar second.\boxed{ \text{profile first, scalar second}. }

28. Effective SSDC Coefficient

但在工程上,確實可能需要一個方向性的「域值」。

若:

ρ,η,κˉ[0,1]\rho, \eta, \bar\kappa \in[0,1]

且三者的 operational meaning 已被固定,本文允許:

定義 28.1 — Effective Directional SSDC Coefficient

cABeff,q=ρABshare,qηABtr,qκˉABact,q.\boxed{ c_{A\to B}^{\mathrm{eff},q} = \rho_{A\to B}^{\mathrm{share},q} \, \eta_{A\to B}^{\mathrm{tr},q} \, \bar\kappa_{A\to B}^{\mathrm{act},q}. }

其性質:

cABeff,q[0,1].c_{A\to B}^{\mathrm{eff},q} \in[0,1].

且只要任一項為零:

cABeff,q=0.c_{A\to B}^{\mathrm{eff},q}=0.

29. Effective Coefficient 的限制

ceffc^{\mathrm{eff}}

不是 universal ontology constant。

它是:

task-relative engineering projection of the SSDC profile.\boxed{ \text{task-relative engineering projection of the SSDC profile}. }

若不同 task 對 share / transport / coupling 的重要性不同,也可使用:

cABW,q=Wq(PABq).\boxed{ c_{A\to B}^{W,q} = W_q ( \mathbf P_{AB}^{q} ). }

所以正典順序必須是:

PABqcABW,q,\boxed{ \mathbf P_{AB}^{q} \rightarrow c_{A\to B}^{W,q}, }

而不是先造 scalar 再猜它代表什麼。


30. Symmetric Summary

若真的需要雙向單值摘要,可定義例如:

cABsym,q=cABeff,qcBAeff,q.\boxed{ c_{AB}^{\mathrm{sym},q} = \sqrt{ c_{A\to B}^{\mathrm{eff},q} c_{B\to A}^{\mathrm{eff},q} }. }

但必須同時保存:

cAB,cBA.c_{A\to B}, \qquad c_{B\to A}.

否則會丟失方向性。


31. Synchronization 是另外一層 property

令:

hA:SAY,h_A: \mathcal S_A \rightarrow \mathcal Y, hB:SBYh_B: \mathcal S_B \rightarrow \mathcal Y

抽取要比較的 shared observable。

定義 synchronization error:

eAB(t)=dY(hA(xA(t)),hB(xB(t))).\boxed{ e_{AB}(t) = d_{\mathcal Y} \left( h_A(x_A(t)), h_B(x_B(t)) \right). }

若:

lim supteAB(t)ϵ,\limsup_{t\to\infty} e_{AB}(t) \le \epsilon,

可稱在該 observable 上達到 ϵ\epsilon -synchronization。


32. Active Coupling 不等於 Synchronization

可以:

κAB>0\kappa_{A\to B}>0

且:

κBA>0,\kappa_{B\to A}>0,

但 dynamics:

  • chaotic;
  • anti-phase;
  • oscillatory;
  • frustrated;
  • weakly coupled;

使:

eAB(t)e_{AB}(t)

不收斂到小值。

因此:

Couple⇏Sync.\boxed{ \operatorname{Couple} \not\Rightarrow \operatorname{Sync}. }

33. Synchronization 也不一定需要 direct pairwise coupling

兩個 systems 可能都被共同外部 forcing:

U(t)U(t)

驅動,而表現同步。

因此廣義:

Sync(A,B)\boxed{ \operatorname{Sync}(A,B) }

不必然推出:

κAB>0orκBA>0.\kappa_{A\to B}>0 \quad\text{or}\quad \kappa_{B\to A}>0.

所以更精確地:

SSDCsync=SSDCSyncCondition,\boxed{ \mathrm{SSDC}^{\mathrm{sync}} = \mathrm{SSDC} \cap \text{SyncCondition}, }

而不是把所有 synchronization 都視為 SSDC 子類。


34. Legacy CoCo 的精確遷移

歷史 GCPR-RWL / FELRA:

Co(ht,Γt,Rt,Et)Snapshott\mathrm{Co} ( h_t, \Gamma_t, R_t, E_t ) \rightarrow \mathrm{Snapshot}_t

主要確保:

  • intent version;
  • specification version;
  • runtime version;
  • data/environment version;

在驗證時處於共同 snapshot。

因此它可重寫為:

Colegacy=SSDCsnapshot\boxed{ Co_{\mathrm{legacy}} = \mathrm{SSDC}^{\mathrm{snapshot}} }

或:

SSDCversionsync.\boxed{ \mathrm{SSDC}^{\mathrm{version-sync}}. }

其 Share 部分是共同版本域。

其 Transport 部分是版本綁定與資料搬運。

但原始 CoCo 並未完整建模:

  • directional share coverage;
  • state transport fidelity;
  • active state influence;
  • general coupling strength。

因此:

ColegacySSDC\boxed{ Co_{\mathrm{legacy}} \subsetneq \mathrm{SSDC} }

作為概念遷移更安全。


35. Difference–Unitive U\mathcal U 的位置

差合化中的:

UAB\mathcal U_{AB}

曾用於:

  • coupling;
  • overlap;
  • exchange;
  • binding;
  • synchronization。

在新版 SSDC 中,它最接近:

CoupleAB\boxed{ \operatorname{Couple}_{AB} }

以及部分:

ShareAB.\operatorname{Share}_{AB}.

但:

USSDC\boxed{ \mathcal U \neq \mathrm{SSDC} }

因為 SSDC 還要求:

  • typed shared domain;
  • transport;
  • directionality;
  • measure;
  • distortion interface。

36. Shared Representation 不等於 Identity

即使:

ZAB=ImϕA=ImϕB,\mathcal Z_{AB}^{\cap} = \operatorname{Im}\phi_A = \operatorname{Im}\phi_B,

也不能推出:

A=B.A=B.

因為:

AA

與:

BB

仍可能具有不同:

  • carrier;
  • hidden state;
  • history;
  • boundary;
  • update law;
  • provenance;
  • agency;
  • persistence conditions。

因此:

Full shared representation⇏ontological identity.\boxed{ \text{Full shared representation} \not\Rightarrow \text{ontological identity}. }

37. Lossless Bidirectional Transport 也不等於 Identity

即使:

TBATAB=idAT_{B\to A} \circ T_{A\to B} = id_A

以及:

TABTBA=idBT_{A\to B} \circ T_{B\to A} = id_B

在某 relevant domain 上成立,也只表示:

這兩個 relevant state domains 在該 transport structure 下可逆等價。

仍不能推出整個存在:

A=B.A=B.

所以:

state-domain equivalenceexistence identity.\boxed{ \text{state-domain equivalence} \neq \text{existence identity}. }

38. Perfect Synchronization 也不等於 Identity

兩個獨立振盪器可以:

hA(xA(t))=hB(xB(t))h_A(x_A(t)) = h_B(x_B(t))

長期成立。

但:

AB.A \neq B.

因此:

Sync⇏Identity.\boxed{ \operatorname{Sync} \not\Rightarrow \operatorname{Identity}. }

39. SSDC 與主體/客體無關

SSDC 不預設 A,BA,B 都是 subjects。

可以:

A=human,B=AI,A=\text{human}, \qquad B=\text{AI},

也可以:

A=sensor,B=controller,A=\text{sensor}, \qquad B=\text{controller},

或:

A=theory,B=dataset.A=\text{theory}, \qquad B=\text{dataset}.

因此:

SSDC\boxed{ \mathrm{SSDC} }

是 relational state framework,不是 personhood theory。

Paper 05 才會處理:

Roo,Rob,Rbb.R_{oo}, \quad R_{ob}, \quad R_{bb}.

40. Edge-as-Domain

普通 graph:

eAB=1e_{AB} = 1

或:

0.0.

SSDC-enriched relation:

eABq=DABq,TABq,TBAq,PABq.\boxed{ e_{AB}^{q} = \left\langle \mathcal D_{AB}^{q}, T_{A\to B}^{q}, T_{B\to A}^{q}, \mathbf P_{AB}^{q} \right\rangle. }

因此:

an edge may carry a state domain.\boxed{ \text{an edge may carry a state domain}. }

中文:

邊不是只有線;邊可以是一個共享狀態域。\boxed{ \textbf{邊不是只有線;邊可以是一個共享狀態域。} }

41. SSDC-Enriched Graph

定義:

GSSDC=(V,E,D,T,P).\boxed{ G_{\mathrm{SSDC}} = \left( V, E, \mathcal D, \mathcal T, \mathcal P \right). }

其中:

  • VV:存在/節點;
  • EE:relation incidence;
  • D(e)\mathcal D(e):edge-associated shared-state domain;
  • T(e)\mathcal T(e):directional transport;
  • P(e)\mathcal P(e):SSDC profile。

因此 network analysis 不再只問:

deg(v)\deg(v)

還可以問:

  • shared-state coverage;
  • transport fidelity;
  • directional coupling;
  • coupling bottleneck;
  • global gluing consistency。

42. Pairwise SSDC 不推出 Global Shared Domain

考慮:

Z1={a,b},Z_1=\{a,b\}, Z2={b,c},Z_2=\{b,c\}, Z3={a,c}.Z_3=\{a,c\}.

則:

Z1Z2={b},Z_1\cap Z_2=\{b\}\neq\varnothing, Z2Z3={c},Z_2\cap Z_3=\{c\}\neq\varnothing, Z1Z3={a}.Z_1\cap Z_3=\{a\}\neq\varnothing.

但:

Z1Z2Z3=.\boxed{ Z_1\cap Z_2\cap Z_3 = \varnothing. }

因此:

i<j,  Share(i,j)⇏Share(1,2,3).\boxed{ \forall i<j, \; \mathrm{Share}(i,j)\neq\varnothing \not\Rightarrow \mathrm{Share}(1,2,3)\neq\varnothing. }

43. 這就是為什麼 pairwise graph 不夠

一張完全連接三角形:

K3K_3

只表示每對都存在 relation。

但它不告訴我們:

是否存在三者共同可成立的 state。

因此 multi-agent SSDC 需要:

  • higher-order overlap;
  • triple compatibility;
  • gluing;
  • cycle consistency;
  • possibly hyperedges / simplicial structure。

這直接接到既有 observer-network 的 local-global gluing 研究。


44. SSDC 不具自動傳遞性

即使:

SSDCAB\mathrm{SSDC}_{AB}\neq\varnothing

且:

SSDCBC,\mathrm{SSDC}_{BC}\neq\varnothing,

也不能推出:

SSDCAC.\mathrm{SSDC}_{AC}\neq\varnothing.

例如:

  • A/B 共享英文;
  • B/C 共享某私有 binary protocol;
  • A/C 沒有共同表示或 mediator。

因此:

SSDCABSSDCBC⇏SSDCAC.\boxed{ SSDC_{AB} \land SSDC_{BC} \not\Rightarrow SSDC_{AC}. }

45. Mediated SSDC

若存在 mediator:

BB

與 transports:

TAB,TBC,T_{A\to B}, \qquad T_{B\to C},

可構造 candidate mediated transport:

TAC(B)=TBCTAB.\boxed{ T_{A\to C}^{(B)} = T_{B\to C} \circ T_{A\to B}. }

但要合法,仍需:

  • domain compatibility;
  • type compatibility;
  • accumulated distortion bound;
  • permission;
  • causal validity。

所以 mediator 不是免費的 transitivity theorem。


46. SSDC Composition Defect

若直接 transport:

TACT_{A\to C}

存在,可以比較:

TACT_{A\to C}

與:

TBCTAB.T_{B\to C}\circ T_{A\to B}.

定義:

δABCcomp(a)=dC(TAC(a),TBC(TAB(a))).\boxed{ \delta_{ABC}^{\mathrm{comp}}(a) = d_C \left( T_{A\to C}(a), T_{B\to C} ( T_{A\to B}(a) ) \right). }

這是 relational path dependence 的最小版本。

後續 Paper 04 可將其納入 typed distortion。


47. Context Change

若:

qtqt+1,q_t \rightarrow q_{t+1},

則:

DABqt\mathcal D_{AB}^{q_t}

可能改變為:

DABqt+1.\mathcal D_{AB}^{q_{t+1}}.

因此:

SSDC\boxed{ \mathrm{SSDC} }

可以動態生成、擴張、收縮、失效或重建。

這讓 SSDC 可以直接接入三元算子族:

ESSDC,LSSDC,CSSDC.\mathfrak E_{\mathrm{SSDC}}, \quad \mathfrak L_{\mathrm{SSDC}}, \quad \mathfrak C_{\mathrm{SSDC}}.

48. SSDC Expansion

例如:

ρABshare\rho_{A\to B}^{\mathrm{share}} \uparrow

或:

dom(TAB)\operatorname{dom} ( T_{A\to B} ) \uparrow

可以構成:

ESSDC.\boxed{ \mathcal E^{\mathrm{SSDC}}. }

49. SSDC Connection

建立新的:

DABq\mathcal D_{AB}^{q}

本身是一個:

LSSDC\boxed{ \mathcal L^{\mathrm{SSDC}} }

事件。


50. SSDC Convergence

如果兩個冗餘 transport protocol 被證明等價後合併:

T1,T2T,T_1,T_2 \rightarrow T^\star,

可能:

CSSDC\boxed{ \mathcal C^{\mathrm{SSDC}} }

在 protocol freedom 上成立。

但這不意味 shared-state coverage 必然下降。


51. SSDC 與 CRL

CRL 處理 branch structures。

SSDC 處理 existence / state domains 間 shared relation。

兩者未來可以結合:

CRL 在重連 branches 時,需要知道 branches 之間究竟共享哪些 certified state / semantic structures。

但本文不宣稱:

CRL=SSDC.CRL = SSDC.

52. External Comparison:Shared Latent Spaces

multimodal representation learning 已經廣泛研究:

不同 modalities 如何映射到共同 latent representation。

近期 shared-latent-space 工作進一步把:

  • shared semantic code;
  • cross-modal inference;
  • reconstruction / generation;
  • alignment;

視為不同技術問題。

這與 SSDC 的重要分離一致:

ShareTransport.\boxed{ \text{Share} \neq \text{Transport}. }

但 SSDC 比 machine-learning shared latent space 更廣,因為它不要求 neural latent variables,也不限制於 multimodal learning。


53. External Comparison:Transformation Alignment

近期 unified multimodal model 研究特別指出:

即使具有 shared representations,若映入與映出 latent space 的 transformations 沒有被明確對齊,跨模態轉換仍可能產生 semantic drift。

本文對應地寫成:

common representation⇏faithful bidirectional transport.\boxed{ \text{common representation} \not\Rightarrow \text{faithful bidirectional transport}. }

這是 SSDC 將 Share 與 Transport 分離的重要外部方法論前例。


54. External Comparison:Partial-State Synchronization

coupled dynamical-system 文獻研究:

  • partial-state coupling;
  • coupling strength;
  • projected states;
  • synchronization manifold;
  • directed switching topology。

其核心提醒是:

coupling may act only on part of the state.\boxed{ \text{coupling may act only on part of the state}. }

因此 SSDC 不要求:

SA=SB\mathcal S_A = \mathcal S_B

或完全共享。


55. External Comparison:Observed-State Synchronization

adaptive-coupling 研究也考慮:

真正 state variables 不可直接觀察,只能觀察 state 的函數。

這支持 SSDC 將:

hA(xA),hB(xB)h_A(x_A), \qquad h_B(x_B)

與完整 states 分離。

因此:

observable synchronizationfull-state identity.\boxed{ \text{observable synchronization} \neq \text{full-state identity}. }

56. External Comparison:Pairwise Multimodal Alignment

2026 年 pairwise-modality representation work 研究:

只觀察多組 pairwise modalities 時,在什麼條件下可學到跨 modalities 的 shared latent representation。

這與 SSDC multi-agent extension 有直接方法論共鳴:

pairwise alignment\boxed{ \text{pairwise alignment} }

與:

global common representation\boxed{ \text{global common representation} }

需要分離。

但本文的 pairwise-no-global 命題是集合/關係層的基本結構陳述,不依賴特定機器學習模型。


57. 本文不主張什麼

本文明確不主張:

  1. 所有 Connection 都必須是 SSDC;
  2. 所有 SSDC 都需要神經網路 shared latent space;
  3. 所有 state spaces 都能嵌入同一 universal space;
  4. 所有 shared domain 都能用 Lebesgue measure;
  5. ρ\rho 是唯一合法共享度;
  6. κ\kappa 是唯一合法 coupling strength;
  7. ceffc^{\mathrm{eff}} 是宇宙基本常數;
  8. transport 一定可逆;
  9. coupling 一定雙向;
  10. coupling 一定導致 synchronization;
  11. synchronization 一定需要 direct pairwise coupling;
  12. synchronization 表示同一存在;
  13. pairwise SSDC 自動形成 global SSDC;
  14. SSDC 自動具有傳遞性;
  15. shared representation 自動無失真;
  16. SSDC 已完成主體性或意識的定義。

58. 十條核心命題

Core-1 — Edge-as-Domain Principle

eAB\boxed{ e_{AB} }

可攜帶 shared-state domain,而不只是 binary relation。

Core-2 — Share/Transport Separation

Share⇏Transport.\boxed{ Share \not\Rightarrow Transport. }

Core-3 — Transport/Coupling Separation

Transport⇏Couple.\boxed{ Transport \not\Rightarrow Couple. }

Core-4 — Coupling/Synchronization Separation

Couple⇏Sync.\boxed{ Couple \not\Rightarrow Sync. }

Core-5 — Synchronization/Identity Separation

Sync⇏Identity.\boxed{ Sync \not\Rightarrow Identity. }

Core-6 — Directionality Principle

ρABρBA\boxed{ \rho_{A\to B} \neq \rho_{B\to A} }

與:

κABκBA\boxed{ \kappa_{A\to B} \neq \kappa_{B\to A} }

一般允許。

Core-7 — Profile-First Principle

PABq\boxed{ \mathbf P_{AB}^{q} }

是正典;scalar coefficient 是 projection。

Core-8 — Pairwise/Global Separation

pairwise SSDC⇏global shared-state domain.\boxed{ \text{pairwise SSDC} \not\Rightarrow \text{global shared-state domain}. }

Core-9 — Non-Transitivity Principle

SSDCABSSDCBC⇏SSDCAC.\boxed{ SSDC_{AB} \land SSDC_{BC} \not\Rightarrow SSDC_{AC}. }

Core-10 — Context Relativity

SSDCABq1SSDCABq2\boxed{ SSDC_{AB}^{q_1} \neq SSDC_{AB}^{q_2} }

一般可能。


59. Canonical SSDC Object

本文最終將 SSDC 寫成:

SSDCABq=DABq;TABq,TBAq;CABq,CBAq;PABq.\boxed{ \mathrm{SSDC}_{AB}^{q} = \left\langle \mathcal D_{AB}^{q}; T_{A\to B}^{q}, T_{B\to A}^{q}; C_{A\to B}^{q}, C_{B\to A}^{q}; \mathbf P_{AB}^{q} \right\rangle. }

其中:

DABq\mathcal D_{AB}^{q}

是共享狀態域;

TT

是 transport;

CC

是 active coupling input / law;

P\mathbf P

是可測 profile。


60. SSDC 與三元母框架

因此 Connection family 可以被細化:

LSSDC.\boxed{ \mathfrak L \supset \mathrm{SSDC}. }

而 SSDC 自身也可以:

ESSDCLSSDCCSSDC\boxed{ \mathfrak E^{\mathrm{SSDC}} \rightarrow \mathfrak L^{\mathrm{SSDC}} \rightarrow \mathfrak C^{\mathrm{SSDC}} }

持續變化。

這說明:

SSDC 不是第四元。

它是 Connection family 中一個被展開後具有完整 state-domain structure 的重要子理論。


61. 結論

SSDC 的真正問題不是:

A 和 B 有沒有連接?

而是:

A 的哪些狀態能進入共同域?B 的哪些狀態能進入共同域?它們如何翻譯?翻譯失真多少?翻譯後是否真的改變另一方狀態?耦合是單向還是雙向?是否只同步部分 observable?pairwise shared domains 能否真正黏合成 global state?\boxed{ \begin{aligned} &\text{A 的哪些狀態能進入共同域?}\\ &\text{B 的哪些狀態能進入共同域?}\\ &\text{它們如何翻譯?}\\ &\text{翻譯失真多少?}\\ &\text{翻譯後是否真的改變另一方狀態?}\\ &\text{耦合是單向還是雙向?}\\ &\text{是否只同步部分 observable?}\\ &\text{pairwise shared domains 能否真正黏合成 global state?} \end{aligned} }

因此:

邊不是只有線;邊可以是一個共享狀態域。\boxed{ \textbf{邊不是只有線;邊可以是一個共享狀態域。} }

這句話現在不再只是比喻。

它具有:

D+T+C+P\boxed{ \mathcal D + T + C + \mathbf P }

四層正式內容。

CoCo 同步算子也因此獲得較精確的歷史位置:

ColegacySSDCsnapshot/sync.\boxed{ Co_{\mathrm{legacy}} \mapsto SSDC^{\mathrm{snapshot/sync}}. }

真正的母概念則是:

SSDC=存在與存在之間可共同成立、可被傳輸、並可能進入彼此狀態更新的共享狀態域結構。\boxed{ \mathrm{SSDC} = \text{存在與存在之間可共同成立、可被傳輸、並可能進入彼此狀態更新的共享狀態域結構。} }

下一篇將進一步問:

當狀態真的跨 SSDC 傳輸後,究竟保存了什麼,又失去了什麼?

即:

Paper 04  Typed Information, Distortion, and Restoration.\boxed{ \textbf{Paper 04 — Typed Information, Distortion, and Restoration}. }

參考文獻

  1. Cui, J., Chen, Y.-Y., Zhang, Y., & Klenk, M. ShaLa: Multimodal Shared Latent Space Modelling. arXiv:2508.17376, 2025.
  2. Luo, Y., Wang, W., Bai, H., Savvides, M., & Wang, J. LatentUMM: Dual Latent Alignment for Unified Multimodal Models. arXiv:2605.17766, 2026.
  3. Li, Y., Deng, Y., Sun, Y., Luo, G., Zhang, K., & Chen, G. Multimodal LLMs under Pairwise Modalities. arXiv:2605.21059, 2026.
  4. Nawaz, S., Janjua, M. K., Gallo, I., Mahmood, A., & Calefati, A. Deep Latent Space Learning for Cross-modal Mapping of Audio and Visual Signals. arXiv:1909.08685, 2019.
  5. Liu, X., & Chen, T. Network Synchronization with an Adaptive Coupling Strength. arXiv:math/0610580, 2006.
  6. Qin, J., Ma, Q., Yu, X., & Wang, L. On Synchronization of Dynamical Systems over Directed Switching Topologies: An Algebraic and Geometric Perspective. arXiv:1807.07840, 2018.
  7. Fong, B. Decorated Cospans. arXiv:1502.00872, 2015.
  8. Vagner, D., Spivak, D. I., & Lerman, E. Algebras of Open Dynamical Systems on the Operad of Wiring Diagrams. arXiv:1408.1598, 2014.

版本註記

v0.1

首次建立:

  • SSDC canonical name;
  • context-relative relevant state domains;
  • common-image shared representation;
  • pullback-style exact shared pairs;
  • approximate shared domain;
  • relation-native correspondence;
  • Share / Transport / Couple / Measure 四層;
  • directional share coverage;
  • transport fidelity placeholder;
  • active coupling criterion;
  • metric / Jacobian coupling realization;
  • SSDC profile;
  • effective directional SSDC coefficient;
  • synchronization error;
  • direct coupling與 synchronization 分離;
  • legacy CoCo -> SSDC snapshot/sync subtype;
  • edge-as-domain;
  • SSDC-enriched graph;
  • pairwise SSDC != global shared domain;
  • SSDC non-transitivity;
  • mediated transport and composition defect;
  • SSDC 與 triadic operator families / CRL 的接口。