← Archive
lm-004704 · 2026-10

OIGT Paper 06|分散式世界圖與矩陣化計算

下載 MD 檔 ⬇

OIGT Paper 06|分散式世界圖與矩陣化計算

從有限活動世界圖到多向矩陣、張力張量與平行異質執行

English Title: Distributed World Graphs and Matrix-Native Computation: From Finite Active Fragments to Multidirectional Matrices, Tension Tensors, and Parallel Heterogeneous Execution
Series: Open Inter-World Globality Theory
Series ID: OIGT
Paper: 06 / 10
Version: Draft v0.1
Date: 2026-09-14
Author: Neo.K
AI Collaboration: Aletheia / GPT-5.6 Sol
Institution: EveMissLab / 一言諾科技有限公司
Status: Computational Representation Draft / Runtime IR Bridge
Depends on: OIGT Paper 00–05


摘要

OIGT Paper 00–05 已建立:

Globality without a Universal World,\boxed{ \text{Globality without a Universal World}, } World≠Set,\boxed{ \mathsf{World}\neq\mathsf{Set}, } Empty Realization≠Empty Potential,\boxed{ \text{Empty Realization}\neq\text{Empty Potential}, } Interoperability without Ontological Unification,\boxed{ \text{Interoperability without Ontological Unification}, } First-Order Duality⇏Higher-Order Symmetry,\boxed{ \text{First-Order Duality} \not\Rightarrow \text{Higher-Order Symmetry}, }

以及:

Finite Active Realization+Unbounded Extensibility.\boxed{ \text{Finite Active Realization} + \text{Unbounded Extensibility}. }

本文處理下一個工程與數學接口問題:

一套不要求 Universal World、允許多個獨立世界、局部 Bridge、高階 Tension 與無界 Frontier 的理論,究竟如何被有限計算機直接操作?

本文提出三層分離:

World≠Runtime Graph≠Matrix/Tensor Projection.\boxed{ \text{World} \neq \text{Runtime Graph} \neq \text{Matrix/Tensor Projection}. }

World 保持 OIGT primitive。

Runtime Graph 是有限 active fragment 的 canonical computational representation。

Matrix / Tensor / Hypergraph 則是針對特定計算任務建立的 executable projection。

令:

GtAG_t^A

為時間 tt 的 Active World Graph:

GtA=(Vt,Et,τV,τE,Γt,Ht,Ft,Ct).\boxed{ G_t^A = ( V_t, E_t, \tau_V, \tau_E, \Gamma_t, H_t, F_t, C_t ). }

其中:

  • VtV_t:目前 active nodes;
  • EtE_t:目前 active typed relations;
  • τV\tau_V:node typing;
  • τE\tau_E:edge typing;
  • Γt\Gamma_t:局部合法性規則;
  • HtH_t:歷史與 provenance;
  • FtF_t:尚未 materialize 的 expansion frontier;
  • CtC_t:certificates / audit metadata。

本文進一步定義矩陣化投影:

ΠM:GtA→Mt,\boxed{ \Pi_M: G_t^A \rightarrow \mathcal M_t, }

其中:

Mt\mathcal M_t

不是單一普通數值矩陣,而可以是一族 typed sparse matrices / tensors:

Mt={Mrel,Moverlap,Mbridge,Mdual,Mtension,Mdep,Mauth,Mhistory}.\mathcal M_t = \{ M^{rel}, M^{overlap}, M^{bridge}, M^{dual}, M^{tension}, M^{dep}, M^{auth}, M^{history} \}.

其中五態 overlap matrix 使用:

{U,N,C,T,X}\{U,N,C,T,X\}

表示:

Undefined,Null,Compatible,Tensive,Contradictory.\text{Undefined}, \text{Null}, \text{Compatible}, \text{Tensive}, \text{Contradictory}.

高階張力則不必壓縮為普通 pairwise edge,而可使用 hypergraph、incidence matrix 或 higher-order tensor 表示:

T(k).\mathcal T^{(k)}.

本文最後提出 OIGT 的第一版 Graph–Matrix Execution Pipeline:

World→Finite Active Presentation→Typed World Graph→Matrix/Tensor Projection→Parallel Operator Execution→Verification→Candidate Delta→Commit.\boxed{ \text{World} \rightarrow \text{Finite Active Presentation} \rightarrow \text{Typed World Graph} \rightarrow \text{Matrix/Tensor Projection} \rightarrow \text{Parallel Operator Execution} \rightarrow \text{Verification} \rightarrow \text{Candidate Delta} \rightarrow \text{Commit}. }

這使 OIGT 從基礎理論正式進入可執行計算表示。


關鍵詞

Distributed World Graph、typed graph、matrix-native computation、多向矩陣、MMLC、NOVA、稀疏矩陣、hypergraph、tension tensor、parallel computation、runtime IR、finite active graph、OIGT。


1. 問題:理論如何變成 Runtime?

前五篇可以描述:

  • 世界;
  • Null;
  • Bridge;
  • Overlap;
  • Duality;
  • Tension;
  • Frontier;
  • Unbounded expansion。

但計算機不能直接執行:

World\mathsf{World}

這種本體 primitive。

它需要有限、可序列化、可索引、可驗證的 computational object。

因此必須增加 representation layer。


2. 三層永久分離

本文首先固定:

World≠Runtime Graph≠Matrix Projection.\boxed{ \text{World} \neq \text{Runtime Graph} \neq \text{Matrix Projection}. }

三者職責完全不同。


3. World Layer

W:WorldW:\mathsf{World}

