← ACTM: Algebraic Combinatorial Transcendence Methodology / ACTM R17 · Secant escape and the Roy-test variety

ACTM: Algebraic Combinatorial Transcendence Methodology ACTM R17 · Secant escape and the Roy-test variety Neo.K / Aletheia

Secant Escape, a Roy-Test Variety, and the Sparse-Support Interface for BADT₂

After linear methods are exhausted: the secant of the two BADT singular blocks has determinant ab·λ²s²(s−1)²; the BADT surface has no non-trivial Q̄-defined linear subspace through the point (an explicit 'Roy-test variety'); it identifies Dasgupta–Kakde's open implication (w) ⇒ (m) and a 'Log-to-Torus Support Bridge' as the real obstacle.

R17 separates the linear methods from the genuine nonlinear problem and marks what is proved and unproved; it says it does not solve BADT₂. The paper has sections 'why this is still open' and 'proved versus unproved'.

Connections · Connections

PreviousACTM R16 · The all-rank proof of BADT linear support visibility · An All-Rank Proof of BADT Linear Support Visibility
NextACTM R24 · BK–fewnomial incompatibility (with an erratum of R23) · BK-Fewnomial Incompatibility, a CSEP Correction, and the Auxiliary-Existence Bottleneck

This is a full-text translation of the Chinese source, which remains authoritative for its research claims. Translation is not independent mathematical verification and does not upgrade the original evidence level.

Editor's note: this page uses LaTeX macros the source never defines (\BKd, \BK, \Log); those expressions will show as red raw source on the page. The file's bytes are unchanged.

Loading…