Fock space explained

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

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 -particle states are vectors in a symmetrized tensor product of single-particle Hilbert spaces . If the identical particles are fermions, the -particle states are vectors in an antisymmetrized tensor product of single-particle Hilbert spaces (see symmetric algebra and exterior algebra respectively). A general state in Fock space is a linear combination of -particle states, one for each .

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,F_\nu(H)=\overline ~.

Here

S\nu

is the operator which symmetrizes or antisymmetrizes a tensor, depending on whether the Hilbert space describes particles obeying bosonic

(\nu=+)

or fermionic

(\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

F+(H)=\overline{S*H}

(resp. alternating tensors F_-(H) = \overline). For every basis for 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

H

F_\nu(H)=\bigoplus_^S_\nu H^ = \Complex \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 \cdots

Here

\Complex

, the complex scalars, consists of the states corresponding to no particles,

H

the states of one particle,

S\nu(HH)

the states of two identical particles etc.

A general state in

F\nu(H)

is given by

|\Psi\rangle_\nu= |\Psi_0\rangle_\nu \oplus |\Psi_1\rangle_\nu \oplus |\Psi_2\rangle_\nu \oplus \cdots = a |0\rangle \oplus \sum_i a_i|\psi_i\rangle \oplus \sum_ a_|\psi_i, \psi_j \rangle_\nu \oplus \cdots where

|0\rangle

is a vector of length 1 called the vacuum state and

a\in\Complex

is a complex coefficient,

|\psii\rangle\inH

is a state in the single particle Hilbert space and

ai\in\Complex

is a complex coefficient,

aij=\nuaji\in\Complex

is a complex coefficient, etc.

The convergence of this infinite sum is important if

F\nu(H)

is to be a Hilbert space. Technically we require

F\nu(H)

to be the Hilbert space completion of the algebraic direct sum. It consists of all infinite tuples

|\Psi\rangle\nu=(|\Psi0\rangle\nu,|\Psi1\rangle\nu,|\Psi2\rangle\nu,\ldots)

such that the norm, defined by the inner product is finite\| |\Psi\rangle_\nu \|_\nu^2 = \sum_^\infty \langle \Psi_n |\Psi_n \rangle_\nu < \infty where the

n

particle norm is defined by \langle \Psi_n | \Psi_n \rangle_\nu = \sum_ a_^* a_ \langle \psi_| \psi_ \rangle\cdots \langle \psi_| \psi_ \rangle i.e., the restriction of the norm on the tensor product

H

For two general states|\Psi\rangle_\nu= |\Psi_0\rangle_\nu \oplus |\Psi_1\rangle_\nu \oplus |\Psi_2\rangle_\nu \oplus \cdots = a |0\rangle \oplus \sum_i a_i|\psi_i\rangle \oplus \sum_ a_|\psi_i, \psi_j \rangle_\nu \oplus \cdots, and|\Phi\rangle_\nu=|\Phi_0\rangle_\nu \oplus |\Phi_1\rangle_\nu \oplus |\Phi_2\rangle_\nu \oplus \cdots = b |0\rangle \oplus \sum_i b_i |\phi_i\rangle \oplus \sum_ b_|\phi_i, \phi_j \rangle_\nu \oplus \cdotsthe inner product on

F\nu(H)

is then defined as\langle \Psi |\Phi\rangle_\nu := \sum_n \langle \Psi_n| \Phi_n \rangle_\nu = a^* b + \sum_ a_i^* b_j\langle\psi_i | \phi_j \rangle +\sum_a_^*b_\langle \psi_i|\phi_k\rangle\langle\psi_j| \phi_l \rangle_\nu + \cdots where we use the inner products on each of the

n

-particle Hilbert spaces. Note that, in particular the

n

particle subspaces are orthogonal for different

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

|\Psi\rangle_\nu=|\phi_1,\phi_2,\cdots,\phi_n\rangle_\nu = |\phi_1\rangle \otimes |\phi_2\rangle \otimes \cdots \otimes |\phi_n\rangle

which describes a collection of

n

particles, one of which has quantum state

\phi1

, another

\phi2

and so on up to the

n

th particle, where each

\phii

is any state from the single particle Hilbert space

H

. Here juxtaposition (writing the single particle kets side by side, without the

) 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

\phii

, we must bear 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

|\Psi\rangle-

is fermionic, it will be 0 if two (or more) of the

\phii

are equal because the antisymmetric (exterior) product

|\phii\rangle|\phii\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

\{|\psii\rangle\}i

of

H

, we can denote the state with

n0

particles in state

|\psi0\rangle

,

n1

particles in state

|\psi1\rangle

, ...,

nk

particles in state

|\psik\rangle

, and no particles in the remaining states, by defining

|n_0,n_1,\ldots,n_k\rangle_\nu = |\psi_0\rangle^|\psi_1\rangle^ \cdots |\psi_k\rangle^,

where each

ni

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

|\psii\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

a\dagger(\phi)

for creation and

a(\phi)

for annihilation respectively. To create ("add") a particle, the quantum state

|\phi\rangle

is symmetric or exterior- multiplied with

|\phi\rangle

; and respectively to annihilate ("remove") a particle, an (even or odd) interior product is taken with

\langle\phi|

, which is the adjoint of

a\dagger(\phi)

. It is often convenient to work with states of the basis of

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

|\phii\rangle

is

a\dagger(\phii)a(\phii)

.

Wave function interpretation

Often the one particle space

H

is given as

L2(X,\mu)

, the space of square-integrable functions on a space

X

with measure

\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

H=

3,
L
2(\R

d3x)

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

X0=\{*\}

and

X1=X

,

X2=X x X

,

X3=X x X x X

, etc.Consider the space of tuples of points which is the disjoint union

X^* = X^0 \bigsqcup X^1 \bigsqcup X^2 \bigsqcup X^3 \bigsqcup \cdots .

It has a natural measure

\mu*

such that

\mu*(X0)=1

and the restriction of

\mu*

to

Xn

is

\mun

.The even Fock space

F+(L2(X,\mu))

can then be identified with the space of symmetric functions in
*,
L
2(X

\mu*)

whereas the odd Fock space

F-(L2(X,\mu))

can be identified with the space of anti-symmetric functions. The identification follows directly from the isometric mapping L_2(X, \mu)^ \to L_2(X^n, \mu^n) \psi_1(x)\otimes\cdots\otimes\psi_n(x) \mapsto \psi_1(x_1)\cdots \psi_n(x_n).

Given wave functions

\psi1=\psi1(x),\ldots,\psin=\psin(x)

, the Slater determinant

\Psi(x_1, \ldots x_n) = \frac \begin\psi_1(x_1) & \cdots & \psi_n(x_1) \\\vdots & \ddots & \vdots \\\psi_1(x_n) & \cdots & \psi_n(x_n) \\\end is an antisymmetric function on

Xn

. It can thus be naturally interpreted as an element of the

n

-particle sector of the odd Fock space. The normalization is chosen such that

\|\Psi\|=1

if the functions

\psi1,\ldots,\psin

are orthonormal. There is a similar "Slater permanent" with the determinant replaced with the permanent which gives elements of

n

-sector of the even Fock space.

Relation to the Segal–Bargmann space

BN

[3] of complex holomorphic functions square-integrable with respect to a Gaussian measure:

\mathcal^2\left(\Complex^N\right) = \left\,where\Vert f\Vert_ := \int_\vert f(\mathbf)\vert^2 e^\,d\mathbf.Then defining a space

Binfty

as the nested union of the spaces

BN

over the integers

N\ge0

, Segal[4] and Bargmann showed[5] [6] that

Binfty

is isomorphic to a bosonic Fock space. The monomialx_1^...x_k^corresponds to the Fock state|n_0,n_1,\ldots,n_k\rangle_\nu = |\psi_0\rangle^|\psi_1\rangle^ \cdots |\psi_k\rangle^.

See also

References

  1. Fock . V. . Vladimir Fock. Konfigurationsraum und zweite Quantelung . Zeitschrift für Physik . Springer Science and Business Media LLC . 75 . 9–10 . 1932 . 1434-6001 . 10.1007/bf01344458 . 622–647 . 1932ZPhy...75..622F . 186238995 . de.
  2. [Michael C. Reed|M.C. Reed]
  3. Bargmann. V.. On a Hilbert space of analytic functions and associated integral transform I. Communications on Pure and Applied Mathematics . 1961. 14. 187–214. 10.1002/cpa.3160140303. 10338.dmlcz/143587. free.
  4. I. E. . Segal . 1963 . Mathematical problems of relativistic physics . Chap. VI . Proceedings of the Summer Seminar, Boulder, Colorado, 1960, Vol. II .
  5. Bargmann. V. Remarks on a Hilbert space of analytic functions . Proc. Natl. Acad. Sci.. 1962. 48. 2. 199–204. 10.1073/pnas.48.2.199. 16590920. 1962PNAS...48..199B . 220756. free.
  6. Stochel. Jerzy B.. Representation of generalized annihilation and creation operators in Fock space. Universitatis Iagellonicae Acta Mathematica. 1997. 34. 135–148. 13 December 2012.

External links