空間資訊佔據 III:協同構成元代數、潛在自由與纖維資訊場
Spatial Information Occupancy III: Cooperative Constituent Algebra, Latent Freedom, and Fiber Information Fields
系列: Spatial Information Occupancy and Generator Geometry
篇次: Paper 03 / Cooperative Algebra
版本: v1.0
日期: 2026-10-02
作者: Neo.K
AI 協力研究者: Aletheia / ChatGPT, GPT-5.6 Sol
機構: EveMissLab/一言諾科技有限公司
狀態: Formal Research Draft / Exact Finite Cooperative Algebra
直接前置:
- Paper 01《空間資訊佔據 I:超越幾何測度的容器相對自由結構》;
- Paper 02《空間資訊佔據 II:自由度傳輸、邊界飽和與結構逃逸》;
- E3 Cooperative Fiber Field;
- E4 Latent Freedom Potential and Irregular Cooperative Field;
- 主客邊三域代數(SOBTA);
- Algebraic–Combinatorial Transcendence Methodology(ACTM)。
摘要
Paper 02 已證明:局部 substrate 被釋放,不代表指定 action class 的 freedom 已經形成;對高度為 hp 的 probe,gap 在:
g<hp
時雖然幾何上已經開口,但 operational crossing 仍不存在。
本文把這個現象推廣到任意 released constituent subset,並建立 Cooperative Constituent Algebra。
令有限 constituent set 為:
W,
令:
Gq⊆2W
為 query q 下所有 minimal freedom generators。定義 monotone binary freedom game:
Vq(A)=1[∃G∈Gq:G⊆A].
則 freedom 不再被理解為單一 constituent 的固定屬性,而是由 generator family 所決定的 cooperative closure。
對最基本的 contiguous aperture model,令:
W={0,…,M−1},
並令:
Wh={{j,j+1,…,j+h−1}:0≤j≤M−h}.
定義 aperture capacity:
Ch(A)=J∈Wh∑1[J⊆A].
本文證明其 subset-lattice Möbius / Harsanyi transform 為:
mCh(B)={1,0,B∈Wh,otherwise.
因此:
irreducible cooperative order=h.
當 h>1 時,每一 singleton 都有:
Ch({i})=0,
但某些 h -body subsets 有:
Ch(A)=1.
所以:
isolated zero contribution⇒zero cooperative information.
本文再證明 aperture-capacity game 的 Shapley value具有 closed form:
ϕi(Ch)=hni(h),
其中 ni(h) 是包含 constituent i 的合法 h -generator 數。
為形式化 Paper 02 的 latent freedom,本文定義:
dq(A)=G∈Gqmin∣G∖A∣,
稱為 Latent Freedom Potential。它表示離最近合法 freedom closure 還缺多少 constituents。本文證明:
dq(A)=0⟺Vq(A)=1,
且對:
i∈/A,
局部 closure gradient:
λi(A)=dq(A)−dq(A∪{i})
必滿足:
λi(A)∈{0,1}.
因此 constituent 的資訊角色不是固定 scalar,而是 context-dependent marginal relation。
本文最後提出一個最低 Fiber Information Object:
Iq=(Φq,Jq,dq),
其中:
- Φq:constituent-level influence field;
- Jq:高階 cooperative interaction structure;
- dq:distance-to-closure potential。
E4 的 exact finite experiments 進一步顯示:幾何外觀大幅改變時,只要 generator structure 不變, Vq 、 dq 、Shapley 與 Möbius 結構可以保持完全相同;而當幾何改變 generator relations 時,整個 cooperative algebra 亦隨之改變。這部分在本文中作為 exact computational evidence,正式 quotient / isomorphism theory 留給 Paper 04。
Abstract
Paper 02 established that released substrate does not automatically produce operational freedom. This paper generalizes that observation from a single contiguous gap to arbitrary released subsets and develops a Cooperative Constituent Algebra.
Let W be a finite set of constituents and let Gq⊆2W be the family of minimal freedom generators for a query q. The associated monotone binary freedom game is
Vq(A)=1[∃G∈Gq:G⊆A].
Freedom is therefore treated as a cooperative closure property rather than as a fixed scalar attached to isolated constituents.
For a contiguous aperture model,
Ch(A)=J∈Wh∑1[J⊆A]
counts the number of legal length- h apertures contained in A. Its exact Möbius/Harsanyi transform is
mCh(B)=1
when B is a legal contiguous length- h generator and zero otherwise. Hence the irreducible cooperative order is exactly h.
The Shapley allocation of the aperture-capacity game also admits an exact form,
ϕi(Ch)=hni(h),
where ni(h) is the number of legal generators containing constituent i.
To formalize latent freedom, the paper defines
dq(A)=G∈Gqmin∣G∖A∣,
the distance from the current released set to the nearest minimal freedom closure. It satisfies
dq(A)=0⟺Vq(A)=1,
and the one-site closure gradient
λi(A)=dq(A)−dq(A∪{i})
always belongs to {0,1}.
These results motivate a fiber-information object containing a constituent influence field, a high-order cooperative interaction structure, and a latent-freedom potential.
1. 問題:資訊到底在點上,還是在關係上?
Paper 02 的 gap threshold 已顯示:
0<g<hp
時,已經有 free constituents,但 crossing freedom 仍不存在。
這留下核心問題:
若前 hp−1 個 constituents individually 都沒有形成 crossing,那它們的資訊價值如何描述?
若採 naïve additive model:
I(A)=i∈A∑I({i}),
而每個 singleton:
I({i})=0,
就會錯誤推出:
I(A)=0
對所有組合都成立。
但 Paper 02 已提供反例:足夠的 constituents 共同閉合後,freedom 可以突然形成。
因此本文研究:
information carried by admissible cooperative relations.
2. Constituent Set 與 Minimal Freedom Generators
Definition 2.1 — Constituent Set
令:
W={1,…,M}
為有限 candidate constituent set。
每個:
A⊆W
代表當前已釋放、已啟用或已滿足的 constituents。
Definition 2.2 — Monotone Freedom Predicate
令:
Vq:2W→{0,1}
滿足 monotonicity:
A⊆B且Vq(A)=1⇒Vq(B)=1.
也就是:
一旦某組 constituents 已經足以形成指定 freedom,再增加 released constituents 不應把該 freedom 取消。
本文所有 generator theorem 都在此 monotone finite setting 下成立。
Definition 2.3 — Minimal Freedom Generator
若:
G⊆W
滿足:
Vq(G)=1,
但對所有 proper subset:
H⊊G
都有:
Vq(H)=0,
則稱:
G
為 minimal freedom generator。
所有 minimal generators 的集合記作:
Gq.
3. Minimal Generator Sufficiency
Theorem 3.1 — Generator Representation of Finite Monotone Freedom
對任何有限 monotone freedom predicate:
Vq:2W→{0,1},
令 Gq 為其全部 minimal winning subsets。
則對任意:
A⊆W,
都有:
Vq(A)=1⟺∃G∈Gq:G⊆A.
Proof
若存在:
G∈Gq
且:
G⊆A,
由 monotonicity:
Vq(G)=1⇒Vq(A)=1.
反之,若:
Vq(A)=1,
因 A 有限,可在所有 winning subsets of A 中取一個 inclusion-minimal subset:
G⊆A.
由 construction:
G∈Gq.
證畢。
Corollary 3.2 — Freedom Generator Hypergraph
定義:
Hq=(W,Gq).
則:
Vq
可由 Hq 完整重建。
因此對 finite monotone freedom problem:
Hq
是一個 sufficient relational representation。
本文尚不在此宣稱它是唯一 canonical representation;正式 quotient 問題留給 Paper 04。
4. Contiguous Aperture Capacity Model
令:
W={0,…,M−1}.
固定:
1≤h≤M.
定義所有長度為 h 的 contiguous windows:
Wh={Jj={j,j+1,…,j+h−1}:0≤j≤M−h}.
Definition 4.1 — Aperture Capacity
對:
A⊆W,
定義:
Ch(A)=J∈Wh∑1[J⊆A].
也就是:
A 中完整包含多少個合法 h -constituent apertures。
相對 binary freedom:
Vh(A)=1[Ch(A)>0].
capacity 與 binary predicate 不是同一個量。
5. Unanimity Basis
對任意:
J⊆W,
定義 unanimity game:
uJ(A)=1[J⊆A].
則:
Ch=J∈Wh∑uJ.
這個分解直接把 aperture freedom 變成 cooperative generator basis。
6. Möbius / Harsanyi Transform
對 set function:
f:2W→R,
定義 subset-lattice Möbius transform:
mf(B)=A⊆B∑(−1)∣B∣−∣A∣f(A).
Lemma 6.1 — Unanimity Möbius Coefficient
對 unanimity game:
uJ,
有:
muJ(B)={1,0,B=J,B=J.
Proof
若:
J⊆B,
則對所有:
A⊆B,
都有:
uJ(A)=0,
所以:
muJ(B)=0.
若:
J⊆B,
則:
muJ(B)=J⊆A⊆B∑(−1)∣B∣−∣A∣.
令:
k=∣B∖J∣.
上式等於:
r=0∑k(rk)(−1)k−r=(1−1)k.
所以:
muJ(B)=1
當且僅當:
k=0,
即:
B=J.
證畢。
7. Aperture Capacity Möbius Theorem
Theorem 7.1 — Exact Cooperative Interaction Structure
對:
Ch=J∈Wh∑uJ,
其 Möbius transform 為:
mCh(B)={1,0,B∈Wh,otherwise.
Proof
Möbius transform 線性,所以:
mCh=J∈Wh∑muJ.
由 Lemma 6.1,每個:
uJ
只在:
B=J
時貢獻 1。
且:
Wh
中所有 windows 都互異,所以結果成立。證畢。
Corollary 7.2 — Irreducible Cooperative Order
所有非零 Möbius interaction 都滿足:
∣B∣=h.
因此:
irreducible cooperative order of Ch=h.
這表示指定 probe transverse thickness h,直接決定描述其 minimal aperture freedom 所需的 cooperative interaction order。
8. Isolated Zero Does Not Imply Cooperative Zero
Theorem 8.1 — Non-Additivity of Isolated Constituent Values
若:
h>1,
則對所有 singleton:
{i},
都有:
Ch({i})=0.
但任一:
J∈Wh
滿足:
Ch(J)=1.
因此:
Ch(J)=i∈J∑Ch({i}).
Proof
singleton 不可能包含 h>1 個 constituent 的合法 window,因此:
Ch({i})=0.
若:
J∈Wh,
則 J 本身完整包含恰好一個與自身相同的 length- h window,所以:
Ch(J)=1.
右式 singleton sum 為 0。證畢。
Corollary 8.2
isolated zero contribution⇒zero cooperative information.
這是本文所謂 Cooperative Informational Occupancy 的最小精確形式。
9. Same Count, Different Freedom
同樣 released constituent 數量並不決定 capacity。
Proposition 9.1
若:
M≥2h−1
且:
h>1,
則存在:
A,B⊆W
使:
∣A∣=∣B∣=h,
但:
Ch(A)=1,
Ch(B)=0.
Proof
取:
A={0,1,…,h−1}.
則:
A∈Wh,
所以:
Ch(A)=1.
再取 separated set:
B={0,2,4,…,2(h−1)}.
因:
M≥2h−1,
故 B⊆W。
B 不含任何 h 個連續 integers,因此:
Ch(B)=0.
而:
∣A∣=∣B∣=h.
證畢。
10. Shapley Constituent Influence
capacity game 的高階 interaction 可以用 Möbius coefficients 表示。
但為了把 cooperative value 分配回單一 constituents,可使用 Shapley value。
Definition 10.1 — Shapley Value
對:
f:2W→R,
其 constituent i 的 Shapley value:
ϕi(f)=A⊆W∖{i}∑M!∣A∣!(M−∣A∣−1)!(f(A∪{i})−f(A)).
11. Aperture Capacity Shapley Formula
令:
ni(h)=#{J∈Wh:i∈J}.
Theorem 11.1 — Exact Constituent Allocation
對 aperture-capacity game:
Ch,
有:
ϕi(Ch)=hni(h).
Proof
由:
Ch=J∈Wh∑uJ
以及 Shapley linearity:
ϕi(Ch)=J∈Wh∑ϕi(uJ).
對 unanimity game:
uJ,
只有:
i∈J
時 constituent i 才有非零 Shapley value。
由 symmetry 與 efficiency, ∣J∣=h 個 members 平分 unanimity value 1,所以:
ϕi(uJ)={1/h,0,i∈J,i∈/J.
因此:
ϕi(Ch)=ni(h)h1.
證畢。
Corollary 11.2 — Boundary-to-Interior Ramp
對 line window:
W={0,…,M−1},
有:
ni(h)=min(i+1,h,M−i,M−h+1)
在適當 index range 下形成:
- 左邊界 ramp;
- interior plateau;
- 右邊界 ramp。
因此:
ϕi(Ch)
不是 constituent 的 intrinsic scalar,而反映它參與多少合法 cooperative closures。
12. Influence Field 不等於 Interaction Structure
Shapley value把 cooperative value分配回單點。
但 Theorem 7.1 已經說明真正不可約 interaction 在:
h
階 subsets。
所以:
Φq(i)
與:
Jq(B)
不能混同。
本文定義:
Φq(i)=ϕi(Fq)
作為 constituent-level influence field,而:
Jq(B)=mFq(B)
作為 cooperative interaction structure。
Shapley field 是高階 structure 的一種 equivariant summary,而不是它的替代物。
13. Latent Freedom Potential
現在推廣 Paper 02 的 gap deficit。
對任意 finite generator family:
Gq
定義:
Definition 13.1 — Latent Freedom Potential
dq(A)=G∈Gqmin∣G∖A∣.
它表示:
當前 subset A 距離最近 minimal freedom closure 還缺多少 constituents。
若:
Gq=∅,
則本文不定義此量;本文假設至少存在一個 minimal generator。
14. Potential Zero Characterizes Realized Freedom
Theorem 14.1
對 finite monotone freedom game:
dq(A)=0⟺Vq(A)=1.
Proof
若:
dq(A)=0,
則存在:
G∈Gq
使:
∣G∖A∣=0.
所以:
G⊆A.
由 Theorem 3.1:
Vq(A)=1.
反之,若:
Vq(A)=1,
由 Theorem 3.1,存在:
G∈Gq
滿足:
G⊆A.
因此:
∣G∖A∣=0
且:
dq(A)=0.
證畢。
15. Potential Monotonicity
Theorem 15.1
若:
A⊆B,
則:
dq(B)≤dq(A).
Proof
對任意 generator:
G,
因:
A⊆B,
有:
G∖B⊆G∖A.
所以:
∣G∖B∣≤∣G∖A∣.
對所有 G 取 minimum,得到:
dq(B)≤dq(A).
證畢。
16. Local Closure Gradient
對:
i∈/A,
定義:
λi(A)=dq(A)−dq(A∪{i}).
Theorem 16.1 — One-Constituent Gradient Bound
λi(A)∈{0,1}.
Proof
由 Theorem 15.1:
dq(A∪{i})≤dq(A),
所以:
λi(A)≥0.
另一方面,對任意 generator:
G,
加入單一 constituent i 最多使:
∣G∖A∣
下降 1。
因此 minimum deficit 亦不可能下降超過 1:
dq(A∪{i})≥dq(A)−1.
所以:
λi(A)≤1.
而 dq 為 integer-valued,因此:
λi(A)∈{0,1}.
證畢。
17. Contextual Constituent Value
定義:
χq(i∣A)=Fq(A∪{i})−Fq(A).
或對 latent potential:
λi(A).
這兩者都顯示 constituent role 是 context-dependent。
同一個 i 可以在某些 context:
A
中:
λi(A)=0,
而在其他 context:
A′
中:
λi(A′)=1.
因此:
Constituent Identity=Fixed Informational Role.
這是本文對「構成元」概念的主要修正之一。
18. Average Closure-Gradient Field
為得到一個 constituent-level summary,可定義:
λˉi=2M−11A⊆W∖{i}∑λi(A).
它表示:
在 uniformly sampled contexts 中,加入 constituent i 有多大比例會讓最近 freedom closure 靠近一步。
這不是 intrinsic information mass。
它是:
context-averaged closure influence.
19. Fiber Information Object
由前述,我們提出最低結構:
Iq=(Φq,Jq,dq).
其中:
Φq
可以由:
- Shapley field;
- average closure-gradient field;
- 其他 constituent attribution field;
構成。
Jq
表示:
- Möbius interaction;
- Harsanyi dividends;
- minimal generator relations;
- higher-order cooperative terms。
dq
表示 latent potential。
因此「纖維資訊場」不能只是一張 scalar heatmap。
較完整的最低形式是:
one-body field+higher-order interaction+closure potential.
20. Disjoint Generator Model
考慮:
W
被分成:
r
個互不重疊且等大小:
h
的 generators:
G1,…,Gr.
binary freedom:
V(A)=1[∃j:Gj⊆A].
若 automorphism group 在所有 constituents 上 transitive,則所有 constituent Shapley values 相同。
由 Shapley efficiency:
i∈W∑ϕi(V)=V(W)−V(∅)=1.
若:
∣W∣=rh,
則:
Proposition 20.1
ϕi(V)=rh1.
對所有:
i∈W.
E4 的 separated model:
r=4,h=3,
所以:
ϕi(V)=121.
這與 exhaustive calculation 完全一致。
21. Binary Connectivity 的高階 Inclusion–Exclusion
capacity:
Ch
是 generator counts 的線性總和。
binary connectivity:
Vh(A)=1[Ch(A)>0]
則是 generator events 的 OR。
若:
uj(A)=uGj(A),
則:
V=1−j∏(1−uj).
展開:
V=j∑uj−j<k∑ujuk+j<k<l∑ujukul−⋯.
而 unanimity games 相乘:
uGuH=uG∪H.
所以 binary global predicate 會產生:
unions of local generators
對應的更高階 Möbius terms。
因此:
local generator algebra=binary global predicate algebra.
global yes/no freedom 可以把局部 closures 再耦合成 higher-order inclusion-exclusion structure。
22. E4:幾何外觀與 Generator Structure
本文的解析理論建立在:
Gq
上。
E4 額外做了三個 exact finite geometry models:
- straight-separated;
- zigzag-separated;
- zigzag-coupled。
前三者各有:
12
個 candidate constituents,且 barrier direct support 都是:
72
格。
straight-separated 與 zigzag-separated 的:
interface edges
分別是:
54
與:
76,
bbox width 分別:
3
與:
6.
幾何 rendering 明顯不同。
但全部:
4096
個 release subsets 的 binary freedom truth table 完全一致。
兩者 minimal generators 都是四個 disjoint triples。
因此:
Vq,dq,Φq,Jq
全部 exact 相同。
這提供 computational evidence:
geometric appearance=freedom algebra.
但本文不在此正式定義 quotient relation;Paper 04 將處理:
H1≅H2.
23. Geometry 何時重新重要?
E4 的 zigzag-coupled model 保持:
72
個 barrier support cells 與:
12
個 candidate constituents。
但因 candidates 在相鄰 rows 中產生 mixed tunnels,minimal generator family 變成:
12
個 generators:
6
個 size- 3,
以及:
6
個 size- 4。
結果有:
436
個 release subsets 的 binary freedom state 與 separated model 不同。
因此較準確的鏈是:
Geometry / Container→Admissibility Relations→Gq→Freedom Algebra.
幾何不是不重要。
它的重要性在於是否改變 admissibility generator structure。
24. SOBTA 的 Cooperative Interpretation
令:
Γq=⟨Sq,O,∂⟩.
本文中的:
Gq
不是單獨屬於某一域。
它由:
- query / admissible action class;
- object constraint;
- boundary / container relation;
共同決定。
可暫寫:
Gq=Gen(Sq,O,∂).
這不等於:
Gq=Sq
或:
Gq=O
或:
Gq=∂.
因此 cooperative generator 本身可以被理解為一個 tri-domain emergent relation。
這與 SOBTA 原則:
τSO∂=τSO+τS∂+τO∂
在方法論上相容。
25. ACTM:Generator First
ACTM 在本文中的移植形式是:
不先分類 constituent 是否「重要」,先找哪些 combinations 真正生成 freedom。
研究順序:
Generator Family→Cooperative Algebra→Influence Field.
而不是:
Assign Point Scores First→Guess Global Structure.
這能避免把本質上 h -body 的 cooperative closure 錯壓成一階 scalar field。
26. 可證偽性與限制
F1 — Generator Incompleteness
若:
Gq
無法重建 finite monotone freedom predicate,Theorem 3.1 失效。
在本文 assumptions 下此事已解析證明不會發生。
F2 — Möbius Misidentification
若 aperture capacity:
Ch
有非零 interaction 不在:
Wh
上,Theorem 7.1 失效。
F3 — Scalar-Field Reduction
本文明確不主張:
Φq
單獨就能完整描述 cooperative information。
若只保留 Shapley heatmap 而丟掉:
Jq,
可能把不可約高階 interaction 抹平。
F4 — Query Overreach
不同 query 可產生不同 generator family。
因此:
Gq1=Gq2
不表示其中一個必然「錯」。
必須固定 action semantics 後比較。
F5 — Physical Ontology Overreach
本文不宣稱真實物理空間由 hyperedges 組成。
有限 cooperative algebra 是 operational model,不是已證的微觀宇宙本體論。
27. 與下一篇的接口
本文已得到:
Hq=(W,Gq)
以及:
Vq,dq,Φq,Jq.
下一個問題自然是:
如果幾何 embedding、vertex labels、radix encoding 都改變,但 generator structure 只是重新命名,我們是否應該把它們視為同一個 freedom-information object?
Paper 04 將正式定義:
X1∼qX2⟺Hq(X1)≅Hq(X2),
以及:
Qq(X)=[Hq(X)]≅.
由此研究 cross-representation invariant。
28. 結論
本文把 Paper 02 的 latent freedom 推廣成一般 cooperative constituent algebra。
核心結果是:
Ch(A)=J∈Wh∑1[J⊆A],
其 Möbius transform:
mCh(B)=1⟺B∈Wh.
因此:
irreducible cooperative order=h.
這意味著:
freedom can reside in relations among constituents, not in constituents individually.
Shapley field:
ϕi(Ch)=hni(h)
可以把 cooperative value 分配回 constituent,但不能取代高階 interaction。
Latent Freedom Potential:
dq(A)=G∈Gqmin∣G∖A∣
則把「尚未形成但正在接近的 freedom」變成 exact integer quantity。
其 local gradient:
λi(A)∈{0,1}
正式表達 constituent role 的 context dependence。
因此本文提出:
Iq=(Φq,Jq,dq)
作為最低 Fiber Information Object。
一句話總結:
A constituent need not carry freedom alone; freedom may exist only in a cooperative closure.
中文:
一個構成元不必單獨承載自由;自由可以只存在於多個構成元共同完成的閉合關係中。
Appendix A. 核心定義
Minimal generator:
G∈Gq.
Binary freedom:
Vq(A)=1[∃G⊆A].
Aperture capacity:
Ch(A)=J∈Wh∑1[J⊆A].
Möbius interaction:
mf(B)=A⊆B∑(−1)∣B∣−∣A∣f(A).
Latent potential:
dq(A)=Gmin∣G∖A∣.
Local closure gradient:
λi(A)=dq(A)−dq(A∪{i}).
Fiber information object:
Iq=(Φq,Jq,dq).
Appendix B. Formal Status
解析定理:
- Theorem 3.1;
- Lemma 6.1;
- Theorem 7.1;
- Corollary 7.2;
- Theorem 8.1;
- Proposition 9.1;
- Theorem 11.1;
- Theorem 14.1;
- Theorem 15.1;
- Theorem 16.1;
- Proposition 20.1。
Exact computational evidence:
- E3 全部 212=4096 subsets;
- E4 三模型各 4096 subsets;
- straight / zigzag separated exact equivalence;
- zigzag-coupled generator change;
- Shapley / Möbius / latent-field audits。
尚未宣稱:
- generator hypergraph 是所有空間問題的 universal canonical object;
- continuum physical fiber ontology;
- general curved-space theorem;
- arbitrary non-monotone freedom game reduction。