We demonstrate the irreversibility of asymptotic entanglement manipulation under quantum operations that completely preserve the positivity of partial transpose (PPT), resolving a major open problem in quantum information theory. Our key tool is a new efficiently computable additive lower bound for the asymptotic relative entropy of entanglement with respect to PPT states, which can be used to evaluate the entanglement cost under local operations and classical communication (LOCC). We find that for any rank-two mixed state supporting on the $3\otimes3$ antisymmetric subspace, the amount of distillable entanglement by PPT operations is strictly smaller than one entanglement bit (ebit) while its entanglement cost under PPT operations is exactly one ebit. As byproduct, we find that for this class of states, both the Rains' bound and its regularization, are strictly less than the asymptotic relative entropy of entanglement. So, in general, there is no unique entanglement measure for the manipulation of entanglement by PPT operations. We further show a computable sufficient condition for the irreversibility of entanglement distillation by LOCC (or PPT) operations.
We express the positive partial transpose (PPT) separability criterion for symmetric states of multi-qubit systems in terms of matrix inequalities based on the recently introduced tensor representation for spin states. We construct a matrix from the tensor representation of the state and show that it is similar to the partial transpose of the density matrix written in the computational basis. Furthermore, the positivity of this matrix is equivalent to the positivity of a correlation matrix constructed from tensor products of Pauli operators. This allows for a more transparent experimental inte…
Complete Positivity of Subsystems in Quantum Dynamics
TCG Centres for Research and Education in Science and Technology (TCG CREST)（科学技术研究与教育中心 (TCG CREST)）；Academy of Scientific and Innovative Research (AcSIR)（科学与创新研究学院 (AcSIR)）；Ramakrishna Mission Vivekananda Educational and Research Institute（罗摩克里希纳传教士维韦卡南达教育与研究机构）
Entanglement of states and Complete Positivity of maps are concepts that have achieved physical importance with the recent growth of quantum information science. They are however mathematically relevant whenever tensor products of complex linear (Hilbert) spaces are involved. We present such situations in classical scalar paraxial wave optics where these concepts play a role: propagation characteristics of coherent and partially coherent Gaussian beams; and the definition and separability of the family of Twisted Gaussian Schell Model (TGSM) beams. In the former, the evolution of the width of …
The positivity of the partial transpose is in general only a necessary condition for separability. There exist quantum states that are not separable, but nevertheless are positive under partial transpose. States of this type are known as bound entangled states meaning that these states are entangled but they do not allow distillation of pure entanglement by means of local operations and classical communication (LOCC). We present a parametrization of a class of $2\times 2$ bound entangled Gaussian states for bipartite continuous-variable quantum systems with two modes on each side. We propose a…
Rains' bound is arguably the best known upper bound of the distillable entanglement by operations completely preserving positivity of partial transpose (PPT) and was conjectured to be additive and coincide with the asymptotic relative entropy of entanglement. We disprove both conjectures by explicitly constructing a special class of mixed two-qubit states. We then introduce an additive semidefinite programming lower bound ($E_M$) for the asymptotic Rains' bound, and it immediately becomes a computable lower bound for entanglement cost of bipartite states. Furthermore, $E_M$ is also proved to b…
A new additive and semidefinite programming (SDP) computable entanglement measure is introduced to upper bound the amount of distillable entanglement in bipartite quantum states by operations completely preserving the positivity of partial transpose (PPT). This quantity is always smaller than or equal to the logarithmic negativity, the previously best known SDP bound on distillable entanglement, and the inequality is strict in general. Furthermore, a succinct SDP characterization of the one-copy PPT deterministic distillable entanglement for any given state is also obtained, which provides a s…
Continuous-variable systems in quantum theory can be fully described through any one of the ${\rm s}$-ordered family of quasiprobabilities $Λ_{\rm s}(α)$, ${\rm s} \in [-1,1]$. We ask for what values of $({\rm s}, a)$ is the scaling map $Λ_{\rm s}(α) \rightarrow a^{-2} Λ_{\rm s}(a^{-1}α)$ a positive map? Our analysis based on a duality we establish settles this issue (i) the scaling map generically fails to be positive, showing that there is no useful entanglement witness of the scaling type beyond the transpose map, and (ii) in the two particular cases $({\rm s}=1, |a| \leq 1)$ and $({\rm s}=…
Entanglement, one of the central mysteries of quantum mechanics, plays an essential role in numerous applications of quantum information theory. A natural question of both theoretical and experimental importance is whether universal entanglement detection is possible without full state tomography. In this work, we prove a no-go theorem that rules out this possibility for any non-adaptive schemes that employ single-copy measurements only. We also examine in detail a previously implemented experiment, which claimed to detect entanglement of two-qubit states via adaptive single-copy measurements …
Some applications of Choi polynomials of linear maps
Institute of Mathematics, VAST（越南科学院数学研究所）；Department of Mathematics and Statistics, Quy Nhon University（归仁大学数学与统计系）；Department of Mathematical Sciences, Ritsumeikan University（立命馆大学数理科学系）
Cornell University（康奈尔大学）；Quantum Science Center（量子科学中心）；University of Maryland, College Park（马里兰大学帕克分校）；Los Alamos National Laboratory（洛斯阿拉莫斯国家实验室）；Université de Montréal（蒙特利尔大学）
Unitarily localizable entanglement of Gaussian states
我们考虑连续变量系统的一般$m\times n$ -模式二分划，并研究了相关的双对称多模高斯态。它们被定义为在$m$模式和$n$模式子系统上的局部模式排列下不变的$(m+n)$模式高斯态。我们证明了这样的状态是等价的，在局部么正变换下，一个双模态和$m+n-2$不相关的单模态的张量积。然后，仅通过局部幺正操作，$m$模和$n$模块之间的纠缠可以完全集中在单个模对上。这个结果允许证明PPT（positivity of the partial transpose）条件是$(m + n)$模式双对称高斯态可分性的充分必要条件。我们精确地确定了它们的负性，并确定了一个双对称态的子集，其多模纠缠的形成可以解析计算。我们考虑了纯双对称态和混合双对称态的例子，并研究了它们的纠缠度随模数的变化。
Bidirectional quantum teleportation is a fundamental protocol for exchanging quantum information between two parties. Specifically, the two individuals make use of a shared resource state as well as local operations and classical communication (LOCC) to swap quantum states. In this work, we concisely highlight the contributions of our companion paper [Siddiqui and Wilde, arXiv:2010.07905]. We develop two different ways of quantifying the error of nonideal bidirectional teleportation by means of the normalized diamond distance and the channel infidelity. We then establish that the values given …
We develop a general framework to assess capabilities and limitations of the Gaussian toolbox in continuous variable quantum information theory. Our framework allows us to characterize the structure and properties of quantum resource theories specialized to Gaussian states and Gaussian operations, establishing rigorous methods for their description and yielding a unified approach to their quantification. We show in particular that, under a few intuitive and physically motivated assumptions on the set of free states, no Gaussian quantum resource can be distilled with free Gaussian operations, e…
In this paper, we study the entanglement structure of mixed states in quantum many-body systems using the $\textit{negativity contour}$, a local measure of entanglement that determines which real-space degrees of freedom in a subregion are contributing to the logarithmic negativity and with what magnitude. We construct an explicit contour function for Gaussian states using the fermionic partial-transpose. We generalize this contour function to generic many-body systems using a natural combination of derivatives of the logarithmic negativity. Though the latter negativity contour function is not…
Quantum entanglement is a key physical resource in quantum information processing that allows for performing basic quantum tasks such as teleportation and quantum key distribution, which are impossible in the classical world. Ever since the rise of quantum information theory, it has been an open problem to quantify entanglement in an information-theoretically meaningful way. In particular, every previously defined entanglement measure bearing a precise information-theoretic meaning is not known to be efficiently computable, or if it is efficiently computable, then it is not known to have a pre…
This paper establishes single-letter formulas for the exact entanglement cost of simulating quantum channels under free quantum operations that completely preserve positivity of the partial transpose (PPT). First, we introduce the $κ$-entanglement measure for point-to-point quantum channels, based on the idea of the $κ$-entanglement of bipartite states, and we establish several fundamental properties for it, including amortization collapse, monotonicity under PPT superchannels, additivity, normalization, faithfulness, and non-convexity. Second, we introduce and solve the exact entanglement cos…
The logarithmic negativity of a bipartite quantum state is a widely employed entanglement measure in quantum information theory, due to the fact that it is easy to compute and serves as an upper bound on distillable entanglement. More recently, the $κ$-entanglement of a bipartite state was shown to be the first entanglement measure that is both easily computable and has a precise information-theoretic meaning, being equal to the exact entanglement cost of a bipartite quantum state when the free operations are those that completely preserve the positivity of the partial transpose [Wang and Wild…
