# 代數組合超越生成方法論
## Algebraic Combinatorial Transcendence Methodology (ACTM)

**作者：** Neo.K；Aletheia（GPT-5.6 Sol）  
**機構：** EveMissLab / 一言諾科技有限公司  
**日期：** 2026-09-30  
**版本：** v0.1  
**文件性質：** 方法論論文／研究綱領（Methodological Program）  
**狀態：** 概念框架已建立；不宣稱已證明 Schanuel 猜想或任何新的超越數定理

---

## 摘要

傳統超越數研究經常從一個已被指定的數值或函數值出發，詢問它是否為代數數、無理數或超越數。這種路線在經典成果中極其成功，但當問題上升到 Schanuel 猜想這類涉及任意有限組、代數獨立性與超越次數的全域命題時，直接從「超越數本身」出發，容易立即面對一個龐大的關係排除空間。

本文提出一個反向方法論：不先研究「哪些數是超越數」，而先研究「哪些代數輸入具有超越生成潛力」。研究對象由單一數值改為代數種子、代數 tuple、其內部關係結構，以及作用於它們的非代數生成算子。核心問題改寫為：

> 給定一個完全位於代數閉包中的有限結構，哪些組合型態在經過特定算子、極限、週期、解析延拓或其他生成機制後，會產生無法被代數關係完全吸收的自由度？

本文將此研究計畫稱為「代數組合超越生成方法論」（Algebraic Combinatorial Transcendence Methodology, ACTM）。其核心流程為：

$$
\boxed{
\text{Algebraic Seed}
\rightarrow
\text{Combinatorial Structure}
\rightarrow
\text{Operator}
\rightarrow
\text{Relation Transport}
\rightarrow
\text{Escape}
\rightarrow
\text{Transcendence Degree}
}
$$

ACTM 的目標不是用新的術語重述既有超越數理論，而是建立一個可系統比較、可逐層驗證、可與 Schanuel 型 predimension 問題接軌的研究框架。

---

# 1. 問題反轉

## 1.1 傳統提問

典型問題是：

$$
\alpha \in \mathbb C
$$

是否滿足某個非零多項式

$$
P(\alpha)=0,
\qquad
P\in\mathbb Q[X]?
$$

若不存在這樣的多項式，則稱 $\alpha$ 為超越數。

對多變量而言，若

$$
\alpha_1,\ldots,\alpha_n
$$

不存在非零

$$
P\in\mathbb Q[X_1,\ldots,X_n]
$$

使

$$
P(\alpha_1,\ldots,\alpha_n)=0,
$$

則它們在 $\mathbb Q$ 上代數獨立。

問題在於：這是一個全域排除型條件。形式上需要面對整個多項式關係空間。

---

## 1.2 ACTM 的反向提問

ACTM 不首先問：

> 某個指定數是否超越？

而問：

> 哪些代數種子與代數關係配置，在經過某個生成算子後，具有逃離代數閉包或增加超越次數的能力？

因此研究起點由

$$
\text{Transcendental Output}
$$

改為

$$
\text{Algebraic Input}.
$$

核心方向反轉為：

$$
\boxed{
\overline{\mathbb Q}^{\,n}
\longrightarrow
\text{operator-induced transcendence}
}
$$

---

# 2. 第一條硬邊界：有限代數閉包不能自己逃逸

令

$$
\overline{\mathbb Q}
$$

為 $\mathbb Q$ 的代數閉包。

對有限次加、減、乘、除以及取代數方程之根而言，$\overline{\mathbb Q}$ 保持封閉。因此，若

$$
a,b\in\overline{\mathbb Q},
$$

則在定義合法時，

$$
a+b,\quad a-b,\quad ab,\quad \frac{a}{b}
$$

仍屬於 $\overline{\mathbb Q}$。

更一般地，任何僅由有限代數操作構成的表達式，其值仍位於代數閉包中。

因此：

$$
\boxed{
\text{Finite Algebraic Composition}
\not\Rightarrow
\text{Transcendence}
}
$$

這不是限制，而是 ACTM 的第一個篩選器。

