# ACTM Round 2
## 代數標量、對數提升與精確逃逸邊界
### Algebraic Scalars, Logarithmic Lifts, and the Exact Escape Boundary

**研究計畫：** Algebraic Combinatorial Transcendence Methodology（ACTM）  
**作者：** Neo.K；Aletheia（GPT-5.6 Sol）  
**機構：** EveMissLab / 一言諾科技有限公司  
**日期：** 2026-09-30  
**版本：** Round 2 / v0.1  
**文件性質：** 正式研究筆記／結構校準輪  
**新穎性聲明：** 本輪的數學核心建立在 Gelfond–Schneider 與 Baker 線性形式理論上。本文的主要新增內容是 ACTM 的結構重寫、標量逃逸邊界、矩陣化關係傳輸語言與後續可反駁研究量；不宣稱重新證明或取代既有經典定理。

---

## 摘要

ACTM Round 1 研究了純代數種子在指数映射下的自由度轉換：

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

並得到：

$$
\operatorname{ldim}_{\mathbb Q}(A)
=
\operatorname{trdeg}_{\mathbb Q}\mathbb Q(e^A).
$$

Round 2 將問題提升一層，研究：

$$
(\alpha,\beta)
\longmapsto
\alpha^\beta
=
e^{\beta\lambda},
\qquad
e^\lambda=\alpha,
$$

其中：

$$
\alpha\in\overline{\mathbb Q}^{\times},
\qquad
\beta\in\overline{\mathbb Q}.
$$

核心轉換不再是「代數輸入直接進入指数」，而是：

$$
\boxed{
\text{Algebraic Point}
\rightarrow
\text{Logarithmic Lift}
\rightarrow
\text{Algebraic Scalar Action}
\rightarrow
\text{Exponential Descent}
}
$$

本輪得到一個精確的標量邊界。令：

$$
\mathcal L_{\mathrm{alg}}
=
\left\{
\lambda\in\mathbb C:
e^\lambda\in\overline{\mathbb Q}^{\times}
\right\}.
$$

若：

$$
0\neq\lambda\in\mathcal L_{\mathrm{alg}},
\qquad
\beta\in\overline{\mathbb Q},
$$

則：

$$
\boxed{
\beta\lambda\in\mathcal L_{\mathrm{alg}}
\iff
\beta\in\mathbb Q.
}
$$

等價地：

$$
\boxed{
e^{\beta\lambda}\in\overline{\mathbb Q}
\iff
\beta\in\mathbb Q.
}
$$

非平凡方向正是 Gelfond–Schneider 定理。

因此 $\mathcal L_{\mathrm{alg}}$ 雖然是一個 $\mathbb Q$-向量空間，但其代數標量穩定環精確為：

$$
\boxed{
\operatorname{Stab}_{\overline{\mathbb Q}}
(\mathcal L_{\mathrm{alg}})
=
\mathbb Q.
}
$$

利用 Baker 定理，這一結果還能矩陣化：若

$$
\lambda_1,\ldots,\lambda_r
\in
\mathcal L_{\mathrm{alg}}
$$

在 $\mathbb Q$ 上線性獨立，且

$$
B\in M_{s\times r}(\overline{\mathbb Q}),
$$

則：

$$
B\lambda\in\mathcal L_{\mathrm{alg}}^s
$$

當且僅當：

$$
B\in M_{s\times r}(\mathbb Q).
$$

這建立 ACTM 的第二條精確邊界：

$$
\boxed{
\text{Rational Coefficients}
=
\text{Algebraic Descent-Preserving Region}
}
$$

而：

$$
\boxed{
\text{Algebraic Irrational Coefficients}
=
\text{Forced Escape Region}.
}
$$

---

# 1. Round 2 的問題反轉

Gelfond–Schneider 的傳統形式是：

若：

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

且：

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

則任一適當定義的：

$$
\alpha^\beta
$$

為超越數。

ACTM 不首先把它理解為：

> 一個特殊數 $\alpha^\beta$ 為什麼超越？

而改問：

