# ACTM Round 23
## BK-Degree 的 Support-Diameter Budget、Fixed-Scale Collision 與 Auxiliary Uniformity Gap
### BK-Degree Support-Diameter Budgets, Fixed-Scale Collision, and the Auxiliary Uniformity Gap

**研究計畫：** Algebraic Combinatorial Transcendence Methodology（ACTM）  
**作者：** Neo.K；Aletheia（GPT-5.6 Sol）  
**機構：** EveMissLab / 一言諾科技有限公司  
**日期：** 2026-10-02  
**版本：** Round 23 / v0.1  
**文件性質：** 正式研究筆記／BK-geometry and uniformity round  
**狀態聲明：** 本輪不宣稱 real BADT$_2$ 不可能，也不宣稱 Dasgupta–Kakde condition $(w)\Rightarrow(m)$ 已證。本輪回答 Round 22 的 support-upper-budget問題：在二變量中，BK-degree 本身確實給出 scale-uniform 的 support-diameter upper bound。真正尚未閉合的是 auxiliary polynomial 的 category / circuit size / rational-scaling uniformity，而非 Newton-polytope diameter。

---

## 摘要

Round 22 證明：對 fixed grid parameter：

$$
M,
$$

若 real BADT$_2$ 的兩層存在：

$$
M^2+1
$$

term minimal common circuit，support diameter：

$$
D
$$

在 rational flattening：

$$
\mu=q\lambda\to0
$$

時必滿足 effective growth：

$$
\boxed{
D
\ge
C_M|\mu|^{-\eta_M}
}
$$

對某些 effectively computable：

$$
C_M,\eta_M>0.
$$

因此 Round 23 的問題是：

> Dasgupta–Kakde condition $(m)$ 的：
>
> $$
> \BKd(P)<N^2
> $$
>
> 是否能提供一個對 rational scaling $q$ 不變的：
>
> $$
> D(P)\le U(N)
> $$
>
> support upper budget？

答案在二變量中是：

$$
\boxed{
\text{Yes.}
}
$$

而且理由比 mixed-volume area geometry更直接。

Dasgupta–Kakde Definition 5.3 定義：

$$
\BKd(P)
$$

為 mixed Bernstein–Kushnirenko numbers：

$$
\BK(P,\ldots,P,\ell,\ldots,\ell)
$$

的最大值。

他們的 Remark 5.4 明確指出：

對：

$$
n=2,
$$

在除去 monomial factor後，

$$
\boxed{
\BKd(P)<N^2
}
$$

等價於：

$$
\boxed{
\deg P<N^2
}
$$

以及：

$$
\boxed{
\BK(P)<N^2.
}
$$

因此若：

$$
P(T_1,T_2)
=
\sum_{(a,b)\in S(P)}
c_{a,b}T_1^aT_2^b
$$

已 normalized 為沒有 common monomial factor，則：

$$
a,b\ge0
$$

且：

$$
a+b\le\deg P<N^2.
$$

所以：

$$
\boxed{
S(P)
\subset
\Delta_{N^2}
=
\{
(a,b)\in\mathbb Z_{\ge0}^2:
a+b<N^2
\}.
}
$$

立即得到：

$$
\boxed{
\operatorname{diam}_\infty S(P)
<
N^2.
}
$$

所以 BK-degree 在二維確實給出 Round 22 所需要的 translation-normalized lattice-diameter budget。

---

本輪同時證明：

$$
\boxed{
\BK(P)
\text{ alone would not be enough}.
}
$$

考慮 lattice parallelogram：

$$
\Delta_R
=
\operatorname{Conv}
\{
(0,0),
(1,0),
(R+1,1),
(R,1)
\}.
$$

其 Euclidean area恆為：

$$
1.
$$

因此 normalized Kushnirenko number：

$$
\BK(\Delta_R)
=
2!
\operatorname{Area}(\Delta_R)
=
2
$$

與：

$$
R
$$

無關。

但：