仍然是 OIGT primitive。

不要求:

WW

本身是 graph。


4. Graph Layer

對:

WW

或一族:

{Wi},\{W_i\},

Runtime 建立:

GtA.G_t^A.

它是:

authoritative computational representation of the active fragment.\boxed{ \text{authoritative computational representation of the active fragment}. }

5. Matrix Layer

矩陣:

MM

則是:

GtAG_t^A

在某個:

  • operator;
  • task;
  • traversal;
  • hardware;
  • resolution;

下的 executable projection。

所以:

M=ΠM(GtA;Q,R,H).\boxed{ M = \Pi_M(G_t^A;Q,R,H). }

6. Canonical 不等於 Ontological

如果 Runtime 宣稱:

GtAG_t^A

是 canonical graph,

只表示:

對該 Runtime,所有 authoritative state mutation 必須以此 graph identity 為準。

不表示:

GtA=W.G_t^A=W.

所以:

Canonical Computational State≠World Ontology.\boxed{ \text{Canonical Computational State} \neq \text{World Ontology}. }

7. Active World Graph

定義:

GtA=(Vt,Et,τV,τE,Γt,Ht,Ft,Ct).\boxed{ G_t^A = ( V_t, E_t, \tau_V, \tau_E, \Gamma_t, H_t, F_t, C_t ). }

8. Node Set

VtV_t

只包含:

currently materialized active nodes.\boxed{ \text{currently materialized active nodes}. }

因此:

∣Vt∣<∞.|V_t|<\infty.

9. Edge Set

EtE_t

只包含目前 materialized relations。

因此:

∣Et∣<∞.|E_t|<\infty.

10. Node Typing

定義:

τV:Vt→TV.\boxed{ \tau_V: V_t \rightarrow \mathcal T_V. }

其中可能包括:

  • Object;
  • WorldHandle;
  • LocalSet;
  • Seed;
  • FrontierNode;
  • Bridge;
  • Certificate;
  • Operator;
  • HistoryNode。

11. Edge Typing

定義:

τE:Et→TE.\boxed{ \tau_E: E_t \rightarrow \mathcal T_E. }

最低 edge type 可以包含:

RESIDES,MEMBER,BRIDGE,OVERLAP,DUAL,TENSION,DEPENDS,GENERATES,REVISES,EXTENDS,OBSERVES,AUTHORIZES.\boxed{ \begin{aligned} &RESIDES,\\ &MEMBER,\\ &BRIDGE,\\ &OVERLAP,\\ &DUAL,\\ &TENSION,\\ &DEPENDS,\\ &GENERATES,\\ &REVISES,\\ &EXTENDS,\\ &OBSERVES,\\ &AUTHORIZES. \end{aligned} }

12. Membership Edge 與 Residency Edge 不可混同

Paper 01 已建立:

x∈WA≠x◃W.x\in_WA \neq x\triangleleft W.

因此 graph 必須有不同 edge type:

MEMBER≠RESIDES.MEMBER \neq RESIDES.

13. Bridge Edge 與 Overlap Edge 不可混同

Paper 03 已建立:

Bridge≠Overlap.\text{Bridge} \neq \text{Overlap}.

因此:

BRIDGE≠OVERLAP.BRIDGE \neq OVERLAP.

14. Dual Edge 與 Tension Edge 不可混同

一階:

DUAL(x,y)DUAL(x,y)

可以成立。

同時:

TENSION(2)(x,y)≠0.TENSION^{(2)}(x,y)\neq0.

因此:

DUAL≠TENSION.DUAL \neq TENSION.

15. Typed Multigraph

由於同一 pair:

(x,y)(x,y)

可以同時有多種 relation,

OIGT Runtime 不應只使用 simple graph。

應採:

typed directed multigraph.\boxed{ \text{typed directed multigraph}. }

16. Edge Identity

每一 edge:

ee

應有自己的:

Id(e).Id(e).

因為:

x→yx\rightarrow y

可以同時存在:

  • old bridge;
  • new bridge;
  • read bridge;
  • write bridge;
  • historical relation。

17. Graph Version

整個:

GtAG_t^A

應有:

Version(GtA).Version(G_t^A).

Graph mutation 不能無版本。


18. Semantic Hash

若未來接 NOVA 類 runtime,可以建立:

Hsem(GtA).H_{sem}(G_t^A).

使:

GG

的 canonical identity 可被驗證。


19. Active Graph 不等於 Potential Graph

定義:

GtpotentialG_t^{potential}

代表 Seed / Frontier 可生成的潛在結構。

則:

GtA⊊Gtpotential\boxed{ G_t^A \subsetneq G_t^{potential} }

只是 representation intuition。

不必真的 materialize:

Gtpotential.G_t^{potential}.

20. Potential Graph 可以只有 Generator

更準確地:

GtpotentialG_t^{potential}

甚至不必是一個實際 graph object。

它可以只由:

(s,G,Γ)(s,\mathcal G,\Gamma)

描述。


21. Active Subgraph Expansion

當 query:

QQ

需要 frontier:

f,f,

才:

GtA→Expand(f)Gt+1A.G_t^A \xrightarrow{\mathsf{Expand}(f)} G_{t+1}^A.

22. Graph Expansion 是 Candidate

先產生:

G^t+1.\widehat G_{t+1}.

不是立即 commit。


23. 驗證後 Commit

流程:

Gt→G^t+1→Verify→Gt+1.G_t \rightarrow \widehat G_{t+1} \rightarrow \text{Verify} \rightarrow G_{t+1}.