> 代數輸入 $\alpha$ 經過 logarithmic lift 之後，哪些代數標量作用仍能下降回代數點，哪些必然逃逸？

因此核心研究物件不是：

$$
\alpha^\beta
$$

單點，而是：

$$
\boxed{
\mathcal L_{\mathrm{alg}}
\subset\mathbb C.
}
$$

---

# 2. 代數對數域

定義：

$$
\mathcal L_{\mathrm{alg}}
=
\exp^{-1}
\left(
\overline{\mathbb Q}^{\times}
\right).
$$

即：

$$
\lambda\in\mathcal L_{\mathrm{alg}}
\iff
e^\lambda
\in
\overline{\mathbb Q}^{\times}.
$$

這裡的元素通常本身是超越數。

例如：

$$
\log 2,
\qquad
i\pi,
\qquad
2\pi i
$$

皆屬於：

$$
\mathcal L_{\mathrm{alg}}.
$$

---

# 3. 命題 R2.1：$\mathcal L_{\mathrm{alg}}$ 是 $\mathbb Q$-向量空間

## 加法

若：

$$
\lambda,\mu\in\mathcal L_{\mathrm{alg}},
$$

則：

$$
e^{\lambda+\mu}
=
e^\lambda e^\mu
\in
\overline{\mathbb Q}^{\times}.
$$

因此：

$$
\lambda+\mu
\in
\mathcal L_{\mathrm{alg}}.
$$

---

## 加法逆元

$$
e^{-\lambda}
=
(e^\lambda)^{-1}
\in
\overline{\mathbb Q}^{\times}.
$$

所以：

$$
-\lambda\in\mathcal L_{\mathrm{alg}}.
$$

---

## 有理標量

令：

$$
q=\frac{p}{n}\in\mathbb Q,
\qquad
n>0.
$$

則：

$$
\left(e^{q\lambda}\right)^n
=
e^{p\lambda}
=
(e^\lambda)^p
\in
\overline{\mathbb Q}.
$$

因此：

$$
e^{q\lambda}
$$

是代數數，故：

$$
q\lambda
\in
\mathcal L_{\mathrm{alg}}.
$$

所以：

$$
\boxed{
\mathcal L_{\mathrm{alg}}
\text{ is a }
\mathbb Q\text{-vector space}.
}
$$

---

# 4. 第一個精確逃逸邊界

固定：

$$
0\neq\lambda\in\mathcal L_{\mathrm{alg}}.
$$

令：

$$
\alpha=e^\lambda
\in
\overline{\mathbb Q}^{\times}.
$$

考慮：

$$
\beta\lambda,
\qquad
\beta\in\overline{\mathbb Q}.
$$

---

# 5. 命題 R2.2：標量下降剛性

## 命題

對任意：

$$
0\neq\lambda\in\mathcal L_{\mathrm{alg}},
$$

與：

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

有：

$$
\boxed{
\beta\lambda\in\mathcal L_{\mathrm{alg}}
\iff
\beta\in\mathbb Q.
}
$$

等價地：

$$
\boxed{
e^{\beta\lambda}
\in
\overline{\mathbb Q}^{\times}
\iff
\beta\in\mathbb Q.
}
$$

---

## 證明：有理方向

若：

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

由上一節：

$$
\beta\lambda
\in
\mathcal L_{\mathrm{alg}}.
$$

---

## 證明：代數無理方向

若：

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

且：

$$
\lambda
$$

為非零的 algebraic logarithm，則 Gelfond–Schneider 定理給出：

$$
e^{\beta\lambda}
$$

為超越數。

因此：

$$
\beta\lambda
\notin
\mathcal L_{\mathrm{alg}}.
$$

證畢。

---

# 6. ACTM 的第一條「if and only if」逃逸定律

Round 1 告訴我們：

$$
\mathbb Q\text{-linear rank}
$$

控制代數種子經 $\exp$ 後的超越自由度。

Round 2 現在得到更尖銳的結果：

$$
\boxed{
\beta\in\mathbb Q
\Rightarrow
\text{descent stays algebraic},
}
$$