$$
\operatorname{diam}_\infty\Delta_R
=
R+1
\to\infty.
$$

所以 pure Newton area / pure $\BK(P)$ 無法控制 coordinate support escape。

另一方面，任一具有此 Newton polygon的 normalized polynomial總 degree至少：

$$
R+2.
$$

所以：

$$
\BKd(P)
\ge
\deg P
\ge
R+2.
$$

因此：

$$
\boxed{
\text{the degree component inside BKd is exactly what kills the long-thin shear escape}.
}
$$

這也解釋了為什麼 Round 22 所需要的 quantity不是只有 Newton area。

---

接著，本輪把 Round 22 quantitative support escape與 BK-degree upper budget接起來。

令：

$$
M=2N.
$$

假設在 scaled real BADT state：

$$
\mu=q\lambda
$$

上，存在一個：

$$
M^2+1
=
4N^2+1
$$

term **common minimal circuit polynomial**：

$$
P_q
$$

同時 vanishing on：

$$
X_s(2N;\mu),
$$

以及：

$$
X_{s^2}(2N;\mu),
$$

並滿足：

$$
\boxed{
\BKd(P_q)<N^2.
}
$$

則 BK-degree diameter bound給：

$$
\boxed{
D(P_q)<N^2.
}
$$

Round 22 Quantitative Support Escape則給：

$$
\boxed{
D(P_q)
\ge
\left(
\frac{
c_{2N}
}{
\Xi_{2N,s}|q\lambda|
}
\right)^{
1/(E_{2N}+1)
}.
}
$$

因此必要：

$$
N^2
>
\left(
\frac{
c_{2N}
}{
\Xi_{2N,s}|q\lambda|
}
\right)^{
1/(E_{2N}+1)
}.
$$

等價於：

$$
\boxed{
|q|
>
q_\ast(N)
}
$$

其中：

$$
\boxed{
q_\ast(N)
=
\frac{
c_{2N}
}{
\Xi_{2N,s}
|\lambda|
N^{2(E_{2N}+1)}
}.
}
$$

因此得到：

## Fixed-$N$ BK Collision Theorem

> 對每個 fixed：
>
> $$
> N,
> $$
>
> 存在 explicit：
>
> $$
> q_\ast(N)>0
> $$
>
> 使：
>
> $$
> 0<|q|\le q_\ast(N)
> $$
>
> 時，不可能存在同時：
>
> 1. vanishing on兩層：
>    $$
>    X_s(2N;q\lambda),
>    \quad
>    X_{s^2}(2N;q\lambda);
>    $$
> 2. support size：
>    $$
>    4N^2+1;
>    $$
> 3. BK-degree：
>    $$
>    <N^2
>    $$
>
> 的 common minimal circuit。

所以：

$$
\boxed{
\text{fixed-scale DK geometry and BADT flattening cannot coexist indefinitely}.
}
$$

---

但是，本輪同時發現三個必須嚴格區分的 gaps。

### Gap A：Single Orbit vs Common Orbit

Dasgupta–Kakde condition $(m)$ 對第一層 matrix只要求：

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

Round 22 / Fixed-$N$ collision研究的是：

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

以及：

$$
P|_{X_{s^2}(2N)}=0
$$

同時成立。

所以：

$$
\boxed{
(m)
\neq
\text{common auxiliary condition}.
}
$$

真正 LTSB 必須先證明 second layer能把 auxiliary data提升成 common / coupled constraint。

---

### Gap B：Arbitrary Auxiliary vs Minimal Common Circuit

即使存在 common polynomial：

$$
P,
$$

它也未必具有：

$$
|S(P)|=4N^2+1.
$$

任何 nonzero common kernel vector都含有一個 support-minimal common circuit：

$$
S'\subseteq S(P).
$$

而：

$$
\operatorname{diam}S'
\le
\operatorname{diam}S(P)<N^2.
$$

但其 cardinality只知道：

$$
4N^2+1
\le
|S'|
\le
|Y(2N)|+1.
$$

