# HFMU-007｜有效自由度下降與終端化實驗

## 0. 為什麼不再把冪等當主角

HFMU-005 顯示：

- 有不可逆壓縮的 finite calculi 常有大量 idempotent；
- 純可逆 group-like calculus 只有 identity idempotent。

HFMU-006 又顯示：

- 無限系統也可以有無限多 idempotent；
- 無限系統也可以完全沒有非平凡 idempotent；
- 不以 composition 為主的 rewrite 仍可以 terminate。

因此：

$$
\boxed{
P^2=P
}
$$

已經不適合繼續被當成最底層候選。

本輪改研究：

$$
\boxed{
\text{有效自由度是否下降，以及下降後是否真的抵達一個不再下降的區域。}
}
$$

**作者：** Neo.K  
**機構：** EveMissLab／一言諾科技有限公司  
**日期：** 2026-10-07（整理日期；原稿未標註日期）  
**版本：** 原稿未標註（本次整理版）  

---

# 1. 不使用單一「自由度」數字

跨 calculus 時，一個 scalar 很容易造假。

因此本文使用三軸向量：

$$
\boxed{
\mathbf K
=
(
\kappa_{\mathrm{merge}},
\kappa_{\mathrm{access}},
\kappa_{\mathrm{desc}}
;
\tau_{\mathrm{attain}}
).
}
$$

其中：

### $\kappa_{\mathrm{merge}}$

不同輸入 distinction 是否被合併。

有限函數時可以寫：

$$
\kappa_{\mathrm{merge}}
=
1-
\frac{|\operatorname{Im}f|}{|X|}.
$$

### $\kappa_{\mathrm{access}}$

可達／合法 output region 是否縮小。

### $\kappa_{\mathrm{desc}}$

是否存在 well-founded complexity：

$$
C(Tx)<C(x).
$$

### $\tau_{\mathrm{attain}}$

是否真的在有限步內抵達 terminal / invariant region。

最後這一項非常重要。

因為「一直變薄」不等於「真的閉合」。

---

# 2. 有限狀態變換：rank loss 與 projection

HFMU-005 的四狀態 transformation semigroup 共：

$$
180
$$

個元素。

其中非平凡 idempotent：

$$
28.
$$

非平凡 idempotent 的平均 merge loss：

$$
0.4286.
$$

非 idempotent 的平均 merge loss：

$$
0.3265.
$$

所以 contraction 與 idempotence 有關，但不是同義。

很多非 idempotent map 一樣會降低 rank。

真正特殊的是 idempotent：

$$
E^2=E
$$

表示第一次作用後已進入：

$$
\operatorname{Im}E,
$$

而：

$$
E|_{\operatorname{Im}E}
=
\operatorname{id}.
$$

也就是一個完整 factorization：

$$
X
\xrightarrow{q}
S
\xrightarrow{i}
X,
$$

$$
q i
=
\operatorname{id}_S,
$$

$$
E=i q.
$$

這是「一次就抵達 terminal image」的極強形式。

---

# 3. 可逆圖世界：零 contraction 對照

HFMU-005 的 reversible graph closure：

$$
|\mathcal G|
=
1536.
$$

所有 transformation 都是 bijection，因此：

$$
\kappa_{\mathrm{merge}}=0,
$$

$$
\kappa_{\mathrm{access}}=0.
$$

完整 closure 中 idempotent：

$$
1.
$$

只有 identity。

而非 identity dynamics 可以形成長週期；本次觀察最大 cycle length：

$$
8.
$$

因此：

$$
\boxed{
\text{reversibility preserves distinctions and supports recurrence/cycle rather than attraction.}
}
$$

---

# 4. 無限仿射世界：重要負例

考慮：

$$
f(x)=2x
$$

作用於：

$$
\mathbb Z.
$$

它完全 injective：

$$
\kappa_{\mathrm{merge}}=0.
$$

但 image 只有偶數，natural density：

$$
\frac12.
$$

第 $n$ 次：

$$
f^n(\mathbb Z)
=
2^n\mathbb Z,
$$

density：

$$
2^{-n}.
$$

因此 accessibility loss：

$$
1-2^{-n}
$$

依次為：

$$
0.50000, 0.75000, 0.87500, 0.93750, 0.96875, 0.98438, 0.99219, 0.99609.
$$

它一直趨近：

$$
1,
$$

卻沒有任何有限：

$$
n
$$

使：

$$
f^{n+1}=f^n.
$$

所以：

$$
\boxed{
\text{asymptotic contraction}
\neq
\text{attained terminalization}.
}
$$

這是本輪最重要的反例之一。

---

# 5. Bicyclic universe：不合併狀態也能 idempotent

在：

$$
\langle P,Q\mid QP=1\rangle
$$

中：

$$
e_n=P^nQ^n
$$

都是 idempotent。

但它們作為 partial bijection 時沒有 merge：

$$
\kappa_{\mathrm{merge}}=0.
$$

它們做的是：

$$
\boxed{
\text{domain / image restriction}.
}
$$

在有限 window $0,\ldots,30$ 中，idempotent 的平均 domain loss：

$$
0.4839.
$$

平均 access loss：

$$
0.4839.
$$

因此「自由度下降」不能只理解成 many-to-one。

還包括：

