← Archive
lm-005069 · 2026-11

空間資訊佔據 VI:二維 Generator Complex、Covariogram 與容器自由場

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

空間資訊佔據 VI:二維 Generator Complex、Covariogram 與容器自由場

Spatial Information Occupancy VI: Two-Dimensional Generator Complexes, Covariograms, and Container Freedom Fields

系列: Spatial Information Occupancy and Generator Geometry
篇次: Paper 06 / Two-Dimensional Geometry
版本: v1.0
日期: 2026-10-02
作者: Neo.K
AI 協力研究者: Aletheia / ChatGPT, GPT-5.6 Sol
機構: EveMissLab/一言諾科技有限公司
狀態: Formal Research Draft / 2D Generator Geometry

直接前置:

  • Paper 01《空間資訊佔據 I:超越幾何測度的容器相對自由結構》;
  • Paper 02《空間資訊佔據 II:自由度傳輸、邊界飽和與結構逃逸》;
  • Paper 03《空間資訊佔據 III:協同構成元代數、潛在自由與纖維資訊場》;
  • Paper 04《空間資訊佔據 IV:Generator Quotient 與跨表示資訊不變量》;
  • Paper 05《空間資訊佔據 V:跨解析度 Generator 系統與連續極限》;
  • E7 2D Generator Complex。

摘要

前五篇已依序建立:

measure/freedom separation,\text{measure/freedom separation}, freedom transport,\text{freedom transport}, cooperative generator algebra,\text{cooperative generator algebra}, Generator Quotient,\text{Generator Quotient},

以及:

cross-resolution generator limit.\text{cross-resolution generator limit}.

本文把這套結構重新帶回最初的二維問題:圓、方、不規則形狀與有限容器之間的資訊佔據關係。

令:

XN={0,…,N−1}2X_N = \{0,\ldots,N-1\}^2

為二維方形格點容器,令有限 probe:

P⊆Z2.P\subseteq\mathbb Z^2.

對 probe 的所有 distinct legal translations 與允許的 discrete rotations,本文定義:

GP,N={rP+t:r∈R(P),  rP+t⊆XN},\boxed{ \mathcal G_{P,N} = \{ rP+t: r\in\mathcal R(P), \; rP+t\subseteq X_N \}, }

並形成二維 placement-generator hypergraph:

HP,N=(XN,GP,N).\boxed{ \mathcal H_{P,N} = (X_N,\mathcal G_{P,N}). }

因所有 rigid placements 都保持:

∣G∣=∣P∣,|G|=|P|,

本文證明所有 distinct legal placements 都是 minimal generators。

若 orientation rPrP 的 bounding box 為:

wr×hr,w_r\times h_r,

則 legal generator 數精確為:

∣GP,N∣=∑r∈R(P)(N−wr+1)(N−hr+1).\boxed{ |\mathcal G_{P,N}| = \sum_{r\in\mathcal R(P)} (N-w_r+1)(N-h_r+1). }

因此 direct support cardinality:

∣P∣|P|

並不能決定 generator-complex size。

E7 的 exact finite construction在 N=64N=64 下給出三個等支撐 probes:

∣P∣=256,ηsite=116,|P|=256, \qquad \eta_{\mathrm{site}}=\frac1{16},

但:

∣Gdisk∣=2209,|\mathcal G_{\mathrm{disk}}| = 2209, ∣G□∣=2401,|\mathcal G_{\square}| = 2401, ∣Girregular∣=7744.|\mathcal G_{\mathrm{irregular}}| = 7744.

所以這三個二維 generator complexes 不可能彼此同構。

本文接著把 generator 間的 pairwise relational structure寫成 covariogram:

KP,N(Δ)=∣P∩(P+Δ)∣N2.\boxed{ K_{P,N}(\Delta) = \frac{ |P\cap(P+\Delta)| }{ N^2 }. }

它精確給出同 orientation 下、相對位移為 Δ\Delta 的兩個 generators 之 normalized intersection。

對 side:

s=aNs=aN

的 axis-aligned square,本文證明 exact kernel:

K□,N(δx,δy)=max⁡(0,a−∣δx∣)max⁡(0,a−∣δy∣),\boxed{ K_{\square,N}(\delta_x,\delta_y) = \max(0,a-|\delta_x|) \max(0,a-|\delta_y|), }

其中:

δx=dxN,δy=dyN.\delta_x=\frac{d_x}{N}, \qquad \delta_y=\frac{d_y}{N}.

因此一維 triangular overlap kernel 在二維 square 中精確升格為 separable product kernel。

本文再定義 Placement Capacity Field:

ΨP,N(x)=#{G∈GP,N:x∈G}∣GP,N∣.\boxed{ \Psi_{P,N}(x) = \frac{ \#\{ G\in\mathcal G_{P,N}:x\in G \} }{ |\mathcal G_{P,N}| }. }

它表示從所有 legal generators 均勻抽取一個時,constituent xx 被 probe 佔據的機率。

本文證明其總質量:

∑x∈XNΨP,N(x)=∣P∣.\boxed{ \sum_{x\in X_N} \Psi_{P,N}(x) = |P|. }