而：

$$
\boxed{
\beta\in
\overline{\mathbb Q}\setminus\mathbb Q
\Rightarrow
\text{forced transcendental escape}.
}
$$

這不是概率性傾向。

這是一條精確邊界。

---

# 7. 代數標量穩定環

定義：

$$
\operatorname{Stab}_{\overline{\mathbb Q}}
(\mathcal L_{\mathrm{alg}})
=
\left\{
\beta\in\overline{\mathbb Q}:
\beta\mathcal L_{\mathrm{alg}}
\subseteq
\mathcal L_{\mathrm{alg}}
\right\}.
$$

由 R2.2：

$$
\boxed{
\operatorname{Stab}_{\overline{\mathbb Q}}
(\mathcal L_{\mathrm{alg}})
=
\mathbb Q.
}
$$

因此：

> algebraic logarithm locus 不是一個 $\overline{\mathbb Q}$-向量空間。

它只自然接受：

$$
\mathbb Q
$$

的標量作用。

這是 ACTM Round 2 的核心結構事實。

---

# 8. Baker 剛性

Baker 理論給出更一般的結果。

若：

$$
\lambda_1,\ldots,\lambda_r
\in
\mathcal L_{\mathrm{alg}}
$$

在 $\mathbb Q$ 上線性獨立，則它們在：

$$
\overline{\mathbb Q}
$$

上仍線性獨立。

因此：

$$
\boxed{
\operatorname{ldim}_{\mathbb Q}
(\lambda_1,\ldots,\lambda_r)
=
\operatorname{ldim}_{\overline{\mathbb Q}}
(\lambda_1,\ldots,\lambda_r).
}
$$

對任意有限 algebraic-logarithm tuple 成立。

---

# 9. 標量擴張缺陷

ACTM 定義工作量：

$$
\operatorname{SED}(Z)
=
\operatorname{ldim}_{\mathbb Q}(Z)
-
\operatorname{ldim}_{\overline{\mathbb Q}}(Z),
$$

稱為：

**Scalar-Extension Defect**。

一般而言：

$$
\operatorname{SED}(Z)\ge0.
$$

Baker 剛性告訴我們：

若：

$$
Z\subset\mathcal L_{\mathrm{alg}},
$$

則：

$$
\boxed{
\operatorname{SED}(Z)=0.
}
$$

因此：

$$
\mathcal L_{\mathrm{alg}}
$$

可以被理解為一個對 algebraic scalar extension 具有極強剛性的 $\mathbb Q$-向量空間。

---

# 10. Gelfond–Schneider 的 SED 重寫

令：

$$
0\neq\lambda\in\mathcal L_{\mathrm{alg}},
$$

且：

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

考慮：

$$
Z=(\lambda,\beta\lambda).
$$

因為 $\beta$ 無理：

$$
\operatorname{ldim}_{\mathbb Q}
(\lambda,\beta\lambda)=2.
$$

但因為：

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

所以：

$$
\operatorname{ldim}_{\overline{\mathbb Q}}
(\lambda,\beta\lambda)=1.
$$

故：

$$
\boxed{
\operatorname{SED}
(\lambda,\beta\lambda)
=
1.
}
$$

如果：

$$
\beta\lambda
\in
\mathcal L_{\mathrm{alg}},
$$

則整個 tuple：

$$
(\lambda,\beta\lambda)
$$

皆位於：

$$
\mathcal L_{\mathrm{alg}},
$$

與 Baker 剛性要求：

$$
\operatorname{SED}=0
$$

矛盾。

所以：

$$
\boxed{
\beta\lambda
\notin
\mathcal L_{\mathrm{alg}}.
}
$$

即：

$$
e^{\beta\lambda}
$$

超越。

這是 Gelfond–Schneider 在 Baker 理論下的結構性重寫。

---

# 11. ACTM 解讀：真正的衝突在哪裡

傳統表面：

$$
\alpha^\beta
$$

看起來像「代數數做一個無理代數次方」。

