(Redirected from Annihilation operator)
In
physics, an 'annihilation operator' is an
operator that lowers the number of particles in a given state by one.
A 'creation operator' is an operator that increases the number of particles in a given state by one, and it is the
adjoint of the annihilation operator. Depending on the context, the identity of the particles in question varies; for example, in
quantum chemistry and
many-body theory the creation and annihilation operators often act on
electrons.
Annihilation and creation operators 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. In many subfields of
physics and
chemistry, the use of these operators instead of
wavefunctions is known as
second quantization.
The
mathematics behind the creation and the annihilation operators is identical as the formulae for ladder operators that appear in the
quantum harmonic oscillator. For example, the
commutator of the annihilation and the creation operator associated with the same state equals one; all other commutators vanish.
While the concept of creation and annihilation operators is well defined for
free field theories, in interacting QFTs, they can only be defined in the
interaction picture, which does not exist according to
Haag's theorem.
Derivation of bosonic creation and annihilation operators
In the context of the quantum harmonic oscillator, we reinterpret 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.
Suppose the wavefunctions are dependent on N properties. Then
:For bosons: ψ(1,2,3,4,...''N'') = ψ('2','1',3,4,...''N'')
:For fermions: ψ(1,2,3,4,...''N'') = '-'ψ('2','1',3,4,...''N'')
For now let's just consider the case of bosons because fermions are more complicated.
Start with the
Schrödinger equation for the one dimensional time independent
quantum harmonic oscillator
:
Make a coordinate substitution to
nondimensionalize the differential equation
:
.
and the Schrödinger equation for the oscillator becomes
:
.
Notice that the quantity ħω = ''h''ν 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 in that equation form the
commutator of ''q'' with its derivative. So let's calculate that commutator [ ''q'', ∂/∂''q'' ]
:
In other words
[ ''q'', ''d''/''dq'' ] = - 1 or [ ''d''/''dq'', ''q'' ] = 1.
Therefore
:
If we define
:
as the "creation operator" or the "raising operator" and
:
as the "annihilation operator" or the "lowering operator"
the Hamiltonian becomes
:
.
This Hamiltonian is ''significantly'' simpler than the original form. Further simplifications of this equation enables one to derive all the properties listed above thus far.
Letting ''p'' = - i ''d''/''dq'', where ''p'' is the nondimensionalized
momentum operator
:
:
.
Applications
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
:
which has the solution
:
The normalization constant ''C'' can be found by noting that the integral of
over all ''q'' must equal 1 for the wavefunction.
Matrix representation
The matrix counterparts of the creation and annihilation operators obtained from the quantum harmonic oscillator model are
:
:
Substituting backwards, the laddering operators are recovered. They can be obtained via the relationships
and
. The wavefunctions are those of the quantum harmonic oscillator, and are sometimes called the "number basis".
Mathematical details
The operators derived above are actually a specific instance of a more generalized class of creation and annihilation operators. The more abstract form of the operators satisfy the properties below.
Let ''H'' be the one-particle
Hilbert space. To get the
bosonic
CCR algebra, look at the algebra generated by ''a''(''f'') for any ''f'' in ''H''. The operator ''a''(''f'') is called an annihilation operator and the map ''a''(.) is
antilinear. Its
adjoint is ''a''
†(''f'') which is
linear in ''H''.
For a boson,
:
:
,
where we are using
bra-ket notation.
For a fermion, the
anticommutators are
:
:
.
A
CAR algebra.
Physically speaking, ''a''(''f'') removes (i.e. annihilates) a particle in the state |''f''> wheareas ''a''
†(''f'') creates a particle in the state |''f''>.
The
free field vacuum state is the state with no particles. In other words,
:
where |0> is the vacuum state.
If |''f''> is normalized so that <''f''|''f''>=1, then ''a''
†(''f'') ''a''(''f'') gives the number of particles in the state |''f''>.
Note that the creation and annihilation operators are "generalized complex conjugates" of each other. Usually, the notation is chosen in such a way that the ''a''
†(''f'') is the creation operator, and ''a''(''f'') is the annihilation operator. The
† reminds us that something "extra" is being added to the system. The topic can be misleadingly confusing if this is not done.
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 sitation 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
on a 1-d lattice. Each particle diffuses independently, so that the probability that one of them leaves the site for short times
is proportional to
, say
to hop left and
to hop left.All
particles will stay put with a probability
.
We can now describe the occupation of particles on the lattice as a `ket' of the form
. A slight modification of the annihilation and creation operators is needed so that
and
. This modification preserves the commutation relation
, but allows us to write the pure diffusive behaviour of the particles as
The reaction term can be deduced by noting than
particles can interact
different ways, so that the probability that a pair annihilate is
and the probability that no pair annihilates is
leaving us with a term
yielding
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.
Notational caveats and considerations
In quantum mechanics, Dirac bra-ket notation is often used. However, there is some ambiguity in this notation, particularly when there is the need to differentiate between these things:
★ The lowest energy state
★ The zero state
★ The vacuum state
★ The zero ''ket''
Often, these are all interchangeably notated as |0>, or even | >. As a result, it is necessary to read carefully, and consider the context in which the notation is used.
For example, in the quantum harmonic oscillator, the ground state has the property that when the annihilation operator b is applied to it, it satisfies
b|0> = 0| > = 0
The intermediate step is rarely indicated as it is considered necessary only when more conceptual/mathematical rigour is needed.
In this example, the lowest energy state is denoted as |0>. It is ''labeled'' as the "zero state", but it is important to emphasize that ''any'' state can be labeled as the "zero" state. The zero state is often used as a ''reference state'' to other quantum states. Therefore, the |0> state need not be the state with the absolutely lowest energy. In the case of the harmonic oscillator, it is due to the particulars of the mathematics that the ground state is ''chosen'' to be |0>. The vacuum state is the state where ''no'' quanta is available to be extracted. This special ''null state'' is denoted by | >. This vacuum state is also known as the "zero ket" because there are zero particles in the state. Unfortunately, the lowest energy state |0> is also known as the "zero ket" for the different reason that the state is labeled as "zero". Care must be taken that the four concepts listed above are not mixed together.
Sometimes, the terms "null state" and "empty state" are used interchangeably for |> and |0>. The meaning for this usage is again dependent on the context.
The vacuum state
The vacuum state is a conceptual state which has no particles. The state is ''usually'' denoted as |0>, ''not'' the "empty ket" | >. Interestingly enough, no actual function actually represents the |0> state, but for notational purposes, we define the vacuum state as being normalized such that <0|0> = 1 and that |0> is orthogonal to all other states of the form |''N''>, where ''N'' is any indexing of quantum states for a particular system.
See also
★
Bogoliubov transformations - arises in the theory of quantum optics.