Commit 2023-09-26 11:46 c3321530
View on Github →feat: eigenvalues of AᴴA and AAᴴ are non-negative (#7312) The PR provides two lemmas showing that the eigenvalues of $A^HA$ and $AA^H$ are non-negative:
eigenvalues_conjTranspose_mul_self_nonneg: $$\text{eig}(A^H A) \geq 0 $$eigenvalues_self_mul_conjTranspose_nonneg: $$\text{eig}(A A^H) \geq 0 $$ This was suggested by @Vierkantor in PR #6042