它告訴我們：

> 真正需要研究的不是「代數數彼此如何相加會變成超越數」，而是「何種生成機制打破純代數閉包」。

---

# 3. 代數種子與組合潛力

## 3.1 代數種子

定義有限代數種子：

$$
A=(a_1,\ldots,a_n)
\in
\overline{\mathbb Q}^{\,n}.
$$

單看每個 $a_i$ 的值通常不足以描述其研究價值。ACTM 關注的是整個 tuple 的關係結構。

---

## 3.2 關係理想

令

$$
I(A)
=
\left\{
P\in\mathbb Q[X_1,\ldots,X_n]
:
P(a_1,\ldots,a_n)=0
\right\}.
$$

$I(A)$ 描述代數種子的內部代數關係。

ACTM 不把 $A$ 看成一串數，而把它看成：

$$
\boxed{
(A,I(A))
}
$$

即「值 + 關係空間」。

---

## 3.3 組合潛力

初步定義「組合潛力」不是一個單一數值，而是一個結構性概念：

> 一個代數 tuple 若在某算子族下，其不同內部關係會被不同程度地保存、扭曲、破壞或轉換，則稱其具有相對於該算子族的組合潛力。

可記為：

$$
\operatorname{CP}_{\mathcal O}(A).
$$

在 v0.1 中，$\operatorname{CP}$ 暫不指定唯一標量形式；它可以由多個指標共同描述，例如：

- $\mathbb Q$-線性秩；
- 乘法秩；
- 關係理想的維度或生成複雜度；
- 對稱性；
- 對算子不變的子關係數；
- 算子作用後新出現或消失的關係；
- 產生的超越次數下界。

---

# 4. 逃逸算子

## 4.1 基本概念

ACTM 把能將代數輸入送往可能超越輸出的機制統稱為「逃逸算子」：

$$
\mathcal O:A\mapsto \mathcal O(A).
$$

名稱中的「逃逸」僅表示：

$$
\mathcal O(A)
$$

可能離開 $\overline{\mathbb Q}$，不表示每個輸入都必然產生超越值。

---

## 4.2 第一類：已知強逃逸算子

最重要的原型是指数函數。

若

$$
0\neq\alpha\in\overline{\mathbb Q},
$$

則 Lindemann-Weierstrass 理論推出

$$
e^\alpha
$$

為超越數。

因此可以把

$$
\exp
$$

視為一個在非零代數輸入上的已知強逃逸算子。

這提供 ACTM 的第一個標準範例：

$$
\boxed{
\text{nonzero algebraic seed}
+
\exp
\rightarrow
\text{transcendental output}
}
$$

---

## 4.3 第二類：條件式逃逸算子

某些算子只在特定輸入條件、支路、函數族或已知定理範圍內具備超越保證，例如：

$$
\log,\quad
\sin,\quad
\cos,\quad
\text{elliptic functions},
\quad
\text{modular functions}.
$$

對此類算子，ACTM 必須把：

$$
\text{已知定理區}
$$

與

$$
\text{未知／猜想區}
$$

嚴格分離。

---

## 4.4 第三類：未知逃逸強度算子

例如某些特殊函數值：

$$
\Gamma(\alpha),
$$

在許多代數點上的代數性、超越性或代數獨立性仍未完全理解。

ACTM 不預設它們一定具有某種逃逸強度，而把它們作為後期研究對象。

---

# 5. 超越生成增量

對代數種子

$$
A\in\overline{\mathbb Q}^{\,n},
$$

與算子 $\mathcal O$，定義初步的超越生成增量：

$$
\Delta_{\mathcal O}(A)
=
\operatorname{trdeg}_{\mathbb Q}
\mathbb Q
\big(
A,\mathcal O(A)
\big)
-
\operatorname{trdeg}_{\mathbb Q}\mathbb Q(A).
$$

因為 $A$ 全部為代數數，

$$
\operatorname{trdeg}_{\mathbb Q}\mathbb Q(A)=0,
$$

故

$$
\boxed{
\Delta_{\mathcal O}(A)
=
\operatorname{trdeg}_{\mathbb Q}
\mathbb Q\big(\mathcal O(A)\big)
}
$$

若算子輸出是向量，則此量衡量輸出中真正新增的代數自由度。

---

# 6. 代數逃逸潛力

定義工作量：

$$
\operatorname{AEP}_{\mathcal O}(A)
$$

為 Algebraic Escape Potential。

在本版本中，它不是既成數學定義，而是一個研究接口。

其最小判定可分為：

$$
\operatorname{AEP}_{\mathcal O}(A)
=
\begin{cases}
0, & \mathcal O(A)\subseteq\overline{\mathbb Q},\\
>0, & \operatorname{trdeg}_{\mathbb Q}\mathbb Q(\mathcal O(A))>0,\\
?, & \text{目前理論無法判定}.
\end{cases}
$$

更成熟的版本可以加入：

$$
\operatorname{AEP}_{\mathcal O}^{(k)}(A)
$$

表示至少能保證 $k$ 個超越自由度。

---

# 7. 關係傳輸，而非單點判定

## 7.1 從值轉向關係

ACTM 的核心不是只研究：

$$
a
\mapsto
\mathcal O(a),
$$

而是：

$$
(A,I(A))
\mapsto
(\mathcal O(A),I(\mathcal O(A))).
$$

真正需要比較的是：

$$
I(A)
$$

與

$$
I(\mathcal O(A)).
$$

---

## 7.2 關係保存

若某個輸入關係在算子作用後仍對應到一個代數關係，稱其被保存。

抽象地：

$$
R_{\text{in}}
\longrightarrow
R_{\text{out}}.
$$

---

## 7.3 關係破壞

若輸入關係無法被代數方式完整搬運到輸出，則出現關係破壞。

這並不自動推出超越性，但它可能是超越自由度出現的結構來源之一。

---

## 7.4 關係生成

算子也可能在輸出空間引入新的關係，例如由函數方程、週期性或對稱性造成：

$$
\mathcal O(A)
$$

可能比一般位置的點具有更多結構。

因此不能簡單假設：

$$
\text{relation loss}
=
\text{transcendence gain}.
$$

ACTM 必須同時計算：

$$
\text{lost relations},
\qquad
\text{preserved relations},
\qquad
\text{new relations}.
$$

---

# 8. 關係缺口

定義概念性關係缺口：

$$
G_{\mathcal O}(A)
=
\mathcal R_{\text{expected}}
-
\mathcal R_{\text{surviving}},
$$

其中 $\mathcal R$ 暫表示某種可量化關係容量，而非固定標量。

其直覺是：

> 輸入端具有的約束結構，在經過算子後，若無法全部以代數關係形式存活，剩餘缺口可能表現為新的超越自由度。

但必須強調：

$$
\boxed{
G_{\mathcal O}(A)>0
\not\Rightarrow
\Delta_{\mathcal O}(A)>0
}
$$

除非建立額外定理。

因此「關係缺口」在 ACTM 中首先是診斷量，而不是證明結論。

---

# 9. 代數 tuple 的初步分類

ACTM 第一階段可將代數 tuple 分為以下研究類型。

## 9.1 高冗餘 tuple

例如：

$$
A=(a,a^2,a^3).
$$

其內部具有大量顯式代數關係。

---

## 9.2 $\mathbb Q$-線性自由 tuple

例如：

$$
\operatorname{ldim}_{\mathbb Q}(A)=n.
$$

這類 tuple 對指数型問題尤其重要。

---

## 9.3 乘法自由 tuple

研究是否存在非平凡整數向量

$$
(m_1,\ldots,m_n)
$$

使

$$
a_1^{m_1}\cdots a_n^{m_n}=1.
$$

---

## 9.4 低代數自由度、高算子敏感度 tuple

某些 tuple 本身代數關係很多，但在特定算子下可能產生強烈的關係重組。

ACTM 尤其關注這一類，因為它可能揭示：

$$
\boxed{
\text{transcendence generation}
\neq
\text{mere input randomness}
}
$$