所以:

Graph Mutation≠Immediate Authority.\boxed{ \text{Graph Mutation} \neq \text{Immediate Authority}. }

24. GraphPatch

最自然的 mutation unit 是:

ΔG.\boxed{ \Delta G. }

例如:

  • AddNode;
  • RemoveNode;
  • AddEdge;
  • RemoveEdge;
  • ReplaceAttribute;
  • AddFrontier;
  • ResolveTension。

25. GraphPatch 不直接改 World

ΔG\Delta G

只是 candidate world-presentation delta。

是否對:

WW

形成 authoritative commit,需要另外決定。


26. Matrix Projection

現在定義:

ΠM:GtA→Mt.\boxed{ \Pi_M: G_t^A \rightarrow \mathcal M_t. }

其中:

Mt\mathcal M_t

是一族 task-relative computational matrices。


27. 不存在唯一必要 Matrix

OIGT 不要求所有 relation 壓成一張:

M.M.

更自然的是:

Mt={M1,…,Mk}.\boxed{ \mathcal M_t = \{M_1,\ldots,M_k\}. }

28. Relation Matrix

對指定 relation:

r,r,

建立:

Mij(r).\boxed{ M^{(r)}_{ij}. }

例如:

Mbridge,Mdual,Mdep.M^{bridge}, M^{dual}, M^{dep}.

29. Binary Relation Matrix

最簡單:

Mij(r)∈{0,1}.M^{(r)}_{ij} \in \{0,1\}.

表示 relation 是否 active。


30. Typed Relation Matrix

但更一般:

Mij(r)=(state,type,weight,version,certificate).M^{(r)}_{ij} = \left( \text{state}, \text{type}, \text{weight}, \text{version}, \text{certificate} \right).

所以 cell 本身可以是 structured value。


31. Overlap Matrix

對 active worlds:

W1,…,Wn,W_1,\ldots,W_n,

定義:

MtO=[oij].\boxed{ M^O_t = [o_{ij}]. }

32. 五態 Cell

oij∈{U,N,C,T,X}.o_{ij} \in \{ U,N,C,T,X \}.

分別為:

Undefined,Null,Compatible,Tensive,Contradictory.\text{Undefined}, \text{Null}, \text{Compatible}, \text{Tensive}, \text{Contradictory}.

33. Overlap Matrix 不必對稱

可能:

oij≠oji.o_{ij}\neq o_{ji}.

因為 context、authority、bridge direction 可不同。

因此:

MO\boxed{ M^O }

一般不是 symmetric matrix。


34. Direction Matters

例如:

WiW_i

可讀:

Wj,W_j,

但:

WjW_j

不能讀:

Wi.W_i.

所以 relation matrix 必須保留 orientation。


35. Bridge Matrix

定義:

MB=[bij].\boxed{ M^B=[b_{ij}]. }

其中:

bijb_{ij}

可保存:

(BridgeId,State,Loss,Authority,Version,Cost).( \text{BridgeId}, \text{State}, \text{Loss}, \text{Authority}, \text{Version}, \text{Cost} ).

36. Duality Matrix

定義一階:

MD1=[dij].\boxed{ M^{D_1}=[d_{ij}]. }

其中:

dij=1d_{ij}=1

表示一階 duality 已被驗證。


37. Duality Matrix 不包含高階完整資訊

因為:

dij=1d_{ij}=1

不表示:

T2(i,j)=0.T_2(i,j)=0.

所以必須分開保存 tension。


38. Tension Matrix

對某個階:

k,k,

定義:

MTk=[tij(k)].\boxed{ M^{T_k} = [t_{ij}^{(k)}]. }

39. Structured Tension Cell

tij(k)t_{ij}^{(k)}

可以是:

(Tshape,Tlaw,Thistory,Tfuture,Tauthority).( T_{shape}, T_{law}, T_{history}, T_{future}, T_{authority} ).

40. Dependency Matrix

定義:

Mdep\boxed{ M^{dep} }

描述計算/生成 dependency。

它決定哪些 tasks 可以平行。


41. Authority Matrix

定義:

Mijauth\boxed{ M^{auth}_{ij} }

描述:

WiW_i

對:

WjW_j

的:

  • read;
  • propose;
  • execute;
  • commit;

權限。


42. Authority 不應藏在 Bridge 中唯一表示

因為同一 Bridge 可以在不同 authorization context 下使用。

所以:

Bridge Semantics≠Authority State.\boxed{ \text{Bridge Semantics} \neq \text{Authority State}. }

43. History Matrix

某些 task 需要:

MhistM^{hist}

描述:

i→ji\rightarrow j

的歷史轉換與 provenance。


44. Matrix Family

因此 OIGT active matrix family 可寫:

Mt={MO,MB,MDk,MTk,Mdep,Mauth,Mhist}.\boxed{ \mathcal M_t = \left\{ M^O, M^B, M^{D_k}, M^{T_k}, M^{dep}, M^{auth}, M^{hist} \right\}. }

45. Multi-Axis Matrix

傳統:

M∈Rm×n.M\in\mathbb R^{m\times n}.

但 OIGT 可以有:

M[World,Relation,Order,Time,Context].\boxed{ M[ \text{World}, \text{Relation}, \text{Order}, \text{Time}, \text{Context} ]. }

這更接近 tensor。


46. Tensor Projection

因此:

ΠT:GtA→Tt.\boxed{ \Pi_T: G_t^A \rightarrow \mathcal T_t. }

可直接輸出高階 tensor。


47. 但 Tensor 不等於 World

