Yang-Mills Instanton
   HOME

TheInfoList



OR:

An instanton (or pseudoparticle) is a notion appearing in theoretical and
mathematical physics Mathematical physics is the development of mathematics, 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 de ...
. 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. More specifically, the equations of motion describe the behavior of a physical system as a set of mathem ...
with a finite, non-zero action, either in
quantum mechanics Quantum mechanics is the fundamental physical Scientific theory, theory that describes the behavior of matter and of light; its unusual characteristics typically occur at and below the scale of atoms. Reprinted, Addison-Wesley, 1989, It is ...
or in
quantum field theory In theoretical physics, quantum field theory (QFT) is a theoretical framework that combines Field theory (physics), field theory and the principle of relativity with ideas behind quantum mechanics. QFT is used in particle physics to construct phy ...
. 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 fields in physics interact with matter through field equations, without considering effects of quantization; theories that incorporate quantum mechanics are called qua ...
on a Euclidean
spacetime In physics, spacetime, also called the space-time continuum, is a mathematical model that fuses the three dimensions of space and the one dimension of time into a single four-dimensional continuum. Spacetime diagrams are useful in visualiz ...
. In such quantum theories, solutions to the equations of motion may be thought of as critical points of the
action Action may refer to: * Action (philosophy), something which is done by a person * Action principles the heart of fundamental physics * Action (narrative), a literary mode * Action fiction, a type of genre fiction * Action game, a genre of video gam ...
. The critical points of the action may be
local maxima In mathematical analysis, the maximum and minimum of a function (mathematics), function are, respectively, the greatest and least value taken by the function. Known generically as extremum, they may be defined either within a given Interval (ma ...
of the action,
local minima In mathematical analysis, the maximum and minimum of a function are, respectively, the greatest and least value taken by the function. Known generically as extremum, they may be defined either within a given range (the ''local'' or ''relative' ...
, or
saddle point In mathematics, a saddle point or minimax point is a Point (geometry), point on the surface (mathematics), surface of the graph of a function where the slopes (derivatives) in orthogonal directions are all zero (a Critical point (mathematics), ...
s. Instantons are important in
quantum field theory In theoretical physics, quantum field theory (QFT) is a theoretical framework that combines Field theory (physics), field theory and the principle of relativity with ideas behind quantum mechanics. QFT is used in particle physics to construct phy ...
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 Yang–Mills theory is a quantum field theory for nuclear binding devised by Chen Ning Yang and Robert Mills in 1953, as well as a generic term for the class of similar theories. The Yang–Mills theory is a gauge theory based on a special un ...
. 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 Self-organized criticality (SOC) is a property of dynamical systems that have a critical point as an attractor. Their macroscopic behavior thus displays the spatial or temporal scale-invariance characteristic of the critical point of a phas ...
.


Mathematics

Mathematically, a ''Yang–Mills instanton'' is a self-dual or anti-self-dual
connection Connection may refer to: Mathematics *Connection (algebraic framework) *Connection (mathematics), a way of specifying a derivative of a geometrical object along a vector field on a manifold * Connection (affine bundle) *Connection (composite bun ...
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 equ ...
over a four-dimensional
Riemannian manifold In differential geometry, a Riemannian manifold is a geometric space on which many geometric notions such as distance, angles, length, volume, and curvature are defined. Euclidean space, the N-sphere, n-sphere, hyperbolic space, and smooth surf ...
that plays the role of physical
space-time In physics, spacetime, also called the space-time continuum, is a mathematical model that fuses the three-dimensional space, three dimensions of space and the one dimension of time into a single four-dimensional continuum (measurement), continu ...
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 under local transformations according to certain smooth families of operations (Lie groups). Formally, t ...
. 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 widely studied branch of theoretical and mathematical physics. Penrose's idea was that twistor space should ...
, which relates them to algebraic
vector bundle In mathematics, a vector bundle is a topological construction that makes precise the idea of a family of vector spaces parameterized by another space X (for example X could be a topological space, a manifold, or an algebraic variety): to eve ...
s on
algebraic surface In mathematics, an algebraic surface is an algebraic variety of dimension two. In the case of geometry over the field of complex numbers, an algebraic surface has complex dimension two (as a complex manifold, when it is non-singular) and so of di ...
s, 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 "Construc ...
, or hyperkähler reduction (see
hyperkähler manifold In differential geometry, a hyperkähler manifold is a Riemannian manifold (M, g) endowed with three integrable almost complex structures I, J, K that are Kähler with respect to the Riemannian metric g and satisfy the quaternionic relations I^2= ...
), a geometric invariant theory 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 function, smooth (differentiable) four-dimensional manifolds, Donaldson–Thomas theory, and his contributions to Kähl ...
, 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 Mathematicians, International Congress of the International Mathematical Union (IMU), a meeting that takes place e ...
, 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 In mathematics, an ''n''- dimensional differential structure (or differentiable structure) on a set ''M'' makes ''M'' into an ''n''-dimensional differential manifold, which is a topological manifold with some additional structure that allows for d ...
and applied it to the construction of
homeomorphic In mathematics and more specifically in topology, a homeomorphism ( from Greek roots meaning "similar shape", named by Henri Poincaré), also called topological isomorphism, or bicontinuous function, is a bijective and continuous function betw ...
but not
diffeomorphic In mathematics, a diffeomorphism is an isomorphism of differentiable manifolds. It is an invertible function that maps one differentiable manifold to another such that both the function and its inverse are continuously differentiable. Defini ...
four-manifolds. Many methods developed in studying instantons have also been applied to monopoles. 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 potentials of considerable interest in quantum mechanics, in quantum field theory and elsewhere for the exploration of various physical phenomena or mathematical properties since it ...
. 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 classical mechanics. There are two lowest energy states in classical mechanics. In quantum mechanics, we solve the
Schrödinger equation The Schrödinger equation is a partial differential equation that governs the wave function of a non-relativistic quantum-mechanical system. Its discovery was a significant landmark in the development of quantum mechanics. It is named after E ...
:-\psi(x)+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 In mathematical physics, the WKB approximation or WKB method is a technique for finding approximate solutions to Linear differential equation, linear differential equations with spatially varying coefficients. It is typically used for a Semiclass ...
, 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 sub ...
(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 potentials of considerable interest in quantum mechanics, in quantum field theory and elsewhere for the exploration of various physical phenomena or mathematical properties since it ...
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 potentials of considerable interest in quantum mechanics, in quantum field theory and elsewhere for the exploration of various physical phenomena or mathematical properties since it ...
, 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 are real-valued parameters. Since we may add to to change the sign of , i ...
) or other periodic potentials (cf. e.g.
Lamé function Lamé may refer to: *Lamé (fabric) Lamé ( ; ) is a type of fabric Woven fabric, woven or Knitted fabric, knit with threads made of metallic fiber wrapped around natural or synthetic fibers like silk, nylon, or spandex for added strength an ...
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 bosons 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 is a nonlinear, self-reinforcing, localized wave packet that is , in that it preserves its shape while propagating freely, at constant velocity, and recovers it even after collisions with other such local ...
theory the corresponding solution is known as a
kink KINK (101.9 FM also known as kink.fm) is a commercial radio station in Portland, Oregon. It is owned by Alpha Media and it airs an adult album alternative radio format. KINK's studios and offices are on Southwest 5th Avenue in the PacWest C ...
. 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.Harald J.W. Müller-Kirsten, Introduction to Quantum Mechanics: Schrödinger Equation and Path Integral, 2nd ed., World Scientific (Singapore, 2012). 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, as well as in the design of electronic elliptic filters. While trigonometric functions are defined ...
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 Lamé may refer to: *Lamé (fabric) Lamé ( ; ) is a type of fabric Woven fabric, woven or Knitted fabric, knit with threads made of metallic fiber wrapped around natural or synthetic fibers like silk, nylon, or spandex for added strength an ...
. 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 a pseudoparticle on a high dimensional
potential energy surface A potential energy surface (PES) or energy landscape describes the energy of a Physical system, system, especially a collection of atoms, in terms of certain Parameter, parameters, normally the positions of the atoms. The Surface (mathematics), ...
(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_k is 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 into account only 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_\text is a periodic instanton and \mathbf_\text is 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 Field theory (physics), field theory and the principle of relativity with ideas behind quantum mechanics. QFT is used in particle physics to construct phy ...
(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 Topology (from the Greek words , and ) is the branch of mathematics concerned with the properties of a geometric object that are preserved under continuous deformations, such as stretching, twisting, crumpling, and bending; that is, wit ...
vacua A vacuum (: vacuums or vacua) is space devoid of matter. The word is derived from the Latin adjective (neuter ) meaning "vacant" or "void". An approximation to such vacuum is a region with a gaseous pressure much less than atmospheric pressur ...
". 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 under local transformations according to certain smooth families of operations (Lie groups). Formally, t ...
a
Yang–Mills theory Yang–Mills theory is a quantum field theory for nuclear binding devised by Chen Ning Yang and Robert Mills in 1953, as well as a generic term for the class of similar theories. The Yang–Mills theory is a gauge theory based on a special un ...
. 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, homo ...
of
SU(2) In mathematics, the special unitary group of degree , denoted , is the Lie group of unitary matrices with determinant 1. The matrices of the more general unitary group may have complex determinants with absolute value 1, rather than real 1 ...
(whose group manifold is the
3-sphere In mathematics, a hypersphere or 3-sphere is a 4-dimensional analogue of a sphere, and is the 3-dimensional n-sphere, ''n''-sphere. In 4-dimensional Euclidean space, it is the set of points equidistant from a fixed central point. The interior o ...
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 bundle ...
. As the third homotopy group of S^3 has been found to be the set of
integer An integer is the number zero (0), a positive natural number (1, 2, 3, ...), or the negation of a positive natural number (−1, −2, −3, ...). The negations or additive inverses of the positive natural numbers are referred to as negative in ...
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 In theoretical physics, the BPST instanton is the instanton with winding number 1 found by Alexander Belavin, Alexander Polyakov, Albert Schwarz and Yu. S. Tyupkin. It is a classical solution to the equations of motion of SU(2) Yang–Mills t ...
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 t ...
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 equ ...
with structure group ''G'', base ''M'',
connection Connection may refer to: Mathematics *Connection (algebraic framework) *Connection (mathematics), a way of specifying a derivative of a geometrical object along a vector field on a manifold * Connection (affine bundle) *Connection (composite bun ...
''A'', and
curvature In mathematics, curvature is any of several strongly related concepts in geometry that intuitively measure the amount by which a curve deviates from being a straight line or by which a surface deviates from being a plane. If a curve or su ...
(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 t ...
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 ident ...
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 A gauge group is a group of gauge symmetries of the Yang–Mills gauge theory of principal connections on a principal bundle. Given a principal bundle P\to X with a structure Lie group G, a gauge group is defined to be a group of its vertical ...
U(1) In mathematics, the circle group, denoted by \mathbb T or , 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 = \. The circle g ...
, ''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 associated with a vector space. Tensors may map between different objects such as vectors, scalars, and even other ...
. From the
principle of stationary action Action principles lie at the heart of fundamental physics, from classical mechanics through quantum mechanics, particle physics, and general relativity. Action principles start with an energy function called a Lagrangian describing the physical sy ...
, 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 involves a multivariable function and one or more of its partial derivatives. The function is often thought of as an "unknown" that solves the equation, similar to ho ...
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 the ...
. 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 In mathematics, specifically in topology, the interior of a subset of a topological space is the union of all subsets of that are open in . A point that is in the interior of is an interior point of . The interior of is the complement of ...
. Furthermore, the
Bianchi identity In differential geometry, the curvature form describes curvature of a connection on a principal bundle. The Riemann curvature tensor in Riemannian geometry can be considered as a special case. Definition Let ''G'' be a Lie group with Lie algebra ...
: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 Field theory (physics), field theory and the principle of relativity with ideas behind quantum mechanics. QFT is used in particle physics to construct phy ...
, an ''instanton'' is a
topologically Topology (from the Greek words , and ) is the branch of mathematics concerned with the properties of a geometric object that are preserved under continuous deformations, such as stretching, twisting, crumpling, and bending; that is, without ...
nontrivial field configuration in four-dimensional
Euclidean space Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, in Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics there are ''Euclidean spaces ...
(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 sub ...
of
Minkowski spacetime In physics, Minkowski space (or Minkowski spacetime) () is the main mathematical description of spacetime in the absence of gravitation. It combines inertial space and time manifolds into a four-dimensional model. The model helps show how a s ...
). 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 under local transformations according to certain smooth families of operations (Lie groups). Formally, t ...
''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 A two-dimensional space is a mathematical space with two dimensions, meaning points have two degrees of freedom: their locations can be locally described with two coordinates or they can move in two independent directions. Common two-dimensiona ...
may be easier to visualise because it admits the simplest case of the gauge
group A group is a number of persons or things that are located, gathered, or classed together. Groups of people * Cultural group, a group whose members share the same cultural identity * Ethnic group, a group whose members share the same ethnic iden ...
, 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 commu ...
. In this case the field ''A'' can be visualised as simply a
vector field In vector calculus and physics, a vector field is an assignment of a vector to each point in a space, most commonly Euclidean space \mathbb^n. A vector field on a plane can be visualized as a collection of arrows with given magnitudes and dire ...
. 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 (: vacuums or vacua) is space devoid of matter. The word is derived from the Latin adjective (neuter ) meaning "vacant" or "void". An approximation to such vacuum is a region with a gaseous pressure much less than atmospheric pressur ...
. 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 introduced ...
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 which ...
effects. Instantons are fundamentally
non-perturbative In mathematics and physics, a non-perturbative function (mathematics), function or process is one that cannot be described by perturbation theory. An example is the function : f(x) = e^, which does not equal its own Taylor series in any neighbo ...
. The Yang–Mills energy is given by :\frac\int_ \operatorname \mathbf\wedge \mathbf/math> where ∗ is the
Hodge dual 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 the ...
. If we insist that the solutions to the Yang–Mills equations have finite
energy Energy () is the physical quantity, quantitative physical property, property that is transferred to a physical body, body or to a physical system, recognizable in the performance of Work (thermodynamics), work and in the form of heat and l ...
, then the
curvature In mathematics, curvature is any of several strongly related concepts in geometry that intuitively measure the amount by which a curve deviates from being a straight line or by which a surface deviates from being a plane. If a curve or su ...
of the solution at infinity (taken as a limit) 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' theorem, also known as the Kelvin–Stokes theorem after Lord Kelvin and George Stokes, the fundamental theorem for curls, or simply the curl theorem, is a theorem in vector calculus on \R^3. Given a vector field, the theorem relates th ...
, to taking the
integral In mathematics, an integral is the continuous analog of a Summation, sum, which is used to calculate area, areas, volume, volumes, and their generalizations. Integration, the process of computing an integral, is one of the two fundamental oper ...
:\int_\operatorname mathbf\wedge\mathbf This is a homotopy invariant and it tells us which
homotopy class In topology, two continuous functions from one topological space to another are called homotopic (from and ) if one can be "continuously deformed" into the other, such a deformation being called a homotopy ( ; ) between the two functions. A ...
the instanton belongs to. Since the integral of a nonnegative
integrand In mathematics, an integral is the continuous analog of a sum, which is used to calculate areas, volumes, and their generalizations. Integration, the process of computing an integral, is one of the two fundamental operations of calculus,Inte ...
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 topology, two continuous functions from one topological space to another are called homotopic (from and ) if one can be "continuously deformed" into the other, such a deformation being called a homotopy ( ; ) between the two functions. A ...
. 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 study 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 of ...
(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 In theoretical physics, a chiral anomaly is the anomalous nonconservation of a chiral current. In everyday terms, it is analogous to a sealed box that contained equal numbers of left and right-handed bolts, but when opened was found to have more ...
of QCD. Note that there is sometimes also a corresponding
soliton In mathematics and physics, a soliton is a nonlinear, self-reinforcing, localized wave packet that is , in that it preserves its shape while propagating freely, at constant velocity, and recovers it even after collisions with other such local ...
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 string (physics), strings can end with Dirichlet boundary conditions, after which they are named. D-branes are typically classified by their ...
and
Black holes A black hole is a massive, compact astronomical object so dense that its gravity prevents anything from escaping, even light. Albert Einstein's theory of general relativity predicts that a sufficiently compact mass will form a black hole. Th ...
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 In mathematics, a characteristic class is a way of associating to each principal bundle of ''X'' a cohomology class of ''X''. The cohomology class measures the extent to which the bundle is "twisted" and whether it possesses sections. Characterist ...
. If the gauge symmetry is a
unitary group Unitary may refer to: Mathematics * Unitary divisor * Unitary element * Unitary group * Unitary matrix * Unitary morphism * Unitary operator * Unitary transformation * Unitary representation * Unitarity (physics) * ''E''-unitary inverse semi ...
or
special unitary group In mathematics, the special unitary group of degree , denoted , is the Lie group of unitary matrices with determinant 1. The matrices of the more general unitary group may have complex determinants with absolute value 1, rather than real 1 ...
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 become fundamental concepts in many branches ...
, 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 excited state, quantum excitation of the Higgs field, one of the field (physics), fields in particl ...
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 ...
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 each point in a region of space – possibly physical space. The scalar may either be a pure mathematical number ( dimensionless) or a scalar physical ...
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 particles that can ...
. In 2-dimensional abelian gauge theories
worldsheet instanton In string theory, a worldsheet is a two-dimensional manifold which describes the embedding of a string in spacetime. The term was coined by Leonard Susskind as a direct generalization of the world line concept for a point particle in special and ...
s are magnetic
vortices In fluid dynamics, a vortex (: vortices or vortexes) is a region in a fluid in which the flow revolves around an axis line, which may be straight or curved. Vortices form in stirred fluids, and may be observed in smoke rings, whirlpools in th ...
. They are responsible for many nonperturbative effects in string theory, playing a central role in
mirror symmetry In mathematics, reflection symmetry, line symmetry, mirror symmetry, or mirror-image symmetry is symmetry with respect to a Reflection (mathematics), reflection. That is, a figure which does not change upon undergoing a reflection has reflecti ...
. In 1-dimensional
quantum mechanics Quantum mechanics is the fundamental physical Scientific theory, theory that describes the behavior of matter and of light; its unusual characteristics typically occur at and below the scale of atoms. Reprinted, Addison-Wesley, 1989, It is ...
, 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 In theoretical physics, the superpotential is a function in supersymmetric quantum mechanics. Given a superpotential, two "partner potentials" are derived that can each serve as a potential in the Schrödinger equation. The partner potentials hav ...
, sometimes lifting all of the vacua. In 1984,
Ian Affleck Ian Keith Affleck (July 2, 1952 – October 4, 2024) was a Canadian physicist specializing in condensed matter physics. He was Killam University Professor, Department of Physics and Astronomy, University of British Columbia. Life and career Ian ...
,
Michael Dine Michael Dine (born 12 August 1953) 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 1974 a bachelor's deg ...
and
Nathan Seiberg Nathan "Nati" Seiberg (; ; born September 22, 1956) is an Israeli American theoretical physicist who works on quantum field theory and string theory. He is currently a professor at the Institute for Advanced Study in Princeton, New Jersey, Unit ...
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 (mathematics), scheme or an algebraic stack) whose points represent algebro-geometric objects of some fixed kind, or isomorphism classes of suc ...
of vacua from instantons was calculated in a series of papers. First, the one instanton correction was calculated by
Nathan Seiberg Nathan "Nati" Seiberg (; ; born September 22, 1956) is an Israeli American theoretical physicist who works on quantum field theory and string theory. He is currently a professor at the Institute for Advanced Study in Princeton, New Jersey, Unit ...
i
Supersymmetry and Nonperturbative beta Functions
The full set of corrections for SU(2) Yang–Mills theory was calculated by
Nathan Seiberg Nathan "Nati" Seiberg (; ; born September 22, 1956) is an Israeli American theoretical physicist who works on quantum field theory and string theory. He is currently a professor at the Institute for Advanced Study in Princeton, New Jersey, Unit ...
and
Edward Witten Edward Witten (born August 26, 1951) is an American theoretical physics, theoretical physicist known for his contributions to string theory, topological quantum field theory, and various areas of mathematics. He is a professor emeritus in the sc ...
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 an \mathcal = 2 supersymmetric gauge theory with an exact low-energy effective action (for massless degrees of freedom), of which the kinetic part coincides with the Kähler potential of the ...
. 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 (; born 10 April 1973) is a Russian mathematical and theoretical physicist at the Simons Center for Geometry and Physics and C.N.Yang Institute for Theoretical Physics at Stony Brook University in New York, and ...
and
Andrei Okounkov Andrei Yuryevich Okounkov (, ''Andrej Okun'kov'', born July 26, 1969) is a Russian mathematician who works on representation theory and its applications to algebraic geometry, mathematical physics, probability theory and special functions. He is ...
and independently by
Hiraku Nakajima Hiraku Nakajima (Japanese: 中島 啓 ''Nakajima Hiraku''; born November 30, 1962) is a Japanese mathematician, and a professor of the Kavli Institute for the Physics and Mathematics of the Universe at the University of Tokyo. He is International ...
and
Kota Yoshioka Kota or KOTA may refer to: Places India * Kota, Rajasthan, a city in Rajasthan state ** Kota district, a district of Rajasthan state ** Kota (Lok Sabha constituency), a Lok Sabha parliamentary constituency of Rajasthan ** Kota State, an Ind ...
. In ''N'' = 4 supersymmetric gauge theories the instantons do not lead to quantum corrections for the metric on the moduli space of vacua.


Explicit solutions on R4

An
ansatz In physics and mathematics, an ansatz (; , meaning: "initial placement of a tool at a work piece", plural ansatzes or, from German, ansätze ; ) is an educated guess or an additional assumption made to help solve a problem, and which may later be ...
provided by Corrigan and Fairlie provides a solution to the anti-self dual Yang–Mills equations with gauge group SU(2) from any
harmonic function In mathematics, mathematical physics and the theory of stochastic processes, a harmonic function is a twice continuously differentiable function f\colon U \to \mathbb R, where is an open subset of that satisfies Laplace's equation, that i ...
on \mathbb^4. The ansatz gives explicit expressions for the gauge field and can be used to construct solutions with arbitrarily large instanton number. Defining the antisymmetric \mathfrak(2)-valued objects \sigma_ as \sigma_ = \epsilon_T_k\, , \sigma_ = -\sigma_ = T_i, where Greek indices run from 1 to 4, Latin indices run from 1 to 3, and T_i is a basis of \mathfrak(2) satisfying _i, T_j= -\epsilon_T_k. Then A_\mu = \sigma_\frac = \sigma_\partial_\nu \log(\rho) is a solution as long as \rho: \mathbb^4 \rightarrow \mathbb is harmonic. In four dimensions, the
fundamental solution In mathematics, a fundamental solution for a linear partial differential operator is a formulation in the language of distribution theory of the older idea of a Green's function (although unlike Green's functions, fundamental solutions do not ...
to
Laplace's equation In mathematics and physics, Laplace's equation is a second-order partial differential equation named after Pierre-Simon Laplace, who first studied its properties in 1786. This is often written as \nabla^2\! f = 0 or \Delta f = 0, where \Delt ...
is , x - y, ^ for any fixed y. Superposing N+1 of these gives N-soliton solutions of the form \rho(x) = \sum_^N \frac. All solutions of instanton number 1 or 2 are of this form, but for larger instanton number there are solutions not of this form.


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 physics. Life and work Sidney Coleman grew up on the Far North Side of Chicago. In 1957, he received h ...
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)