Holstein–Primakoff Transformation
   HOME

TheInfoList



OR:

In
quantum mechanics Quantum mechanics is the fundamental physical Scientific theory, theory that describes the behavior of matter and of light; its unusual characteristics typically occur at and below the scale of atoms. Reprinted, Addison-Wesley, 1989, It is ...
, the Holstein–Primakoff transformation is a mapping from
boson In particle physics, a boson ( ) is a subatomic particle whose spin quantum number has an integer value (0, 1, 2, ...). Bosons form one of the two fundamental classes of subatomic particle, the other being fermions, which have half odd-intege ...
creation and annihilation operators Creation operators and annihilation operators are Operator (mathematics), mathematical operators that have widespread applications in quantum mechanics, notably in the study of quantum harmonic oscillators and many-particle systems. An annihilatio ...
to the
spin Spin or spinning most often refers to: * Spin (physics) or particle spin, a fundamental property of elementary particles * Spin quantum number, a number which defines the value of a particle's spin * Spinning (textiles), the creation of yarn or thr ...
operators Operator may refer to: Mathematics * A symbol indicating a mathematical operation * Logical operator or logical connective in mathematical logic * Operator (mathematics), mapping that acts on elements of a space to produce elements of another ...
, effectively truncating their infinite-dimensional
Fock space The Fock space is an algebraic construction used in quantum mechanics to construct the quantum states space of a variable or unknown number of identical particles from a single particle Hilbert space . It is named after V. A. Fock who first intro ...
to finite-dimensional subspaces. One important aspect of quantum mechanics is the occurrence of—in general— non-commuting
operators Operator may refer to: Mathematics * A symbol indicating a mathematical operation * Logical operator or logical connective in mathematical logic * Operator (mathematics), mapping that acts on elements of a space to produce elements of another ...
which represent
observables In physics, an observable is a physical property or physical quantity that can be measured. In classical mechanics, an observable is a real-valued "function" on the set of all possible system states, e.g., position and momentum. In quantum me ...
, quantities that can be measured. A standard example of a set of such operators are the three components of the
angular momentum Angular momentum (sometimes called moment of momentum or rotational momentum) is the rotational analog of Momentum, linear momentum. It is an important physical quantity because it is a Conservation law, conserved quantity – the total ang ...
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 in 1940 by Theodore Holstein, a graduate student at the time, 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 Dyson may refer to: * Dyson (surname), people with the surname Dyson * Dyson (company), a Singaporean multinational home appliances company founded by James Dyson * Dyson (crater), a crater on the Moon * Dyson (operating system), a Unix general- ...
–Maleev technique, and to a lesser extent the Jordan–Schwinger map. There is, furthermore, a close link to the theory of (generalized)
coherent states In physics, specifically in quantum mechanics, a coherent state is the specific quantum state of the quantum harmonic oscillator, often described as a state that has dynamics most closely resembling the oscillatory behavior of a classical harmo ...
in
Lie algebras In mathematics, a Lie algebra (pronounced ) is a vector space \mathfrak g together with an operation called the Lie bracket, an alternating bilinear map \mathfrak g \times \mathfrak g \rightarrow \mathfrak g, that satisfies the Jacobi identi ...
.


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 A vector operator is a differential operator used in vector calculus. Vector operators include: * Gradient is a vector operator that operates on a scalar field, producing a vector field. * Divergence is a vector operator that operates on a vector ...
as S_x, S_y and S_z, which are mutually noncommuting, i.e., \left _x,S_y\right= i\hbar S_z and its cyclic permutations. In order to uniquely specify the states of a spin, one may diagonalise any set of commuting operators. Normally one uses the SU(2) Casimir operators S^2 and S_z, which leads to states with the
quantum numbers In Quantum mechanics, quantum physics and chemistry, quantum numbers are quantities that characterize the possible states of the system. To fully specify the state of the electron in a hydrogen atom, four quantum numbers are needed. The traditi ...
\left, s,m_s\right\rangle, :S^2\left, s,m_s\right\rangle=\hbar^2 s(s+1) \left, s,m_s\right\rangle, :S_z\left, s,m_s\right\rangle=\hbar m_s\left, s,m_s\right\rangle. The projection quantum number m_s 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 In mathematics, specifically in the representation theory of groups and algebras, an irreducible representation (\rho, V) or irrep of an algebraic structure A is a nonzero representation that has no proper nontrivial subrepresentation (\rho, _W, ...
of SU(2)). Now take the state with maximal projection \left, s,m_s= +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 \frac\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_+= S_x + i S_y and S_- = S_x - i S_y, so that _+,S_-2\hbar S_z, 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 as The transformation is particularly useful in the case where is large, when the square roots can be expanded as
Taylor series In mathematics, the Taylor series or Taylor expansion of a function is an infinite sum of terms that are expressed in terms of the function's derivatives at a single point. For most common functions, the function and the sum of its Taylor ser ...
, to give an expansion in decreasing powers of . Alternatively to a Taylor expansion there has been recent progress with a
resummation In mathematics and theoretical physics, resummation is a procedure to obtain a finite result from a divergent sum (series) of functions. Resummation involves a definition of another (convergent) function in which the individual terms defining the ...
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 that is exact for spin s=1/2, while the latter employs a
Newton series A finite difference is a mathematical expression of the form . Finite differences (or the associated difference quotients) are often used as approximations of derivatives, such as in numerical differentiation. The difference operator, commonly d ...
(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_+ = S_-^\dagger and therefore the resummation is hermitian. There also exists a non-Hermitian Dyson–Maleev (by
Freeman Dyson Freeman John Dyson (15 December 1923 – 28 February 2020) was a British-American theoretical physics, theoretical physicist and mathematician known for his works in quantum field theory, astrophysics, random matrix, random matrices, math ...
and S.V. Maleev) variant realization ''J'' is related to the above and valid for all spins, : J_+ = \hbar \, a ~, \qquad J_-= S_- ~ \sqrt = \hbar a^\dagger\, (2s-a^\dagger a)~, \qquad J_z=S_z = \hbar(s - a^\dagger a) ~, satisfying the same commutation relations and characterized by the same Casimir invariant. The technique can be further extended to the
Witt algebra In mathematics, the complex Witt algebra, named after Ernst Witt, is the Lie algebra of meromorphic vector fields defined on the Riemann sphere that are holomorphic except at two fixed points. It is also the complexification of the Lie algebra ...
, which is the centerless
Virasoro algebra In mathematics, the Virasoro algebra is a complex Lie algebra and the unique nontrivial central extension of the Witt algebra. It is widely used in two-dimensional conformal field theory and in string theory. It is named after Miguel Ángel ...
.


See also

* Spin wave *
Jordan–Wigner transformation The Jordan–Wigner transformation is a transformation that maps spin operators onto fermionic creation and annihilation operators. It was proposed by Pascual Jordan and Eugene Wigner for one-dimensional lattice models, but now two-dimensional a ...
*
Jordan–Schwinger transformation 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 ...
* Bogoliubov–Valatin transformation * Klein transformation


References

{{DEFAULTSORT:Holstein-Primakoff Transformation Quantum mechanics