# Fock space

Last updated

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 H. It is named after V. A. Fock who first introduced it in his 1932 paper "Konfigurationsraum und zweite Quantelung". [1] [2]

## Contents

Informally, a Fock space is the sum of a set of Hilbert spaces representing zero particle states, one particle states, two particle states, and so on. If the identical particles are bosons, the n-particle states are vectors in a symmetrized tensor product of n single-particle Hilbert spaces H. If the identical particles are fermions, the n-particle states are vectors in an antisymmetrized tensor product of n single-particle Hilbert spaces H. (See symmetric algebra and exterior algebra respectively.) A general state in Fock space is a linear combination of n-particle states, one for each n.

Technically, the Fock space is (the Hilbert space completion of) the direct sum of the symmetric or antisymmetric tensors in the tensor powers of a single-particle Hilbert space H,

${\displaystyle F_{\nu }(H)={\overline {\bigoplus _{n=0}^{\infty }S_{\nu }H^{\otimes n}}}~.}$

Here ${\displaystyle S_{\nu }}$ is the operator which symmetrizes or antisymmetrizes a tensor, depending on whether the Hilbert space describes particles obeying bosonic ${\displaystyle (\nu =+)}$ or fermionic ${\displaystyle (\nu =-)}$ statistics, and the overline represents the completion of the space. The bosonic (resp. fermionic) Fock space can alternatively be constructed as (the Hilbert space completion of) the symmetric tensors ${\displaystyle F_{+}(H)={\overline {S^{*}H}}}$ (resp. alternating tensors ${\displaystyle F_{-}(H)={\overline {{\bigwedge }^{*}H}}}$). For every basis for H there is a natural basis of the Fock space, the Fock states.

## Definition

The Fock space is the (Hilbert) direct sum of tensor products of copies of a single-particle Hilbert space ${\displaystyle H}$

${\displaystyle F_{\nu }(H)=\bigoplus _{n=0}^{\infty }S_{\nu }H^{\otimes n}=\mathbb {C} \oplus H\oplus \left(S_{\nu }\left(H\otimes H\right)\right)\oplus \left(S_{\nu }\left(H\otimes H\otimes H\right)\right)\oplus \ldots }$

Here ${\displaystyle \mathbb {C} }$, the complex scalars, consists of the states corresponding to no particles, ${\displaystyle H}$ the states of one particle, ${\displaystyle S_{\nu }(H\otimes H)}$ the states of two identical particles etc.

A general state in ${\displaystyle F_{\nu }(H)}$ is given by

${\displaystyle |\Psi \rangle _{\nu }=|\Psi _{0}\rangle _{\nu }\oplus |\Psi _{1}\rangle _{\nu }\oplus |\Psi _{2}\rangle _{\nu }\oplus \ldots =a|0\rangle \oplus \sum _{i}a_{i}|\psi _{i}\rangle \oplus \sum _{ij}a_{ij}|\psi _{i},\psi _{j}\rangle _{\nu }\oplus \ldots }$

where

${\displaystyle |0\rangle }$ is a vector of length 1 called the vacuum state and ${\displaystyle a\in \mathbb {C} }$ is a complex coefficient,
${\displaystyle |\psi _{i}\rangle \in H}$ is a state in the single particle Hilbert space and ${\displaystyle a_{i}\in \mathbb {C} }$ is a complex coefficient,
${\displaystyle |\psi _{i}\,,\psi _{j}\rangle _{\nu }={\frac {1}{\sqrt {2}}}(|\psi _{i}\rangle \otimes |\psi _{j}\rangle +\nu \,|\psi _{j}\rangle \otimes |\psi _{i}\rangle )\in S_{\nu }(H\otimes H)}$, and ${\displaystyle a_{ij}=\nu a_{ji}\in \mathbb {C} }$ is a complex coefficient,
etc.

