# ACTM Round 4
## 假想 MID=2 狀態的結構分類：投影軌道避讓、秩分岔與精確三項冪鏈
### Structural Classification of a Hypothetical MID=2 State:
### Projective Orbit Avoidance, Rank Splitting, and an Exact Three-Term Power Chain

**研究計畫：** Algebraic Combinatorial Transcendence Methodology（ACTM）  
**作者：** Neo.K；Aletheia（GPT-5.6 Sol）  
**機構：** EveMissLab / 一言諾科技有限公司  
**日期：** 2026-09-30  
**版本：** Round 4 / v0.1  
**文件性質：** 正式研究筆記／Four Exponentials hypothetical-state reduction  
**狀態聲明：** 本輪不宣稱證明 Four Exponentials Conjecture。使用的外部核心結果包括 Baker 定理、Five Exponentials Theorem、Six Exponentials Theorem，以及 Roy–Waldschmidt 對 transcendence degree $1$ 情形的已知結果。本輪的主要工作是把假想 counterexample 分類、正規化並抽出新的 ACTM 研究接口。

---

## 摘要

ACTM Round 3 將 Four Exponentials Conjecture 壓縮為 multiplier-intersection 問題。

固定：

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

其中：

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

並定義：

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

對：

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

定義：

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

Six Exponentials Theorem 給出：

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

而 Four Exponentials Conjecture 等價於：

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

因此 Round 4 反設：

$$
\boxed{
\operatorname{MID}_\lambda(b)
=
\dim_{\mathbb Q}W_\lambda(b)
=
2.
}
$$

取：

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

則：

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

本輪得到以下必要結構。

第一，$a$、$b$ 都是超越數，而且 Five Exponentials Theorem 還迫使所有 rational Möbius transforms：

$$
g(a),
\qquad
g(b),
\qquad
g\in\operatorname{PGL}_2(\mathbb Q)
$$

全部避開 $\mathcal L_{\mathrm{alg}}$：

$$
\boxed{
e^{g(a)},
\ e^{g(b)}
\text{ 均為超越數}.
}
$$

第二，Roy–Waldschmidt 的 transcendence-degree-$1$ 結果迫使：

$$
\boxed{
\operatorname{trdeg}_{\mathbb Q}
\mathbb Q(\lambda,a,b)
\ge2.
}
$$

因此任何 counterexample 至少需要兩個真正獨立的超越參數。

第三，定義：

$$
\rho
=
\dim_{\mathbb Q}
\operatorname{span}_{\mathbb Q}
\{1,a,b,ab\}.
$$

則：

$$
\boxed{
\rho\in\{3,4\}.
}
$$

不存在 $\rho\le2$。

若：

$$
\rho=3,
$$

則存在唯一到比例的 rational bilinear relation：

$$
r_0+r_1a+r_2b+r_3ab=0,
$$

故：

$$
b
=
g(a)
$$

對某個：

$$
g\in\operatorname{PGL}_2(\mathbb Q).
$$

經 rational basis normalization，可將整個 counterexample 化成：

$$
\boxed{
\lambda',
\quad
t\lambda',
\quad
t^2\lambda'
\in
\mathcal L_{\mathrm{alg}},
}
$$

其中：

$$
t
$$

為超越數。

Roy–Waldschmidt 進一步迫使：