再強調:

Tt≠W.\boxed{ \mathcal T_t \neq W. }

Tensor 只是 runtime carrier。


48. 多向矩陣語義

MMR 的核心直覺可以直接接入:

同一資料不是只有 row-major 讀法。

OIGT matrix 可以有 traversal family:

Π={π1,π2,…}.\boxed{ \Pi = \{ \pi_1,\pi_2,\ldots \}. }

49. Traversal 可以代表

  • world-to-world;
  • relation-to-relation;
  • time;
  • duality order;
  • expansion depth;
  • dependency;
  • authority。

50. Display Order 不等於 Execution Order

因此:

Display Position≠Semantic Identity≠Execution Order.\boxed{ \text{Display Position} \neq \text{Semantic Identity} \neq \text{Execution Order}. }

51. Matrix Ledger Interface

若採 MMLC 風格,每一 matrix cell / block 可以攜帶:

  • source;
  • operator;
  • result;
  • residual;
  • certificate。

所以:

Matrix+Ledger\boxed{ \text{Matrix} + \text{Ledger} }

可作為 OIGT 的 executable projection backend。


52. OIGT 不等於 MMLC

MMLC 是計算表示/runtime。

OIGT 是 world/inter-world foundation。

所以:

OIGT≠MMLC.\boxed{ \text{OIGT} \neq \text{MMLC}. }

53. 但可定義 Adapter

AOIGT→MMLC.\boxed{ A_{\text{OIGT}\rightarrow \text{MMLC}}. }

將 active graph projection 成 MMLF / matrix-ledger representation。


54. Graph First / Matrix Second

因此本系列採:

Graph First→Matrix Projection.\boxed{ \text{Graph First} \rightarrow \text{Matrix Projection}. }

而不是:

Matrix defines the ontology.\text{Matrix defines the ontology}.

55. 為什麼?

因為 graph 更自然保存:

  • 稀疏 relation;
  • 多 edge type;
  • open frontier;
  • dynamic world count;
  • nonlocal bridge;
  • heterogeneous nodes。

56. Matrix 的優勢

Matrix / Tensor 則更適合:

  • GPU;
  • SIMD;
  • sparse kernels;
  • block operations;
  • parallel reductions;
  • numerical scoring;
  • batched traversal。

57. Graph–Matrix Dual Representation

因此:

G⟶ΠMM\boxed{ G \overset{\Pi_M}{\longrightarrow} M }

並可在保真條件下建立:

M⟶RGG^.\boxed{ M \overset{R_G}{\longrightarrow} \widehat G. }

58. Round-Trip

希望:

RG(ΠM(G))≃QG.\boxed{ R_G(\Pi_M(G)) \simeq_Q G. }

不是必然 bit-perfect。


59. Loss Certificate

如果 matrix projection 有損:

Loss(ΠM)>0,\text{Loss}(\Pi_M)>0,

必須附:

Certloss.\text{Cert}_{\text{loss}}.

60. Sparse Representation

OIGT 特別適合:

sparse matrix.\boxed{ \text{sparse matrix}. }

因為 open-world graph 通常:

∣E∣≪∣V∣2.|E| \ll |V|^2.

61. CSR / CSC 類型

不同 traversal 可以選:

  • CSR;
  • CSC;
  • block sparse;
  • COO;
  • graph-native adjacency structure。

Foundation 不固定。


62. Representation-Native Routing

Runtime 可依 operator:

FF

選擇最佳 representation:

R⋆=arg⁡min⁡RCost(F,R)\boxed{ R^\star = \arg\min_R \text{Cost}(F,R) }

subject to:

Legal(F,R).\text{Legal}(F,R).

63. 某些 operator 可以直接在 Graph 執行

例如:

  • BFS;
  • reachability;
  • cycle detection;
  • connected components。

64. 某些 operator 更適合 Matrix

例如:

  • batched relation propagation;
  • spectral analysis;
  • sparse multiplication;
  • attention-like operation;
  • block scoring。

65. 某些 operator 更適合 Tensor

例如:

  • higher-order relation;
  • order-indexed tension;
  • world × time × context。

66. Runtime 不應只有一種 carrier

因此:

One World→Multiple Computational Carriers.\boxed{ \text{One World} \rightarrow \text{Multiple Computational Carriers}. }

67. New Matrix-Graph Operator

本文提出暫定一般操作:

A⋆Γ,τ,πB.\boxed{ A \star_{\Gamma,\tau,\pi} B. }

68. Γ\Gamma

表示 legality / constraint context。


69. τ\tau

表示 relation / type semantics。


70. π\pi

表示 traversal / projection mode。


71. ⋆\star 不是單純矩陣乘法

它可以表示:

  • typed join;
  • bridge composition;
  • dependency propagation;
  • tension accumulation;
  • duality transport。

72. 普通 Matrix Multiplication 是特殊後端

若:

Γ\Gamma

簡化、

τ\tau

同質、

π\pi

固定,

則:

⋆\star

可以 lower 為:

AB.AB.

73. Typed Multiplication

一般:

A:BA:B

只有在:

Cod(A)∼Dom(B)\text{Cod}(A) \sim \text{Dom}(B)

且:

Γ\Gamma

通過時才可合成。


74. Illegal Cell Composition

若 cell type 不相容:

aij⋆bjka_{ij}\star b_{jk}

應返回:

⊥type\bot_{\text{type}}

而不是數值 garbage。


75. Partial Matrix Operator

因此:

⋆:M×M⇀M.\boxed{ \star: \mathcal M\times\mathcal M \rightharpoonup \mathcal M. }

76. Tension Accumulation

若一條 path:

i→j→k,i\rightarrow j\rightarrow k,

可以定義:

Tikpath=Tij⊕ΓTjk.\boxed{ T_{ik}^{\text{path}} = T_{ij} \oplus_\Gamma T_{jk}. }

77. ⊕\oplus 不必是加法

因為不同 tension type 可能:

  • 累積;
  • 抵消;
  • 轉型;
  • 放大。

78. Bridge Composition Matrix

對:

MB,M^B,

可以計算兩步可達:

(MB)[2].(M^B)^{[2]}.

但因 Bridge 非交換且有型別,所以不是普通 Boolean square 就能完整表示。


79. Typed Path Algebra

需要:

P=(Paths,Compose,Legal,Loss,Tension,Cert).\boxed{ \mathcal P = ( \text{Paths}, \text{Compose}, \text{Legal}, \text{Loss}, \text{Tension}, \text{Cert} ). }

80. Path Result

一條 path 的結果可以是:

(target,loss,tension,authority,certificate).( \text{target}, \text{loss}, \text{tension}, \text{authority}, \text{certificate} ).

81. Higher-Order Tension

Paper 04 已指出:

T(n)T^{(n)}

可能不可還原為 pairwise。

因此普通 adjacency matrix 不夠。


82. Hypergraph

建立:

HT=(V,ET).\boxed{ H_T=(V,\mathcal E_T). }

其中:

e∈ETe\in\mathcal E_T

可以連接:

n>2n>2

個 worlds / objects。


83. Incidence Matrix

可建立:

BH\boxed{ B_H }

作為 hypergraph incidence matrix。


84. Higher-Order Tensor

或:

Ti1i2…ik.\boxed{ \mathcal T_{i_1i_2\ldots i_k}. }

直接表示:

kk

階 tension。


85. 不要求完整 Tensor Materialization

如果:

nn

很大,

nkn^k

不實際。

因此只 materialize active sparse entries。


86. Sparse Higher-Order Tensor

只保存:

T[Iactive]\boxed{ \mathcal T[I_{active}] }

而不是完整 dense tensor。


87. Active Tension Support

定義:

supp(Tt)\boxed{ supp(T_t) }

為目前非零/待處理 higher-order tension。

要求:

∣supp(Tt)∣<∞.|supp(T_t)|<\infty.

88. Unbounded Order / Finite Support

雖然:

kk

沒有預設最大值,

任一時間:

Kt<∞.K_t<\infty.

所以 tensor order 也只 finite active。


89. Parallel Computation

現在開始真正接平行運算。

如果 tasks:

q1,…,qmq_1,\ldots,q_m

沒有 dependency edge,

則:

q1∥⋯∥qm.\boxed{ q_1\parallel\cdots\parallel q_m. }

90. Parallelism 來源

至少有:

  1. world parallelism;
  2. bridge parallelism;
  3. fiber parallelism;
  4. duality-pair parallelism;
  5. matrix-block parallelism;
  6. verification parallelism。

91. World Parallelism

如果:

WA,WBW_A,W_B

當前沒有同步 requirement:

Compute(WA)∥Compute(WB).Compute(W_A) \parallel Compute(W_B).

92. Fiber Parallelism

同一:

FxF_x

中的不同 independent branches 可平行展開。


93. Bridge Parallelism

互不依賴的 bridge evaluation:

B12∥B34.B_{12} \parallel B_{34}.

94. Block Parallelism

矩陣:

MM

可被分成:

M(1),…,M(p).M^{(1)},\ldots,M^{(p)}.

不同 block 由不同 executor 處理。


95. Heterogeneous Executor

不同 operator 可路由:

CPU,GPU,NPU,SymbolicEngine,ProofEngine,LLM.CPU, GPU, NPU, \text{SymbolicEngine}, \text{ProofEngine}, LLM.

96. Executor 不定義真理

哪個 executor 跑計算,不改變:

Γ\Gamma

與:

Cert\text{Cert}

義務。

所以:

Execution Backend≠Semantic Authority.\boxed{ \text{Execution Backend} \neq \text{Semantic Authority}. }

97. Global Coherence without Global Synchronization

OIGT 不要求所有 worker 同步 barrier。

只要求 commit boundary 上必要的 coherence。


98. Async Execution

因此:

Asynchronous Local Execution+Certified Boundary Reconciliation.\boxed{ \text{Asynchronous Local Execution} + \text{Certified Boundary Reconciliation}. }

是自然模式。


99. Distributed Partition

對:

GtA,G_t^A,

可以 partition:

GtA=Gt(1)∪⋯∪Gt(m)\boxed{ G_t^A = G_t^{(1)} \cup \cdots \cup G_t^{(m)} }

作為 computational presentation。


100. Partition 不等於 Ontological Split

G(1)G^{(1)}

在 Machine A,

G(2)G^{(2)}

在 Machine B,

不表示 World 本體被切成兩個世界。


101. Local Authority

不同 partition 可以由不同 machine authority 管理。

這正好符合 OIGT 的 federated world model。


102. Cross-Partition Bridge

partition 間可用:

Bpq.B_{pq}.

它可以有:

  • latency;
  • loss;
  • authorization;
  • version。

103. Distributed Active Graph

因此實際:

GtAG_t^A

可以只是 logical graph。

Physical realization:

GtA↦{Gt(m)}m=1M.\boxed{ G_t^A \mapsto \{G_t^{(m)}\}_{m=1}^{M}. }

