# 第一個解之後：Perfect Cuboid 的算術自由度

## After the First Solution: Arithmetic Freedom of the Perfect Cuboid

**系列：完美長方體的全域閉合理論（Global Closure Theory of the Perfect Cuboid）**  
**篇次：07 / 08**  
**狀態：研究前導稿 / Phase 0 — Conceptual Closure**  
**日期：2026-09-28**

---

## 摘要

前六篇已完成 Perfect Cuboid 的重新表述、連續 shape space、共同初態與約束誘導分化、Radix–Carry Global Closure、浮點到精確有理閉合，以及第一 primitive manifestation 的形式化。本文進入第二階段：假設至少一個 canonical primitive Perfect Cuboid 已經存在，接下來真正要研究的，不是它的整數倍，而是不同 primitive shape 之間是否存在非平凡的算術自由度。

若：

$$
P=(a,b,c,d,e,f,g)
$$

是一個 primitive solution，則：

$$
kP
$$

對所有：

$$
k\in\mathbb Z_{>0}
$$

都仍是整數解。這種無限性只來自尺度作用，本文稱為：

$$
\boxed{
\text{scaling infinity}
}
$$

而真正重要的是：

$$
\boxed{
\text{shape infinity}
}
$$

也就是 canonical primitive solution space：

$$
\mathcal P_{\mathrm{can}}
$$

是否包含：

- 單一點；
- 有限多點；
- 無限離散點；
- 一參數有理解族；
- 二參數有理解族；
- 或其他更複雜的算術結構。

本文定義 arithmetic freedom 的多層概念，包括 set-theoretic freedom、parametric freedom、transformational freedom、growth freedom 與 local deformation freedom。幾何上，在移除尺度後，Perfect Cuboid 的正實數 shape world 具有兩個連續自由度，因此「2」可視為自然的幾何上界；但 arithmetic freedom 並不自動等於幾何維度。有理點可能非常稀疏，甚至即使存在第一個 primitive shape，也不保證存在第二個。

本文因此建立三個核心問題：

$$
\boxed{
\text{Multiplicity}
}
$$

$$
\boxed{
\text{Generation}
}
$$

$$
\boxed{
\text{Growth}
}
$$

Multiplicity 問 primitive shapes 有多少；Generation 問是否存在非尺度型 solution-preserving transformation：

$$
\mathcal T(P)\not\sim P
$$

但：

$$
F(P)=0
\Rightarrow
F(\mathcal T(P))=0;
$$

Growth 則研究：

$$
N(H)
=
\#\{P\in\mathcal P_{\mathrm{can}}:g(P)\le H\}
$$

如何隨：

$$
H\rightarrow\infty
$$

演化。

本文亦提出 seed-expansion graph、orbit decomposition、family rank、arithmetic branching factor 與 candidate growth dimension 等量，作為若第一個解被發現後立即可以啟動的第二階段研究框架。

---

## 1. 第一個解不是結束，而是研究對象改變

假設我們已經得到一個 exact canonical primitive solution：

$$
P_1
=
(a_1,b_1,c_1,d_1,e_1,f_1,g_1).
$$

它滿足：

$$
F(P_1)=0,
$$

$$
\gcd(a_1,b_1,c_1)=1,
$$

以及：

$$
a_1<b_1<c_1.
$$

那麼 Perfect Cuboid existence question 已經結束：

$$
\boxed{
\exists P\in\mathcal P_{\mathrm{can}}.
}
$$

接下來的問題不應再只是：

> 能不能找到另一個整數倍？

因為：

$$
2P_1,3P_1,4P_1,\ldots
$$

沒有提供新的 shape。

真正的問題變成：

> 是否存在：

$$
P_2\in\mathcal P_{\mathrm{can}}
$$

使：

$$
P_2\neq P_1?
$$

---

## 2. Scaling infinity 與 shape infinity

若存在：

$$
P_1,
$$

則：

$$
\{kP_1:k\in\mathbb Z_{>0}\}
$$

已經是無限集合。

所以 raw integer solution set：

$$
\mathcal I
=
\{X\in\mathbb Z_{>0}^{7}:F(X)=0\}
$$

一旦非空，

就必然無限。

因此：

$$
|\mathcal I|=\infty
$$

幾乎沒有描述 primitive diversity。

本文將兩種無限性嚴格區分。

### 2.1 Scaling infinity

同一 primitive shape 的無限整數倍：

$$
P,
2P,
3P,
\ldots
$$

### 2.2 Shape infinity

存在無限多彼此不等價 primitive shapes：

$$
P_1,P_2,P_3,\ldots
$$

其中：

$$
P_i\not\sim P_j
$$

對：

$$
i\neq j.
$$

因此：

$$
\boxed{
\text{scaling infinity}
\neq
\text{shape infinity}.
}
$$

---

## 3. Canonical primitive solution space

沿用第 6 篇：

$$
\mathcal P_{\mathrm{can}}
=
\left\{
P\in\mathbb Z_{>0}^{7}
:
F(P)=0,
\;
\gcd(a,b,c)=1,
\;
a<b<c
\right\}.
$$

真正的第二階段研究就是：

$$
\boxed{
\text{understand }\mathcal P_{\mathrm{can}}.
}
$$

第一個問題是最基本的 cardinality：

$$
|\mathcal P_{\mathrm{can}}|
\in
\{0,1,2,\ldots,\infty\}.
$$

若第 6 篇的 existence 假說成立，

則：

$$
|\mathcal P_{\mathrm{can}}|\ge1.
$$

但：

$$
|\mathcal P_{\mathrm{can}}|=1
$$

仍然完全可能。

---

## 4. 第一層 arithmetic freedom：Multiplicity

定義：

$$
M
=
|\mathcal P_{\mathrm{can}}|.
$$

則可分：

### M0

$$
M=0.
$$

不存在 Perfect Cuboid。

### M1

$$
M=1.
$$

存在唯一 primitive shape。

### MF

$$
1<M<\infty.
$$

存在有限多 primitive shapes。

### M∞

$$
M=\infty.
$$

存在無限多 primitive shapes。

這只是集合論層級。

它還沒有回答：

> 無限多 shapes 是不是有規律？

---

## 5. 第二層 arithmetic freedom：Parametric freedom

假設：

$$
\mathcal P_{\mathrm{can}}
$$

無限。

還要問是否存在 rational parameterization。

例如是否存在：

$$
P(t),
\qquad
t\in\mathbb Q
$$

使：

$$
P(t)\in\mathcal P_{\mathrm{can}}
$$

對無限多：

$$
t.
$$

如果有，

可以稱其具有至少一維 parametric freedom。

更強地，

是否存在：

$$
P(s,t),
\qquad
s,t\in\mathbb Q
$$

形成二參數族？

這會接近連續 shape world 的幾何自由度上界。

---

## 6. 幾何自由度與算術自由度

第 2 篇已知：

$$
\mathcal S_{\mathbb R}
$$

在移除尺度後具有：

$$
2
$$

個連續自由度。

也就是：

$$
\dim_{\mathbb R}\mathcal S_{\mathbb R}=2.
$$

但 Perfect Cuboid 需要：

$$
\mathcal S_{\mathbb Q}
$$

中的特殊有理點。

所以：

$$
\boxed{
\text{geometric freedom}=2
}
$$

不能推出：

$$
\boxed{
\text{arithmetic freedom}=2.
}
$$

真正可能出現：

$$
0,
1,
2
$$

甚至某種不能簡單用單一維數描述的離散情況。

---

## 7. Arithmetic freedom 的初步分級

本文暫定：

### AF-0：Isolated arithmetic points

primitive shapes 至多形成離散點集，

沒有已知非平凡 rational family。

### AF-1：One-parameter arithmetic family

存在：

$$
P(t)
$$

生成無限多 inequivalent primitive shapes。

### AF-2：Two-parameter arithmetic family

存在：

$$
P(s,t)
$$

生成二維有理族。

這個分級是研究性語言，

不是代數幾何正式維數的替代。

它描述的是：

$$
\boxed{
\text{可生成的算術自由度}
}
$$

而不是單純 underlying variety dimension。

---

## 8. 第三層 arithmetic freedom：Transformational freedom

即使沒有顯式參數化，

也可能存在 solution-preserving transformation：

$$
\mathcal T:
\mathcal P_{\mathrm{can}}
\rightarrow
\mathcal P_{\mathrm{can}}.
$$

理想上：

$$
F(P)=0
\Rightarrow
F(\mathcal T(P))=0.
$$

如果：

$$
\mathcal T(P)\not\sim P
$$

對某些：

$$
P,
$$

那麼：

$$
\mathcal T
$$

產生新的 primitive shape。

如果還能迭代：

$$
P,
\mathcal T(P),
\mathcal T^2(P),
\ldots
$$

並得到無限多不同 primitive shapes，

則 shape infinity 立即成立。

---

## 9. 解保持 transformation 的三個等級

### T0：Trivial scaling map

$$
\mathcal T_k(P)=kP.
$$

這不改變 shape，

所以不算真正 arithmetic freedom。

### T1：Permutation map

交換：

$$
a,b,c
$$

的標籤。

canonicalization 後回到同一 shape，

所以也不算新的 primitive solution。

### T2：Nontrivial shape transformation

要求：

$$
\operatorname{Can}(\mathcal T(P))
\neq
P.
$$

這才是真正有意義的 solution-preserving transformation。

---

## 10. Seed-expansion 問題

第一個 primitive solution：

$$
P_1
$$

可以被視為 arithmetic seed。

真正要問：

$$
\boxed{
\text{Can }P_1\text{ generate }P_2?
}
$$

若存在：

$$
\mathcal T_1,\ldots,\mathcal T_k,
$$

可形成：

$$
P_1
\rightarrow
\mathcal T_i(P_1)
\rightarrow
\mathcal T_j\mathcal T_i(P_1)
\rightarrow\cdots.
$$

這形成一個：

$$
\boxed{
\text{seed-expansion graph}.
}
$$

---

## 11. Solution graph

定義圖：

$$
G_{\mathrm{sol}}
=
(V,E).
$$

其中：

$$
V=\mathcal P_{\mathrm{can}}.
$$

若存在某個允許 transformation：

$$
\mathcal T
$$

使：

$$
Q=\operatorname{Can}(\mathcal T(P)),
$$

則加入 edge：

$$
P\rightarrow Q.
$$

如果 transformation 可逆，

可視為 undirected edge。

這個圖可以研究：

- connected components；
- orbit；
- branching；
- cycles；
- isolated vertices；
- growth rate。

---

## 12. Orbit decomposition

給定 transformation semigroup：

$$
\Gamma=
\langle
\mathcal T_1,\ldots,\mathcal T_k
\rangle,
$$

對：

$$
P
$$

定義 orbit：

$$
\operatorname{Orb}_\Gamma(P)
=
\{\gamma(P):\gamma\in\Gamma\}.
$$

可能：

$$
|\operatorname{Orb}_\Gamma(P)|=1,
$$

也可能有限，

也可能無限。

如果：

$$
|\operatorname{Orb}_\Gamma(P)|=\infty,
$$

則立即得到無限多 primitive shapes。

---

## 13. Arithmetic component

如果：

$$
G_{\mathrm{sol}}
$$

不是連通，

則可能存在多個 arithmetic families：

$$
\mathcal C_1,
\mathcal C_2,\ldots.
$$

第一個解：

$$
P_1
$$

可能只位於其中一個 component。

所以：

$$
\boxed{
\text{one seed}
}
$$

不保證能生成所有解。

這意味著即使找到一個很漂亮的 recurrence，

也不能立刻宣稱「所有 Perfect Cuboid 都由此生成」。

---

## 14. Family completeness

如果提出 parameterization：

$$
P(t),
$$

需要區分：

### Family-valid

每個合法：

$$
t
$$

都給出 solution。

### Family-infinite

給出無限多 inequivalent primitive solutions。

### Family-complete

每一個 canonical primitive solution 都能由某個：

$$
t
$$

產生。

第三個條件最強，

也最難。

因此：

$$
\boxed{
\text{parametric family}
\neq
\text{complete classification}.
}
$$

---

## 15. Local deformation freedom

假設：

$$
P
$$

對應 normalized rational shape：

$$
Q\in\mathcal S_{\mathbb Q}.
$$

在 real shape space 中，

總存在局部二維 deformation：

$$
Q+\delta.
$$

但絕大多數：

$$
\delta
$$

不會保持 rational square conditions。

所以可以定義：

> 在某個 rational solution 附近，是否存在一條非平凡 rational path 完全留在 solution set？

如果有：

$$
Q(t)
$$

且：

$$
Q(0)=Q,
$$

並且對無限多：

$$
t\in\mathbb Q
$$

有：

$$
Q(t)\in\mathcal S_{\mathbb Q},
$$

那就表示：

$$
Q
$$

不是 arithmetic isolated point。

---

## 16. Arithmetic tangent 的研究性定義

若存在 rationally parameterized path：

$$
Q(t),
$$

可考慮：

$$
V=
\left.
\frac{dQ}{dt}
\right|_{t=0}.
$$

則：

$$
V
$$

是 underlying real tangent direction。

但：

$$
V
$$

存在並不足以證明附近有 rational solutions。

所以本文把：

$$
\boxed{
\text{arithmetic tangent}
}
$$

作為研究性概念：

> 一個不只在線性化 real constraints 下合法，而且可以被真正 rational solution sequence 實現的方向。

這需要用：

$$
Q_n\in\mathcal S_{\mathbb Q}
$$

且：

$$
Q_n\rightarrow Q
$$

來驗證。

---

## 17. Isolated rational point 的可能性

即使 real solution surface 二維，

某個 rational Perfect Cuboid shape 仍可能在 arithmetic sense 上孤立。

也就是存在鄰域：

$$
U(Q)
$$

使：

$$
U(Q)\cap\mathcal S_{\mathbb Q}
=
\{Q\}.
$$

在 ordinary Euclidean topology 下，

若：

$$
\mathcal S_{\mathbb Q}
$$

本身稠密則不會如此；

但 Perfect Cuboid 的 rational-square subconditions 可能使 relevant arithmetic set 非常稀疏。

所以第一個 solution 是否孤立，是找到後立即應測的問題。

---

## 18. Neighborhood mining

如果找到：

$$
Q_1,
$$

可在其附近建立 rational neighborhood：

$$
\mathcal N_H(Q_1)
=
\left\{
Q\in\mathbb Q^2:
\operatorname{height}(Q)\le H,
\;
\|Q-Q_1\|<\varepsilon
\right\}.
$$

然後 exact 檢查哪些：

$$
Q
$$

仍滿足 Perfect Cuboid constraints。

如果發現：

$$
Q_2,Q_3,\ldots
$$

形成明顯趨勢，

可嘗試 reconstruct：

- rational curve；
- recurrence；
- Möbius map；
- elliptic-like group law；
- other algebraic transformation。

---

## 19. Transformation discovery by pair matching

假設已經找到多個 primitive solutions：

$$
P_1,\ldots,P_n.
$$

可以觀察它們的 normalized ratios：

$$
r_i=\frac{b_i}{a_i},
$$

$$
s_i=\frac{c_i}{a_i}.
$$

尋找：

$$
(r_i,s_i)
\mapsto
(r_j,s_j)
$$

是否具有低複雜度 rational relation。

例如：

$$
r_j=
\frac{\alpha r_i+\beta}{\gamma r_i+\delta},
$$

或：

$$
s_j=
R(r_i,s_i)
$$

其中：

$$
R
$$

為低次有理函數。

若多對 solution 同時支持同一 map，

才值得提升為 conjectured transformation。

---

## 20. Solution-preserving map 的正式要求

若提出：

$$
\mathcal T,
$$

要升級為 theorem，

必須證明：

$$
\forall P\in D,
$$

若：

$$
F(P)=0,
$$

則：

$$
F(\mathcal T(P))=0.
$$

其中：

$$
D
$$

為明確 domain。

並且若主張產生 primitive 新 shape，

還需處理：

$$
\gcd,
$$

$$
S_3
$$

canonicalization，

以及：

$$
\mathcal T(P)\not\sim P.
$$

---

## 21. Transformation 的不變量

任何真正 solution-preserving transformation 可能保留或系統性改變某些量。

例如：

$$
I(P)
$$

若滿足：

$$
I(\mathcal T(P))=I(P),
$$

就是 orbit invariant。

可能研究：

- parity profile；
- prime-support class；
- valuation pattern；
- normalized ratios；
- residue signatures；
- radix carry signatures；
- denominator type。

這些 invariant 可以幫助理解：

$$
G_{\mathrm{sol}}
$$

為什麼可能分裂成多個 components。

---

## 22. Primitive-preserving transformation

如果：

$$
\mathcal T(P)
$$

先產生非 primitive solution，

再 primitive reduction：

$$
\operatorname{Prim}(\mathcal T(P))
$$

仍可能是新 shape。

所以真正應研究的是：

$$
\boxed{
\widetilde{\mathcal T}
=
\operatorname{Can}
\circ
\operatorname{Prim}
\circ
\mathcal T.
}
$$

只要：

$$
\widetilde{\mathcal T}(P)\neq P,
$$

就產生新 canonical primitive shape。

---

## 23. 第四層 arithmetic freedom：Branching freedom

如果一個 seed：

$$
P
$$

有多個不同 transformation：

$$
\mathcal T_1(P),
\ldots,
\mathcal T_k(P),
$$

可產生多個不同 child shapes，

則有 branching。

定義局部 branching factor：

$$
b(P)
=
\#\left\{
\widetilde{\mathcal T}_i(P)
:
\widetilde{\mathcal T}_i(P)\neq P
\right\}.
$$

如果平均：

$$
b(P)>1,
$$

solution graph 可能快速展開。

如果：

$$
b(P)=1,
$$

則更接近 chain-like family。

---

## 24. Arithmetic tree

若 transformation 主要是 forward-generating，

可以形成：

$$
T_{\mathrm{arith}}.
$$

root：

$$
P_1.
$$

children：

$$
P_{1,1},
P_{1,2},
\ldots
$$

下一層：

$$
P_{2,1},
P_{2,2},
\ldots
$$

此時研究：

$$
N_{\mathrm{depth}}(n)
$$

表示深度：

$$
n
$$

內可生成多少 inequivalent primitive shapes。

這是另一種 freedom measure。

---

## 25. Height growth along an orbit

假設：

$$
P_{n+1}
=
\widetilde{\mathcal T}(P_n).
$$

研究：

$$
g_n=g(P_n).
$$

可能：

$$
g_{n+1}\sim Cg_n,
$$

或：

$$
g_{n+1}\sim g_n^\alpha,
$$

或：

$$
\log g_n\sim cn.
$$

這決定某個 family 在高度空間中的稀疏程度。

即使 orbit 無限，

如果：

$$
g_n
$$

增長極快，

則在有限：

$$
H
$$

內仍可能只看到很少解。

---

## 26. Counting function

定義：

$$
N(H)
=
\#\left\{
P\in\mathcal P_{\mathrm{can}}
:
g(P)\le H
\right\}.
$$

這是整個第二階段最重要的全域量之一。

若：

$$
|\mathcal P_{\mathrm{can}}|<\infty,
$$

則：

$$
N(H)
$$

最終穩定。

若：

$$
|\mathcal P_{\mathrm{can}}|=\infty,
$$

則：

$$
N(H)\rightarrow\infty.
$$

但增長速度可以非常不同。

---

## 27. 幾種可能的 growth regimes

### Finite

$$
N(H)=O(1).
$$

### Logarithmic

$$
N(H)\sim C\log H.
$$

### Polylogarithmic

$$
N(H)\sim C(\log H)^k.
$$

### Power-law

$$
N(H)\sim CH^\alpha.
$$

### Sub-power irregular

$$
N(H)\rightarrow\infty
$$

但比任何：

$$
H^\varepsilon
$$

都慢。

目前沒有理由預設哪一種一定成立。

---

## 28. Growth freedom

定義研究性量：

$$
D_g
=
\limsup_{H\rightarrow\infty}
\frac{\log N(H)}{\log H}.
$$

如果：

$$
N(H)\sim CH^\alpha,
$$

則：

$$
D_g=\alpha.
$$

若：

$$
N(H)\sim C\log H,
$$

則：

$$
D_g=0.
$$

所以：

$$
D_g=0
$$

不代表只有有限多解。

它只表示 growth 比任何正 power 慢。

因此需要同時保存：

$$
M
$$

與：

$$
D_g.
$$

---

## 29. Parametric freedom 與 growth freedom 不同

即使存在一參數 family：

$$
P(t),
$$

其 primitive height：

$$
g(P(t))
$$

可能極快增長。

所以：

$$
\boxed{
\text{parametric dimension}
\neq
\text{height growth exponent}.
}
$$

相反地，

多個不同 families 疊加也可能讓：

$$
N(H)
$$

增長更快。

因此 arithmetic freedom 至少需要多維描述。

---

## 30. Arithmetic freedom vector

本文提出一個研究性摘要：

$$
\mathfrak F_{\mathrm{arith}}
=
(M,D_{\mathrm{par}},D_g,B_{\mathrm{avg}},C_{\mathrm{orb}}).
$$

其中：

- $$M$$：primitive multiplicity；
- $$D_{\mathrm{par}}$$：最大已知 parametric freedom；
- $$D_g$$：height growth freedom；
- $$B_{\mathrm{avg}}$$：平均 branching indicator；
- $$C_{\mathrm{orb}}$$：orbit/component structure。

這不是單一 scalar。

因為「自由度」本身可能有不同面向。

---

## 31. 一個 solution 之後最先該做什麼？

如果：

$$
P_1
$$

真的出現，

本文建議立即做四組實驗。

### Experiment A：Local rational neighborhood

在：

$$
[P_1]
$$

附近找其他 exact rational shapes。

### Experiment B：Low-complexity transformation search

尋找：

$$
P_1\mapsto P_2
$$

的低次 rational map。

### Experiment C：Height-shell mining

向：

$$
g>g_1
$$

擴展，

尋找第二、第三個 primitive solution。

### Experiment D：Invariant profiling

建立：

$$
P_1
$$

的 prime、valuation、radix、carry、ratio signature。

這四者可以平行進行。

---

## 32. 第二個解的價值非常高

第一個解只告訴：

$$
M\ge1.
$$

第二個 inequivalent primitive 解：

$$
P_2
$$

一出現，

立刻得到：

$$
M\ge2.
$$

更重要的是第一次能研究：

$$
P_1\leftrightarrow P_2
$$

之間的差異。

沒有第二個點，

很難猜 family。

有兩個點，

可以開始找：

- common parameter；
- shared invariant；
- transformation；
- denominator relation。

但兩點仍不足以證明規律。

---

## 33. 第三、第四個解開始提供結構辨識

若得到：

$$
P_1,P_2,P_3,P_4,
$$

可以開始檢查：

$$
P_{n+1}=\mathcal T(P_n)
$$

是否有一致 recurrence。

也可以看：

$$
(r_n,s_n)
$$

是否落在某條低次代數曲線。

如果：

$$
R(r_n,s_n)=0
$$

對多個解都成立，

可將：

$$
R=0
$$

視為 candidate family relation。

---

## 34. Family discovery 與 overfitting

任意有限多點都可以被某個高次多項式穿過。

所以：

$$
R(P_i)=0
$$

對少量資料成立，

不能直接視為 family theorem。

應加入 complexity penalty：

- degree 低；
- coefficient height 低；
- cross-validation；
- 新解預測；
- exact proof。

只有當 relation 能：

$$
\boxed{
\text{predict unseen exact solutions}
}
$$

才真正有結構價值。

---

## 35. Transformation discovery 的驗證流程

若從：

$$
P_1,P_2,\ldots
$$

猜到：

$$
\mathcal T,
$$

正式流程：

1. symbolic derive：
   $$
   F(\mathcal T(P));
   $$
2. 使用：
   $$
   F(P)=0
   $$
   化簡；
3. 證明：
   $$
   F(\mathcal T(P))=0;
   $$
4. 分析 denominator；
5. primitive reduction；
6. canonicalization；
7. 證明非平凡性；
8. 研究迭代是否無限。

---

## 36. Nontriviality gate

定義：

$$
\operatorname{NTG}(\mathcal T,P)=\mathrm{PASS}
$$

當且僅當：

$$
\operatorname{Can}
\circ
\operatorname{Prim}
(\mathcal T(P))
\neq P.
$$

如果：

$$
\operatorname{NTG}=\mathrm{FAIL},
$$

則 transformation 只是：

- scaling；
- permutation；
- 或其他 canonical-equivalent operation。

---

## 37. Infinite-orbit gate

即使：

$$
\mathcal T(P)\neq P,
$$

也可能：

$$
\mathcal T^2(P)=P.
$$

形成二週期。

所以要證明無限 shape family，

還需：

$$
\mathcal T^m(P)\neq\mathcal T^n(P)
$$

對所有：

$$
m\neq n.
$$

可以透過某個單調 invariant：

$$
H(\mathcal T(P))>H(P)
$$

來證明。

例如若：

$$
g(\mathcal T(P))>g(P)
$$

對所有：

$$
P
$$

成立，

則 orbit 不可能週期。

---

## 38. Monotone height transformation

如果找到：

$$
\mathcal T
$$

使：

$$
g(\mathcal T(P))>g(P),
$$

且永遠保持 exact primitive shape，

則從任一 seed：

$$
P_0
$$

可得到：

$$
g_0<g_1<g_2<\cdots.
$$

因此所有：

$$
P_n
$$

互異。

立即推出：

$$
\boxed{
|\mathcal P_{\mathrm{can}}|=\infty.
}
$$

這會是非常強的第二階段結果。

---

## 39. 反方向 transformation

若：

$$
\mathcal T
$$

可逆，

而逆映射：

$$
\mathcal T^{-1}
$$

降低 height，

則每個 orbit 可能存在一個最小 seed：

$$
P_{\min}^{\mathrm{orbit}}.
$$

這讓 solution space 分解為：

$$
\boxed{
\text{minimal seeds}
+
\text{forward expansions}.
}
$$

這會非常接近世界生成模型中的 seed-world 觀點。

---

## 40. Orbit seed

定義：

$$
P
$$

是 orbit seed，

若不存在：

$$
Q
$$

使：

$$
\widetilde{\mathcal T}(Q)=P
$$

且：

$$
g(Q)<g(P).
$$

每個 component 可能有：

- 一個 seed；
- 多個 seeds；
- 無最小 seed；
- cycle。

如果 transformation 有 height monotonicity，

通常可得到最小 seed。

---

## 41. 多 transformation 的 semigroup

如果找到：

$$
\mathcal T_1,\mathcal T_2,
$$

它們可以非交換：

$$
\mathcal T_1\mathcal T_2(P)
\neq
\mathcal T_2\mathcal T_1(P).
$$

此時 solution generation 不再是單一路徑，

而是一個 semigroup action。

其 complexity 可能遠大於一參數 recurrence。

這可能產生：

$$
\boxed{
\text{branching arithmetic world}.
}
$$

---

## 42. 自由度上界的第一層來源

由 normalized real shape：

$$
(x,y,z)
$$

滿足：

$$
x^2+y^2+z^2=1,
$$

只有兩個連續自由度。

因此若存在 smooth/rational family，

一般不應期待超過：

$$
2
$$

個獨立連續參數。

所以：

$$
\boxed{
D_{\mathrm{par}}\le2
}
$$

可視為自然幾何上界。

但 discrete branching complexity 可以超過「二參數」直覺，

因為離散圖結構不等於連續維數。

---

## 43. $D_{\mathrm{par}}=0$ 仍可能有無限多解

例如：

$$
\mathcal P_{\mathrm{can}}
$$

可能是一個無限離散集合，

卻沒有單一有理參數族覆蓋它。

此時可以有：

$$
M=\infty,
$$

但：

$$
D_{\mathrm{par}}=0
$$

在我們的 operational 定義下。

所以：

$$
\boxed{
\text{infinite}
\neq
\text{positive parametric freedom}.
}
$$

---

## 44. $D_{\mathrm{par}}=1$ 也不保證單一 family 完成全部解

可能存在：

$$
\mathcal F_1,
\mathcal F_2,\ldots
$$

很多一參數 families。

每一個 family 都是一維，

但 union 可能有複雜 component structure。

所以要另外記錄：

$$
C_{\mathrm{fam}}
=
\text{number of detected families}.
$$

---

## 45. Primitive family

定義一個 primitive family：

$$
\mathcal F
=
\{P(t):t\in D\subseteq\mathbb Q\}
$$

需要：

1. $$P(t)$$ exact 滿足 Perfect Cuboid；
2. primitive reduction 後非空；
3. 對無限多 $$t$$ 給出 distinct canonical shapes。

如果只有：

$$
P(t)=k(t)P_0,
$$

則不是 primitive family，

只是 scaling family。

---

## 46. Family normalization

為避免 scaling 混入，

最好在：

$$
g=1
$$

shape world 中定義：

$$
Q(t).
$$

要求：

$$
g(Q(t))=1.
$$

然後：

$$
Q(t)\in\mathcal S_{\mathbb Q}.
$$

這樣任何：

$$
t
$$

變化都必然是 shape change，

不是 scale change。

---

## 47. Family rank

如果 family：

$$
Q(t)
$$

可由一個自由 rational parameter 控制，

定義 rank：

$$
r_{\mathrm{fam}}=1.
$$

若：

$$
Q(s,t),
$$

則：

$$
r_{\mathrm{fam}}=2.
$$

若參數之間有 algebraic dependence，

實際 rank 應扣除依賴。

所以 family rank 是：

$$
\boxed{
\text{independent rational parameter count}.
}
$$

---

## 48. Constraint rank 與 family rank

原始 normalized real world：

$$
x^2+y^2+z^2=1
$$

是二維。

再加三個 rational-square conditions，

不是普通連續等式，

而是 arithmetic conditions。

所以不能直接用：

$$
2-3=-1
$$

之類 dimension counting。

這是 arithmetic freedom 難以從幾何自由度直接預測的原因。

---

## 49. Rational-square conditions 的重新引入

對：

$$
g=1
$$

normalized shape：

$$
x,y,z,
$$

要求存在：

$$
u,v,w\in\mathbb Q
$$

使：

$$
x^2+y^2=u^2,
$$

$$
x^2+z^2=v^2,
$$

$$
y^2+z^2=w^2.
$$

因此若要找 family，

可以直接求 rational map：

$$
t
\mapsto
(x(t),y(t),z(t),u(t),v(t),w(t))
$$

滿足四條 polynomial identities。

這比從 primitive integers 開始可能更容易暴露參數自由度。

---

## 50. Family search 可以從第一解附近開始

如果：

$$
Q_1
$$

存在，

令：

$$
x=x_1+\Delta x,
$$

$$
y=y_1+\Delta y,
$$

$$
z=z_1+\Delta z.
$$

再要求：

$$
F(Q_1+\Delta)=0.
$$

在 real level 可做 tangent analysis。

接著再問：

$$
\Delta
$$

能否用 rational parameter：

$$
t
$$

表達。

這是一種：

$$
\boxed{
\text{local-to-family lifting}.
}
$$

---

## 51. Jacobian 在第二階段的角色

對 full normalized system：

$$
G(x,y,z,u,v,w)
=
\begin{pmatrix}
x^2+y^2-u^2\\
x^2+z^2-v^2\\
y^2+z^2-w^2\\
x^2+y^2+z^2-1
\end{pmatrix},
$$

在 rational solution：

$$
Q
$$

處計算：

$$
J_G(Q).
$$

real tangent space：

$$
\ker J_G(Q)
$$

描述局部連續 deformation。

一般而言：

$$
6-4=2
$$

維，

與 shape freedom 一致。

但 arithmetic family 是否能沿這些 tangent directions 展開，

需要另外驗證。

---

## 52. Tangent basis 與 arithmetic sampling

取：

$$
V_1,V_2
$$

為：

$$
\ker J_G(Q)
$$

的基。

考慮：

$$
Q+\alpha V_1+\beta V_2.
$$

先做 real correction 回到：

$$
G=0.
$$

再對：

$$
\alpha,\beta\in\mathbb Q
$$

附近做 rational reconstruction。

這可能揭露：

- 一條 rational branch；
- 多條 discrete branches；
- 完全沒有 nearby rational closure。

---

## 53. 如果第一解附近沒有第二解

也不能推論：

$$
M=1.
$$

可能其他 primitive families 距離很遠。

所以 local isolation 只說：

$$
Q_1
$$

附近沒有其他低-height rational closure，

不等於 global uniqueness。

要證明：

$$
M=1
$$

需要 global classification。

---

## 54. Global uniqueness 是非常強的 theorem

若要證明：

$$
|\mathcal P_{\mathrm{can}}|=1,
$$

需要證明：

$$
\forall P\in\mathcal P_{\mathrm{can}},
\quad
P=P_1.
$$

這遠比找到第一個解困難。

因此第二階段研究應避免因長期找不到第二個就暗示唯一性。

正確狀態是：

$$
\boxed{
\text{only one known}
}
$$

而不是：

$$
\boxed{
\text{only one exists}.
}
$$

---

## 55. Height-shell exploration

定義 shell：

$$
\mathcal P(H_1,H_2)
=
\left\{
P\in\mathcal P_{\mathrm{can}}
:
H_1<g(P)\le H_2
\right\}.
$$

若第一解：

$$
g_1
$$

已知，

可以依：

$$
(g_1,2g_1],
$$

$$
(2g_1,4g_1],
$$

$$
(4g_1,8g_1],
$$

等 logarithmic shells 搜尋。

這方便估計：

$$
N(H)
$$

的增長。

---

## 56. Empirical growth 只能是 conjecture

即使觀察：

$$
N(H)\approx C\log H
$$

到很大：

$$
H,
$$

也不能直接宣稱 asymptotic law。

至少應區分：

$$
N_{\mathrm{obs}}(H)
$$

與真正：

$$
N(H).
$$

只有 exhaustive exact enumeration 才能得到真正 counting function。

---

## 57. Certified counting

若對所有：

$$
g\le H
$$

做完整 exact enumeration，

則：

$$
N(H)
$$

可被認證。

這使：

$$
N(H_1),N(H_2),\ldots
$$

形成 rigorously known data points。

從這些資料猜 asymptotic law，

再尋求 theorem。

這是比 heuristic sampling 更可靠的 growth program。

---

## 58. 算術密度

可定義相對於候選 shell 的密度。

例如：

$$
S(H)
=
\#\left\{
(a,b,c):
a<b<c,
\;
a^2+b^2+c^2\le H^2
\right\}.
$$

則：

$$
\rho(H)
=
\frac{N(H)}{S(H)}.
$$

這描述 Perfect Cuboid primitive shapes 在整數 shape candidates 中的稀疏程度。

即使：

$$
N(H)\rightarrow\infty,
$$

仍可能：

$$
\rho(H)\rightarrow0.
$$

---

## 59. Arithmetic sparsity 與 arithmetic freedom 可以同時存在

例如可能：

$$
N(H)\sim\log H,
$$

所以：

$$
N(H)\rightarrow\infty,
$$

但密度：

$$
\rho(H)\rightarrow0.
$$

此時解無限多，

卻極端稀疏。

所以：

$$
\boxed{
\text{infinite freedom}
}
$$

與：

$$
\boxed{
\text{dense occurrence}
}
$$

完全不同。

---

## 60. 生成規則可能比密度更重要

如果存在簡單：

$$
\mathcal T
$$

能從一個 seed 生成無限多解，

那即使：

$$
N(H)
$$

極慢增長，

結構上仍然非常強。

因此第二階段不應只追求更多解數量，

而要優先找：

$$
\boxed{
\text{compressible generation law}.
}
$$

---

## 61. Kolmogorov-like intuition

若所有 primitive solutions 可以由：

$$
P_0
$$

加上一個簡短 transformation：

$$
\mathcal T
$$

生成，

則整個無限解族具有低描述複雜度。

如果反之每個解似乎都需要獨立描述，

則 arithmetic world 更像不規則離散集合。

本文不把這當正式 Kolmogorov complexity theorem，

只作為：

$$
\boxed{
\text{solution-family compressibility}
}
$$

的研究直覺。

---

## 62. Solution-family compression ratio

若前：

$$
n
$$

個 primitive solutions 的 raw data 長度為：

$$
L_{\mathrm{raw}}(n),
$$

而某個生成規則與 seeds 總描述長度為：

$$
L_{\mathrm{gen}}(n),
$$

可以觀察：

$$
C(n)
=
\frac{L_{\mathrm{gen}}(n)}
{L_{\mathrm{raw}}(n)}.
$$

若：

$$
C(n)\rightarrow0,
$$

代表存在高度可壓縮規律。

這是計算研究量，

不是純數論 invariant。

---

## 63. Radix signature 在第二階段的用途

第 4 篇的：

$$
\mathfrak R_B
$$

不只用來找第一個解。

對：

$$
P_1,P_2,\ldots
$$

可以比較：

$$
\mathcal O_B(P_i)
$$

的 carry signatures。

如果同一 family 的解具有穩定 pattern，

可能用來識別：

$$
\text{family membership}.
$$

例如某些：

$$
p
$$

-adic valuation profile 可能在 orbit 內保持。

---

## 64. Cross-base family fingerprint

定義：

$$
\Sigma(P)
=
\left(
\Sigma_2(P),
\Sigma_3(P),
\Sigma_5(P),
\Sigma_7(P)
\right)
$$

其中：

$$
\Sigma_p(P)
$$

可包含：

- valuation vector；
- low-digit residues；
- carry-state summary；
- denominator-free normalized signature。

如果：

$$
P_i
$$

與：

$$
P_j
$$

同 family，

可能：

$$
\Sigma(P_i)
$$

具有可辨識變換規律。

這提供 transformation discovery 的另一條路。

---

## 65. Prime-support branching

不同 solution families 可能要求不同 prime-support。

例如某一 orbit 只允許某些：

$$
v_p
$$

parity classes。

另一 orbit 則不同。

如果這種差異可證明不可互相轉換，

就能證明：

$$
G_{\mathrm{sol}}
$$

至少有兩個 arithmetic components。

---

## 66. Arithmetic invariant 可用來證明 inequivalence

假設存在：

$$
I(P)
$$

滿足所有允許 transformations 下：

$$
I(\mathcal T(P))=I(P).
$$

若：

$$
I(P_1)\neq I(P_2),
$$

則：

$$
P_1
$$

與：

$$
P_2
$$

不在同一 orbit。

因此 invariant 不只用來排除 candidate，

也可以用來分類 solution space。

---

## 67. 完整第二階段研究樹

一旦第一解出現，

可以立即展開：

### Branch A：Multiplicity

找第二、第三、更多 primitive shapes。

### Branch B：Local Geometry

研究第一解附近的 real / rational deformation。

### Branch C：Transformation

找 solution-preserving maps。

### Branch D：Counting

估計並認證：

$$
N(H).
$$

### Branch E：Invariant

找 orbit / family signatures。

### Branch F：Classification

嘗試描述所有 arithmetic components。

