Entry Bounds for Positive Semidefinite Matrices
lemmaLinear Algebralem:psd-entry-bounds-2026aLet be a natural number and let be a positive semidefinite real matrix with entries .
1. for every , and for all , with the nonnegative square root,
2. If is a symmetric real matrix with in the semidefinite order, then for every and
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.