104. Physical Distribution 不等於 Logical Global Matrix

不要求把所有 partition 合併成一個 dense array。


105. Local Compute

每個 partition:

Compute(Gt(m)).Compute(G_t^{(m)}).

106. Boundary Exchange

只交換:

∂Gt(m).\partial G_t^{(m)}.

或其 summary。


107. Incremental Reconciliation

只 reconciliation 改動區域:

ΔG.\Delta G.

而不是重新計算全部世界。


108. Local Verify

同理:

Verify(ΔG)Verify(\Delta G)

優先於:

Verify(Gall)Verify(G_{all})

若 invariant 支援局部驗證。


109. Global Verify

但局部 PASS 不代表全域 PASS。

因此在必要 checkpoint:

Verifyglobal.\boxed{ Verify_{global}. }

仍然存在。


110. MMLC Interface

MMLC 特別適合處理:

  • typed transactions;
  • dependency;
  • operator invariant;
  • audit;
  • reverse trace;
  • multidirectional traversal。

因此 OIGT 可把:

ΔG\Delta G

投影成:

LMMLC.\boxed{ \mathcal L_{MMLC}. }

111. World Transaction

一次跨世界計算可以抽象為:

TW=(Input,Bridge,Operator,Delta,Tension,Cert).\boxed{ T_W = ( \text{Input}, \text{Bridge}, \text{Operator}, \text{Delta}, \text{Tension}, \text{Cert} ). }

112. Transaction 不等於 World

Again:

TWT_W

只是一次作用紀錄。


113. NOVA Interface

NOVA 已採 typed structural graph 作為 canonical program representation。

因此:

GtAG_t^A

可進一步 lower 為:

GNOVA.\boxed{ G_{NOVA}. }

114. OIGT Graph 不等於 NOVA Program Graph

兩者角色不同。

OIGT Graph 表示:

active world/inter-world state.\text{active world/inter-world state}.

NOVA Graph 表示:

executable program structure.\text{executable program structure}.

115. Compiler

可定義:

CompileOIGT→NOVA:GtA→Gprog.\boxed{ Compile_{OIGT\rightarrow NOVA} : G_t^A \rightarrow G_{prog}. }

116. Compiler 只編譯必要 active fragment

不是整個無界 world。

所以:

Compile Active≠Compile All Potential.\boxed{ \text{Compile Active} \neq \text{Compile All Potential}. }

117. Runtime Loop

第一版可寫:

Query→SelectActiveWorlds→ExpandFrontier→BuildGraph→ProjectMatrix/Tensor→RouteOperators→ExecuteParallel→Verify→Reconcile→Commit.\boxed{ \begin{aligned} &Query\\ \rightarrow& SelectActiveWorlds\\ \rightarrow& ExpandFrontier\\ \rightarrow& BuildGraph\\ \rightarrow& ProjectMatrix/Tensor\\ \rightarrow& RouteOperators\\ \rightarrow& ExecuteParallel\\ \rightarrow& Verify\\ \rightarrow& Reconcile\\ \rightarrow& \text{Commit}. \end{aligned} }

118. Verification 位置

Verification 不只最後做。

可以有:

  • precondition verify;
  • local operator verify;
  • bridge verify;
  • block verify;
  • global commit verify。

119. Candidate Delta

所有 execution output 先成:

ΔG^.\boxed{ \widehat{\Delta G}. }

120. Commit Guard

只有:

Γ\Gamma

與:

Cert\text{Cert}

滿足,才:

Gt⊕ΔG^→Gt+1.G_t \oplus \widehat{\Delta G} \rightarrow G_{t+1}.

121. Rollback

若 fail:

Rollback(ΔG^).\boxed{ Rollback(\widehat{\Delta G}). }

Canonical graph 保持原狀。


122. Append-Only History

即使 rollback,也可以把 failed attempt 保存進:

Ht.H_t.

所以:

Failed Execution≠Deleted History.\boxed{ \text{Failed Execution} \neq \text{Deleted History}. }

123. OIGT-GM1:World / Graph Separation

W≠GtA.\boxed{ W\neq G_t^A. }

124. OIGT-GM2:Graph / Matrix Separation

GtA≠Mt.\boxed{ G_t^A\neq M_t. }

125. OIGT-GM3:Finite Active Graph

∣Vt∣,∣Et∣<∞.\boxed{ |V_t|,|E_t|<\infty. }

126. OIGT-GM4:No Required Global Dense Matrix

OIGT 不要求存在完整:

Mglobal.M_{\text{global}}.

127. OIGT-GM5:Typed Edge Preservation

不同 relation type 不得在 projection 中無證書混同。


128. OIGT-GM6:Sparse Admissibility

未 materialize edge 不等於 false edge。

因此 sparse absence 要區分:

Absent,Null,Unknown,Undefined.\text{Absent}, \text{Null}, \text{Unknown}, \text{Undefined}.

129. 這點非常重要

普通 sparse matrix 裡:

00

常表示沒有值。

OIGT 中:

00

可能錯誤壓縮:

  • Null;
  • Unknown;
  • Not Materialized;
  • Illegal;
  • Absent。

所以必須 typed zero。


130. Typed Zero

定義:

0null,0unknown,0absent,0illegal.\boxed{ 0^{\text{null}}, 0^{\text{unknown}}, 0^{\text{absent}}, 0^{\text{illegal}}. }

或使用 enum,而不是單一 numerical zero。


131. OIGT-GM7:Projection Loss Explicitness

任何 graph-to-matrix projection 有損時必須報:

Loss(ΠM).Loss(\Pi_M).

132. OIGT-GM8:Higher-Order Support

不可把所有:

T(n)T^{(n)}

強迫降成 pairwise edge。

允許 hyperedge / tensor。


133. OIGT-GM9:Parallel Independence

只有 dependency closure 判定獨立的 operations 才可安全平行。


134. OIGT-GM10:Backend Neutrality

CPU/GPU/NPU 等 backend 不改變 semantic legality。


135. OIGT-GM11:Candidate-before-Commit

所有 graph mutation:

Candidate→Verify→Commit.\boxed{ \text{Candidate} \rightarrow \text{Verify} \rightarrow \text{Commit}. }

136. OIGT-GM12:Local PASS / Global PASS Separation

⋀iLocalPassi⇏GlobalPass.\boxed{ \bigwedge_i LocalPass_i \not\Rightarrow \text{GlobalPass}. }

除非有 global composition proof。


137. 第一母命題

World≠Graph≠Matrix.\boxed{ \text{World} \neq \text{Graph} \neq \text{Matrix}. }

這是整篇最重要的 representation discipline。


138. 第二母命題

Graph defines active computational relation structure; Matrix defines an executable projection of that structure.\boxed{ \text{Graph defines active computational relation structure; Matrix defines an executable projection of that structure}. }

139. 第三母命題

Unbounded Potential Graph≠Fully Materialized Global Graph.\boxed{ \text{Unbounded Potential Graph} \neq \text{Fully Materialized Global Graph}. }

140. 第四母命題

Distributed Computation≠One Global Dense Matrix.\boxed{ \text{Distributed Computation} \neq \text{One Global Dense Matrix}. }

141. 第五母命題

Higher-Order Tension≠Pairwise Matrix Only.\boxed{ \text{Higher-Order Tension} \neq \text{Pairwise Matrix Only}. }

因此 OIGT 必須同時容納 graph、hypergraph、matrix 與 tensor。


142. 第六母命題

Representation may change; semantic identity requires explicit preservation.\boxed{ \text{Representation may change; semantic identity requires explicit preservation}. }

143. 一個最小三世界例子

考慮:

WA,WB,WC.W_A,W_B,W_C.

Overlap:

MO=[CTNTCCNCC].M^O = \begin{bmatrix} C&T&N\\ T&C&C\\ N&C&C \end{bmatrix}.

其中對角:

CC

只表示 self-compatible presentation。


144. Bridge Matrix

假設:

MB=[−BAB0BBA−BBC0BCB−].M^B = \begin{bmatrix} - & B_{AB} & 0\\ B_{BA} & - & B_{BC}\\ 0 & B_{CB} & - \end{bmatrix}.

注意:

00

在正式 Runtime 中應改 typed absence。


145. Duality Matrix

MD1=[110110001]M^{D_1} = \begin{bmatrix} 1&1&0\\ 1&1&0\\ 0&0&1 \end{bmatrix}

只是示意一階 correspondence。


146. Second-Order Tension

即使:

dAB=1,d_{AB}=1,

仍可能:

T2(A,B)≠0.T_2(A,B)\neq0.

所以:

MD1M^{D_1}

與:

MT2M^{T_2}

必須分開。


147. 三元張力

若:

BBC∘BAB≄BAC,B_{BC}\circ B_{AB} \not\simeq B_{AC},

則建立:

Tbridge(A,B,C).T^{\text{bridge}}(A,B,C).

它不應硬塞入任一單一 pair cell。


148. Hyperedge

因此:

eABCTe_{ABC}^{T}

成為一個 3-hyperedge。


149. 這正是新矩陣圖論運算的核心

未來 operator 不只:

M2.M^2.

而可能是:

O(G,M,H,T).\boxed{ \mathcal O( G, M, H, \mathcal T ). }

同時跨 graph/matrix/hypergraph/tensor。


150. Composite Computational Object

因此 Runtime 的核心 object 可以寫:

Ct=⟨GtA,Mt,Ht,Tt,Γt,Ct⟩.\boxed{ \mathfrak C_t = \left\langle G_t^A, \mathcal M_t, \mathcal H_t, \mathcal T_t, \Gamma_t, C_t \right\rangle. }

151. 它不是新 World

再次:

Ct\mathfrak C_t

只是 executable computational state。


152. 對未來新矩陣圖論的真正入口

傳統矩陣通常問:

A+B,AB,A−1,det⁡A,λ(A).A+B, AB, A^{-1}, \det A, \lambda(A).

OIGT 未來可以研究:

A⋆Γ,τ,πB\boxed{ A \star_{\Gamma,\tau,\pi} B }

其中結果同時受:

  • relation semantics;
  • world boundary;
  • bridge legality;
  • higher-order tension;
  • execution path;

控制。


153. 新研究問題

例如:

哪些 typed world-graph operators 可以 lower 成傳統 sparse linear algebra?

哪些必須保留 graph semantics?

哪些 higher-order tension 必須用 tensor / hypergraph?

哪些運算可以並行而不破壞 global coherence?


154. 不提前宣稱新代數已完成

本文只建立 operator interface。

不宣稱:

⋆\star

已具有:

  • associativity;
  • commutativity;
  • distributivity;
  • inverse;

等全部代數性質。

這些必須逐一研究。


155. 特別是 Associativity

可能:

(A⋆B)⋆C≠A⋆(B⋆C).(A\star B)\star C \neq A\star(B\star C).

因為:

  • bridge path;
  • context;
  • tension;
  • history;

可能不同。


156. 非結合性可能是資訊

