# ACTM Round 10
## 共享錨點的可見性守恆、Rank Amplification No-Go 與真正耦合矩陣的入口
### Visibility Conservation for a Shared Anchor, a No-Go Theorem for Naive Rank Amplification, and the Entry Point to Genuine Coupled Matrices

**研究計畫：** Algebraic Combinatorial Transcendence Methodology（ACTM）  
**作者：** Neo.K；Aletheia（GPT-5.6 Sol）  
**機構：** EveMissLab / 一言諾科技有限公司  
**日期：** 2026-10-02  
**版本：** Round 10 / v0.1  
**文件性質：** 正式研究筆記／BADT$_2$ coupled-matrix frontier  
**狀態聲明：** 本輪不宣稱證明 Four Exponentials Conjecture、BADT$_2$ 不可能、Matrix Coefficient Conjecture 或 Structural Rank Conjecture。本輪主要證明一組「no-go」結果：任何只靠 multiplier-proportional rows / columns 將 Type-P 或 BADT block 放大到 Waldschmidt–Masser 嚴格 rank 區域的策略，都會自動產生足夠大的 rational zero block，因此無法形成矛盾。這將下一階段目標精確縮小為 genuinely nonseparable determinantal coupling。

---

## 摘要

ACTM Round 9 將 depth-$D$ Binary Anchored Descent Tower 寫成：

$$
z_0=\lambda,
$$

$$
z_{k+1}=s^{2^k}\lambda,
$$

並得到：

$$
z_k^2=z_0z_{k+1}.
$$

對 BADT$_2$：

$$
\boxed{
z_0=\lambda,
\quad
z_1=s\lambda,
\quad
z_2=s^2\lambda,
\quad
z_3=s^4\lambda
\in
\mathcal L_{\mathrm{alg}},
}
$$

而 Type-P Cubic Wall 給：

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

Round 9 發現由兩個 singular blocks：

$$
H_1=
\begin{pmatrix}
z_0&z_1\\
z_1&z_2
\end{pmatrix},
$$

$$
H_2=
\begin{pmatrix}
z_0&z_2\\
z_2&z_3
\end{pmatrix}
$$

形成的 block matrix 正好停在 Waldschmidt–Masser rank equality boundary。

Round 10 原本的目標是嘗試「放大」這些 rank-one blocks，建立一個更大的 logarithm matrix，其 actual rank 進入：

$$
\operatorname{rank}(M)
<
\frac{mn}{m+n},
$$

再由 Waldschmidt–Masser theorem 導出矛盾。

本輪證明：最自然的 amplification 類全部失敗，而且失敗原因可精確量化。

固定：

$$
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\}.
$$

Type P 已知：

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

BADT$_2$ 中，令：

$$
u=s^2,
$$

則：

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

所以同樣由 Six Exponentials 得：

$$
\boxed{
\mathfrak M_\lambda
\cap
s^{-2}\mathfrak M_\lambda
=
\mathbb Q+\mathbb Qs^2.
}
$$

更強地：

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

因此：

- 若一個 logarithmic row $R$ 與 $sR$ 同時合法，$R$ 的所有 coordinate multipliers 只能活在二維空間 $\mathbb Q+\mathbb Qs$；
- 若 $R,sR,s^2R$ 同時合法，base multipliers 更被壓成一維 $\mathbb Q$。

這立即產生 rational kernels。

若：

$$
R\in\mathcal L_{\mathrm{alg}}^n
$$

且：

$$
sR\in\mathcal L_{\mathrm{alg}}^n,
$$

則存在 rational vectors：

$$
A,B\in\mathbb Q^n
$$

使：

$$
\boxed{
R
=
\lambda(A+sB).
}
$$

因此：

$$
K
=
\left\{
v\in\mathbb Q^n:
A\cdot v=0,
\ B\cdot v=0
\right\}
$$

滿足：

$$
\dim_{\mathbb Q}K\ge n-2,
$$

而：

$$
Rv=0,
\qquad
(sR)v=0
$$

對所有：

$$
v\in K
$$

成立。

所以經 rational column basis change 後，這兩列必含有：

$$
\boxed{
2\times(n-2)
}
$$

的 zero block。

若三列：

$$
R,
\quad
sR,
\quad
s^2R
$$

全部 logarithmic，則：

$$
R=\lambda A,
\qquad
A\in\mathbb Q^n,
$$

並自動得到：

$$
\boxed{
3\times(n-1)
}
$$

的 rationally visible zero block。

這些 zero blocks 精確解釋了為什麼「把 matrix 加寬來跨 rank threshold」不能產生反證。

對一個：

$$
m\times n
$$

matrix 中的 multiplier-proportional row pair，$2\times(n-2)$ zero block 的 normalized visibility 為：

$$
\frac2m+\frac{n-2}{n}
=
1
+
2
\left(
\frac1m-\frac1n
\right).
$$

因此：

$$
\boxed{
n=m
\Rightarrow
\text{exact equality }1,
}
$$

而：

$$
\boxed{
n>m
\Rightarrow
\text{strict visibility }>1.
}
$$

也就是：

> square criticality 一旦靠「加寬」進入 Waldschmidt–Masser strict rank regime，同一個 multiplier structure 會同步把 rational zero-block visibility 推進 theorem 的結論區。

本輪稱此為：

$$
\boxed{
\text{Visibility Conservation}.
}
$$

因此 Round 10 的核心 no-go 結論是：

