期刊
IEEE TRANSACTIONS ON INFORMATION THEORY
卷 63, 期 11, 页码 7553-7568出版社
IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
DOI: 10.1109/TIT.2017.2737546
关键词
Quantum mechanics; quantum entanglement; linear matrix inequalities; mutual information
资金
- Spanish MINECO through FEDER [FIS2013-40627-P, FIS2016-86681-P]
- Generalitat de Catalunya, CIRIT [2014-SGR-966]
- European Research Council, Advanced Grant IRQUAT [2010-AdG-267386]
- FPI [BES-2014-068888]
- European Research Council, Starting Grant GQCOP [637352]
- Foundational Questions Institute (FQXi) Physics of the Observer Programme [FQXi-RFP-1601]
- European Research Council (ERC) [637352] Funding Source: European Research Council (ERC)
Many determinantal inequalities for positive definite block matrices are consequences of general entropy inequalities, specialized to Gaussian distributed vectors with prescribed covariances. In particular, strong subadditivity (SSA) yields In det V-Ac +In det V-Bc In det V-ABc In det V-C >= 0 for all 3 x 3 block matrices VABc, where subscripts identify principal submatrices. We shall refer to the above-mentioned inequality as SSA of log-det entropy. In this paper, we develop further insights on the properties of the above-mentioned inequality and its applications to classical and quantum information theory. In the first part of this 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), such as monogamy, faithfulness, and additivity on Gaussian states.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据