# ACTM Round 1
## 代數種子在指数映射下的精確自由度轉換
### Exact Freedom and Relation Transport of Algebraic Seeds Under Exponentiation

**研究計畫：** Algebraic Combinatorial Transcendence Methodology（ACTM）  
**作者：** Neo.K；Aletheia（GPT-5.6 Sol）  
**機構：** EveMissLab / 一言諾科技有限公司  
**日期：** 2026-09-30  
**版本：** Round 1 / v0.1  
**文件性質：** 正式研究筆記／校準輪  
**新穎性聲明：** 本輪主要結果是 Lindemann–Weierstrass 定理的結構性推論與 ACTM 重寫，不宣稱為新的超越數定理。新的部分目前只在研究組織方式、候選量與後續研究問題。

---

## 摘要

ACTM 的第一輪不直接碰 Schanuel 猜想的一般複數輸入，而限制於最乾淨的校準域：

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

並研究逐座標指数映射

$$
\exp(A)
=
(e^{a_1},\ldots,e^{a_n}).
$$

本輪得到一個對 ACTM 極重要的精確基準：若

$$
r(A)
=
\operatorname{ldim}_{\mathbb Q}(a_1,\ldots,a_n),
$$

則 Lindemann–Weierstrass 定理推出

$$
\boxed{
\operatorname{trdeg}_{\mathbb Q}
\mathbb Q(e^{a_1},\ldots,e^{a_n})
=
r(A).
}
$$

因此，在純代數種子域中，指数映射將每一個 $\mathbb Q$-線性自由度精確轉換成一個代數獨立自由度。

更進一步，定義整數關係格

$$
L(A)
=
\left\{
m\in\mathbb Z^n:
m\cdot A=0
\right\}.
$$

則 $\exp(A)$ 在 Laurent 多項式環中的全部代數關係，恰由

$$
X^m-1,
\qquad
m\in L(A)
$$

生成。換句話說，在代數輸入上，指数函數並未產生額外的隱藏代數關係；輸入端的加法整數關係被精確轉換成輸出端的乘法 binomial 關係。

本輪因此建立 ACTM 的第一條校準原理：

$$
\boxed{
\text{Additive Linear Freedom}
\longleftrightarrow
\text{Multiplicative Algebraic Freedom}
}
$$

以及第一條精確的關係傳輸定律：

$$
\boxed{
\text{Input Relation Lattice}
\longleftrightarrow
\text{Output Lattice Ideal}.
}
$$

---

# 1. 本輪研究問題

ACTM 的原始問題是：

> 哪些代數輸入具有組合潛力，使某個非代數生成算子產生新的超越自由度？

第一輪選擇最經典的算子：

$$
\mathcal O=\exp.
$$

並限制：

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

研究目標不是重新證明 Lindemann–Weierstrass，而是回答三個 ACTM 問題：

1. 代數輸入的哪一種自由度控制輸出的超越自由度？
2. 輸入中的關係經過 $\exp$ 後如何轉換？
3. 除了由輸入關係直接誘導的關係外，輸出是否存在隱藏的額外代數關係？

---

# 2. 基本設定

令

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

定義其 $\mathbb Q$-線性秩：

$$
r(A)
=
\operatorname{ldim}_{\mathbb Q}
\operatorname{span}_{\mathbb Q}
\{a_1,\ldots,a_n\}.
$$

為簡潔，後文寫成：

$$
r=r(A).
$$

定義指数像：

$$
E(A)
=
(e^{a_1},\ldots,e^{a_n})
\in
(\mathbb C^\times)^n.
$$

ACTM 的第一個候選組合潛力量定義為：

$$
\boxed{
\operatorname{CP}_{\exp}^{\mathrm{alg}}(A)
:=
r(A).
}
$$

此定義目前只針對純代數種子。

---

# 3. 校準定理：Lindemann–Weierstrass

本輪使用的經典定理可寫成：

> 若
>
> $$
> \beta_1,\ldots,\beta_r
> $$
>
> 是 $\mathbb Q$-線性獨立的代數數，則
>
> $$
> e^{\beta_1},\ldots,e^{\beta_r}
> $$
>
> 在 $\mathbb Q$ 上代數獨立。

等價形式是：

若

$$
\lambda_1,\ldots,\lambda_s
$$

為彼此不同的代數數，且

$$
c_1,\ldots,c_s
\in
\overline{\mathbb Q}
$$

不全為零，則

$$
c_1e^{\lambda_1}
+\cdots+
c_se^{\lambda_s}
\neq0.
$$

第二種形式對本輪的「完整關係傳輸」尤其有用。