由 Round 18：

$$
|Y(2N)|
=
2(2N)^2-2N
=
8N^2-2N.
$$

所以：

$$
\boxed{
4N^2+1
\le
|S'|
\le
8N^2-2N+1.
}
$$

Round 22 quantitative escape目前只對最左端：

$$
|S'|=4N^2+1
$$

建立。

因此還需要：

**Circuit-Size Extension Problem（CSEP）**

即將 quantitative support escape從 minimal single-layer-size circuit推廣到整個 interval：

$$
4N^2+1
\le
K
\le
8N^2-2N+1.
$$

---

### Gap C：Scaling Uniformity

Dasgupta–Kakde condition $(m)$ 的 statement是：

> 對 sufficiently large：
>
> $$
> N,
> $$
>
> 存在：
>
> $$
> \BKd(P)<N^2
> $$
>
> auxiliary polynomial。

但若 rational flattening parameter：

$$
q
$$

改變，允許的 threshold：

$$
N_0(q)
$$

原則上也可能改變。

Fixed-$N$ BK Collision只證：

> 對 fixed $N$，$q$ 不能任意趨零。

因此若 hypothetical common-BK bridge對每個：

$$
q
$$

都成立，其 interpolation scale：

$$
N(q)
$$

必被迫逃逸。

更精確地：

## Scale-Threshold Divergence Corollary

假設存在 rational sequence：

$$
q_\nu\to0
$$

及 common minimal-circuit auxiliaries：

$$
P_\nu
$$

滿足：

$$
\BKd(P_\nu)<N_\nu^2.
$$

則：

$$
\boxed{
N_\nu\to\infty.
}
$$

否則若：

$$
N_\nu
$$

有 bounded subsequence，因 integer-valued，可取 fixed：

$$
N
$$

沿 infinite subsequence，與 Fixed-$N$ BK Collision矛盾。

所以：

$$
\boxed{
\text{any successful scale-dependent bridge must move its interpolation scale to infinity}.
}
$$

---

這一點非常重要。

Round 22 原先提出：

**Scale-Uniform Auxiliary Principle（SUAP）**

希望得到一個不隨：

$$
q
$$

改變的 support diameter upper bound。

Round 23 現在告訴我們：

$$
\boxed{
\text{BKd provides the upper bound at fixed }N,
}
$$

但：

$$
\boxed{
\text{the remaining uniformity problem is }N=N(q),
\text{ not support geometry at fixed }N.
}
$$

也就是 support upper-budget問題已從：

$$
\text{convex geometry}
$$

轉成：

$$
\boxed{
\text{auxiliary interpolation-scale uniformity}.
}
$$

---

# 1. DK BK-degree in two variables

Dasgupta–Kakde定義：

$$
\BKd(P)
=
\max_i
\BK(
\underbrace{P,\ldots,P}_{i},
\underbrace{\ell,\ldots,\ell}_{n-i}
).
$$

對：

$$
n=2,
$$

只有：

$$
i=1,
\quad
i=2.
$$

所以：

$$
\BKd(P)
=
\max
\left(
\BK(P,\ell),
\BK(P,P)
\right).
$$

---

# 2. Normalized area term

Bernstein–Kushnirenko mixed volume在兩個相同 Newton polygons時給：

$$
\BK(P,P)
=
2!
\operatorname{Area}
\Delta(P).
$$

所以：

$$
\boxed{
\BK(P)
=
2
\operatorname{Area}
\Delta(P)
}
$$

採用 normalized BKK convention。

---

# 3. Generic-linear mixed term

Dasgupta–Kakde Remark 5.4指出：

若：

$$
P
$$

不被任何 monomial整除，則：

$$
\boxed{
\BK(P,\ell)
=
\deg P.
}
$$

因此：

$$
\boxed{
\BKd(P)
=
\max
\left(
\deg P,
2\operatorname{Area}\Delta(P)
\right)
}
$$

在二變量 normalized setting成立。

---

# 4. Monomial normalization

