In this work, new types of EWs are introduced. They are constructed by using real skew-symmetric operators defined on a single party subsystem of a bipartite d⊗d system and a maximal entangled state in that system. A canonical form for these witnesses is proposed which is called canonical EW in corresponding to canonical real skew-symmetric operator. Also for each possible partition of the canonical real skew-symmetric operator corresponding EW is obtained. The method used for d⊗d case is extended to d1⊗d2 systems. It is shown that there exist Cd2 d1 distinct possibilities to construct EWs for a given d1⊗ d2 Hilbert space. The optimality and nd-optimality problem is studied for each type of EWs. In each step, a large class of quantum PPT states is introduced. It is shown that among them there exist entangled PPT states which are detected by the constructed witnesses. Also the idea of canonical EWs is extended to obtain other EWs with greater PPT entanglement detection power.
In this work, new types of EWs are introduced. They are constructed by using real skew-symmetric operators defined on a single party subsystem of a bipartite d⊗d system and a maximal entangled state in that system. A canonical form for these witnesses is proposed which is called canonical EW in corresponding to canonical real skew-symmetric operator. Also for each possible partition of the canonical real skew-symmetric operator corresponding EW is obtained. The method used for d⊗d case is extended to d1⊗d2 systems. It is shown that there exist Cd2 d1 distinct possibilities to construct EWs for a given d1⊗ d2 Hilbert space. The optimality and nd-optimality problem is studied for each type of EWs. In each step, a large class of quantum PPT states is introduced. It is shown that among them there exist entangled PPT states which are detected by the constructed witnesses. Also the idea of canonical EWs is extended to obtain other EWs with greater PPT entanglement detection power.
Abstract Entanglement witnesses (EWs) are a versatile tool to detect entangled states and characterize related properties of entanglement in quantum information theory. The verification of entangled states via EWs relies on the fact that separable states form a convex set; this also means that the framework presented by EWs generally applies to other quantum resources where free resources contain the convexity. A witness W corresponds to an observable satisfying Tr [ W σ sep ] ⩾ 0 for all separable states σ sep ; entangled states are detected once the inequality is violated. Recently, mirrored EWs have been introduced by showing that there exist non-trivial upper bounds to EWs, u W ⩾ Tr [ W σ sep ] ⩾ 0. An upper bound to a witness W signifies the existence of the other one M , called a mirrored EW, such that W + M = u W I ⊗ I . The framework of mirrored EWs shows that a single EW can be even more useful, as it can detect a larger set of entangled states by lower and upper bounds. In this work, we develop and investigate mirrored EWs for multipartite qubit states and also for high-dimensional systems, to find the efficiency and effectiveness of mirrored EWs in detecting entangled states. We provide mirrored EWs for n -partite GHZ states, graph states such as two-colorable states and tripartite bound entangled states. We also show that optimal EWs can be reflected with each other. For bipartite systems, we present mirrored EWs for existing optimal EWs and also construct a mirrored pair of optimal EWs in dimension three. Finally, we generalize mirrored EWs such that a pair of EWs can be connected by another EW, i.e. W + M = K is also an EW. Our results enhance the capability of EWs to detect a larger set of entangled states in multipartite and high-dimensional quantum systems.
Two approaches can be utilized to handle the separability problem, finding out whether a given bipartite qudit state is separable or not: a direct procedure on the state space or the effective tool of entanglement witnesses (EWs). This contribution studies the structure of EWs. Exploiting the very concept of mirrored EWs, increasing the detection power, we show, in contrast to the conjecture in a recent paper (Bera et al. in Sci Rep 13:10733, 2023), there exist pairs of optimal EWs, which are both non-decomposible, i.e. can detect bound/PPT-entangled states in an optimal way. Since we show that the structure also extends to higher dimensions, our results reveal a further structure of entanglement witnesses.
From the physical point of view entanglement witnesses (EWs) define a universal tool for analysis and classification of quantum entangled states. From the mathematical perspective bipartite EWs provide highly non-trivial generalization of positive operators and establish elegant correspondence with the theory of positive maps in matrix algebras. We concentrate on theoretical analysis of various important notions like decomposability, atomicity, optimality, extremality and exposedness. Several methods of construction are provided as well. Our discussion is illustrated by many examples enabling the reader to see the intricate structure of these objects. It is shown that the theory of EWs finds elegant geometric formulation in terms of convex cones and related geometric structures.
An entanglement witness (EW) is an operator that allows the detection of 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 nondecomposable ones; the latter are those that can detect positive partial transpose entangled states (PPTES's). We also present a method to systematically construct and optimize this last class of operators based on the existence of ``edge'' PPTES's, i.e., states that violate the range separability criterion [Phys. Lett. A 232, 333 (1997)] in an extreme manner. This method also permits a systematic construction of nondecomposable positive maps (PM's). Our results lead to a sufficient condition for entanglement in terms of nondecomposable EW's and PM's. Finally, we illustrate our results by constructing optimal EW acting on $H={C}^{2}\ensuremath{\bigotimes}{C}^{4}.$ The corresponding PM's constitute examples of PM's with minimal ``qubit'' domains, or---equivalently---minimal Hermitian conjugate codomains.
A class of entanglement witnesses (EWs) called reduction-type entanglement witnesses is introduced, which can detect some multipartite entangled states including positive partial transpose ones with Hilbert space of dimension ${d}_{1}\ensuremath{\bigotimes}{d}_{2}\ensuremath{\bigotimes}\ensuremath{\cdots}\ensuremath{\bigotimes}{d}_{n}$. In fact the feasible regions of these EWs turn out to be convex polygons and hence the manipulation of them reduces to linear programming which can be solved exactly by using the simplex method. The decomposability and nondecomposability of these EWs are studied and it is shown that it has a close connection with eigenvalues and optimality of EWs. Also using the Jamio\l{}kowski isomorphism, the corresponding possible positive maps, including the generalized reduction maps of Hall [Phys. Rev. A 72, 022311 (2005)] are obtained.
Entanglement detection is one of the important problems in quantum information theory. To deal with this problem, many entanglement detection criteria have been proposed. Among the proposed criteria, the detection of entanglement through witness operator (also known as linear entanglement witness (LEW) operator) may be considered as the most practical. Although the witness operator approach to detect entanglement is experimentally friendly, the construction of these operators is not a very simple task. Even if we are able to construct a LEW operator, our problem is not solved as it may either detect a few entangled states or not a single entangled state from a given family of entangled states. Thus, we need a constructive approach in order to tackle this type of problem. In this work, we provide a few constructions of the non-linear entanglement witnesses (NLEW) for d1⊗d2 dimensional system from any linear entanglement witness (LEW) operator. The advantage of these constructions is that, if a LEW is unable to detect any particular entangled state described by the density operator ρent then our construction of NLEW may detect the same entangled state ρent. Further, we have constructed NLEW operator that may detect not only a class of bipartite negative partial transpose entangled state (NPTES), but also positive partial transpose entangled state (PPTES). Moreover, we have shown that the constructed NLEW operators may be decomposed in terms of the tensor product of local observables and hence may be realizable in an experiment.