Antiunitary operator

In mathematics, an antiunitary transformation, is a bijective antilinear map

U:H_1\to H_2\,

between two complex Hilbert spaces such that

\langle Ux, Uy \rangle = \overline{\langle x, y \rangle}

for all x and y in H_1, where the horizontal bar represents the complex conjugate. If additionally one has H_1 = H_2 then U is called an antiunitary operator.

Antiunitary operators are important in Quantum Theory because they are used to represent certain symmetries, such as time-reversal symmetry. Their fundamental importance in quantum physics is further demonstrated by Wigner's Theorem.

Invariance transformations

In Quantum mechanics, the invariance transformations of complex Hilbert space  H leave the absolute value of scalar product invariant:

 |\langle Tx, Ty \rangle| =|\langle x, y \rangle|

for all x and y in H. Due to Wigner's Theorem these transformations fall into two categories, they can be unitary or antiunitary.

Geometric Interpretation

Congruences of the plane form two distinct classes. The first conserves the orientation and is generated by translations and rotations. The second does not conserve the orientation and is obtained from the first class by applying a reflection. On the complex plane these two classes corresponds (up to translation) to unitaries and antiunitaries, respectively.

Properties

\langle U^2x, U^2y \rangle = \overline{\langle Ux , Uy \rangle} = \langle x, y \rangle .
\langle U^* x,y\rangle=\overline{\langle x,Uy\rangle}.
 U U^* = U^* U = 1. (This is not to be confused with the definition of unitary operators, as  U is not complex linear.)

Examples


U = \sigma_y K =
\begin{pmatrix}
0&-i\\
i&0
\end{pmatrix} K,

where  \sigma_y is the second Pauli matrix and  K is the complex conjugate operator, is antiunitary. It satisfies  U^2 = -1 .

Decomposition of an antiunitary operator into a direct sum of elementary Wigner antiunitaries

An antiunitary operator on a finite-dimensional space may be decomposed as a direct sum of elementary Wigner antiunitaries W_\theta, 0\le\theta\le\pi. The operator W_0:C\rightarrow C is just simple complex conjugation on C

W_0(z)=\overline{z}\,

For 0<\theta\le\pi, the operation W_\theta acts on two-dimensional complex Hilbert space. It is defined by

W_\theta((z_1,z_2)) = (e^{i\theta/2} \overline{z_2}, e^{-i\theta/2}\overline{z_1}). \,

Note that for 0<\theta\le\pi

W_\theta(W_\theta((z_1,z_2)))=(e^{i\theta}z_1,e^{-i\theta}z_2),\,

so such W_\theta may not be further decomposed into W_0's, which square to the identity map.

Note that the above decomposition of antiunitary operators contrasts with the spectral decomposition of unitary operators. In particular, a unitary operator on a complex Hilbert space may be decomposed into a direct sum of unitaries acting on 1-dimensional complex spaces (eigenspaces), but an antiunitary operator may only be decomposed into a direct sum of elementary operators on 1- and 2-dimensional complex spaces.

References

    See also

    This article is issued from Wikipedia - version of the Thursday, February 19, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.