Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:1401.5324 · Physical Review A

Witness of mixed separable states useful for entanglement creation

Nirman Ganguly, Jyotishman Chatterjee, A. S. Majumdar

Published May 8, 2014• 37 citations
arXivHTMLPDF

Abstract

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. 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 qudit systems. Examples of mixed separable systems are provided, pointing out the utility of the witness in entanglement creation using quantum gates. Decomposition of witnesses in terms of spin operators or photon polarizations facilitates their measurability for qubit states.

DOI
10.1103/physreva.89.052304

Related papers

Quantum separability and entanglement detection via entanglement-witness search and global optimization

Lawrence M. Ioannou, B. C. Travaglione

We focus on determining the separability of an unknown bipartite quantum state $\ensuremath{\rho}$ by invoking a sufficiently large subset of all possible entanglement witnesses given the expected value of each element of a set of mutually orthogonal observables. We review the concept of an entanglement witness from the geometrical point of view and use this geometry to show that the set of separable states is not a polytope and to characterize the class of entanglement witnesses (observables) that detect entangled states on opposite sides of the set of separable states. All this serves to motivate a classical algorithm which, given the expected values of a subset of an orthogonal basis of observables of an otherwise unknown quantum state, searches for an entanglement witness in the span of the subset of observables. The idea of such an algorithm, which is an efficient reduction of the quantum separability problem to a global optimization problem, was introduced by [Ioannou et al., Phys. Rev. A 70, 060303(R)], where it was shown to be an improvement on the naive approach for the quantum separability problem (exhaustive search for a decomposition of the given state into a convex combination of separable states). The last section of the paper discusses in more generality such algorithms, which, in our case, assume a subroutine that computes the global maximum of a real function of several variables. Despite this, we anticipate that such algorithms will perform sufficiently well on small instances that they will render a feasible test for separability in some cases of interest (e.g., in $3\ifmmode\times\else\texttimes\fi{}3$ dimensional systems).

arXiv:quant-ph/0602223•Physical Review A•May 23, 2006•28 citations

Detecting quantum correlations in separable systems

Satyabrata Adhikari, A. S. Majumdar, I. Chakraborty

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 correlations beyond entanglement.

arXiv:1205.2098•May 9, 2012•0 citations

Absolute-separability witnesses for symmetric multiqubit states

Eduardo Serrano-Ensástiga, Jérôme Denis, John Martin

The persistent separability of certain quantum states, known as symmetric absolutely separable (SAS), under symmetry-preserving global unitary transformations is of key significance in the context of quantum resources for bosonic systems. In this paper, we develop criteria for detecting SAS states of any number of qubits. Our approach is based on the Glauber-Sudarshan $P$ representation for finite-dimensional quantum systems. We introduce three families of SAS witnesses, one linear and two nonlinear in the eigenvalues of the state, formulated respectively as an algebraic inequality or a quadratic optimization problem. These witnesses are capable of identifying more SAS states than previously known counterparts. We also explore the geometric properties of the subsets of SAS states detected by our witnesses, shedding light on their distinctions.

arXiv:2312.00497•Physical Review A•Feb 22, 2024•8 citations

Characterization of separable states and entanglement witnesses

Maciej Lewenstein, Barbara Kraus, Paweł Horodecki +1 more

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, which allows us to introduce a canonical form of nondecomposable entanglement witnesses and the corresponding positive maps. We also present a nontrivial necessary condition for entanglement witnesses and positive maps to be extremal.

arXiv:quant-ph/0005112•Physical Review A•Mar 20, 2001•181 citations

Characterizing entanglement with geometric entanglement witnesses

Philipp Krammer

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.

arXiv:0807.4830•Journal of Physics A Mathematical and Theoretical•Jan 15, 2009•13 citations

Criteria of absolutely separability from spectrum for qudit-qudits states

Liang Lin Xiong, Nung-Sing Sze