The convergence of this infinite sum is important if ${\displaystyle F_{\nu }(H)}$ is to be a Hilbert space. Technically we require ${\displaystyle F_{\nu }(H)}$ to be the Hilbert space completion of the algebraic direct sum. It consists of all infinite tuples ${\displaystyle |\Psi \rangle _{\nu }=(|\Psi _{0}\rangle _{\nu },|\Psi _{1}\rangle _{\nu },|\Psi _{2}\rangle _{\nu },\ldots )}$ such that the norm, defined by the inner product is finite

${\displaystyle \||\Psi \rangle _{\nu }\|_{\nu }^{2}=\sum _{n=0}^{\infty }\langle \Psi _{n}|\Psi _{n}\rangle _{\nu }<\infty }$

where the ${\displaystyle n}$ particle norm is defined by

${\displaystyle \langle \Psi _{n}|\Psi _{n}\rangle _{\nu }=\sum _{i_{1},\ldots i_{n},j_{1},\ldots j_{n}}a_{i_{1},\ldots ,i_{n}}^{*}a_{j_{1},\ldots ,j_{n}}\langle \psi _{i_{1}}|\psi _{j_{1}}\rangle \cdots \langle \psi _{i_{n}}|\psi _{j_{n}}\rangle }$

i.e. the restriction of the norm on the tensor product ${\displaystyle H^{\otimes n}}$

For two general states

${\displaystyle |\Psi \rangle _{\nu }=|\Psi _{0}\rangle _{\nu }\oplus |\Psi _{1}\rangle _{\nu }\oplus |\Psi _{2}\rangle _{\nu }\oplus \ldots =a|0\rangle \oplus \sum _{i}a_{i}|\psi _{i}\rangle \oplus \sum _{ij}a_{ij}|\psi _{i},\psi _{j}\rangle _{\nu }\oplus \ldots }$, and
${\displaystyle |\Phi \rangle _{\nu }=|\Phi _{0}\rangle _{\nu }\oplus |\Phi _{1}\rangle _{\nu }\oplus |\Phi _{2}\rangle _{\nu }\oplus \ldots =b|0\rangle \oplus \sum _{i}b_{i}|\phi _{i}\rangle \oplus \sum _{ij}b_{ij}|\phi _{i},\phi _{j}\rangle _{\nu }\oplus \ldots }$

the inner product on ${\displaystyle F_{\nu }(H)}$ is then defined as

${\displaystyle \langle \Psi |\Phi \rangle _{\nu }:=\sum _{n}\langle \Psi _{n}|\Phi _{n}\rangle _{\nu }=a^{*}b+\sum _{ij}a_{i}^{*}b_{j}\langle \psi _{i}|\phi _{j}\rangle +\sum _{ijkl}a_{ij}^{*}b_{kl}\langle \psi _{i}|\phi _{k}\rangle \langle \psi _{j}|\phi _{l}\rangle _{\nu }+\ldots }$

where we use the inner products on each of the ${\displaystyle n}$-particle Hilbert spaces. Note that, in particular the ${\displaystyle n}$ particle subspaces are orthogonal for different ${\displaystyle n}$.

## Product states, indistinguishable particles, and a useful basis for Fock space

A product state of the Fock space is a state of the form

${\displaystyle |\Psi \rangle _{\nu }=|\phi _{1},\phi _{2},\cdots ,\phi _{n}\rangle _{\nu }=|\phi _{1}\rangle |\phi _{2}\rangle \cdots |\phi _{n}\rangle }$

which describes a collection of ${\displaystyle n}$ particles, one of which has quantum state ${\displaystyle \phi _{1}\,}$, another ${\displaystyle \phi _{2}\,}$ and so on up to the ${\displaystyle n}$th particle, where each ${\displaystyle \phi _{i}\,}$ is any state from the single particle Hilbert space ${\displaystyle H}$. Here juxtaposition (writing the single particle kets side by side, without the ${\displaystyle \otimes }$) is symmetric (resp. antisymmetric) multiplication in the symmetric (antisymmetric) tensor algebra. The general state in a Fock space is a linear combination of product states. A state that cannot be written as a convex sum of product states is called an entangled state.

