# ACTM Round 3
## 指数矩陣、乘子交集與 Four Exponentials 的一維缺口
### Exponential Matrices, Multiplier Intersections, and the One-Dimensional Gap of Four Exponentials

**研究計畫：** Algebraic Combinatorial Transcendence Methodology（ACTM）  
**作者：** Neo.K；Aletheia（GPT-5.6 Sol）  
**機構：** EveMissLab / 一言諾科技有限公司  
**日期：** 2026-09-30  
**版本：** Round 3 / v0.1  
**文件性質：** 正式研究筆記／矩陣與 simultaneous transcendence 校準輪  
**狀態聲明：** Six Exponentials Theorem 為已知定理；Four Exponentials Conjecture 截至 2026-09-30 仍為公開問題。本輪提出的 multiplier-space 與 intersection-dimension 語言主要是 ACTM 的結構性重寫與研究接口，不宣稱解決 Four Exponentials Conjecture。

---

## 摘要

ACTM Round 1 建立：

$$
\text{algebraic seed rank}
\longrightarrow
\text{transcendence degree}.
$$

Round 2 建立：

$$
\text{algebraic scalar action}
\longrightarrow
\text{descent / escape boundary}.
$$

Round 3 進入 simultaneous transcendence，研究指数矩陣：

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

若所有 $M_{ij}$ 都是代數數，則所有指数：

$$
z_{ij}=x_i y_j
$$

皆位於 algebraic logarithm locus：

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

另一方面：

$$
Z=(z_{ij})=xy^T
$$

必為 rank-one 矩陣。

Six Exponentials Theorem 告訴我們：若

$$
x_1,\ldots,x_d
$$

與

$$
y_1,\ldots,y_\ell
$$

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

$$
d\ell>d+\ell,
$$

則不可能所有：

$$
e^{x_i y_j}
$$

都是代數數。

本輪將此條件重新寫為：

$$
d\ell-d-\ell
=
(d-1)(\ell-1)-1.
$$

因此 Six Exponentials 所排除的是 rank-one determinantal locus 餘維至少為 $2$ 的情況；唯一非退化的邊界尺寸是：

$$
2\times2,
$$

此時 rank-one locus 僅由單一 quadratic determinant relation：

$$
z_{11}z_{22}-z_{12}z_{21}=0
$$

定義。這正是 Four Exponentials Conjecture 的未解邊界。

本輪進一步固定：

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

並定義 multiplier space：

$$
\mathfrak M_\lambda
=
\left\{
c\in\mathbb C:
c\lambda\in\mathcal L_{\mathrm{alg}}
\right\}.
$$

它是 $\mathbb Q$-向量空間。Round 2 已推出：

$$
\boxed{
\mathfrak M_\lambda
\cap
\overline{\mathbb Q}
=
\mathbb Q.
}
$$

對：

$$
b\in
\mathfrak M_\lambda\setminus\mathbb Q
$$

定義 multiplier intersection：

$$
W_\lambda(b)
=
\mathfrak M_\lambda
\cap
b^{-1}\mathfrak M_\lambda.
$$

則 Six Exponentials Theorem 等價地給出：

$$
\boxed{
1
\le
\dim_{\mathbb Q}W_\lambda(b)
\le
2.
}
$$

而 Four Exponentials Conjecture 等價於：

$$
\boxed{
\dim_{\mathbb Q}W_\lambda(b)=1
}
$$

亦即：

$$
\boxed{
W_\lambda(b)=\mathbb Q.
}
$$

因此從 ACTM 的角度，Six 與 Four Exponentials 之間的缺口被壓縮為：

$$
\boxed{
2
\longrightarrow
1
}
$$

的一個 multiplier-intersection dimension gap。

---

# 1. 指数矩陣

令：

$$
x=
(x_1,\ldots,x_d)^T
\in
\mathbb C^d,
$$

以及：

$$
y=
(y_1,\ldots,y_\ell)^T
\in
\mathbb C^\ell.
$$

定義 exponent matrix：

$$
Z
=
xy^T.
$$

因此：

$$
z_{ij}
=
x_i y_j.
$$

其 complex matrix rank 滿足：

$$
\boxed{
\operatorname{rank}_{\mathbb C}Z=1
}
$$

只要：

$$
x\neq0,
\qquad
y\neq0.
$$

指数輸出矩陣為：

$$
E(Z)
=
\left(
e^{z_{ij}}
\right).
$$

---

