a matrix is PSD if all eigenvalue are \(\geq 0\), also meaning \(z^{T}K z \geq 0\) for all \(z\).