> 一部分原本 admissible 的區域被排除。

---

# 6. Rewrite universe：沒有 composition-first 仍然 terminalize

對所有長度：

$$
|w|\le7
$$

的：

$$
3279
$$

個 words，

terminal-signature 等價類只有：

$$
52.
$$

因此以「最後能落到哪一組 normal forms」作 observation 時：

$$
\kappa_{\mathrm{merge}}
=
0.9841.
$$

有 strict length descent 的比例：

$$
0.9936.
$$

平均 relative length loss：

$$
0.7990.
$$

這裡 stabilization 不是靠 operator power，而是：

$$
|w_{t+1}|<|w_t|.
$$

---

# 7. 非合流不破壞「終端化算子」

這是本輪最有意思的新點。

rewrite system 並不 confluent。

同一個：

$$
w
$$

可能有多個 normal forms。

因此不存在唯一：

$$
N(w).
$$

但可以定義：

$$
\mathcal N(w)
=
\{
z:
w\to^* z,
\;
z\text{ normal}
\}.
$$

對 terminal set 再做一次：

$$
\mathcal N^\sharp(\mathcal N(w)),
$$

仍得到：

$$
\mathcal N(w).
$$

本次全體檢查：

$$
\boxed{
\mathcal N^\sharp\circ\mathcal N
=
\mathcal N.
}
$$

成立。

所以即使原始 dynamics 不是 idempotent，

**「抽取所有 terminal outcomes」這個觀測／closure operator 又重新成為 idempotent。**

這非常像原 SREG 後期：

$$
\text{dynamics}
\rightarrow
\text{observation}
\rightarrow
\text{quotient}
\rightarrow
\text{reconstruction}
\rightarrow
\text{idempotent closure}.
$$

---

# 8. 因此，冪等可能是「終端化」的語法，而不是最底層原因

現在可以把關係倒過來：

$$
\boxed{
\text{contraction / descent}
+
\text{attained stable region}
\Longrightarrow
\text{terminalization operator}
}
$$

如果 terminalization 是 deterministic：

$$
N:X\to S\subseteq X,
$$

且：

$$
N|_S=\operatorname{id}_S,
$$

那麼自動：

$$
\boxed{
N^2=N.
}
$$

如果 terminal outcome 不唯一，

則把 codomain 換成 terminal-family space：

$$
N:X\to\mathcal P(S),
$$

同樣可以得到 set-valued idempotence。

所以原本一直出現的：

$$
P^2=P
$$

可能只是更深機制的必然外觀：

$$
\boxed{
\text{「已經終端化的東西，再終端化一次不會再變。」}
}
$$

---

# 9. 但 contraction 本身仍不夠

Affine scale- $2$ 已經證明：

$$
\kappa_{\mathrm{access}}\uparrow1
$$

也可以永遠不真正抵達 stable image。

所以需要至少兩部分：

$$
\boxed{
\text{Contraction}
+
\text{Attainment Principle}.
}
$$

Attainment Principle 可以來自：

- finite recurrence；
- well-founded order；
- split retraction；
- lower bound；
- compactness + extra conditions；
- explicit projection；
- terminating rewrite。

這才是 HFMU-007 現在得到的更一般 schema。

---

# 10. 新候選：Contraction–Terminalization Schema

暫記：

$$
\boxed{
\mathsf{CTS}
}
$$

其核心不是某一個符號，而是：

1. 有某種有效自由度／可區分度下降；
2. 存在阻止無限新下降的結構；
3. 因而形成 terminal / invariant region；
4. 對該 region 的抽取成為 closure-like operator。

因此：

$$
\boxed{
\text{idempotence}
}
$$

從候選 primitive 降級成：

$$
\boxed{
\text{terminalization 的高頻 algebraic signature}.
}
$$

---

# 11. 這對原 SREG 的意義

SREG 001–018 為什麼一直走到：

- quotient；
- normalization；
- projection；
- observation；
- fixed core；
- reconstruction？

一個可能的較低階解釋是：

$$
\boxed{
\text{長程數學生成需要持續壓縮已探索自由度，否則狀態空間會爆炸。}
}
$$

所以智能本身可能會不斷創造：

$$
\text{equivalence}
,\quad
\text{quotient}
,\quad
\text{canonical form}
,\quad
\text{closure}.
$$

這些不是偶然裝飾，而可能是任何有限研究者管理爆炸性狀態空間時自然產生的操作。

這個假說比「固定點是底空間」更值得下一輪測。

---

# 12. 下一步

HFMU-008 不應再只換 calculus。

應直接對：

$$
\boxed{
\mathsf{CTS}
}
$$

做 ablation。

也就是設計一組 universe：

### A. 允許 equivalence / quotient

### B. 禁止 quotient，只能保留完整 history

### C. 允許 normalization

### D. 禁止 canonicalization

### E. 有記憶資源限制

### F. 幾乎無資源限制

然後測：

> 在狀態爆炸壓力下，智能／搜尋器會不會自己重新發明某種 contraction operator？

如果「禁止壓縮」的 universe 持續爆炸，而允許或自行生成壓縮的 universe 能反覆形成可管理核心，那麼我們就開始從純數學結構，碰到：

$$
\boxed{
\text{數學生成本身的計算必然性。}
}
$$