$$
\boxed{
\text{Separable multiplier amplification cannot kill BADT}_2.
}
$$

真正有機會的下一步必須是一個：

$$
\boxed{
\text{nonseparable coupled determinantal construction},
}
$$

其 rank drop 不能由任何單一 row/column multiplier proportionality 解釋，而必須同時使用：

$$
z_1^2-z_0z_2=0
$$

與：

$$
z_2^2-z_0z_3=0
$$

兩條 shared-anchor quadratic relations。

---

# 1. Round 10 的目標

Waldschmidt–Masser theorem 對：

$$
M\in M_{m\times n}
(\mathcal L_{\mathrm{alg}})
$$

給出的已知結論在條件：

$$
\boxed{
r
=
\operatorname{rank}(M)
<
\frac{mn}{m+n}
}
$$

下，存在：

$$
P\in\operatorname{GL}_m(\mathbb Q),
$$

$$
Q\in\operatorname{GL}_n(\mathbb Q)
$$

使：

$$
PMQ
$$

含有一個：

$$
m'\times n'
$$

zero block，其中：

$$
\boxed{
\frac{m'}m+\frac{n'}n>1.
}
$$

Round 9 的 BADT block matrices 永遠只達到 rank equality boundary。

所以自然想法是：

> 增加 rows / columns，而不增加 actual rank，使 rank inequality 變成 strict。

Round 10 證明：對 multiplier-separable amplification，這個策略會自動變成 rationally visible，因此不能產生矛盾。

---

# 2. BADT$_2$ 基本資料

固定：

$$
z_0=\lambda,
$$

$$
z_1=s\lambda,
$$

$$
z_2=s^2\lambda,
$$

$$
z_3=s^4\lambda.
$$

假設：

$$
z_0,z_1,z_2,z_3
\in
\mathcal L_{\mathrm{alg}}.
$$

同時：

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

而：

$$
s
$$

為超越數。

---

# 3. Multiplier space

定義：

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

因此：

$$
1,
\quad
s,
\quad
s^2,
\quad
s^4
\in
\mathfrak M,
$$

但：

$$
s^3
\notin
\mathfrak M.
$$

---

# 4. 第一個 exact overlap

Type P 已證：

$$
\boxed{
W(s)
=
\mathfrak M
\cap
s^{-1}\mathfrak M
=
\mathbb Q+\mathbb Qs.
}
$$

其含義是：

$$
c\in\mathfrak M
$$

且：

$$
sc\in\mathfrak M
$$

當且僅當：

$$
c=a+bs,
\qquad
a,b\in\mathbb Q.
$$

---

# 5. 第二個 exact overlap

BADT$_2$ 同時包含 nested Type-P chain：

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

令：

$$
u=s^2.
$$

則：

$$
1,u,u^2
\in
\mathfrak M.
$$

而：

$$
u
$$

為超越數。

同一個 Six Exponentials argument 因此給：

$$
\boxed{
W(s^2)
=
\mathfrak M
\cap
s^{-2}\mathfrak M
=
\mathbb Q+\mathbb Qs^2.
}
$$

---

# 6. R10.1：Triple Multiplier Intersection

定義：

$$
T(s)
=
\mathfrak M
\cap
s^{-1}\mathfrak M
\cap
s^{-2}\mathfrak M.
$$

則：

$$
\boxed{
T(s)=\mathbb Q.
}
$$

---

# 7. R10.1 證明

取：

$$
c\in T(s).
$$

因：

$$
c,
\quad
sc
\in
\mathfrak M,
$$

由：

$$
W(s)
=
\mathbb Q+\mathbb Qs
$$

可寫：

$$
c=a+bs,
\qquad
a,b\in\mathbb Q.
$$

又：

$$
s^2c
\in
\mathfrak M.
$$

所以：

$$
a s^2+b s^3
\in
\mathfrak M.
$$

而：

$$
a s^2
\in
\mathfrak M
$$

因：

$$
s^2\in\mathfrak M
$$

且：

$$
a\in\mathbb Q.
$$

兩式相減：

$$
b s^3
\in
\mathfrak M.
$$

若：

$$
b\neq0,
$$

則：

$$
s^3\in\mathfrak M,
$$

即：

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

違反 Cubic Wall。

所以：

$$
b=0.
$$

故：

$$
c=a\in\mathbb Q.
$$

反方向：

$$
\mathbb Q\subseteq T(s)
$$

因：

$$
1,s,s^2\in\mathfrak M.
$$

證畢。

---

# 8. Fourfold overlap

因：

$$
T(s)=\mathbb Q
$$

且：

$$
s^4\in\mathfrak M,
$$

有：

$$
\boxed{
\mathfrak M
\cap
s^{-1}\mathfrak M
\cap
s^{-2}\mathfrak M
\cap
s^{-4}\mathfrak M
=
\mathbb Q.
}
$$

所以一旦要求同一 base multiplier 同時承受：

$$
1,s,s^2,s^4,
$$

base freedom 只剩：

$$
\boxed{
1
\text{ rational dimension}.
}
$$

---

# 9. Two-row multiplier coupling

令：

$$
R
=
(r_1,\ldots,r_n)
\in
\mathcal L_{\mathrm{alg}}^n
$$

並假設：

$$
sR
=
(sr_1,\ldots,sr_n)
\in
\mathcal L_{\mathrm{alg}}^n.
$$

因：