# 2. simultaneous algebraic descent

若：

$$
e^{z_{ij}}
\in
\overline{\mathbb Q}^{\times}
$$

對所有 $i,j$ 成立，則：

$$
z_{ij}
\in
\mathcal L_{\mathrm{alg}}.
$$

因此 simultaneous transcendence 問題可重寫為：

> $\mathcal L_{\mathrm{alg}}$ 中能否存在某些具有特殊低矩陣秩的排列？

特別地：

$$
\boxed{
Z\in
M_{d\times\ell}
(\mathcal L_{\mathrm{alg}})
}
$$

同時：

$$
\boxed{
\operatorname{rank}_{\mathbb C}Z=1.
}
$$

---

# 3. Six Exponentials Theorem

經典 Six Exponentials Theorem 可寫成：

若：

$$
x_1,\ldots,x_d
$$

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

$$
y_1,\ldots,y_\ell
$$

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

$$
d\ell>d+\ell,
$$

則至少有一個：

$$
e^{x_i y_j}
$$

為超越數。

等價地：

> 不存在所有 entries 均屬於 $\mathcal L_{\mathrm{alg}}$ 的 rank-one 矩陣
>
> $$
> Z=xy^T
> $$
>
> 同時使 $x$ 與 $y$ 分別具有 full $\mathbb Q$-rank，且 $d\ell>d+\ell$。

---

# 4. 幾何計數：為什麼 $2\times3$ 與 $2\times2$ 不同

所有：

$$
d\times\ell
$$

矩陣構成 ambient space：

$$
M_{d\times\ell}(\mathbb C)
$$

其維度：

$$
d\ell.
$$

非零 rank-one matrices 由：

$$
Z=xy^T
$$

參數化。

$x$ 有 $d$ 個參數，$y$ 有 $\ell$ 個參數，但存在縮放冗餘：

$$
(x,y)
\sim
(cx,c^{-1}y),
\qquad
c\neq0.
$$

因此 rank-one determinantal variety 的維度為：

$$
d+\ell-1.
$$

餘維為：

$$
d\ell-(d+\ell-1)
=
(d-1)(\ell-1).
$$

而 Six Exponentials 的條件：

$$
d\ell>d+\ell
$$

等價於：

$$
(d-1)(\ell-1)>1.
$$

所以：

$$
\boxed{
\text{Six Exponentials works once rank-one codimension }\ge2.
}
$$

---

# 5. 唯一的非退化邊界：$2\times2$

若：

$$
d,\ell\ge2,
$$

但：

$$
d\ell\le d+\ell,
$$

則：

$$
(d-1)(\ell-1)\le1.
$$

因此唯一可能是：

$$
\boxed{
d=\ell=2.
}
$$

此時 rank-one locus 的餘維：

$$
(2-1)(2-1)=1.
$$

亦即它是一個 hypersurface。

其唯一基本 determinant equation：

$$
\boxed{
z_{11}z_{22}
-
z_{12}z_{21}
=
0.
}
$$

---

# 6. Four Exponentials Conjecture

Four Exponentials Conjecture 主張：

若：

$$
x_1,x_2
$$

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

$$
y_1,y_2
$$

也在 $\mathbb Q$ 上線性獨立，則四個數：

$$
e^{x_1y_1},
\quad
e^{x_1y_2},
\quad
e^{x_2y_1},
\quad
e^{x_2y_2}
$$

至少有一個為超越數。

也就是：

$$
\boxed{
\text{不存在 nondegenerate }
2\times2
\text{ rank-one matrix entirely inside }
\mathcal L_{\mathrm{alg}}.
}
$$

---

# 7. 從 Round 2 到 Round 3：線性障礙變成二次障礙

Round 2 使用 Baker rigidity：

> $\mathbb Q$-獨立的 algebraic logarithms 不能產生新的 $\overline{\mathbb Q}$-線性關係。

也就是主要控制：

$$
\boxed{
\text{degree-1 relations}.
}
$$

但在 $2\times2$ rank-one matrix：

$$
Z=
\begin{pmatrix}
z_{11}&z_{12}\\
z_{21}&z_{22}
\end{pmatrix},
$$

rank-one 關係是：

$$
\boxed{
z_{11}z_{22}
-
z_{12}z_{21}
=
0.
}
$$

這是一個 degree-$2$ relation。

因此：

$$
\boxed{
\text{Baker linear rigidity}
\not\Rightarrow
\text{Four Exponentials}.
}
$$