Separability from the spectrum is a significant and ongoing research topic in quantum entanglement. In this study, we investigate properties related to absolute separability from the spectrum in qudits-qudits states in the bipartite states space $\mathcal{H}_{mn}=\mathcal{H}_m \otimes \mathcal{H}_n$. Firstly, we propose the necessary and sufficient conditions for absolute separable states in the Hilbert space $\mathcal{H}_{4n}$. These conditions are equivalent to the positive semidefiniteness of twelve matrices resulting from the symmetric matricizations of eigenvalues. Furthermore, we demonstrate that this sufficient condition can be extended to the general $\mathcal{H}_{mn}$ case, improving existing conclusions in the literature. These sufficient conditions depend only on the first few leading and last few leading eigenvalues, significantly reducing the complexity of determining absolute separable states. On the other hand, we also introduce additional sufficient conditions for determining that states in $\mathcal{H}_{mn}$ are not absolutely separable. These conditions only depend on $2m-1$ eigenvalues of the mixed states. Our sufficient conditions are not only simple and easy to implement. As applications, we derive distance bounds for eigenvalues and purity bounds for general absolutely separable states.

arXiv:2408.11684•Aug 21, 2024•0 citations
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. 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 qudit systems. Examples of mixed separable systems are provided, pointing out the utility of the witness in entanglement creation using quantum gates. Decomposition of witnesses in terms of spin operators or photon polarizations facilitates their measurability for qubit states.
We focus on determining the separability of an unknown bipartite quantum state $\ensuremath{\rho}$ by invoking a sufficiently large subset of all possible entanglement witnesses given the expected value of each element of a set of mutually orthogonal observables. We review the concept of an entanglement witness from the geometrical point of view and use this geometry to show that the set of separable states is not a polytope and to characterize the class of entanglement witnesses (observables) that detect entangled states on opposite sides of the set of separable states. All this serves to motivate a classical algorithm which, given the expected values of a subset of an orthogonal basis of observables of an otherwise unknown quantum state, searches for an entanglement witness in the span of the subset of observables. The idea of such an algorithm, which is an efficient reduction of the quantum separability problem to a global optimization problem, was introduced by [Ioannou et al., Phys. Rev. A 70, 060303(R)], where it was shown to be an improvement on the naive approach for the quantum separability problem (exhaustive search for a decomposition of the given state into a convex combination of separable states). The last section of the paper discusses in more generality such algorithms, which, in our case, assume a subroutine that computes the global maximum of a real function of several variables. Despite this, we anticipate that such algorithms will perform sufficiently well on small instances that they will render a feasible test for separability in some cases of interest (e.g., in $3\ifmmode\times\else\texttimes\fi{}3$ dimensional systems).
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 correlations beyond entanglement.
The persistent separability of certain quantum states, known as symmetric absolutely separable (SAS), under symmetry-preserving global unitary transformations is of key significance in the context of quantum resources for bosonic systems. In this paper, we develop criteria for detecting SAS states of any number of qubits. Our approach is based on the Glauber-Sudarshan PPP representation for finite-dimensional quantum systems. We introduce three families of SAS witnesses, one linear and two nonlinear in the eigenvalues of the state, formulated respectively as an algebraic inequality or a quadratic optimization problem. These witnesses are capable of identifying more SAS states than previously known counterparts. We also explore the geometric properties of the subsets of SAS states detected by our witnesses, shedding light on their distinctions.
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.
Separability from the spectrum is a significant and ongoing research topic in quantum entanglement. In this study, we investigate properties related to absolute separability from the spectrum in qudits-qudits states in the bipartite states space Hmn=Hm⊗Hn\mathcal{H}_{mn}=\mathcal{H}_m \otimes \mathcal{H}_nHmn​=Hm​⊗Hn​. Firstly, we propose the necessary and sufficient conditions for absolute separable states in the Hilbert space H4n\mathcal{H}_{4n}H4n​. These conditions are equivalent to the positive semidefiniteness of twelve matrices resulting from the symmetric matricizations of eigenvalues. Furthermore, we demonstrate that this sufficient condition can be extended to the general Hmn\mathcal{H}_{mn}Hmn​ case, improving existing conclusions in the literature. These sufficient conditions depend only on the first few leading and last few leading eigenvalues, significantly reducing the complexity of determining absolute separable states. On the other hand, we also introduce additional sufficient conditions for determining that states in Hmn\mathcal{H}_{mn}Hmn​ are not absolutely separable. These conditions only depend on 2m−12m-12m−1 eigenvalues of the mixed states. Our sufficient conditions are not only simple and easy to implement. As applications, we derive distance bounds for eigenvalues and purity bounds for general absolutely separable states.