We study extremal entanglement witnesses on a bipartite quantum system. We define the cone of witnesses as the dual of the set of separable density matrices, thus $\textrm{Tr}\,Ωρ\geq 0$ when $Ω$ is a witness and $ρ$ a pure product state, $ρ=ψψ^{\dagger}$ with $ψ=ϕ\otimesχ$. The set of witnesses of unit trace is a compact convex set, defined by its extremal points. The expectation value $f(ϕ,χ)=\mathrm{Tr}\,Ωρ$ as a function of $ϕ$ and $χ$ is a nonnegative biquadratic form. Every zero of $f(ϕ,χ)$ imposes real-linear constraints on $f$ and $Ω$. The Hessian matrix at the zero must be nonnegative. Its eigenvectors with zero eigenvalue, if any, we call Hessian zeros. A zero of $f(ϕ,χ)$ is quadratic if it has no Hessian zeros, otherwise it is quartic. We call a witness quadratic if it has only quadratic zeros, and quartic otherwise. We prove that a witness is extremal if and only if no other witness has the same, or a larger, set of zeros and Hessian zeros. A quadratic extremal witness has a minimum number of isolated zeros depending on dimensions. If a witness is not extremal, the constraints defined by its zeros and Hessian zeros determine all directions in which to search for witnesses having more zeros or Hessian zeros. A finite number of iterated searches in random directions lead to an extremal witness which is usually quadratic with the minimum number of zeros. We discuss some topics related to extremal witnesses, in particular the relation between the facial structures of the dual sets of witnesses and separable states. We discuss the relation between extremality and optimality of witnesses, and a conjecture of separability of the structural physical approximation (SPA) of an optimal witness. We discuss how to treat the entanglement witnesses on a complex Hilbert space as witnesses on a real Hilbert space.
In this paper, we discuss extremal extensions of entanglement witnesses based on Choi's map. The constructions are based on a generalization of the Choi map due to Osaka, from which we construct entanglement witnesses. These extremal extensions are powerful in terms of their capacity to detect entanglement of positive under partial transpose (PPT) entangled states and lead to unearthing of entanglement of new PPT states. We also use the Cholesky-like decomposition to construct entangled states which are revealed by these extremal entanglement witnesses.
We provide a new extension of entanglement witnesses for $\mathbb{C}^{d_{1}}\otimes\mathbb{C}^{d_{2}}$ systems. Our construction preserves the properties of indecomposability and spanning property of entanglement witnesses. We show how our concept of extended entanglement witnesses is connected with the idea of measurement device independent entanglement witnesses.
Quantum entanglement lies at the heart of quantum mechanical and quantum information processing. Following the question who \emph{witnesses} entanglement witnesses, we show entangled states play as the role of super entanglement witnesses. We show separable states play the role of "super super entanglement witnesses" and "witness" other observables than entanglement witnesses. We show that there exists a hierarchy structure of witnesses and there exist "witnesses" everywhere. Furthermore, we show the properties and characterization of entangled states as super entanglement witnesses. By the ro…
It is shown that entanglement witnesses constructed via the family of spectral conditions are decomposable, i.e. cannot be used to detect bound entanglement. It supports several observations that bound entanglement reveals highly non-spectral features.
We disprove the conjecture that structural physical approximations to optimal entanglement witnesses are separable states. The conjecture holds true for extremal decomposable entanglement witnesses.
We study entanglement witnesses that can be constructed with regard to the geometrical structure of the Hilbert-Schmidt space, i.e. we present how to use these witnesses in the context of quantifying entanglement and the detection of bound entangled states. We give examples for a particular three-parameter family of states that are part of the \emph{magic simplex} of two-qutrit states.
We establish a relation between concurrence and entanglement witnesses. In particular, we construct entanglement witnesses for three-qubit W and GHZ states in terms of concurrence and different set of operators that generate it. We also generalize our construction for multi-qubit states.
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.
Entanglement witness is a Hermitian operator that is useful for detecting the genuine multipartite entanglement of mixed states. Nonlinear entanglement witnesses have the advantage of a wider detection range in the entangled region. We construct genuine entanglement witnesses for four qubits density matrices in the mutually unbiased basis. First, we find the convex feasible region with positive partial transpose states. Then, to reveal the entangled regions, we present some appropriate linear entanglement witnesses and, we find the envelope of this family of linear witnesses as a nonlinear wit…
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 map…
Entanglement witnesses provide a standard tool for the analysis of entanglement in experiments. We investigate possible nonlinear entanglement witnesses from several perspectives. First, we demonstrate that they can be used to show that the set of separable states has no facets. Second, we give a new derivation of nonlinear witnesses based on covariance matrices. Finally, we investigate extensions to the multipartite case.
In this paper we describe a new connection between UPB (unextendable product bases) and P (positive) maps which are not CP (completely positive). We show that inner automorphisms of the set of P maps which are not CP, produce extremal extensions of these maps that help in entanglement detection. By constructing such an extension of the well-known Choi map, we strengthen its power to unearth PPT (positive under partial transpose) entangled states. We further show that the class of maps generated from the Choi map via an inner automorphism naturally detects the entanglement of states in the orth…
We derive an experimentally observable lower bound on concurrence of mixed quantum states in terms of an entanglement witness, relating measurements on single states with those on two copies.
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. Keywords: non-linear and linear entanglement …
We show that each entanglement witness detecting given bipartite entangled state provides an estimation of its concurrence. We illustrate our result with several well known examples of entanglement witnesses and compare the corresponding estimation of concurrence with other estimations provided by the trace norm of partial transposition and realignment.
We interpret multi-partite genuine entanglement witnesses as simultaneous positivity of various maps arising from them. We apply this result to multi-qubit {\sf X}-shaped Hermitian matrices, and characterize the conditions for them to be genuine entanglement witnesses, in terms of entries. Furthermore, we find all optimal ones among them. They turn out to have the spanning properties, and so they detect non-zero volume set of multi-qubit genuine entanglement. We also characterize decomposability for {\sf X}-shaped entanglement witnesses.
We construct three-qubit entanglement witnesses with the properties that all the partial transposes have the spanning properties. These witnesses determine faces for separable states whose interior lies in the interior of PPT states, and so they detect sets of PPT entangled states with nonempty interiors. These witnesses also detect all kinds of bi-separable pure product states. Our construction depends on the observation that multi-partite entanglement witnesses correspond to multi-linear maps which are positive.
Entanglement witnesses are observables which when measured, detect entanglement in a measured composed system. It is shown what kind of relations between eigenvectors of an observable should be fulfilled, to allow an observable to be an entanglement witness. Some restrictions on the signature of entaglement witnesses, based on an algebraic-geometrical theorem will be given. The set of entanglement witnesses is linearly isomorphic to the set of maps between matrix algebras which are positive, but not completely positive. A translation of the results to the language of positive maps is also give…
We give a universal recipe for constructing nonlinear entanglement witnesses able to detect non-classical correlations in arbitrary systems of distinguishable and/or identical particles for an arbitrary number of constituents. The constructed witnesses are expressed in terms of expectation values of observables. As such they are, at least in principle, measurable in experiments
We show that macroscopic thermodynamical properties - such as functions of internal energy and magnetization - can detect quantum entanglement in solids at nonzero temperatures in the thermodynamical limit. We identify the parameter regions (critical values of magnetic field and temperature) within which entanglement is witnessed by these thermodynamical quantities.
The ultrafine entanglement witness, introduced in [F. Shahandeh, M. Ringbauer, J.C. Loredo, and T.C. Ralph, Phys. Rev. Lett. \textbf{118}, 110502 (2017)], can seamlessly and easily improve any standard entanglement witness. In this paper, by combining the constraint and the test operators, we rotate the hyperplane determined by the test operator and improve further the original ultrafine entanglement witness. In particular, we present a series of new ultrafine entanglement witnesses, which not only can detect entangled states that the original ultrafine entanglement witnesses cannot detect, bu…
The geometric measure of entanglement is an approach to quantifying entanglement that is based on the Hilbert-space distance (or, equivalently, angle) between pure states and their best unentangled approximants. An entanglement witness is an operator that reveals entanglement for a given entangled state. A connection is identified between entanglement witnesses and the geometric measure of entanglement. This offers a new interpretation of the geometric measure of entanglement of a state, and renders it experimentally verifiable, doing so most readily for states that are pure.
We construct three-qubit entanglement witnesses with relatively simple structures. Despite their simplicity, these witnesses are capable of detecting a number of bound entangled states more effectively. To illustrate this, two families of bound entangled three-qubit states, introduced by Kay [Phys. Rev. A 83, 020303 (2011)] and Kye [J. Phys. A: Math. Theor. 48, 235303 (2015)], are considered and it is shown that these witnesses are able to detect the entanglement of all states in the families.
We present very simple method for constructing indecomposable entanglement witnesses out of a given pair -- an entanglement witness W and the corresponding state detected by W. This method may be used to produce new classes of atomic witnesses which are able to detect the `weakest' quantum entanglement. Actually, it works perfectly in the multipartite case, too. Moreover, this method provides a powerful tool for constructing new examples of bound entangled states.
We study entanglement witness and present a construction of entanglement witnesses in terms of the symmetric informationally complete measurements (SIC-POVM). The capability of our witness is shown by some examples and it can be found this witness detects more entanglement than previous separability method given also by SIC-POVM. What's more, comparing with the dimension dependence of SIC-POVM, we also give the entanglement witnesses can be always constructed from general symmetric informationally complete measurements (GSIC-POVM).
Entanglement detection typically relies on linear inequalities for mean values of certain observables (entanglement witnesses), where violation indicates entanglement. We provide a general method to improve any of these inequalities for bipartite systems via nonlinear expressions. The nonlinearities are of different orders and can be directly measured in experiments, often without any extra effort.
In this study, the spin-momentum correlation of one massive spin-1/2 and spin-1 particle states, which are made based on projection of a relativistic spin operator into timelike direction is investigated. It is shown that by using Non-Linear entanglement witnesses (NLEWs), the effect of Lorentz transformation would decrease both the amount and the region of entanglement.
We derive a set of algebraic equations, the so-called multipartite separability eigenvalue equations. Based on their solutions, we introduce a universal method for the construction of multipartite entanglement witnesses. We witness multipartite entanglement of $10^3$ coupled quantum oscillators, by solving our basic equations analytically. This clearly demonstrates the feasibility of our method for studying ultra-high orders of multipartite entanglement in complex quantum systems.
Entanglement witnesses (EWs) are a fundamental tool for the detection of entanglement. We investigate the inertias of bipartite EWs constructed by the partial transpose of NPT states. Furthermore, we find out most of the inertias of the patial transpose of the two-qutrit bipartite NPT states. As an application, we extend our results to high dimensional states.
It is shown that the enhanced (nonlinear) realignment criterion is equivalent to the family of linear criteria based on correlation tensor. These criteria generalize the original (linear) realignment criterium and give rise to the family of entanglement witnesses. An appropriate limiting procedure is proposed which leads to a novel class of witnesses which are as powerful as the enhanced realignment criterion.
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.
The controlled generation of entangled states and their subsequent detection are integral aspects of quantum information science. In this work, we analyse the application of nonlinear witnesses to the verification of entanglement, and we demonstrate experimentally that nonlinear witnesses perform significantly better than linear witnesses. Specifically, we demonstrate that a single non- linear entanglement witness is able to determine to a high degree of certainty that a mixed state containing orbital angular momentum (OAM) entanglement of specific forms is entangled for any relative phase and…
The problem of demonstrating entanglement is central to quantum information processing applications. Resorting to standard entanglement witnesses requires one to perfectly trust the implementation of the measurements to be performed on the entangled state, which may be an unjustified assumption. Inspired by the recent work of F. Buscemi [Phys. Rev. Lett. 108, 200401 (2012)], we introduce the concept of Measurement-Device-Independent Entanglement Witnesses (MDI-EWs), which allow one to demonstrate entanglement of all entangled quantum states with untrusted measurement apparatuses. We show how t…
Optomechanical systems open new possibilities in fundamental research at the interface between quantum information and gravity. Recently, an ambitious experimental proposal was suggested by Bose et al. to measure the entanglement between two optomechanical systems generated by their gravitational interaction. The scheme relies on witnessing entanglement between the two systems. Here we develop a general framework to study the quality of bipartite entanglement witnesses using fidelity witnesses. We then apply this framework to the gravitational entanglement proposal, optimizing for the detectio…
I explore entanglement dynamics in a three qubit system comparing the ability of entanglement witnesses to detect tri-partite entanglement to the phenomenon of entanglement sudden death (ESD). Using a system subject to dephasing I invoke entanglement witnesses to detect tri-partite GHZ and W-type entanglement and compare the evolution of their detection capabilites with the evolution of the negativity, bi-partite concurrence, and tri-partite negativity. Interestingly, I find a state in which there is no concurrence or tri-partite negativity but there is entanglement. Finally, I utilize a three…
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).
The entanglement witness is an important and experimentally applicable tool for entanglement detection. In this paper, we provide a nonlinear improvement of any entanglement witness for $2\otimes d$ quantum systems. Compared with any existing entanglement witness, the improved separability criterion only needs two more measurements on local observables. Detailed examples are employed to illustrate the efficiency of the nonlinear improvement for general, optimal and non-decomposable entanglement witnesses.
Teleportation witnesses are hermitian operators which can identify useful entanglement for quantum teleportation. Here we provide a systematic method to construct teleportation witnesses from entanglement witnesses corresponding to general qudit systems. The witnesses so constructed are shown to be optimal for qubit and qutrit systems, and therefore detect the largest set of states useful for teleportation within a given class. We demonstrate the action of the witness pertaining to different classes of states in qubits and qutrits. Decomposition of the witness in terms of spin operators facili…
A generic algorithm is developed to reduce the problem of obtaining linear and nonlinear entanglement witnesses of a given quantum system, to convex optimization problem. This approach is completely general and can be applied for the entanglement detection of any N-partite quantum system. For this purpose, a map from convex space of separable density matrices to a convex region called feasible region is defined, where by using exact convex optimization method, the linear entanglement witnesses can be obtained from polygonal shape feasible regions, while for curved shape feasible regions, envel…
We show how to detect entangled, bound entangled, and separable bipartite quantum states of arbitrary dimension and mixedness using geometric entanglement witnesses. These witnesses are constructed using properties of the Hilbert-Schmidt geometry and can be shifted along parameterized lines. The involved conditions are simplified using Bloch decompositions of operators and states. As an example we determine the three different types of states for a family of two-qutrit states that is part of the "magic simplex", i.e. the set of Bell-state mixtures of arbitrary dimension.
We construct entanglement witnesses with regard to the geometric structure of the Hilbert--Schmidt space and investigate the geometry of entanglement. In particular, for a two--parameter family of two--qutrit states that are part of the magic simplex we calculate the Hilbert--Schmidt measure of entanglement. We present a method to detect bound entanglement which is illustrated for a three--parameter family of states. In this way we discover new regions of bound entangled states. Furthermore we outline how to use our method to distinguish entangled from separable states.
We provide a new class of indecomposable entanglement witnesses. In 4 x 4 case it reproduces the well know Breuer-Hall witness. We prove that these new witnesses are optimal and atomic, i.e. they are able to detect the "weakest" quantum entanglement encoded into states with positive partial transposition (PPT). Equivalently, we provide a new construction of indecomposable atomic maps in the algebra of 2k x 2k complex matrices. It is shown that their structural physical approximations give rise to entanglement breaking channels. This result supports recent conjecture by Korbicz et. al.
We study the separability of symmetric bipartite quantum states and show that a single correlation measurement is sufficient to detect the entanglement of any bipartite symmetric state with a non-positive partial transpose. We also discuss entanglement conditions and entanglement witnesses for states with a positive partial transpose.
We study the problem of witnessing entanglement among indistinguishable particles. For this purpose, we derive a set of equations which results in necessary and sufficient conditions for probing multipartite entanglement between arbitrary systems of Bosons or Fermions. The solution of these equations yields the construction of optimal entanglement witnesses for partial and full entanglement in discrete and continuous variable systems. Our approach unifies the verification of entanglement for distinguishable and indistinguishable particles. We provide general solutions for certain observables t…
We present an explicit construction of entanglement witnesses for depolarized states in arbitrary finite dimension. For infinite dimension we generalize the construction to twin-beams perturbed by Gaussian noises in the phase and in the amplitude of the field. We show that entanglement detection for all these families of states requires only three local measurements. The explicit form of the corresponding set of local observables (quorom) needed for entanglement witness is derived.
We provide a new class of entanglement witnesses for $d \ot d$ systems (two qudits). Our construction generalizes the one proposed recently by Jafarizadeh et al. for $d=3$ and $d=4$ on the basis of semidefinite linear programming. Moreover, we provide a new class of PPT entangled states detected by our witnesses which generalizes well known family of states constructed by Horodecki et al. for $d=3$.
We use Robust Semidefinite Programs and Entanglement Witnesses to study the distillability of Werner states. We perform exact numerical calculations which show 2-undistillability in a region of the state space which was previously conjectured to be undistillable. We also introduce bases which yield interesting expressions for the {\em distillability witnesses} and for a tensor product of Werner states with arbitrary number of copies.
We demonstrate a general procedure to construct entanglement witnesses for any entangled state. This procedure is based on the trace inequality and a general form of entanglement witnesses, which is in the form $W=ρ-c_ρ I$, where $ρ$ is a density matrix, $c_ρ$ is a non-negative number related to $ρ$, and $I$ is the identity matrix. The general form of entanglement witnesses is deduced from Choi-Jamiołkowski isomorphism, that can be reinterpreted as that all quantum states can be obtained by a maximally quantum entangled state pass through certain completely positive maps. Furthermore, we provi…
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.
We present an analysis of the properties and characteristics of weakly optimal entanglement witnesses, that is witnesses whose expectation value vanishes on at least one product vector. Any weakly optimal entanglement witness can be written as the form of $W^{wopt}=σ-c_σ^{max} I$, where $c_σ^{max}$ is a non-negative number and $I$ is the identity matrix. We show the relation between the weakly optimal witness $W^{wopt}$ and the eigenvalues of the separable states $σ$. Further we give an application of weakly optimal witnesses for constructing entanglement witnesses in a larger Hilbert space by…
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…
