Creation and annihilation operators

Last updated

Creation operators and annihilation operators are mathematical operators that have widespread applications in quantum mechanics, notably in the study of quantum harmonic oscillators and many-particle systems. [1] An annihilation operator (usually denoted ) lowers the number of particles in a given state by one. A creation operator (usually denoted ) increases the number of particles in a given state by one, and it is the adjoint of the annihilation operator. In many subfields of physics and chemistry, the use of these operators instead of wavefunctions is known as second quantization. They were introduced by Paul Dirac. [2]

Contents

Creation and annihilation operators can act on states of various types of particles. For example, in quantum chemistry and many-body theory the creation and annihilation operators often act on electron states. They can also refer specifically to the ladder operators for the quantum harmonic oscillator. In the latter case, the raising operator is interpreted as a creation operator, adding a quantum of energy to the oscillator system (similarly for the lowering operator). They can be used to represent phonons. Constructing Hamiltonians using these operators has the advantage that the theory automatically satisfies the cluster decomposition theorem. [3]

The mathematics for the creation and annihilation operators for bosons is the same as for the ladder operators of the quantum harmonic oscillator. [4] For example, the commutator of the creation and annihilation operators that are associated with the same boson state equals one, while all other commutators vanish. However, for fermions the mathematics is different, involving anticommutators instead of commutators. [5]

Ladder operators for the quantum harmonic oscillator

In the context of the quantum harmonic oscillator, one reinterprets the ladder operators as creation and annihilation operators, adding or subtracting fixed quanta of energy to the oscillator system.

Creation/annihilation operators are different for bosons (integer spin) and fermions (half-integer spin). This is because their wavefunctions have different symmetry properties.

First consider the simpler bosonic case of the photons of the quantum harmonic oscillator. Start with the Schrödinger equation for the one-dimensional time independent quantum harmonic oscillator,

Make a coordinate substitution to nondimensionalize the differential equation

The Schrödinger equation for the oscillator becomes

Note that the quantity is the same energy as that found for light quanta and that the parenthesis in the Hamiltonian can be written as

The last two terms can be simplified by considering their effect on an arbitrary differentiable function

which implies,

coinciding with the usual canonical commutation relation , in position space representation: .

Therefore,

and the Schrödinger equation for the oscillator becomes, with substitution of the above and rearrangement of the factor of 1/2,

If one defines

as the "creation operator" or the "raising operator" and

as the "annihilation operator" or the "lowering operator", the Schrödinger equation for the oscillator reduces to

This is significantly simpler than the original form. Further simplifications of this equation enable one to derive all the properties listed above thus far.

Letting , where is the nondimensionalized momentum operator one has

and

Note that these imply

The operators and may be contrasted to normal operators, which commute with their adjoints. [nb 1]

Using the commutation relations given above, the Hamiltonian operator can be expressed as

One may compute the commutation relations between the and operators and the Hamiltonian: [6]

These relations can be used to easily find all the energy eigenstates of the quantum harmonic oscillator as follows.

Assuming that is an eigenstate of the Hamiltonian . Using these commutation relations, it follows that [6]

This shows that and are also eigenstates of the Hamiltonian, with eigenvalues and respectively. This identifies the operators and as "lowering" and "raising" operators between adjacent eigenstates. The energy difference between adjacent eigenstates is .

The ground state can be found by assuming that the lowering operator possesses a nontrivial kernel: with . Applying the Hamiltonian to the ground state,

So is an eigenfunction of the Hamiltonian.

This gives the ground state energy , which allows one to identify the energy eigenvalue of any eigenstate as [6]

Furthermore, it turns out that the first-mentioned operator in (*), the number operator plays the most important role in applications, while the second one, can simply be replaced by .

Consequently,

The time-evolution operator is then

Explicit eigenfunctions

The ground state of the quantum harmonic oscillator can be found by imposing the condition that

Written out as a differential equation, the wavefunction satisfies

with the solution

The normalization constant C is found to be from ,  using the Gaussian integral. Explicit formulas for all the eigenfunctions can now be found by repeated application of to . [7]

Matrix representation

The matrix expression of the creation and annihilation operators of the quantum harmonic oscillator with respect to the above orthonormal basis is

These can be obtained via the relationships and . The eigenvectors are those of the quantum harmonic oscillator, and are sometimes called the "number basis".

Generalized creation and annihilation operators

Thanks to representation theory and C*-algebras the operators derived above are actually a specific instance of a more generalized notion of creation and annihilation operators in the context of CCR and CAR algebras. Mathematically and even more generally ladder operators can be understood in the context of a root system of a semisimple Lie group and the associated semisimple Lie algebra without the need of realizing the representation as operators on a functional Hilbert space. [8]

In the hilbert space representation case the operators are constructed as follows: Let be a one-particle Hilbert space (that is, any Hilbert space, viewed as representing the state of a single particle). The (bosonic) CCR algebra over is the algebra-with-conjugation-operator (called *) abstractly generated by elements , where ranges freely over , subject to the relations

in bra–ket notation.

The map from to the bosonic CCR algebra is required to be complex antilinear (this adds more relations). Its adjoint is , and the map is complex linear in H. Thus embeds as a complex vector subspace of its own CCR algebra. In a representation of this algebra, the element will be realized as an annihilation operator, and as a creation operator.

In general, the CCR algebra is infinite dimensional. If we take a Banach space completion, it becomes a C*-algebra. The CCR algebra over is closely related to, but not identical to, a Weyl algebra.[ clarification needed ]

For fermions, the (fermionic) CAR algebra over is constructed similarly, but using anticommutator relations instead, namely

The CAR algebra is finite dimensional only if is finite dimensional. If we take a Banach space completion (only necessary in the infinite dimensional case), it becomes a algebra. The CAR algebra is closely related, but not identical to, a Clifford algebra. [ clarification needed ]

Physically speaking, removes (i.e. annihilates) a particle in the state whereas creates a particle in the state .

The free field vacuum state is the state with no particles, characterized by

If is normalized so that , then gives the number of particles in the state .

Creation and annihilation operators for reaction-diffusion equations

The annihilation and creation operator description has also been useful to analyze classical reaction diffusion equations, such as the situation when a gas of molecules diffuse and interact on contact, forming an inert product: . To see how this kind of reaction can be described by the annihilation and creation operator formalism, consider particles at a site i on a one dimensional lattice. Each particle moves to the right or left with a certain probability, and each pair of particles at the same site annihilates each other with a certain other probability.

The probability that one particle leaves the site during the short time period dt is proportional to , let us say a probability to hop left and to hop right. All particles will stay put with a probability . (Since dt is so short, the probability that two or more will leave during dt is very small and will be ignored.)

We can now describe the occupation of particles on the lattice as a 'ket' of the form . It represents the juxtaposition (or conjunction, or tensor product) of the number states , located at the individual sites of the lattice. Recall that

and

for all n ≥ 0, while

This definition of the operators will now be changed to accommodate the "non-quantum" nature of this problem and we shall use the following definition: [9]

note that even though the behavior of the operators on the kets has been modified, these operators still obey the commutation relation

Now define so that it applies to . Correspondingly, define as applying to . Thus, for example, the net effect of is to move a particle from the -th to the i-th site while multiplying with the appropriate factor.

This allows writing the pure diffusive behavior of the particles as

The reaction term can be deduced by noting that particles can interact in different ways, so that the probability that a pair annihilates is , yielding a term

where number state n is replaced by number state n − 2 at site at a certain rate.

Thus the state evolves by

Other kinds of interactions can be included in a similar manner.

This kind of notation allows the use of quantum field theoretic techniques to be used in the analysis of reaction diffusion systems. [10]

Creation and annihilation operators in quantum field theories

In quantum field theories and many-body problems one works with creation and annihilation operators of quantum states, and . These operators change the eigenvalues of the number operator,

by one, in analogy to the harmonic oscillator. The indices (such as ) represent quantum numbers that label the single-particle states of the system; hence, they are not necessarily single numbers. For example, a tuple of quantum numbers is used to label states in the hydrogen atom.

The commutation relations of creation and annihilation operators in a multiple-boson system are,

where is the commutator and is the Kronecker delta.

For fermions, the commutator is replaced by the anticommutator ,

Therefore, exchanging disjoint (i.e. ) operators in a product of creation or annihilation operators will reverse the sign in fermion systems, but not in boson systems.

If the states labelled by i are an orthonormal basis of a Hilbert space H, then the result of this construction coincides with the CCR algebra and CAR algebra construction in the previous section but one. If they represent "eigenvectors" corresponding to the continuous spectrum of some operator, as for unbound particles in QFT, then the interpretation is more subtle.

Normalization

While Zee [11] obtains the momentum space normalization via the symmetric convention for Fourier transforms, Tong [12] and Peskin & Schroeder [13] use the common asymmetric convention to obtain . Each derives .

