The process of quantization is supposed to assign to a classical field theory (prequantum field theory) a corresponding quantum field theory. One tends to imagine that in some cases the resulting QFT can itself be regarded as a classical field theory, roughly, and the process of quantization be applied again. One then speaks of second quantization .
In its simplest form the free second quantization (in the sense of free field theory, introducing no interaction between the second quantized quanta) is identified with the Fock space construction on a given space of quantum states.
For interacting second quantization see sigma-model – exposition of second quantization of sigma-models.
In linear type theory, which may be regarded as quantum logic (by the discussion there), the Fock space construction may naturally be identified with the . See there for more.
Last revised on February 5, 2014 at 01:40:43. See the history of this page for a list of all contributions to it.