Specht's theorem

Short description: Gives a necessary and sufficient condition for two complex matrices to be unitarily equivalent

In mathematics, Specht's theorem gives a necessary and sufficient condition for two complex matrices to be unitarily equivalent. It is named after Wilhelm Specht, who proved the theorem in 1940.

Two matrices A and B with complex number entries are said to be unitarily equivalent if there exists a unitary matrix U such that B = U *AU. Two matrices which are unitarily equivalent are also similar. Two similar matrices represent the same linear map, but with respect to a different basis; unitary equivalence corresponds to a change from an orthonormal basis to another orthonormal basis.

If A and B are unitarily equivalent, then tr AA* = tr BB*, where tr denotes the trace (in other words, the Frobenius norm is a unitary invariant). This follows from the cyclic invariance of the trace: if B = U *AU, then tr BB* = tr U *AUU *A*U = tr AUU *A*UU * = tr AA*, where the second equality is cyclic invariance.

Thus, tr AA* = tr BB* is a necessary condition for unitary equivalence, but it is not sufficient. Specht's theorem gives infinitely many necessary conditions which together are also sufficient. The formulation of the theorem uses the following definition. A word in two variables, say x and y, is an expression of the form

[math]\displaystyle{ W(x,y) = x^{m_1} y^{n_1} x^{m_2} y^{n_2} \cdots x^{m_p}, }[/math]

where m₁, n₁, m₂, n₂, …, m_p are non-negative integers. The degree of this word is

[math]\displaystyle{ m_1 + n_1 + m_2 + n_2 + \cdots + m_p. }[/math]

Specht's theorem: Two matrices A and B are unitarily equivalent if and only if tr W(A, A*) = tr W(B, B*) for all words W.

The theorem gives an infinite number of trace identities, but it can be reduced to a finite subset. Let n denote the size of the matrices A and B. For the case n = 2, the following three conditions are sufficient:

[math]\displaystyle{ \operatorname{tr} \, A = \operatorname{tr} \, B, \quad \operatorname{tr} \, A^2 = \operatorname{tr} \, B^2, \quad\text{and}\quad \operatorname{tr} \, AA^* = \operatorname{tr} \, BB^*. }[/math]

For n = 3, the following seven conditions are sufficient:

[math]\displaystyle{ \begin{align} &\operatorname{tr} \, A = \operatorname{tr} \, B, \quad \operatorname{tr} \, A^2 = \operatorname{tr} \, B^2, \quad \operatorname{tr} \, AA^* = \operatorname{tr} \, BB^*, \quad \operatorname{tr} \, A^3 = \operatorname{tr} \, B^3, \\ &\operatorname{tr} \, A^2 A^* = \operatorname{tr} \, B^2 B^*, \quad \operatorname{tr} \, A^2 (A^*)^2 = \operatorname{tr} \, B^2 (B^*)^2, \quad\text{and}\quad \operatorname{tr} \, A^2 (A^*)^2 A A^* = \operatorname{tr} \, B^2 (B^*)^2 B B^*. \end{align} }[/math]  

For general n, it suffices to show that tr W(A, A*) = tr W(B, B*) for all words of degree at most

[math]\displaystyle{ n \sqrt{\frac{2n^2}{n-1} + \frac14} + \frac{n}2 - 2. }[/math]  

It has been conjectured that this can be reduced to an expression linear in n.

References

• Đoković, Dragomir Ž.; Johnson, Charles R. (2007), "Unitarily achievable zero patterns and traces of words in A and A*", Linear Algebra and its Applications 421 (1): 63–68, doi:10.1016/j.laa.2006.03.002, ISSN 0024-3795 .
• Freedman, Allen R.; Gupta, Ram Niwas; Guralnick, Robert M. (1997), "Shirshov's theorem and representations of semigroups", Pacific Journal of Mathematics 181 (3): 159–176, doi:10.2140/pjm.1997.181.159, ISSN 0030-8730 .
• Horn, Roger A.; Johnson, Charles R. (1985), Matrix Analysis, Cambridge University Press, ISBN 978-0-521-38632-6 .
• Pappacena, Christopher J. (1997), "An upper bound for the length of a finite-dimensional algebra", Journal of Algebra 197 (2): 535–545, doi:10.1006/jabr.1997.7140, ISSN 0021-8693 .
• Sibirskiǐ, K. S. (1976) (in Russian), Algebraic Invariants of Differential Equations and Matrices, Izdat. "Štiinca", Kishinev .
• Specht, Wilhelm (1940), "Zur Theorie der Matrizen. II", Jahresbericht der Deutschen Mathematiker-Vereinigung 50: 19–23, ISSN 0012-0456, http://gdz.sub.uni-goettingen.de/dms/load/toc/?PPN=PPN37721857X_0050&DMDID=dmdlog6 .