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.
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:
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
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
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 .
The operators derived above are actually a specific instance of a more generalized notion of creation and annihilation operators. The more abstract form of 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
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.
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.
Physically speaking, removes (i.e. annihilates) a particle in the state whereas creates a particle in the state .
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
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:
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.
Creation and annihilation operators in quantum field theories
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,
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.
^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.
^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.
^Zee, A. (2003). Quantum field theory in a nutshell. Princeton University Press. p. 63. ISBN978-0691010199.