We first show that partial transposition for pure and mixed two-particle states in a discrete $N$-dimensional Hilbert space is equivalent to a change in sign of the momentum of one of the particles in the Wigner function for the state. We then show that it is possible to formulate an uncertainty relation for two-particle Hermitian operators constructed in terms of Schwinger operators, and study its role in detecting entanglement in a two-particle state: the violation of the uncertainty relation for a partially transposed state implies that the original state is entangled. This generalizes a result obtained for continuous-variable systems to the discrete-variable-system case. This is significant because testing entanglement in terms of an uncertainty relation has a physically appealing interpretation. We study the case of a Werner state, which is a mixed state constructed as a convex combination with a parameter $r$ of a Bell state $|Φ^{+} \rangle$ and the completely incoherent state, $\hatρ_r = r |Φ^{+} \rangle \langle Φ^{+}| + (1-r)\frac{\hat{\mathbb{I}}}{N^2}$: we find that for $r_0 < r < 1$, where $r_0$ is obtained as a function of the dimensionality $N$, the uncertainty relation for the partially transposed Werner state is violated and the original Werner state is entangled.
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.
Bound entanglement with a nonpositive partial transposition (NPT) does not exist. For any NPT entangled state a distillation procedure can be based on a certain number of copies. This number is the minimal Schmidt rank of a pure state needed to witness the NPT entanglement under study.
The partial transposition of a two-qubit state has at most one negative eigenvalue and all the eigenvalues lie in [-1/2,1]. In this Brief Report, we extend this result by Sanpera et al. [A. Sanpera, R. Tarrach and G. Vidal, Phys. Rev. A 58, 826 (1998)] to arbitrary bipartite states. We show that partial transposition of an $m\otimes n$ state can not have more than (m-1)(n-1) number of negative eigenvalues. Low-dimensional states have been studied to show the tightness of this result and explicit examples have been provided for $mn\le 9$. It is also shown that all the eigenvalues of partial tra…
We study bipartite entanglement in systems of N identical bosons distributed in M different modes. For such systems, a definition of separability not related to any a priori Hilbert space tensor product structure is needed and can be given in terms of commuting subalgebras of observables. Using this generalized notion of separability, we classify the states for which partial transposition turns out to be a necessary and sufficient condition for entanglement detection.
We construct a family of bipartite states of arbitrary dimension whose eigenvalues of the partially transposed matrix can be inferred directly from the block structure of the global density matrix. We identify from this several subfamilies in which the PPT criterion is both necessary and sufficient. A sufficient criterion of separability is obtained, which is fundamental for the discussion. We show how several examples of states known to be classifiable by the PPT criterion indeed belong to this general set. Possible uses of these states in numerical analysis of entanglement and in the search …
It is challenging task to detect and measure genuine multipartite entanglement. We investigate the problem by considering the average based positive partial transposition(PPT) criterion and the realignment criterion. Sufficient conditions for detecting genuine tripartite entanglement are presented. We also derive lower bounds for the genuine tripartite entanglement concurrence with respect to the conditions. While the PPT criterion and the realignment criterion are powerful for detecting bipartite entanglement and for providing lower bounds of bipartite concurrences, our results give an effect…
We show that partial transposition for pure and mixed two-particle states in a discrete $N$-dimensional Hilbert space is equivalent to a change in sign of a "momentum-like" variable of one of the particles in the Wigner function for the state. This generalizes a result obtained for continuous-variable systems to the discrete-variable system case. We show that, in principle, quantum mechanics allows measuring the expectation value of an observable in a partially transposed state, in spite of the fact that the latter may not be a physical state. We illustrate this result with the example of an "…
We construct a new class of PPT states for bipartite "d x d" systems. This class is invariant under the maximal commutative subgroup of U(d) and contains as special cases almost all known examples of PPT states. Theses states may be used to test the atomic property of positive maps which are crucial in studying quantum entanglement.
We propose a novel parameterized entanglement measure $α$-concurrence for bipartite systems. By employing positive partial transposition and realignment criteria, we derive analytical lower bounds for the $α$-concurrence. Moreover, we calculate explicitly the analytic expressions of the $α$-concurrence for isotropic states and Werner states.
Usual separability criteria applicable to distinguishable particles are not applicable to identical particles. Here we show that Partial transposition and symmetrization (or anti symmetrization) of density matrix of bipartite boson systems (fermion systems) can be used to check whether a state is separable or not.By using determinant based separability criteria it has been found that bipartite states of identical particles are always separable. It is found that partial transposition and symmetrization is equivalent to realignment criteria proposed by Wu.
We study robustness of bipartite entangled states that are positive under partial transposition (PPT). It is shown that almost all PPT entangled states are unconditionally robust, in the sense, both inseparability and positivity are preserved under sufficiently small perturbations in its immediate neighborhood. Such unconditionally robust PPT entangled states lie inside an open PPT entangled ball. We construct examples of such balls whose radii are shown to be finite and can be explicitly calculated. This provides a lower bound on the volume of all PPT entangled states. Multipartite generaliza…
We provide necessary and sufficient conditions for the partial transposition of bipartite harmonic quantum states to be nonnegative. The conditions are formulated as an infinite series of inequalities for the moments of the state under study. The violation of any inequality of this series is a sufficient condition for entanglement. Previously known entanglement conditions are shown to be special cases of our approach.
We solve the open question of the existence of four-qubit entangled symmetric states with positive partial transpositions (PPT states). We reach this goal with two different approaches. First, we propose a half-analytical-half-numerical method that allows to construct multipartite PPT entangled symmetric states (PPTESS) from the qubit-qudit PPT entangled states. Second, we adapt the algorithm allowing to search for extremal elements in the convex set of bipartite PPT states [J. M. Leinaas, J. Myrheim, and E. Ovrum, Phys. Rev. A 76, 034304 (2007)] to the multipartite scenario. With its aid we s…
The discovery of entangled quantum states from which one cannot distill pure entanglement constitutes a fundamental recent advance in the field of quantum information. Such bipartite bound-entangled (BE) quantum states \emph{could} fall into two distinct categories: (1) Inseparable states with positive partial transposition (PPT), and (2) States with negative partial transposition (NPT). While the existence of PPT BE states has been confirmed, \emph{only one} class of \emph{conjectured} NPT BE states has been discovered so far. We provide explicit constructions of a variety of multi-copy undis…
Many of the properties of the partial transposition are not clear so far. Here the number of the negative eigenvalues of K(T)(the partial transposition of K) is considered carefully when K is a two-partite state. There are strong evidences to show that the number of negative eigenvalues of K(T) is N(N-1)/2 at most when K is a state in Hilbert space N*N. For the special case, 2*2 system(two qubits), we use this result to give a partial proof of the conjecture sqrt(K(T))(T)>=0. We find that this conjecture is strongly connected with the entanglement of the state corresponding to the negative eig…
Necessary and sufficient conditions for bipartite entanglement are derived, which apply to arbitrary Hilbert spaces. Motivated by the concept of witnesses, optimized entanglement inequalities are formulated solely in terms of arbitrary Hermitian operators, which makes them useful for applications in experiments. The needed optimization procedure is based on a separability eigenvalue problem, whose analytical solutions are derived for a special class of projection operators. For general Hermitian operators, a numerical implementation of entanglement tests is proposed. It is also shown how to id…
We prove an analytic positive lower bound for the geometric distance between entangled positive partial transpose (PPT) states of a broad class and any private state that delivers one secure key bit. Our proof holds for any Hilbert space of finite dimension. Although our result is proven for a specific class of PPT states, we show that our bound nonetheless holds for all known entangled PPT states with non-zero distillable key rates whether or not they are in our special class.
We analyze a class of entangled states for bipartite $d \otimes d$ systems, with $d$ non-prime. The entanglement of such states is revealed by the construction of canonically associated entanglement witnesses. The structure of the states is very simple and similar to the one of isotropic states: they are a mixture of a separable and a pure entangled state whose supports are orthogonal. Despite such simple structure, in an opportune interval of the mixing parameter their entanglement is not revealed by partial transposition nor by the realignment criterion, i.e. by any permutational criterion i…
The structure of the state spaces of bipartite (N tensor N) quantum systems which are invariant under product representations of the group SO(3) of three-dimensional proper rotations is analyzed. The subsystems represent particles of arbitrary spin j which transform according to an irreducible representation of the rotation group. A positive map theta is introduced which describes the time reversal symmetry of the local states and which is unitarily equivalent to the transposition of matrices. It is shown that the partial time reversal transformation theta_2 = (I tensor theta) acting on the co…
In this paper we consider the separability problem for bipartite quantum states arising from graphs. Earlier it was proved that the degree criterion is the graph-theoretic counterpart of the familiar positive partial transpose criterion for separability, although there are entangled states with positive partial transpose for which the degree criterion fails. Here we introduce the concept of partially symmetric graphs and degree symmetric graphs by using the well-known concept of partial transposition of a graph and degree criteria, respectively. Thus, we provide classes of bipartite separable …
It is shown that any separable state on Hilbert space ${\cal H}={\cal H}_1\otimes{\cal H}_2$, can be written as a convex combination of N pure product states with $N\leq (dim{\cal H})^2$. Then a new separability criterion for mixed states in terms of range of density matrix is obtained. It is used in construction of inseparable mixed states with positive partial transposition in the case of $3\times 3$ and $2\times 4$ systems. The states represent an entanglement which is hidden in a more subtle way than it has been known so far.
In this paper, we present the necessary and sufficient conditions of separability for bipartite pure states in infinite dimensional Hilbert spaces. Let $M$ be the matrix of the amplitudes of $\ketψ$, we prove $M$ is a compact operator. We also prove $\ketψ$ is separable if and only if $M$ is a bounded linear operator with rank 1, that is the image of $M$ is a one dimensional Hilbert space. So we have related the separability for bipartite pure states in infinite dimensional Hilbert spaces to an important class of bounded linear operators in Functional analysis which has many interesting proper…
We consider rotationally invariant states in $\mathbb{C}^{N_{1}}\ot \mathbb{C}^{N_{2}}$ Hilbert space with even $N_{1}\geq 4$ and arbitrary $N_{2}\geq N_{1}$, and show that in such case there always exist states which are inseparable and remain positive after partial transposition, and thus the PPT criterion does not suffice to prove separability of such systems. We demonstrate it applying a map developed recently by Breuer [H.-P. Breuer, Phys. Rev. Lett {\bf 97}, 080501 (2006)] to states that remain invariant after partial time reversal.
The present review presents the authors previous results on the topic from the title in a new light. Most of the previous results were obtained using the techniques of antilinear Hilbert-Schmidt mappings of one Hilbert pace into another, which is unknown and unused in the literature. This, naturally, diminished the impact of the results. In this article the results are derived anew with standard techniques. The topics listed at the end of the Introduction, are expounded in 9 theorems, 5 propositions etc. Partial scalar product and partial trace methods are used throughout. Further relevant res…
In this letter we discuss a new entanglement measure. It is based on the Hilbert-Schmidt norm of operators. We give an explicit formula for calculating the entanglement of a large set of states on C^2 \times C^2. Furthermore we find some relations between the entanglement of relative entropy and the Hilbert-Schmidt entanglement. A rigorous definition of partial transposition is given in the appendix.
We introduce a class of bipartite entangled continuous variable states that are positive under partial transposition operation, i.e., PPT bound entangled. These states are based on realistic preparation procedures in optical systems, being thus a feasible option to generate and observe genuinely bipartite bound entanglement in high precision experiments. One fundamental step in our scheme is to perform a non-Gaussian operation over a single-mode Gaussian state; this deGaussification procedure is achieved through a modified single-photon addition, which is a procedure that has currently being i…
We explore the link between two concepts: the level of violation of a Bell inequality by a quantum state and discrimination between two states by means of restricted classes of operations, such as local operations and classical communication (LOCC) and separable ones. For any bipartite Bell inequality, we show that its value on a given quantum state cannot exceed the classical bound by more than the maximal quantum violation shrunk by a factor related to distinguishability of this state from the separable set by means of some restricted class of operations. We then consider the general scenari…
We show that each entanglement witness detecting given bipartite entangled state provides an estimation of its concurrence. We illustrate our result with several well known examples of entanglement witnesses and compare the corresponding estimation of concurrence with other estimations provided by the trace norm of partial transposition and realignment.
A new purification scheme is proposed which applies to arbitrary dimensional bipartite quantum systems. It is based on the repeated application of a special class of nonlinear quantum maps and a single, local unitary operation. This special class of nonlinear quantum maps is generated in a natural way by a hermitian generalized XOR-gate. The proposed purification scheme offers two major advantages, namely it does not require local depolarization operations at each step of the purification procedure and it purifies more efficiently than other know purification schemes.
We present a method to test quantum behavior of quantum information processing devices, such as quantum memories, teleportation devices, channels and quantum key distribution protocols. The test of quantum behavior can be phrased as the verification of effective entanglement. Necessary separability criteria are formulated in terms of a matrix of expectation values in conjunction with the partial transposition map. Our method is designed to reduce the resources for entanglement verification. A particular protocol based on coherent states and homodyne detection is used to illustrate the method. …
Entanglement detection problem is one of the important problem in quantum information theory. Gurvit showed that this problem is NP complete and thus this may be the possible reason that only one criterion is not sufficient to detect all entangled states. There are some powerful entanglement detection criterion such as partial transposition criterion, realignment criterion but it may not be possible to implement them successfully in the experiment. This situation can be avoided if the entanglement is detected through the construction of witness operator method. In this work, we take an analyti…
We introduce the bosonic and fermionic ensembles of density matrices and study their entanglement. In the fermionic case, we show that random bipartite fermionic density matrices have non-positive partial transposition, hence they are typically entangled. The similar analysis in the bosonic case is more delicate, due to a large positive outlier eigenvalue. We compute the asymptotic ratio between the size of the environment and the size of the system Hilbert space for which random bipartite bosonic density matrices fail the PPT criterion, being thus entangled. We also relate moment computations…
Eigenstates of many-body localised (MBL) systems are characterised by area-law bipartite entanglement along with multifractal statistics of their amplitudes on Hilbert space. At the same time, sparse random pure states with fractal statistics are not compatible with area-law and necessarily exhibit volume-law entanglement. This raises the question that what correlation functions of Hilbert-space amplitudes MBL eigenstates must possess for their area law entanglement to be compatible with their multifractality. In this work, we identify and compute such appropriate Hilbert-space correlations wh…
The entanglement produced by a bilinear Hamiltonian in continuous variables has been thoroughly studied and widely used. In contrast, the physics of entanglement resulting from nonlinear interaction described by partially degenerate high-order Hamiltonians remains unclear. Here, we derive a hierarchy of sufficient and necessary conditions for the positive-partial-transposition separability of bipartite nonlinear quantum states. The proposed criteria detect the nonpositive-partial-transposition inseparability of higher-order moments of states, which provides a systematic framework for the chara…
We construct a large class of quantum "d x d" states which are positive under partial transposition (so called PPT states). The construction is based on certain direct sum decomposition of the total Hilbert space displaying characteristic circular structure - that is way we call them circulant states. It turns out that partial transposition maps any such decomposition into another one and hence both original density matrix and its partially transposed partner share similar cyclic properties. This class contains many well known examples of PPT states from the literature and gives rise to a huge…
We present separability criteria for both bipartite and multipartite quantum states. These criteria include the criteria based on the correlation matrix and its generalized form as special cases. We show by detailed examples that our criteria are more powerful than the positive partial transposition criterion, the realignment criterion and the criteria based on the correlation matrices.
Given a bipartite quantum system represented by a tensor product of two Hilbert spaces, we give an elementary argument showing that if either component space is infinite-dimensional, then the set of nonseparable density operators is trace-norm dense in the set of all density operators (and the separable density operators nowhere dense). This result complements recent detailed investigations of separability, which show that when both component Hilbert spaces are finite-dimensional, there is a separable neighborhood (perhaps very small for large dimensions) of the maximally mixed state.
In this work we show that bipartite quantum states with local Hilbert space dimension n can violate a Bell inequality by a factor of order $\sqrt{n}$ (up to a logarithmic factor) when observables with n possible outcomes are used. A central tool in the analysis is a close relation between this problem and operator space theory and, in particular, the very recent noncommutative $L_p$ embedding theory. As a consequence of this result, we obtain better Hilbert space dimension witnesses and quantum violations of Bell inequalities with better resistance to noise.
Quantum entanglement plays a central role in many areas of physics, from quantum information science to many-body systems. In order to grasp the essence of this phenomenon, it is fundamental to understand how different manifestations of entanglement relate to each other. In 1999, Peres conjectured that Bell nonlocality is equivalent to distillability of entanglement. The intuition of Peres was that the non-classicality of an entangled state, as witnessed via Bell inequality violation, implies that pure entanglement can be distilled from this state, hence making it useful for most quantum infor…
From the consideration of measuring bipartite mixed states by separable pure states, we introduce algebraic sets in complex projective spaces for bipartite mixed states as the degenerating locus of the measurement. These algebraic sets are independent of the eigenvalues and only measure the "position" of eigenvectors of bipartite mixed states. They are nonlocal invariants ie., remaining invariant after local unitary transformations. The algebraic sets have to be the sum of the linear subspaces if the mixed states are separable, and thus we give a "eigenvalue-free" criterion of separability.Bas…
Entanglement concurrence has been widely used for featuring entanglement in quantum experiments. As an entanglement monotone it is related to specific quantum Tsallis entropy. Our goal in this paper is to propose a new parameterized bipartite entanglement monotone which is named as $q$-concurrence inspired by general Tsallis entropy. We derive an analytical lower bound for the $q$-concurrence of any bipartite quantum entanglement state by employing positive partial transposition criterion and realignment criterion, which shows an interesting relationship to the strong separability criteria. Th…
We have determined numerically the maximum quantum violation of over 100 tight bipartite Bell inequalities with two-outcome measurements by each party on systems of up to four dimensional Hilbert spaces. We have found several cases, including the ones where each party has only four measurement choices, where two dimensional systems, i.e., qubits are not sufficient to achieve maximum violation. In a significant proportion of those cases when qubits are sufficient, one or both parties have to make trivial, degenerate 'measurements' in order to achieve maximum violation. The quantum state corresp…
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 address the problem of optimising entanglement witnesses when a limited fixed set of local measurements can be performed on a bipartite system, thus providing a procedure, feasible also for experiments, to detect entangled states using only the statistics of these local measurements. We completely characterize the class of entanglement witnesses of the form $W = P ^Γ$, where $Γ$ denotes partial transposition, that can be constructed from the measurements of the bipartite operators $σ_{x}\otimesσ_{x},$ $σ_{y}\otimesσ_{y}$ and $σ_{z}\otimesσ_{z}$ in the case of two-qubit systems. In particula…
We provide a simple construction of bipartite entangled states that are positive under partial transposition, and hence undistillable. The construction makes use of the properties of the projectors onto the symmetric and antisymmetric subspaces of the Hilbert space of two identical systems. The resulting states can be considered as generalizations of the celebrated Werner states.
We investigate the asymptotic rates of entanglement transformations for bipartite mixed states by local operations and classical communication (LOCC). We analyse the relations between the rates for different transitions and obtain simple lower and upper bound for these transitions. In a transition from one mixed state to another and back, the amount of irreversibility can be different for different target states. Thus in a natural way, we get the concept of "amount" of irreversibility in asymptotic manipulations of entanglement. We investigate the behaviour of these transformation rates for di…
We report formulas for the joint moments of the determinantal products (det{rho})^k (det{rho^PT})^K (k=0, 1, 2,...,N; K = 0, 1, 2, 3, 4) of Hilbert-Schmidt (HS) probability distributions over the two-rebit and (K = 0, 1) two-qubit density matrices rho. Here PT denotes the partial transposition operation of quantum-information-theoretic importance. Each formula is the product of the expression for the moments of (det{rho})^k, k=0,1,2,...,N--already known from work of Cappellini, Sommers and Zyczkowski (Phys. Rev. A 74, 062322 (1996))--and an adjustment factor. The factor is a biproper rational …
In the present paper I show how it is possible to derive the Hilbert space formulation of Quantum Mechanics from a comprehensive definition of "physical experiment" and assuming "experimental accessibility and simplicity" as specified by five simple Postulates. This accomplishes the program presented in form of conjectures in the previous paper quant-ph/0506034. Pivotal roles are played by the "local observability principle", which reconciles the holism of nonlocality with the reductionism of local observation, and by the postulated existence of "informationally complete observables" and of a …
We introduce a special class of truncated Weyl-Heisenberg algebra and discuss the corresponding Hilbertian and analytical representations. Subsequently, we study the effect of a quantum network of beam splitting on coherent states of this nonlinear class of harmonic oscillators. We particularly focus on quantum networks involving one and two beam splitters and examine the degree of bipartite as well as tripartite entanglement using the linear entropy.
We present two sets of computable entanglement measures for multipartite systems where each subsystem can have different degrees of freedom (so-called qudits). One set, called 'separability' measure, reveals which of the subsystems are separable/entangled. For that we have to extend the concept of k-separability for multipartite systems to a novel unambiguous separability concept which we call γ_k-separability. The second set of entanglement measures reveals the 'kind' of entanglement, i.e. if it is bipartite, tripartite, ..., n-partite entangled and is denoted as the 'physical' measure. We sh…
The Hilbert space formalism of quantum theory manifests a map between bipartite states and time evolutions, known as Jamiolkowski isomorphism. We extend this map in a physical setting to prove the equality of spatial correlations in bipartite systems and temporal correlations in local systems. We show that these correlations can be observed using weak measurements. This result has several practical and conceptual implications such as manifestation of state independent decoherence, the correspondence between Bell and Leggett-Garg inequalities, multipartite systems, the statistical properties of…
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 …
It is shown that the order property of pure bipartite states under SLOCC (stochastic local operations and classical communications) changes radically when dimensionality shifts from finite to infinite. In contrast to finite dimensional systems where there is no pure incomparable state, the existence of infinitely many mutually SLOCC incomparable states is shown for infinite dimensional systems even under the bounded energy and finite information exchange condition. These results show that the effect of the infinite dimensionality of Hilbert space, the ``infinite workspace'' property, remains e…