$$
\lambda\neq0,
$$

可寫：

$$
r_j=c_j\lambda.
$$

則：

$$
c_j\in\mathfrak M,
$$

且：

$$
sc_j\in\mathfrak M.
$$

所以：

$$
c_j\in W(s)
=
\mathbb Q+\mathbb Qs.
$$

---

# 10. R10.2：Pair Visibility Lemma

存在：

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

以及：

$$
B=(b_1,\ldots,b_n)
\in\mathbb Q^n
$$

使：

$$
\boxed{
R
=
\lambda(A+sB).
}
$$

並且：

$$
\boxed{
sR
=
\lambda(sA+s^2B).
}
$$

定義 rational subspace：

$$
K_{A,B}
=
\left\{
v\in\mathbb Q^n:
A\cdot v=0,
\quad
B\cdot v=0
\right\}.
$$

則：

$$
\boxed{
\dim_{\mathbb Q}K_{A,B}
\ge
n-2.
}
$$

對任何：

$$
v\in K_{A,B},
$$

有：

$$
Rv=0,
$$

以及：

$$
(sR)v=0.
$$

---

# 11. Rational zero block

選擇：

$$
Q\in\operatorname{GL}_n(\mathbb Q)
$$

使最後：

$$
n-2
$$

個 basis vectors spanning：

$$
K_{A,B}.
$$

則：

$$
\begin{pmatrix}
R\\
sR
\end{pmatrix}
Q
$$

的最後：

$$
n-2
$$

columns 為零。

所以：

$$
\boxed{
\text{任何 logarithmic pair }
(R,sR)
\text{ 都 rationally exposes a }
2\times(n-2)
\text{ zero block}.
}
$$

若：

$$
A,B
$$

本身 dependent，zero block 只會更大。

---

# 12. Nested pair $s^2$

完全相同地，若：

$$
R,
\quad
s^2R
\in
\mathcal L_{\mathrm{alg}}^n,
$$

則：

$$
R
=
\lambda(A+s^2B),
$$

其中：

$$
A,B\in\mathbb Q^n,
$$

並得到：

$$
\boxed{
2\times(n-2)
}
$$

rational zero block。

所以 BADT 的兩個 rank-one layers 都具有相同 visibility property。

---

# 13. R10.3：Three-Row Chain Visibility Lemma

現在假設：

$$
R,
\quad
sR,
\quad
s^2R
\in
\mathcal L_{\mathrm{alg}}^n.
$$

寫：

$$
r_j=c_j\lambda.
$$

則：

$$
c_j,
\quad
sc_j,
\quad
s^2c_j
\in
\mathfrak M.
$$

所以：

$$
c_j\in T(s)=\mathbb Q.
$$

因此存在：

$$
A\in\mathbb Q^n
$$

使：

$$
\boxed{
R=\lambda A.
}
$$

所以：

$$
sR=s\lambda A,
$$

$$
s^2R=s^2\lambda A.
$$

---

# 14. Three-row rational kernel

令：

$$
K_A
=
\left\{
v\in\mathbb Q^n:
A\cdot v=0
\right\}.
$$

若：

$$
A\neq0,
$$

則：

$$
\dim_{\mathbb Q}K_A=n-1.
$$

對：

$$
v\in K_A,
$$

有：

$$
Rv=(sR)v=(s^2R)v=0.
$$

所以：

$$
\boxed{
(R,sR,s^2R)
}
$$

經 rational column basis change 後，必具有：

$$
\boxed{
3\times(n-1)
}
$$

zero block。

---

# 15. Four-multiplier bundle

若甚至要求：

$$
R,
\quad
sR,
\quad
s^2R,
\quad
s^4R
\in
\mathcal L_{\mathrm{alg}}^n,
$$

base coefficient 仍只能：

$$
R=\lambda A,
\qquad
A\in\mathbb Q^n.
$$

所以得到：

$$
\boxed{
4\times(n-1)
}
$$

rational zero block。

因此 common-anchor multiplier bundle 越深，rational visibility 反而越強。

---

# 16. Rank-one extension no-go

考慮：

$$
2\times n
$$

rank-one logarithm matrix：

$$
M
=
\begin{pmatrix}
R\\
sR
\end{pmatrix}.
$$

所有 columns 都是：

$$
r_j
\begin{pmatrix}
1\\
s
\end{pmatrix}.
$$

但：

$$
r_j
=
\lambda(a_j+b_js).
$$

因此所有 column coefficients：

$$
a_j+b_js
$$

只形成最多：

$$
2
$$

維的 rational space。

所以：

$$
\boxed{
\dim_{\mathbb Q}
\operatorname{span}_{\mathbb Q}
\{\text{columns of }M\}
\le2.
}
$$

---

# 17. Why a $2\times3$ strict extension is automatically visible

Six Exponentials / Waldschmidt–Masser 的第一個 strict rank-one rectangular size 是：

$$
2\times3.
$$

因：

$$
1
<
\frac{2\cdot3}{2+3}
=
\frac65.
$$

但 Pair Visibility Lemma 對：

$$
n=3
$$

給：

$$
\dim K\ge1.
$$

所以三個 columns 必 rationally dependent。

因此：

$$
\boxed{
\text{a Type-P }2\times2
\text{ rank-one block cannot be extended to a rationally invisible }
2\times3
\text{ rank-one logarithm matrix}.
}
$$

這正是 Six Exponentials saturation 的 matrix form。

