Finite and infinitesimal Unitary transformations

[mtak0114]

Hi

I have a question regarding unitary operators:

If an infinitesimal operation (such as a rotation) is unitary does this guarantee that a finite transformation will also be unitary?

thanks

M

 

[haushofer]

Well, how do you go from an infinitesimal transformation to a finite transformation? You use the exponential map. An infinitesimal transformation on a field is generated by the generator of the corresponding symmetry group, which is an element of the Lie algebra of that group.

So to answer your question, you should write down in your convention an infinitesimal transformation, say that it's unitary, and then use the exponential map to make it a finite transformation. Then you should check if this expression is als unitary.

Write an infinitesimal transformation on a field phi as

<br /> \delta\phi = \Theta \phi<br />

where Theta is an element of the Lie algebra. Your assumption is that

<br /> \Theta^{\dagger} = \Theta^{-1}<br />

Now I use the exponential mapping to generate a finite transformation (formally you should take a sum over all generators, but let's keep this easy) with the convention of using an "i":

<br /> \phi&#039; = e^{i\Theta}\phi<br />

Now calculate:

<br /> [e^{i\Theta}]^{\dagger} = e^{-i\Theta^{\dagger}}<br />

This finite transformation is unitary if

<br /> e^{-i\Theta^{\dagger}} = e^{-i\Theta}<br />

So in this case a unitary generator means a unitary group element.

Hope this helps :)

 

[haushofer]

By the way, making statements about the generators when you have a group element at your disposal can be done by considering the expression

<br /> \frac{d}{dt}e^{it\Theta}|_{t=0}<br />

Because the Lie algebra is a vector space you're garanteed that e^{it\Theta} is a group element whenever e^{i\Theta} is.

 

[George Jones]

Well, how do you go from an infinitesimal transformation to a finite transformation? You use the exponential map. An infinitesimal transformation on a field is generated by the generator of the corresponding symmetry group, which is an element of the Lie algebra of that group.

So to answer your question, you should write down in your convention an infinitesimal transformation, say that it's unitary, and then use the exponential map to make it a finite transformation. Then you should check if this expression is als unitary.

Write an infinitesimal transformation on a field phi as

<br /> \delta\phi = \Theta \phi<br />

where Theta is an element of the Lie algebra. Your assumption is that

<br /> \Theta^{\dagger} = \Theta^{-1}<br />

Now I use the exponential mapping to generate a finite transformation (formally you should take a sum over all generators, but let's keep this easy) with the convention of using an "i":

<br /> \phi&#039; = e^{i\Theta}\phi<br />

Now calculate:

<br /> [e^{i\Theta}]^{\dagger} = e^{-i\Theta^{\dagger}}<br />

This finite transformation is unitary if

<br /> e^{-i\Theta^{\dagger}} = e^{-i\Theta}<br />

So in this case a unitary generator means a unitary group element.

Hope this helps :)

<br /> e^{-i\Theta^{\dagger}} \left( e^{-i\Theta} \right)^{-1}= e^{-i\Theta^{\dagger} + i \Theta},<br />

so the condition on \Theta needed for unitarity of e^{i \Theta} is \Theta = \Theta^\dagger (hermiticity), not \Theta^{\dagger} = \Theta^{-1} (unitarity).

 

[mtak0114]

Hi

thanks for the replies

I guess my question is:
I have a result for a finite transformation that is in fact a CP map
to understand the problem better I calculated the generators of the group
these appear to be hermitian which I thought would imply a unitary map

does this mean that my result is wrong? or is there a theorem like
a finite map is unitary iff the corresponding infinitesimal map is unitary?

thanks

 

[George Jones]

I am confused.

Hi

I have a question regarding unitary operators:

If an infinitesimal operation (such as a rotation) is unitary does this guarantee that a finite transformation will also be unitary?M

An infinitesimal rotation operator (for physicists) is Hermitian, not unitary.

I guess my question is:
I have a result for a finite transformation that is in fact a CP map
to understand the problem better I calculated the generators of the group
these appear to be hermitian which I thought would imply a unitary map

It does.

does this mean that my result is wrong? or is there a statement like
a finite map is unitary iff the corresponding infinitesimal map is unitary?

thanks

 

[haushofer]

<br /> e^{-i\Theta^{\dagger}} \left( e^{-i\Theta} \right)^{-1}= e^{-i\Theta^{\dagger} + i \Theta},<br />

so the condition on \Theta needed for unitarity of e^{i \Theta} is \Theta = \Theta^\dagger (hermiticity), not \Theta^{\dagger} = \Theta^{-1} (unitarity).

Yes, you're right. I'm mixing up things. But I hope my point was clear though ;)

 

[peteratcam]

Hi

I have a question regarding unitary operators:

If an infinitesimal operation (such as a rotation) is unitary does this guarantee that a finite transformation will also be unitary?

thanks

M

The answer is no.
As an example:
<br /> \begin{pmatrix}<br /> \cos \theta &amp; \sin \theta + 1-\exp(\theta^2)\\<br /> -\sin \theta+1-\exp(\theta^2) &amp; \cos \theta<br /> \end{pmatrix}<br />
You can obtain the infintesimal operation by expanding to first order:
<br /> \begin{pmatrix}<br /> 1 &amp; \delta\theta\\<br /> -\delta\theta &amp; 1<br /> \end{pmatrix} = I - i\delta\theta\begin{pmatrix}<br /> 0 &amp; i\\<br /> -i &amp; 0<br /> \end{pmatrix}<br />
The infintesimal operation is unitary - it looks just like it was generated from a hermitian generator.

It is easy to verify that the the finite operation is not unitary.

What is take home message? Many transformations can share the same tangent space at the identity. Only for lie groups does the exponential map generate the rest of the set of transformations.

It is as simple as pointing out that exp(x) is not the only function with a gradient of 1 at when x = 0.

 

[Fredrik]

When we're dealing with Lie groups whose members are matrices, there's a very simple way to express the relationship between members of the Lie group and members of the Lie algebra. A matrix X belongs to the Lie algebra if and only if exp(itX) belongs to the Lie group for all real numbers t. In this context, the exponential is defined as a power series.

So what's the Lie algebra of U(n)? To answer this, we must find all X such that exp(itX) is a member of U(n). Such an X must obviously be an n×n matrix, and it must satisfy

I=(e^{itX})^\dagger e^{itX}=e^{-itX^\dagger}e^{itX}

e^{-itX}=e^{-itX^\dagger}

Now take the derivative of both sides with respect to t and then set t=0 (or just expand in a series and match term by term). We get

-iX=-iX^\dagger

X=X^\dagger.

Check out this book for more about this.