2
$\begingroup$

How to prove a unit norm matrix is the average of two unitary matrix

$\endgroup$
8
  • 3
    $\begingroup$ which norm is unit? $\endgroup$
    – Igor Rivin
    Commented Jan 2, 2011 at 17:49
  • 2
    $\begingroup$ Do you know this is true? How many dimensions are you working in? $\endgroup$
    – Peter Shor
    Commented Jan 2, 2011 at 17:55
  • 1
    $\begingroup$ I think the only norm where this question makes sense is the spectral norm. I see the votes to close piling up, but since nobody has jumped in and said that this is a well-known elementary fact, I think if you add some details to your question, and flag it to be reopened, it probably will be. There's an easy proof for 2 dimensions and the spectral norm. My first reaction is that I wouldn't think it would be true for arbitrarily many dimensions, and the spectral norm, but I could easily be wrong. $\endgroup$
    – Peter Shor
    Commented Jan 2, 2011 at 18:24
  • $\begingroup$ Further to Peter Shor's comment: mathoverflow.net/howtoask $\endgroup$
    – Yemon Choi
    Commented Jan 2, 2011 at 21:41
  • 1
    $\begingroup$ Moderators: Please rollback to the original statement of the question! $\endgroup$ Commented Jan 6, 2011 at 17:15

1 Answer 1

15
$\begingroup$

I assume that the norm is the spectral norm.

By the polar decomposition, any unit norm matrix can be written as $UD$ where $U$ is unitary and $D$ is matrix which, in some basis $E$, is diagonal with non-negative entries not greater than $1$. The diagonal entries can thus be written as $\cos(\theta_1),...,\cos(\theta_n)$ for real $\theta_i$'s. $UD$ is then the average of $U V$ and $U V^*$ where $V$ is the matrix which, in the basis $E$, is diagonal with diagonal entries $e^{i\theta_1},...,e^{i\theta_n}$.

$\endgroup$
3
  • $\begingroup$ thanks for your answering this question. However I still doubt whether the basis E is orthogonal(unitary) basis. $\endgroup$
    – yaoxiao
    Commented Jan 2, 2011 at 20:41
  • $\begingroup$ @yaoxiao: the matrix $D$ is hermitian (it is even positive semid-efinite), and every hermitian matrix can be diagonalized in an orthonormal basis. $\endgroup$ Commented Jan 2, 2011 at 20:48
  • $\begingroup$ I see what you have mean,great! I think it is really interesting, when we compare it with the similar claim “every matrix can be decompsed into linear combinations of four orthogonal matrix $\endgroup$
    – yaoxiao
    Commented Jan 3, 2011 at 4:27

You must log in to answer this question.

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