# ACTM Round 8
## 差集飽和圖、三項等差證書與 Binary-Tower Survivor
### Difference-Saturation Graphs, Three-Term Progression Certificates, and the Binary-Tower Survivor

**研究計畫：** Algebraic Combinatorial Transcendence Methodology（ACTM）  
**作者：** Neo.K；Aletheia（GPT-5.6 Sol）  
**機構：** EveMissLab / 一言諾科技有限公司  
**日期：** 2026-10-02  
**版本：** Round 8 / v0.1  
**文件性質：** 正式研究筆記／additive-support frontier  
**狀態聲明：** 本輪不宣稱證明 Four Exponentials Conjecture。本輪的目標是把 Round 7 的 exponent-support 限制完整抽象化，找出 Six/Five Exponentials 所能與不能排除的結構，並精確定位下一個必須加入的非組合性障礙。

---

## 摘要

ACTM Round 7 在 hypothetical Type-P + quartic descent 下，將問題正規化成：

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

而：

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

定義 monomial descent exponent set：

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

Round 7 已由 Six Exponentials Theorem 得到：

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

對所有：

$$
d\ge1.
$$

而 Five Exponentials Theorem 給出：

$$
r_E(d)=2
\Rightarrow
e^{\gamma s^d}
\text{ transcendental}
$$

對所有：

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

成立。

Round 8 將這些條件組織為一個「差集飽和圖」。

對有限：

$$
S\subseteq E,
$$

定義 saturated difference set：

$$
D_2(S)
=
\left\{
d>0:
r_S(d)=2
\right\}.
$$

若只向右新增一個 exponent：

$$
m>\max S,
$$

則保持 Six-Exponential admissibility 的條件精確為：

$$
\boxed{
m-x
\notin
D_2(S)
\qquad
\forall x\in S.
}
$$

因此 saturated differences 會在數線上產生一個 forbidden halo：

$$
\boxed{
\mathcal H^+(S)
=
S+D_2(S).
}
$$

新 exponent 不能落在：

$$
\mathcal H^+(S).
$$

對 quartic base：

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

有：

$$
D_2(S_0)
=
\{1,2\}.
$$

所以：

$$
5,6
$$

被立即禁止，而：

$$
7
$$

是第一個右側 combinatorially admissible extension。

本輪進一步發現一個關鍵結構：任何三項等差數列：

$$
a,
\quad
a+d,
\quad
a+2d
\in E
$$

都使：

$$
r_E(d)=2.
$$

所以它同時具有兩個後果：

1. 不可能再出現第三個 gap-$d$ pair；
2. Five Exponentials 強迫：
   $$
   e^{\gamma s^d}
   $$
   對所有 nonzero algebraic $\gamma$ 超越。

因此三項 AP 是一個「允許但飽和」的 critical motif，而四項 AP 完全禁止。

Quartic support：

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

正好由兩個共享的三項 AP 組成：

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

它們分別飽和 gaps：

$$
1,
\qquad
2.
$$

最重要的是，本輪證明 Six/Five Exponentials 的純差集條件本身不可能排除所有無限 descent-support 模型。

定義 binary tower：

$$
\boxed{
B_\infty
=
\{0\}
\cup
\{2^k:k\ge0\}
=
\{0,1,2,4,8,16,\ldots\}.
}
$$

則對每個：

$$
d>0,
$$

有：

$$
\boxed{
r_{B_\infty}(d)\le2.
}
$$

更精確：

$$
\boxed{
r_{B_\infty}(d)=2
\iff
d=2^k
\text{ for some }k\ge0.
}
$$

因此 binary tower 完全滿足 Six-Exponential difference bound，而且每個 power-of-two gap 都剛好 Five-Exponentials saturated。

如果一個 hypothetical descent set 包含整個 $B_\infty$，則對每個 $k$ 都形成 nested Type-P chain：

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

而 Six Exponentials 只會排除：

$$
s^{3\cdot2^k}\lambda.
$$

這些 exponent：

$$
3\cdot2^k
$$

本來就不在 binary tower 中。

因此 binary tower 是一個**純 Six/Five Exponentials combinatorics 的無限 survivor model**。

本輪由此得到方法論上的重要結論：

$$
\boxed{
\text{difference sparsity alone cannot close Type P}.
}
$$

真正缺少的 bridge 必須使用：

$$
\boxed{
\text{common }\lambda
+
\text{nested squaring}
+
\text{projective / period / height structure}
}
$$

而不能只繼續累積差集禁區。

---

# 1. 起始設定

固定：

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

以及 transcendental：

$$
s.
$$

定義：

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

其中：

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

---

# 2. Difference representation function

對：

$$
d\ge1,
$$

