Comment on "Peres-Horodecki Separability Criterion for Continuous Variable Systems"

Noiseless method for checking the Peres separability criterion by local operations and classical communication

We present a method for checking Peres separability criterion in an arbitrary bipartite quantum state $ρ_{AB}$ within local operations and classical communication scenario. The method does not require the prior state reconstruction and the structural physical approximation. The main task for the two observers, Alice and Bob, is to estimate some specific functions. After getting these functions, they can determine the minimal eigenvalue of $ρ^{T_{B}}_{AB}$, which serves as an entanglement indicator in lower dimensions.

Eigenvalues, Peres' separability condition and entanglement

The general expression with the physical significance and positive definite condition of the eigenvalues of $4\times 4$ Hermitian and trace-one matrix are obtained. This implies that the eigenvalue problem of the $4\times 4$ density matrix is generally solved. The obvious expression of Peres' separability condition for an arbitrary state of two qubits is then given out and it is very easy to use. Furthermore, we discuss some applications to the calculation of the entanglement, the upper bound of the entanglement, and a model of the transfer of entanglement in a qubit chain through a noisy chan…

Noiseless Quantum Circuits for the Peres Separability Criterion

In this Letter we give a method for constructing sets of simple circuits that can determine the spectrum of a partially transposed density matrix, without requiring either a tomographically complete POVM or the addition of noise to make the spectrum non-negative. These circuits depend only on the dimension of the Hilbert space and are otherwise independent of the state.

Separability and entanglement of four-mode Gaussian states

The known Peres-Horodecki criterion and scaling criterion of separability are considered on examples of three-mode and four-mode Gaussian states of electromagnetic field. It is shown that the principal minors of the photon quadrature dispersion matrix are sensitive to the change of scaling parameters. An empirical observation has shown that the bigger the modulus of negative principal minors, the more entangled the state.

Hilbert-Schmidt Separability Probabilities and Noninformativity of Priors

The Horodecki family employed the Jaynes maximum-entropy principle, fitting the mean (b_{1}) of the Bell-CHSH observable (B). This model was extended by Rajagopal by incorporating the dispersion (σ_{1}^2) of the observable, and by Canosa and Rossignoli, by generalizing the observable (B_α). We further extend the Horodecki one-parameter model in both these manners, obtaining a three-parameter (b_{1},σ_{1}^2,α) two-qubit model, for which we find a highly interesting/intricate continuum (-\infty < α< \infty) of Hilbert-Schmidt (HS) separability probabilities -- in which, the golden ratio is featu…

Scaling Separability Criterion: Application To Gaussian States

We introduce examples of three- and four-mode entangled Gaussian mixed states that are not detected by the scaling and Peres-Horodecki separability criteria. The presented modification of the scaling criterion resolves this problem. Also it is shown that the new criterion reproduces the main features of the scaling pictures for different cases of entangled states, while the previous versions lead to completely different outcomes. This property of the presented scheme is evidence of its higher generality.

Finer Characterizations of Pure Bipartite Entanglement

A new criterion necessary and sufficient for the separability of pure bipartite systems for arbitrary finite dimensions is demonstrated; and the corresponding finer quantitative measures or characterizations of entanglement (beyond mere separability or non-separability determination) are discussed. Based on this criterion, we proved that the well-known Peres-Horodecki positivity-of-partial-transform criterion is also necessary and sufficient for separability in the case of pure bipartite systems. The maximum value of entanglement, and the corresponding maximally-entangled states are also worke…

The generalized partial transposition criterion for separability of multipartite quantum states

We present a generalized partial transposition separability criterion for the density matrix of a multipartite quantum system. This criterion comprises as special cases the famous Peres-Horodecki criterion and the recent realignment criterion in [O. Rudolph, quant-ph/0202121] and [K. Chen, L.A. Wu, quant-ph/0205017]. It involves only straightforward matrix manipulations and is easy to apply. A quantitative measure of entanglement based on this criterion is also obtained.

Separability and entanglement of n-qubits and a qubit with a qudit using Hilbert-Schmidt decompositions

Hilbert-Schmidt (HS) decompositions are employed for analyzing systems of n-qubits, and a qubit with a qudit. Negative eigenvalues, obtained by partial-transpose (PT) plus local unitary transformations (PTU) for one qubit from the whole system, are used for indicating inseparability. A sufficient criterion for full separability of the n-qubits and qubit-qudit systems is given. We use the singular value decomposition (SVD) for improving the criterion for full separability. General properties of entanglement and separability are analyzed for a system of a qubit and a qudit and n-qubits systems, …

Entanglement in SU(2)-invariant quantum spin systems

We analyze the entanglement of SU(2)-invariant density matrices of two spins $\vec S_{1}$, $\vec S_{2}$ using the Peres-Horodecki criterion. Such density matrices arise from thermal equilibrium states of isotropic spin systems. The partial transpose of such a state has the same multiplet structure and degeneracies as the original matrix with eigenvalue of largest multiplicity being non-negative. The case $S_{1}=S$, $S_{2}=1/2$ can be solved completely and is discussed in detail with respect to isotropic Heisenberg spin models. Moreover, in this case the Peres-Horodecki ciriterion turns out to …

