Positive maps, majorization, entropic inequalities and detection of entanglement

Linear and nonlinear entanglement witnesses for a given bipartite quantum systems are constructed. Using single particle feasible region, a way of constructing effective entanglement witnesses for bipartite systems is provided by exact convex optimization. Examples for some well known two qutrit quantum systems show these entanglement witnesses in most cases, provide necessary and sufficient conditions for separability of given bipartite system. Also this method is applied to a class of bipartite qudit quantum systems with details for d=3, 4 and 5.

We study the concurrence of arbitrary dimensional bipartite quantum systems. An explicit analytical lower bound of concurrence is obtained, which detects entanglement for some quantum states better than some well-known separability criteria, and improves the lower bounds such as from the PPT, realignment criteria and the Breuer's entanglement witness.

We provide a canonical form of mixed states in bipartite quantum systems in terms of a convex combination of a separable state and a, so-called, edge state. We construct entanglement witnesses for all edge states. We present a canonical form of nondecomposable entanglement witnesses and the corresponding positive maps. We provide constructive methods for their optimization in a finite number of steps. We present a characterization of separable states using a special class of entanglement witnesses. Finally, we present a nontrivial necessary condition for entanglement witnesses and positive maps to be extremal.

All our former experience with application of quantum theory seems to say that what is predicted by quantum formalism must occur in the laboratory. But the essence of quantum formalism---entanglement, recognized by Einstein, Podolsky, Rosen, and Schr\"odinger---waited over $70\phantom{\rule{0.3em}{0ex}}\text{years}$ to enter laboratories as a new resource as real as energy. This holistic property of compound quantum systems, which involves nonclassical correlations between subsystems, has potential for many quantum processes, including canonical ones: quantum cryptography, quantum teleportation, and dense coding. However, it appears that this new resource is complex and difficult to detect. Although it is usually fragile to the environment, it is robust against conceptual and mathematical tools, the task of which is to decipher its rich structure. This article reviews basic aspects of entanglement including its characterization, detection, distillation, and quantification. In particular, various manifestations of entanglement via Bell inequalities, entropic inequalities, entanglement witnesses, and quantum cryptography are discussed, and some interrelations are pointed out. The basic role of entanglement in quantum communication within a distant laboratory paradigm is stressed, and some peculiarities such as the irreversibility of entanglement manipulations are also discussed including its extremal form---the bound entanglement phenomenon. The basic role of entanglement witnesses in detection of entanglement is emphasized.

Improved bounds on some entanglement criteria in bipartite quantum systems

Search for an efficient entanglement witness operator for bound entangled states in bipartite quantum systems

Detecting quantum entanglement

We present a general scheme allowing for construction of scalar separability criteria from positive, but not completely positive, maps. The concept is based on a decomposition of every positive map $\ensuremath{\Lambda}$ acting on ${M}_{d}(\mathbb{C})$ into a difference of two completely positive maps ${\ensuremath{\Lambda}}_{1}$, ${\ensuremath{\Lambda}}_{2}$, i.e., $\ensuremath{\Lambda}={\ensuremath{\Lambda}}_{1}\ensuremath{-}{\ensuremath{\Lambda}}_{2}$. The scheme may also be treated as a generalization of the known entropic inequalities, which are obtained from the reduction map. Analyses performed on a few classes of states show that the scalar criteria are stronger than the entropic inequalities and when derived from indecomposable maps allow for detection of bound entanglement.

We define an entanglement witness in a composite quantum system as an observable having nonnegative expectation value in every separable state. Then a state is entangled if and only if it has a negative expectation value of some entanglement witness. Equivalent representations of entanglement witnesses are as nonnegative biquadratic forms or as positive linear maps of Hermitian matrices. As reported elsewhere, we have studied extremal entanglement witnesses in dimension $3\times 3$ by constructing numerical examples of generic extremal nonnegative forms. These are so complicated that we do not know how to handle them other than by numerical methods. However, the corresponding extremal positive maps can be presented graphically, as we attempt to do in the present paper. We understand that a positive map is extremal when the image of $\mathcal{D}$, the set of density matrices, fills out $\mathcal{D}$ maximally, in a certain sense. For the graphical presentation of a map we transform it to a standard form where it is unital and trace preserving. We present an iterative algorithm for the transformation, which converges rapidly in all our numerical examples and presumably works for any positive map. This standard form of an entanglement witness is unique up to unitary product transformations.

