# ACTM Round 25 ## First-Layer Exact BK Complexity、Finite Elimination Barrier 與 BAEP Category No-Go ### Exact First-Layer BK Complexity, the Finite Elimination Barrier, and a Category No-Go for BAEP **研究計畫：** Algebraic Combinatorial Transcendence Methodology（ACTM） **作者：** Neo.K；Aletheia（GPT-5.6 Sol） **機構：** EveMissLab / 一言諾科技有限公司 **日期：** 2026-10-03 **版本：** Round 25 / v0.1 **文件性質：** 正式研究筆記／exact-complexity and elimination no-go round **狀態聲明：** 本輪不宣稱 real BADT$_2$ 不可能，也不宣稱 Four Exponentials Conjecture 已證。本輪精確求出 real irrational rank-one orbit 的最小 BK-degree vanishing complexity，並證明任何只在 paired algebraic orbit coordinates 上進行的 finite algebraic elimination，都無法生成 Dasgupta–Kakde condition $(m)$ 所需的低-BK-degree polynomial。這將 BAEP 的真正需求重新定位為「必須在 algebraic elimination 之前注入 logarithmic / analytic information」。 --- ## 摘要 固定 real： $$ \lambda\neq0, $$ 以及 irrational： $$ s. $$ 令： $$ A=e^\lambda, $$ $$ B=e^{s\lambda}, $$ $$ C=e^{s^2\lambda}. $$ 在 hypothetical Type-P / BADT setting 中： $$ A,B,C \in \overline{\mathbb Q}_{>0}. $$ 定義 first-layer rank-one orbit： $$ X_s(2N) = \left\{ \left( A^aB^b, B^aC^b \right): 0\le a,b<2N \right\}. $$ 其 cardinality： $$ \boxed{ L = |X_s(2N)| = 4N^2. } $$ Round 18 已證任何 nonzero polynomial： $$ P(T_1,T_2) $$ vanishing on： $$ X_s(2N) $$ 至少需要： $$ \boxed{ |S(P)| \ge L+1 = 4N^2+1 } $$ 個 monomials。 Round 24 再由 Dasgupta–Kakde 的 BK-degree definition / Remark 5.4 及 Pick theorem得到： $$ \BKd(P)0. $$ 因此： $$ \boxed{ \operatorname{rank}E=L, } $$ 且： $$ \dim\ker E=1. $$ 更強地，所有 maximal minors非零，所以唯一 kernel vector的每個 coordinate皆非零。 所以存在 polynomial： $$ P_R(T_1,T_2) = \sum_{p\in S_R} c_pT^p $$ 滿足： $$ P_R|_{X_s(2N)}=0 $$ 且： $$ \boxed{ S(P_R)=S_R. } $$ --- 在 hypothetical algebraic-log setting中，evaluation entries本身為 algebraic numbers。 若： $$ p=(j,0), $$ 則： $$ e^{\lambda(a+bs)j} = A^{aj}B^{bj}. $$ 若： $$ p=(0,1), $$ 則： $$ e^{\lambda s(a+bs)} = B^aC^b. $$ 所以： $$ E $$ 的 entries全部位於 number field： $$ F_1 = \mathbb Q(A,B,C). $$ kernel vector可由 maximal cofactors取得，所以： $$ \boxed{ c_p\in F_1. } $$ 因此 exact minimizer甚至可取 coefficient field： $$ \mathbb Q(A,B,C), $$ 不需要第二層： $$ D=e^{s^4\lambda}. $$ 所以 Exact BK Complexity Theorem 完成。 --- 這個 exact value給 Dasgupta–Kakde condition $(m)$ 一個非常清楚的 gap。 condition $(m)$ 在： $$ n=2 $$ 要求： $$ \BKd(P) 第二層 finite algebraic orbit data可以改變一個 relation的 representation方式，但不能改變第一層 vanishing ideal本身的 intrinsic minimum BK-degree。 所以： $$ \boxed{ \text{pure finite algebraic elimination cannot solve BAEP}. } $$ --- 這個 no-go與 Round 18 的 infinite paired-orbit Zariski-density theorem互補。 Round 18 已證由： $$ (A,B,A,C), $$ 以及： $$ (B,C,C,D) $$ 生成的 subgroup在： $$ (\mathbb G_m)^4 $$ 中 Zariski dense。 所以： $$ \boxed{ \text{不存在 fixed nonzero Laurent polynomial relation on the full paired orbit}. } $$ Round 25 現在再證： $$ \boxed{ \text{即使只看 finite paired grids，algebraic elimination投影回第一層也無法產生 subcritical BK relation}. } $$ 因此兩個自然 algebraic strategies都被關閉： ### Global algebraic relation 被 paired-orbit Zariski density排除。 ### Finite algebraic elimination 被 Exact BK Complexity排除。 --- 因此 BAEP 必須重新表述。 如果 BADT 第二層真的能導出 contradiction，它不能先把： $$ s^2=(s)^2 $$ 丟掉，只留下 algebraic constants： $$ A,B,C,D $$ 再做普通 polynomial elimination。 因為一旦只剩： $$ F=\mathbb Q(A,B,C,D) $$ 與 finite torus points，第二層不再包含任何可以降低第一層 BK complexity的新 algebraic relation。 真正 bridge必須在 algebraic elimination **之前** 使用 logarithmic data： $$ \log A=\lambda, $$ $$ \log B=s\lambda, $$ $$ \log C=s^2\lambda, $$ $$ \log D=s^4\lambda. $$ 本輪稱此需求為： ## Logarithmic Injection Principle（LIP） > Any successful BADT-to-auxiliary bridge must inject the nonlinear logarithmic relation before passing to a purely algebraic torus elimination problem. --- 這同時解釋一個容易誤判的地方。 第二層： $$ D $$ 作為 algebraic coefficient本身沒用——Round 18 已證 coefficient enrichment no-go。 第二層 finite points： $$ (A^aC^b,C^aD^b) $$ 作為額外 algebraic variables也沒用——本輪 finite elimination barrier證明它們不改變 projected first-layer ideal complexity。 所以 second layer真正有價值的唯一部分是： $$ \boxed{ \log C = s^2\log A, \qquad \log D = s^2\log C. } $$ 也就是： $$ \boxed{ \text{nonlinear log coupling itself}. } $$ --- # 1. Exact BK vanishing complexity invariant 對 finite torus set： $$ X \subset (F^\times)^2, $$ 定義： $$ \boxed{ \mathfrak b_{\mathrm{BK}}(X) = \min_{ 0\neq P\in I_F(X) } \BKd(P). } $$ 因 monomial factors在 torus上不影響 zeros，可先做 monomial normalization。 --- # 2. First-layer point count $$ X_s(2N) = \left\{ (A^aB^b,B^aC^b): 0\le a,b<2N \right\}. $$ 若： $$ a+bs=a'+b's, $$ irrationality of $s$給： $$ a=a', \qquad b=b'. $$ 所以： $$ \boxed{ |X_s(2N)|=4N^2. } $$ --- # 3. Fewnomial support lower bound Round 18： $$ \boxed{ P|_{X_s(2N)}=0 \Longrightarrow |S(P)|\ge4N^2+1. } $$ 此結果對 complex coefficients亦成立。 --- # 4. One-dimensional Newton support 假設： $$ \dim\Delta(P)=1. $$ monomial normalize後： $$ S(P) $$ 位於 standard degree simplex： $$ a,b\ge0, $$ $$ a+b\le d $$ 其中： $$ d=\deg P. $$ 任意 lattice line在此 simplex中至多包含： $$ d+1 $$ 個 lattice points。 因此： $$ |S(P)| \le d+1. $$ 所以： $$ d \ge 4N^2. $$ 因此： $$ \boxed{ \BKd(P)\ge4N^2. } $$ --- # 5. Two-dimensional Newton support 假設： $$ \dim\Delta(P)=2. $$ 令： $$ L_\Delta = |\Delta(P)\cap\mathbb Z^2|. $$ Pick theorem： $$ L_\Delta = \BK(P)-I+2 \le \BK(P)+2, $$ 其中： $$ I $$ 為 interior lattice point數。 所以： $$ \BK(P) \ge L_\Delta-2 \ge |S(P)|-2. $$ 故： $$ \boxed{ \BK(P) \ge 4N^2-1. } $$ 因此： $$ \boxed{ \BKd(P) \ge 4N^2-1. } $$ --- # 6. Universal lower bound 兩種 support dimensions綜合： $$ \boxed{ \mathfrak b_{\mathrm{BK}} (X_s(2N)) \ge 4N^2-1. } $$ --- # 7. Extremal triangular support 令： $$ R=4N^2-1. $$ 定義： $$ S_R = \{ (j,0): 0\le j\le R \} \cup \{(0,1)\}. $$ cardinality： $$ R+2=4N^2+1. $$ --- # 8. Newton geometry of $S_R$ $$ \Delta_R = \operatorname{Conv} \{ (0,0), (R,0), (0,1) \}. $$ area： $$ \frac R2. $$ 所以： $$ \boxed{ \BK(\Delta_R)=R. } $$ ordinary degree： $$ \boxed{ \deg S_R=R. } $$ 由 DK Definition 5.3 / Remark 5.4： $$ \boxed{ \BKd(S_R)=R. } $$ --- # 9. Evaluation frequencies 對： $$ (j,0) $$ frequency： $$ y_j=j. $$ 對： $$ (0,1) $$ frequency： $$ y_\star=s. $$ 因： $$ s $$ irrational： $$ \boxed{ 0,1,\ldots,R,s } $$ 全部 distinct。 --- # 10. Evaluation nodes nodes： $$ q_{a,b}=a+bs, $$ $$ 0\le a,b<2N. $$ 共： $$ L=4N^2 $$ 個 distinct real values。 --- # 11. Exponential evaluation matrix 定義： $$ E_R = \left[ e^{\lambda q_{a,b}y} \right]_ { q_{a,b}, \, y\in\{0,\ldots,R,s\} }. $$ 尺寸： $$ L\times(L+1). $$ --- # 12. Strict total positivity 將： $$ \lambda q_{a,b} $$ 遞增排序， 並將 frequencies： $$ 0,1,\ldots,R,s $$ 遞增排序。 任取： $$ L $$ columns，得到： $$ L\times L $$ matrix： $$ [e^{x_i y_j}]. $$ Floater 2026回顧 classical theorem： 若： $$ x_1<\cdots0. } $$ 所以所有 maximal minors nonzero。 --- # 13. Unique full-support kernel 因此： $$ \operatorname{rank}E_R=L. $$ 所以： $$ \dim\ker E_R=1. $$ 任何 kernel generator的第 $j$ coordinate等於相應 maximal cofactor up to sign。 因所有 cofactors nonzero： $$ \boxed{ \text{every kernel coordinate is nonzero}. } $$ 所以 kernel polynomial support exactly： $$ S_R. $$ --- # 14. Algebraicity of evaluation entries 對： $$ y=j, $$ $$ e^{\lambda(a+bs)j} = A^{aj}B^{bj}. $$ 對： $$ y=s, $$ $$ e^{\lambda(a+bs)s} = B^aC^b. $$ 所以： $$ E_R \in M_{ L\times(L+1) } \left( \mathbb Q(A,B,C) \right). $$ maximal cofactors也在此 number field。 因此 extremal polynomial coefficients algebraic。 --- # 15. Exact BK Complexity Theorem 下界與 construction結合： $$ \boxed{ \mathfrak b_{\mathrm{BK}} (X_s(2N)) = 4N^2-1. } $$ --- # 16. Exact gap to DK condition $(m)$ DK threshold： $$ N^2. $$ intrinsic minimum： $$ 4N^2-1. $$ 所以： $$ \boxed{ \mathfrak b_{\mathrm{BK}} - N^2 = 3N^2-1. } $$ 以及 ratio： $$ \boxed{ \frac{ \mathfrak b_{\mathrm{BK}} }{ N^2 } = 4-\frac1{N^2}. } $$ --- # 17. Paired finite orbit 加入： $$ D=e^{s^4\lambda}. $$ 定義： $$ Z_N = \left\{ ( A^aB^b, B^aC^b, A^aC^b, C^aD^b ): 0\le a,b<2N \right\}. $$ coefficient field： $$ F = \mathbb Q(A,B,C,D). $$ --- # 18. Finite vanishing ideal 定義： $$ J_N = I_F(Z_N) \subset F[X_1,X_2,Y_1,Y_2]. $$ 它是 finite reduced set的 radical ideal。 projection： $$ \pi: Z_N \to X_s(2N) $$ 取前兩 coordinates。 --- # 19. Elimination theorem 因 finite sets在 affine space中 closed： $$ \overline{ \pi(Z_N) } = \pi(Z_N) = X_s(2N). $$ 因此 elimination theorem給： $$ \boxed{ J_N \cap F[X_1,X_2] = I_F (X_s(2N)). } $$ --- # 20. Finite Algebraic Elimination Barrier 任何 nonzero： $$ P(X_1,X_2) \in J_N \cap F[X_1,X_2] $$ 都 vanishes on： $$ X_s(2N). $$ 所以： $$ \boxed{ \BKd(P) \ge 4N^2-1. } $$ 因此： $$ \boxed{ \text{finite paired-orbit algebraic elimination cannot output a DK-}(m)\text{ polynomial}. } $$ --- # 21. Consequence for resultants 任何 resultant construction若： 1. 只使用： $$ A,B,C,D $$ 作為 algebraic coefficients； 2. 只使用 paired finite point equations； 3. 最後 elimination： $$ Y_1,Y_2 $$ 取得 nonzero： $$ P(X_1,X_2); $$ 則： $$ P\in I_F(X_s(2N)). $$ 所以： $$ \boxed{ \BKd(P)\ge4N^2-1. } $$ --- # 22. Consequence for determinant constructions 同理，任何 determinant / interpolation / syzygy construction若其最終輸出只是一個： $$ F[X_1,X_2] $$ polynomial relation on first-layer finite points， 則不論 construction過程用了多少 second-layer coordinates， 最終仍受： $$ \boxed{ \BKd\ge4N^2-1 } $$ 約束。 --- # 23. Global relation route already closed Round 18證： $$ \overline{ \langle (A,B,A,C), (B,C,C,D) \rangle }^{\mathrm{Zar}} = (\mathbb G_m)^4. $$ 所以不存在 fixed nonzero Laurent polynomial vanishing on full paired subgroup。 因此： $$ \boxed{ \text{global fixed relation} } $$ route已關閉。 --- # 24. Finite relation route now closed 本輪證： $$ \boxed{ \text{finite algebraic elimination} } $$ route亦無法輸出 subcritical BK polynomial。 所以 purely algebraic torus-level路線的兩個自然版本都關閉。 --- # 25. Category boundary BADT真正額外提供的 relation不是： $$ R(A,B,C,D)=0 $$ for some algebraic polynomial $R$。 而是： $$ \boxed{ (\log B)^2 = (\log A)(\log C), } $$ 以及： $$ \boxed{ (\log C)^2 = (\log A)(\log D). } $$ 這些是 log-space nonlinear relations。 它們不能被當成 algebraic torus polynomial equations直接加入： $$ J_N. $$ --- # 26. Why coefficient enrichment is insufficient Round 18已證： $$ D $$ 只作為 coefficient field extension： $$ \mathbb Q(A,B,C) \subset \mathbb Q(A,B,C,D) $$ 時，不會降低 first-layer exact fewnomial complexity。 本輪更強： $$ \boxed{ \text{even finite elimination through second-layer algebraic coordinates does not lower exact BK complexity}. } $$ --- # 27. Logarithmic Injection Principle 因此提出： ## LIP 若 BADT 第二層能產生 DK auxiliary contradiction，其 proof必須在 reduction to pure algebraic torus data之前，使用： $$ \log A, \quad \log B, \quad \log C, \quad \log D $$ 之間的 nonlinear relation。 也就是： $$ \boxed{ \text{log structure must be injected before algebraic elimination}. } $$ --- # 28. What LIP rules out LIP排除以下作為完整 bridge： 1. 只把： $$ D $$ 加進 coefficient field； 2. 只建立 paired finite algebraic point ideal； 3. 只做 resultants / Gröbner projection； 4. 只做 determinant interpolation後投影第一層； 5. 只使用 fixed Laurent algebraic relations。 --- # 29. What LIP still permits 仍可能的 mechanisms： - logarithmic differential operators； - multiplicity / jet conditions derived from log relations； - transcendence-measure interpolation； - analytic auxiliary functions before algebraization； - period / differential-algebraic methods； - zero estimates involving both exponential and logarithmic coordinates； - arithmetic-height arguments coupling log-space and torus-space。 --- # 30. Operator shadow 令 Euler operators： $$ \Theta_1 = T_1\frac{\partial}{\partial T_1}, $$ $$ \Theta_2 = T_2\frac{\partial}{\partial T_2}. $$ first-layer log direction： $$ \mathcal D_s = \Theta_1+s\Theta_2. $$ second-layer： $$ \mathcal D_{s^2} = \Theta_1+s^2\Theta_2. $$ 則有 formal operator identity： $$ \boxed{ ( \mathcal D_s-\Theta_1 )^2 = \Theta_2 ( \mathcal D_{s^2}-\Theta_1 ) \Theta_2 } $$ 更精確地，在 commuting Euler operators上： $$ (\mathcal D_s-\Theta_1)^2 = s^2\Theta_2^2, $$ 而： $$ \Theta_2 ( \mathcal D_{s^2}-\Theta_1 ) = s^2\Theta_2^2. $$ 所以： $$ \boxed{ (\mathcal D_s-\Theta_1)^2 = \Theta_2 (\mathcal D_{s^2}-\Theta_1). } $$ 這是 log squaring relation在 differential-operator層的一個 rational-coefficient shadow。 --- # 31. Why this operator identity is interesting 它第一次把： $$ s^2=(s)^2 $$ 轉成一個不顯式含： $$ s $$ 的 operator relation： $$ \boxed{ (\mathcal D_s-\Theta_1)^2 - \Theta_2 (\mathcal D_{s^2}-\Theta_1) = 0. } $$ 但： $$ \mathcal D_s, \quad \mathcal D_{s^2} $$ 本身仍含 transcendental coefficients。 所以它還不是 algebraic torus differential operator。 然而它提供一個比 pure elimination更合理的 Round 26入口： $$ \boxed{ \text{can second-layer vanishing be turned into first-layer multiplicity through coupled Euler operators?} } $$ --- # 32. Multiplicity bridge target Dasgupta–Kakde / Masser auxiliary methods本質上對 vanishing polynomial進行 translates與 intersection control。 如果 BADT第二層能迫使： $$ P $$ 在 first-layer orbit上不只： $$ P=0, $$ 還有高階： $$ \mathcal D_s^jP=0, $$ 那麼有限 point count會轉成 multiplicity count。 這有可能用較少 support / BK-degree達到 contradiction。 所以新的窄 target是： **Logarithmic Multiplicity Bridge（LMB）** $$ \boxed{ \text{second-layer algebraicity} \Longrightarrow \text{first-layer high-multiplicity vanishing}. } $$ --- # 33. Important warning from Round 19 Round 19已證： 對 fixed genuine 2D support，second layer不能由 universal finite-order constant-coefficient differential operator簡單轉成 first-layer jet。 所以 LMB若存在，必須： - $N$-dependent； - support-dependent； - variable-coefficient； - nonlinear； - 或在 auxiliary function algebraization之前作用。 --- # 34. Round 25 判定 **PASS — Exact first-layer BK vanishing complexity computed; pure finite algebraic elimination from the nested orbit shown incapable of producing a DK auxiliary** 本輪完成： 1. 定義 exact BK vanishing complexity： $$ \mathfrak b_{\mathrm{BK}}. $$ 2. 使用 Round 18 fewnomial theorem建立 support lower bound。 3. 分析 $1$D Newton supports。 4. 分析 $2$D Newton supports via Pick。 5. 得到： $$ \BKd(P)\ge4N^2-1. $$ 6. 構造 extremal triangular support： $$ S_R. $$ 7. 計算： $$ \BK=\deg=4N^2-1. $$ 8. 使用 exponential total positivity建立 full-rank evaluation matrix。 9. 證唯一 kernel vector所有 coordinates非零。 10. 證 extremal polynomial coefficients落在： $$ \mathbb Q(A,B,C). $$ 11. 得到 exact： $$ \boxed{ \mathfrak b_{\mathrm{BK}} (X_s(2N)) = 4N^2-1. } $$ 12. 定義 paired finite orbit： $$ Z_N. $$ 13. 建立 elimination identity： $$ J_N\cap F[X_1,X_2] = I_F(X_s(2N)). $$ 14. 建立 Finite Algebraic Elimination Barrier。 15. 證 resultants / determinants / Gröbner projection皆不能輸出： $$ \BKd **Round 25 顯示 first-layer real rank-one orbit的 vanishing complexity可以精確算到 $\BKd_{\min}=4N^2-1$；而 second-layer finite algebraic data無論經 resultant、determinant或 Gröbner elimination，投影回第一層後仍然落在同一 vanishing ideal，因此不可能產生 DK 所需的 $\BKd