---

## 9.5 混合自由度 tuple

同一 tuple 可能：

- 線性自由；
- 乘法不自由；
- 代數上受限；
- 對某個算子高度敏感。

因此 ACTM 不採用單一「自由／不自由」二分，而建立多軸自由度描述。

---

# 10. 算子相容性

## 10.1 核心問題

給定輸入關係

$$
R(A)=0,
$$

我們問：

> 此關係是否與算子 $\mathcal O$ 的函數方程、對稱性與幾何結構相容？

若相容，關係可能被保存。

若不相容，可能出現關係重組。

---

## 10.2 指数算子的典型相容關係

指数函數滿足：

$$
e^{x+y}=e^x e^y.
$$

因此輸入的加法結構會映射為輸出的乘法結構。

這是一個關鍵提醒：

$$
\boxed{
\text{relation destruction}
\neq
\text{relation disappearance}
}
$$

某些關係只是改變了表示域。

因此 ACTM 必須研究的是：

$$
\text{Relation Transport}
$$

而不是單純的「關係是否存在」。

---

# 11. 生成鏈

ACTM 的標準研究鏈為：

$$
\boxed{
A
\rightarrow
I(A)
\rightarrow
\operatorname{Type}(A)
\rightarrow
\mathcal O
\rightarrow
\mathcal O(A)
\rightarrow
I(\mathcal O(A))
\rightarrow
\Delta_{\mathcal O}(A)
}
$$

具體流程：

1. 選擇代數種子；
2. 計算或描述輸入關係；
3. 分類其線性、乘法與代數自由度；
4. 選擇算子；
5. 列出算子已知函數方程與不變量；
6. 預測哪些關係可傳輸；
7. 找出可能的關係缺口；
8. 將缺口轉換為可證命題；
9. 使用既有超越數定理驗證；
10. 對未解區域建立猜想，不越界宣稱。

---

# 12. 已知定理作為校準集

ACTM 必須先通過已知數學結果的回測，而不是直接挑戰未解猜想。

## 12.1 Lindemann-Weierstrass 校準

使用代數數：

$$
\alpha_1,\ldots,\alpha_n
$$

研究指数映射下的已知線性獨立性與超越性結果。

---

## 12.2 Gelfond-Schneider 校準

若

$$
\alpha\in\overline{\mathbb Q},
\qquad
\alpha\neq0,1,
$$

且

$$
\beta\in\overline{\mathbb Q}\setminus\mathbb Q,
$$

則任一適當分支的

$$
\alpha^\beta
$$

為超越數。

這提供另一種生成模板：

$$
\boxed{
\text{algebraic base}
+
\text{irrational algebraic exponent}
\rightarrow
\text{transcendence}
}
$$

---

## 12.3 Hermite-Lindemann 校準

研究指数與對數互逆下的代數／超越轉換。

---

## 12.4 校準目的

ACTM 若無法自然重建已知定理所展示的結構特徵，則方法論仍不成熟。

因此：

$$
\boxed{
\text{Known Theorems First}
\rightarrow
\text{Unknown Territory Later}
}
$$

---

# 13. 從「壓 $\pi$」方法到 ACTM

先前對 $\pi$ 的研究留下了一個重要方法論：

$$
\boxed{
\text{Object}
\neq
\text{Representation}
\neq
\text{Expansion}
}
$$

同一數學對象可以具有：

- 十進位展開；
- 連分數；
- 積分表示；
- 級數表示；
- 幾何表示；
- 可序列化生成程序；
- 可驗證近似；
- 不同理論中的結構索引。

因此研究 $\pi$ 時，不必把無限小數當作主要本體。

ACTM 將此原則推廣到超越數問題：

> 不把「超越數的小數輸出」視為主要對象，而研究其生成源、輸入自由度、算子與關係轉換。

---

# 14. 生成、投影、重建、坍縮

ACTM 保留四個核心操作詞：

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

$$
\boxed{
\text{Projection}
}
$$

$$
\boxed{
\text{Reconstruction}
}
$$

$$
\boxed{
\text{Collapse}
}
$$