因此:

1N2∑xΨP,N(x)=∣P∣N2=ηsite.\boxed{ \frac1{N^2} \sum_x \Psi_{P,N}(x) = \frac{|P|}{N^2} = \eta_{\mathrm{site}}. }

換言之,geometric measure / direct occupancy 是 capacity field 的 spatial mean,但並不能決定 field distribution。

對 square,本文給出 Ψ□,N\Psi_{\square,N} 的 exact separable formula,並證明它收斂至一個 continuum boundary-ramp / interior-plateau field。

dyadic square refinement 亦完全 exact:

E2(PN)=P2N.\boxed{ E_2(P_N) = P_{2N}. }

對 disk-like 與 irregular probes,E7 顯示 independently reconstructed fine probes 與 coarse dyadic expansions 的 normalized symmetric difference隨 resolution 減少;它們的 placement-capacity fields 亦呈現明顯下降的 cross-resolution error。本文將這些保留為 computational evidence,而不升格成一般 curved-boundary theorem。

本文最終提出二維 generator signature:

SN(P)=(∣P∣,R(P),GP,N,KP,N,ΨP,N).\boxed{ \mathfrak S_N(P) = \left( |P|, \mathcal R(P), \mathcal G_{P,N}, K_{P,N}, \Psi_{P,N} \right). }

因此 circle、square、irregular form 的差異不再只被描述為「面積或輪廓不同」,而可被描述成不同的 placement-generator geometry。


Abstract

This paper extends Spatial Information Occupancy from one-dimensional generator systems to two-dimensional placement geometry.

Let

XN={0,…,N−1}2X_N=\{0,\ldots,N-1\}^2

be a finite square container and let P⊆Z2P\subseteq\mathbb Z^2 be a finite probe. The family of all distinct legal translations and allowed discrete rotations is defined as

GP,N={rP+t:r∈R(P),  rP+t⊆XN},\mathcal G_{P,N} = \{ rP+t: r\in\mathcal R(P), \; rP+t\subseteq X_N \},

forming the two-dimensional placement-generator hypergraph

HP,N=(XN,GP,N).\mathcal H_{P,N} = (X_N,\mathcal G_{P,N}).

All rigid placements have the same cardinality ∣P∣|P|, so every distinct legal placement is a minimal generator. If orientation rPrP has bounding box wr×hrw_r\times h_r, then

∣GP,N∣=∑r∈R(P)(N−wr+1)(N−hr+1).|\mathcal G_{P,N}| = \sum_{r\in\mathcal R(P)} (N-w_r+1)(N-h_r+1).

Thus equal direct support does not determine the size of the generator complex.

The pairwise relational structure of translated generators is captured by the discrete covariogram

KP,N(Δ)=∣P∩(P+Δ)∣N2.K_{P,N}(\Delta) = \frac{|P\cap(P+\Delta)|}{N^2}.

For an axis-aligned square of physical side aa, the exact kernel is

K□,N(δx,δy)=max⁡(0,a−∣δx∣)max⁡(0,a−∣δy∣).K_{\square,N}(\delta_x,\delta_y) = \max(0,a-|\delta_x|) \max(0,a-|\delta_y|).

The paper also defines the placement capacity field

ΨP,N(x)=#{G∈GP,N:x∈G}∣GP,N∣.\Psi_{P,N}(x) = \frac{ \#\{G\in\mathcal G_{P,N}:x\in G\} }{ |\mathcal G_{P,N}| }.

Its total mass satisfies the exact identity

∑x∈XNΨP,N(x)=∣P∣.\sum_{x\in X_N} \Psi_{P,N}(x) = |P|.

Hence direct occupancy is the spatial mean of the capacity field but does not determine its distribution.

For square probes, an exact separable finite formula and a continuum boundary-ramp / interior-plateau limit are derived. Exact dyadic refinement is also proved for squares.

Disk-like and irregular probes are retained as exact finite constructions and cross-resolution computational evidence. Their boundary discrepancies and capacity-field errors decrease under refinement in the E7 sequence, but no general curved-boundary convergence theorem is claimed.

The resulting two-dimensional signature combines support, orientation structure, placement generators, covariograms, and container-induced capacity fields.


1. 二維問題的回歸

本系列最初的直覺之一來自:

  • 圓包含方;
  • 方包含圓;
  • 細長結構;
  • 不規則幾何;
  • 容器內外空白。

Paper 01 已證明:

measure≠freedom.\text{measure} \neq \text{freedom}.

Paper 03–05 又把 freedom 結構降到:

Gq,Hq,Qq,Rα.\mathcal G_q, \qquad \mathcal H_q, \qquad \mathfrak Q_q, \qquad \mathfrak R_\alpha.

本文現在重新問:

真正二維 shape 作為 probe 時,它如何生成 placement freedom structure?


2. 二維 Container

定義:

XN={0,…,N−1}2.\boxed{ X_N = \{0,\ldots,N-1\}^2. }

一個 finite probe:

P⊆Z2.\boxed{ P \subseteq \mathbb Z^2. }

本文把 probe normalize,使其 bounding box 左下角位於:

(0,0).(0,0).

3. Orientation Set

令:

R(P)\mathcal R(P)

為允許的 distinct discrete orientations。

本文主要使用:

0∘,90∘,180∘,270∘\boxed{ 0^\circ, 90^\circ, 180^\circ, 270^\circ }

所生成的 distinct normalized shapes。

若 probe 具有旋轉對稱,則:

∣R(P)∣<4.|\mathcal R(P)|<4.

例如 square:

∣R(P)∣=1.|\mathcal R(P)|=1.

E7 的 disk-like probe 被構造成 exact C4C_4 digital symmetry,因此:

∣R(Pdisk)∣=1.|\mathcal R(P_{\mathrm{disk}})|=1.

irregular star 則:

∣R(Pirr)∣=4.|\mathcal R(P_{\mathrm{irr}})|=4.

4. 二維 Placement Generators

對:

r∈R(P),r\in\mathcal R(P),

與 translation:

t=(a,b)∈Z2,t=(a,b)\in\mathbb Z^2,

若:

rP+t⊆XN,rP+t \subseteq X_N,

則:

Gr,t=rP+t\boxed{ G_{r,t} = rP+t }

為一個 legal placement generator。

定義:

GP,N={Gr,t:r∈R(P),Gr,t⊆XN}.\boxed{ \mathcal G_{P,N} = \{ G_{r,t}: r\in\mathcal R(P), G_{r,t}\subseteq X_N \}. }

以及:

HP,N=(XN,GP,N).\boxed{ \mathcal H_{P,N} = (X_N,\mathcal G_{P,N}). }

5. Rigid Placement Minimality

Theorem 5.1 — Every Distinct Rigid Placement Is Minimal

假設每個:

r∈R(P)r\in\mathcal R(P)

都是 rigid orientation,所以:

∣rP∣=∣P∣=K.|rP|=|P|=K.

則任意兩個 distinct legal placements:

G1,G2∈GP,NG_1, G_2 \in \mathcal G_{P,N}

不能有真包含:

G1⊊G2.G_1\subsetneq G_2.

因此:

GP,N\boxed{ \mathcal G_{P,N} }

中的所有 distinct placements 都是 minimal generators。

Proof

所有 rigid placements 都有同樣有限 cardinality:

∣G1∣=∣G2∣=K.|G_1| = |G_2| = K.

若:

G1⊊G2,G_1\subsetneq G_2,

有限集合真包含必有:

∣G1∣<∣G2∣,|G_1|<|G_2|,

矛盾。

所以 distinct placements 不可能真包含彼此。證畢。


6. Generator Count

對 orientation:

rP,rP,

令其 axis-aligned bounding box 為:

wr×hr.w_r\times h_r.

若:

wr,hr≤N,w_r,h_r\le N,

合法 translation anchors:

a=0,…,N−wr,a=0,\ldots,N-w_r, b=0,…,N−hr.b=0,\ldots,N-h_r.

所以該 orientation 有:

(N−wr+1)(N−hr+1)(N-w_r+1)(N-h_r+1)

個 placements。

Theorem 6.1 — Exact Placement-Generator Count

若:

R(P)\mathcal R(P)

只保留 normalized distinct orientations,則:

∣GP,N∣=∑r∈R(P)(N−wr+1)(N−hr+1).\boxed{ |\mathcal G_{P,N}| = \sum_{r\in\mathcal R(P)} (N-w_r+1)(N-h_r+1). }

Proof

每個 orientation 的合法 translation 數由 bounding box count 得到。

若兩個不同 normalized orientations 的 translated placements 完全相等,將該集合各自平移回其 bounding-box origin,會得到相同 normalized shape,與 orientations distinct 矛盾。

所以不同 orientation layers 沒有重複 generators。

因此可直接求和。證畢。


7. 等 Direct Support 不決定 Generator Complex

若兩個 probes:

P1,P2P_1, P_2

滿足:

∣P1∣=∣P2∣=K,|P_1|=|P_2|=K,

但:

∣GP1,N∣≠∣GP2,N∣,|\mathcal G_{P_1,N}| \neq |\mathcal G_{P_2,N}|,

則其 hypergraphs 不可能同構,因 hypergraph isomorphism 保持 edge count。

Corollary 7.1

∣P1∣=∣P2∣⇏HP1,N≅HP2,N.\boxed{ |P_1|=|P_2| \not\Rightarrow \mathcal H_{P_1,N} \cong \mathcal H_{P_2,N}. }

direct support cardinality 本身不足以決定 2D generator complex。


8. E7 Equal-Support Construction

E7 對:

N=64N=64

構造三個 exact equal-support probes:

∣P∣=256.|P|=256.

所以:

ηsite=2564096=116.\eta_{\mathrm{site}} = \frac{256}{4096} = \frac1{16}.

其 exact finite data:

Probe Bounding Box Unique Orientations Generator Count
disk-like 18×1818\times18 11 22092209
square 16×1616\times16 11 24012401
irregular star 21×2121\times21 44 77447744

由 Theorem 6.1:

disk-like:

(64−18+1)2=472=2209.(64-18+1)^2 = 47^2 = 2209.

square:

492=2401.49^2 = 2401.

irregular:

4⋅442=7744.4\cdot44^2 = 7744.

所以三者 generator edge counts 皆不同。

因此:

Hdisk,64,H□,64,Hirr,64\boxed{ \mathcal H_{\mathrm{disk},64}, \quad \mathcal H_{\square,64}, \quad \mathcal H_{\mathrm{irr},64} }

兩兩不可能同構。

這是:

same direct occupancy⇏same 2D freedom-generator structure.\boxed{ \text{same direct occupancy} \not\Rightarrow \text{same 2D freedom-generator structure}. }

9. Generator Covariogram

對固定 orientation probe:

P,P,

定義 discrete covariogram:

ΓP(Δ)=∣P∩(P+Δ)∣.\boxed{ \Gamma_P(\Delta) = |P\cap(P+\Delta)|. }

若需要 container normalization:

KP,N(Δ)=ΓP(Δ)N2.\boxed{ K_{P,N}(\Delta) = \frac{ \Gamma_P(\Delta) }{ N^2 }. }

這個量不需要把兩個 copies 都放在 container 中才有定義;它是 probe support 本身的 translation-overlap relation。


10. Covariogram as Generator Intersection

Proposition 10.1

若兩個同 orientation generators:

Gt=P+t,G_t=P+t, Gu=P+u,G_u=P+u,

則:

∣Gt∩Gu∣=ΓP(u−t).\boxed{ |G_t\cap G_u| = \Gamma_P(u-t). }

Proof

平移 −t-t 不改變 cardinality:

∣(P+t)∩(P+u)∣=∣P∩(P+(u−t))∣.|(P+t)\cap(P+u)| = |P\cap(P+(u-t))|.

即為:

ΓP(u−t).\Gamma_P(u-t).

證畢。

因此 covariogram 精確編碼 pairwise generator-overlap relation。


11. Covariogram Basic Invariances

Proposition 11.1

對任意:

v∈Z2,v\in\mathbb Z^2,

有:

ΓP+v(Δ)=ΓP(Δ).\boxed{ \Gamma_{P+v}(\Delta) = \Gamma_P(\Delta). }

且:

ΓP(−Δ)=ΓP(Δ).\boxed{ \Gamma_P(-\Delta) = \Gamma_P(\Delta). }

Proof

第一式由共同 translation 消去。

第二式:

∣P∩(P−Δ)∣=∣(P+Δ)∩P∣=∣P∩(P+Δ)∣.|P\cap(P-\Delta)| = |(P+\Delta)\cap P| = |P\cap(P+\Delta)|.

證畢。

所以 covariogram 已經 quotient 掉 probe 的絕對平移位置。


12. Square Covariogram

令 square:

Qs={0,…,s−1}2.Q_s = \{0,\ldots,s-1\}^2.

對 integer displacement:

Δ=(dx,dy).\Delta=(d_x,d_y).

Theorem 12.1 — Exact Discrete Square Covariogram

ΓQs(dx,dy)=max⁡(0,s−∣dx∣)max⁡(0,s−∣dy∣).\boxed{ \Gamma_{Q_s}(d_x,d_y) = \max(0,s-|d_x|) \max(0,s-|d_y|). }

Proof

兩個 axis-aligned square 的 xx -interval overlap cell count:

max⁡(0,s−∣dx∣).\max(0,s-|d_x|).

yy -interval同理。

二維 intersection 是 Cartesian product,所以 cardinality為兩者乘積。證畢。


若:

s=aN,s=aN,

以及:

δx=dxN,δy=dyN,\delta_x=\frac{d_x}{N}, \qquad \delta_y=\frac{d_y}{N},

則:

Corollary 12.2 — Exact Normalized Square Kernel

K□,N(δx,δy)=max⁡(0,a−∣δx∣)max⁡(0,a−∣δy∣).\boxed{ K_{\square,N}(\delta_x,\delta_y) = \max(0,a-|\delta_x|) \max(0,a-|\delta_y|). }

只要:

dx,dyd_x,d_y

是 lattice shifts。

所以 square 的 2D overlap kernel 在所有 admissible resolutions 上 exact sample 同一 continuum product kernel。


13. Equal Area Does Not Determine Covariogram

E7 在:

N=128N=128

中,三種 probes 都有:

∣P∣/N2=1/16.|P|/N^2 = 1/16.

但在:

Δ=(1/16,0)\Delta= (1/16,0)

的 normalized displacement:

disk-like:

K≈0.044922,K\approx0.044922,

square:

K=0.046875,K=0.046875,

irregular:

K≈0.042053.K\approx0.042053.

所以:

equal support measure⇏equal generator covariogram.\boxed{ \text{equal support measure} \not\Rightarrow \text{equal generator covariogram}. }

這部分對 disk / irregular 為 exact finite computed values;本文不由這三個數字推出一般 continuum theorem。


14. Placement Capacity Field

Paper 03 的 Shapley field 分配 cooperative generator value。

本文需要另一個二維 quantity:substrate constituent 被 legal placements 覆蓋的頻率。