---

# 4. 命題 R1.1：精確自由度轉換

## 命題

對任意

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

有

$$
\boxed{
\operatorname{trdeg}_{\mathbb Q}
\mathbb Q
(e^{a_1},\ldots,e^{a_n})
=
r(A).
}
$$

由於 $A$ 本身全部代數，也等價於：

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

---

## 證明

取

$$
\beta_1,\ldots,\beta_r
$$

為

$$
\operatorname{span}_{\mathbb Q}
\{a_1,\ldots,a_n\}
$$

的一組 $\mathbb Q$-基底。

因為每個 $a_i$ 為代數數，所以每個 $\beta_j$ 也為代數數。

由 Lindemann–Weierstrass：

$$
e^{\beta_1},\ldots,e^{\beta_r}
$$

代數獨立，因此

$$
\operatorname{trdeg}_{\mathbb Q}
\mathbb Q
(e^{\beta_1},\ldots,e^{\beta_r})
=
r.
$$

另一方面，每個 $a_i$ 可寫為

$$
a_i
=
\sum_{j=1}^{r}
q_{ij}\beta_j,
\qquad
q_{ij}\in\mathbb Q.
$$

清除分母後，存在正整數 $N$ 使：

$$
N a_i
=
\sum_{j=1}^{r}
m_{ij}\beta_j,
\qquad
m_{ij}\in\mathbb Z.
$$

因此：

$$
(e^{a_i})^N
=
\prod_{j=1}^{r}
(e^{\beta_j})^{m_{ij}}.
$$

故每個 $e^{a_i}$ 對

$$
\mathbb Q
(e^{\beta_1},\ldots,e^{\beta_r})
$$

為代數的。

反方向，每個 $\beta_j$ 也可寫成 $a_i$ 的有理線性組合，所以同樣存在整數 $M$ 使：

$$
(e^{\beta_j})^M
$$

屬於

$$
\mathbb Q
(e^{a_1},\ldots,e^{a_n}).
$$

因此兩個函數域彼此只差代數擴張，超越次數相同：

$$
\operatorname{trdeg}_{\mathbb Q}
\mathbb Q
(e^{a_1},\ldots,e^{a_n})
=
r.
$$

證畢。

---

# 5. 第一個 ACTM 結論：組合潛力不是數值大小，而是線性秩

對純代數輸入，在指数算子下：

$$
\boxed{
\operatorname{CP}_{\exp}^{\mathrm{alg}}(A)
=
\operatorname{ldim}_{\mathbb Q}(A)
}
$$

而且：

$$
\boxed{
\Delta_{\exp}(A)
=
\operatorname{CP}_{\exp}^{\mathrm{alg}}(A).
}
$$

因此第一輪回答了：

> 哪些代數具有「組合潛力」？

至少對 $\exp$ 而言，重要的不是：

- $a_i$ 大不大；
- 小數是否複雜；
- 代數次數單獨有多高；
- 是否具有視覺上的不規則性；

而是：

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

---

# 6. 整數關係格

定義：

$$
L(A)
=
\ker
\left(
\mathbb Z^n
\longrightarrow
\overline{\mathbb Q}
\right),
$$

其中映射為：

$$
m=(m_1,\ldots,m_n)
\longmapsto
m_1a_1+\cdots+m_na_n.
$$

因此：

$$
L(A)
=
\left\{
m\in\mathbb Z^n:
m\cdot A=0
\right\}.
$$

由秩－零度關係：

$$
\boxed{
\operatorname{rank}_{\mathbb Z}L(A)
=
n-r(A).
}
$$

這個格完整描述輸入座標間的整數加法關係。

---

# 7. 指数映射的直接關係傳輸

若

$$
m\in L(A),
$$

則：

$$
m\cdot A=0.
$$

因此：

$$
e^{m\cdot A}=1.
$$

也就是：

$$
\prod_{i=1}^{n}
(e^{a_i})^{m_i}
=
1.
$$

若以

$$
X_i=e^{a_i},
$$

記號，得到：

$$
X^m=1.
$$

因此輸入的加法關係：

$$
\sum_i m_i a_i=0
$$

被轉換成輸出的乘法關係：

$$
\prod_i X_i^{m_i}=1.
$$

這是：

$$
\boxed{
(\mathbb C,+)
\xrightarrow{\exp}
(\mathbb C^\times,\cdot)
}
$$

的群同態結構在本問題中的直接表現。

---

# 8. 命題 R1.2：完整關係傳輸

令 Laurent 多項式環：

$$
R
=
\overline{\mathbb Q}
[X_1^{\pm1},\ldots,X_n^{\pm1}].
$$