ACTM 將其展開為：

$$
\boxed{
\alpha
\rightarrow
\lambda
\rightarrow
\beta\lambda
\rightarrow
e^{\beta\lambda}.
}
$$

其中：

$$
e^\lambda=\alpha.
$$

真正的衝突不是「次方很奇怪」。

而是：

$$
\boxed{
\mathbb Q\text{-rank}
\neq
\overline{\mathbb Q}\text{-rank}
}
$$

被強行製造在一個不允許出現這種 defect 的特殊 locus 上。

所以超越輸出是：

$$
\boxed{
\text{rank incompatibility}
\Rightarrow
\text{failure of algebraic descent}.
}
$$

---

# 12. 矩陣化

Round 2 接著把單一標量：

$$
\beta
$$

推廣為代數矩陣。

令：

$$
\lambda
=
(\lambda_1,\ldots,\lambda_r)^T,
$$

其中：

$$
\lambda_i
\in
\mathcal L_{\mathrm{alg}}
$$

且在：

$$
\mathbb Q
$$

上線性獨立。

由 Baker：

$$
\lambda_i
$$

也在：

$$
\overline{\mathbb Q}
$$

上線性獨立。

取：

$$
B
=
(b_{ji})
\in
M_{s\times r}
(\overline{\mathbb Q}).
$$

定義：

$$
\mu
=
B\lambda.
$$

即：

$$
\mu_j
=
\sum_{i=1}^{r}
b_{ji}\lambda_i.
$$

---

# 13. 命題 R2.3：代數矩陣下降剛性

## 命題

在上述條件下：

$$
\boxed{
B\lambda
\in
\mathcal L_{\mathrm{alg}}^s
\iff
B\in M_{s\times r}(\mathbb Q).
}
$$

---

# 14. R2.3 的有理方向

若：

$$
B\in M_{s\times r}(\mathbb Q),
$$

則每個：

$$
\mu_j
=
\sum_i
b_{ji}\lambda_i
$$

是：

$$
\mathcal L_{\mathrm{alg}}
$$

中的有理線性組合。

因為：

$$
\mathcal L_{\mathrm{alg}}
$$

是 $\mathbb Q$-向量空間，所以：

$$
\mu_j
\in
\mathcal L_{\mathrm{alg}}.
$$

故：

$$
B\lambda
\in
\mathcal L_{\mathrm{alg}}^s.
$$

---

# 15. R2.3 的逆方向

假設：

$$
B\lambda
\in
\mathcal L_{\mathrm{alg}}^s.
$$

任取第 $j$ 列：

$$
b_j
=
(b_{j1},\ldots,b_{jr}).
$$

若：

$$
b_j
\notin
\mathbb Q^r,
$$

則：

$$
\mu_j
=
b_j\cdot\lambda
$$

不在：

$$
\operatorname{span}_{\mathbb Q}
\{\lambda_1,\ldots,\lambda_r\}
$$

中。

因此：

$$
\lambda_1,\ldots,\lambda_r,\mu_j
$$

在 $\mathbb Q$ 上線性獨立。

但：

$$
\mu_j
=
\sum_i b_{ji}\lambda_i
$$

是 $\overline{\mathbb Q}$-線性組合，所以：

$$
\lambda_1,\ldots,\lambda_r,\mu_j
$$

在 $\overline{\mathbb Q}$ 上線性相依。

另一方面，假設中的所有元素皆屬於：

$$
\mathcal L_{\mathrm{alg}}.
$$

這違反 Baker 剛性。

所以每一列必須滿足：

$$
b_j\in\mathbb Q^r.
$$

因此：

$$
B\in M_{s\times r}(\mathbb Q).
$$

證畢。

---

# 16. 單列版本：多基底 Gelfond–Baker 逃逸

取：

$$
b
=
(b_1,\ldots,b_r)
\in
\overline{\mathbb Q}^{\,r}.
$$

令：

$$
\mu
=
\sum_{i=1}^{r}
b_i\lambda_i.
$$

若：

$$
b\notin\mathbb Q^r,
$$