定義：

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

這計算差值：

$$
d
$$

在 $E$ 中出現多少次。

---

# 3. Six Exponentials bound

Round 7 已證：

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

對所有：

$$
d\ge1.
$$

其證明只需假設存在三個 distinct：

$$
n_1,n_2,n_3
$$

使：

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

然後取：

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

與：

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

六個：

$$
e^{x_i y_j}
$$

將全部代數，違反 Six Exponentials。

---

# 4. Five Exponentials saturation certificate

若：

$$
r_E(d)=2,
$$

取兩個 distinct starts：

$$
m,n
$$

使：

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

Five Exponentials 給出：

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

對所有：

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

成立。

因此：

$$
r_E(d)=2
$$

不是普通的 combinatorial saturation。

它附帶一個 transcendence certificate。

---

# 5. Saturated difference set

對 finite：

$$
S\subseteq E,
$$

定義：

$$
\boxed{
D_2(S)
=
\left\{
d>0:
r_S(d)=2
\right\}.
}
$$

若：

$$
d\in D_2(S),
$$

則 gap：

$$
d
$$

已達 Six Exponentials 所允許的最大 multiplicity。

所以任何新增 exponent 都不能再創造第三個 gap-$d$ pair。

---

# 6. Right-extension criterion

令：

$$
m>\max S.
$$

新增：

$$
m
$$

後，與舊點：

$$
x\in S
$$

形成的新 differences 為：

$$
m-x.
$$

因：

$$
m>\max S,
$$

不同 $x$ 產生不同 difference。

所以新增 $m$ 使所有 difference multiplicity 仍不超過 $2$，當且僅當：

$$
m-x
\notin
D_2(S)
$$

對所有：

$$
x\in S.
$$

即：

$$
\boxed{
m
\text{ admissible}
\iff
m\notin
S+D_2(S).
}
$$

---

# 7. Forward Saturation Halo

定義：

$$
\boxed{
\mathcal H^+(S)
=
S+D_2(S)
=
\left\{
x+d:
x\in S,
\ d\in D_2(S)
\right\}.
}
$$

稱為：

**Forward Saturation Halo**。

對：

$$
m>\max S,
$$

有：

$$
\boxed{
m
\text{ combinatorially admissible}
\iff
m\notin
\mathcal H^+(S).
}
$$

---

# 8. Quartic base halo

取：

$$
S_0
=
\{0,1,2,4\}.
$$

其 positive differences：

$$
1:
\quad
0\to1,
\quad
1\to2;
$$

$$
2:
\quad
0\to2,
\quad
2\to4;
$$

$$
3:
\quad
1\to4;
$$

$$
4:
\quad
0\to4.
$$

因此：

$$
\boxed{
D_2(S_0)
=
\{1,2\}.
}
$$

---

# 9. First right extensions

因：

$$
D_2(S_0)=\{1,2\},
$$

對：

$$
m>4,
$$

若：

$$
m-4\in\{1,2\},
$$

即：

$$
m=5
\quad\text{或}\quad
m=6,
$$

則 forbidden。

因此：

$$
\boxed{
5,6
\text{ forbidden}.
}
$$

而：

$$
7
$$

是第一個不落在 forward halo 的 integer。

所以：

$$
\boxed{
7
\text{ is the first combinatorially admissible right extension}.
}
$$

---

# 10. 但 $7$ 不是唯一 admissible extension

必須區分：

> first admissible

與：

> uniquely admissible。

對 base：

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

所有：

$$
m\ge7
$$

在「只新增一點」的 difference-multiplicity test 下都 admissible。

所以 Round 7 的：

$$
7
$$

只是第一個未被立即排除的位置，不是唯一候選。

---

# 11. Adding $7$

令：

$$
S_1
=
\{0,1,2,4,7\}.
$$

新增 difference：

$$
7-4=3.
$$

原本 gap $3$ 已有：

$$
1\to4.
$$

所以：

$$
4\to7
$$

使：

$$
r_{S_1}(3)=2.
$$

因此：

$$
\boxed{
D_2(S_1)
=
\{1,2,3\}.
}
$$

---

# 12. $7$ 的 escape certificate

因：

$$
r_{S_1}(3)=2,
$$

Five Exponentials 立即給：

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

對所有：

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

這與：

$$
3\notin E
$$

一致，但更強。

---

# 13. $7$ 之後的新 halo

因：

$$
D_2(S_1)
=
\{1,2,3\},
$$

任何新的右側 exponent：

$$
m>7
$$

都不能與已有元素相差：

$$
1,2,3.
$$

特別地：

$$
\boxed{
8,9,10
\text{ forbidden}.
}
$$

所以若選擇 $7$，下一個可能位置至少跳到：

