AWhat changed
Schur proves that the coefficientwise product of two finite nonnegative Hermitian forms is again nonnegative. The proof factors one coefficient matrix into Gram terms and expresses the product form as a sum of nonnegative forms. He also bounds the product's characteristic roots using the extremal eigenvalues of one form and diagonal entries of the other, and derives a product-closure result for continuous nonnegative Hermitian kernels.
Scientific scope
Schur proves that the coefficientwise product of two finite nonnegative Hermitian forms is again nonnegative. The proof factors one coefficient matrix into Gram terms and expresses the product form as a sum of nonnegative forms. He also bounds the product's characteristic roots using the extremal eigenvalues of one form and diagonal entries of the other, and derives a product-closure result for continuous nonnegative Hermitian kernels. The product is entrywise in a common index basis, not ordinary matrix multiplication. Positive semidefinite and strictly positive definite are different: if one factor is positive definite and the other is positive semidefinite with strictly positive diagonal, the product is positive definite; zero rows/diagonal can prevent strictness. The stated kernel application retains the original continuity and finite-interval setting. The finite matrix statement and its continuous-kernel extension retain their distinct hypotheses; they do not assert every later theorem about infinite-dimensional operators or completely positive maps.
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 product is entrywise in a common index basis, not ordinary matrix multiplication. Positive semidefinite and strictly positive definite are different: if one factor is positive definite and the other is positive semidefinite with strictly positive diagonal, the product is positive definite; zero rows/diagonal can prevent strictness. The stated kernel application retains the original continuity and finite-interval setting. The finite matrix statement and its continuous-kernel extension retain their distinct hypotheses; they do not assert every later theorem about infinite-dimensional operators or completely positive maps.
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.3. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.
Full scientific record · Browse contribution grades · Request a correction