One of the important approaches to detect quantum entanglement is using linear entanglement witnesses EWs. In this paper, by determining the envelope of the boundary hyper-planes defined by a family of linear EWs, a set of powerful nonlinear optimal EWs is manipulated. These EWs enable us to detect some three qubits bound MUB (mutually unbiased bases) diagonal entangled states, i.e., the PPT (positive partial transpose) entangled states. Also, in some particular cases, the introduced nonlinear optimal EWs are powerful enough to separate the bound entangled regions from the separable ones. Finally, we present numerical examples to demonstrate the practical accessibility of this approach.
Keywords :nonlinear optimal entanglement witnesses, mutually unbiased bases, MUB diagonal states
We provide a class of entanglement witnesses constructed in terms of Mutually Unbiased Bases (MUBs). This construction reproduces many well-known examples like the celebrated reduction map and Choi map together with its generalizations. We illustrated our construction by the detailed analysis of the 3-dimensional case: in this case, one obtains a family of entanglement witnesses parameterized by an L-dimensional torus (L = 2,3,4 being a number of MUBs used in the construction).
We study entanglement witness and present a construction of entanglement witnesses in terms of the mutually unbiased measurements (MUMs). These witnesses include the entanglement witnesses constructed from mutually unbiased bases (MUBs) as a special case. Comparing with the dimension dependence of MUBs, the witnesses can be always constructed from a complete set of $d+1$ MUMs for any dimension $d$. We show that our witness can detect entanglement better than previous separability criterion given also by MUMs. And the approach can be experimentally implemented.
We examine the existence and structure of particular sets of mutually unbiased bases (MUBs) in bipartite qudit systems. In contrast to well-known power-of-prime MUB constructions, we restrict ourselves to using maximally entangled stabilizer states as MUB vectors. Consequently, these bipartite entangled stabilizer MUBs (BES MUBs) provide no local information, but are sufficient and minimal for decomposing a wide variety of interesting operators including (mixtures of) Jamiolkowski states, entanglement witnesses and more. The problem of finding such BES MUBs can be mapped, in a natural way, to …
We analyze special class of bipartite states - so called Bell diagonal states. In particular we provide new examples of bound entangled Bell diagonal states and construct the class of entanglement witnesses diagonal in the magic basis.
From a practical perspective it is advantageous to develop methods that verify entanglement in quantum states with as few measurements as possible. In this paper we investigate the minimal number of mutually unbiased bases (MUBs) needed to detect bound entanglement in bipartite $(d\times d)$-dimensional states, i.e. entangled states that are positive under partial transposition. In particular, we show that a class of entanglement witnesses composed of mutually unbiased bases can detect bound entanglement if the number of measurements is greater than $d/2+1$. This is a substantial improvement o…
Two classes of Bell diagonal indecomposable entanglement witnesses in $\mathbb{C}^4 \otimes \mathbb{C}^4$ are considered. Within the first class, we find a generalization of the well-known Choi witness from $\mathbb{C}^3 \otimes \mathbb{C}^3$, while the second one contains the reduction map. Interestingly, contrary to $\mathbb{C}^3 \otimes \mathbb{C}^3$ case, the generalized Choi witnesses are no longer optimal. We perform an optimization procedure of finding spanning vectors, that eventually gives rise to optimal witnesses. Operators from the second class turn out to be optimal, however, with…
We provide a class of Bell diagonal entanglement witnesses displaying an additional local symmetry -- a maximal commutative subgroup of the unitary group U(n). Remarkably, this class of witnesses is parameterized by a torus being a maximal commutative subgroup of an orthogonal group SO(n-1). It is shown that a generic element from the class defines an indecomposable entanglement witness. The paper provides a geometric perspective for some aspects of the entanglement theory and an interesting interplay between group theory and block-positive operators.
It has been shown that finding generic Bell states diagonal entanglement witnesses (BDEW) for $d_{1}\otimes d_{2}\otimes ....\otimes d_{n}$ systems exactly reduces to a linear programming if the feasible region be a polygon by itself and approximately obtains via linear programming if the feasible region is not a polygon. Since solving linear programming for generic case is difficult, the multi-qubits, $2\otimes N$ and $3 \otimes 3$ systems for the special case of generic BDEW for some particular choice of their parameters have been considered. In the rest of this paper we obtain the optimal n…
The Gell-Mann $λ$ matrices for Lie algebra su(3) are the natural basis for the Hilbert space of Hermitian operators acting on the states of a three-level system(qutrit). So the construction of EWs for two-qutrit states by using these matrices may be an interesting problem. In this paper, several two-qutrit EWs are constructed based on the Gell-Mann matrices by using the linear programming (LP) method exactly or approximately. The decomposability and non-decomposability of constructed EWs are also discussed and it is shown that the $λ$-diagonal EWs presented in this paper are all decomposable b…
Two kinds of Bell-states diagonal (BSD) entanglement witnesses (EW) are constructed by using the algebra of Dirac $γ$ matrices in the space-time of arbitrary dimension $d$, where the first kind can detect some BSD relativistic and non-relativistic $m$-partite multispinor bound entangled states in Hilbert space of dimension $2^{m\lfloor d/2\rfloor}$, including the bipartite Bell-type and iso-concurrence type states in the four-dimensional space-time ($d=4$). By using the connection between Hilbert-Schmidt measure and the optimal EWs associated with states, it is shown that as far as the spin qu…
We propose a method of constructing the separability criteria for multipartite quantum states on the basis of entanglement witnesses. The entanglement witnesses are obtained by finding the maximal expectation values of Hermitian operators and then optimizing over all possible Hermitian operators. We derive a set of tripartite separability criteria for the four-qubit Greenberger--Horne--Zeilinger (GHZ) diagonal states. The derived criterion set contains four criteria that are necessary and sufficient for the tripartite separability of the highly symmetric four-qubit GHZ diagonal states; the cri…
We show how the spatial macroscopic entanglement equivalent to the off diagonal long range order (ODLRO) implies the Meissner effect and flux quantisation for a superconductor. It is argued by analogy with superconductors that the Higgs field must also be entangled in the same way. Internal (spin) entanglement is shown to be irrelevant within this context, although it can of course also be computed.
Bell inequalities, considered within quantum mechanics, can be regarded as non-optimal witness operators. We discuss the relationship between such Bell witnesses and general entanglement witnesses in detail for the Bell inequality derived by Clauser, Horne, Shimony, and Holt (CHSH). We derive bounds on how much an optimal witness has to be shifted by adding the identity operator to make it positive on all states admitting a local hidden variable model. In the opposite direction, we obtain tight bounds for the maximal proportion of the identity operator that can be subtracted from such a CHSH w…
We characterize the separability of three qubit GHZ diagonal states in terms of entries. This enables us to check separability of GHZ diagonal states without decomposition into the sum of pure product states. In the course of discussion, we show that the necessary criterion of Gühne for (full) separability of three qubit GHZ diagonal states is sufficient with a simpler formula. The main tool is to use entanglement witnesses which are tri-partite Choi matrices of positive bi-linear maps.
We define and study the properties of channels which are analogous to unital qubit channels in several ways. A full treatment can be given only when the dimension d is a prime power, in which case each of the (d+1) mutually unbiased bases (MUB) defines an axis. Along each axis the channel looks like a depolarizing channel, but the degree of depolarization depends on the axis. When d is not a prime power, some of our results still hold, particularly in the case of channels with one symmetry axis. We describe the convex structure of this class of channels and the subclass of entanglement breakin…
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 …
We characterize the positive maps detecting the entangled bipartite states of n x n qubits that are diagonal with respect to the orthonormal basis constructed by tensor products of Pauli matrices acting on the totally symmetric state. We then discuss the case n=2 for a class of states completely determined by the geometric patterns of subsets of a 16 point lattice.
Suppose we have $N$ quantum systems in unknown states $\lvertψ_i \rangle $, but know the value of some pairwise overlaps $\left| \langle ψ_k \lvert ψ_l \rangle \right|^2$. What can we say about the values of the unknown overlaps? We provide a complete answer to this problem for three pure states and two given overlaps, and a way to obtain bounds for the general case. We discuss how the answer contrasts from that of a classical model featuring only coherence-free, diagonal states, and describe three applications: basis-independent coherence witnesses, dimension witnesses, and characterisation o…
We study the separability problem in mixtures of Dicke states i.e., the separability of the so-called Diagonal Symmetric (DS) states. First, we show that separability in the case of DS in $C^d\otimes C^d$ (symmetric qudits) can be reformulated as a quadratic conic optimization problem. This connection allows us to exchange concepts and ideas between quantum information and this field of mathematics. For instance, copositive matrices can be understood as indecomposable entanglement witnesses for DS states. As a consequence, we show that positivity of the partial transposition (PPT) is sufficien…
Entanglement witnesses (EW) allow the detection of entanglement in a quantum system, from the measurement of some few observables. They do not require the complete determination of the quantum state, which is regarded as a main advantage. On this paper it is experimentally analyzed an entanglement witness recently proposed in the context of Nuclear Magnetic Resonance (NMR) experiments to test it in some Bell-diagonal states. We also propose some optimal entanglement witness for Bell-diagonal states. The efficiency of the two types of EW's are compared to a measure of entanglement with tomograp…
Entanglement in symmetric quantum states and the theory of copositive matrices are intimately related concepts. For the simplest symmetric states, i.e., the diagonal symmetric (DS) states, it has been shown that there exists a correspondence between exceptional (non-exceptional) copositive matrices and non-decomposable (decomposable) Entanglement Witnesses (EWs). Here we show that EWs of symmetric, but not DS, states can also be constructed from extended copositive matrices, providing new examples of bound entangled symmetric states, together with their corresponding EWs, in arbitrary odd dime…
Several families of states such as Werner states, Bell-diagonal states and Dicke states are useful to understand multipartite entanglement. Here we present a [2^(N+1)-1]-parameter family of N-qubit "X states" that embrace all those families, generalizing previously defined states for two qubits. We also present the algebra of the operators that characterize the states and an iterative construction for this algebra, a sub-algebra of su(2^(N)). We show how a variety of entanglement witnesses can detect entanglement in such states. Connections are also made to structures in projective geometry.
In this paper, we discuss the entanglement properties of graph-diagonal states, with particular emphasis on calculating the threshold for the transition between the presence and absence of entanglement (i.e. the separability point). Special consideration is made of the thermal states of trees, including the linear cluster state. We characterise the type of entanglement present, and describe the optimal entanglement witnesses and their implementation on a quantum computer, up to an additive approximation. In the case of general graphs, we invoke a relation with the partition function of the cla…