定義評值映射：

$$
\operatorname{ev}_A:
R
\longrightarrow
\mathbb C
$$

為：

$$
X_i
\longmapsto
e^{a_i}.
$$

定義輸出關係理想：

$$
J_{\exp}(A)
=
\ker(\operatorname{ev}_A).
$$

---

## 命題

有：

$$
\boxed{
J_{\exp}(A)
=
\left\langle
X^m-1:
m\in L(A)
\right\rangle.
}
$$

換句話說：

> $\exp(A)$ 的所有 Laurent 代數關係，都由輸入 $A$ 的整數線性關係生成。

---

# 9. 命題 R1.2 的證明

任取：

$$
P(X)
=
\sum_{u\in F}
c_uX^u
\in
R,
$$

其中 $F\subset\mathbb Z^n$ 有限，且：

$$
c_u\in\overline{\mathbb Q}.
$$

假設：

$$
P(e^{a_1},\ldots,e^{a_n})=0.
$$

則：

$$
\sum_{u\in F}
c_u e^{u\cdot A}
=
0.
$$

因為：

$$
u\cdot A
$$

仍為代數數。

現在在 $F$ 上定義等價關係：

$$
u\sim v
\iff
u\cdot A=v\cdot A.
$$

等價於：

$$
u-v\in L(A).
$$

將所有項按相同的指数

$$
\lambda=u\cdot A
$$

分組，可得：

$$
\sum_{\lambda}
C_\lambda e^\lambda
=
0,
$$

其中：

$$
C_\lambda
=
\sum_{u:\,u\cdot A=\lambda}
c_u
\in
\overline{\mathbb Q}.
$$

不同的 $\lambda$ 是彼此不同的代數數。

由 Lindemann–Weierstrass 的線性獨立形式：

$$
C_\lambda=0
$$

對每個 $\lambda$ 都成立。

因此，在每個等價類中，係數和為零。

固定該類代表元 $u_0$，則：

$$
\sum_{u\sim u_0}
c_uX^u
=
\sum_{u\neq u_0}
c_u
\left(
X^u-X^{u_0}
\right).
$$

而：

$$
X^u-X^{u_0}
=
X^{u_0}
\left(
X^{u-u_0}-1
\right),
$$

且：

$$
u-u_0\in L(A).
$$

因此每一組都屬於：

$$
\left\langle
X^m-1:
m\in L(A)
\right\rangle.
$$

故：

$$
P
\in
\left\langle
X^m-1:
m\in L(A)
\right\rangle.
$$

反方向顯然成立。

證畢。

---

# 10. 幾何版本

令：

$$
x_A
=
(e^{a_1},\ldots,e^{a_n})
\in
\mathbb G_m^n.
$$

考慮它在

$$
\overline{\mathbb Q}
$$

上的 Zariski closure：

$$
T_A
=
\overline{\{x_A\}}^{\,\mathrm{Zar}}_{\overline{\mathbb Q}}.
$$

由命題 R1.2，$T_A$ 由：

$$
X^m=1,
\qquad
m\in L(A)
$$

定義，因此是一個代數子環面，而且：

$$
\boxed{
\dim T_A
=
n-\operatorname{rank}_{\mathbb Z}L(A)
=
r(A).
}
$$

所以：

$$
\boxed{
\dim
\overline{\{\exp(A)\}}^{\,\mathrm{Zar}}_{\overline{\mathbb Q}}
=
\operatorname{ldim}_{\mathbb Q}(A).
}
$$

---

# 11. Round 1 的精確守恆式

輸入自由度：

$$
F_{\mathrm{in}}
=
r(A).
$$

輸入獨立整數約束數：

$$
C_{\mathrm{in}}
=
n-r(A).
$$

輸出 Zariski 維度：

$$
F_{\mathrm{out}}
=
\dim T_A
=
r(A).
$$

輸出代數餘維：

$$
C_{\mathrm{out}}
=
n-\dim T_A
=
n-r(A).
$$

因此：

$$
\boxed{
F_{\mathrm{in}}
=
F_{\mathrm{out}}
}
$$

以及：

$$
\boxed{
C_{\mathrm{in}}
=
C_{\mathrm{out}}.
}
$$

這是 ACTM 在純代數指数輸入上的第一個精確關係傳輸守恆。

---

# 12. 幾個基準案例

## 12.1 $A=(1)$

$$
r(A)=1,
\qquad
L(A)=\{0\}.
$$

因此：

$$
\operatorname{trdeg}_{\mathbb Q}\mathbb Q(e)=1.
$$