ACTM 將這個缺口稱為：

**Linear-to-Quadratic Barrier**。

---

# 8. $2\times3$ 為什麼多了一層約束

對：

$$
2\times3
$$

rank-one matrix：

$$
Z=
\begin{pmatrix}
z_{11}&z_{12}&z_{13}\\
z_{21}&z_{22}&z_{23}
\end{pmatrix},
$$

所有 $2\times2$ minors 均消失：

$$
z_{11}z_{22}-z_{12}z_{21}=0,
$$

$$
z_{11}z_{23}-z_{13}z_{21}=0,
$$

$$
z_{12}z_{23}-z_{13}z_{22}=0.
$$

這些 relations 並非完全獨立，但 rank-one variety 的餘維為：

$$
(2-1)(3-1)=2.
$$

所以相較 $2\times2$：

$$
\boxed{
\text{one determinantal constraint}
\longrightarrow
\text{two-dimensional determinantal constraint structure}.
}
$$

Six Exponentials 的 interpolation / auxiliary-function machinery 恰能跨過這個 overdetermined threshold。

---

# 9. Determinantal Surplus

ACTM 定義工作量：

$$
\operatorname{DS}(d,\ell)
=
d\ell-d-\ell.
$$

等價：

$$
\operatorname{DS}(d,\ell)
=
(d-1)(\ell-1)-1.
$$

因此：

### $2\times2$

$$
\operatorname{DS}(2,2)=0.
$$

### $2\times3$

$$
\operatorname{DS}(2,3)=1.
$$

### $3\times3$

$$
\operatorname{DS}(3,3)=3.
$$

Six Exponentials 的已知區域正是：

$$
\boxed{
\operatorname{DS}>0.
}
$$

Four Exponentials 位於：

$$
\boxed{
\operatorname{DS}=0.
}
$$

---

# 10. 正規化 $2\times2$ counterexample

假設 Four Exponentials 為假。

則存在：

$$
x_1,x_2,
\qquad
y_1,y_2
$$

各自 $\mathbb Q$-線性獨立，且四個 exponentials 全部代數。

因為所有 $x_i,y_j$ 非零，可令：

$$
\lambda=x_1y_1.
$$

定義：

$$
a=\frac{y_2}{y_1},
\qquad
b=\frac{x_2}{x_1}.
$$

則：

$$
Z
=
\lambda
\begin{pmatrix}
1&a\\
b&ab
\end{pmatrix}.
$$

又因兩對分別 $\mathbb Q$-線性獨立：

$$
a\notin\mathbb Q,
\qquad
b\notin\mathbb Q.
$$

若所有 exponentials 代數，則：

$$
\boxed{
\lambda,
\quad
a\lambda,
\quad
b\lambda,
\quad
ab\lambda
\in
\mathcal L_{\mathrm{alg}}.
}
$$

---

# 11. 乘子空間

固定：

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

定義：

$$
\boxed{
\mathfrak M_\lambda
=
\left\{
c\in\mathbb C:
c\lambda
\in
\mathcal L_{\mathrm{alg}}
\right\}.
}
$$

---

# 12. 命題 R3.1：$\mathfrak M_\lambda$ 是 $\mathbb Q$-向量空間

若：

$$
c,d\in\mathfrak M_\lambda,
$$

則：

$$
c\lambda,
\quad
d\lambda
\in
\mathcal L_{\mathrm{alg}}.
$$

因為：

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

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

$$
(c+d)\lambda
\in
\mathcal L_{\mathrm{alg}},
$$

以及：

$$
(qc)\lambda
\in
\mathcal L_{\mathrm{alg}}
$$

對所有：

$$
q\in\mathbb Q.
$$

因此：

$$
\boxed{
\mathfrak M_\lambda
\text{ is a }
\mathbb Q\text{-vector space}.
}
$$

而：

$$
1\in\mathfrak M_\lambda.
$$

所以：

$$
\mathbb Q
\subseteq
\mathfrak M_\lambda.
$$

---

# 13. Round 2 在 multiplier space 中的重寫

Round 2 已證：

若：

$$
c\in\overline{\mathbb Q}
$$

且：

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

則：

$$
c\in\mathbb Q.
$$

因此：

$$
\boxed{
\mathfrak M_\lambda
\cap
\overline{\mathbb Q}
=
\mathbb Q.
}
$$

這表示：

> multiplier space 中任何非有理元素都必須是超越數。

即：

