# ACTM Round 18
## Real BADT 的 Exact Fewnomial Barrier、Orbit Transversality 與 LTSB No-Go
### Exact Fewnomial Complexity, Orbit Transversality, and a No-Go Boundary for the Log-to-Torus Support Bridge

**研究計畫：** Algebraic Combinatorial Transcendence Methodology（ACTM）  
**作者：** Neo.K；Aletheia（GPT-5.6 Sol）  
**機構：** EveMissLab / 一言諾科技有限公司  
**日期：** 2026-10-02  
**版本：** Round 18 / v0.1  
**文件性質：** 正式研究筆記／real-subcase exact-support round  
**狀態聲明：** 本輪不宣稱證明 Four Exponentials Conjecture、Matrix Coefficient Conjecture 或一般 complex BADT$_2$ 不可能。本輪在 real BADT$_2$ 子情形中建立 exact finite-grid fewnomial complexity，並證明數個 Log-to-Torus Support Bridge 的自然簡化路線不能工作：coefficient-field enrichment、fixed Laurent relation、orbit overlap、以及 rational monomial transfer。

---

## 摘要

Round 17 將 BADT$_2$ 的下一個核心問題定位為：

**Log-to-Torus Support Bridge（LTSB）**

即如何把 log-space 的 nonlinear structure：

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

轉換成 algebraic torus 上 sufficiently sparse 的 auxiliary polynomial。

Round 18 先限制到 real BADT：

$$
\lambda,s\in\mathbb R,
$$

$$
\lambda\neq0,
$$

$$
s
\text{ transcendental},
$$

並令：

$$
A=e^\lambda,
$$

$$
B=e^{s\lambda},
$$

$$
C=e^{s^2\lambda},
$$

$$
D=e^{s^4\lambda}.
$$

假設：

$$
A,B,C,D
\in
\overline{\mathbb Q}_{>0}.
$$

對任意 real irrational：

$$
t,
$$

定義 rank-one logarithmic orbit：

$$
X_t(M)
=
\left\{
\left(
e^{\lambda(a+bt)},
e^{\lambda t(a+bt)}
\right):
0\le a,b<M
\right\}.
$$

本輪第一個主結果是：

## Exact Fewnomial Complexity Theorem

定義：

$$
\kappa_t(M)
$$

為所有 nonzero polynomial：

$$
P(T_1,T_2)
$$

中，滿足：

$$
P(x)=0
\qquad
\forall x\in X_t(M)
$$

者的最小 support size：

$$
|S(P)|.
$$

則：

$$
\boxed{
\kappa_t(M)
=
M^2+1.
}
$$

