Equal-endpoint Euclidean oscillator path 2026-10-25
For positive mass and angular frequency , the Euclidean action with has the unique minimizing path displayed. The Euler-Lagrange equation is , and the positive second variation proves uniqueness. On this path the integrand is , giving . Increasing the interval of imaginary time lets its interior approach the minimum of the potential energy even while both endpoints remain fixed.
Euclidean de Sitter action and entropy Created 2026-10-14 Updated 2026-10-25
In units , a smooth Wick rotation of the four-dimensional static patch of de Sitter spacetime has Euclidean time period . Its compact geometry is a round four-sphere of radius . The Einstein field equations give , and direct integration gives volume , hence gravitational Euclidean action . With zero assigned internal energy, gives Bekenstein-Hawking entropy .
Euclidean path integral 2026-10-06
A path integral with weight uses the Euclidean action obtained by Wick rotation. Bosonic convergence requires appropriate positivity and boundary conditions.
Maxwell action 2026-10-05
The source-free Maxwell Lagrangian gives in mostly-minus Lorentzian signature. Its Euclidean action is the displayed positive quadratic functional of the electromagnetic field tensor. Variation, with boundary terms vanishing, yields .
The scalar field path integral integrates over real field histories with vacuum boundary conditions. With , the partition function isThe constant fixes the desired vacuum normalization. A generating functional adds to the action; the required partition function is its zero-source value. Equivalently, a Wick rotation gives , with the positive-sign kinetic and potential terms in the Euclidean action when and .
Put , the interval of imaginary time, and assume . For a variation with , the first variation of the Euclidean action isThe boundary term vanishes. The fundamental lemma of the calculus of variations therefore gives the Euler-Lagrange equationIts sign differs from the real-time harmonic oscillator equation because the Euclidean action contains positive kinetic energy and positive potential energy. The general solution is . Applying the two endpoint conditions gives and . Equivalently, the equal-endpoint Euclidean oscillator path isThis form displays reflection about the midpoint and satisfies both endpoints immediately. On this path,Thus the Euclidean action reduces to a boundary term. Since and ,The positive quadratic form is the second variation, so this stationary path is the unique minimum, rather than merely an arbitrary stationary point.
After the shift , the endpoint values of are both zero. Expanding the Euclidean action givesBy integration by parts, the cross term isThe first term vanishes by the homogeneous Dirichlet boundary conditions, and the second by the Euler-Lagrange equation. The translation has unit Jacobian determinant in the time-sliced configuration-space path integral, so . Consequently classical-path factorization of a quadratic path integral is exact here:All dependence on the common endpoint lies inThe endpoint domain and the integrand defining are the same for every . This is a zero-endpoint Gaussian path integral; the canonical partition function instead integrates the entire diagonal kernel over . The final sentence of the printed part omits from its exponential: the physical Boltzmann factor has the dimensionless exponent .
An optional normalization check uses the Dirichlet oscillator fluctuation determinant. Its eigenvalues are , . Relative to the free-particle Gaussian path integral, the hyperbolic-sine infinite product givesThus . Integrating the resulting diagonal thermal kernel of a quantum harmonic oscillator by a Gaussian integral yields , including the zero-point energy.
Make the Wick rotation , and write for the final imaginary time, where is inverse temperature and is the reduced Planck constant. Then and . Thus the continued action isBoth the kinetic energy and the potential energy enter this Euclidean action with positive signs relative to their real-time definitions. Also , so the Euclidean path integral isIts boundary conditions fix the two endpoint positions. They need not coincide: identifying and integrating over them would instead give the thermal trace.
The normalization of can be fixed without continuing a formal measure. Apply the Trotter product formula to , divide into intervals of size , and integrate the intermediate positions. The resulting time-sliced configuration-space path integral isThis also explains the upper limit rather than when the reduced Planck constant has not been set to one.
For a free particle, vary the Euclidean action with a variation obeying . Integration by parts givesThe Euler-Lagrange equation is therefore . The fixed boundary conditions determine its unique solution:This classical path is also the unique minimum among paths with finite Euclidean action: the second variation is for every nonzero admissible variation. Its Euclidean action is
Write , so the fluctuation has homogeneous Dirichlet boundary conditions . Because is constant, the cross term in the Euclidean action vanishes exactly:ConsequentlyTranslation of each intermediate integration variable has Jacobian determinant one in the time-sliced configuration-space path integral. This is an exact classical-path factorization of a quadratic path integral, givingThe fluctuation Euclidean action, the homogeneous boundary conditions, and the measure normalization contain neither nor . Hence is independent of both endpoint positions. It depends on .
With the standard position-state normalization, the Euclidean free-particle bridge amplitude isFor example, a momentum resolution gives a one-dimensional Gaussian integral,whose evaluation gives the same exponent and prefactor. In particular, the result integrates to one over at fixed , as required for its heat kernel interpretation.
The Brownian motion displacement has a normal distribution with variance . Its transition probability density function is thereforeComparison with the free particle heat kernel obtained in part (c) gives the required matching:This matches whole path distributions after a linear reparametrization, not merely endpoint variances. To see this, divide the Brownian duration into slices of size . The independent increments have normal distributions with variance , so their joint density contributesFor the Euclidean path integral, the corresponding expression isThe matching condition makes , so both the exponents and all normalization factors coincide. In particular, identifying Brownian time with imaginary time, , requires , or diffusion coefficient .
With both endpoints fixed, the normalized path law is a Brownian bridge. The Euclidean path integral itself is the endpoint density times that conditional path law. In the normalized time coordinate , its expected value and covariance areThe classical path is therefore the bridge's expected value, while individual Brownian bridge paths fluctuate about it. Typical Brownian motion paths are continuous but nowhere differentiable: the kinetic Euclidean action is interpreted through the time-sliced diffusion path integral, rather than by assuming that a typical path has an ordinary velocity.
Past exam of the mathematics course of the University of Cambridge 2003 iii Paper 52 4 Solution Created 2026-10-03 Updated 2026-10-14
An instanton is a localized finite-action classical solution of a Euclidean field theory. Its role differs from that of a static spatial classical field-theory soliton: an instanton is localized in Euclidean spacetime and contributes to quantum transition amplitudes, rather than persisting as a stationary real-time particle. Wick rotation changes the oscillatory weight into when the continuation and boundary conditions are valid. The Euclidean path integral is consequently dominated semiclassically by stationary Euclidean configurations. Perturbation theory around one vacuum misses other saddles whose weights have the nonanalytic form .
A useful first example is quantum tunnelling between two degenerate minima in quantum mechanics. For coordinate with mass , the Euclidean action iswith the vacuum energy subtracted from . Its Euler-Lagrange equation is , equivalent to motion in the inverted potential . A finite-action trajectory joining zero-energy minima has conserved Euclidean energy . A forward instanton therefore satisfies , while an anti-instanton has the opposite orientation. Completing the square gives the action boundwhich these zero-energy paths saturate. This is the Euclidean counterpart of the first-order kink argument, with Euclidean time replacing the spatial coordinate.
For the quartic double-well instanton, chooseThe first-order equation in the interval is . Separation givesThe center is arbitrary. Its derivative is an instanton translation zero mode: differentiating the Euclidean field equation shows that it lies in the kernel of the quadratic fluctuation operator . A naive Gaussian determinant therefore has a zero eigenvalue. Replace its integration by the collective-coordinate integral over , and take the determinant only over nonzero modes. The resulting instanton fluctuation prefactor combines that Jacobian with the determinant ratio against the vacuum. The action controls the exponential suppression; the prefactor is essential for a quantitative rate or splitting.
When , crossings are rare and their typical separations greatly exceed their widths. In the dilute instanton gas, ordered center integrals for well-separated crossings over Euclidean duration produce . If a single-crossing rate is , a symmetric two-well system has even-crossing and odd-crossing sums proportional to and . The spectral interpretation gives levels andThis is a real tunnelling level splitting. A Euclidean bounce instead describes false vacuum decay: it leaves and returns to a metastable vacuum, and a characteristic negative fluctuation mode supplies the imaginary part interpreted as decay. A bounce must not be confused with a stable double-well instanton merely because both use Euclidean saddles.
The central gauge-theory example is a Yang-Mills instanton on Euclidean four-space. State conventions carefully: take anti-Hermitian generators , with , connection , and gauge curvature . With coupling , the positive Yang-Mills action isThe Hodge star operator squares to one on Euclidean two-forms. Under the usual finite-action boundary conditions, the connection approaches a pure gauge at infinity, defining a map . Its winding degree is the integer instanton numberThis is unchanged by smooth deformations preserving the boundary sector. Geometrically this is, up to the stated sign convention, the second Chern number of the compactified bundle. Different sign conventions for trace, curvature or orientation must be changed together.
Use the positive norm . Decomposition into self-dual and anti-self-dual curvature givesThe Yang-Mills instanton Bogomolny bound is saturated by for positive , or for negative . These first-order equations imply the full Yang-Mills equations: the Bianchi identity becomes when . Thus the topological minimum is a genuine classical saddle, not just an arbitrary field with integer charge. Self-duality alone is a local differential condition; finite action is an additional requirement.
An explicit unit-charge example is the BPST instanton. Let , , and choose the self-dual symbols , and for , using orientation . In regular gauge,The curvature is self-dual. Since , its squared component curvature is . Radial integration yieldsso . Replacing self-dual symbols by anti-self-dual ones produces the opposite charge with the same positive action.
The center has four coordinates and is an instanton size modulus. Classical four-dimensional Yang-Mills action is scale invariant, so varying changes the action-density width but not the total action. If gauge transformations must tend to the identity at infinity, three global gauge orientations also remain, giving eight parameters for the one-instanton framed instanton moduli space. If those global orientations are quotiented out, the unframed one-instanton space has five parameters. A zero-size limit is a singular concentration of curvature, not another smooth instanton. Higher-charge solutions likewise possess instanton moduli spaces; their collective-coordinate integrals replace the corresponding zero-mode determinants.
In a Euclidean-time description, topologically distinct gauge vacua are separated by a change of Chern-Simons number; an instanton interpolates between them, with the change equal to in compatible orientation conventions. Theta-weighted instanton sectors give , connecting topology to the vacuum angle. With fermions, the gauge-field topology also controls fermionic zero modes and chiral selection rules through the chiral anomaly. These phenomena explain why instantons encode physics beyond small fluctuations around a single vacuum.
Instantons link Euclidean classical solutions, topological sectors and exponentially suppressed quantum effects. Their interpretation requires the boundary conditions, normalization, fluctuation spectrum and measure over collective coordinates. A dilute approximation is controlled only when its individual-action suppression and separation assumptions hold; classical scale moduli and their quantum corrections can make size integrals delicate rather than automatically finite.
Past exam of the mathematics course of the University of Cambridge 2003 iii Paper 56 2 Solution Created 2026-10-03 Updated 2026-10-14
Use units and put . The static patch of de Sitter spacetime has radial factor . A Wick rotation makes its radial-time metric positive:Near the cosmological horizon, write . Then andin the radial-time directions. Thus must be an angle of period . A larger integer multiple would give a conical excess rather than a smooth origin. The Euclidean black-hole regularity condition givesThis de Sitter horizon temperature uses the time normalization at , where is proper time; static observers at other radii see the corresponding Tolman temperature law redshift.
Vary the gravitational Euclidean action with respect to . The identities and the integrated variation of the scalar curvature yield, after discarding the assumed boundary term,The resulting vacuum Einstein field equations are thereforeTracing in four dimensions gives , and substitution gives .
The smooth Euclidean geometry is compact. Explicitly, in Euclidean five-space useThese obey and induce precisely the above metric, so with the identified Euclidean time covers a round four-sphere once. Neither the collapsing two-sphere at nor the collapsing time circle at is a physical boundary. Since , its volume and on-shell Euclidean action areThe semiclassical partition function is , and follows from the free energy relation . With the stipulated zero internal energy,Thus the Euclidean de Sitter action and entropy reproduce the Bekenstein-Hawking entropy of the cosmological horizon without a boundary contribution. Restoring constants, .
Past exam of the mathematics course of the University of Cambridge 2006 iii Paper 56 3 Solution Created 2026-10-03 Updated 2026-10-14
A Yang-Mills instanton is a localized finite-action Euclidean gauge field with self-dual or anti-self-dual gauge curvature. It is a four-dimensional space-time event, rather than a static three-dimensional finite-energy monopole. Take gauge group first, with Skew-Hermitian generators , , and . Writeand fix orientation . The positive Euclidean action isVarying gives . Integration by parts makes stationarity equivalent to . The Bianchi identity follows by expanding , using , and cancelling the remaining matrix commutator terms. Consequently implies the Yang-Mills equations: . Self-duality of gauge curvature is an extra first-order condition, not a property of every finite-action gauge connection.
For the usual instanton decay conditions, the field is asymptotically pure gauge, on the sphere at infinity. The boundary map has an integer degree. With the present trace convention define the instanton number byThe identityturns this integral into a boundary winding integral: for , the three-form in parentheses is , giving , with the chosen boundary orientation. The normalized invariant three-form computes the degree of , so . Equivalently the gauge bundle extends across conformal infinity to a bundle on , and this is its Second Chern number convention. A smooth deformation preserving the boundary class cannot change this integer.
Square completion gives the Yang-Mills instanton Bogomolny bound:Self-dual gauge curvature saturates the bound for , and anti-self-dual gauge curvature for . These are Yang-Mills action minima within their topological sectors. Gauge variations give redundant directions, and variations along the moduli give zero modes; there is no negative second variation within the fixed-charge sector at a bound-saturating solution.
An explicit charge-one solution is the BPST instanton. Put , , , with . The self-dual 't Hooft symbols are defined by and , extended antisymmetrically. ThenFor completeness, differentiation supplies , where . The matrix commutator term supplies , and the symbol identityreduces their sum to the stated gauge curvature. Since , it is self-dual and solves the Yang-Mills equations. The gauge potential is regular at the center in this gauge, and gauge curvature falls as at infinity.
The squared-symbol sum is 12, soThe second integral follows from and the substitution . ThusReplacing the symbols by their anti-self-dual counterparts reverses the charge and gives an anti-instanton. A compact non-Abelian group with an subgroup admits corresponding embedded examples.
The center gives four position moduli and gives one size modulus. In a framed instanton moduli space, gauge transformations are required to approach the identity at infinity, so three global orientation parameters remain, making eight real parameters for one instanton. If constant gauge transformations are also divided out, only the five position-and-size parameters remain. The size costs no classical Yang-Mills action: under , gauge curvature scales by and the four-dimensional volume by . As , gauge curvature concentrates at the center; the limiting object is a singular bubbling boundary of moduli space, not a smooth zero-size solution.
Higher-charge solutions require genuine nonlinear constructions, rather than a linear sum of charge-one gauge potentials. The ADHM construction gives a finite-dimensional description. For , , take , , , satisfyingmodulo the natural group action of . Here is the charge magnitude, avoiding confusion with the signed above. Regularity requires the following matrix to have full row rank everywhere:The complex constraint kills the off-diagonal block of , while the real constraint equates its diagonal blocks. Thus . Choose an orthonormal matrix of kernel columns , with , and define .
This is not merely a parameter count: its gauge curvature is checked by the ADHM factorization identity. The complementary orthogonal projection is . Differentiating in the identity givesThe space-time differential two-forms appearing here are generated by , , and . For orientation these are anti-self-dual. Hence the construction yields anti-self-dual gauge connections, of charge in the present convention; the reversed construction gives positive charge. Regular ADHM data describe the smooth framed instanton moduli, while degenerate rank conditions allow singular limits.
There are real data parameters. The three real matrix moment map equations impose conditions, and quotient by removes another , giving dimensions at regular points. For this is framed dimensions and unframed dimensions on the irreducible locus. This explains how the one-instanton parameters fit into the higher-charge family.
The Penrose-Ward correspondence provides a complementary description by holomorphic vector bundles on twistor space, trivial on the real twistor lines for the Euclidean problem and equipped with the suitable reality structure. Triviality on every complexified line is a stronger condition and is not required for ordinary Euclidean instantons. Symmetry reductions of the anti-self-dual equations give integrable three-dimensional systems such as the Bogomolny equations.
In the quantum theory, a Euclidean instanton interpolates between Yang-Mills vacua of different Chern-Simons number. Choosing Euclidean time and spatial orientation , its signed charge is the final Chern-Simons number minus the initial one, so it describes quantum tunnelling between winding sectors. Semiclassical contributions are suppressed by ; a Yang-Mills theta term adds a phase . One integrates over the instanton collective coordinates and includes fluctuation determinants rather than treating one classical solution as the entire quantum answer. Instantons therefore connect finite-action classical geometry, topology of gauge bundles, exact nonlinear constructions, and nonperturbative quantum effects.
Past exam of the mathematics course of the University of Cambridge 2009 iii Paper 48 2 Solution Created 2026-10-03 Updated 2026-10-14
The superficial degree of divergence is the power of a common large-momentum scale obtained by scaling all independent internal momenta together, before cancellations or subtraction of divergent subdiagrams. In a scalar field theory with a standard quadratic kinetic term and non-derivative interactions, each loop momentum integral supplies powers of momentum and each internal propagator supplies minus two. ThusFor a connected Feynman diagram, counting vertex half-edges and applying the stated identity for the loop order givesIt follows that . Meanwhile, . Substitution provesThis power counting in quantum field theory concerns the overall scaling: even a Feynman diagram with can contain divergent subdiagrams, and cancellations may improve convergence when .
The canonical mass dimensions are and . A finite polynomial scalar field theory has power-counting renormalizability when its interactions have nonnegative mass dimensions and the allowed local counterterms form a finite set closed under subtraction of divergent subdiagrams. For , non-derivative interactions therefore satisfy . Equivalently,so adding vertices of such interactions cannot force an indefinitely increasing number of external legs or derivatives in divergent counterterms. In dimensions a fixed finite polynomial still has this favorable power counting in quantum field theory; the displayed upper bound on is intended only for .
For six-dimensional cubic scalar field theory, and yieldThe coupling has zero mass dimension. The possible overall divergences have : vacuum energy, a linear tadpole diagram term, a mass term, a kinetic term, and a cubic interaction. These are finitely many local counterterms. Divergent subdiagrams of higher-point Feynman diagrams are removed by the same counterterms, establishing perturbative renormalizability of cubic scalar theory in six dimensions. A real cubic potential is unbounded below, so this claim is one of perturbative quantum field theory, not a claim that the polynomial defines a stable nonperturbative vacuum.
After Wick rotation, use the Euclidean action with positive kinetic and mass terms and interaction . The Euclidean momentum-space Feynman rules are: an internal scalar propagator , a vertex , momentum conservation at each vertex, integration for each independent loop, and division by the Feynman-diagram symmetry factor. Strip the overall momentum-conserving delta function and external propagators when computing an amputated Green's function.
The one-particle-irreducible two-point vertex at one loop is the bubble:
Interchanging its two internal lines is an automorphism, giving Feynman-diagram symmetry factor two. In the normalization of the printed Minkowski amputated Green's function, the two vertices contribute , the two internal propagators contribute , and Wick rotation supplies the overall already factored out there. Thus the Euclidean bubble contribution isFor this self-energy calculation we impose a vanishing one-point function, so tadpole diagram insertions are canceled by the linear counterterm. Without that convention a connected but one-particle-reducible Feynman diagram with a tadpole insertion is also possible: both external legs attach to one vertex, a zero-momentum line joins it to a second vertex, and that second vertex has a self-loop. Its amputated contribution is , independent of . It is not the bubble drawn above; keeping it without a tadpole subtraction would add this constant to the full amputated answer.
To find the bubble's local divergence, put and expand at large :Odd terms vanish under the angular integral. Rotational symmetry gives . The terms through order are thereforeand the coefficient approaches . Terms of order and higher are integrable at infinity in six dimensions; subtracting the two displayed terms leaves an ultraviolet-convergent integral. Hence the divergent part is a local polynomial , with momentum-independent coefficients. For example, when its logarithmically divergent coefficient isChanging the reference scale in this logarithm only changes a finite local term.
At zero external momentum the spherical ultraviolet cutoff and giveWith , integrate . This gives the momentum-cutoff two-point function in six-dimensional cubic scalar theoryIn particular, the divergent part of this constant iswhile the last term in tends to a finite constant. For the zero-momentum integral gives directly. The finite parts of a local subtraction can depend on the regularization prescription; the conclusion about mass and kinetic counterterms does not.
Past exam of the mathematics course of the University of Cambridge 2012 iii Paper 47 4 Solution Created 2026-10-03 Updated 2026-10-07
An instanton describes a finite-action trajectory in imaginary time that crosses between classical vacua. It accounts for quantum tunnelling effects exponentially small in , beyond an ordinary power series around one minimum. A symmetric double well makes the connection between the Euclidean path integral, fluctuation theory and the low-energy spectrum particularly explicit.
For a particle of mass , use a Wick rotation in the kernel. The Euclidean action and its classical equation areThe latter is Newtonian motion in the inverted potential . Subtract the common minimum energy so . A finite-action path approaching at infinite Euclidean times has conserved Euclidean energy . ThereforeThis gives both the classical trajectory by a quadrature and its tunnelling exponent. The plus solution is the instanton; reversal is the anti-instanton. A single crossing has action , not , although a periodic closed path necessarily has equal numbers of crossings in both directions.
An explicit double well. Take , whose local harmonic frequency at either minimum is . Integrating the zero-energy equation gives the quartic double-well instantonThe arbitrary center is a collective coordinate. The tunnelling regime is , so the crossing width is short compared with the typical separation between rare crossings.
The exponential alone does not give a dimensionally complete amplitude. Expand ; the quadratic Euclidean action is , whereThe derivative is a normalizable translation instanton translation zero mode. The factorization of this one-dimensional fluctuation operator shows it has no negative modes. In , its two discrete eigenfunctions are proportional to and , with eigenvalues zero and ; the continuum begins at . Treating its zero eigenvalue as an ordinary Gaussian integral would give a divergent determinant. Instead integrate over : since , the Jacobian supplies . The nonzero fluctuations supply the determinant ratio. With common endpoint regularization,This is the instanton fluctuation prefactor, with and having frequency units. The prime omits precisely the translation mode.
For this quartic potential the determinant can be evaluated explicitly. Set and add a small positive spectral regulator to both operators. With , the dimensionless operator is . Applying successively and to the free decaying solution , and normalizing at , gives a growing coefficient at equal to . The common Dirichlet functional determinant ratio has this coefficient. Hence the quartic double-well fluctuation determinant isThe frequency factor cannot be discarded when deleting the zero eigenvalue.
Summing rare crossings. Consider Euclidean duration much longer than a crossing width. In the dilute instanton gas, ordered centers have integration volume , and the amplitude per crossing is . Starting in the left well, directions alternate: an even number returns to the left well, and an odd number ends in the right well. If local anharmonic corrections, the leading kernels, with a common endpoint normalization , areThe even/odd sums must not be replaced by counting all possible crossing directions independently. Comparing their exponential components with the spectral representation givesFor the quartic example, to leading semiclassical order. This is the double-well tunneling splitting: the even state is lower because the symmetric wavefunction has no node. The equivalent low-energy Hamiltonian in localized left/right states is . An initially localized state tunnels coherently, with probability of occupying the other well. Tunnelling does not imply irreversible decay in this closed symmetric system.
The instanton approach thus yields the same leading forbidden-region action as the WKB approximation, while identifying the zero-mode measure, fluctuation normalization and multiple tunnelling events systematically. Perturbation theory about either separate minimum cannot generate . Multi-instanton interactions and higher-loop fluctuations correct the leading dilute-gas result; at finite temperature one instead uses periodic Euclidean boundary conditions, whose saddles may differ when the period is comparable to the crossing width. A false-vacuum bounce returning to the same metastable minimum has a negative fluctuation mode and describes a decay rate. It should not be confused with the stable-vacuum connecting instanton above, which has a translation zero mode but no negative mode.
Past exam of the mathematics course of the University of Cambridge 2017 iii Paper 304 1 ii Solution Created 2026-10-03 Updated 2026-10-05
The trace of the Euclidean evolution kernel identifies its initial and final positions. Thus the Euclidean worldline path integral is over periodic paths , with :The circle has circumference , not an arbitrary unit length. The Euclidean action follows by Wick rotation of the unit-mass oscillator action. Equivalently, integration by parts with periodic boundary conditions gives for . The path integral measure is formal until a regularization and its normalization are specified; the next part supplies a finite-dimensional version.
Past exam of the mathematics course of the University of Cambridge 2017 iii Paper 304 2 ii Solution Created 2026-10-03 Updated 2026-10-05
Write and choose the U(1) gauge symmetry convention . Its infinitesimal variation isA formal BRST symmetry construction uses , , , and the gauge-fixing fermion . Acting with the odd differential givesFor a real admissible gauge functional, integration over gives in the Euclidean action, and imposes the gauge condition. Overall constant phases in the Faddeev-Popov determinant can be absorbed in the measure convention. Here nonlinear Abelian gauge fixing makes depend on . The action for the Faddeev-Popov ghost fields contains the interaction , so the Faddeev-Popov ghost fields cannot be discarded as in a linear Abelian gauge, even though the Adjoint representation is trivial.
There is a genuine reality obstruction for a complex Euclidean gauge condition in the source. For a Hermitian gauge field, each Euclidean component is real. The real and imaginary parts of separately require and , hence . For example , with other components zero and , has curvature ; no gauge transformation can put it on this slice because curvature is gauge invariant. Thus the stated condition is not a gauge fixing of general real Euclidean configurations. The boxed action is the intended formal complex-gauge construction. A legitimate complexified contour prescription would be additional data, not an ordinary real delta-functional enforcing this printed condition.
Past exam of the mathematics course of the University of Cambridge 2017 iii Paper 304 3 i Solution Created 2026-10-03 Updated 2026-10-14
For a connected Feynman diagram with cubic vertices with four external legs and one loop, and give . In a one-particle-irreducible Feynman diagram, every internal edge lies on the single cycle. Each of the four cubic vertices therefore has two internal and one external leg, giving a box Feynman diagram. With labelled external momenta there are three inequivalent cyclic orderings, modulo rotation and reversal, represented by , and :
The three labelled cubic-scalar box diagrams
. The three inequivalent external-leg orderings of a box Feynman diagram in a six-dimensional cubic scalar field theory. Each square contains four internal propagators and four cubic vertices. Details.Take all momenta incoming with . The Feynman rules for the Euclidean action give a propagator and a cubic insertion . For order , the amputated connected insertion iswhere is the high-mode projector for a strict Wilsonian effective action. Each labelled box has Feynman-diagram symmetry factor one. A common fixed-loop-cutoff convention instead restricts only the chosen integration to the shell; both prescriptions give the same zero-external-momentum value. The effective-action vertex has the opposite sign to this connected insertion. Thus
Insert position resolutions between short-time evolution factors for . Integrating the momenta gives the path integral, with real-time slice factor and weight . A real classical trajectory cannot pass through a barrier with insufficient energy, but the path integral includes nonclassical paths.
Continue , with s physical imaginary time. The damped kernel isThe Euclidean action saddle obeys : motion in the inverted potential. For degenerate minima at , subtract their common potential energy. A trajectory joining them with zero Euclidean energy satisfiesIt is an instanton; reversing its direction gives an anti-instanton. Thus a crossing amplitude is nonperturbative, proportional to . For the representative quartic well , direct integration givesThe arbitrary center is an instanton translation zero mode. Expanding gives a Gaussian path integral involving . Treating the zero mode as a collective coordinate rather than a zero Gaussian denominator produces the instanton fluctuation prefactorCommon endpoint regularization defines the functional determinant ratio; K and kappa have inverse-time units. The prime removes only the zero eigenvalue, while integrating the center supplies the total available time. Large and justify a dilute instanton gas.
Multiple crossings alternate direction. Integrating n ordered centers gives . Return paths contain even n, and transfer paths contain odd n, so their common local-well factor multiplies and respectively. The two lowest levels are consequentlyThe lower state is the even combination of the two localized states. Local anharmonic corrections modify and higher semiclassical corrections modify K. The thermal trace as a closed Euclidean path integral gives when higher local levels are negligible. This describes coherent level splitting in a stable well, not irreversible decay.
For a scattering barrier at energy E, the leading WKB tunnelling exponent gives an amplitude and a transmission probability with twice that exponent. Endpoint matching fixes prefactors. Metastable escape instead uses a Euclidean bounce, with a negative fluctuation mode and a decay rate. Neither its negative mode nor the probability/amplitude factor should be transplanted into the stable double-well splitting. [ref]
Gauge Theory by David Tong. Chapter2, §§2.3.2–2.3.3, printedpp.56–60: quantum-mechanical tunnelling, fluctuation determinants and repeated instanton events


