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:0905.3646 · Journal of Mathematical Physics

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

Piotr Gawron, Zbigniew Puchała, Jarosław Adam Miszczak, Łukasz Skowronek, Karol Życzkowski

Published Oct 1, 2010• 47 citations
arXivHTMLPDF

Abstract

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.

DOI
10.1063/1.3496901

Related papers

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 significance of the C -numerical range and the local C -numerical range in quantum control and quantum information

Thomas Schulte-herbrüggen, Gunther Dirr, Uwe Helmke +1 more

This article shows how C-numerical-range related new strucures may arise from practical problems in quantum control – and vice versa, how an understanding of these structures helps to tackle hot topics in quantum information. We start out with an overview on the role of C-numerical ranges in current research problems in quantum theory: the quantum mechanical task of maximising the projection of a point on the unitary orbit of an initial state onto a target state C relates to the C-numerical radius of A via maximising the trace function . In quantum control of n qubits one may be interested (i) in having U∈SU(2 n ) for the entire dynamics, or (ii) in restricting the dynamics to local operations on each qubit, i.e., to the n-fold tensor product . Interestingly, the latter then leads to a novel entity, the local C-numerical range W loc(C,A), whose intricate geometry is neither star-shaped nor simply connected in contrast to the conventional C-numerical range. This is shown in the accompanying article on Relative C-Numerical Ranges for Application in Quantum Control and Quantum Information [Dirr, G., Helmke, U., Kleinsteuber, M. and Schulte-Herbrüggen, T., 2008 Dirr, G, Helmke, U, Kleinsteuber, M and Schulte-Herbrüggen, T. 2008. Relative C-numerical ranges for application in quantum control and quantum information. Linear and Multilinear Algebra, 56: 27–51. [Taylor & Francis Online], [Web of Science ®] , [Google Scholar], Linear and Multilinear Algebra, 56, 27–51]. We present novel applications of the C-numerical range in quantum control assisted by gradient flows on the local unitary group: (1) they serve as powerful tools for deciding whether a quantum interaction can be inverted in time (in a sense generalising Hahn's famous spin echo); (2) they allow for optimising witnesses of quantum entanglement. (3) We conclude by connecting the relative C-numerical range to problems of constrained quantum optimisation, for which we also give Lagrange-type gradient-flow algorithms.

arXiv:math-ph/0701035•Linear and Multilinear Algebra•Dec 15, 2007•31 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

Nuclear numerical range and quantum error correction codes for non-unitary noise models

Patryk Lipka-Bartosik, Karol Życzkowski

We introduce a notion of nuclear numerical range defined as the set of expectation values of a given operator A among normalized pure states, which belong to the nucleus of an auxiliary operator Z . This notion proves to be applicable to investigate models of quantum noise with block-diagonal structure of the corresponding Kraus operators. The problem of constructing a suitable quantum error correction code for this model can be restated as a geometric problem of finding intersection points of certain sets in the complex plane. This technique, worked out in the case of two-qubit systems, can be generalized for larger dimensions.

arXiv:1610.00930•Quantum Information Processing•Dec 10, 2016•6 citations

Matrix Results And Techniques In Quantum Information Science And Related Topics

Diane Christine Pelejo

In this dissertation, we present several matrix-related problems and results motivated by quantum information theory. Some background material of quantum information science will be discussed in chapter 1, while chapter 7 gives a summary of results and concluding remarks. In chapter 2, we look at $2^n\times 2^n$ unitary matrices, which describe operations on a closed $n$-qubit system. We define a set of simple quantum gates, called controlled single qubit gates, and their associated operational cost. We then present a recurrence scheme to decompose a general $2^n\times 2^n$ unitary matrix to the product of no more than $2^{n-1}(2^n-1)$ single qubit gates with small number of controls. In chapter 3, we address the problem of finding a specific element $\Phi$ among a given set of quantum channels $\mathcal{S}$ that will produce the optimal value of a scalar function $D(\rho_1,\Phi(\rho_2))$, on two fixed quantum states $\rho_1$ and $\rho_2$. Some of the functions we considered for $D(\cdot,\cdot)$ are the trace distance, quantum fidelity and quantum relative entropy. We discuss the optimal solution when $\mathcal{S}$ is the set of unitary quantum channels, the set of mixed unitary channels, the set of unital quantum channels, and the set of all quantum channels. In chapter 4, we focus on the spectral properties of qubit-qudit bipartite states with a maximally mixed qudit subsystem. More specifically, given positive numbers $a_1\geq\ldots\geq a_{2n}\geq 0$, we want to determine if there exist a $2n\times 2n$ density matrix $\rho$ having eigenvalues $a_1,\ldots,a_{2n}$ and satisfying $\tr_1(\rho)=\frac{1}{n}I_n$. This problem is a special case of the more general quantum marginal problem. We give the minimal necessary and sufficient conditions on $a_1,\ldots,a_{2n}$ for $n\leq 6$ and state some observations on general values of $n$. In chapter 5, we discuss the numerical method of alternating projections and illustrate its usefulness in: (a) constructing a quantum channel, if it exists, such that $\Phi(\rho^{(1)})=\sigma^{(1)},\ldots, \Phi(\rho^{(k)})=\sigma^{(k)}$ for given $\rho^{(1)},\ldots,\rho^{(k)}\in \mathcal{D}_n$ and $\sigma^{(1)},\ldots,\sigma^{(k)}\in \mathcal{D}_m$, (b) constructing a multipartite state $\rho$ having a prescribed set of reduced states $\rho_1,\ldots, \rho_r$ on $r$ of its subsystems, (c) constructing a multipartite state$\rho$ having prescribed reduced states and additional properties such as having prescribed eigenvalues, prescribed rank or low von Neuman entropy; and (d) determining if a square matrix $A$ can be written as a product of two positive semidefinite contractions. In chapter 6, we examine the shape of the Minkowski product of convex subsets $K_1$ and $K_2$ of $\IC$ given by $K_1K_2 = \{ab: a \in K_1, b\in K_2\}$, which has applications in the study of the product numerical range and quantum error-correction. In \citep{Karol}, it was conjectured that $K_1K_2$ is star-shaped when $K_1$ and $K_2$ are convex. We give counterexamples to show that this conjecture does not hold in general but we show that the set $K_1K_2$ is star-shaped if $K_1$ is a line segment or a circular disk.

•Jan 1, 2016•0 citations

Schmidt Norms for Quantum States

Nathaniel Johnston, David W. Kribs

Abstract. We consider a family of vector and operator norms which we refer to as Schmidt norms. We show that these norms have several uses in quantum information theory – they can be used to help classify k-positive linear maps (and hence entanglement witnesses), they are useful for approaching the problem of finding non-positive partial transpose bound entangled Werner states, they are related to the quantum fidelity and trace distance measures, and they are connected to the recently-defined local numerical range. We show that the vector norms can be explicitly calculated, and we derive several inequalities in order to bound the operator norms and compute them in special cases. We show that one particular entangled Werner state is bound entangled if and only if a certain norm inequality holds on a given family of projections, and we use our inequalities to study that family of projections. We also develop a family of semidefinite programs that can be used to further bound the operator norms. We extend these norms to arbitrary convex mapping cones and explore their implications with positive partial transpose states. 1.

•Sep 22, 2009•2 citations
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.
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.
This article shows how C-numerical-range related new strucures may arise from practical problems in quantum control – and vice versa, how an understanding of these structures helps to tackle hot topics in quantum information. We start out with an overview on the role of C-numerical ranges in current research problems in quantum theory: the quantum mechanical task of maximising the projection of a point on the unitary orbit of an initial state onto a target state C relates to the C-numerical radius of A via maximising the trace function . In quantum control of n qubits one may be interested (i) in having U∈SU(2 n ) for the entire dynamics, or (ii) in restricting the dynamics to local operations on each qubit, i.e., to the n-fold tensor product . Interestingly, the latter then leads to a novel entity, the local C-numerical range W loc(C,A), whose intricate geometry is neither star-shaped nor simply connected in contrast to the conventional C-numerical range. This is shown in the accompanying article on Relative C-Numerical Ranges for Application in Quantum Control and Quantum Information [Dirr, G., Helmke, U., Kleinsteuber, M. and Schulte-Herbrüggen, T., 2008 Dirr, G, Helmke, U, Kleinsteuber, M and Schulte-Herbrüggen, T. 2008. Relative C-numerical ranges for application in quantum control and quantum information. Linear and Multilinear Algebra, 56: 27–51. [Taylor & Francis Online], [Web of Science ®] , [Google Scholar], Linear and Multilinear Algebra, 56, 27–51]. We present novel applications of the C-numerical range in quantum control assisted by gradient flows on the local unitary group: (1) they serve as powerful tools for deciding whether a quantum interaction can be inverted in time (in a sense generalising Hahn's famous spin echo); (2) they allow for optimising witnesses of quantum entanglement. (3) We conclude by connecting the relative C-numerical range to problems of constrained quantum optimisation, for which we also give Lagrange-type gradient-flow algorithms.
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 introduce a notion of nuclear numerical range defined as the set of expectation values of a given operator A among normalized pure states, which belong to the nucleus of an auxiliary operator Z . This notion proves to be applicable to investigate models of quantum noise with block-diagonal structure of the corresponding Kraus operators. The problem of constructing a suitable quantum error correction code for this model can be restated as a geometric problem of finding intersection points of certain sets in the complex plane. This technique, worked out in the case of two-qubit systems, can be generalized for larger dimensions.
In this dissertation, we present several matrix-related problems and results motivated by quantum information theory. Some background material of quantum information science will be discussed in chapter 1, while chapter 7 gives a summary of results and concluding remarks. In chapter 2, we look at 2n×2n2^n\times 2^n2n×2n unitary matrices, which describe operations on a closed nnn-qubit system. We define a set of simple quantum gates, called controlled single qubit gates, and their associated operational cost. We then present a recurrence scheme to decompose a general 2n×2n2^n\times 2^n2n×2n unitary matrix to the product of no more than 2n−1(2n−1)2^{n-1}(2^n-1)2n−1(2n−1) single qubit gates with small number of controls. In chapter 3, we address the problem of finding a specific element Φ\PhiΦ among a given set of quantum channels S\mathcal{S}S that will produce the optimal value of a scalar function D(ρ1,Φ(ρ2))D(\rho_1,\Phi(\rho_2))D(ρ1​,Φ(ρ2​)), on two fixed quantum states ρ1\rho_1ρ1​ and ρ2\rho_2ρ2​. Some of the functions we considered for D(⋅,⋅)D(\cdot,\cdot)D(⋅,⋅) are the trace distance, quantum fidelity and quantum relative entropy. We discuss the optimal solution when S\mathcal{S}S is the set of unitary quantum channels, the set of mixed unitary channels, the set of unital quantum channels, and the set of all quantum channels. In chapter 4, we focus on the spectral properties of qubit-qudit bipartite states with a maximally mixed qudit subsystem. More specifically, given positive numbers a1≥…≥a2n≥0a_1\geq\ldots\geq a_{2n}\geq 0a1​≥…≥a2n​≥0, we want to determine if there exist a 2n×2n2n\times 2n2n×2n density matrix ρ\rhoρ having eigenvalues a1,…,a2na_1,\ldots,a_{2n}a1​,…,a2n​ and satisfying $\tr_1(\rho)=\frac{1}{n}I_n$. This problem is a special case of the more general quantum marginal problem. We give the minimal necessary and sufficient conditions on a1,…,a2na_1,\ldots,a_{2n}a1​,…,a2n​ for n≤6n\leq 6n≤6 and state some observations on general values of nnn. In chapter 5, we discuss the numerical method of alternating projections and illustrate its usefulness in: (a) constructing a quantum channel, if it exists, such that Φ(ρ(1))=σ(1),…,Φ(ρ(k))=σ(k)\Phi(\rho^{(1)})=\sigma^{(1)},\ldots, \Phi(\rho^{(k)})=\sigma^{(k)}Φ(ρ(1))=σ(1),…,Φ(ρ(k))=σ(k) for given ρ(1),…,ρ(k)∈Dn\rho^{(1)},\ldots,\rho^{(k)}\in \mathcal{D}_nρ(1),…,ρ(k)∈Dn​ and σ(1),…,σ(k)∈Dm\sigma^{(1)},\ldots,\sigma^{(k)}\in \mathcal{D}_mσ(1),…,σ(k)∈Dm​, (b) constructing a multipartite state ρ\rhoρ having a prescribed set of reduced states ρ1,…,ρr\rho_1,\ldots, \rho_rρ1​,…,ρr​ on rrr of its subsystems, (c) constructing a multipartite stateρ\rhoρ having prescribed reduced states and additional properties such as having prescribed eigenvalues, prescribed rank or low von Neuman entropy; and (d) determining if a square matrix AAA can be written as a product of two positive semidefinite contractions. In chapter 6, we examine the shape of the Minkowski product of convex subsets K1K_1K1​ and K2K_2K2​ of $\IC$ given by K1K2={ab:a∈K1,b∈K2}K_1K_2 = \{ab: a \in K_1, b\in K_2\}K1​K2​={ab:a∈K1​,b∈K2​}, which has applications in the study of the product numerical range and quantum error-correction. In \citep{Karol}, it was conjectured that K1K2K_1K_2K1​K2​ is star-shaped when K1K_1K1​ and K2K_2K2​ are convex. We give counterexamples to show that this conjecture does not hold in general but we show that the set K1K2K_1K_2K1​K2​ is star-shaped if K1K_1K1​ is a line segment or a circular disk.
Abstract. We consider a family of vector and operator norms which we refer to as Schmidt norms. We show that these norms have several uses in quantum information theory – they can be used to help classify k-positive linear maps (and hence entanglement witnesses), they are useful for approaching the problem of finding non-positive partial transpose bound entangled Werner states, they are related to the quantum fidelity and trace distance measures, and they are connected to the recently-defined local numerical range. We show that the vector norms can be explicitly calculated, and we derive several inequalities in order to bound the operator norms and compute them in special cases. We show that one particular entangled Werner state is bound entangled if and only if a certain norm inequality holds on a given family of projections, and we use our inequalities to study that family of projections. We also develop a family of semidefinite programs that can be used to further bound the operator norms. We extend these norms to arbitrary convex mapping cones and explore their implications with positive partial transpose states. 1.