← ACTM: Algebraic Combinatorial Transcendence Methodology
/
ACTM R16 · The all-rank proof of BADT linear support visibility
ACTM: Algebraic Combinatorial Transcendence Methodology
ACTM R16 · The all-rank proof of BADT linear support visibility
Neo.K / Aletheia
An All-Rank Proof of BADT Linear Support Visibility
An all-rank analytic theorem: every matrix with entries in span_Q{1, v, v², v⁴} and normal rank r < mn/(m+n) has a rational zero block with m'/m + n'/n > 1 (two canonical subsets plus an aspect-ratio lemma), closing the rational-linear Waldschmidt–Masser amplifier strategy; R11–R15 become 'computational corroboration'. The paper states that the BADT₂ hypothesis itself remains unexcluded.
BADT linear support visibility holds for all normal ranks; this closes one proof strategy, not BADT₂ itself, and not the Four Exponentials Conjecture.
This is the strongest unconditional theorem of the series; its 'the linear GCDA strategy is completely closed' is scoped to the rational-linear Waldschmidt–Masser amplifier on one 4-dimensional support (§25: 'the BADT₂ hypothesis itself is still not excluded'). The analytic proof is unrefereed; the shipped sanity script only checks up to rank 15 and says it is 'NOT needed for the proof'. It is the only v1.0 and its section order is unusual (the Round-17 entrance precedes the Round-16 verdict).
Connections · Connections
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.