$$
\boxed{
\operatorname{trdeg}_{\mathbb Q}
\mathbb Q(\lambda',t)=2,
}
$$

即 $\lambda'$ 與 $t$ 代數獨立。

而 Six Exponentials Theorem 強迫：

$$
\boxed{
t^3\lambda'
\notin
\mathcal L_{\mathrm{alg}}.
}
$$

因此此型 hypothetical counterexample 形成一條精確的 truncated power chain：

$$
\boxed{
\lambda',
\ t\lambda',
\ t^2\lambda'
\in
\mathcal L_{\mathrm{alg}},
\qquad
t^3\lambda'
\notin
\mathcal L_{\mathrm{alg}}.
}
$$

若：

$$
\rho=4,
$$

則 Baker 定理迫使：

$$
1,a,b,ab
$$

在 $\overline{\mathbb Q}$ 上也線性獨立，因此不存在任何非零 algebraic bilinear relation：

$$
c_{00}
+
c_{10}a
+
c_{01}b
+
c_{11}ab
=
0.
$$

Round 4 因而把 hypothetical MID=$2$ 狀態精確分成：

$$
\boxed{
\text{Type P: Projectively reducible power-chain state}
}
$$

與：

$$
\boxed{
\text{Type B: Genuinely bilinear state}.
}
$$

---

# 1. Round 4 假設

本輪假設存在：

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

以及：

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

使：

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

這等價於一個 normalized Four Exponentials counterexample：

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

其四個 entries 全部是 algebraic logarithms。

同時：

$$
\det Z=0.
$$

---

# 2. 第一層：$a$ 與 $b$ 必為超越數

Round 2 已證：

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

而：

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

又：

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

因此：

$$
\boxed{
a,b
\notin
\overline{\mathbb Q}.
}
$$

也就是：

$$
\boxed{
a,b
\text{ 均為超越數}.
}
$$

---

# 3. $ab$ 的第一個分類

因：

$$
ab
\in
\mathfrak M_\lambda,
$$

若：

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

則 Round 2 立即給出：

$$
ab
\in
\mathbb Q.
$$

所以：

$$
\boxed{
ab
\text{ 不是 rational 就必為 transcendental}.
}
$$

不存在：

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

---

# 4. Five Exponentials 的第一個額外限制

Five Exponentials Theorem 說：

若：

$$
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},
\quad
e^{x_2/x_1}
$$

不可能全部代數。

對目前 normalized state 取：

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

以及：

$$
y_1=\lambda,
\qquad
y_2=a\lambda.
$$

前四個 exponentials 全部代數。

因此第五個必超越：

$$
\boxed{
e^b
\text{ is transcendental}.
}
$$

交換 row / column roles 同理得到：

$$
\boxed{
e^a
\text{ is transcendental}.
}
$$

因此：

$$
\boxed{
a,b
\notin
\mathcal L_{\mathrm{alg}}.
}
$$

這比「$a,b$ 為超越數」更強。

---

# 5. Rational basis invariance

取：

$$
P
\in
\operatorname{GL}_2(\mathbb Q).
$$

令：

$$
\begin{pmatrix}
x'_1\\
x'_2
\end{pmatrix}
=
P
\begin{pmatrix}
1\\
b
\end{pmatrix}.
$$

因 $P$ 可逆，$x'_1,x'_2$ 仍在 $\mathbb Q$ 上線性獨立。

而：

$$
x'_iy_j
$$

皆是原本：

$$
x_ky_j
$$

的 rational linear combinations。

因：

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

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

$$
x'_iy_j
$$

仍屬於：

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

因此 rational row basis change 保持 hypothetical counterexample 性質。

column basis change 完全相同。

---

# 6. Projective Orbit Avoidance

任取：

$$
g
\in
\operatorname{PGL}_2(\mathbb Q).
$$

可選：

$$
P
=
\begin{pmatrix}
p&q\\
r&s
\end{pmatrix}
\in
\operatorname{GL}_2(\mathbb Q)
$$

表示：

$$
g(z)
=
\frac{r+sz}{p+qz}.
$$

由 $b$ 超越：

$$
p+qb\neq0.
$$

所以：

$$
\frac{x'_2}{x'_1}
=
g(b).
$$

變換後的四個 matrix exponentials 仍全為代數。

Five Exponentials Theorem 因而迫使：

$$
\boxed{
e^{g(b)}
\text{ transcendental}.
}
$$

對 $a$ 同理：

$$
\boxed{
e^{g(a)}
\text{ transcendental}.
}
$$

因此得到：

$$
\boxed{
\operatorname{PGL}_2(\mathbb Q)\cdot a
\quad\cap\quad
\mathcal L_{\mathrm{alg}}
=
\varnothing
}
$$