---

## 12.2 $A=(1,2)$

$$
r(A)=1,
$$

且：

$$
L(A)=\mathbb Z(2,-1).
$$

所以輸出：

$$
(e,e^2)
$$

滿足：

$$
X_1^2-X_2=0,
$$

並且沒有額外獨立代數關係。

---

## 12.3 $A=(1,\sqrt2)$

$$
r(A)=2,
\qquad
L(A)=\{0\}.
$$

因此：

$$
e,
\quad
e^{\sqrt2}
$$

代數獨立：

$$
\operatorname{trdeg}_{\mathbb Q}
\mathbb Q(e,e^{\sqrt2})
=
2.
$$

---

## 12.4 $A=(1,\sqrt2,2\sqrt2)$

$$
r(A)=2,
$$

且：

$$
(0,2,-1)\in L(A).
$$

因此：

$$
X_2^2-X_3=0
$$

是輸出關係，而：

$$
e,
\quad
e^{\sqrt2}
$$

保留兩個代數獨立方向。

---

## 12.5 $A=(0,1)$

$$
r(A)=1.
$$

由：

$$
(1,0)\in L(A)
$$

得到：

$$
X_1-1=0.
$$

零種子不提供超越自由度。

---

## 12.6 $A=(1,-1)$

$$
r(A)=1,
$$

且：

$$
(1,1)\in L(A).
$$

因此：

$$
X_1X_2-1=0.
$$

輸入端 additive cancellation 被精確翻譯為輸出端 multiplicative cancellation。

---

# 13. Schanuel predimension 在代數種子上的值

定義：

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

由 R1.1：

$$
\boxed{
\delta(A)=0
}
$$

對所有：

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

成立。

因此：

> 純代數種子全部位於 Schanuel predimension 的零邊界上。

這提供後續研究的固定基準面：

$$
\boxed{
\text{Algebraic Domain}
\Rightarrow
\delta=0.
}
$$

---

# 14. ACTM 的第一個結構解讀

本輪顯示，在純代數種子上，指数函數並非：

$$
\text{algebraic}
\rightarrow
\text{mysteriously transcendental}.
$$

更精確的描述是：

$$
\boxed{
\text{additive linear freedom}
\rightarrow
\text{algebraic transcendence freedom}.
}
$$

同時：

$$
\boxed{
\text{integer additive relations}
\rightarrow
\text{multiplicative lattice relations}.
}
$$

所以本輪觀察到的主要現象不是「自由度從無到有」，而是：

$$
\boxed{
\text{freedom-type conversion}.
}
$$

---

# 15. 第一個 ACTM 候選尺度

定義校準尺度：

$$
\boxed{
\operatorname{ACP}_{\exp}(A)
=
\operatorname{ldim}_{\mathbb Q}(A),
\qquad
A\in\overline{\mathbb Q}^{\,n}.
}
$$

其中 ACP 代表：

**Algebraic Combinatorial Potential**。

在本輪校準域中：

$$
\boxed{
\operatorname{ACP}_{\exp}(A)
=
\operatorname{trdeg}_{\mathbb Q}\mathbb Q(e^A)
=
\dim T_A.
}
$$

這不是新數學不變量的宣稱，而是後續所有 ACTM 推廣必須滿足的 boundary condition。

---

# 16. 第一個可反駁的一般化方向

Round 1 支持但沒有證明下列更一般原則：

> 對具有群同態或 uniformization 結構的超越算子，超越生成能力可能由「輸入中不被算子核與代數子群吸收的獨立方向數」控制。

抽象形式：

$$
\boxed{
\text{Transcendence Potential}
\sim
\text{Free Directions Modulo Structural Kernel}.
}
$$

它在：

$$
\overline{\mathbb Q}^{\,n}
\xrightarrow{\exp}
\mathbb G_m^n
$$

上通過第一輪校準。

但它可能在其他算子上失敗，因此必須用反例優先方式測試。

---

# 17. Round 1 邊界

## 17.1 座標數不等於自由度

例如：

$$
A=(1,2,\ldots,N)
$$

有 $N$ 個座標，但：

$$
r(A)=1.
$$

所以：

$$
\operatorname{trdeg}_{\mathbb Q}
\mathbb Q(e,e^2,\ldots,e^N)
=
1.
$$

---

## 17.2 不可直接推廣到非代數輸入

若：

$$
A\not\subseteq\overline{\mathbb Q},
$$

則 R1.1 不再由 Lindemann–Weierstrass 保證。

因此不能直接宣稱：

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

對任意複數 tuple 成立。

---

## 17.3 一般複數域會重新遇到指数核

