Let $H$ and $K$ be (finite or infinite dimensional) complex Hilbert spaces. A characterization of positive completely bounded normal linear maps from ${\mathcal B}(H)$ into ${\mathcal B}(K)$ is given, which particularly gives a characterization of positive elementary operators including all positive linear maps between matrix algebras. This characterization is then applied give a representation of quantum channels (operations) between infinite-dimensional systems. A necessary and sufficient criterion of separability is give which shows that a state $ρ$ on $H\otimes K$ is separable if and only if $(Φ\otimes I)ρ\geq 0$ for all positive finite rank elementary operators $Φ$. Examples of NCP and indecomposable positive linear maps are given and are used to recognize some entangled states that cannot be recognized by the PPT criterion and the realignment criterion.
We consider random bipartite quantum states obtained by tracing out one subsystem from a random, uniformly distributed, tripartite pure quantum state. We compute thresholds for the dimension of the system being traced out, so that the resulting bipartite quantum state satisfies the reduction criterion in different asymptotic regimes. We consider as well the basis-independent version of the reduction criterion (the absolute reduction criterion), computing thresholds for the corresponding eigenvalue sets. We do the same for other sets relevant in the study of absolute separability, using techniq…
We propose one and a half criteria for determining how many measurements are needed to quantify entanglement reliably. We base these criteria on Bayesian analysis of measurement results, and apply our methods to four-qubit entanglement, but generalizations to more qubits are straightforward.
We present a method to derive separability criteria for the different classes of multiparticle entanglement, especially genuine multiparticle entanglement. The resulting criteria are necessary and sufficient for certain families of states. Further, the criteria are superior to all known entanglement criteria for many other families; also they allow the detection of bound entanglement. We next demonstrate that they are easily implementable in experiments and discuss applications to the decoherence of multiparticle entangled states.
We analyze the connections between the non-Markovianity degree of the most general phase-damping qubit maps and their legitimate mixtures. Using the results for image non-increasing dynamical maps, we formulate the necessary and sufficient conditions for the Pauli maps to satisfy specific divisibility criteria. Next, we examine how the non-Markovianity properties for (in general noninvertible) Pauli dynamical maps influence the properties of their convex combinations. Our results are illustrated with instructive examples. For P-divisible maps, we propose a legitimate time-local generator whose…
We introduce and study a class of entanglement criteria based on the idea of applying local contractions to an input multipartite state, and then computing the projective tensor norm of the output. More precisely, we apply to a mixed quantum state a tensor product of contractions from the Schatten class $S_1$ to the Euclidean space $\ell_2$, which we call entanglement testers. We analyze the performance of this type of criteria on bipartite and multipartite systems, for general pure and mixed quantum states, as well as on some important classes of symmetric quantum states. We also show that pr…
In the recent paper [Chruściński and Wudarski, arXiv:1105.4821], it was conjectured that the entanglement witnesses arising from some generalized Choi maps are optimal. We show that this conjecture is true. Furthermore, we show that they provide a one parameter family of indecomposable optimal entanglement witnesses.
We present unified approach to different recent entanglement criteria. Although they were developed in different ways, we show that they are all applications of a more general principle given by the Cauchy-Schwarz inequality. We explain this general principle and show how to derive with it not only already known but also new entanglement criteria. We systematically investigate its potential and limits to detect bipartite and multipartite entanglement.
Entanglement criteria for general (pure or mixed) states of systems consisting of two identical fermions are introduced. These criteria are based on appropriate inequalities involving the entropy of the global density matrix describing the total system, on the one hand, and the entropy of the one particle reduced density matrix, on the other one. A majorization-related relation between these two density matrices is obtained, leading to a family of entanglement criteria based on Rényi's entropic measure. These criteria are applied to various illustrative examples of parametrized families of mix…
We derive several entanglement criteria for bipartite continuous variable quantum systems based on the Shannon entropy. These criteria are more sensitive than those involving only second-order moments, and are equivalent to well-known variance product tests in the case of Gaussian states. Furthermore, they involve only a pair of quadrature measurements, and will thus should prove extremely useful the experimental identification of entanglement.
We present a package of mathematical theorems, which allow to construct multipartite entanglement criteria. Importantly, establishing bounds for certain classes of entanglement does not take an optimization over continuous sets of states. These bonds are found from the properties of commutativity graphs of operators used in the criterion. We present two examples of criteria constructed according to our method. One of them detects genuine 5-qubit entanglement without ever referring to correlations between all five qubits.
Dicke states are a family of multi-qubit quantum states with interesting entanglement properties and have been observed in many experiments. We construct entanglement witnesses for detecting genuine multiparticle entanglement in the vicinity of these states. We use the approach of PPT mixtures to derive the conditions analytically. For nearly all cases, our criteria are stronger than all conditions previously known.
We outline the scheme for quantization of classical Banach space results associated with some prototypes of dynamical maps and describe the quantization of correlations as well. A relation between these two areas is discussed.
We provide a method to construct entanglement criteria for arbitrary multipartite systems of discrete or continuous variables and hybrid combinations of both. While any set of local operators generates a sufficient condition for entanglement of arbitrary quantum states, a suitable set leads to a necessary and sufficient criterion for pure states. The criteria are readily implementable with existing technology and reveal entanglement that remains undetected by the respective state-of-the-art methods for discrete and continuous variables.
We construct a new class of positive indecomposable maps in the algebra of 'd x d' complex matrices. Each map is uniquely characterized by a cyclic bistochastic matrix. This class generalizes a Choi map for d=3. It provides a new reach family of indecomposable entanglement witnesses which define important tool for investigating quantum entanglement.
We provide a generalization of the reduction and Robertson positive maps in matrix algebras. They give rise to a new class of optimal entanglement witnesses. Their structural physical approximation is analyzed. As a byproduct we provide a new examples of PPT (Positive Partial Transpose) entangled states.
We present a development of a geometric approach to entanglement indicators. The method is applied to detect genuine multiqubit entanglement. The criteria are given in form of non-linear conditions imposed on correlation tensors. Thus they involve directly observable quantities, and in some cases require only few specific measurements to find multiqubit entanglement. The non-linearity of each of the criteria allows detection of entanglement in wide classes of states. In contrast to entanglement witnesses, which in the space of Hermitian operators define a hyperplane, the new conditions define …
We derive entropic inseparability criteria for the phase space representation of quantum states. In contrast to criteria involving differential entropies of marginal phase space distributions, our criteria are based on a joint distribution known as the Husimi Q-distribution. This distribution is experimentally accessible in cold atoms, circuit QED architectures and photonic systems and bears practical advantages compared to the detection of marginals. We exemplify the strengths of our entropic approach by considering several classes of non-Gaussian states where second-order criteria fail. We s…
We derive a family of entanglement criteria for continuous variable systems based on the Rényi entropy of complementary distributions. We show that these entanglement witnesses can be more sensitive than those based on second-order moments, as well as previous tests involving the Shannon entropy [Phys. Rev. Lett. \textbf{103}, 160505 (2009)]. We extend our results to include the case of discrete sampling, and develop another set of entanglement tests using the discrete Tsallis entropy. We provide several numerical results which show that our criteria can be used to identify entanglement in a n…
With a two step optimization method of entanglement witness, we analytically propose a set of necessary and sufficient entanglement criteria for four qubit symmetric Greenberger-Horne-Zeilinger (GHZ) diagonal states. The criterion set contains four criteria. Two of them are linear with density matrix elements. The other two criteria are nonlinear with density matrix elements. The criterion set has a nest structure. A proper subset of the criteria is necessary and sufficient for the entanglement of a proper subset of the states. We illustrate the nest structure of criterion set with the general…
We elaborate the concept of entanglement for multipartite system with bosonic and fermionic constituents and its generalization to systems with arbitrary parastatistics. The entanglement is characterized in terms of generalized Segre maps, supplementing thus an algebraic approach to the problem by a more geometric point of view.
Two interacting atomic ensembles display a Dicke-like quantum phase transition above a critical coupling strength. We show that an ensemble-ensemble entanglement accompanies the quantum phase transition. We derive entanglement criteria, which can witness the entanglement of the two interacting ensembles. We observe that all criteria are successful in the thermodynamic limit, while only the newly introduced ones~(number squeezing-like criteria) can witness the ensemble-ensemble entanglement for a finite number of particles. We also mention about implementations of these criteria to two-componen…
In this paper, we show that an arbitrary separable state can be the output of a certain entanglement-breaking channel corresponding exactly to the input of a maximally entangled state. A necessary and sufficient separability criterion and some sufficient separability criteria from entanglement-breaking channels are given.
We link the study of positive quantum maps, block positive operators, and entanglement witnesses with problems related to multivariate polynomials. For instance, we show how indecomposable block positive operators relate to biquadratic forms that are not sums of squares. Although the general problem of describing the set of positive maps remains open, in some particular cases we solve the corresponding polynomial inequalities and obtain explicit conditions for positivity.
We present an intuitive geometrical entanglement criterion. It allows formulation of simple and experimentally friendly sufficient conditions for entanglement. The conditions are illustrated with several examples. Moreover, a generalization of our approach is a necessary and sufficient separability condition. It can be associated with a family of entanglement identifiers, which is strictly richer than the family of entanglement witnesses.
We construct a set of criteria detecting genuine multipartite entanglement in arbitrary dimensional multipartite systems. These criteria are optimally suited for detecting multipartite entanglement in n-qubit Dicke states with m-excitations. In a detailed analysis we show that the criteria are also more robust to noise than any other criterion known so far, especially with increasing system size. Furthermore it is shown that the number of required local observables scales only polynomially with size, thus making the criteria experimentally feasible.
This paper gives a criterion for detecting the entanglement of a quantum state, and uses it to study the relationship between topological and quantum entanglement. It is fundamental to view topological entanglements such as braids as entanglement operators and to associate to them unitary operators that are capable of creating quantum entanglement. The entanglement criterion is used to explore this connection. The paper discusses non-locality in the light of this criterion.
Entanglement witnesses based on first and second moments exist in the form of spin-squeezing criteria for the detection of particle entanglement from collective measurements, and in form of modified uncertainty relations for the detection of mode entanglement or steering. By revealing a correspondence between them, we show that metrologically useful spin squeezing reveals multimode entanglement in symmetric spin states that are distributed into addressable modes. We further derive tight state-independent multipartite entanglement bounds on the spin-squeezing coefficient and point out their con…
Quantitative characterization of different entanglement detection criteria for bipartite systems is presented. We review the implication sequence of these criteria and then numerically estimate volume ratios between criteria non-violating quantum states and all quantum states. The numerical approach is based on the hit-and-run algorithm, which is applied to the convex set of all quantum states embedded into a Euclidean vector space of the Hilbert-Schmidt inner product. We demonstrate that reduction, majorization, and the Rényi-entropy-based criteria are very ineffective compared to the positiv…
We study separability problem using general symmetric informationally complete measurements and propose separability criteria in $\mathbb{C}^{d_{1}}\otimes\mathbb{C}^{d_{2}}$ and $\mathbb{C}^{d_{1}}\otimes\mathbb{C}^{d_{2}}\cdots\otimes\mathbb{C}^{d_{n}}$. Our criteria just require less local measurements and provide experimental implementation in detecting entanglement of unknown quantum states.
We present a formalism to derive entanglement criteria beyond the Gaussian regime that can be readily tested by only homodyne detection. The measured observable is the Einstein-Podolsky-Rosen (EPR) correlation. Its arbitrary functional form enables us to detect non-Gaussian entanglement even when an entanglement test based on second-order moments fails. We illustrate the power of our experimentally friendly criteria for a broad class of non-Gaussian states under realistic conditions. We also show rigorously that quantum teleportation for continuous variables employs a specific functional form …
This paper studies the class of stochastic maps, or channels, whose action (when tensored with the identity) on an entangled state always yields a separable state. Such maps have a canonical form introduced by Holevo. Such maps are called entanglement breaking, and can always be written in a canonical form introduced by Holevo. Some special classes of these maps are considered and several equivalent characterizations given. Since the set of entanglement-breaking trace-preserving maps is convex, it can be described by its extreme points. The only extreme points of the set of completely positive…
It is known that the partial entanglement/separability violates distributive rules with respect to the operations of taking convex hull and intersection. In this note, we give criteria for three qubit partially entangled states arising from distributive rules, together with the corresponding witnesses. The criteria will be given in terms of diagonal and anti-diagonal entries. They actually characterize those partial entanglement completely when all the entries are zero except for diagonal and anti-diagonal entries. Important states like Greenberger-Horne-Zeilinger diagonal states fall down in …
Following previous work, we distinguish between genuine $N$-partite entanglement and full $N$-partite inseparability. Accordingly, we derive criteria to detect genuine multipartite entanglement using continuous variable (position and momentum) measurements. Our criteria are similar but different to those based on the van Loock-Furusawa inequalities, which detect full $N$-partite inseparability. We explain how the criteria can be used to detect the genuine $N$-partite entanglement of continuous variable states generated from squeezed and vacuum state inputs, including the continuous variable Gr…
We fully characterize bipartite entanglement-annihilating (EA) channels that destroy entanglement of any state shared by subsystems and, thus, should be avoided in any entanglement-enabled experiment. Our approach relies on extending the problem to EA positive maps, the cone of which remains invariant under concatenation with partially positive maps. Due to this invariancy, positive EA maps adopt a well characterization and their intersection with completely positive trace-preserving maps results in the set of EA channels. In addition to a general description, we also provide sufficient operat…
A general procedure to construct criteria for identifying genuine multipartite continuous variable entanglement is presented. It relies on the proper definition of adequate global operators describing the multipartite system, the positive partial transpose criterion of separability, and quantum mechanical uncertainty relations. As a consequence, each criterion encountered consists of a single inequality that is nicely computable and experimentally feasible, and that when violated is sufficient condition for genuine multipartite entanglement. Additionally we show that the previous work of van L…
We study the separability of symmetric bipartite quantum states and show that a single correlation measurement is sufficient to detect the entanglement of any bipartite symmetric state with a non-positive partial transpose. We also discuss entanglement conditions and entanglement witnesses for states with a positive partial transpose.
We introduce a class of inequalities based on low order correlations of operators to detect entanglement in bipartite systems. The operators may either be Hermitian or non-Hermitian and are applicable to any physical system or class of states. Testing the criteria on example systems reveals that they outperform other common correlation based criteria, such as those by Duan-Giedke-Cirac-Zoller and Hillery-Zubairy. One unusual feature of the criteria is that it includes a term involving the average of the density matrix squared, related to the purity of the system. We discuss how such a term cou…
Entanglement, one of the most intriguing aspects of quantum mechanics, marks itself into different features of quantum states. For this reason different criteria can be used for verifying entanglement. In this paper we review some of the entanglement criteria casted for continuous variable states and link them to peculiar aspects of the original debate on the famous EPR paradox. Moreover, we give a handy expression for valuating Bell-type non-locality on Gaussian states. We also present the experimental measurement of a particular realization of the Bell operator over continuous variable entan…
We revisit the genuine multipartite entanglement by a simplified method, which only involves the Schmidt decomposition and local unitary transformation. We construct a local unitary equivalent class of the tri-qubit quantum state, then use the trace norm of the whole correlation tensor as a measurement to detect genuine multipartite entanglement. By detailed examples, we show our result can detect more genuinely entangled states. Furthermore, we generalize the genuine multipartite entanglement criterion to tripartite higher-dimensional systems.
We discuss conditional Renyi and Tsallis entropies for bipartite quantum systems of finite dimension. We investigate the relation between the positivity of conditional entropies and entanglement properties. It is in particular shown that any state having a negative conditional entropy with respect to any value of the entropic parameter is distillable since it violates the reduction criterion. Moreover we show that the entanglement of Werner states in odd dimensions can neither be detected by entropic criteria nor by any other spectral criterion.
We propose entanglement criteria for multipartite systems via symmetric informationally complete (SIC) measurement and general symmetric informationally complete (GSIC) measurement. We apply these criteria to detect entanglement of multipartite states, such as the convex of Bell states, entangled states mixed with white noise. It is shown that these criteria are stronger than some existing ones.
In \cite{CMW19}, the authors introduced $k$-entanglement breaking linear maps to understand the entanglement breaking property of completely positive maps on taking composition. In this article, we do a systematic study of $k$-entanglement breaking maps. We prove many equivalent conditions for a $k$-positive linear map to be $k$-entanglement breaking, thereby study the mapping cone structure of $k$-entanglement breaking maps. We discuss examples of $k$-entanglement breaking maps and some of their significance. As an application of our study, we characterize completely positive maps that reduce…
Entanglement detection criteria are developed within the framework of the majorization formulation of uncertainty. The primary results are two theorems asserting linear and nonlinear separability criteria based on majorization relations, the violation of which would imply entanglement. Corollaries to these theorems yield infinite sets of scalar entanglement detection criteria based on quasi-entropic measures of disorder. Examples are analyzed to probe the efficacy of the derived criteria in detecting the entanglement of bipartite Werner states. Characteristics of the majorization relation as a…
We introduce an entanglement criterion to exclude full separability of quantum states. We present numerical evidence that the criterion is necessary and sufficient for the class of GHZ diagonal three-qubit states and estimate the volume of bound entangled states within this class. Finally, we extend our approach to bound entangled states which are not GHZ diagonal.
We present a general strategy to derive entanglement criteria which consists in performing a mapping from qudits to qubits that preserves the separability of the parties and SU(2) rotational invariance. Consequently, it is possible to apply the well known positive partial transpose criterion to reveal the existence of quantum correlations between qudits. We discuss some examples of entangled states that are detected using the proposed strategy. Finally, we demonstrate, using our scheme, how some variance-based entanglement witnesses can be generalized from qubits to higher dimensional spin sys…
Entanglement, quantum steering and nonlocality are distinct quantum correlations which are the resources behind various of quantum information and quantum computation applications. However, a central question of determining the precise quantitative relation among them is still unresolved. Here, we present a mapping criterion between Bell nonlocality and quantum steering in bipartite qudit-qubit system, as well as a mapping criterion between quantum steering and quantum entanglement in bipartite qubit-qudit system, starting from the fundamental concepts of quantum correlations. Precise quantita…
