SWhat changed
Mixed characteristic polynomials and interlacing families yield a finite-dimensional random-vector norm bound. A two-part vector partition consequence establishes Weaver's KS2 conjecture and hence the Kadison–Singer problem through the previously known equivalences.
Scientific scope
Mixed characteristic polynomials and interlacing families yield a finite-dimensional random-vector norm bound. A two-part vector partition consequence establishes Weaver's KS2 conjecture and hence the Kadison–Singer problem through the previously known equivalences. The main random vectors are independent and finitely supported, with an identity covariance sum and bounded expected squared norms. The paper proves existence; its conclusion asks separately for efficient partition-finding algorithms.
Evidence
The linked original works support the scoped statement and contribution attribution. WRS has not independently replayed experiments or reconstructed a full mathematical proof. The main random vectors are independent and finitely supported, with an identity covariance sum and bounded expected squared norms. The paper proves existence; its conclusion asks separately for efficient partition-finding algorithms.
Contributors
- The named authors in the research record · SCIENCE: Source-listed authors for the exact contribution; experimental subjects are not autonomous scientific authors. Source support and predecessor work retain separate roles. Individual effort shares and unresolved identities are not inferred.
Provisional WRS assessment, edition 2026-10-23.1. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.
Full scientific record · Browse contribution grades · Request a correction