How to prove a unit norm matrix is the average of two unitary matrix
$\begingroup$
$\endgroup$
8
-
3$\begingroup$ which norm is unit? $\endgroup$– Igor RivinCommented Jan 2, 2011 at 17:49
-
2$\begingroup$ Do you know this is true? How many dimensions are you working in? $\endgroup$– Peter ShorCommented 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 ShorCommented Jan 2, 2011 at 18:24
-
$\begingroup$ Further to Peter Shor's comment: mathoverflow.net/howtoask $\endgroup$– Yemon ChoiCommented Jan 2, 2011 at 21:41
-
1$\begingroup$ Moderators: Please rollback to the original statement of the question! $\endgroup$– Andrés E. CaicedoCommented Jan 6, 2011 at 17:15
|
Show 3 more comments
1 Answer
$\begingroup$
$\endgroup$
3
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}$.
-
$\begingroup$ thanks for your answering this question. However I still doubt whether the basis E is orthogonal(unitary) basis. $\endgroup$– yaoxiaoCommented 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$– yaoxiaoCommented Jan 3, 2011 at 4:27