則 R2.3 立即給出：

$$
\boxed{
e^\mu
=
\exp
\left(
\sum_i b_i\lambda_i
\right)
\notin
\overline{\mathbb Q}.
}
$$

若：

$$
\alpha_i=e^{\lambda_i},
$$

則可以形式上寫成：

$$
e^\mu
=
\prod_{i=1}^{r}
\alpha_i^{b_i},
$$

其中 branch 由選定的 $\lambda_i$ 固定。

因此：

$$
\boxed{
b\notin\mathbb Q^r
\Rightarrow
\prod_i
\alpha_i^{b_i}
\text{ transcendental}
}
$$

在 logarithmic lifts $\lambda_i$ 為 $\mathbb Q$-獨立的條件下成立。

---

# 17. 精確係數邊界

因此對一組固定的獨立 logarithmic basis：

$$
\lambda_1,\ldots,\lambda_r,
$$

存在精確分界：

$$
\boxed{
b\in\mathbb Q^r
\iff
e^{b\cdot\lambda}
\in
\overline{\mathbb Q}.
}
$$

以及：

$$
\boxed{
b
\in
\overline{\mathbb Q}^{\,r}
\setminus
\mathbb Q^r
\iff
e^{b\cdot\lambda}
\text{ transcendental}.
}
$$

這是 Round 2 最重要的多維版本。

---

# 18. 例 1：Gelfond–Schneider 常數

令：

$$
\alpha=2,
\qquad
\lambda=\log2,
\qquad
\beta=\sqrt2.
$$

則：

$$
\sqrt2\notin\mathbb Q.
$$

所以：

$$
\sqrt2\log2
\notin
\mathcal L_{\mathrm{alg}},
$$

因此：

$$
\boxed{
2^{\sqrt2}
}
$$

為超越數。

---

# 19. 例 2：有理標量不逃逸

同樣取：

$$
\lambda=\log2.
$$

若：

$$
\beta=\frac32,
$$

則：

$$
e^{\frac32\lambda}
=
2^{3/2}
=
2\sqrt2
\in
\overline{\mathbb Q}.
$$

所以：

$$
\frac32\lambda
\in
\mathcal L_{\mathrm{alg}}.
$$

---

# 20. 例 3：多基底逃逸

取：

$$
\lambda_1=\log2,
\qquad
\lambda_2=\log3.
$$

因為：

$$
2^m3^n=1,
\qquad
m,n\in\mathbb Z
$$

只可能：

$$
m=n=0,
$$

故：

$$
\lambda_1,\lambda_2
$$

在 $\mathbb Q$ 上線性獨立。

令：

$$
b=
\left(
\sqrt2,
\frac13
\right).
$$

因為：

$$
b\notin\mathbb Q^2,
$$

所以：

$$
\boxed{
2^{\sqrt2}3^{1/3}
}
$$

為超越數。

---

# 21. 例 4：多基底代數下降

同樣：

$$
\lambda_1=\log2,
\qquad
\lambda_2=\log3.
$$

取：

$$
b=
\left(
\frac12,
\frac13
\right)
\in
\mathbb Q^2.
$$

則：

$$
e^{b\cdot\lambda}
=
2^{1/2}3^{1/3}
$$

為代數數。

所以 Round 2 的分界不是：

$$
\text{係數是否整數},
$$

而是：

$$
\boxed{
\text{係數是否屬於 }\mathbb Q.
}
$$

---

# 22. Branch 不再視為雜訊

對固定：

$$
\alpha\in\overline{\mathbb Q}^{\times},
$$

選一個 logarithm：

$$
\lambda_0.
$$

所有 branch 為：

$$
\lambda_k
=
\lambda_0+2\pi i k,
\qquad
k\in\mathbb Z.
$$

定義：

$$
\tau=2\pi i.
$$

則：

$$
e^\tau=1,
$$

所以：

$$
\tau\in\mathcal L_{\mathrm{alg}}.
$$

因此：

$$
\boxed{
\lambda_k
=
\lambda_0+k\tau
}
$$