在：

$$
(\mathbb G_m)^2
$$

上乘除 monomial：

$$
T_1^aT_2^b
$$

不改 zero set。

它只平移 support：

$$
S(P)
\mapsto
S(P)-(a,b).
$$

所以也不改：

$$
\operatorname{diam}_\infty S(P).
$$

因此可將：

$$
P
$$

normalized，使 coordinatewise minimum exponents都是：

$$
0.
$$

---

# 5. Degree bounds diameter

normalized後：

$$
S(P)
\subset
\mathbb Z_{\ge0}^2.
$$

而：

$$
a+b\le\deg P.
$$

所以每個 support coordinate皆：

$$
\le\deg P.
$$

因此：

$$
\boxed{
\operatorname{diam}_\infty S(P)
\le
\deg P.
}
$$

結合：

$$
\deg P
\le
\BKd(P),
$$

得到：

## BK-Diameter Lemma

$$
\boxed{
\operatorname{diam}_\infty S(P)
\le
\BKd(P).
}
$$

在 monomial normalization後成立。

---

# 6. Condition $(m)$ diameter budget

DK condition：

$$
(m)
$$

在：

$$
n=2
$$

要求：

$$
\BKd(P)<N^2.
$$

所以：

$$
\boxed{
\operatorname{diam}_\infty S(P)<N^2.
}
$$

這完全不依賴：

- algebraic coefficient heights；
- rational flattening parameter；
- root sizes；
- orbit locations。

對 fixed：

$$
N
$$

是純 combinatorial upper budget。

---

# 7. Why pure BK area is insufficient

考慮：

$$
\Delta_R
=
\operatorname{Conv}
\{
(0,0),
(1,0),
(R+1,1),
(R,1)
\}.
$$

它是由 vectors：

$$
(1,0),
\quad
(R,1)
$$

張成的 lattice parallelogram。

determinant：

$$
1.
$$

所以：

$$
\boxed{
\operatorname{Area}\Delta_R=1.
}
$$

---

# 8. Fixed BK, unbounded diameter

因此：

$$
\boxed{
\BK(\Delta_R)=2.
}
$$

但：

$$
\boxed{
\operatorname{diam}_\infty\Delta_R
=
R+1.
}
$$

所以：

$$
R\to\infty
$$

時：

$$
\BK
$$

固定，

diameter發散。

---

# 9. Degree catches the shear

具有：

$$
\Delta_R
$$

support的 polynomial包含 exponent：

$$
(R+1,1).
$$

所以：

$$
\deg P
\ge
R+2.
$$

因此：

$$
\boxed{
\BKd(P)
\ge
R+2.
}
$$

長 shear不可能躲過：

$$
\BKd.
$$

---

# 10. Geometric interpretation

pure normalized area：

$$
2\operatorname{Area}
$$

對 unimodular shear invariant。

coordinate support diameter則不是。

DK 的 generic-linear mixed term：

$$
\BK(P,\ell)=\deg P
$$

正好保留 actual torus coordinates中的 directional size。

所以：

$$
\boxed{
\BKd
=
\text{volume control}
+
\text{coordinate width / degree control}.
}
$$

至少在：

$$
n=2
$$

可以如此理解。

---

# 11. Fixed-$N$ BADT scaling

現在固定：

$$
N.
$$

令：

$$
M=2N.
$$

對 rational：

$$
q\neq0,
$$

定義 scaled log anchor：

$$
\mu=q\lambda.
$$

BADT rational scaling給：

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

---

# 12. Hypothetical common minimal circuit

假設存在：

$$
P_q
$$

使：

$$
P_q
$$

同時 vanishes on：

$$
X_s(M;\mu),
$$

$$
X_{s^2}(M;\mu),
$$

且：

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

以及：

$$
\boxed{
\BKd(P_q)<N^2.
}
$$

---

# 13. BK upper bound

由 BK-Diameter Lemma：

$$
\boxed{
D_q
:=
\operatorname{diam}_\infty S(P_q)
<
N^2.
}
$$

