# Quartic interaction

Last updated

In quantum field theory, a quartic interaction is a type of self-interaction in a scalar field. Other types of quartic interactions may be found under the topic of four-fermion interactions. A classical free scalar field ${\displaystyle \varphi }$ satisfies the Klein–Gordon equation. If a scalar field is denoted ${\displaystyle \varphi }$, a quartic interaction is represented by adding a potential term ${\displaystyle ({\lambda }/{4!})\varphi ^{4}}$ to the Lagrangian density. The coupling constant ${\displaystyle \lambda }$ is dimensionless in 4-dimensional spacetime.

## Contents

This article uses the ${\displaystyle (+,-,-,-)}$ metric signature for Minkowski space.

## The Lagrangian for a real scalar field

The Lagrangian density for a real scalar field with a quartic interaction is

${\displaystyle {\mathcal {L}}(\varphi )={\frac {1}{2}}[\partial ^{\mu }\varphi \partial _{\mu }\varphi -m^{2}\varphi ^{2}]-{\frac {\lambda }{4!}}\varphi ^{4}.}$

This Lagrangian has a global Z2 symmetry mapping ${\displaystyle \varphi \to -\varphi }$.

## The Lagrangian for a complex scalar field

The Lagrangian for a complex scalar field can be motivated as follows. For two scalar fields ${\displaystyle \varphi _{1}}$ and ${\displaystyle \varphi _{2}}$ the Lagrangian has the form

${\displaystyle {\mathcal {L}}(\varphi _{1},\varphi _{2})={\frac {1}{2}}[\partial _{\mu }\varphi _{1}\partial ^{\mu }\varphi _{1}-m^{2}\varphi _{1}^{2}]+{\frac {1}{2}}[\partial _{\mu }\varphi _{2}\partial ^{\mu }\varphi _{2}-m^{2}\varphi _{2}^{2}]-{\frac {1}{4}}\lambda (\varphi _{1}^{2}+\varphi _{2}^{2})^{2},}$

which can be written more concisely introducing a complex scalar field ${\displaystyle \phi }$ defined as

${\displaystyle \phi \equiv {\frac {1}{\sqrt {2}}}(\varphi _{1}+i\varphi _{2}),}$
${\displaystyle \phi ^{*}\equiv {\frac {1}{\sqrt {2}}}(\varphi _{1}-i\varphi _{2}).}$

Expressed in terms of this scalar field, the above Lagrangian becomes

${\displaystyle {\mathcal {L}}(\phi )=\partial ^{\mu }\phi ^{*}\partial _{\mu }\phi -m^{2}\phi ^{*}\phi -\lambda (\phi ^{*}\phi )^{2},}$

which is thus equivalent to the SO(2) model of real scalar fields ${\displaystyle \varphi _{1},\varphi _{2}}$, as can be seen by expanding the complex field ${\displaystyle \phi }$ in real and imaginary parts.

With ${\displaystyle N}$ real scalar fields, we can have a ${\displaystyle \varphi ^{4}}$ model with a global SO(N) symmetry given by the Lagrangian

${\displaystyle {\mathcal {L}}(\varphi _{1},...,\varphi _{N})={\frac {1}{2}}[\partial ^{\mu }\varphi _{a}\partial _{\mu }\varphi _{a}-m^{2}\varphi _{a}\varphi _{a}]-{\frac {1}{4}}\lambda (\varphi _{a}\varphi _{a})^{2},\quad a=1,...,N.}$

Expanding the complex field in real and imaginary parts shows that it is equivalent to the SO(2) model of real scalar fields.

In all of the models above, the coupling constant ${\displaystyle \lambda }$ must be positive, since, otherwise, the potential would be unbounded below, and there would be no stable vacuum. Also, the Feynman path integral discussed below would be ill-defined. In 4 dimensions, ${\displaystyle \phi ^{4}}$ theories have a Landau pole. This means that without a cut-off on the high-energy scale, renormalization would render the theory trivial.

## Feynman integral quantization

The Feynman diagram expansion may be obtained also from the Feynman path integral formulation. [1] The time ordered vacuum expectation values of polynomials in φ, known as the n-particle Green's functions, are constructed by integrating over all possible fields, normalized by the vacuum expectation value with no external fields,

