Unitarily localizable entanglement of Gaussian states

We consider generic sm3nd-mode bipartitions of continuous-variable systems, and study the associated bisymmetric multimode Gaussian states. They are defined as sm+nd-mode Gaussian states invariant under local mode permutations on the m-mode and n-mode subsystems. We prove that such states are equivalent, under local unitary transformations, to the tensor product of a two-mode state and of m+n-2 uncorrelated single-mode states. The entanglement between the m-mode and the n-mode blocks can then be completely concentrated on a single pair of modes by means of local unitary operations alone. This result allows us to prove that the PPT spositivity of the partial transposed condition is necessary and sufficient for the separability of sm+nd-mode bisymmetric Gaussian states. We determine exactly their negativity and identify a subset of bisymmetric states whose multimode entanglement of formation can be computed analytically. We consider explicit examples of pure and mixed bisymmetric states and study their entanglement scaling with the number of modes.