其含義如下。

## 14.1 生成

$$
A
\xrightarrow{\mathcal O}
B.
$$

---

## 14.2 投影

對同一生成物件採取不同表示或觀察：

$$
B
\xrightarrow{\Pi_i}
Y_i.
$$

---

## 14.3 重建

從多個投影嘗試恢復來源結構：

$$
\{Y_i\}
\longrightarrow
\widehat B.
$$

---

## 14.4 坍縮

若某映射或關係系統使原有自由度大量消失，稱為自由度坍縮。

這裡的「坍縮」是結構詞，不預設其非法或矛盾。

---

# 15. 與 Schanuel 猜想的接點

Schanuel 猜想對

$$
z_1,\ldots,z_n
$$

在 $\mathbb Q$ 上線性獨立時，預測：

$$
\operatorname{trdeg}_{\mathbb Q}
\mathbb Q
\left(
z_1,\ldots,z_n,
e^{z_1},\ldots,e^{z_n}
\right)
\ge n.
$$

可定義 predimension 型量：

$$
\delta(X)
=
\operatorname{trdeg}_{\mathbb Q}
\mathbb Q(X,e^X)
-
\operatorname{ldim}_{\mathbb Q}(X).
$$

Schanuel 猜想即預測：

$$
\boxed{
\delta(X)\ge0.
}
$$

ACTM 對此的解讀是：

> 指数映射後的代數關係總量，不能把來源的 $\mathbb Q$-線性自由度過度壓縮至產生淨自由度赤字。

也可定義形式上的 collapse quantity：

$$
\mathcal C(X)
=
\operatorname{ldim}_{\mathbb Q}(X)
-
\operatorname{trdeg}_{\mathbb Q}
\mathbb Q(X,e^X).
$$

則 Schanuel 等價於：

$$
\boxed{
\mathcal C(X)\le0.
}
$$

這提供 ACTM 與 Schanuel 的第一個正式橋梁。

---

# 16. 為什麼 ACTM 不直接從 Schanuel 開始

ACTM 第一階段故意限制：

$$
A\subseteq\overline{\mathbb Q}.
$$

理由是：

1. 代數輸入可精確分類；
2. 可利用大量已知定理校準；
3. 可以清楚區分輸入關係與算子生成關係；
4. 可以建立有限規模的可計算實驗；
5. 避免一開始就面對任意超越輸入；
6. 逐步觀察哪些結構量可能推廣到 Schanuel 的一般情形。

研究順序為：

$$
\boxed{
\text{Algebraic Seeds}
\rightarrow
\text{Mixed Seeds}
\rightarrow
\text{General Complex Tuples}
}
$$

而不是直接跳到最後一層。

---

# 17. 第一階段研究矩陣

ACTM v0.1 建議先建立有限的研究矩陣。

輸入類型：

$$
\mathcal A_1:
\text{single algebraic numbers}
$$

$$
\mathcal A_2:
\mathbb Q\text{-linearly independent algebraic tuples}
$$

$$
\mathcal A_3:
\text{multiplicatively independent algebraic tuples}
$$

$$
\mathcal A_4:
\text{highly constrained algebraic tuples}
$$

算子類型：

$$
\mathcal O_1=\exp
$$

$$
\mathcal O_2=\log
$$

$$
\mathcal O_3=\sin,\cos
$$

$$
\mathcal O_4=(x,y)\mapsto x^y
$$

後期再加入：

$$
\Gamma,
\quad
\text{elliptic},
\quad
\text{modular},
\quad
\text{period maps}.
$$

---

# 18. 最小實驗單元

每一個 ACTM 實驗使用：

$$
E=(A,\mathcal O,R_{\text{known}},R_{\text{pred}},V).
$$

其中：

- $A$：代數種子；
- $\mathcal O$：算子；
- $R_{\text{known}}$：已知關係；
- $R_{\text{pred}}$：方法論預測的關係轉換；
- $V$：與既有定理或形式系統比較的驗證程序。

輸出必須標記：

