空間資訊佔據 I：超越幾何測度的容器相對自由結構
Spatial Information Occupancy I: Container-Relative Freedom Beyond Geometric Measure
系列： Spatial Information Occupancy and Generator Geometry篇次： Paper 01 / Foundations版本： v1.0日期： 2026-10-02作者： Neo.KAI 協力研究者： Aletheia / ChatGPT, GPT-5.6 Sol機構： EveMissLab／一言諾科技有限公司狀態： Formal Research Draft / Exact Finite Foundations
理論前置：
主客邊三域代數（SOBTA）；
Algebraic–Combinatorial Transcendence Methodology（ACTM）；
Perfect Cuboid Global Closure 系列；
Spatial Information Occupancy 統合母稿；
E0–E7 exact finite / computational research sequence。
摘要
一個物體「佔據多少空間」通常首先以長度、面積、體積或更一般的測度回答。然而，對有限容器中的可移動性、可達性、可嵌入性、方向自由、配置空間與邊界作用而言，幾何測度並不足以決定一個結構對系統可能性的實際限制。
本文提出 Spatial Information Occupancy（空間資訊佔據） 的第一層形式化。其最低立場不是把物理空間宣稱為資訊，也不是把 Shannon information、Fisher information 或傳統 information geometry 重新命名，而是區分：
Geometric Measure Occupancy ≠ Freedom / Configuration Occupancy . \boxed{
\text{Geometric Measure Occupancy}
\neq
\text{Freedom / Configuration Occupancy}.
} Geometric Measure Occupancy = Freedom / Configuration Occupancy . 本文首先把容器表示為帶有可尋址構成位、局部可允許狀態、關係與合法作用的結構：
C = ( X , { F x } x ∈ X , R C , A C , ∂ C ) . \mathfrak C
=
\left(
X,
\{\mathcal F_x\}_{x\in X},
\mathcal R_{\mathfrak C},
\mathcal A_{\mathfrak C},
\partial\mathfrak C
\right). C = ( X , { F x } x ∈ X , R C , A C , ∂ C ) . 物體或條件不必首先被定義成圓、方或不規則圖形，而可被視為對合法容器狀態或合法作用集合施加的約束。由此，資訊佔據不再只問：
μ ( O ) , \mu(O), μ ( O ) , 而問某個結構使多少原本合法的狀態、位置、路徑或變換失效。
本文建立兩個主要有限定理。第一，在固定二維方形容器中，存在直接支撐格點數完全相同的矩形，其 translation freedom 不同；更一般地，固定面積 w h = K wh=K w h = K
P N ( w , h ) = ( N + 1 ) 2 + K − ( N + 1 ) ( w + h ) . \boxed{
P_N(w,h)
=
(N+1)^2+K-(N+1)(w+h).
} P N ( w , h ) = ( N + 1 ) 2 + K − ( N + 1 ) ( w + h ) . 因此幾何支撐量不能決定 placement freedom。若 K K K
第二，存在一格厚、跨越整個容器的 barrier，其直接 site occupancy 隨容器增大趨近零：
η s i t e → 0 , \eta_{\mathrm{site}}\rightarrow0, η site → 0 , 但其對自由補集 pair-connectivity 的 fragmentation effect 趨近：
1 2 . \boxed{
\frac12.
} 2 1 . 因此可以存在：
vanishing direct occupancy + non-vanishing global freedom effect . \boxed{
\text{vanishing direct occupancy}
+
\text{non-vanishing global freedom effect}.
} vanishing direct occupancy + non-vanishing global freedom effect . 本文進一步定義 query-indexed freedom occupancy、freedom shadow、有限狀態資訊佔據與 representation non-ownership，並把 SOBTA 的主體／客體／邊界重新解釋為 observation-action query、constraint object 與 admissibility boundary 的關係座標，而不把三域宣稱為空間的終極本體。
本文的主要結論很弱但明確：**一個空間結構不只是佔據若干位置；它還會承諾、排除、重分配或重新連接容器中的可能性。**因此，若研究目標涉及自由、配置、路徑、生成與邊界，幾何 measure 應被視為 occupancy signature 的一個分量，而不是完整描述。
Abstract
The amount of space occupied by an object is usually quantified by length, area, volume, or a more general geometric measure. For motion, reachability, embeddability, directional freedom, configuration spaces, and boundary-mediated constraints inside a finite container, however, geometric measure alone does not determine how strongly a structure restricts the space of admissible possibilities.
This paper develops the first formal layer of Spatial Information Occupancy . The framework does not claim that physical space is literally made of information, nor does it redefine Shannon information, Fisher information, or classical information geometry. Its minimum claim is the distinction
Geometric Measure Occupancy ≠ Freedom / Configuration Occupancy . \boxed{
\text{Geometric Measure Occupancy}
\neq
\text{Freedom / Configuration Occupancy}.
} Geometric Measure Occupancy = Freedom / Configuration Occupancy . A container is modeled as
C = ( X , { F x } x ∈ X , R C , A C , ∂ C ) , \mathfrak C
=
\left(
X,
\{\mathcal F_x\}_{x\in X},
\mathcal R_{\mathfrak C},
\mathcal A_{\mathfrak C},
\partial\mathfrak C
\right), C = ( X , { F x } x ∈ X , R C , A C , ∂ C ) , where X X X F x \mathcal F_x F x R C \mathcal R_{\mathfrak C} R C A C \mathcal A_{\mathfrak C} A C ∂ C \partial\mathfrak C ∂ C
Two exact finite results are established. First, equal-support rectangles in the same square lattice container can possess different translation freedom. For a w × h w\times h w × h N × N N\times N N × N
P N ( w , h ) = ( N − w + 1 ) ( N − h + 1 ) = ( N + 1 ) 2 + w h − ( N + 1 ) ( w + h ) . P_N(w,h)
=
(N-w+1)(N-h+1)
=
(N+1)^2+wh-(N+1)(w+h). P N ( w , h ) = ( N − w + 1 ) ( N − h + 1 ) = ( N + 1 ) 2 + w h − ( N + 1 ) ( w + h ) . Hence fixing w h = K wh=K w h = K 1 / N 1/N 1/ N 1 / 2 1/2 1/2
The paper introduces query-indexed freedom occupancy, freedom shadows, finite-state information occupancy, and representation non-ownership. It also gives a relational SOBTA interpretation in which subject, object, and boundary serve as coordinates for query/action, imposed constraint, and admissibility boundary, without asserting a universal tri-domain ontology.
The central conclusion is deliberately modest: a spatial structure does not merely occupy locations; it commits and removes possibilities. Consequently, geometric measure should be treated as one component of a richer occupancy signature whenever the problem depends on admissible freedom.
1. 研究問題
本文研究：
在一個固定容器中，一個結構到底「佔據」了什麼？
若只問幾何測度，答案可能是：
μ ( O ) . \mu(O). μ ( O ) . 在二維格點中，最簡單是：
∣ Supp ( O ) ∣ . |\operatorname{Supp}(O)|. ∣ Supp ( O ) ∣. 這些量是必要的，但並不回答：
物體留下多少合法 translation；
某個 probe 還能放在哪裡；
某方向還能延伸多少；
自由補集是否仍連通；
原本可達的兩個區域是否仍互相可達；
某個局部障礙是否改變整體配置空間；
邊界是否使原本合法的變換失效；
同一底層狀態換一種 representation 後，哪些關係仍保存。
因此本文把問題改寫成：
How much admissible freedom is committed, removed, or reorganized? \boxed{
\text{How much admissible freedom is committed, removed, or reorganized?}
} How much admissible freedom is committed, removed, or reorganized? 而不是只問：
How much geometric region is filled? \boxed{
\text{How much geometric region is filled?}
} How much geometric region is filled? 2. 範圍與防誤讀
2.1 本文不是傳統 Information Geometry 的替代命名
傳統 information geometry 主要研究機率分布族上的幾何結構。本文的 primitive 不同。
本文首先研究：
container + admissible states/actions + constraints + freedom depletion . \boxed{
\text{container}
+
\text{admissible states/actions}
+
\text{constraints}
+
\text{freedom depletion}.
} container + admissible states/actions + constraints + freedom depletion . 未來若在合法狀態空間上加入 probability measure，兩者可以橋接；但本文不預設該橋接。
2.2 本文不宣稱物理空間由 bits 構成
有限格點是 exact computation model，不是對物理宇宙微觀結構的直接宣稱。
因此：
finite constituent model ⇏ physical discreteness . \boxed{
\text{finite constituent model}
\not\Rightarrow
\text{physical discreteness}.
} finite constituent model ⇒ physical discreteness . 2.3 「纖維」是最低限度術語
本文使用：
F x \mathcal F_x F x 表示位置 x x x
除非額外證明，不預設：
F x \mathcal F_x F x 是 vector-space fiber、smooth bundle fiber、sheaf stalk 或任何特定既有幾何物件。
2.4 Query-relative 不等於任意主觀
不同 query 可以測到不同 freedom consequence，但 query 不是任意創造答案。
若：
q q q 指定 probe、允許變換與 admissibility rule，則輸出由：
( C , O , q ) \boxed{
(\mathfrak C,O,q)
} ( C , O , q ) 共同決定。
3. 容器、構成位與合法狀態
Definition 3.1 — Container
一個容器定義為：
C = ( X , { F x } x ∈ X , R C , A C , ∂ C ) . \boxed{
\mathfrak C
=
\left(
X,
\{\mathcal F_x\}_{x\in X},
\mathcal R_{\mathfrak C},
\mathcal A_{\mathfrak C},
\partial\mathfrak C
\right).
} C = ( X , { F x } x ∈ X , R C , A C , ∂ C ) . 其中：
X X X F x \mathcal F_x F x x x x R C \mathcal R_{\mathfrak C} R C A C \mathcal A_{\mathfrak C} A C ∂ C \partial\mathfrak C ∂ C
這一定義不是形而上學上的最終空間定義，而是一個研究層級上的 minimum model。
Definition 3.2 — Global admissible state space
令：
Ω C \boxed{
\Omega_{\mathfrak C}
} Ω C 表示容器在指定規則下所有合法全域狀態。
若加入物體或限制 O O O
Ω C ∣ O ⊆ Ω C . \boxed{
\Omega_{\mathfrak C\mid O}
\subseteq
\Omega_{\mathfrak C}.
} Ω C ∣ O ⊆ Ω C . 因此 O O O
O = constraint on admissible container states . \boxed{
O
=
\text{constraint on admissible container states}.
} O = constraint on admissible container states . Remark 3.3 — 空白不是不存在結構
即使當前 rendered state 沒有顯示物體，也可能有：
∣ Ω C ∣ > 1. |\Omega_{\mathfrak C}|>1. ∣ Ω C ∣ > 1. 因此：
Blank ≠ Nothing . \boxed{
\text{Blank}
\neq
\text{Nothing}.
} Blank = Nothing . 較弱而可操作的說法是：
Blank = currently uncommitted admissible structure . \boxed{
\text{Blank}
=
\text{currently uncommitted admissible structure}.
} Blank = currently uncommitted admissible structure . 4. 直接幾何佔據
Definition 4.1 — Support
對離散容器：
X N = { 0 , … , N − 1 } d , X_N
=
\{0,\ldots,N-1\}^d, X N = { 0 , … , N − 1 } d , 令：
Supp ( O ) ⊆ X N \operatorname{Supp}(O)
\subseteq
X_N Supp ( O ) ⊆ X N 為物體直接佔據或承諾的 constituent loci。
Definition 4.2 — Site occupancy
η s i t e ( O ∣ C N ) = ∣ Supp ( O ) ∣ ∣ X N ∣ . \boxed{
\eta_{\mathrm{site}}
(O\mid\mathfrak C_N)
=
\frac{
|\operatorname{Supp}(O)|
}{
|X_N|
}.
} η site ( O ∣ C N ) = ∣ X N ∣ ∣ Supp ( O ) ∣ . 在適合的連續模型中可對應：
η μ = μ ( O ) μ ( C ) . \eta_\mu
=
\frac{\mu(O)}{\mu(\mathfrak C)}. η μ = μ ( C ) μ ( O ) . 但本文的核心主張是：
η s i t e or η μ is not generally a complete occupancy descriptor. \boxed{
\eta_{\mathrm{site}}
\text{ or }
\eta_\mu
\text{ is not generally a complete occupancy descriptor.}
} η site or η μ is not generally a complete occupancy descriptor. 5. Query-indexed freedom
幾何支撐回答「直接佔了哪些位置」，但 freedom occupancy 必須先指定：
哪一種可能性被視為自由？
因此引入 query。
Definition 5.1 — Freedom query
一個 freedom query 記為：
q = ( P , G , A q , A d m q ) , \boxed{
q
=
(P,G,\mathcal A_q,\mathsf{Adm}_q),
} q = ( P , G , A q , Adm q ) , 其中可包含：
probe / tested object P P P
transformation family G G G
action class A q \mathcal A_q A q
admissibility predicate A d m q \mathsf{Adm}_q Adm q
不同問題可以有不同 q q q
point reachability；
rigid translation；
translation + rotation；
path connectivity；
deformation；
generation / extension。
Definition 5.2 — Admissible action set
A q ( C ∣ O ) = { a ∈ A q : A d m q ( a ; C , O ) = 1 } . \boxed{
\mathcal A_q(\mathfrak C\mid O)
=
\{
a\in\mathcal A_q:
\mathsf{Adm}_q(a;\mathfrak C,O)=1
\}.
} A q ( C ∣ O ) = { a ∈ A q : Adm q ( a ; C , O ) = 1 } . 在有限模型中，可定義 freedom fraction：
F q ( O ∣ C ) = ∣ A q ( C ∣ O ) ∣ ∣ A q a m b i e n t ∣ . \boxed{
F_q(O\mid\mathfrak C)
=
\frac{
|\mathcal A_q(\mathfrak C\mid O)|
}{
|\mathcal A_q^{\mathrm{ambient}}|
}.
} F q ( O ∣ C ) = ∣ A q ambient ∣ ∣ A q ( C ∣ O ) ∣ . 以及 freedom depletion：
D q ( O ∣ C ) = 1 − F q ( O ∣ C ) . \boxed{
D_q(O\mid\mathfrak C)
=
1-F_q(O\mid\mathfrak C).
} D q ( O ∣ C ) = 1 − F q ( O ∣ C ) . 這裡 denominator 必須明確指定，不能把不同 action spaces 的分母混在一起。
6. 第一主要定理：同支撐量不決定 translation freedom
考慮二維方形格點容器：
X N = { 0 , … , N − 1 } 2 . X_N
=
\{0,\ldots,N-1\}^2. X N = { 0 , … , N − 1 } 2 . 令 R w , h R_{w,h} R w , h w × h w\times h w × h
只允許 translation，且 placement 必須完全留在容器內。
Theorem 6.1 — Equal-Support Translation Non-Equivalence
對：
1 ≤ w , h ≤ N , 1\le w,h\le N, 1 ≤ w , h ≤ N , R w , h R_{w,h} R w , h
P N ( w , h ) = ( N − w + 1 ) ( N − h + 1 ) . \boxed{
P_N(w,h)
=
(N-w+1)(N-h+1).
} P N ( w , h ) = ( N − w + 1 ) ( N − h + 1 ) . 若固定：
w h = K , wh=K, w h = K , 則：
P N ( w , h ) = ( N + 1 ) 2 + K − ( N + 1 ) ( w + h ) . \boxed{
P_N(w,h)
=
(N+1)^2
+
K
-
(N+1)(w+h).
} P N ( w , h ) = ( N + 1 ) 2 + K − ( N + 1 ) ( w + h ) . 因此存在：
w 1 h 1 = w 2 h 2 = K w_1h_1=w_2h_2=K w 1 h 1 = w 2 h 2 = K 但：
w 1 + h 1 ≠ w 2 + h 2 w_1+h_1
\neq
w_2+h_2 w 1 + h 1 = w 2 + h 2 使：
P N ( w 1 , h 1 ) ≠ P N ( w 2 , h 2 ) . \boxed{
P_N(w_1,h_1)
\neq
P_N(w_2,h_2).
} P N ( w 1 , h 1 ) = P N ( w 2 , h 2 ) . 所以：
η s i t e ( R 1 ) = η s i t e ( R 2 ) ⇏ F t r a n s ( R 1 ) = F t r a n s ( R 2 ) . \boxed{
\eta_{\mathrm{site}}(R_1)
=
\eta_{\mathrm{site}}(R_2)
\not\Rightarrow
F_{\mathrm{trans}}(R_1)
=
F_{\mathrm{trans}}(R_2).
} η site ( R 1 ) = η site ( R 2 ) ⇒ F trans ( R 1 ) = F trans ( R 2 ) . Proof
一個 w × h w\times h w × h x x x
N − w + 1 N-w+1 N − w + 1 個合法位置，在 y y y
N − h + 1 N-h+1 N − h + 1 個，因此：
P N ( w , h ) = ( N − w + 1 ) ( N − h + 1 ) . P_N(w,h)
=
(N-w+1)(N-h+1). P N ( w , h ) = ( N − w + 1 ) ( N − h + 1 ) . 展開：
P N ( w , h ) = ( N + 1 ) 2 − ( N + 1 ) ( w + h ) + w h . P_N(w,h)
=
(N+1)^2
-
(N+1)(w+h)
+
wh. P N ( w , h ) = ( N + 1 ) 2 − ( N + 1 ) ( w + h ) + w h . 固定：
w h = K wh=K w h = K 後得到：
P N ( w , h ) = ( N + 1 ) 2 + K − ( N + 1 ) ( w + h ) . P_N(w,h)
=
(N+1)^2
+
K
-
(N+1)(w+h). P N ( w , h ) = ( N + 1 ) 2 + K − ( N + 1 ) ( w + h ) . 所以在 K K K w + h w+h w + h
Corollary 6.2 — Square Maximizes Translation Freedom for Fixed Area
若：
K = s 2 K=s^2 K = s 2 且：
s ≤ N , s\le N, s ≤ N , 則在所有滿足：
w h = K wh=K w h = K 的正整數矩形中：
w = h = s w=h=s w = h = s 最大化：
P N ( w , h ) . P_N(w,h). P N ( w , h ) . Proof
固定 w h = K wh=K w h = K P N P_N P N
w + h . w+h. w + h . 由 AM-GM：
w + h ≥ 2 w h = 2 K = 2 s , w+h
\ge
2\sqrt{wh}
=
2\sqrt K
=
2s, w + h ≥ 2 w h = 2 K = 2 s , 等號恰在：
w = h = s w=h=s w = h = s 成立。證畢。
Example 6.3
令：
N = 64 , K = 576. N=64,
\qquad
K=576. N = 64 , K = 576. 比較：
24 × 24 24\times24 24 × 24 與：
48 × 12. 48\times12. 48 × 12. 兩者都有：
η s i t e = 576 4096 = 0.140625. \eta_{\mathrm{site}}
=
\frac{576}{4096}
=
0.140625. η site = 4096 576 = 0.140625. 但：
P 64 ( 24 , 24 ) = 41 2 = 1681 , P_{64}(24,24)
=
41^2
=
1681, P 64 ( 24 , 24 ) = 4 1 2 = 1681 , 而：
P 64 ( 48 , 12 ) = 17 ⋅ 53 = 901. P_{64}(48,12)
=
17\cdot53
=
901. P 64 ( 48 , 12 ) = 17 ⋅ 53 = 901. 若以 N 2 N^2 N 2
F t r a n s ( 24 , 24 ) = 1681 4096 ≈ 0.410400 , F_{\mathrm{trans}}(24,24)
=
\frac{1681}{4096}
\approx
0.410400, F trans ( 24 , 24 ) = 4096 1681 ≈ 0.410400 , F t r a n s ( 48 , 12 ) = 901 4096 ≈ 0.219971. F_{\mathrm{trans}}(48,12)
=
\frac{901}{4096}
\approx
0.219971. F trans ( 48 , 12 ) = 4096 901 ≈ 0.219971. 所以同樣直接佔據 14.0625 % 14.0625\% 14.0625%
7. Directional occupancy
measure 不足的另一個原因是最大延伸可消耗特定方向的自由。
Definition 7.1 — Directional span
對 direction v v v
W O ( v ) W_O(v) W O ( v ) 為物體沿 v v v
W C ( v ) W_{\mathfrak C}(v) W C ( v ) 為容器沿 v v v
定義：
η d i r ( O , v ∣ C ) = W O ( v ) W C ( v ) . \boxed{
\eta_{\mathrm{dir}}(O,v\mid\mathfrak C)
=
\frac{
W_O(v)
}{
W_{\mathfrak C}(v)
}.
} η dir ( O , v ∣ C ) = W C ( v ) W O ( v ) . 在 N × N N\times N N × N
η x = w N , η y = h N . \eta_x
=
\frac{w}{N},
\qquad
\eta_y
=
\frac{h}{N}. η x = N w , η y = N h . Example 6.3 中：
24 × 24 24\times24 24 × 24 有：
η x = η y = 24 64 = 0.375. \eta_x=\eta_y=\frac{24}{64}=0.375. η x = η y = 64 24 = 0.375. 而：
48 × 12 48\times12 48 × 12 有：
η x = 0.75 , η y = 0.1875. \eta_x=0.75,
\qquad
\eta_y=0.1875. η x = 0.75 , η y = 0.1875. 因此同面積物體可對不同方向 freedom channel 施加完全不同的 constraint profile。
8. 第二主要定理：直接佔據趨零，但 global connectivity effect 不趨零
考慮奇數：
N = 2 m + 1. N=2m+1. N = 2 m + 1. 在 N × N N\times N N × N
x = m x=m x = m 作為 barrier：
B N . B_N. B N . 此 barrier 有：
N N N 個 occupied sites。
因此：
η s i t e ( B N ) = 1 N . \boxed{
\eta_{\mathrm{site}}(B_N)
=
\frac1N.
} η site ( B N ) = N 1 . 其自由補集被分成左右兩個相等 connected components，每一邊大小為：
n = m N . n=mN. n = m N . 總自由格數：
M = 2 n . M=2n. M = 2 n . Definition 8.1 — Pair-connectivity fragmentation
若自由補集 components 大小為：
n 1 , … , n r , n_1,\ldots,n_r, n 1 , … , n r , 總自由格數為：
M = ∑ i n i , M=\sum_i n_i, M = i ∑ n i , 定義：
L c o n n = 1 − ∑ i ( n i 2 ) ( M 2 ) . \boxed{
\mathcal L_{\mathrm{conn}}
=
1-
\frac{
\sum_i \binom{n_i}{2}
}{
\binom{M}{2}
}.
} L conn = 1 − ( 2 M ) ∑ i ( 2 n i ) . 它表示隨機選兩個自由 constituent 時，兩點落在不同 connected components 的比例。
Theorem 8.2 — Vanishing Support, Non-Vanishing Connectivity Fragmentation
對中央 spanning barrier B N B_N B N
η s i t e ( B N ) = 1 N → 0 , \boxed{
\eta_{\mathrm{site}}(B_N)
=
\frac1N
\rightarrow0,
} η site ( B N ) = N 1 → 0 , 但：
L c o n n ( B N ) = m N 2 m N − 1 → 1 2 . \boxed{
\mathcal L_{\mathrm{conn}}(B_N)
=
\frac{mN}{2mN-1}
\rightarrow
\frac12.
} L conn ( B N ) = 2 m N − 1 m N → 2 1 . 因此存在一族空間結構，其直接 site occupancy 趨零，而 global connectivity effect 保持非零。
Proof
barrier 直接佔據：
N N N 個 sites，容器總 sites 為：
N 2 , N^2, N 2 , 所以：
η s i t e = N N 2 = 1 N → 0. \eta_{\mathrm{site}}
=
\frac{N}{N^2}
=
\frac1N
\rightarrow0. η site = N 2 N = N 1 → 0. barrier 左右兩側各有：
n = m N n=mN n = m N 個自由 sites。
因此：
L c o n n = 1 − 2 ( n 2 ) ( 2 n 2 ) . \mathcal L_{\mathrm{conn}}
=
1-
\frac{
2\binom{n}{2}
}{
\binom{2n}{2}
}. L conn = 1 − ( 2 2 n ) 2 ( 2 n ) . 使用：
2 ( n 2 ) = n ( n − 1 ) , 2\binom{n}{2}
=
n(n-1), 2 ( 2 n ) = n ( n − 1 ) , 以及：
( 2 n 2 ) = n ( 2 n − 1 ) , \binom{2n}{2}
=
n(2n-1), ( 2 2 n ) = n ( 2 n − 1 ) , 得到：
L c o n n = 1 − n − 1 2 n − 1 = n 2 n − 1 . \mathcal L_{\mathrm{conn}}
=
1-
\frac{n-1}{2n-1}
=
\frac{n}{2n-1}. L conn = 1 − 2 n − 1 n − 1 = 2 n − 1 n . 代回：
n = m N , n=mN, n = m N , 得：
L c o n n = m N 2 m N − 1 → 1 2 . \mathcal L_{\mathrm{conn}}
=
\frac{mN}{2mN-1}
\rightarrow
\frac12. L conn = 2 m N − 1 m N → 2 1 . 證畢。
Corollary 8.3 — Support Measure Does Not Control Global Freedom Impact
不存在只依：
η s i t e \eta_{\mathrm{site}} η site 單獨決定：
L c o n n \mathcal L_{\mathrm{conn}} L conn 的普遍函數：
f f f 使所有這類容器／障礙都滿足：
L c o n n = f ( η s i t e ) \mathcal L_{\mathrm{conn}}
=
f(\eta_{\mathrm{site}}) L conn = f ( η site ) 並具有：
f ( x ) → 0 as x → 0. f(x)\rightarrow0
\quad
\text{as}
\quad
x\rightarrow0. f ( x ) → 0 as x → 0. 因 Theorem 8.2 已給出反例族：
η s i t e → 0 , \eta_{\mathrm{site}}\rightarrow0, η site → 0 , 同時：
L c o n n → 1 2 . \mathcal L_{\mathrm{conn}}\rightarrow\frac12. L conn → 2 1 . 9. Freedom Shadow
Theorem 8.2 顯示 barrier 的直接 support 很小，但它改變的不是只有 barrier sites 本身。
因此需要區分：
Supp ( O ) \operatorname{Supp}(O) Supp ( O ) 與某個 freedom query q q q
Definition 9.1 — Query-indexed freedom shadow
令：
F q F_q F q 是某個 freedom functional。
對 constituent x x x
δ x \delta_x δ x 有：
F q ( O ) ≠ F q ( O ⊕ δ x ) , F_q(O)
\neq
F_q(O\oplus\delta_x), F q ( O ) = F q ( O ⊕ δ x ) , 則稱 x x x q q q
更一般地可記：
Shadow F , q ( O ∣ C ) . \boxed{
\operatorname{Shadow}_{\mathcal F,q}
(O\mid\mathfrak C).
} Shadow F , q ( O ∣ C ) . 本文不預設所有 query 共享同一個 shadow。
因此：
Shadow F , q 1 ≠ Shadow F , q 2 \boxed{
\operatorname{Shadow}_{\mathcal F,q_1}
\neq
\operatorname{Shadow}_{\mathcal F,q_2}
} Shadow F , q 1 = Shadow F , q 2 完全可能。
這不是缺陷，而是因為：
q 1 q_1 q 1 與：
q 2 q_2 q 2 可能測量不同的 admissible freedom。
10. 有限狀態資訊佔據
若：
Ω C \Omega_{\mathfrak C} Ω C 與：
Ω C ∣ O \Omega_{\mathfrak C\mid O} Ω C ∣ O 都是有限集合，可定義：
I o c c ( O ∣ C ) = log ∣ Ω C ∣ ∣ Ω C ∣ O ∣ . \boxed{
\mathcal I_{\mathrm{occ}}
(O\mid\mathfrak C)
=
\log
\frac{
|\Omega_{\mathfrak C}|
}{
|\Omega_{\mathfrak C\mid O}|
}.
} I occ ( O ∣ C ) = log ∣ Ω C ∣ O ∣ ∣ Ω C ∣ . 並定義：
F r e m ( O ∣ C ) = log ∣ Ω C ∣ O ∣ . \boxed{
\mathcal F_{\mathrm{rem}}
(O\mid\mathfrak C)
=
\log
|\Omega_{\mathfrak C\mid O}|.
} F rem ( O ∣ C ) = log ∣ Ω C ∣ O ∣. Proposition 10.1 — Finite Capacity Decomposition
在固定 container 與固定 admissibility rules 下：
I o c c + F r e m = log ∣ Ω C ∣ . \boxed{
\mathcal I_{\mathrm{occ}}
+
\mathcal F_{\mathrm{rem}}
=
\log
|\Omega_{\mathfrak C}|.
} I occ + F rem = log ∣ Ω C ∣. Proof
直接由：
log ∣ Ω C ∣ ∣ Ω C ∣ O ∣ + log ∣ Ω C ∣ O ∣ = log ∣ Ω C ∣ \log
\frac{
|\Omega_{\mathfrak C}|
}{
|\Omega_{\mathfrak C\mid O}|
}
+
\log
|\Omega_{\mathfrak C\mid O}|
=
\log
|\Omega_{\mathfrak C}| log ∣ Ω C ∣ O ∣ ∣ Ω C ∣ + log ∣ Ω C ∣ O ∣ = log ∣ Ω C ∣ 得到。證畢。
Remark 10.2
這只是 finite-state conservation-like identity。
本文不把它宣稱為物理守恆律，也不把它無條件延伸到連續空間。
11. Representation Non-Ownership
同一底層有限狀態可以用不同 radix、label、coordinate 或 encoding 表示。
Proposition 11.1 — Bijective Recoding Invariance
令：
ρ : Ω → Ω ′ \rho:
\Omega
\rightarrow
\Omega' ρ : Ω → Ω ′ 為雙射 representation map。
則：
∣ Ω ∣ = ∣ Ω ′ ∣ . |\Omega|
=
|\Omega'|. ∣Ω∣ = ∣ Ω ′ ∣. 若：
A ⊆ Ω , A\subseteq\Omega, A ⊆ Ω , 則：
∣ ρ ( A ) ∣ = ∣ A ∣ . |\rho(A)|
=
|A|. ∣ ρ ( A ) ∣ = ∣ A ∣. 因此任何只依 state cardinality ratio 的有限 occupancy quantity，例如：
log ∣ Ω ∣ ∣ A ∣ \log
\frac{|\Omega|}{|A|} log ∣ A ∣ ∣Ω∣ 在雙射 recoding 下保持不變。
Proof
雙射保持有限集合 cardinality。證畢。
Remark 11.2
這並不代表所有 quantity 都跨表示不變。
digit length、carry structure、local string pattern 與某些 computational cost 可以高度 representation-dependent。
所以真正原則是：
Representation may reveal structure, but does not automatically own the invariant. \boxed{
\text{Representation may reveal structure,
but does not automatically own the invariant.}
} Representation may reveal structure, but does not automatically own the invariant. 12. Occupancy Signature
由前述結果，一個空間結構不應在研究開始時被壓成單一 scalar。
本文暫定：
O c c C , q ( O ) = ( η s i t e , η d i r , F q , D q , L c o n n , B , R ) . \boxed{
\mathbf{Occ}_{\mathfrak C,q}(O)
=
\left(
\eta_{\mathrm{site}},
\boldsymbol\eta_{\mathrm{dir}},
F_q,
D_q,
\mathcal L_{\mathrm{conn}},
\mathcal B,
\mathcal R
\right).
} Occ C , q ( O ) = ( η site , η dir , F q , D q , L conn , B , R ) . 其中：
η s i t e \eta_{\mathrm{site}} η site η d i r \boldsymbol\eta_{\mathrm{dir}} η dir F q F_q F q D q D_q D q L c o n n \mathcal L_{\mathrm{conn}} L conn B \mathcal B B R \mathcal R R
這不是最終標準。
其目的只是避免把：
all occupancy information \boxed{
\text{all occupancy information}
} all occupancy information 在沒有證據時先驗壓縮成：
one area / volume number . \boxed{
\text{one area / volume number}.
} one area / volume number . 13. 邊界不是只在接觸時才存在
若物體尚未碰到：
∂ C , \partial\mathfrak C, ∂ C , 其 legal translation set 仍可能已經被邊界大量限制。
例如矩形：
w → N w\rightarrow N w → N 時：
N − w + 1 N-w+1 N − w + 1 快速縮小。
因此：
Boundary Influence ≠ Contact Only . \boxed{
\text{Boundary Influence}
\neq
\text{Contact Only}.
} Boundary Influence = Contact Only . 本文將 boundary 更弱地理解為：
a modifier of admissibility conditions . \boxed{
\text{a modifier of admissibility conditions}.
} a modifier of admissibility conditions . 這個觀點將在 Paper 02 的 boundary escape 與 gap threshold 中進一步形式化。
14. SOBTA 關係座標
本文不把 SOBTA 當成空間終極本體，而只使用其 relational coordinate。
令：
Γ q = ⟨ S q , O , ∂ C ⟩ . \Gamma_q
=
\langle
S_q,O,\partial\mathfrak C
\rangle. Γ q = ⟨ S q , O , ∂ C ⟩ . 其中：
Subject / Query domain
S q S_q S q 指定：
觀察量；
probe；
transformation class；
resolution；
representation；
admissibility semantics。
Object domain
O O O 是實際施加的 constraint / occupancy pattern。
Boundary domain
∂ C \partial\mathfrak C ∂ C 指定：
哪些 placement 被截斷；
哪些 path 可離開／不可離開；
哪些 deformation 不再合法；
哪些 local freedom 可以或不能轉成 global freedom。
因此 observed occupancy 可暫寫成：
O c c = O c c ( S q , O , ∂ C ) . \boxed{
\mathbf{Occ}
=
\mathbf{Occ}
(
S_q,
O,
\partial\mathfrak C
).
} Occ = Occ ( S q , O , ∂ C ) . 這不是主觀主義。
相同：
( S q , O , ∂ C ) (S_q,O,\partial\mathfrak C) ( S q , O , ∂ C ) 應產生相同 exact finite result。
15. ACTM 的方法論接口
ACTM 在本文中不是用來證明超越數命題，而提供一個研究姿勢：
Track which relations and freedoms survive transformations. \boxed{
\text{Track which relations and freedoms survive transformations.}
} Track which relations and freedoms survive transformations. 對：
T : ( C , O , q ) → ( C ′ , O ′ , q ′ ) , T:
(\mathfrak C,O,q)
\rightarrow
(\mathfrak C',O',q'), T : ( C , O , q ) → ( C ′ , O ′ , q ′ ) , 後續研究不只問：
形狀變成什麼？
而問：
O c c t → T O c c t + 1 . \boxed{
\mathbf{Occ}_t
\xrightarrow{T}
\mathbf{Occ}_{t+1}.
} Occ t T Occ t + 1 . 並區分：
preserve；
redistribute；
compress；
release；
escape。
Paper 02 將對 fixed-area rectangle path 與 gap operator 給出 exact transport / escape law。
16. Perfect Cuboid Global Closure 的方法論繼承
本文繼承四個研究紀律，而不是搬用 perfect cuboid 的具體方程。
16.1 世界與表示分離
Underlying Relation ≠ One Numeric Rendering . \boxed{
\text{Underlying Relation}
\neq
\text{One Numeric Rendering}.
} Underlying Relation = One Numeric Rendering . 16.2 先 quotient 假自由度
label permutation、coordinate rename、radix rewrite 不應自動算成新 spatial freedom。
16.3 Approximation 不冒充 exact closure
數值趨勢只能產生 conjecture；有限 exact theorem 必須由 exact counting 或 proof 支撐。
16.4 第一顯現與 family structure 分開
找到一個非平凡 freedom quantity，不代表已找到完整 canonical invariant family。
17. 主要命題的邏輯層級
本文目前建立的是：
Existence of non-measure occupancy effects . \boxed{
\text{Existence of non-measure occupancy effects}.
} Existence of non-measure occupancy effects . 而不是：
a complete universal theory of spatial information . \boxed{
\text{a complete universal theory of spatial information}.
} a complete universal theory of spatial information . 已證：
等 direct support 可有不同 translation freedom；
direct occupancy 可趨零但 global connectivity effect 不趨零；
finite-state cardinality occupancy 在 bijective recoding 下保持；
因此 measure-only characterization 對一類 freedom questions 不充分。
尚未由本文單獨證明：
一般 continuum limit；
一般 curved geometry theorem；
任意 rotation group 下的完整 invariant；
generator hypergraph 的 canonical universality；
物理空間的微觀 informational ontology。
這些被留給後續系列。
18. 可證偽性
Spatial Information Occupancy 若要超過比喻，至少必須允許下列失敗。
F1 — Measure Collapse
若所有新量最後都可由：
μ ( O ) \mu(O) μ ( O ) 唯一決定，則本理論沒有新增辨識力。
Theorems 6.1 與 8.2 已在有限模型中排除此種普遍 collapse。
F2 — Query Triviality
若改變 query 只是在換名字而不改 admissibility structure，則 query-indexed language 沒有新增功能。
後續 Paper 02–03 將用不同 probe threshold 與 cooperative order 測試。
F3 — Representation Artifact
若所謂 invariant 只在某個 radix / label / lattice encoding 下成立，則不能稱底層 invariant。
後續 Paper 04–05 將處理 quotient 與 refinement。
F4 — Nonlocal Shadow Explosion
若任何局部 object 都被定義成「影響全部空間」，freedom shadow 會失去辨識力。
因此 shadow 必須相對明確 query / functional 定義。
19. 討論：幾何可能是顯影層，而非唯一 primitive
本文不需要否定傳統幾何。
相反地，本文提出一個研究方向：
admissible relations → occupancy constraints → freedom structure → geometric manifestation . \boxed{
\text{admissible relations}
\rightarrow
\text{occupancy constraints}
\rightarrow
\text{freedom structure}
\rightarrow
\text{geometric manifestation}.
} admissible relations → occupancy constraints → freedom structure → geometric manifestation . 在某些問題中，圓、方、不規則形狀可以先被視為不同 constraint realization，再比較其：
support；
placement family；
overlap relation；
boundary coupling；
connectivity effect。
因此：
Geometry \boxed{
\text{Geometry}
} Geometry 仍然是真實而重要的描述層，但未必是所有 occupancy questions 的最低充分描述。
20. 結論
本文從一個非常基本的問題出發：
一個形狀除了「佔了一塊地方」之外，是否還佔據其他空間資訊？
答案在有限模型中是肯定的。
固定直接支撐量並不能固定 translation freedom：
w h = K ⇏ P N ( w , h ) = constant . \boxed{
wh=K
\not\Rightarrow
P_N(w,h)=\text{constant}.
} w h = K ⇒ P N ( w , h ) = constant . 極小的直接支撐也不保證極小的全域 effect：
η s i t e → 0 ⇏ L c o n n → 0. \boxed{
\eta_{\mathrm{site}}\rightarrow0
\not\Rightarrow
\mathcal L_{\mathrm{conn}}\rightarrow0.
} η site → 0 ⇒ L conn → 0. 因此：
Geometric Measure Occupancy ≠ Freedom Occupancy . \boxed{
\text{Geometric Measure Occupancy}
\neq
\text{Freedom Occupancy}.
} Geometric Measure Occupancy = Freedom Occupancy . 本文把這個區分提升成一個 container-relative framework：
Container + Constraint + Freedom Query + Boundary → Occupancy Signature . \boxed{
\text{Container}
+
\text{Constraint}
+
\text{Freedom Query}
+
\text{Boundary}
\rightarrow
\text{Occupancy Signature}.
} Container + Constraint + Freedom Query + Boundary → Occupancy Signature . 最終，一句話概括本文：
A spatial structure does not merely occupy locations; it commits possibilities. \boxed{
\textbf{A spatial structure does not merely occupy locations; it commits possibilities.}
} A spatial structure does not merely occupy locations; it commits possibilities. 中文：
一個空間結構不只是佔據若干位置；它同時承諾、排除並重分配容器中的可能性。
Appendix A. 最低符號表
C \mathfrak C C container。
X X X constituent loci。
F x \mathcal F_x F x local admissible state set。
Ω C \Omega_{\mathfrak C} Ω C global admissible state space。
O O O object / constraint。
Supp ( O ) \operatorname{Supp}(O) Supp ( O ) direct occupied support。
η s i t e \eta_{\mathrm{site}} η site direct site occupancy。
q q q freedom query。
F q F_q F q remaining freedom fraction。
D q D_q D q freedom depletion。
Shadow F , q \operatorname{Shadow}_{\mathcal F,q} Shadow F , q query-indexed freedom shadow。
L c o n n \mathcal L_{\mathrm{conn}} L conn pair-connectivity fragmentation。
I o c c \mathcal I_{\mathrm{occ}} I occ finite-state information occupancy。
Appendix B. Exact Reproducibility Examples
本稿附帶 paper01_exact_checks.py，驗證：
N = 64 N=64 N = 64 K = 576 K=576 K = 576 odd- N N N
η s i t e → 0 \eta_{\mathrm{site}}\to0 η site → 0 L c o n n → 1 / 2 \mathcal L_{\mathrm{conn}}\to1/2 L conn → 1/2 bijective representation recoding 保持 cardinality ratio。
程式驗證是 proof audit，不取代本文解析證明。
Appendix C. Companion Experimental Line
本文只使用 E0–E7 中已可獨立形式化的基礎結果。
後續正式系列預定：
Paper 02：Freedom Transport and Boundary Escape；
Paper 03：Cooperative Fiber Algebra and Latent Freedom；
Paper 04：Generator Quotient and Representation Invariance；
Paper 05：Cross-Resolution Generator Limits；
Paper 06：Two-Dimensional Generator Complexes；
Series Synthesis：Spatial Information Occupancy as Container-Relative Freedom Structure。