the path integral method within the lagrange formalism is a fundamental tool to formulate quantum field theory .
certainly , the treatment of the same theory within the canonical operator formalism is somewhat more cumbersome .
in fact , additionally to the operator - ordering problems of gauge theories @xcite , the formal invariance properties of a generic theory admit additional transformation laws which are not present in the lagrange formulation .
the `` momentum fields '' in such a case are not related to the fundamental fields by means of the canonical equations , see , _ e.g. _ , ref.@xcite , but constitute separate degrees of freedom with independent transformation properties and thus symmetries . as a consequence
the number of variables in the path integral increases in comparison to the lagrange formalism .
this introduces for most theories considerable additional complications in perturbative as well as non - perturbative calculations @xcite .    on the other hand ,
some recent studies indicate that the first order formalism proves to be a successful tool to study the required complete cancellation of the energy divergences @xcite that emerge in a perturbative treatment of coulomb gauge yang - mills theory within the standard lagrange formalism @xcite .
coulomb gauge yang - mills theory has attracted attention since one possible solution to the confinement problem in qcd is provided by the `` gribov - zwanziger '' scenario @xcite ( _ cf .
_ also ref.@xcite ) . however , the problem of renormalizing coulomb gauge yang - mills theory is still unsolved since these energy divergences can not be regularized using any of the standard procedures .
recently it was illustrated how these energy divergences cancel at each order in perturbation theory @xcite . in order to perform explicit calculations a number of methods
have been applied as _
e.g. _ introducing a novel method to regularize feynman integrals in non - covariant gauges @xcite , employing algebraic renormalizability @xcite , and trying to recover coulomb gauge yang - mills theory as a limit of an interpolating gauge @xcite .
on the other hand , there are several indications that the canonical or first order formalism is better suited for studying coulomb gauge yang - mills theory @xcite . yet
, even if such an approach would be successful , due to the dramatically complicated form of the functional equations in the first order formalism , an explicit non - perturbative study is far too involved to be computationally feasible .
therefore , an analysis in the second order formalism would be highly desirable .
to this end we provide general connections between the greens functions in the two formulations that should help to perform the renormalization in the lagrange framework according to the insight in the renormalization procedure obtained in the hamilton framework .    in order to establish general relations between dressed correlation functions in the different formulations we exploit the following properties . at vanishing sources associated to the momentum fields the effective action ( _ i.e. _ the generating functional of one - particle - irreducible ( 1pi ) green s functions ) of the hamilton formalism reduces to the one of the lagrangean approach .
this allows to reduce the set of dyson - schwinger equations ( dses ) @xcite in the first order formalism to the corresponding set derived from the standard path integral representation .
an important special case is given if the hamiltonian is quadratic in the momentum fields .
for a corresponding generating functional the integration over the momentum fields can be performed and any @xmath1point function involving this field as the average of a polylocal function of the quantum canonical momentum fields can be determined .
this means that the full correlation functions involving these canonical variables can be found as a functional of those that usually appear in the standard path integral representation .
the procedure to find these connections is closely related to the functional method used in the derivation of the dses ( see _ e.g. _ ref .
@xcite ) . in this paper
we give the explicit form of these relations for a general four - dimensional renormalizable theory .
this includes the case that the interaction terms involve the time derivative of the fields . in a final step
we resolve the relations between the proper two - point functions in both frames by considering the inverse of the matrix - valued propagators in the hamiltonian approach .
moreover , we show that similar connections arise for theories where not the kinetic but the interaction part is linearized .
such a bosonization procedure is an important technique used in many parts of physics ranging from hadronic physics to condensed matter systems .
our results explicitly verify , in agreement with other approaches , that there is no double counting in bosonized theories , but instead a given correlation function in the underlying theory is exactly given by the sum of all possible contributions involving both the fundamental and the composite degrees of freedom in the bosonized theory .
this paper is organized as follows : in sect .
ii the functional equations for dses and a symmetry - related identity ( like ward - green - takahashi , resp .
slavnov - taylor , identities ( stis ) of a gauge theory @xcite ) in the phase space formulation are given . in sect .
iii we present the first order dses of theories which are quadratic in the momentum fields . in addition , we derive a method to determine the correlation functions and the stis including momentum fields from the respective quantities that usually appear in the standard lagrange representation .
diagrammatic rules and the general decomposition of the full proper functions in the lagrange formalism are given in sect .
iv , while in sect .  v and sect .
vi we detail the explicit decomposition of the connected and proper two - point functions in the hamilton framework , respectively . in sect .
vii we show that the formalism can also be utilized in the case composite of auxiliary fields , and last but not least in sect .
viii we apply the formalism to the case of coulomb gauge yang - mills theory . in the last section we conclude while essential steps of many calculations have been deferred to several appendices .
we start our analysis by considering a generic quantum field theory formulated within the first order formalism . the hamiltonian density @xmath2 depends on the fundamental fields @xmath3 and the conjugate momentum fields @xmath4 , respectively .
as will be discussed in sect .
iv.d , for fermionic fields the relation between the two formalisms is trivial .
therefore we will treat only the case of bosonic fields in this and the next section .    in the case of gauge invariant theories
we will suppose that the hamiltonian @xmath5 includes the additional terms that arise when the constraints associated to such theories , like _
e.g. _ gauss law in quantum electrodynamics , are localized . in this context each lagrange multiplier necessary to impose the constraints
will be treated as a fundamental field .
certainly the presence of these terms leads to the main differences between gauge theories and the more conventional hamiltonian systems .
in addition , in a fixed gauge , ghost fields appear .
the usual path integral representation of these grassmannian variables is formulated within the first order formalism ( see also sect .
iv.c ) . thus , in the case of a gauge theory they will be analysed in an independent way ( for details see sect .
[ sec : coulomb ] ) . in this section , to set up the problem , we will disregard for the moment these potential complications .
let us suppose , in addition , that the fields @xmath4 and @xmath3 are coupled to a set of classical sources given by @xmath6 and @xmath7 , respectively . under such conditions
the source dependent vacuum - to - vacuum transition amplitude between the asymptotic states @xmath8 and @xmath9 looks like @xmath10&=&\langle\mathrm{vac},\mathrm{out}|\mathrm{vac } , \mathrm{in}\rangle_{j}\nonumber\\&= & \int \mathcal{d}[q]\mathcal{d}[p ] \exp\left\{\frac{i}{\hbar}\left(i\left[q , p , j\right]+i\epsilon\textrm{-terms}\right)\right\}\;\;\;\label{gen}\end{aligned}\ ] ] where @xmath11 $ ] denotes the collection of all fundamental fields , whereas @xmath12 $ ] the corresponding momentum fields . for more details
see section @xmath13 of the ref .
@xcite . here
the argument in the exponential has the structure @xmath14=i_0\left[q , p\right]+\int d^4x j(x)\cdot\phi(x)\ ] ] where @xmath15 include both momentum and fundamental fields and sources .
the components of the sources in this notation are distinguished by upper labels , whereas @xmath16&= &   \int_{-\infty}^\infty d\tau \bigg ( \int d^3\textbf{x}\big ( p_m(x)\dot{q}_m(x )   \nonumber \\ & & \qquad \qquad \qquad -\mathcal{h}\left(q(x),p(x)\right)\big ) \bigg ) \label{acv } \end{aligned}\ ] ] looks like the classical expression for the hamiltonian action .
note that the part concerning to the @xmath17 terms in eq .
( [ gen ] ) have the function to produce the necessary @xmath18 in the denominators of all propagators such that the correct boundary conditions of the fields at asymptotic times , @xmath19 , are implemented ( see again ref .
@xcite ) .
the fact that @xmath20 $ ] looks like the action expressed in terms of canonical variables is somewhat misleading since the momentum fields @xmath4 are independent variables and therefore * not yet * related to the fundamental fields @xmath3 or their derivatives .
in particular , since the path integral is not saturated by its saddle point(s ) they are not constrained to obey the equations of motion of classical hamiltonian dynamics @xmath21 where @xmath22    the path integrals , however , contain the information about these equations of motion .
indeed , let us consider the operator version of eq .
( [ me1 ] ) .
its vacuum expectation values in the presence of the external classical sources can be expressed as @xmath23\mathcal{d}[p]\frac{\hbar}{i}\frac{\delta}{\delta\phi } \exp\left\{\frac{i}{\hbar}i\left[q , p , j\right]\right\ } } { \langle0_\mathrm{out}\vert0_\mathrm{in}\rangle_{j } } -j.\ ] ] assuming the absence of any boundary terms , the integral of such a functional derivative vanishes . then by substituting each of the elementary objects present in eq .
( [ me1 ] ) by the derivative with regard to the respective classical sources , the following functional differential equation arises @xmath24=-j(x)\mathcal{z}[j ] .
\label{partida1}\end{aligned}\ ] ] it contains all equations of motions fulfilled by all green s functions .
introducing the generating functional of connected green s functions , @xmath25=-i\ln\left(\mathcal{z}[j]\right)$ ] , allows us to rewrite eq .
( [ partida1 ] ) as @xmath26 where in the last step we made use of the following identity @xmath27 for arbitrary functionals @xmath28 and @xmath29 .
this set of equations constitutes the dses for the connected green s functions .    in the next step
we introduce the vacuum expectation values of the momentum and the fundamental fields in the presence of sources @xmath30=\frac{1}{i}\frac{\delta\mathcal{w}^h}{\delta j(x)}\equiv \left(\begin{array}{c }     \bar{p}[j]\\     \\\bar{q}[j ]    \end{array}\right)=\left(\begin{array}{c }     \frac{1}{i } \frac{\delta\mathcal{w}^h}{\delta j^p_{m}}\\     \\ \frac{1}{i } \frac{\delta\mathcal{w}^h}{\delta j^q_{m } }    \end{array}\right).\ ] ] we assume that it is possible to invert these relations such that the sources are expressed as functionals of the vacuum expectation values of @xmath31 and @xmath32 . hereby the replacements of variables in eq .  ( [ wsde1 ] )
becomes @xmath33(x)+ \frac{\hbar}{i}\int d^4x^\prime\mathbb{d}[j](x , x^\prime ) \frac{\delta}{\delta \bar{\phi}(x^\prime)}\label{r11}\ ] ] where @xmath34(x , x^{\prime})\equiv\left(\begin{array}{cccc }    \delta_{ml}^{pp}[j](x , x^{\prime } ) &   \delta_{ml}^{pq}[j](x , x^{\prime } ) \\     &    \\    \delta_{ml}^{qp}[j](x , x^{\prime } ) & \delta_{ml}^{qq}[j](x , x^{\prime } ) \end{array}\right)\label{cpro}\ ] ] are the source - dependent two - point green s function where @xmath35 } { \delta j^{p}(x)\delta j^{q}(x^\prime)}=\frac{\delta \bar{q}_l[j](x^\prime ) } { \delta j^{p}(x)}\ ] ] and @xmath36,$ ] @xmath37 $ ] and @xmath38 $ ] are analogously defined .
the effective action in the first order formalism @xmath39 $ ] can be defined by the legendre transform of @xmath25 $ ] with respect to the associated `` averaged '' fields of the theory @xmath40\stackrel{def}{\equiv}\mathcal{w}^h[j]-
\int d^4x j(x)\cdot\bar{\phi}(x).\label{ea}\ ] ] remember that the compact notation implies a twofold legendre transformation in the two independent components @xmath41 and @xmath42 . by considering the functional derivative of @xmath43
$ ] with respect to @xmath44 and @xmath45 we obtain as expected @xmath46    substituting eq .
( [ eq : ecmov ] ) into eq .
( [ wsde1 ] ) , however , we obtain with the replacement eq .
( [ r11 ] ) the desired functional differential equations for @xmath43,$ ] @xmath47(x)+ \frac{\hbar}{i}\int d^4x^{\prime}\mathbb{d}[j](x , x^\prime ) \frac{\delta}{\delta \bar{\phi}(x^\prime ) } } \ , .\label{sdev}\ ] ] this relation generates all dses for the 1pi green s functions of the first order formalism . the method to obtain such a functional relation
will be employed several times in the following .
the derivation of the proper propagators is straightforward when keeping in mind that they are embedded in a matrix .
in fact , taking a derivative with regard @xmath48 in eq .
( [ sdev ] ) we obtain @xmath49}(x^{\prime\prime},x^\prime)\equiv\left(\begin{array}{cccc } \frac{\delta^2\gamma^h}{\delta\bar{p_m}(x^{\prime\prime } ) \delta\bar{p}_n(x^\prime ) } & \frac{\delta^2\gamma^h } { \delta\bar{p_m}(x^{\prime\prime})\delta\bar{q}_n(x^\prime ) } \\ & \\ \frac{\delta^2\gamma^h}{\delta\bar{q_m}(x^{\prime\prime } ) \delta\bar{p}_n(x^\prime ) } & \frac{\delta^2\gamma^h } { \delta\bar{q_m}(x^{\prime\prime})\delta\bar{q}_n(x^\prime ) } \end{array}\right).\label{pgf}\ ] ] this expression and eq .
( [ cpro ] ) are related via the identity @xmath50(x , x^{\prime\prime } ) \mathbb{g[\phi]}(x^{\prime\prime},x^\prime)=-\mathbb{i},\label{unidad}\ ] ] which can be obtained by taking a derivative with respect to the source @xmath51 in eq .
( [ eq : ecmov ] ) .
hereby @xmath52 denotes the identity in the considered space . any other connected or proper green s function can be derived by considering higher order derivatives with respect to @xmath51 and @xmath53 in eq .
( [ cpro ] ) and eq .
( [ pgf ] ) , respectively .    in general ,
these functions are constrained by the symmetry properties of the initial `` action '' . in the case of a gauge theory
a corresponding derivation leads to the stis .
for coulomb gauge yang - mills theory it is presented in sect .
[ sec : coulomb ] . here
we will illustrate the potential complications arising in the first order formalism .
for this it sufficient to assume that @xmath54 is invariant under the simultaneous infinitesimal transformations @xmath55\equiv\epsilon \cdot \left(\begin{array}{c } \mathfrak{g}_m^q\left[p , q\right ] \\ \\
\mathfrak{f}_m^p\left[p , q\right]\end{array}\right)\label{transfi}\ ] ] and also assume that they leave the path integration measure invariant . performing this substitution in eq .
( [ gen ] ) we can obtain the following `` symmetry - related functional identity '' @xmath56\mathcal{d}[p]\int d^4 x j(x)\cdot\delta\phi(x ) \exp\left[\frac{i}{\hbar}i\left[\phi , j\right]\right].\label{slavnov}\ ] ] in the next step we substitute the fundamental and momentum fields by the respective derivatives with respect to the classical source . following a procedure similar to the derivation of the dses we rewrite the symmetry - related identity eq .
( [ slavnov ] ) and express it in terms of the full generating functional @xmath57 $ ] : @xmath58\mathcal{z}[j].\label{comparar}\ ] ] analogously , the above relation can be rewritten for connected green s functions @xmath59\vert_{\phi\to\frac{\delta\mathcal{w}^h}{\delta j}+\frac{\hbar}{i}\frac{\delta}{\delta j } } .\label{comparar1}\ ] ] as before , eq .
( [ slavnov ] ) can be reformulated in terms of the effective action @xmath60\right\vert_{\phi\to\bar{\phi}[j]+
\frac{\hbar}{i}\int d^4y\mathbb{d}[j](x , y)\frac{\delta}{\delta \bar{\phi}(y ) } } .\label{comparar2}\ ] ] this identity verifies that the effective action in first order formalism preserves the continuous symmetries of the initial canonical quantum action .    at this point the dses and the symmetry - related identity eq .
( [ slavnov ] ) of a qft seem to be more cumbersome than the usual one which appear in the standard path integral formulation .
however , in the next section we shall show that under certain conditions the above system can be reduced to the latter one .
from here on we will denote all the variables a field depends on by a single latin index .
for instance in case of a gauge field such indices will indicate the space - time point @xmath61 , the vectorial index @xmath62 , and the adjoint gauge group index @xmath63 .
repeated indices are summed and integrated over for discrete and continuous variables , respectively .
also all fundamental fields will be denoted by the same letter @xmath41 .
similarly , @xmath42 will represent all momentum fields .
let us now consider the path integral representation of a @xmath0-point function involving only momentum fields @xmath64\mathcal{d}[p]p_{i_1}\ldots p_{i_n}\exp\left[\frac{i}{\hbar}i[q , p , j]\right ] } { i^{1-n}\int\mathcal{d}[q]\mathcal{d}[p ] \exp\left[\frac{i}{\hbar}i[q , p , j]\right]}\;\;\ ; .\nonumber\end{aligned}\ ] ] here @xmath65 is the time ordering operator , and @xmath66 are the hermitian momentum field operators in the heisenberg picture .
the expression ( [ delta ] ) can be written via functional derivatives with respect to @xmath67 as @xmath68\mathcal{d}[p]\frac{\hbar}{i}\frac{\delta}{\delta j^p_{i_1}}\ldots\frac{\hbar}{i}\frac{\delta}{\delta j^p_{i_n}}\exp\left[\frac{i}{\hbar}\left\ { i[q , p , j]\right\}\right]}{i^{1-n}\int\mathcal{d}[q]\mathcal{d}[p ] \exp\left[\frac{i}{\hbar}\left\{i[q , p , j]\right\}\right]}.\label{ass}\ ] ]    in the following we will consider only the important class of hamiltonians which are at most quadratic in the momentum fields . note that this case is realized for all renormalizable and most non - renormalizable theories .
for later use we write the hamiltonian in the form @xmath69p_m+\mathcal{b}_i[q]p_i+ \mathcal{c}[q],\label{hamiltoniand1}\ ] ] which defines a real , symmetric , positive and non - singular matrix @xmath70 as well as the real functionals of @xmath41 , @xmath71 $ ] and @xmath72 $ ] . for the considered class of hamiltonians
the gaussian integration over @xmath42 can be performed analytically .
as shown in appendix [ app : p - int ] it yields an expression of the form @xmath68\frac{\hbar}{i}\frac{\delta}{\delta j^p_{i_1}}\ldots\frac{\hbar}{i}\frac{\delta}{\delta j^p_{i_n}}\exp{\left[\frac{i}{\hbar}\tilde{\mathcal{s}}[q , j]\right ] } } { i^{1-n}\int \mathcal{d}[q]\exp{\left[\frac{i}{\hbar}\tilde{\mathcal{s}}[q , j]\right]}}. \label{ass111}\ ] ] the general result for the new action arising in the exponential is given in eq .
( [ gac ] ) .    for simplicity we will discuss first the standard hamiltonian with @xmath73=\delta_{ij}$ ] .
the general case where @xmath70 is non - trivial is realized _
e.g. _ in the case of coulomb gauge qcd which will be discussed in sect .
[ sec : coulomb ] .
( for the moment we only note that then the inverse matrix , @xmath74 $ ] , appears in the following expressions as a prefactor of @xmath75 making in general the action @xmath76 non - local . ) in the considered simpler standard case the new action possesses the structure @xmath77=\mathcal{s}_0 + \frac{1}{2}j^p_{i}j^p_{i}+j^p_{i}\frac{\delta\mathcal{s}_0}{\delta\dot{q}_i}+ j^q_{i}q_i \label{actionlf}\ ] ] where @xmath78 is the standard action @xmath79=\frac{1}{2}\dot{q}^i
\dot{q}^i -\dot{q}^i \mathcal{b}^i[q]\ + \frac{1}{2}\mathcal{b}^i[q]\mathcal{b}^i[q]- \mathcal{c}[q ]   \ , .\label{act}\ ] ]    the application of eq .
( [ especial ] ) on the integrand present in eq.([ass111 ] ) makes it possible to write @xmath68\left\{\hat{\mathcal{o}}_{i_1\ldots i_{n-1}}^{p\ldots p } \left(j^p_{i_n}+\frac{\delta\mathcal{s}_0}{\delta \dot{q}_{i_n}}\right)\right\}\exp{\left[\frac{i}{\hbar}\tilde{\mathcal{s } } \right]}}{i^{1-n}\int \mathcal{d}[q]\exp{\left[\frac{i}{\hbar}\tilde{\mathcal{s}}\right]}}. \label{ass11}\ ] ] where the operator @xmath80 only acts on the function inside the curly brackets .
note that the integrand in the numerator is a functional depending on the fields @xmath41 as well as the sources @xmath81 and @xmath75 .
analogous to eq .
( [ wsde1 ] ) we can write the partially integrated expression eq .
( [ ass11 ] ) in terms of the generating functional of connected green s functions .
let us specialize to the case of one - point green s functions , _
i.e. , _ the vacuum expectation values of the momentum fields @xmath82=\left.\frac{\delta\mathcal{s}_0}{\delta \dot{q}_i } \right\vert_{q\to\frac{\delta\mathcal{w}^h}{\delta j^q}+ \frac{\hbar}{i}\frac{\delta}{\delta j^q}}+j^p_{i}= \frac{\delta \mathcal{w}^h}{\delta j^p_{i}(\textbf{x},\tau)}.\label{mge1}\ ] ] eq .
( [ eq : ecmov ] ) allows to express eq .
( [ mge1 ] ) as @xmath83+\frac{\hbar}{i } \delta^{qq}[j]\frac{\delta}{\delta \bar{q}}}.\label{mge11}\ ] ] here the dependence on the average momentum fields is made explicit and the action in the lagrange formalism appears which depends only on the @xmath41-fields . from a functional point of view
it is more convenient to express this via eq .
( [ mge1 ] ) as @xmath84_{\phi\to\bar{\phi}[j]+ \frac{\hbar}{i}\delta^{\phi\phi}[j]\frac{\delta}{\delta \phi}}.\label{mge11v}\ ] ] now , employing the identity @xmath56\frac{\delta}{\delta q_m}\int\mathcal{d}[p ] \exp\left[\frac{i}{\hbar}i[q , p , j]\right]\label{ef1sd}\ ] ] we perform the @xmath85integration , so that the above expression reads @xmath86\left(\frac{\delta\mathcal{s}_0}{\delta q_i}+ j^p_{m}\frac{\delta^2\mathcal{s}_0}{\delta q_i\delta \dot{q}_m}+j^q_{i}\right ) \exp\left[\frac{i}{\hbar}\tilde{\mathcal{s}}[q , j]\right],\ ] ] which makes it possible to obtain an analogous form of the field equations @xmath87+\frac{\hbar}{i}\delta^{\phi\phi}[j ] \frac{\delta}{\delta \bar{\phi}}}.\label{sdeqqq}\ ] ] eqs .
( [ mge11v ] ) and ( [ sdeqqq ] ) represent alternative forms of the first order dses ( [ sdev ] ) .
this alternative form of the dses allows us to find corresponding equations for the fundamental proper green s functions by taking derivatives with respect to the momentum and/or fundamental fields .
this way the proper momentum propagator can be written as @xmath88+\frac{\hbar}{i}\delta^{qq}[j ] \frac{\delta}{\delta \bar{q}}}\right),\label{mge12}\ ] ] whereas the corresponding mixed green s function is @xmath89+\frac{\hbar}{i}\delta^{qq}[j ] \frac{\delta}{\delta \bar{q}}}\right).\label{mge13}\ ] ]    in a similar way , the other mixed propagator can be written as @xmath90+\frac{\hbar}{i}\delta^{qq}[j]\frac{\delta } { \delta \bar{q } } } \right)\nonumber\\&-&\left.\frac{\delta^2\gamma^h } { \delta \bar{p}_i\delta\bar{p}_m}\frac{\delta^2\mathcal{s}_0 } { \delta q_j\delta \dot{q}_m}\right\vert_{\phi\to \bar{\phi}[j ] + \frac{\hbar}{i}\delta^{\phi\phi}[j]\frac{\delta}{\delta \bar{\phi } } } \label{sppdeqqqpr},\end{aligned}\ ] ] whereas the fundamental field propagator is given by @xmath91 + \frac{\hbar}{i}\delta^{qq}[j]\frac{\delta}{\delta \bar{q } } } \right)\nonumber\\&- & \left.\frac{\delta^2\gamma^h}{\delta \bar{q}_i\delta\bar{p}_m } \frac{\delta^2\mathcal{s}_0}{\delta q_j\delta \dot{q}_m } \right\vert_{\phi_j\to \bar{\phi}[j]+\frac{\hbar}{i}\delta^{\phi\phi}[j ] \frac{\delta}{\delta \bar{\phi } } } .\label{sppdeqqq}\end{aligned}\ ] ] hereby , in the derivation of eqs .
( [ sppdeqqqpr ] ) and ( [ sppdeqqq ] ) we have discarded those terms that vanish when the sources are set to zero .
in addition , note that the proliferated occurrence of green s functions involving the @xmath85field arises from functional derivatives on @xmath92 $ ] . as will become clear below , despite the different appearance , the structure of eqs .
( [ sppdeqqqpr ] ) and ( [ sppdeqqq ] ) is related to the one of eqs .
( [ mge12 ] ) and ( [ mge13 ] ) .      in this subsection
we derive expressions for first order correlation functions entirely in terms of second order correlation functions . to this end , we start from eq .  ( [ ass11 ] ) .
subsequently , we again follow a procedure similar to that used in the derivation of eq .
( [ wsde1 ] ) thus arriving at a general expression for arbitrary momentum correlation functions ,    @xmath93_{q\to \frac{\delta\mathcal{w}}{\delta j^{q}}+\frac{\hbar}{i}\frac{\delta}{\delta j^{q}}}\label{mge}\ ] ]    in contrast to the corresponding equation for the one - point function , eq.([mge1 ] ) , ( which did lead to the alternative set of dses ) here the connected generating functional in the standard lagrange formalism appears .
note that the latter does not depend on @xmath75 anymore . from the above functional equation ,
any other @xmath94-point green s function with @xmath0-external legs associated to the @xmath95 s is obtained by taking @xmath96 derivatives with regard to @xmath97 and setting them to zero . in particular
, the quantum average of the momentum fields becomes a functional of the averaged field @xmath98 , @xmath99=\left.\frac{\delta\mathcal{s}_0}{\delta \dot{q}_i } \right\vert_{q_m\to\bar{q}_i[j^q]+\frac{\hbar}{i}\delta_{ij}^{qq}[j^q ] \frac{\delta}{\delta q_j}}\label{momenta}.\ ] ] already at this point we want to point out that the averaged momentum field is generally not given by the usual definition of a canonical momentum field @xmath100 on the level of the effective action @xmath101=\left < \frac{\delta s}{\delta \dot q } \right > \neq
\frac{\delta \gamma } { \delta   \dot{\bar q } } \equiv   \mathfrak{p}_i^{\mathrm{can } } \ , .\ ] ] this will be shown explicitly in subsection [ sub : proper - hamilton ] .
in addition , the relation between the @xmath102correlation functions and those that appear in the standard formalism can be expressed as @xmath103+\frac{\hbar}{i}\delta^{qq}[j^q ] \frac{\delta}{\delta q}},\label{fomp}\ ] ] whereas the corresponding mixed @xmath104correlation function can be written as @xmath105=\frac{\delta}{\delta j^q_{i}}\left.\left(\frac{\delta\mathcal{s}_0}{\delta\dot{q}_{j } } \right)\right\vert_{q_m\to\frac{\delta\mathcal{w}}{\delta j^{q}}+\frac{\hbar}{i}\frac{\delta}{\delta j^{q}}}.\label{mix}\ ] ] by using the chain rule @xmath106 , eq .
( [ mix ] ) can also be given in the form @xmath107=\delta_{il}^{qq}\frac{\delta}{\delta \bar{q}_l } \left(\left.\frac{\delta\mathcal{s}_0}{\delta\dot{q}_j } \right\vert_{q\to\bar{q}[j^q]+\frac{\hbar}{i}\delta^{qq}[j^q ] \frac{\delta}{\delta q}}\right ) = \delta_{il}^{qq } \frac{\delta { \bar p}_j}{\delta { \bar q}_l}. \label{fopp}\ ] ] the other mixed correlator @xmath108 can be immediately inferred from the bosonic nature of the fields , @xmath109 .
similarly , it is possible to determine the connected three point correlation functions @xmath110&=&\delta_{il}^{qq}\frac{\delta}{\delta
\bar{q}_l}\delta_{jk}^{pp},\\ \delta_{ijk}^{qqp}[j^{q}]&=&\delta_{im}^{qq}\delta_{jl}^{qq}\left \{\frac{\delta^3\gamma}{\delta\bar{q}_l\delta\bar{q}_m\delta\bar{q}_n } \delta_{nk}^{qp}+\frac{\delta^2\bar{p}_k}{\delta\bar{q}_m\delta\bar{q}_l } \right\},\nonumber \\ \label{fopp1}\\ \delta_{ijk}^{ppp}[j^{q}]&=&i\delta_{ij}\bar{p}_k+i\delta_{ik}\bar{p}_j + i\delta_{jk}\bar{p}_i+\nonumber\\&+&i^2\left.\left(\frac{\delta\mathcal{s}_0 } { \delta \dot{q}_{i}}\frac{\delta\mathcal{s}_0}{\delta\dot{q}_{j } } \frac{\delta\mathcal{s}_0}{\delta\dot{q}_{k}}\right ) \right\vert_{q\to\bar{q}[j^q]+\frac{\hbar}{i}\delta^{qq}[j^q ] \frac{\delta}{\delta q}}\end{aligned}\ ] ] where in the last expression we have used the previous results .
employing eqs .
( [ fopp ] ) and eq .
( [ fopp1 ] ) the first and second derivatives of @xmath111 with respect to @xmath98 can be expressed as functionals of the remaining elements . in this way
the vacuum expectation value of @xmath42 can be expanded .
in fact , up to second order in the classical field it reads @xmath112\bar{q}_i\bar{q}_j \nonumber\\ & + & \ldots \ , .\label{mepn}\end{aligned}\ ] ] since @xmath113 can be computed using the procedure detailed above , the expression ( [ mepn ] ) determines @xmath111 as a function of the second - order dressed correlation functions .
the determination of the proper functions within the canonical formalism as a functional of those appearing in the standard lagrange framework is rather cumbersome .
this task involves connected tensors of rank larger than two and depends on the possibility to invert the propagator @xmath114 .
once the individual elements of this propagator are computed , the proper two - point function is completely determined in terms of the elements of the lagrange formalism . in case
the external sources associated to the @xmath85fields vanish , the inverse of @xmath115 is the proper green s function that arises in the standard path integral representation .    by direct inversion of the @xmath116 block matrix one obtains @xmath117 where @xmath118 and @xmath119    according to eq .
( [ generalg ] ) there are several equivalent representations of the latter expression , _ e.g. _
@xmath120 however , in what follows we will consider the most simple form given by @xmath121 where we have introduced a unity in the form @xmath122 in eq .
( [ shrepr ] ) , and furthermore the expressions for the off - diagonal elements of eq.([generalg ] ) have been used .    the method to obtain @xmath123 can be generalized to any proper @xmath1point function .
for instance , let us suppose that we want to compute the proper three - point function . we denote it as @xmath124 and the correspondingly connected version as @xmath125 by considering the action of the symbolic functional derivative @xmath126 on eq .
( [ unidad ] ) we get the equation @xmath127 by inversion of @xmath114 in the second term we obtain the desired form for the proper 3-point green s function @xmath128 proceeding in an analogous way it is possible to express the proper four - point green s function @xmath129 , and so on .
thereby , the number of variables within the first order formalism can be reduced . from that point of view
, the initially cumbersome problem becomes simpler .
let us now return to the symmetry identity . to this end
we write eq .
( [ slavnov ] ) in the following form @xmath130\left\{j^q_{m}\delta q_m\left[\frac{\hbar}{i } \frac{\delta}{\delta j^p},q\right]+j^p_{m}\delta p_m\left[\frac{\hbar}{i } \frac{\delta}{\delta j^p},q\right]\right\}\nonumber\\ & \times & \int \mathcal{d}[p]\exp\left[\frac{i}{\hbar}i[\phi , j]\right ] .
\label{importanteqq}\end{aligned}\ ] ] in order to simplify the following analysis let us consider theories where the transformations are linear in the momentum fields . under this condition and restricting to the class of hamiltonians analyzed so far we obtain @xmath130\left\{j^q_{m}\delta q_m\left[j^p+ \frac{\delta \mathcal{s}_0}{\delta \dot{q}},q\right ] \right .
\nonumber\\ & & + \left.j^p_{m}\delta p_m\left[j^p+\frac{\delta \mathcal{s}_0}{\delta \dot{q}},q\right]\right\}\exp\left[\frac{i}{\hbar}\tilde{\mathcal{s}}[q , j ] \right].\label{importanteqqq}\end{aligned}\ ] ] in particular , if @xmath131 we find that the action @xmath78 is invariant under a symmetry transformation @xmath132 which is a functional of @xmath41 only , _ i.e. _ a symmetry transformation @xmath133 \to \delta q_m \left [ q \right]$ ]
.    the structure of eq .  ( [ importanteqqq ] ) allows to write the symmetry identities in a similar form to eq .
( [ comparar1 ] ) and eq .
( [ comparar2 ] ) , @xmath134\right.\\ & & + \,\frac{\delta\gamma^h}{\delta \bar{q}_m } \left.\!\delta q_m\!\left[\frac{\delta \mathcal{s}_0}{\delta \dot{q}}\!-\!\frac{\delta \gamma^h}{\delta \bar{p}},q\right]\right\}_{\phi\to \bar{\phi}[j]+\frac{\hbar}{i}\delta^{\phi\phi}[j]\frac{\delta}{\delta \bar{\phi}}}. \nonumber\end{aligned}\ ] ] this concludes the formal discussion of the functional symmetry identities . a complete derivation , especially for constrained systems as coulomb gauge yang - mills theories , is presented below in sect .
[ sec : coulomb ] .
in this section we will show how a general proper correlation function in the lagrange formalism can be decomposed into correlation functions in the hamilton approach .
so far we have presented the formalism for a general field theory . in the present and forthcoming sections
we will restrict ourselves to the most important class of renormalizable field theories . in four dimensions
the most general renormalizable `` canonical action '' for a pure bosonic theory can be expressed as a functional taylor expansion ,
@xmath135&=&i_{0ji}^{qp}p_iq_j+\frac{1}{2}i_{0ij}^{pp}p_ip_j+ \frac{1}{2}i_{0ijk}^{pqq}p_iq_jq_k \nonumber\\ & + & \frac{1}{2}i_{0ij}^{qq}q_iq_j + \frac{1}{3!}i_{0ijk}^{qqq}q_iq_jq_k+ \frac{1}{4!}i_{0ijkl}^{qqqq}q_iq_jq_kq_l \
, .\nonumber\\ \label{can - action}.\end{aligned}\ ] ] here @xmath136 is such that @xmath137 clearly , the coefficients @xmath138 are field independent .
they are given by the functional derivatives of @xmath54 evaluated at @xmath139 namely @xmath140 we remark that @xmath141 as well @xmath142 are dimensionless tensor couplings whereas @xmath143 and @xmath144 have mass dimension @xmath145 and @xmath146 , respectively , and do not involve time derivatives of the fields .
nevertheless , depending on the assumed theory the latter two might depend on @xmath147 and @xmath148 .
we are considering bosonic theories , so that all coefficients are symmetric .
in particular , the first term in eq.([acv ] ) can be written as @xmath149 where @xmath150 which leads to the functional relation @xmath151    we can identify the coefficients present in the hamiltonian density eq.([hamiltoniand1 ] ) as @xmath152 and @xmath153 substituting eqs .
( [ ceff1 ] ) and ( [ ceff2 ] ) in eq .
( [ act ] ) and collecting the terms of the same order in @xmath41 we get that the action @xmath78 can be written as a polynomial functional , @xmath154 in this context the following relations between the bare coefficients arise @xmath155 @xmath156 @xmath157 substituting the above equations in eq .
( [ a ] ) and considering the relation given by eq .
( [ dothg ] ) allows to find additional relations .
in fact , taking the second , third and fourth functional derivatives of @xmath78 and evaluating at @xmath158 , respectively , we obtain @xmath159 @xmath160 @xmath161 @xmath162 in the last two relations we have introduced @xmath163 denoting a partial functional differentiation acting just on those terms in the action that do not involve the time derivative of the field .    to complete our analysis we point out that from eq .
( [ cvbr ] ) the general form of the quantum canonical momentum fields in four - dimensional renormalizable theories is given by @xmath164    as these polynomial representations allow to identify a priori the bare elements , the expansions given above prove to be very convenient to derive the dses for a general bosonic theory in both formulations .
the relations between the correlation functions in both formulations will be given in the following via explicit diagrammatic expressions .
to enable this , we will first introduce a graphical representation in terms of the fundamental objects that characterize the theory in both formulations .    * as before we consider fields that involve all the irreducible representations in the theory .
the fundamental fields are represented by solid lines whereas the corresponding momentum fields are denoted by zigzag lines .
+    * dressed propagators are denoted by thick , whereas bare propagators and external lines by thin lines , respectively .
off - diagonal propagator components are represented by a thick , half solid and half zigzag line .
+    + to keep the representation of the dses in the first order formalism concise we also include the matrix propagator eq .
( [ cpro ] ) represented by a double line .
+    * all proper correlation functions ( including proper 2-point functions ) in the first and second order formalism are denoted by small and large filled blobs , +    + whereas bare vertex functions are represented by open blobs .
+    * in our analysis it will become useful to introduce the inverse proper momentum 2-point function @xmath165 which will be represented by a thick dotted line . since it has the form of an alternative momentum propagator it can connect as an internal momentum line to proper vertices .
similarly all connected correlators which are one - particle - irreducible ( 1pi ) in the fields but merely connected via the `` propagator '' @xmath166 are called _ p - connected _ and are denoted by a blob labeled by a p. +      to express proper functions in the lagrange formalism in terms of those of the hamilton formalism , we exploit the underlying equivalence between the first and second order formalism . due to the equivalence of the generating functionals of connected green s functions at vanishing sources @xmath95 ,
the effective actions in the two formalisms are identical when @xmath167 is a functional of @xmath168 which in turn is implicitly given by the stationarity in @xmath167 , @xmath169\equiv\gamma^h\left[\bar{p}(\bar{q}),\bar{q}\right ] \label{equivalenciaquantica}\ \ \mathrm{whenever}\ \ \frac{\delta \gamma^h}{\delta\bar{p}}=-j^p=0.\ ] ] here @xmath170 still depends explicitly on @xmath171 and @xmath111 , where the quantum average of the momentum fields is in general a complicated functional of the fundamental field . any proper @xmath0-point function in the standard formalism can be determined by taking @xmath0 derivatives with respect to the fields in eq .
( [ equivalenciaquantica ] ) and evaluated at the vacuum expectation value . in particular applying the chain rule and eq.([equivalenciaquantica ] ) the first derivative reads @xmath172 in the above defined graphical representation this equation reads     .    as usual in the standard formalism , a differentiation with respect to a field is equivalent to attaching an external leg in the graphical representation ( _ cf .
, e.g. , _ ref .
next we consider the second derivative of the action given by @xmath173 the field derivative of the momentum field can alternatively to the previous result ( [ mepn ] ) also be obtained from a field derivative of the constraint equation in eq .
( [ equivalenciaquantica ] ) , @xmath174 inserting this in eq .
( [ fundamenta2 ] ) it is expressed entirely in terms of proper first order green s functions and takes the symmetric form @xmath175 in accordance with eq .
( [ shreprqq ] ) .
the above equation yields the graphical representation of the decomposition of the proper two - point green s function    .
interestingly , in terms of the first order correlation functions there is in addition to the proper part also a connected contribution due to the fact that the fundamental field mixes with the corresponding momentum field .
this is evident from the off - diagonal elements eq .
( [ mix ] ) in the propagator matrix in the first order formalism . due to the mixing the arising propagator in eq .
( [ complementary1 ] ) is not the elementary @xmath42-propagator but the propagator for a collective mode described by the inverse of the proper two - point momentum correlation function @xmath166 which is represented by the dotted line and related to the actual momentum propagator via eq .
( [ ppifg ] ) .
the result for the fundamental field derivative of a proper correlation function in the hamilton formalism yields the replacement rule    .    in the next step a field derivative
can also act on the propagator @xmath166 .
its derivative is obtained from the derivative of the inverse of an operator as @xmath176 which yields the graphical replacement rule    .
applying these two replacement rules in all possible ways on the right hand side of the above equation for the two - point vertex provides immediately the corresponding decomposition of the proper 3-point vertex    .
this yields directly a symmetric result , whereas the computation without the replacement eq .
( [ complementary1 ] ) in each step would produce an asymmetric result involving higher derivatives of @xmath111 .    to derive the decomposition of higher order lagrange correlation functions it is useful to note that both of the above replacement rules involve the external legs in the form of the composite expression    denoted by a dashed line . by introducing the composite external leg into the graphical representation ,
the decomposition of the 3-point function is given by a single graph with three of these new external legs . via the previous rules it is easy to obtain a corresponding replacement rule for the composite external leg .
thereby the extension of a general @xmath0-point function by an additional leg can be obtained from the simplified set of rules in fig .
[ fig : rules ] .    , scaledwidth=20.0% ]    starting from the 3-point function these rules allow to derive the decomposition of arbitrary proper @xmath0-point functions in the lagrange formalism . in the appendix
we show that the graphs generated by these replacement rules have a very simple structure that can be summarized by the following general statement : _ a proper @xmath0-point function in the lagrange formalism can be decomposed into the sum of all @xmath42-connected @xmath0-point functions with composite external legs in the hamilton framework .
_    this is shown in graphical form in fig .
[ fig : lag - dec ] .
the graphical representation manifestly shows that the propagation , decay and dispersion of particles are more complicated when analyzed in the hamilton framework . at the tree level the arising propagators @xmath166
are constant and correspondingly the dotted internal lines between the proper vertices represent merely contact terms . similarly the external leg corrections involve no additional poles at tree level and the explicit energy dependence arising from the mixed correlator in eq .
( [ complementary1 ] ) just cancels the one from the momentum field derivative of the initial vertex . in the fully dressed action
, however , there could arise additional poles due to the actual propagation of the momentum fields via higher order kinetic terms , as well as an explicit energy dependence of the terms that cancels only after summing over all contributions .    via graphical rules
, one can therefore generate in a systematical way the connection between any proper green s function in the standard second - order formalism to the appropriate correlation functions in the first - order formalism .
we point out already here that the inverse relations for green s functions in the latter context are more complicated and can involve loops related to connected correlation functions with both mixed and pure momentum fields .
the method used in the last section allows us to represent them in terms of those appearing in the lagrange formalism .
as already mentioned we will consider for completeness also quantum field theories involving grassmannian fields @xmath177 and @xmath178 fulfilling the anti - commutation rules @xmath179 the grassmannian action for a renormalizable theory in four dimensions has the general form @xmath180 the quantum canonical momentum fields associated to the @xmath177 are given by @xmath181 , where the suffix _
r _ denotes differentiation from the right .
it is clear that the usual path integral representation for grassmannian field is already of first - order form since the momentum fields are treated as independent variables .
_ purely fermionic correlation functions are therefore trivially identical in the two formulations .
_    let us now study mixed correlation functions involving bosonic fields represented by the @xmath182 in eq .
( [ fp2 ] ) when the bosonic path integral is written in the canonical form as well .
generally the tensors @xmath183 @xmath184 and @xmath185 are real and field independent .
the kinetic tensor reads in particular @xmath186 where @xmath187 since it is a bosonic variable , @xmath111 is a functional of fermionic bilinears @xmath188 and the field @xmath98 . as a consequence the second term in eq .  ( [ fundamenta2 ] ) vanishes identically , which confirms the equality of the propagators in both formulations @xmath189 analogous to the bosonic case the three - point vertex can be decomposed as @xmath190 although the propagators are the same in both formulations the vertices can be different .
the above chain rule again results in the appearance of composite legs for all bosons in the graphical representation .
the decomposition of a general @xmath0-point correlation function is then again given by all p - connected graphs where only the bosonic propagators @xmath166 are involved and only bosonic external legs are composite .
so far we gave in subsection [ gen - ham - con ] general expressions for correlation functions in the hamilton formalism .
the goal in this section is to evaluate the general decomposition of the two - point functions in the hamilton framework in case of a generic four - dimensional renormalizable quantum field theory in terms of lagrange correlation functions . to do this , we start by computing the elements of @xmath191      by considering eq .
( [ fopp ] ) and eq .
( [ gqcm ] ) the mixed connected two - point function in the first order formalism can be written as ( from now on we skip the explicit factor @xmath192 ) @xmath193 using partial differentiation for the identity @xmath194 we obtain @xmath195 and therefore in configuration space @xmath196 where eq .
( [ lamarmotadormida ] ) and eq .
( [ lamarmota ] ) have been used .
according to the diagrammatic representation the above function has the decomposition given in fig .
[ fig : mixed - dec ] .    , scaledwidth=47.0% ]    via the bosonic symmetry of the propagator it is easy to see that @xmath197 clearly , eq .
( [ qppp ] ) and eq .
( [ pppq ] ) fulfill the condition @xmath198 .
our convention for the fourier transform of a general two - point function ( connected or proper ) obeying translational invariance is @xmath199 with @xmath200 and @xmath201 . as a consequence of this convention and the equivalence @xmath198
we obtain the relation @xmath202 where @xmath203 and @xmath204 represent the remaining internal indices .
this yields the corresponding equation in momentum space @xmath205 in the derivation of the latter equation we have taken into account the fourier transformation of the proper 3-point function @xmath206 where the @xmath207function expresses the momentum conservation .
the pure @xmath102correlator can be computed using eqs .
( [ fomp ] ) and ( [ gqcm ] ) . neglecting those terms that will eventually vanish when
the sources are set to zero , it reads @xmath208.\end{aligned}\ ] ] by iterated application of eq .
( [ const ] ) and considering eqs.([lamarmotadormida ] ) and ( [ lamarmota ] ) this expression yields    @xmath209    here we have already suppressed disconnected expressions involving tadpoles that cancel since eq .
( [ mge11 ] ) gives @xmath210 the graphical representation of the decomposition of the momentum propagator in the hamilton framework is shown in fig .
[ fig : mom - dec ] .        note that the loop graphs in the first line represent precisely the vacuum graphs of the @xmath0-particle irreducible ( @xmath0pi ) actions in the lagrange formalism of order one and two with attached external @xmath42-legs .
in addition to these proper contributions this result involves again connected graphs in the second line .
these graphs correspond to the second and third line in eq .
( [ ppexpf ] ) which can alternatively be expressed by the known mixed correlation functions derived in the last subsection as @xmath211 and correspondingly represented as a single graph .
after fourier transformation of eq .
( [ ppexpf ] ) we find the representation of @xmath212 in momentum space @xmath213    the summation over all field components indicated by the subindices in eq .
( [ sadad ] ) ( see also eq .
( [ ppexpf ] ) ) leads to multiple possibilities . yet
many of these might not be allowed due to the symmetries of the theory .
the decomposition of higher order functions involving one or two external momentum fields is simply obtained by further derivatives of these generating equations . via the chain rule a derivative w.r.t .  to the source
can be transformed into a derivative with respect to the averaged fields yielding in addition external propagators .
correspondingly the graphical decomposition of such correlation functions can be obtained recursively via the graphical replacement rules in the lagrange framework given in @xcite . on the other hand , from eq .
( [ mge ] ) it is clear that higher order correlation functions involving @xmath0 momentum fields involve graphs of loop order @xmath0 .
therefore it is not possible to give a close result for all @xmath0-point functions .    to conclude this section we remark that the multiplication of @xmath214 on the left hand side amputates the green s function @xmath215 according to eq .
( [ mepn ] ) , this operation allows to derive @xmath216 considering this expression and the diagrammatic rules in the standard path integral representation we get @xmath217 which can be represented graphically as        we note in passing , that similar to the composite collective propagator and composite leg in the last section this `` vertex '' allows to write the graphs in the first line by a single loop graph . yet , here this is then surely no explicit decomposition in terms of second order correlation functions anymore .
while in the context of the canonical formulation it is entirely possible to deduce the complete set of dses directly from eqs .
( [ mge12]-[sppdeqqqpr ] ) we will follow a slightly less obvious path here .
we proceed to give the diagrammatic and analytic expressions for the proper propagators , typically the ones of the first order formalism .
subsequently , we will show that such representations can be encoded into the usual ones , _
i.e. _  eqs .
( [ mge12]-[sppdeqqqpr ] ) , which then completes the proof of equivalence between both types of derivations .
the result given by eq .
( [ generalg ] ) allows to analyze the structure of the inverse propagator . by considering the fourier transformation of this equation
we find that @xmath218 the presence of the second term in eq .
( [ ftpp ] ) leads to the cancelation of the corresponding term in eq .
( [ ppexpf ] ) .
the complete analytic result when inserting the corresponding expressions is rather lengthy and therefore deferred to appendix [ app : exp - form ] .
it involves the inverse of sums of different terms .
graphically these expressions are represented in fig.[fig.proper ] . for a clearer presentation
the subsequent correlation functions are represented in terms of the previous ones . whereas the actual momentum propagator can only be given as an inverse and thereby by an infinite number of graphs , the `` alternative propagator '' @xmath166 , that featured prominently in the decomposition of lagrange correlation functions , is given by a finite number of graphs in terms of second order functions and differs from the ordinary one by the absence of the connected pieces in fig.[fig.proper ] .    for a field theory without a three - point interaction vertex involving the time derivative of the fields , one has @xmath219 , and eq .
( [ generalg ] ) reduces to @xmath220 this simplified expression holds for theories like qed and/or self - interacting @xmath221theory , where the vacuum expectation value of the momentum field is completely determined in terms of @xmath41 , @xmath222 .        actually , the expressions for @xmath223 , @xmath224 and @xmath225 in eq .
( [ generalgk ] ) encode a more general result because they could be obtained using eq .
( [ mge12 ] ) and eq .
( [ mge13 ] ) without setting variables to zero . as a consequence
they show that dressed proper functions involving more than two external momentum legs are not present in such theories .
this means that the mass and the coupling constant receive no contribution coming from the higher order corrections besides the usual ones given in the standard framework . on the other hand
the absence of quantum corrections to @xmath226 @xmath224 , and @xmath225 means that only wave - function renormalization contributes to these kinetic terms .    as in the present framework
the quantum corrections to the propagators and vertices depend in general on temporal derivatives this shows that within the standard formalism there are several pieces in the effective action that depend on the time derivative of the averaged field . as a consequence , the canonical momentum fields defined on the level of the effective action differ from those given by the quantum average of @xmath42 since the involved limiting processes do not commute .
although the decomposition of proper hamilton functions given above involves inversions that can not be omitted in terms of second order correlation functions it is possible to transform these equations into a form where such matrix inversions are eliminated . this is done by explicitly introducing first order correlation functions on the right hand side again .
as we will show in this subsection , this leads precisely to the first order dses .
we start from eq .
( [ 3dpqq ] ) and use it to express @xmath223 as @xmath227^{-1}.\label{newrpp}\ ] ] the multiplication of @xmath228 from the left hand side allows to write the above equation as @xmath229\gamma_{sj}^{pp}=-\delta_{ij},\nonumber\end{aligned}\ ] ] where eq .
( [ fopp1 ] ) has been taken into account .
the introduction of a @xmath230 as @xmath231 in the last term in the bracket and the use of eq .
( [ fopp1 ] ) makes it possible to express the above relation in the following form @xmath232 which can be translated to @xmath233 this presents the dse for the proper momentum 2-point correlation function .
it is possible to obtain a similar equation for the @xmath234propagator : @xmath235^{-1 } \nonumber\\ & & \quad \times   \left(i_{0lj}^{pq } - \frac{i}{2}i_{0luk}^{pqq}\delta_{um}^{qq } \gamma_{mjn}^{qqq}\delta_{nk}^{qq}\right ) .
\label{sofr}\end{aligned}\ ] ] the multiplication of @xmath228 from the right hand side allows to rewrite eq .
( [ sofr ] ) as @xmath236 this can be rewritten in the following form @xmath237 the introduction of a @xmath230 as @xmath231 in the first and second term inside the brackets allows to write this as @xmath238 by considering eq .
( [ shrepr ] ) we get @xmath239 which yields the result @xmath240    we remark that the last terms of eqs .
( [ sombra111 ] ) and ( [ sombra222 ] ) include several combinations of fundamental and momentum fields .
the relations given by eq.([sombra111 ] ) and eq .
( [ sombra222 ] ) are the dses of the proper @xmath241- and @xmath242-propagators expressed in terms of the usual elements of the canonical formulation .    it is straightforward to prove that eq .
( [ sombra111 ] ) coincides with the corresponding equation derived using eq .
( [ mge12 ] ) and eq .
( [ gqcm ] ) .
this is different for eq .
( [ sombra222 ] ) .
in fact , as discussed previously , we could in principle calculate these propagators from eq .
( [ sppdeqqqpr ] ) , nevertheless by considering the action eq .
( [ a ] ) and the relations between the bare elements we find that the structure is more cumbersome than that given in eq .
( [ sombra222 ] ) . instead , the latter one is in correspondence with eq .
( [ mge13 ] ) via the symmetry relation @xmath243 in case both @xmath98 and @xmath111 are bosonic fields .
the fact that we recover the standard first order propagator dses from the decomposition of proper hamilton correlation functions has its origin in the equivalence between the canonical and lagrange equations of motion at the quantum level . in appendix
[ motion - equivalence ] it is shown that whenever they describe the same dynamical processes , the dses derived from them will be equivalent too . however , as we argued in the last subsection , the classical canonical momentum fields defined from the effective action and those given by the quantum average of @xmath42 are not the same .
this means that the equations expressed in term of @xmath111 and @xmath98 do not correspond to the classical canonical ones .
based on this statement , the derivation of @xmath244 is considerably simpler using eq .
( [ sppdeqqq ] ) than via the procedure performed in the last two cases . indeed , by considering eqs .
( [ gqcm ] ) and ( [ a ] ) as well as the relations between the bare elements , we arrive at @xmath245_{q\to \bar{q}+\frac{\hbar}{i}\delta^{q\phi } \frac{\delta}{\delta \bar{\phi } } } .\label{tdasd}\end{aligned}\ ] ]    now , in order to give the explicit form of @xmath244 , we rewrite eq .
( [ tdasd ] ) as @xmath246-\frac{i}{2}i_{0ijk}^{qqq}\delta_{jk}^{qq}[j]\nonumber\\ & -&\frac{1}{6}i_{0ijkl}^{qqqq}\delta_{jm}^{q\phi}[j]\delta_{ku}^{q\phi}[j ] \gamma_{mun}^{\phi\phi\phi}[\bar{q},\bar{p}]\delta_{nl}^{\phi q}[j_q ] \nonumber\\ & -&\frac{i}{2}i_{0ijkl}^{qqqq}\bar{q}_j\delta_{kl}^{qq}[j].\end{aligned}\ ] ]    taking the functional derivative with respect to @xmath98 and setting the vacuum expectation values of the fundamental fields to zero we get @xmath247    the fourier transformation of eqs .
( [ sombra111 ] ) , ( [ sombra222 ] ) and ( [ ph4vt ] ) yields finally the corresponding dses in momentum space    @xmath248    @xmath249    @xmath250        we show the graphical representation of the complete set of dses in fig.[f1 ] where for conciseness we use the matrix propagator which yields all possible loop graphs involving physical vertices in accordance with the symmetries of the action as a consequence of the implied summation over repeated indices .
before we come to the main application of the developed formalism in the context of coulomb gauge qcd , we will show in this section that the above derived results also apply to theories involving auxiliary fields , _
i.e. _ the typical treatment of such theories represent a special case of the discussion presented here . however , it is not the kinetic but the interaction terms which are linearized . in the case of fermionic theories
this is also referred to as bosonization @xcite .
the action is by construction only quadratic in the auxiliary fields and lacks kinetic terms for them .
therefore , as we detail below the above described analysis directly applies and gives general relations between correlation functions in the fundamental theory and the linearized form involving auxiliary fields .
we will illustrate this in the case of fermionic theories with non - renormalizable , quartic interactions .
examples for this class of theories are the nambu@xmath251jona - lasinio model @xcite or the bcs theory of superconductivity @xcite . the functional integral
is given by @xmath252 with the lagrangian containing local quartic interactions @xmath253 here the @xmath254 are dirac matrices .
the linearization of the fermionic interaction can be performed by formally introducing a one of the form @xmath255 into the fermionic path integral , where this path integral over @xmath256 enforces a functional @xmath257-function that allows to rewrite the non - linear fermionic interaction in terms of @xmath258 .
integrating then over the @xmath258 yields the path integral of the corresponding linear sigma model @xmath259 where we have introduced additional sources for the auxiliary fields @xmath256 .
after this bosonization procedure the lagrangian of the corresponding `` linear @xmath260-model '' reads @xmath261 where @xmath262 . here , there is , in contrast to the first order formalism , by construction no mixing between the fundamental and the auxiliary fields .
analogous to eq .
( [ equivalenciaquantica ] ) the effective actions of the two theories are again identical at vanishing sources @xmath263 @xmath264=\gamma_\sigma[{\bar \psi}^\dagger , \bar \psi,\bar \sigma_i[{\bar \psi}^\dagger,\bar \psi]]\ ] ] where the auxiliary fields are implicitly given by @xmath265 via the chain rule of functional differentiation we obtain analogous expressions for eqs .
( [ opstart])-([propder ] ) with @xmath266 replaced by @xmath267 , respectively .
correspondingly , the same graphical rules apply . with the simplification that there can be no mixing due to the different statistics of the fields , the external legs are not composite and the arising inverse 2-point function is the ordinary @xmath260-propagator . denoting as before connected correlation functions that are 1pi with respect to the fundamental fields and connected in the auxiliary fields as _ @xmath260-connected
_ , this leads to the analogous general result : _ a proper @xmath0-point function in the fundamental theory can be decomposed into the sum of all @xmath260-connected @xmath0-point functions in the linearized theory . _    in particular the decomposition of the proper 4-fermion vertex in the fundamental theory eq .
( [ fermact ] ) reads        where we represent in an analogous way the proper vertices in the fundamental and linearized theory by large and small blobs and the ordinary @xmath260-propagator by the dotted line .
this result confirms a well - known fact , namely , that no double - counting occurs in the linearized theory although the original fermion field and the auxiliary bosonic field are employed both .
this redundancy in the description can also be prevented from the outset by partial re - bosonization @xcite in the context of the functional renormalization group . in this approach
the contribution of the fundamental degrees of freedeom is entirely absorbed into the bosonized interactions even at the level of the effective action .
since the lagrangian of the linearized theory is at most quadratic and lacks kinetic terms for the @xmath260-fields by construction , these fields can be trivially integrated out retaining their sources at this point .
this leads to an analogous expression to eq .
( [ mge ] ) for the correlation function of @xmath0 auxiliary fields @xmath268 after the sources are set to their vacuum expectation value . due to the absence of 3-point interactions and mixing ,
the decomposition of the auxiliary @xmath260-propagator is again simplified compared to the result given in fig .
[ fig : mom - dec ] ,        where the different prefactors of the loop correction arise due to the fermionic nature of the fields .
in contrast to the decomposition of the hamilton propagators there is no difference between proper and connected 2-point functions in the case of the auxiliary field due to the absence of mixing , and the proper correlation functions is simply the inverse of the above equation .
this concludes the demonstration of the developed formalism to the case of theories with auxiliary fields .
as detailed in the introduction the main motivation for developing the presented formalism is given by the fact that the first order formalism might be better suited for non - perturbative studies of coulomb gauge yang - mills theory .
as a first step into this direction we will apply the formalism developed so far to give the explicit relations between the two - point correlation functions of the transversal and longitudinal components of the conjugate momentum to the ones of the gauge field .
the starting point is the hamiltonian density of coulomb gauge yang - mills theory : @xmath269 where @xmath270 is the part of the hamiltonian density of pure yang - mills theory @xmath271 here , @xmath272 represents the chromomagnetic field , @xmath273 the time - component of the gluon field , whereas @xmath274 is the covariant derivative in the adjoint representation , with the structure constants @xmath275 of the color - group @xmath276 , and @xmath277 denotes the gauge coupling . on the other hand , @xmath278 is the piece of the hamiltonian density related to gauge fixing terms . above @xmath279
is the conjugate momentum of the gauge field @xmath280 @xmath281 and @xmath282 are the grassmann - valued faddeev - popov ghost fields introduced by fixing the gauge , and @xmath283 is a  colored " lagrange multiplier field .
note that the `` canonical action '' in the present case is given by @xmath284 it is remarkable that the ghost sector of the hamiltonian is fully disconnected from @xmath285 by identification of @xmath286 the above `` action '' can be written as a functional taylor expansion involving a pure bosonic piece like eq .
( [ can - action ] ) and one containing the ghost field as eq .
( [ fp2 ] ) .
this fact allows therefore to use the general expressions derived so far .    except for the inverse , bare ghost two - point function @xmath287 the remaining inverse tree level propagators of the theory
are presented in table [ tab : w1 ] .
note that @xmath54 involves four - vertices that have the following form in momentum space @xmath288,\\ i_{0ijlm}^{abcd(aaaa ) } & = & -g^2\left\{\delta_{ij}\delta_{lm}\left[f^{ace}f^{bde}-f^{ade}f^{cbe}\right ] \right.\nonumber\\ & & + \delta_{il}\delta_{jm}\left[f^{abe}f^{cde}-f^{ade}f^{bce}\right]\nonumber\\ & & + \left.\delta_{im}\delta_{jl}\left[f^{ace}f^{dbe}-f^{abe}f^{cde}\right ] \right\},\qquad\end{aligned}\ ] ] with all momenta defined as incoming .
the decomposition of the conjugate momentum into transverse and longitudinal parts , @xmath289 , makes it convenient to study the required complete cancellation of the energy divergences @xcite that emerge in a perturbative treatment of coulomb gauge yang - mills theory .
certainly , such a decomposition increases the number of fields of the theory and leads to @xmath290 where @xmath291 is a colored langrange multiplier field which appears via the transversality condition of @xmath292 in this context , the general structure of the connected two - point functions is given in table [ tab : w2 ] .
the latter may be found independent of any approximation but based solely on the principles of brst invariance , spatial and time - reversal symmetries and transversality properties of the vector propagators .
each dressing function @xmath293 is a dimensionless scalar function of @xmath294 and @xmath295 except the ghost propagator @xmath296 depending only on @xmath295 .
the tree - level propagators are obtained when @xmath297 for a complete description , the reader is referred to ref .
@xcite .
the general results of the preceeding sections can in principle directly applied to coulomb gauge qcd as well by decomposing the momentum field into its individual components . however , since the longitudinal momentum field features more complicated bare correlation functions that involve additional derivative operators we derive the corresponding expressions of subsection [ gen - ham - con ] once more taking now the general action ( [ gac ] ) into account . to this end
we first have to relate the bare momentum correlation functions with the corresponding ones for the individual momentum components .
we formally express the decomposition via a the operator @xmath298 @xmath299 expanded in a local series in terms of the individual momentum components the general canonical action takes the form @xmath300=i_{0ji}^{qp}\pi_iq_j+\frac{1}{2}i_{0ij}^{pp}\pi_i\pi_j+ \frac{1}{2}i_{0ijk}^{pqq}\pi_iq_jq_k\\ & & \quad+i_{0ji}^{qp}\mathcal{x}_{il}\omega_l q_j\nonumber+ \frac{1}{2}\mathcal{x}_{il}i_{0ij}^{pp}\mathcal{x}_{jk}\omega_l\omega_k+   \frac{1}{2}i_{0ijk}^{pqq}\mathcal{x}_{il}\omega_l q_jq_k\\ & & \quad+\frac{1}{2}i_{0ij}^{qq}q_iq_j + \frac{1}{3!}i_{0ijk}^{qqq}q_iq_jq_k+   \frac{1}{4!}i_{0ijkl}^{qqqq}q_iq_jq_kq_l \nonumber   \label{can - action2}\end{aligned}\ ] ] with @xmath301 the above expression yields for the transverse tree level correlators @xmath302 and @xmath303 as well as analogously for the longitudinal expressions @xmath304 @xmath305 and @xmath306 the gaussian integration over @xmath307 yields @xmath308=\mathcal{s}_0+\frac{1}{2}j^\pi_ij^\pi_i + j^\pi_i\frac{\delta\mathcal{s}_0}{\delta \dot{q}_i } \nonumber \\ & & + i_{0ji}^{q\omega}\omega_iq_j+\frac{1}{2}\omega_ji_{oij}^{\omega\omega } \omega_i+\frac{1}{2}i_{0ijk}^{\omega qq}\omega_i q_jq_k   \nonumber \\ & & + j_i^{\omega}\omega_i + j_i^{q}q_i   \label{can - actionvar}.\end{aligned}\ ] ] where @xmath78 is given by eq . @xmath309 and @xmath310 are the corresponding sources associated to the momentum fields .
similarly , the subsequent gaussian integration over @xmath311 gives    @xmath312&=&\mathcal{s}_0+\frac{1}{2}j^\pi_ij^\pi_i+ j^\pi_i\frac{\delta\mathcal{s}_0}{\delta \dot{q}_i}+j_i^qq_i   -\frac{1}{2}j^\omega_i \left(i_{0}^{\omega\omega}\right)_{ij}^{-1}j^\omega_i   \!-\ ! j^\omega_i\left(i_{0}^{\omega\omega}\right)_{ij}^{-1}\ !
\left(\!i_{0uj}^{q\omega}q_u+\frac{1}{2}i_{0juk}^{\omega qq}q_uq_k\!\right )   \nonumber \\ &
-&\frac{1}{2}i_{0ji}^{q\omega}\left(i_{0}^{\omega\omega}\right)_{il}^{-1 } i_{0ml}^{q\omega}q_jq_m-\frac{1}{2}i_{0ji}^{q\omega}\left(i_{0}^{\omega\omega } \right)_{il}^{-1}i_{0lmu}^{\omega qq } q_jq_mq_u -\frac{1}{8}i_{0imu}^{\omega qq } \left(i_{0}^{\omega\omega}\right)_{ij}^{-1 } i_{0jkl}^{\omega qq } q_mq_uq_lq_k . \nonumber \\
\label{can - actionvar2}\end{aligned}\ ] ]    by collecting the terms of the same order in @xmath41 we obtain the bare vertices in the second order formalism in terms of those that arise in the first order formalism .
thereby , the master equation for the momentum propagator eq .
( [ fomp ] ) becomes in the case of the @xmath311-field @xmath313\left(i_{0}^{\omega\omega } \right)_{mj}^{-1 } \nonumber\end{aligned}\ ] ] whereas the corresponding mixed version eq .
( [ fopp ] ) is given by @xmath314 here the @xmath41 fields in eqs .
( [ eq : omegaomega ] ) and ( [ eq : omegaq ] ) again have to be replaced by @xmath315+\frac{\hbar}{i}\delta^{qq}[j^q ] \frac{\delta}{\delta q } .\ ] ] the corresponding equations involving the @xmath307 field are identical to eqs .
( [ fomp ] ) and ( [ fopp ] ) .
performing the same algebraic steps as in sect .
[ sec.con-ham ] yields the corresponding decomposition of the hamilton propagators in coulomb gauge qcd .
the result is displayed in diagrammatic form in fig .
[ fig : coulomb - decomposition ] , it constitutes the main result of this section .
we have also checked the structure of these expressions by an explicit projection of the general equations on the corresponding momentum components in appendix [ app : projection ] .
next we will consider the other direction of the connection discussed in sect .
[ sec : lagrange - decomposition ] , the one which expresses proper lagrange correlators in terms of hamiltonian ones .
this is interesting in the context of coulomb gauge qcd , since in the hamilton framework a complete proof of the renormalizability of the theory seems possible due to explicit cancellations ensured by powerful ward identities @xcite . here
again it is the particular definition of the longitudinal momentum that complicates the issue and does not allow to give these equations explicitly .
nevertheless , one can easily convince oneself that these equations are given entirely by tree graphs that introduce no additional divergences .
therefore , once the renormalizability of the theory in the first order formalism is established , the corresponding connection immediately implies renormalizability of the theory also in the lagrange framework .
yet the cancellation mechanism of arising divergences might be far from obvious in the latter framework and could nevertheless prevent simple truncation schemes .    c|c c|c c @xmath54 & @xmath316 & @xmath317 & @xmath260 & @xmath318 +    ' '' ''    @xmath319&@xmath320 & @xmath321&@xmath322 & @xmath323 + @xmath324&@xmath325 & @xmath326&@xmath323&0 + @xmath327&0&@xmath328&@xmath329 & @xmath329 + @xmath330&@xmath328&0&0 & 0 +    c|c c|c c|c c & & & & & + @xmath331 & @xmath316 & @xmath332 & @xmath260 & @xmath311 & @xmath318 & @xmath291 +    ' '' ''    @xmath333&@xmath334 & @xmath335&0&0 & @xmath336&0 + @xmath337&@xmath338 & @xmath339&0&0&0 & @xmath336 + @xmath260&0&0&@xmath340 & @xmath341 & @xmath342&0 + @xmath311&0&0&@xmath341 & @xmath343 & @xmath344&@xmath345 + @xmath318&@xmath346&0&@xmath347 & @xmath348&0&0 + @xmath291&0&@xmath346&0&@xmath345&0&0 +    next we consider the functional symmetry identity . the canonical action @xmath54 is brst - invariant , _
i.e. _ invariant under @xmath349,\ \   \delta\lambda^a=0 .
\nonumber\end{aligned}\ ] ] here @xmath350 is a grassmannian infinitesimal parameter , whereas @xmath351 on the other hand @xmath352 is the chromoelectric field .
note in addition that @xmath353 is some color - singlet constant which in general could be some function of position .    by considering the above transformation
the slavnov - taylor identity reads @xmath354\ ! \!\int \ ! \ !
d^4x \left\{-\frac{1}{g}\rho^ad^{0ab}c^b+ \frac{1}{g}\vec{j}^a\cdot\vec{d}^{ab}c^b-\frac{1}{g}\lambda^a\eta^a\right .
\nonumber\\ & -&\left.\frac{1}{2}f^{abc}\bar{\eta}^ac^bc^c+f^{abc}c^b\left[(1-\alpha ) \vec{p}^c+\alpha\vec{e}^c\right]\cdot\vec{j}_p\right\}\nonumber\\ & \times&\exp\left\{i i_0+ii_s\right\},\end{aligned}\ ] ] where @xmath355    employing a procedure analogous to the one used in sect .
[ sec : srifs ] we obtain @xmath356\ ! \!\int \ ! \
d^4x \left\{-\frac{1}{g}\rho^ad^{0ab}c^b+\frac{1}{g}\vec{j}^a\cdot\vec{d}^{ab}c^b -\frac{1}{g}\lambda^a\eta^a\right.\nonumber\\&-&\left.\frac{1}{2}f^{abc } \bar{\eta}^ac^bc^c+f^{abc}c^b\left[(1-\alpha)\vec{j}_p^c-\vec{e}^c\right ] \cdot\vec{j}_p\right\}\nonumber\\&\times&\exp\left\{i s_0+is_s\right\},\end{aligned}\ ] ] where @xmath357 $ ] denotes the remaining integration measure of the fields @xmath358 and @xmath260 .
expressed in the field strength tensor @xmath359 one has @xmath360    in addition we decompose the source @xmath361 into transversal and longitudinal components . employing this decomposoition
the slavnov - taylor identity can be written as @xmath362\int d^4x\left\{-\frac{1}{g}\rho^ad^{0ab}c^b+ \frac{1}{g}\vec{j}^a\cdot\vec{d}^{ab}c^b- \frac{1}{g}\lambda^a\eta^a\right.\\&-&\left .
\frac{1}{2}f^{abc}\bar{\eta}^ac^bc^c + f^{abc}c^b(1-\alpha)\left[\vec{j}^\pi_c\cdot\vec{j}^\pi_a+\frac{\vec{\nabla } } { -\nabla^2}j^\omega_c \frac{\vec{\nabla}}{-\nabla^2}j^\omega_a\right]\right .
-\left.f^{abc}c^b\left[\vec{e}_t^c\cdot\vec{j}^\pi_a-\vec{e}_l^c \frac{\vec{\nabla}}{-\nabla^2}j^\omega_a\right]\right\}\exp\left\{i s_0+is_s\right\},\nonumber\end{aligned}\ ] ]    where @xmath363 this completes the application of the developed formalism to coulomb gauge yang - mills theory .
we conclude with our main result that given a quantum field theory in the context of the first order formalism it is possible to decompose all green s functions in terms of those obtained from the second order formalism and vice versa . whereas proper lagrange correlation functions are given explicitly to all orders and involve only tree graphs involving dressed hamilton correlation functions , the decomposition of hamilton @xmath0-point functions involves loop graphs of loop order @xmath0 .
although the structure of the latter equations seems to be somewhat cumbersome , they are still more compact and simple than the usual dses within the hamilton formalism .
we have discussed the connection between the hamilton and the lagrange formalism for a general quantum field theory and illustrated the detailed structure of the arising relations in the important case of a generic four - dimensional renormalizable field theory .    in accordance with the obtained equations we have argued that in theories where the quantum average of the momentum fields is completely determined as @xmath364 the proper @xmath85propagators receives quantum corrections only via wave - function renormalization . additionally , it has been shown that the canonical momentum fields which can be defined from the effective action and those given by the quantum average of @xmath42 are in general different .    as a demonstration of the general nature of the presented formalism we also showed that the results obtained in this paper can also be applied to the case of theories involving auxiliary fields from a linearization of the interaction part of the action .
this yields general relations between correlation functions in the fundamental theory and the linearized form involving auxiliary fields .
a major difference is that in this case the fundamental and the auxiliary fields do not mix which simplifies the connection considerably .    clearly , the determination of green s functions of yang - mills theories in the first order formalism is considerably more complicated as this case , or even when compared to scalar or abelian gauge theories .
the presence of a coupling between the gauge fields and their time derivative as well as the subtleties of gauge fixing present major complications .
in particular the renormalizability still poses a major challenge .
the presented general connection of all green functions in the two formulations implies that no additional divergences arise when going from one to the other .
however , what still needs to be shown is that the theory is renormalizable in both formulations once a proof is given for either of them . on the other hand ,
renormalizing the theory is probably simpler in the first order formalism where energy divergences explicitly cancel .
the obtained connections should then help to renormalize the second order theory where numerical calculations are far simpler .
a detailed analysis of the renormalizability in coulomb gauge yang - mills theory will therefore be presented in a forthcoming publication .
it is our pleasure to thank peter watson for helpful discussions .
s.  v .- c . is supported by the doktoratskolleg `` hadrons in vacuum , nuclei and stars '' of the austrian science fund ( fwf ) under contract w1203-n08 .
k.  s. acknowledges support from the fwf under contract m979-n16 , and r.  a. from the german research foundation ( dfg ) under contract al 279/5 - 2 .
in this appendix we perform the integration over the momentum fields in the vacuum - vacuum transition amplitude in presence of the classical sources . in order to do this
, we assume a general quadratic hamiltonian density given by eq.([hamiltoniand1 ] ) . in order to evaluate the gaussian functional integral over the momentum fields we first consider a finite dimensional generating functional @xmath365=\mathcal{n}_j\int_{-\infty}^{\infty } \prod_{j=1}^{n-1 } \ ! \ ! d^4q^j \prod_{j=0}^{n}\ ! \
! d^4p^j \exp\left[\frac{i}{\hbar}(\tilde{i}_0-\mathcal{c}+j_q^iq^i)\right].\ ] ] with the momentum field dependent part of the action @xmath366 by completing the squares in the above expression we arrive at @xmath367\mathcal{a}_{ij}^{-1 } \left [ \dot{q}^j-\mathcal{b}^j+j_p^j\right ] , \end{aligned}\ ] ] where @xmath368 . by considering the change of the integration variables from @xmath369 to @xmath370 we
obtain @xmath365=\tilde{\mathcal{n}}_j\int\prod_{i=1}^{n-1}d^4q^j \exp\left[\frac{i}{\hbar}\tilde{\mathcal{s}}[q , j]\right ] \label{wqe}\ ] ] with @xmath371\ ] ] and @xmath372\ !
& = & \!\mathcal{s}_0[q ] \\ & + & \frac{1}{2}\!j_p^i \mathcal{a}^{-1}_{ij}[q]j_p^j+j_q^i q^i+j_p^i\mathcal{a}^{-1}_{ij}[q ] \!\left(\dot{q}^j\!-\!\mathcal{b}^j[q]\right).\nonumber   \label{gac}\end{aligned}\ ] ] here , the action @xmath78 can be obtained by considering the limit of @xmath373 $ ] when @xmath374 .
explicitly it reads @xmath79=\frac{1}{2}\dot{q}^i\mathcal{a}^{-1}_{ij}[q]\dot{q}^j- \dot{q}^i\mathcal{a}^{-1}_{ij}[q]\mathcal{b}^j[q]-\int d^4x \mathcal{v}[q ] , % \label{act}\ ] ] where @xmath375=-\frac{1}{2}\mathcal{b}^i[q]\mathcal{a}^{-1}_{ij}[q]\mathcal{b}^j[q]+ \mathcal{c}[q].\ ] ] the canonical momentum fields defined as @xmath376\left(\dot{q}^j-\mathcal{b}^j[q]\right)\label{cvbr}\ ] ] allow us to identify and substitute the last term in @xmath377 $ ] by its respective definition , and to eventually obtain the desired form of eq .  ( [ actionlf ] ) .
in this appendix we prove the statement made in subsection [ sub : proper - decomposition ] that the replacement rules precisely generate the @xmath42-connected correlators . as usual for a statement over the integers this is done by induction .
the statement is trivially fulfilled in the case @xmath378 given explicitly before .
now let us assume it is fulfilled for all integers @xmath379 and show that this implies its validity for @xmath380 . in the @xmath42-connected diagrams with @xmath0 legs we single out the proper vertex we started the iteration with .
this vertex can be connected to other connected clusters so that all arising graphs have the general form        here we suppress all external legs and only give their number next to the corresponding vertex .
the sum over @xmath381 counts the connected clusters attached to the considered proper vertex which in addition has @xmath382 external legs and the implicitly given sum labeled @xmath383 runs over all ways to distribute the remaining @xmath94 external legs to the @xmath381 indistinguishable connected vertices ( taking into account that a vertex has at least 3 legs ) .
next we consider the attachment of an additional external leg via the rules given in fig .
[ fig : rules ] , applied in all possible ways .
the above representation then goes over to a @xmath380-point function of the following form        here the connected cluster with @xmath380 legs in the first class of graphs is labeled by the additional index @xmath384 ( for reduced ) since one of the legs is connected to the @xmath42-propagator instead to a composite external leg .
the derivative of this propagator is explicitly present via the second class of graphs .
when the new proper vertex is absorbed in the connected cluster , according to the induction assumption ( @xmath385 ) these two terms together precisely yield the full @xmath42-connected vertex with @xmath386 external legs and without the index @xmath384 . since each connected cluster had before already at least two external legs , together with the new one there are now at least three .
terms where besides the new external leg there is only one other external leg at a connected cluster are explicitly given by the fourth class of graphs involving a new `` connected cluster '' that consists only of the proper 3-point vertex . finally ,
the general expression at order @xmath380 contains also graphs where the new external leg is attached to the proper vertex itself , given by the third class of graphs .
altogether , the sum of the different classes of graphs precisely yields all necessary graphs at order @xmath380 , which completes the proof .
in this appendix we give the complete results for the decomposition of the proper 2-point function in the hamilton formalism in terms of those in the lagrange formalism .
we represent the appearing operator inverses in terms of schwinger proper time integrals .
the momentum correlation function is given as    @xmath387\right\}.\end{aligned}\ ] ]    whereas the mixed correlation function reads @xmath388\right\}\nonumber\\ & \times & \left\{-ik_0\delta_{lj}- \frac{i}{2}\int\dbar\sigma i_{0fhl}^{qqp}(-\sigma - k,\sigma , k )   \delta_{fg}^{qq}(\sigma+k)\gamma_{gjw}^{qqq}(\sigma+k ,-
k,-\sigma ) \delta_{wh}^{qq}(\sigma)\right\}.\label{sofr1}\end{aligned}\ ] ] the fundamental field correlation function is finally given by the lengthy expression @xmath389\right\ } \nonumber\\ & \times&\left\{-ik_0\delta_{lj}- \frac{i}{2}\int\dbar\sigma i_{0fhl}^{qqp}(-\sigma - k,\sigma , k )   \delta_{fg}^{qq}(\sigma+k)\gamma_{gjw}^{qqq}(\sigma+k ,-
k,-\sigma ) \delta_{wh}^{qq}(\sigma)\right\}.\label{ph42}\end{aligned}\ ] ]
in this appendix we derive the dses in the first order formalism directly . in order to do this
we compute eq .
( [ sdev ] ) with the canonical action given in eq .
( [ can - action ] ) @xmath390_{\phi_\to \bar{\phi}+\frac{\hbar}{i}\delta^{\phi\phi } \frac{\delta}{\delta \bar{\phi}}}.\label{mty}\end{aligned}\ ] ] we can identify the sum of the last two terms inside the bracket as the quantum canonical momentum fields , which allows to write the above relation as eq .
( [ mge11 ] ) . + the substitution of eq .
( [ mty ] ) in eq .
( [ sdeqqq ] ) , allows to write the latter as @xmath391_{\phi\to \bar{\phi}+\frac{\hbar}{i}\delta^{\phi\phi } \frac{\delta}{\delta \bar{\phi}}}\label{gfhs}\ ] ] where @xmath392 and @xmath393 in the last two equations we have used the elementary decomposition of the bare elements and eq .
( [ gqcm ] ) .
plugging eqs .
( [ rtyy ] ) and ( [ rty ] ) into eq .
( [ gfhs ] ) we arrive at the dse ( [ tdasd ] ) .
defining the transverse projector @xmath394 one has @xmath395 and @xmath396 . as no time derivative appears one can obtain @xmath397 @xmath398 @xmath399 and @xmath400 by projecting @xmath42 in the two - point functions @xmath401 , @xmath402 and @xmath403 .
for instance to obtain @xmath404 we decode the result given in eq .
( [ qppp ] ) .
let us first identify the fundamental field @xmath41 with index @xmath203 with @xmath405 we then expand the remaining sums over the fields involved in the @xmath41 s considering all possible combinations which generate the bare vertex @xmath406 .
the bosonic symmetry of the latter allows to write @xmath407 here no internal propagator like @xmath408 appears since no proper vertex functions with @xmath409derivative exist .
the relation between this function and @xmath404 is given by @xmath410 obviously the case corresponding to @xmath411 is obtained by replacing in eq .
( [ qpppvrie ] ) @xmath412 where appropriate and considering the relation @xmath413 note that the sum over @xmath414 in eq .
( [ lachacha ] ) and over @xmath204 in eq .
( [ lachachacha ] ) must be understood over the discrete spatial indices only .
the bare greens functions involving the full momentum field can now be expressed by the corresponding expression for the individual components via the explicit expressions given in section [ sec : coulomb ] which results in the equations given in diagrammatic form in fig .
[ fig : coulomb - decomposition ] .    99 j.  s.  schwinger , phys .
* 127 * ( 1962 ) 324 .
n.  h.  christ and t.  d.  lee , phys .
d * 22 * ( 1980 ) 939 [ phys .
scripta * 23 * ( 1981 ) 970 ] .
s.  weinberg , `` the quantum theory of fields .
vol . 1 : foundations , ''
_ cambridge , uk : univ .
( 1995 ) 609 p _
p.  watson and h.  reinhardt , phys .
d * 75 * ( 2007 ) 045021 [ arxiv : hep - th/0612114 ] .
p.  watson and h.  reinhardt , phys .
d * 76 * ( 2007 ) 125016 [ arxiv:0709.0140 [ hep - th ] ] .
a.  andrasi , eur .
j.   c * 37 * ( 2004 ) 307 [ arxiv : hep - th/0311118 ] .
a.  andrasi and j.  c.  taylor , eur .
j.   c * 41 * ( 2005 ) 377 [ arxiv : hep - th/0503099 ] .
d.  zwanziger , nucl .
b * 518 * ( 1998 ) 237 .
r.  n.  mohapatra , phys .
d * 4 * ( 1971 ) 378 ; 1007 .
v.  n.  gribov , nucl .
b * 139 * ( 1978 ) 1 .
r.  alkofer and j.  greensite , j.  phys .
g * 34 * ( 2007 ) s3 [ arxiv : hep - ph/0610365 ] .
a.  niegawa , m.  inui and h.  kohyama , phys .
d * 74 * ( 2006 ) 105016 [ arxiv : hep - th/0607207 ] .
g.  leibbrandt and j.  williams , nucl .
b * 475 * ( 1996 ) 469 [ arxiv : hep - th/9601046 ] .
g.  heinrich and g.  leibbrandt , nucl .
b * 575 * ( 2000 ) 359 [ arxiv : hep - th/9911211 ] .    l.  baulieu and d.  zwanziger , nucl .
b * 548 * ( 1999 ) 527 [ arxiv : hep - th/9807024 ] .
a.  p.  szczepaniak and e.  s.  swanson , phys .
d * 65 * ( 2002 ) 025012 [ arxiv : hep - ph/0107078 ] .
a.  andrasi and j.  c.  taylor , arxiv:0704.1420 [ hep - th ] .
p.  watson and h.  reinhardt , phys .
d * 77 * ( 2008 ) 025030 [ arxiv:0709.3963 [ hep - th ] ] .
f.  j.  dyson , phys .
* 75 * ( 1949 ) 1736 .
j.  s.  schwinger , proc .
nat .  acad .
* 37 * ( 1951 ) 452 ; 455 .
r.  alkofer and l.  von smekal , phys .
* 353 * ( 2001 ) 281 [ arxiv : hep - ph/0007355 ] .
j.  c.  ward , phys .
* 78 * ( 1950 ) 182 . h.  s.  green , proc .
a * 66 * ( 1953 ) 873 .
y.  takahashi , nuovo cim .
* 6 * ( 1957 ) 371 .
j.  c.  taylor , nucl .
b * 33 * ( 1971 ) 436 .
a.  a.  slavnov , theor .
* 10 * ( 1972 ) 99 [ teor .  mat .
* 10 * ( 1972 ) 153 ] .
r.  alkofer , m.  q.  huber and k.  schwenzer , arxiv:0801 .
2762 [ hep - th ] ; comput .
commun .
* 180 * ( 2009 ) 965 [ arxiv:0808.2939 [ hep - th ] ] . j.  hubbard , phys .  rev .  lett .   * 3 * ( 1959 ) 77 .
y.  nambu and g.  jona - lasinio , phys .
rev .   * 122 * , 345 ( 1961 ) .
j.  bardeen , l.  n.  cooper and j.  r.  schrieffer , phys .
* 108 * ( 1957 ) 1175 .
h.  gies and c.  wetterich , phys .
d * 65 * ( 2002 ) 065001 , hep - th/0107221 .