$$
11.
$$

---

# 14. Alternative extension $8$

若從：

$$
S_0
$$

加入：

$$
8,
$$

得到：

$$
S'_1
=
\{0,1,2,4,8\}.
$$

gap $4$ 有：

$$
0\to4,
$$

以及：

$$
4\to8.
$$

所以：

$$
\boxed{
D_2(S'_1)
=
\{1,2,4\}.
}
$$

這正開始形成 powers-of-two pattern。

---

# 15. Three-term arithmetic progression

假設：

$$
a,
\quad
a+d,
\quad
a+2d
\in E.
$$

則 gap：

$$
d
$$

至少由：

$$
a\to a+d
$$

與：

$$
a+d\to a+2d
$$

表示兩次。

由 Six bound：

$$
r_E(d)\le2,
$$

故：

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

---

# 16. Three-term AP certificate

由 Five Exponentials saturation：

$$
r_E(d)=2
$$

立即得到：

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

對所有：

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

所以：

$$
\boxed{
\text{3-term AP in }E
\Rightarrow
\text{full algebraic-scalar escape at its step}.
}
$$

---

# 17. Four-term arithmetic progression is impossible

若：

$$
a,
\quad
a+d,
\quad
a+2d,
\quad
a+3d
\in E,
$$

則 gap：

$$
d
$$

至少有三個 representations：

$$
a\to a+d,
$$

$$
a+d\to a+2d,
$$

$$
a+2d\to a+3d.
$$

所以：

$$
r_E(d)\ge3,
$$

與 Six Exponentials 矛盾。

因此：

$$
\boxed{
E
\text{ contains no nontrivial 4-term arithmetic progression}.
}
$$

---

# 18. Critical motif hierarchy

對固定：

$$
d>0,
$$

可以將 local additive motif 分成：

### One pair

$$
r_E(d)=1.
$$

允許，未飽和。

### Two pairs

$$
r_E(d)=2.
$$

允許，但 Five Exponentials 產生 transcendence certificate。

### Three pairs

$$
r_E(d)\ge3.
$$

Six Exponentials 禁止。

因此：

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

對應：

$$
\boxed{
\text{unsaturated}
\rightarrow
\text{critical}
\rightarrow
\text{forbidden}.
}
$$

---

# 19. Quartic support as two nested 3-APs

quartic base：

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

包含：

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

這個 step-$1$ 三項 AP，

以及：

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

這個 step-$2$ 三項 AP。

因此 quartic support 是：

$$
\boxed{
\text{two nested critical 3-APs}.
}
$$

---

# 20. Double saturation

由兩條 AP：

$$
r_E(1)=2,
$$

以及：

$$
r_E(2)=2.
$$

所以：

$$
\boxed{
d=1
\quad\text{與}\quad
d=2
}
$$

同時 saturated。

Five Exponentials 因而給：

$$
e^{\gamma s}
$$

及：

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

對所有：

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

皆超越。

---

# 21. 一般 nested Type-P motif

若：

$$
0,
\quad
d,
\quad
2d
\in E,
$$

則：

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

令：

$$
u=s^d.
$$

得到：

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

這正是一個 Type-P chain。

所以：

$$
\boxed{
\text{3-term AP in exponent support}
\iff
\text{nested Type-P chain}.
}
$$

---

# 22. Nested Type-P transcendence degree

若：

$$
u=s^d,
$$

其中：

$$
d\ge1,
$$

則 $s$ 對：

$$
\mathbb Q(u)
$$

為代數，因為：

$$
X^d-u=0.
$$

所以：

$$
\mathbb Q(\lambda,s)
$$

是：

$$
\mathbb Q(\lambda,u)
$$

的代數擴張。

因此：

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

每一個 nested Type-P chain 都仍精確活在 transcendence-degree-$2$ critical layer。

---

# 23. Binary Tower

現在定義：

$$
\boxed{
B_\infty
=
\{0\}
\cup
\{2^k:k\ge0\}.
}
$$

即：

$$
B_\infty
=
\{0,1,2,4,8,16,32,\ldots\}.
$$

這個 support 自然延伸 quartic base：

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

---

# 24. 命題 R8.1：Binary Tower 滿足 Six difference bound

對所有：

$$
d>0,
$$

有：

$$
\boxed{
r_{B_\infty}(d)\le2.
}
$$

---

# 25. R8.1 證明：positive-power pairs

考慮：

$$
2^j-2^i,
\qquad
j>i\ge0.
$$

可寫成：

$$
2^i
\left(
2^{j-i}-1
\right).
$$

括號內為奇數。

所以：

$$
\boxed{
v_2
\left(
2^j-2^i
\right)
=i.
}
$$

因此給定 difference：

$$
d,
$$

若它由兩個 positive powers：

$$
2^j-2^i=d
$$

表示，則：

$$
i=v_2(d)
$$

被唯一決定。

接著：

$$
2^{j-i}-1
=
\frac{d}{2^i}
$$

又唯一決定：

$$
j-i.
$$

所以 positive-power pairs 最多提供一個 representation。

---

# 26. Zero-based representation

若：

$$
d=2^k,
$$

還有 representation：

$$
0\to2^k.
$$

現在問 positive-power pair 是否也能產生同一 difference：

$$
2^j-2^i=2^k.
$$

由：

$$
2^i(2^{j-i}-1)=2^k,
$$

奇數因子：

$$
2^{j-i}-1
$$

必等於：

$$
1.
$$

所以：

$$
j-i=1,
$$

且：

$$
i=k.
$$

得到唯一第二個 representation：

$$
2^k\to2^{k+1}.
$$

因此：

$$
\boxed{
r_{B_\infty}(2^k)=2.
}
$$

---

# 27. Non-power-of-two differences

若：

$$
d
$$

不是 power of two，則不存在：

$$
0\to d
$$

這種 binary-tower pair。

而 positive-power pair 又最多一個。

所以：

$$
\boxed{
d\neq2^k
\Rightarrow
r_{B_\infty}(d)\le1.
}
$$

綜合得到：

$$
\boxed{
r_{B_\infty}(d)
=
2
\iff
d=2^k.
}
$$

---

# 28. Binary Tower 是無限 combinatorial survivor

所以：

$$
B_\infty
$$

完整滿足：

$$
r(d)\le2.
$$

它不含任何 4-term AP，也不產生任何 Six-Exponential forbidden difference multiplicity。

因此：

$$
\boxed{
\text{Six difference bound alone permits an infinite extension of quartic support}.
}
$$

這是 Round 8 的核心負結果。

---

# 29. Binary Tower 的 Five certificates

每個：

$$
2^k
$$

都是 saturated difference：

$$
r_{B_\infty}(2^k)=2.
$$

所以如果：

$$
B_\infty
\subseteq
E_{\lambda,s},
$$

Five Exponentials 會對所有：

$$
k\ge0
$$

給出：

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

對所有：

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

---

# 30. 但 Five certificates 不與 weighted descent 衝突

Binary-tower descent 假設的是：

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

也就是：

$$
e^{s^{2^k}\lambda}
$$

代數。

Five certificate 則說：

$$
e^{\gamma s^{2^k}}
$$

對 algebraic：

$$
\gamma\neq0
$$

超越。

這兩者不直接衝突，因：

$$
\lambda
$$

本身並非 algebraic scalar；它是 algebraic logarithm。

所以：

$$
\boxed{
\text{scalar escape of }s^{2^k}
\neq
\text{weighted descent of }s^{2^k}\lambda.
}
$$

這正暴露出目前方法的缺橋。

---

# 31. Infinite nested Type-P tower

若：

$$
B_\infty
\subseteq E,
$$

則對每個：

$$
k\ge0,
$$

有：

$$
0,
\quad
2^k,
\quad
2^{k+1}
\in E.
$$

因此：

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

令：

$$
u_k
=
s^{2^k}.
$$

則：

$$
\boxed{
u_{k+1}=u_k^2.
}
$$

而每層：

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

形成無限 nested Type-P critical tower。

---

# 32. Six Exponentials 對每層只排除 cubic child

對每個：

$$
u_k,
$$

Six Exponentials 迫使：

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

即：

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

但：

$$
3\cdot2^k
$$

從來不是 power of two。

因此：

$$
3\cdot2^k
\notin
B_\infty.
$$

所以 binary tower 精確避開所有 cubic children。

---

# 33. Binary Tower 作為 obstruction witness

因此：

$$
B_\infty
$$

不是一個已知真實 descent set。

它是一個：

$$
\boxed{
\text{combinatorial consistency witness}.
}
$$

其意義是：

> 任何只使用
>
> $$
> r_E(d)\le2
> $$
>
> 與
>
> $$
> r_E(d)=2
> \Rightarrow
> \text{Five certificate}
> $$
>
> 的證明策略，都不能單靠 exponent-support combinatorics 排除無限 nested Type-P pattern。

---

# 34. Methodological stop condition

Round 8 因此建立一個 stop condition：

$$
\boxed{
\text{Do not keep iterating difference halos as the sole proof strategy.}
}
$$

因為這類 iteration 最終允許至少一個明確的 infinite survivor skeleton：

$$
B_\infty.
$$

若目標是攻擊 Four Exponentials / Type P，就必須引入額外資訊。

---

# 35. 缺少的橋

binary tower 告訴我們，下一個 theorem 必須把兩種目前分離的資訊連起來。

第一種：

$$
\boxed{
e^{\gamma u}
\text{ transcendental for all }
0\neq\gamma\in\overline{\mathbb Q}
}
$$

其中：

$$
u=s^{2^k}.
$$

第二種：

$$
\boxed{
u\lambda
\in
\mathcal L_{\mathrm{alg}}.
}
$$

也就是：

$$
e^{u\lambda}
\in
\overline{\mathbb Q}.
$$

真正缺的是某種：

$$
\boxed{
\text{scalar-escape}
+
\text{weighted-descent}
\Rightarrow
\text{joint obstruction}.
}
$$

---

# 36. Weighted Descent Coupling Problem

本輪正式提出下一個研究接口：

給：

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

及 transcendental：

$$
u
$$

滿足：

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

且：

$$
e^{\gamma u}
$$

對所有：

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

超越。

問：

> 這兩個條件共同對
>
> $$
> u^2\lambda,
> \quad
> u^4\lambda,
> \quad
> \ldots
> $$
>
> 的 descent 能施加什麼額外限制？

本輪稱此為：

**Weighted Descent Coupling Problem（WDCP）**。

---

# 37. WDCP 為什麼比 Five Exponentials 更強

Five Exponentials 只看：

$$
u
$$

作為 ratio：

$$
x_2/x_1.
$$

WDCP 則要求同時使用：

$$
u
$$

與固定 algebraic logarithm：

$$
\lambda.
$$

也就是研究：

$$
\boxed{
(u,\lambda,u\lambda)
}
$$

三者的 joint structure。

這已超出純 exponent-index combinatorics。

---

# 38. Common-$\lambda$ coupling

binary tower 所有 nested Type-P chains 共用同一：

$$
\lambda.
$$

這一點是 difference-set abstraction 完全丟失的資訊。

若每一層允許不同：

$$
\lambda_k,
$$

純組合模型更加自由。

但真正 Type-P tower 要求：

$$
\boxed{
\lambda_k=\lambda
\qquad
\forall k.
}
$$

所以：

$$
\boxed{
\text{common-anchor rigidity}
}
$$

應成為 Round 9 的第一研究方向。

---

# 39. Squaring coupling

binary tower 還具有：

$$
u_{k+1}=u_k^2.
$$

所以不同 Type-P layers 不是獨立。

它們滿足：

$$
\boxed{
u_k
\longmapsto
u_k^2
}
$$

的 deterministic recursion。

而每層又要求：

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

因此下一層的 middle term：

$$
u_{k+1}\lambda
$$

正是上一層的 third term。

這是：

$$
\boxed{
\text{overlapping critical chains}.
}
$$

---

# 40. Overlap graph

可把 binary tower 畫成：

$$
\lambda
\rightarrow
u_0\lambda
\rightarrow
u_1\lambda
\rightarrow
u_2\lambda
\rightarrow
\cdots
$$

其中：

$$
u_{k+1}=u_k^2.
$$

而每一段：

$$
\lambda,
\quad
u_k\lambda,
\quad
u_{k+1}\lambda
$$

同時是一個 Type-P triple。

注意第一個節點：

$$
\lambda
$$

被所有 triples 共用，而：

$$
u_{k+1}\lambda
$$

又連續成為下一層資料。

因此這不是一堆獨立 Four-Exponential counterexamples。

它是一個耦合 tower。

---

# 41. Transcendence degree across the tower

對每個：

$$
k,
$$

$$
u_k=s^{2^k}.
$$

因 $s$ 對：

$$
\mathbb Q(u_k)
$$

為代數，所以：

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

因此無論 tower 多深，每個 finite stage 仍沒有自動增加 transcendence degree。

這解釋了為什麼單純「多很多超越數」不會直接帶來維度矛盾。

---

# 42. Projective avoidance across the tower

Round 4 的 PLA 對每個 Type-P ratio 都成立。

因此 binary tower 若真 descent，則對每個：

$$
k\ge0
$$

及：

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

有：

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

所以 hypothetical infinite tower 同時必須避開無限多 rational projective logarithmic loci。

這是一個比單純 Five certificate 更大的 constraint family。

---

# 43. 但 PLA 仍未自動產生矛盾

因：

$$
u_{k+1}=u_k^2
$$

不是：

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

transformation。

所以：

$$
u_k
\mapsto
u_k^2
$$

可以在避開所有 rational Möbius transforms 的同時繼續生成下一層。

這再次指出：

$$
\boxed{
\text{squaring is the missing nonlinear coupling}.
}
$$

---

# 44. Arithmetic progression viewpoint

binary tower 中對每個：

$$
k
$$

都有 exponent-index AP：

$$
0,
\quad
2^k,
\quad
2^{k+1}.
$$

但不可能加入：

$$
3\cdot2^k,
$$

否則形成：

$$
0,
\quad
2^k,
\quad
2^{k+1},
\quad
3\cdot2^k
$$

四項 AP。

所以：

$$
\boxed{
\text{each nested Type-P triple is maximal in its own additive direction}.
}
$$

這是一個 multiscale maximality structure。

---

# 45. Scale separation

不同 $k$ 對應不同 step：

$$
d_k=2^k.
$$

每個：

$$
d_k
$$

都 saturated：

$$
r_E(d_k)=2.
$$

所以 binary tower 可視為：

$$
\boxed{
\text{infinitely many saturated scales}
}
$$

但這些 scales 彼此以 doubling law：

$$
d_{k+1}=2d_k
$$

排列。

這可能比一般 $B_2[2]$ 型集合具有更多 arithmetic rigidity。

---

# 46. 與 generalized Sidon sets 的關係

經典 additive combinatorics 中，$B_2[g]$ sets 通常以「兩項和的 representation multiplicity 有界」定義。

ACTM 的條件：

$$
r_E(d)\le2
$$

是「正差值 representation multiplicity 有界」。

兩者透過：

$$
a-b=c-d
\iff
a+d=b+c
$$

存在密切關係，但不是完全相同的定義。

因此本系列採用較保守術語：

$$
\boxed{
\text{generalized-Sidon-type difference condition}.
}
$$

不直接把 $E$ 與標準 $B_2[2]$ 定義混同。

---

# 47. Density bound revisited

由：

$$
r_E(d)\le2
$$

可得粗計數界：

$$
\binom{|E\cap[0,N]|}{2}
\le
2N.
$$

所以：

$$
\boxed{
|E\cap[0,N]|
\le
\frac{
1+\sqrt{1+16N}
}{2}.
}
$$

binary tower 則只有：

$$
\boxed{
|B_\infty\cap[0,N]|
=
O(\log N).
}
$$

所以 binary tower 遠比 Six-bound 所要求的極限密度更稀。

這也是它能輕易存活的原因之一。

---

# 48. Difference bound 的真正能力與極限

Six/Five Exponentials 能做到：

1. 禁止 multiplicity $3$；
2. 對 multiplicity $2$ 產生 scalar-escape certificate；
3. 推出平方根型全域密度上界；
4. 禁止 4-term AP；
5. 對每個 3-term AP 鎖定其 step。

但它們不能單獨做到：

1. 禁止所有無限 $E$；
2. 禁止 binary tower；
3. 將 $e^{\gamma u}$ 的超越性與 $e^{u\lambda}$ 的代數性衝突化；
4. 使用所有 layers 共用同一 $\lambda$ 的資訊；
5. 使用 $u_{k+1}=u_k^2$ 的 nonlinear recursion。

這就是 Round 8 的方法邊界。

---

# 49. Round 8 的核心負結果

本輪最重要的結論不是又排除了某幾個 exponents。

而是：

$$
\boxed{
\text{Difference-set combinatorics is insufficient as a complete proof engine.}
}
$$

因為我們有明確的 infinite combinatorial survivor：

$$
B_\infty.
$$

這讓後續研究可以停止在錯誤方向上反覆堆疊 Six/Five Exponentials。

---

# 50. 下一個真正需要的結構

Round 9 應把：

$$
E
$$

重新接回被它抽掉的 continuous / transcendental data：

$$
\boxed{
(\lambda,s,E).
}
$$

而不只研究：

$$
E.
$$

至少要同時保留：

$$
\boxed{
\lambda
}
$$

作為 common anchor，

$$
\boxed{
s
}
$$

作為 multiplicative generator，

以及：

$$
\boxed{
n\mapsto s^n\lambda
}
$$

作為 embedding。

---

# 51. Anchored Descent System

本輪提出下一個研究物件：

$$
\boxed{
\mathfrak A(\lambda,s)
=
\left(
\lambda,
s,
E_{\lambda,s},
\mathcal L_{\mathrm{alg}}
\right).
}
$$

稱：

**Anchored Descent System（ADS）**。

與單純 exponent set 不同，ADS 保留：

1. common anchor $\lambda$；
2. multiplicative generator $s$；
3. exponent support $E$；
4. embedding $n\mapsto s^n\lambda$；
5. algebraic-exponential descent condition。

---

# 52. Binary ADS

若：

$$
B_\infty
\subseteq
E_{\lambda,s},
$$

稱：

$$
\mathfrak A(\lambda,s)
$$

含有：

**Binary Anchored Descent Tower（BADT）**。

其核心條件：

$$
\boxed{
s^{2^k}\lambda
\in
\mathcal L_{\mathrm{alg}}
\qquad
\forall k\ge0.
}
$$

即：

$$
\boxed{
e^{s^{2^k}\lambda}
\in
\overline{\mathbb Q}^{\times}
\qquad
\forall k\ge0.
}
$$

---

# 53. BADT 的真正問題

Six/Five Exponentials 無法單獨排除 BADT。

因此 Round 9 的問題是：

> 是否存在額外的 transcendence / height / period theorem，能排除一個固定 algebraic logarithm $\lambda$ 同時滿足：
>
> $$
> e^{s\lambda},
> \quad
> e^{s^2\lambda},
> \quad
> e^{s^4\lambda},
> \quad
> e^{s^8\lambda},
> \ldots
> $$
>
> 全部 algebraic？

這是一個比 Four Exponentials 原始敘述更窄、但比單一 quartic descent 更結構化的目標。

---

# 54. 有限 BADT 版本

由於無限版本可能太強，先定義 finite depth：

$$
\boxed{
\operatorname{BADT}_m:
\quad
s^{2^k}\lambda
\in
\mathcal L_{\mathrm{alg}}
\quad
0\le k\le m.
}
$$

Type P 已給：

$$
m=1
$$

層：

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

quartic descent 等價於加入：

$$
m=2
$$

層：

$$
s^4\lambda.
$$

所以：

$$
\boxed{
\text{quartic descent}
=
\operatorname{BADT}_2.
}
$$

---

# 55. BADT depth as a new frontier parameter

定義：

$$
\boxed{
\operatorname{BD}(\lambda,s)
=
\sup
\left\{
m:
s^{2^k}\lambda
\in
\mathcal L_{\mathrm{alg}}
\text{ for }
0\le k\le m
\right\}.
}
$$

Type P 保證：

$$
\operatorname{BD}\ge1.
$$

quartic descent 假設：

$$
\operatorname{BD}\ge2.
$$

Four Exponentials 的 Type-P elimination 最終只需要證明：

$$
\boxed{
\operatorname{BD}=1
}
$$

對所有 Type-P state。

---

# 56. 為什麼 BD 比 ordinary power-chain depth 更適合

Round 4 的 ordinary depth：

$$
D_\lambda(s)
$$

沿：

$$
1,s,s^2,s^3,\ldots
$$

前進，Six Exponentials 已精確給：

$$
D_\lambda(s)=2.
$$

所以 ordinary chain 在 cubic 已死。

但 quartic descent 顯示真正可能繞過 cubic wall 的方式是：

$$
s
\mapsto
s^2
\mapsto
s^4
\mapsto
s^8
\mapsto
\cdots.
$$

因此：

$$
\boxed{
\text{doubling depth}
}
$$

比普通 consecutive-power depth 更接近 higher-support survivor geometry。

---

# 57. Round 8 判定

**PASS — Exponent support reduced to a difference-saturation system, and pure Six/Five combinatorics proven insufficient by an infinite binary survivor model**

本輪完成：

1. 定義 saturated difference set：
   $$
   D_2(S).
   $$

2. 建立 exact right-extension criterion：
   $$
   m\notin S+D_2(S).
   $$

3. 定義 Forward Saturation Halo。

4. 對 quartic base 證明：
   $$
   D_2(\{0,1,2,4\})=\{1,2\}.
   $$

5. 精確解釋：
   $$
   5,6
   $$
   為何 forbidden，而 $7$ 為 first admissible right extension。

6. 證明任何 3-term AP 都自動 saturation 其 common difference。

7. 證明任何 4-term AP 都被 Six Exponentials 排除。

8. 證明每個 3-term AP 產生 Five-Exponentials scalar-escape certificate。

9. 將 quartic base 識別為兩個 nested critical 3-APs：
   $$
   \{0,1,2\},
   \qquad
   \{0,2,4\}.
   $$

10. 定義 binary tower：
    $$
    B_\infty
    =
    \{0,1,2,4,8,\ldots\}.
    $$

11. 證明：
    $$
    r_{B_\infty}(d)\le2
    $$
    對所有 $d$。

12. 精確證明：
    $$
    r_{B_\infty}(d)=2
    \iff
    d=2^k.
    $$

13. 證明 binary tower 是 Six-difference bound 的無限 combinatorial survivor。

14. 顯示 Five certificates 與 weighted algebraic descent 並不直接衝突。

15. 將 binary tower 重寫為 infinite nested Type-P tower。

16. 證明每個 nested layer 仍有：
    $$
    \operatorname{trdeg}=2.
    $$

17. 顯示 Six Exponentials 只會排除：
    $$
    3\cdot2^k
    $$
    型 cubic children，而 binary tower 自動避開它們。

18. 得到方法論 stop condition：
    **不得再把 difference-halo iteration 當作唯一證明策略。**

19. 定義 Weighted Descent Coupling Problem（WDCP）。

20. 定義 Anchored Descent System（ADS）。

21. 定義 Binary Anchored Descent Tower（BADT）。

22. 定義 binary depth：
    $$
    \operatorname{BD}(\lambda,s).
    $$

23. 將 quartic descent 重新定位為：
    $$
    \operatorname{BADT}_2.
    $$

24. 將 Type-P elimination 的窄目標改寫為：
    $$
    \operatorname{BD}(\lambda,s)=1.
    $$

---

# 58. Round 9 正式入口

Round 9 不再優先枚舉：

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

而直接研究：

$$
\boxed{
\operatorname{BADT}_2
}
$$

本身：

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

優先問題：

## R9-Q1：共同錨點

如何利用四個 algebraic logarithms 全部共享同一：

$$
\lambda
$$

這一事實？

差集模型看不見這個資訊。

---

## R9-Q2：平方耦合

如何利用：

$$
u_1=s,
\qquad
u_2=s^2,
\qquad
u_3=s^4
$$

之間：

$$
u_{k+1}=u_k^2
$$

的 nonlinear relation？

---

## R9-Q3：joint period structure

四個 algebraic exponential values：

$$
e^\lambda,
\quad
e^{s\lambda},
\quad
e^{s^2\lambda},
\quad
e^{s^4\lambda}
$$

是否能組織成某種 period / logarithmic matrix，使現有 Baker、Waldschmidt–Masser、Matrix Coefficient 或 period-conjecture 工具可介入？

---

## R9-Q4：height growth

若上述四個值皆代數，令：

$$
\alpha_k
=
e^{s^{2^k}\lambda}.
$$

能否從 algebraic heights：

$$
h(\alpha_k)
$$

與 logarithmic lifts 的 squaring recursion 之間建立 incompatible growth law？

---

## R9-Q5：finite BADT obstruction

先不碰 infinite tower。

只問：

> 是否能直接排除：
>
> $$
> \operatorname{BADT}_2?
> $$

如果可以，就已排除 quartic descent。

這是下一輪最集中、最有價值的目標。

---

# 59. 一句話結論

> **Round 8 顯示 Six/Five Exponentials 將 Type-P exponent support 壓成一個 generalized-Sidon-type difference system，但這個限制本身仍容許無限的 binary tower $\{0,1,2,4,8,\ldots\}$；因此真正缺失的不是更多差集禁區，而是把「同一 $\lambda$ 上的 weighted algebraic descent」與「$s\mapsto s^2$ 的 nonlinear nesting」耦合起來的新障礙。**

最重要的 survivor：

$$
\boxed{
B_\infty
=
\{0,1,2,4,8,16,\ldots\}
}
$$

滿足：

$$
\boxed{
r_{B_\infty}(d)\le2,
}
$$

且：

$$
\boxed{
r_{B_\infty}(d)=2
\iff
d=2^k.
}
$$

所以 Round 9 的真正目標不再是 difference combinatorics，而是：

$$
\boxed{
\text{Common Anchor}
+
\text{Weighted Descent}
+
\text{Squaring Coupling}.
}
$$

---

# 參考資料

1. Michel Waldschmidt, expository accounts of the **Five Exponentials Theorem** and **Six Exponentials Theorem**. The Five Exponentials form used here states that 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.

2. J. Pila, **Geometric and arithmetic postulation of the exponential function**, *Journal of the Australian Mathematical Society* 86 (2009), 111–117. Provides real-variable proofs of classical transcendence results including the Six Exponentials theorem in the real case.

3. 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.

4. Javier Cilleruelo and Carlos Vinuesa, **$B_2[g]$ Sets and a Conjecture of Schinzel and Schmidt**, *Combinatorics, Probability and Computing* 17 (2008), 741–747. Standard generalized Sidon / $B_2[g]$ context. The ACTM difference condition is related but not identical to the standard sum-representation definition.

5. Greg Martin and Kevin O'Bryant, **Constructions of Generalized Sidon Sets**, *Journal of Combinatorial Theory, Series A* 113 (2006), 591–607. Generalized bounded-representation additive sets.

6. Michel Waldschmidt, survey and lecture material on algebraic values among sequences such as:
   $$
   2^{\pi^k},
   $$
   including square-root-type sparsity bounds originating in work of Srinivasan, Ramachandra, Balasubramanian and others.

---

**ACTM Round 8 完**