A noncommutative generalization of Hunter's positivity theorem (2503.12376v1)

Abstract: Hunter proved that the complete homogeneous symmetric polynomials of even degree are positive definite. We prove a noncommutative generalization of this result, in which the scalar variables are replaced with hermitian operators. We provide a sharp lower bound and a sum of hermitian squares representation that are novel even in the scalar case.