$$
\text{PROVED},
\quad
\text{KNOWN},
\quad
\text{DERIVED},
\quad
\text{CONJECTURAL},
\quad
\text{UNKNOWN}.
$$

不得混用。

---

# 19. 反例優先原則

ACTM 不應只搜尋支持案例。

對任何提出的結構規則：

$$
H(A,\mathcal O)
$$

應優先尋找：

1. 低維反例；
2. 對稱性反例；
3. branch choice 反例；
4. 週期性反例；
5. 關係重新編碼反例；
6. 輸出仍代數的退化情況；
7. 因函數方程導致的假自由度增量。

原則：

$$
\boxed{
\text{Counterexample Search Before Generalization}
}
$$

---

# 20. 不得混淆的五件事

ACTM 嚴格區分：

$$
\text{numerical complexity}
$$

$$
\text{algorithmic complexity}
$$

$$
\text{algebraic degree}
$$

$$
\text{transcendence degree}
$$

$$
\text{apparent randomness}
$$

尤其不能由小數展開的統計特徵推論超越性。

同樣也不能由：

- 幾何直覺；
- 拓撲直覺；
- 圖像複雜度；
- 高維表示；
- 不可預測性；

直接推出超越數結論。

---

# 21. 方法論中的「類全域隨機量詞」

可將超越性判定的困難理解為：

$$
\forall
P\in\mathbb Q[X]\setminus\{0\},
\qquad
P(\alpha)\neq0.
$$

多變量則為：

$$
\forall
P\in
\mathbb Q[X_1,\ldots,X_n]\setminus\{0\},
\qquad
P(\alpha_1,\ldots,\alpha_n)\neq0.
$$

「類全域隨機量詞」在 ACTM 中只作為方法論直覺，不作為概率或正式邏輯術語。

其作用是提醒：

> 直接逐一排除無限多候選關係通常不是最自然的證明策略。

ACTM 因此嘗試把全域排除問題改寫為：

$$
\boxed{
\text{structure-preservation obstruction}
}
$$

或

$$
\boxed{
\text{dimension lower bound}
}
$$

---

# 22. ACTM 的核心猜測方向

以下內容是研究方向，不是定理。

## 22.1 組合潛力原則

某些代數 tuple 的超越生成能力，主要由其關係型態與算子相容性決定，而不是由數值大小或小數表象決定。

---

## 22.2 不相容關係原則

若輸入關係族與算子的結構法則存在不可消除的不相容，則輸出可能需要增加超越自由度以容納映射。

---

## 22.3 自由度守恆／非過度坍縮原則

對某些結構性算子，來源自由度不能被任意壓縮為過少的代數自由度。

Schanuel 猜想可視為指数映射上的一個極強版本。

---

## 22.4 生成先於分類原則

與其先把輸出標記為「代數／超越」，不如先研究：

$$
\text{它由什麼生成？}
$$

$$
\text{哪些輸入關係被保留？}
$$

$$
\text{哪些自由度被增加或消除？}
$$

---

# 23. 正式研究路線

## Phase A：經典定理重建

目標：

- 用 ACTM 語言重建 Lindemann-Weierstrass；
- 重建 Gelfond-Schneider；
- 重建基本 $\exp/\log/\sin/\cos$ 超越案例；
- 確認 ACTM 沒有產生錯誤新結論。

---

## Phase B：有限 tuple 關係圖譜

對小型代數 tuple：

$$
n=1,2,3,4
$$

建立：

$$
\text{input relation graph}
\rightarrow
\text{operator transport graph}
\rightarrow
\text{known transcendence outcome}.
$$

---

## Phase C：自由度指標設計

研究是否可將：

$$
\operatorname{CP}_{\mathcal O}(A),
\quad
\operatorname{AEP}_{\mathcal O}(A),
\quad
G_{\mathcal O}(A)
$$

進一步形式化為可比較的代數／幾何量。

---

## Phase D：指数映射專案

集中研究：

$$
A
\mapsto
(A,e^A)
$$

並與：

$$
\delta(A)
$$

比較。

---

## Phase E：從代數輸入擴張到混合輸入