$$
\boxed{
c\in
\mathfrak M_\lambda
\setminus
\mathbb Q
\Rightarrow
c
\text{ transcendental}.
}
$$

---

# 14. Four Exponentials 的 multiplier 形式

前述正規化顯示：

Four Exponentials 的 counterexample 等價於存在：

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

以及：

$$
a,b
\in
\mathfrak M_\lambda
\setminus\mathbb Q
$$

使：

$$
ab
\in
\mathfrak M_\lambda.
$$

因此 Four Exponentials Conjecture 等價於：

$$
\boxed{
a,b\in
\mathfrak M_\lambda\setminus\mathbb Q
\Rightarrow
ab\notin\mathfrak M_\lambda.
}
$$

對每個非零：

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

成立。

---

# 15. Multiplicative Rectangle Barrier

因此 Four Exponentials 可重新寫為：

> multiplier space $\mathfrak M_\lambda$ 中不存在非平凡乘法矩形
>
> $$
> \{1,a,b,ab\}
> $$
>
> 其中：
>
> $$
> a,b\notin\mathbb Q.
> $$

ACTM 將此稱為：

$$
\boxed{
\text{Multiplicative Rectangle Barrier}.
}
$$

注意這是 Four Exponentials 的等價結構性重寫，而不是已證新定理。

---

# 16. Multiplier Intersection

固定：

$$
b
\in
\mathfrak M_\lambda
\setminus
\mathbb Q.
$$

定義：

$$
\boxed{
W_\lambda(b)
=
\mathfrak M_\lambda
\cap
b^{-1}\mathfrak M_\lambda.
}
$$

即：

$$
W_\lambda(b)
=
\left\{
c\in\mathbb C:
c\lambda
\in\mathcal L_{\mathrm{alg}},
\quad
bc\lambda
\in\mathcal L_{\mathrm{alg}}
\right\}.
$$

因為：

$$
\mathfrak M_\lambda
$$

及：

$$
b^{-1}\mathfrak M_\lambda
$$

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

$$
W_\lambda(b)
$$

也是 $\mathbb Q$-向量空間。

---

# 17. $W_\lambda(b)$ 至少包含 $\mathbb Q$

因為：

$$
b
\in
\mathfrak M_\lambda,
$$

對任何：

$$
q\in\mathbb Q,
$$

有：

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

以及：

$$
bq\lambda
=
q(b\lambda)
\in
\mathcal L_{\mathrm{alg}}.
$$

所以：

$$
\boxed{
\mathbb Q
\subseteq
W_\lambda(b).
}
$$

因此：

$$
\boxed{
\dim_{\mathbb Q}W_\lambda(b)
\ge1.
}
$$

---

# 18. 命題 R3.2：Six Exponentials 給出的精確上界

## 命題

對：

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

與：

$$
b
\in
\mathfrak M_\lambda
\setminus\mathbb Q,
$$

Six Exponentials Theorem 推出：

$$
\boxed{
\dim_{\mathbb Q}
W_\lambda(b)
\le2.
}
$$

---

# 19. 證明

反設：

$$
\dim_{\mathbb Q}
W_\lambda(b)
\ge3.
$$

則可取：

$$
c_1,c_2,c_3
\in
W_\lambda(b)
$$

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

定義：

$$
x_1=1,
\qquad
x_2=b.
$$

因：

$$
b\notin\mathbb Q,
$$

所以：

$$
x_1,x_2
$$

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

再定義：

$$
y_j=c_j\lambda,
\qquad
j=1,2,3.
$$

因：

$$
\lambda\neq0
$$

且 $c_j$ $\mathbb Q$-獨立，所以：

$$
y_1,y_2,y_3
$$

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

又因：

$$
c_j\in W_\lambda(b),
$$

有：

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

以及：

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

因此全部六個：

$$
e^{x_i y_j}
$$

皆為代數數。

這與 Six Exponentials Theorem 矛盾。

故：

$$
\dim_{\mathbb Q}
W_\lambda(b)
\le2.
$$

證畢。

---

# 20. Four Exponentials 的一維版本

若：

$$
\dim_{\mathbb Q}
W_\lambda(b)
\ge2,
$$

因：

$$
1\in W_\lambda(b),
$$

可取：

$$
a\in
W_\lambda(b)
\setminus
\mathbb Q.
$$

則：

$$
\lambda,
\quad
a\lambda,
\quad
b\lambda,
\quad
ab\lambda
\in
\mathcal L_{\mathrm{alg}}.
$$

