A noncommutative generalization of Hunter's positivity theorem

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.