允許：

$$
A=(a_1,\ldots,a_r,t_1,\ldots,t_s),
$$

其中 $a_i$ 為代數數，$t_j$ 為已知或假定超越數。

研究不同來源自由度的耦合。

---

## Phase F：Schanuel 型一般化

只有在前述階段產生穩定不變量後，才研究：

$$
X\in\mathbb C^n
$$

的一般情形。

---

# 24. 最低成功標準

ACTM 不需要一開始就證明新的重大猜想。

第一階段若能完成以下任一項，即視為有價值：

1. 找到一個能統一描述多個已知超越定理的結構量；
2. 發現已知定理間此前不明顯的共同關係傳輸模式；
3. 找到某個候選不變量並以反例淘汰錯誤版本；
4. 對某個受限算子族得到新的可證下界；
5. 建立可機械驗證的代數種子－算子資料集；
6. 找到 Schanuel predimension 與更低階已知定理之間可計算的橋梁。

---

# 25. 失敗條件

若出現下列情況，ACTM 的某個版本應被判定失敗或需要重寫：

- 所謂「組合潛力」只是已知 transcendence degree 的重新命名；
- 指標無法區分任何已知案例；
- 所有預測只能在知道答案後才成立；
- 關係缺口與超越自由度不存在可證連接；
- 算子分類完全依賴事後手工解釋；
- 無法產生可被反駁的命題；
- 不能與已知定理一致。

---

# 26. ACTM 的研究哲學

ACTM 不把超越數理解為「神秘的非代數數」。

它研究的是：

$$
\boxed{
\text{代數閉包在哪些生成機制下失去封閉性}
}
$$

以及：

$$
\boxed{
\text{這種失去封閉性的自由度是否可以被結構化、量化與預測}
}
$$

因此真正的研究對象不是某一個特殊常數，而是：

$$
\boxed{
\text{algebraic-to-transcendental transition}
}
$$

---

# 27. 一句話版本

> **不要先在超越數海洋中尋找規律；先從代數世界出發，分類哪些有限關係結構在經過哪些生成算子後必須、可能或未知地產生新的超越自由度。**

---

# 28. 核心主鏈

$$
\boxed{
\text{Algebraic Seed}
\rightarrow
\text{Internal Relations}
\rightarrow
\text{Combinatorial Potential}
\rightarrow
\text{Escape Operator}
\rightarrow
\text{Relation Transport}
\rightarrow
\text{Relation Gap}
\rightarrow
\text{Transcendence Gain}
}
$$

進一步：

$$
\boxed{
\text{Known Theorems}
\rightarrow
\text{Calibration}
\rightarrow
\text{Invariant Search}
\rightarrow
\text{Restricted New Results}
\rightarrow
\text{Schanuel Interface}
}
$$

---

# 29. 下一階段

本文件只建立方法論。

下一階段正式研究應從最保守的入口開始：

$$
\boxed{
\overline{\mathbb Q}
\xrightarrow{\exp}
\mathbb C
}
$$

先建立：

1. 單一代數種子；
2. 二元代數 tuple；
3. $\mathbb Q$-線性獨立 tuple；
4. 高冗餘 tuple；
5. 指数函數的關係傳輸矩陣；
6. 已知定理回測；
7. 候選組合潛力指標；
8. 第一批反例。

在完成這一層之前，不直接宣稱對 Schanuel 猜想取得證明進展。

---

## 結語

ACTM 的核心轉向可以寫成：

$$
\boxed{
\text{What is transcendental?}
\quad\Longrightarrow\quad
\text{What generates transcendence?}
}
$$

再進一步：

$$
\boxed{
\text{What generates transcendence?}
\quad\Longrightarrow\quad
\text{Which algebraic structures possess generative potential?}
}
$$

因此，超越數問題不再只是一個輸出分類問題，而被重構為一個：

$$
\boxed{
\text{來源結構}
+
\text{生成算子}
+
\text{關係傳輸}
+
\text{自由度變化}
}
$$

的動態問題。

這是 ACTM v0.1 的起點。