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:0806.0855 · Physical Review A

Iterations of nonlinear entanglement witnesses

Tobias Moroder, Otfried Gühne, Norbert Lütkenhaus

Published Sep 23, 2008• 21 citations
arXivHTMLPDF

Abstract

We describe a generic way to improve a given linear entanglement witness by a quadratic, nonlinear term. This method can be iterated, leading to a whole sequence of nonlinear witnesses, which become stronger in each step of the iteration. We show how to optimize this iteration with respect to a given state and prove that in the limit of the iteration the nonlinear witness detects all states that can be detected by the positive map corresponding to the original linear witness.

DOI
10.1103/physreva.78.032326

Related papers

Average iterations of accessible nonlinear witnesses

Juan Miguel Arrazola, Oleg Gittsovich, Norbert Lütkenhaus

We present a construction of accessible nonlinear witnesses in terms of an averaged iteration. These witnesses will always detect more states than their linear counterparts. We also review sufficient conditions so that their values can be computed from the same experimental data as their linear counterparts. Finally, we prove that these nonlinear witnesses detect an extensive set of states whose entanglement is detected by the partial transposition criteria.

AIP conference proceedings•Jan 1, 2014•0 citations

Accessible nonlinear entanglement witnesses

Juan Miguel Arrazola, Oleg Gittsovich, Norbert Lütkenhaus

Verification of entanglement is an important tool to characterize sources and devices for use in quantum computing and communication applications. In a vast majority of experiments entanglement witnesses (EWs) are used in order to prove the presence of entanglement in a quantum state. EWs can be constructed from available measurement results and do not require a reconstruction of the whole density matrix (full tomography), which is especially valuable for high-dimensional systems. We provide a method to construct accessible nonlinear EWs, which incorporate two important properties. First, they improve on linear EWs in the sense that each nonlinear EW detects more entangled states than its linear counterpart and therefore allows the verification of entanglement without critical dependence on having found the ``right'' linear witness. Second, they can be evaluated using exactly the same data as for the evaluation of the original linear witness. This allows a reanalysis of published experimental data to strengthen statements about entanglement verification without the requirement to perform additional measurements. These particular properties make the accessible nonlinear EWs attractive for the implementations in current experiments, for they can also enhance the statistical significance of the entanglement verification.

arXiv:1203.1239•Physical Review A•Jun 28, 2012•23 citations

Optimization of entanglement witnesses

Maciej Lewenstein, Barbara Kraus, J. I. Cirac +1 more