When we speak of one particle in state ${\displaystyle \phi _{i}\,}$, it must be borne in mind that in quantum mechanics identical particles are indistinguishable. In the same Fock space, all particles are identical. (To describe many species of particles, we take the tensor product of as many different Fock spaces as there are species of particles under consideration). It is one of the most powerful features of this formalism that states are implicitly properly symmetrized. For instance, if the above state ${\displaystyle |\Psi \rangle _{-}}$ is fermionic, it will be 0 if two (or more) of the ${\displaystyle \phi _{i}\,}$ are equal because the antisymmetric (exterior) product ${\displaystyle |\phi _{i}\rangle |\phi _{i}\rangle =0}$. This is a mathematical formulation of the Pauli exclusion principle that no two (or more) fermions can be in the same quantum state. In fact, whenever the terms in a formal product are linearly dependent; the product will be zero for antisymmetric tensors. Also, the product of orthonormal states is properly orthonormal by construction (although possibly 0 in the Fermi case when two states are equal).

A useful and convenient basis for a Fock space is the occupancy number basis. Given a basis ${\displaystyle \{|\psi _{i}\rangle \}_{i=0,1,2,\dots }}$ of ${\displaystyle H}$, we can denote the state with ${\displaystyle n_{0}}$ particles in state ${\displaystyle |\psi _{0}\rangle }$, ${\displaystyle n_{1}}$ particles in state ${\displaystyle |\psi _{1}\rangle }$, ..., ${\displaystyle n_{k}}$ particles in state ${\displaystyle |\psi _{k}\rangle }$, and no particles in the remaining states, by defining

${\displaystyle |n_{0},n_{1},\ldots ,n_{k}\rangle _{\nu }=|\psi _{0}\rangle ^{n_{0}}|\psi _{1}\rangle ^{n_{1}}\cdots |\psi _{k}\rangle ^{n_{k}},}$

where each ${\displaystyle n_{i}}$ takes the value 0 or 1 for fermionic particles and 0, 1, 2, ... for bosonic particles. Note that trailing zeroes may be dropped without changing the state. Such a state is called a Fock state. When the ${\displaystyle |\psi _{i}\rangle }$ are understood as the steady states of a free field, the Fock states describe an assembly of non-interacting particles in definite numbers. The most general Fock state is a linear superposition of pure states.

Two operators of great importance are the creation and annihilation operators, which upon acting on a Fock state add or respectively remove a particle in the ascribed quantum state. They are denoted ${\displaystyle a^{\dagger }(\phi )\,}$ for creation and ${\displaystyle a(\phi )\,}$for annihilation respectively. To create ("add") a particle, the quantum state ${\displaystyle |\phi \rangle }$ is symmetric or exterior- multiplied with ${\displaystyle |\phi \rangle }$; and respectively to annihilate ("remove") a particle, an (even or odd) interior product is taken with ${\displaystyle \langle \phi |}$, which is the adjoint of ${\displaystyle a^{\dagger }(\phi )\,}$. It is often convenient to work with states of the basis of ${\displaystyle H}$ so that these operators remove and add exactly one particle in the given basis state. These operators also serve as generators for more general operators acting on the Fock space, for instance the number operator giving the number of particles in a specific state ${\displaystyle |\phi _{i}\rangle }$ is ${\displaystyle a^{\dagger }(\phi _{i})a(\phi _{i})}$.

## Wave function interpretation

Often the one particle space ${\displaystyle H}$ is given as ${\displaystyle L_{2}(X,\mu )}$, the space of square-integrable functions on a space ${\displaystyle X}$ with measure ${\displaystyle \mu }$ (strictly speaking, the equivalence classes of square integrable functions where functions are equivalent if they differ on a set of measure zero). The typical example is the free particle with ${\displaystyle H=L_{2}(\mathbb {R} ^{3},d^{3}x)}$ the space of square integrable functions on three-dimensional space. The Fock spaces then have a natural interpretation as symmetric or anti-symmetric square integrable functions as follows.

