# ACTM Round 7
## Quartic Descent 正規形、差集稀疏性與 Six/Five Exponentials 組合障礙
### Quartic Descent Normal Form, Difference-Set Sparsity, and the Six/Five Exponentials Combinatorial Barrier

**研究計畫：** Algebraic Combinatorial Transcendence Methodology（ACTM）  
**作者：** Neo.K；Aletheia（GPT-5.6 Sol）  
**機構：** EveMissLab / 一言諾科技有限公司  
**日期：** 2026-09-30  
**版本：** Round 7 / v0.1  
**文件性質：** 正式研究筆記／first higher-support layer  
**狀態聲明：** 本輪不宣稱證明 Four Exponentials Conjecture。本輪研究 hypothetical Type-P state 中第一個尚未被前輪排除的 higher-degree descent，即 genuine quartic descent。主要使用已證的 Six Exponentials Theorem、Five Exponentials Theorem，以及前輪建立的 Type-P Quadratic Window / Cubic Wall。

---

## 摘要

ACTM Round 6 將 hypothetical Type-P state 表示為：

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

但：

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

其中：

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

並定義 polynomial descent space：

$$
\mathscr D_{\lambda,t}
=
\left\{
P\in\mathbb Q[X]:
\lambda P(t)
\in
\mathcal L_{\mathrm{alg}}
\right\}.
$$

已知：

$$
\mathbb Q[X]_{\le2}
\subseteq
\mathscr D_{\lambda,t},
$$

而：

$$
\mathscr D_{\lambda,t}
$$

中不存在任何 genuine cubic polynomial。

因此第一個尚未被排除的 polynomial degree 是：

$$
\boxed{
4.
}
$$

Round 7 反設存在：

$$
P_4
\in
\mathscr D_{\lambda,t},
\qquad
\deg P_4=4.
$$

本輪首先證明 quartic descent 在 degree-$4$ quotient 中至多只有一維：

$$
\boxed{
\dim_{\mathbb Q}
\frac{
\mathscr D_{\lambda,t}
\cap
\mathbb Q[X]_{\le4}
}{
\mathbb Q[X]_{\le2}
}
\le1.
}
$$

若 genuine quartic descent 存在，則此 quotient 精確為一維。

進一步，任何 quartic descent 都可透過唯一的 rational translation：

$$
s=t+h,
\qquad
h\in\mathbb Q,
$$

正規化成：

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

而 Type-P 結構保持：

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

但：

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

因此 quartic hypothesis 可完全壓成 monomial exponent pattern：

$$
\boxed{
\{0,1,2,4\}.
}
$$

接著定義 monomial descent set：

$$
E_{\lambda,s}
=
\left\{
n\in\mathbb Z_{\ge0}:
s^n\lambda
\in
\mathcal L_{\mathrm{alg}}
\right\}.
$$

Six Exponentials Theorem 推出一個全域 additive-combinatorial constraint。對每個：

$$
d\ge1,
$$

定義 difference multiplicity：

$$
r_E(d)
=
\#\left\{
n\ge0:
n,n+d\in E
\right\}.
$$

則：

$$
\boxed{
r_E(d)\le2.
}
$$

也就是每一個正差值最多只能由兩對 descent exponents 實現。

Five Exponentials Theorem 更進一步給出：

若：

$$
r_E(d)=2,
$$

則對所有：

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

都有：

$$
\boxed{
e^{\gamma s^d}
\text{ transcendental}.
}
$$

因此 difference multiplicity 達到 Six Exponentials 所允許的上限時，該 gap multiplier 本身會取得完整 algebraic-scalar escape。

由：

$$
r_E(d)\le2,
$$

得到一般密度界：

$$
\boxed{
\left|
E
\cap
\{0,\ldots,N\}
\right|
\le
\frac{
1+\sqrt{1+16N}
}{2}.
}
$$

故：

$$
\boxed{
|E\cap[0,N]|
=
O(\sqrt N).
}
$$

這與經典文獻中對：

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

序列中 algebraic values 數量的平方根型上界在結構上相呼應。

對 quartic normal form：

$$
\{0,1,2,4\}
\subseteq
E,
$$

差值 $1$ 與 $2$ 都已達到 multiplicity $2$：

$$
r_E(1)=2,
\qquad
r_E(2)=2.
$$

因此：

$$
\boxed{
3,5,6
\notin
E.
}
$$

並且：

$$
\boxed{
e^{\gamma s},
\quad
e^{\gamma s^2}
\text{ 均為超越數}
}
$$

對所有 nonzero algebraic $\gamma$ 成立。

