Assume , since the trivial theory cannot fix or the vacuum expectation value. A zero-energy vacuum must satisfy both and stationarity in both real scalar directions. With the notation from the preceding solution, these become , because the prefactor is positive. The derivatives are
These conditions also show that the zero-energy stationary point must be real. If , the second equation gives ; the first then gives . Substituting into the definition of gives . But
which is impossible. Thus , without assuming a real vacuum in advance.
Set and . Since would give , it cannot occur. The zero-energy equation gives , . Stationarity gives
Combining these equations gives . Writing produces
The condition leaves exactly and . The second branch is a saddle point, as its real-direction curvature is negative; the stability calculation in the next solution verifies this explicitly. The stable zero-energy Polonyi vacuum therefore selects
Zero energy alone, without stationarity and stability, would not imply this parameter value. Even zero energy plus stationarity also admits on the unstable branch.
For the stable branch found above, and . Hence the vacuum expectation value is
in the stated Planck units. To verify that it is a vacuum rather than merely a zero-energy stationary point, evaluate the Hessian matrix. At either zero-energy stationary branch,
Because and its first derivatives vanish there, the Hessian matrix of is just times this Hessian matrix. For , both eigenvalues are positive. This proves a strict local minimum in both real scalar directions. For , , so the alternative , is a saddle point and is excluded from the stable zero-energy Polonyi vacuum.
There is also a useful global check. Set on the stable branch. Directly completing squares gives
Both remaining coefficients are positive. Thus everywhere, with equality only at . The positive exponential prefactor proves that this is the unique global minimum, not just a metastable vacuum.
Finally, at the stable vacuum and . Its supergravity auxiliary field has
Thus the Minkowski vacuum breaks supersymmetry, even though its cosmological constant vanishes. If , the potential is flat and the displayed tuned parameter and scalar value are not selected.
Take , with the Pauli matrices acting on the Higgs doublet. For electroweak hypercharge ,
This specifies every component of the gauge covariant derivative for the electroweak interaction. Expanding the gauge-covariant kinetic term makes its derivative, trilinear and quartic interactions explicit:
where the Pauli matrix multiplication law gives
The antisymmetric Pauli contribution vanishes because is symmetric in . Reversing the sign convention for reverses the linear gauge interactions consistently, without changing the masses.
A nonzero vacuum expectation value requires . Minimizing the Higgs potential gives . By an gauge transformation choose
in unitary gauge. The electroweak doublet gauge-boson mass matrix follows by inserting the vacuum expectation value in the gauge-covariant kinetic term:
Define the charged electroweak gauge bosons and the neutral rotation through the Weinberg angle by
with inverse and . Then
The factors differ because and are conjugate fields whereas is real. The massless photon corresponds to the unbroken Lie algebra generator , which annihilates . Thus three of the four real gauge bosons acquire mass, with . The three would-be Goldstone bosons provide their longitudinal polarizations; the remaining scalar is the Higgs boson.
Introduce the left-handed lepton doublet , with , and the right-handed singlet , with . Use the chiral projectors and in the course's convention. The minimal Standard Model has no right-handed neutrino. The gauge-invariant fermion terms are
The doublet contraction in the Yukawa interaction is a singlet, and its total hypercharge is . A bare term would fail electroweak gauge invariance. The gauge covariant derivatives above already give all the requested fermion-gauge couplings. In terms of mass eigenstates, and they become
Thus the weak charged current is chiral and the neutrino has zero electric charge. The gauge-invariant electron Yukawa mass follows from the Yukawa interaction after electroweak symmetry breaking:
Rephase to make real and positive. It gives
The electron Dirac mass is therefore compatible with the original gauge symmetry through the Higgs mechanism. The neutrino remains massless in this minimal renormalizable lepton sector.
Use natural units and the Minkowski metric . A real scalar field assigns a real variable to each spatial point. Its Lagrangian density can be taken to be
The principle of stationary action gives the Euler-Lagrange equation . With , this is the Klein-Gordon equation. An additional nonlinear part of describes interactions.
The canonical momentum is . The Legendre transform in mechanics gives the canonical Hamiltonian density of a real scalar field
The Hamiltonian equations and recover the same field equation. In canonical quantization, the fields become operators satisfying the equal-time canonical commutation relations
A spatial lattice makes the analogy with many coupled quantum-mechanical coordinates precise. Each lattice field value is a coordinate, with its own conjugate momentum. The path integral is another representation of the same quantum evolution.
To see its origin, first consider one coordinate with . Split a time interval into steps of length and insert position and momentum resolutions of the identity. The short-time kernel is
Multiplying the kernels and integrating over intermediate positions gives the phase-space path integral
The endpoints of are fixed. The momentum integrals are Gaussian integrals; completing the square produces the configuration-space path integral
At finite slicing its normalization contains . This fixes the composition law and the initial delta-function kernel. One sums over all paths, not merely solutions of the classical equation. Restoring replaces the weight by ; stationary phase explains the emergence of classical trajectories.
For the field, use scalar field configuration eigenstates , satisfying . Insert their completeness relations on every time slice. This gives
The endpoint field configurations are fixed. Integrating the Gaussian momentum variables leaves the scalar field path integral . The functional measure means a regulated product over the field variables. A spacetime lattice or another ultraviolet cutoff makes this product finite before the continuum limit; interacting continuum calculations may require renormalization. The oscillatory Minkowski weight is an amplitude, not a positive probability density.
For vacuum expectation values, the boundaries must select the vacuum rather than arbitrary field configurations. Long imaginary-time evolution suppresses excited states: , so after normalization only the lowest-energy component remains as . This is vacuum projection by imaginary time. The corresponding Feynman i-epsilon prescription in the real-time integral specifies the vacuum boundary conditions and the poles of the propagator. With , the Euclidean path integral has the weight , where
It is often a useful regulated starting point; analytic continuation returns the vacuum time-ordered quantities.
Introduce a classical source and define the normalized vacuum generating functional
with the same vacuum prescription in numerator and denominator. A functional derivative brings down . The order of the time slices makes the operator insertion time-ordered. Thus source differentiation inserts time-ordered field operators:
The denominator removes vacuum diagrams and gives normalized expectation values. It is essential that these are time-ordered products; differentiating this vacuum functional does not directly give every possible operator ordering.
The free theory illustrates the method. Its quadratic kernel is with the vacuum pole prescription, and completing the square gives the Gaussian evaluation of a free scalar generating functional
Two source derivatives give . Higher derivatives give all pairings, the content of Wick theorem. For an interaction , one may use path-integral perturbation by source derivatives:
Expanding this expression generates Feynman diagrams and their Wick contractions. The connected generating functional retains connected contributions; in particular . These functionals turn the computation of field-operator expectations into source differentiation of an ordinary regulated integral.
Spectrum and symmetry. Choose a vacuum expectation value . In unitary gauge the scalar field is , with real . The Pauli matrix multiplication law gives . Since is symmetric in gauge indices, only this symmetric product contributes. The kinetic and potential terms therefore become
Comparison with and gives
These are the scalar interactions after complete SU2 breaking. The scalar mass uses the specified potential normalization: the prefactor is important.
A nonzero complex doublet has trivial stabilizer in : a matrix fixing must have second column , and unitarity and determinant one then fix the first column too. Thus all three gauge generators are broken. Three scalar angular directions are absorbed by the Higgs mechanism, giving each gauge boson a longitudinal polarization. The physical degrees of freedom count is
There is no surviving electromagnetic in this theory: it contains only the gauged , not the electroweak product group. The would-be Goldstone bosons are not additional physical massless particles. This is complete breaking by an SU2 scalar doublet.
Scalar interactions. In unitary gauge, all interaction terms containing the physical scalar are
These give , , , and Feynman vertices. Their factors are respectively , , , and , including the identical-leg multiplicities. Gauge-dependent descriptions also contain the absorbed scalar modes; the above are all physical-scalar interactions in the chosen gauge.
Gauge self-interactions. Write . Expanding the field-strength square gives the cubic and quartic pieces
The sign of the cubic term follows from the minus sign in the given nonlinear field strength. The quartic term can also be written using . The cubic Feynman vertex joins three wavy gauge lines, has one momentum factor, and is proportional to . The quartic Feynman vertex joins four wavy lines, is proportional to , and has products of structure constants with metric contractions. There are no higher pure-gauge vertices in this Lagrangian. These are the SU2 gauge self-interaction vertices.
Use and . The free real scalar field has action
The canonical momentum is , and the Hamiltonian operator is obtained by the Legendre transform of the density:
Canonical quantization promotes and to Hermitian operator-valued fields and imposes the equal-time canonical commutation relations
Their Heisenberg equation of motion gives , , hence the Klein-Gordon equation .
Let and . The Hermitian field mode expansion is
The scalar field oscillator inversion extracts
and its adjoint obtained by Hermitian conjugation extracts . Substitute these expressions into the equal-time canonical commutation relation. The two mixed field-momentum terms give
For , the corresponding coefficient is a difference of those square roots and multiplies ; it vanishes because . Taking the adjoint gives . Thus these are bosonic annihilation operators and creation operators. The vacuum satisfies , and normal ordering gives , after removing the constant zero-point energy. A one-particle excitation has energy and spin zero.
The Feynman propagator is the vacuum expectation value of the time-ordered product of two field insertions. For , the field at creates a one-particle excitation from the vacuum and the field at annihilates it; the opposite time ordering reverses the roles. It is a propagation amplitude and correlation function of vacuum fluctuations, rather than a transition probability. From the oscillator expansion, only the - contraction survives, so with and ,
Here is the Heaviside step function, and changing to in the second term gives the last line.
For the Fourier transform convention , insert a positive damping factor and integrate the positive and negative half-lines separately:
The last equality is a distribution identity; the infinitesimals in the partial fractions need not have the same finite magnitude as the infinitesimal in the combined denominator. The Feynman i-epsilon prescription means that the positive-frequency pole is just below the real energy axis and the negative-frequency pole is just above it. Closing the contour integral below for , and above for , reproduces the oscillator result by the residue theorem. This prescription fixes which homogeneous solutions are added to the Green function. As an independent normalization check, has derivative jump at , so
It is the expectation-value convention for , including the numerator , that determines this source normalization.
The vacuum is a centered free Gaussian state. The Wick theorem expresses the four-field time-ordered product as the sum of all pair Wick contractions plus terms containing a normal-ordered product. The latter terms have zero vacuum expectation value. There are exactly three complete pairings, with no fermionic signs for this bosonic field. Thus the free scalar four-point function is
These formulas describe canonical quantization of a real scalar field; in particular, a real scalar field uses a single oscillator family rather than independent charged-particle and antiparticle families.
Let , where . Its stationary-point equation is .
For , the unique minimum is . The quadratic mass term is , so there are real scalar fields, all of mass , and the global special orthogonal group remains unbroken.
For , write . The vacuum manifold is the sphere . Choose . The transformations preserving this vacuum expectation value rotate the first components, giving . At this vacuum the potential's Hessian matrix is
Writing , the radial mode therefore has
These are one massive radial scalar and physical Goldstone bosons. The Goldstone theorem applies to the broken global generators; the flat angular directions of the vacuum manifold explain their zero masses. The spontaneous symmetry breaking is a choice of vacuum, not a change in the invariant Lagrangian. For there are no continuous angular directions: only the radial scalar remains, and the potential's discrete symmetry is broken.
On shell, a massless vector multiplet contains a gauge boson with two transverse polarizations and a gaugino with two fermionic states. A chiral superfield contains a complex scalar field, hence two real bosonic states, and a Weyl spinor with two fermionic states. Their total is bosonic and fermionic states.
Suppose charged scalar fields acquire vacuum expectation values at a supersymmetric vacuum, where F-flatness and D-flatness hold. For each broken generator of the gauge symmetry, the supersymmetric Higgs mechanism combines one massless vector multiplet and one chiral superfield into a massive N=1 vector multiplet. The gauge boson absorbs one real Goldstone boson, acquiring its third polarization. The other real scalar field remains physical. The gaugino and the relevant higgsino mix into the four fermionic states. Thus the spin content is
Unbroken supersymmetry gives all these states the same mass through supersymmetric mass degeneracy. Remaining massive chiral superfields instead have spin content , with two fermionic and two bosonic states of a common mass. The auxiliary fields ensure matching off shell but are not additional propagating particles in these counts.
The super-Higgs mechanism occurs when local supersymmetry is spontaneously broken in supergravity. Its spin- gauge field, the gravitino, absorbs the spin- goldstino:
The extra states have helicities , supplementing . The ordinary supersymmetric Higgs mechanism can preserve supersymmetry while breaking the internal gauge symmetry; the super-Higgs mechanism breaks the local supersymmetry itself. Spontaneously broken global supersymmetry leaves a physical massless goldstino, because there is no dynamical gravitino to absorb it.
With the mode normalization given, the oscillator canonical commutation relations are , with the other two commutators zero. Let and . The convention compatible with the requested numerator is
without an additional factor of outside the vacuum expectation value. Put and . The Fock vacuum is annihilated by , so only contributes to the two Wightman functions. Consequently,
In the second term we changed to give the same spatial exponential.
Now perform the energy contour integral
Here the residue step uses ; the massless zero-momentum point is interpreted through the smeared distribution limit, not as an isolated normalized oscillator. The Feynman i-epsilon prescription puts the positive-energy pole below the real axis and the negative-energy pole above it: and . For , close in the lower half-plane, clockwise; the residue theorem gives times the residue , hence . For , close in the upper half-plane, counterclockwise; the negative-energy residue is , again giving a positive . These are exactly the two time-ordered terms. Restoring the spatial integral proves the scalar Feynman propagator pole prescription:
The prescription in this formula supplies the pole convention left unspecified in the printed display; an unprescribed ordinary real-axis integral would not be well-defined. It is a distribution limit after smearing, not an absolutely convergent four-dimensional integral. With this normalization the derivative jump of a free scalar time-ordered two-point function gives , an independent check of both the numerator and the sign.
Figure 1.
Feynman propagator integration contours and displaced poles
. Clockwise and counterclockwise contour integrals for the Feynman i-epsilon prescription. Details.
The pole displacement is exaggerated in this original schematic. The contour orientation and selected pole reproduce the time ordering of the Feynman propagator.
The exponent in the original PDF is with real , not the produced by the local TeX. Use that authoritative expression. Put
The domain conditions ensure a real Kähler potential and positive Kähler metric. There are no gauge multiplets specified, so the scalar potential is the supergravity F-term potential
The Kähler covariant derivative of a superpotential and metric entries are
State the inverse with its indices explicitly, since transposing the off-diagonal complex entries would change the answer:
Here , so the displayed upper-index array is the transpose of the ordinary matrix inverse of the displayed lower-index array.
Substitution shows that the cross terms involving cancel and that the sector gives
The first term cancels the universal negative term. Thus the no-scale supergravity potential is
This positivity is an algebraic cancellation, not an assumption that the individual Kähler derivatives vanish.
Choose the supergravity auxiliary field convention . Direct multiplication gives
A conventional common phase or overall sign on the auxiliary fields changes none of the vanishing conditions. A supersymmetric configuration requires every to vanish. First implies , then implies , and implies . Since , at a finite point of the physical domain this is possible only when , followed by . Consequently If , every finite configuration has a nonzero auxiliary field, so any finite vacuum breaks supersymmetry. The printed request cannot hold for arbitrary parameters without this exception: , is a zero-energy supersymmetric family with both and unfixed.
With the stipulated vanishing vacuum expectation value of , define . The potential reduces to . Its derivative along is , so a finite stationary point must have . Such a point is a global minimum of the full nonnegative potential, since both squares vanish at . The finite zero-energy vacuum for a single exponential superpotential therefore satisfies
For nonzero , write and . The modulus and phase conditions are
The function increases up to and then decreases to zero; its maximum is . Hence a finite minimum exists exactly when
There is one positive solution for , two for , and one coalesced solution at the upper bound. The formal solution at is outside . At each allowed , the phase fixes modulo . Equivalently , using the real branches of the Lambert W function and retaining only .
At any of these nontrivial minima, . The auxiliary fields become
This is a supersymmetry breaking Minkowski minimum in which the nonzero auxiliary field belongs to . Both real components of are exact flat directions of a scalar potential at the minimum. They change the metric and auxiliary-field magnitudes but not the zero potential. Generically the two real components of are fixed. At the coalesced solution , the radial quadratic restoring term vanishes, but the leading restoring term is quartic; this is not an additional exact flat direction of a scalar potential. The matter field likewise has a positive leading quartic potential, not an exact flat direction of a scalar potential, despite its zero quadratic mass here.
The exceptional parameter cases must also be stated. If or , no finite zero-energy minimum with exists. The same holds when . Because the derivative is nonzero at any positive-energy point on , none is a finite minimum there; the energy approaches zero along the runaway . If , all physical at give supersymmetric zero-energy minima. Thus an unconditional finite minimum or unconditional breaking would be a false claim for the printed arbitrary parameters.
For the homogeneous model, assume is twice differentiable, of degree one in the real moduli , and that its Hessian matrix for is invertible on the sector considered. Differentiate :
The two Euler theorem for homogeneous functions identities in the question imply
Multiplying by the inverse gives , so contracting once more yields
This is the no-scale identity from degree-one homogeneity. It does not assert that every degree-one function gives a positive or invertible metric: for example has a rank-one Kähler Hessian, and its inverse is undefined. The inverse hypothesis is necessary.
For complex moduli with , the same derivatives are the mixed Kähler metric; choosing real parts with a factor of two only introduces factors that cancel in the contraction. If is independent of these moduli, , and their contribution is . It cancels the universal , leaving no scalar potential from this isolated no-scale sector. Other chiral sectors can still contribute positive terms. For this conclusion in a larger theory, the displayed metric must be the appropriate decoupled no-scale block, or the full inverse metric must itself satisfy the corresponding identity; arbitrary mixed additions to do not inherit the cancellation automatically.
The scalar potential can be written as
Its vacuum manifold is the sphere . The Adjoint double cover from SU(2) to SO(3) rotates any nonzero vacuum expectation value to , with . A local unitary gauge removes the two angular fluctuations, leaving . This choice holds in a neighbourhood of the nonzero vacuum; a single global rotation cannot align arbitrary position-dependent fields, and topologically nontrivial configurations can obstruct a global unitary gauge.
The generator fixes the vacuum expectation value, while do not. Thus the Higgs mechanism in this SU(2) gauge theory with an adjoint Higgs field gives
The two angular Goldstone bosons become the longitudinal polarizations of two massive gauge bosons. Define physical fields
These labels describe the fields of this model; they do not identify it with the Standard Model. With the stated adjoint covariant derivative,
To express all Yang-Mills theory terms in physical fields, introduce the gauge field strengths
Then and . Dropping the constant vacuum energy, the Lagrangian density is
Taking the positive gauge coupling convention , the canonically normalized mass terms give
The residual U(1) gauge symmetry makes oppositely charged. The Yang-Mills theory terms supply interactions of with and four-vector interactions. The Higgs mode has cubic and quartic self-interactions, together with and couplings; it is neutral under the surviving U(1) gauge symmetry.
Coupling fermions permits a massless electromagnetic gauge boson and massive charged mediators of the weak interaction; fermion couplings with chirality can produce parity-violating weak charged currents. However, this model has no massive neutral Z boson, and its only charge generator is . A fundamental doublet has opposite charges, so it cannot reproduce the observed doublet charge assignments through an independent hypercharge. The Standard Model instead has , a complex Higgs doublet, three absorbed Goldstone bosons, a massive Z boson and a weak mixing angle.
In the matrix expression, denotes a fundamental generator, whereas the component adjoint covariant derivative uses adjoint generators. With ,
Using antisymmetry to write and gives exactly the component mass term. This is the gauge-boson mass matrix from an adjoint scalar.
For , the Gell-Mann matrices commute with . Their gauge bosons are therefore massless. The generators connect the first two eigenspaces to the third; the eigenvalue difference is . Directly taking the matrix trace gives
with all remaining entries zero. Thus
The factor is the canonical real-vector mass term normalization. The unbroken Lie algebra is , giving the usual description SU(2) × U(1). More precisely, the centralizer of the vacuum expectation value inside is
This global quotient refines the adjoint-Higgs breaking of SU(3) to SU(2) and U(1) without changing the local gauge boson spectrum.
Let and be the scalar mass matrix, which is the Hessian matrix of the scalar potential at the vacuum. Invariance under the infinitesimal Lie group action gives
Differentiate with respect to and evaluate at the vacuum expectation value . Since at a minimum,
Thus every tangent vector generated by a broken Lie algebra generator is a zero eigenvalue eigenvector of the scalar mass matrix. The unbroken generators are precisely those in the stabilizer Lie algebra and give the zero tangent vector; independent broken directions span . Hence Goldstone theorem gives
massless scalar modes at the classical level.
A bare gauge boson mass would spoil the electroweak gauge structure. In the Standard Model a complex Higgs doublet instead has a symmetry-breaking potential. Choose the convention
The Higgs mechanism rearranges three scalar components into the longitudinal polarizations of the massive W bosons and Z bosons; the unbroken electromagnetic gauge symmetry leaves the photon massless. One physical scalar excitation, the Higgs boson , remains.[ref] Using tree-level Feynman diagrams,
These equations use natural units. Yukawa interactions generate charged-fermion masses and Higgs couplings proportional to those masses; the minimal model does not account for observed neutrino masses. The gauge kinetic term supplies Higgs couplings to W and Z pairs. The physical Higgs exchange also cancels the otherwise excessive high-energy growth of longitudinal vector-boson scattering. The mechanism does not fix the Yukawa couplings or the Higgs self-coupling, and most proton mass arises from strong-interaction dynamics rather than directly from the light-quark Higgs masses.
The mass-generation mechanism is a statement about the field and its vacuum expectation value; the observable boson is the excitation about that vacuum.
The electroweak gauge group is . Left-handed fermions form weak-isospin doublets and right-handed charged fermions are singlets under . Before symmetry breaking the gauge fields are and , with couplings . A Higgs-doublet vacuum expectation value breaks the symmetry to electromagnetic .
In units , the physical combinations and tree-level relations are
The photon remains massless. charged currents change members of weak doublets, whereas the mediates weak neutral currents with parity-dependent couplings. At low energies exchange reduces to the Fermi contact interaction, ; the apparent weak suppression reflects the massive mediator. This unifies the gauge description, not the numerical equality of all low-energy couplings.[ref]
Neutral-current neutrino interactions and subsequent observation of massive weak vector bosons tested this structure. In a neutral-current neutrino experiment, an isolated hadronic interaction without an accompanying charged lepton is a candidate signal; entering neutral hadrons and missed charged-current leptons are important backgrounds. Gargamelle's neutral-current evidence supplied a direct experimental check beyond ordinary beta decay.[ref]
Write . The Pauli matrices give the weak isospin operators
For the Higgs doublet with weak hypercharge ,
The Higgs field direction, including its vacuum expectation value, is electrically neutral. Consequently the electromagnetic U(1) leaves the vacuum invariant: electroweak symmetry breaking preserves electromagnetism and the photon remains massless. The result concerns this neutral vacuum direction; it does not say that both components of the full Higgs doublet have zero electric charge.
The Heisenberg picture evolution of the annihilation operator follows from . With , this gives the mode expansion of a free field
Define . The time-ordered product then gives the Feynman propagator
The last expression follows by closing the contour integral below for and above for ; the scalar Feynman propagator pole prescription supplies the required positive- and negative-frequency terms.
For every term obeys the homogeneous Klein-Gordon equation. At , the equal-time commutator of the fields vanishes, so the propagator is continuous and there is no derivative of a Dirac delta function. Its first time derivative has the jump
The second time derivative therefore supplies precisely the source:
Thus the defined Feynman propagator is a Green's function with source normalization ; has source normalization . Keeping this factor avoids confusing the vacuum expectation value convention with conventions which define the propagator after dividing by .[ref]
Write , where contains the quadratic kinetic term and mass term, and . Then
Let and let denote the unit-normalized free Gaussian vacuum expectation value. The unnormalized numerator is consequently
The Minkowski path integral is understood with the usual scalar Feynman propagator pole prescription, as a formal perturbation series. A real cubic potential energy is unbounded below; no nonperturbative stable vacuum is being assumed here.
Set , , and , with a common regularization understood for coincident points. The zero-order one-point term has one field and vanishes. At first order, Wick's theorem gives three choices for the contraction with the external field, leaving a tadpole diagram:
The second-order term contains seven fields, so it vanishes by the vanishing odd correlators of a free Gaussian field. Hence
The coefficient is , or symmetry factor when each diagram is weighted by . No spacetime integral has been evaluated. The one-point tadpole diagram is shown in the first panel of the following figure; its other panels organize solution.
Figure 1.
Cubic one- and two-point Wick contractions; vacuum factors cancel, but the product of two one-point tadpoles remains in the full two-point correlator
. Details.
Keep for the cubic coupling and for the external source. Expanding the interaction part of the scalar field path integral yields
A functional derivative of the source exponential inserts . In particular, , so can be replaced by . The functional derivatives commute and can be taken outside the free path integral. Resumming the exponential series gives
This is a formal perturbation series; a real cubic scalar potential is unbounded and the expression does not assert a stable nonperturbative vacuum state.
To evaluate the free Gaussian path integral, use integration by parts to write
The inverse kernel is
Completing the square with changes the exponent to . The translation-invariant functional measure makes the remaining Gaussian path integral precisely , hence
For , the exponent includes , which damps the regulated finite-dimensional integrals. The Feynman i-epsilon prescription displaces the positive-energy pole below the real axis and the negative-energy pole above it, selecting the time-ordered vacuum expectation value. Indeed the Feynman propagator is . Thus specifies both convergence and the vacuum state boundary conditions, with taken after integration.
Put and . The Dirac adjoint of the printed mode expansion of a Dirac field is
The Fock vacuum is annihilated by . The canonical anticommutation relations therefore give the two non-time-ordered vacuum expectation values
In the first line, the only surviving contraction is ; in the second it is . Both of these unordered contractions have positive coefficients.
However, fermionic time ordering includes a minus sign when it interchanges two odd fields:
Thus the result following from the stated canonical anticommutation relations and standard time ordering is
The second term printed with a plus sign is not correct for standard fermionic time ordering. Its plus-plus expression would be an ungraded chronological product. The missing minus cannot be absorbed by a phase choice for or , since each spin sum contains a spinor and its adjoint.
For comparison with the conventional Dirac propagator, define and let denote this free Dirac field's mass. Then
The exchange of the spinor indices is essential: is the component of , not its component.