且：

$$
a,b\notin\mathbb Q.
$$

這正構成 Four Exponentials 的 counterexample。

反之，任何 Four Exponentials counterexample 經正規化都會產生此種 $a$。

所以：

$$
\boxed{
\text{Four Exponentials}
\iff
\dim_{\mathbb Q}
W_\lambda(b)=1
}
$$

對所有合法：

$$
(\lambda,b)
$$

成立。

由：

$$
\mathbb Q\subseteq W_\lambda(b),
$$

又等價於：

$$
\boxed{
W_\lambda(b)=\mathbb Q.
}
$$

---

# 21. Six 到 Four 被壓成一個維度

已知 Six Exponentials：

$$
\boxed{
1
\le
\dim_{\mathbb Q}
W_\lambda(b)
\le2.
}
$$

Four Exponentials 猜想：

$$
\boxed{
\dim_{\mathbb Q}
W_\lambda(b)=1.
}
$$

因此 ACTM 將核心未知壓縮為：

$$
\boxed{
2
\stackrel{?}{\longrightarrow}
1.
}
$$

這不是證明，但提供一個非常明確的研究靶點。

---

# 22. 更對稱的雙子空間版本

令：

$$
U,V
\subseteq
\mathbb C
$$

為有限維 $\mathbb Q$-向量空間。

定義乘積集：

$$
UV
=
\{uv:u\in U,\ v\in V\}.
$$

因：

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

是 $\mathbb Q$-向量空間，只需檢查基底乘積即可判定：

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

若：

$$
\dim_{\mathbb Q}U=d,
\qquad
\dim_{\mathbb Q}V=\ell,
$$

且：

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

則從基底：

$$
x_1,\ldots,x_d
$$

與：

$$
y_1,\ldots,y_\ell
$$

得到：

$$
x_i y_j
\in
\mathcal L_{\mathrm{alg}}.
$$

---

# 23. Six Exponentials 的 product-space 版本

Six Exponentials 推出：

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

時，不可能同時有：

$$
d\ell>d+\ell.
$$

因此：

$$
\boxed{
d\ell\le d+\ell.
}
$$

若：

$$
d,\ell\ge2,
$$

則唯一尚未被 Six Exponentials 排除的尺寸為：

$$
\boxed{
(d,\ell)=(2,2).
}
$$

---

# 24. Four Exponentials 的 product-space 版本

Four Exponentials Conjecture 等價於：

> 不存在兩個 $\mathbb Q$-向量空間
>
> $$
> U,V\subseteq\mathbb C
> $$
>
> 滿足：
>
> $$
> \dim_{\mathbb Q}U\ge2,
> \qquad
> \dim_{\mathbb Q}V\ge2,
> $$
>
> 且：
>
> $$
> UV
> \subseteq
> \mathcal L_{\mathrm{alg}}.
> $$

換句話說：

$$
\boxed{
UV
\subseteq
\mathcal L_{\mathrm{alg}}
\Rightarrow
\min
\left(
\dim_{\mathbb Q}U,
\dim_{\mathbb Q}V
\right)
=1.
}
$$

這是 ACTM Round 3 最對稱的 Four Exponentials 重寫。

---

# 25. Bilinear Capacity

ACTM 定義候選概念：

$$
\operatorname{BC}
(\mathcal L_{\mathrm{alg}})
$$

為 algebraic-log locus 容納雙線性 product-space 的能力。

與其把它壓成單一標量，本輪先記錄可行 dimension pairs：

$$
\mathcal B
=
\left\{
(d,\ell):
\exists U,V,\ 
\dim U=d,\ 
\dim V=\ell,\ 
UV\subseteq\mathcal L_{\mathrm{alg}}
\right\}.
$$

Six Exponentials 告訴我們：

$$
(d,\ell)\in\mathcal B
\Rightarrow
d\ell\le d+\ell.
$$

Four Exponentials 預測：

$$
(d,\ell)\in\mathcal B
\Rightarrow
d=1
\text{ or }
\ell=1.
$$

---

# 26. $\pi$ 正規化窗口

一個特別自然的 base generator 是：

$$
\lambda=2\pi i.
$$

因為：

$$
e^{2\pi i}=1,
$$

所以：

$$
2\pi i
\in
\mathcal L_{\mathrm{alg}}.
$$

此時：

