Quantum entanglement lies at the heart of quantum mechanics and quantum information processing. In this work, we show a framework where entangled states play the role of witnesses. We extend the notion of entanglement witnesses, developing a hierarchy of witnesses for classes of observables. This hierarchy captures the fact that entangled states act as witnesses for detecting entanglement witnesses and separable states act as witnesses for the set of non-block-positive Hermitian operators. Indeed, more hierarchies of witnesses exist. We introduce the concept of finer and optimal entangled states. These definitions not only give an unambiguous and non-numeric quantification of entanglement and an alternative perspective on edge states but also answer the open question of what the remainder of the best separable approximation of a density matrix is. Furthermore, we classify all entangled states into disjoint families with optimal entangled states at its heart. This implies that we can focus only on the study of a typical family with optimal entangled states at its core when we investigate entangled states. Our framework also assembles many seemingly different findings with simple arguments that do not require lengthy calculations.
Quantum entanglement lies at the heart of quantum mechanics and quantum information processing. In this work, we show a framework where entangled states play the role of witnesses. We extend the notion of entanglement witnesses, developing a hierarchy of witnesses for classes of observables. This hierarchy captures the fact that entangled states act as witnesses for detecting entanglement witnesses and separable states act as witnesses for the set of non-block-positive Hermitian operators. Indeed, more hierarchies of witnesses exist. We introduce the concept of finer and optimal entangled states. These definitions not only give an unambiguous and non-numeric quantification of entanglement and an alternative perspective on edge states but also answer the open question of what the remainder of the best separable approximation of a density matrix is. Furthermore, we classify all entangled states into disjoint families with optimal entangled states at its heart. This implies that we can focus only on the study of a typical family with optimal entangled states at its core when we investigate entangled states. Our framework also assembles many seemingly different findings with simple arguments that do not require lengthy calculations.
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.
Abstract Quantum entanglement is a key resource in quantum information. Teleportation, dense coding, and many other quantum protocols rely on the existence of entanglement, and would not be possible with just classical correlations. Furthermore, using entanglement between qubits that support computation, quantum computers can solve problems faster than classical computers. Bell's inequalities can sometimes help in discriminating between entangled and separable states. However, these inequalities are not always reliable — this is true in the sense that they may fail to detect genuinely entangled states. This question is addressed in the present chapter by focusing on an entanglement witness, a Hermitian operator winch helps us to decide whether a state is entangled or not. The basic idea is that the expectation value of the witness will be different for separable and entangled states. This chapter discusses entanglement witnesses, the Jamiolkowski isomorphism, and the Peres Horodecki criterion. More examples of entanglement witnesses are given.
With an aim to detect the genuine entanglement of a mixed state at the nearby pure state, we reflect a practicable approach concerning the construction of witness and express expectations to detect separable, bipartite states, and multiqubit entangled states. We introduce the related concept of the density matrix, multiqubit state, entangled state entanglement witness, etc. In addition, we give unambiguous definitions of separable states, entangled states, and genuinely entangled states. Therefore, we are able to detect the genuine entanglement of a mixed state at the nearby pure state employing the witness that is constructed for the multiqubit states.
Entanglement witnesses are of special interest for distinguishing between separable and entangled states. For three-qubit states, a family of optimal entanglement witnesses has been introduced by Jafarizadeh et al. [Eur. Phys. J. D 50 (2008) 107]. We give an alternative demonstration for some elements of this family and show that they are able to detect bound entangled states. To illustrate this fact, we consider two families of bound entangled three-qubit states, introduced by Kay [Phys. Rev. A 83 (2011) 020303] and Kye [J. Phys. A, Math. Theor. 48 (2015) 235303], and show that these witnesses detect the entanglement of all states of these two families.
Quantum states are the key mathematical objects in quantum mechanics, and entanglement lies at the heart of the nascent fields of quantum information processing and computation. However, there has not been a general, necessary and sufficient, and operational separability condition to determine whether an arbitrary quantum state is entangled or separable. In this paper, we show that whether a quantum state is entangled or not is determined by a threshold within the quantum state. We first introduce the concept of finer and optimal separable states based on the properties of separable states in the role of higher-level witnesses. Then we show that any bipartite quantum state can be decomposed into a convex mixture of its optimal entangled state and its optimal separable state. Furthermore, we show that whether an arbitrary quantum state is entangled or separable, as well as positive partial transposition (PPT) or not, is determined by the robustness of its optimal entangled state to its optimal separable state with reference to a crucial threshold. Moreover, for an arbitrary quantum state, we provide operational algorithms to obtain its optimal entangled state, its optimal separable state, its best separable approximation (BSA) decomposition, and its best PPT approximation decomposition. And the open question of how to calculate the BSA in high-dimension systems is partially done.
Imaginarity has shown to be an important resource in quantum information. The witness theory of quantum resource, such as entanglement witness, coherence witness, and imaginarity witness, has been established, in particular entanglement witness and coherence witness have been extensively explored. We present here another class of imaginarity witnesses beyond the one in [{Phys. Lett. A} \textbf{530}, 130135 (2025)]. Within our framework, any nonreal Hermitian operator under the reference basis is an imaginarity witness and only finite of them can detect all the imaginarity states. As the common approaches that were explored in the witness theories of entanglement and coherence, we then explore the relations between these imaginarity witnesses in different cases: (i) when they can detect common imaginary states, (ii) when they can detect the same sets of imaginary states, and (ii) when they obey the finer relation. Finally, we define an imaginarity measure in terms of witnesses, termed witnessed imaginarity, and prove that it coincides with both the trace norm of imaginarity and the robustness of imaginarity.