Definition 14.1 — Placement Capacity Field

對:

x∈XN,x\in X_N,

定義:

ΨP,N(x)=#{G∈GP,N:x∈G}∣GP,N∣.\boxed{ \Psi_{P,N}(x) = \frac{ \#\{ G\in\mathcal G_{P,N}: x\in G \} }{ |\mathcal G_{P,N}| }. }

因此:

0≤ΨP,N(x)≤1.0\le \Psi_{P,N}(x) \le1.

它是一個 probability-like coverage field,而不是 Paper 03 的 aperture-capacity set function。


15. Capacity-Field Mass Theorem

Theorem 15.1 — Field Mass Equals Direct Support

若所有 generators:

G∈GP,NG\in\mathcal G_{P,N}

都有:

∣G∣=K,|G|=K,

則:

∑x∈XNΨP,N(x)=K.\boxed{ \sum_{x\in X_N} \Psi_{P,N}(x) = K. }

因此:

1N2∑x∈XNΨP,N(x)=KN2=ηsite.\boxed{ \frac1{N^2} \sum_{x\in X_N} \Psi_{P,N}(x) = \frac{K}{N^2} = \eta_{\mathrm{site}}. }

Proof

交換求和次序:

∑x∈XNΨP,N(x)=1∣G∣∑x#{G:x∈G}=1∣G∣∑G∈G∣G∣=1∣G∣∑G∈GK=K.\begin{aligned} \sum_{x\in X_N} \Psi_{P,N}(x) &= \frac1{|\mathcal G|} \sum_x \#\{ G:x\in G \}\\ &= \frac1{|\mathcal G|} \sum_{G\in\mathcal G} |G|\\ &= \frac1{|\mathcal G|} \sum_{G\in\mathcal G} K\\ &= K. \end{aligned}

證畢。


16. Measure as Mean, Not Full Field

Theorem 15.1 顯示:

ηsite\boxed{ \eta_{\mathrm{site}} }

不是錯誤量。

它其實是:

ΨP,N\boxed{ \Psi_{P,N} }

的 spatial mean。

真正不足的是:

mean⇏field distribution.\boxed{ \text{mean} \not\Rightarrow \text{field distribution}. }

所以兩個 equal-support probes 可以有相同:

ηsite\eta_{\mathrm{site}}

但不同:

ΨP,N(x).\Psi_{P,N}(x).

這提供 Paper 01 measure/freedom separation 的二維 field 版本。


17. Square Placement Capacity Field

令:

Qs={0,…,s−1}2Q_s = \{0,\ldots,s-1\}^2

在:

XNX_N

中只做 translations。

一維方向上,包含 coordinate:

ii

的合法 square anchors 數為:

nN,s(i)=max⁡(0,min⁡(i,N−s)−max⁡(0,i−s+1)+1).\boxed{ n_{N,s}(i) = \max \left( 0, \min(i,N-s) - \max(0,i-s+1) + 1 \right). }

總 horizontal anchor 數:

M1=N−s+1.M_1=N-s+1.

Theorem 17.1 — Exact Separable Square Capacity Field

對:

x=(i,j),x=(i,j),

有:

Ψ□,N(i,j)=nN,s(i)nN,s(j)(N−s+1)2.\boxed{ \Psi_{\square,N}(i,j) = \frac{ n_{N,s}(i) n_{N,s}(j) }{ (N-s+1)^2 }. }

Proof

一個 translated square 包含 cell:

(i,j)(i,j)

當且僅當:

  • horizontal anchor 包含 ii ;
  • vertical anchor 包含 jj。

兩方向 anchor choices 獨立。

所以包含 (i,j)(i,j) 的 placements 數為:

nN,s(i)nN,s(j).n_{N,s}(i)n_{N,s}(j).

除以全部:

(N−s+1)2(N-s+1)^2

個 placements 即得。證畢。


18. Continuum Square Capacity Field

固定 physical side:

0<a<1,0<a<1,

令:

sN=aN∈N.s_N=aN\in\mathbb N.

對 physical point:

x∈[0,1],x\in[0,1],

定義 one-dimensional admissible anchor-length:

ℓa(x)=max⁡(0,min⁡(x,1−a)−max⁡(0,x−a)).\boxed{ \ell_a(x) = \max \left( 0, \min(x,1-a) - \max(0,x-a) \right). }

它表示所有:

t∈[0,1−a]t\in[0,1-a]

中使:

x∈[t,t+a]x\in[t,t+a]

成立的 start-position measure。

對:

a≤12,a\le\frac12,

可簡化為:

ℓa(x)=min⁡(x,a,1−x).\ell_a(x) = \min(x,a,1-x).

定義 continuum placement field:

Ψ□,a∞(x,y)=ℓa(x)ℓa(y)(1−a)2.\boxed{ \Psi_{\square,a}^{\infty}(x,y) = \frac{ \ell_a(x)\ell_a(y) }{ (1-a)^2 }. }

19. Square Capacity Continuum Limit

令 discrete centers:

xi=i+1/2N,yj=j+1/2N.x_i=\frac{i+1/2}{N}, \qquad y_j=\frac{j+1/2}{N}.

