Tell me more ×
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.

Assume a self-adjoint operator, represented as hermitian matrix $H=H^\dagger$. To my knowledge there are at least 2 mappings of $H$ onto unitary matrices:

  1. Cayley's Transformation with $U_1=\frac{H+i1}{H-i1}$ ($1$ is a unit matrix of appropriate dimension)
  2. Exponential Mapping with $U_2=e^{iH}$.

Are there other mappings with a different structure and if not can one prove that?

share|improve this question

1 Answer

up vote 1 down vote accepted

Assume that a mapping $H\mapsto U$ is of such a form that $U$ can be expressed as a power series in $H$ (I don't think this is a huge loss of generality to assume this, perhaps none.) Then $$ U=c_{0}I+c_{1}H+c_{2}H^{2} + c_{3}H^{3} + \cdots $$ Since $U$ unitary implies $e^{i\theta}U$ is unitary, then WLOG we may take $c_{0}$ to be real. Moreover, if $U$ is unitary, then $U^{-1}= U^{*}$, so (assuming $U^{-1}$ can be represented as a power series in $H$) $$ U^{-1}=c_{0}I+c_{1}^{*}H+c_{2}^{*}H^{2} + c_{3}^{*}H^{3}+ \cdots $$ The condition $UU^{-1} = I$ gives $$ I=UU^{-1}=c_{0}^{2}I+c_{0}(c_{1}+c_{1}^{*})H+\cdots $$ whereupon we immediately determine that $c_{0}=1$ and that $c_{1}+c_{1}^{*}=0$. Hence $c_{1}$ is purely imaginary, and we write $c_{1}=ib_{1}$. With this in hand, we expand the products of these power series again: $$ I=UU^{-1}=I+(c_{2}+c_{2}^{*}+b_{1}^{2})H^{2}+\cdots $$ so that $2\mathfrak{R}(c_{2})=-b_{1}^{2}$ but the imaginary part of $c_{2}$ is a free parameter. So we've already found 2 free parameters, each of which generate infinite families of unitary maps $H\mapsto U$. So there are a fuck-ton of these maps.

share|improve this answer
+1 for a ton. Thx. – draks ... Feb 6 '12 at 7:32
Do you know, which of these mappings $H \mapsto U$ are invertible, like mentioned in this answer? – draks ... Apr 5 '12 at 17:41
No, I have no clue. – Nick Thompson Apr 12 '12 at 9:03
It's been a while, but is it right to say that, the infinity of mappings comes from the fact that the $c_k$'s are complex? Since we always pay the $\Re / \Im$ part for the condition $I=UU^{-1}$ and get the other for free? So are there no power series with real $c_k$, for general $H$? What if I restrict to symmetric $H$? – draks ... Jul 12 '12 at 18:55

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.