We present the idea that in both classical and quantum systems all correlations available for composite multipartite systems, e.g., bipartite systems, exist as “hidden correlations” in indivisible (noncomposite) systems. The presence of correlations is expressed by entropic-information inequalities known for composite systems like the subadditivity condition. We show that the mathematically identical subadditivity condition and the mutual information nonnegativity are available as well for noncomposite systems like a single-qudit state. We demonstrate an explicit form of the subadditivity condition for a qudit with j = 2 or the five-level atom. We consider the possibility to check the subadditivity condition (entropic inequality) in experiments where such a system is realized by the superconducting circuit based on Josephson-junction devices.

We introduce a 3-parameter class of maps (1) acting on a bipartite system which are a natural generalisation of the depolarizing channel (and include it as a special case). Then, we find the exact regions of the parameter space that alternatively determine a positive, completely positive, entanglement-breaking, or entanglement-annihilating map. This model displays a much richer behaviour than the one shown by a simple depolarizing channel, yet it stays exactly solvable. As an example of this richness, positive partial transposition but not entanglement-breaking maps is found in Theorem 2. A simple example of a positive yet indecomposable map is provided (see the Remark at the end of Section IV). The study of the entanglement-annihilating property is fully addressed by Theorem 7. Finally, we apply our results to solve the problem of the entanglement annihilation caused in a bipartite system by a tensor product of local depolarizing channels. In this context, a conjecture posed in the work of Filippov [J. Russ. Laser Res. 35, 484 (2014)] is affirmatively answered, and the gaps that the imperfect bounds of Filippov and Ziman [Phys. Rev. A 88, 032316 (2013)] left open are closed. To arrive at this result, we furthermore show how the Hadamard product between quantum states can be implemented via local operations.

We propose a family of entanglement witnesses and corresponding positive maps that are not completely positive based on local orthogonal observables. As applications the entanglement witness of a 3x3 bound entangled state [P. Horodecki, Phys. Lett. A 232, 333 (1997)] is explicitly constructed and a family of dxd bound entangled states is introduced, whose entanglement can be detected by permuting local orthogonal observables. The proposed criterion of separability can be physically realized by measuring a Hermitian correlation matrix of local orthogonal observables.

The aim of this work is to verify the new entropic and information inequalities for non-composite systems using experimental $5 \times 5$ density matrix of the qudit state, measured by the tomographic method in a multi-level superconducting circuit. These inequalities are well-known for bipartite and tripartite systems, but have never been tested for superconducting qudits. Entropic inequalities can also be used to evaluate the accuracy of experimental data and the value of mutual information, deduced from them, may charachterize correlations between different degrees of freedom in a noncomposite system.

An entanglement witness (EW) is an operator that allows to detect entangled states. We give necessary and sufficient conditions for such operators to be optimal, i.e. to detect entangled states in an optimal way. We show how to optimize general EW, and then we particularize our results to the non-decomposable ones; the latter are those that can detect positive partial transpose entangled states (PPTES). We also present a method to systematically construct and optimize this last class of operators based on the existence of ``edge'' PPTES, i.e. states that violate the range separability criterion [Phys. Lett. A{\bf 232}, 333 (1997)] in an extreme manner. This method also permits the systematic construction of non-decomposable positive maps (PM). Our results lead to a novel sufficient condition for entanglement in terms of non-decomposable EW and PM. Finally, we illustrate our results by constructing optimal EW acting on $H=\C^2\otimes \C^4$. The corresponding PM constitute the first examples of PM with minimal ``qubit'' domain, or - equivalently - minimal hermitian conjugate codomain.

The problem of bound entanglement detection is a challenging aspect of quantum information theory for higher dimensional systems. Here, we propose an indecomposable positive map for two-qutrit systems, which is shown to detect a class of positive partial transposed (PPT) states. A corresponding witness operator is constructed and shown to be weakly optimal and locally implementable. Further, we perform a structural physical approximation of the indecomposable map to make it a completely positive one, and find a new PPT-entangled state which is not detectable by certain other well-known entanglement detection criteria.