In theoretical physics, the Jordan map, often also called the Jordan–Schwinger map is a map from matrices to bilinear expressions of quantum oscillators which expedites computation of representations of Lie algebras occurring in physics. It was introduced by Pascual Jordan in 1935[1] and was utilized by Julian Schwinger[2] in 1952 to re-work out the theory of quantum angular momentum efficiently, given that map’s ease of organizing the (symmetric) representations of su(2) in Fock space.
\dagger | |
a | |
i |
a | |
i |
[a | |
i, |
\dagger | |
a | |
j] |
\equiv
a | |
i |
\dagger | |
a | |
j |
-
a | |
i |
=\deltai,
\dagger | |
[a | |
i, |
\dagger | |
a | |
j] |
=
[a | |
i, |
a | |
j] |
=0,
[ , ]
\deltai
These operators change the eigenvalues of the number operator,
N=\sumini=\sumi
\dagger | |
a | |
i |
a | |
i |
The Jordan map from a set of matrices to Fock space bilinear operators,
{M} \longmapsto M\equiv\sumi,j
\dagger | |
a | |
i |
{M}ijaj~,
For example, the image of the Pauli matrices of SU(2) in this map,
{\vecJ}\equiv{a}\dagger ⋅
\vec\sigma | |
2 |
⋅ {a}~,
J2\equiv{\vecJ} ⋅ {\vecJ}=
N | |
2 |
\left(
N | |
2 |
+1\right).
This is the starting point of Schwinger’s treatment of the theory of quantum angular momentum, predicated on the action of these operators on Fock states built of arbitrary higher powers of such operators. For instance, acting on an (unnormalized) Fock eigenstate,
J2~
\daggerk | |
a | |
1 |
\daggern | |
a | |
2 |
|0\rangle=
k+n | |
2 |
\left(
k+n | |
2 |
+1\right)~
\daggerk | |
a | |
1 |
\daggern | |
a | |
2 |
|0\rangle~,
Jz~
\daggerk | |
a | |
1 |
\daggern | |
a | |
2 |
|0\rangle=
1 | |
2 |
\left(k-n\right)
\daggerk | |
a | |
1 |
\daggern | |
a | |
2 |
|0\rangle~,
Observe
J+=
\dagger | |
a | |
1 |
a2
J-=
\dagger | |
a | |
2 |
a1
Jz=
\dagger | |
(a | |
1 |
a1-
\dagger | |
a | |
2 |
a2)/2
Antisymmetric representations of Lie algebras can further be accommodated by use of the fermionic operators
\dagger | |
b | |
i |
b | |
i |
\{ , \}
\{b | |
i, |
\dagger | |
b | |
j\} |
\equiv
b | |
i |
\dagger | |
b | |
j |
\dagger | |
+b | |
j |
b | |
i |
=\deltai,
\dagger | |
\{b | |
i, |
\dagger | |
b | |
j\} |
=
\{b | |
i, |
b | |
j\} |
=0.
i\nej