$$
\mathfrak M_{2\pi i}
=
\left\{
c\in\mathbb C:
e^{2\pi i c}
\in
\overline{\mathbb Q}^{\times}
\right\}.
$$

Round 2 給出：

$$
\boxed{
\mathfrak M_{2\pi i}
\cap
\overline{\mathbb Q}
=
\mathbb Q.
}
$$

也就是：

若：

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

則：

$$
e^{2\pi i c}
$$

為超越數。

---

# 27. Four Exponentials 在 $\pi$ 窗口中的形式

若存在：

$$
a,b
\in
\mathfrak M_{2\pi i}
\setminus
\mathbb Q
$$

使：

$$
ab
\in
\mathfrak M_{2\pi i},
$$

則：

$$
1,
\quad
e^{2\pi i a},
\quad
e^{2\pi i b},
\quad
e^{2\pi i ab}
$$

全部為代數數。

這將直接形成 Four Exponentials 的 counterexample。

因此 FEC 預測：

$$
\boxed{
a,b
\in
\mathfrak M_{2\pi i}\setminus\mathbb Q
\Rightarrow
ab
\notin
\mathfrak M_{2\pi i}.
}
$$

這提供 ACTM 與先前「$\pi$ 生成／壓縮」研究的一個自然接口。

---

# 28. Ratio Interpretation

若：

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

且：

$$
\lambda\neq0,
$$

則：

$$
b=\frac{\mu}{\lambda}
$$

滿足：

$$
b\in\mathfrak M_\lambda.
$$

所以：

$$
\mathfrak M_\lambda
$$

可以理解為：

> 以 $\lambda$ 為 denominator 的 algebraic-log ratios。

Round 2 告訴我們：

任何非有理 ratio：

$$
\frac{\mu}{\lambda}
$$

若 $\lambda,\mu$ 在 $\mathbb Q$ 上獨立，必為超越數。

Round 3 則研究：

> 兩個這樣的 transcendental log-ratios 相乘後，能不能仍然是同一 $\lambda$ 下的 log-ratio？

Four Exponentials 猜想的答案是：

$$
\boxed{
\text{不能}.
}
$$

---

# 29. Rational Visibility

考慮 singular square matrix：

$$
M
\in
M_n(\mathcal L_{\mathrm{alg}}).
$$

Dasgupta–Kakde 的 Matrix Coefficient Conjecture 提出：

若：

$$
\det M=0,
$$

則存在：

$$
0\neq w,v\in\mathbb Q^n
$$

使：

$$
\boxed{
w^T M v=0.
}
$$

ACTM 將此解讀為：

> 一個位於 algebraic-log locus 中的矩陣奇異性，應該具有 rationally visible witness。

---

# 30. $2\times2$ rank-one matrix 的 rational invisibility

令：

$$
M=xy^T.
$$

則：

$$
w^TMv
=
(w^Tx)(y^Tv).
$$

若：

$$
x_1,x_2
$$

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

$$
0\neq w\in\mathbb Q^2,
$$

有：

$$
w^Tx\neq0.
$$

同理，若：

$$
y_1,y_2
$$

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

$$
y^Tv\neq0
$$

對任何：

$$
0\neq v\in\mathbb Q^2.
$$

因此：

$$
\boxed{
w^TMv\neq0
}
$$

對所有 nonzero rational $w,v$ 成立。

所以一個 Four Exponentials counterexample 正是一個：

$$
\boxed{
\text{singular but rationally invisible}
}
$$

的 $2\times2$ algebraic-log matrix。

---

# 31. 2026 Matrix Coefficient Conjecture 的位置

Dasgupta 與 Kakde 在 2026 年正式發表 Matrix Coefficient Conjecture 框架。

其 $n=2$ 情況等價於 Four Exponentials Conjecture。

因此 ACTM Round 3 與當代研究的接點非常直接：

$$
\boxed{
\text{Four Exponentials}
}
$$

可以同時看成：

1. transcendence problem；
2. rank-one matrix exclusion；
3. multiplicative rectangle barrier；
4. multiplier-intersection dimension problem；
5. rational visibility of singular logarithmic matrices。

---

# 32. Structural Rank 方向

更強的 Structural Rank Conjecture 研究：

$$
M
=
\sum_{k}
M_k\lambda_k,
$$

其中：

$$
M_k
\in
M_{m\times n}(\mathbb Q),
$$

而：

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

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

它預測實際矩陣秩應等於把：

$$
\lambda_k
$$

替換為獨立 indeterminates 後的 generic rank。