---

# 14. Round 22 lower bound

Round 22 Quantitative Support Escape對 fixed：

$$
M=2N
$$

給：

$$
D_q
\ge
\left(
\frac{
c_M
}{
\Xi_{M,s}|\mu|
}
\right)^{
1/(E_M+1)
}.
$$

代入：

$$
\mu=q\lambda.
$$

所以：

$$
\boxed{
D_q
\ge
\left(
\frac{
c_{2N}
}{
\Xi_{2N,s}|q\lambda|
}
\right)^{
1/(E_{2N}+1)
}.
}
$$

---

# 15. Collision inequality

如果兩者同時成立：

$$
\left(
\frac{
c_{2N}
}{
\Xi_{2N,s}|q\lambda|
}
\right)^{
1/(E_{2N}+1)
}
<
N^2.
$$

升冪：

$$
\frac{
c_{2N}
}{
\Xi_{2N,s}|q\lambda|
}
<
N^{2(E_{2N}+1)}.
$$

因此：

$$
\boxed{
|q|
>
\frac{
c_{2N}
}{
\Xi_{2N,s}
|\lambda|
N^{2(E_{2N}+1)}
}.
}
$$

---

# 16. Fixed-$N$ BK Collision Theorem

定義：

$$
\boxed{
q_\ast(N)
=
\frac{
c_{2N}
}{
\Xi_{2N,s}
|\lambda|
N^{2(E_{2N}+1)}
}.
}
$$

則：

$$
\boxed{
0<|q|\le q_\ast(N)
}
$$

時，不可能存在符合：

- common vanishing；
- minimal support：
  $$
  4N^2+1;
  $$
- BK-degree：
  $$
  <N^2
  $$

三者的 polynomial。

---

# 17. What this theorem does not say

它不說：

$$
\boxed{
\text{DK condition }(m)
\text{ fails}.
}
$$

因 DK condition只要求第一層 orbit vanishing。

它也不說 arbitrary common BK-bounded polynomial不存在。

它只處理：

$$
\boxed{
\text{minimal common circuit}.
}
$$

---

# 18. Single-orbit condition $(m)$

對 hypothetical first-layer Four-Exponentials failure：

$$
H(s),
$$

DK Theorem 6.1已證：

$$
(m)\Rightarrow(o).
$$

而：

$$
(o)
$$

在 Type-P state中因：

$$
s
$$

transcendental而失敗。

所以若 BADT / Type-P真存在：

$$
\boxed{
(m)
\text{ 必失敗於第一層}.
}
$$

這與 DK program的 open：

$$
(w)\Rightarrow(m)
$$

完全一致。

Round 23不能繞過這個 open implication。

---

# 19. Why second layer is still relevant

BADT第二層的角色不是「讓 $(m)$ 的 BK geometry更強」。

BK geometry本來就夠強。

第二層真正需要提供的是：

$$
\boxed{
\text{construction of an auxiliary object that the first layer alone cannot have}.
}
$$

所以 LTSB 的核心是：

$$
\boxed{
\text{existence / coupling},
}
$$

不是：

$$
\boxed{
\text{once-exists geometric size control}.
}
$$

---

# 20. From a common polynomial to a circuit

若：

$$
P
$$

同時 vanishes on：

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

其 coefficient vector位於 finite evaluation matrix kernel。

任一 nonzero kernel vector的 support包含一個 matroid circuit：

$$
S'
\subseteq S(P).
$$

所以存在 nonzero subpolynomial：

$$
P'
$$

同樣 vanishes on：

$$
Y(M)
$$

且 support-minimal。

並且：

$$
\boxed{
\operatorname{diam}S'
\le
\operatorname{diam}S(P).
}
$$

---

# 21. Circuit cardinality range

Round 18 single-layer exact theorem給：

$$
|S'|
\ge
M^2+1.
$$

另一方面 evaluation matrix on union有：

$$
|Y(M)|
$$