---

# 18. Visibility Conservation Identity

現在把 row pair：

$$
R,sR
$$

放入一個：

$$
m\times n
$$

matrix。

Pair Visibility Lemma 給 zero block：

$$
m'=2,
$$

$$
n'=n-2.
$$

Waldschmidt–Masser zero-block visibility quantity 是：

$$
\frac{m'}m+\frac{n'}n.
$$

代入：

$$
\frac2m+\frac{n-2}{n}.
$$

整理：

$$
\boxed{
\frac2m+\frac{n-2}{n}
=
1
+
2
\left(
\frac1m-\frac1n
\right).
}
$$

---

# 19. Square case

若：

$$
m=n,
$$

則：

$$
\boxed{
\frac2m+\frac{m-2}{m}=1.
}
$$

所以 multiplier pair 本身精確位於 visibility equality boundary。

這與 Round 9 的 Waldschmidt–Masser rank equality 完全呼應。

---

# 20. Wide case

若：

$$
n>m,
$$

則：

$$
\frac1m-\frac1n>0.
$$

因此：

$$
\boxed{
\frac2m+\frac{n-2}{n}>1.
}
$$

也就是：

> 一旦用加 columns 的方式把 square critical matrix 加寬，multiplier pair 自動產生 Waldschmidt–Masser conclusion 所需要的 sufficiently large rational zero block。

---

# 21. Tall case

若：

$$
m>n,
$$

可對 transpose 使用完全對稱的 column-multiplier argument。

因此：

$$
\boxed{
\text{rectangular amplification in either direction creates corresponding rational visibility}.
}
$$

---

# 22. Visibility Conservation

本輪將以下現象稱為：

$$
\boxed{
\text{Visibility Conservation}.
}
$$

其內容是：

> Type-P multiplier overlap 的 rational dimension，正好足以使 square construction 停在 zero-block visibility equality；任何單純靠 widening / heightening 將 rank inequality推入 strict region 的做法，都會同步使 rational zero-block condition 進入 strict region。

因此：

$$
\boxed{
\text{rank slack}
}
$$

與：

$$
\boxed{
\text{visibility slack}
}
$$

會一起出現。

---

# 23. BADT block matrix 的可見性重寫

Round 9 定義：

$$
B_D
=
H_1\oplus\cdots\oplus H_D,
$$

尺寸：

$$
2D\times2D.
$$

每個 block 的兩 rows 都是 multiplier-proportional。

取任一 block row pair。

其餘：

$$
2D-2
$$

columns 在 block-diagonal construction 中本來就是零。

所以自然 zero block 尺寸：

$$
2\times(2D-2).
$$

normalized visibility：

$$
\frac{2}{2D}
+
\frac{2D-2}{2D}
=
1.
$$

因此：

$$
\boxed{
\text{BADT block matrix is also exactly zero-block-critical}.
}
$$

---

# 24. One-column amplification

考慮把：

$$
B_D
$$

加一 column，形成：

$$
2D\times(2D+1)
$$

matrix，但仍保持每個 multiplier row pair 的 coordinatewise proportionality。

若 actual rank 仍為：

$$
D,
$$

則 rank threshold：

$$
\frac{
2D(2D+1)
}{
4D+1
}
$$

嚴格大於：

$$
D.
$$

所以 Waldschmidt–Masser rank hypothesis 進入 strict regime。

---

# 25. 但 zero-block visibility 也立刻 strict

同一 row pair 由 Pair Visibility Lemma 會得到：

$$
2\times(2D-1)
$$

zero block。

normalized visibility：

$$
\frac{2}{2D}
+
\frac{2D-1}{2D+1}.
$$

其超過 $1$ 的量為：

$$
\boxed{
\frac{1}{D(2D+1)}.
}
$$

所以：

$$
\boxed{
\text{one extra column crosses both boundaries at once}.
}
$$

這是一個精確 quantitative form of Visibility Conservation。

---

# 26. Naive padding no-go

若額外 columns 只是：

- rational copies；
- rational combinations；
- 或保持每個 multiplier pair proportionality 的 logarithmic extensions；

則新增寬度不可能產生 contradiction。

因為所有新增自由度都伴隨足夠 rational kernel。

因此：

$$
\boxed{
\text{padding is not coupling}.
}
$$

---

# 27. Separable amplification

定義一個 logarithm matrix construction 為 **multiplier-separable**，若其 rank drop 可以分解成若干 pair / chain：

$$
R,
\quad
uR,
\quad
u^2R,
\ldots
$$

而每個：

$$
u
$$

來自 Type-P / BADT multiplier。

Round 10 的 lemmas 表明：

> multiplier-separable constructions 的 low rank 都會伴隨由 multiplier-overlap dimension 產生的 rational kernels。

所以：

$$
\boxed{
\text{separable low rank}
\Rightarrow
\text{rational visibility}.
}
$$

---

# 28. R10.4：Separable Rank-Amplification No-Go

對 BADT$_2$，任何只透過以下操作建立更大低-rank logarithm matrix 的策略：

1. 複製 Type-P rank-one blocks；
2. 以 rational row / column combinations 拼接；
3. 保持 row pair proportionality by $s$ or $s^2$；
4. 建立同一 base row 的 $1,s,s^2$ multiplier chain；
5. 以 rational padding 增加矩陣尺寸；

都不能藉 Waldschmidt–Masser theorem 產生 contradiction。

