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:2007.02717 · Journal of Physics A Mathematical and Theoretical

Joint separable numerical range and bipartite ultrafine entanglement witnessing

Pan Wu, Runhua Tang

Published Sep 3, 2020• 1 citation
arXivHTMLPDF

Abstract

Abstract The entanglement witness is an important tool to detect entanglement. In 2017 an idea considering a pair of Hermitian operators in 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. [M Gachechiladze et al 2018 J. Phys. A : Math. Theor . 51 36].

DOI
10.1088/1751-8121/abb511

Related papers

The structure of ultrafine entanglement witnesses

Mariami Gachechiladze, Nikolai Wyderka, Otfried Gühne

Abstract An entanglement witness is an observable with the property that a negative expectation value signals the presence of entanglement. The question arises how a witness can be improved if the expectation value of a second observable is known, and methods for doing this have recently been discussed as so-called ultrafine entanglement witnesses. We present several results on the characterization of entanglement given the expectation values of two observables. First, we explain that this problem can naturally be tackled with the method of the Legendre transformation, leading even to a quantification of entanglement. Second, we present necessary and sufficient conditions that two product observables are able to detect entanglement. Finally, we explain some fallacies in the original construction of ultrafine entanglement witnesses (Shahandeh et al 2017 Phys. Rev. Lett . 118 110502).

arXiv:1805.06404•Journal of Physics A Mathematical and Theoretical•Jul 17, 2018•3 citations

Multiple fidelities and joint numerical range

Pei Li, Bang-Hai Wang

We investigate the effectiveness of entanglement detection based on multiple fidelities via the geometry of the joint separable numerical range. When all reference states are product states, we derive a necessary and sufficient criterion for such detection: either some pair of reference states has nontrivial moduli of the local inner products on both subsystems, or the orthogonal complement of the span of the reference states is completely entangled. We further show that there exist sets of reference product states for which no proper subset is effective for entanglement detection, whereas the full set is. A typical example of this phenomenon is provided by unextendible product bases. Moreover, for a pair of reference product states on a bipartite system with arbitrary local dimensions, we characterize both the joint numerical range and the joint separable numerical range, showing that the joint separable numerical range is determined solely by their local fidelities, as illustrated by a representative two-qubit example. Our results offer a systematic approach to designing effective entanglement witnesses and lay the groundwork for extensions to higher-dimensional and multipartite scenarios.

quant-pharXiv:2605.24360•May 26, 2026•0 citations

Multiple fidelities and joint numerical range

Pei Li, Bang-Hai Wang

Abstract We investigate the effectiveness of entanglement detection based on multiple fidelities via the geometry of the joint separable numerical range. When all reference states are product states, we derive a necessary and sufficient criterion for such detection: either some pair of reference states has nontrivial moduli of the local inner products on both subsystems, or the orthogonal complement of the span of the reference states is completely entangled. We further show that there exist sets of reference product states for which no proper subset is effective for entanglement detection, whereas the full set is. A typical example of this phenomenon is provided by unextendible product bases. Moreover, for a pair of reference product states on a bipartite system with arbitrary local dimensions, we characterize both the joint numerical range and the joint separable numerical range (JSNR), showing that the JSNR is determined solely by their local fidelities, as illustrated by a representative two-qubit example. Our results offer a systematic approach to designing effective entanglement witnesses and lay the groundwork for extensions to higher-dimensional and multipartite scenarios.

Journal of Physics A Mathematical and Theoretical•Jun 12, 2026•0 citations

Optimization of ultrafine entanglement witnesses

Shu‐Qian Shen, Ti-Run Xu, Shao-Ming Fei +2 more

