Types of complex matrices, why only 3?

Click For Summary

Discussion Overview

The discussion revolves around the classification of complex matrices, specifically questioning why only three main types are commonly recognized: Hermitian, Skew-Hermitian, and Unitary. Participants explore the possibility of additional types, particularly a proposed fourth type, and discuss various properties and transformations related to these matrices.

Discussion Character

  • Debate/contested
  • Technical explanation
  • Conceptual clarification

Main Points Raised

  • Some participants assert that the three main types of complex matrices are Hermitian (real eigenvalues), Skew-Hermitian (imaginary eigenvalues), and Unitary (complex conjugates).
  • One participant proposes a fourth type, termed Non-unitary-non-hermitian, characterized by having one imaginary value and a complex conjugate, questioning its potential for transformation into one of the established types.
  • Another participant argues that the three types mentioned do not encompass all complex matrices, suggesting that many matrices fall outside these categories.
  • Several additional classifications are proposed, including invertible, symmetric, skew-symmetric, singular, regular, orthogonal, and symplectic matrices, indicating a broader classification scheme.
  • A participant discusses the relationship between Hermitian matrices and bilinear forms, suggesting that there may be a fourth type related to hermitian symplectic matrices.
  • There is mention of the Foldy–Wouthuysen transformation and its applicability to complex matrices, as well as the preservation of properties like invertibility during transformations.

Areas of Agreement / Disagreement

Participants do not reach a consensus on the classification of complex matrices, with multiple competing views and suggestions for additional types remaining unresolved.

Contextual Notes

The discussion highlights the limitations of the proposed classifications and the dependence on definitions, as well as the unresolved nature of certain mathematical transformations and properties.

SeM
Hi, the three main types of complex matrices are:

1. Hermitian, with only real eigenvalues
2. Skew-Hermitian , with only imaginary eigenvalues
3. Unitary, with only complex conjugates.

Shouldn't there be a fourth type:

4. Non-unitary-non-hermitian, with one imaginary value (i.e. 3i) and a complex conjugate (i.e. 4+5i)

?

Can such a forth type be transformed in some fashion? It is not diagonalizable, not normal and not-Hermitian. I have looked into the Foldy–Wouthuysen transformation , but am not sure this will work on a complex matrix. Are there any possibilities to transform a matrix of class 4 to one of class 1, such as using Gauss Elimination?

Thanks!
 
Last edited by a moderator:
Physics news on Phys.org
These are just three subclasses of complex matrices. They are not covering all matrices.

It is like "prime numbers" and "square numbers" for integers: Both are subsets of the integers, but they don't cover everything. In fact, most matrices (for suitable definitions of "most") are not in any of your three categories.

What do you mean by "transform"? I guess you don't want arbitrary operations, otherwise you can just exchange a matrix by the identity matrix for example.
 
SeM said:
Shouldn't there be a fourth type
There are plenty. Invertible, symmetric, skew-symmetric, singular, regular, orthogonal, symplectic, special.

You are turning the process upside down. If you want to investigate a certain type of matrices and there isn't yet a name for it, then you can call this property by a suitable name. Not the other way around.
 
SeM said:
Hi, the three main types of complex matrices are:

1. Hermitian, with only real eigenvalues
2. Skew-Hermitian , with only imaginary eigenvalues
3. Unitary, with only complex conjugates.

Shouldn't there be a fourth type:

4. Non-unitary-non-hermitian, with one imaginary value (i.e. 3i) and a complex conjugate (i.e. 4+5i)

?

Can such a forth type be transformed in some fashion? It is not diagonalizable, not normal and not-Hermitian. I have looked into the Foldy–Wouthuysen transformation , but am not sure this will work on a complex matrix. Are there any possibilities to transform a matrix of class 4 to one of class 1, such as using Gauss Elimination?

Thanks!

How about the major ones : invertible, non-invertible? Tho " most" matrices are invertible, i.e., ##Gl(n, \mathbb R)## is dense in ## M_{ n\times n} \mathbb R ## , which translates to a similar result for Complex matrices (Basically, continuity of the Determinant, which is a polynomial on the entries). I assume your transformations would preserve at least this, i.e., invertibility, and you would want matrices in ##Gl(n,\mathbb C) ## to not be embeddings of those in ## Gl(n,\mathbb R) ##.
 
Last edited:
I am a novice here but I think there should indeed be, in your organization, a 4th type called hermitian symplectic. I.e. hermitian matrices are of interest for the bilinear forms they define. Among those there is a standard one defined by the identity matrix. Other hermitian matrice define this same form but with respect to a different basis, if they are positive definite. Hermitian matrices transform into other hermitian matrices by means of invertible change of basis matrices. Those matrices that preserve the standard form are called unitary.

Skew hermitian matrices also define bilinear forms, but ones that are skew (conjugate) symmetric rather than (conjugate) symmetric. There is a standard one of these also, represented by the square 2n by 2n matrix with the nbyn identity in the lower left corner, minus that matrix in the top right corner, and all else zeros. Then the fourth type of matrix would be the ones that preserve this standard skew hermitian form, the so called skew hermitian matrices.

Interestingly there is also a connection between unitary and skew hermiotian matrices. Namely it seems the lie algebra of skew hermitian matrices is naturally the tangent space at the identity of the lie group of unitary matrices! you might want to pursue some reading about bilinear forms say in Mike Artin's Algebra book, and possibly some reading on lie groups and lie algebras. The point is your chosen matrices are all associated with the theory of bilinear forms.you might also enjoy a related but slightly different relationship arising in the theory of Riemann's theta functions. Namely these are defined by symmetric complex matrices with positive definite imaginary part, and the space of these is acted on by the real symplectic matrices, where the stabilizer of i times the identity matrix is the unitary group. This is beautifully described in chapter 2 of volume 1 of David Mumford's 3 volume treatise on theta functions.
 
Last edited:
  • Like
Likes   Reactions: WWGD
Thanks!
 

Similar threads

  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 14 ·
Replies
14
Views
3K
Replies
3
Views
2K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 4 ·
Replies
4
Views
5K