Abstract
The approach based on the Nakanishi integral representation of n-leg transition amplitudes is extended to the treatment of the self-energies of a fermion and an (IR-regulated) vector boson, in order to pave the way for constructing a comprehensive application of the technique to both gap- and Bethe-Salpeter equations, in Minkowski space. The achieved result, namely a 6-channel coupled system of integral equations, eventually allows one to determine the three Källén–Lehman weights for fully dressing the propagators of fermion and photon. A first consistency check is also provided. The presented formal elaboration points to embed the characteristics of the non-perturbative regime at a more fundamental level. It yields a viable tool in Minkowski space for the phenomenological investigation of strongly interacting theories, within a QFT framework where the dynamical ingredients are made transparent and under control.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The description of bound states, fully taking into account the general principles of the relativistic quantum field theory (QFT) and the needed non-perturbative regimes, is a longstanding and highly challenging problem. As it is well-known, the formal solution of the problem can be traced back to the birth of relativistic QFT, with the seminal paper by Salpeter and Bethe [1]. Starting from the analysis of the pole contributions to the Green’s function relevant for the bound state under scrutiny (e.g., the four-points Green’s function for investigating two-body bound states), they introduced an integral equation, known as the Bethe–Salpeter equation (BSE) for the bound-state amplitude, where the kernel is obtained from the two-particle irreducible diagrams, describing the dynamics inside the system. The systematic evaluation of the interaction kernel needs in turn the knowledge of other key ingredients: (i) self-energies of both intermediate particles and quanta and (ii) vertex functions, as pointed out by Gell–Mann and Low [2]. Unfortunately, those 2- and 3-point functions are quantities to be determined through the infinite tower of Dyson–Schwinger equations (DSEs) [3,4,5] (see for introductory reviews, e.g., Refs. [6,7,8,9,10,11], and references quoted therein) that govern the whole set of N-point functions. Therefore, in order to make feasible the construction of more and more realistic interaction kernels, model builders have to elaborate strategies for truncating the DSEs infinite tower, as much self-consistently as possible, while retaining the dynamical effects, at the greatest extent (see, e.g., Ref. [12] for a closed-form of the BSE kernel, obtained by using the acting symmetries). Finally, it is worth mentioning that within the Hamiltonian framework (suitable for the studies in Minkowski space), other relevant non-perturbative approaches, have been developed, like (i) the discretized light-cone quantization [13], e.g. recently applied to positronium, pion and kaon by using the so-called Basis Light-front Quantization and a suitable truncation of the Fock space (see, e.g., Refs. [14,15,16]); and (ii) the Hamiltonian formulation of the lattice gauge theories that preserves the evolution of the states with a continuous real time [17], (see, e.g., Ref. [18] and references quoted therein for a recent QCD study and Ref. [19] for interesting quantum simulations of lattice gauge theories).
In the last decades, significant progresses have been done for implementing the approach based on BSE plus truncated DSEs,Footnote 1 and a high degree of sophistication has been achieved, mainly in Euclidean space (see Refs. [6,7,8,9,10,11, 20] and also Refs. [21,22,23,24,25,26,27]). Moreover, as it is well-known, DSEs can be obtained in a very efficient way by using the path-integral formalism, that in turn acquires a rigorous mathematical meaning in the Euclidean space (see e.g. Ref. [28, 29]).Footnote 2 In particular, the most widely investigated field is the continuum QCD, with an impressive wealth of applications in hadron physics, ranging from baryon and meson spectra to elastic electromagnetic (em) form factors and transition ones (see, e.g., [6,7,8,9,10,11, 20]). Notice that also some timelike observables can be studied, e.g. by exploiting (i) analytic models for the running coupling (see the seminal Ref. [31]); (ii) the evaluation of a finite number of moments of proper Euclidean correlation functions (see, e.g., Ref. [32] for a recent approach on lattice QCD and Refs. [33, 34] for continuum QCD results); (iii) integral representations of the quantities primarily evaluated in Euclidean space or algebraic Ansätze, properly tuned through spacelike data (see, e.g., [35,36,37,38,39]).
Furthermore, also applications to QED have been pursued at large extent (see, e.g., Refs. [40,41,42,43] and for a recent study in Minkowski space Ref. [44]). The interest in investigating the QED, in the whole dynamical range, may be surprising, given the extraordinary accuracy achieved in the comparison with the data by using perturbative tools (see, e.g., the case of the muon anomalous magnetic moment [45]). Indeed, a close study of the non-perturbative regime on the one side is relevant for shedding light on QED at very short distances, as suggested, e.g., in Refs. [46, 47] for Euclidean studies of the critical coupling, below which chiral symmetry breaks down in quenched QED, and in Ref. [48] for an Euclidean investigation on how to escape the triviality fate of QED by adding a relevant four-fermion operator. On the other side, a non-perturbative exploration of QED represents a needed step for approaches played in Minkowski space, and eventually aiming to compare the calculated outcomes with experimental results for hadrons, as it has been already done by using approaches in Euclidean space.
Our investigation will focus on the study of the charged fermion and photon gap-equations below the critical coupling, \(\alpha _c \le \pi /3\), (see, e.g., Refs. [46, 47, 49]), and in order to help the reader to better appreciate the differences with other approaches it is useful to indicate, even in a simplistic way, the directions along which we will move in what follows. For this reason, let us immediately mention the two key ingredients we will adopt: (i) the Minkowski space, where the physical processes take place and (ii) the structure of the vertex function.
The vertex has a prominent role, and in our approach it is composed of two contributions. The first term is the well-known part introduced by Ball and Chiu in Ref. [50], that fulfills the Ward–Takahashi identities (WTIs) (both the differential form and the finite-difference one). The second term is a transverse contribution (see, e.g., Refs. [40, 42, 44, 51,52,53,54] for a wide discussion), based on a minimal Ansätz proposed in Ref. [22]. Such a transverse term is able to restore the full multiplicative renormalization of both fermion and photon propagators (solutions of suitably truncated DSEs), and in turn gracefully implements a workable, self-consistent truncation scheme. Indeed, although the knowledge of the full content of the vertex requires the one of the full off-shell scattering matrix, the longitudinal WTI and its transverse counterparts relate respectively the divergence and the curl of the vertex in terms of the fermion 2-points function. These relations are exact for the divergence and truncated for the curl, allowing for a viable closed system [12, 22].
Another important ingredient, though more technical, is represented by the so-called Nakanishi integral representation (NIR) of a generic n-leg transition amplitude [55,56,57]. Indeed, such a tool has allowed one to undertake new efforts for developing methods for solving in Minkowski space both truncated DSEs (see, e.g., Refs. [44, 58,59,60,61,62,63]) and BSE (see, e.g., Refs. [64,65,66,67,68,69,70,71,72,73,74,75,76,77,78], where systems with and without spin degrees of freedom are investigated).
The main motivation for adopting the NIR, closely related to the Stieltjes transform (see an application in Ref. [79]), is given by the possibility to express the n-leg transition amplitudes through their all-order perturbative form. The freedom needed for exploring a non-perturbative regime is assured via the unknown Nakanishi weight functions (NWFs), that are real functions fulfilling a uniqueness theorem, within the Feynman diagrammatic framework [57]. Such a freedom has shown all its relevance in the numerical studies of the bound states (by using both ladder and cross-ladder interaction kernels), that are the main instance where the realistic description of the non-perturbative regime is necessary. Furthermore, the NWFs to be used for the self-energies do not depend upon the external momenta, greatly simplifying our formal elaboration, as shown in what follows. The advantage of the NIR is that the four-momentum dependence is made explicit, allowing direct algebraic manipulations, and eventually making affordable analytic integrations. This is an important virtue of the NIR approach, since it simplifies the treatment of the expected singularities. On the phenomenology side, when light-cone observables have to be evaluated, e.g. for describing the partonic structure of hadrons [35, 80,81,82,83,84,85,86,87,88], the explicit dependence upon the momenta facilitates the needed projection onto the light-cone. However, in the NIR context, the dynamical assumptions are still much simpler than the one made in Euclidean calculations. For instance, in the above mentioned works when solving Minkowskian BSE for mesons, the constituent fermions are most of the time considered perturbative-like, i.e. omitting the running of the dressed quark mass (with the exception of Ref. [76] where it has been proposed to import the running mass of the quarks from the Euclidean lattice into the BSE framework).
Our present effort aims at formally developing a method based on NIR for solving a coupled system composed by the gap-equations for both fermion and gauge boson, directly in Minkowski space. It should be pointed out that the final goal (to be presented elsewhere) of the program we are pursuing is to provide both implementation and quantitative solutions of the BSE with dressed propagators, in order to achieve a more and more realistic description of an interacting system within the QFT framework, directly in the physical space. The integral-equation system, we arrive at, is obtained by using a self-consistent truncation scheme of DSEs, valid in the whole dynamical range of QED, and by adopting both dimensional regularization and momentum-subtraction procedure for the renormalization. Moreover, to pragmatically remove the well-known IR divergences, a tiny mass-regulator has been introduced for the gauge boson, (see, e.g., Ref. [89] for a more general discussion and Ref. [90] for a recent analysis). In general, we share the same spirit of works as: (i) Ref. [44] where, within a quenched approximation, a spectral representation of the fermion propagator was adopted, in combination with its Källén–Lehman (KL) representation, and, importantly, a vertex function was constructed by exploiting the form suggested by the Gauge Technique [91] plus transverse terms, added for matching the perturbative expressions of the renormalized fermion self-energy (see also Refs. [77, 92] for further Minkowskian exploration of a massive QED, in quenched approximation); (ii) Refs. [58, 60, 61] (see also Ref. [93] for a first study of the transverse vertex contribution), where a more direct link to the NIR technique (with different sets of approximations) can be found. Simplifying, the main difference with the previous works is a fully dressing of fermion and photon self-energies, by introducing a vertex function composed by the standard Ball–Chiu component [50] and a minimal Ansätz for the purely transverse contribution [22], able to ensure the multiplicative renormalizability of the whole approach.
The paper is organized as follows. In Sect. 2, the general formalism is introduced for fermion and photon propagators and self-energies, in terms of the KL representations and the NIR, respectively. In Sect. 3, the adopted vertex function is discussed. In Sect. 4, the gap-equations are introduced and the main result of our formal analysis, i.e. the coupled system of integral equations for determining the NWFs, of both electron and photon self-energies, is illustrated. In Sect. 5 an initial application of the coupled system, based on its first iteration, is shown. In Sect. 6, the conclusions of our analysis of the truncated DSEs within the NIR framework are drawn and the perspectives of the future numerical studies are presented. Finally, it has to be emphasized that the Appendices have been written in a detailed form for making as simple as possible a check of the whole formalism, and therefore they have to be considered an essential part of the work.
2 General formalism
In this section, we summarize the general formalism that will be used in our investigation of QED in Minkowski space (see the review in Ref. [6] for the Euclidean version). We introduce first the expression of the self-energy (2-leg transition amplitude in the Nakanishi language [57], that emphasizes the set of external momenta) in terms of NIR, for both fermion and photon. Then, the KL representations of the corresponding propagators are given. The main goal of this initial step is the relations between KL weights and NWFs (see Refs. [60, 61], for an analogous approach, but with renormalization constants \(Z_1=Z_2=1\) and with a bare vertex function or the Ball–Chiu one, respectively).
The suitable renormalization scheme we adopt is the momentum subtraction one, applied on the mass-shell (MOM), as discussed in what follows. This scheme is suitable when asymptotic states exist, and this property is actually needed for the KL representation we have adopted. Clearly, when a confined phase of the QED establishes, likely for large values of photon running mass, the KL representation becomes unproved (see, e.g., Ref. [47] and references quoted therein for the analysis of the confining phase in QED within the gap-equation formalism in Euclidean space, and Ref. [94] for a more recent investigation in Minkowski space). It should be anticipated that both electron and photon self-energies can be nicely renormalized by applying such a scheme, given the benefit from the presence of the transverse component of the vertex function.
2.1 The renormalized propagator of a fermion
By adapting the notations in Ref. [6], one can write the following relations involving the renormalized propagator of a fermion and the regularized self-energy.
The renormalized fermion propagator is given by
with \(\zeta \) the renormalization point and \(\varSigma _R(\zeta ;p)\) the renormalized self-energy. From Lorentz invariance, one can write
with \({{\mathcal {A}}}_R(\zeta ;p)\) and \({{\mathcal {B}}}_R(\zeta ;p)\) suitable scalar functions. In terms of the expression in Eq. (2), the renormalized propagator reads
Noteworthy, by requesting that the renormalized propagator for \(p^2\rightarrow \zeta ^2\) has a pole at the mass \(m(\zeta )=m_{phys}\)Footnote 3 and the same residue of the free propagator, one finds the constraints to be fulfilled by the two scalar functions, at the renormalization point. Needless to say, those constraints are crucial for establishing the relations between the regularized self-energy and the two renormalization constants \(\delta m\) and \(Z_2(\zeta ,\varLambda )\) (see what follows). As a matter of fact, from the well-known general approach illustrated, e.g., in Ref. [89] (or adopting Eq. (3) and imposing for \(p\rightarrow p_{on}\), with \(p^2_{on}=m^2(\zeta )\)) one gets
These two equations define the standard on-shell QED renormalization scheme. Bringing in mind that the natural outcome of our formal elaboration will be a system of integral equations, needed for determining \({{\mathcal {A}}}_R\) and \({{\mathcal {B}}}_R\), we adopt the following renormalization conditions defining the RI’/MOM scheme (see Ref. [95], for the renormalization independent method in the unquenched QED)
It is worth noticing the following remarks about this choice: (i) it preserves the pole at the physical mass of the fermion; (ii) it allows a numerical simplification, avoiding to implement boundary conditions where there is an interplay between \({{\mathcal {A}}}_R\) and \({{\mathcal {B}}}_R\); and last but not least (iii) exchanging the physical mass for the current mass evaluated at a space-like momentum, it is formally similar to the RI’/MOM scheme exploited in the literature devoted to the non-perturbative studies of QFT, e.g. in the context of the investigation on the lattice (see the discussions on the RI’/MOM scheme e.g., in Refs. [96, 97]) as well as in continuous approaches (see, e.g., Refs. [6, 95]). Since at the present stage of the novel approach we are exploring, the two boundary conditions in Eq. (5) turn out to simplify the determination of the two renormalization constants, we will leave the study of QED in the standard renormalization scheme, Eq. (4), for further investigation.
The propagator \(S_R\) can be expressed in terms of the regularized quantity, \(\varSigma (\zeta ,\varLambda ;p)\), where \(\varLambda \) stands for a Poincaré invariant regulator, e.g. \(\varLambda =1/\epsilon \) within a dimensional regularization framework with \(d=4-\epsilon \). To make the mathematical notation less heavy, in what follows it is understood that the relations involving renormalized quantities hold only in the limit \(\varLambda \rightarrow \infty \) (notice that above the critical coupling, one expects to meet well-known difficulties for QED, as illustrated e.g., in Refs. [48, 95]). Hence, one writes
where \(Z_2(\zeta ,\varLambda )\) is the renormalization factor affecting the fermionic field and \(\delta m= m(\zeta )- m_0\), with \(m_0\) the bare mass. The analogous form of Eq. (2), for the regularized self-energy reads (it is useful to include the renormalization constant \(Z_2\) in the definition)
with \({{\mathcal {A}}}_Z(\zeta ,\varLambda ;p)\) and \({{\mathcal {B}}}_Z(\zeta ,\varLambda ;p)\) suitable scalar functions. In particular, comparing Eq. (1) and Eq. (6), one obtains
Indeed, those relations amount to the outcomes of the subtraction scheme for the renormalization of each scalar function. Moreover, by taking into account Eq. (5), one has
and therefore in the limit \(\varLambda \rightarrow \infty \):
Pursuing our goal of establishing a formal framework where one can get actual solutions of the gap equation, and eventually describe the renormalized propagator, we usefully introduce the NIR for the fermionic self-energy. This can be achieved by starting from the approach proposed for a scalar case by Nakanishi (see Ref. [57]), for summing up the infinite contributions to a given n-leg amplitude, and generalizing in two respects. One is the transition from scalars to fermions, and the second one, more important, from a perturbative to a non-perturbative regime. Those steps have been explored for the BSEs in Refs. [64,65,66,67,68,69,70,71,72,73,74,75,76,77,78]. For the fermion self-energy, it is necessary to introduce two NWFs, since one has to deal with two scalar functions. Hence, the regularized self-energy can be written in terms of the following scalar functions
with \(s_{th}\) the multiparticle threshold and \(\rho _{A(B)}\) the NWFs. It should be recalled that the NWFs are real functions, and do not depend upon the external momenta. This last remark will be useful for simplifying the formal elaboration aiming to get the suitable integral equations for \(\rho _{A(B)}\).
Moreover, the NWFs have to fulfill the relation entailed by Eq. (9), i.e.
It is easily seen that NWFs with a constant behavior for \(s \rightarrow \infty \) generate an expected logarithmic divergence.
By using Eqs. (8), (9) and (11) one can write
where the notation \(\rho _{A(B)}(s,\zeta ) = \rho _{A(B)}(s,\zeta ,\varLambda \rightarrow \infty )\) is adopted from now on.
It should be pointed out that the actual form of the NFWs will follow from the solution of the coupled system of integral equations we are going to elaborate. Anticipating on the next sections, a possible constant behavior of the NWFs \(\rho _{A(B)}\) for \(s \rightarrow \infty \) would be regularized by the quadratic dependence upon s in the denominator, allowing to safely take \(\varLambda \rightarrow \infty \). A situation in which \(\rho _{A(B)}\) is not bounded at infinity would create regulator dependent results, and may appear above the critical coupling in QED as already mentioned.
Dealing with the gap-equations, it is fruitful to use the KL representation of the renormalized propagators, and therefore one has to establish the relation between KL weights and NWFs of the corresponding self-energy (see also Ref. [58] for the scalar case and Refs. [60, 61] for \(QED_{3+1}\)). Recalling the following KL representation
where \(\mathcal {R}_S\) is the fermion propagator residue, controlled by the choice of the renormalization scheme (here we have adopted RI’/MOM). Using \( \varSigma _R(\zeta ,p)\) from Eq. (2), one gets
with
By evaluating the needed traces, one can obtain the following relations
If one assumes that both KL weights and NWFs match the hypotheses for applying the Sokhotski–Plemelj formula, that reads
with an understood \( \theta (s-s_{th})\) inside f(s), then one can manipulate the singular integrals in the lhs of Eq. (18) and the rhs of Eqs. (13) and (14) as follows
Let us recall that \(\rho _{A(B)}(s=\zeta ^2,\zeta )=0\) and values \(\omega \ge s_{th}\) are relevant in what follows. By inserting Eqs. (21) in (13) and (14), the real and the imaginary parts of \({{\mathcal {A}}}_R(\zeta ;\omega )\) become
with the notation \(\langle \rho _A \rangle \) indicating the principal value in Eq. (21). Analogous expressions hold for \({{\mathcal {B}}}_R(\zeta ;\omega )\). Hence, one can formally gets the following relations between KL weights and NWFs for \(\omega >\omega _{th}=s_{th}\)
where
It has to be pointed out that the knowledge of the KL weights \(\sigma _{S(V)}(\omega ,\zeta )\) for \(\omega >\omega _{th}\) is enough for determining the fermion propagator for all the possible values of \(p^2\).
2.2 The renormalized propagator of a photon
In the Landau gauge, the free propagator of the photon reads
where \(T^{\mu \nu }(q)\) is the standard transverse projector
with its useful properties,
and \(\zeta _p\) is a IR-regulator, (see, e.g., Ref. [89]). For the sake of light notation, the dependence upon \(\zeta _p\) will be understood in the renormalized quantities. Hence, the renormalized photon propagator reads
where \(\varPi _R(\zeta ;q)\) can be called the photon self-energy, fulfilling the following condition, able to lead to the correct residue at photon pole
Notice that the photon propagator would present a problematic pole if there exists a critical value, \(q_{sing}\), such that \(1 + \varPi _R(\zeta ;q_{sing}) = 0\). Interestingly, the IR pole in (28) could be removed if also \(\varPi _R(q^2)\) develops an IR pole, i.e. the so-called Schwinger mechanism [98], that leads to a massive photon (see, e.g., Ref. [99] for the absence of this phenomenon in QED\(_3\) and Ref. [100] for a comprehensive review in the case of QCD).
The relation between \(D_R^{\mu \nu }(\zeta ;q)\) and both the regularized self-energy and the renormalization constant \(Z_3(\zeta ,\varLambda )\) is
Comparing the denominators in Eqs. (28) and (30) one has for \(\varLambda \rightarrow \infty \)
with
By imposing the condition in Eq. (29), one gets the following normalization
and writes for \(\varLambda \rightarrow \infty \)
It is also useful to recall that the renormalized propagator fulfills the well-known integral equation, given by
where \(\varPi ^{\mu \nu }_R(\zeta ,q^2)\) is the renormalized vacuum polarization tensor, defined by
This quantity is involved in the gap-equation for the photon (see Sect. 4 for more details).
Analogously to the fermion case, one introduces the following NIR for \(\varPi _Z(\zeta ,\varLambda ;q)\)
where the real function \( \rho _\gamma (s,\zeta ,\varLambda )\) is the NWF for the regularized photon self-energy, and \(s^p_{th}\) the multiparticle threshold, i.e. \(s^p_{th}=4m^2(\zeta )\).
Using Eqs. (32) and (36), one gets the following expression for \(Z_3(\zeta ,\varLambda )\)
The same observation below Eq. (12) is relevant also for Eq. (37).
By exploiting Eqs. (32) and (36) in (33), \(\varPi _R(\zeta ;q)\) can be written in terms of NWFs, viz
where \(\rho _\gamma (s,\zeta )=\rho _\gamma (s,\zeta ,\varLambda \rightarrow \infty )\).
The KL representation of \( D^R_{\mu \nu }(\zeta ,q)\) reads
and has to be compared with the following expression obtained from Eq. (28)
Hence one gets
By using Eqs. (19) and (38), the real and imaginary parts of \(\varPi _R(\zeta ;q)\) can be easily written in terms of the NWF \(\rho _\gamma (\omega ,\zeta )\) as follows (recall that \(q^2\ge s^p_{th}\))
Finally, by using once more Eq. (19), one obtains the desired relation between \(\rho _\gamma \) and \(\sigma _\gamma \), given by
with \(\omega \ge s^p_{th}\) and \(\langle \rho _\gamma \rangle \) the principal value in Eq. (42).
3 The renormalized vertex function
The amputated three-leg transition amplitude, or vertex function, is the basic ingredient for any dynamical approach that aims at determining the self-energies of particle and quanta, involved in a given theory. Unfortunately, the fully dressed vertex function can be formally obtained only through the proper DSE where, in turn, the four-leg transition amplitude (i.e. the fully off-shell fermion-antifermion scattering kernel in the case of QED) is present. This fact makes clear the structure of the infinite tower of DSEs, where each n-leg transition amplitude fulfills an integral equation containing transition amplitudes with a number of legs greater than n. In spite of this, by using general principles, one can devise an overall form of the vertex, in terms of the Dirac structures allowed by both the Lorentz covariance, the parity conservation and time reversal (see, e.g., Refs [50, 101]), when QED is investigated. Following well-known steps, one decomposes the vertex into two parts: (i) the standard component introduced in the early eighties by Ball and Chiu [50], in order to fulfill WTIs and to avoid any kinematical singularity, and (ii) a contribution purely transverse, i.e. containing the possible Dirac structures orthogonal to the momentum transfer \(q=p_f-p_i\) (see Fig. 1. for the pictorial representation and the kinematics). As a matter of fact, one writes the renormalized vertex (or the regularized one, with the proper modification in the notations) as follows
where \(q\cdot \varGamma _{R,T}(\zeta ,p_f,p_i)=0\) and \(\varGamma ^\mu _{R,BC}(\zeta ,p_f,p_i)\) is the Ball–Chiu vertex dictated by the WTI i.e.
The actual expression of \(\varGamma ^\mu _{R;BC}\) [50], is given by
where
While \(\varGamma ^\mu _{R;BC}\) is elaborated starting from WTIs and the crucial request of avoiding kinematical singularities, the transverse part \(\varGamma ^\mu _{R;T}\) has to fulfill the constraint imposed by the curl of the current, \(q^\mu \varGamma ^\nu _{R}- q^\nu \varGamma ^\mu _{R}\) [51] (see also the analysis in Ref. [22]), and it can be expressed in terms of eight Dirac structures, \(T^\mu _i\), such that \(q\cdot T_i=0\) (see Ref. [50] for the complete list) and eight scalar functions, \({{\mathcal {F}}}_i\), viz
In general the functions \({{\mathcal {F}}}_i(p_f,p_i,\zeta )\) cannot be written only in terms of \({{\mathcal {A}}}_R\) and \({{\mathcal {B}}}_R\) [22], but the whole set of functions has to cooperate for ensuring another fundamental property: the multiplicative renormalizability of both self-energies (see Eqs. (6) and (30)) and vertex, viz
with the constraint \(Z_1(\zeta ,\varLambda )=Z_2(\zeta ,\varLambda )\). It is fundamental to notice that, given the DSEs, the multiplicative renormalizability of both two-leg and three-leg functions are intimately related. This has been elucidated by a vast literature, in different frameworks. In particular, in Refs. [40, 42,43,44, 52, 54] (and references quoted therein) a close analysis, ranging from a first perturbative study to non-perturbative ones, was carried out, pointing to the role played by leading logarithms in determining the aforementioned property, through an unavoidable cooperation between the scalar functions present in \(\varGamma ^\mu _{R;BC}\) and \(\varGamma ^\mu _{R;T}\). Differently, in Refs. [40, 53, 102], within a quenched approximation, the requirement of multiplicative renormalization is implemented by looking for solutions of the fermion gap-equation with a power-law behavior.
In our unquenched approach, we take into account the transverse vertex, retaining only some contributions, as it will be explained in what follows. Indeed, this is a distinctive feature of our work, in comparison with approaches sharing the same spirit, i.e. exploiting spectral representations of both propagators and self-energies (see Refs. [44, 58, 60,61,62,63]). In particular we consider the following two Dirac structures, of the eight identified in Ref. [101],
with \(\sigma _{\nu \rho }=i[\gamma _\nu ,\gamma _\rho ]/2\) and \(\epsilon ^{0123}=+1\). Notice that there is an overall different sign with respect to Ref. [50].
It is worth mentioning that in the fermion massless case (relevant for studying the dynamical generation of the mass) only the Dirac structures with \(i=2,~3,~5,~8\) contribute [42], and moreover, in the same limiting case, \(T^\mu _3\) and \(T^\mu _8\) allow one to implement the gauge covariance of the fermion propagator [103]. Finally, as pointed out in Ref. [22] the contribution \(T^\mu _8\) is able to generate an anomalous magnetic moment term, within a perturbative framework [21].
The adopted expressions of \({{\mathcal {F}}}_3\) and \({{\mathcal {F}}}_8\) are the ones given in [22] (see also [53]), where a very detailed formal analysis of \(\varGamma ^\mu _T\) was carried out (adopting a Euclidean metric) and general expression were found. In particular, due to the curl of the current, it turns out that \({{\mathcal {F}}}_3\) and \({{\mathcal {F}}}_8\) can be minimally chosen as linear combinations of \({{\mathcal {A}}}\) and \({{\mathcal {B}}}\) (see Sect. 2.1). In this way, one has a workable Ansätz for \(\varGamma ^\mu _{R;T} \), that has the virtue of closing the equations involving the fermion and photon self-energies. The actual \({{\mathcal {F}}}_3\) and \({{\mathcal {F}}}_8\) are given by (see also Ref. [53])
that match the expected perturbative behavior for \(p^2_f>>p^2_i\) (see the discussion in Ref. [53]). Hence, one can write
In conclusion, we use \(\varGamma ^\mu _{R}\) given by the sum of the Ball-Chiu vertex [50] and one of the minimal Ansätze for \(\varGamma ^\mu _{R;T}\), proposed in Ref. [22]. In particular, by using Eq. (52) one can (i) fulfill the multiplicative renormalizability, (ii) establish a non-perturbative framework, where a closed coupled system of integral equations allows one to investigate the self-energies of both fermion and photon.
4 Coupled gap equations
This section, in particular Sects. 4.1 and 4.2, contains the main outcomes of our formal elaboration that aims to get a mathematical tool for determining the fermion and photon NWFs and eventually yield the fermion and photon self-energies. In order to accomplish such a task, it is necessary to proceed by writing down the DSEs for the self-energies (see, e.g., Ref. [6] for a general introduction), and insert the results obtained in Sect. 2 (see details in Appendix A and Appendix B).
The DSE for the regularized fermion self-energy, defined in Eq. (7), is given by
where it is important to emphasize that the dependence upon \(\varLambda \) means that the rhs can have singular contributions (indeed this is the case). But such terms become finite after introducing a suitable regularization procedure, that in our case it turns out to be the dimensional one with \(d=4-\epsilon \) and \(\varLambda =1/\epsilon \) (see the details in Appendix A). Then, the renormalized self-energy fulfills
The two scalar functions describing \(\varSigma _R(\zeta ;p)\) (see Eq. (2)) can be obtained by evaluating the suitable traces, i.e.
In Sect. 4.1 the results of the traces will be presented and the relation with the NWFs established.
In the Landau gauge we are adopting (recall that the polarization tensor is transverse in this gauge), one can start from the following expression of the regularized polarization tensor (see Appendix B for details) in terms of the renormalized quantities
Notice that \(T^{\mu \nu }\) is a symmetric tensor, and therefore also the rightmost term it has to be. One can convince himself by recalling that one has at disposal only one four-vector, \(q^\mu \) for constructing antisymmetric contributions. It is understood that \(\varPi ^{\mu \nu }\), microscopically described by the second line in Eq. (56), must satisfy the transversity property, i.e \( q_\mu \varPi ^{\mu \nu }=0,~~ \varPi ^{\mu \nu } q_\nu =0\). Hence, one has to verify that
Since, we are adopting a vertex that automatically fulfills the WTI, the second line in Eq. (56) can be easily demonstrated by using the WTI itself and the dimensional regularization, in order to make formally allowed a shift in the integrand. As a matter of fact, one gets
The equality in the first line of Eq. (57) is more involved, but for ensuring that the microscopic calculation of \(\varPi ^{\mu \nu }\) be proportional to \(T^{\mu \nu }\) one should recover the structure
with the needed relations \(A=-B\). This is guaranteed by Eq. (58), that follow from the fulfillment of WTI.
In order to single out the photon self-energy, \(\varPi (\zeta ,\varLambda ;q)\), one can proceed by saturating the polarization tensor with any combination of \(g^{\mu \nu }\) and \(q^\mu q^\nu /q^2\), but it is extremely useful to take full advantage and guidance from the analyses carried out in perturbative regime, (see, e.g., Refs. [6, 42]). Hence, one can saturate both sides in Eq. (56) with the tensor \(\mathcal {P}^{\mu \nu }\) given by
This tensor has been introduced in previous works (see Refs. [42, 104, 105]) in order to project \(T^{\mu \nu }\) on its \(q^\mu q^\nu \) part, avoiding to deal with quadratic singularities proportional to \(g^{\mu \nu }\) present in \(\varPi ^{\mu \nu }\). We emphasize that such a projector is adopted for convenience reasons. As a matter of fact, apparent quadratic singularities are met in the following elaboration, but the choice of the vertex presented in Sect. 3 (see also Appendix B) ensures their cancellations. These apparent singularities are easily bypassed by exploiting \({{\mathcal {P}}}^{\mu \nu }\), without carrying out a lengthy algebra (see also Refs. [104, 105]). As a final remark, it should be pointed out that the formal manipulation shown in Appendix B needs a dimensional regularization of some terms and therefore one should substitute 4 with a generic dimension d in the expression of \({{\mathcal {P}}}^{\mu \nu }\).
In conclusion, one gets the following expressions for the regularized self-energy
where \(\varPi _Z(\zeta ,\varLambda ;q)=Z_3(\zeta ,\varLambda )~\varPi (\zeta ,\varLambda ;q)\). This entails for the renormalized self-energy, Eq. (33),
4.1 The fermion gap equation and the NWFs
As it is shown in details in Appendix A, one can exploit the NIR of \({{\mathcal {A}}}_R(\zeta ;p)\) and \({{\mathcal {B}}}_R(\zeta ;p)\), Eq. (55), and the KL representations of both fermion and photon propagators, Eqs. (15) and (39) respectively, for obtaining the following relations
and
where
and
In Eqs. (64) and (65), we have
with \(\gamma _T^\nu = \gamma ^\nu - q^\nu q\cdot \gamma /q^2\) and \(p^\mu _T = p^\mu - q^\mu q\cdot p /q^2\).
In both \(F_{{{\mathcal {A}}}_+}\) and \(F_{{{\mathcal {A}}}_-}\), a term \(\mathcal {A}_R(\zeta ;p)\) is present. The one in \(F_{{{\mathcal {A}}}_+}\) generates a severe divergent behavior in k (see Eqs. (64) and (65)) that cannot be regularized by subtraction, since the corresponding term in \({{\mathcal {T}}}_{A(B)}\), being evaluated at \(p^2=\zeta ^2\), yields \(\mathcal {A}_R(\zeta ;\zeta )=0\), by definition. A simple power counting in \(k^2\) reveals that in \({{\mathcal {T}}}_A\) and \({{\mathcal {T}}}_B\), only the combination proportional to \( F_{{{\mathcal {A}}}_+}-(k^2-p^2)F_{{{\mathcal {A}}}_-}\) allows one to mitigate the divergent behavior due to \(\mathcal {A}_R(\zeta ;p)\) in \(F_{{{\mathcal {A}}}_+}\), leading to a logarithmic divergence that can be regularized by the subtraction in Eqs.(62) and (63) (see details in Appendix A). In fact, one has
This cancellation highlights the intrinsic limitation of the BC vertex, since it is necessary to go beyond such a contribution for restoring the multiplicative renormalizability. This has been known from a long time (see, e.g. Ref. [52]), but it is relatively more recent the suggestion that the constraints coming from the curl of the vertex allow one to elaborate transverse contributions suitable for ensuring the multiplicative renormalizability (see, e.g., Ref. [22]). In Appendix A it is explicitly shown how non-multiplicatively renormalizable contributions, from the BC term, Eq. (46), and the transverse ones, Eq. (52), cancel each other.
Once the explicit expressions of the relations in Eqs. (62) and (63), are obtained as in Eqs. (A.63) and (A.50), respectively, by using a spacelike external momentum p in order to avoid unnecessary formal complexities (recall that the NWFs are real functions that do not depend upon the external momenta as one can also assess a posteriori), one can extract the integral equations fulfilled by the corresponding NWFs \(\rho _A\) and \(\rho _B\), after assuming that the uniqueness theorem by Nakanishi [57] can be applicable to the non-perturbative regime.
In particular comparing Eq. (A.63) and the lhs of Eq. (62), one gets the desired relation for \(\rho _A\) (see Appendix A)
with \({{\mathcal {A}}}_4(t,w)=(t+w)~(1-t-w)\),
and
It has to be pointed out that the presence of the function \(\varDelta '\) does not prevent a quantitative investigation (to be presented elsewhere) once an integration with a function smooth enough is carried out. Indeed, the existence of NWFs fulfilling a suitable smoothness property will be the target of future numerical investigations. In the meanwhile, we should consider as an encouraging hint the results of the first quantitative check discussed in Sect. 5 since the obtained first-order NWFs lead to well-defined integrals in Eq. (68) when iterating further.
As to \(\rho _B\), after comparing Eq. (A.50) and the lhs of Eq. (63), one extracts
with
and
4.2 The photon gap equation and the NWF
In Appendix B, the details are given for obtaining the integral equation fulfilled by the NWF \(\rho _\gamma \) (see Eq. (38)), exploiting both the integral equation that determines the renormalized photon self-energy, Eq. (61) and the uniqueness theorem [57]. One can write
where
Then, following the formal steps in Appendix B, where a spacelike \(q^2\) has been adopted for a straightforward elaboration without loss of generality (as in the fermionic case), one gets
with
and \({{\mathcal {A}}}_4(v,w)=(t+w)~(1-t-w)\). In order to obtain numerical solutions, the derivatives of the Dirac \(\delta \) can be traded for the derivative of the \(\rho \) functions, which, contrary to the \(\bar{\sigma }\), does not contain itself any Dirac \(\delta \). Just like in the fermion case, the first check performed in Sect. 5 yields results compatible with well defined integrals in (77). One can also note that in the right-hand side of Eq. (77), the dependence upon \(\rho _\gamma \) is not explicit, but buried into the fermionic quantities.
4.3 Some remarks
Concluding this section, that presents our formal results, some remarks are in order. The coupled systems for determining \(\rho _A\), \(\rho _B\) and \(\rho _\gamma \) is composed by the set of Eqs. (68), (72) and (77), supplemented with Eqs. (23) and (43). The fact that the NWFs do not depend on external momenta has been extensively used to build the system of equations. Indeed, Eqs. (23) and (43) are obtained from timelike (above threshold) momenta, taking advantage of the real and imaginary part decomposition, while Eqs. (68), (72) and (77) are derived for spacelike external momenta to avoid complications coming from singularities. Beside the above feature, the uniqueness theorem allows one to finalize the formal steps. Interestingly, derivatives of Dirac delta distribution naturally appear in our derivations. In summary, (i) the NWFs are real functions that do not depend upon the external momentum, as a posteriori can be checked by a direct inspection of the coupled system; (ii) once the NWFs are numerically evaluated, the scalar functions \({{\mathcal {A}}}_R(\zeta ;p)\), \({{\mathcal {B}}}_R(\zeta ;p)\) and \(\varPi _R(\zeta ;q)\) are known for any value of any momenta; (iii) the presence of the derivative of the delta-function is not an issue from the numerical point of view, as already observed when the NIR approach has been applied to the numerical solution of BSE (see, e.g., Refs. [70, 72]).
5 A first application
After establishing the formal results, i.e. the system of integral equations that the NWFs \(\rho _A\), \(\rho _B\) and \(\rho _\gamma \) have to fulfill, it is important to test the consistency. Following the same spirit of the first applications of the NIR approach to the two-scalar system, where the Wick–Cutokski model had to stem from the formal elaboration (see, e.g., Refs. [106, 107]), we have performed the first iteration of the coupled system, as an initial step, in view of the quantitative investigation in full, to be presented elsewhere. It should be pointed out that the first iteration offers the possibility to partly check our results, as it corresponds to the standard one-loop computation. Once the analytical expressions of \(\rho ^{(1)}_A\), \(\rho ^{(1)}_B\) and \(\rho ^{(1)}_\gamma \) have been obtained, we have carried out the evaluations of (i) the KL weights for both fermion and photon propagators, (ii) the fermionic running mass and iii) the charge renormalization function, and eventually compared with one-loop results (see, e.g., Ref. [89], but noting the different renormalization scheme).
The numerical investigation, aimed at establishing the validity of our approach by assessing the convergence of the iterative method, will be presented elsewhere. We stress that, generally speaking, the result of the iterative procedure may differ significantly from the first iteration one (see, e.g., Refs. [108, 109] and Ref. [110] for QCD studies), and that we perform here a basic test of consistency. In Appendix C all the details for obtaining the aforementioned first iteration, Eqs. (C.116), (C.120) and (C.122) respectively, are illustrated with also some of their features, while in Appendix D, the full expressions of the coupled system is summarized for the convenience of the interested reader.
In Fig. 2, the first-order Källén-Lehman weights for the fermionic propagator, Eq. (15), are presented for different values of the IR regulator \(\zeta _p\). They can be easily obtained from Eq. (23) after inserting \(\rho ^{(1)}_A\) and \(\rho ^{(1)}_B\) given by (see Eqs. (C.116), with its careful discussion, and (C.120))
with
and
Qualitatively \(\sigma _V\) and \(\sigma _S\) are quite similar, though width and tail of \(\sigma _S\) are slightly larger than the \(\sigma _V\) ones. The common features are (i) the negative values (in Ref. [44] the scalar weight is also negative), that is a consequence of our choice of the renormalization scheme, and (ii) the sharp peaks for \(\zeta _p\rightarrow 0\). The latter are very close to the threshold and clearly depend upon the IR-regulator \(\zeta _p\), while the tails are unaffected, as expected. To complete the discussion it is useful to recall that the residue at the pole of the renormalized fermion propagator, \({{\mathcal {R}}}_S\), is not equal to 1, as expected in the RI’/MOM scheme [96, 97]. Table 1 summarizes the different values of the residues associated with our curves in Fig. 2.
Another simple check is the formal comparison between the expression of \(\rho ^{(1)}_B(y,\zeta )\) for vanishing values of \(\zeta _p\), with the expression one can extract from standard one-loop computations of \({{\mathcal {B}}}_R(\zeta ;p)\) (see e.g. [89]), but within the RI’/MOM scheme. In the limit \(\zeta _p\rightarrow 0\), one has from Eq. (81)
with \(\alpha _{em}=e^2_R/4\pi \). Moreover from the definition in Eq. (14) one writes
After imposing \({{\mathcal {B}}}_R(\zeta ,\zeta )=0\), perturbative computations yield (see e.g. [89])
Hence, for \(p^2>m^2(\zeta )\) the logarithm becomes complex, and adopting the same analytic continuation as in Ref. [89] (i.e. \(\ln (-\rho )=\ln \rho -i\pi \)), eventually one has
that coincides with the result one gets from Eqs. (81) and (83). As a final remark, one should point out that in the same limit \(\mathcal{A}_R(\zeta ,p)\) vanishes both in our case (see Eq. (C.119)) as well as in Ref. [89].
Figure 3 shows the Källén–Lehman weight for the photon propagator, Eq. (43), obtained from \(\rho ^{(1)}_\gamma \) given by (see also Eq. (C.122))
The independence from the IR-regulator \(\zeta _p\), as shown in the expression of \(\rho ^{(1)}_\gamma \), is the standard feature of the one-loop calculation, and only the higher-order contributions will make apparent such a dependence. Differently from the fermion case, the KL weight of the photon is positive, as expected. This bosonic result points to the highly non trivial interplay of the two scalar functions \({{\mathcal {A}}}_R\) and \({{\mathcal {B}}}_R\), in order to obtain positive KL weights for the fermionic source. We have also calculated the running mass (see Eq. (4) for the value at the renormalization point)
and the charge renormalization function (Eq. (29) for the value at the renormalization point)
In Fig. 4, the running mass is shown for values of the four-momentum below the threshold, \(s_{th}=m^2(\zeta )\), adopting a tiny \(\zeta _p\) up to \(\zeta _p/m(\zeta )=10^{-4}\), while in Fig. 5 both real and imaginary terms, generated for \(p^2\ge s_{th}\), are presented. Notice that the positive sign of the imaginary part is a consequence of the first-order calculation (see. Eq. (85) and the vanishing of \({{\mathcal {A}}}_R\) for \(\zeta _p\rightarrow 0\)).
In Figs. 6 and 7, the running charge defined in Eq. (88) is shown for values below and above the threshold, that in this case holds \(s^p_{th}= 4m^2(\zeta )\). The comparison with the results of Ref. [61] (where \(\mathfrak {I}m\{M(\zeta ,p)\}\) has a negative sign) can be be performed only at the qualitative level, since the quantitative one is too early for our numerical efforts. In any case, one can recognize quite similar pattern, in particular, for the case of small values of the coupling constant \(\alpha _{em}\). It should be pointed out that the first-order self-energies (both fermion and photon ones) depend linearly upon the coupling constant and therefore, the values of the running mass and the relative running charge are not affected by such a dependence.
We would like to conclude this section by shortly anticipating a remark stemming from the detailed numerical investigations to be presented elsewhere. Indeed, in the quenched approximation, one can verify that the integrals relevant for the second iteration are all converging, even the ones including the function \(\varDelta ^\prime \) (see Eq. (69)). Of course, when extending the calculations to large values of the coupling constant, extra care on the convergence of the above quantities is requested, as one should expect additional singularity issues from Minkowski and Euclidean calculations focusing on the strong-coupling regime, both below and above the critical value (see, e.g., Refs. [47, 61, 94, 111] for the challenges beyond the critical value).
6 Conclusions and perspectives
This work belongs to the set of the early attempts (not too much numerous) to explore the non-perturbative regime of \(QED_{3+1}\) directly in Minkowski space, by exploiting the framework based on the so-called Nakanishi integral representation for describing the self-energies of both fermion and photon.
The originality of this work, elaborated within the RI’/MOM scheme, lies in the choice of the fermion-photon vertex, able to fulfill constraints coming from both the Ward–Takashi identity and the multiplicative renormalizability, that calls for purely transverse contributions. We have shown that despite the apparent complexity, it is possible to derive a well-defined system of equations for the Nakanishi weight functions, that we recall are real functions fulfilling a uniqueness theorem, within the Feynman diagrammatic framework [57]. In addition, we have presented an initial check based on the evaluation of the first iteration of the coupled system. In particular, we have initiated the comparison with known results of (i) the Källén–Lehmann weights for both fermion and photon, (ii) the running mass and (iii) the charge renormalization function. Beyond this, we have also verified that numerical stability remains under control, encouraging toward a more vast numerical investigation.
It has to be pointed out that the present results readily calls for two natural extensions on a short-time scale. First, complete numerical studies should be performed, allowing one to assess the convergence of the whole approach and to move the comparison to a quantitative level, e.g. with the results in Refs. [44, 61]. Second, the expected residue equal to one at the mass pole should be implemented at the level of the NWFs, i.e. going from the RI’/MOM scheme to the standard on-shell renormalization scheme.
On a longer time-scale, the third desirable extension would be to move from QED to QCD. An educated reader might object that many ingredients we used are not available or available in a much more complicated way for QCD. For instance, there is no formal proof that the propagators of confined particles should have Källén–Lehmann-like representation (positive definite). Nonetheless, lattice-QCD computations seem to be consistent with a spectral representation (although not a positive one) [112]. Furthermore, the Ward–Takahashi identities must be replaced by the Slavnov–Taylor ones, forcing deep modifications of the quark-gluon vertex function, playing an important role in realizing a dynamical breakdown of chiral symmetry. Also for this issue, progresses have been recently done in that direction, with the definition of the non-Abelian generalization of the Ball–Chiu vertex [27]. Therefore, despite the technical difficulties to jump from QED to QCD, we believe that such a possibility should deserve a careful investigation.
As a final remark, it is appropriate to recall that, for a given interacting system, our final goal is to implement and solve the BSE with dressed propagators for both particles and quanta, directly in Minkowski space, i.e. where the physical processes take place. In view of this, our present elaboration, that belongs to the phenomenological realm, should be considered a step forward for setting up a viable tool for the actual investigation of strong-coupling regimes (first below the critical value), within a QFT framework where the dynamical ingredients are made transparent and under control.
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: This is a theoretical study and no experimental data has been listed.]
Notes
We can roughly group the truncation schemes in two sets: (i) the ones exploiting a dressed vertex, with different amount of complexity, and (ii) the ones using a simple bare vertex.
It must recalled that the complete equivalence between Euclidean and relativistic QFT, under a given set of necessary and sufficient conditions, was established by Osterwalder and Schrader, in the seventies [30].
For the sake of generality, we will leave the notation \(m(\zeta )\) in the following expressions, though an on-mass-shell renormalization is adopted.
References
E.E. Salpeter, H.A. Bethe, A relativistic equation for bound-state problems. Phys. Rev. 84, 1232 (1951). https://doi.org/10.1103/PhysRev.84.1232
M. Gell-Mann, F. Low, Bound states in quantum field theory. Phys. Rev. 84, 350 (1951). https://doi.org/10.1103/PhysRev.84.350
F.J. Dyson, The S matrix in quantum electrodynamics. Phys. Rev. 75, 1736 (1949). https://doi.org/10.1103/PhysRev.75.1736
J.S. Schwinger, On the Green’s functions of quantized fields. 1. Proc. Natl. Acad. Sci. 37, 452 (1951). https://doi.org/10.1073/pnas.37.7.452
J.S. Schwinger, On the Green’s functions of quantized fields. 2. Proc. Natl. Acad. Sci. 37, 455 (1951). https://doi.org/10.1073/pnas.37.7.455
C.D. Roberts, A.G. Williams, Dyson–Schwinger equations and their application to hadronic physics. Prog. Part. Nucl. Phys. 33, 477 (1994). https://doi.org/10.1016/0146-6410(94)90049-3
R. Alkofer, L. von Smekal, The infrared behavior of QCD Green’s functions: confinement dynamical symmetry breaking, and hadrons as relativistic bound states. Phys. Rep. 353, 281 (2001). https://doi.org/10.1016/S0370-1573(01)00010-2
P. Maris, C.D. Roberts, Dyson–Schwinger equations: a tool for hadron physics. Int. J. Mod. Phys. E 12, 297 (2003). https://doi.org/10.1142/S0218301303001326
A. Bashir, L. Chang, I.C. Cloët, B. El-Bennich, Y.X. Liu, C.D. Roberts, P.C. Tandy, Collective perspective on advances in Dyson–Schwinger equation QCD. Commun. Theor. Phys. 58, 79 (2012). https://doi.org/10.1088/0253-6102/58/1/16
G. Eichmann, H. Sanchis-Alepuz, R. Williams, R. Alkofer, C.S. Fischer, Baryons as relativistic three-quark bound states. Prog. Part. Nucl. Phys. 91, 1 (2016). https://doi.org/10.1016/j.ppnp.2016.07.001
H. Sanchis-Alepuz, R. Williams, Recent developments in bound-state calculations using the Dyson–Schwinger and Bethe–Salpeter equations. Comput. Phys. Commun. 232, 1 (2018). https://doi.org/10.1016/j.cpc.2018.05.020
S.X. Qin, C.D. Roberts, Resolving the Bethe–Salpeter kernel (2020). arXiv:2009.13637
S.J. Brodsky, H.C. Pauli, S.S. Pinsky, Quantum chromodynamics and other field theories on the light cone. Phys. Rep. 301, 299 (1998). https://doi.org/10.1016/S0370-1573(97)00089-6
J. Vary, H. Honkanen, J. Li, P. Maris, S. Brodsky, A. Harindranath, G. de Teramond, P. Sternberg, E. Ng, C. Yang, Hamiltonian light-front field theory in a basis function approach. Phys. Rev. C 81, 035205 (2010). https://doi.org/10.1103/PhysRevC.81.035205
J. Lan, C. Mondal, S. Jia, X. Zhao, J.P. Vary, Pion and kaon parton distribution functions from basis light front quantization and QCD evolution. Phys. Rev. D 101(3), 034024 (2020). https://doi.org/10.1103/PhysRevD.101.034024
X. Zhao, K. Fu, H. Zhao, J. Lan, C. Mondal, S. Xu, J.P. Vary, in 18th International Conference on Hadron Spectroscopy and Structure, pp. 624–631 (2020). https://doi.org/10.1142/9789811219313_0107
J.B. Kogut, L. Susskind, Hamiltonian formulation of Wilson’s lattice gauge theories. Phys. Rev. D 11, 395 (1975). https://doi.org/10.1103/PhysRevD.11.395
I. Raychowdhury, J.R. Stryker, Loop, string, and hadron dynamics in SU(2) Hamiltonian lattice gauge theories. Phys. Rev. D 101(11), 114502 (2020). https://doi.org/10.1103/PhysRevD.101.114502
M. Bañuls et al., Simulating lattice gauge theories within quantum technologies. Eur. Phys. J. D 74(8), 165 (2020). https://doi.org/10.1140/epjd/e2020-100571-8
P.C. Tandy, Covariant QCD modeling of light meson physics. Prog. Part. Nucl. Phys. 50, 305 (2003). https://doi.org/10.1016/S0146-6410(03)00024-3. [305 (2003)]
L. Chang, C.D. Roberts, Sketching the Bethe–Salpeter kernel. Phys. Rev. Lett. 103, 081601 (2009). https://doi.org/10.1103/PhysRevLett.103.081601
S.X. Qin, L. Chang, Y.X. Liu, C.D. Roberts, S.M. Schmidt, Practical corollaries of transverse Ward–Green–Takahashi identities. Phys. Lett. B 722, 384 (2013). https://doi.org/10.1016/j.physletb.2013.04.034
S.X. Qin, C.D. Roberts, S.M. Schmidt, Ward–Green–Takahashi identities and the axial-vector vertex. Phys. Lett. B 733, 202 (2014). https://doi.org/10.1016/j.physletb.2014.04.041
D. Binosi, L. Chang, J. Papavassiliou, S.X. Qin, C.D. Roberts, Symmetry preserving truncations of the gap and Bethe–Salpeter equations. Phys. Rev. D 93(9), 096010 (2016). https://doi.org/10.1103/PhysRevD.93.096010
D. Binosi, L. Chang, J. Papavassiliou, S.X. Qin, C.D. Roberts, Natural constraints on the gluon-quark vertex. Phys. Rev. D 95(3), 031501 (2017). https://doi.org/10.1103/PhysRevD.95.031501
S.X. Qin, C. Chen, C. Mezrag, C.D. Roberts, Off-shell persistence of composite pions and kaons. Phys. Rev. C 97(1), 015203 (2018). https://doi.org/10.1103/PhysRevC.97.015203
A.C. Aguilar, J.C. Cardona, M.N. Ferreira, J. Papavassiliou, Quark gap equation with non-abelian Ball–Chiu vertex. Phys. Rev. D 98(1), 014002 (2018). https://doi.org/10.1103/PhysRevD.98.014002
J. Glimm, A.M. Jaffe, Quantum Physics. A Functional Integral Point of View (Springer, Berlin, 1987)
S. Chatterjee, Yang–Mills for probabilists (2018). arXiv e-prints arXiv:1803.01950
K. Osterwalder, R. Schrader, Axioms for Euclidean Green’s functions. II [with an Appendix by Stephen Summers]. Commun. Math. Phys. 42(3), 281 (1975). https://projecteuclid.org:443/euclid.cmp/1103899050
D. Shirkov, I. Solovtsov, Analytic model for the QCD running coupling with universal \({\bar{\alpha }}_s (0\)) value. Phys. Rev. Lett. 79, 1209 (1997). https://doi.org/10.1103/PhysRevLett.79.1209
B. Joó, J. Karpie, K. Orginos, A. Radyushkin, D. Richards, S. Zafeiropoulos, Parton distribution functions from Ioffe time pseudo-distributions. JHEP 12, 081 (2019). https://doi.org/10.1007/JHEP12(2019)081
C. Chen, L. Chang, C.D. Roberts, S. Wan, H.S. Zong, Valence-quark distribution functions in the kaon and pion. Phys. Rev. D 93(7), 074021 (2016). https://doi.org/10.1103/PhysRevD.93.074021
K.D. Bednar, I.C. Cloët, P.C. Tandy, Distinguishing quarks and gluons in pion and kaon parton distribution functions. Phys. Rev. Lett. 124(4), 042002 (2020). https://doi.org/10.1103/PhysRevLett.124.042002
L. Chang, I.C. Cloët, J.J. Cobos-Martinez, C.D. Roberts, S.M. Schmidt, P.C. Tandy, Imaging dynamical chiral symmetry breaking: pion wave function on the light front. Phys. Rev. Lett. 110(13), 132001 (2013). https://doi.org/10.1103/PhysRevLett.110.132001
F. Gao, L. Chang, Y.X. Liu, Bayesian extraction of the parton distribution amplitude from the Bethe–Salpeter wave function. Phys. Lett. B 770, 551 (2017). https://doi.org/10.1016/j.physletb.2017.04.077
S.S. Xu, L. Chang, C.D. Roberts, H.S. Zong, Pion and kaon valence-quark parton quasidistributions. Phys. Rev. D 97(9), 094014 (2018). https://doi.org/10.1103/PhysRevD.97.094014
C.R. Ji, P. Maris, K(l3) transition form-factors. Phys. Rev. D 64, 014032 (2001). https://doi.org/10.1103/PhysRevD.64.014032
D. Kekez, D. Klabučar, Pion observables calculated in Minkowski and Euclidean spaces from Ansatz quark propagators (2020). arXiv:2006.02326
A. Bashir, A. Kizilersu, M.R. Pennington, The nonperturbative three point vertex in massless quenched QED and perturbation theory constraints. Phys. Rev. D 57, 1242 (1998). https://doi.org/10.1103/PhysRevD.57.1242
C.S. Fischer, R. Alkofer, T. Dahm, P. Maris, Dynamical chiral symmetry breaking in unquenched QED(3). Phys. Rev. D 70, 073007 (2004). https://doi.org/10.1103/PhysRevD.70.073007
A. Kizilersu, M.R. Pennington, Building the full fermion-photon vertex of QED by imposing multiplicative renormalizability of the Schwinger–Dyson equations for the fermion and photon propagators. Phys. Rev. D 79, 125020 (2009). https://doi.org/10.1103/PhysRevD.79.125020
A. Kizilersu, T. Sizer, A.G. Williams, Strongly-coupled unquenched QED4 propagators using Schwinger–Dyson equations. Phys. Rev. D 88, 045008 (2013). https://doi.org/10.1103/PhysRevD.88.045008
S. Jia, M.R. Pennington, Exact solutions to the fermion propagator Schwinger–Dyson equation in Minkowski space with on-shell renormalization for quenched QED. Phys. Rev. D 96(3), 036021 (2017). https://doi.org/10.1103/PhysRevD.96.036021
M. Tanabashi et al., Review of particle physics. Phys. Rev. D 98(3), 030001 (2018). https://doi.org/10.1103/PhysRevD.98.030001
A. Bashir, M. Pennington, Gauge independent chiral symmetry breaking in quenched QED. Phys. Rev. D 50, 7679 (1994). https://doi.org/10.1103/PhysRevD.50.7679
A. Bashir, A. Raya, S. Sanchez-Madrigal, Chiral symmetry breaking and confinement beyond rainbow-ladder truncation. Phys. Rev. D 84, 036013 (2011). https://doi.org/10.1103/PhysRevD.84.036013
M. Reenders, On the nontriviality of Abelian gauged Nambu–Jona–Lasinio models in four-dimensions. Phys. Rev. D 62, 025001 (2000). https://doi.org/10.1103/PhysRevD.62.025001
D. Atkinson, J.C. Bloch, V. Gusynin, M. Pennington, M. Reenders, Strong QED with weak gauge dependence: critical coupling and anomalous dimension. Phys. Lett. B 329, 117 (1994). https://doi.org/10.1016/0370-2693(94)90526-6
J.S. Ball, T.W. Chiu, Analytic properties of the vertex function in gauge theories. 1. Phys. Rev. D 22, 2542 (1980). https://doi.org/10.1103/PhysRevD.22.2542
K.I. Kondo, Longitudinal and transverse Ward–Takahashi identity, anomaly and Schwinger–Dyson equation. Int. J. Mod. Phys. A 12, 5651 (1997). https://doi.org/10.1142/S0217751X97002978
D.C. Curtis, M.R. Pennington, Truncating the Schwinger–Dyson equations: how multiplicative renormalizability and the Ward identity restrict the three point vertex in QED. Phys. Rev. D 42, 4165 (1990). https://doi.org/10.1103/PhysRevD.42.4165
A. Bashir, R. Bermudez, L. Chang, C.D. Roberts, Dynamical chiral symmetry breaking and the fermion-gauge-boson vertex. Phys. Rev. C 85, 045205 (2012). https://doi.org/10.1103/PhysRevC.85.045205
A. Kizilersus, T. Sizer, M.R. Pennington, A.G. Williams, R. Williams, Dynamical mass generation in unquenched QED using the Dyson–Schwinger equations. Phys. Rev. D 91(6), 065015 (2015). https://doi.org/10.1103/PhysRevD.91.065015
N. Nakanishi, Partial-Wave Bethe–Salpeter equation. Phys. Rev. 130(3), 1230 (1963)
N. Nakanishi, A general survey of the theory of the Bethe–Salpeter equation. Prog. Theor. Phys. Suppl. 43, 1 (1969). https://doi.org/10.1143/PTPS.43.1
N. Nakanishi, Graph Theory and Feynman Integrals (Gordon and Breach, New York, 1971)
V. Sauli, J. Adam, Solving the Schwinger–Dyson equation for a scalar propagator in Minkowski space. Nucl. Phys. A 689, 467 (2001). https://doi.org/10.1016/S0375-9474(01)00884-3
V. Sauli, J. Adam Jr., Study of relativistic bound states for scalar theories in the Bethe–Salpeter and Dyson–Schwinger formalism. Phys. Rev. D 67, 085007 (2003). https://doi.org/10.1103/PhysRevD.67.085007
V. Sauli, Minkowski solution of Dyson–Schwinger equations in momentum subtraction scheme. JHEP 02, 001 (2003). https://doi.org/10.1088/1126-6708/2003/02/001
V. Sauli, Running coupling and fermion mass in strong coupling QED(3+1). J. Phys. G 30, 739 (2004). https://doi.org/10.1088/0954-3899/30/6/005
V. Sauli, J. Adam Jr., P. Bicudo, Dynamical chiral symmetry breaking with integral Minkowski representations. Phys. Rev. D 75, 087701 (2007). https://doi.org/10.1103/PhysRevD.75.087701
V. Sauli, Nakanishi integral representation for the quark-photon vertex (2019). arXiv:1909.03043
K. Kusaka, K. Simpson, A.G. Williams, Solving the Bethe–Salpeter equation for bound states of scalar theories in Minkowski space. Phys. Rev. D 56, 5071 (1997). https://doi.org/10.1103/PhysRevD.56.5071
V.A. Karmanov, J. Carbonell, Solving Bethe–Salpeter equation in Minkowski space. Eur. Phys. J. A 27, 1 (2006). https://doi.org/10.1140/epja/i2005-10193-0
J. Carbonell, V.A. Karmanov, Cross-ladder effects in Bethe–Salpeter and light-front equations. Eur. Phys. J. A 27, 11 (2006). https://doi.org/10.1140/epja/i2005-10194-y
J. Carbonell, V.A. Karmanov, Solving Bethe–Salpeter equation for two fermions in Minkowski space. Eur. Phys. J. A 46, 387 (2010). https://doi.org/10.1140/epja/i2010-11055-4
T. Frederico, G. Salmè, M. Viviani, Quantitative studies of the homogeneous Bethe–Salpeter equation in Minkowski space. Phys. Rev. D 89, 016010 (2014). https://doi.org/10.1103/PhysRevD.89.016010
T. Frederico, G. Salmè, M. Viviani, Solving the inhomogeneous Bethe–Salpeter equation in Minkowski space: the zero-energy limit. Eur. Phys. J. C 75(8), 398 (2015). https://doi.org/10.1140/epjc/s10052-015-3616-1
W. de Paula, T. Frederico, G. Salmè, M. Viviani, Advances in solving the two-fermion homogeneous Bethe–Salpeter equation in Minkowski space. Phys. Rev. D 94(7), 071901 (2016). https://doi.org/10.1103/PhysRevD.94.071901
C. Gutierrez, V. Gigante, T. Frederico, G. Salmè, M. Viviani, L. Tomio, Bethe–Salpeter bound-state structure in Minkowski space. Phys. Lett. B 759, 131 (2016). https://doi.org/10.1016/j.physletb.2016.05.066
W. de Paula, T. Frederico, G. Salmè, M. Viviani, R. Pimentel, Fermionic bound states in Minkowski-space: light-cone singularities and structure. Eur. Phys. J. C 77(11), 764 (2017). https://doi.org/10.1140/epjc/s10052-017-5351-2
J.H.Alvarenga Nogueira, D. Colasante, V. Gherardi, T. Frederico, E. Pace, G. Salmè, Solving the Bethe–Salpeter Equation in Minkowski Space for a Fermion-scalar system. Phys. Rev. D 100(1), 016021 (2019). https://doi.org/10.1103/PhysRevD.100.016021
V. Sauli, Solving the Bethe–Salpeter equation for a pseudoscalar meson in Minkowski space. J. Phys. G 35, 035005 (2008). https://doi.org/10.1088/0954-3899/35/3/035005
V. Sauli, Pions and excited scalars in Minkowski space DSBSE formalism. Int. J. Theor. Phys. 54(11), 4131 (2015). https://doi.org/10.1007/s10773-015-2525-2
C.S. Mello, J.P.B.C. de Melo, T. Frederico, Minkowski space pion model inspired by lattice QCD running quark mass. Phys. Lett. B 766, 86 (2017). https://doi.org/10.1016/j.physletb.2016.12.058
T. Frederico, D.C. Duarte, W. de Paula, E. Ydrefors, S. Jia, P. Maris, Towards Minkowski space solutions of Dyson–Schwinger Equations through un-Wick rotation (2019). arXiv:1905.00703
E. Ydrefors, J.H.Alvarenga Nogueira, V.A. Karmanov, T. Frederico, Solving the three-body bound-state Bethe–Salpeter equation in Minkowski space. Phys. Lett. B 791, 276 (2019). https://doi.org/10.1016/j.physletb.2019.02.046
J. Carbonell, T. Frederico, V.A. Karmanov, Bound state equation for the Nakanishi weight function. Phys. Lett. B 769, 418 (2017). https://doi.org/10.1016/j.physletb.2017.04.016
L. Chang, C. Mezrag, H. Moutarde, C.D. Roberts, J. Rodríguez-Quintero, P.C. Tandy, Basic features of the pion valence-quark distribution function. Phys. Lett. B 737, 23 (2014). https://doi.org/10.1016/j.physletb.2014.08.009
C. Mezrag, L. Chang, H. Moutarde, C.D. Roberts, J. Rodríguez-Quintero, F. Sabatié, S.M. Schmidt, Sketching the pion’s valence-quark generalised parton distribution. Phys. Lett. B 741, 190 (2015). https://doi.org/10.1016/j.physletb.2014.12.027
F. Gao, L. Chang, Y.X. Liu, C.D. Roberts, S.M. Schmidt, Parton distribution amplitudes of light vector mesons. Phys. Rev. D 90(1), 014011 (2014). https://doi.org/10.1103/PhysRevD.90.014011
C. Shi, L. Chang, C.D. Roberts, S.M. Schmidt, P.C. Tandy, H.S. Zong, Flavour symmetry breaking in the kaon parton distribution amplitude. Phys. Lett. B 738, 512 (2014). https://doi.org/10.1016/j.physletb.2014.07.057
C. Fanelli, E. Pace, G. Romanelli, G. Salmè, M. Salmistraro, Pion generalized parton distributions within a fully covariant constituent quark model. Eur. Phys. J. C 76(5), 253 (2016). https://doi.org/10.1140/epjc/s10052-016-4101-1
C. Mezrag, J. Segovia, L. Chang, C.D. Roberts, Parton distribution amplitudes: revealing correlations within the proton and Roper. Phys. Lett. B 783, 263 (2018). https://doi.org/10.1016/j.physletb.2018.06.062
N. Chouika, C. Mezrag, H. Moutarde, J. Rodríguez-Quintero, A Nakanishi-based model illustrating the covariant extension of the pion GPD overlap representation and its ambiguities. Phys. Lett. B 780, 287 (2018). https://doi.org/10.1016/j.physletb.2018.02.070
N. Chouika, C. Mezrag, H. Moutarde, J. Rodríguez-Quintero, Covariant Extension of the GPD overlap representation at low Fock states. Eur. Phys. J. C 77(12), 906 (2017). https://doi.org/10.1140/epjc/s10052-017-5465-6
C. Shi, C. Mezrag, H.S. Zong, Pion and kaon valence quark distribution functions from Dyson–Schwinger equations. Phys. Rev. D 98(5), 054029 (2018). https://doi.org/10.1103/PhysRevD.98.054029
C. Itzykson, J.B. Zuber, Quantum Field Theory. International Series In Pure and Applied Physics (McGraw-Hill, New York, 1980). https://doi.org/10.1063/1.2916419
D. Kapec, M. Perry, A.M. Raclariu, A. Strominger, Infrared divergences in QED. Revisited. Phys. Rev. D 96(8), 085002 (2017). https://doi.org/10.1103/PhysRevD.96.085002
R. Delbourgo, P.C. West, A gauge covariant approximation to quantum electrodynamics. J. Phys. A 10, 1049 (1977). https://doi.org/10.1088/0305-4470/10/6/024
S. Jia, P. Maris, D.C. Duarte, T. Frederico, W. de Paula, E. Ydrefors, in 18th International Conference on Hadron Spectroscopy and Structure, pp. 560–564 (2020). https://doi.org/10.1142/9789811219313_0095
V. Sauli, Gauge technique approximation to the \(\pi \gamma \) production and the pion transition form factor. Phys. Rev. D 102(1), 014049 (2020). https://doi.org/10.1103/PhysRevD.102.014049
V. Sauli, Confinement within the use of Minkowski space integral representation (2020). arXiv:2011.00536
A. Kizilersu, T. Sizer, A.G. Williams, Regularization independent study of renormalized nonperturbative quenched QED. Phys. Rev. D 65, 085020 (2002). https://doi.org/10.1103/PhysRevD.65.085020
C. Sturm, Y. Aoki, N.H. Christ, T. Izubuchi, C.T.C. Sachrajda, A. Soni, Renormalization of quark bilinear operators in a momentum-subtraction scheme with a nonexceptional subtraction point. Phys. Rev. D 80, 014501 (2009). https://doi.org/10.1103/PhysRevD.80.014501
J.A. Gracey, Renormalization group functions of QCD in the minimal MOM scheme. J. Phys. A 46, 225403 (2013). https://doi.org/10.1088/1751-8113/46/22/225403
J.S. Schwinger, Gauge invariance and mass. 2. Phys. Rev. 128, 2425 (1962). https://doi.org/10.1103/PhysRev.128.2425
C.J. Burden, J. Praschifka, C.D. Roberts, Photon polarization tensor in three-dimensional quantum electrodynamics. Phys. Rev. D 46, 2695 (1992). https://doi.org/10.1103/PhysRevD.46.2695
A. Aguilar, D. Binosi, J. Papavassiliou, The gluon mass generation mechanism: a concise primer. Front. Phys. (Beijing) 11(2), 111203 (2016). https://doi.org/10.1007/s11467-015-0517-6
J.S. Ball, T.W. Chiu, Analytic properties of the vertex function in gauge theories. 2.. Phys. Rev. D 22, 2550 (1980). https://doi.org/10.1103/physrevd.23.3085.2. https://doi.org/10.1103/PhysRevD.22.2550. [Erratum: Phys. Rev. D 23, 3085 (1981)]
N. Brown, N. Dorey, Multiplicative renormalizability and self consistent treatments of the Schwinger–Dyson equations. Mod. Phys. Lett. A 6, 317 (1991). https://doi.org/10.1142/S0217732391000294
Z.H. Dong, H.J. Munczek, C.D. Roberts, Gauge covariant fermion propagator in quenched, chirally symmetric quantum electrodynamics. Phys. Lett. B 333, 536 (1994). https://doi.org/10.1016/0370-2693(94)90180-5
N. Brown, M.R. Pennington, Studies of confinement: how quarks and gluons propagate. Phys. Rev. D 38, 2266 (1988). https://doi.org/10.1103/PhysRevD.38.2266
N. Brown, M.R. Pennington, Studies of confinement: how the gluon propagates. Phys. Rev. D 39, 2723 (1989). https://doi.org/10.1103/PhysRevD.39.2723
D.S. Hwang, V.A. Karmanov, Many-body Fock sectors in Wick–Cutkosky model. Nucl. Phys. B 696, 413 (2004). https://doi.org/10.1016/j.nuclphysb.2004.06.049
T. Frederico, G. Salmè, M. Viviani, Two-body scattering states in Minkowski space and the Nakanishi integral representation onto the null plane. Phys. Rev. D 85, 036009 (2012). https://doi.org/10.1103/PhysRevD.85.036009
S. Sasagawa, H. Tanaka, Schwinger–Dyson equation in Minkowski space beyond the IE approximation. PTEP 2017(1), 013B04 (2017). https://doi.org/10.1093/ptep/ptw179
H. Tanaka, S. Sasagawa, Quark mass function in Minkowski space. PTEP 2017(12), 123B02 (2017). https://doi.org/10.1093/ptep/ptx153
D. Dudal, O. Oliveira, J. Rodriguez-Quintero, Nontrivial ghost-gluon vertex and the match of RGZ, DSE and lattice Yang–Mills propagators. Phys. Rev. D 86, 105005 (2012). https://doi.org/10.1103/PhysRevD.86.105005
F.T. Hawes, T. Sizer, A.G. Williams, On renormalized strong coupling quenched QED in four-dimensions. Phys. Rev. D 55, 3866 (1997). https://doi.org/10.1103/PhysRevD.55.3866
D. Binosi, R.A. Tripolt, Spectral functions of confined particles. Phys. Lett. B 801, 135171 (2020). https://doi.org/10.1016/j.physletb.2019.135171
E. Solis, C. Costa, V. Luiz, G. Krein, Quark propagator in Minkowski space. Few Body Syst. 60(3), 49 (2019). https://doi.org/10.1007/s00601-019-1517-9
Acknowledgements
We gratefully thank Massimo Testa for very stimulating discussions, and Si-xue Qin for illustrating in detail the issues related to the transverse vertex. C.M. acknowledges discussions with Jose Rodriguez-Quintero and the warm hospitality of INFN Sezione di Roma, where his INFN PostDoc fellowship for the NINPHA project has been granted.
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix A: DSE for the fermion self-energy
In this Appendix, the formal elaboration for obtaining the equation that determines the renormalized self-energy \(\varSigma _R(\zeta ;p)\) is given in details.
The starting point is the integral equation fulfilled by the regularized self-energy \(\varSigma (\zeta ,\varLambda ;p)\) (see Itzykson and Zuber [89], p. 275, for the adopted notations, and also Fig. 8), that reads
By introducing in Eq. (A.1) the following relation between regularized and renormalized quantities
one can rewrite
with \(\varSigma _Z(\zeta ,\varLambda ;p)=Z_2~\varSigma (\zeta ,\varLambda ;p)\). From Eq. (10), one gets the following integral equation for the renormalized self-energy
The scalar functions \({{\mathcal {A}}}_R(\zeta ;p)\) and \({{\mathcal {B}}}_R(\zeta ;p)\) can be obtained by evaluating the following traces
with
Since in the Landau gauge the photon is transverse to the momentum transfer, only the transverse projection \(T_{\beta \alpha }\varGamma ^\alpha _R(\zeta ;k,p)\) is relevant (see Eq. (27) for the definition of \(T_{\beta \alpha }\)). It is important to notice that the transverse projection of the Ball-Chiu vertex is not vanishing, i.e. \(T_{\beta \alpha } \varGamma ^\alpha _{R;BC}(\zeta ;k,p)\ne ~0\). In particular, by using Eqs. (26) and (46) one gets
where the subscript T on a four-vector means
with \(q=p-k\) (notice that the photon is outcoming), so that \(k^\beta _T=p^\beta _T\). Moreover, from Eq. (47) one has
For the purely transverse component \( \varGamma ^\alpha _{R;T}(\zeta ;k,p)\), Eq. (52), one has
where \((p-k)^\beta _T=0\) has been used. Summing the two contributions to \(\varGamma ^\beta _{R;T}\), one gets:
After inserting in Eq. (A.3), the expressions of the fermion and photon propagators in terms of the respective KL representations, i.e. Eqs. (15) and (39), and exploiting Eqs. (A.7) and (A.10), one can obtain the following expressions for the traces
where
and
1.1 Appendix A.1: Traces evaluation
From Eqs. (A.12) and (A.13), one gets the following traces. The one involved in the calculation of \({{\mathcal {T}}}_A\) is
where
and
In Eq. (A.16), the underbraces emphasize the contributions generated by each term present in the vertex (see Eqs. (46) and (52)). This is motivated by the needed cooperation for eliminating the contribution produced by \({{\mathcal {A}}}_R(\zeta ;p)\) present in \(F_{{{\mathcal {A}}}+}\). Such a contribution generates a singular integral in \({{\mathcal {T}}}_{A} (\zeta ,\varLambda ;p^2)\) that cannot be canceled by an analogous term in \({{\mathcal {T}}}_{A} (\zeta ,\varLambda ;p^2=\zeta ^2)\), since \({{\mathcal {A}}}_R(\zeta ;p=\zeta )=0\). Also in \(F_{{{\mathcal {A}}}-}\) there is \({{\mathcal {A}}}_R(\zeta ;p)\), but in a combination with \(\mathcal{A}_R(\zeta ;k)\), such that it does not plague the further calculation (see below). Notice that also in \({{\mathcal {T}}}_{B} (\zeta ,\varLambda ;p^2)\) the same issue will be met. In conclusion, all the terms in the vertex function play an essential role for properly restoring the multiplicative renormalizability of the self-energy, as expressed in Eq. (A.4). This result is expected from the perturbative analysis (see, e.g., [42]), but it is gratifying to be achieved within a non-perturbative approach.
The aforementioned cancellation of \({{\mathcal {A}}}_R(\zeta ;p)\) in \({{\mathcal {T}}}_{A}\) can be attained by usefully recasting Eq. (A.16) as follows
Then, the problematic \({{\mathcal {A}}}_R(\zeta ;p)\) is canceled in the combination
obtained from the contributions produced by \(T_3\) and \(T_8\). It must be noticed in Eq. (A.18) that for getting the result one produces the term
that in principle can generate a singular integral. Indeed, an other fortunate cancellation takes place by exploiting the 4D angular integration and the difference between \({{\mathcal {T}}}_{A} (\zeta ,\varLambda ;p^2)\) and \({{\mathcal {T}}}_{A} (\zeta ,\varLambda ;\zeta ^2)\) (see also Appendix A.4). Remarkably the factor of 4 is essential for obtaining the finite result.
For evaluating the trace in \({{\mathcal {T}}}_B\) (see Eq. (A.12)), one gets
where
and
Finally, collecting all the results, one has the following expressions for \({{\mathcal {T}}}_A(\zeta ,\varLambda ;p)\) and \({{\mathcal {T}}}_B(\zeta ,\varLambda ;p)\)
and
with
with \(q=p-k\).
By using Eq. (13) for \({{\mathcal {A}}}_R(\zeta ;k)\) and (47) for \( F_{{{\mathcal {A}}}_-} \) and \( F_{{{\mathcal {B}}}} \), one can write \({{\mathcal {T}}}_A\) and \({{\mathcal {T}}}_B\), as follows
and
where
with \(\omega ,s',s\ge 0\).
It has to point out that \({{\mathcal {I}}}_0\), \({{\mathcal {I}}}_1\), and \({{\mathcal {I}}}_5\) are divergent integrals for \(d=4\), and only after applying i) the dimensional regularization and ii) the subtraction of the corresponding integrals evaluated at \(p^2=\zeta ^2\), one gets finite results for \({{\mathcal {A}}}_R\) and \({{\mathcal {B}}}_R\), as it will be shown in Appendix A.3 and Appendix A.4, respectively.
Differently, the three integrals \({{\mathcal {I}}}_2\), \({{\mathcal {I}}}_3\) and \({{\mathcal {I}}}_4\) are finite, and they can be evaluated by (i) applying the Feynman parametric formula and introducing a new variable \(q=k-\alpha p\) (\(\alpha \) is a proper combination of Feynman parameters); (ii) changing the variable \(q_0\rightarrow iq_4\) and iii) eventually using 4D polar coordinates, \(q_E\equiv \{q_x,q_y,q_z,q_4\}\), given by
1.2 Appendix A.2: Analytic integrals
The evaluation of the analytic integrals in \({{\mathcal {T}}}_A(\zeta ,\varLambda ;p)\) and \(\mathcal{T}_B(\zeta ,\varLambda ;p)\) represents the most lengthy part of the formal elaboration. It is helpful to recall that our goal is to achieve a form of both \({{\mathcal {A}}}_R\) and \({{\mathcal {B}}}_R\) suitable for exploiting the uniqueness of the NWFs \(\rho _A\) and \(\rho _B\), as suggested by a theorem demonstrated by Nakanishi for a generic n-leg transition amplitude [57].
To proceed in a simple way, it is very useful to consider spacelike values for the external momentum p. This choice, as it becomes immediately clear, simplifies a lot the formal elaboration, and it is not restrictive, since the NWFs do not depend upon the values of the external momentum, but noteworthy they are used for obtaining the scalar functions \({{\mathcal {A}}}_R\) and \({{\mathcal {B}}}_R\) at any value of \(p^2\).
For the finite integral \({{\mathcal {I}}}_2\) one gets
The last step can be easily carried out without any concern, given the aforementioned choice of \(p^2< 0\).
The second finite integral, \({{\mathcal {I}}}_3\), becomes
with \( {{\mathcal {A}}}_4(v,w)=(v+w)(1-v-w)\).
Finally, \({{\mathcal {I}}}_4\) can be evaluated by using the result in Eq. (A.36), i.e.
In the above 4D integration on q the subscript \(\varLambda \) has been removed since the regularization is not necessary.
1.3 Appendix A.3: The \({{\mathcal {B}}}_R\) contribution to the fermion self-energy
Let us start the evaluation of the contribution \({{\mathcal {B}}}_R\), since it contains only one divergent integral, i.e. \({{\mathcal {I}}}_0\), Eq. (A.28). To get a finite value for the contribution from \({{\mathcal {I}}}_0\), it is compulsory to exploit both the dimensional regularization, that legitimates the variable shift in the integrand, and the subtraction of the corresponding term in \(\left. \mathcal{T}_B(\zeta ,\varLambda ;p)\right| _{p^2=\zeta ^2}\), as shown in Eq. (A.5). With this in mind, we simplify the formal elaboration removing the dependence upon \(\varLambda \) in what follows, and directly using the 4D integration. \({{\mathcal {B}}}_R(\zeta ;p)\) in Eq. (A.5) (see also Eq. (A.27)) reads
where \(Z_1(\zeta ) = Z_1(\zeta ,\varLambda \rightarrow \infty )\) and the differences of integrals (see Eqs. (A.28), (A.35), (A.36) and (A.37)) are defined as follows
The actual evaluation of the differences is briefly sketched. The first one, \({{\mathcal {D}}}_0\), can be obtained from Eq. (A.28) and recalling the need of the regularization, viz
where
and the formal manipulations are allowed by the dimensional regularization. Eventually, the last line has been introduced after applying an integration by parts for preparing the application of the uniqueness theorem [57] to the NWF \(\rho _B\). Notice that \(\xi \omega +(1-\xi ) s' +\eta ~\ge ~0\) and the exchange of the integration on \(\eta \) and on y has been assumed to be allowed.
From Eq. (A.35), one gets
To evaluate \({{\mathcal {D}}}_3\), one can introduce the following difference with \(A>0\) and \(B>0\)
where \(\varDelta '\) indicates
From (A.36) and by suitably modifying Eq. (A.46), one has
with \( {{\mathcal {A}}}_4(t,w)=(t+w)(1-t-w)\). Finally, from Eqs. (A.35), (A.37), (A.46) and (A.48), one writes
Inserting Eqs. (A.43), (A.45), (A.48), and (A.49), one gets
with \(Z_1(\zeta ) = Z_1(\zeta ,\varLambda \rightarrow \infty )\),
and
1.4 Appendix A.4: The \({{\mathcal {A}}}_R\) contribution
In order to evaluate \({{\mathcal {A}}}_R\), (recall \(p^2<0\), but without loss of generality on the final result for the NWFs) one has to face with the divergent behavior of \({{\mathcal {I}}}_1\), Eq. (A.29), and \({{\mathcal {I}}}_5\), Eq. (A.33). The strategy is exactly the same we have applied to \({{\mathcal {I}}}_0\) in the subsec. Appendix A.3, combining the dimensional regularization for shifting the integration variable and then exploiting the subtraction.
One can write from Eq. (A.5)
where
By exploiting Eq. (A.43), \({{\mathcal {D}}}_1\) can be evaluated as follows
From Eq. (A.37), one gets
and
Recalling that one has first to apply the dimensional regularization to \({{\mathcal {I}}}_5\), from Eq. (A.33) and using Eq. (A.46), and introducing one has
with
By using Eqs. (A.48), (A.58), (A.59), (A.60) and (A.61), one has
with \(Z_1(\zeta ) = Z_1(\zeta ,\varLambda \rightarrow \infty )\),
and
Appendix B: DSE for the photon self-energy
This Appendix is devoted to obtain the integral equation determining the renormalized photon self-energy. Equation (33). The initial step is given by the DSE for the regularized polarization tensor, Eq. (56), that we rewrite here for convenience, (the kinematical quantities are shown in Fig. 9)
where Eq. (A.2) has been used for the renormalized quantities. From Eq. (B.66) and the properties (59), it follows that the renormalized photon self-energy, Eq. (33) reads
with
where we have used: (i) the KL representation of the fermion propagator, Eq. (15), (ii) the definitions of \({\bar{\sigma }}_{V(S)}\) in Eq.(66). From the vertex contributions Eqs. (46), (52) and the relation \(\gamma _5\epsilon ^{\mu \alpha \nu \rho } \gamma _{\alpha }(k-q)_\nu k_\rho =\gamma _5\epsilon ^{\mu \alpha \nu \rho } \gamma _{\alpha }k_\nu q_\rho \), one can define the relevant trace:
where
with
Performing the traces (recall that \(\epsilon ^{0123}=1\)), one has for the first trace
where the following notation has been introduced for getting a more compact expression
Moreover, the contributions from the transverse vertexes, i.e. \(T_3\) and \(T_8\), have been properly emphasized.
After introducing
one can obtain:
The remaining traces are given by
Saturating the tensor \(Sp^{\mu \nu }\) with \({{\mathcal {P}}}^{\mu \nu }\) one gets for \(T_P\) (recall that \(g_{\mu \nu }{{\mathcal {P}}}^{\mu \nu }=0\))
with
and (see Eq. (A.19), with \(p\rightarrow k-q\) )
As in the case of the fermion self-energy (see Appendix A), inserting the expressions of \({{\mathcal {F}}}_{A_+}\), \({{\mathcal {F}}}_{A_-}\) and \({{\mathcal {F}}}_B\) in terms of the NWFS (see Eq. (47)) one can write
where the integrals \({{\mathcal {I}}}_i\), are defined as follows
with \(s,s',\omega \ge 0\). Recall that the external momentum \(q^2\) is chosen spacelike, for the sake of simplicity in the formal elaboration.
Notice that \({{\mathcal {I}}}_6\) presents an apparent quadratically divergence, as expected. Therefore, we exploit dimensional regularization, like the integral \(\mathcal{I}_0\) (see Eq. (A.43)), and obtain
that has a logarithmic divergence, harmless once we subtract the corresponding integral evaluated at \(\zeta ^2_p\) (see Eq. (B.67)).
The other integrals are convergent and after applying the Feynman parametrization and the change of variable \(p_0\rightarrow ip_4\), one gets
where
By using Eq. (B.79) and the definition in Eq. (B.67), the photon self-energy reads (see Eq. (38))
where
with \(n=6,7,8,9,10\), and
The explicit expressions of \({{\mathcal {D}}}_6\), \({{\mathcal {D}}}_7\) and \({{\mathcal {D}}}_8\), are
with
with
In view of the application of the uniqueness theorem for extracting \(\rho _\gamma \), it is useful to apply an integration by part while evaluating \( {{\mathcal {D}}}_{9}\) and \( {{\mathcal {D}}}_{10}\). One gets
and
with
Finally, one has
and
Before obtaining the integral equation fulfilled by the NWF \(\rho _\gamma \), it is useful to show that the last two terms in Eq. (B.90) are equal. As a matter of fact, one can recast the following term in a different form by reintroducing the fourth Feynman parameter, i.e.
Then, re-naming the following variables: (i) \(s\rightarrow s'\), (ii) \(v\rightarrow u\) and (iii) \(\xi \rightarrow w\) and (iv) by exploiting the delta function, one has \(u+\xi =1-v-w\) and can write
After introducing the uniqueness theorem in Eq. (B.90), one gets for \(\rho _\gamma \) (see Eq. (38))
with
Appendix C: First iteration
This Appendix is devoted to present a first analytic result obtained by iterating one time the coupled system we have obtained.
The inputs are given by the zeroth-order NWFs \(\rho _A\), \(\rho _B\) and \(\rho _\gamma \) , i.e.
Hence, the KL weights of the fermion and photon propagators (see Eqs. (23), (43) and (66)) read
and the renormalization constants become (see Eq. (12))
By inserting the tree-level expressions, Eq. (C.104), in Eq. (68) one obtains the first iteration for \(\rho _A\), viz
Notice that the two theta functions imply also
The second integral is usefully manipulated as follows
where the two contributions are obtained by exploiting the two sets of inequalities
Both sets are generated by the constraints on the variable \(\xi \) in the first line of (C.109).
Recollecting the above results one obtains the following expression of \(\rho ^{(1)}_A\)
The constraints imposed by the theta function on \(t'\) can be obtained from the solutions of the second-order equation, that read
It is important to notice that both real and complex-conjugated solutions are allowed, due to the presence of IR-regulator \(\zeta ^2_p\) in the discriminant. The complex-conjugated solutions lead to an IR-dependent contribution in \(\rho ^{(1)}_A\) that properly vanishes in the limit \(\zeta _p\rightarrow 0\) matching the constraint expected from the lhs of Eq. (C.111). Notably, this term guarantees the continuity of \(\rho _A\) and therefore of the Källén-Lehman weights, when approaching the physical threshold \(y=m^2(\zeta )\).
The real positive solutions \(t'_\pm \) are obtained when
with also \( y-\zeta ^2_p+m^2(\zeta )\ge 0\). The constraint \(y\ge m^2(\zeta )\) in Eq. (C.111) excludes \(y_-\) and one remains with \( \varTheta \Bigl [y-(m+ \zeta _p)^2\Bigr ]\). In this case, one can easily show that the real solutions fulfill
Therefore
The discriminant is negative, when
and \(t'\) does not have any constraint, i.e. \(t'\in [m^2(\zeta )/y,1]\). Moreover, taking into account \(\varTheta [y-m(\zeta )]\) one remains with \([m(\zeta )+ \zeta _p]^2\ge y\ge m^2(\zeta )\), that generates an IR-dependent term with no impact for \(\zeta ^2_p \rightarrow 0\).
In conclusion, \(\rho ^{(1)}_A\) is given by
where
with \(y>~[m(\zeta )+ \zeta _p]^2\). To complete our analysis, let us consider \(\varTheta \Bigl (y-s_{th}\Bigr )~ \rho ^{(1)}_A(y,\zeta )\) for \(\zeta _p\rightarrow 0\). In particular, one remains with the following limit
since
Therefore one gets
Starting from Eq. (72) and repeating analogous steps one has for \(\rho ^{(1)}_B\)
with \(\xi _\pm \) given in Eq. (C.112) after changing \(t'\rightarrow \xi \). Differently from \(\rho ^{(1)}_A(y,\zeta )\), this time no IR-dependent issue is present. For completeness, the following relevant limits have to considered.
It should be emphasized that the regularized \(\mathcal{B}_Z(\zeta ,\varLambda ;p)\), Eq. (7), obtained from the above \(\rho ^{(1)}_B\) and by taking into account the limits in Eq. (C.121), shows the expected singular behavior in both IR and UV regions.
For \(\rho _\gamma \) in Eq. (77), one gets the following first iteration
with
Let us recall that \(s^p_{th}=4 m^2(\zeta )\). Moreover
and therefore \(Z_3^{(1)}\) is logarithmically divergent, (see Eq. (37)). The first-order photon self-energy, Eq. (38), is given by
Notice that the imaginary part of \(\varPi ^{(1)}_R(\zeta ,q^2)\), when \(q^2> 4m^2(\zeta )\), coincides with the result that can be found in Ref [89].
Appendix D: Formulas Summary
For the sake of a quick focus on the main formal results have been obtained in the paper, in this Appendix we list the initial expressions useful for for a numerical calculations of KL weights in terms of NWFs.
The three NWFs \(\rho _A\), \(\rho _B\) and \(\rho _\gamma \) fulfill the following integral equations
with \(\varDelta '\), \({{\mathcal {C}}}^{(i)}_{AV}\), \({{\mathcal {C}}}^{(i)}_{AS}\) and \({{\mathcal {C}}}_{\gamma }\) from Eqs. (69),(70), (71), (73), (74) and (78), and the following equations that relate the NWFs to the KL weights (see Eq. (23))
where \(\omega \ge s_{th}= (m(\zeta )+\zeta _p)^2\), the notation \(\langle \rho _{A,B} \rangle \) means
and
Moreover, one has (see Eq. (43))
with \(\omega \ge ~ \zeta ^2_p\).
The fundamental renormalization constant \(Z_2=Z_1\) is given by
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP3
About this article
Cite this article
Mezrag, C., Salmè, G. Fermion and photon gap-equations in Minkowski space within the Nakanishi integral representation method. Eur. Phys. J. C 81, 34 (2021). https://doi.org/10.1140/epjc/s10052-020-08806-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-020-08806-x