rows，所以任何 circuit size至多：

$$
|Y(M)|+1.
$$

Round 18：

$$
|Y(M)|
=
2M^2-M.
$$

所以：

$$
\boxed{
M^2+1
\le
|S'|
\le
2M^2-M+1.
}
$$

---

# 22. DK scale notation

令：

$$
M=2N.
$$

則：

$$
\boxed{
4N^2+1
\le
|S'|
\le
8N^2-2N+1.
}
$$

Round 22 quantitative support escape目前只解：

$$
\boxed{
|S'|=4N^2+1.
}
$$

---

# 23. Circuit-Size Extension Problem

正式定義：

**Circuit-Size Extension Problem（CSEP）**

對：

$$
K
\in
[
M^2+1,
2M^2-M+1
],
$$

建立 fixed-$M$ quantitative theorem：

$$
\boxed{
\operatorname{diam}S
\ge
\mathcal D_{M,K}(|\mu|^{-1})
}
$$

對任何 genuine common circuit：

$$
S
$$

成立，且：

$$
\mathcal D_{M,K}(x)\to\infty
$$

as：

$$
x\to\infty.
$$

若 CSEP 對整個 interval完成，則 Fixed-$N$ BK Collision可從 minimal $K$ 推廣到 arbitrary common auxiliary polynomial。

---

# 24. Scaling threshold divergence

假設：

$$
q_\nu\to0
$$

並存在 common minimal circuits：

$$
P_\nu
$$

與 integers：

$$
N_\nu
$$

滿足：

$$
\BKd(P_\nu)<N_\nu^2.
$$

若：

$$
N_\nu
$$

bounded，取 subsequence使：

$$
N_\nu=N
$$

固定。

Fixed-$N$ BK Collision說：

$$
|q_\nu|>q_\ast(N)>0.
$$

與：

$$
q_\nu\to0
$$

矛盾。

所以：

$$
\boxed{
N_\nu\to\infty.
}
$$

---

# 25. Scale-Threshold Divergence Corollary

任何能沿 rational BADT flattening持續產生 fixed-form common minimal BK auxiliaries的 construction，都必將其 interpolation parameter：

$$
N
$$

推向 infinity。

因此：

$$
\boxed{
\text{scale uniformity cannot live at bounded }N.
}
$$

---

# 26. Condition $(m)$ and nonuniform thresholds

DK condition $(m)$ 說：

> For $N$ large enough, there exists：
>
> $$
> P_N
> $$
>
> with：
>
> $$
> \BKd(P_N)<N^2
> $$
>
> vanishing on：
>
> $$
> X(2N).
> $$

如果 matrix隨：

$$
q
$$

改變，則「large enough」的 threshold：

$$
N_0(q)
$$

不由 theorem statement要求 uniform。

所以即使未來有 BADT-specific：

$$
\text{second layer}
\Rightarrow
\text{condition }(m)
$$

proof，也必須注意：

$$
\boxed{
N_0(q)
}
$$

是否隨：

$$
q\to0
$$

爆炸。

---

# 27. Revised Scale-Uniform Auxiliary Principle

Round 22 的 SUAP現在應精確改寫成：

**Revised SUAP**

若 real BADT$_2$ 存在，是否能從 second layer構造 auxiliary polynomials，使至少存在一個：

$$
N_\star
$$

與 sequence：

$$
q_\nu\to0
$$

滿足：

$$
N(q_\nu)\le N_\star
$$

或更弱：

$$
N(q)
$$

受到某個足以和 Quantitative Support Escape比較的 explicit upper growth bound？

若答案為 yes，可產生 contradiction。

---

# 28. Why BK geometry is no longer the bottleneck

對 fixed：

$$
N,
$$

BK-degree自動給：

$$
D<N^2.
$$

所以不存在：

> BK-bound太弱，讓 support可以在 fixed $N$ 下無限 shear逃逸。

該問題已完全解決。

真正 remaining questions是：