因此:

Nonassociativity≠automatic defect.\boxed{ \text{Nonassociativity} \neq \text{automatic defect}. }

它可能記錄 world-order effect。


157. Commutativity 也不預設

A⋆B≠B⋆AA\star B \neq B\star A

完全合法。


158. Partiality 是預設

比起假設 operator everywhere defined,

OIGT 更偏向:

partial typed operators.\boxed{ \text{partial typed operators}. }

159. 計算證書

每一次:

A⋆B⇓CA\star B\Downarrow C

應可產生:

Cert⋆.\boxed{ \text{Cert}_\star. }

記錄:

  • input;
  • types;
  • context;
  • traversal;
  • backend;
  • tension;
  • loss;
  • result。

160. AI-native Runtime

AI 可以:

  • 選 representation;
  • 選 matrix block;
  • 提議 Bridge;
  • 選 parallel schedule;
  • 找 tension;
  • 產生 candidate patch。

但 AI 不直接獲得 canonical commit authority。


161. AI Proposal

AI→CandidatePlan.\boxed{ AI \rightarrow \text{CandidatePlan}. }

162. Deterministic / Formal Guard

CandidatePlan→Verify.\text{CandidatePlan} \rightarrow \text{Verify}.

163. Commit

只有:

Verify=PASS\text{Verify}=\text{PASS}

且:

Authority=PASS\text{Authority}=\text{PASS}

才 commit。


164. 這與 NOVA / MMLC 相容

因此 OIGT 可以將:

  • MMLC 作為 auditable matrix-ledger execution backend;
  • NOVA 作為 typed structural graph / tensor-native program backend;

而不要求它們改寫自己的核心本體。


165. 最終計算管線

W→Pt(W)→GtA→{Mt,Ht,Tt}→OperatorPlan→ParallelExecution→Certificates→ΔG^→Verify→Gt+1A.\boxed{ \begin{aligned} W &\rightarrow P_t(W) \\ &\rightarrow G_t^A \\ &\rightarrow \{ M_t,H_t,\mathcal T_t \} \\ &\rightarrow \text{OperatorPlan} \\ &\rightarrow \text{ParallelExecution} \\ &\rightarrow \text{Certificates} \\ &\rightarrow \widehat{\Delta G} \\ &\rightarrow \text{Verify} \\ &\rightarrow G_{t+1}^A. \end{aligned} }

166. 與 Paper 05 的閉合

Paper 05 解決:

如何有限承載無界展開.\text{如何有限承載無界展開}.

本文回答:

被承載的有限 active portion 應如何進入計算?

答案是:

Finite Active Graph+Task-Relative Matrix/Tensor Projection.\boxed{ \text{Finite Active Graph} + \text{Task-Relative Matrix/Tensor Projection}. }

167. 與下一篇的接口

本文仍然只建立 single-runtime / finite-federation computational representation。

下一篇 Paper 07 將真正處理:

多 Runtime、多機器、多 Local Authority 的跨世界執行.\boxed{ \text{多 Runtime、多機器、多 Local Authority 的跨世界執行}. }

也就是:

  • scheduler;
  • distributed commit;
  • asynchronous worlds;
  • bridge synchronization;
  • local/global authority;
  • partial failure;
  • recovery;
  • finite-node open global computation。

168. 最終命題

本文最終提出:

OIGT 的世界不需要被矩陣化為一個完成的全域陣列才能計算。任意時刻只需將當前有限 active world fragment 表示為 typed graph,再依任務投影為適合的稀疏矩陣、張量或超圖結構,即可在有限硬體上進行平行異質計算。

所以:

World→Finite Active Graph→Executable Projection\boxed{ \text{World} \rightarrow \text{Finite Active Graph} \rightarrow \text{Executable Projection} }

而不是:

World=One Infinite Matrix.\boxed{ \text{World} = \text{One Infinite Matrix}. }

這是 OIGT 從世界理論走向計算機的關鍵轉折。


結論

前五篇解決的是:

世界如何在沒有 Universal World 的前提下存在、變空、相交、對偶並無界展開?

本文第一次回答:

計算機到底要拿什麼東西來算?

答案不是 World 本體。

而是:

GtA.\boxed{ G_t^A. }

也就是:

有限、型別化、版本化、可稽核的 active world graph。

接著由:

ΠM,ΠT\Pi_M, \Pi_T

建立適合當前任務的:

  • sparse matrix;
  • multidirectional matrix;
  • tensor;
  • hypergraph;
  • ledger。

因此:

Graph\boxed{ \text{Graph} }

負責保存關係與身份結構,

而:

Matrix/Tensor\boxed{ \text{Matrix/Tensor} }

負責將其中某些結構轉化為高效可執行的計算投影。

兩者共同形成:

Graph-Native Ontological Presentation+Matrix-Native Execution.\boxed{ \text{Graph-Native Ontological Presentation} + \text{Matrix-Native Execution}. }

但最終仍保持:

World≠Graph≠Matrix.\boxed{ \text{World} \neq \text{Graph} \neq \text{Matrix}. }

這使 OIGT 可以同時保持理論開放性與實際計算效率,並正式打開:

分散式世界+新矩陣圖論運算+平行異質 Runtime\boxed{ \text{分散式世界} + \text{新矩陣圖論運算} + \text{平行異質 Runtime} }

的工程路線。


Version: Draft v0.1
Status: Computational Representation / Graph–Matrix Runtime Draft
Next: OIGT Paper 07 —《跨世界 Runtime:有限節點上的開放全域計算》