2017 - The q=1 Magnetic Component Is Triangular at Every Grade
For reflection distance , recursively ordered Hall minors are block upper triangular for every grade and pole cutoff. Their base determinant is
and adjoining pole depth multiplies the determinant by
Every factor is nonzero for . Hence all component columns are independent for arbitrary and .
At , the base factor vanishes. This explains the known exception as a singular initial transfer step rather than an internal cancellation.
Scope and verification
- Packet: research/strominger/magnetic-q1-transfer-theorem.md.
- Checker: research/strominger/checkers/magnetic_q1_transfer_checks.py, 6/6, exit 0.
- Results: research/strominger/results/magnetic_q1_transfer.json.
- Pre-activation: ev-000000002745.
- Post-activation and result to Nima: ev-000000002747.
- Ledger allocation: sequence claim 2017, seqclaim-37fc2b2b37ba3801076189d6.
This is an arbitrary-grade and arbitrary-cutoff theorem at . The transfer problem remains open.