Hermitian matrix

Let  Mn be the set of  n × n complex-valued matrices. Let us consider a matrix  A = [aij] ∈ Mn and denote its complex conjugate by $\; \overline{A}=[\overline{a}_{ij}]$ and its transpose by  AT = [aji]. We then have the following

Definition: A matrix  A = [aij] ∈ Mn is said to be Hermitian if  A = A * , where $\; A^*=\overline{A}^T=[\overline{a}_{ji}]$. It is skew-Hermitian if  A =  − A * .

A Hermitian matrix can be the representation, in a given orthonormal basis, of a self-adjoint operator.

Properties of Hermitian matrices

For two matrices  A, B ∈ Mn we have:

  1. If  A is Hermitian, then the main diagonal entries of  A are all real. In order to specify the  n2 elements of  A one may specify freely any  n real numbers for the main diagonal entries and any $\; \frac{1}{2}n(n-1)$ complex numbers for the off-diagonal entries;
  2. A + A * ,  AA *  and  A * A are all Hermitian for all  A ∈ Mn;
  3. If  A is Hermitian, then  Ak is Hermitian for all  k = 1, 2, 3, …. If  A is nonsingular as well, then  A − 1 is Hermitian;
  4. If  A, B are Hermitian, then  aA + bB is Hermitian for all real scalars  a, b;
  5. A − A *  is skew-Hermitian for all  A ∈ Mn;
  6. If  A, B are skew-Hermitian, then  aA + bB is skew-Hermitian for all real scalars  a, b;
  7. If  A is Hermitian, then  iA is skew-Hermitian;
  8. If  A is skew-Hermitian, then  iA is Hermitian;
  9. Any  A ∈ Mn can be written as

$$\; A=\frac{1}{2}(A+A^*)+\frac{1}{2}(A-A^*)\equiv H(A)+S(A) ,$$ where $\; H(A)=\frac{1}{2}(A+A^*)$ respectively $\; S(A)= \frac{1}{2}(A-A^*)$ are the Hermitian and skew-Hermitian parts of  A .

'''Theorem: ''' Each  A ∈ Mn can be written uniquely as  A = S + iT, where  S and  T are both Hermitian. It can also be written uniquely as  A = B + C, where  B is Hermitian and  C is skew-Hermitian.

Theorem: Let  A ∈ Mn be Hermitian. Then

  1. x * Ax is real for all  x ∈ Cn;
  2. All the eigenvalues of  A are real; and
  3. S * AS is Hermitian for all  S ∈ Mn.

Theorem: Let  A = [aij] ∈ Mn be given. Then  A is Hermitian if and only if at least one of the following holds:

  1. x * Ax is real for all  x ∈ Cn;
  2. A is normal and all the eigenvalues of  A are real; or
  3. S * AS is Hermitian for all  S ∈ Mn.

'''Theorem [the spectral theorem for Hermitian matrices]: ''' Let  A = [aij] ∈ Mn be given. Then  A is Hermitian if and only if there are a unitary matrix  U ∈ Mn and a real diagonal matrix  Λ ∈ Mn such that  A = UΛU * . Moreover,  A is real and Hermitian (i.e. real symmetric) if and only if there exist a real orthogonal matrix  P ∈ Mn and a real diagonal matrix  Λ ∈ Mn such that  A = PΛPT.

Theorem: Let  F be a given family of Hermitian matrices. Then there exists a unitary matrix  U ∈ Mn such that  UΛU *  is diagonal for all  A ∈ F if and only if  AB = BA for all  A, B ∈ F.

Positivity of Hermitian matrices

Definition: An  n × n Hermitian matrix  A is said to be positive definite if

x * Ax > 0 for all  x ∈ Cn.

If  x * Ax ≥ 0, then  A is said to be positive semidefinite.

The following two theorems give useful and simple characterizations of the positivity of Hermitian matrices.

Theorem: A Hermitian matrix  A ∈ Mn is positive semidefinite if and only if all of its eigenvalues are nonnegative. It is positive definite if and only if all of its eigenvalues are positive.

In the following we denote by  Ai the leading principal submatrix of  A determined by the first  i rows and columns:  Ai ≡ A({1, 2, …, i}),  i = 2, …, n.

As for any positive matrix, if  A is positive definite, then all principal minors of  A are positive; when  A is Hermitian, the converse is also valid. However, an even stronger statement can be made.

Theorem: If  A ∈ Mn is Hermitian, then  A is positive definite if and only if  DetAi > 0 for  i = 2, …, n. More generally, the positivity of any nested sequence of  n principal minors of  A is a necessary and sufficient condition for  A to be positive definite.

category:Handbook of Quantum Information

Bibliography

  • R. A. Horn and C. R. Johnson, Matrix analysis, Cambridge University Press (1985).

Category:Linear Algebra

Last modified: 
Monday, October 26, 2015 - 17:56