Holstein–Primakoff transformation explained

In quantum mechanics, the Holstein–Primakoff transformation is a mapping from boson creation and annihilation operators to the spin operators, effectively truncating their infinite-dimensional Fock space to finite-dimensional subspaces.

One important aspect of quantum mechanics is the occurrence of—in general—non-commuting operators which represent observables, quantities that can be measured.A standard example of a set of such operators are the three components of the angular momentum operators, which are crucial in many quantum systems.These operators are complicated, and one would like to find a simpler representation, which can be used to generate approximate calculational schemes.

The transformation was developed[1] in 1940 by Theodore Holstein, a graduate student at the time,[2] and Henry Primakoff. This method has found widespread applicability and has been extended in many different directions.

There is a close link to other methods of boson mapping of operator algebras: in particular, the (non-Hermitian) Dyson–Maleev[3] [4] technique, and to a lesser extent the Jordan - Schwinger map.[5] There is, furthermore, a close link to the theory of (generalized) coherent states in Lie algebras.

Description

The basic idea can be illustrated for the basic example of spin operators of quantum mechanics.

For any set of right-handed orthogonal axes, define the components of this vector operator as

Sx

,

Sy

and

Sz

, which are mutually noncommuting, i.e.,

\left[Sx,Sy\right]=i\hbarSz

and its cyclic permutations.

S2

and

Sz

, which leads tostates with the quantum numbers

\left|s,ms\right\rangle

,
2
S
s\right\rangle=\hbar

s(s+1)\left|s,ms\right\rangle,

Sz\left|s,ms\right\rangle=\hbarms\left|s,ms\right\rangle.

The projection quantum number

ms

takes on all the values

(-s,-s+1,\ldots,s-1,s)

.

Consider a single particle of spin (i.e., look at a single irreducible representation of SU(2)). Now take the state with maximal projection

\left|s,ms=+s\right\rangle

, the extremal weight state as a vacuum for a set of boson operators, and each subsequent state with lower projection quantum number as a boson excitation of the previous one,

\left|s,s-n\right\rangle\mapsto

1
\sqrt{n!
}\left(a^\dagger\right)^n|0\rangle_B ~.

Each additional boson then corresponds to a decrease of in the spin projection. Thus, the spin raising and lowering operators

S+=Sx+iSy

and

S-=Sx-iSy

, so that

[S+,S-]=2\hbarSz

, correspond (in the sense detailed below) to the bosonic annihilation and creation operators, respectively.The precise relations between the operators must be chosen to ensure the correct commutation relations for the spin operators, such that they act on a finite-dimensional space, unlike the original Fock space.

The resulting Holstein–Primakoff transformation can be written asThe transformation is particularly useful in the case where is large, when the square roots can be expanded as Taylor series, to give an expansion in decreasing powers of .

Alternatively to a Taylor expansion there has been recent progress [6] [7] with a resummation of the series that made expressions possible that are polynomial in bosonic operators but still mathematically exact (on the physical subspace). The first method develops a resummation method [6] that is exact for spin

s=1/2

, while the latter[7] employs a Newton series (a finite difference) expansion with an identical result, as shown below

While the expression above is not exact for spins higher than 1/2 it is an improvement over the Taylor series. Exact expressions also exist for higher spins and include

2s+1

terms. Much like the result above also for the expressions of higher spins

S+=

\dagger
S
-
and therefore the resummation is hermitian.

There also exists a non-Hermitian Dyson–Maleev (by Freeman Dyson and S.V. Maleev) variant realization J is related to the above and valid for all spins,

J+=\hbara~,    J-=S-~\sqrt{2s-a\daggera}=\hbara\dagger(2s-a\daggera)~,    Jz=Sz=\hbar(s-a\daggera)~,

satisfying the same commutation relations and characterized by the same Casimir invariant.

The technique can be further extended to the Witt algebra,[8] which is the centerless Virasoro algebra.

See also

Notes and References

  1. Holstein . T. . Primakoff . H. . Henry Primakoff. Field Dependence of the Intrinsic Domain Magnetization of a Ferromagnet . Physical Review . American Physical Society (APS) . 58 . 12 . 1940-12-15 . 0031-899X . 10.1103/physrev.58.1098 . 1098–1113. 1940PhRv...58.1098H .
  2. Web site: Theodore D. Holstein, Physics: Los Angeles. University of California. 23 December 2015.
  3. Klein . Abraham . Marshalek . E. R. . Boson realizations of Lie algebras with applications to nuclear physics . Reviews of Modern Physics . American Physical Society (APS) . 63 . 2 . 1991-04-01 . 0034-6861 . 10.1103/revmodphys.63.375 . 375–558. 1991RvMP...63..375K .
  4. This Week's Citation Classic by F. J. Dyson, August 4, 1986. Current Contents. 8 Sep 1986. 36. 16.
  5. [Julian Schwinger|Schwinger, J.]
  6. Vogl . Michael . Laurell . Pontus . Zhang . Hao . Okamoto . Satoshi . Fiete . Gregory A. . Resummation of the Holstein-Primakoff expansion and differential equation approach to operator square roots . Physical Review Research . American Physical Society (APS) . 2 . 4 . 2020-11-17 . 2643-1564 . 10.1103/physrevresearch.2.043243 . 043243. 2006.06871 . 2020PhRvR...2d3243V . 219635834 . free .
  7. König . Jürgen . Hucht . Alfred . Newton series expansion of bosonic operator functions . SciPost Physics . Stichting SciPost . 10 . 1 . 2021-01-13 . 2542-4653 . 10.21468/scipostphys.10.1.007 . 007. 2008.11139 . 2021ScPP...10....7K . 221293056 . free .
  8. Fairlie . D.B. . David Fairlie. Nuyts . J. . Zachos . C.K. . Construction of classical Virasoro algebras as SU(1,1) extensions . Physics Letters B . Elsevier BV . 202 . 3 . 1988 . 0370-2693 . 10.1016/0370-2693(88)90478-9 . 320–324. 1988PhLB..202..320F .