Motivated by the desire to better understand the class of quantum operations on bipartite systems that preserve positivity of partial transpose (PPT operations) and its relation to the class LOCC (local operations and classical communication), we present some results on deterministic bipartite pure state transformations by PPT operations. Restricting our attention to the case where we start with a rank K maximally entangled state, we give a necessary condition for transforming it into a given pure state, which we show is also sufficient when K is two and the final state has Schmidt rank three. We show that it is sufficient for all K and all final states provided a conjecture about a certain family of semidefinite programs is true. We also demonstrate that the phenomenon of catalysis can occur under PPT operations and that, unlike LOCC catalysis, a maximally entangled state can be a catalyst. Finally, we give a necessary and sufficient condition for the possibility of transforming a rank K maximally entangled state to an arbitrary pure state by PPT operations assisted by some maximally entangled catalyst.
We show that all quantum states that do not have a positive partial transpose are distillable via channels, which preserve the positivity of the partial transpose. The question whether NPT bound entanglement exist is therefore closely related to the connection between the set of separable superoperators and PPT-preserving maps.
We study the entanglement cost under quantum operations preserving the positivity of the partial transpose (PPT-operations). We demonstrate that this cost is directly related to the logarithmic negativity, thereby providing the operational interpretation for this easily computable entanglement measure. As examples we discuss general Werner states and arbitrary bi-partite Gaussian states. Equipped with this result we then prove that for the anti-symmetric Werner state PPT-cost and PPT-entanglement of distillation coincide giving the first example of a truly mixed state for which entanglement ma…
Positivity of the density operator reflects itself in terms of sequences of inequalities on observable moments. Uncertainty relations for non-commuting observables form a subset of these inequalities. In addition, criterion of positivity under partial transposition (PPT) imposes distinct bounds on moments, violations of which signal entanglement. We present bounds on some novel sets of composite moments, consequent to positive partial transposition of the density operator and report their violation by entangled multiqubit states. In particular, we derive separability bounds on a multiqubit mom…
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 dis…
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…
We construct a large class of bipartite M x N quantum states which defines a proper subset of states with positive partial transposes (PPT). Any state from this class is PPT but the positivity of its partial transposition is recognized with respect to canonical factorization of the original density operator. We propose to call elements from this class states with strong positive partial transposes (SPPT). We conjecture that all SPPT states are separable.
We study violations of n particle Bell inequalities (as developed by Mermin and Klyshko) under the assumption that suitable partial transposes of the density operator are positive. If all transposes with respect to a partition of the system into p subsystems are positive, the best upper bound on the violation is 2^((n-p)/2). In particular, if the partial transposes with respect to all subsystems are positive, the inequalities are satisfied. This is supporting evidence for a recent conjecture by Peres that positivity of partial transposes could be equivalent to existence of local classical mode…
We discuss the entanglement properties of bipartite states with Gaussian Wigner functions. Separability and the positivity of the partial transpose are characterized in terms of the covariance matrix of the state, and it is shown that for systems composed of a single oscillator for Alice and an arbitrary number for Bob, positivity of the partial transpose implies separability. However, this implications fails with two oscillators on each side, as we show by a five parameter family of explicit counterexamples.
We analyze a class of positive partial transpose states (PPT) such that the positivity of its partial transposition is recognized with respect to canonical factorization of the original density operator (Cholesky block decomposition). We call such PPT states strong PPT states (SPPT). This property, contrary to PPT, is basis dependent. It is shown that there exists a proper subset of SPPT states which are separable and provide a separable decomposition for any of these states.
We show that positivity of {\it every} partial transpose of $N$-partite quantum states implies new inequalities on Bell correlations which are stronger than standard Bell inequalities by a factor of $2^{(N-1)/2}$. A violation of the inequality implies the system is in a bipartite distillable entangled state. It turns out that a family of $N$-qubit bound entangled states proposed by Dür {[Phys. Rev. Lett. {\bf 87}, 230402 (2001)]} violates the inequality for $N\geq 4$.
Criteria for distillability, and the property of having a positive partial transpose, are introduced for states of general bipartite quantum systems. The framework is sufficiently general to include systems with an infinite number of degrees of freedom, including quantum fields. We show that a large number of states in relativistic quantum field theory, including the vacuum state and thermal equilibrium states, are distillable over subsystems separated by arbitrary spacelike distances. These results apply to any quantum field model. It will also be shown that these results can be generalized t…
Density matrices of graphs are combinatorial laplacians normalized to have trace one (Braunstein \emph{et al.} \emph{Phys. Rev. A,} \textbf{73}:1, 012320 (2006)). If the vertices of a graph are arranged as an array, then its density matrix carries a block structure with respect to which properties such as separability can be considered. We prove that the so-called degree-criterion, which was conjectured to be necessary and sufficient for separability of density matrices of graphs, is equivalent to the PPT-criterion. As such it is not sufficient for testing the separability of density matrices …
The Peres-Horodecki criterion of positivity under partial transpose is studied in the context of separability of bipartite continuous variable states. The partial transpose operation admits, in the continuous case, a geometric interpretation as mirror reflection in phase space. This recognition leads to uncertainty principles, stronger than the traditional ones, to be obeyed by all separable states. For all bipartite Gaussian states, the Peres-Horodecki criterion turns out to be necessary and sufficient condition for separability.
Catalysts are substances that assist transformation of other resourceful objects without being consumed in the process. However, the fact that their `catalytic power' is limited and can be depleted is often overlooked, especially in the recently developing theories on catalysis of quantum randomness utilizing building correlation with catalyst. In this work, we establish a resource theory of one-shot catalytic randomness in which uncorrelatedness is consumed in catalysis of randomness. We do so by completely characterizing bipartite unitary operators that can be used to implement catalysis of …
We present an inequality that classifies mixed multipartite systems of an arbitrary dimension with respect to separability and positivity of partial transpose properties. This inequality gives a way to experimentally classify the observed state of multipartite systems of an arbitrary dimension. The inequality also implies that a sufficient condition for a density operator to have no positive partial transpose with respect to any subsystem is that the fidelity to a generalized Greenberger-Horne-Zeilinger state {[A. Cabello, Phys. Rev. A {\bf 63}, 022104 (2001)]} is larger than 1/2 for mixed mul…
We analyze the separability properties of density operators supported on $\C^2\otimes \C^N$ whose partial transposes are positive operators. We show that if the rank of $ρ$ equals N then it is separable, and that bound entangled states have rank larger than N. We also give a separability criterion for a generic density operator such that the sum of its rank and the one of its partial transpose does not exceed 3N. If it exceeds this number we show that one can subtract product vectors until decreasing it to 3N, while keeping the positivity of $ρ$ and its partial transpose. This automatically gi…
We present a framework for deciding whether a quantum state is separable or entangled using covariance matrices of locally measurable observables. This leads to the covariance matrix criterion as a general separability criterion. We demonstrate that this criterion allows to detect many states where the familiar criterion of the positivity of the partial transpose fails. It turns out that a large number of criteria which have been proposed to complement the positive partial transpose criterion - the computable cross norm or realignment criterion, the criterion based on local uncertainty relatio…
We study the distillability of a certain class of bipartite density operators which can be obtained via depolarization starting from an arbitrary one. Our results suggest that non-positivity of the partial transpose of a density operator is not a sufficient condition for distillability, when the dimension of both subsystems is higher than two.
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…
Bipartite states with vanishing quantum discord are necessarily separable and hence positive partial transpose (PPT). We show that 2 x N states satisfy additional property: the positivity of their partial transposition is recognized with respect to the canonical factorization of the original density operator. We call such states SPPT (for strong PPT). Therefore, we provide a natural witness for a quantum discord: if a 2 x N state is not SPPT it must contain nonclassical correlations measured by quantum discord. It is an analog of the celebrated Peres-Horodecki criterion: if a state is not PPT …
We investigate the irreversibility of entanglement distillation for a symmetric d-1 parameter family of mixed bipartite quantum states acting on Hilbert spaces of arbitrary dimension d x d. We prove that in this family the entanglement cost is generically strictly larger than the distillable entanglement, such that the set of states for which the distillation process is asymptotically reversible is of measure zero. This remains true even if the distillation process is catalytically assisted by pure state entanglement and every operation is allowed, which preserves the positivity of the partial…
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…
