A positive definite matrix S has positive eigenvalues, positive pivots, positive determinants, and positive energy vTSv for every vector v. S = ATA is always positive definite if A has independent columns.