1. 能不能由 second layer產生 common / coupled auxiliary polynomial？
2. common polynomial的 circuit size能否被 Round 22 型 escape theorem涵蓋？
3. interpolation threshold：
   $$
   N(q)
   $$
   能否 uniform / effectively controlled？

---

# 29. Why cardinality-only still is not enough

即使：

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

也不能控制 diameter。

例如：

$$
S_D
=
\{(0,0),(D,0),(0,1)\}
$$

固定只有三個 points，

但：

$$
\operatorname{diam}_\infty S_D=D.
$$

所以 DK condition：

$$
(m')
$$

仍無法單獨和 Round 22 support escape直接碰撞。

需要：

$$
\boxed{
\BKd
\text{ 或其它 geometric support budget}.
}
$$

---

# 30. BK-area-only shear example vs fewnomial example

兩個 counterexamples揭示不同資訊層級：

### Area only

$$
\Delta_R
$$

area fixed，diameter unbounded。

### Cardinality only

$$
S_D
$$

cardinality fixed，diameter unbounded。

### BK-degree

包含 total degree component，所以在：

$$
n=2
$$

直接控制 diameter。

因此資訊階層：

$$
\boxed{
|S|
\quad<\quad
\BK
\text{ or area}
\quad<\quad
\BKd
}
$$

就 ACTM support-escape用途而言。

注意這不是一般 invariant strength的全序，只是針對 coordinate diameter control。

---

# 31. Coordinate dependence is useful here

normalized area對：

$$
\operatorname{GL}_2(\mathbb Z)
$$

unimodular transformations invariant。

support diameter與 total degree不是。

通常 coordinate dependence可能被視為缺點。

但 ACTM LTSB 中 orbit coordinates：

$$
(T_1,T_2)
$$

本來就是由 logarithm matrix固定的。

所以我們需要的恰恰是：

$$
\boxed{
\text{coordinate-sensitive upper control}.
}
$$

因此 degree component在這裡不是 artifact，而是 feature。

---

# 32. Round 23 判定

**PASS — In dimension two, BK-degree already provides the required fixed-scale support-diameter budget; the remaining obstruction is auxiliary/circuit/scale uniformity, not Newton geometry**

本輪完成：

1. 精確對齊 DK Definition 5.3 / Remark 5.4。

2. 在：
   $$
   n=2
   $$
   寫出：
   $$
   \BKd(P)
   =
   \max(
   \deg P,
   \BK(P)
   ).
   $$

3. 使用：
   $$
   \BK(P)
   =
   2\operatorname{Area}\Delta(P).
   $$

4. 建立 monomial normalization。

5. 證 BK-Diameter Lemma：
   $$
   \operatorname{diam}_\infty S(P)
   \le
   \BKd(P).
   $$

6. 得到 condition $(m)$ fixed-$N$ budget：
   $$
   D<N^2.
   $$

7. 建立 long-thin unimodular shear family：
   $$
   \Delta_R.
   $$

8. 證 pure BK area固定但 diameter無界。

9. 證 degree component精確抓住 shear。

10. 結合 Round 22得到 Fixed-$N$ BK Collision Theorem。

11. 建立 explicit：
    $$
    q_\ast(N).
    $$

12. 區分 single-orbit condition $(m)$ 與 common auxiliary condition。

13. 將 arbitrary common polynomial歸約到 common circuit。

14. 建立 common circuit cardinality interval：
    $$
    M^2+1
    \le
    K
    \le
    2M^2-M+1.
    $$

15. 定義 Circuit-Size Extension Problem（CSEP）。

16. 證 Scale-Threshold Divergence：
    $$
    q\to0
    \Rightarrow
    N(q)\to\infty
    $$
    對任何持續存在的 minimal common BK-circuit family。

17. 將 SUAP修正為 interpolation-scale uniformity問題。

18. 識別 DK BK geometry在 fixed $N$ 已不是 bottleneck。

---

# 33. Round 24 正式入口

Round 24 最值得做的不是更深研究 Newton polygon。

而是：

$$
\boxed{
\text{Circuit-Size Extension Problem（CSEP）}.
}
$$

因這正是把：

$$
\text{arbitrary common BK auxiliary}
$$

接回 Round 22 quantitative escape所缺的唯一有限維線性代數層。

## R24-A：Flat common circuits of arbitrary size

令：

$$
K
\in
[M^2+1,2M^2-M+1].
$$

研究：

$$
\ker V_s(S)
\cap
\ker V_{s^2}(S)
$$

在 flat limit：

$$
\mu=0.
$$

---

## R24-B：Moment-space dimension

每層 flat kernel由 moments：

$$
(u+tv)^m,
\qquad
0\le m<M^2
$$

控制。

研究兩組 moment spaces：

$$
\mathcal V_s,
\qquad
\mathcal V_{s^2}
$$

之和：

$$
\mathcal V_s+\mathcal V_{s^2}.
$$

若可證對 genuine $2$D support在：

$$
K\le2M^2-M+1
$$

時 evaluation full column rank，就一次解 CSEP flat版。

---

## R24-C：Polynomial separator language

Round 20 的 separator proof對：

$$
K=M^2+1
$$

有效。

嘗試推廣成：

> 對：
>
> $$
> K\le2M^2-M+1,
> $$
>
> 是否可由：
>
> $$
> \{(X+sY)^m,(X+s^2Y)^m\}
> $$
>
> span出足夠多 polynomial separators？

---

## R24-D：If CSEP flat fails

如果找到 genuine $2$D flat common circuit at larger $K$，這不是壞消息。

那會精確告訴我們：

$$
\boxed{
\text{minimal-cardinality escape theorem無法直接推廣到 arbitrary BK auxiliaries}.
}
$$

並提供第一個真正的新 support family值得研究 finite-$\mu$ lifting。

---

# 34. 一句話結論

> **Round 23 發現 DK 的 BK-degree在二變量其實已經把 Round 22 所需的 support upper budget完整準備好了：$\BKd(P)<N^2$ 直接強迫 normalized support diameter $<N^2$。Pure area確實會被 long-thin lattice shear逃掉，但 BKd內的 ordinary-degree component恰好抓住它。於是剩下的真正問題不是 convex geometry，而是 second layer能否產生 common auxiliary、common circuit size能否超出 minimal case，以及 interpolation threshold能否在 rational flattening下保持足夠 uniform。**

核心改寫：

$$
\boxed{
\text{Newton-budget problem}
\quad\longrightarrow\quad
\text{Circuit-Size + Scale-Uniformity problem}.
}
$$

下一輪直接攻 CSEP。

---

# 參考資料

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.  
   arXiv: https://arxiv.org/abs/2408.08178  
   DOI: 10.1016/j.aim.2025.110753  
   Relevant points:
   - Definition 5.3 of BK-degree；
   - condition $(m)$；
   - Remark 5.4：for $n=2$, $\BKd(P)<N^2$ is equivalent to ordinary degree $<N^2$ and $\BK(P)<N^2$ after monomial normalization；
   - Remark 5.5：BK-degree condition is weaker than Masser's degree $<N$ condition；
   - Theorem 6.1：$(m)\Rightarrow(o)$；
   - open direction $(w)\Rightarrow(m)$.

2. Bernstein–Kushnirenko theorem / mixed-volume theory. For identical Newton polytopes in dimension two, the normalized mixed volume is:
   $$
   2!\operatorname{Area}(\Delta).
   $$

3. Jenya Soprunova, **Bounds on Area Involving Lattice Size**, arXiv:2112.15134.  
   Gives modern lattice-polygon context relating area and lattice-size invariants; useful background for distinguishing normalized area from coordinate support size.

4. Wouter Castryck and Filip Cools, **The lattice size of a lattice polygon**, arXiv:1402.4652.  
   Studies coordinate-size-type invariants of Newton polygons and their relation to degrees of algebraic curves.

---

**ACTM Round 23 完**