Let ${\displaystyle X^{0}=\{*\}}$ and ${\displaystyle X^{1}=X}$, ${\displaystyle X^{2}=X\times X}$, ${\displaystyle X^{3}=X\times X\times X}$ etc. Consider the space of tuples of points which is the disjoint union

${\displaystyle X^{*}=X^{0}\bigsqcup X^{1}\bigsqcup X^{2}\bigsqcup X^{3}\bigsqcup \cdots .}$

It has a natural measure ${\displaystyle \mu ^{*}}$ such that ${\displaystyle \mu ^{*}(X^{0})=1}$ and the restriction of ${\displaystyle \mu ^{*}}$ to ${\displaystyle X^{n}}$ is ${\displaystyle \mu ^{n}}$. The even Fock space ${\displaystyle F_{+}(L_{2}(X,\mu ))}$ can then be identified with the space of symmetric functions in ${\displaystyle L_{2}(X^{*},\mu ^{*})}$ whereas the odd Fock space ${\displaystyle F_{-}(L_{2}(X,\mu ))}$ can be identified with the space of anti-symmetric functions. The identification follows directly from the isometric mapping

${\displaystyle L_{2}(X,\mu )^{\otimes n}\to L_{2}(X^{n},\mu ^{n})}$
${\displaystyle \psi _{1}(x)\otimes \cdots \otimes \psi _{n}(x)\mapsto \psi _{1}(x_{1})\cdots \psi _{n}(x_{n})}$.

Given wave functions ${\displaystyle \psi _{1}=\psi _{1}(x),\ldots ,\psi _{n}=\psi _{n}(x)}$, the Slater determinant

${\displaystyle \Psi (x_{1},\ldots x_{n})={\frac {1}{\sqrt {n!}}}{\begin{vmatrix}\psi _{1}(x_{1})&\ldots &\psi _{n}(x_{1})\\\vdots &&\vdots \\\psi _{1}(x_{n})&\dots &\psi _{n}(x_{n})\\\end{vmatrix}}}$

is an antisymmetric function on ${\displaystyle X^{n}}$. It can thus be naturally interpreted as an element of the ${\displaystyle n}$-particle sector of the odd Fock space. The normalization is chosen such that ${\displaystyle \|\Psi \|=1}$ if the functions ${\displaystyle \psi _{1},\ldots ,\psi _{n}}$ are orthonormal. There is a similar "Slater permanent" with the determinant replaced with the permanent which gives elements of ${\displaystyle n}$-sector of the even Fock space.

## Relation to the Segal–Bargmann space

Define the Segal–Bargmann space space ${\displaystyle B_{N}}$ [3] of complex holomorphic functions square-integrable with respect to a Gaussian measure:

${\displaystyle {\mathcal {F}}^{2}\left(\mathbb {C} ^{N}\right)=\left\{f\colon \mathbb {C} ^{N}\to \mathbb {C} \mid \Vert f\Vert _{{\mathcal {F}}^{2}(\mathbb {C} ^{N})}<\infty \right\}}$,

where

${\displaystyle \Vert f\Vert _{{\mathcal {F}}^{2}(\mathbb {C} ^{N})}:=\int _{\mathbb {C} ^{n}}\vert f(\mathbf {z} )\vert ^{2}e^{-\pi \vert \mathbf {z} \vert ^{2}}\,d\mathbf {z} }$.

Then defining a space ${\displaystyle B_{\infty }}$ as the nested union of the spaces ${\displaystyle B_{N}}$ over the integers ${\displaystyle N\geq 0}$, Segal [4] and Bargmann showed [5] [6] that ${\displaystyle B_{\infty }}$ is isomorphic to a bosonic Fock space. The monomial

${\displaystyle x_{1}^{n_{1}}...x_{k}^{n_{k}}}$

corresponds to the Fock state

${\displaystyle |n_{0},n_{1},\ldots ,n_{k}\rangle _{\nu }=|\psi _{0}\rangle ^{n_{0}}|\psi _{1}\rangle ^{n_{1}}\cdots |\psi _{k}\rangle ^{n_{k}}.}$

## Related Research Articles