只是：

$$
\mathbb Z\subset\mathbb Q
$$

係數作用。

換言之：

> branch change 本身屬於 algebraic descent-preserving region。

它不是造成超越逃逸的來源。

---

# 23. Branch 與代數無理標量的分離

現在令：

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

每一個 branch output：

$$
x_k
=
e^{\beta\lambda_k}
$$

皆為超越數。

而：

$$
x_k
=
e^{\beta\lambda_0}
e^{2\pi i k\beta}.
$$

令：

$$
q_\beta
=
e^{2\pi i\beta}.
$$

則：

$$
\boxed{
x_k
=
x_0q_\beta^k.
}
$$

由 R2.2 應用於：

$$
\tau=2\pi i,
$$

可得：

$$
q_\beta
$$

亦為超越數。

---

# 24. Branch family 的關係結構

雖然每個：

$$
x_k
$$

都是超越數，但整個 branch family 並不「隨機」。

因為：

$$
x_k=x_0q_\beta^k.
$$

所以永遠滿足：

$$
\boxed{
x_{k+1}x_{k-1}
=
x_k^2.
}
$$

更一般：

$$
x_{k+a}x_{k+b}
=
x_kx_{k+a+b}.
$$

因此：

$$
\boxed{
\text{Every value transcendental}
\not\Rightarrow
\text{values algebraically independent}.
}
$$

這是 ACTM 必須保留的重要警告。

---

# 25. Root-of-unity 與 branch rank

考慮：

$$
\lambda_0,
\qquad
\tau=2\pi i.
$$

若：

$$
\alpha=e^{\lambda_0}
$$

是 root of unity，則存在：

$$
m\neq0
$$

使：

$$
\alpha^m=1.
$$

因此：

$$
m\lambda_0
\in
2\pi i\mathbb Z,
$$

所以：

$$
\lambda_0
$$

與：

$$
\tau
$$

在 $\mathbb Q$ 上線性相依。

若 $\alpha$ 不是 root of unity，則它們在 $\mathbb Q$ 上線性獨立。

因此 branch lift 本身還帶有一個可計算的 rank：

$$
\rho_{\mathrm{branch}}
=
\operatorname{ldim}_{\mathbb Q}
\{\lambda_0,2\pi i\}
\in
\{1,2\}.
$$

---

# 26. Round 2 的新自由度軸

Round 1 的主軸：

$$
\boxed{
\text{Direction Rank}
=
\operatorname{ldim}_{\mathbb Q}.
}
$$

Round 2 加入：

$$
\boxed{
\text{Scalar-Extension Defect}
=
\operatorname{SED}.
}
$$

因此 ACTM 最低二軸模型變成：

$$
\boxed{
(\text{Direction Rank},
\text{Scalar-Extension Defect})
}
$$

第一軸問：

> 有多少個獨立方向？

第二軸問：

> 這些方向在從 $\mathbb Q$ 擴張到 $\overline{\mathbb Q}$ 時，是否產生額外線性坍縮？

在 algebraic logarithm locus 中：

$$
\operatorname{SED}=0.
$$

所以任何：

$$
\operatorname{SED}>0
$$

的構造都不能完整停留在該 locus。

---

# 27. 係數新穎度

對矩陣：

$$
B\in M_{s\times r}(\overline{\mathbb Q}),
$$

可以定義工作量：

$$
\kappa(B)
=
\dim_{\mathbb Q}
\operatorname{span}_{\mathbb Q}
\left(
\mathbb Q^r
\cup
\{b_1,\ldots,b_s\}
\right)
-r,
$$

其中：

$$
b_j
$$

為 $B$ 的第 $j$ 列。

它衡量 algebraic coefficient rows 相對於 rational coefficient space 新增多少個 $\mathbb Q$-方向。

若：

$$
\kappa(B)=0,
$$

則：

$$
B
$$

其實是 rational matrix。

若：

$$
\kappa(B)>0,
$$

則不可能所有：

$$
e^{(B\lambda)_j}
$$