The ultrafine entanglement witness introduced by Shahandeh et al. [Phys. Rev. Lett. 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 further improve the original ultrafine entanglement witness. In particular, we present a series of ultrafine entanglement witnesses that not only can detect entangled states that the original ultrafine entanglement witnesses cannot detect, but also have the merits that the original ultrafine entanglement witnesses have.

arXiv:1803.11065•Physical Review A•Mar 28, 2018•9 citations

Complete entanglement detection using polynomial invariants

Thomas C. Fraser, Vjosa Blakaj, Roberto Rubboli +2 more

Existing methods for deciding whether a bipartite quantum state is separable or entangled typically fall into one of two categories: they are either complete but require access to an explicit density matrix followed by numerical optimization, or they can be evaluated directly by measuring the quantum system but are incomplete, in the sense that they cannot detect all forms of entanglement. In this work, we overcome both limitations in a unified framework. First, we bypass numerical optimization by deriving separability criteria in the form of universal bounds on tensor powers of separable states. We prove that these bounds are complete: every entangled state violates them for sufficiently large tensor powers. Second, we explicitly construct a corresponding complete family of nonlinear entanglement witnesses, which can detect all forms of entanglement without requiring an explicit density matrix. The witnesses we construct are moreover basis-independent, in the sense that they are invariant under conjugation by local unitaries. Altogether, our results expand the toolbox for entanglement detection in arbitrary local dimensions in a manifestly invariant way.

quant-pharXiv:2606.16712•Jun 16, 2026•0 citations

Necessary and sufficient conditions for bipartite entanglement

Jan Sperling, W. Vogel

Necessary and sufficient conditions for bipartite entanglement are derived, which apply to arbitrary Hilbert spaces. Motivated by the concept of witnesses, optimized entanglement inequalities are formulated solely in terms of arbitrary Hermitian operators, which makes them useful for applications in experiments. The needed optimization procedure is based on a separability eigenvalue problem, whose analytical solutions are derived for a special class of projection operators. For general Hermitian operators, a numerical implementation of entanglement tests is proposed. It is also shown how to identify bound entangled states with positive partial transposition.

arXiv:0805.1318•Physical Review A•Feb 19, 2009•99 citations
Abstract The entanglement witness is an important tool to detect entanglement. In 2017 an idea considering a pair of Hermitian operators in 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. [M Gachechiladze et al 2018 J. Phys. A : Math. Theor . 51 36].
Abstract An entanglement witness is an observable with the property that a negative expectation value signals the presence of entanglement. The question arises how a witness can be improved if the expectation value of a second observable is known, and methods for doing this have recently been discussed as so-called ultrafine entanglement witnesses. We present several results on the characterization of entanglement given the expectation values of two observables. First, we explain that this problem can naturally be tackled with the method of the Legendre transformation, leading even to a quantification of entanglement. Second, we present necessary and sufficient conditions that two product observables are able to detect entanglement. Finally, we explain some fallacies in the original construction of ultrafine entanglement witnesses (Shahandeh et al 2017 Phys. Rev. Lett . 118 110502).
We investigate the effectiveness of entanglement detection based on multiple fidelities via the geometry of the joint separable numerical range. When all reference states are product states, we derive a necessary and sufficient criterion for such detection: either some pair of reference states has nontrivial moduli of the local inner products on both subsystems, or the orthogonal complement of the span of the reference states is completely entangled. We further show that there exist sets of reference product states for which no proper subset is effective for entanglement detection, whereas the full set is. A typical example of this phenomenon is provided by unextendible product bases. Moreover, for a pair of reference product states on a bipartite system with arbitrary local dimensions, we characterize both the joint numerical range and the joint separable numerical range, showing that the joint separable numerical range is determined solely by their local fidelities, as illustrated by a representative two-qubit example. Our results offer a systematic approach to designing effective entanglement witnesses and lay the groundwork for extensions to higher-dimensional and multipartite scenarios.
Abstract We investigate the effectiveness of entanglement detection based on multiple fidelities via the geometry of the joint separable numerical range. When all reference states are product states, we derive a necessary and sufficient criterion for such detection: either some pair of reference states has nontrivial moduli of the local inner products on both subsystems, or the orthogonal complement of the span of the reference states is completely entangled. We further show that there exist sets of reference product states for which no proper subset is effective for entanglement detection, whereas the full set is. A typical example of this phenomenon is provided by unextendible product bases. Moreover, for a pair of reference product states on a bipartite system with arbitrary local dimensions, we characterize both the joint numerical range and the joint separable numerical range (JSNR), showing that the JSNR is determined solely by their local fidelities, as illustrated by a representative two-qubit example. Our results offer a systematic approach to designing effective entanglement witnesses and lay the groundwork for extensions to higher-dimensional and multipartite scenarios.
The ultrafine entanglement witness introduced by Shahandeh et al. [Phys. Rev. Lett. 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 further improve the original ultrafine entanglement witness. In particular, we present a series of ultrafine entanglement witnesses that not only can detect entangled states that the original ultrafine entanglement witnesses cannot detect, but also have the merits that the original ultrafine entanglement witnesses have.
Existing methods for deciding whether a bipartite quantum state is separable or entangled typically fall into one of two categories: they are either complete but require access to an explicit density matrix followed by numerical optimization, or they can be evaluated directly by measuring the quantum system but are incomplete, in the sense that they cannot detect all forms of entanglement. In this work, we overcome both limitations in a unified framework. First, we bypass numerical optimization by deriving separability criteria in the form of universal bounds on tensor powers of separable states. We prove that these bounds are complete: every entangled state violates them for sufficiently large tensor powers. Second, we explicitly construct a corresponding complete family of nonlinear entanglement witnesses, which can detect all forms of entanglement without requiring an explicit density matrix. The witnesses we construct are moreover basis-independent, in the sense that they are invariant under conjugation by local unitaries. Altogether, our results expand the toolbox for entanglement detection in arbitrary local dimensions in a manifestly invariant way.
Necessary and sufficient conditions for bipartite entanglement are derived, which apply to arbitrary Hilbert spaces. Motivated by the concept of witnesses, optimized entanglement inequalities are formulated solely in terms of arbitrary Hermitian operators, which makes them useful for applications in experiments. The needed optimization procedure is based on a separability eigenvalue problem, whose analytical solutions are derived for a special class of projection operators. For general Hermitian operators, a numerical implementation of entanglement tests is proposed. It is also shown how to identify bound entangled states with positive partial transposition.