is [[1, 1], [1, 1]] positive semi-definite