← Archive
lm-004545 · 2026-10

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

zh-Hant · md Raw source ↗ Metadata ↗
下載 MD 檔 ⬇
📎 附件 · Companion files — 隨文交付的程式 / 證明 / 資料，可獨立下載重驗

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

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

HFMU-005 顯示：

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

HFMU-006 又顯示：

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

因此：

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

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

本輪改研究：

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

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

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

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

因此本文使用三軸向量：

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

其中：

κmerge\kappa_{\mathrm{merge}}

不同輸入 distinction 是否被合併。

有限函數時可以寫：

κmerge=1−∣Im⁡f∣∣X∣.\kappa_{\mathrm{merge}} = 1- \frac{|\operatorname{Im}f|}{|X|}.

κaccess\kappa_{\mathrm{access}}

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

κdesc\kappa_{\mathrm{desc}}

是否存在 well-founded complexity：

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

τattain\tau_{\mathrm{attain}}

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

最後這一項非常重要。

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

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

HFMU-005 的四狀態 transformation semigroup 共：

180180

個元素。

其中非平凡 idempotent：

28.28.

非平凡 idempotent 的平均 merge loss：

0.4286.0.4286.

非 idempotent 的平均 merge loss：

0.3265.0.3265.

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

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

真正特殊的是 idempotent：

E2=EE^2=E

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

Im⁡E,\operatorname{Im}E,

而：

E∣Im⁡E=id⁡.E|_{\operatorname{Im}E} = \operatorname{id}.

也就是一個完整 factorization：

X→qS→iX,X \xrightarrow{q} S \xrightarrow{i} X, qi=id⁡S,q i = \operatorname{id}_S, E=iq.E=i q.

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

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

HFMU-005 的 reversible graph closure：

∣G∣=1536.|\mathcal G| = 1536.

所有 transformation 都是 bijection，因此：

κmerge=0,\kappa_{\mathrm{merge}}=0, κaccess=0.\kappa_{\mathrm{access}}=0.

完整 closure 中 idempotent：

1.1.

只有 identity。

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

8.8.

因此：

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

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

考慮：

f(x)=2xf(x)=2x

作用於：

Z.\mathbb Z.

它完全 injective：

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

但 image 只有偶數，natural density：

12.\frac12.

第 nn 次：

fn(Z)=2nZ,f^n(\mathbb Z) = 2^n\mathbb Z,

density：

2−n.2^{-n}.

因此 accessibility loss：

1−2−n1-2^{-n}

依次為：

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

它一直趨近：

1,1,

卻沒有任何有限：

nn

使：

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

所以：

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

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

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

在：

⟨P,Q∣QP=1⟩\langle P,Q\mid QP=1\rangle

中：

en=PnQne_n=P^nQ^n

都是 idempotent。

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

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

它們做的是：

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

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

0.4839.0.4839.

平均 access loss：

0.4839.0.4839.

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

還包括：

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

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

對所有長度：

∣w∣≤7|w|\le7

的：

32793279

個 words，

terminal-signature 等價類只有：

52.52.

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

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

有 strict length descent 的比例：

0.9936.0.9936.

平均 relative length loss：

0.7990.0.7990.

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

∣wt+1∣<∣wt∣.|w_{t+1}|<|w_t|.

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

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

rewrite system 並不 confluent。

同一個：

ww

可能有多個 normal forms。

因此不存在唯一：

N(w).N(w).

但可以定義：

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

對 terminal set 再做一次：

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

仍得到：

N(w).\mathcal N(w).

本次全體檢查：

N♯∘N=N.\boxed{ \mathcal N^\sharp\circ\mathcal N = \mathcal N. }

成立。

所以即使原始 dynamics 不是 idempotent，

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

這非常像原 SREG 後期：

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

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

現在可以把關係倒過來：

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

如果 terminalization 是 deterministic：

N:X→S⊆X,N:X\to S\subseteq X,

且：

N∣S=id⁡S,N|_S=\operatorname{id}_S,

那麼自動：

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

如果 terminal outcome 不唯一，

則把 codomain 換成 terminal-family space：

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

同樣可以得到 set-valued idempotence。

所以原本一直出現的：

P2=PP^2=P

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

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

9. 但 contraction 本身仍不夠

Affine scale- 22 已經證明：

κaccess↑1\kappa_{\mathrm{access}}\uparrow1

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

所以需要至少兩部分：

Contraction+Attainment Principle.\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

暫記：

CTS\boxed{ \mathsf{CTS} }

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

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

因此：

idempotence\boxed{ \text{idempotence} }

從候選 primitive 降級成：

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

11. 這對原 SREG 的意義

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

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

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

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

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

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

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

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

12. 下一步

HFMU-008 不應再只換 calculus。

應直接對：

CTS\boxed{ \mathsf{CTS} }

做 ablation。

也就是設計一組 universe：

A. 允許 equivalence / quotient

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

C. 允許 normalization

D. 禁止 canonicalization

E. 有記憶資源限制

F. 幾乎無資源限制

然後測：

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

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

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