Theorem 19.1 — Pointwise Square-Field Convergence

若:

sN=aN∈N,s_N=aN\in\mathbb N,

則對任何 sequences:

xiN→x,yjN→y,x_{i_N}\rightarrow x, \qquad y_{j_N}\rightarrow y,

有:

Ψ□,N(iN,jN)→Ψ□,a∞(x,y).\boxed{ \Psi_{\square,N}(i_N,j_N) \rightarrow \Psi_{\square,a}^{\infty}(x,y). }

Proof

由一維 counting formula:

nN,sN(i)n_{N,s_N}(i)

是 spacing:

1/N1/N

的 legal anchor starts 落在 interval:

[max⁡(0,xi−a)+O(1/N),  min⁡(xi,1−a)+O(1/N)][ \max(0,x_i-a)+O(1/N), \; \min(x_i,1-a)+O(1/N) ]

中的點數。

因此:

nN,sN(iN)N→ℓa(x).\frac{ n_{N,s_N}(i_N) }{ N } \rightarrow \ell_a(x).

同理:

nN,sN(jN)N→ℓa(y).\frac{ n_{N,s_N}(j_N) }{ N } \rightarrow \ell_a(y).

另一方面:

N−sN+1N=1−a+1N→1−a.\frac{ N-s_N+1 }{ N } = 1-a+\frac1N \rightarrow 1-a.

將 Theorem 17.1 分子分母同除:

N2N^2

即可得到:

Ψ□,N→ℓa(x)ℓa(y)(1−a)2.\Psi_{\square,N} \rightarrow \frac{ \ell_a(x)\ell_a(y) }{ (1-a)^2 }.

證畢。


20. Boundary-Induced Placement Asymmetry

若 container 是 infinite translation-homogeneous plane,所有 substrate positions 在平移作用下等價。

但有限:

XNX_N

有 boundary。

因此靠近:

∂XN\partial X_N

的 constituents 可被較少 legal placements 覆蓋。

所以:

ΨP,N\boxed{ \Psi_{P,N} }

同時依賴:

  • probe geometry;
  • orientation family;
  • container boundary;
  • placement action class。

因此它是一個直接的:

O−∂\boxed{ O-\partial }

coupled field。


21. Orientation Mixture

若:

R(P)={r1,…,rm},\mathcal R(P) = \{r_1,\ldots,r_m\},

令 orientation rr 的 legal placement count:

Mr.M_r.

令:

Ψr,N(x)\Psi_{r,N}(x)

為只在 orientation rr layer 中均勻抽 placement 的 coverage field。

Proposition 21.1 — Orientation-Weighted Field

整體 generator family 上均勻抽 generator 時:

ΨP,N(x)=∑r∈R(P)Mr∑sMsΨr,N(x).\boxed{ \Psi_{P,N}(x) = \sum_{r\in\mathcal R(P)} \frac{ M_r }{ \sum_s M_s } \Psi_{r,N}(x). }

Proof

將包含 xx 的 generators 按 orientation layer 分組,再除以 total generator count。證畢。

因此 rotation freedom 直接進入 container field,而不是外加 metadata。


22. Exact Dyadic Refinement for Squares

令 coarse square:

QsNQ_{s_N}

在 resolution:

N.N.

把每個 coarse constituent:

(i,j)(i,j)

展成 fine:

2×22\times2

children:

(2i,2j),(2i+1,2j),(2i,2j+1),(2i+1,2j+1).(2i,2j), (2i+1,2j), (2i,2j+1), (2i+1,2j+1).

記此 operator 為:

E2.E_2.

若:

s2N=2sN,s_{2N}=2s_N,

則:

Theorem 22.1 — Exact Square Support Refinement

E2(QsN)=Qs2N.\boxed{ E_2(Q_{s_N}) = Q_{s_{2N}}. }

Proof

coarse square:

0≤i,j≤sN−1.0\le i,j\le s_N-1.

展開後 fine coordinates 恰覆蓋:

0≤x,y≤2sN−1.0\le x,y\le2s_N-1.

這正是 side:

2sN=s2N2s_N=s_{2N}

的 fine square。證畢。

因此 square 在 dyadic refinement 下沒有 boundary reconstruction error。


23. Disk-Like and Irregular Refinement Evidence

E7 對 independently reconstructed probes 得到:

Shape 32→6432\rightarrow64 Symmetric Difference / Fine KK 64→12864\rightarrow128
disk-like 0.1250000.125000 0.03906250.0390625
square 00 00
irregular star 0.1406250.140625 0.0625000.062500

Jaccard similarity:

disk-like:

0.882353→0.961686,0.882353 \rightarrow 0.961686,

irregular:

0.868613→0.939394.0.868613 \rightarrow 0.939394.

這是 clear cross-resolution evidence,但本文不從兩個 refinement steps 宣稱一般 convergence theorem。


24. Capacity-Field Refinement Evidence

E7 對 fine capacity field 做:

2×22\times2

block averaging,再與 coarse field 比較。

mean absolute errors:

Shape 32→6432\rightarrow64 64→12864\rightarrow128
disk-like 0.002699390.00269939 0.001248490.00124849
square 0.002267720.00226772 0.001180380.00118038
irregular star 0.002366930.00236693 0.001205730.00120573

三者都下降。

對 square,Theorem 19.1 已提供解析 continuum limit。

對 disk-like 與 irregular,本文只稱:

computational convergence evidence.\boxed{ \text{computational convergence evidence}. }

25. 2D Generator Signature

本文提出:

SN(P)=(∣P∣,R(P),GP,N,KP,N,ΨP,N).\boxed{ \mathfrak S_N(P) = \left( |P|, \mathcal R(P), \mathcal G_{P,N}, K_{P,N}, \Psi_{P,N} \right). }

其中:

∣P∣|P|

回答 direct support。

R(P)\mathcal R(P)

回答 orientation structure。

GP,N\mathcal G_{P,N}

回答 placement freedom generators。

KP,NK_{P,N}

回答 pairwise generator overlap relation。

ΨP,N\Psi_{P,N}

回答 container-relative placement participation field。

所以:

shape\boxed{ \text{shape} }

不再只由 boundary contour 或 area 描述。


26. Circle、Square、Irregular 的重新定位

對等 direct support:

∣P1∣=∣P2∣,|P_1|=|P_2|,

可能有:

∣GP1,N∣≠∣GP2,N∣,|\mathcal G_{P_1,N}| \neq |\mathcal G_{P_2,N}|, KP1,N≠KP2,N,K_{P_1,N} \neq K_{P_2,N}, ΨP1,N≠ΨP2,N.\Psi_{P_1,N} \neq \Psi_{P_2,N}.

因此:

Circle / Square / Irregular\boxed{ \text{Circle / Square / Irregular} }

可以被重新理解成:

different 2D generator-complex signatures.\boxed{ \text{different 2D generator-complex signatures}. }

這不取消傳統幾何分類,而是為「shape 對自由度做了什麼」增加一個更 relational 的描述層。


27. 與 Generator Quotient 的關係

Paper 04 的:

Qq=[Hq]≅\mathfrak Q_q = [\mathcal H_q]_{\cong}

處理 fixed finite generator structure。

本文的:

HP,N\mathcal H_{P,N}

是其二維 placement instance。

因此若兩個不同 geometric embeddings:

P1,P2P_1, P_2

誘導:

HP1,N≅HP2,N,\mathcal H_{P_1,N} \cong \mathcal H_{P_2,N},

則對相同 placement query,它們落在同一 Generator Quotient。

但 equal area 並不足以保證此事。

E7 的三個 equal-support probes就是反例。


28. 與 Cross-Resolution System 的關係

Paper 05 建立:

Rα\mathfrak R_\alpha

作為一維 refinement system。

二維情況更自然地需要:

CP=({HP,N}N,{r2N→N},{KP,N},{ΨP,N}).\boxed{ \mathfrak C_P = \left( \{ \mathcal H_{P,N} \}_N, \{ r_{2N\rightarrow N} \}, \{ K_{P,N} \}, \{ \Psi_{P,N} \} \right). }

其中:

  • HP,N\mathcal H_{P,N}:resolution-indexed generator complexes;
  • r2N→Nr_{2N\rightarrow N}:refinement / coarse relation;
  • KP,NK_{P,N}:pairwise relational kernel;
  • ΨP,N\Psi_{P,N}:container field。

本文不宣稱這已經是唯一或最終的 2D continuum object。

但它比單一 finite hypergraph 更適合描述 shape family 的 cross-resolution structure。


29. SOBTA:二維主客邊耦合

對 placement query:

qP,q_P,

可寫:

ΓqP=⟨SqP,P,∂XN⟩.\Gamma_{q_P} = \langle S_{q_P}, P, \partial X_N \rangle.

其中:

SqPS_{q_P}

指定:

  • translation;
  • rotation;
  • resolution;
  • placement legality。

客體:

PP

指定 probe geometry。

邊界:

∂XN\partial X_N

決定 legal anchors。

因此:

ΨP,N\Psi_{P,N}

可視為:

object geometry+container boundary+action semantics\boxed{ \text{object geometry} + \text{container boundary} + \text{action semantics} }

共同誘導的 field。

這與 SOBTA 的 non-reduction 原則一致:field 不屬於單獨任何一域。


30. ACTM:2D Relation Transport

對 refinement:

PN→P2N,P_N \rightarrow P_{2N},

可 audit:

Preserve

direct occupancy:

∣PN∣N2.\frac{|P_N|}{N^2}.

Preserve Exactly for Square

E2(PN)=P2N.E_2(P_N)=P_{2N}.

Reconstruct Boundary for Curved / Irregular Shapes

fine boundary 不必等於 coarse pixel duplication。

Track Pairwise Relations

KP,N→KP.K_{P,N} \rightarrow K_P.

Track Container Field

ΨP,N→ΨP.\Psi_{P,N} \rightarrow \Psi_P.

因此 ACTM-style relation transport在二維中不再只追蹤 scalar,而追蹤整套:

SN(P).\boxed{ \mathfrak S_N(P). }

31. 可證偽性與限制

F1 — Placement Count Failure

若 Theorem 6.1 在本文 rigid translation / discrete rotation assumptions 下失敗,2D generator construction 有誤。

F2 — Minimality Failure

若 distinct equal-cardinality rigid placements 可以真包含彼此,Theorem 5.1 失效。

F3 — Square Kernel Failure

若 exact square covariogram不符合 Theorem 12.1,pairwise generator relation計算錯誤。

F4 — Field-Mass Failure

若:

∑xΨP,N(x)≠∣P∣,\sum_x\Psi_{P,N}(x)\neq|P|,

Theorem 15.1 失效。

F5 — Curved-Boundary Overreach

disk-like / irregular 的兩個 refinement steps不是一般 continuum proof。

F6 — Rotation Restriction

本文只處理:

90∘90^\circ

discrete rotations。

任意角度:

SO(2)SO(2)

會引入 interpolation / digitalization / continuous configuration-space問題。

F7 — Container Restriction

本文主要使用無內部障礙的 square outer container。

一般 nonconvex container 會改變 generator placement family與 capacity field。


32. Series-Level Conclusion

到 Paper 06,本系列六篇主文完成一條完整鏈:

Geometric Measure→Freedom Occupancy→Freedom Transport→Cooperative Generators→Generator Quotient→Cross-Resolution Limit→2D Generator Geometry.\boxed{ \begin{aligned} \text{Geometric Measure} &\rightarrow \text{Freedom Occupancy}\\ &\rightarrow \text{Freedom Transport}\\ &\rightarrow \text{Cooperative Generators}\\ &\rightarrow \text{Generator Quotient}\\ &\rightarrow \text{Cross-Resolution Limit}\\ &\rightarrow \text{2D Generator Geometry}. \end{aligned} }

本文最後回到最初問題:

圓、方、不規則圖形到底在空間中「佔據」了什麼?

答案不再只有:

μ(P).\mu(P).

更完整的回答至少包括:

SN(P)=(∣P∣,R(P),GP,N,KP,N,ΨP,N).\boxed{ \mathfrak S_N(P) = \left( |P|, \mathcal R(P), \mathcal G_{P,N}, K_{P,N}, \Psi_{P,N} \right). }

一句話總結:

A two-dimensional shape occupies not only area, but a structured family of admissible placements, overlaps, orientations, and boundary-mediated participation fields.\boxed{ \textbf{A two-dimensional shape occupies not only area, but a structured family of admissible placements, overlaps, orientations, and boundary-mediated participation fields.} }

中文:

一個二維形狀不只佔據面積;它同時佔據一組具有結構的合法位置、重疊關係、方向自由與邊界耦合參與場。


Appendix A. 核心公式

2D generator complex:

HP,N=(XN,GP,N).\mathcal H_{P,N} = (X_N,\mathcal G_{P,N}).

Generator count:

∣GP,N∣=∑r(N−wr+1)(N−hr+1).|\mathcal G_{P,N}| = \sum_r (N-w_r+1)(N-h_r+1).

Covariogram:

ΓP(Δ)=∣P∩(P+Δ)∣.\Gamma_P(\Delta) = |P\cap(P+\Delta)|.

Normalized kernel:

KP,N(Δ)=ΓP(Δ)N2.K_{P,N}(\Delta) = \frac{\Gamma_P(\Delta)}{N^2}.

Square kernel:

K□,N=max⁡(0,a−∣δx∣)max⁡(0,a−∣δy∣).K_{\square,N} = \max(0,a-|\delta_x|) \max(0,a-|\delta_y|).

Placement Capacity Field:

ΨP,N(x)=#{G:x∈G}∣GP,N∣.\Psi_{P,N}(x) = \frac{ \#\{G:x\in G\} }{ |\mathcal G_{P,N}| }.

Field mass:

∑xΨP,N(x)=∣P∣.\sum_x\Psi_{P,N}(x) = |P|.

Square field:

Ψ□,N(i,j)=nN,s(i)nN,s(j)(N−s+1)2.\Psi_{\square,N}(i,j) = \frac{ n_{N,s}(i)n_{N,s}(j) }{ (N-s+1)^2 }.

Appendix B. Formal Status

解析定理:

  • Theorem 5.1;
  • Theorem 6.1;
  • Proposition 10.1;
  • Proposition 11.1;
  • Theorem 12.1;
  • Corollary 12.2;
  • Theorem 15.1;
  • Theorem 17.1;
  • Theorem 19.1;
  • Proposition 21.1;
  • Theorem 22.1。

Exact finite construction / computational evidence:

  • N=64N=64 disk / square / irregular equal-support generator counts;
  • N=128N=128 covariogram comparison;
  • disk / irregular dyadic boundary discrepancy;
  • placement-capacity field refinement errors。

尚未宣稱:

  • arbitrary-angle rotation theorem;
  • general curved-boundary convergence theorem;
  • general nonconvex-container theorem;
  • uniqueness of SN\mathfrak S_N as a shape invariant;
  • physical spacetime ontology。