We study the entanglement of formation for arbitrary dimensional bipartite mixed unknown states. Experimentally measurable lower and upper bounds for entanglement of formation are derived.
Multipartite entanglement is the premier resource for quantum technologies. Yet, its exact quantification in the laboratory is notoriously challenging, typically requiring the full knowledge of high dimensional quantum states. Here, we construct observable bounds to multipartite entanglement for systems of arbitrary size, which are functions of the local and global state purities, and correlation functions. First, we derive experimentally accessible upper and lower limits to both the bipartite entanglement of formation and the squashed entanglement of bipartite systems, by leveraging cornerstone results of quantum information theory: the entropy strong subadditivity inequality and the Koashi-Winter monogamy relation. Then, we convert them into bounds to the entanglement up to degree k for arbitrary states, and to the genuine k-partite entanglement, by employing a recently proposed method. Finally, we analytically and numerically test these results, by bounding the multipartite entanglement of several relevant states and mixtures, including the important classes of GHZ, Dicke, W states, and random pure states.
By investigating the convex property of the function R, which appeared when computing the entanglement of formation for isotropic states [Phys. Rev. Lett. 85, 2625 (2000)] and in a tight lower bound of entanglement of formation for arbitrary bipartite mixed states [Phys. Rev. Lett. 95, 210501 (2005)], we show analytically that the results in these papers are valid not only for dimensions two and three but for any dimensions.
Entanglement of formation quantifies the entanglement of a state in terms of the entropy of entanglement of the least entangled pure state needed to prepare it. An analytical expression for this measure exists only for special cases, and finding a closed formula for an arbitrary state remains an open problem. In this work we focus on two-mode Gaussian states, and we derive narrow upper and lower bounds for the measure that get tight for several special cases. Further, we show that the problem of calculating the actual value of the entanglement of formation for arbitrary two-mode Gaussian states reduces to a trivial single parameter optimization process, and we provide an efficient algorithm for the numerical calculation of the measure.