Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

$\newcommand{\tr}{\operatorname{tr}}$ I was reading a proof for the statement $|\tr(US)|\leq |\tr(S)|$, for every endomorphism $S$ on a complex vector space $H$ and every unitary operator $U$ on the same space. Though the proof is short it uses the polar decomposition and the cauchy swartz inequality. I came out with the very simple "proof": \begin{eqnarray} \left|\tr(US)\right| &=& \left|\tr\left(\sum_iu_{ii}|i\rangle\langle i|\sum_{jk}s_{jk}|j\rangle\langle k|\right)\right|\\ &=& \left|\tr\left(\sum_i\sum_k u_{ii} s_{ik} |i\rangle\langle k|\right)\right| \\ &=& \left|\sum_{i}u_{ii}s_{ii}\right|\\ &\leq& \left|\sum_i s_{ii}\right| \\ &=& \left|\tr(S)\right| \end{eqnarray} where I just rely in the fact that unitary operators are normal and admit the spectral decomposition theorem (that is $U=\sum_i u_{ii}|i\rangle\langle i|$ for some orthonormal basis $|i\rangle$)

I would like to know if I am missing something very obvious or the proof is indeed correct.

share|improve this question
3  
Perhaps you should explain the notations, they are very common in quantum mechanics but not in mathematics –  Mercy Jul 12 '12 at 15:33
    
$U$ is a unitary operator doesn't mean that $u_{ii}=1$ for every $i$, therefore your proof is not correct! –  Mercy Jul 12 '12 at 15:35
1  
@Mercy For the inequality it's enough that $|u_{ii}| \le 1$ –  Cocopuffs Jul 12 '12 at 15:38
1  
Let's consider the finite-dimensional case. Let $U \in \mathbb{C}^{n\times n}$ be unitary, i.e. $UU^*=(\delta_{ij})=I_n$. Therefore $\sum_{k=1}^nu_{ik}\bar{u}_{jk}=\delta_{ij}$ for every $i,j$, and so $\sum_{k=1}^n|u_{ik}|^2=\sum_{k=1}^nu_{ik}\bar{u}_{ik}=1$ for every $i$. –  Mercy Jul 12 '12 at 16:12
1  
Where you say "where $S$ is an endomorphism on a complex vector space $H$ and $U$ a unitary operator on the same space", did you mean "for every endomorphism $S$ on a complex vector space $H$ and every unitary operator $U$ on the same space"? The latter wouldn't leave any doubts about the two "every"s. –  Michael Hardy Jul 12 '12 at 16:32
show 7 more comments

1 Answer

up vote 3 down vote accepted

Your statement of the "spectral decomposition theorem" is incorrect. Unitary operators don't necessarily have point spectrum.

Also the result is incorrect. Try $$ S = U = \pmatrix{1 & 0\cr 0 & -1\cr}$$

share|improve this answer
    
That's correct, however there is a typo in my transcription (related to my poor understanding of the issue). The correct statement is: $|tr(US)|\leq tr(|S|)$. Anyway I will accept the answer, since it has clarified my ideas. –  Euclean Jul 13 '12 at 9:20
    
Do you know of any explicit example for a unitary operator with an eigenvalue outside the unit circle? –  Euclean Jul 13 '12 at 9:20
1  
@Euclean: The spectrum of a unitary operator is always on the unit circle. However, in an infinite-dimensional Hilbert space it does not have to consist of eigenvalues. Consider, for example, the operator of multiplication by $e^{ix}$ on $L^2[0,1]$, i.e. $(Uf)(x) = e^{ix} f(x)$. –  Robert Israel Jul 13 '12 at 14:56
    
I see, thanks for both answers! –  Euclean Jul 13 '12 at 15:40
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.