In quantum mechanics, bra–ket notation, or Dirac notation, is ubiquitous. The notation uses the angle brackets, "" and "", and a vertical bar "", to construct "bras" and "kets".

The Riesz representation theorem, sometimes called the Riesz–Fréchet representation theorem after Frigyes Riesz and Maurice René Fréchet, establishes an important connection between a Hilbert space and its continuous dual space. If the underlying field is the real numbers, the two are isometrically isomorphic; if the underlying field is the complex numbers, the two are isometrically anti-isomorphic. The (anti-) isomorphism is a particular natural one as will be described next; a natural isomorphism.

A wave function in quantum physics is a mathematical description of the quantum state of an isolated quantum system. The wave function is a complex-valued probability amplitude, and the probabilities for the possible results of measurements made on the system can be derived from it. The most common symbols for a wave function are the Greek letters ψ and Ψ.

The Klein–Gordon equation is a relativistic wave equation, related to the Schrödinger equation. It is second-order in space and time and manifestly Lorentz-covariant. It is a quantized version of the relativistic energy–momentum relation. Its solutions include a quantum scalar or pseudoscalar field, a field whose quanta are spinless particles. Its theoretical relevance is similar to that of the Dirac equation. Electromagnetic interactions can be incorporated, forming the topic of scalar electrodynamics, but because common spinless particles like the pions are unstable and also experience the strong interaction the practical utility is limited.

Second quantization, also referred to as occupation number representation, is a formalism used to describe and analyze quantum many-body systems. In quantum field theory, it is known as canonical quantization, in which the fields are thought of as field operators, in a manner similar to how the physical quantities are thought of as operators in first quantization. The key ideas of this method were introduced in 1927 by Paul Dirac, and were developed, most notably, by Vladimir Fock and Pascual Jordan later.

In physics, the S-matrix or scattering matrix relates the initial state and the final state of a physical system undergoing a scattering process. It is used in quantum mechanics, scattering theory and quantum field theory (QFT).

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 information theory, a quantum channel is a communication channel which can transmit quantum information, as well as classical information. An example of quantum information is the state of a qubit. An example of classical information is a text document transmitted over the Internet.

In functional analysis, an abelian von Neumann algebra is a von Neumann algebra of operators on a Hilbert space in which all elements commute.

In physics, a sigma model is a field theory that describes the field as a point particle confined to move on a fixed manifold. This manifold can be taken to be any Riemannian manifold, although it is most commonly taken to be either a Lie group or a symmetric space. The model may or may not be quantized. An example of the non-quantized version is the Skyrme model; it cannot be quantized due to non-linearities of power greater than 4. In general, sigma models admit (classical) topological soliton solutions, for example, the Skyrmion for the Skyrme model. When the sigma field is coupled to a gauge field, the resulting model is described by Ginzburg–Landau theory. This article is primarily devoted to the classical field theory of the sigma model; the corresponding quantized theory is presented in the article titled "non-linear sigma model".

In mathematics, and in particular functional analysis, the tensor product of Hilbert spaces is a way to extend the tensor product construction so that the result of taking a tensor product of two Hilbert spaces is another Hilbert space. Roughly speaking, the tensor product is the metric space completion of the ordinary tensor product. This is an example of a topological tensor product. The tensor product allows Hilbert spaces to be collected into a symmetric monoidal category.

LOCC, or local operations and classical communication, is a method in quantum information theory where a local (product) operation is performed on part of the system, and where the result of that operation is "communicated" classically to another part where usually another local operation is performed conditioned on the information received.

In quantum mechanics, for systems where the total number of particles may not be preserved, the number operator is the observable that counts the number of particles.

