Decomposition of symmetric separable states and ground state energy of bosonic systems

Abstract

We prove that every symmetric separable state admits a convex decomposition into symmetric pure product states. While the result is not new in itself, here we focus on convex geometry. We discuss the decomposition in the context of numerical ranges and ground state problems of infinite bosonic systems.