以及：

$$
\boxed{
\operatorname{PGL}_2(\mathbb Q)\cdot b
\quad\cap\quad
\mathcal L_{\mathrm{alg}}
=
\varnothing.
}
$$

本輪稱此性質為：

**Projective Logarithmic Avoidance，PLA。**

---

# 7. PLA 的意義

普通 Baker / Gelfond–Schneider 型資訊只告訴我們某些指定數不屬於 algebraic domain。

PLA 更強：

> 不是只有 $a$ 與 $b$ 自身不能是 algebraic logarithms，而是其整個 rational projective orbit 都不能落入 algebraic-log locus。

即：

$$
a
\mapsto
\frac{r+sa}{p+qa}
$$

的所有 rational Möbius transforms 都被排除。

這是一個 projective-level 必要條件。

---

# 8. Transcendence-degree floor

Roy–Waldschmidt 已知：

若：

$$
x_1,x_2
$$

及：

$$
y_1,y_2
$$

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

$$
\operatorname{trdeg}_{\mathbb Q}
\mathbb Q(x_1,x_2,y_1,y_2)=1,
$$

則四個：

$$
e^{x_i y_j}
$$

不可能全部代數。

在 normalized state：

$$
x_1=1,
\quad
x_2=b,
\quad
y_1=\lambda,
\quad
y_2=a\lambda.
$$

因此：

$$
\mathbb Q(x_1,x_2,y_1,y_2)
=
\mathbb Q(\lambda,a,b).
$$

若 hypothetical counterexample 存在，必須：

$$
\boxed{
\operatorname{trdeg}_{\mathbb Q}
\mathbb Q(\lambda,a,b)
\ge2.
}
$$

---

# 9. ACTM Parameter Dimension Floor

Round 4 因此定義：

$$
\operatorname{PDF}
(\lambda;a,b)
=
\operatorname{trdeg}_{\mathbb Q}
\mathbb Q(\lambda,a,b).
$$

對 hypothetical Four Exponentials counterexample：

$$
\boxed{
\operatorname{PDF}\ge2.
}
$$

也就是：

> 一參數代數族不足以承載 counterexample。

任何 counterexample 至少需要兩個 algebraically independent transcendental degrees。

---

# 10. Bilinear span rank

定義：

$$
\boxed{
\rho(a,b)
=
\dim_{\mathbb Q}
\operatorname{span}_{\mathbb Q}
\{1,a,b,ab\}.
}
$$

因：

$$
1,a
$$

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

$$
\rho\ge2.
$$

顯然：

$$
\rho\le4.
$$

下一步排除：

$$
\rho=2.
$$

---

# 11. 命題 R4.1：$\rho$ 不可能等於 $2$

若：

$$
\rho=2,
$$

因：

$$
1,a
$$

已形成一組基底，可寫：

$$
b=u+va,
$$

以及：

$$
ab=s+ta,
$$

其中：

$$
u,v,s,t
\in
\mathbb Q.
$$

若：

$$
v=0,
$$

則：

$$
b=u\in\mathbb Q,
$$

矛盾。

故：

$$
v\neq0.
$$

將：

$$
b=u+va
$$

乘以 $a$：

$$
ab=ua+va^2.
$$

與：

$$
ab=s+ta
$$

比較：

$$
va^2+(u-t)a-s=0.
$$

這是一個非零 rational polynomial satisfied by $a$。

因此：

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

與 $a$ 超越矛盾。

故：

$$
\boxed{
\rho\neq2.
}
$$

因此：

$$
\boxed{
\rho\in\{3,4\}.
}
$$

---

# 12. Baker rigidity 對 bilinear span 的作用

因：

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

Baker 定理告訴我們：

這四個 algebraic logarithms 的 $\mathbb Q$-linear rank 與 $\overline{\mathbb Q}$-linear rank 相同。

因 $\lambda\neq0$：

$$
\dim_{\mathbb Q}
\operatorname{span}
\{\lambda,a\lambda,b\lambda,ab\lambda\}
=
\rho(a,b).
$$