原因不是 theorem 太弱。

而是這些 constructions 已經內建 theorem 預測的 rational zero blocks。

---

# 29. Shared anchor alone is not enough

Round 9 原先希望：

$$
z_0=\lambda
$$

同時出現在兩個 blocks 中，可能使 direct-sum rank geometry 產生額外 constraint。

Round 10 顯示：

> 如果 shared anchor 只透過 multiplier-proportional rows / columns 被使用，則它造成的是更強 rational visibility，而不是 hidden rank contradiction。

所以：

$$
\boxed{
\text{shared anchor}
\neq
\text{genuine coupling}.
}
$$

---

# 30. What genuine coupling must avoid

下一個有效 construction 必須同時避免：

### A. Single-multiplier proportional rows

不能讓 rank drop 由：

$$
R,
\quad
sR
$$

或：

$$
R,
\quad
s^2R
$$

單獨解釋。

### B. Single-multiplier proportional columns

transpose 亦然。

### C. Rational padding kernels

不能靠 rational duplicate columns / rows 保持 low rank。

### D. Block separability

不能只是：

$$
H_1\oplus H_2.
$$

---

# 31. Genuine Coupled Determinantal Amplifier

本輪定義研究目標：

**Genuine Coupled Determinantal Amplifier（GCDA）**。

令：

$$
M(X_0,X_1,X_2,X_3)
=
\sum_{i=0}^{3}
X_iA_i,
$$

其中：

$$
A_i
\in
M_{m\times n}(\mathbb Q).
$$

我們尋找：

$$
M
$$

使在 BADT$_2$ locus：

$$
X_1^2=X_0X_2,
$$

$$
X_2^2=X_0X_3
$$

上：

$$
\boxed{
\operatorname{rank}
M(Z_2)
=
r
<
\frac{mn}{m+n},
}
$$

但此 rank drop：

- 不由任一單 multiplier row pair 解釋；
- 不由任一單 multiplier column pair 解釋；
- 不存在預先可見的 rational zero block satisfying：
  $$
  \frac{m'}m+\frac{n'}n>1.
  $$

如果能純代數地建出這種 GCDA，Waldschmidt–Masser theorem 將直接排除 BADT$_2$。

---

# 32. 為何 GCDA 是真正的 proof target

BADT$_2$ 假設所有：

$$
Z_2
=
(z_0,z_1,z_2,z_3)
$$

coordinates 都在：

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

所以任何 rational linear-form matrix：

$$
M(Z_2)
$$

的 entries 仍在：

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

因此只要：

1. 能由兩個 BADT quadratic relations 證明 actual rank 足夠低；
2. 又能由 Q-linear independence of $z_i$ 證明沒有 Waldschmidt–Masser 所要求的 rational zero block；

就會得到矛盾。

所以 GCDA search 把 transcendence problem 的一部分轉成了：

$$
\boxed{
\text{a rational linear-matrix design problem over the BADT toric surface}.
}
$$

---

# 33. Minimal strict sizes

若目標 actual rank：

$$
r=1,
$$

最小 strict rectangular dimensions 包括：

$$
2\times3
$$

或：

$$
3\times2.
$$

但 R10.2 已證 multiplier-separable rank-one route 必 rationally visible。

若：

$$
r=2,
$$

需要：

$$
2
<
\frac{mn}{m+n}.
$$

最小候選包括：

$$
4\times5,
$$

$$
5\times4,
$$

$$
3\times7,
$$

$$
7\times3.
$$

square case 最小為：

$$
\boxed{
5\times5.
}
$$

因：

$$
2
<
\frac52.
$$

因此 BADT$_2$ 的第一批 genuine matrix-design targets 是：

$$
\boxed{
4\times5,\ 5\times4,\ 5\times5
}
$$

rank-$2$ linear matrices。

---

# 34. Why $4\times4$ cannot help

Round 9 的 natural BADT$_2$ matrix 是：

$$
4\times4
$$

rank：

$$
2.
$$

而 square threshold：

$$
\frac44\cdot\frac{4}{2}
$$

更直接地：

$$
\frac{4\cdot4}{4+4}=2.
$$

所以：

$$
\boxed{
r=2
}
$$

精確取等號。

不論其 internal coupling 多漂亮，只要尺寸與 rank 不變，就不能觸發 Waldschmidt–Masser theorem。

---

# 35. BADT$_2$ 的 toric chart

在：

$$
X_0\neq0,
$$

BADT$_2$ locus 由：

$$
\boxed{
q_1
=
X_1^2-X_0X_2
=
0,
}
$$

$$
\boxed{
q_2
=
X_2^2-X_0X_3
=
0
}
$$

定義。

其參數化：

$$
\boxed{
(X_0,X_1,X_2,X_3)
=
(u,uv,uv^2,uv^4).
}
$$

因此在 nonzero chart 上，它是一個二參數 monomial / toric configuration。

---

# 36. Why this toric form matters

分開看：

$$
q_1=0
$$

只產生第一個 Type-P rank-one block。

$$
q_2=0
$$

只產生第二個。

真正 GCDA 必須使用：

$$
\boxed{
(q_1,q_2)
}
$$

的 joint ideal structure。

也就是某些 larger minors 必須因：

$$
q_1
$$

與：

$$
q_2
$$

**共同**消失，而不是每個 minor 單獨退化成某一個 rank-one block。

---

# 37. Composed binomial relations

兩個 quadratic relations 還推出：