${\displaystyle \langle \Omega |{\mathcal {T}}\{{\phi }(x_{1})\cdots {\phi }(x_{n})\}|\Omega \rangle ={\frac {\int {\mathcal {D}}\phi \phi (x_{1})\cdots \phi (x_{n})e^{i\int d^{4}x\left({1 \over 2}\partial ^{\mu }\phi \partial _{\mu }\phi -{m^{2} \over 2}\phi ^{2}-{\lambda \over 4!}\phi ^{4}\right)}}{\int {\mathcal {D}}\phi e^{i\int d^{4}x\left({1 \over 2}\partial ^{\mu }\phi \partial _{\mu }\phi -{m^{2} \over 2}\phi ^{2}-{\lambda \over 4!}\phi ^{4}\right)}}}.}$

All of these Green's functions may be obtained by expanding the exponential in J(x)φ(x) in the generating function

${\displaystyle Z[J]=\int {\mathcal {D}}\phi e^{i\int d^{4}x\left({1 \over 2}\partial ^{\mu }\phi \partial _{\mu }\phi -{m^{2} \over 2}\phi ^{2}-{\lambda \over 4!}\phi ^{4}+J\phi \right)}=Z[0]\sum _{n=0}^{\infty }{\frac {1}{n!}}\langle \Omega |{\mathcal {T}}\{{\phi }(x_{1})\cdots {\phi }(x_{n})\}|\Omega \rangle .}$

A Wick rotation may be applied to make time imaginary. Changing the signature to (++++) then gives a φ4 statistical mechanics integral over a 4-dimensional Euclidean space,

${\displaystyle Z[J]=\int {\mathcal {D}}\phi e^{-\int d^{4}x\left({1 \over 2}(\nabla \phi )^{2}+{m^{2} \over 2}\phi ^{2}+{\lambda \over 4!}\phi ^{4}+J\phi \right)}.}$

Normally, this is applied to the scattering of particles with fixed momenta, in which case, a Fourier transform is useful, giving instead

${\displaystyle {\tilde {Z}}[{\tilde {J}}]=\int {\mathcal {D}}{\tilde {\phi }}e^{-\int d^{4}p\left({1 \over 2}(p^{2}+m^{2}){\tilde {\phi }}^{2}-{\tilde {J}}{\tilde {\phi }}+{\lambda \over 4!}{\int {d^{4}p_{1} \over (2\pi )^{4}}{d^{4}p_{2} \over (2\pi )^{4}}{d^{4}p_{3} \over (2\pi )^{4}}\delta (p-p_{1}-p_{2}-p_{3}){\tilde {\phi }}(p){\tilde {\phi }}(p_{1}){\tilde {\phi }}(p_{2}){\tilde {\phi }}(p_{3})}\right)}.}$

where ${\displaystyle \delta (x)}$ is the Dirac delta function.

The standard trick to evaluate this functional integral is to write it as a product of exponential factors, schematically,

${\displaystyle {\tilde {Z}}[{\tilde {J}}]=\int {\mathcal {D}}{\tilde {\phi }}\prod _{p}\left[e^{-(p^{2}+m^{2}){\tilde {\phi }}^{2}/2}e^{-\lambda /4!\int {d^{4}p_{1} \over (2\pi )^{4}}{d^{4}p_{2} \over (2\pi )^{4}}{d^{4}p_{3} \over (2\pi )^{4}}\delta (p-p_{1}-p_{2}-p_{3}){\tilde {\phi }}(p){\tilde {\phi }}(p_{1}){\tilde {\phi }}(p_{2}){\tilde {\phi }}(p_{3})}e^{{\tilde {J}}{\tilde {\phi }}}\right].}$

The second two exponential factors can be expanded as power series, and the combinatorics of this expansion can be represented graphically. The integral with λ = 0 can be treated as a product of infinitely many elementary Gaussian integrals, and the result may be expressed as a sum of Feynman diagrams, calculated using the following Feynman rules:

