Matrices which are both unitary and Hermitian

38.7k Views Asked by At

Matrices such as

$$ \begin{bmatrix} \cos\theta & \sin\theta \\ \sin\theta & -\cos\theta \end{bmatrix} \text{ or } \begin{bmatrix} \cos\theta & i\sin\theta \\ -i\sin\theta & -\cos\theta \end{bmatrix} \text{ or } \begin{bmatrix} \pm 1 & 0 \\ 0 & \pm 1 \end{bmatrix} $$

are both unitary and Hermitian (for $0 \le \theta \le 2\pi$). I call the latter type trivial, since its columns equal to plus/minus columns of the identity matrix.

Do such matrices have any significance (in theory or practice)?

In the answer to this question, it is said that "for every Hilbert space except $\mathbb{C}^2$, a unitary matrix cannot be Hermitian and vice versa." It was commented that identity matrices are always both unitary and Hermitian, and so this rule is not true. In fact, all trivial matrices (as defined above) have this property. Moreover, matrices such as

$$ \begin{bmatrix} \sqrt {0.5} & 0 & \sqrt {0.5} \\ 0 & 1 & 0 \\ \sqrt {0.5} & 0 & -\sqrt {0.5} \end{bmatrix} $$

are both unitary and Hermitian.

So, the general rule in the aforementioned question seems to be pointless.

It seems that, for any $n > 1$, infinitely many matrices over the Hilbert space $\mathbb{C}^n$ are simultaneously unitary and Hermitian, right?

4

There are 4 best solutions below

2
On BEST ANSWER

Unitary matrices are precisely the matrices admitting a complete set of orthonormal eigenvectors such that the corresponding eigenvalues are on the unit circle. Hermitian matrices are precisely the matrices admitting a complete set of orthonormal eigenvectors such that the corresponding eigenvalues are real. So unitary Hermitian matrices are precisely the matrices admitting a complete set of orthonormal eigenvectors such that the corresponding eigenvalues are $\pm 1$.

This is a very strong condition. As George Lowther says, any such matrix $M$ has the property that $P = \frac{M+1}{2}$ admits a complete set of orthonormal eigenvectors such that the corresponding eigenvalues are $0, 1$; thus $P$ is a Hermitian idempotent, or as George Lowther says an orthogonal projection. Of course such matrices are interesting and appear naturally in mathematics, but it seems to me that in general it's more natural to start from the idempotence condition.

I suppose one could say that Hermitian unitary matrices precisely describe unitary representations of the cyclic group $C_2$, but from this perspective the fact that such matrices happen to be Hermitian is an accident coming from the fact that $2$ is too small.

4
On

A matrix $M$ is unitary and Hermitian if and only if $M=2P-1$ for an orthogonal projection $P$. That is, $P$ is Hermitian and $P^2=P$.

0
On

"Do such matrices have any significance (in theory or practice)?"

Yes, they certainly do. As I commented in George's answer, complex Householder matrices (a.k.a. elementary reflectors) are both unitary and Hermitian. In general, one can easily construct a Householder matrix $\mathbf H=\mathbf I-2\mathbf u\mathbf u^\dagger,\quad \|\mathbf u\|_2=1$ such that $\mathbf H\cdot\mathbf v=c\mathbf e_1$, where $\mathbf v$ is an arbitrary complex vector, $\mathbf e_1$ is the first column of the identity matrix, and $c$ is real. One can thus consider complex versions of the usual linear algebra algorithms that rely on orthogonal matrices, e.g. QR, SVD, Schur decompositions...

3
On

Since no-one else seems to have said it (explicitly at least, although elements of order $2$ and projections are closely linked, as indicated in some answers), a unitary matrix which is also Hermitian is just a unitary matrix of multiplicative order at most $2$ (or, equivalently, a Hermitian matrix of multiplicative order at most $2$). For a matrix $A$ is unitary if an only if $A^{*} = A^{-1},$ where $*$ denotes "transposed conjugate", while $A$ is Hermitian if and only if $A^{*} = A.$ Hence if $A$ is both unitary and Hermitian, we have $A = A^{-1}$ (and $A$ is unitary). As for theoretical uses, the group ${\rm SU}_{n}^{\pm}(\mathbb{C})$ is generated by such matrices for every $n$, where ${\rm SU}_{n}^{\pm}(\mathbb{C})$ denotes the group of unitary $n \times n$ matrices of determinant $\pm 1$. This is clear for $n = 1$, and follows easily by induction, using the fact that ${\rm PSU}(n,\mathbb{C})$ is a simple group for $n > 1.$