Abstract
We show that Minkowskian non-local quantum field theories are not unitary. We consider a simple one loop diagram for a scalar non-local field and show that the imaginary part of the corresponding complex amplitude is not given by Cutkosky rules, indeed this diagram violates the unitarity condition. We compare this result with the case of an Euclidean non-local scalar field, that has been shown to satisfy the Cutkosky rules, and we clearly identify the reason of the breaking of unitarity of the Minkowskian theory.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The study of non-local quantum field theory has began a long time ago in the contexts of the Standard Model of particles [1,2,3,4,5,6,7,8,9,10,11,12,13] and stochastic quantization [14, 15]; and it has been revived recently, as it has been realized that non-locality plays an important role at the interplay of quantum field theory and gravitation.
First attempts to achieve a renormalizable theory of gravitation introducing higher derivatives in the Einstein–Hilbert action by Stelle [16, 17], Krasnikov [18, 19], and Kuz’min [20, 21] date back more than thirty years; see also [22,23,24,25,26,27]. However, it was suddenly realized that, in spite of the fact that such models are renormalizable, they contain unavoidable ghosts. Indeed, higher-derivative models were abandoned until it become clear that the occurrence of ghosts could be avoided introducing derivatives of infinite order in a proper manner (or, equivalently, considering non-local interactions) when the quantum theory is defined in Euclidean signature. This has led to the formulation of the so called non-local quantum gravity (NLQG) [28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71].
This theory has nice properties both at classical and quantum level. It can be formulated in such a way that all the classical solutions of general relativity are also solutions of NLQG [28], and they are as stabile in NLQG as in Einstein–Hilbert gravity [29,30,31]. For instance, in NLQG the Minkowski spacetime is stable under any Strongly Asymptotically Flat (SAF) initial data set satisfying a Global Smallness Assumption (GSA) [31]. Of course, NLQG has more solutions than general relativity. In facts, it has been shown that the model has a satisfactory Starobinsky-like inflation [32, 33]. The spectrum of scalar perturbations generated during inflation is the same as in the local \(R^2\) inflation [82], while tensor perturbations are affected by the non-locality [34,35,36]; indeed, NLQG is predictive.
At quantum level, the theory is super-renormalizable or even finite [37,38,39], while it is tree-level indistinguishable from general relativity. Indeed, all the tree-level scattering amplitudes are the same as in the Einstein’s theory [40], and this implies that the macroscopic causality based on the Shapiro’s time delay is satisfied [41]. Furthermore, in [42] it has been pointed out that relevant NLQG models are asymptotically free in the ultraviolet regime, above the non-locality energy scale \(E_{NL}\). This fact has interesting consequences. First, it is impossible to accelerate particles in particle accelerators at energies above \(E_\mathrm{NL}\), so that, provided that \(E_{NL}\le E_P\), where \(E_P\) is the Planck-energy, trans-Planckian energies are unattainable in laboratory experiments. This is due to the fact that, at energies above \(E_{NL}\) all interactions are suppressed and particles decouple from any device that could accelerate them. This fact, in turns, implies that it is impossible to detect causality violations that occur in non-local theories at small time-scales \(\Delta t \sim \ell \sim E^{-1}_{NL}\). In fact, in order to measure such effects, one should be able to test the space-time at scales below \(\ell \), and this requires the use of wave-packets tighter than \(\ell \), corresponding to particles with energy above \(E_{NL}\). Since such energies are unattainable in experiments, causality violations cannot be detected. Finally, the ultraviolet asymptotic freedom solves the cosmological trans-Planckian problem [83,84,85,86,87,88,89,90,91]. In facts, NLQG is Lorentz invariant and it does not contain extra particles. Moreover, all the fields are asymptotically free above \(E_{NL}\), so that quantum gravity corrections are naturally suppressed during all the stages of inflation.
We stress that non-locality is ubiquitous in quantum gravity. In string theory, non-local vertexes of the form \(\exp [\Box \, \ell ^2]\) appears in interactions [92,93,94,95,96,97]. Furthermore, emergent non-locality at the Planck scale comes from non-commutative theories [98, 99], loop quantum gravity [100], asymptotic safety [101], and causal sets [102]. Moreover, the trace anomaly induced by quantum corrections due to conformal fields induces non-local terms in the effective action [103, 104]. Finally, arguments based on black holes production in scattering processes show that one should expect that non-locality must be hidden in any quantum gravity model [105].
As we mentioned above, it has been shown that, introducing non-local interactions, it is possible to construct unitary non-local quantum fields when the theory is defined in Euclidean signature [67,68,69], see also [70] for further discussions. For Euclidean signature we mean that scattering amplitudes are calculated integrating in \(d^4 k_i\) for momenta \(k_i\in \mathbb {I}\times \mathbb {R}^3\), where \(\mathbb {I}\) is the imaginary axis of the \(k^0\) complex plane, assuming that all external energies \(E_i\) are purely imaginary. Then, such complex amplitudes are extended by analytic continuation to real energies \(E_i\), so that this prescription gives physical scattering amplitudes. We remand the reader to [67,68,69] for details, but in Sect. 4 we will give an explicit example calculation of a simple diagram in Euclidean signature for a non-local scalar field.
In this paper we show that, when the theory is defined in Minkowski signature, unitarity is lost. Of course, in Minkowski signature complex amplitudes are calculated integrating in \(d^4 k_i\) for momenta \(k_i\in \mathbb {R}^4\) and assuming that all the external energies \(E_i\) are real. As a paradigmatic example, we consider the simple case of a non-local scalar field theory with a Lagrangian
where \(\exp [H]\) is the non-local form factor, and \(\sigma \in \mathbb {R}\) is a parameter with energy dimensions \([\sigma ] = - 2\) that fixes the non-locality length-scale as \(\ell _\Lambda = \sqrt{\sigma }\). Without loss of generality, we set \(H\left[ 0\right] =0\), corresponding to a rescaling of the coupling constant \(\lambda \rightarrow \exp \left( H\left[ 0\right] \right) \).
In Sect. 3 we will calculate the scattering amplitude corresponding to the simple one-loop diagram in Fig. 1, showing that its imaginary part of is not given by the Cutkosky rules. Since such rules are essential for the unitarity, we conclude that the theory in the Minkowskian space is not unitary. For completeness, in Sect. 4 we will calculate the same amplitude when the theory is defined in Euclidean signature, showing that in this case Cutkosky rules give the correct result, indeed the theory is unitary (we remand the reader to [67,68,69] for a complete discussion of the Euclidean case). Finally, we conclude in Sect. 5. Before entering the details of the calculations, in Sect. 2 we will review briefly the unitarity conditions for scattering amplitudes and their relation with Cutkosky rules.
2 Unitarity condition and Cutkosky rules
We remind that the unitarity condition \(S^\dagger S =1\) for the scattering matrix \(S\equiv 1 + i T\) is usually expressed in terms of the T matrix as \(T - T^\dagger = i \, T^\dagger T\) [106, 107]. Taking the expectation value of this relation between an initial incoming state \(| a \rangle \) and a final outgoing state \( \langle b |\) for a given process \(a \rightarrow b\), one has
Recasting the matrix elements of T in terms of those of the invariant scattering amplitude \(\mathcal {M}\) as
\(T_{ab} = (2 \pi )^4 \, \mathcal {M}_{ab} \, \delta ^{(4)}(\sum _i p_i - \sum _f p_f)\), where \(p_i\) and \(p_f\) are the initial an final external momenta, the unitarity condition can be expressed as
where \(\mathcal {M}_{ba} = \langle b | \mathcal {M} | a \rangle \) is the sum of all the connected amputated diagrams for the process \(a \rightarrow b\) ( see [106, 107] for a review), and \(\textit{Im}\left\{ \mathcal {M}_{ba}\right\} \) is its immaginary part. Note that we have neglected a global \(\delta ^{(4)}(\sum _i p_i - \sum _f p_f )\) multiplying both sides of Eq. (3). The sum in c is made on all possible physically admissible intermediate states, i.e., on those states that give nonzero amplitudes \(\mathcal {M}_{bc} = \langle b | \mathcal {M} | c \rangle \) and \(\mathcal {M}_{ac} = \langle a |\mathcal {M} | c \rangle \). Of course, such sum becomes an integral when intermediate states c form a continuum set.
The interpretation of (3) is that when the energy of the initial state a reaches the threshold of production of intermediate real states c, the imaginary part of amplitude \(\mathcal {M}_{ba}\) has a discontinuity corresponding to a branch-cut singularity. In the case of local quantum fields, the singularities of the amplitude are given by the Landau equations [108], which are obtained imposing that two or more propagators in the scattering amplitude go on-shell simultaneously; see [107] for a review of the Landau equations. In [67,68,69] it has been shown that in non-local theories the scattering amplitudes have the same singularities of the corresponding local theories. This is due to the fact that the propagators have the same poles as in the local case. Therefore, the non-locality does not change the singularity structure of the amplitudes.
A crucial step to prove unitarity is to establish the validity of Cutkosky rules [109], that state that the l. h. s. of (3) is obtained replacing each on-shell propagator in the integral expression of the complex amplitude \(\mathcal {M}_{ba}\) with a delta-function, according to the following prescription:
The expression obtained in this way is usually referred as a cut diagram, since it is graphically represented by the same diagram as \(\mathcal {M}\) in which the lines corresponding to the on shell propagators are cut (see [106,107,108,109] for review).
Unitarity can be proved showing that Cutkosky rules apply to all normal thresholds, that are those singularities such that, cutting the diagram along on-shell propagators, the diagram is divided in two parts. Moreover, one has to show that only singularities corresponding to normal thresholds contribute to the imaginary part of \(\mathcal {M}\). This is necessary, as some Landau poles are such that, cutting the on shell propagators, the diagram is not divided in two, and the imaginary part of the amplitude cannot be recast as in (3). Such Landau poles are usually referred as anomalous thresholds.
In the case of non-local field theories defined in Euclidean signature, it has been proved [67,68,69] that Cutkosky rules give the correct prescription for the imaginary part of complex amplitudes in correspondence of normal thresholds, while anomalous thresholds do not contribute to (3). However, it remained an open issue to state whether the theories defined in the Minkowskian space are unitary as well. Note that, since the theory is non-local, integrals performed in Euclidean and Minkowskian domains are not the same, since they are not simply related by a Wick rotation, see [67,68,69,70]. This is due to the fact that non-locality introduces a form factor in the complex amplitudes that has an essential singularity at infinity in the \(k^0_i\) plane, indeed integrals on the infinite arcs cannot be neglected.Footnote 1
In the next section, analysing a simple one loop diagram, we will show that Cutkosky rules are violated when the theory is defined in Minkowski signature.
3 One-loop diagram in the Minkowskian non-local theory
In order to prove the loss of unitarity in the non-local Minkowskian theory, in this section we consider diagram in Fig. 1 and show that the Cutkosky rules do not give the correct prescription for the imaginary part of the corresponding complex amplitude. In Minkowski signature, this is given by
where \(p = p_1+p_2=p_3+p_4\), and \(p_1, p_2, p_3,p_4\) are the external momenta.
The convergence of the integral (5) requires that H must be a function of \(\sigma ^2 \left( k^2-m^2\right) ^2\), corresponding to the replacement \(H[-\sigma (\Box +m^2)]\rightarrow H[\sigma ^2 (\Box +m^2)^2]\) in (1). H[z] is such that \(z^\gamma \exp \left( -H\left[ z\right] \right) \rightarrow 0\) when \(z\rightarrow + \infty \), for some \(\gamma > 0\)Footnote 2. In analogy with the Euclidean case [67,68,69], we assume that \(\exp \left( H[z]\right) \) is an entire function (analytic with no poles except for \(|z|=\infty \)) without zeros at finite z. Also, thanks to Lorentz invariance, we can set \(\mathbf {p}=0\) in (5) without loss of generality.
Since the form factor \(\exp \left( H\left[ z\right] \right) \) has no zeros in the finite complex z plane, the poles of the integrand in (5) are only those of the two propagators. Therefore, the singularities of the amplitude (5) are given by the same Landau poles as in the local theory, corresponding to the case in which the two propagators are on-shell simultaneously or, equivalently, two of the poles of the propagators merge for some value of the momentum \(\mathbf {k}\). Thus, the amplitude (5) has the same singularity structure of the local theory. For the Euclidean theory, this is sufficient to ensure the unitarity, while we will se that this is not the case for the Minkowskian theory.
The poles of the first propagator are
and they do not depend on the external energy \(p^0\). The poles of the second propagator are
It is easy to see that, in the limit \(\epsilon \rightarrow 0\), the poles \(\bar{k}^0_{1}\) and \(\bar{k}^0_{4}\) merge for \(|\mathbf {k}|=\sqrt{(p^0/2)^2-m^2}\), provided tat \(p^0 \ge 2m\), pinching the integration contour in te \(k^0\) variable, that is the real axis of the complex \(k^0\) plane. In analogy with the case of a local scalar theory, this implies that the amplitude has a branch-cut singularity at \(p^0 = 2m\).
When \(\epsilon \rightarrow 0\), the poles \(\bar{k}^0_1, \bar{k}^0_2,\bar{k}^0_3,\bar{k}^0_4\) become real, and the integral in the \(k^0\) variable in (5) is performed on the path \(\mathcal {C}\) obtained deforming the real axis around such poles, as depicted in in Fig. 2. Therefore, the integral in \(k^0\) is splitted into two contributions: one given by the principal part, the other given by the infinitesimal arcs. Each arc gives a term \(\pm \pi i\) times the residue at the corresponding pole, so that
where
Note that for \(k^0 = \bar{k}^0_2= - \omega \) one has \(\left( k-p\right) ^2-m^2 \ne 0\) for any \(\mathbf {k}\in \mathbb {R}^3\). In facts, the pole \(\bar{k}^0_2\) is always far from \(\bar{k}^0_3\) and \(\bar{k}^0_4\). That implies that \(Res[\bar{k}^0_2]\) has no poles in the integration volume for \(\epsilon \rightarrow 0\). In the same way, for \(k^0 = \bar{k}^0_3= p^0+ \omega \) one has \(k^2-m^2 \ne 0\), and \(Res[\bar{k}^0_3]\) has no poles for \(\mathbf {k}\in \mathbb {R}^3\) for \(\epsilon \rightarrow 0\).
On the contrary, since \(\bar{k}^0_1\) and \(\bar{k}^0_4\) coincide in the limit \(i\epsilon \rightarrow 0\) for \(|\mathbf {k}|= \sqrt{\left( p^0/2\right) -m^2}\equiv k_p\) when \(p^0 \ge 2 m\), \(Res[\bar{k}^0_1]\) and \(Res[\bar{k}^0_4]\) are singular on the 3-sphere \(|\mathbf {k}|=k_p\). For such terms we use the formula
where \(\mathcal {P} f(x)\) is the principal part, and this means that \(\int \mathcal {P}f(x) \, dx \equiv \mathcal {P}\int f(x) \, dx\). Using (9) and the properties of \(\delta \) functions we obtain
The first term in (10) is real, while the last two terms contribute only to the imaginary part of the amplitude. Note that, in the case of the amplitude (5) the Cutkosky rules would give, through the prescription (4),
A simple comparison between (10) and (11) shows that Cutkosky rules would be valid if and only if the integral in the second line of (10) is identically zero for any \(\sigma \), p and m. As we will show below, this is not the case, indeed the Cutkosky rules are no longer valid and the theory is not unitary.
Let us recast such integral by means of the translation \(k\rightarrow k-p/2\), so that it will be given by the function \(I(\sigma ,(p^0)^2,m^2)\) defined as
and the condition for the validity of Cutkosky rules reads \(I(\sigma ,(p^0)^2,m^2)\equiv 0\) for any \(\sigma \), \(p^0\) and \(m^2\). Note that the integrand in (12) is even in p, so that I must be a function of the scalar \(p^2 =(p^0)^2\), as it must in virtue of the Lorentz invariance. Furthermore, \(I(\sigma ,(p^0)^2,m^2)\) is also even in \(\sigma \). We stress that the integrand in (12) is also even in \(k^0\), but this fact does not determine any specific property of \(I(\sigma ,(p^0)^2,m^2)\).
Let us derive some general features of this integral. First, note that for a local theory, corresponding to \(\sigma = 0\), this integral is zero. In facts, in this case, the exponential functions in (12) are one, and the integrand reduces to the product of the two propagators. By means of elementary partial fraction decomposition, such a product can be recast as
where \(\omega =\omega (\mathbf {k},\epsilon =0)\equiv \omega (\mathbf {k})\), indeed, the integration in the \(k^0\) variable in (12) reduces to a sum of integrals of the type
that are all null, because the principal part is taken integrating in an interval symmetric with respect to the pole. Indeed, in the local case, \(I(\sigma =0,p^0,m^2)=0\) by symmetry. This implies that the second term in (10) is zero for \(\sigma =0\), and the imaginary part of the amplitude coincides with the last term, so that Cutkosky rules are valid and the local theory is unitary.
In conclusion, the local limit implies that \(I(\sigma , (p^0)^2,m^2)\) must be such that
Moreover, by means of the change of variables \(k\rightarrow k/\sqrt{|\sigma |}\) in the defining expression (12) it is easy to show that
so that I depends on \(\sigma \) through the variables \(|\sigma | \left( p^0\right) ^2\) and \(|\sigma | m^2\).Footnote 3 From (16) we already see that I is not analytic in \(\sigma =0\), since it depends on \(|\sigma |\), which is not an analytic function of \(\sigma \). Form (12) it is also easy to see that
so that, using (15) one has
which means that
These relations implies that I must have the form
In the Appendix A we will give an example of an integral function with properties similar to those of \(I(\sigma , (p^0)^2,m^2)\) that can be calculated explicitly.
Regardless the details of the functions \(f(|\sigma | (p^0)^2) \) and \(\psi (|\sigma | (p^0)^2),|\sigma |m^2)\), we can prove that \(I(\sigma ,(p^0)^2,m^2)\not \equiv 0\). Let us express I as a function of \(\alpha = \sigma ^2 \in \mathbb {R}^+_0\), so that
Since \(H[0]=0\) (see the discussion below (1)), it must be \(H[z]= z \left( \sum _{n=0}^{\infty }c_n z^n\right) \), which gives \(H^\prime [0]= c_0 \equiv H^\prime _0\). In order to show that \(\tilde{I}(\alpha ,(p^0)^2,m^2)\not \equiv 0\) it is sufficient to show that its first derivative is not identically zero. One has
so that
as the last integral is infinite, since its integrand goes to 1 when \(k^2 \rightarrow \pm \infty \).
Indeed, (23) implies that \(I(\sigma ,(p^0)^2,m^2)=\tilde{I}(\alpha ,(p^0)^2,m^2)\not \equiv 0\), therefore the second term in (10) is not identically zero, and the imaginary part of the complex amplitude (5) is not given by the Cutkosky rules as in (11). This concludes our proof of the unitarity breaking of the Minkowskian non-local field theory.
We just mention that this proof generalizes straightforwardly to the case \(H[z]= z^m \left( \sum _{n=0}^{\infty }c_n z^n\right) \), as one can define \(\alpha = \sigma ^{2m}\) and proceed in the same way to show that \(|\partial _\alpha I((\alpha )^{1/2m},(p^0)^2,m^2)|\rightarrow + \infty \) for \(\alpha \rightarrow 0^+\). Indeed, unless \(H\equiv 0\), that corresponds to the local theory, \(I(\sigma ,(p^0)^2,m^2)\) cannot be identically zero.
4 One-loop diagram in the Euclidean non-local theory
In order to clarify the differences between the Minkowskian and Euclidean theories, in this section we consider the same diagram in Fig. 1 in the Euclidean case, and show that the Cutkosky rules give the right result (11) for the imaginary part of the complex amplitude. However, we remand the reader to the references [67,68,69] for more details.
The amputated amplitude for the one-loop diagram in Fig. 1 in the Euclidean theory is
where \(p = p_1+p_2=p_3+p_4\), and \(p_1, p_2, p_3,p_4\) are the external momenta. The external energy \(p^0\) in (24) is assumed to be purely imaginary, and the \(k^0\) integration is performed along the imaginary axis \(\mathcal {I}\) of the complex \(k^0\) plane for \(k^0\) going from \(- i \infty \) to \(+ i \infty \). The physical amplitude is then obtained by analytic continuation of (24) to real energies \(p^0 \in \mathbb {R}^+_0\).
When the theory is defined in Euclidean signature, unitarity is ensured assuming that \(\exp \left( H[z]\right) \) is an entire function (analytic with no poles except for \(|z|=\infty \)) without zeros at finite z [67,68,69]. Moreover, to enforce the convergence of scattering amplitudes and achieve the renormalizability of NLQG, it is assumed that \(z^\gamma \exp \left( -H\left[ z\right] \right) \rightarrow 0\) when \(z\rightarrow - \infty \) for some \(\gamma >0\). Again, we assume that \(H\left[ 0\right] =0\) and we set \(\mathbf {p}=0\) without loss of generality.
Before explaining how this analytic continuation is obtained, let us clarify some detail. In the Euclidean case, the convergence of the integral requires that H[z] must be a function of \(\sigma \left( k^2-m^2\right) \) such that \(H[z]\rightarrow +\infty \) for \(z\rightarrow -\infty \), so that the exponential form factor goes to zero for \(k \rightarrow \infty \) in any direction of \(\mathbb {I}\times \mathbb {R}^3\). For instance, in the Euclidean theory both the functions \(H= - \sigma \left( k^2-m^2\right) \) and \(H=\left( \sigma \left( k^2-m^2\right) \right) ^2\) are admissible, while the first would give a divergent amplitude in the Minkowskian theory. However, even though the second form factor is admitted in both the Euclidean and Minkowskian theories, the latter is not unitary, as we have shown in Sect. 3. It is worth to stress that the integrals in the Euclidean and Minkowskian theories are not connected by a Wick rotation, since the exponential form factors in (5) and (24) have an essential singularity at infinity in the complex \(k^0\) plane, indeed the integration on the infinite arcs, that would connect the integration paths in the two theories (the imaginary and real axis in the Euclidean and Minkowskian cases respectively), are not zero.
Again, a key feature to ensure the unitarity of the Euclidean theory is that the form factor \(\exp \left( H\left[ z\right] \right) \) has no poles in the finite complex z plane. Indeed, the poles of the integrand in (24) are only those of the two propagators given in (6, 7), which are the same of both the local and the Minkowskian non-local theories, so the singularity structure of the amplitudes is the same in all such theories.
Let us now describe how to obtain the analytic continuation of (24) to real external energies. When \(p^0\) is purely imaginary, the two poles \(\bar{k}^0_{2}\) and \(\bar{k}^0_{4}\) are at the left of \(\mathcal {I}\), while \(\bar{k}^0_{1}\) and \(\bar{k}^0_{3}\) are at the right of \(\mathcal {I}\), see Fig. 3 (left). When \(p^0\) is moved to real and positive values, the two poles \(\bar{k}^0_{3}\) and \(\bar{k}^0_{4}\) move to the right, and \(\bar{k}^0_{4}\) passes through the imaginary axis for values of the loop momenta \(\mathbf {k}\) such that \(|\mathbf {k}|^2< \mathfrak {R}\{p^0\}^2-m^2\) for \(\mathfrak {R}\left\{ p^0\right\} > m\), see Fig. 3 (right). Indeed, the analytic continuation of (24) to real \(p^0\) is obtained deforming the integration contourn \(\mathcal {I}\) around the pole \(\bar{k}^0_{4}\), obtaining the contour \(\mathcal {C}\), so that
for \(p^0 \in \mathbb {R}^+_0\). Finally, using the residue theorem and sending \(\epsilon \rightarrow 0\) one has
where \(Res[\bar{k}^0_4] \) is given by the last of (26) with the replacement \(H[\sigma ^2\left( k^2-m^2\right) ^2]\rightarrow H[\sigma \left( k^2-m^2\right) ]\). Using (9) and the properties of the \(\delta \) function, one finally has
Since the first two terms in (27) are real, only the last term contributes to the imaginary part of the amplitude, so that the Cutcosky rule will give the correct result (11) for \(\textit{Im}\left\{ \mathcal {M}\right\} \), according to the fact that the Euclidean theory is unitary [67,68,69].
Comparing (27) with (10) we note that the key difference between the Minkowskian and the Euclidean cases is that the second term in (10) and (27) is respectively purely imaginary and real, so in the first case it gives an extra contribution to the imaginary part of \(\mathcal {M}\) that brakes the Cutkosky rules and spoils the unitarity of the theory.
5 Conclusions
Considering the case of the simple one-loop diagram in Fig. 1, in this paper we have shown that, when the field theory (1) is defined in Minkowskian signature, the imaginary part of the complex amplitudes is no longer given by the Cutkosky cutting rules, but it contain extra terms as in the second line of (10). Since Cutkosky rules are at the basis of the unitarity of a quantum field theory, we conclude that the Minkowskian field theories are not unitary.
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: This manuscript does not make reference to data because it concerns some theoretical/mathematical aspects of non-local quantum field theories.]
Notes
See also the discussion in section 2 of [70].
A simple power counting shows that, under these hypothesis, the non-local propagator converge to zero faster than \(k^{-(4\gamma +2)}\) (in this case \(z\sim (\Box +m^2)^2 \sim k^4\)), and the superficial degree of divergence \(\delta \) for an interaction term \((e^{ - \frac{1}{2} H[- \sigma \Box ] } \varphi )^n\) is such that \(\delta < d +V[-d+n (d-4\gamma -2)/2)]-[(d-4\gamma -2)/2]N\), for a diagram with V vertices and N external lines in d dimensions. In the case of the Lagrangian (1) one has \(n=d=4\) and \(\delta < 4-N-4\gamma I\), where \(I= (nV-N)/2\) is the number of internal lines of the diagram. Therefore, the diagram corresponding to \(N=4\) external lines is convergent, while the amplitude with \(N=2\) is convergent for \(\gamma >1/6\).
This is a consequence of the fact that I is dimensionless.
References
G.V. Efimov, Sov. J. Nucl. Phys. 4, 2 (1967)
G.V. Efimov, Commun. Math. Phys. 5, 42–56 (1967)
G.V. Efimov, On a class of relativistic invariant distributions. Commun. Math. Phys. 7, 138–151 (1968)
G.V. Efimov, Ann. Phys. 71, 466–485 (1972)
V.A. Alebastrov, G.V. Efimov, Commun. Math. Phys. 31, 1–24 (1973)
V.A. Alebastrov, G.V. Efimov, Commun. Math. Phys. 38, 11–28 (1974)
G.V. Efimov, Int. J. Theor. Phys. 10(1), 19–37 (1974)
G.V. Efimov, K. Namsrai, translated from Teoreticheskaya i Matematicheskaya Fizika, voL 22(2), pp. i86–202 (1975)
G.V. Efimov, M.A. Ivanov, O.A. Mogilevsky, Ann. Phys. 103, 169–l84 (1977)
G.V. Efimov, G. Ganbold, Int. J. Mod. Phys. A 5(3), 531–541 (1990)
G.V. Efimov, Theor. Math. Phys. 128(3), 1169–1175 (2001)
D.A. Kirzhnits, Usp. Fiz. Nauk 90, 129–142 (1966)
D.A. Kirzhnits, Sov. Phys. Usp. 9, 692–700 (1967)
K. Namsrai, Nonlocal QFT and stochastic quantum mechanics, Alwyn Van Der Merwe Editor, University of Denver, U.S.A, D. Reidel (Publishing Company, 1986). ISBN-13: 978-94-010-8513-7. https://doi.org/10.1007/978-94-009-4518-0
L. de la Peña, A.M. Cetto, A. Valdés Hernández, The Emerging Quantum The Physics Behind Quantum Mechanics (Springer International Publishing, Geneva, 2015)
K.S. Stelle, Phys. Rev. D 16, 953 (1977)
K.S. Stelle, Gen. Relativ. Gravit. 9, 353 (1978)
N.V. Krasnikov, Theor. Math. Phys. 73, 1184 (1987)
N.V. Krasnikov, Teor. Mat. Fiz. 73, 235 (1987)
Y.V. Kuz’min, Sov. J. Nucl. Phys. 50, 1011 (1989)
Y.V. Kuz’min, Yad. Fiz. 50, 1630 (1989)
E.S. Fradkin, A.A. Tseytlin, Phys. Lett. B 104(5), 377–381 (1981)
E.S. Fradkin, A.A. Tseytlin, Nucl. Phys. B 201(3), 469–491 (1982)
E.S. Fradkin, A.A. Tseytlin, Proc. IInd Sem. Quantum Gravity, Moscow 1981, (Moscow: Inst. Nuclear Research, 1983), p. 18–27
E.S. Fradkin, A.A. Tseytlin, Phys. Lett. B 110(2), 117–122 (1982)
I.G. Avramidi, A.O. Barvinsky, Phys. Lett. B 159, 269 (1985)
I.G. Avramidi, Sov. J. Nucl. Phys. 44, 255 (1986). (In Russian)
Y.D. Li, L. Modesto, L. Rachwa, JHEP 1512, 173 (2015). arXiv:1506.08619 [hep-th]
A.S. Koshelev, K.S. Kumar, L. Modesto, L. Rachwal, Phys. Rev. D 98(4), 046007 (2018). arXiv:1710.07759 [hep-th]
F. Briscese, G. Calcagni, L. Modesto, Phys. Rev. D 99(8), 084041 (2019). arXiv:1901.03267 [gr-qc]
F. Briscese, L. Modesto, JCAP 1907, 009 (2019). arXiv:1811.05117 [gr-qc]
F. Briscese, L. Modesto, S. Tsujikawa, Phys. Rev. D 89(2), 024029 (2014). arXiv:1308.1413 [hep-th]
F. Briscese, A. Marcianó, L. Modesto, E.N. Saridakis, Phys. Rev. D 87(8), 083507 (2013). arXiv:1212.3611 [hep-th]
A.S. Koshelev, L. Modesto, L. Rachwal, A.A. Starobinsky, JHEP 1611, 067 (2016)
A.S. Koshelev, K.S. Kumar, A. Mazumdar, A.A. Starobinsky, JHEP 06, 152 (2020)
A.S. Koshelev, K.S. Kumar, A.A. Starobinsky, e-Print: arXiv:2005.09550 [hep-th]
L. Modesto, Phys. Rev. D 86, 044005 (2012). arXiv:1107.2403 [hep-th]
L. Modesto, L. Rachwal, Nucl. Phys. B 889, 228 (2014). arXiv:1407.8036 [hep-th]
L. Modesto, L. Rachwal, Int. J. Mod. Phys. D 26(11), 1730020 (2017)
P. Doná, S. Giaccari, L. Modesto, L. Rachwal, Y. Zhu, JHEP 1508, 038 (2015). arXiv:1506.04589 [hep-th]
S. Giaccari, L. Modesto, arXiv:1803.08748 [hep-th]
F. Brisces, L. Modesto, JHEP 2009, 056 (2020). arXiv:1912.01878 [hep-th]
F. Briscese, M.L. Pucheu, Int. J. Geom. Methods Mod. Phys. 14(02), 1750019 (2016). arXiv:1511.03578 [gr-qc]
F. Briscese, E.R. Bezerra de Mello, A.Y. Petrov, V.B. Bezerra, Phys. Rev. D 92(10), 104026 (2015). arXiv:1508.02001 [gr-qc]
L. Buoninfante, G. Lambiase, Y. Miyashita, W. Takebe, M. Yamaguchi, Phys. Rev. D 101(8), 084019 (2020). arXiv:2001.07830 [hep-th]
L. Buoninfante, G. Lambiase, A. Mazumdar, Nucl. Phys. B 944, 114646 (2019). arXiv:1805.03559 [hep-th]
I. Jack, arXiv:2002.12661 [hep-th]
N. Burzillá, B. L. Giacchini, T. de Paula Netto, L. Modesto, arXiv:2012.11829 [gr-qc]
J. Boos, arXiv:2009.10856 [gr-qc]
J. Boos, Int. J. Mod. Phys. D 29(14), 2043027 (2020). arXiv:2003.13847 [gr-qc]
A. Mazumdar, G. Stettinger, Nucl. Phys. B 956, 115024 (2020). arXiv:1811.00885 [hep-th]
U. Kumar, S. Panda, A. Patel, Eur. Phys. J. C 80(7), 614 (2020). arXiv:1906.11714 [gr-qc]
P.M. Lavrov, I.L. Shapiro, Phys. Rev. D 100(2), 026018 (2019). arXiv:1902.04687 [hep-th]
M. Frasca, A. Ghoshal, arXiv:2011.10586 [hep-th]
G. Calcagni, arXiv:2102.03363 [hep-th]
J. Boos, V.P. Frolov, A. Zelnikov, Phys. Lett. B 782, 688 (2018). arXiv:1805.01875 [hep-th]
J. Boos, V.P. Frolov, A. Zelnikov, Phys. Rev. D 99(7), 076014 (2019). arXiv:1901.07096 [hep-th]
J. Boos, V.P. Frolov, A. Zelnikov, Phys. Lett. B 793, 290 (2019). https://doi.org/10.1016/j.physletb.2019.04.059. arXiv:1904.07917 [hep-th]
M. Asorey, J.L. Lopez, I.L. Shapiro, Int. J. Mod. Phys. A 12, 5711 (1997). arXiv:hep-th/9610006
L. Modesto, L. Rachwal, I.L. Shapiro, Eur. Phys. J. C 78(7), 555 (2018). arXiv:1704.03988 [hep-th]
M.B. Einhorn, D.R.T. Jones, Phys. Rev. D 96, 124025 (2017). arXiv:1710.03795 [hep-th]
L. Modesto, L. Rachwal, Nucl. Phys. B 900, 147 (2015). arXiv:1503.00261 [hep-th]
L. Modesto, M. Piva, L. Rachwal, Phys. Rev. D 94(2), 025021 (2016). arXiv:1506.06227 [hep-th]
S. Giaccari, L. Modesto, Phys. Rev. D 96(6), 066021 (2017). arXiv:1605.03906 [hep-th]
G. Calcagni, L. Modesto, Phys. Rev. D 91(12), 124059 (2015). arXiv:1404.2137 [hep-th]
C.D. Carone, Phys. Rev. D 95, 045009 (2017)
F. Briscese, L. Modesto, Phys. Rev. D 99(10), 104043 (2019)
R. Pius, A. Sen, JHEP 1811, 094 (2018)
R. Pius, A. Sen, JHEP 1610, 024 (2016)
P. Chin, E.T. Tomboulis, JHEP 1806, 014 (2018)
B.P. Kosyakov, Phys. Rept. 812, 1–55 (2019). https://doi.org/10.1016/j.physrep.2019.03.002
A.S. Koshelev, A. Tokareva, Phys. Rev. D 104, 025016 (2021)
A. Accioly, A. Azeredo, H. Mukai, J. Math. Phys. 43, 473 (2002)
L. Modesto, I.L. Shapiro, Phys. Lett. B 755, 279 (2016). arXiv:1512.07600 [hep-th]
L. Modesto, Nucl. Phys. B 909, 584 (2016). arXiv:1602.02421 [hep-th]
L. Modesto, I.L. Shapiro, Phys. Lett. B 755, 279–284 (2016). arXiv:1512.07600 [hep-th]
L. Modesto, Nucl. Phys. B 909, 584–606 (2016)
D. Anselmi, M. Piva, Phys. Rev. D 96(4), 045009 (2017)
D. Anselmi, M. Piva, JHEP. 1811, 021 (2018)
D. Anselmi, JHEP 1802, 141 (2018)
D. Anselmi, M. Piva, Class. Quantum Gravity 36, 065010 (2019)
P.D. Mannheim, arXiv:2004.00376 [hep-th]
A.A. Starobinsky, Phys. Lett. B 91, 99–102 (1980)
R.H. Brandenberger, J. Martin, Mod. Phys. Lett. A 16, 999 (2001). arXiv:astro-ph/0005432
J. Martin, R.H. Brandenberger, Phys. Rev. D 63, 123501 (2001). arXiv:hep-th/0005209
A.A. Starobinsky, Pisma. Zh. Eksp. Teor. Fiz. 73, 415 (2001)
A.A. Starobinsky, JETP Lett. 73, 371 (2001). arXiv:astro-ph/0104043
R. Easther, B.R. Greene, W.H. Kinney, G. Shiu, Ation as a probe of short distance physics. Phys. Rev. D 64, 103502 (2001). arXiv:hep-th/0104102
A. Kempf, J.C. Niemeyer, Phys. Rev. D 64, 103501 (2001). arXiv:astro-ph/0103225
V. Bozza, M. Giovannini, G. Veneziano, JCAP 0305, 001 (2003). arXiv:hep-th/0302184
J.C. Niemeyer, Phys. Rev. D 63, 123502 (2001). arXiv:astro-ph/0005533
R. Easther, B.R. Greene, W.H. Kinney, G. Shiu, Phys. Rev. D 64, 103502 (2001). arXiv:hep-th/0104102
E. Witten, Nucl. Phys. B 268, 253–294 (1986)
E. Witten, Nucl. Phys. B 276, 291 (1986)
B. Zwiebach, Phys. Lett. B 156, 315–317 (1985)
I.Y. Aref’eva, A.S. Koshelev, S.Y. Vernov, Theor. Math. Phys. 148, 895–909 (2006). arXiv:astro-ph/0412619
G. Calcagni, JHEP 05, 012 (2006). arXiv:hep-th/0512259
G. Calcagni, M. Montobbio, G. Nardelli, Phys. Rev. D 76, 126001 (2007). arXiv:0705.3043 [hep-th]
G. Amelino-Camelia, Living Rev. Relativ. 16, 5 (2013). arXiv:0806.0339 [gr-qc]
D. Mattingly, Living Rev. Relativ. 8, 5 (2005). arXiv:gr-qc/0502097
C. Rovelli, Living Rev. Relativ. 11, 5 (2008)
A. Eichhorn, Front. Astron. Space Sci. 5, 47 (2019). arXiv:1810.07615 [hep-th]
S. Surya, Living Rev. Relativ. 22, 5 (2019). arXiv:1903.11544 [gr-qc]
A.O. Barvinsky, Scholarpedia 10(6), 31644 (2015). (Revision 186569)
P.D.M. Teixeira, I.L. Shapiro, T.G. Ribeiro, arXiv:2003.04503 [hep-th]
A. Addazi, Mod. Phys. Lett. A 35(35), 2050288 (2020). arXiv:2005.01961 [hep-th]
M.E. Peskin, D.V. Schroeder, An Introduction To Quantum Field Theory Avalon Publishing (1995)
C. Itzykson, J.B. Zuber, Quantum Field Theory, Dover publications Inc. 2006, ISBN-10: 0486445682. ISBN-13: 978–0486445687
L.D. Landau, Nucl. Phys. 13, 181 (1959)
Author information
Authors and Affiliations
Corresponding author
Appendix
Appendix
As an example of what we stated in Sect. 3 about
\(I(\sigma ,(p^0)^2,m^2)\), we consider the following one-dimensional model integral, that has the same symmetries of (12):
for \(\sigma \in \mathbb {R}\), where S(p) is the sign of p, so that one has the symmetries \(A(\sigma ,p) = A(\sigma ,-p)=A(-\sigma ,p)\). Such symmetries, together with the fact that \(A(\sigma =0,p) = 0\) and that \(A(\sigma ,p)\) is dimensionless, implies that it must be \(A(\sigma ,p) \propto |\sigma p|^\gamma \) with \(\gamma >0\). An explicit calculation gives
In analogy to (21), if we define \(\alpha = \sigma ^2 \in \mathbb {R}^+_0\), so that
we get
that is the analogue of (23).
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
Briscese, F., Modesto, L. Non-unitarity of Minkowskian non-local quantum field theories. Eur. Phys. J. C 81, 730 (2021). https://doi.org/10.1140/epjc/s10052-021-09525-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-021-09525-7