A Necessary and Sufficient Criterion for the Separability of Quantum State

Quantum entanglement has been regarded as one of the key physical resources in quantum information sciences. However, the determination of whether a mixed state is entangled or not is generally a hard issue, even for the bipartite system. In this work we propose an operational necessary and sufficient criterion for the separability of an arbitrary bipartite mixed state, by virtue of the multiplicative Horn's problem. The work follows the work initiated by Horodecki {\it et. al.} and uses the Bloch vector representation introduced to the separability problem by J. De Vicente. In our criterion, …

Uncertainty relation and inseparability criterion

We investigate the Peres-Horodecki positive partial transpose (PPT) criterion in the context of conserved quantities and derive a condition of in- separability for a composite bipartite system depending only on the dimen- sions of its subsystems, which leads to a bi-linear entanglement witness for the two qubit system. A separability inequality using generalized Schrodinger- Robertson uncertainty relation taking suitable operators, has been derived, which proves to be stronger than the bi-linear entanglement witness operator. In the case of mixed density matrices, it identically distinguishes …

Separability and entanglement in 2xN composite quantum systems

We show that all density operators of 2$\times N$--dimensional quantum systems that remain invariant after partial transposition with respect to the first system are separable. Based on this criterion, we derive a sufficient separability condition for general density operators in such quantum systems. We also give a simple proof of the separability criterion in $2\times 2$--dimensional systems [A. Peres, Phys. Rev. Lett {\bf 77}, 1413 (1996)]

Reduction criterion of separability and limits for a class of protocols of entanglement distillation

We analyse the problem of distillation of entanglement of mixed states in higher dimensional compound systems. Employing the positive maps method [M. Horodecki et al., Phys. Lett. A 223 1 (1996)] we introduce and analyse a criterion of separability which relates the structures of the total density matrix and its reductions. We show that any state violating the criterion can be distilled by suitable generalization of the two-qubit protocol which distills any inseparable two-qubit state. Conversely, all the states which can be distilled by such a protocol must violate the criterion. The proof in…

Almost complete solution for the NP-hard separability problem of Bell diagonal qutrits

With a probability of success of $95 \%$ we solve the separability problem for Bell diagonal qutrit states with positive partial transposition (PPT). The separability problem, i.e. distinguishing separable and entangled states, generally lacks an efficient solution due to the existence of bound entangled states. In contrast to free entangled states that can be used for entanglement distillation via local operations and classical communication, these states cannot be detected by the Peres-Horodecki criterion or PPT criterion. We analyze a large family of bipartite qutrit states that can be sepa…

Partial positive scaling transform: a separability criterion

The problem of constructing a necessary and sufficient condition for establishing the separability of continuous variable systems is revisited. Simon [R. Simon, Phys. Rev. Lett. 84, 2726 (2000)] pointed out that such a criterion may be constructed by drawing a parallel between the Peres' partial transpose criterion for finite dimensional systems and partial time reversal transformation for continuous variable systems. We generalize the partial time reversal transformation to a partial scaling transformation and re-examine the problem using a tomographic description of the continuous variable q…

Exact algebraic separability criterion for two-qubit systems

A conceptually simpler proof of the separability criterion for two-qubit systems, which is referred to as "Hefei inequality" in literature, is presented. This inequality gives a necessary and sufficient separability criterion for any mixed two-qubit system unlike the Bell-CHSH inequality that cannot test the mixed-states such as the Werner state when regarded as a separability criterion. The original derivation of this inequality emphasized the uncertainty relation of complementary observables, but we show that the uncertainty relation does not play any role in the actual derivation and the Pe…

Some Properties of the Computable Cross Norm Criterion for Separability

The computable cross norm (CCN) criterion is a new powerful analytical and computable separability criterion for bipartite quantum states, that is also known to systematically detect bound entanglement. In certain aspects this criterion complements the well-known Peres positive partial transpose (PPT) criterion. In the present paper we study important analytical properties of the CCN criterion. We show that in contrast to the PPT criterion it is not sufficient in dimension 2 x 2. In higher dimensions we prove theorems connecting the fidelity of a quantum state with the CCN criterion. We also a…

Doubly constrained bounds on the entanglement of formation

We derive bounds on the entanglement of formation of states of a 4xN bipartite system using two entanglement monotones constructed from operational separability criteria. The bounds are used simultaneously as constraints on the entanglement of formation. One monotone is the negativity, which is based on the Peres positive-partial-transpose criterion. For the other, we formulate a monotone based on a separability criterion introduced by Breuer (H.-P. Breuer, e-print quant-ph/0605036).

Test for entanglement using physically observable witness operators and positive maps

