Lower bounds on the entanglement of formation for general Gaussian states

We derive two lower bounds on entanglement of formation for arbitrary mixed Gaussian states by two distinct methods. To achieve the first one we use a local measurement procedure that symmetrizes a general Gaussian state and the fact that entanglement cannot increase under local operations and classical communications. The second one is obtained via a generalization to mixed states of an interesting result already known for pure states, which says that squeezed states are those that, for a fixed amount of entanglement, maximize Einstein-Podolsky-Rosen-like correlations