0
$\begingroup$

Given a symmetric positive definite (SPD) matrix with eigendecomposition $A = U \Lambda U^{\top}$ follows $\operatorname{diag}(A)=\operatorname{diag}(\Lambda)$, is it necessary to have $U=I$ so that $A$ must be a diagonal matrix?

$\endgroup$
2
  • 4
    $\begingroup$ What about $A=I$? $\endgroup$ Commented Jan 30 at 12:43
  • 3
    $\begingroup$ perhaps you could add the restriction that all eigenvalues are different; I think that then indeed $A$ must itself be a diagonal matrix. $\endgroup$ Commented Jan 30 at 13:33

1 Answer 1

7
$\begingroup$

$\newcommand\La\Lambda$As noted in my comment, it is not necessary that $U=I$.

However, given the conditions $A=U\Lambda U^{\top}$ and $\operatorname{diag}(A)=\operatorname{diag}(\Lambda)$, it is necessary that $A$ be a diagonal matrix (so that $A=\Lambda$). Indeed, by Hadamard's inequality for psd matrices, $$\det A\le\prod_i A_{ii},$$ with the equality only if $A$ is diagonal. Here $M_{ij}$ stands for the $(i,j)$-entry of a matrix $M$. It remains to note that $$\det A=\det\Lambda=\prod_i \Lambda_{ii}=\prod_i A_{ii}.$$


Also, if the $\La_{ii}$'s are pairwise distinct, then $U$ is a diagonal matrix such that $U^2=I$. Indeed, then without loss of generality $n\ge2$ and $\La_{11}>\cdots>\La_{nn}$, if $A$ is $n\times n$. The conditions $A=U\Lambda U^{\top}$ and $\operatorname{diag}(A)=\operatorname{diag}(\Lambda)$ imply $$\La_{ii}=\sum_j U_{ij}^2\La_{jj}$$ for all $i$, so that we get the contradiction $$\La_{11}=\sum_j U_{1j}^2\La_{jj}<\max_j\La_{jj}=\La_{11}$$ unless $U_{11}^2=1$ and hence $U_{1j}=0=U_{j1}$ for $j\ge2$; this follows because $U$ is orthogonal. So, by induction on $n$, we get $U_{ij}^2=1(i=j)$ for all $i,j$ -- that is, $U$ is a diagonal matrix such that $U^2=I$. On the other hand, obviously, if $U$ is a diagonal matrix such that $U^2=I$, then $A=U\Lambda U^{\top}=\La$.

$\endgroup$
1
  • $\begingroup$ Thank you very much for the answer! $\endgroup$ Commented Feb 2 at 15:17

You must log in to answer this question.

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.