Motivated by the Peres-Horodecki criterion and the realignment criterion we develop a more powerful method to identify entangled states for any bipartite system through a universal construction of the witness operator. The method also gives a new family of positive but non-completely positive maps of arbitrary high dimensions which provide a much better test than the witness operators themselves. Moreover, we find there are two types of positive maps that can detect 2xN and 4xN bound entangled states. Since entanglement witnesses are physical observables and may be measured locally our constru…

Multipartite Entanglement Criterion from Uncertainty Relations

We formulate an entanglement criterion using Peres-Horodecki positive partial transpose operations combined with the Schrödinger-Robertson uncertainty relation. We show that any pure entangled bipartite and tripartite state can be detected by experimentally measuring mean values and variances of specific observables. Those observables must satisfy a specific condition in order to be used, and we show their general form in the $2\times 2$ (two qubits) dimension case. The criterion is applied on a variety of physical systems including bipartite and multipartite mixed states and reveals itself to…

Universal separability criterion for arbitrary density matrices from causal properties of separable and entangled quantum states

General physical background of Peres-Horodecki positive partial transpose (ppt-) separability criterion is revealed. Especially, the physical sense of partial transpose operation is shown to be equivalent to the "local causality reversal" (LCR-) procedure for all separable quantum systems or to the uncertainty in a global time arrow direction in all entangled cases. Using these universal causal considerations the heuristic causal separability criterion has been proposed for arbitrary $ D^{N} \times D^{N}$ density matrices acting in $ \mathcal{H}_{D}^{\otimes N} $ Hilbert spaces which describe …

From the sandwiched quantum relative Tsallis entropy to its conditional form: Separability criterion beyond local and global spectra

The quantum relative Renyi entropy of two density matrices was recently extended when the two do not commute, from which a conditional entropy is identified. This is here extended to the corresponding Tsallis relative entropy and to its conditional form. This new expression of Tsallis conditional entropy is shown to witness entanglement beyond the method based on global and local spectra of composite quantum states. When the reduced density matrix happens to be a maximally mixed state, this conditional entropy coincides with the expression in terms of Tsallis entropies derived earlier by Abe a…

Towards Nonadditive Quantum Information Theory

A definition of the nonadditive (nonextensive) conditional entropy indexed by q is presented. Based on the composition law in terms of it, the Shannon-Khinchin axioms are generalized and the uniqueness theorem is established for the Tsallis entropy. The nonadditive conditional entropy, when considered in the quantum context, is always positive for separable states but takes negative values for entangled states, indicating its utility for characterizing entanglement. A criterion deduced from it for separability of the density matrix is examined in detail by using a bipartite spin-half system. I…

Entanglement criteria and nonlocality for multi-mode continuous variable systems

We demonstrate how to efficiently derive a broad class of inequalities for entanglement detection in multi-mode continuous variable systems. The separability conditions are established from partial transposition (PT) in combination with several distinct necessary conditions for a quantum physical state, which include previously established inequalities as special cases. Remarkably, our method enables us to support Peres' conjecture to its full generality within the framework of Cavalcanti-Foster-Reid-Drummond multipartite Bell inequality [Phys. Rev. Lett. 99}, 210405 (2007)] that the nonlocali…

调节非对易空间中的可分性

Tuning the separability in noncommutative space

本文通过 Bopp 移位与 Lewis-Riesenfeld 不变量方法，将含时非对易两体高斯系统转化为对易空间形式，并利用 Simon 条件证明 NC 形变及振子参数可调控态的可分性。

Entanglement and mixedness in open systems with continuous variables

In the framework of the theory of open systems based on completely positive quantum dynamical semigroups, we give a description of the dynamics of entanglement for a system consisting of two uncoupled modes interacting with a thermal environment. Using Peres-Simon necessary and sufficient criterion of separability for two-mode Gaussian states, we describe the evolution of entanglement in terms of the covariance matrix for a Gaussian input state. We determine the asymptotic Gaussian maximally entangled mixed states (GMEMS) and their corresponding asymptotic maximal logarithmic negativity, which…

Continuous variable entanglement in open quantum dynamics

In the framework of the theory of open systems based on completely positive quantum dynamical semigroups, we give a description of the dynamics of entanglement for a system consisting of two uncoupled harmonic oscillators interacting with a thermal environment. Using Peres-Simon necessary and sufficient criterion for separability of two-mode Gaussian states, we describe the evolution of entanglement in terms of the covariance matrix for a Gaussian input state. For some values of the temperature of environment, the state keeps for all times its initial type: separable or entangled. In other cas…

Entanglement in two-mode continuous variable open quantum systems

In the framework of the theory of open systems based on completely positive quantum dynamical semigroups, we give a description of the continuous-variable entanglement for a system consisting of two noninteracting modes embedded in a thermal environment. By using the Peres-Simon necessary and sufficient criterion for separability of two-mode Gaussian states, we describe the evolution of entanglement in terms of the covariance matrix for Gaussian input states. For all values of the temperature of the thermal reservoir, an initial separable Gaussian state remains separable for all times. In the …