From log-determinant inequalities to Gaussian entanglement via recoverability theory

Abstract

Many determinantal inequalities for positive definite block matrices are consequences of general entropy inequalities, specialised to Gaussian distributed vectors with prescribed covariances. In particular, strong subadditivity (SSA) yields \begin{equation*} \ln\det V_{AC} + \ln\det V_{BC} - \ln\det V_{ABC} - \ln\det V_C \geq 0 \end{equation*} for all $3\times 3$-block matrices $V_{ABC}$, where subscripts identify principal submatrices. We shall refer to the above inequality as SSA of log-det entropy. In this paper we develop further insights on the properties of the above inequality and its applications to classical and quantum information theory. In the first part of the paper, we show how to find known and new necessary and sufficient conditions under which saturation with equality occurs. Subsequently, we discuss the role of the classical transpose channel (also known as Petz recovery map) in this problem and find its action explicitly. We then prove some extensions of the saturation theorem, by finding faithful lower bounds on a log-det conditional mutual information. In the second part, we focus on quantum Gaussian states, whose covariance matrices are not only positive but obey additional constraints due to the uncertainty relation. For Gaussian states, the log-det entropy is equivalent to the Rényi entropy of order $2$. We provide a strengthening of log-det SSA for quantum covariance matrices that involves the so-called Gaussian Rényi-$2$ entanglement of formation, a well-behaved entanglement measure defined via a Gaussian convex roof construction. We then employ this result to define a log-det entropy equivalent of the squashed entanglement, which is remarkably shown to coincide with the Gaussian Rényi-$2$ entanglement of formation. This allows us to establish useful properties of such measure(s), like monogamy, faithfulness, and additivity on Gaussian states.

17 pages; v2 has many typos corrected and it is close to the published version (IEEE)

References in corpus (6)

• Measures and applications of quantum correlations
• Should Entanglement Measures be Monogamous or Faithful?
• Schur complement inequalities for covariance matrices and monogamy of quantum correlations
• On symplectic eigenvalues of positive definite matrices
• Quantum steering of multimode Gaussian states by Gaussian measurements: monogamy relations and the Peres conjecture
• Gaussian intrinsic entanglement

Cited by in corpus (13)

• Thermometry of Gaussian quantum systems using Gaussian measurements
• Extendibility of bosonic Gaussian states
• All phase-space linear bosonic channels are approximately Gaussian dilatable
• Assisted concentration of Gaussian resources
• On the Strong Subadditivity of the Rényi entropies for bosonic and fermionic Gaussian states
• Quantum thermodynamics of two bosonic systems
• Homodyne detection of non-Gaussian quantum steering
• The squashed entanglement of the noiseless quantum Gaussian attenuator and amplifier
• Fundamental limitations to key distillation from Gaussian states with Gaussian operations
• Pretty good measurement for bosonic Gaussian ensembles
• Gaussian intrinsic entanglement for states with partial minimum uncertainty
• The symplectic rank of non-Gaussian quantum states
• Finite Gaussian assistance protocols and a conic metric for extremizing spacelike vacuum entanglement