特別對 Dasgupta–Kakde condition $(m')$ 使用的：

$$
M=2N,
$$

有：

$$
\boxed{
\kappa_t(2N)
=
4N^2+1.
}
$$

證明下界時，把：

$$
P(T_1,T_2)
=
\sum_{(u,v)\in S}
c_{u,v}T_1^uT_2^v
$$

限制到 orbit：

$$
(T_1,T_2)
=
\left(
e^{\lambda q},
e^{\lambda tq}
\right)
$$

得到 real exponential polynomial：

$$
f(q)
=
\sum_{(u,v)\in S}
c_{u,v}
e^{\lambda(u+vt)q}.
$$

因：

$$
t
$$

irrational，distinct support monomials產生 distinct frequencies：

$$
u+vt.
$$

而 nodes：

$$
q=a+bt
$$

亦有：

$$
M^2
$$

個 distinct real values。

Dasgupta–Kakde 在其 real fewnomial argument中使用的 elementary exponential-polynomial lemma指出：具有 $K$ 個 distinct real exponential frequencies的 nonzero exponential sum，最多有 $K-1$ 個 real zeros。

所以：

$$
M^2
\le
|S(P)|-1,
$$

即：

$$
|S(P)|
\ge
M^2+1.
$$

另一方面，第一座標：

$$
e^{\lambda(a+bt)}
$$

亦有 $M^2$ 個 distinct positive values。

因此 univariate polynomial：

$$
Q_M(T_1)
=
\prod_{0\le a,b<M}
\left(
T_1-e^{\lambda(a+bt)}
\right)
$$

在：

$$
X_t(M)
$$

上消失。

因所有 roots為 positive real numbers，其每個 elementary symmetric coefficient皆 nonzero，所以：

$$
|S(Q_M)|
=
M^2+1.
$$

上下界相等。

因此 exact formula成立。

---

對 BADT 的兩層：

$$
t=s,
$$

以及：

$$
t=s^2,
$$

皆得到：

$$
\boxed{
\kappa_s(2N)
=
\kappa_{s^2}(2N)
=
4N^2+1.
}
$$

這比 Dasgupta–Kakde condition：

$$
(m'):
\quad
|S(P)|<N^2
$$

強得多。

在 real rationally invisible rank-one case，$(m')$ 不只是「目前不知道怎麼造」；對 single orbit而言，support threshold距離真實 minimum有 asymptotic factor $4$。

第二個結果：

## Coefficient-Enrichment No-Go

即使把第二層新 algebraic number：

$$
D=e^{s^4\lambda}
$$

加入 coefficient field，也不能降低：

$$
\kappa_s(M).
$$

因上述 zero-count proof不限制 coefficients必須只由：

$$
A,B,C
$$

生成；只要 polynomial restricted to real orbit後有 real coefficients即可。

若 coefficients是 complex algebraic numbers，也可取 nonzero real / imaginary part，得到 support不增加的 nonzero real polynomial。

所以：

$$
\boxed{
\text{second layer cannot help merely by enlarging the coefficient field}.
}
$$

第三個結果：

## Orbit Transversality

令：

$$
\Gamma_t
=
\left\{
\left(
e^{\lambda(a+bt)},
e^{\lambda t(a+bt)}
\right):
a,b\in\mathbb Z
\right\}.
$$

則：

$$
\boxed{
\Gamma_s
\cap
\Gamma_{s^2}
=
\{(1,1)\}.
}
$$

原因是 real exponential map injective，而 logarithmic images分別位於 distinct real lines：

$$
\mathbb R(1,s),
$$

$$
\mathbb R(1,s^2).
$$

它們因：

$$
s\neq0,1
$$

只有零交點。

第四個結果：

## Paired-Orbit Zariski Density

在：

$$
(\mathbb G_m)^4
$$

中考慮由：

$$
g_1=(A,B,A,C),
$$

$$
g_2=(B,C,C,D)
$$

生成的 subgroup：

$$
\Gamma_{\mathrm{pair}}.
$$

若 integer character：

$$
k=(k_1,k_2,k_3,k_4)
\in
\mathbb Z^4
$$

在：

$$
\Gamma_{\mathrm{pair}}
$$

上恆等於 $1$，real logarithms給：

$$
(k_1+k_3)
+
k_2s
+
k_4s^2
=
0,
$$

以及：

$$
k_1s
+
(k_2+k_3)s^2
+
k_4s^4
=
0.
$$

由：

$$
s
$$

transcendental，第一式給：

$$
k_1+k_3=0,
$$

$$
k_2=0,
$$

$$
k_4=0.
$$

代入第二式：

$$
k_1s-k_1s^2=0,
$$

所以：

$$
k_1=0,
$$

進而：

$$
k_3=0.
$$

故只有 trivial character。

由 algebraic-torus 的標準 character criterion：

$$
\boxed{
\overline{\Gamma_{\mathrm{pair}}}^{\mathrm{Zar}}
=
(\mathbb G_m)^4.
}
$$

因此不存在固定 nonzero Laurent polynomial：

$$
R(T_1,T_2,T_3,T_4)
$$

在整個 paired orbit上消失。

所以：

$$
\boxed{
\text{shared }A,C
\text{ does not create a fixed torus relation}.
}
$$

第五個結果：

## No Rational Monomial Transfer

不存在：

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

使：

$$
\boxed{
H(s^2)
=
P
H(s)
Q,
}
$$

其中：

$$
H(t)
=
\lambda
\begin{pmatrix}
1&t\\
t&t^2
\end{pmatrix}.
$$

因 rank-one column direction會迫使：

$$
P
\begin{pmatrix}
1\\s
\end{pmatrix}
\parallel
\begin{pmatrix}
1\\s^2
\end{pmatrix}.
$$

所以：

$$
s^2
=
\frac{p_{21}+p_{22}s}
{p_{11}+p_{12}s},
$$

這會給 $s$ 一個 nonzero rational polynomial relation，與 transcendence矛盾。

因此第二層不能透過 rational monomial torus change-of-coordinates轉回第一層。

綜合以上，本輪得到：

$$
\boxed{
\text{任何真正的 LTSB 都必須是 }N\text{-dependent、support-changing、nonlinear 的。}
}
$$

它不能只是：

1. 新增 algebraic coefficients；
2. 使用 fixed Laurent relation；
3. 利用兩層 orbit 大量重疊；
4. 透過 rational monomial conjugacy轉移第二層。

這將 Round 19 的研究問題壓成一個更窄的 finite-grid coupling problem。

---

# 1. Real BADT$_2$

固定：

$$
\lambda,s\in\mathbb R,
$$

$$
\lambda\neq0,
$$

$$
s
\text{ transcendental}.
$$

假設：

$$
A=e^\lambda,
$$

$$
B=e^{s\lambda},
$$

$$
C=e^{s^2\lambda},
$$

$$
D=e^{s^4\lambda}
$$

皆為 positive algebraic numbers。

---

# 2. Rank-one orbit

對任意：

$$
t\in\mathbb R\setminus\mathbb Q,
$$

定義：

$$
x_t(a,b)
=
\left(
e^{\lambda(a+bt)},
e^{\lambda t(a+bt)}
\right).
$$

並令：

$$
X_t(M)
=
\left\{
x_t(a,b):
0\le a,b<M
\right\}.
$$

---

# 3. Orbit cardinality

若：

$$
a+bt=a'+b't,
$$

則：

$$
(a-a')
+
(b-b')t
=
0.
$$

因：

$$
t
$$

irrational，所以：

$$
a=a',
$$

$$
b=b'.
$$

因此：

$$
\boxed{
|X_t(M)|
=
M^2.
}
$$

---

# 4. Support complexity

對 nonzero polynomial：

$$
P(T_1,T_2)
=
\sum_{(u,v)\in S(P)}
c_{u,v}
T_1^uT_2^v,
$$

定義：

$$
\|P\|_0
=
|S(P)|.
$$

定義 finite-orbit support complexity：

$$
\boxed{
\kappa_t(M)
=
\min
\left\{
\|P\|_0:
P\neq0,
\ 
P|_{X_t(M)}=0
\right\}.
}
$$

---

# 5. Frequency distinctness

限制到：

$$
x_t(a,b)
$$

後：

$$
P(x_t(a,b))
=
\sum_{(u,v)\in S(P)}
c_{u,v}
e^{
\lambda
(a+bt)
(u+vt)
}.
$$

令：

$$
q=a+bt.
$$

得到：

$$
f_P(q)
=
\sum_{(u,v)\in S(P)}
c_{u,v}
e^{\omega_{u,v}q},
$$

其中：

$$
\omega_{u,v}
=
\lambda(u+vt).
$$

若：

$$
\omega_{u,v}
=
\omega_{u',v'},
$$

則：

$$
(u-u')
+
(v-v')t
=
0.
$$

irrationality of $t$迫使：

$$
(u,v)
=
(u',v').
$$

所以所有 frequencies distinct。

---

# 6. Real exponential zero bound

Dasgupta–Kakde Theorem 7.1 的 real proof使用以下 lemma：

若：

$$
f(z)
=
\sum_{j=1}^{K}
b_j
e^{w_jz},
$$

其中：

$$
b_j,w_j\in\mathbb R,
$$

且 frequencies distinct，則 nonzero $f$ 最多有：

$$
K-1
$$

個 real zeros。

這是 classical Chebyshev-system property of real exponentials。

---

# 7. Lower bound for real coefficients

若：

$$
P|_{X_t(M)}=0,
$$

則：

$$
f_P(q)=0
$$

對全部：

$$
q=a+bt,
\qquad
0\le a,b<M.
$$

有：

$$
M^2
$$

個 distinct zeros。

所以：

$$
M^2
\le
|S(P)|-1.
$$

因此：

$$
\boxed{
|S(P)|
\ge
M^2+1.
}
$$

---

# 8. Complex coefficients

若：

$$
c_{u,v}\in\mathbb C,
$$

把：

$$
P=P_{\Re}+iP_{\Im}.
$$

因 orbit coordinates都是 positive real numbers：

$$
P|_{X_t(M)}=0
$$

意味：

$$
P_{\Re}|_{X_t(M)}=0,
$$

以及：

$$
P_{\Im}|_{X_t(M)}=0.
$$

至少一個：

$$
P_{\Re},
\quad
P_{\Im}
$$

nonzero，而且其 support包含於：

$$
S(P).
$$

所以同一 lower bound成立：

$$
\boxed{
|S(P)|
\ge
M^2+1.
}
$$

---

# 9. Laurent polynomials

若：

$$
P
$$

為 Laurent polynomial，乘上一個 monomial即可清除負 exponents。

此操作：

- 不改變 torus zero set；
- 不改變 support cardinality。

因此 exact lower bound對 Laurent polynomials亦成立。

---

# 10. Matching upper bound

第一座標集合：

$$
R_t(M)
=
\left\{
e^{\lambda(a+bt)}:
0\le a,b<M
\right\}
$$

有：

$$
M^2
$$

個 distinct positive values。

定義：

$$
Q_M(T_1)
=
\prod_{\rho\in R_t(M)}
(T_1-\rho).
$$

則：

$$
Q_M
$$

在：

$$
X_t(M)
$$

上消失。

---

# 11. Every coefficient is nonzero

所有 roots：

$$
\rho
$$

均為 positive。

因此：

$$
Q_M(T_1)
=
T_1^{M^2}
-
e_1T_1^{M^2-1}
+
e_2T_1^{M^2-2}
-\cdots
+
(-1)^{M^2}e_{M^2},
$$

其中每個：

$$
e_j
$$

是 positive elementary symmetric sum。

所以：

$$
e_j>0
$$

對所有：

$$
j.
$$

因此：

$$
\boxed{
|S(Q_M)|
=
M^2+1.
}
$$

---

# 12. Exact Fewnomial Complexity Theorem

上下界合併：

$$
\boxed{
\kappa_t(M)
=
M^2+1.
}
$$

這只需要：

$$
t
\text{ irrational},
$$

不需要 transcendence。

---

# 13. BADT application

對：

$$
t=s,
$$

以及：

$$
t=s^2,
$$

皆為 irrational。

所以：

$$
\boxed{
\kappa_s(M)
=
\kappa_{s^2}(M)
=
M^2+1.
}
$$

令：

$$
M=2N.
$$

得到：

$$
\boxed{
\kappa_s(2N)
=
\kappa_{s^2}(2N)
=
4N^2+1.
}
$$

---

# 14. Relation to condition $(m')$

Dasgupta–Kakde condition：

$$
(m')
$$

在：

$$
2\times2
$$

case要求 sufficiently large $N$ 時存在：

$$
P
$$

使：

$$
|S(P)|<N^2
$$

並且：

$$
P|_{X(2N)}=0.
$$

但 real rationally invisible rank-one orbit的真實 minimum是：

$$
4N^2+1.
$$

所以：

$$
\boxed{
(m')
\text{ misses the real no-visibility minimum by asymptotic factor }4.
}
$$

這與其 Theorem 7.1：

$$
(m')
\Rightarrow
(o)
$$

完全一致，而且給出其 root-counting proof在此 rank-one setting中的 exact extremal interpretation。

---

# 15. Coefficient-Enrichment No-Go

考慮第一層：

$$
X_s(M).
$$

即使 coefficient field從：

$$
\mathbb Q(A,B,C)
$$

擴大為：

$$
\mathbb Q(A,B,C,D),
$$

甚至任意 real extension field，zero-count lower bound仍然只取決於：

- support size；
- distinct real frequencies；
- distinct real nodes。

所以：

$$
\boxed{
D
\text{ cannot reduce }\kappa_s(M)
\text{ merely by appearing in coefficients}.
}
$$

---

# 16. What second-layer information must change

因此若第二層要幫助構造 sparse auxiliary polynomial，它必須改變至少一項：

1. monomial support geometry；
2. evaluation set；
3. ambient torus dimension；
4. frequency collision structure。

只把：

$$
D
$$

當成新的 coefficient constant並無效果。

---

# 17. Full orbit groups

定義：

$$
\Gamma_t
=
\left\{
x_t(a,b):
a,b\in\mathbb Z
\right\}.
$$

其 real logarithm：

$$
\log x_t(a,b)
=
\lambda(a+bt)
\begin{pmatrix}
1\\t
\end{pmatrix}.
$$

因此：

$$
\log\Gamma_t
$$

位於 real line：

$$
L_t
=
\mathbb R
\begin{pmatrix}
1\\t
\end{pmatrix}.
$$

---

# 18. Orbit Transversality Theorem

對：

$$
t=s
$$

與：

$$
t=s^2,
$$

兩條 real lines：

$$
L_s,
$$

$$
L_{s^2}
$$

distinct，因：

$$
s\neq0,
\qquad
s\neq1.
$$

所以：

$$
L_s\cap L_{s^2}
=
\{0\}.
$$

real exponential：

$$
\mathbb R^2
\to
(\mathbb R_{>0})^2
$$

injective。

因此若：

$$
x_s(a,b)
=
x_{s^2}(c,d),
$$

兩側 logarithms相等，只能都為零。

因：

$$
s,
\quad
s^2
$$

irrational：

$$
a=b=c=d=0.
$$

所以：

$$
\boxed{
\Gamma_s
\cap
\Gamma_{s^2}
=
\{(1,1)\}.
}
$$

---

# 19. Generator-level sharing is not orbit overlap

注意：

$$
\Gamma_s
$$

由：

$$
(A,B),
$$

$$
(B,C)
$$

生成。

而：

$$
\Gamma_{s^2}
$$

由：

$$
(A,C),
$$

$$
(C,D)
$$

生成。

雖然 algebraic constants：

$$
A,C
$$

在兩層資料中重複出現，但：

$$
\boxed{
\text{the actual torus subgroups intersect trivially}.
}
$$

所以「shared $A,C$」不是大量 common orbit points。

---

# 20. No Rational Monomial Transfer

令：

$$
H(t)
=
\lambda
\begin{pmatrix}
1&t\\
t&t^2
\end{pmatrix}
=
\lambda u_tu_t^T,
$$

其中：

$$
u_t=
\begin{pmatrix}
1\\t
\end{pmatrix}.
$$

假設存在：

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

使：

$$
H(s^2)
=
P H(s)Q.
$$

則 column spaces必一致：

$$
Pu_s
\parallel
u_{s^2}.
$$

---

# 21. Möbius obstruction

寫：

$$
P=
\begin{pmatrix}
p_{11}&p_{12}\\
p_{21}&p_{22}
\end{pmatrix}.
$$

則：

$$
s^2
=
\frac{
p_{21}+p_{22}s
}{
p_{11}+p_{12}s
}.
$$

清分母：

$$
p_{12}s^3
+
p_{11}s^2
-
p_{22}s
-
p_{21}
=
0.
$$

因：

$$
s
$$

transcendental，所有 coefficients必為零。

這使：

$$
P=0,
$$

與：

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

矛盾。

所以：

$$
\boxed{
H(s)
\text{ 與 }
H(s^2)
\text{ 不 rationally row/column equivalent}.
}
$$

---

# 22. Paired orbit

在：

$$
(\mathbb G_m)^4
$$

定義：

$$
g_1
=
(A,B,A,C),
$$

$$
g_2
=
(B,C,C,D).
$$

令：

$$
\Gamma_{\mathrm{pair}}
=
\langle
g_1,g_2
\rangle.
$$

---

# 23. Character equations

令：

$$
k
=
(k_1,k_2,k_3,k_4)
\in
\mathbb Z^4.
$$

若 character：

$$
\chi_k(T)
=
T_1^{k_1}
T_2^{k_2}
T_3^{k_3}
T_4^{k_4}
$$

在：

$$
\Gamma_{\mathrm{pair}}
$$

上恆為 $1$，則：

$$
\chi_k(g_1)=1,
$$

$$
\chi_k(g_2)=1.
$$

因全部 coordinates positive real，可取 real logarithm。

---

# 24. First generator

$$
\log\chi_k(g_1)
=
\lambda
\left[
(k_1+k_3)
+
k_2s
+
k_4s^2
\right].
$$

所以：

$$
(k_1+k_3)
+
k_2s
+
k_4s^2
=
0.
$$

由 transcendence：

$$
k_1+k_3=0,
$$

$$
k_2=0,
$$

$$
k_4=0.
$$

---

# 25. Second generator

$$
\log\chi_k(g_2)
=
\lambda
\left[
k_1s
+
(k_2+k_3)s^2
+
k_4s^4
\right].
$$

代入：

$$
k_2=k_4=0,
$$

$$
k_3=-k_1,
$$

得到：

$$
k_1(s-s^2)=0.
$$

因：

$$
s\neq0,1,
$$

有：

$$
k_1=0.
$$

所以：

$$
k_3=0.
$$

故：

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

---

# 26. Paired-Orbit Zariski Density

algebraic torus中，proper algebraic subgroup會被某個 nontrivial integral character annihilate。

上一節證明：

$$
\Gamma_{\mathrm{pair}}
$$

沒有任何 nontrivial annihilating character。

因此：

$$
\boxed{
\overline{
\Gamma_{\mathrm{pair}}
}^{\mathrm{Zar}}
=
(\mathbb G_m)^4.
}
$$

所以：

$$
\boxed{
\text{no fixed nonzero Laurent polynomial vanishes on the full paired orbit}.
}
$$

---

# 27. Fixed-Elimination No-Go

因此不能期待：

1. 把兩個 orbit升到四維；
2. 找一個 fixed algebraic relation；
3. 再 elimination回第一層；
4. 得到 sparse auxiliary polynomial。

因：

$$
\boxed{
\text{there is no fixed algebraic relation to eliminate}.
}
$$

真正 auxiliary polynomial必然：

$$
\boxed{
\text{depend on }N.
}
$$

這與 Dasgupta–Kakde condition $(m)$ / $(m')$ 本身的 asymptotic nature一致。

---

# 28. Coupled finite-grid complexity

定義兩層 finite union：

$$
Y(M)
=
X_s(M)
\cup
X_{s^2}(M).
$$

令：

$$
\kappa_{\cup}(M)
$$

為 nonzero polynomial vanishing on：

$$
Y(M)
$$

的 minimum support size。

由單層 lower bound：

$$
\boxed{
\kappa_{\cup}(M)
\ge
M^2+1.
}
$$

---

# 29. First-coordinate union

第一層第一座標：

$$
R_s(M)
=
\left\{
A^aB^b:
0\le a,b<M
\right\}.
$$

第二層：

$$
R_{s^2}(M)
=
\left\{
A^cC^d:
0\le c,d<M
\right\}.
$$

若：

$$
A^aB^b
=
A^cC^d,
$$

取 real logs：

$$
(a-c)
+
bs
-
ds^2
=
0.
$$

因：

$$
s
$$

transcendental：

$$
b=d=0,
$$

$$
a=c.
$$

所以 intersection恰為：

$$
\{A^a:0\le a<M\},
$$

size：

$$
M.
$$

---

# 30. Coupled upper bound

所以：

$$
|R_s(M)\cup R_{s^2}(M)|
=
2M^2-M.
$$

定義 univariate product：

$$
Q_{\cup}(T_1)
=
\prod_{\rho\in
R_s(M)\cup R_{s^2}(M)}
(T_1-\rho).
$$

全部 roots positive，所以全部 coefficients nonzero。

因此：

$$
\boxed{
\kappa_{\cup}(M)
\le
2M^2-M+1.
}
$$

總結：

$$
\boxed{
M^2+1
\le
\kappa_{\cup}(M)
\le
2M^2-M+1.
}
$$

---

# 31. Shared-Grid Fewnomial Problem

本輪因此提出一個完全 finite、real、明確的下一步問題：

> 決定：
>
> $$
> \boxed{
> \kappa_{\cup}(M)
> }
> $$
>
> 的 exact value 或 asymptotic leading constant。

若能證：

$$
\kappa_{\cup}(M)
>
M^2+1
$$

具有正比例增益，表示第二層確實在 finite-grid support complexity中產生額外 rigidity。

若甚至：

$$
\kappa_{\cup}(2N)
<
N^2
$$

當然會直接接 $(m')$，但單層 exact lower bound顯示這不可能發生在「同一 polynomial直接 vanishing on第一層」的 formulation。

因此真正 LTSB 必須不是簡單 union-vanishing，而是更間接的 elimination / derived auxiliary construction。

---

# 32. The real $(m')$ barrier is exact

Dasgupta–Kakde Theorem 7.1 說，在：

$$
2\times2
$$

real rank-one case，若：

$$
(m')
$$

成立，則：

$$
(o)
$$

成立。

在 BADT first layer，$s$ transcendental意味 rational coefficient visibility：

$$
(o)
$$

失敗。

因此：

$$
(m')
$$

必失敗。

Round 18 更進一步給出 exact extremal值：

$$
\boxed{
\min |S(P)|
=
4N^2+1
}
$$

對：

$$
X_s(2N)
$$

成立。

所以其 proof不只給 yes/no barrier，而可讀成 exact finite-grid support theorem。

---

# 33. LTSB No-Go Quartet

目前已排除四種自然 bridge。

## 1. Coefficient-only bridge

$$
D
$$

只出現在 coefficients。

**失敗：**

exact fewnomial lower bound不變。

## 2. Orbit-overlap bridge

希望兩層共享大量 torus points。

**失敗：**

$$
\Gamma_s\cap\Gamma_{s^2}
=
\{1\}.
$$

## 3. Fixed-algebraic-relation bridge

希望 paired orbit落在固定低維 torus variety。

**失敗：**

paired subgroup Zariski dense in：

$$
(\mathbb G_m)^4.
$$

## 4. Rational monomial-transfer bridge

希望第二層可由第一層經 rational monomial coordinates得到。

**失敗：**

會迫使：

$$
s^2
$$

為 rational Möbius transform of $s$。

---

# 34. What survives

因此真正可能的 LTSB 必須：

$$
\boxed{
\text{be }N\text{-dependent}
}
$$

且至少具備一項：

- use a higher-dimensional auxiliary object before elimination；
- exploit simultaneous vanishing with nontrivial multiplicity；
- use derivative / jet conditions；
- create support cancellation depending on $N$；
- use a coupled zero-estimate unavailable to a single orbit；
- exploit arithmetic heights / coefficient growth rather than coefficient availability。

---

# 35. Relation to DK Section 7.2

Dasgupta–Kakde 在 auxiliary-polynomial discussion中特別指出，真正困難不是寫下一個形式上的 vanishing polynomial，而是同時控制：

- vanishing；
- support / degree；
- coefficient size或 local analytic behavior。

Round 18 的 exact support barrier說明：

> BADT 第二層若真的能幫忙，它不可能只是「多一個 algebraic constant」；它必須改變 interpolation mechanism本身。

這與 DK 對 auxiliary-polynomial construction困難的描述一致。

---

# 36. Round 18 判定

**PASS — Real rank-one fewnomial complexity computed exactly; four natural Log-to-Torus bridge mechanisms ruled out**

本輪完成：

1. 定義 real rank-one orbit：
   $$
   X_t(M).
   $$

2. 證明：
   $$
   |X_t(M)|=M^2.
   $$

3. 將 any vanishing polynomial限制成 real exponential polynomial。

4. 證明 monomial frequencies distinct。

5. 使用 real exponential zero bound得到：
   $$
   |S(P)|\ge M^2+1.
   $$

6. 建構 matching univariate polynomial。

7. 證明所有 coefficients nonzero。

8. 得到 exact formula：
   $$
   \boxed{
   \kappa_t(M)=M^2+1.
   }
   $$

9. 對 BADT：
   $$
   \kappa_s(2N)
   =
   \kappa_{s^2}(2N)
   =
   4N^2+1.
   $$

10. 建立 Coefficient-Enrichment No-Go。

11. 證明 Orbit Transversality：
    $$
    \Gamma_s\cap\Gamma_{s^2}
    =
    \{(1,1)\}.
    $$

12. 證明 No Rational Monomial Transfer。

13. 建立 paired four-dimensional subgroup。

14. 證明其 annihilating character lattice為：
    $$
    0.
    $$

15. 推出 paired orbit Zariski dense in：
    $$
    (\mathbb G_m)^4.
    $$

16. 排除 fixed Laurent relation / fixed elimination bridge。

17. 定義 coupled support complexity：
    $$
    \kappa_{\cup}(M).
    $$

18. 得到：
    $$
    M^2+1
    \le
    \kappa_{\cup}(M)
    \le
    2M^2-M+1.
    $$

19. 定義 Shared-Grid Fewnomial Problem。

20. 將真正 LTSB限制為 $N$-dependent nonlinear support-compression mechanism。

---

# 37. Round 19 正式入口

下一輪不再問：

> 能不能直接從第二層「寫出」一個 $(m')$ polynomial？

因 Round 18 已證最直接形式不可能。

改問：

## R19-A：Coupled interpolation rank

研究 union evaluation operator：

$$
\operatorname{ev}_{s,s^2}:
\mathcal P_S
\to
\mathbb R^{2M^2-M_{\mathrm{overlap}}}
$$

的 rank。

對哪些 monomial supports：

$$
S
$$

能同時在兩層產生 unusually large kernel？

---

## R19-B：Exact $\kappa_{\cup}(M)$

先對小：

$$
M
$$

做 symbolic / exact algebraic model，尋找：

$$
\kappa_{\cup}(M)
$$

pattern。

目標不是把 numerical pattern當 proof，而是找出是否：

$$
\kappa_{\cup}(M)
$$

其實等於：

$$
2M^2-M+1,
$$

或存在 genuine bivariate compression。

---

## R19-C：Hermite / jet bridge

單純 zeros不夠。

研究 second layer是否能被轉成 first-layer auxiliary function的 derivative / jet vanishing。

如果能把：

$$
s^2
$$

資訊轉為 multiplicity，而不是新增獨立 coefficients，就可能突破單層 Chebyshev counting。

---

## R19-D：frequency-set resultant

第一層 frequencies：

$$
u+vs.
$$

第二層：

$$
u+vs^2.
$$

研究這兩個 frequency embeddings的共同 resultant / determinant。

目標：

$$
\boxed{
\text{nested frequency geometry}
\Rightarrow
\text{support compression or multiplicity}.
}
$$

---

# 38. 一句話結論

> **在 real BADT 子情形，第一層 rank-one orbit的 sparse interpolation難度可以精確算出：$M^2$ 個 orbit points需要至少 $M^2+1$ 個 monomials，而且此下界可達；所以第二層不可能靠 coefficient enrichment幫忙。兩層 orbit又只有 identity交點、不能 rationally monomial-conjugate，而且 paired four-dimensional subgroup本身 Zariski dense。因此真正的 LTSB 必須是 $N$-dependent 的 nonlinear support-compression或 multiplicity mechanism。**

核心式：

$$
\boxed{
\kappa_t(M)=M^2+1
}
$$

以及：

$$
\boxed{
\Gamma_s\cap\Gamma_{s^2}
=
\{(1,1)\}
}
$$

與：

$$
\boxed{
\overline{\Gamma_{\mathrm{pair}}}^{\mathrm{Zar}}
=
(\mathbb G_m)^4.
}
$$

共同把下一輪問題壓到了真正的 finite-grid coupling level。

---

# 參考資料

1. 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  
   Relevant items:
   - condition $(m')$；
   - Theorem 7.1；
   - Lemma 7.2 real exponential-polynomial zero bound；
   - open implication $(w)\Rightarrow(m')$ in the real Four-Exponentials setting.

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

3. Standard algebraic-torus character theory: an algebraic subgroup of $(\mathbb G_m)^n$ is controlled by a lattice of integral characters; absence of a nontrivial annihilating character forces Zariski density of the generated subgroup.

---

**ACTM Round 18 完**