# ACTM Round 22 ## Waldschmidt Transcendence Measure 解開 ASRP：Effective Barycentric Gap 與 Quantitative Support Escape ### Solving ASRP with Waldschmidt's Transcendence Measure: Effective Barycentric Gaps and Quantitative Support Escape **研究計畫：** Algebraic Combinatorial Transcendence Methodology（ACTM） **作者：** Neo.K；Aletheia（GPT-5.6 Sol） **機構：** EveMissLab / 一言諾科技有限公司 **日期：** 2026-10-02 **版本：** Round 22 / v0.1 **文件性質：** 正式研究筆記／quantitative-transcendence round **狀態聲明：** 本輪不宣稱 real BADT$_2$ 不可能，也不宣稱 Four Exponentials Conjecture 已證。本輪完成的是 Round 21 所提出 Approximate Squaring Rigidity Problem（ASRP）在 barycentric-ratio family 上的有效下界，並將 qualitative support escape升級為 quantitative support-diameter growth。核心外部工具是 Waldschmidt 1978 對兩個 algebraic numbers之 logarithm quotient所給的 explicit transcendence measure。 --- ## 摘要 Round 21 將 finite-$\mu$ common-circuit compensation壓成： $$ G_{jk} = \log \left| \frac{ f_{jk}(s^2) }{ f_{jk}(s) } \right|, $$ 其中： $$ f_{jk}(T) = \frac{ w_k(T) }{ w_j(T) } \in \mathbb Q(T) $$ 是 lattice support所產生的 barycentric ratio。 Round 21 提出： **Approximate Squaring Rigidity Problem（ASRP）** 即對 varying lattice supports，建立： $$ |f(s^2)-f(s)| $$ 或： $$ \left| \log \left| \frac{f(s^2)}{f(s)} \right| \right| $$ 的有效下界。 本輪發現這個問題可直接接上一個 classical theorem。 令： $$ A=e^\lambda, $$ $$ B=e^{s\lambda}, $$ 其中： $$ A,B \in \overline{\mathbb Q}_{>0}, $$ $$ \lambda=\log A\neq0, $$ 且： $$ s = \frac{ \log B }{ \log A } $$ 為 transcendental。 Waldschmidt 1978, Corollary 4.5 對： $$ \omega = \frac{\log\alpha_1}{\log\alpha_2} $$ 給出 explicit transcendence measure。 定義： $$ d_0 = [\mathbb Q(A,B):\mathbb Q], $$ $$ V_A = 1+h(A)+|\log A|, $$ $$ V_B = 1+h(B)+|\log B|, $$ 以及： $$ \boxed{ C_{21}(B,A) = 2^{55} d_0^4 V_BV_A (1+\Log V_B) (1+\Log V_A). } $$ 其中： $$ \Log x = \log\max(1,x). $$ 定義： $$ \boxed{ \Phi_s(N,H) = 2C_{21}(B,A) N^3 \frac{ \Log H+N\Log N }{ (1+\Log N)^2 }. } $$ 則對每個 nonzero： $$ P\in\mathbb Z[T], $$ 若： $$ \deg P\le N, $$ $$ H(P)\le H, $$ 有： $$ \boxed{ |P(s)| > e^{-\Phi_s(N,H)}. } $$ 這正是 ASRP 所需要的 quantitative input。 --- 固定： $$ M\ge2, $$ 令： $$ K=M^2+1, $$ $$ d=K-2=M^2-1. $$ 對 normalized lattice support： $$ S \subset \mathbb Z^2, $$ 令： $$ \operatorname{diam}_\infty(S) \le D, $$ 並固定兩個 distinct points： $$ p_j=(u_j,v_j), $$ $$ p_k=(u_k,v_k). $$ 對： $$ \ell\neq j,k, $$ 定義： $$ L_{j\ell}(T) = (u_j-u_\ell) + T(v_j-v_\ell), $$ $$ L_{k\ell}(T) = (u_k-u_\ell) + T(v_k-v_\ell). $$ 定義： $$ \mathcal A_{jk}(T) = \prod_{\ell\neq j,k} L_{j\ell}(T), $$ $$ \mathcal B_{jk}(T) = \prod_{\ell\neq j,k} L_{k\ell}(T). $$ 則 barycentric ratio可寫成： $$ \boxed{ f_{jk}(T) = - \frac{ \mathcal A_{jk}(T) }{ \mathcal B_{jk}(T) }. } $$ 因每個 linear factor的 coefficient difference大小不超過： $$ D, $$ 有： $$ \boxed{ \|\mathcal A_{jk}\|_1, \ \|\mathcal B_{jk}\|_1 \le (2D)^d. } $$ --- 清除： $$ f_{jk}(T^2)-f_{jk}(T) $$ 的 denominators。 定義： $$ \boxed{ \mathcal N_{jk}(T) = \mathcal A_{jk}(T^2) \mathcal B_{jk}(T) - \mathcal A_{jk}(T) \mathcal B_{jk}(T^2). } $$ 則： $$ \deg\mathcal N_{jk} \le 3d, $$ 且： $$ \boxed{ H(\mathcal N_{jk}) \le \|\mathcal N_{jk}\|_1 \le 2(2D)^{2d}. } $$ 如果： $$ \mathcal N_{jk}\not\equiv0, $$ Waldschmidt measure立即給： $$ \boxed{ |\mathcal N_{jk}(s)| > \exp \left[ -\Phi_s \left( 3d, H_1(D) \right) \right], } $$ 其中可取： $$ \boxed{ H_1(D) = \max \left( 16, 2(2D)^{2d} \right). } $$ --- 另一方面： $$ |\mathcal B_{jk}(s)| \le [D(1+|s|)]^d, $$ $$ |\mathcal B_{jk}(s^2)| \le [D(1+s^2)]^d. $$ 所以： $$ \boxed{ |f_{jk}(s^2)-f_{jk}(s)| \ge \Delta_{M,s}(D), } $$ 其中： $$ \boxed{ \Delta_{M,s}(D) = \frac{ \exp[ -\Phi_s(3d,H_1(D)) ] }{ D^{2d} (1+|s|)^d (1+s^2)^d }. } $$ 這是第一個 **Effective Barycentric ASRP Bound**。 --- Round 20 的 Barycentric Squaring Rigidity保證： 若： $$ \operatorname{affdim}S=2, $$ 不可能所有： $$ \mathcal N_{jk} $$ 都 identically zero。 因此至少存在一對： $$ j,k $$ 可使用上述 quantitative lower bound。 --- 對 common-circuit candidate還可得到 logarithmic flat-gap lower bound。 令： $$ H_0(D) = \max \left( 16, (2D)^d \right). $$ 對： $$ \mathcal B_{jk}(s) $$ 使用 Waldschmidt measure： $$ |\mathcal B_{jk}(s)| > e^{-\Phi_s(d,H_0(D))}. $$ 而： $$ \mathcal B_{jk}(s^2) = \widetilde{\mathcal B}_{jk}(s), $$ 其中： $$ \widetilde{\mathcal B}_{jk}(T) = \mathcal B_{jk}(T^2) $$ degree： $$ \le2d $$ 且 height不增加。 所以： $$ |\mathcal B_{jk}(s^2)| > e^{-\Phi_s(2d,H_0(D))}. $$ 另一方面： $$ |\mathcal A_{jk}(s)| \le [D(1+|s|)]^d, $$ $$ |\mathcal A_{jk}(s^2)| \le [D(1+s^2)]^d. $$ 因此： $$ \boxed{ |f_{jk}(s)| \le U_1(D), } $$ $$ \boxed{ |f_{jk}(s^2)| \le U_2(D), } $$ 其中： $$ U_1(D) = [D(1+|s|)]^d e^{\Phi_s(d,H_0(D))}, $$ $$ U_2(D) = [D(1+s^2)]^d e^{\Phi_s(2d,H_0(D))}. $$ 令： $$ U_f(D) = \max(U_1(D),U_2(D)). $$ --- 若 support通過 Round 19 crossing-parity filter，則： $$ f_{jk}(s), \quad f_{jk}(s^2) $$ 具有相同 sign。 因此： $$ \left| \log \left| \frac{ f_{jk}(s^2) }{ f_{jk}(s) } \right| \right| \ge \frac{ |f_{jk}(s^2)-f_{jk}(s)| }{ \max( |f_{jk}(s)|, |f_{jk}(s^2)| ) }. $$ 得到： $$ \boxed{ |G_{jk}| \ge \Gamma_{M,s}(D), } $$ 其中： $$ \boxed{ \Gamma_{M,s}(D) = \frac{ \Delta_{M,s}(D) }{ U_f(D) }. } $$ 這是 **Effective Logarithmic Flat-Gap Bound**。 --- 對 fixed： $$ M, \quad A, \quad B, $$ $\Phi_s(N,H)$ 在： $$ N $$ 固定時對： $$ \Log H $$ 為 linear。 而： $$ H_0(D), H_1(D) $$ 皆是： $$ D $$ 的 fixed powers。 因此存在 effectively computable： $$ c_M>0, $$ $$ E_M>0, $$ 以及： $$ D_0, $$ 只依賴： $$ M,A,B $$ 使： $$ \boxed{ \Gamma_{M,s}(D) \ge c_M D^{-E_M} \qquad (D\ge D_0). } $$ 也就是 ASRP 在此 family中至少具有 **effective polynomial-in-support-diameter separation**。 --- 本輪接著與 HCIZ compensation upper bound接合。 對： $$ t\in\{s,s^2\}, $$ 令： $$ \mathcal Q_t(M) = \left[ \sum_{a,b=0}^{M-1} (a+bt)^2 \right]^{1/2}. $$ support平移不影響 common circuit，可 normalize： $$ 0\in S. $$ 若： $$ \operatorname{diam}_\infty(S)\le D, $$ 則： $$ |u+tv| \le D(1+|t|). $$ 對 HCIZ random variable： $$ X_{t,j}(U) = \operatorname{tr} \left( Q_t U Y_{t,\widehat j} U^\ast \right), $$ Frobenius Cauchy–Schwarz給： $$ |X_{t,j}(U)| \le \mathcal Q_t(M) \sqrt L D(1+|t|). $$ 所以： $$ \boxed{ |\log\mathcal H_{t,j}(\mu)| \le |\mu| \mathcal Q_t(M) \sqrt L D(1+|t|). } $$ --- 對 Round 21 的 two-layer HCIZ compensation quotient： $$ C_{jk}(\mu) = \frac{ \mathcal H_{s,j}/\mathcal H_{s,k} }{ \mathcal H_{s^2,j}/\mathcal H_{s^2,k} }, $$ 有： $$ \boxed{ |\log C_{jk}(\mu)| \le \Xi_{M,s} |\mu|D, } $$ 其中： $$ \boxed{ \Xi_{M,s} = 2\sqrt L \left[ \mathcal Q_s(M)(1+|s|) + \mathcal Q_{s^2}(M)(1+s^2) \right]. } $$ 若 common circuit成立： $$ G_{jk} = \log C_{jk}(\mu) $$ up to the fixed orientation/sign convention。 所以： $$ \boxed{ \Gamma_{M,s}(D) \le \Xi_{M,s} |\mu|D. } $$ 利用 polynomial lower bound： $$ \Gamma_{M,s}(D) \ge c_MD^{-E_M}, $$ 得到： $$ c_MD^{-E_M} \le \Xi_{M,s} |\mu|D. $$ 因此： $$ \boxed{ D \ge \left( \frac{ c_M }{ \Xi_{M,s}|\mu| } \right)^{ 1/(E_M+1) }. } $$ 這是： ## Quantitative Support Escape Theorem > 對 fixed $M$ 的 real BADT minimal common circuit，當 rational scaling： > > $$ > \mu=q\lambda\to0, > $$ > > support lattice diameter不只必發散，而且至少滿足一個 effectively computable polynomial lower-growth law。 Round 20 的 qualitative： $$ D\to\infty $$ 因此被提升成： $$ \boxed{ D \gg |\mu|^{-\eta_M} } $$ 對某個 effective： $$ \eta_M>0. $$ --- 這一結果的重要性不是 exponent好不好。 Waldschmidt 1978 的常數非常大： $$ C_{21} = 2^{55}\cdots $$ 所以實際： $$ \eta_M $$ 會非常小。 但它第一次告訴我們： $$ \boxed{ \text{support escape is quantitatively forced by known transcendence theory}. } $$ 不再只是 compactness argument。 --- 更重要的是，本輪也精確回答了 Round 21 的文獻問題： > 是否已有工具控制： > > $$ > |f(s)-f(s^2)|? > $$ 答案是： $$ \boxed{ \text{Yes, indirectly but effectively.} } $$ 不需要一個專門的「quadratic rational-function in logarithm ratio」theorem。 只需要： 1. 將： $$ f(T^2)-f(T) $$ 清分母成： $$ \mathcal N(T)\in\mathbb Z[T]; $$ 2. 使用： $$ s=\log B/\log A $$ 的 classical transcendence measure。 Waldschmidt 1978 的 Corollary 4.5正是這個工具。 --- 本輪同時確認一個重要界線。 這個 quantitative bound仍然**沒有直接排除 BADT**。 原因： > hypothetical auxiliary supports可以隨： > > $$ > \mu\to0 > $$ > > 同時讓： > > $$ > D\to\infty > $$ > > 得足夠快。 所以目前得到的是： $$ \boxed{ \text{complexity lower bound}, } $$ 不是 contradiction。 真正下一步要問： > Dasgupta–Kakde 類 auxiliary polynomial construction，或任何合理 LTSB mechanism，是否同時給 support diameter / Newton-polytope size 的 **upper bound**？ 如果有： $$ D \le \mathcal U(N,\text{arithmetic data}) $$ 且不允許依： $$ q $$ 任意爆炸， 那麼 rational BADT flattening： $$ q\to0 $$ 就會與本輪： $$ D \gg |q\lambda|^{-\eta_M} $$ 直接碰撞。 因此 Round 23 的新主題變成： $$ \boxed{ \text{Lower Support Escape} \quad\text{vs}\quad \text{Auxiliary-Polynomial Upper Support Budget}. } $$ --- # 1. Waldschmidt quotient-of-logs measure 令： $$ \alpha_1=B, $$ $$ \alpha_2=A. $$ 則： $$ s = \frac{ \log\alpha_1 }{ \log\alpha_2 }. $$ Waldschmidt 1978假設此 ratio irrational。 在 BADT Type-P 中： $$ s $$ 甚至 transcendental，所以條件滿足。 --- # 2. Explicit constant 令： $$ d_0 = [\mathbb Q(A,B):\mathbb Q], $$ $$ V_1 = 1+h(B)+|\log B|, $$ $$ V_2 = 1+h(A)+|\log A|. $$ 則： $$ \boxed{ C_{21} = 2^{55} d_0^4 V_1V_2 (1+\Log V_1) (1+\Log V_2). } $$ --- # 3. Transcendence measure Waldschmidt Corollary 4.5： $$ \boxed{ 2C_{21} N^3 (\Log H+N\Log N) (1+\Log N)^{-2} } $$ 是： $$ s $$ 的 transcendence measure。 所以對： $$ 0\neq P\in\mathbb Z[T], $$ $$ \deg P\le N, $$ $$ H(P)\le H, $$ 有： $$ \boxed{ \log|P(s)| > - \Phi_s(N,H). } $$ --- # 4. Barycentric-ratio cancellation 對： $$ y_i(T) = u_i+Tv_i, $$ ordinary barycentric weight： $$ w_i(T) = \left[ \prod_{\ell\neq i} (y_i-y_\ell) \right]^{-1}. $$ 所以： $$ \frac{ w_k }{ w_j } = \frac{ \prod_{\ell\neq j} (y_j-y_\ell) }{ \prod_{\ell\neq k} (y_k-y_\ell) }. $$ 共同 factor： $$ y_j-y_k $$ 與： $$ y_k-y_j $$ 只留下 sign。 因此： $$ \boxed{ f_{jk}(T) = - \prod_{\ell\neq j,k} \frac{ L_{j\ell}(T) }{ L_{k\ell}(T) }. } $$ 所以 numerator / denominator degree只需： $$ d=K-2, $$ 而不是： $$ K-1. $$ --- # 5. Height control from lattice diameter normalize support by translation，使： $$ 0\in S, $$ 並設： $$ D = \operatorname{diam}_\infty(S). $$ 則： $$ |u_i-u_j|, \quad |v_i-v_j| \le D. $$ 對每個 linear factor： $$ L(T)=a+bT, $$ 有： $$ \|L\|_1 = |a|+|b| \le 2D. $$ 因此： $$ \boxed{ \|\mathcal A_{jk}\|_1, \|\mathcal B_{jk}\|_1 \le (2D)^d. } $$ --- # 6. Squaring-difference numerator 定義： $$ \mathcal N_{jk}(T) = \mathcal A_{jk}(T^2) \mathcal B_{jk}(T) - \mathcal A_{jk}(T) \mathcal B_{jk}(T^2). $$ 則： $$ \boxed{ \deg\mathcal N_{jk} \le 3d. } $$ substitution： $$ T\mapsto T^2 $$ 不改 coefficient $1$-norm。 所以： $$ \|\mathcal A(T^2)\mathcal B(T)\|_1 \le (2D)^{2d}. $$ 兩項相減得到： $$ \boxed{ \|\mathcal N_{jk}\|_1 \le 2(2D)^{2d}. } $$ --- # 7. Nonzero pair exists for genuine 2D support 若對所有： $$ j,k $$ 都有： $$ \mathcal N_{jk}\equiv0, $$ 則： $$ f_{jk}(T)=f_{jk}(T^2) $$ 對所有 pairs成立。 因此： $$ \beta_S(T) $$ projectively invariant under squaring。 Round 20的 Barycentric Squaring Rigidity則迫使： $$ \operatorname{affdim}S\le1. $$ 所以若： $$ \operatorname{affdim}S=2, $$ 至少存在： $$ \boxed{ (j,k) \text{ with } \mathcal N_{jk}\neq0. } $$ --- # 8. Effective polynomial gap 對這個 pair： $$ (j,k), $$ 取： $$ N_1=3d, $$ $$ H_1(D) = \max \left( 16, 2(2D)^{2d} \right). $$ 則： $$ \boxed{ |\mathcal N_{jk}(s)| > e^{-\Phi_s(N_1,H_1(D))}. } $$ --- # 9. Denominator upper bound 因： $$ |a+sb| \le D(1+|s|), $$ $$ |a+s^2b| \le D(1+s^2), $$ 有： $$ |\mathcal B_{jk}(s)| \le [D(1+|s|)]^d, $$ $$ |\mathcal B_{jk}(s^2)| \le [D(1+s^2)]^d. $$ 所以： $$ \boxed{ |f_{jk}(s^2)-f_{jk}(s)| \ge \Delta_{M,s}(D). } $$ --- # 10. Effective ASRP 因此： ## Theorem R22.1 — Effective Barycentric ASRP 固定： $$ M\ge2. $$ 對任意 finite genuine $2$D lattice support： $$ S, $$ $$ |S|=M^2+1, $$ $$ \operatorname{diam}_\infty(S)\le D, $$ 存在 distinct： $$ j,k $$ 使： $$ \boxed{ |f_{jk}(s^2)-f_{jk}(s)| \ge \Delta_{M,s}(D)>0. } $$ 其中： $$ \Delta_{M,s}(D) $$ explicit且 effectively computable。 --- # 11. Denominator lower bounds 對： $$ \mathcal B_{jk}(T) $$ degree： $$ \le d, $$ height： $$ \le(2D)^d. $$ 所以： $$ |\mathcal B_{jk}(s)| > e^{-\Phi_s(d,H_0(D))}. $$ 對： $$ \mathcal B_{jk}(T^2) $$ degree： $$ \le2d, $$ height同樣： $$ \le(2D)^d. $$ 所以： $$ |\mathcal B_{jk}(s^2)| > e^{-\Phi_s(2d,H_0(D))}. $$ --- # 12. Rational-function magnitude upper bounds 由 numerator upper bounds： $$ |\mathcal A_{jk}(s)| \le [D(1+|s|)]^d, $$ 所以： $$ \boxed{ |f_{jk}(s)| \le [D(1+|s|)]^d e^{\Phi_s(d,H_0(D))}. } $$ 同理： $$ \boxed{ |f_{jk}(s^2)| \le [D(1+s^2)]^d e^{\Phi_s(2d,H_0(D))}. } $$ --- # 13. Effective logarithmic gap common circuit首先必通過 crossing-parity condition。 在 parity-compatible pair上： $$ f_{jk}(s), \quad f_{jk}(s^2) $$ sign相同。 對： $$ x,y>0, $$ 有： $$ |\log(x/y)| \ge \frac{|x-y|}{\max(x,y)}. $$ 所以： $$ \boxed{ |G_{jk}| \ge \Gamma_{M,s}(D) >0. } $$ --- # 14. Polynomial-decay form 固定： $$ M, A, B. $$ 因： $$ d=M^2-1 $$ 固定， 而： $$ \Phi_s(N,H) $$ 在 fixed $N$ 下對： $$ \Log H $$ linear。 所以存在 effective constants： $$ c_M>0, $$ $$ E_M>0, $$ $$ D_0\ge1 $$ 使： $$ \boxed{ |G_{jk}| \ge c_MD^{-E_M} } $$ 對： $$ D\ge D_0. $$ --- # 15. HCIZ global upper bound 對： $$ \mathcal H_{t,j}(\mu) = \mathbb E_U e^{\mu X_{t,j}(U)}, $$ 若： $$ |X_{t,j}(U)| \le R_t(D), $$ 則： $$ e^{-|\mu|R_t(D)} \le \mathcal H_{t,j}(\mu) \le e^{|\mu|R_t(D)}. $$ 所以： $$ \boxed{ |\log\mathcal H_{t,j}(\mu)| \le |\mu|R_t(D). } $$ --- # 16. Frobenius bound $$ X_{t,j} = \operatorname{tr} (Q_tUY_{t,\widehat j}U^\ast). $$ 所以： $$ |X_{t,j}| \le \|Q_t\|_F \|Y_{t,\widehat j}\|_F. $$ 由： $$ |y_p(t)| \le D(1+|t|), $$ 以及 omitted frequency數： $$ L=M^2, $$ 得到： $$ \boxed{ R_t(D) \le \mathcal Q_t(M) \sqrt L D(1+|t|). } $$ --- # 17. Two-layer compensation bound 因此： $$ |\log C_{jk}(\mu)| $$ 至多： $$ 2|\mu| \left[ R_s(D)+R_{s^2}(D) \right]. $$ 所以： $$ \boxed{ |\log C_{jk}(\mu)| \le \Xi_{M,s} |\mu|D. } $$ --- # 18. Common-circuit collision common circuit要求： $$ |G_{jk}| = |\log C_{jk}(\mu)|. $$ 所以： $$ \boxed{ \Gamma_{M,s}(D) \le \Xi_{M,s}|\mu|D. } $$ --- # 19. Quantitative Support Escape 使用： $$ \Gamma_{M,s}(D) \ge c_MD^{-E_M}, $$ 得到： $$ c_MD^{-E_M} \le \Xi_{M,s}|\mu|D. $$ 因此： $$ \boxed{ D \ge \left( \frac{ c_M }{ \Xi_{M,s}|\mu| } \right)^{ 1/(E_M+1) }. } $$ --- # 20. BADT rational flattening hypothetical BADT state允許： $$ \mu=q\lambda, $$ 對： $$ q\in\mathbb Q_{>0}. $$ 取： $$ q\to0. $$ 所以任何 fixed-$M$ minimal common-circuit mechanism必滿足： $$ \boxed{ D(q) \gg q^{-\eta_M}, } $$ 其中： $$ \eta_M = \frac1{E_M+1} >0. $$ --- # 21. What this improves over Round 20 Round 20： $$ \boxed{ D(q)\to\infty. } $$ Round 22： $$ \boxed{ D(q) \ge c q^{-\eta_M}. } $$ 所以 support escape從 compactness statement升級成 effective Diophantine growth statement。 --- # 22. Why the exponent is weak but meaningful Waldschmidt constant： $$ C_{21} $$ 很大。 因此： $$ E_M $$ 很大， $$ \eta_M $$ 很小。 所以此 theorem不適合直接 numerical computation。 但研究意義不是數值效率，而是： $$ \boxed{ \text{known transcendence measure already controls the ACTM support escape quantitatively}. } $$ --- # 23. Relation to 2025 simultaneous-approximation work 較新的研究仍在研究： $$ \frac{ \log\alpha_2 }{ \log\alpha_1 } $$ 與 algebraic powers的 simultaneous approximation / algebraic-independence measures。 例如 Kumar–Tosi 2025考慮： $$ \left( \frac{\log\alpha_2}{\log\alpha_1}, \alpha_1^\beta, \alpha_2^\beta \right) $$ 在 quadratic irrational： $$ \beta $$ 下的 polynomial small-value問題。 這說明 quotient-of-logs 的 quantitative transcendence仍是活躍主題。 但 Round 22 的核心 bound不需要這些更複雜結果；Waldschmidt 1978的 direct quotient-of-logs transcendence measure已足夠閉合 ASRP。 --- # 24. New bottleneck: upper support budget 如果某個 auxiliary-polynomial construction同時保證： $$ D \le U_M $$ 其中： $$ U_M $$ 不隨 rational scaling： $$ q $$ 發散， 那麼取： $$ q $$ 足夠小， Quantitative Support Escape會迫使： $$ D(q)>U_M. $$ 直接矛盾。 所以： $$ \boxed{ \text{scale-uniform upper support control would kill real BADT}. } $$ --- # 25. Scale-Uniform Auxiliary Principle 本輪提出新的 restricted target： **Scale-Uniform Auxiliary Principle（SUAP）** 對 hypothetical real BADT$_2$，若某個 LTSB / auxiliary construction產生 fixed-$M$ common circuits，問是否可證： $$ \boxed{ \operatorname{diam}_\infty S_q \le U(M,A,B,C,D) } $$ 對所有 rational： $$ q $$ 一致。 若 SUAP成立，則 Round 22 Quantitative Support Escape立即推出 contradiction。 --- # 26. Relation to Newton-polytope control Dasgupta–Kakde condition $(m)$ 控制： $$ \BKd(P) 当 obstruction forcing support to run to lattice infinity時，純 fewnomial cardinality可能完全看不見問題；Newton-geometric quantity才有機會與 support escape碰撞。 這不證明其 $(w)\Rightarrow(m)$，但說明為什麼 BK / Newton control可能正是所需資訊層級。 --- # 29. ASRP status after Round 22 Round 21： $$ \boxed{ \text{ASRP = open target}. } $$ Round 22： $$ \boxed{ \text{ASRP for barycentric-ratio family = effectively solved}. } $$ 真正剩餘的不是： $$ |f(s^2)-f(s)| $$ 有沒有 lower bound， 而是： $$ \boxed{ \text{auxiliary support能否逃得足夠快。} } $$ --- # 30. Round 22 判定 **PASS — Classical quotient-of-logarithms transcendence measure closes the barycentric ASRP; qualitative support escape upgraded to an effective polynomial growth law** 本輪完成： 1. 找到 Waldschmidt 1978 quotient-of-logarithms approximation / transcendence measure。 2. 將 BADT： $$ s=\log B/\log A $$ 精確放入其假設。 3. 建立 explicit： $$ \Phi_s(N,H). $$ 4. 將 barycentric ratio寫成兩個 integer product polynomials的 quotient。 5. 證 numerator / denominator degree： $$ \le M^2-1. $$ 6. 建立 coefficient $1$-norm / height bounds。 7. 構造： $$ \mathcal N_{jk}(T) = \mathcal A(T^2)\mathcal B(T) - \mathcal A(T)\mathcal B(T^2). $$ 8. 證： $$ \deg\mathcal N\le3(M^2-1). $$ 9. 建立： $$ H(\mathcal N) \le 2(2D)^{2(M^2-1)}. $$ 10. 由 Waldschmidt measure得到 effective： $$ |\mathcal N(s)| $$ lower bound。 11. 得到 Effective Barycentric ASRP。 12. 對 denominators使用同一 transcendence measure。 13. 得到 effective logarithmic flat-gap： $$ |G_{jk}| \ge \Gamma_{M,s}(D). $$ 14. 證 fixed $M$ 時： $$ \Gamma_{M,s}(D) \ge c_MD^{-E_M}. $$ 15. 對 HCIZ factors建立 uniform： $$ |\log C_{jk}(\mu)| \le \Xi_{M,s}|\mu|D. $$ 16. 合併得到 Quantitative Support Escape： $$ D \ge C|\mu|^{-1/(E_M+1)}. $$ 17. 套入 rational BADT flattening： $$ \mu=q\lambda. $$ 18. 將新的 bottleneck定位為 upper support budget。 19. 提出 Scale-Uniform Auxiliary Principle（SUAP）。 20. 解釋 support cardinality不足，而 Newton/BK geometry可能是必要資訊。 --- # 31. Round 23 正式入口 Round 23 不再研究 transcendence measure。 而是研究： $$ \boxed{ \text{Can DK-style BK-degree control upper-bound the support geometry strongly enough to collide with Round 22 support escape?} } $$ ## R23-A：One-variable / two-variable BK width 先對： $$ n=2 $$ auxiliary polynomial， 分析： $$ \BKd(P) genuine 2D + BK-degree bound + minimal common-circuit constraints 是否足以得到 diameter upper bound。 --- # 32. 一句話結論 > **Round 22 發現我們其實不需要發明新的 approximate-squaring transcendence theorem：Waldschmidt 1978 已直接給 $\log B/\log A$ 的 explicit transcendence measure。把 barycentric ratio的 $s\mapsto s^2$ difference清分母後，它就是一個 bounded degree/height integer polynomial在 $s$ 的值，因此可取得有效下界。與 HCIZ compensation的 $O(|\mu|D)$ upper bound結合後，minimal common-support diameter被迫以有效的 power law隨 rational flattening發散。** 核心轉換： $$ \boxed{ \text{ASRP} \to \text{Waldschmidt transcendence measure} \to \text{Quantitative Support Escape}. } $$ 現在真正剩下的是： $$ \boxed{ \text{Can auxiliary-polynomial geometry stop the support from escaping?} } $$ --- # 參考資料 1. Michel Waldschmidt, **Transcendence measures for exponentials and logarithms**, *Journal of the Australian Mathematical Society, Series A* 25 (1978), 445–465. Section 4.2, Theorem 4.4 and Corollary 4.5 give an approximation measure and a transcendence measure for: $$ \frac{\log\alpha_1}{\log\alpha_2}. $$ In particular Corollary 4.5 gives: $$ 2C_{21}N^3 (\Log H+N\Log N) (1+\Log N)^{-2}. $$ 2. Michel Waldschmidt, **Linear Independence Measures for Logarithms of Algebraic Numbers**, CIME lectures / Lecture Notes in Mathematics 1819 (2003). Modern survey of quantitative linear independence estimates for logarithms of algebraic numbers. 3. Veekesh Kumar and Riccardo Tosi, **A simultaneous approximation problem for exponentials and logarithms**, arXiv:2505.20957 (2025). Studies quantitative small values involving: $$ \frac{\log\alpha_2}{\log\alpha_1} $$ together with algebraic powers in a more specialized setting. 4. Samit Dasgupta and Mahesh Kakde, **Ranks of Matrices of Logarithms of Algebraic Numbers II: The Matrix Coefficient Conjecture**, *Advances in Mathematics* 487 (2026), 110753. --- **ACTM Round 22 完**