Breakthrough acreage approach QFT Schwinger-Dyson

 04 July 16:48   In breakthrough acreage theory, activity is accustomed by the anatomic S of acreage configurations (which alone depends locally on the fields), then the time ordered exhaustion apprehension amount of polynomially belted anatomic F, , is accustomed by

    :$=fracphi\; Fe^\}phi\; e^\}$

    In fact, on carapace equations for the classical case usually accept their breakthrough analog because, in a duke bouncing way, if amalgam over regions of the agreement amplitude which are decidedly off shell, the rapidly aquiver phases would tend to aftermath annihilative arrest wheareas for regions abutting on shell, we tend to accept effective interference.

    For example, what is the analog of the on carapace Euler-Lagrange equations, $fracS=0$?

    If the anatomic admeasurement $mathcalphi$ turns out to be translationally invariant (well accept this for the blow of this article, although this does not authority for, lets say nonlinear sigma models) and if we accept that afterwards a Wick circling

    :$e^$,

    which now becomes

    :$e^$

    for some H, goes to aught faster than any alternate of any polynomial for ample ethics of φ, accommodate by locations (after a Wick rotation, followed by a Wick circling back) to get the afterward Schwinger-Dyson equations:

    :$=-i$

    for any polynomially belted anatomic F.

    These equations are the analog of the on carapace EL equations.

    If J (called the antecedent field) is an aspect of the bifold amplitude of the acreage configurations (which has at atomic an affine anatomy because of the acceptance of the translational invariance for the anatomic admeasurement then, the breeding anatomic Z of the antecedent fields is authentic to be:

    $Z=int\; mathcalphi\; e^$

    Note that

    

    where

    $\_J=fracphi\; Fe^\}phi\; e^\}$

    Basically, if $mathcalphi\; e^$ is beheld as a anatomic administration (this shouldnt be taken too actually as an estimation of QFT, clashing its Wick rotated statistical mechanics analogue, because we accept time acclimation complications here!), then are its moments and Z is its Fourier transform.

    If F is a anatomic of φ, then for an abettor K, F is authentic to be the abettor which substitutes K for φ. For example, if $F=frac\}\}phi(x\_1)cdots\; frac\}\}phi(x\_n)$ and G is a anatomic of J, then $FG=(-i)^n\; frac\}\}frac\; cdots\; frac\}\}frac\; G$.

    Then, from the backdrop of the anatomic integrals, we get the adept Schwinger-Dyson equation:

    $fracZ+J(x)Z=0$

    If the anatomic admeasurement is not translationally invariant, it ability be accessible to accurate it as the artefact $Mmathcalphi$ area M is a anatomic and $mathcalphi$ is a translationally invariant measure. This is true, for example, for nonlinear sigma models area the ambition amplitude is diffeomorphic to Rⁿ. However, if the ambition assorted is some topologically nontrivial space, the abstraction of a adaptation does not even create any sense.

    In that case, we would accept to alter the S in this blueprint by addition anatomic $hat=S-iln(M)$

    If we aggrandize this blueprint as a Taylor alternation about J=0, we get the absolute set of Schwinger-Dyson equations.

    Now how about the on carapace Noethers assumption for the classical case? Does it accept a breakthrough analog as well? Yes, but with a caveat. The anatomic admeasurement would accept to be invariant beneath the one constant accumulation of agreement transformation as well.

    Lets see how it goes. Lets just accept for artlessness actuality that the agreement in catechism is bounded (I dont beggarly bounded in the barometer sense. I beggarly bounded in the faculty that the adapted amount of the acreage at any accustomed point beneath an atomic transformation would alone depend on the acreage agreement over an arbitrarily baby adjacency of the point in question.). Lets aswell accept that the activity is bounded in the faculty that it is the basic over spacetime of a Lagrangian and that $Q=partial\_mu\; f^mu\; (x)$ for some action f area f alone depends locally on φ (and possibly the spacetime position). If we dont accept any appropriate abuttals conditions, this would not be a true agreement in the true faculty of the appellation in accepted unless f=0 or something. Here, Q is a ancestry which generates the one constant accumulation in question. We could accept antiderivations as well, like for archetype BRST and supersymmetry. Lets aswell assume

    $int\; mathcalphi\; Q=0$ for any polynomially belted anatomic F. This acreage is alleged the invariance of the measure. And this does not authority in general. See aberration (physics) for added details.

    Then,

    $int\; mathcalphi\; Q=0$, which implies

     area the basic is over the boundary. This is the breakthrough analog.

    Now, lets accept even added that Q is a bounded basic $Q=int\; d^dx\; q(x)$ area q(x)=δ^(d)(x-y)Q so that $q(x)=partial\_mu\; j^mu\; (x)$ area $j^(x)=f^mu(x)-fracmathcal(x)\; Q$ (this is bold the Lagrangian alone depends on φ and its first fractional derivatives! Added accepted Lagrangians would crave a modification to this definition!). Agenda that were NOT insisting that q(x) is the architect of a agreement (i.e. were NOT insisting aloft the barometer principle), but just that Q is. And lets aswell accept the even stronger acceptance that the anatomic admeasurement is locally invariant:

    $int\; mathcalphi\; q(x)=0$.

    Then, wed have

    

    Alternatively,

    $q(x)Z+J(x)QZ=partial\_mu\; j^mu(x)Z+J(x)QZ=0$

    The aloft two equations are the Ward-Takahashi identities.

    Now for the case area f=0, we can overlook about all the abuttals altitude and belt assumptions. Wed artlessly accept

    =0.

    Alternatively,

    $int\; d^dx\; J(x)QZ=0$

    To accord an example, suppose

    $S=int\; d^dx\; left\; (frac\; partial^mu\; phi(x)\; partial\_mu\; phi(x)\; -fracm^2phi(x)^2\; -fracphi(x)^4$
ight )

    for a absolute acreage φ.

    Then,

    $frac=-partial\_mu\; partial^mu\; phi(x)\; -m^2\; phi(x)\; -\; fracphi(x)^3$.

    The Schwinger-Dyson blueprint for this accurate archetype is:

    $ipartial\_mu\; partial^mu\; fracZ+im^2fracZ-fracfracZ+J(x)Z=0$

    Note that back $frac$ is not categorical ($fracZ$ is a administration in x₁, x₂ and x₃), this blueprint needs to be regularized!