Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Kippenhahn's Conjecture Revisited

Michael Stessin

Abstract

In 1951 paper \cite{Ki} Kippenhahn conjectured that if the characteristic polynomial \ $P_A(x_1,x_2,x_3)=\mbox{det}(x_1A_1+x_2A_2-x_3I)$, \ where $A_1$ and $A_2$ are $n\times n$ Hermitian matrices, has a repeated factor in the polynomial ring $\C[x_1,x_2,x_3]$, then the pair $(A_1,A_2)$ is unitary equivalent to a direct sum $(C_1\oplus C_2, \ D_1\oplus D_2)$ where $C_i, D_i\in M_{n_i}(\C) $ for some $1\leq n_i<n, \ n_1+n_2=n, i=1,2$. Kippenhahn verified the conjecture whenever the degree of the minimal polynomial of $x_1A_1 + x_2A_2$ is 1 or 2. In subsequent works \cite{Sh1,Sh2} Shapiro obtained a number of results which supported the conjecture. In particular, she showed that it held if $n \leq 5$. In 1983 Laffey \cite{La} showed that, in general, Kippenhahn's conjecture was not true by constructing a counterexample for $n=8$. Since then additional counterexamples were worked out (see \cite{Wa} for example). Some positive results in this direction including the quantum version of the conjecture can be found in \cite{F1, F2, KVo1, Law}. In this paper we use methods of recently developed local spectral analysis to give some necessary and sufficient conditions for the affirmative answer to Kippenhahn's conjecture in terms of the characteristic polynomials of certain elements of the algebra generated by the matrices in the tuple.

Kippenhahn's Conjecture Revisited

Abstract

In 1951 paper \cite{Ki} Kippenhahn conjectured that if the characteristic polynomial \ , \ where and are Hermitian matrices, has a repeated factor in the polynomial ring , then the pair is unitary equivalent to a direct sum where for some . Kippenhahn verified the conjecture whenever the degree of the minimal polynomial of is 1 or 2. In subsequent works \cite{Sh1,Sh2} Shapiro obtained a number of results which supported the conjecture. In particular, she showed that it held if . In 1983 Laffey \cite{La} showed that, in general, Kippenhahn's conjecture was not true by constructing a counterexample for . Since then additional counterexamples were worked out (see \cite{Wa} for example). Some positive results in this direction including the quantum version of the conjecture can be found in \cite{F1, F2, KVo1, Law}. In this paper we use methods of recently developed local spectral analysis to give some necessary and sufficient conditions for the affirmative answer to Kippenhahn's conjecture in terms of the characteristic polynomials of certain elements of the algebra generated by the matrices in the tuple.
Paper Structure (10 sections, 8 theorems, 83 equations)

This paper contains 10 sections, 8 theorems, 83 equations.

Table of Contents

  1. Introduction
  2. Background results
  3. Local spectral analysis
  4. Admissible transformations and tuples
  5. Projections
  6. Main result
  7. Necessity
  8. Sufficiency
  9. $\bf{m=2}$
  10. $\bf{m>2}$

Key Result

Theorem 2.1

Let $(A_1,...,A_m)$ be a tuple of complex $N\times N$ matrices, and $A_1$ be self-adjoint and invertible. Suppose that the proper projective joint spectrum of $(A_1,...,A_m)$ is given by spectrum, and that the reciprocal of each eigenvalue of $A_1$ belongs to a single component $\Gamma_i$ and is a r

Theorems & Definitions (12)

  • Theorem 2.1
  • Definition 2.20
  • Theorem 2.2
  • Proposition 2.3
  • Theorem 3.1
  • Lemma 3.2
  • proof
  • Lemma 3.3
  • proof
  • Lemma 3.4
  • ...and 2 more