---

## 68. Existence-mode 轉換成 expansion-mode

第 1 到第 6 篇主要都在：

$$
\boxed{
\text{Existence Mode}.
}
$$

一旦：

$$
P_1
$$

PASS，

研究系統可以切換：

$$
\boxed{
\text{Expansion Mode}.
}
$$

此時 objective function 不再只追求：

$$
F(P)=0.
$$

因為：

$$
P_1
$$

已經滿足。

新的 objective 是：

$$
\boxed{
\text{novel exact shape}
}
$$

也就是：

$$
P\neq P_i
$$

對所有已知：

$$
P_i.
$$

---

## 69. Novelty gate

定義：

$$
\operatorname{NG}(P)=\mathrm{PASS}
$$

若：

1. $$P$$ exact；
2. primitive；
3. canonical；
4. 不在已知 solution database 中。

所以：

$$
\operatorname{NG}
$$

可以防止 generator 不停回傳：

$$
kP_1
$$

或 permutation duplicates。

---

## 70. Distance-based diversity 只適合 heuristic

可以在 normalized shape space 定義：

$$
d(Q_i,Q_j).
$$

若 candidate 距離已知 solution 很遠，

可提高 exploration priority。

但：

$$
d>0
$$

不能證明 arithmetic inequivalence。

真正 novelty 仍由 canonical primitive tuple 決定。

---

## 71. Exploration pressure

若 generator 總是回到：

$$
P_1
$$

附近，

可加入 repulsion：

$$
R(Q)
=
\sum_i
\frac{1}{d(Q,Q_i)^2+\epsilon}.
$$

讓 continuous search 避開已知 basins。

這只屬於 discovery layer。

exact verifier 仍保持不變。

---

## 72. Arithmetic repulsion

比 Euclidean repulsion 更強的方式，是對已知 primitive ratios：

$$
(r_i,s_i)
$$

加入 denominator / residue diversity pressure。

例如優先探索不同：

$$
p
$$

-adic signature。

這可能更容易跳到不同 arithmetic component。

---

## 73. 解空間的第二次展開

第一階段的「展開」是：

$$
\text{real world}
\rightarrow
\text{rational point}
\rightarrow
\text{integer manifestation}.
$$

第二階段的「展開」則是：

$$
\boxed{
P_1
\rightarrow
\mathcal P_{\mathrm{can}}.
}
$$

也就是：

> 從一個已知算術世界，反推整個解空間的自由度、生成律與邊界。

這是兩種完全不同的展開。

---

## 74. 第一展開與第二展開的對照

### First Expansion

研究：

$$
\mathcal S_{\mathbb R}
\rightarrow
\mathcal S_{\mathbb Q}.
$$

核心問題：

$$
\exists?
$$

### Second Expansion

研究：

$$
P_1
\rightarrow
\mathcal P_{\mathrm{can}}.
$$

核心問題：

$$
\text{how many / how generated / how growing?}
$$

因此：

$$
\boxed{
\text{existence}
\rightarrow
\text{freedom}.
}
$$

---

## 75. Arithmetic freedom 的上下界

在找到一個解後，

最低下界：

$$
M\ge1.
$$

parametric freedom 至少：

$$
D_{\mathrm{par}}\ge0.
$$

幾何上界：

$$
D_{\mathrm{par}}\le2.
$$

所以：

$$
\boxed{
0\le D_{\mathrm{par}}\le2.
}
$$

但：

$$
M
$$

可能：

$$
1,\ldots,\infty.
$$

因此「自由度」必須至少用：

$$
(M,D_{\mathrm{par}})
$$

雙量描述。

---

## 76. 如果找到 solution-preserving one-parameter family

若能證明：

$$
Q(t)\in\mathcal S_{\mathbb Q}
$$

對無限多：

$$
t\in\mathbb Q
$$

成立，

且 distinct，

則立即得到：

$$
M=\infty,
$$

以及：

$$
D_{\mathrm{par}}\ge1.
$$

這比逐一列出很多解更強。

---

## 77. 如果找到 two-parameter family

若：

$$
Q(s,t)
$$

在二維 rational parameter domain 上有效，

則：

$$
D_{\mathrm{par}}=2
$$

達到幾何上界。

這時可以說：

> arithmetic realization 使用了完整的 geometric shape freedom。

但仍需注意：

$$
Q(s,t)
$$

是否覆蓋所有 solutions，

是另一個 completeness 問題。

---

## 78. 如果永遠只找到離散點

可能：

$$
D_{\mathrm{par}}=0
$$

但：

$$
M=\infty.
$$

此時 counting：

$$
N(H)
$$

與 transformation graph 比 family dimension 更重要。

所以最後一篇將專門處理：

$$
\boxed{
\text{upper/lower bounds and growth}.
}
$$

---

## 79. 本篇提出的核心研究假說

### Hypothesis AF1：Nontrivial Multiplicity

若 Perfect Cuboid 存在，

則：

$$
|\mathcal P_{\mathrm{can}}|>1.
$$

### Hypothesis AF2：Infinite Primitive Shape Hypothesis

若 Perfect Cuboid 存在，

則：

$$
|\mathcal P_{\mathrm{can}}|=\infty.
$$

### Hypothesis AF3：Transformational Closure

存在非平凡：

$$
\widetilde{\mathcal T}
$$

能將某些 primitive solutions 映射到新的 primitive solutions。

### Hypothesis AF4：Positive Parametric Freedom

存在：

$$
D_{\mathrm{par}}\ge1.
$$

這些都只是後續假說，

不可由第一個解自動推出。

---

## 80. 最保守的研究立場

若第一個解出現，

唯一立即確定的是：

$$
\boxed{
M\ge1.
}
$$

除此之外：

$$
M=1?
$$

$$
M<\infty?
$$

$$
M=\infty?
$$

$$
D_{\mathrm{par}}=0?
$$

$$
D_{\mathrm{par}}=1?
$$

$$
D_{\mathrm{par}}=2?
$$

都應視為開放問題。

這能避免從一個 witness 過度外推整個 arithmetic world。

---

## 81. 第二階段的最小資料結構

每個已知 primitive solution 保存：

```text
solution_id
a
b
c
d
e
f
g
normalized_ratios
prime_signature
valuation_signature
radix_signatures
discovery_method
parent_solution_id
transformation_id
exact_verification_hash
```

其中：

$$
parent\_solution\_id
$$

與：

$$
transformation\_id
$$

用於構建：

$$
G_{\mathrm{sol}}.
$$

如果解是獨立搜尋找到，

parent 可為空。

---

## 82. Family record

若發現 candidate family：