一般：

$$
e^z=1
$$

允許：

$$
z\in2\pi i\mathbb Z.
$$

而在純代數種子域中：

$$
\overline{\mathbb Q}
\cap
2\pi i\mathbb Z
=
\{0\},
$$

所以核沒有造成非零代數退化方向。

這是 Round 1 特別乾淨的重要原因。

---

# 18. 與「壓 $\pi$」方法的連接

先前方法指出：

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

Round 1 對超越生成問題的對應版本是：

$$
\boxed{
\text{Output Number}
\neq
\text{Generating Seed}
\neq
\text{Relation Structure}.
}
$$

因此 ACTM 不把：

$$
e^{\sqrt2}
$$

當成孤立輸出研究，而放回：

$$
(1,\sqrt2)
\xrightarrow{\exp}
(e,e^{\sqrt2}),
$$

並研究：

$$
\operatorname{ldim}_{\mathbb Q}(1,\sqrt2)=2
$$

如何精確映射成：

$$
\operatorname{trdeg}_{\mathbb Q}
\mathbb Q(e,e^{\sqrt2})=2.
$$

---

# 19. Round 1 判定

**PASS — Calibration Successful**

本輪完成：

1. 精確輸入自由度：
   $$
   r(A)=\operatorname{ldim}_{\mathbb Q}(A).
   $$

2. 精確輸出超越自由度：
   $$
   \operatorname{trdeg}_{\mathbb Q}\mathbb Q(e^A).
   $$

3. 證明二者相等。

4. 建立完整輸入關係格：
   $$
   L(A).
   $$

5. 建立完整輸出 lattice ideal：
   $$
   J_{\exp}(A).
   $$

6. 排除額外隱藏代數關係。

7. 建立 Zariski 幾何版本：
   $$
   \dim T_A=r(A).
   $$

8. 得到 Schanuel predimension 校準：
   $$
   \delta(A)=0.
   $$

---

# 20. Round 2 正式入口

下一輪不直接跳到一般 Schanuel。

建議研究兩層組合：

$$
\boxed{
(\alpha,\beta)
\mapsto
\alpha^\beta
=
e^{\beta\log\alpha}.
}
$$

原因：

1. 可接 Gelfond–Schneider；
2. 同時包含乘法、對數與指数；
3. 會出現 branch 結構；
4. 可以測試「線性秩」是否仍足以作為組合潛力量；
5. 很可能迫使 ACTM 加入第二個自由度軸；
6. 是從單算子到複合生成器的最小非平凡跨越。

---

# 21. 一句話結論

> **對純代數 tuple，指数函數將輸入的 $\mathbb Q$-線性自由度精確翻譯成輸出的代數獨立自由度，並將全部整數加法關係精確翻譯成乘法 lattice relations。**

核心式：

$$
\boxed{
\operatorname{ldim}_{\mathbb Q}(A)
=
\operatorname{trdeg}_{\mathbb Q}\mathbb Q(e^A)
=
\dim
\overline{\{e^A\}}^{\,\mathrm{Zar}}_{\overline{\mathbb Q}}.
}
$$

以及：

$$
\boxed{
L(A)
\longleftrightarrow
J_{\exp}(A).
}
$$

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

---

# 參考資料

1. Lindemann theorem, *Encyclopedia of Mathematics*.  
   https://encyclopediaofmath.org/wiki/Lindemann_theorem

2. Yu. V. Nesterenko, “Lindemann–Weierstrass theorem,” *Moscow University Mathematics Bulletin* 76(6), 239–243, 2021.  
   DOI: 10.3103/S0027132221060073

3. Jean-Paul Bezivin and Philippe Robba, “A new p-adic method for proving irrationality and transcendence results,” *Annals of Mathematics* 129(1), 151–160, 1989.  
   DOI: 10.2307/1971488

4. Manuel Eberl, *Hermite–Lindemann–Weierstrass Transcendence Theorem*, Archive of Formal Proofs.  
   https://isa-afp.org/browser_info/current/AFP/Hermite_Lindemann/Hermite_Lindemann.html

5. Vahagn Aslanyan, “Adequate predimension inequalities in differential fields,” *Annals of Pure and Applied Logic* 173(1), 103030, 2022.  
   DOI: 10.1016/j.apal.2021.103030

6. Daniel Bertrand and Anand Pillay, “A Lindemann-Weierstrass theorem for semi-abelian varieties over function fields,” *Journal of the American Mathematical Society* 23(2), 491–533, 2010.  
   DOI: 10.1090/S0894-0347-09-00653-5

---

**ACTM Round 1 完**