• Each field ${\displaystyle {\tilde {\phi }}(p)}$ in the n-point Euclidean Green's function is represented by an external line (half-edge) in the graph, and associated with momentum p.
• Each vertex is represented by a factor .
• At a given order λk, all diagrams with n external lines and k vertices are constructed such that the momenta flowing into each vertex is zero. Each internal line is represented by a factor 1/(q2 + m2), where q is the momentum flowing through that line.
• Any unconstrained momenta are integrated over all values.
• The result is divided by a symmetry factor, which is the number of ways the lines and vertices of the graph can be rearranged without changing its connectivity.
• Do not include graphs containing "vacuum bubbles", connected subgraphs with no external lines.

The last rule takes into account the effect of dividing by ${\displaystyle {\tilde {Z}}[0]}$. The Minkowski-space Feynman rules are similar, except that each vertex is represented by ${\displaystyle -i\lambda }$, while each internal line is represented by a factor i/(q2-m2 + i ε), where the ε term represents the small Wick rotation needed to make the Minkowski-space Gaussian integral converge.

## Renormalization

The integrals over unconstrained momenta, called "loop integrals", in the Feynman graphs typically diverge. This is normally handled by renormalization, which is a procedure of adding divergent counter-terms to the Lagrangian in such a way that the diagrams constructed from the original Lagrangian and counterterms are finite. [2] A renormalization scale must be introduced in the process, and the coupling constant and mass become dependent upon it. It is this dependence that leads to the Landau pole mentioned earlier, and requires that the cutoff be kept finite. Alternatively, if the cutoff is allowed to go to infinity, the Landau pole can be avoided only if the renormalized coupling runs to zero, rendering the theory trivial. [3]

## Spontaneous symmetry breaking

An interesting feature can occur if m2 turns negative, but with λ still positive. In this case, the vacuum consists of two lowest-energy states, each of which spontaneously breaks the Z2 global symmetry of the original theory. This leads to the appearance of interesting collective states like domain walls. In the O(2) theory, the vacua would lie on a circle, and the choice of one would spontaneously break the O(2) symmetry. A continuous broken symmetry leads to a Goldstone boson. This type of spontaneous symmetry breaking is the essential component of the Higgs mechanism. [4]

### Spontaneous breaking of discrete symmetries

The simplest relativistic system in which we can see spontaneous symmetry breaking is one with a single scalar field ${\displaystyle \varphi }$ with Lagrangian

${\displaystyle {\mathcal {L}}(\varphi )={\frac {1}{2}}(\partial \varphi )^{2}+{\frac {1}{2}}\mu ^{2}\varphi ^{2}-{\frac {1}{4}}\lambda \varphi ^{4}\equiv {\frac {1}{2}}(\partial \varphi )^{2}-V(\varphi ),}$

where ${\displaystyle \mu ^{2}>0}$ and

${\displaystyle V(\varphi )\equiv -{\frac {1}{2}}\mu ^{2}\varphi ^{2}+{\frac {1}{4}}\lambda \varphi ^{4}.}$

Minimizing the potential with respect to ${\displaystyle \varphi }$ leads to