所以若 quartic descent 真存在，下一個尚未被 Six/Five Exponentials 立即排除的 monomial exponent 至少為：

$$
\boxed{
7.
}
$$

Round 7 因而將 higher-support unknown region 從：

$$
4,5,6,\ldots
$$

壓縮為：

$$
\boxed{
4
\text{ 可假設；}
\quad
5,6
\text{ 被迫逃逸；}
\quad
7
\text{ 才是下一個可能位置。}
}
$$

---

# 1. 起始設定

固定 Type-P state：

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

以及 transcendental：

$$
t
$$

使：

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

但：

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

定義：

$$
\boxed{
\mathscr D
=
\mathscr D_{\lambda,t}
=
\left\{
P\in\mathbb Q[X]:
\lambda P(t)
\in
\mathcal L_{\mathrm{alg}}
\right\}.
}
$$

因：

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

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

$$
\mathscr D
$$

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

---

# 2. 已知低階結構

Round 5–6 已證：

$$
\boxed{
\mathbb Q[X]_{\le2}
\subseteq
\mathscr D.
}
$$

而：

$$
\boxed{
P\in\mathscr D,
\quad
\deg P=3
}
$$

不可能成立。

因此：

$$
\boxed{
\mathscr D
\cap
\mathbb Q[X]_{\le3}
=
\mathbb Q[X]_{\le2}.
}
$$

---

# 3. Quartic hypothesis

Round 7 反設存在：

$$
P_4
\in
\mathscr D,
$$

且：

$$
\deg P_4=4.
$$

寫成：

$$
P_4(X)
=
a_4X^4
+
a_3X^3
+
Q_2(X),
$$

其中：

$$
a_4\neq0,
$$

以及：

$$
Q_2\in\mathbb Q[X]_{\le2}.
$$

---

# 4. 命題 R7.1：Quartic quotient 至多一維

考慮：

$$
\mathscr D_{\le4}
=
\mathscr D
\cap
\mathbb Q[X]_{\le4}.
$$

則：

$$
\boxed{
\dim_{\mathbb Q}
\left(
\mathscr D_{\le4}
/\mathbb Q[X]_{\le2}
\right)
\le1.
}
$$

---

# 5. R7.1 證明

假設存在兩個 quartic descents：

$$
P,Q
\in
\mathscr D_{\le4}
$$

其在：

$$
\mathscr D_{\le4}
/\mathbb Q[X]_{\le2}
$$

中線性獨立。

可取 rational scalar：

$$
c
$$

使：

$$
R=P-cQ
$$

的 quartic leading coefficient 消失。

因此：

$$
\deg R\le3.
$$

又因：

$$
P,Q\in\mathscr D,
$$

故：

$$
R\in\mathscr D.
$$

如果：

$$
\deg R=3,
$$

違反 Cubic Wall。

所以：

$$
\deg R\le2.
$$

因此：

$$
P
\equiv
cQ
\pmod{
\mathbb Q[X]_{\le2}
}.
$$

矛盾。

故 quotient 至多一維。

證畢。

---

# 6. Quartic existence 時的完整 degree-$4$ space

若 genuine quartic descent 存在，則：

$$
\boxed{
\dim_{\mathbb Q}
\mathscr D_{\le4}=4.
}
$$

具體地，任取一個：

$$
P_4\in\mathscr D,
\qquad
\deg P_4=4,
$$

便有：

$$
\boxed{
\mathscr D_{\le4}
=
\mathbb Q[X]_{\le2}
\oplus
\mathbb Q P_4.
}
$$

所以 degree-$4$ unknown 不是一大片自由空間。

它最多只增加：

$$
\boxed{
1
}
$$

個 rational descent direction。

---

# 7. 去除 quadratic tail

因：

$$
Q_2\in\mathscr D,
$$

從：

$$
P_4
=
a_4X^4+a_3X^3+Q_2
\in\mathscr D
$$

可扣除：

$$
Q_2
$$

並除以：

$$
a_4.
$$

因此：

$$
\boxed{
X^4+cX^3
\in
\mathscr D,
}
$$

其中：

$$
c
=
\frac{a_3}{a_4}
\in
\mathbb Q.
$$

---

# 8. 命題 R7.2：Pure quartic normal form

令：

$$
h=\frac{c}{4}.
$$

展開：

$$
(X+h)^4
=
X^4
+
cX^3
+
6h^2X^2
+
4h^3X
+
h^4.
$$

因此：

$$
(X+h)^4
-
(X^4+cX^3)
\in
\mathbb Q[X]_{\le2}.
$$

兩部分均在：

$$
\mathscr D,
$$

