From log-determinant inequalities to Gaussian entanglement via recoverability theory
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 ln det VAC + ln det VBC − ln det VABC − ln det VC ≥ 0 for a...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Published: |
IEEE
2017
|
| Online Access: | https://eprints.nottingham.ac.uk/47043/ |
| _version_ | 1848797455323234304 |
|---|---|
| author | Lami, Ludovico Hirche, Christoph Adesso, Gerardo Winter, Andreas |
| author_facet | Lami, Ludovico Hirche, Christoph Adesso, Gerardo Winter, Andreas |
| author_sort | Lami, Ludovico |
| building | Nottingham Research Data Repository |
| collection | Online Access |
| description | 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 ln det VAC + ln det VBC − ln det VABC − ln det VC ≥ 0 for all 3 × 3-block matrices VABC , 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 Renyi entropy of order 2. We provide a strengthening of log-det SSA for quantum covariance matrices that involves the so-called Gaussian Renyi-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 measure, which is remarkably shown to coincide with the Gaussian Renyi-2 entanglement of formation. This allows us to establish useful properties of such measure(s), like monogamy, faithfulness, and additivity on Gaussian states. |
| first_indexed | 2025-11-14T20:04:09Z |
| format | Article |
| id | nottingham-47043 |
| institution | University of Nottingham Malaysia Campus |
| institution_category | Local University |
| last_indexed | 2025-11-14T20:04:09Z |
| publishDate | 2017 |
| publisher | IEEE |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | nottingham-470432020-05-04T18:59:56Z https://eprints.nottingham.ac.uk/47043/ From log-determinant inequalities to Gaussian entanglement via recoverability theory Lami, Ludovico Hirche, Christoph Adesso, Gerardo Winter, Andreas 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 ln det VAC + ln det VBC − ln det VABC − ln det VC ≥ 0 for all 3 × 3-block matrices VABC , 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 Renyi entropy of order 2. We provide a strengthening of log-det SSA for quantum covariance matrices that involves the so-called Gaussian Renyi-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 measure, which is remarkably shown to coincide with the Gaussian Renyi-2 entanglement of formation. This allows us to establish useful properties of such measure(s), like monogamy, faithfulness, and additivity on Gaussian states. IEEE 2017-08-09 Article PeerReviewed Lami, Ludovico, Hirche, Christoph, Adesso, Gerardo and Winter, Andreas (2017) From log-determinant inequalities to Gaussian entanglement via recoverability theory. IEEE Transactions on Information Theory, 63 (11). pp. 7553-7568. ISSN 0018-9448 http://ieeexplore.ieee.org/document/8004445/ doi:10.1109/TIT.2017.2737546 doi:10.1109/TIT.2017.2737546 |
| spellingShingle | Lami, Ludovico Hirche, Christoph Adesso, Gerardo Winter, Andreas From log-determinant inequalities to Gaussian entanglement via recoverability theory |
| title | From log-determinant inequalities to Gaussian entanglement via recoverability theory |
| title_full | From log-determinant inequalities to Gaussian entanglement via recoverability theory |
| title_fullStr | From log-determinant inequalities to Gaussian entanglement via recoverability theory |
| title_full_unstemmed | From log-determinant inequalities to Gaussian entanglement via recoverability theory |
| title_short | From log-determinant inequalities to Gaussian entanglement via recoverability theory |
| title_sort | from log-determinant inequalities to gaussian entanglement via recoverability theory |
| url | https://eprints.nottingham.ac.uk/47043/ https://eprints.nottingham.ac.uk/47043/ https://eprints.nottingham.ac.uk/47043/ |