${\displaystyle V'(\varphi _{0})=0\Longleftrightarrow \varphi _{0}^{2}\equiv v^{2}={\frac {\mu ^{2}}{\lambda }}.}$

We now expand the field around this minimum writing

${\displaystyle \varphi (x)=v+\sigma (x),}$

and substituting in the lagrangian we get

${\displaystyle {\mathcal {L}}(\varphi )=\underbrace {-{\frac {\mu ^{4}}{4\lambda }}} _{\text{unimportant constant}}+\underbrace {{\frac {1}{2}}[(\partial \sigma )^{2}-({\sqrt {2}}\mu )^{2}\sigma ^{2}]} _{\text{massive scalar field}}+\underbrace {(-\lambda v\sigma ^{3}-{\frac {\lambda }{4}}\sigma ^{4})} _{\text{self-interactions}}.}$

where we notice that the scalar ${\displaystyle \sigma }$ has now a positive mass term.

Thinking in terms of vacuum expectation values lets us understand what happens to a symmetry when it is spontaneously broken. The original Lagrangian was invariant under the ${\displaystyle Z_{2}}$ symmetry ${\displaystyle \varphi \rightarrow -\varphi }$. Since

${\displaystyle \langle \Omega |\varphi |\Omega \rangle =\pm {\sqrt {\frac {6\mu ^{2}}{\lambda }}}}$

are both minima, there must be two different vacua: ${\displaystyle |\Omega _{\pm }\rangle }$ with

${\displaystyle \langle \Omega _{\pm }|\varphi |\Omega _{\pm }\rangle =\pm {\sqrt {\frac {6\mu ^{2}}{\lambda }}}.}$

Since the ${\displaystyle Z_{2}}$ symmetry takes ${\displaystyle \varphi \rightarrow -\varphi }$, it must take ${\displaystyle |\Omega _{+}\rangle \leftrightarrow |\Omega _{-}\rangle }$ as well. The two possible vacua for the theory are equivalent, but one has to be chosen. Although it seems that in the new Lagrangian the ${\displaystyle Z_{2}}$ symmetry has disappeared, it is still there, but it now acts as ${\displaystyle \sigma \rightarrow -\sigma -2v.}$ This is a general feature of spontaneously broken symmetries: the vacuum breaks them, but they are not actually broken in the Lagrangian, just hidden, and often realized only in a nonlinear way. [5]

## Exact solutions

There exists a set of exact classical solutions to the equation of motion of the theory written in the form

${\displaystyle \partial ^{2}\varphi +\mu _{0}^{2}\varphi +\lambda \varphi ^{3}=0}$

that can be written for the massless, ${\displaystyle \mu _{0}=0}$ case as [6]

${\displaystyle \varphi (x)=\pm \mu \left({\frac {2}{\lambda }}\right)^{1 \over 4}{\rm {sn}}(p\cdot x+\theta ,-1),}$

with ${\displaystyle \,{\rm {sn\!}}}$ a Jacobi elliptic function and ${\displaystyle \,\mu ,\theta }$ two integration constants, provided the following dispersion relation holds

${\displaystyle p^{2}=\mu ^{2}\left({\frac {\lambda }{2}}\right)^{1 \over 2}.}$

The interesting point is that we started with a massless equation but the exact solution describes a wave with a dispersion relation proper to a massive solution. When the mass term is not zero one gets

${\displaystyle \varphi (x)=\pm {\sqrt {\frac {2\mu ^{4}}{\mu _{0}^{2}+{\sqrt {\mu _{0}^{4}+2\lambda \mu ^{4}}}}}}{\rm {sn}}\left(p\cdot x+\theta ,{\sqrt {\frac {-\mu _{0}^{2}+{\sqrt {\mu _{0}^{4}+2\lambda \mu ^{4}}}}{-\mu _{0}^{2}-{\sqrt {\mu _{0}^{4}+2\lambda \mu ^{4}}}}}}\right)}$

being now the dispersion relation

${\displaystyle p^{2}=\mu _{0}^{2}+{\frac {\lambda \mu ^{4}}{\mu _{0}^{2}+{\sqrt {\mu _{0}^{4}+2\lambda \mu ^{4}}}}}.}$

Finally, for the case of a symmetry breaking one has

${\displaystyle \varphi (x)=\pm v\cdot {\rm {dn}}(p\cdot x+\theta ,i),}$

being ${\displaystyle v={\sqrt {\frac {2\mu _{0}^{2}}{3\lambda }}}}$ and the following dispersion relation holds

${\displaystyle p^{2}={\frac {\lambda v^{2}}{2}}.}$

These wave solutions are interesting as, notwithstanding we started with an equation with a wrong mass sign, the dispersion relation has the right one. Besides, Jacobi function ${\displaystyle \,{\rm {dn}}\!}$ has no real zeros and so the field is never zero but moves around a given constant value that is initially chosen describing a spontaneous breaking of symmetry.

A proof of uniqueness can be provided if we note that the solution can be sought in the form ${\displaystyle \varphi =\varphi (\xi )}$ being ${\displaystyle \xi =p\cdot x}$. Then, the partial differential equation becomes an ordinary differential equation that is the one defining the Jacobi elliptic function with ${\displaystyle p}$ satisfying the proper dispersion relation.

## Related Research Articles

In theoretical physics, quantum field theory (QFT) is a theoretical framework that combines classical field theory, special relativity and quantum mechanics, but not general relativity's description of gravity. QFT is used in particle physics to construct physical models of subatomic particles and in condensed matter physics to construct models of quasiparticles.

The stress–energy tensor, sometimes called the stress–energy–momentum tensor or the energy–momentum tensor, is a tensor quantity in physics that describes the density and flux of energy and momentum in spacetime, generalizing the stress tensor of Newtonian physics. It is an attribute of matter, radiation, and non-gravitational force fields. This density and flux of energy and momentum are the sources of the gravitational field in the Einstein field equations of general relativity, just as mass density is the source of such a field in Newtonian gravity.

Noether's theorem or Noether's first theorem states that every differentiable symmetry of the action of a physical system has a corresponding conservation law. The theorem was proven by mathematician Emmy Noether in 1915 and published in 1918, after a special case was proven by E. Cosserat and F. Cosserat in 1909. The action of a physical system is the integral over time of a Lagrangian function, from which the system's behavior can be determined by the principle of least action. This theorem only applies to continuous and smooth symmetries over physical space.

In probability theory, the Borel–Kolmogorov paradox is a paradox relating to conditional probability with respect to an event of probability zero. It is named after Émile Borel and Andrey Kolmogorov.

In physics, the Polyakov action is an action of the two-dimensional conformal field theory describing the worldsheet of a string in string theory. It was introduced by Stanley Deser and Bruno Zumino and independently by L. Brink, P. Di Vecchia and P. S. Howe, and has become associated with Alexander Polyakov after he made use of it in quantizing the string. The action reads

In field theory, the Stueckelberg action describes a massive spin-1 field as an R Yang–Mills theory coupled to a real scalar field φ. This scalar field takes on values in a real 1D affine representation of R with m as the coupling strength.

In particle physics, Yukawa's interaction or Yukawa coupling, named after Hideki Yukawa, is an interaction between a scalar field ϕ and a Dirac field ψ of the type

This article describes the mathematics of the Standard Model of particle physics, a gauge quantum field theory containing the internal symmetries of the unitary product group SU(3) × SU(2) × U(1). The theory is commonly viewed as containing the fundamental set of particles – the leptons, quarks, gauge bosons and the Higgs boson.

Tensor–vector–scalar gravity (TeVeS), developed by Jacob Bekenstein in 2004, is a relativistic generalization of Mordehai Milgrom's Modified Newtonian dynamics (MOND) paradigm.

Scalar–tensor–vector gravity (STVG) is a modified theory of gravity developed by John Moffat, a researcher at the Perimeter Institute for Theoretical Physics in Waterloo, Ontario. The theory is also often referred to by the acronym MOG.

In theoretical physics, scalar electrodynamics is a theory of a U(1) gauge field coupled to a charged spin 0 scalar field that takes the place of the Dirac fermions in "ordinary" quantum electrodynamics. The scalar field is charged, and with an appropriate potential, it has the capacity to break the gauge symmetry via the Abelian Higgs mechanism.

In theoretical physics, scalar field theory can refer to a relativistically invariant classical or quantum theory of scalar fields. A scalar field is invariant under any Lorentz transformation.

Alternatives to general relativity are physical theories that attempt to describe the phenomenon of gravitation in competition to Einstein's theory of general relativity. There have been many different attempts at constructing an ideal theory of gravity.

f(R) is a type of modified gravity theory which generalizes Einstein's general relativity. f(R) gravity is actually a family of theories, each one defined by a different function, f, of the Ricci scalar, R. The simplest case is just the function being equal to the scalar; this is general relativity. As a consequence of introducing an arbitrary function, there may be freedom to explain the accelerated expansion and structure formation of the Universe without adding unknown forms of dark energy or dark matter. Some functional forms may be inspired by corrections arising from a quantum theory of gravity. f(R) gravity was first proposed in 1970 by Hans Adolph Buchdahl. It has become an active field of research following work by Starobinsky on cosmic inflation. A wide range of phenomena can be produced from this theory by adopting different functions; however, many functional forms can now be ruled out on observational grounds, or because of pathological theoretical problems.

In quantum field theory, a non-topological soliton (NTS) is a soliton field configuration possessing, contrary to a topological one, a conserved Noether charge and stable against transformation into usual particles of this field for the following reason. For fixed charge Q, the mass sum of Q free particles exceeds the energy (mass) of the NTS so that the latter is energetically favorable to exist.

In physics, a gauge theory is a type of field theory in which the Lagrangian does not change under local transformations from certain Lie groups.

In mathematics, the method of steepest descent or stationary-phase method or saddle-point method is an extension of Laplace's method for approximating an integral, where one deforms a contour integral in the complex plane to pass near a stationary point, in roughly the direction of steepest descent or stationary phase. The saddle-point approximation is used with integrals in the complex plane, whereas Laplace’s method is used with real integrals.

In quantum field theory, and in the significant subfields of quantum electrodynamics (QED) and quantum chromodynamics (QCD), the two-body Dirac equations (TBDE) of constraint dynamics provide a three-dimensional yet manifestly covariant reformulation of the Bethe–Salpeter equation for two spin-1/2 particles. Such a reformulation is necessary since without it, as shown by Nakanishi, the Bethe–Salpeter equation possesses negative-norm solutions arising from the presence of an essentially relativistic degree of freedom, the relative time. These "ghost" states have spoiled the naive interpretation of the Bethe–Salpeter equation as a quantum mechanical wave equation. The two-body Dirac equations of constraint dynamics rectify this flaw. The forms of these equations can not only be derived from quantum field theory they can also be derived purely in the context of Dirac's constraint dynamics and relativistic mechanics and quantum mechanics. Their structures, unlike the more familiar two-body Dirac equation of Breit, which is a single equation, are that of two simultaneous quantum relativistic wave equations. A single two-body Dirac equation similar to the Breit equation can be derived from the TBDE. Unlike the Breit equation, it is manifestly covariant and free from the types of singularities that prevent a strictly nonperturbative treatment of the Breit equation.

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.

The pressuron is a hypothetical scalar particle which couples to both gravity and matter theorised in 2013. Although originally postulated without self-interaction potential, the pressuron is also a dark energy candidate when it has such a potential. The pressuron takes its name from the fact that it decouples from matter in pressure-less regimes, allowing the scalar-tensor theory of gravity involving it to pass solar system tests, as well as tests on the equivalence principle, even though it is fundamentally coupled to matter. Such a decoupling mechanism could explain why gravitation seems to be well described by general relativity at present epoch, while it could actually be more complex than that. Because of the way it couples to matter, the pressuron is a special case of the hypothetical string dilaton. Therefore, it is one of the possible solutions to the present non-observation of various signals coming from massless or light scalar fields that are generically predicted in string theory.

## References

1. A general reference for this section is Ramond, Pierre (2001-12-21). Field Theory: A Modern Primer (Second Edition). USA: Westview Press. ISBN   0-201-30450-3..
2. See the previous reference, or for more detail, Itzykson, Zuber; Zuber, Jean-Bernard (2006-02-24). Quantum Field Theory. Dover..
3. D. J. E. Callaway (1988). "Triviality Pursuit: Can Elementary Scalar Particles Exist?". Physics Reports . 167 (5): 241–320. Bibcode:1988PhR...167..241C. doi:10.1016/0370-1573(88)90008-7.
4. A basic description of spontaneous symmetry breaking may be found in the previous two references, or most other Quantum Field Theory books.
5. Schwartz, Quantum Field Theory and the Standard Model, Chapter 28.1
6. Marco Frasca (2011). "Exact Solutions of Classical Scalar Field Equations". Journal of Nonlinear Mathematical Physics . 18 (2): 291–297. arXiv:. Bibcode:2011JNMP...18..291F. doi:10.1142/S1402925111001441.
• 't Hooft, G., "The Conceptual Basis of Quantum Field Theory" (online version).
• Bazghandi, Mustafa (August 2019). "Lie symmetries and similarity solutions of phi-four equation". Indian Journal of Mathematics. 61 (2): 187–197.