Rate of return: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>Zfeinst
 
en>Jonazo
Line 1: Line 1:
Alyson Meagher is the title her mothers and fathers gave her but she doesn't like when people use her full title. What I love doing is football but I don't have the time recently. Invoicing is my profession. Ohio is exactly where my home is but my spouse desires us to move.<br><br>Also visit my blog: clairvoyance ([http://ustanford.com/index.php?do=/profile-38218/info/ ustanford.com])
In [[mathematics]], an '''antiunitary transformation''', is a bijective [[antilinear map]]
 
:<math>U:H_1\to H_2\,</math>
 
between two [[complex number|complex]] Hilbert spaces such that
 
:<math>\langle Ux, Uy \rangle = \overline{\langle x, y \rangle}</math>
 
for all <math>x</math> and <math>y</math> in <math>H_1</math>, where the horizontal bar represents the [[complex conjugate]]. If additionally one has <math>H_1 = H_2</math> then U is called an '''antiunitary operator'''.
 
Antiunitary operators are important in Quantum Theory because they are used to represent certain symmetries, such as [[T-symmetry#Time_reversal_in_quantum_mechanics|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 <math> H </math> leave the absolute value of scalar product invariant:
 
:<math> |\langle Tx, Ty \rangle| =|\langle x, y \rangle|</math>
 
for all <math>x</math> and <math>y</math> in <math>H</math>.
Due to [[Wigner's Theorem]] these transformations fall into two categories, they can be [[Unitary_operator|unitary]] or antiunitary.
 
===Geometric Interpretation===
 
[[Congruence_(geometry)|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==
*<math> \langle Ux, Uy \rangle = \overline{\langle x, y \rangle} = \langle y, x \rangle </math> holds for all elements <math> x, y </math> of the Hilbert space and an antiunitary <math> U </math>.
*When <math> U </math> is antiunitary then <math> U^2 </math> is unitary. This follows from
:<math>\langle U^2x, U^2y \rangle = \overline{\langle Uy, Ux \rangle} = \langle x, y \rangle .</math>
*For unitary operator <math> V </math> the operator <math> VK </math>, where <math> K </math> is complex conjugate operator, is antiunitary. The reverse is also true, for antiunitary <math> U </math> the operator <math> UK </math> is unitary.
*For antiunitary <math> U </math> the definition of the [[Hermitian_adjoint#Adjoints_of_antilinear_operators|adjoint]] operator <math> U^*</math> is changed into
:<math>\langle U^* x,y\rangle=\overline{\langle x,Uy\rangle}</math>.
* The adjoint of an antiunitary <math>U</math> is also antiunitary and
:<math> U U^* = U^* U = 1. </math> (This is not to be confused with the definition of [[Unitary_operator|unitary operators]], as <math> U </math> is not linear.)
 
==Examples==
*The complex conjugate operator <math> K, K z = \overline{z}, </math> is an antiunitary operator on the complex plane.
*The operator
:<math>
U = \sigma_y k =
\begin{pmatrix}
0&-i\\
i&0
\end{pmatrix} K,
</math>
where <math> \sigma_y </math> is the second [[Pauli_matrices|Pauli matrix]] and <math> K </math> is the complex conjugate operator, is an antiunitary. It satisfies <math> U^2 = -1 </math>.
 
==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 <math>W_\theta</math>, <math>0\le\theta\le\pi</math>. The operator <math>W_0:C\rightarrow C</math> is just simple complex conjugation on C
 
:<math>W_0(z)=\overline{z}\,</math>
 
For <math>0<\theta\le\pi</math>, the operation <math>W_\theta</math> acts on two-dimensional complex Hilbert space. It is defined by
 
:<math>W_\theta((z_1,z_2)) = (e^{i\theta/2} \overline{z_2}, e^{-i\theta/2}\overline{z_1}). \, </math>
 
Note that for <math>0<\theta\le\pi</math>
 
:<math>W_\theta(W_\theta((z_1,z_2)))=(e^{i\theta}z_1,e^{-i\theta}z_2),\,</math>
 
so such <math>W_\theta</math> may not be further decomposed into <math>W_0</math>'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==
<references/>
*Wigner, E. "Normal Form of Antiunitary Operators", Journal of Mathematical Physics Vol 1, no 5, 1960, pp. 409&ndash;412
*Wigner, E. "Phenomenological Distinction between Unitary and Antiunitary Symmetry Operators", Journal of Mathematical Physics Vol1, no5, 1960, pp.414&ndash;416
 
==See also==
*[[Unitary operator]]
*[[Wigner's Theorem]]
*[[Particle physics and representation theory]]
 
[[Category:Linear algebra]]
[[Category:Functional analysis]]

Revision as of 07:01, 16 January 2014

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

U:H1H2

between two complex Hilbert spaces such that

Ux,Uy=x,y

for all x and y in H1, where the horizontal bar represents the complex conjugate. If additionally one has H1=H2 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:

|Tx,Ty|=|x,y|

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

U2x,U2y=Uy,Ux=x,y.
  • For unitary operator V the operator VK, where K is complex conjugate operator, is antiunitary. The reverse is also true, for antiunitary U the operator UK is unitary.
  • For antiunitary U the definition of the adjoint operator U* is changed into
U*x,y=x,Uy.
  • The adjoint of an antiunitary U is also antiunitary and
UU*=U*U=1. (This is not to be confused with the definition of unitary operators, as U is not linear.)

Examples

  • The complex conjugate operator K,Kz=z, is an antiunitary operator on the complex plane.
  • The operator
U=σyk=(0ii0)K,

where σy is the second Pauli matrix and K is the complex conjugate operator, is an antiunitary. It satisfies U2=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θ, 0θπ. The operator W0:CC is just simple complex conjugation on C

W0(z)=z

For 0<θπ, the operation Wθ acts on two-dimensional complex Hilbert space. It is defined by

Wθ((z1,z2))=(eiθ/2z2,eiθ/2z1).

Note that for 0<θπ

Wθ(Wθ((z1,z2)))=(eiθz1,eiθz2),

so such Wθ may not be further decomposed into W0'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

  • Wigner, E. "Normal Form of Antiunitary Operators", Journal of Mathematical Physics Vol 1, no 5, 1960, pp. 409–412
  • Wigner, E. "Phenomenological Distinction between Unitary and Antiunitary Symmetry Operators", Journal of Mathematical Physics Vol1, no5, 1960, pp.414–416

See also