Difference between revisions of "Massive field"
m (Automatically changed introduction) |
(latex details) |
||
Line 7: | Line 7: | ||
{{TEX|semi-auto}}{{TEX|part}} | {{TEX|semi-auto}}{{TEX|part}} | ||
− | A [[Quantum field theory|quantum field theory]] contains massive fields if the [[Hilbert space|Hilbert space]] obtained by repeated application of these fields to the vacuum carries a [[Unitary representation|unitary representation]] of the covering group of the orthochronous proper Poincaré group (cf. also [[Poincaré group|Poincaré group]]) which fulfills the mass-gap condition: Let $P ^ { \mu }$ ($\mu = 0,1,2,3$ with $\mu = 0$ referring to the "time variable" ) be the generators of the space-time translations and let $M = \sqrt { P _ { \mu } P ^ { \mu } }$ be the mass operator. $M$ is well defined due to the positive-energy condition, i.e. the condition that the joint spectrum of $P ^ { \mu }$ lies in the forward lightcone [[#References|[a1]]]. The mass-gap condition then says that the spectrum of $M$ lies in $\{ 0 \} \cup [ m _ { 0 } , \infty )$, where $m _ { 0 } | + | A [[Quantum field theory|quantum field theory]] contains massive fields if the [[Hilbert space|Hilbert space]] obtained by repeated application of these fields to the vacuum carries a [[Unitary representation|unitary representation]] of the covering group of the orthochronous proper Poincaré group (cf. also [[Poincaré group|Poincaré group]]) which fulfills the mass-gap condition: Let $P ^ { \mu }$ ($\mu = 0,1,2,3$ with $\mu = 0$ referring to the "time variable" ) be the generators of the space-time translations and let $M = \sqrt { P _ { \mu } P ^ { \mu } }$ be the mass operator. $M$ is well defined due to the positive-energy condition, i.e. the condition that the joint spectrum of $P ^ { \mu }$ lies in the forward lightcone [[#References|[a1]]]. The mass-gap condition then says that the spectrum of $M$ lies in $\{ 0 \} \cup [ m _ { 0 } , \infty )$, where $m _ { 0 } > 0$ and the multiplicity of the zero-eigenvector of $M$ is one (uniqueness of the vacuum). |
− | By the analysis of E. Wigner [[#References|[a2]]], [[#References|[a3]]], all states which describe a single particle form a Hilbert subspace carrying an irreducible representation of the Poincaré group which is labelled by a pair $[ m , s ]$. Here, $m$ is the eigenvalue of these states with respect to the mass operator $M$ and $s \in ( 1 / 2 ) \mathbf{Z}$, called the "spin" of the particle, labels the finite-dimensional representation of the little group stabilizing a vector $p$ in the Minkowski space-time with $p ^ { 0 } | + | By the analysis of E. Wigner [[#References|[a2]]], [[#References|[a3]]], all states which describe a single particle form a Hilbert subspace carrying an irreducible representation of the Poincaré group which is labelled by a pair $[ m , s ]$. Here, $m$ is the eigenvalue of these states with respect to the mass operator $M$ and $s \in ( 1 / 2 ) \mathbf{Z}$, called the "spin" of the particle, labels the finite-dimensional representation of the little group stabilizing a vector $p$ in the Minkowski space-time with $p ^ { 0 } > 0$, $p ^ { 2 } = m ^ { 2 }$, i.e. the covering group of $ \operatorname {SO} ( 3 )$. As a consequence of the mass gap assumption, all particles in a theory with massive fields have positive mass $m \geq m _ { 0 } > 0$. Since one-particle states are usually assumed to be the states of lowest energy (above that of the vacuum), the mass-gap assumption and the assumption that a quantum field theory contains only particle states with positive mass, are considered as equivalent assumptions. |
− | In the case that the one-particle states with the label $[ m , s ]$ are separated from the rest of the mass spectrum by a second mass-gap, i.e. the spectrum of $M$ lies in $\{ 0 \} \cup \{ m \} \cup [ m + \epsilon , \infty )$ for some $\epsilon | + | In the case that the one-particle states with the label $[ m , s ]$ are separated from the rest of the mass spectrum by a second mass-gap, i.e. the spectrum of $M$ lies in $\{ 0 \} \cup \{ m \} \cup [ m + \epsilon , \infty )$ for some $\epsilon > 0$, and there is some quantum field $A ( f )$ in the theory such that $E_{[ m , s ]} A ( f ) \Omega \neq 0$ for some Schwartz test function $f$ (cf. also [[Generalized functions, space of|Generalized functions, space of]]), with $E _ { [ m , s ] }$ the projector on the Hilbert subspace on the $[ m , s ]$-one-particle states, one can apply the Haag–Ruelle scattering theory [[#References|[a4]]], [[#References|[a5]]], [[#References|[a16]]] to $A ( f )$: Let $f _ { l }$ be Schwartz test functions, such that the [[Fourier transform|Fourier transform]] $\mathcal{F} ( f _ { l } )$ of $f _ { l }$ has support in the set $\left\{ p : p ^ { 0 } > 0 , | p ^ { 2 } - m ^ { 2 } | < \epsilon \right\}$. Setting $f _ { l } ^ { t } = \mathcal{F} ^ { - 1 } ( e ^ { i ( p ^ { 0 } - \omega ) t } \mathcal{F} ( f _ { l } ) )$, one defines asymptotic fields by their action on the vacuum vector $\Omega$: |
\begin{equation*} \prod _ { l = 1 } ^ { n } A ^ { \text { in/out } } ( f _ { l } ) \Omega = \operatorname { lim } _ { t \rightarrow \pm \infty } \prod _ { l = 1 } ^ { n } A ( f _ { l } ^ { t } ) \Omega, \end{equation*} | \begin{equation*} \prod _ { l = 1 } ^ { n } A ^ { \text { in/out } } ( f _ { l } ) \Omega = \operatorname { lim } _ { t \rightarrow \pm \infty } \prod _ { l = 1 } ^ { n } A ( f _ { l } ^ { t } ) \Omega, \end{equation*} | ||
Line 21: | Line 21: | ||
Massive quantum field theory is taken to be an approximation to the real physical situation, where all long range forces, associated with massless fields, can be neglected as "weak" in comparison with the strong short range forces associated with massive fields. If only massive fields are present in a theory, the mathematical treatment of the theory is simpler, due to the absence of a number of effects connected with massless particles and fields (cf. [[Massless field|Massless field]]). However, several features of the contemporary (2000) physical theory of strong interactions, as e.g. "quarks" , "confinement" and "asymptotic freeness" , are not yet well explained in the given mathematical framework (but see e.g. [[#References|[a13]]] for an interesting new approach). | Massive quantum field theory is taken to be an approximation to the real physical situation, where all long range forces, associated with massless fields, can be neglected as "weak" in comparison with the strong short range forces associated with massive fields. If only massive fields are present in a theory, the mathematical treatment of the theory is simpler, due to the absence of a number of effects connected with massless particles and fields (cf. [[Massless field|Massless field]]). However, several features of the contemporary (2000) physical theory of strong interactions, as e.g. "quarks" , "confinement" and "asymptotic freeness" , are not yet well explained in the given mathematical framework (but see e.g. [[#References|[a13]]] for an interesting new approach). | ||
− | Massive classical fields are studied in the framework of non-linear hyperbolic partial differential equations (cf. also [[ | + | Massive classical fields are studied in the framework of non-linear hyperbolic partial differential equations (cf. also [[Hyperbolic partial differential equation]]), see e.g. [[#References|[a14]]], [[#References|[a15]]]. |
====References==== | ====References==== | ||
− | <table><tr><td valign="top">[a1]</td> <td valign="top"> R.F. Streater, A.S. Wightman, "PCT spin & statistics and all that<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130070/m13007042.png"/>" , Benjamin (1964)</td></tr><tr><td valign="top">[a2]</td> <td valign="top"> E.P. Wigner, "On unitary representations of the inhomogenous Lorentz group" ''Ann. Math.'' , '''40''' (1939) pp. 149</td></tr><tr><td valign="top">[a3]</td> <td valign="top"> W. Rühl, "The Lorentz group and harmonic analysis" , Benjamin (1970)</td></tr><tr><td valign="top">[a4]</td> <td valign="top"> R. Haag, "Quantum field theories with composite particles and asymptotic condition" ''Phys. Rev.'' , '''112''' (1958) pp. 669</td></tr><tr><td valign="top">[a5]</td> <td valign="top"> D. Ruelle, "On the asymptotic condition in quantum field theory" ''Helv. Phys. Acta'' , '''35''' (1962) pp. 147</td></tr><tr><td valign="top">[a6]</td> <td valign="top"> R. Jost, "The general theory of quantized fields" , Amer. Math. Soc. (1965)</td></tr><tr><td valign="top">[a7]</td> <td valign="top"> H. Lehmann, K. Symanzik, W. Zimmermann, "Zur Formulierung quantisierter Feldtheorien" ''Il Nuovo Cimento'' , '''1''' (1954) pp. 205</td></tr><tr><td valign="top">[a8]</td> <td valign="top"> K. Hepp, "On the connection between LSZ and Wightman quantum field theory" ''Commun. Math. Phys.'' , '''1''' (1965) pp. 95</td></tr><tr><td valign="top">[a9]</td> <td valign="top"> B. Simon, "The $P ( \varphi ) _ { 2 }$ Euclidean (quantum) field theory" , Princeton Univ. Press (1975)</td></tr><tr><td valign="top">[a10]</td> <td valign="top"> J. Glimm, A. Jaffe, "Quantum physics: A functional integral point of view" , Springer (1987) (Edition: Second)</td></tr><tr><td valign="top">[a11]</td> <td valign="top"> S. Albeverio, "Mathematical physics and stochastic analysis" ''Bell. Sci. Math.'' , '''117''' (1993) pp. 125</td></tr><tr><td valign="top">[a12]</td> <td valign="top"> S. Albeverio, H. Gottschalk, J.-L. Wu, "Scattering behaviour of quantum vector fields obtained from Euclidean covariant SPDEs" ''Rept. Math. Phys.'' , '''44''' : 1 (1999) pp. 21</td></tr><tr><td valign="top">[a13]</td> <td valign="top"> D. Buchholz, R. Vrech, "Scaling algebras and renormalization group in algebraic quantum field theory" ''Rev. Math. Phys.'' , '''7''' (1995)</td></tr><tr><td valign="top">[a14]</td> <td valign="top"> W. Strauss, "Nonlinear wave equations" , Amer. Math. Soc. (1989)</td></tr><tr><td valign="top">[a15]</td> <td valign="top"> S.B. Kuksin, "On the long-time behaviour of solutions of nonlinear wave equations" D. Iagolnitzer (ed.) , ''XIth Int. Cong. Math. Phys.'' , Cambridge Internat. Press (1995) pp. 273–277</td></tr><tr><td valign="top">[a16]</td> <td valign="top"> R. Streater, "Uniqueness of the Haag–Ruelle scattering states" ''J. Math. Phys.'' , '''8''' (1967) pp. 1685–1693</td></tr></table> | + | <table> |
+ | <tr><td valign="top">[a1]</td> <td valign="top"> R.F. Streater, A.S. Wightman, "PCT spin & statistics and all that<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130070/m13007042.png"/>" , Benjamin (1964)</td></tr><tr><td valign="top">[a2]</td> <td valign="top"> E.P. Wigner, "On unitary representations of the inhomogenous Lorentz group" ''Ann. Math.'' , '''40''' (1939) pp. 149</td></tr><tr><td valign="top">[a3]</td> <td valign="top"> W. Rühl, "The Lorentz group and harmonic analysis" , Benjamin (1970)</td></tr><tr><td valign="top">[a4]</td> <td valign="top"> R. Haag, "Quantum field theories with composite particles and asymptotic condition" ''Phys. Rev.'' , '''112''' (1958) pp. 669</td></tr><tr><td valign="top">[a5]</td> <td valign="top"> D. Ruelle, "On the asymptotic condition in quantum field theory" ''Helv. Phys. Acta'' , '''35''' (1962) pp. 147</td></tr><tr><td valign="top">[a6]</td> <td valign="top"> R. Jost, "The general theory of quantized fields" , Amer. Math. Soc. (1965)</td></tr><tr><td valign="top">[a7]</td> <td valign="top"> H. Lehmann, K. Symanzik, W. Zimmermann, "Zur Formulierung quantisierter Feldtheorien" ''Il Nuovo Cimento'' , '''1''' (1954) pp. 205</td></tr><tr><td valign="top">[a8]</td> <td valign="top"> K. Hepp, "On the connection between LSZ and Wightman quantum field theory" ''Commun. Math. Phys.'' , '''1''' (1965) pp. 95</td></tr><tr><td valign="top">[a9]</td> <td valign="top"> B. Simon, "The $P ( \varphi ) _ { 2 }$ Euclidean (quantum) field theory" , Princeton Univ. Press (1975)</td></tr><tr><td valign="top">[a10]</td> <td valign="top"> J. Glimm, A. Jaffe, "Quantum physics: A functional integral point of view" , Springer (1987) (Edition: Second)</td></tr><tr><td valign="top">[a11]</td> <td valign="top"> S. Albeverio, "Mathematical physics and stochastic analysis" ''Bell. Sci. Math.'' , '''117''' (1993) pp. 125</td></tr><tr><td valign="top">[a12]</td> <td valign="top"> S. Albeverio, H. Gottschalk, J.-L. Wu, "Scattering behaviour of quantum vector fields obtained from Euclidean covariant SPDEs" ''Rept. Math. Phys.'' , '''44''' : 1 (1999) pp. 21</td></tr><tr><td valign="top">[a13]</td> <td valign="top"> D. Buchholz, R. Vrech, "Scaling algebras and renormalization group in algebraic quantum field theory" ''Rev. Math. Phys.'' , '''7''' (1995)</td></tr><tr><td valign="top">[a14]</td> <td valign="top"> W. Strauss, "Nonlinear wave equations" , Amer. Math. Soc. (1989)</td></tr><tr><td valign="top">[a15]</td> <td valign="top"> S.B. Kuksin, "On the long-time behaviour of solutions of nonlinear wave equations" D. Iagolnitzer (ed.) , ''XIth Int. Cong. Math. Phys.'' , Cambridge Internat. Press (1995) pp. 273–277</td></tr><tr><td valign="top">[a16]</td> <td valign="top"> R. Streater, "Uniqueness of the Haag–Ruelle scattering states" ''J. Math. Phys.'' , '''8''' (1967) pp. 1685–1693</td></tr> | ||
+ | </table> |
Latest revision as of 20:57, 8 February 2024
A quantum field theory contains massive fields if the Hilbert space obtained by repeated application of these fields to the vacuum carries a unitary representation of the covering group of the orthochronous proper Poincaré group (cf. also Poincaré group) which fulfills the mass-gap condition: Let $P ^ { \mu }$ ($\mu = 0,1,2,3$ with $\mu = 0$ referring to the "time variable" ) be the generators of the space-time translations and let $M = \sqrt { P _ { \mu } P ^ { \mu } }$ be the mass operator. $M$ is well defined due to the positive-energy condition, i.e. the condition that the joint spectrum of $P ^ { \mu }$ lies in the forward lightcone [a1]. The mass-gap condition then says that the spectrum of $M$ lies in $\{ 0 \} \cup [ m _ { 0 } , \infty )$, where $m _ { 0 } > 0$ and the multiplicity of the zero-eigenvector of $M$ is one (uniqueness of the vacuum).
By the analysis of E. Wigner [a2], [a3], all states which describe a single particle form a Hilbert subspace carrying an irreducible representation of the Poincaré group which is labelled by a pair $[ m , s ]$. Here, $m$ is the eigenvalue of these states with respect to the mass operator $M$ and $s \in ( 1 / 2 ) \mathbf{Z}$, called the "spin" of the particle, labels the finite-dimensional representation of the little group stabilizing a vector $p$ in the Minkowski space-time with $p ^ { 0 } > 0$, $p ^ { 2 } = m ^ { 2 }$, i.e. the covering group of $ \operatorname {SO} ( 3 )$. As a consequence of the mass gap assumption, all particles in a theory with massive fields have positive mass $m \geq m _ { 0 } > 0$. Since one-particle states are usually assumed to be the states of lowest energy (above that of the vacuum), the mass-gap assumption and the assumption that a quantum field theory contains only particle states with positive mass, are considered as equivalent assumptions.
In the case that the one-particle states with the label $[ m , s ]$ are separated from the rest of the mass spectrum by a second mass-gap, i.e. the spectrum of $M$ lies in $\{ 0 \} \cup \{ m \} \cup [ m + \epsilon , \infty )$ for some $\epsilon > 0$, and there is some quantum field $A ( f )$ in the theory such that $E_{[ m , s ]} A ( f ) \Omega \neq 0$ for some Schwartz test function $f$ (cf. also Generalized functions, space of), with $E _ { [ m , s ] }$ the projector on the Hilbert subspace on the $[ m , s ]$-one-particle states, one can apply the Haag–Ruelle scattering theory [a4], [a5], [a16] to $A ( f )$: Let $f _ { l }$ be Schwartz test functions, such that the Fourier transform $\mathcal{F} ( f _ { l } )$ of $f _ { l }$ has support in the set $\left\{ p : p ^ { 0 } > 0 , | p ^ { 2 } - m ^ { 2 } | < \epsilon \right\}$. Setting $f _ { l } ^ { t } = \mathcal{F} ^ { - 1 } ( e ^ { i ( p ^ { 0 } - \omega ) t } \mathcal{F} ( f _ { l } ) )$, one defines asymptotic fields by their action on the vacuum vector $\Omega$:
\begin{equation*} \prod _ { l = 1 } ^ { n } A ^ { \text { in/out } } ( f _ { l } ) \Omega = \operatorname { lim } _ { t \rightarrow \pm \infty } \prod _ { l = 1 } ^ { n } A ( f _ { l } ^ { t } ) \Omega, \end{equation*}
where the vectors on the right-hand side converge in the strong Hilbert space topology. The asymptotic fields $A ^ { \text { in/out } } ( f )$ are free fields and generate a Fock space of multi-particle in- and out-states over the space of one-particle states with label $[ m , s ]$. If these in- and out-Fock spaces span the whole Hilbert space of the theory (the so-called requirement of asymptotic completeness) then, as a corollary to the PCT theorem, the scattering matrix taking in-states to the related out-states is unitary [a6]. The requirements of Haag–Ruelle theory alone suffice to derive the LSZ-reduction formulas [a7], which express the scattering matrix elements (scalar product of in- and out-states, which gives the physical transition amplitude) via the time-ordered vacuum expectation values of the field $A ( f )$ [a8]. This links the general formalism of quantum fields [a1], [a6] to the heuristic perturbation expansions for the time-ordered Wightman functions based on the classical Lagrangian and the heuristic path integral (cf. also Quantum field theory).
From the 1960s onwards, a systematic construction of rigorous (non-perturbative) models has been started in space-time dimensions $d = 2,3$, see [a9], [a10], [a11]; for models with $d$ arbitrary (however with a state space carrying an indefinite inner product), see e.g. [a12].
Massive quantum field theory is taken to be an approximation to the real physical situation, where all long range forces, associated with massless fields, can be neglected as "weak" in comparison with the strong short range forces associated with massive fields. If only massive fields are present in a theory, the mathematical treatment of the theory is simpler, due to the absence of a number of effects connected with massless particles and fields (cf. Massless field). However, several features of the contemporary (2000) physical theory of strong interactions, as e.g. "quarks" , "confinement" and "asymptotic freeness" , are not yet well explained in the given mathematical framework (but see e.g. [a13] for an interesting new approach).
Massive classical fields are studied in the framework of non-linear hyperbolic partial differential equations (cf. also Hyperbolic partial differential equation), see e.g. [a14], [a15].
References
[a1] | R.F. Streater, A.S. Wightman, "PCT spin & statistics and all that![]() |
[a2] | E.P. Wigner, "On unitary representations of the inhomogenous Lorentz group" Ann. Math. , 40 (1939) pp. 149 |
[a3] | W. Rühl, "The Lorentz group and harmonic analysis" , Benjamin (1970) |
[a4] | R. Haag, "Quantum field theories with composite particles and asymptotic condition" Phys. Rev. , 112 (1958) pp. 669 |
[a5] | D. Ruelle, "On the asymptotic condition in quantum field theory" Helv. Phys. Acta , 35 (1962) pp. 147 |
[a6] | R. Jost, "The general theory of quantized fields" , Amer. Math. Soc. (1965) |
[a7] | H. Lehmann, K. Symanzik, W. Zimmermann, "Zur Formulierung quantisierter Feldtheorien" Il Nuovo Cimento , 1 (1954) pp. 205 |
[a8] | K. Hepp, "On the connection between LSZ and Wightman quantum field theory" Commun. Math. Phys. , 1 (1965) pp. 95 |
[a9] | B. Simon, "The $P ( \varphi ) _ { 2 }$ Euclidean (quantum) field theory" , Princeton Univ. Press (1975) |
[a10] | J. Glimm, A. Jaffe, "Quantum physics: A functional integral point of view" , Springer (1987) (Edition: Second) |
[a11] | S. Albeverio, "Mathematical physics and stochastic analysis" Bell. Sci. Math. , 117 (1993) pp. 125 |
[a12] | S. Albeverio, H. Gottschalk, J.-L. Wu, "Scattering behaviour of quantum vector fields obtained from Euclidean covariant SPDEs" Rept. Math. Phys. , 44 : 1 (1999) pp. 21 |
[a13] | D. Buchholz, R. Vrech, "Scaling algebras and renormalization group in algebraic quantum field theory" Rev. Math. Phys. , 7 (1995) |
[a14] | W. Strauss, "Nonlinear wave equations" , Amer. Math. Soc. (1989) |
[a15] | S.B. Kuksin, "On the long-time behaviour of solutions of nonlinear wave equations" D. Iagolnitzer (ed.) , XIth Int. Cong. Math. Phys. , Cambridge Internat. Press (1995) pp. 273–277 |
[a16] | R. Streater, "Uniqueness of the Haag–Ruelle scattering states" J. Math. Phys. , 8 (1967) pp. 1685–1693 |
Massive field. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Massive_field&oldid=50765