```text
family_id
parameter_domain
rational_map
seed_solutions
predicted_solutions
verified_solutions
invariants
completeness_status
proof_status
```

明確區分：

$$
\text{candidate}
$$

與：

$$
\text{proved family}.
$$

---

## 83. Transformation record

對：

$$
\mathcal T
$$

保存：

```text
transformation_id
domain
formula
exact_preservation_status
primitive_preservation_status
nontriviality_status
invertibility
height_behavior
orbit_tests
proof_status
```

這使 transformation discovery 可以累積，

而不是每次重新猜。

---

## 84. 形式化 success levels

### AF-L0

只有：

$$
P_1.
$$

### AF-L1

存在：

$$
P_2\neq P_1.
$$

### AF-L2

已知無限 sequence：

$$
P_1,P_2,\ldots
$$

但尚無完整生成 theorem。

### AF-L3

存在 proved nontrivial transformation 產生無限 orbit。

### AF-L4

存在 proved one-parameter family。

### AF-L5

存在 proved two-parameter family。

### AF-L6

完成 primitive solution-space classification。

這個 ladder 可作為第二階段 roadmap。

---

## 85. 第一個 solution 之後最值得追求的不是最小，而是結構

第 6 篇已經把 minimality 分出去。

第 7 篇的核心主張是：

> 一旦 existence 已完成，數學價值最高的下一步通常不是再縮小幾位高度，而是尋找 solution space 的可生成結構。

也就是優先問：

$$
\boxed{
\text{Can one solution explain another?}
}
$$

如果答案為是，

問題會從單一數論 witness 升級成 arithmetic dynamics。

---

## 86. 與世界生成模型的對應

第一個 primitive solution：

$$
P_1
$$

可以視為：

$$
\boxed{
\text{seed world}.
}
$$

非平凡 transformation：

$$
\mathcal T
$$

則是：

$$
\boxed{
\text{world evolution operator}.
}
$$

solution graph：

$$
G_{\mathrm{sol}}
$$

就是：

$$
\boxed{
\text{reachable arithmetic worlds}.
}
$$

這不是純比喻。

因為：

$$
P_1
$$

確實可以作為狀態，

$$
\mathcal T
$$

確實可以作為 exact rule，

而：

$$
\mathcal T(P_1)
$$

若 exact closure，

就是真正新世界狀態。

---

## 87. 第二次展開的真正問題

因此第二次展開不是：

$$
P_1
\rightarrow
2P_1
\rightarrow
3P_1.
$$

而是：

$$
P_1
\rightarrow
P_2
\rightarrow
P_3
\rightarrow\cdots
$$

其中：

$$
P_i\not\sim P_j.
$$

也就是：

$$
\boxed{
\text{shape evolution}
}
$$

而不是：

$$
\boxed{
\text{scale evolution}.
}
$$

---

## 88. 本篇核心結論

本文得到以下框架。

### 結論 1

只要一個 primitive solution 存在，

raw integer solutions 自動無限，

但這只是 scaling infinity。

### 結論 2

真正需要研究的是：

$$
\mathcal P_{\mathrm{can}}.
$$

### 結論 3

Arithmetic freedom 至少包含：

$$
\text{multiplicity},
$$

$$
\text{parametric freedom},
$$

$$
\text{transformational freedom},
$$

$$
\text{growth freedom}.
$$

### 結論 4

幾何 shape freedom：

$$
2
$$

只給 parametric arithmetic freedom 一個自然上界，

不決定有理點實際結構。

### 結論 5

若存在非平凡 height-increasing solution-preserving transformation，

即可直接證明無限多 primitive shapes。

### 結論 6

第一個解只提供：

$$
M\ge1.
$$

其餘都需要新的 theorem 或 certified data。

---

## 89. 下一篇：解空間的上下界與第二次展開

第 8 篇將把本篇的 qualitative freedom 轉成 quantitative bounds。

核心量包括：

$$
N(H)
=
\#\{P\in\mathcal P_{\mathrm{can}}:g(P)\le H\},
$$

以及：

$$
D_g
=
\limsup_{H\rightarrow\infty}
\frac{\log N(H)}{\log H}.
$$

並進一步研究：

- primitive solution count 的下界；
- counting upper bound；
- family-induced lower bound；
- transformation-induced growth；
- exhaustive shell enumeration；
- certified asymptotics；
- geometric freedom 與 arithmetic growth 的差異；
- 第二次展開的正式階段劃分。

---

## 90. 結論

Perfect Cuboid 的第一個 exact primitive solution 若未來被發現，

它不只是經典存在問題的終點。

它同時會變成：

$$
\boxed{
\text{第二階段 arithmetic world 的 seed}.
}
$$

第一階段問：

$$
\boxed{
\exists P?
}
$$

第二階段問：

$$
\boxed{
\mathcal P_{\mathrm{can}}
\text{ 有多大？}
}
$$

這個「有多大」不能只用一個維度回答。

至少需要分開：

$$
M
=
|\mathcal P_{\mathrm{can}}|,
$$

$$
D_{\mathrm{par}},
$$

$$
D_g,
$$

以及 solution graph 的 orbit / branching structure。

因此本文將 arithmetic freedom 定義為一個多層結構：

$$
\boxed{
\text{Multiplicity}
+
\text{Parametric Freedom}
+
\text{Transformational Freedom}
+
\text{Growth Freedom}.
}
$$

真正最重要的分界是：

$$
\boxed{
\text{scaling infinity}
\neq
\text{shape infinity}.
}
$$

第一個 Perfect Cuboid 一旦存在，

其無限整數倍沒有新的 shape 資訊。

真正值得展開的是：

$$
\boxed{
P_1
\rightarrow
P_2
\rightarrow
P_3
\rightarrow\cdots
}
$$

以及是否存在：

$$
\boxed{
\mathcal T
}
$$

使這個序列由簡單 exact rule 所生成。

因此第 7 篇完成了從「第一顯現」到「算術自由度」的轉換。

下一篇將作為本前導系列的收束：

# 解空間的上下界與第二次展開

並把 primitive multiplicity、height counting、growth dimension、family lower bounds 與 global upper bounds 統合成正式的第二階段研究綱領。

---

## 系列目錄

1. **重新表述完美長方體：它不是首先一個整數搜尋問題**
2. **連續世界與尺度商空間：Perfect Cuboid 的拓樸起點**
3. **共同初態與約束誘導分化**
4. **進位制是觀察算子：Radix–Carry Global Closure**
5. **從浮點近似到精確有理閉合**
6. **第一顯現問題：從有理解到最小 Primitive Cuboid**
7. **第一個解之後：Perfect Cuboid 的算術自由度**
8. **解空間的上下界與第二次展開**

---

**End of Paper 07**