都是代數數。

---

# 28. 注意：$\kappa(B)$ 尚不是 transcendence-degree 下界

ACTM 不得直接宣稱：

$$
\operatorname{trdeg}
\mathbb Q
\left(
e^{B\lambda}
\right)
\ge
\kappa(B).
$$

Baker 理論足以排除某些 simultaneous algebraic descent，但不自動給出這個完整代數獨立下界。

因此：

$$
\boxed{
\kappa(B)
}
$$

目前只是候選「coefficient novelty」量。

將它連接到：

$$
\operatorname{trdeg}
$$

是後續真正困難的問題。

---

# 29. 這裡第一次出現 Schanuel 型缺口

對單一輸出：

$$
e^{b\cdot\lambda},
$$

Round 2 可以判定：

$$
b\in\mathbb Q^r
$$

或：

$$
b\notin\mathbb Q^r
$$

造成 algebraic / transcendental 的精確分界。

但若同時考慮多個：

$$
b_1,\ldots,b_s,
$$

我們會開始問：

> 有多少個輸出只是各自超越？

與：

> 有多少個輸出彼此代數獨立？

這兩個問題不相同。

因此自然出現：

$$
\boxed{
\text{Individual Escape}
\quad\neq\quad
\text{Joint Algebraic Independence}.
}
$$

這正是 ACTM 逐步接近 Schanuel 的位置。

---

# 30. 與 six exponentials / four exponentials 的接口

經典 six exponentials theorem 考慮：

$$
x_1,x_2
$$

在 $\mathbb Q$ 上線性獨立，及：

$$
y_1,y_2,y_3
$$

在 $\mathbb Q$ 上線性獨立。

則六個：

$$
e^{x_i y_j}
$$

中至少有一個為超越數。

相鄰的 four exponentials conjecture 對：

$$
2\times2
$$

矩陣提出類似預測，但仍屬未解方向。

這顯示 ACTM 的 matrix escape 並非人為構造：

$$
\boxed{
\text{rank}
+
\text{matrix coupling}
+
\text{simultaneous descent}
}
$$

本來就是超越數論的核心前沿之一。

---

# 31. ACTM Round 2 的核心轉換

Round 1：

$$
\boxed{
\text{Linear Rank}
\rightarrow
\text{Transcendence Degree}.
}
$$

Round 2：

$$
\boxed{
\text{Algebraic Scalar Action}
\rightarrow
\text{Rank Defect}
\rightarrow
\text{Descent Obstruction}.
}
$$

兩輪合併：

$$
\boxed{
\text{Seed Directions}
+
\text{Coefficient Field}
+
\text{Operator Structure}
}
$$

開始取代單純的：

$$
\text{output classification}.
$$

---

# 32. 對原始方法論問題的回答

原始問題是：

> 哪些普通代數具有組合潛力，使其經組合後成為傳統意義下的超越數？

Round 2 給出一個精確回答：

首先不要只看 algebraic values：

$$
\alpha_i.
$$

將它們提升成 logarithmic generators：

$$
\lambda_i
\in
\log\alpha_i.
$$

若這些 generators 在：

$$
\mathbb Q
$$

上獨立，那麼：

- rational coefficient combinations 可以下降回 algebraic outputs；
- algebraic irrational coefficient combinations 必須逃出 algebraic outputs。

因此「組合潛力」之一就是：

$$
\boxed{
\text{independent logarithmic directions}
+
\text{non-rational algebraic coefficients}.
}
$$

---

# 33. Round 2 判定

**PASS — Exact Scalar Escape Boundary Established**

本輪完成：

1. 定義 algebraic logarithm locus：
   $$
   \mathcal L_{\mathrm{alg}}.
   $$

2. 證明其為 $\mathbb Q$-向量空間。

3. 用 Gelfond–Schneider 得到：
   $$
   \beta\lambda\in\mathcal L_{\mathrm{alg}}
   \iff
   \beta\in\mathbb Q.
   $$

