31
$\begingroup$

Show that the eigenvalues of a unitary matrix have modulus $1$.

I know that a unitary matrix can be defined as a square complex matrix $A$, such that

$$AA^*=A^*A=I$$

where $A^*$ is the conjugate transpose of $A$, and $I$ is the identity matrix. Furthermore, for a square matrix $A$, the eigenvalue equation is expressed by $$Av=\lambda v$$

If I use the relationship $u v=v^*u$ and take the conjugate transpose of this equation then $$v^*A^*=\lambda^*v^*$$

But now I got stuck. Can someone help?

$\endgroup$
2
  • $\begingroup$ i think you can find your answer in part 4 of this post math.stackexchange.com/questions/40246/… $\endgroup$ Mar 28, 2016 at 20:46
  • $\begingroup$ I actually looked at that post but it was difficult to understand. I think they do it in another way. $\endgroup$ Mar 28, 2016 at 20:51

4 Answers 4

39
$\begingroup$

You multiply your two relations to obtain

\begin{align} v^*A^*Av &=\lambda^* v^*\lambda v \\ v^*Iv &=\left(\lambda^*\lambda\right) v^*v \\ v^*v &=\left(\lambda^*\lambda\right) v^*v \\ ||v||^2 &= |\lambda|^2 ||v||^2 \\ \sqrt{1} &=|\lambda| \\ 1 &=|\lambda| \end{align}


Recall that the modulus of a complex number $\lambda = a + bi$, also called the "complex norm", is denoted $|\lambda|$ and defined by $|\lambda| = |a + bi| = \sqrt{a^2 + b^2}$ and $\lambda^*\lambda = (a -bi)(a + bi) = a^2 + b^2$. Hence $\lambda^*\lambda = |\lambda|^2.$

$\endgroup$
3
  • $\begingroup$ Why is the negative square root in the end neglected ? Shouldn’t it be $\lambda =+1,-1$ $\endgroup$
    – Shashaank
    Mar 3, 2021 at 12:58
  • 1
    $\begingroup$ Sorry for the late answer, it is beacause a modulus is always positive $\endgroup$
    – Bérénice
    May 23, 2021 at 6:38
  • 1
    $\begingroup$ Very good proof! However, an interesting thing is that you can perhaps stop at the third last step, because an equivalent condition of a unitary matrix is that its eigenvector lies on the unit circle, so therefore, has magnitude 1. $\endgroup$ Mar 8, 2022 at 17:58
12
$\begingroup$

A unitary matrix $U$ preserves the inner product: $\langle Ux, Ux\rangle =\langle x,U^*Ux\rangle =\langle x,x\rangle $.

Thus if $\lambda $ is an eigenvalue, $Ux=\lambda x$, we get $\vert\lambda \vert^2\langle x,x\rangle =\langle \lambda x,\lambda x\rangle =\langle Ux, Ux\rangle =\langle x,x\rangle $.

So $\vert \lambda\vert^2=1\implies \vert \lambda\vert=1$.

$\endgroup$
3
  • $\begingroup$ Why is the negative square root in the end neglected ? Shouldn’t it be $\lambda =+1,-1$ $\endgroup$
    – Shashaank
    Mar 3, 2021 at 12:57
  • $\begingroup$ @Shashaank The modulus is always nonnegative. $\endgroup$
    – user403337
    Mar 3, 2021 at 18:09
  • $\begingroup$ $|\lambda|=1$ implies that $\lambda$ lies on the unit circle. @Shashaank $\endgroup$
    – user403337
    Mar 3, 2021 at 18:35
4
$\begingroup$

$\Delta$ as $\lambda$

$Av=\Delta v$

$(Av)^*=(\Delta v)^*$

$v^*A^*=\Delta^*v^*$

$v^*A^*Av=\Delta^*v^*\Delta v$

As $A^*A=I$

$v^*Iv=\Delta^*\Delta v^*v$

$v^*v=\Delta^*\Delta v^*v$

$(1-\Delta^*\Delta)v^*v=0$

Since $v$ is not equal to zero.

Hence

$1-\Delta\Delta^*=0\implies \Delta^*\Delta=1$

$|\Delta|^2=1\implies |\Delta|=1$.

$\endgroup$
2
  • $\begingroup$ What was the point changing $\lambda$ to $\Delta$? See meta.math.stackexchange.com/questions/5020/… for help formatting in MathJax. $\endgroup$ Aug 15, 2018 at 17:31
  • $\begingroup$ I've added formatting to your answer, hope that's ok. Note that two * format as italic in HTML which was why some stuff rendered funny.. $\endgroup$ Aug 15, 2018 at 17:39
2
$\begingroup$

The result that you seek follows from the following.

Lemma. If $A$ is unitary and $\vert \vert x \vert \vert_2 = 1$, then $\vert\vert Ax \vert\vert_2 =1$.

Proof. By definition, $$ \vert\vert Ax \vert\vert_2^2 =\langle Ax, Ax \rangle = (Ax)^*(Ax) = x^*A^*A x = x^*x = \vert\vert x \vert\vert_2^2 = 1.$$


If $(\lambda,v)$ is an eigenpair of $A$, then, without loss of generality, it may be assumed that $\vert\vert v \vert\vert_2 = 1$. Following the lemma above and the absolute homogeneity property of vector norms, notice that $$ |\lambda| = |\lambda|\vert\vert v \vert\vert_2 = \vert\vert \lambda v \vert\vert_2 = \vert\vert Av \vert\vert_2 = 1,$$ as desired.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .