OP-00248 Solution claimed A sum-of-squares representation for the Toeplitz commutator form FA · Böttcher–Wenzel inequality · OpenProblemsInNLA · sums of squares · Toeplitz matrices