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:2510.27670

The joint numerical range of three hermitian $4\times 4$ matrices

Piotr Pikul, Ilya M. Spitkovsky, Konrad Szymański, Stephan Weis, Karol Życzkowski

Published Oct 31, 2025• 0 citations
arXivHTMLPDF

Abstract

We analyze the joint numerical range $W$ of three hermitian matrices of order four. In the generic case, this three-dimensional convex set has a smooth boundary. We analyze non-generic structures. Fifteen possible classes regarding the numbers of non-elliptic faces in the boundary of $W$ are identified and an explicit example is presented for each class. Secondly, it is shown that a nonempty intersection of three mutually distinct one-dimensional faces is a corner point. Thirdly, introducing a tensor product structure into $\mathbb C^4=\mathbb C^2\otimes\mathbb C^2$, one defines the separable joint numerical range - a subset of $W$ useful in studies of quantum entanglement. The boundary of the separable numerical range is compared with that of $W$.

DOI
10.48550/arxiv.2510.27670

Related papers

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

Restricted numerical range: A versatile tool in the theory of quantum information

Piotr Gawron, Zbigniew Puchała, Jarosław Adam Miszczak +2 more

Numerical range of a Hermitian operator X is defined as the set of all possible expectation values of this observable among a normalized quantum state. We analyze a modification of this definition in which the expectation value is taken among a certain subset of the set of all quantum states. One considers, for instance, the set of real states, the set of product states, separable states, or the set of maximally entangled states. We show exemplary applications of these algebraic tools in the theory of quantum information: analysis of k-positive maps and entanglement witnesses, as well as study of the minimal output entropy of a quantum channel. Product numerical range of a unitary operator is used to solve the problem of local distinguishability of a family of two unitary gates.

arXiv:0905.3646•Journal of Mathematical Physics•Oct 1, 2010•47 citations

Confident entanglement detection via the separable numerical range

Timo Simnacher, Jakub Czartowski, Konrad Szymański +1 more

We investigate the joint (separable) numerical range of multiple measurements, i.e., the regions of expectation values accessible with (separable) quantum states for given observables. This not only enables efficient entanglement detection, but also sheds light on the geometry of the set of quantum states. More precisely, in an experiment, if the confidence region for the obtained data and the separable numerical range are disjoint, entanglement is reliably detected. Generically, the success of such an experiment is more likely the smaller the separable numerical range is, compared to the standard numerical range of the observables measured. We quantify this relation using the ratio between these two volumes and show that it cannot be arbitrarily small, giving analytical bounds for any number of particles, local dimensions, as well as number of measurements. Moreover, we explicitly compute the volume of separable and standard numerical range for two locally traceless two-qubit product observables, which are of particular interest as they are easier to measure in practice. Furthermore, we consider typical volume ratios for generic observables and extreme instances.

arXiv:2107.04365•Physical Review A•Oct 25, 2021•7 citations

Geometry for separable states and construction of entangled states with positive partial transposes

Kil-Chan Ha, Seung-Hyeok Kye

We construct faces of the convex set of all $2\ensuremath{\bigotimes}4$ bipartite separable states, which are affinely isomorphic to the simplex ${\ensuremath{\Delta}}_{9}$ with 10 extreme points. Every interior point of these faces is a separable state which has a unique decomposition into 10 product states, even though the ranks of the state and its partial transpose are 5 and 7, respectively. We also note that the number 10 is greater than $2\ifmmode\times\else\texttimes\fi{}4$, to disprove a conjecture on the lengths of qubit-qudit separable states. This face is inscribed in the corresponding face of the convex set of all PPT states so that subsimplices ${\ensuremath{\Delta}}_{k}$ of ${\ensuremath{\Delta}}_{9}$ share the boundary if and only if $k\ensuremath{\le}5$. This enables us to find a large class of $2\ensuremath{\bigotimes}4$ PPT entangled edge states with rank 5.

arXiv:1307.1362•Physical Review A•Aug 20, 2013•16 citations

Restricted numerical shadow and the geometry of quantum entanglement

Zbigniew Puchała, Jarosław Adam Miszczak, Piotr Gawron +3 more

The restricted numerical range W R ( A ) of an operator A acting on a D -dimensional Hilbert space is defined as a set of all possible expectation values of this operator among pure states which belong to a certain subset R of the set of pure quantum states of dimension D . One considers for instance the set of real states, or in the case of composite spaces, the set of product states and the set of maximally entangled states. Combining the operator theory with a probabilistic approach we introduce the restricted numerical shadow of A —a normalized probability distribution on the complex plane supported in W R ( A ). Its value at point is equal to the probability that the expectation value 〈ψ| A |ψ〉 is equal to z , where |ψ〉 represents a random quantum state in subset R distributed according to the natural measure on this set, induced by the unitarily invariant Fubini–Study measure. Studying restricted shadows of operators of a fixed size D = N A N B we analyse the geometry of sets of separable and maximally entangled states of the N A × N B composite quantum system. Investigating trajectories formed by evolving quantum states projected into the plane of the shadow, we study the dynamics of quantum entanglement. A similar analysis extended for operators on D = 2 3 -dimensional Hilbert space allows us to investigate the structure of the orbits of GHZ and W quantum states of a three-qubit system.

