In 2017 an idea considering a pair of Hermitian operators of product form was published, which is called ultrafine entanglement witnessing. In 2018 some rigorous results were given. Here we improve their work. First we point this idea can be directly derived from an earlier concept named joint separable numerical range and explain how it works as a series of witnesses. Second by a simple method we present a sufficient condition for an effective pair. Finally we prove this condition is necessary for optimization.
Absolutely separable states form a special subset of the set of all separable states, as they remain separable under any global unitary transformation unlike other separable states. In this work we consider the set of absolutely separable bipartite states and show that it is convex and compact in any arbitrary dimensional Hilbert space. Through a generic approach of construction of suitable hermitian operators we prove the completeness of the separation axiom for identifying any separable state that is not absolutely separable. We demonstrate the action of such witness operators in different q…
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 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 work we introduce a nonlinear witness that is a sufficient condition for detecting the vanishment of quantum correlation of bipartite states. Our result directly generalizes the result of [J. Maziero, R. M. Serra, arXiv:1012.3075] to arbitrary dimension based on the Bloch representation of density matrices.
Entanglement witnesses are nonpositive Hermitian operators which can detect the presence of entanglement. In this paper, we provide a general parametrization for orthonormal basis of ${\mathbb C}^n$ and use it to construct projector-based witness operators for entanglement detection in the vicinity of pure bipartite states. Our method to parameterize entanglement witnesses is operationally simple and could be used for doing symbolic and numerical calculations. As an example we use the method for detecting entanglement between an atom and the single mode of quantized field, described by the Jay…
Any bipartite entanglement witness $W$ can be written as $W=c_σI-σ$, where $σ$ is a quantum state, $I$ is the identity matrix, and $c_σ$ is a non-negative number. We present a general method to extend the given entanglement witness to multipartite cases via purification, partial purification, and direct tensor of the quantum state $σ$. Our methods extend $σ$ but leave the parameter $c_σ$ untouched. This is very valuable since the parameter is generally not easy to compute.
We present a large class of indecomposable exposed positive linear maps between three dimensional matrix algebras. We also construct two qutrit separable states with lengths ten in the interior of their dual faces. With these examples, we show that the length of a separable state may decrease strictly when we mix it with another separable state.
In this paper, based on a matrix norm, we first present a ball of separable unnormalized states around the identity matrix for the bipartite quantum system, which is larger than the separable ball in Frobenius norm. Then the proposed ball is used to get not only simple sufficient conditions for the separability of pseudopure states and the states with strong positive partial transposes, but also a separable ball centered at the identity matrix for the multipartite quantum system.
We present a practical scheme for the decomposition of a bipartite mixed state into a sum of direct products of local density matrices, using the technique developed in Li and Qiao (Sci. Rep. 8: 1442, 2018). In the scheme, the correlation matrix which characterizes the bipartite entanglement is first decomposed into two matrices composed of the Bloch vectors of local states. Then we show that the symmetries of Bloch vectors are consistent with that of the correlation matrix, and the magnitudes of the local Bloch vectors are lower bounded by the correlation matrix. Concrete examples for the sep…
Quantum correlations in composite and separable quantum systems are characterized by non-vanishing quantum discord. We demonstrate the necessary and sufficient conditions for existence of hermitian witness operators for quantum discord, bypassing the problem of non-convexity of the set of all classical states. We propose an example of a linear witness which can detect quantum correlations in large classes of separable bipartite systems. Decomposition of the witness in terms of a small number of locally measurable operators as shown here, paves the way for experimental detection of quantum corr…
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.
In a recent paper, Tilma, Everitt {\it et al.} derived a generalized Wigner function that can characterize both the discrete and continuous variable states, i.e., hybrid states. As such, one can expect that the negativity of the generalized Wigner function applied to the hybrid states can reveal their nonclassicality, in analogy with the well-known Wigner function defined for the continuous variable states. In this work, we demonstrate that, indeed, the negativity volume of the generalized Wigner function of the hybrid bipartite states can be used as an entanglement witness for such states, pr…
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 (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.
We discuss the use of the Gilbert algorithm to tailor entanglement witnesses for unextendibleproduct basis bound entangled states (UPB BE states). The method relies on the fact that an optimalentanglement witness is given by a plane perpendicular to a line between the reference state, entanglementof which is to be witnessed, and its closest separable state (CSS). The Gilbert algorithm finds anapproximation of CSS. In this article, we investigate if this approximation can be good enough toyield a valid entanglement witness. We compare witnesses found with Gilbert algorithm and those givenby Ban…
Recently, we proposed a method for the local detection of quantum correlations on the basis of local measurements and state tomography at different instances in time [Phys. Rev. Lett. 107, 180402 (2011)]. The method allows for the detection of quantum discord in bipartite systems when access is restricted to only one of the subsystems. Here, we elaborate the details of this method and provide applications to specific physical models. In particular, we discuss the performance of the scheme for generic complex systems by investigating thermal equilibrium states corresponding to randomly generate…
We {characterize the multipartite entanglement in a quantum system by the quantity} which vanishes if only the quantum system may be decomposed into two weakly entangled subsystems, unlike measures of multipartite entanglement introduced before. We refer to this {quantity} as the minimal entanglement of bipartite decompositions (MEBD). Big MEBD means that the system may not be decomposed into two weakly entangled subsystems. MEBD allows one to define, for instance, whether the given quantum system may be a candidate for a quantum register, where the above decomposition is undesirable. A method…
P-representability is a necessary and sufficient condition for separability of bipartite Gaussian states only for the special subset of states whose covariance matrix are $Sp(2,R)\otimes Sp(2,R)$ locally invariant. Although this special class of states can be reached by a convenient $Sp(2,R)\otimes Sp(2,R)$ transformation over an arbitrary covariance matrix, it represents a loss of generality, avoiding inference of many general aspects of separability of bipartite Gaussian states.
Experimental detection of entanglement of an arbitrary state of a given bipartite system is crucial for exploring many areas of quantum information. But such a detection should be made in a device independent way if the preparation process of the state is considered to be faithful, in order to avoid detection of a separable state as entangled one. The recently developed scheme of detecting bipartite entanglement in a measurement device independent way [Phys. Rev. Lett {\bf 110}, 060405 (2013)] does require information about the state. Here by using Auguisiak et al.'s universal entanglement wit…
We address perfect discrimination of two separable states. When available states are restricted to separable states, we can theoretically consider a larger class of measurements than the class of measurements allowed in quantum theory. The framework composed of the class of separable states and the above extended class of measurements is a typical example of general probabilistic theories. In this framework, we give a necessary and sufficient condition to discriminate two separable pure states perfectly. In particular, we derive measurements explicitly to discriminate two separable pure states…
Every choice of an orthonormal frame in the d-dimensional Hilbert space of a system corresponds to one set of all mutually commuting density matrices or, equivalently, a classical statistical state space of the system; the quantum state space itself can thus be profitably viewed as an SU(d) orbit of classical state spaces, one for each orthonormal frame. We exploit this connection to study the relative volume of separable states of a bipartite quantum system. While the two-qubit case is studied in considerable analytic detail, for higher dimensional systems we fall back on Monte Carlo. Several…
Presence of correlations among the constituent quantum systems has a great relevance in thermodynamics. Significant efforts have been devoted to investigate the role of correlations in work extraction, among others. Here, we derive a bound on the difference between global and local extractable work by unitary operations (ergotropic gap), for bipartite separable states. Violation of this bound necessarily certifies the presence of entanglement. This gap is shown to be a monotone under LOCC assisted state transformations for pure bipartite quantum states. Our criterion has an implication in witn…
Witness Operator Provides Better Estimate of the Lower Bound of Concurrence of Bipartite Bound Entangled States in $d_{1}\otimes d_{2}$ Dimensional System
We introduce and explore two questions concerning spectra of operators that are of interest in the theory of entanglement in symmetric (i.e., bosonic) quantum systems. First, we investigate the inverse eigenvalue problem for symmetric entanglement witnesses -- that is, we investigate what their possible spectra are. Second, we investigate the problem of characterizing which separable symmetric quantum states remain separable after conjugation by an arbitrary unitary acting on symmetric space -- that is, which states are separable in every orthonormal symmetric basis. Both of these questions ha…
In 2008, the conjecture that structural physical approximations to optimal entanglement witnesses are separable states (in general unnormalized) was posed. In an attempt to disprove it, in [K.-C. Ha and S.-H. Kye, Separable states with unique decompositions, arXiv:1210.1088v3], Ha and Kye proposed a decomposable entanglement witness whose SPA is entangled and argued that it is optimal. In this note, which is based on a comment to the latter work [R. Augusiak et al., Comment on "Separable states with unique decompositions", arXiv:1304.2040v1], we show, both analytically and numerically, that th…
We address the problem of optimising entanglement witnesses when a limited fixed set of local measurements can be performed on a bipartite system, thus providing a procedure, feasible also for experiments, to detect entangled states using only the statistics of these local measurements. We completely characterize the class of entanglement witnesses of the form $W = P ^Γ$, where $Γ$ denotes partial transposition, that can be constructed from the measurements of the bipartite operators $σ_{x}\otimesσ_{x},$ $σ_{y}\otimesσ_{y}$ and $σ_{z}\otimesσ_{z}$ in the case of two-qubit systems. In particula…
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.
For a given density matrix $ρ$ of a bipartite quantum system an asymptotical separability criterion is suggested. Using the continuous ensemble method, a sequence of separable density matrices is built which converges to $ρ$ if and only if $ρ$ is separable. The convergence speed is evaluated and for any given tolerance parameter $κ$ an iterative procedure is suggested which decides in finite number of steps if there exists a separable density matrix $ρ_κ$ which differs from the matrix $ρ$ by at most $κ$.
We study the connection between the Hilbert-Schmidt measure of entanglement (that is the minimal distance of an entangled state to the set of separable states) and entanglement witness in terms of a generalized Bell inequality which distinguishes between entangled and separable states. A method for checking the nearest separable state to a given entangled one is presented. We illustrate the general results by considering isotropic states, in particular 2-qubit and 2-qutrit states -- and their generalizations to arbitrary dimensions -- where we calculate the optimal entanglement witnesses expli…
Like entanglement, quantum discord quantifies the quantum correlations. Unlike entanglement, whose detection is extremely difficult, the quantum discord of an arbitrary bipartite state allows itself to be detected perfectly by a single observable, the quantum discord witness. In particular, we report a single observable whose expectation value provides a necessary and sufficient condition for the vanishing quantum discord of an arbitrary bipartite unknown state with four copies. A quantum circuit is designed to measure the quantum discord witness by using only local qubit-measurements.
Gilbert proposed an algorithm for bounding the distance between a given point and a convex set. In this article we apply the Gilbert's algorithm to get an upper bound on the Hilbert-Schmidt distance between a given state and the set of separable states. While Hilbert Schmidt Distance does not form a proper entanglement measure, it can nevertheless be useful for witnessing entanglement. We provide here a few methods based on the Gilbert's algorithm that can reliably qualify a given state as strongly entangled or practically separable, while being computationally efficient. The method also outpu…
For finite-dimensional bipartite quantum systems, we find the exact size of the largest balls, in spectral $l_p$ norms for $1 \le p \le \infty$, of separable (unentangled) matrices around the identity matrix. This implies a simple and intutively meaningful geometrical sufficient condition for separability of bipartite density matrices: that their purity $\tr ρ^2$ not be too large. Theoretical and experimental applications of these results include algorithmic problems such as computing whether or not a state is entangled, and practical ones such as obtaining information about the existence or n…
We show that the entanglement witnesses based on local orthogonal observables which are introduced in [S. Yu and N.-L. Liu, Phys. Rev. Lett. 95, 150504 (2005)] and [O. Gühne, M. Mechler, G. Tóth and P. Adam, Phys. Rev. A 74, 010301 (2006)] in linear and nonlinear forms can be optimized, respectively. As applications, we calculate the optimal nonlinear witnesses of pure bipartite states and show a lower bound on the I-concurrence of bipartite higher dimensional systems with our method.
We define a negative entanglement measure for separable states which shows that how much entanglement one should compensate the unentangled state at least for changing it into an entangled state. For two-qubit systems and some special classes of states in higher-dimensional systems, the explicit formula and the lower bounds for the negative entanglement measure have been presented, and it always vanishes for bipartite separable pure states. The negative entanglement measure can be used as a useful quantity to describe the entanglement dynamics and the quantum phase transition. In the transvers…
According to usual definitions, entangled states cannot be given a separable decomposition in terms of products of local density operators. If we relax the requirement that the local density operators be positive, then an entangled quantum state may admit a separable decomposition in terms of more general sets of single-system operators. This form of separability can be used to construct classical models and simulation methods when only restricted set of measurements are available. With such motivations in mind, we ask what are the smallest such sets of local operators such that a pure biparti…
Entanglement detection problem is one of the important problem in quantum information theory. Gurvit showed that this problem is NP complete and thus this may be the possible reason that only one criterion is not sufficient to detect all entangled states. There are some powerful entanglement detection criterion such as partial transposition criterion, realignment criterion but it may not be possible to implement them successfully in the experiment. This situation can be avoided if the entanglement is detected through the construction of witness operator method. In this work, we take an analyti…
We demonstrate that the presence of entanglement in macroscopic bodies (e.g. solids) in thermodynamical equilibrium could be revealed by measuring heat-capacity. The idea is that if the system were in a separable state, then for certain Hamiltonians heat capacity would not tend asymptotically to zero as the temperature approaches absolute zero. Since this would contradict the third law of thermodynamics, one concludes that the system must contain entanglement. The separable bounds are obtained by minimization of the heat capacity over separable states and using its universal low-temperature be…
Entanglement, the essential resource in quantum information processing, should be witnessed in many tasks such as quantum computing and quantum communication. The conventional entanglement witness method, relying on an idealized implementation of measurements, could wrongly conclude a separable state to be entangled due to imperfect detections. Inspired by the idea of a time-shift attack, we construct an attack on the conventional entanglement witness process and demonstrate that a separable state can be falsely identified to be entangled. To close such detection loopholes, based on a recently…
We study the optimal entanglement witness with respect to multiqubits W-states. We show such entanglement witnesses can be used to distinguish genuine entangled states, different biseparable states and fully separable states.
Bipartite quantum states are classified into three categories: separable states, bound entangled states, and free entangled states. It is of great importance to characterize these families of states for the development of quantum information science. In this paper, I show that the separable states and the bound entangled states have a common spectral property. More precisely, I prove that for undistillable -- separable and bound entangled -- states, the eigenvalue vector of the global system is majorized by that of the local system. This result constitutes a new sufficient condition for distil…
In this paper, we treat an asymptotic hypothesis testing (or state discrimination with asymmetric treatment of errors) between an arbitrary fixed bipartite pure state and the completely mixed state by one-way LOCC, two-way LOCC, and separable POVMs. As a result, we derive single-letterized formulas for the Stein's lemma type of optimal error exponents under one-way LOCC, two-way LOCC and separable POVMs, the Chernoff bounds under one-way LOCC POVMs and separable POVMs, and the Hoeffding bounds under one-way LOCC POVMs in the whole region of a parameter and under separable POVMs on a restricted…
We use matched quantum entanglement witnesses to study the separable criteria of continuous variable states. The witness can be written as an identity operator minus a Gaussian operator. The optimization of the witness then is transformed to an eigenvalue problem of a Gaussian kernel integral equation. It follows a separable criterion not only for symmetric Gaussian quantum states, but also for non-Gaussian states prepared by photon adding to or/and subtracting from symmetric Gaussian states. Based on Fock space numeric calculation, we obtain an entanglement witness for more general two-mode s…
Let $H^{[ N]}=H^{[ d_{1}]}\otimes ... \otimes H^{[ d_{n}]}$ be a tensor product of Hilbert spaces and let $τ_{0}$ be the closest separable state in the Hilbert-Schmidt norm to an entangled state $ρ_{0}$. Let $\tildeτ_{0}$ denote the closest separable state to $ρ_{0}$ along the line segment from $I/N$ to $ρ_{0}$ where $I$ is the identity matrix. Following [pitrubmat] a witness $W_{0}$ detecting the entanglement of $ρ_{0}$ can be constructed in terms of $I, τ_{0}$ and $\tildeτ_{0}$. If representations of $τ_{0}$ and $\tildeτ_{0}$ as convex combinations of separable projections are known, then th…
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.
Based on the general form of entanglement witnesses constructed from separable states, we first show a sufficient condition of violating the structural physical approximation (SPA) conjecture [Phys. Rev. A 78, 062105 (2008)]. Then we discuss the SPA conjecture for decomposable entanglement witnesses. Moreover, we make geometric illustrations of the connection between entanglement witnesses and the sets of quantum states, separable states, and entangled states comparing with planes and vectors in Euclidean space.
We consider a statistical mixture of two identical harmonic oscillators which is characterized by four parameters, namely, the concentrations (x and y) of diagonal and nondiagonal bipartite states, and their associated thermal-like noises (T/a and T, respectively). The fully random mixture of two spins 1/2 as well as the Einstein-Podolsky-Rosen (EPR) state are recovered as particular instances. By using the conditional nonextensive entropy as introduced by Abe and Rajagopal, we calculate the separable-entangled frontier. Although this procedure is known to provide a necessary but in general no…
A density operator of a bipartite quantum system is called robustly separable if it has a neighborhood of separable operators. Given a bipartite density matrix, its property to be robustly separable is reduced, using the continuous ensemble method, to a finite number of numerical equations. The solution of this system exists for any robustly separable density operator and provides its representation by a continuous mixture of pure product states.
We derive Bohm's trajectories from Bell's beables for arbitrary bipartite systems composed by dissipative noninteracting harmonic oscillators at finite temperature. As an application of our result, we calculate the Bohmian trajectories of particles described by a generalized Werner state, comparing the trajectories when the sate is either separable or entangled. We show that qualitative differences appear in the trajectories for entangled states as compared with those for separable states.
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.
