Théorème de Specht
En mathématiques, le théorème de Specht donne une condition nécessaire et suffisante pour que deux matrices soient unitairement équivalentes . Il porte le nom de Wilhelm Specht, qui a prouvé le théorème en 1940[1].
Présentation
Deux matrices et sont dites unitairement équivalentes s'il existe une matrice unitaire U telle que [2]. Deux matrices unitairement équivalentes sont également semblables. Deux matrices semblables représentent la même application linéaire, mais par rapport à une base différente ; l'équivalence unitaire correspond au passage d'une base orthonormée à une autre base orthonormée.
Si A et B sont unitairement équivalentes, alors , où désigne la trace ; en d'autres termes, la norme de Frobenius est un invariant unitaire. Ceci résulte de l'invariance cyclique de la trace : si , alors , où la seconde égalité est l'invariance cyclique[3].
Ainsi, l'égalité est une condition nécessaire à l'équivalence unitaire, mais elle n'est pas suffisante. Le théorème de Specht donne une infinité de conditions nécessaires qui, ensemble, sont également suffisantes. La formulation du théorème utilise la définition suivante. Un mot en deux variables x et y, est une expression de la forme
où sont des nombres entiers positifs. La longueur d'un mot est la somme de ses exposants :
Théorème de Specht[4]. — Deux matrices et sont unitairement équivalentes si et seulement si pour tous les mots .
Cas particuliers
Le théorème donne un nombre infini d'identités de traces, mais cet ensemble peut être réduit à un sous-ensemble fini. Soit n la taille des matrices et . Pour le cas , les trois conditions suivantes sont suffisantes[5] :
- et
Pour n = 3, les sept conditions suivantes sont suffisantes[6] :
Pour n quelconque, il suffit[7] de montrer que pour tous les mots de longueur au plus
- .
Il a été conjecturé[8] que cette expression peut être réduite à une expression linéaire en n .
Des développements du théorème ont été donnés dans des cas plus généraux[9] - [10].
Notes et références
- Specht 1940.
- Horn et Johnson 1985, Definition 2.2.1
- Horn et Johnson 1985, Theorem 2.2.2
- Horn et Johnson 1985, Theorem 2.2.6.
- Horn et Johnson 1985, Theorem 2.2.8.
- Sibirskiǐ 1976, p. 260 cité par Đoković et Johnson 2007
- Pappacena 1997, Theorem 4.3.
- Freedman, Gupta et Guralnick 1997, p. 160.
- Futorny, Horn et Sergeichuk 2017.
- Marcoux et Zhang 2021.
Bibliographie
- (en) Dragomir Ž. Đoković et Charles R. Johnson, « Unitarily achievable zero patterns and traces of words in A and A* », Linear Algebra and its Applications, vol. 421, no 1, , p. 63-68 (DOI 10.1016/j.laa.2006.03.002).
- (en) Allen R. Freedman, Ram Niwas Gupta et Robert M. Guralnick, « Shirshov's theorem and representations of semigroups », Pacific Journal of Mathematics, vol. 181, no 3, , p. 159-176 (ISSN 0030-8730, DOI 10.2140/pjm.1997.181.159)
- (en) Vyacheslav Futorny, Roger A. Horn et Vladimir V. Sergeichuk, « Specht's criterion for systems of linear mappings », Linear Algebra and its Applications, vol. 519, , p. 278-295 (DOI 10.1016/j.laa.2017.01.006)
- (en) Roger A. Horn et Charles R. Johnson, Matrix Analysis, Cambridge University Press, (ISBN 978-0-521-38632-6).
- (en) Laurent W. Marcoux et Yuanhang Zhang, « On Specht's Theorem in UHF C⁎-algebras », Journal of Functional Analysis (en), vol. 280, no 1, , article no 108778 (DOI 10.1016/j.jfa.2020.108778)
- (en) Christopher J. Pappacena, « An upper bound for the length of a finite-dimensional algebra », Journal of Algebra, vol. 197, no 2, , p. 535-545 (DOI 10.1006/jabr.1997.7140).
- (ru) K. S. Sibirskiǐ, Algebraic Invariants of Differential Equations and Matrices, Izdat. "Štiinca", Kishinev, .
- (de) Wilhelm Specht, « Zur Theorie der Matrizen. II », Jahresbericht der Deutschen Mathematiker-Vereinigung, vol. 50, , p. 19-23 (lire en ligne).