4. 得到：
   $$
   \operatorname{Stab}_{\overline{\mathbb Q}}
   (\mathcal L_{\mathrm{alg}})
   =
   \mathbb Q.
   $$

5. 引入 Scalar-Extension Defect：
   $$
   \operatorname{SED}.
   $$

6. 用 Baker 理論得到：
   $$
   Z\subset\mathcal L_{\mathrm{alg}}
   \Rightarrow
   \operatorname{SED}(Z)=0.
   $$

7. 得到 matrix descent rigidity：
   $$
   B\lambda\in
   \mathcal L_{\mathrm{alg}}^s
   \iff
   B\in M_{s\times r}(\mathbb Q).
   $$

8. 將 branch freedom 吸收到：
   $$
   2\pi i
   $$
   generator，使 branch shift 成為 rational/integer transform。

9. 分離：
   $$
   \text{branch freedom}
   $$
   與：
   $$
   \text{transcendence-generating scalar freedom}.
   $$

10. 找到下一個真正前沿：
   $$
   \text{individual escape}
   \rightarrow
   \text{joint algebraic independence}.
   $$

---

# 34. Round 3 正式入口

下一輪最自然的入口不再是單一：

$$
\alpha^\beta.
$$

而是指数矩陣：

$$
\boxed{
M_{ij}
=
e^{x_i y_j}.
}
$$

研究：

$$
\boxed{
\text{row rank}
+
\text{column rank}
+
\text{algebraic descent capacity}.
}
$$

優先順序：

### R3-A

重新構造 six exponentials theorem 的 ACTM rank picture：

$$
2\times3.
$$

### R3-B

分析為什麼：

$$
2\times2
$$

會成為 four exponentials conjecture 的未解邊界。

### R3-C

建立：

$$
\operatorname{MatrixEscape}(X,Y)
$$

的候選自由度量，但不預設其等於 transcendence degree。

### R3-D

尋找：

$$
2\times2
\rightarrow
2\times3
$$

之間真正增加的是哪一個結構約束，而不是只把它看成「多兩個數」。

這將是 ACTM 第一次真正進入：

$$
\boxed{
\text{simultaneous transcendence}
}
$$

而非單點 transcendence。

---

# 35. 一句話結論

> **Round 2 顯示：algebraic logarithm locus 是一個對 $\mathbb Q$ 封閉、但對 algebraic irrational scalar 不封閉的剛性空間；一旦用 $\overline{\mathbb Q}\setminus\mathbb Q$ 的係數作用於獨立 logarithmic directions，就會製造不能再下降回 algebraic exponential values 的 rank incompatibility。**

核心式：

$$
\boxed{
\mathcal L_{\mathrm{alg}}
=
\exp^{-1}
(\overline{\mathbb Q}^{\times})
}
$$

$$
\boxed{
\operatorname{Stab}_{\overline{\mathbb Q}}
(\mathcal L_{\mathrm{alg}})
=
\mathbb Q
}
$$

以及：

$$
\boxed{
B\lambda\in
\mathcal L_{\mathrm{alg}}^s
\iff
B\in
M_{s\times r}(\mathbb Q)
}
$$

在 $\lambda_1,\ldots,\lambda_r$ 為 $\mathbb Q$-獨立 algebraic logarithms 的條件下成立。

這是 ACTM 的第二個正式基準點。

---

# 參考資料

1. **Gel'fond–Schneider method**, Encyclopedia of Mathematics.  
   https://encyclopediaofmath.org/wiki/Gel%27fond%E2%80%93Schneider_method

2. **Schneider method**, Encyclopedia of Mathematics.  
   https://encyclopediaofmath.org/wiki/Schneider_method

3. **Transcendental number**, Encyclopedia of Mathematics.  
   https://encyclopediaofmath.org/wiki/Transcendental_number

4. **Gel'fond–Baker method**, Encyclopedia of Mathematics.  
   https://encyclopediaofmath.org/wiki/Gel%27fond-Baker_method

5. Alan Baker, *Transcendental Number Theory*, Cambridge University Press.

---

**ACTM Round 2 完**