HOME

TheInfoList



OR:

An instanton (or pseudoparticle) is a notion appearing in theoretical and
mathematical physics Mathematical physics refers to the development of mathematical methods for application to problems in physics. The '' Journal of Mathematical Physics'' defines the field as "the application of mathematics to problems in physics and the developm ...
. An instanton is a classical solution to
equations of motion In physics, equations of motion are equations that describe the behavior of a physical system in terms of its motion as a function of time.''Encyclopaedia of Physics'' (second Edition), R.G. Lerner, G.L. Trigg, VHC Publishers, 1991, ISBN (V ...
with a
finite Finite is the opposite of infinite. It may refer to: * Finite number (disambiguation) * Finite set, a set whose cardinality (number of elements) is some natural number * Finite verb, a verb form that has a subject, usually being inflected or marke ...
, non-zero action, either in
quantum mechanics Quantum mechanics is a fundamental theory in physics that provides a description of the physical properties of nature at the scale of atoms and subatomic particles. It is the foundation of all quantum physics including quantum chemistry, ...
or in
quantum field theory In theoretical physics, quantum field theory (QFT) is a theoretical framework that combines classical field theory, special relativity, and quantum mechanics. QFT is used in particle physics to construct physical models of subatomic particles and ...
. More precisely, it is a solution to the equations of motion of the
classical field theory A classical field theory is a physical theory that predicts how one or more physical fields interact with matter through field equations, without considering effects of quantization; theories that incorporate quantum mechanics are called quantum ...
on a Euclidean
spacetime In physics, spacetime is a mathematical model that combines the three dimensions of space and one dimension of time into a single four-dimensional manifold. Spacetime diagrams can be used to visualize relativistic effects, such as why differ ...
. In such quantum theories, solutions to the equations of motion may be thought of as critical points of the action. The critical points of the action may be
local maxima In mathematical analysis, the maxima and minima (the respective plurals of maximum and minimum) of a function, known collectively as extrema (the plural of extremum), are the largest and smallest value of the function, either within a given ran ...
of the action, local minima, or
saddle point In mathematics, a saddle point or minimax point is a point on the surface of the graph of a function where the slopes (derivatives) in orthogonal directions are all zero (a critical point), but which is not a local extremum of the functi ...
s. Instantons are important in
quantum field theory In theoretical physics, quantum field theory (QFT) is a theoretical framework that combines classical field theory, special relativity, and quantum mechanics. QFT is used in particle physics to construct physical models of subatomic particles and ...
because: * they appear in the path integral as the leading quantum corrections to the classical behavior of a system, and * they can be used to study the tunneling behavior in various systems such as a
Yang–Mills theory In mathematical physics, Yang–Mills theory is a gauge theory based on a special unitary group SU(''N''), or more generally any compact, reductive Lie algebra. Yang–Mills theory seeks to describe the behavior of elementary particles using t ...
. Relevant to dynamics, families of instantons permit that instantons, i.e. different critical points of the equation of motion, be related to one another. In physics instantons are particularly important because the condensation of instantons (and noise-induced anti-instantons) is believed to be the explanation of the noise-induced chaotic phase known as self-organized criticality.


Mathematics

Mathematically, a ''Yang–Mills instanton'' is a self-dual or anti-self-dual connection in a
principal bundle In mathematics, a principal bundle is a mathematical object that formalizes some of the essential features of the Cartesian product X \times G of a space X with a group G. In the same way as with the Cartesian product, a principal bundle P is equi ...
over a four-dimensional
Riemannian manifold In differential geometry, a Riemannian manifold or Riemannian space , so called after the German mathematician Bernhard Riemann, is a real, smooth manifold ''M'' equipped with a positive-definite inner product ''g'p'' on the tangent space ...
that plays the role of physical
space-time In physics, spacetime is a mathematical model that combines the three dimensions of space and one dimension of time into a single four-dimensional manifold. Spacetime diagrams can be used to visualize relativistic effects, such as why differen ...
in non-abelian
gauge theory In physics, a gauge theory is a type of field theory in which the Lagrangian (and hence the dynamics of the system itself) does not change (is invariant) under local transformations according to certain smooth families of operations ( Lie grou ...
. Instantons are topologically nontrivial solutions of Yang–Mills equations that absolutely minimize the energy functional within their topological type. The first such solutions were discovered in the case of four-dimensional Euclidean space compactified to the four-dimensional sphere, and turned out to be localized in space-time, prompting the names ''pseudoparticle'' and ''instanton''. Yang–Mills instantons have been explicitly constructed in many cases by means of
twistor theory In theoretical physics, twistor theory was proposed by Roger Penrose in 1967 as a possible path to quantum gravity and has evolved into a branch of theoretical and mathematical physics. Penrose proposed that twistor space should be the basic ar ...
, which relates them to algebraic vector bundles on algebraic surfaces, and via the
ADHM construction In mathematical physics and gauge theory, the ADHM construction or monad construction is the construction of all instantons using methods of linear algebra by Michael Atiyah, Vladimir Drinfeld, Nigel Hitchin, Yuri I. Manin in their paper "Cons ...
, or hyperkähler reduction (see hyperkähler manifold), a sophisticated linear algebra procedure. The groundbreaking work of
Simon Donaldson Sir Simon Kirwan Donaldson (born 20 August 1957) is an English mathematician known for his work on the topology of smooth (differentiable) four-dimensional manifolds, Donaldson–Thomas theory, and his contributions to Kähler geometry. H ...
, for which he was later awarded the
Fields medal The Fields Medal is a prize awarded to two, three, or four mathematicians under 40 years of age at the International Congress of the International Mathematical Union (IMU), a meeting that takes place every four years. The name of the award h ...
, used the moduli space of instantons over a given four-dimensional differentiable manifold as a new invariant of the manifold that depends on its differentiable structure and applied it to the construction of
homeomorphic In the mathematical field of topology, a homeomorphism, topological isomorphism, or bicontinuous function is a bijective and continuous function between topological spaces that has a continuous inverse function. Homeomorphisms are the isomor ...
but not diffeomorphic four-manifolds. Many methods developed in studying instantons have also been applied to
monopoles Monopole may refer to: * Magnetic monopole, or Dirac monopole, a hypothetical particle that may be loosely described as a magnet with only one pole * Monopole (mathematics), a connection over a principal bundle G with a section (the Higgs field) ...
. This is because magnetic monopoles arise as solutions of a dimensional reduction of the Yang–Mills equations.


Quantum mechanics

An ''instanton'' can be used to calculate the transition probability for a quantum mechanical particle tunneling through a potential barrier. One example of a system with an ''instanton'' effect is a particle in a
double-well potential The so-called double-well potential is one of a number of Quartic function, quartic potentials of considerable interest in quantum mechanics, in quantum field theory and elsewhere for the exploration of various physical phenomena or mathematical pro ...
. In contrast to a classical particle, there is non-vanishing probability that it crosses a region of potential energy higher than its own energy.


Motivation of considering instantons

Consider the quantum mechanics of a single particle motion inside the double-well potential V(x)=(x^2-1)^2. The potential energy takes its minimal value at x=\pm 1, and these are called classical minima because the particle tends to lie in one of them in the classical mechanics. There are two lowest energy states in the classical mechanics. In quantum mechanics, we solve the
Schrödinger equation The Schrödinger equation is a linear partial differential equation that governs the wave function of a quantum-mechanical system. It is a key result in quantum mechanics, and its discovery was a significant landmark in the development of th ...
:-\psi+V(x)\psi(x)=E\psi(x), to identify the energy eigenstates. If we do this, we will find only the unique lowest-energy state instead of two states. The ground-state wave function localizes at both of the classical minima x=\pm 1 instead of only one of them because of the quantum interference or quantum tunneling. Instantons are the tool to understand why this happens within the semi-classical approximation of the path-integral formulation in Euclidean time. We will first see this by using the WKB approximation that approximately computes the wave function itself, and will move on to introduce instantons by using the path integral formulation.


WKB approximation

One way to calculate this probability is by means of the semi-classical WKB approximation, which requires the value of \hbar to be small. The time independent Schrödinger equation for the particle reads :\frac=\frac\psi. If the potential were constant, the solution would be a plane wave, up to a proportionality factor, :\psi = \exp(-\mathrmkx)\, with :k=\frac. This means that if the energy of the particle is smaller than the potential energy, one obtains an exponentially decreasing function. The associated tunneling amplitude is proportional to :e^, where ''a'' and ''b'' are the beginning and endpoint of the tunneling trajectory.


Path integral interpretation via instantons

Alternatively, the use of path integrals allows an ''instanton'' interpretation and the same result can be obtained with this approach. In path integral formulation, the transition amplitude can be expressed as :K(a,b;t)=\langle x=a, e^, x=b\rangle =\int d (t)^. Following the process of
Wick rotation In physics, Wick rotation, named after Italian physicist Gian Carlo Wick, is a method of finding a solution to a mathematical problem in Minkowski space from a solution to a related problem in Euclidean space by means of a transformation that s ...
(analytic continuation) to Euclidean spacetime (it\rightarrow \tau), one gets :K_E(a,b;\tau)=\langle x=a, e^, x=b\rangle =\int d (\tau)^, with the Euclidean action :S_E=\int_^\left(\fracm\left(\frac\right)^2+V(x)\right) d\tau. The potential energy changes sign V(x) \rightarrow - V(x) under the Wick rotation and the minima transform into maxima, thereby V(x) exhibits two "hills" of maximal energy. Let us now consider the local minimum of the Euclidean action S_E with the double-well potential V(x)=(x^2-1)^2, and we set m=1 just for simplicity of computation. Since we want to know how the two classically lowest energy states x=\pm1 are connected, let us set a=-1 and b=1. For a=-1 and b=1, we can rewrite the Euclidean action as : S_E=\int_^d \tau \left(-\sqrt\right)^2 + \sqrt\int_^d \tau\sqrt : \quad =\int_^d \tau \left(-\sqrt\right)^2 + \int_^d x (1-x^2). : \quad \ge . The above inequality is saturated by the solution of =\sqrt with the condition x(\tau_a)=-1 and x(\tau_b)=1. Such solutions exist, and the solution takes the simple form when \tau_a=-\infty and \tau_b=\infty. The explicit formula for the instanton solution is given by : x(\tau)=\tanh\left((\tau-\tau_0)\right). Here \tau_0 is an arbitrary constant. Since this solution jumps from one classical vacuum x=-1 to another classical vacuum x=1 instantaneously around \tau=\tau_0, it is called an instanton.


Explicit formula for double-well potential

The explicit formula for the eigenenergies of the Schrödinger equation with
double-well potential The so-called double-well potential is one of a number of Quartic function, quartic potentials of considerable interest in quantum mechanics, in quantum field theory and elsewhere for the exploration of various physical phenomena or mathematical pro ...
has been given by Müller–Kirsten with derivation by both a perturbation method (plus boundary conditions) applied to the Schrödinger equation, and explicit derivation from the path integral (and WKB). The result is the following. Defining parameters of the Schrödinger equation and the potential by the equations : \frac + -V(z)(z) = 0, and : V(z) = -\fracz^2h^4 + \fracc^2z^4, \;\;\; c^2>0, \; h^4>0, the eigenvalues for q_0=1,3,5,... are found to be: :E_(q_0,h^2) = -\frac + \fracq_0h^2 - \frac - \frac(17q^2_0+19) +O(\frac) : \mp \frac e^. Clearly these eigenvalues are asymptotically (h^2\rightarrow\infty) degenerate as expected as a consequence of the harmonic part of the potential.


Results

Results obtained from the mathematically well-defined Euclidean path integral may be Wick-rotated back and give the same physical results as would be obtained by appropriate treatment of the (potentially divergent) Minkowskian path integral. As can be seen from this example, calculating the transition probability for the particle to tunnel through a classically forbidden region (V(x)) with the Minkowskian path integral corresponds to calculating the transition probability to tunnel through a classically allowed region (with potential −''V''(''X'')) in the Euclidean path integral (pictorially speaking – in the Euclidean picture – this transition corresponds to a particle rolling from one hill of a double-well potential standing on its head to the other hill). This classical solution of the Euclidean equations of motion is often named "kink solution" and is an example of an ''instanton''. In this example, the two "vacua" (i.e. ground states) of the
double-well potential The so-called double-well potential is one of a number of Quartic function, quartic potentials of considerable interest in quantum mechanics, in quantum field theory and elsewhere for the exploration of various physical phenomena or mathematical pro ...
, turn into hills in the Euclideanized version of the problem. Thus, the ''instanton'' field solution of the (Euclidean, i. e., with imaginary time) (1 + 1)-dimensional field theory – first quantized quantum mechanical description – allows to be interpreted as a tunneling effect between the two vacua (ground states – higher states require periodic instantons) of the physical (1-dimensional space + real time) Minkowskian system. In the case of the double-well potential written : V(\phi) = \frac\left(1 - \frac\right)^2 the instanton, i.e. solution of : \frac = V'(\phi), (i.e. with energy E_ = 0), is : \phi_c(\tau) = \frac\tanh\left (\tau - \tau_0)\right where \tau = it is the Euclidean time. ''Note'' that a naïve perturbation theory around one of those two vacua alone (of the Minkowskian description) would never show this ''non-perturbative tunneling effect'', dramatically changing the picture of the vacuum structure of this quantum mechanical system. In fact the naive perturbation theory has to be supplemented by boundary conditions, and these supply the nonperturbative effect, as is evident from the above explicit formula and analogous calculations for other potentials such as a cosine potential (cf.
Mathieu function In mathematics, Mathieu functions, sometimes called angular Mathieu functions, are solutions of Mathieu's differential equation : \frac + (a - 2q\cos(2x))y = 0, where a and q are parameters. They were first introduced by Émile Léonard Mathieu, ...
) or other periodic potentials (cf. e.g.
Lamé function In mathematics, a Lamé function, or ellipsoidal harmonic function, is a solution of Lamé's equation, a second-order ordinary differential equation. It was introduced in the paper . Lamé's equation appears in the method of separation of variable ...
and spheroidal wave function) and irrespective of whether one uses the Schrödinger equation or the path integral. Therefore, the perturbative approach may not completely describe the vacuum structure of a physical system. This may have important consequences, for example, in the theory of "axions" where the non-trivial QCD vacuum effects (like the ''instantons'') spoil the Peccei–Quinn symmetry explicitly and transform massless
Nambu–Goldstone boson In particle and condensed matter physics, Goldstone bosons or Nambu–Goldstone bosons (NGBs) are bosons that appear necessarily in models exhibiting spontaneous breakdown of continuous symmetries. They were discovered by Yoichiro Nambu in part ...
s into massive pseudo-Nambu–Goldstone ones.


Periodic instantons

In one-dimensional field theory or quantum mechanics one defines as ``instanton´´ a field configuration which is a solution of the classical (Newton-like) equation of motion with Euclidean time and finite Euclidean action. In the context of
soliton In mathematics and physics, a soliton or solitary wave is a self-reinforcing wave packet that maintains its shape while it propagates at a constant velocity. Solitons are caused by a cancellation of nonlinear and dispersive effects in the me ...
theory the corresponding solution is known as a
kink Kink or KINK may refer to: Common uses * Kink (sexuality), a colloquial term for non-normative sexual behavior * Kink, a curvature, bend, or twist Geography * Kink, Iran, a village in Iran * The Kink, a man-made geographic feature in remote ea ...
. In view of their analogy with the behaviour of classical particles such configurations or solutions, as well as others, are collectively known as pseudoparticles or pseudoclassical configurations. The ``instanton´´ (kink) solution is accompanied by another solution known as ``anti-instanton´´ (anti-kink), and instanton and anti-instanton are distinguished by ``topological charges´´ +1 and −1 respectively, but have the same Euclidean action. ``Periodic instantons´´ are a generalization of instantons. In explicit form they are expressible in terms of
Jacobian elliptic functions In mathematics, the Jacobi elliptic functions are a set of basic elliptic functions. They are found in the description of the motion of a pendulum (see also pendulum (mathematics)), as well as in the design of electronic elliptic filters. While t ...
which are periodic functions (effectively generalisations of trigonometrical functions). In the limit of infinite period these periodic instantons – frequently known as ``bounces´´, ``bubbles´´ or the like – reduce to instantons. The stability of these pseudoclassical configurations can be investigated by expanding the Lagrangian defining the theory around the pseudoparticle configuration and then investigating the equation of small fluctuations around it. For all versions of quartic potentials (double-well, inverted double-well) and periodic (Mathieu) potentials these equations were discovered to be Lamé equations, see
Lamé function In mathematics, a Lamé function, or ellipsoidal harmonic function, is a solution of Lamé's equation, a second-order ordinary differential equation. It was introduced in the paper . Lamé's equation appears in the method of separation of variable ...
. The eigenvalues of these equations are known and permit in the case of instability the calculation of decay rates by evaluation of the path integral.


Instantons in reaction rate theory

In the context of reaction rate theory periodic instantons are used to calculate the rate of tunneling of atoms in chemical reactions. The progress of a chemical reaction can be described as the movement of pseudoparticle on a high dimensional
potential energy surface A potential energy surface (PES) describes the energy of a system, especially a collection of atoms, in terms of certain parameters, normally the positions of the atoms. The surface might define the energy as a function of one or more coordinat ...
(PES). The thermal rate constant k can then be related to the imaginary part of the free energy F by k(\beta) = -\frac \text \mathrm = \frac \text \ \text(Z_k) \approx \frac \frac ,\ \ \text Z_k \gg \text Z_k whereby Z_kis the canonical partition function which is calculated by taking the trace of the Boltzmann operator in the position representation. Z_k = \text(e^) = \int d\mathbf \left\langle \mathbf \left, e^ \ \mathbf \right\rangle Using a wick rotation and identifying the Euclidean time with \hbar\beta = 1/(k_b T) one obtains a path integral representation for the partition function in mass weighted coordinates :Z_k = \oint \mathcal \mathbf(\tau) e^, \ \ \ S_E = \int_0^ \left( \frac^2 + V(\mathbf(\tau)) \right) d\tau The path integral is then approximated via a steepest descent integration which takes only into account the contributions from the classical solutions and quadratic fluctuations around them. This yields for the rate constant expression in mass weighted coordinates k(\beta) = \frac \left( \frac \right)^\frac where \mathbf_\textis a periodic instanton and \mathbf_\textis the trivial solution of the pseudoparticle at rest which represents the reactant state configuration.


Inverted double-well formula

As for the double-well potential one can derive the eigenvalues for the inverted double-well potential. In this case, however, the eigenvalues are complex. Defining parameters by the equations : \frac + - V(z)(z) = 0, \;\;\; V(z) = \frach^4z^2 - \fracc^2z^4, the eigenvalues as given by Müller-Kirsten are, for q_0 = 1,3,5,..., :E = \fracq_0h^2 - \frac(q^2_0+1) -\frac(4q^2_0+29) + O(\frac) \pm i\frace^. The imaginary part of this expression agrees with the well known result of Bender and Wu. In their notation \hbar = 1, q_0=2K+1, h^6/2c^2 = \epsilon.


Quantum field theory

In studying
quantum field theory In theoretical physics, quantum field theory (QFT) is a theoretical framework that combines classical field theory, special relativity, and quantum mechanics. QFT is used in particle physics to construct physical models of subatomic particles and ...
(QFT), the vacuum structure of a theory may draw attention to instantons. Just as a double-well quantum mechanical system illustrates, a naïve vacuum may not be the true vacuum of a field theory. Moreover, the true vacuum of a field theory may be an "overlap" of several topologically inequivalent sectors, so called " topological vacua". A well understood and illustrative example of an ''instanton'' and its interpretation can be found in the context of a QFT with a non-abelian gauge group,See also:
Non-abelian gauge theory In physics, a gauge theory is a type of field theory in which the Lagrangian (and hence the dynamics of the system itself) does not change (is invariant) under local transformations according to certain smooth families of operations (Lie grou ...
a
Yang–Mills theory In mathematical physics, Yang–Mills theory is a gauge theory based on a special unitary group SU(''N''), or more generally any compact, reductive Lie algebra. Yang–Mills theory seeks to describe the behavior of elementary particles using t ...
. For a Yang–Mills theory these inequivalent sectors can be (in an appropriate gauge) classified by the third
homotopy group In mathematics, homotopy groups are used in algebraic topology to classify topological spaces. The first and simplest homotopy group is the fundamental group, denoted \pi_1(X), which records information about loops in a space. Intuitively, homotop ...
of SU(2) (whose group manifold is the
3-sphere In mathematics, a 3-sphere is a higher-dimensional analogue of a sphere. It may be embedded in 4-dimensional Euclidean space as the set of points equidistant from a fixed central point. Analogous to how the boundary of a ball in three dimensio ...
S^3). A certain topological vacuum (a "sector" of the true vacuum) is labelled by an unaltered transform, the
Pontryagin index In mathematics, the Pontryagin classes, named after Lev Pontryagin, are certain characteristic classes of real vector bundles. The Pontryagin classes lie in cohomology groups with degrees a multiple of four. Definition Given a real vector bundl ...
. As the third homotopy group of S^3 has been found to be the set of
integer An integer is the number zero (), a positive natural number (, , , etc.) or a negative integer with a minus sign ( −1, −2, −3, etc.). The negative numbers are the additive inverses of the corresponding positive numbers. In the languag ...
s, : \pi_3 (S^3)= \mathbb\, there are infinitely many topologically inequivalent vacua, denoted by , N\rangle , where N is their corresponding Pontryagin index. An ''instanton'' is a field configuration fulfilling the classical equations of motion in Euclidean spacetime, which is interpreted as a tunneling effect between these different topological vacua. It is again labelled by an integer number, its Pontryagin index, Q. One can imagine an ''instanton'' with index Q to quantify tunneling between topological vacua , N\rangle and , N+Q\rangle . If ''Q'' = 1, the configuration is named BPST instanton after its discoverers Alexander Belavin, Alexander Polyakov, Albert S. Schwarz and Yu. S. Tyupkin. The true vacuum of the theory is labelled by an "angle" theta and is an overlap of the topological sectors: :, \theta\rangle =\sum_^e^, N\rangle.
Gerard 't Hooft Gerardus (Gerard) 't Hooft (; born July 5, 1946) is a Dutch theoretical physicist and professor at Utrecht University, the Netherlands. He shared the 1999 Nobel Prize in Physics with his thesis advisor Martinus J. G. Veltman "for elucidating th ...
first performed the field theoretic computation of the effects of the BPST instanton in a theory coupled to fermions i

He showed that zero modes of the Dirac equation in the instanton background lead to a non-perturbative multi-fermion interaction in the low energy effective action.


Yang–Mills theory

The classical Yang–Mills action on a
principal bundle In mathematics, a principal bundle is a mathematical object that formalizes some of the essential features of the Cartesian product X \times G of a space X with a group G. In the same way as with the Cartesian product, a principal bundle P is equi ...
with structure group ''G'', base ''M'', connection ''A'', and
curvature In mathematics, curvature is any of several strongly related concepts in geometry. Intuitively, the curvature is the amount by which a curve deviates from being a straight line, or a surface deviates from being a plane. For curves, the can ...
(Yang–Mills field tensor) ''F'' is :S_ = \int_M \left, F\^2 d\mathrm_M, where d\mathrm_M is the
volume form In mathematics, a volume form or top-dimensional form is a differential form of degree equal to the differentiable manifold dimension. Thus on a manifold M of dimension n, a volume form is an n-form. It is an element of the space of sections of th ...
on M. If the inner product on \mathfrak, the
Lie algebra In mathematics, a Lie algebra (pronounced ) is a vector space \mathfrak g together with an operation called the Lie bracket, an alternating bilinear map \mathfrak g \times \mathfrak g \rightarrow \mathfrak g, that satisfies the Jacobi identi ...
of G in which F takes values, is given by the
Killing form In mathematics, the Killing form, named after Wilhelm Killing, is a symmetric bilinear form that plays a basic role in the theories of Lie groups and Lie algebras. Cartan's criteria (criterion of solvability and criterion of semisimplicity) sho ...
on \mathfrak, then this may be denoted as \int_M \mathrm(F \wedge *F), since :F \wedge *F = \langle F, F \rangle d\mathrm_M. For example, in the case of the
gauge group In physics, a gauge theory is a type of field theory in which the Lagrangian (and hence the dynamics of the system itself) does not change (is invariant) under local transformations according to certain smooth families of operations (Lie group ...
U(1) In mathematics, the circle group, denoted by \mathbb T or \mathbb S^1, is the multiplicative group of all complex numbers with absolute value 1, that is, the unit circle in the complex plane or simply the unit complex numbers. \mathbb T = \. ...
, ''F'' will be the electromagnetic field
tensor In mathematics, a tensor is an algebraic object that describes a multilinear relationship between sets of algebraic objects related to a vector space. Tensors may map between different objects such as vectors, scalars, and even other tensor ...
. From the
principle of stationary action The stationary-action principle – also known as the principle of least action – is a variational principle that, when applied to the ''action'' of a mechanical system, yields the equations of motion for that system. The principle states that ...
, the Yang–Mills equations follow. They are :\mathrmF = 0, \quad \mathrm = 0. The first of these is an identity, because d''F'' = d2''A'' = 0, but the second is a second-order
partial differential equation In mathematics, a partial differential equation (PDE) is an equation which imposes relations between the various partial derivatives of a multivariable function. The function is often thought of as an "unknown" to be solved for, similarly to h ...
for the connection ''A'', and if the Minkowski current vector does not vanish, the zero on the rhs. of the second equation is replaced by \mathbf J. But notice how similar these equations are; they differ by a
Hodge star In mathematics, the Hodge star operator or Hodge star is a linear map defined on the exterior algebra of a finite-dimensional oriented vector space endowed with a nondegenerate symmetric bilinear form. Applying the operator to an element of ...
. Thus a solution to the simpler first order (non-linear) equation : = \pm F\, is automatically also a solution of the Yang–Mills equation. This simplification occurs on 4 manifolds with :s=1 so that *^2=+1 on 2-forms. Such solutions usually exist, although their precise character depends on the dimension and topology of the base space M, the principal bundle P, and the gauge group G. In nonabelian Yang–Mills theories, DF=0 and D*F=0 where D is the exterior covariant derivative. Furthermore, the Bianchi identity :DF=dF+A\wedge F-F\wedge A=d(dA+A\wedge A)+A\wedge (dA+A\wedge A)-(dA + A\wedge A)\wedge A=0 is satisfied. In
quantum field theory In theoretical physics, quantum field theory (QFT) is a theoretical framework that combines classical field theory, special relativity, and quantum mechanics. QFT is used in particle physics to construct physical models of subatomic particles and ...
, an ''instanton'' is a topologically nontrivial field configuration in four-dimensional
Euclidean space Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, that is, in Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics there are Euclidea ...
(considered as the
Wick rotation In physics, Wick rotation, named after Italian physicist Gian Carlo Wick, is a method of finding a solution to a mathematical problem in Minkowski space from a solution to a related problem in Euclidean space by means of a transformation that s ...
of
Minkowski spacetime In mathematical physics, Minkowski space (or Minkowski spacetime) () is a combination of three-dimensional Euclidean space and time into a four-dimensional manifold where the spacetime interval between any two events is independent of the ...
). Specifically, it refers to a Yang–Mills
gauge field In physics, a gauge theory is a type of field theory in which the Lagrangian (and hence the dynamics of the system itself) does not change (is invariant) under local transformations according to certain smooth families of operations (Lie grou ...
''A'' which approaches pure gauge at spatial infinity. This means the field strength :\mathbf=d\mathbf+\mathbf\wedge\mathbf vanishes at infinity. The name ''instanton'' derives from the fact that these fields are localized in space and (Euclidean) time – in other words, at a specific instant. The case of instantons on the
two-dimensional space In mathematics, a plane is a Euclidean ( flat), two-dimensional surface that extends indefinitely. A plane is the two-dimensional analogue of a point (zero dimensions), a line (one dimension) and three-dimensional space. Planes can arise as ...
may be easier to visualise because it admits the simplest case of the gauge group, namely U(1), that is an
abelian group In mathematics, an abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on the order in which they are written. That is, the group operation is comm ...
. In this case the field ''A'' can be visualised as simply a vector field. An instanton is a configuration where, for example, the arrows point away from a central point (i.e., a "hedgehog" state). In Euclidean four dimensions, \mathbb^4, abelian instantons are impossible. The field configuration of an instanton is very different from that of the
vacuum A vacuum is a space devoid of matter. The word is derived from the Latin adjective ''vacuus'' for "vacant" or " void". An approximation to such vacuum is a region with a gaseous pressure much less than atmospheric pressure. Physicists often ...
. Because of this instantons cannot be studied by using
Feynman diagram In theoretical physics, a Feynman diagram is a pictorial representation of the mathematical expressions describing the behavior and interaction of subatomic particles. The scheme is named after American physicist Richard Feynman, who introduc ...
s, which only include
perturbative In quantum mechanics, perturbation theory is a set of approximation schemes directly related to mathematical perturbation for describing a complicated quantum system in terms of a simpler one. The idea is to start with a simple system for w ...
effects. Instantons are fundamentally
non-perturbative In mathematics and physics, a non-perturbative function or process is one that cannot be described by perturbation theory. An example is the function : f(x) = e^, which does not have a Taylor series at ''x'' = 0. Every coefficient of the Tay ...
. The Yang–Mills energy is given by :\frac\int_ \operatorname \mathbf\wedge \mathbf/math> where ∗ is the Hodge dual. If we insist that the solutions to the Yang–Mills equations have finite
energy In physics, energy (from Ancient Greek: ἐνέργεια, ''enérgeia'', “activity”) is the quantitative property that is transferred to a body or to a physical system, recognizable in the performance of work and in the form of ...
, then the
curvature In mathematics, curvature is any of several strongly related concepts in geometry. Intuitively, the curvature is the amount by which a curve deviates from being a straight line, or a surface deviates from being a plane. For curves, the can ...
of the solution at infinity (taken as a
limit Limit or Limits may refer to: Arts and media * ''Limit'' (manga), a manga by Keiko Suenobu * ''Limit'' (film), a South Korean film * Limit (music), a way to characterize harmony * "Limit" (song), a 2016 single by Luna Sea * "Limits", a 2019 ...
) has to be zero. This means that the Chern–Simons invariant can be defined at the 3-space boundary. This is equivalent, via
Stokes' theorem Stokes's theorem, also known as the Kelvin–Stokes theorem Nagayoshi Iwahori, et al.:"Bi-Bun-Seki-Bun-Gaku" Sho-Ka-Bou(jp) 1983/12Written in Japanese)Atsuo Fujimoto;"Vector-Kai-Seki Gendai su-gaku rekucha zu. C(1)" :ja:培風館, Bai-Fu-Kan( ...
, to taking the
integral In mathematics, an integral assigns numbers to functions in a way that describes displacement, area, volume, and other concepts that arise by combining infinitesimal data. The process of finding integrals is called integration. Along with ...
:\int_\operatorname mathbf\wedge\mathbf This is a homotopy invariant and it tells us which homotopy class the instanton belongs to. Since the integral of a nonnegative integrand is always nonnegative, :0\leq\frac\int_\operatorname *\mathbf+e^\mathbf)\wedge(\mathbf+e^*\mathbf)=\int_\operatorname \mathbf\wedge\mathbf+\cos\theta \mathbf\wedge\mathbf/math> for all real θ. So, this means :\frac\int_\operatorname \mathbf\wedge\mathbfgeq\frac\left, \int_\operatorname mathbf\wedge\mathbf. If this bound is saturated, then the solution is a BPS state. For such states, either ∗''F'' = ''F'' or ∗''F'' = − ''F'' depending on the sign of the homotopy invariant. In the Standard Model instantons are expected to be present both in the electroweak sector and the chromodynamic sector, however, their existence has not yet been experimentally confirmed. Instanton effects are important in understanding the formation of condensates in the vacuum of
quantum chromodynamics In theoretical physics, quantum chromodynamics (QCD) is the theory of the strong interaction between quarks mediated by gluons. Quarks are fundamental particles that make up composite hadrons such as the proton, neutron and pion. QCD is a type ...
(QCD) and in explaining the mass of the so-called 'eta-prime particle', a Goldstone-bosonSee also: Pseudo-Goldstone boson which has acquired mass through the axial current anomaly of QCD. Note that there is sometimes also a corresponding
soliton In mathematics and physics, a soliton or solitary wave is a self-reinforcing wave packet that maintains its shape while it propagates at a constant velocity. Solitons are caused by a cancellation of nonlinear and dispersive effects in the me ...
in a theory with one additional space dimension. Recent research on ''instantons'' links them to topics such as
D-branes In string theory, D-branes, short for ''Dirichlet membrane'', are a class of extended objects upon which open strings can end with Dirichlet boundary conditions, after which they are named. D-branes were discovered by Jin Dai, Leigh, and Polc ...
and
Black holes A black hole is a region of spacetime where gravity is so strong that nothing, including light or other electromagnetic waves, has enough energy to escape it. The theory of general relativity predicts that a sufficiently compact mass can def ...
and, of course, the vacuum structure of QCD. For example, in oriented string theories, a Dp brane is a gauge theory instanton in the world volume (''p'' + 5)-dimensional ''U''(''N'') gauge theory on a stack of ''N'' D(''p'' + 4)-branes.


Various numbers of dimensions

Instantons play a central role in the nonperturbative dynamics of gauge theories. The kind of physical excitation that yields an instanton depends on the number of dimensions of the spacetime, but, surprisingly, the formalism for dealing with these instantons is relatively dimension-independent. In 4-dimensional gauge theories, as described in the previous section, instantons are gauge bundles with a nontrivial four-form characteristic class. If the gauge symmetry is a
unitary group In mathematics, the unitary group of degree ''n'', denoted U(''n''), is the group of unitary matrices, with the group operation of matrix multiplication. The unitary group is a subgroup of the general linear group . Hyperorthogonal group is ...
or special unitary group then this characteristic class is the second
Chern class In mathematics, in particular in algebraic topology, differential geometry and algebraic geometry, the Chern classes are characteristic classes associated with complex vector bundles. They have since found applications in physics, Calabi–Yau ...
, which vanishes in the case of the gauge group U(1). If the gauge symmetry is an orthogonal group then this class is the first Pontrjagin class. In 3-dimensional gauge theories with
Higgs field The Higgs boson, sometimes called the Higgs particle, is an elementary particle in the Standard Model of particle physics produced by the quantum excitation of the Higgs field, one of the fields in particle physics theory. In the St ...
s,
't Hooft–Polyakov monopole __NOTOC__ In theoretical physics, the t Hooft–Polyakov monopole is a topological soliton similar to the Dirac monopole but without the Dirac string. It arises in the case of a Yang–Mills theory with a gauge group G, coupled to a Higgs field whi ...
s play the role of instantons. In his 1977 pape
Quark Confinement and Topology of Gauge Groups
Alexander Polyakov demonstrated that instanton effects in 3-dimensional QED coupled to a
scalar field In mathematics and physics, a scalar field is a function associating a single number to every point in a space – possibly physical space. The scalar may either be a pure mathematical number ( dimensionless) or a scalar physical quantity ...
lead to a mass for the
photon A photon () is an elementary particle that is a quantum of the electromagnetic field, including electromagnetic radiation such as light and radio waves, and the force carrier for the electromagnetic force. Photons are massless, so they alwa ...
. In 2-dimensional abelian gauge theories worldsheet instantons are magnetic vortices. They are responsible for many nonperturbative effects in string theory, playing a central role in mirror symmetry. In 1-dimensional
quantum mechanics Quantum mechanics is a fundamental theory in physics that provides a description of the physical properties of nature at the scale of atoms and subatomic particles. It is the foundation of all quantum physics including quantum chemistry, ...
, instantons describe tunneling, which is invisible in perturbation theory.


4d supersymmetric gauge theories

Supersymmetric gauge theories often obey nonrenormalization theorems, which restrict the kinds of quantum corrections which are allowed. Many of these theorems only apply to corrections calculable in
perturbation theory In mathematics and applied mathematics, perturbation theory comprises methods for finding an approximate solution to a problem, by starting from the exact solution of a related, simpler problem. A critical feature of the technique is a middle ...
and so instantons, which are not seen in perturbation theory, provide the only corrections to these quantities. Field theoretic techniques for instanton calculations in supersymmetric theories were extensively studied in the 1980s by multiple authors. Because supersymmetry guarantees the cancellation of fermionic vs. bosonic non-zero modes in the instanton background, the involved 't Hooft computation of the instanton saddle point reduces to an integration over zero modes. In ''N'' = 1 supersymmetric gauge theories instantons can modify the superpotential, sometimes lifting all of the vacua. In 1984, Ian Affleck,
Michael Dine Michael Dine (born 12 August 1953, Cincinnati, Ohio) is an American theoretical physicist, specializing in elementary particle physics, supersymmetry, string theory, and physics beyond the Standard Model. Education and career Dine received in 1 ...
and Nathan Seiberg calculated the instanton corrections to the superpotential in their pape
Dynamical Supersymmetry Breaking in Supersymmetric QCD
More precisely, they were only able to perform the calculation when the theory contains one less flavor of chiral matter than the number of colors in the special unitary gauge group, because in the presence of fewer flavors an unbroken nonabelian gauge symmetry leads to an infrared divergence and in the case of more flavors the contribution is equal to zero. For this special choice of chiral matter, the vacuum expectation values of the matter scalar fields can be chosen to completely break the gauge symmetry at weak coupling, allowing a reliable semi-classical saddle point calculation to proceed. By then considering perturbations by various mass terms they were able to calculate the superpotential in the presence of arbitrary numbers of colors and flavors, valid even when the theory is no longer weakly coupled. In ''N'' = 2 supersymmetric gauge theories the superpotential receives no quantum corrections. However the correction to the metric of the
moduli space In mathematics, in particular algebraic geometry, a moduli space is a geometric space (usually a scheme or an algebraic stack) whose points represent algebro-geometric objects of some fixed kind, or isomorphism classes of such objects. Such sp ...
of vacua from instantons was calculated in a series of papers. First, the one instanton correction was calculated by Nathan Seiberg i
Supersymmetry and Nonperturbative beta Functions
The full set of corrections for SU(2) Yang–Mills theory was calculated by Nathan Seiberg and
Edward Witten Edward Witten (born August 26, 1951) is an American mathematical and theoretical physicist. He is a Professor Emeritus in the School of Natural Sciences at the Institute for Advanced Study in Princeton. Witten is a researcher in string theory, q ...
in
Electric – magnetic duality, monopole condensation, and confinement in N=2 supersymmetric Yang–Mills theory
" in the process creating a subject that is today known as
Seiberg–Witten theory In theoretical physics, Seiberg–Witten theory is a theory that determines an exact low-energy effective action (for massless degrees of freedom) of a \mathcal = 2 supersymmetric gauge theory—namely the metric of the moduli space of vacua. ...
. They extended their calculation to SU(2) gauge theories with fundamental matter i
Monopoles, duality and chiral symmetry breaking in N=2 supersymmetric QCD
These results were later extended for various gauge groups and matter contents, and the direct gauge theory derivation was also obtained in most cases. For gauge theories with gauge group U(N) the Seiberg–Witten geometry has been derived from gauge theory using Nekrasov partition functions in 2003 by
Nikita Nekrasov Nikita Alexandrovich Nekrasov (russian: Ники́та Алекса́ндрович Некра́сов; born 10 April 1973) is a mathematical and theoretical physicist at the Simons Center for Geometry and Physics and C.N.Yang Institute for The ...
and Andrei Okounkov and independently by Hiraku Nakajima and Kota Yoshioka. In ''N'' = 4 supersymmetric gauge theories the instantons do not lead to quantum corrections for the metric on the moduli space of vacua.


See also

* * * * * * * *


References and notes

;Notes ;Citations ;General *''Instantons in Gauge Theories'', a compilation of articles on instantons, edited by Mikhail A. Shifman, *''Solitons and Instantons'', R. Rajaraman (Amsterdam: North Holland, 1987), *''The Uses of Instantons'', by
Sidney Coleman Sidney Richard Coleman (7 March 1937 – 18 November 2007) was an American theoretical physicist noted for his research in high-energy theoretical physics. Life and work Sidney Coleman grew up on the Far North Side of Chicago. In 1957, ...
in ''Proc. Int. School of Subnuclear Physics'', (Erice, 1977); and in ''Aspects of Symmetry'' p. 265, Sidney Coleman, Cambridge University Press, 1985, ; and in ''Instantons in Gauge Theories'' *''Solitons, Instantons and Twistors''. M. Dunajski, Oxford University Press. . *
The Geometry of Four-Manifolds
', S.K. Donaldson, P.B. Kronheimer, Oxford University Press, 1990, .


External links

* {{String theory topics , state=collapsed Quantum mechanics Gauge theories Differential geometry Quantum chromodynamics Anomalies (physics)