這個方向與 Schanuel 的特殊情形存在已知等價關係。

因此 ACTM 的：

$$
\text{relation visibility}
$$

與：

$$
\text{generic-vs-special rank collapse}
$$

並非孤立觀念。

---

# 33. Round 3 的真正未知量

Round 2 已處理：

$$
\boxed{
\mathfrak M_\lambda
\cap
\overline{\mathbb Q}
=
\mathbb Q.
}
$$

所以 Four Exponentials counterexample 中的：

$$
a,b
$$

必須是超越數。

因此現在的難題不是：

> 代數無理 multiplier 能不能保存 algebraic descent？

這已由 Gelfond–Schneider / Baker 排除。

真正未知的是：

> 某些由 algebraic logarithm ratios 產生的 transcendental multipliers，能否在同一 multiplier space 中形成二維乘法閉合片段？

即：

$$
\boxed{
a,b,ab
\in
\mathfrak M_\lambda
}
$$

其中：

$$
a,b\notin\mathbb Q.
$$

---

# 34. Multiplier Intersection Dimension

正式定義：

$$
\boxed{
\operatorname{MID}_\lambda(b)
=
\dim_{\mathbb Q}
\left(
\mathfrak M_\lambda
\cap
b^{-1}\mathfrak M_\lambda
\right).
}
$$

適用於：

$$
b
\in
\mathfrak M_\lambda
\setminus
\mathbb Q.
$$

已知：

$$
\boxed{
1
\le
\operatorname{MID}_\lambda(b)
\le
2.
}
$$

Four Exponentials Conjecture 等價於：

$$
\boxed{
\operatorname{MID}_\lambda(b)=1.
}
$$

---

# 35. 這個量的研究價值

MID 把問題從：

$$
\text{四個 transcendence decisions}
$$

改寫為：

$$
\boxed{
\text{兩個 }\mathbb Q\text{-vector spaces 的交集維度}.
}
$$

也就是從數值判定改成：

$$
\text{linear-algebraic geometry of multiplier spaces}.
$$

這正符合 ACTM 的方法論目標：

$$
\boxed{
\text{output classification}
\rightarrow
\text{generator-space structure}.
}
$$

---

# 36. Round 3 新研究靶點

與其直接證：

$$
e^{x_i y_j}
$$

至少一個超越，可改為嘗試證：

$$
\boxed{
\mathfrak M_\lambda
\cap
b^{-1}\mathfrak M_\lambda
=
\mathbb Q.
}
$$

這是一個極度具體的 intersection rigidity 問題。

---

# 37. 第一批可研究子問題

## R3-Q1

對哪些特殊：

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

可以直接證：

$$
\operatorname{MID}_\lambda(b)=1?
$$

---

## R3-Q2

若：

$$
\operatorname{MID}_\lambda(b)=2,
$$

則存在：

$$
a\notin\mathbb Q
$$

使：

$$
\lambda,
a\lambda,
b\lambda,
ab\lambda
\in
\mathcal L_{\mathrm{alg}}.
$$

這四個 logarithms 還必須滿足哪些額外 arithmetic / period constraints？

---

## R3-Q3

是否能對：

$$
W_\lambda(b)
$$

建立：

- height；
- denominator growth；
- approximation exponent；
- monodromy；
- period；
- definability；

型不變量？

---

## R3-Q4

Six Exponentials 給：

$$
\dim W\le2.
$$

究竟是哪一個 analytic ingredient 無法把：

$$
2
$$

壓到：

$$
1?
$$

這應該與：

$$
\operatorname{DS}=0
$$

及單一 determinant relation 的臨界性直接相關。

---

# 38. Round 3 判定

**PASS — Simultaneous Transcendence Frontier Compressed**

本輪完成：

1. 將 Six Exponentials 重寫為 rank-one algebraic-log matrix exclusion。
2. 把條件：
   $$
   d\ell>d+\ell
   $$
   解讀為 determinantal codimension $>1$。
3. 確認唯一 nondegenerate boundary 是：
   $$
   2\times2.
   $$
4. 把 Four Exponentials 定位為 first quadratic hidden-relation barrier。
5. 定義 multiplier space：
   $$
   \mathfrak M_\lambda.
   $$
6. 將 Round 2 重寫為：
   $$
   \mathfrak M_\lambda
   \cap
   \overline{\mathbb Q}
   =
   \mathbb Q.
   $$
7. 定義 multiplier intersection：
   $$
   W_\lambda(b).
   $$