A decoherence-free subspace (DFS) is a subspace of a quantum system's Hilbert space that is invariant to non-unitary dynamics. Alternatively stated, they are a small section of the system Hilbert space where the system is decoupled from the environment and thus its evolution is completely unitary. DFSs can also be characterized as a special class of quantum error correcting codes. In this representation they are passive error-preventing codes since these subspaces are encoded with information that (possibly) won't require any active stabilization methods. These subspaces prevent destructive environmental interactions by isolating quantum information. As such, they are an important subject in quantum computing, where (coherent) control of quantum systems is the desired goal. Decoherence creates problems in this regard by causing loss of coherence between the quantum states of a system and therefore the decay of their interference terms, thus leading to loss of information from the (open) quantum system to the surrounding environment. Since quantum computers cannot be isolated from their environment and information can be lost, the study of DFSs is important for the implementation of quantum computers into the real world.

A symmetric, informationally complete, positive operator-valued measure (SIC-POVM) is a special case of a generalized measurement on a Hilbert space, used in the field of quantum mechanics. A measurement of the prescribed form satisfies certain defining qualities that makes it an interesting candidate for a "standard quantum measurement", utilized in the study of foundational quantum mechanics, most notably in QBism. Furthermore, it has been shown that applications exist in quantum state tomography and quantum cryptography, and a possible connection has been discovered with Hilbert's twelfth problem.

In quantum physics, a quantum state is a mathematical entity that provides a probability distribution for the outcomes of each possible measurement on a system. Knowledge of the quantum state together with the rules for the system's evolution in time exhausts all that can be predicted about the system's behavior. A mixture of quantum states is again a quantum state. Quantum states that cannot be written as a mixture of other states are called pure quantum states, while all other states are called mixed quantum states. A pure quantum state can be represented by a ray in a Hilbert space over the complex numbers, while mixed states are represented by density matrices, which are positive semidefinite operators that act on Hilbert spaces.

Coherent states have been introduced in a physical context, first as quasi-classical states in quantum mechanics, then as the backbone of quantum optics and they are described in that spirit in the article Coherent states. However, they have generated a huge variety of generalizations, which have led to a tremendous amount of literature in mathematical physics. In this article, we sketch the main directions of research on this line. For further details, we refer to several existing surveys.

Lagrangian field theory is a formalism in classical field theory. It is the field-theoretic analogue of Lagrangian mechanics. Lagrangian mechanics is used to analyze the motion of a system of discrete particles each with a finite number of degrees of freedom. Lagrangian field theory applies to continua and fields, which have an infinite number of degrees of freedom.

In mathematical physics, Clebsch–Gordan coefficients are the expansion coefficients of total angular momentum eigenstates in an uncoupled tensor product basis. Mathematically, they specify the decomposition of the tensor product of two irreducible representations into a direct sum of irreducible representations, where the type and the multiplicities of these irreducible representations are known abstractly. The name derives from the German mathematicians Alfred Clebsch (1833–1872) and Paul Gordan (1837–1912), who encountered an equivalent problem in invariant theory.

In probability theory, a branch of mathematics, white noise analysis, otherwise known as Hida calculus, is a framework for infinite-dimensional and stochastic calculus, based on the Gaussian white noise probability space, to be compared with Malliavin calculus based on the Wiener process. It was initiated by Takeyuki Hida in his 1975 Carleton Mathematical Lecture Notes.

## References

1. V. Fock, Z. Phys. 75 (1932), 622-647
2. M.C. Reed, B. Simon, "Methods of Modern Mathematical Physics, Volume II", Academic Press 1975. Page 328.
3. Bargmann, V. (1961). "On a Hilbert space of analytic functions and associated integral transform I". Communications on Pure and Applied Mathematics. 14: 187–214. doi:10.1002/cpa.3160140303. hdl:.
4. Segal, I. E. (1963). "Mathematical problems of relativistic physics". Proceedings of the Summer Seminar, Boulder, Colorado, 1960, Vol. II. Chap. VI.
5. Bargmann, V (1962). "Remarks on a Hilbert space of analytic functions". Proc. Natl. Acad. Sci. 48 (2): 199–204. Bibcode:1962PNAS...48..199B. doi:. PMC  . PMID   16590920.
6. Stochel, Jerzy B. (1997). "Representation of generalized annihilation and creation operators in Fock space" (PDF). Universitatis Iagellonicae Acta Mathematica. 34: 135–148. Retrieved 13 December 2012.