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.
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.
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.
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…
The probability that a generic real, complex or quaternionic two-qubit state is separable can be considered to be the sum of three contributions. One is from those states that are absolutely separable, that is those (which can not be entangled by unitary transformations) for which the maximal concurrence over spectral orbits (C_{max}) is zero. The other two contributions are from the states for which C_{max} in [0,1/2], and for which C_{max} in [1/2,1]. We have previously (arXiv:0805.0267) found exact formulas for the absolutely separable contributions in terms of the Hilbert-Schmidt metric ov…
A geometrical picture of separability of 2 x 2 composite quantum systems, showing the region of separable density matrices in the space of hermitian matrices, is given. It rests on the criterion of separability given by Peres, and it is an extension of the ``Horodecki diagram'' and the ``stella octangula'' described by Aravind.
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)]
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.
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.
Using the temperature Green's function approach we investigate entanglement between two non-interacting spin 1 bosons in thermal equilibrium. We show that, contrary to the fermion case, the entanglement is absent in the spin density matrix. Separability is demonstrated using the Peres-Horodecki criterion for massless particles such as photons in black body radiation. For massive particles, we show that the density matrix can be decomposed with separable states.
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…
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.
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, …
We obtain analytical lower bounds on the concurrence of bipartite quantum systems in arbitrary dimensions related to the violation of separability conditions based on local uncertainty relations and on the Bloch representation of density matrices. We also illustrate how these results complement and improve those recently derived [K. Chen, S. Albeverio, and S.-M. Fei, Phys. Rev. Lett. 95, 040504 (2005)] by considering the Peres-Horodecki and the computable cross norm or realignment criteria.
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…
We introduce a weak form of the realignment separability criterion which is particularly suited to detect continuous-variable entanglement and is physically implementable (it requires linear optics transformations and homodyne detection). Moreover, we define a family of states, called Schmidt-symmetric states, for which the weak realignment criterion reduces to the original formulation of the realignment criterion, making it even more valuable as it is easily computable especially in higher dimensions. Then, we focus in particular on Gaussian states and introduce a filtration procedure based o…
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…
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…
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).
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 …
The paper describes a solution to the problem of quantum measurement that has been proposed recently. The literal understanding of the basic rule of quantum mechanics on identical particles violates the cluster separation principle and so leads to difficulties. A proposal due to Peres of how such difficulties could be removed is reformulated and extended. Cluster separability leads to a locality requirement on observables and to the key notion of separation status. Separation status of a microsystem is shown to change in preparation and registration processes. The indispensability of detectors…
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…
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…
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…
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 …
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 …
For quantum systems with a total dimension greater than six, the positive partial transposition (PPT) criterion is sufficient but not necessary to decide the non-separability of quantum states. Here, we present an Automated Machine Learning approach to classify random states of two qutrits as separable or entangled using enough data to perform a quantum state tomography, without any direct measurement of its entanglement. We could successfully apply our framework even when the Peres-Horodecki criterion fails. In addition, we could also estimate the Generalized Robustness of Entanglement with r…
We discuss the critical point $x_c$ separating the quantum entangled and separable states in two series of N spins S in the simple mixed state characterized by the matrix operator $ρ=x|\tildeϕ><\tildeϕ| + \frac{1-x}{D^N} I_{D^N}$ where $x \in [0,1]$, $D =2S+1$, ${\bf I}_{D^N}$ is the $D^N \times D^N$ unity matrix and $|\tilde ϕ>$ is a special entangled state. The cases x=0 and x=1 correspond respectively to fully random spins and to a fully entangled state. In the first of these series we consider special states $|\tildeϕ>$ invariant under charge conjugation, that generalizes the N=2 spin S=1/…
We report observation of quasiparticle pair-production and characterize quantum entanglement created by a modulational instability in an atomic superfluid. By quenching the atomic interaction to attractive and then back to weakly repulsive, we produce correlated quasiparticles and monitor their evolution in a superfluid through evaluating the in situ density noise power spectrum, which essentially measures a 'homodyne' interference between ground state atoms and quasiparticles of opposite momenta. We observe large amplitude growth in the power spectrum and subsequent coherent oscillations in a…