arXiv:1201.2524•Journal of Physics A Mathematical and Theoretical•Oct 2, 2012•16 citations
The joint numerical range of three hermitian 4×44\times 44×4 matrices
We analyze the joint numerical range WWW of three hermitian matrices of order four. In the generic case, this three-dimensional convex set has a smooth boundary. We analyze non-generic structures. Fifteen possible classes regarding the numbers of non-elliptic faces in the boundary of WWW are identified and an explicit example is presented for each class. Secondly, it is shown that a nonempty intersection of three mutually distinct one-dimensional faces is a corner point. Thirdly, introducing a tensor product structure into C4=C2⊗C2\mathbb C^4=\mathbb C^2\otimes\mathbb C^2C4=C2⊗C2, one defines the separable joint numerical range - a subset of WWW useful in studies of quantum entanglement. The boundary of the separable numerical range is compared with that of WWW.
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.
Numerical range of a Hermitian operator X is defined as the set of all possible expectation values of this observable among a normalized quantum state. We analyze a modification of this definition in which the expectation value is taken among a certain subset of the set of all quantum states. One considers, for instance, the set of real states, the set of product states, separable states, or the set of maximally entangled states. We show exemplary applications of these algebraic tools in the theory of quantum information: analysis of k-positive maps and entanglement witnesses, as well as study of the minimal output entropy of a quantum channel. Product numerical range of a unitary operator is used to solve the problem of local distinguishability of a family of two unitary gates.
We investigate the joint (separable) numerical range of multiple measurements, i.e., the regions of expectation values accessible with (separable) quantum states for given observables. This not only enables efficient entanglement detection, but also sheds light on the geometry of the set of quantum states. More precisely, in an experiment, if the confidence region for the obtained data and the separable numerical range are disjoint, entanglement is reliably detected. Generically, the success of such an experiment is more likely the smaller the separable numerical range is, compared to the standard numerical range of the observables measured. We quantify this relation using the ratio between these two volumes and show that it cannot be arbitrarily small, giving analytical bounds for any number of particles, local dimensions, as well as number of measurements. Moreover, we explicitly compute the volume of separable and standard numerical range for two locally traceless two-qubit product observables, which are of particular interest as they are easier to measure in practice. Furthermore, we consider typical volume ratios for generic observables and extreme instances.
We construct faces of the convex set of all $2\ensuremath{\bigotimes}4$ bipartite separable states, which are affinely isomorphic to the simplex ${\ensuremath{\Delta}}_{9}$ with 10 extreme points. Every interior point of these faces is a separable state which has a unique decomposition into 10 product states, even though the ranks of the state and its partial transpose are 5 and 7, respectively. We also note that the number 10 is greater than $2\ifmmode\times\else\texttimes\fi{}4$, to disprove a conjecture on the lengths of qubit-qudit separable states. This face is inscribed in the corresponding face of the convex set of all PPT states so that subsimplices ${\ensuremath{\Delta}}_{k}$ of ${\ensuremath{\Delta}}_{9}$ share the boundary if and only if $k\ensuremath{\le}5$. This enables us to find a large class of $2\ensuremath{\bigotimes}4$ PPT entangled edge states with rank 5.
The restricted numerical range W R ( A ) of an operator A acting on a D -dimensional Hilbert space is defined as a set of all possible expectation values of this operator among pure states which belong to a certain subset R of the set of pure quantum states of dimension D . One considers for instance the set of real states, or in the case of composite spaces, the set of product states and the set of maximally entangled states. Combining the operator theory with a probabilistic approach we introduce the restricted numerical shadow of A —a normalized probability distribution on the complex plane supported in W R ( A ). Its value at point is equal to the probability that the expectation value 〈ψ| A |ψ〉 is equal to z , where |ψ〉 represents a random quantum state in subset R distributed according to the natural measure on this set, induced by the unitarily invariant Fubini–Study measure. Studying restricted shadows of operators of a fixed size D = N A N B we analyse the geometry of sets of separable and maximally entangled states of the N A × N B composite quantum system. Investigating trajectories formed by evolving quantum states projected into the plane of the shadow, we study the dynamics of quantum entanglement. A similar analysis extended for operators on D = 2 3 -dimensional Hilbert space allows us to investigate the structure of the orbits of GHZ and W quantum states of a three-qubit system.