$$
X_1^4
=
X_0^3X_3.
$$

即：

$$
\boxed{
X_1^4-X_0^3X_3=0.
}
$$

更一般 BADT tower 會產生 degree-doubling binomials。

但這些 relations 只是原 quadratic ideal 的 consequence。

它們可能提供更稀疏的 support representation，但不能直接當作額外獨立 codimension。

---

# 38. 與 Roy geometric viewpoint 的接口

Roy 對 algebraic logarithms 的幾何重寫，粗略地預測：

> algebraic varieties 上的 algebraic-logarithm points 應由位於該 variety 中的 rational linear subspaces 解釋。

BADT$_2$ toric surface：

$$
q_1=q_2=0
$$

正是一個極自然的 restricted test case。

其 hypothetical point：

$$
Z_2
\in
\mathcal L_{\mathrm{alg}}^4
$$

又在 $\mathbb Q$ 上線性獨立，因此不應存在 obvious rational linear explanation。

所以：

$$
\boxed{
\text{BADT}_2
}
$$

可同時被看成：

- Four-Exponentials extension problem；
- Matrix Coefficient special geometry；
- Structural Rank defect；
- Roy-type logarithmic point on a toric surface。

---

# 39. 與 Matrix Coefficient support strategy 的接口

Dasgupta–Kakde 2026 指出，若 logarithm matrix singular，Matrix Coefficient Conjecture 預測存在 rationally visible coefficient：

$$
w^TMv=0.
$$

他們並提出 auxiliary-polynomial strategy，把 Waldschmidt–Masser 中的 degree control 改為：

$$
\boxed{
\text{monomial support control}.
}
$$

BADT$_2$ toric ideal本身具有極稀疏 binomial generators：

$$
X_1^2-X_0X_2,
$$

$$
X_2^2-X_0X_3.
$$

這不等於已經滿足其 auxiliary-polynomial condition。

但它暗示下一輪應直接研究：

$$
\boxed{
\text{whether shared-anchor binomial support can force a GCDA or a DK-style sparse auxiliary polynomial}.
}
$$

---

# 40. A second no-go: simple support inflation

如果只把：

$$
q_1
$$

或：

$$
q_2
$$

各自做 rational multiples、block copies、row/column padding，

得到的 low-rank relations 仍是 multiplier-separable。

因此：

$$
\boxed{
\text{more copies of the same sparse relation}
\neq
\text{new coupling}.
}
$$

真正重要的是：

$$
q_1
$$

與：

$$
q_2
$$

之間的 support overlap：

$$
X_0,
\quad
X_2.
$$

---

# 41. Shared-support pattern

兩個 generators：

$$
q_1=X_1^2-X_0X_2,
$$

$$
q_2=X_2^2-X_0X_3
$$

具有 chain pattern：

$$
\boxed{
X_1^2
\leftrightarrow
X_0X_2
}
$$

$$
\boxed{
X_2^2
\leftrightarrow
X_0X_3.
}
$$

共同使用：

$$
X_0
$$

作為 anchor，

並由：

$$
X_2
$$

把兩層串接。

所以 genuine coupling 應該讀取：

$$
\boxed{
\text{anchor reuse}
+
\text{intermediate-state reuse}.
}
$$

而非只讀 determinant $=0$。

---

# 42. Intermediate-state reuse

Round 9 只強調：

$$
X_0
$$

被所有 relations 重用。

Round 10 額外指出：

$$
X_2
$$

具有雙重角色：

- 第一條 relation 的 output；
- 第二條 relation 的 squared input。

所以 BADT$_2$ 的最小 nonlinear coupling pattern 是：

$$
\boxed{
X_1
\overset{\square}{\longrightarrow}
X_2
\overset{\square}{\longrightarrow}
X_3,
}
$$

全部相對同一 anchor：

$$
X_0.
$$

本輪稱：

$$
X_2
$$

為：

**bridge coordinate**。

---

# 43. Bridge-coordinate principle

若下一輪只利用：

$$
X_0
$$

的 shared anchor 而不使用：

$$
X_2
$$

的 bridge role，很容易再次退回 separable construction。

因此 GCDA / auxiliary support 搜尋必須讓：

$$
X_2
$$

同時參與至少兩個不同 determinant / minor / support constraints。

這成為 Round 11 的設計規則。

---

# 44. Visibility Conservation vs genuine coupling

現在可以把兩類 construction 精確區分。

## Separable

rank drop 可以分解為：

$$
\text{one multiplier}
\times
\text{one rational coefficient space}.
$$

結果：

$$
\boxed{
\text{automatic rational kernel}.
}
$$

## Genuine

rank drop 需要同時使用：

$$
q_1
$$

與：

$$
q_2
$$

且不能在 rational basis change 後拆成 multiplier-proportional row/column bundles。

只有第二類才可能跨過目前 theorem boundary。

---

# 45. Round 10 的主要 method correction

Round 9 的原始計畫：

> 將兩個 shared-anchor $2\times2$ blocks 組合成一個更大的低-rank matrix。

Round 10 修正為：

> **不能只是組合 blocks。必須建造一個其 rank drop 本身由 joint toric ideal 產生的 linear matrix。**

所以研究單位由：

$$
\boxed{
\text{block assembly}
}
$$

轉成：

$$
\boxed{
\text{linear determinantal representation over the BADT toric surface}.
}
$$

---

