Quantum Field Theory (QFT) is not a broader or more general framework than Quantum Mechanics (QM); rather, it is a particular case of a quantum mechanical theory. As is well known, QM can be formulated for systems with continuous variables, such as position , or discrete variables, such as spin.
In the case of a continuous variable like position, the state of the system is described by a wavefunction , which is an element of an infinite-dimensional Hilbert space . This Hilbert space is typically spanned by a kind of basis , where represents a specific position in space and is a state of definite position. The state can then be expressed as a linear combination of these basis states:
where the set of values can be interpreted as a complex-valued function assigning an amplitude to each position , hence the function part of the word wavefunction.
For discrete systems, such as the spin of a spin- particle, the Hilbert space is finite-dimensional. Here, the basis states might be and , representing the two possible spin orientations along a chosen axis. The wavefunction in this case takes the form:
where and are complex numbers encoding the probability amplitudes for the spin states. Here the wavefunction is a function with a discrete domain: the set .
In both the continuous and discrete cases, the wavefunction serves as a mathematical object that assigns complex numbers to elements of a basis in , capturing the probabilistic nature of quantum systems.
At this point, we can say that a Quantum Field Theory is, in essence, a quantum mechanical theory in which wavefunctions are defined over classical field configurations—that is, the basis of the Hilbert space consists of such configurations. This perspective is sometimes referred to as the field approach to QFT (see Sean Carroll in this video, and the paper The fundamentality of fields; also the book Understanding quantum mechanics section 11.2.).
Initial setup
In order to be as simple as possible (but no simpler), we will consider a flat spacetime with only one spatial dimension and one temporal dimension, that is, , where . We will call field configuration to any element of the set of all smooth functions
which are often referred to as matter fields. The set will play the role analogous to the set of all possible positions of a particle in QM, which is . That is, their elements are a kind of pure states of the system.
Remark:
More generally, in physical theories, field configurations are often described as sections of fiber bundles rather than simple real-valued functions. This broader perspective naturally leads to gauge theory, where additional geometric structures—such as connections on principal bundles—play a fundamental role. However, in our simplified setting, we restrict attention to real-valued fields to build intuition.
Remark:
It is also worth emphasizing the distinction between the terms field and field configuration. A field, in the physicist’s sense, is a more abstract entity that implicitly includes the choice of an appropriate bundle and the type of sections it admits, so determining a specific set . In contrast, a field configuration is a particular assignment of values to the field at each point in space, that is, a choice . This distinction is somewhat analogous to the difference between the concept of position of a one-dimensional particle, determining a specific set of possible values, , and a particular value .
Then, we consider a quantum system whose Hilbert space consists of the linear combinations of field configurations, i.e., given , we have that the elements of are of the form
where are complex numbers, and are pure states of the system, i.e., states with definite field configurations. This is analogous to the way we represent a state in QM as a linear combination of position eigenstates. The state is a superposition of field configurations, each with a corresponding probability amplitude .
Nevertheless, we will use the notation
to highlight that the coefficients constitute not a function but a functional, since they assign a complex number to each field configuration (a function itself):
Moreover, the linear combination is not over a countable set of basis elements, but over all possible field configurations, so the sum is actually an integral:
where denotes a measure over all field configurations. This is a subtle point that we will not delve into here, but we refer the interested reader to [simon2005functional] for a more detailed discussion.
The squared modulus of the wavefunctional, , gives the probability of measuring the field with precisely the configuration over the whole space. Of course, this measurement does not happen in real life; it is an idealization.
Finally, the inner product between two wavefunctionals and would be something like
Fields promoted to operators
In standard QM for the position of a one-dimensional particle, the variable is promoted to an operator , which acts on the Hilbert space by multiplication. In the case of QFT, we will promote the variable field configurationto an operator-valued function of space.
To better understand this transition, consider first a QM system of three one-dimensional particles, with position labelled as respectively. Instead of representing the particles as points on a line, we can think of them as beads on a horizontal line:
Do not think of the continuous variables as positions on physical space. Instead, assume that we have only three positions, labelled as 1, 2 and 3; and that reflects values of a continuous magnitude happening in a kind of internal space.
The Hilbert space of this quantum system is the tensor product of the Hilbert spaces of each particle, that is,
and we have a kind of basis, usually denoted by
However, instead of this notation, we will use
since it is more suggestive for the generalization to fields.
An element is therefore generically written as
and often is identified with the corresponding function .
Recall that this system counts with three built-in operators: , , and . For instance, the operator
acts on a basis element as follows:
where is the first component of the vector . This action is extended by linearity to any general state vector in . Thus, the action of on a state can be expressed as:
Observe that the input and the output are both functions which depend on the variables , the components of the vector . Also observe that the eigenspace of corresponding to a specific eigenvalue, let's say 4, consists of all states that satisfy:
In terms of wavefunctions, this means:
or otherwise
where is an arbitrary square-integrable function of and , and is the corresponding Dirac delta centered at 4, i.e., . We have then that the eigenspace corresponding to 4 is generated by the basis elements .
From here, we can move on to QFT by substituting by , where denotes field configuration. That is, we have a continuous amount of particles, indexed by instead of , and the quantity under study is denoted by instead of .
This new quantum system has a corresponding Hilbert space , which we can consider to be generated by the elements of the set
in analogy with the previous case. You can think of as the continuum version of ; and corresponds to . So, instead of the discrete case, we now have
for a general element .
And now, we don't have three operators , indexed by ; but a continuous family of operators indexed by . How do they work? Well, given a fixed , we have an operator
such that when applied to the basis vectors it yields
in complete analogy with the discrete case.
Given a general state , identified with the wavefunctional , these operators act as follows
which is similar to the equation for the discrete case.
It is important to emphasize that the input and the output of the operator , for a particular , are functionals which depend on the entire field configuration . In particular, the output depends explicitly on the value of on the specific value , in the same way that the output in the discrete case is a function which depends on the vector and with an additional dependence on the component number of .
Observe also that, for a fixed , the eigenspace of a particular eigenvalue of , let's say 4, is generated by the states
The dynamics
To understand the dynamics of our brand new quantum system we will start, again, with our discrete model of a finite number of particles, as done in \cite{eigenchrisSpinorsForBeginners21}. For example, we may suppose that the three one-dimensional particles of the system from the previous section were connected by springs:
In Classical Mechanics, the Hamiltonian for these three coupled harmonic oscillators, assuming unitary mass, is given by
\label{hamiltonian3beads}
where is the conjugate momentum of , is the spring constant, and is the spring constant of the springs connecting the particles \cite{MERDACI2020126134}.
Recall that the quantized version of this Hamiltonian is given by the operator defined as
\label{tag2}
where and are the operators associated with the conjugate momentum and the displacement of the -th particle, respectively.
Finally, the evolution of an initial state
is given by the time-dependent state
with satisfying the Schr"odinger equation
and initial condition
To move on to QFT, we add to this initial setup more coupled oscillators, a continuous amount of them, as we did in the previous section.
But now, the (still classical) field inherits the dynamics of the particles, so it is governed by a Hamiltonian corresponding to a continuous version of \eqref{hamiltonian3beads}, i.e.,
\label{tag3}
where is the Hamiltonian density given by
Here, is the conjugate momentum associated with , for each . And the term reflects the coupling of each oscillator with its neighbors, in the same way that the term in \eqref{hamiltonian3beads} does.
At this point, we proceed by quantizing \eqref{tag3} to obtain the Hamiltonian operator
\label{tag4}
where the Hamiltonian density operator is given by
This operator is applied to the Hilbert space , whose elements are wavefunctionals of the form \eqref{generalstatefield}. To describe the effect of on a state in , we only have to understand how the operators and act on :
The conjugate momentum operator acts on a wavefunctional analogously to the discrete conjugate momentum acting on a state , by differentiating with respect to , instead of with respect to . This corresponds to the functional derivative \cite{olver86}:
where is the Dirac delta function.
The field derivative operator acts as
The evolution of a given state is determined via the Schrödinger equation: