Numerical Shadow

The web resource on numerical range and numerical shadow

User Tools

Site Tools


numerical-range:generalizations:joint-numerical-range

Joint numerical range

Definition

Consider $k$ Hermitian matrices of size $N \times N$, $A_1,\ldots,A_k$. Their joint numerical range (JNR) $L(A_1,\ldots,A_k)$ is defined as $$ L(A_1,\ldots,A_k) = \left\{ \left( \Tr \rho A_1,\ldots, \Tr \rho A_k \right): \rho \in \Omega_N \right\}. $$ Due to taking all mixed states the joint numerical range is a convex body in a $k$-dimensional space.

Classification of JNRs

Two qutrit matrices

This classification comes from [1]. Consider two Hermitian matrices $A_1$ and $A_2$ of size $3 \times 3$. Then there are four possible shapes of the JNRs

  • An oval–object without any flat parts, the boundary is a sextic curve.
  • Object with one flat part, a convex hull of a quatric curve.
  • Convex hull of an ellipse and an outside point, which has two flat parts on the boundary.
  • A triangle (when $A_1$ and $A_2$ commute). This can be further degenerated.
Three qutrit matrices

This classification is taken from [2]. Such JNRs must obey the following rules

  1. In this case we may restrict ourselves to only pure states (see [3] for details).
  2. Any flat part in the boundary is the image of the Bloch sphere - two-dimensional subspace of a the sapce of $3 \times 3$ Hermitian matrices
  3. Two two-dimensional subspaces must share a common point, hence all flat parts are mutually connected.
  4. Convex geometry of a three-dimensional Euclidean space supports up to four mutually intersecting ellipses.
  5. If three ellipses are present in the boundary, the geometry does not allow for existence of any additional segment.
  6. If two segments are present in the boundary, there exist an infinite number o other segments.

All configurations permitted by these rules are realized. Let us denote by $e$ the number of ellipses in the boundary and by $s$ the number of segments. There exist object with:

  • no flat parts in boundary at all $e=0$, $s=0$,
  • one segment in the boundary $e=0$, $s=1$,
  • one ellipse in the boundary $e=1$, $s=0$,
  • one ellipse and a segment $e=1$, $s=1$,
  • two ellipses in the boundry $e=2$, $s=0$,
  • two ellipses and a segment $e=2$, $s=1$,
  • three ellipses $e=3$, $s=0$,
  • four ellipses $e=4$, $s=0$.
1. D. S. Keeler, L. Rodman, I. M. Spitkovsky, 1997. The numerical range of 3x3 matrices. Linear Algebra and its Applications, 252, pp.115 - 139.
2. Konrad Szymański, Stephan Weis, Karol Życzkowski, 2017. Classification of joint numerical ranges of three hermitian matrices of size three. Linear Algebra and its Applications, Elsevier.
numerical-range/generalizations/joint-numerical-range.txt · Last modified: 2018/06/15 16:20 by lpawela