故：

$$
\boxed{
(X+h)^4
\in
\mathscr D.
}
$$

令：

$$
s=t+h.
$$

則：

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

---

# 9. Translation 保持 Type-P 低階結構

因：

$$
h\in\mathbb Q,
$$

有：

$$
s=t+h.
$$

所以：

$$
s
$$

仍為超越數。

而：

$$
s\lambda
=
t\lambda+h\lambda
$$

屬於：

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

同樣：

$$
s^2\lambda
=
t^2\lambda
+
2ht\lambda
+
h^2\lambda
$$

亦屬於：

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

因此：

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

---

# 10. Cubic Wall 在 translated coordinate 中保持

$$
s^3
=
(t+h)^3
$$

是 $t$ 的 genuine cubic polynomial，其 leading coefficient 為 $1$。

所以 Round 5 的 Cubic Wall 立即給：

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

因此 quartic hypothesis 可完全正規化為：

$$
\boxed{
0,1,2,4
\text{ descend},
\qquad
3
\text{ escapes}.
}
$$

---

# 11. 命題 R7.3：Quartic center 唯一

假設：

$$
h,k\in\mathbb Q
$$

且：

$$
\lambda(t+h)^4
\in
\mathcal L_{\mathrm{alg}},
$$

以及：

$$
\lambda(t+k)^4
\in
\mathcal L_{\mathrm{alg}}.
$$

兩者相減：

$$
(t+h)^4-(t+k)^4
$$

若：

$$
h\neq k,
$$

其 leading term 為：

$$
4(h-k)t^3.
$$

因此這是一個 genuine rational cubic polynomial。

由 $\mathcal L_{\mathrm{alg}}$ 的線性封閉性，其差也會 descend，違反 Cubic Wall。

所以：

$$
\boxed{
h=k.
}
$$

因此 genuine quartic descent 若存在，具有唯一 rational affine center。

---

# 12. Quartic canonical form

Round 7 後可無損地把 Type-P + quartic hypothesis 寫成：

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

但：

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

其中：

$$
s
$$

為超越數，而且：

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

---

# 13. Projective pole interpretation

回到 Round 6 的 projective tower。

令：

$$
L,M
$$

為 rational linear forms，形成：

$$
H_1
$$

的一組基底。

對 quartic：

$$
F\in H_4,
$$

研究：

$$
\lambda
\frac{F(1,t)}
{L(1,t)^2}.
$$

若：

$$
L\mid F,
$$

寫：

$$
F=LG,
\qquad
G\in H_3.
$$

若該 quartic rational section descends，則：

$$
\lambda
\frac{G(1,t)}
{L(1,t)}
\in
\mathcal L_{\mathrm{alg}}.
$$

Round 6 的 Projective Cubic Divisibility Criterion 給：

$$
L\mid G.
$$

所以：

$$
\boxed{
L\mid F
\text{ and quartic descent}
\Rightarrow
L^2\mid F.
}
$$

---

# 14. No simple-pole quartic descent

因此 quartic projective section：

$$
\lambda
\frac{F}{L^2}
$$

如果 descent，只有兩種可能：

1. $L^2\mid F$，此時 section 其實是 regular quadratic descent；
2. $L\nmid F$，此時它具有 genuine double pole。

不可能存在：

$$
\boxed{
\text{simple-pole quartic descent}.
}
$$

這是 Round 7 的 projective support boundary。

---

# 15. Quartic quotient in an adapted basis

在 adapted basis：

$$
(L,M),
$$

有：

$$
H_4
=
L^2H_2
\oplus
\mathbb Q\,LM^3
\oplus
\mathbb Q\,M^4.
$$

其中：

- $L^2H_2$：regular quadratic part；
- $LM^3$：simple-pole direction；
- $M^4$：double-pole direction。

Round 7 已知 simple-pole direction 不可能單獨出現在 descent quotient。

因此任何 genuine quartic class 都必須有：

$$
M^4
$$

component。

---

# 16. Shear normalization

允許 rational shear：

$$
M'
=
M+rL,
\qquad
r\in\mathbb Q.
$$

模：

$$
L^2H_2
$$

有：