# 46. Restricted Determinantal Rigidity Problem

本輪提出：

**BADT$_2$ Restricted Determinantal Rigidity Problem（RDRP）**

研究是否存在 rational linear-form matrix：

$$
M(X)
=
\sum_{i=0}^{3}
X_iA_i
$$

滿足：

1. 在：
   $$
   q_1=q_2=0
   $$
   上 rank：
   $$
   \le r;
   $$

2. 尺寸滿足：
   $$
   r<\frac{mn}{m+n};
   $$

3. coefficient matrices：
   $$
   A_i
   $$
   的 Q-structure 不強迫 Waldschmidt–Masser large zero block；

4. rank drop 不由 single multiplier proportionality 解釋。

若存在此類 matrix，則 BADT$_2$ 將與 Waldschmidt–Masser theorem 衝突。

若能證明此類 matrix 不存在，則得到一個純 algebraic-geometric rigidity theorem，解釋為何現有 rank method 無法跨過 BADT$_2$。

兩種結果都具有研究價值。

---

# 47. 最小 computational search space

Round 11 可先搜尋：

$$
\boxed{
4\times5
}
$$

與：

$$
\boxed{
5\times4
}
$$

rational linear-form matrices，目標：

$$
\operatorname{rank}\le2
$$

on BADT$_2$。

再搜尋：

$$
\boxed{
5\times5
}
$$

rank-$2$ candidates。

每個 entry 形式：

$$
a_0X_0+a_1X_1+a_2X_2+a_3X_3,
$$

其中：

$$
a_i\in\mathbb Q.
$$

要求所有：

$$
3\times3
$$

minors 落入 localized BADT ideal：

$$
(q_1,q_2)
$$

on：

$$
X_0\neq0.
$$

同時以 symbolic rational-kernel tests 排除 separable / visible candidates。

---

# 48. Why this is suitable for computation

這一步暫時不需要高精度 transcendence computation。

它首先是：

$$
\boxed{
\text{symbolic algebra over }
\mathbb Q[X_0,X_1,X_2,X_3].
}
$$

可以使用：

- Gröbner reduction；
- minors；
- rational row/column equivalence；
- determinantal ideal；
- syzygies；
- sparse-support search。

因此 Round 11 可以先在完全有限的 algebraic sandbox 中搜尋 GCDA candidates。

---

# 49. 若 computational search 找到 candidate

若找到：

$$
M
$$

使 BADT relations 強迫：

$$
\operatorname{rank}M
<
\frac{mn}{m+n},
$$

下一步不是立刻宣稱證明。

必須依序驗證：

1. 所有 entries 的確為 rational linear combinations of：
   $$
   z_0,z_1,z_2,z_3;
   $$

2. BADT point 下全部 entries 屬於：
   $$
   \mathcal L_{\mathrm{alg}};
   $$

3. rank bound 是 exact symbolic consequence；
4. 沒有 hidden rational row/column kernel；
5. 沒有 Waldschmidt–Masser permitted large zero block；
6. structural rank 計算正確；
7. theorem hypotheses 全部滿足。

只有全部 PASS 才可能形成真正 contradiction。

---

# 50. 若 search 證明 no candidate

若能分類一定 support / size 下所有 low-rank linear matrices，並證明它們必 multiplier-separable 或 rationally visible，則得到：

$$
\boxed{
\text{finite-size determinantal no-go theorem}.
}
$$

這同樣很重要。

它會告訴我們：

> BADT$_2$ 無法靠該尺寸的 Waldschmidt–Masser amplification 解決，必須直接走 Matrix Coefficient / auxiliary support / Roy geometry。

---

# 51. Round 10 判定

**PASS — Naive shared-anchor matrix amplification ruled out; the proof target has been narrowed to genuinely coupled determinantal representations**

本輪完成：

1. 對 BADT$_2$ 證明：
   $$
   W(s^2)
   =
   \mathbb Q+\mathbb Qs^2.
   $$

2. 證明 Triple Multiplier Intersection：
   $$
   \mathfrak M
   \cap
   s^{-1}\mathfrak M
   \cap
   s^{-2}\mathfrak M
   =
   \mathbb Q.
   $$

3. 推得 four-multiplier common intersection 仍為：
   $$
   \mathbb Q.
   $$

4. 證明 Pair Visibility Lemma。

5. 得到任何：
   $$
   (R,sR)
   $$
   logarithmic row pair 的 rational joint kernel dimension：
   $$
   \ge n-2.
   $$

6. 得到：
   $$
   2\times(n-2)
   $$
   rational zero block。

7. 對：
   $$
   (R,sR,s^2R)
   $$
   證明 base row 必為 rational multiple vector of $\lambda$。

8. 得到：
   $$
   3\times(n-1)
   $$
   rational zero block。

9. 對：
   $$
   1,s,s^2,s^4
   $$
   multiplier bundle 得到：
   $$
   4\times(n-1)
   $$
   zero block。

10. 證明 $2\times3$ rank-one extension 必 rationally visible。

11. 建立 Visibility Conservation Identity：
    $$
    \frac2m+\frac{n-2}{n}
    =
    1
    +
    2
    \left(
    \frac1m-\frac1n
    \right).
    $$

12. 解釋 square case 為 exact visibility equality。

13. 解釋 wide case 自動進入 Waldschmidt–Masser zero-block conclusion。

14. 對 BADT block matrix重新得到 zero-block equality boundary。

