Canonical forms, higher rank numerical ranges, totally isotropic subspaces, and matrix equations

Authors:
Chi-Kwong Li and Nung-Sing Sze

Journal:
Proc. Amer. Math. Soc. **136** (2008), 3013-3023

MSC (2000):
Primary 15A21, 15A24, 15A60, 15A90, 81P68

Published electronically:
April 30, 2008

MathSciNet review:
2407062

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: The results on matrix canonical forms are used to give a complete description of the higher rank numerical range of matrices arising from the study of quantum error correction. It is shown that the set can be obtained as the intersection of closed half planes (of complex numbers). As a result, it is always a convex set in . Moreover, the higher rank numerical range of a normal matrix is a convex polygon determined by the eigenvalues. These two consequences confirm the conjectures of Choi et al. on the subject. In addition, the results are used to derive a formula for the optimal upper bound for the dimension of a totally isotropic subspace of a square matrix and to verify the solvability of certain matrix equations.

**1.**Man-Duen Choi, Michael Giesinger, John A. Holbrook, and David W. Kribs,*Geometry of higher-rank numerical ranges*, Linear Multilinear Algebra**56**(2008), no. 1-2, 53–64. MR**2378301**, 10.1080/03081080701336545**2.**Man-Duen Choi, John A. Holbrook, David W. Kribs, and Karol Życzkowski,*Higher-rank numerical ranges of unitary and normal matrices*, Oper. Matrices**1**(2007), no. 3, 409–426. MR**2344684**, 10.7153/oam-01-24**3.**Man-Duen Choi, David W. Kribs, and Karol Życzkowski,*Higher-rank numerical ranges and compression problems*, Linear Algebra Appl.**418**(2006), no. 2-3, 828–839. MR**2260232**, 10.1016/j.laa.2006.03.019**4.**Man-Duen Choi, David W. Kribs, and Karol Życzkowski,*Quantum error correcting codes from the compression formalism*, Rep. Math. Phys.**58**(2006), no. 1, 77–91. MR**2273568**, 10.1016/S0034-4877(06)80041-8**5.**Ky Fan and Gordon Pall,*Imbedding conditions for Hermitian and normal matrices*, Canad. J. Math.**9**(1957), 298–304. MR**0085216****6.**Roger A. Horn and Vladimir V. Sergeichuk,*Canonical forms for complex matrix congruence and *congruence*, Linear Algebra Appl.**416**(2006), no. 2-3, 1010–1032. MR**2242477**, 10.1016/j.laa.2006.01.005**7.**Peter Lancaster and Leiba Rodman,*Algebraic Riccati equations*, Oxford Science Publications, The Clarendon Press, Oxford University Press, New York, 1995. MR**1367089****8.**Chi-Kwong Li,*A simple proof of the elliptical range theorem*, Proc. Amer. Math. Soc.**124**(1996), no. 7, 1985–1986. MR**1322932**, 10.1090/S0002-9939-96-03307-2**9.**C.-K. Li, Y. T. Poon and N.-S. Sze, Condition for the higher rank numerical range to be non-empty, Linear and Multilinear Algebra, to appear.**10.**C.-K. Li, Y. T. Poon and N.-S. Sze, Higher rank numerical ranges and low rank perturbations of quantum channels, preprint. http://arxiv.org/abs/0710.2898**11.**G. W. Stewart and Ji Guang Sun,*Matrix perturbation theory*, Computer Science and Scientific Computing, Academic Press, Inc., Boston, MA, 1990. MR**1061154****12.**Hugo J. Woerdeman,*The higher rank numerical range is convex*, Linear Multilinear Algebra**56**(2008), no. 1-2, 65–67. MR**2378302**, 10.1080/03081080701352211

Retrieve articles in *Proceedings of the American Mathematical Society*
with MSC (2000):
15A21,
15A24,
15A60,
15A90,
81P68

Retrieve articles in all journals with MSC (2000): 15A21, 15A24, 15A60, 15A90, 81P68

Additional Information

**Chi-Kwong Li**

Affiliation:
Department of Mathematics, College of William & Mary, Williamsburg, Virginia 23185

Email:
ckli@math.wm.edu

**Nung-Sing Sze**

Affiliation:
Department of Mathematics, University of Connecticut, Storrs, Connecticut 06269

Email:
sze@math.uconn.edu

DOI:
http://dx.doi.org/10.1090/S0002-9939-08-09536-1

Keywords:
Canonical forms,
higher rank numerical range,
convexity,
totally isotropic subspace,
matrix equations.

Received by editor(s):
March 26, 2007

Published electronically:
April 30, 2008

Additional Notes:
The research of Li was partially supported by an NSF grant and an HK RGC grant. He is an honorary professor of the University of Hong Kong.

Communicated by:
N. Tomczak-Jaegermann

Article copyright:
© Copyright 2008
American Mathematical Society

The copyright for this article reverts to public domain 28 years after publication.