Srednicki additionally merges the Lorentz-invariant measure into his asymmetric Fourier measure, , yielding . [14]

See also

Notes

  1. A normal operator has a representation A= B + i C, where B,C are self-adjoint and commute, i.e. . By contrast, a has the representation where are self-adjoint but . Then B and C have a common set of eigenfunctions (and are simultaneously diagonalizable), whereas p and q famously don't and aren't.

Related Research Articles

In quantum mechanics, the Hamiltonian of a system is an operator corresponding to the total energy of that system, including both kinetic energy and potential energy. Its spectrum, the system's energy spectrum or its set of energy eigenvalues, is the set of possible outcomes obtainable from a measurement of the system's total energy. Due to its close relation to the energy spectrum and time-evolution of a system, it is of fundamental importance in most formulations of quantum theory.

<span class="mw-page-title-main">Uncertainty principle</span> Foundational principle in quantum physics

The uncertainty principle, also known as Heisenberg's indeterminacy principle, is a fundamental concept in quantum mechanics. It states that there is a limit to the precision with which certain pairs of physical properties, such as position and momentum, can be simultaneously known. In other words, the more accurately one property is measured, the less accurately the other property can be known.

<span class="mw-page-title-main">Quantum harmonic oscillator</span> Important, well-understood quantum mechanical model

The quantum harmonic oscillator is the quantum-mechanical analog of the classical harmonic oscillator. Because an arbitrary smooth potential can usually be approximated as a harmonic potential at the vicinity of a stable equilibrium point, it is one of the most important model systems in quantum mechanics. Furthermore, it is one of the few quantum-mechanical systems for which an exact, analytical solution is known.

<span class="mw-page-title-main">Schrödinger equation</span> Description of a quantum-mechanical system

The Schrödinger equation is a linear partial differential equation that governs the wave function of a quantum-mechanical system. Its discovery was a significant landmark in the development of quantum mechanics. It is named after Erwin Schrödinger, who postulated the equation in 1925 and published it in 1926, forming the basis for the work that resulted in his Nobel Prize in Physics in 1933.

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 harmonic oscillator. It was the first example of quantum dynamics when Erwin Schrödinger derived it in 1926, while searching for solutions of the Schrödinger equation that satisfy the correspondence principle. The quantum harmonic oscillator arise in the quantum theory of a wide range of physical systems. For instance, a coherent state describes the oscillating motion of a particle confined in a quadratic potential well. The coherent state describes a state in a system for which the ground-state wavepacket is displaced from the origin of the system. This state can be related to classical solutions by a particle oscillating with an amplitude equivalent to the displacement.

In physics, the Heisenberg picture or Heisenberg representation is a formulation of quantum mechanics in which the operators incorporate a dependency on time, but the state vectors are time-independent, an arbitrary fixed basis rigidly underlying the theory.

<span class="mw-page-title-main">Canonical quantization</span> Process of converting a classical physical theory into one compatible with quantum mechanics

In physics, canonical quantization is a procedure for quantizing a classical theory, while attempting to preserve the formal structure, such as symmetries, of the classical theory to the greatest extent possible.

In quantum physics, Fermi's golden rule is a formula that describes the transition rate from one energy eigenstate of a quantum system to a group of energy eigenstates in a continuum, as a result of a weak perturbation. This transition rate is effectively independent of time and is proportional to the strength of the coupling between the initial and final states of the system as well as the density of states. It is also applicable when the final state is discrete, i.e. it is not part of a continuum, if there is some decoherence in the process, like relaxation or collision of the atoms, or like noise in the perturbation, in which case the density of states is replaced by the reciprocal of the decoherence bandwidth.

In theoretical physics, supersymmetric quantum mechanics is an area of research where supersymmetry are applied to the simpler setting of plain quantum mechanics, rather than quantum field theory. Supersymmetric quantum mechanics has found applications outside of high-energy physics, such as providing new methods to solve quantum mechanical problems, providing useful extensions to the WKB approximation, and statistical mechanics.

<span class="mw-page-title-main">Two-state quantum system</span> Simple quantum mechanical system

In quantum mechanics, a two-state system is a quantum system that can exist in any quantum superposition of two independent quantum states. The Hilbert space describing such a system is two-dimensional. Therefore, a complete basis spanning the space will consist of two independent states. Any two-state system can also be seen as a qubit.

<span class="mw-page-title-main">Jaynes–Cummings model</span> Model in quantum optics

