positive semi-definite a matrix is PSD if all eigenvalue are \geq 0, also meaning z^{T}K z \geq 0 for all z.