Stationarity is not enough: tightness of the quantum mechanical bootstrap and the copositive cone

Daniel Keren

The numerical bootstrap for quantum mechanics tests a candidate state's positivity only against sums of squares, whereas every physical state assigns nonnegative expectation to eve…