$$
(M')^4
\equiv
M^4
+
4rLM^3.
$$

因此任何 class：

$$
M^4+cLM^3
$$

都可取：

$$
r=-\frac{c}{4}
$$

正規化成：

$$
\boxed{
(M')^4
}
$$

modulo regular descent。

這是 affine pure-quartic normal form 的 projective版本。

---

# 17. Monomial descent set

在 pure quartic coordinate $s$ 中，定義：

$$
\boxed{
E
=
E_{\lambda,s}
=
\left\{
n\in\mathbb Z_{\ge0}:
s^n\lambda
\in
\mathcal L_{\mathrm{alg}}
\right\}.
}
$$

已知：

$$
\boxed{
0,1,2,4
\in E,
}
$$

而：

$$
\boxed{
3\notin E.
}
$$

---

# 18. Difference multiplicity

對：

$$
d\ge1,
$$

定義：

$$
\boxed{
r_E(d)
=
\#\left\{
n\in\mathbb Z_{\ge0}:
n\in E,
\quad
n+d\in E
\right\}.
}
$$

也就是 exponent set 中 gap $d$ 的 ordered-start multiplicity。

---

# 19. 命題 R7.4：Six Exponentials Difference Bound

對所有：

$$
d\ge1,
$$

有：

$$
\boxed{
r_E(d)\le2.
}
$$

---

# 20. R7.4 證明

反設存在三個 distinct：

$$
n_1,n_2,n_3
$$

使：

$$
n_j,
\quad
n_j+d
\in E
$$

對：

$$
j=1,2,3
$$

成立。

取：

$$
x_1=1,
\qquad
x_2=s^d.
$$

因 $s$ 超越：

$$
1,s^d
$$

在：

$$
\mathbb Q
$$

上線性獨立。

再取：

$$
y_j
=
s^{n_j}\lambda.
$$

若：

$$
q_1y_1+q_2y_2+q_3y_3=0,
$$

則：

$$
q_1s^{n_1}
+
q_2s^{n_2}
+
q_3s^{n_3}
=
0.
$$

由 $s$ 超越及 $n_j$ distinct：

$$
q_1=q_2=q_3=0.
$$

所以：

$$
y_1,y_2,y_3
$$

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

而六個 products：

$$
x_i y_j
$$

正是：

$$
s^{n_j}\lambda
$$

與：

$$
s^{n_j+d}\lambda.
$$

依假設全部位於：

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

因此六個 exponentials 全部代數，與 Six Exponentials Theorem 矛盾。

故：

$$
r_E(d)\le2.
$$

證畢。

---

# 21. Difference-set interpretation

R7.4 表示：

> exponent descent set $E$ 中，每一個正差值最多有兩個 representations。

也就是：

$$
\boxed{
E
\text{ is a bounded-difference-multiplicity set with parameter }2.
}
$$

在 additive combinatorics 語言中，這與 generalized Sidon / $B_2[g]$ 型稀疏條件同類。

本輪不要求固定使用某一個標準命名，而保留精確式：

$$
r_E(d)\le2.
$$

---

# 22. 命題 R7.5：Five Exponentials Saturation

假設某個：

$$
d\ge1
$$

滿足：

$$
r_E(d)=2.
$$

則存在 distinct：

$$
m,n
$$

使：

$$
m,m+d,n,n+d
\in E.
$$

對任意：

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

有：

$$
\boxed{
e^{\gamma s^d}
\text{ transcendental}.
}
$$

---

# 23. R7.5 證明

取：

$$
x_1=1,
\qquad
x_2=s^d,
$$

以及：

$$
y_1=s^m\lambda,
\qquad
y_2=s^n\lambda.
$$

兩對：

$$
x_1,x_2
$$

及：

$$
y_1,y_2
$$

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

前四個 Five Exponentials quantities：

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

因：

$$
m,n,m+d,n+d
\in E
$$

全部為代數數。

Five Exponentials Theorem 的 $\gamma$-版本告訴我們，五個數中至少一個超越：

$$
e^{x_1y_1},
\quad
e^{x_1y_2},
\quad
e^{x_2y_1},
\quad
e^{x_2y_2},
\quad
e^{\gamma x_2/x_1}.
$$

前四個已代數。

故：

$$
e^{\gamma s^d}
$$

必超越。

證畢。

---

# 24. Saturated Difference Certificate

因此當：

$$
r_E(d)=2,
$$

gap：

$$
s^d
$$

本身具有極強逃逸性：

$$
\boxed{
\gamma s^d
\notin
\mathcal L_{\mathrm{alg}}
\qquad
\forall
0\neq\gamma
\in
\overline{\mathbb Q}.
}
$$

本輪稱：

$$
r_E(d)=2
$$

為：

**Saturated Difference Certificate**。

---

# 25. Global density bound

令：

$$
E_N
=
E
\cap
\{0,1,\ldots,N\}.
$$

寫：

$$
m_N
=
|E_N|.
$$

$E_N$ 中 unordered pairs 數為：

$$
\binom{m_N}{2}.
$$

每一對 distinct exponents 有唯一 positive difference：

$$
d\in\{1,\ldots,N\}.
$$

而每個 difference 最多出現兩次。

因此：

$$
\binom{m_N}{2}
\le
2N.
$$

即：

$$
\frac{
m_N(m_N-1)
}{2}
\le
2N.
$$

解得：

$$
\boxed{
m_N
\le
\frac{
1+\sqrt{1+16N}
}{2}.
}
$$

所以：

$$
\boxed{
|E\cap[0,N]|
=
O(\sqrt N).
}
$$

---

# 26. ACTM 的全域稀疏結論

若 Type-P state 存在，其 monomial descent exponents 不可能有正密度。

更強地：

$$
\boxed{
\lim_{N\to\infty}
\frac{
|E\cap[0,N]|
}{N}
=
0.
}
$$

而其最大可能 growth 至少受到：

$$
\sqrt N
$$

量級控制。

這是由 Six Exponentials 的 finite-dimensional theorem 直接產生的 global additive-combinatorial consequence。

---

# 27. 與經典 $2^{\pi^k}$ 稀疏結果的對照

超越數論文獻中已長期研究：

$$
2^{\pi^k},
\qquad
k=1,2,\ldots
$$

中可能有多少 algebraic values。

Waldschmidt 的相關講義整理了 Srinivasan、Ramachandra、Balasubramanian 等人的結果，其中出現：

$$
O(\sqrt N)
$$

甚至更精細的平方根型上界。

Round 7 的：

$$
|E\cap[0,N]|
=
O(\sqrt N)
$$

不是在宣稱取代這些結果。

它的角色是：

> 從 ACTM multiplier / Six Exponentials 結構，重新導出一個一般性的 bounded-difference-multiplicity mechanism，解釋為什麼此類 algebraic-exponential exponent sets 天然呈現平方根型稀疏。

---

# 28. Quartic pattern 的 gap $1$

在 quartic canonical state：

$$
0,1,2,4
\in E.
$$

對：

$$
d=1,
$$

已有兩個 representations：

$$
0\to1,
$$

$$
1\to2.
$$

因此：

$$
\boxed{
r_E(1)=2.
}
$$

由 R7.5：

$$
\boxed{
e^{\gamma s}
\text{ transcendental}
}
$$

對所有：

$$
0\neq
\gamma
\in
\overline{\mathbb Q}
$$

成立。

---

# 29. Quartic pattern 的 gap $2$

對：

$$
d=2,
$$

quartic state 給兩個 representations：

$$
0\to2,
$$

以及：

$$
2\to4.
$$

所以：

$$
\boxed{
r_E(2)=2.
}
$$

因此：

$$
\boxed{
e^{\gamma s^2}
\text{ transcendental}
}
$$

對所有：

$$
0\neq
\gamma
\in
\overline{\mathbb Q}
$$

成立。

---

# 30. Exclusion of exponent $5$

若：

$$
5\in E,
$$

則 gap $1$ 新增：

$$
4\to5.
$$

這會使：

$$
r_E(1)\ge3,
$$

違反 R7.4。

因此：

$$
\boxed{
5\notin E.
}
$$

---

# 31. Exclusion of exponent $6$

若：

$$
6\in E,
$$

則 gap $2$ 新增：

$$
4\to6.
$$

原本已有：

$$
0\to2,
$$

$$
2\to4.
$$

所以：

$$
r_E(2)\ge3,
$$

矛盾。

故：

$$
\boxed{
6\notin E.
}
$$

---

# 32. Quartic Escape Halo

原本已有：

$$
3\notin E.
$$

現在又得到：

$$
5,6\notin E.
$$

因此：

$$
\boxed{
E
\cap
\{0,1,\ldots,6\}
=
\{0,1,2,4\}.
}
$$

本輪稱：

$$
\{3,5,6\}
$$

為 quartic descent 的：

**Escape Halo**。

---

# 33. 下一個可能 monomial exponent

由上述結果，若 quartic descent：

$$
4\in E
$$

存在，則：

$$
3,5,6
$$

全部被強制排除。

因此第一個尚未由現有 Six/Five Exponentials constraints 直接排除的下一個 exponent 是：

$$
\boxed{
7.
}
$$

注意：

$$
7\in E
$$

並不是已知可能。

它只是尚未被目前這組 argument 排除。

---

# 34. Nested Type-P state

若：

$$
4\in E,
$$

則：

$$
\lambda,
\quad
s^2\lambda,
\quad
s^4\lambda
\in
\mathcal L_{\mathrm{alg}}.
$$

令：

$$
u=s^2.
$$

則：

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

所以 quartic descent 自動生成第二個 Type-P chain，其 ratio 為：

$$
u=s^2.
$$

Six Exponentials 對此 nested chain 迫使：

$$
u^3\lambda
=
s^6\lambda
\notin
\mathcal L_{\mathrm{alg}},
$$

與前述 gap-$2$ argument 完全一致。

---

# 35. Nested transcendence-degree condition

因：

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

且：

$$
s
$$

對：

$$
\mathbb Q(s^2)
$$

為代數的，故：

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

因此 nested Type-P state 同樣位於 Roy–Waldschmidt 已知 transcendence-degree-$1$ layer 之外。

---

# 36. General gap theorem

R7.4 可抽象化為：

> 對任意 descent exponent set $E$，不存在三個 distinct starting points：
>
> $$
> n_1,n_2,n_3
> $$
>
> 及 nonzero gap：
>
> $$
> d
> $$
>
> 使：
>
> $$
> n_j,
> \quad
> n_j+d
> \in E
> $$
>
> 對所有：
>
> $$
> j=1,2,3
> $$
>
> 成立。

也就是：

$$
\boxed{
E
\text{ contains no }
2\times3
\text{ additive rectangle}.
}
$$

這正是 Six Exponentials 的 exponent-index shadow。

---

# 37. Five Exponentials 的 $2\times2$ shadow

若 $E$ 包含一個：

$$
2\times2
$$

additive rectangle：

$$
\{m,n,m+d,n+d\},
$$

其中：

$$
m\neq n,
$$

則該 rectangle 本身不被 Six Exponentials 排除。

但 Five Exponentials 強迫其 gap ratio：

$$
s^d
$$

具有：

$$
\boxed{
\overline{\mathbb Q}^{\times}
\text{-scalar escape}.
}
$$

因此：

$$
\boxed{
2\times2
\text{ rectangle}
\Rightarrow
\text{gap transcendence certificate};
}
$$

而：

$$
\boxed{
2\times3
\text{ rectangle}
\Rightarrow
\text{impossible}.
}
$$

這形成一個非常乾淨的 combinatorial hierarchy。

---

# 38. Difference representation hierarchy

對每個：

$$
d\ge1,
$$

只有三種狀態：

### Unsaturated

$$
r_E(d)=0
\text{ or }
1.
$$

### Saturated

$$
r_E(d)=2.
$$

此時：

$$
e^{\gamma s^d}
$$

對所有 nonzero algebraic $\gamma$ 超越。

### Forbidden

$$
r_E(d)\ge3.
$$

此狀態被 Six Exponentials 完全排除。

因此：

$$
\boxed{
0/1
\rightarrow
2
\rightarrow
3
}
$$

分別對應：

$$
\boxed{
\text{allowed}
\rightarrow
\text{escape-certified}
\rightarrow
\text{impossible}.
}
$$

---

# 39. Quartic layer 為什麼仍未被排除

pattern：

$$
\{0,1,2,4\}
$$

的 difference multiplicities 為：

$$
r_E(1)=2,
$$

$$
r_E(2)=2,
$$

$$
r_E(3)=1,
$$

$$
r_E(4)=1.
$$

沒有任何 difference 出現三次。

因此它恰好位於 Six Exponentials 的 combinatorial boundary 上。

這解釋為什麼單純重複 Six Exponentials 無法直接排除 quartic descent。

---

# 40. Degree 與 support 的重新關係

Round 6 顯示：

$$
d=4
$$

是第一個 polynomial degree 未被 Cubic Wall 解決。

Round 7 顯示真正有意義的並不是「degree $4$」本身，而是：

$$
\boxed{
E
\supseteq
\{0,1,2,4\}
}
$$

這個 exponent support pattern。

所以 higher-support 問題可改寫為：

> 哪些 finite exponent sets：
>
> $$
> S
> \subset
> \mathbb Z_{\ge0}
> $$
>
> 能滿足：
>
> $$
> s^n\lambda
> \in
> \mathcal L_{\mathrm{alg}}
> $$
>
> 對所有：
>
> $$
> n\in S?
> $$

Six/Five Exponentials 對 $S$ 施加 difference multiplicity constraints。

---

# 41. Support admissibility

定義 finite set：

$$
S
\subset
\mathbb Z_{\ge0}
$$

為 **ACTM-admissible at $(\lambda,s)$**，若：

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

對所有：

$$
n\in S.
$$

則任何 admissible $S$ 必滿足：

$$
\boxed{
r_S(d)
\le2
}
$$

對所有：

$$
d>0.
$$

如果：

$$
r_S(d)=2,
$$

則：

$$
\boxed{
e^{\gamma s^d}
\text{ transcendental}
}
$$

對所有 nonzero algebraic $\gamma$。

這將 transcendence problem 轉換為 finite-support combinatorics。

---

# 42. 與 Dasgupta–Kakde support strategy 的關係

Dasgupta–Kakde 2026 的 Matrix Coefficient Conjecture 研究使用：

- auxiliary-polynomial monomial support；
- Newton polytopes；
- mixed volumes；
- fewnomial-type control。

Round 7 的 $E$ 則是：

> algebraic-log monomial descent 的 exponent support。

兩者不是同一 object。

但兩者都表明：

$$
\boxed{
\text{support combinatorics}
}
$$

可能比單純：

$$
\boxed{
\text{total degree}
}
$$

更直接地捕捉 transcendence obstruction。

本輪將兩者之間的 bridge 保持為研究問題，不宣稱已建立定理上的等價。

---

# 43. Quartic layer 的 projective與 additive 雙重描述

Quartic hypothesis 現在有兩種等價操作視角。

## Projective picture

一個 genuine quartic descent 必：

- 沒有 simple pole；
- 可 rational shear normalize 成 pure fourth-power double pole；
- degree-$4$ quotient 只有一維。

## Additive-support picture

其 exponent set 必含：

$$
\{0,1,2,4\},
$$

且每個 difference multiplicity：

$$
\le2.
$$

兩個描述共同說明：

> quartic descent 若存在，既是 projectively unique 的，也是 additively sparse 的。

---

# 44. Round 7 的第一個 global invariant

定義：

$$
\boxed{
\operatorname{ADM}(E)
=
\sup_{d\ge1}
r_E(d)
}
$$

稱：

**Additive Difference Multiplicity**。

Six Exponentials 給：

$$
\boxed{
\operatorname{ADM}(E)\le2.
}
$$

Type P 的基本三項 chain：

$$
\{0,1,2\}
$$

已使：

$$
\operatorname{ADM}(E)=2.
$$

所以任何 Type-P exponent set 都已處於 global maximal allowed multiplicity。

這也是為什麼新增 descent exponents 會快速被排除。

---

# 45. Quartic state 是雙重 saturation

若：

$$
4\in E,
$$

則：

$$
r_E(1)=2
$$

及：

$$
r_E(2)=2.
$$

因此 quartic state 同時 saturation 兩個最短 gaps：

$$
\boxed{
d=1,
\quad
d=2.
}
$$

這使：

$$
3,5,6
$$

立即形成 escape halo。

本輪稱此為：

**Double Difference Saturation**。

---

# 46. Round 7 判定

**PASS — First Higher-Support Layer Reduced to a Unique Quartic Class and a Bounded-Difference-Multiplicity Exponent Set**

本輪完成：

1. 反設 genuine quartic descent。
2. 證明：
   $$
   \dim
   \left(
   \mathscr D_{\le4}/\mathbb Q[X]_{\le2}
   \right)
   \le1.
   $$
3. 若 quartic 存在，得到：
   $$
   \mathscr D_{\le4}
   =
   \mathbb Q[X]_{\le2}
   \oplus
   \mathbb QP_4.
   $$
4. 去除 quadratic tail。
5. 證明任何 quartic descent 可 rational-translate 成 pure fourth power。
6. 證明 quartic rational center 唯一。
7. 建立 projective no-simple-pole criterion。
8. 將 genuine quartic 正規化為 pure double-pole $M^4$ class。
9. 定義 monomial descent set：
   $$
   E_{\lambda,s}.
   $$
10. 證明 Six Exponentials Difference Bound：
    $$
    r_E(d)\le2.
    $$
11. 證明 Five Exponentials Saturation：
    $$
    r_E(d)=2
    \Rightarrow
    e^{\gamma s^d}
    \text{ transcendental}.
    $$
12. 推出 global density：
    $$
    |E\cap[0,N]|
    =
    O(\sqrt N).
    $$
13. Quartic state 給：
    $$
    E\cap[0,6]
    =
    \{0,1,2,4\}.
    $$
14. 證明：
    $$
    5,6\notin E.
    $$
15. 得到：
    $$
    e^{\gamma s},
    \quad
    e^{\gamma s^2}
    $$
    對所有 nonzero algebraic $\gamma$ 超越。
16. 識別 nested Type-P chain：
    $$
    \lambda,
    s^2\lambda,
    s^4\lambda.
    $$
17. 確認下一個尚未被目前 argument 排除的 monomial exponent 是：
    $$
    7.
    $$
18. 將 higher-support problem 重寫為 finite exponent-set admissibility。
19. 定義 Additive Difference Multiplicity：
    $$
    \operatorname{ADM}(E)\le2.
    $$
20. 識別 quartic hypothesis 為 gap-$1$/gap-$2$ Double Difference Saturation。

---

# 47. Round 8 正式入口

Round 8 不建議直接問：

> $s^7\lambda$ 是否 descent？

更有價值的入口是把：

$$
E
$$

當成一個 additive-combinatorial object。

優先研究：

## R8-Q1

分類所有 finite：

$$
S\supseteq\{0,1,2,4\}
$$

滿足：

$$
r_S(d)\le2
$$

的最小擴張。

特別研究：

$$
7,8,9,\ldots
$$

各自加入後會 saturation 哪些 differences。

---

## R8-Q2

結合 Five Exponentials：

每當：

$$
r_S(d)=2,
$$

就產生：

$$
e^{\gamma s^d}
$$

的 full algebraic-scalar escape。

研究這些 escape certificates 是否能反過來與：

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

產生 Baker / Gelfond-type conflict。

---

## R8-Q3

研究 projective transforms 下 exponent support 不再保持 monomial 的問題。

嘗試建立：

$$
\boxed{
\text{projective support}
+
\text{additive difference support}
}
$$

的共同 invariant。

---

## R8-Q4

比較：

$$
E
$$

的 bounded-difference multiplicity 與 Dasgupta–Kakde auxiliary-polynomial support / Newton-polytope condition。

目標不是直接等同兩者，而是尋找：

$$
\boxed{
\text{descent-support sparsity}
\Rightarrow
\text{auxiliary-support sparsity}
}
$$

的可證 bridge。

---

## R8-Q5

研究 quartic descent 所形成的兩條重疊 Type-P chains：

$$
\{0,1,2\}
$$

與：

$$
\{0,2,4\}.
$$

這是第一個 nested critical configuration。

嘗試判斷：

> 兩個共享 $\lambda$ 與 $s^2\lambda$ 的 Type-P states 是否能透過 joint matrix / period geometry 被同時排除。

這可能比單獨研究：

$$
s^4\lambda
$$

更接近真正 contradiction。

---

# 48. 一句話結論

> **若 genuine quartic descent 存在，它不是任意四次多項式現象：它具有唯一 rational center，可正規化成 pure $s^4$ descent，並迫使 monomial descent exponents 形成一個每個差值最多只能出現兩次的平方根稀疏集合。Quartic state 甚至同時飽和 gap $1$ 與 gap $2$，因此 $3,5,6$ 被強制排除。**

核心 normal form：

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

但：

$$
\boxed{
s^3\lambda,
\quad
s^5\lambda,
\quad
s^6\lambda
\notin
\mathcal L_{\mathrm{alg}}.
}
$$

而全域 exponent set 滿足：

$$
\boxed{
r_E(d)\le2
\qquad
\forall d\ge1.
}
$$

這是 ACTM Round 7 的正式前沿。

---

# 參考資料

1. Michel Waldschmidt, survey/expository treatments of the **Six Exponentials Theorem** and **Four Exponentials Conjecture**.  
   Six Exponentials general form:
   $$
   d\ell>d+\ell
   \Rightarrow
   \text{at least one }e^{x_i y_j}\text{ is transcendental}.
   $$

2. Michel Waldschmidt, expository material on the **Five Exponentials Theorem**.  
   If $x_1,x_2$ and $y_1,y_2$ are respectively $\mathbb Q$-linearly independent and $0\neq\gamma\in\overline{\mathbb Q}$, then at least one of:
   $$
   e^{x_1y_1},
   e^{x_1y_2},
   e^{x_2y_1},
   e^{x_2y_2},
   e^{\gamma x_2/x_1}
   $$
   is transcendental.

3. Michel Waldschmidt, lecture notes on Ramanujan-related transcendence problems, summarizing work of Srinivasan, Ramachandra and Balasubramanian on algebraic values among:
   $$
   2^{\pi^k}.
   $$
   These works obtain square-root-type upper bounds for the number of algebraic members in initial segments.

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  
   The paper develops a support / Newton-polytope / mixed-volume strategy for the Matrix Coefficient Conjecture and leaves the key singularity-to-support implication open.

5. Damien Roy and Michel Waldschmidt, **Quadratic Relations between Logarithms of Algebraic Numbers**, *Proceedings of the Japan Academy, Series A* 71 (1995), 151–153.

6. Alan Baker, classical linear-independence theory for logarithms of algebraic numbers.

---

**ACTM Round 7 完**