8. 從 Six Exponentials 證明：
   $$
   \dim_{\mathbb Q}W_\lambda(b)\le2.
   $$
9. 證明 Four Exponentials 等價於：
   $$
   W_\lambda(b)=\mathbb Q.
   $$
10. 定義：
    $$
    \operatorname{MID}_\lambda(b).
    $$
11. 將 Six-to-Four gap 壓縮為：
    $$
    2\rightarrow1.
    $$
12. 建立 product-space formulation：
    $$
    UV\subseteq\mathcal L_{\mathrm{alg}}.
    $$
13. 建立 $\pi$-normalized multiplier window。
14. 接上 2026 Matrix Coefficient Conjecture 的 rational visibility 框架。

---

# 39. Round 4 正式入口

下一輪不急著重新做 Six Exponentials 證明。

更有價值的入口是直接研究：

$$
\boxed{
\operatorname{MID}_\lambda(b)=2
}
$$

這個假想 counterexample 狀態到底強迫出哪些附加結構。

也就是反設存在：

$$
\lambda,
\quad
a\lambda,
\quad
b\lambda,
\quad
ab\lambda
\in
\mathcal L_{\mathrm{alg}},
$$

其中：

$$
a,b\notin\mathbb Q.
$$

然後逐層研究：

### Layer 1

由 Baker / Round 2 推出：

$$
a,b
$$

必為超越數。

### Layer 2

研究：

$$
ab
$$

是否可能代數、超越，以及不同情況的結構差異。

### Layer 3

將四個 algebraic exponentials 記為：

$$
\alpha=e^\lambda,
\quad
\beta=e^{a\lambda},
\quad
\gamma=e^{b\lambda},
\quad
\delta=e^{ab\lambda}.
$$

研究 determinant relation：

$$
\log\alpha\log\delta
-
\log\beta\log\gamma
=
0
$$

的 branch-independent / branch-dependent 結構。

### Layer 4

比較 Matrix Coefficient Conjecture：

$$
w^TMv=0
$$

與 ACTM multiplier intersection：

$$
W_\lambda(b)
$$

是否能建立更直接的橋。

### Layer 5

嘗試找出一個比「所有四個數都代數」更弱，但仍足以造成矛盾的 intermediate obstruction。

Round 4 的目標不是直接宣稱證明 Four Exponentials，而是：

$$
\boxed{
\text{classify the hypothetical }
\operatorname{MID}=2
\text{ state}.
}
$$

---

# 40. 一句話結論

> **Six Exponentials 已將 algebraic-log multiplier overlap 壓到最多二維；Four Exponentials 所缺的，恰好是證明任何非有理 multiplier 都只能與原 multiplier space 保留那個必然存在的有理一維交集。**

核心式：

$$
\boxed{
\operatorname{MID}_\lambda(b)
=
\dim_{\mathbb Q}
\left(
\mathfrak M_\lambda
\cap
b^{-1}\mathfrak M_\lambda
\right)
}
$$

已知：

$$
\boxed{
1\le
\operatorname{MID}_\lambda(b)
\le2.
}
$$

Four Exponentials 預測：

$$
\boxed{
\operatorname{MID}_\lambda(b)=1.
}
$$

這是 ACTM Round 3 的正式前沿。

---

# 參考資料

1. **Schneider method / Six Exponentials Theorem**, Encyclopedia of Mathematics.  
   https://encyclopediaofmath.org/wiki/Schneider_method

2. Michel Waldschmidt, expository material on interpolation determinants and the Six Exponentials Theorem.  
   https://webusers.imj-prg.fr/~michel.waldschmidt/articles/pdf/EID.pdf

3. Samit Dasgupta, **Ranks of matrices of logarithms of algebraic numbers, I: The theorems of Baker and Waldschmidt–Masser**, *Essential Number Theory*, 2023.  
   https://msp.org/ent/2023/2-1/ent-v2-n1-p05-p.pdf

4. Samit Dasgupta and Mahesh Kakde, **Ranks of Matrices of Logarithms of Algebraic Numbers II: The Matrix Coefficient Conjecture**, *Advances in Mathematics* 487 (2026), 110753.  
   DOI: 10.1016/j.aim.2025.110753  
   arXiv: 2408.08178

5. Four Exponentials Conjecture status reference, TheoremDB, reviewed 2026.  
   https://theoremdb.org/statements/P4/

---

**ACTM Round 3 完**