15. 證明 one-column widening 同時跨越 rank 與 visibility boundaries。

16. 排除 rational padding 作為 proof route。

17. 定義 multiplier-separable amplification。

18. 建立 Separable Rank-Amplification No-Go。

19. 區分 shared anchor 與 genuine coupling。

20. 定義 Genuine Coupled Determinantal Amplifier（GCDA）。

21. 識別 rank-$2$ 第一批 strict size：
    $$
    4\times5,\ 
    5\times4,\ 
    5\times5.
    $$

22. 將 BADT$_2$ 寫成 localized toric surface：
    $$
    X_1^2=X_0X_2,
    $$
    $$
    X_2^2=X_0X_3.
    $$

23. 識別 anchor reuse 與 bridge-coordinate reuse。

24. 提出 BADT$_2$ Restricted Determinantal Rigidity Problem（RDRP）。

25. 將 Round 11 轉成有限 symbolic-algebra / determinantal search，而不是繼續手工堆 matrix blocks。

---

# 52. Round 11 正式入口

Round 11 應正式分成兩條同步線。

## R11-A：GCDA Search

在：

$$
4\times5,
\quad
5\times4,
\quad
5\times5
$$

尺寸中，搜尋：

$$
M(X)
=
\sum_iX_iA_i
$$

使：

$$
\operatorname{rank}_{V_2}M\le2,
$$

其中：

$$
V_2:
q_1=q_2=0.
$$

排除：

- rational row kernel；
- rational column kernel；
- multiplier-proportional pairs；
- block decompositions。

---

## R11-B：Determinantal No-Go

若 search 不產生 genuine candidate，嘗試證明：

> 在指定尺寸／support class 中，任何 rank-$2$ linear matrix over BADT$_2$ surface 都必存在 rationally visible decomposition。

這會是一個受限但真正可證的結構定理。

---

## R11-C：Toric ideal / syzygy analysis

研究 localized coordinate ring：

$$
R
=
\mathbb Q
[X_0,X_1,X_2,X_3,X_0^{-1}]
/
(q_1,q_2).
$$

分析：

- linear matrices over $R$；
- rank-$2$ modules；
- Fitting ideals；
- syzygies；
- determinantal representations；
- rational equivalence classes。

---

## R11-D：Support bridge

比較：

$$
q_1,
\quad
q_2
$$

的 two-binomial shared support 與 Dasgupta–Kakde auxiliary-polynomial support condition。

目標：

$$
\boxed{
\text{BADT toric singularity}
\Rightarrow
\text{restricted sparse auxiliary polynomial}.
}
$$

即使無法達到完整 Matrix Coefficient Conjecture，也可能先證一個 BADT-specific version。

---

# 53. 一句話結論

> **Round 10 證明：若用 Type-P multiplier proportionality 直接放大矩陣，rank 越容易被壓低，rational kernel 就越容易被看見；square case 精確停在 visibility 等號，而任何單純 widening 都會同時把 Waldschmidt–Masser 的 rational zero-block condition 推入 strict 區域。因此真正的突破不能來自更多 block，而必須來自兩條 shared-anchor quadratic relations 的不可分離 determinantal coupling。**

核心式：

$$
\boxed{
\mathfrak M_\lambda
\cap
s^{-1}\mathfrak M_\lambda
=
\mathbb Q+\mathbb Qs
}
$$

導致：

$$
\boxed{
(R,sR)
\Rightarrow
\dim_{\mathbb Q}\ker_{\mathrm{rat}}\ge n-2,
}
$$

並得到：

$$
\boxed{
\frac2m+\frac{n-2}{n}
=
1
+
2
\left(
\frac1m-\frac1n
\right).
}
$$

所以：

$$
\boxed{
\text{naive rank amplification}
\Longrightarrow
\text{automatic rational visibility}.
}
$$

Round 11 的真正目標因此是：

$$
\boxed{
\text{GCDA or a finite determinantal no-go theorem}.
}
$$

---

# 參考資料

1. Samit Dasgupta, **Ranks of matrices of logarithms of algebraic numbers I: the theorems of Baker and Waldschmidt–Masser**, *Essential Number Theory* 2 (2023), 93–138.  
   arXiv: https://arxiv.org/abs/2303.02037  
   Theorem 1.6 / Theorem 5.1 gives the Waldschmidt–Masser rank condition and rational zero-block conclusion. The relevant strict hypothesis is:
   $$
   \operatorname{rank}(M)
   <
   \frac{mn}{m+n}.
   $$

2. 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: https://arxiv.org/abs/2408.08178  
   The paper states the Matrix Coefficient Conjecture, proves that Structural Rank implies it, notes its $2\times2$ equivalence with Four Exponentials, and develops a support-based auxiliary-polynomial strategy.

3. Damien Roy, **Points whose coordinates are logarithms of algebraic numbers on algebraic varieties**, *Acta Mathematica* 175 (1995), 49–73.  
   DOI: 10.1007/BF02392486  
   Provides the geometric viewpoint on algebraic varieties containing points whose coordinates are logarithms of algebraic numbers.

4. Stéphane Fischler, **Orbits under algebraic groups and logarithms of algebraic numbers**, *Acta Arithmetica* 100 (2001), 167–187.  
   DOI: 10.4064/aa100-2-4  
   Studies logarithms of algebraic numbers via algebraic-group orbits and related geometric reformulations.

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

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

---

**ACTM Round 10 完**