An entanglement witness (EW) is an operator that allows the detection of entangled states. We give necessary and sufficient conditions for such operators to be optimal, i.e., to detect entangled states in an optimal way. We show how to optimize general EW, and then we particularize our results to the nondecomposable ones; the latter are those that can detect positive partial transpose entangled states (PPTES's). We also present a method to systematically construct and optimize this last class of operators based on the existence of ``edge'' PPTES's, i.e., states that violate the range separability criterion [Phys. Lett. A 232, 333 (1997)] in an extreme manner. This method also permits a systematic construction of nondecomposable positive maps (PM's). Our results lead to a sufficient condition for entanglement in terms of nondecomposable EW's and PM's. Finally, we illustrate our results by constructing optimal EW acting on $H={C}^{2}\ensuremath{\bigotimes}{C}^{4}.$ The corresponding PM's constitute examples of PM's with minimal ``qubit'' domains, or---equivalently---minimal Hermitian conjugate codomains.

arXiv:quant-ph/0005014•Physical Review A•Oct 16, 2000•684 citations

State–Entanglement-Witness Contraction

Albert Rico

We construct linear and nonlinear entanglement witnesses, by tensoring and partial tracing existing states and witnesses. We show that little shared quantum resources allow one to employ decomposable witnesses to obtain larger ones detecting locally undistillable states and find analytic witnesses for multipartite entangled states that are undistillable across all bipartitions. Crucially, we show how to efficiently optimize multicopy witnesses to desired states, which is a current challenge. As an example of both theoretical and experimental interest, existing trace polynomial witnesses are significantly improved while preserving their symmetries and implementability with randomized measurements. In addition to detecting entanglement, we also find new witnesses detecting k-copy distillability. A recipe for the single-copy case is shown to be effective for generic and Werner states.

arXiv:2502.17697•Physical Review Letters•Sep 23, 2025•2 citations

Perfect state transfer of a qudit over underlying networks of group association schemes

M. A. Jafarizadeh, Rahime Sufiani, Seyed Farid Taghavi +1 more

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, envelope of the family of linear entanglement witnesses can be considered as nonlinear entanglement witnesses. This method proposes a new methodological framework within which most of previous EWs can be studied. To conclude and in order to demonstrate the capability of the proposed approach, besides providing some nonlinear witnesses for entanglement detection of density matrices in unextendible product bases, W-states, and GHZ with W-states, some further examples of three qubits systems and their classification and entanglement detection are included. Also it is explained how one can manipulate most of the non-decomposable linear and nonlinear three qubits entanglement witnesses appearing in some of the papers published by us and other authors, by the method proposed in this paper. Keywords: non-linear and linear entanglement witnesses, convex optimization. PACS number(s): 03.67.Mn, 03.65.Ud

arXiv:0901.4510•Journal of Statistical Mechanics Theory and Experiment•Apr 6, 2009•5 citations

A general algorithm for manipulating non-linear and linear entanglement witnesses by using exact convex optimization

M. A. Jafarizadeh, Korosh Aghayar, Ahmad Heshmati

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, envelope of the family of linear entanglement witnesses can be considered as nonlinear entanglement witnesses. This method proposes a new methodological framework within which most of previous EWs can be studied. To conclude and in order to demonstrate the capability of the proposed approach, besides providing some nonlinear witnesses for entanglement detection of density matrices in unextendible product bases, W-states, and GHZ with W-states, some further examples of three qubits systems and their classification and entanglement detection are included. Also it is explained how one can manipulate most of the non-decomposable linear and nonlinear three qubits entanglement witnesses appearing in some of the papers published by us and other authors, by the method proposed in this paper. Keywords: non-linear and linear entanglement witnesses, convex optimization. PACS number(s): 03.67.Mn, 03.65.Ud

arXiv:0901.4504•Jan 28, 2009•4 citations
We describe a generic way to improve a given linear entanglement witness by a quadratic, nonlinear term. This method can be iterated, leading to a whole sequence of nonlinear witnesses, which become stronger in each step of the iteration. We show how to optimize this iteration with respect to a given state and prove that in the limit of the iteration the nonlinear witness detects all states that can be detected by the positive map corresponding to the original linear witness.
Verification of entanglement is an important tool to characterize sources and devices for use in quantum computing and communication applications. In a vast majority of experiments entanglement witnesses (EWs) are used in order to prove the presence of entanglement in a quantum state. EWs can be constructed from available measurement results and do not require a reconstruction of the whole density matrix (full tomography), which is especially valuable for high-dimensional systems. We provide a method to construct accessible nonlinear EWs, which incorporate two important properties. First, they improve on linear EWs in the sense that each nonlinear EW detects more entangled states than its linear counterpart and therefore allows the verification of entanglement without critical dependence on having found the ``right'' linear witness. Second, they can be evaluated using exactly the same data as for the evaluation of the original linear witness. This allows a reanalysis of published experimental data to strengthen statements about entanglement verification without the requirement to perform additional measurements. These particular properties make the accessible nonlinear EWs attractive for the implementations in current experiments, for they can also enhance the statistical significance of the entanglement verification.
An entanglement witness (EW) is an operator that allows the detection of entangled states. We give necessary and sufficient conditions for such operators to be optimal, i.e., to detect entangled states in an optimal way. We show how to optimize general EW, and then we particularize our results to the nondecomposable ones; the latter are those that can detect positive partial transpose entangled states (PPTES's). We also present a method to systematically construct and optimize this last class of operators based on the existence of ``edge'' PPTES's, i.e., states that violate the range separability criterion [Phys. Lett. A 232, 333 (1997)] in an extreme manner. This method also permits a systematic construction of nondecomposable positive maps (PM's). Our results lead to a sufficient condition for entanglement in terms of nondecomposable EW's and PM's. Finally, we illustrate our results by constructing optimal EW acting on $H={C}^{2}\ensuremath{\bigotimes}{C}^{4}.$ The corresponding PM's constitute examples of PM's with minimal ``qubit'' domains, or---equivalently---minimal Hermitian conjugate codomains.
We construct linear and nonlinear entanglement witnesses, by tensoring and partial tracing existing states and witnesses. We show that little shared quantum resources allow one to employ decomposable witnesses to obtain larger ones detecting locally undistillable states and find analytic witnesses for multipartite entangled states that are undistillable across all bipartitions. Crucially, we show how to efficiently optimize multicopy witnesses to desired states, which is a current challenge. As an example of both theoretical and experimental interest, existing trace polynomial witnesses are significantly improved while preserving their symmetries and implementability with randomized measurements. In addition to detecting entanglement, we also find new witnesses detecting k-copy distillability. A recipe for the single-copy case is shown to be effective for generic and Werner states.
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, envelope of the family of linear entanglement witnesses can be considered as nonlinear entanglement witnesses. This method proposes a new methodological framework within which most of previous EWs can be studied. To conclude and in order to demonstrate the capability of the proposed approach, besides providing some nonlinear witnesses for entanglement detection of density matrices in unextendible product bases, W-states, and GHZ with W-states, some further examples of three qubits systems and their classification and entanglement detection are included. Also it is explained how one can manipulate most of the non-decomposable linear and nonlinear three qubits entanglement witnesses appearing in some of the papers published by us and other authors, by the method proposed in this paper. Keywords: non-linear and linear entanglement witnesses, convex optimization. PACS number(s): 03.67.Mn, 03.65.Ud
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, envelope of the family of linear entanglement witnesses can be considered as nonlinear entanglement witnesses. This method proposes a new methodological framework within which most of previous EWs can be studied. To conclude and in order to demonstrate the capability of the proposed approach, besides providing some nonlinear witnesses for entanglement detection of density matrices in unextendible product bases, W-states, and GHZ with W-states, some further examples of three qubits systems and their classification and entanglement detection are included. Also it is explained how one can manipulate most of the non-decomposable linear and nonlinear three qubits entanglement witnesses appearing in some of the papers published by us and other authors, by the method proposed in this paper. Keywords: non-linear and linear entanglement witnesses, convex optimization. PACS number(s): 03.67.Mn, 03.65.Ud