因此：

$$
\boxed{
\dim_{\overline{\mathbb Q}}
\operatorname{span}
\{1,a,b,ab\}
=
\rho(a,b).
}
$$

---

# 13. Rank split

因此 hypothetical counterexample 必落在兩型之一：

## Type P

$$
\boxed{
\rho=3.
}
$$

存在一條 rational bilinear relation。

## Type B

$$
\boxed{
\rho=4.
}
$$

不存在任何 algebraic bilinear relation。

這是 Round 4 的第一個主要分類。

---

# 14. Type P：rational bilinear relation

若：

$$
\rho=3,
$$

則存在不全為零的：

$$
r_0,r_1,r_2,r_3
\in
\mathbb Q
$$

使：

$$
\boxed{
r_0
+
r_1a
+
r_2b
+
r_3ab
=
0.
}
$$

可改寫：

$$
(r_2+r_3a)b
=
-(r_0+r_1a).
$$

因 $a$ 超越：

$$
r_2+r_3a\neq0.
$$

故：

$$
\boxed{
b
=
-\frac{r_0+r_1a}{r_2+r_3a}.
}
$$

---

# 15. Type P 等價於 rational Möbius relation

上述式子表示：

$$
\boxed{
b=g(a)
}
$$

其中：

$$
g
\in
\operatorname{PGL}_2(\mathbb Q).
$$

若對應 $2\times2$ rational matrix determinant 為零，$g$ 會退化成 rational constant，導致 $b\in\mathbb Q$。

因此其 determinant 必非零。

所以 Type P 的全部 bilinear dependence 其實就是：

$$
\boxed{
\text{rational projective equivalence between }a\text{ and }b.
}
$$

---

# 16. Type P 的 projective normalization

因：

$$
b=g(a),
$$

取：

$$
h=g^{-1}
\in
\operatorname{PGL}_2(\mathbb Q).
$$

對 row vector：

$$
(1,b)
$$

施加對應 rational basis change，使新 row ratio 成為：

$$
h(b)=a.
$$

令變換後第一個 row factor 為：

$$
c\neq0.
$$

則新的 rank-one matrix 可寫為：

$$
Z'
=
\lambda'
\begin{pmatrix}
1&a\\
a&a^2
\end{pmatrix},
$$

其中：

$$
\lambda'
=
c\lambda.
$$

因：

$$
c
$$

是 $1$ 與 $b$ 的 rational linear combination，所以：

$$
\lambda'
$$

是：

$$
\lambda
$$

與：

$$
b\lambda
$$

的 rational linear combination。

因此：

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

---

# 17. Type P 的三項 power chain

令：

$$
t=a.
$$

則：

$$
\boxed{
\lambda',
\quad
t\lambda',
\quad
t^2\lambda'
\in
\mathcal L_{\mathrm{alg}}.
}
$$

這是 Type P 的 canonical normal form。

其 exponential outputs：