The Jaynes–Cummings model is a theoretical model in quantum optics. It describes the system of a two-level atom interacting with a quantized mode of an optical cavity, with or without the presence of light. It was originally developed to study the interaction of atoms with the quantized electromagnetic field in order to investigate the phenomena of spontaneous emission and absorption of photons in a cavity.

In quantum mechanics, the energies of cyclotron orbits of charged particles in a uniform magnetic field are quantized to discrete values, called Landau levels. These levels are degenerate, with the number of electrons per level directly proportional to the strength of the applied magnetic field. It is named after the Soviet physicist Lev Landau.

Photon polarization is the quantum mechanical description of the classical polarized sinusoidal plane electromagnetic wave. An individual photon can be described as having right or left circular polarization, or a superposition of the two. Equivalently, a photon can be described as having horizontal or vertical linear polarization, or a superposition of the two.

The theoretical and experimental justification for the Schrödinger equation motivates the discovery of the Schrödinger equation, the equation that describes the dynamics of nonrelativistic particles. The motivation uses photons, which are relativistic particles with dynamics described by Maxwell's equations, as an analogue for all types of particles.

In quantum mechanics and quantum field theory, a Schrödinger field, named after Erwin Schrödinger, is a quantum field which obeys the Schrödinger equation. While any situation described by a Schrödinger field can also be described by a many-body Schrödinger equation for identical particles, the field theory is more suitable for situations where the particle number changes.

In linear algebra, a raising or lowering operator is an operator that increases or decreases the eigenvalue of another operator. In quantum mechanics, the raising operator is sometimes called the creation operator, and the lowering operator the annihilation operator. Well-known applications of ladder operators in quantum mechanics are in the formalisms of the quantum harmonic oscillator and angular momentum.

An LC circuit can be quantized using the same methods as for the quantum harmonic oscillator. An LC circuit is a variety of resonant circuit, and consists of an inductor, represented by the letter L, and a capacitor, represented by the letter C. When connected together, an electric current can alternate between them at the circuit's resonant frequency:

In pure and applied mathematics, quantum mechanics and computer graphics, a tensor operator generalizes the notion of operators which are scalars and vectors. A special class of these are spherical tensor operators which apply the notion of the spherical basis and spherical harmonics. The spherical basis closely relates to the description of angular momentum in quantum mechanics and spherical harmonic functions. The coordinate-free generalization of a tensor operator is known as a representation operator.

In quantum mechanics, dynamical pictures are the multiple equivalent ways to mathematically formulate the dynamics of a quantum system.

In quantum mechanics, the Schrödinger equation describes how a system changes with time. It does this by relating changes in the state of the system to the energy in the system. Therefore, once the Hamiltonian is known, the time dynamics are in principle known. All that remains is to plug the Hamiltonian into the Schrödinger equation and solve for the system state as a function of time.

References

  1. Feynman 1998 , p. 151
  2. Dirac, P. A. M. (1927). "The quantum theory of the emission and absorption of radiation", Proc Roy Soc London Ser A, 114 (767), 243-265.
  3. Weinberg, Steven (1995). "4". The Quantum Theory of Fields Volume 1. Cambridge University Press. p. 169. ISBN   9780521670531.
  4. Feynman 1998 , p. 167
  5. Feynman 1998 , pp. 174–5
  6. 1 2 3 Branson, Jim. "Quantum Physics at UCSD" . Retrieved 16 May 2012.
  7. This, and further operator formalism, can be found in Glimm and Jaffe, Quantum Physics, pp. 12–20.
  8. Harris, Fulton, Representation Theory pp. 164
  9. Pruessner, Gunnar. "Analysis of Reaction-Diffusion Processes by Field Theoretic Methods" (PDF). Retrieved 31 May 2021.
  10. Baez, John Carlos (2011). Network theory (blog post series; first post). Later adapted into Baez, John Carlos; Biamonte, Jacob D. (April 2018). Quantum Techniques in Stochastic Mechanics. doi:10.1142/10623.
  11. Zee, A. (2003). Quantum field theory in a nutshell. Princeton University Press. p. 63. ISBN   978-0691010199.
  12. Tong, David (2007). Quantum Field Theory. p. 24,31. Retrieved 3 December 2019.
  13. Peskin, M.; Schroeder, D. (1995). An Introduction to Quantum Field Theory. Westview Press. ISBN   978-0-201-50397-5.
  14. Srednicki, Mark (2007). Quantum field theory. Cambridge University Press. pp. 39, 41. ISBN   978-0521-8644-97 . Retrieved 3 December 2019.