If you like, you might look at cones of sums of squares of polynomials (cones of PSD matrices are the same thing as cones of sums of squares of linear polynomials). This is the starting point of the modern technique of solving optimisation problems on semi-algebraic sets, due to J.Lasserre and others.
Dima Pasechnik
- 14k
- 2
- 34
- 70