$$
e^{\lambda'},
\quad
e^{t\lambda'},
\quad
e^{t^2\lambda'}
$$

全部為代數數。

---

# 18. Type P 中 $t$ 必為超越數

因：

$$
t=a,
$$

Round 2 已給出：

$$
\boxed{
t
\text{ transcendental}.
}
$$

Five Exponentials 又加強為：

$$
\boxed{
e^t
\text{ transcendental}.
}
$$

更一般：

$$
\boxed{
e^{g(t)}
\text{ transcendental}
}
$$

對所有：

$$
g
\in
\operatorname{PGL}_2(\mathbb Q)
$$

成立。

---

# 19. Type P 的 transcendence degree

Type P 的 transformed counterexample 使用：

$$
x_1=1,
\qquad
x_2=t,
$$

以及：

$$
y_1=\lambda',
\qquad
y_2=t\lambda'.
$$

其四個 exponentials 全代數。

若：

$$
\operatorname{trdeg}_{\mathbb Q}
\mathbb Q(\lambda',t)=1,
$$

Roy–Waldschmidt 的已知 special case 直接排除這種 counterexample。

另一方面，該 field 由兩個元素生成，所以：

$$
\operatorname{trdeg}\le2.
$$

故：

$$
\boxed{
\operatorname{trdeg}_{\mathbb Q}
\mathbb Q(\lambda',t)=2.
}
$$

因此：

$$
\boxed{
\lambda'
\text{ 與 }
t
\text{ 代數獨立}.
}
$$

---

# 20. Six Exponentials 對 power chain 的封口

現在取：

$$
x_1=1,
\qquad
x_2=t,
$$

以及：

$$
y_1=\lambda',
\qquad
y_2=t\lambda',
\qquad
y_3=t^2\lambda'.
$$

因 $t$ 超越：

$$
1,t
$$

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

$$
1,t,t^2
$$

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

故：

$$
y_1,y_2,y_3
$$

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

六個 products 為：

$$
\lambda',
\quad
t\lambda',
\quad
t^2\lambda',
$$

以及：

$$
t\lambda',
\quad
t^2\lambda',
\quad
t^3\lambda'.
$$

前五個所涉及的三種 exponent：

$$
\lambda',
\quad
t\lambda',
\quad
t^2\lambda'
$$

都屬於：

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

Six Exponentials Theorem 因而迫使：

$$
\boxed{
t^3\lambda'
\notin
\mathcal L_{\mathrm{alg}}.
}
$$

---

# 21. Exact Power-Chain Depth

對：

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

及：

$$
t\in\mathbb C,
$$

定義：

$$
D_\lambda(t)
=
\sup
\left\{
N\in\mathbb N:
t^k\lambda
\in
\mathcal L_{\mathrm{alg}}
\text{ for all }
0\le k\le N
\right\}.
$$

Type P hypothetical counterexample 滿足：

$$
\boxed{
D_{\lambda'}(t)=2.
}
$$

因：

$$
k=0,1,2
$$

都在 locus 中，而：

$$
k=3
$$

必逃逸。

這是本輪得到的精確 chain boundary。

---

# 22. Logarithmic Geometric Progression 形式

令：

$$
\mu=t\lambda',
$$

以及：

$$
\nu=t^2\lambda'.
$$

則：

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

且：

$$
\boxed{
\mu^2
=
\lambda'\nu.
}
$$

因此 Type P 等價於：

> algebraic logarithm locus 中存在一個非平凡三項幾何級數。

其 common ratio：

$$
t
=
\frac{\mu}{\lambda'}
=
\frac{\nu}{\mu}
$$

為超越數。

---

# 23. 三項 Log-GP 猜想

ACTM 因此抽出一個比完整 Four Exponentials 更窄的子問題：

> 若
>
> $$
> 0\neq
> \lambda,\mu,\nu
> \in
> \mathcal L_{\mathrm{alg}}
> $$
>
> 且：
>
> $$
> \mu^2=\lambda\nu,
> $$
>
> 是否必有：
>
> $$
> \frac{\mu}{\lambda}
> \in
> \mathbb Q?
> $$

若答案為是，就排除全部 Type P counterexamples。

本輪稱此為：

$$
\boxed{
\text{Logarithmic Geometric Progression Conjecture}
}
$$

它只是 Four Exponentials 的一個特殊子問題，不宣稱已知或已證。

---

# 24. 經典 $2^\pi$ 例子正好落在 Type P

取：

$$
\lambda=\log2,
\qquad
t=\pi.
$$

若反設：

$$
2^\pi
$$

及：

$$
2^{\pi^2}
$$

都為代數數，則：

$$
\log2,
\quad
\pi\log2,
\quad
\pi^2\log2
\in
\mathcal L_{\mathrm{alg}}.
$$

這正是 Type P chain：

$$
\lambda,
\quad
t\lambda,
\quad
t^2\lambda.
$$

Six Exponentials 已知只能再推出：

$$
\boxed{
2^{\pi^3}
\text{ 必為超越數}.
}
$$

而目前無法排除前兩個同時為代數。

這說明 Type P 並不是人為製造的枝節，而正包含經典 Four Exponentials open case。

---

# 25. Type B：$\rho=4$

現在考慮：

$$
\boxed{
\rho(a,b)=4.
}
$$

則：

$$
1,a,b,ab
$$

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

因這四個乘上 $\lambda$ 都是 algebraic logarithms，Baker rigidity 立即提升為：

$$
\boxed{
1,a,b,ab
\text{ 在 }
\overline{\mathbb Q}
\text{ 上也線性獨立}.
}
$$

---

# 26. Type B 沒有 algebraic bilinear relation

因此不存在不全為零的：

$$
c_{00},
c_{10},
c_{01},
c_{11}
\in
\overline{\mathbb Q}
$$

使：

$$
\boxed{
c_{00}
+
c_{10}a
+
c_{01}b
+
c_{11}ab
=
0.
}
$$

所以：

$$
\boxed{
\text{Type B has no algebraic relation of bidegree }(1,1).
}
$$

若 $a,b$ 仍然 algebraically dependent，其最小關係必須出現在更高代數複雜度。

---

# 27. Type P 與 Type B 的本質差異

Type P：

$$
\boxed{
b=g(a),
\qquad
g\in\operatorname{PGL}_2(\mathbb Q).
}
$$

所以它可被壓縮成單一 projective ratio：

$$
t.
$$

Type B：

$$
\boxed{
1,a,b,ab
\text{ algebraically bilinearly independent}.
}
$$

不存在 rational projective normalization 將：

$$
a
$$

與：

$$
b
$$

合併成同一變數。

因此 Type B 是 genuinely two-directional。

---

# 28. Type P 的矩陣 normal form

Type P 經 normalization 後：

$$
M_P
=
\lambda'
\begin{pmatrix}
1&t\\
t&t^2
\end{pmatrix}.
$$

這是一個：

$$
\boxed{
\text{symmetric rank-one Hankel matrix}.
}
$$

其 determinant relation：

$$
\boxed{
(\lambda')(t^2\lambda')
-
(t\lambda')^2
=
0.
}
$$

即：

$$
\boxed{
\lambda'\nu-\mu^2=0.
}
$$

所以 Type P 把 Four Exponentials 的四-log problem 壓成了三-log quadratic relation。

---

# 29. Rational invisibility 仍然存在

對：

$$
M_P
=
\lambda'
\begin{pmatrix}
1&t\\
t&t^2
\end{pmatrix},
$$

其 rank-one factors 可寫為：

$$
M_P
=
\lambda'
\begin{pmatrix}
1\\
t
\end{pmatrix}
\begin{pmatrix}
1&t
\end{pmatrix}.
$$

因：

$$
t\notin\mathbb Q,
$$

不存在：

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

使：

$$
\begin{pmatrix}
1&t
\end{pmatrix}
v=0.
$$

因此不存在 nonzero rational $w,v$ 使：

$$
w^TM_Pv=0.
$$

所以 Type P 仍然是 Matrix Coefficient Conjecture 中的：

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

狀態。

---

# 30. 2026 Matrix Coefficient Conjecture 的位置

Dasgupta–Kakde 的 Matrix Coefficient Conjecture 主張：

若一個 square algebraic-log matrix：

$$
M
$$

滿足：

$$
\det M=0,
$$

則存在：

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

使：

$$
w^TMv=0.
$$

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

因此 ACTM 的 Type P / Type B 分類都屬於這個 conjecture 嘗試排除的 singular-rationally-invisible states。

該論文也提出 auxiliary-polynomial / support-based proof strategy，但完成 Matrix Coefficient Conjecture 所需的一個關鍵 implication 仍然 open。

---

# 31. Rank-3 狀態的額外強度

Type P 不只是：

$$
\lambda',
t\lambda',
t^2\lambda'
\in
\mathcal L_{\mathrm{alg}}.
$$

它同時強迫：

$$
\boxed{
\lambda',t
\text{ algebraically independent},
}
$$

$$
\boxed{
e^{g(t)}
\text{ transcendental for every }
g\in\operatorname{PGL}_2(\mathbb Q),
}
$$

以及：

$$
\boxed{
t^3\lambda'
\notin
\mathcal L_{\mathrm{alg}}.
}
$$

因此 hypothetical Type P counterexample 必須是一個非常精確的「長度 $3$，但不能再延長」的 algebraic-log chain。

---

# 32. Rank-4 狀態的額外強度

Type B 必須同時滿足：

$$
\operatorname{trdeg}_{\mathbb Q}
\mathbb Q(\lambda,a,b)
\ge2,
$$

$$
1,a,b,ab
\text{ are }
\overline{\mathbb Q}\text{-linearly independent},
$$

以及：

$$
\operatorname{PGL}_2(\mathbb Q)\cdot a
\cap
\mathcal L_{\mathrm{alg}}
=
\varnothing,
$$

$$
\operatorname{PGL}_2(\mathbb Q)\cdot b
\cap
\mathcal L_{\mathrm{alg}}
=
\varnothing.
$$

但仍要：

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

因此 Type B 是一個：

$$
\boxed{
\text{highly rigid four-corner logarithmic rectangle}.
}
$$

---

# 33. Counterexample classification table

| 類型 | $\rho$ | 核心關係 | 可正規化形式 | 已知額外限制 |
|---|---:|---|---|---|
| Type P | $3$ | rational bilinear relation | $\lambda',t\lambda',t^2\lambda'$ | $\operatorname{trdeg}\mathbb Q(\lambda',t)=2$；$t^3\lambda'\notin\mathcal L_{\mathrm{alg}}$ |
| Type B | $4$ | 無 algebraic bilinear relation | genuine $\lambda,a\lambda,b\lambda,ab\lambda$ rectangle | $\operatorname{trdeg}\mathbb Q(\lambda,a,b)\ge2$；PLA |

---

# 34. 本輪最重要的壓縮

Round 3：

$$
\boxed{
\operatorname{MID}=2
}
$$

仍然像是一個抽象 intersection anomaly。

Round 4 將它拆成：

$$
\boxed{
\operatorname{MID}=2
\Rightarrow
\text{Type P or Type B}.
}
$$

其中 Type P 又被進一步壓成：

$$
\boxed{
\lambda,
t\lambda,
t^2\lambda
\in
\mathcal L_{\mathrm{alg}},
\quad
t^3\lambda
\notin
\mathcal L_{\mathrm{alg}}.
}
$$

因此第一條真正適合集中攻擊的窄前沿已經形成。

---

# 35. ACTM 與原始問題的回接

最初 ACTM 問：

> 哪些代數結構具有組合潛力，使它們經某種生成機制後產生超越？

Round 4 顯示反方向也成立：

> 若假想「過度代數化」真的發生，它不能任意發生，而會被迫形成非常特殊的生成鏈與矩陣形狀。

也就是：

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

與：

$$
\boxed{
\text{Impossible Algebraic Compression}
}
$$

其實是同一問題的兩面。

---

# 36. Round 4 判定

**PASS — Hypothetical MID=2 State Classified into Two Structural Types**

本輪完成：

1. 證明 $a,b$ 必為超越數。
2. 證明 $e^a,e^b$ 必為超越數。
3. 推廣成 rational projective orbit avoidance：
   $$
   e^{g(a)},e^{g(b)}
   \text{ transcendental}.
   $$
4. 得到 counterexample parameter floor：
   $$
   \operatorname{trdeg}\mathbb Q(\lambda,a,b)\ge2.
   $$
5. 定義 bilinear span rank：
   $$
   \rho
   =
   \dim_{\mathbb Q}
   \operatorname{span}\{1,a,b,ab\}.
   $$
6. 排除：
   $$
   \rho\le2.
   $$
7. 得到：
   $$
   \rho\in\{3,4\}.
   $$
8. Type P：
   $$
   \rho=3
   $$
   等價於 rational Möbius relation。
9. 將 Type P 正規化成：
   $$
   \lambda,t\lambda,t^2\lambda
   \in\mathcal L_{\mathrm{alg}}.
   $$
10. 證明 Type P 中：
    $$
    \operatorname{trdeg}\mathbb Q(\lambda,t)=2.
    $$
11. 用 Six Exponentials 得到：
    $$
    t^3\lambda
    \notin
    \mathcal L_{\mathrm{alg}}.
    $$
12. 定義 Exact Power-Chain Depth：
    $$
    D_\lambda(t)=2.
    $$
13. 將 Type P 改寫為三-log geometric-progression problem。
14. Type B：
    $$
    \rho=4
    $$
    時，$1,a,b,ab$ 在 $\overline{\mathbb Q}$ 上線性獨立。
15. 得到 Type P / Type B 完整二分。

---

# 37. Round 5 正式入口

Round 5 建議先攻較窄的：

$$
\boxed{
\text{Type P}
}
$$

而不是直接處理 Type B。

基本輸入改成三個 algebraic logarithms：

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

滿足：

$$
\boxed{
\mu^2=\lambda\nu.
}
$$

以及：

$$
\lambda,\mu,\nu
$$

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

定義：

$$
t
=
\frac{\mu}{\lambda}
=
\frac{\nu}{\mu}.
$$

已知 hypothetical Type P 要求：

$$
t
\text{ transcendental},
$$

$$
\operatorname{trdeg}_{\mathbb Q}
\mathbb Q(\lambda,t)=2,
$$

$$
e^{g(t)}
\text{ transcendental}
$$

對所有：

$$
g
\in
\operatorname{PGL}_2(\mathbb Q),
$$

且：

$$
t^3\lambda
\notin
\mathcal L_{\mathrm{alg}}.
$$

Round 5 的問題變成：

> 能否利用「三個 algebraic logarithms 形成精確 geometric progression」本身，推出新的 rational visibility、height obstruction、period obstruction 或 approximation obstruction？

也就是正式研究：

$$
\boxed{
\lambda\nu-\mu^2=0
}
$$

這條最小 quadratic relation。

---

# 38. 一句話結論

> **若 Four Exponentials 的一維缺口真的存在，它不是任意的：假想反例要麼能經 rational projective normalization 壓成一條精確的三項 algebraic-log 幾何鏈，且第四項必須立即逃逸；要麼四個 corner multipliers 已經在 algebraic bilinear 層面完全獨立。**

最窄的第一型為：

$$
\boxed{
\lambda,
\quad
t\lambda,
\quad
t^2\lambda
\in
\mathcal L_{\mathrm{alg}},
}
$$

但：

$$
\boxed{
t^3\lambda
\notin
\mathcal L_{\mathrm{alg}},
}
$$

同時：

$$
\boxed{
\operatorname{trdeg}_{\mathbb Q}
\mathbb Q(\lambda,t)=2.
}
$$

這是 ACTM Round 4 的正式前沿。

---

# 參考資料

1. Damien Roy and Michel Waldschmidt, **Quadratic Relations between Logarithms of Algebraic Numbers**, *Proceedings of the Japan Academy, Series A*, 71 (1995), 151–153.  
   其中證明 Four Exponentials Conjecture 在四個參數生成域的 transcendence degree 為 $1$ 時成立。

2. Michel Waldschmidt, **The Four Exponentials Problem and Schanuel’s Conjecture**, in *Mathematics Going Forward*, Lecture Notes in Mathematics 2313, Springer, 2023, pp. 579–592.

3. Michel Waldschmidt, expository accounts of the **Five Exponentials Theorem** and **Six Exponentials Theorem**, including *Legacy of Srinivasa Ramanujan* lecture material.

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

5. Samit Dasgupta, **Ranks of Matrices of Logarithms of Algebraic Numbers I: The theorems of Baker and Waldschmidt–Masser**, *Essential Number Theory* 2 (2023).

6. Alan Baker, classical theorem on linear independence of logarithms of algebraic numbers over algebraic coefficients.

---

**ACTM Round 4 完**