Quantum entanglement, as an indispensable resource in quantum communication and quantum computation, is widely used in the field of quantum information. However, people's understanding on entanglement is quite limited both theoretically and experimentally. How to determine whether a given quantum state is entangled is still an important task. The entanglement witness is a kind of special self-adjoint operator, it can be used to determine whether a quantum state is an entangled state. This provides a new direction for the determination of entangled states. Entanglement witness has its own unique characteristics in various kinds of entanglement criterion. It is the most effective tool for detecting multipartite entanglement, and the most useful method to detect entanglement in experiments. In the background of quantum theory, we use theory of operators to make a thorough and systematic study of the construction of entanglement witness in this paper. First, from the definition of an entanglement witness, a general method is given to construct an entanglement witness. It is proved that when the maximal expectation CA of an observable A in the separable pure states is strictly less than its biggest eigenvalue max(A), the operator WC=CI-A is an entanglement witness provided that CA C max(A). Although the entanglement witness WCA can detect more entangled states than WC, but it is difficult to calculate the exact value of CA, and the estimate of the upper bound of CA is easier. Therefore, it is more convenient to construct entanglement witness WC than WCA. In quantum computation, a graph state is a special kind of multi-qubit state that can be represented by a graph. Each qubit is represented by a vertex of the graph, and there is an edge between every interacting pair of qubits. Graph states play a crucial role in many applications of quantum information theory, such as quantum error correcting codes, measurement-based quantum computation, and quantum simulation. Consequently, a significant effort is devoted to the creation and investigation of graph states. In the last part of this paper, as applications of our method, a series of methods for constructing an entanglement witness is obtained in the stabilizer formalism. It is also proved that how entanglement witnesses can be derived for a given graph state, provided some stabilizing operators of the graph state are known. Especially, when A is made up of some stabilizing operators of a graph state, entanglement witness WCA becomes one in literature.
Read full abstract