Purely Virtual Particles in Quantum Gravity, Inflationary Cosmology and Collider Physics

We review the concept of purely virtual particle and its uses in quantum gravity, primordial cosmology and collider physics. The fake particle, or"fakeon", which mediates interactions without appearing among the incoming and outgoing states, can be introduced by means of a new diagrammatics. The renormalization coincides with the one of the parent Euclidean diagrammatics, while unitarity follows from spectral optical identities, which can be derived by means of algebraic operations. The classical limit of a theory of physical particles and fakeons is described by an ordinary Lagrangian plus Hermitian, micro acausal and micro nonlocal self-interactions. Quantum gravity propagates the graviton, a massive scalar field (the inflaton) and a massive spin-2 fakeon, and leads to a constrained primordial cosmology, which predicts the tensor-to-scalar ratio $r$ in the window $0.4\lesssim 1000r\lesssim 3.5$. The interpretation of inflation as a cosmic RG flow allows us to calculate the perturbation spectra to high orders in the presence of the Weyl squared term. In models of new physics beyond the standard model, fakeons evade various phenomenological bounds, because they are less constrained than normal particles. The resummation of self-energies reveals that it is impossible to get too close to the fakeon peak. The related peak uncertainty, equal to the fakeon width divided by 2, is expected to be observable.


Introduction
Nature "is written in that great book which ever is before our eyes -I mean the universe -but we cannot understand it if we do not first learn the language and grasp the symbols in which it is written. The book is written in mathematical language, and the symbols are triangles, circles and other geometrical figures..." Since Galileo's time, the language of the book of nature has evolved considerably. For some time, the power of infinitesimal calculus gave us the illusion of the continuum and determinism. Then, unexpectedly, quantum mechanics turned everything upside down, by injecting uncertainty into the laws of physics. Mathematics successfully made room for the new concepts, but several problems remained unresolved, or so it appeared to us. With the advent of quantum field theory (renormalization, the challenges of perturbation theory and the impossibility to move beyond the perturbative expansion in a systematic way), the mathematization of physical phenomena became more challenging.
As far as we know today, the language spoken by the elementary particles is diagrammatic. And consequently, perturbative. Beyond that we have hints, but no satisfactory formal setup. A nonperturbative language might even not exist.
Strictly speaking, there is no reason why nature should be mathematizable by one of the living species it generates around the universe. In the end, we are just clumps of atoms and logic is a net of brain connections among memorized, mainly acoustic perceptions, which are our words (hence the word, verb, or logos), shaped by experience through repetition, custom and mental habit (à la Hume), rather than having an existence per se, although the idea of logic existing "before nature" is one of those which hardly die and periodically come back under different spells. Actually, our size and the relative scales involved in the phenomena of the universe suggest that the logicization of nature is most likely impossible beyond certain limits. The question is whether we reached ours or there is still room for improvement.
The challenge of quantum gravity inspired many to call everything into question again (this time, for free) and suggest thoroughly new approaches "beyond" quantum field theory, despite the lack of data pointing to such a turmoil. Probably, the underlying assumption was, again, that logic is not just a tool, a language, but pre-exists nature (in principio erat verbum), so we should be able to grasp the theory (of something, or even everything) without or with very little experimental data, by overthinking (banking on a special connection with divinities?) or following personal or social tastes ("string theory is so beautiful that it can only be true").
"It's the diagrammatics, stupid": what if, instead, quantum gravity were just a step away from the standard model? Just a fairly guessable missing piece of the puzzle? The diagrammatic approach has worked very well so far for the elementary particles and the standard model. Yet, despite decades of efforts, there is still a lot to understand about it and the basic principles on which it is founded, which are locality, unitarity and renormalizability. Quantum field theory never ceases to surprise, so to speak. A new concept in the world of diagrammatics is the concept of purely virtual particle, which we review in this paper together with its applications. Purely virtual particles, or fake particles, or "fakeons", are "non particles", or particles that have no classical limit. That is to say, they have a purely quantum nature. Their effects reach the classical limit as effective interactions among the physical particles. Normally, we take for granted that everything belonging to the quantum world should be obtained by quantizing something classical, but if we view the matter the other way around, we can easily make room for entities that are classically hidden and exist only at the quantum level.
The diagrammatics of fakeons [1] is obtained from the usual one by means of surgical operations that selectively remove degrees of freedom at all energies and preserve the optical theorem. The only requirement is that fake particles should be massive and non tachyonic. The main application of fakeons is the formulation of a consistent theory of quantum gravity [2], which is observationally testable due to its predictions in inflationary cosmology [3]. At the phenomenological level, fakeons evade common constraints that limit the employment of normal particles. Among the other things, they can be used to propose new physics beyond the standard model [4] and solve discrepancies with data [5]. We stress that the fakeon diagrammatics is relatively straightforward, to the extent that it can be implemented in software like FeynCalc, FormCalc, LoopTools and Package-X [6] and used to work out physical predictions. For proofs to all orders, see [7,1]. It is also possible [8,9] to avoid certain troubles of the Lee-Wick models [10,11,12,13,14,15] by switching to theories of particles and fakeons. Finally, the fakeon prescription can be used to give sense to higher-spin massive multiplets [16]. Coupled to gravity, higher-spin massive multiples change the ultraviolet behavior and open the way to asymptotic freedom [17].
The paper is organized as follows. In section 2 we review some key concepts concerning unitarity. In section 3 we introduce the fakeon diagrammatics. In section 4 we briefly recall how the quantization of gravity works by means of fakeons. In section 5 we discuss the main predictions of quantum gravity with fakeons in primordial cosmology. In section 6 we present some ways to use fakeons in phenomenology. In section 7 we discuss the main two new features of the theories with fakeons: the peak uncertainty and the violation of microcausality. Section 8 contains conclusions and outlook.

Particles, fakeons and ghosts
Unitarity is the statement that the scattering matrix S is unitary, S † S = 1. Writing S = 1 + iT , it is also expressed by the optical theorem which admits a diagrammatic, off-shell version in terms of identities among cut diagrams [18]. Here G denotes an ordinary (uncut) diagram and stands for iT , G is its complex conjugate and stands for −iT † , while G c are the so-called cut diagrams, obtained by cutting internal lines: they stand for T † T . The vertices and propagators that lie to one side of the cut are the normal ones (as in T ), while those that lie to the other side of the cut are the complex conjugate ones (as in T † ). The cut propagators give us information about the on-shell content of a particle. The equations (2.2) single out certain analytic properties of the loop integrals, which encode, among the other things, the physical processes where the virtual particles circulating in the loops turn real, which occurs above certain thresholds. A purely virtual particle cannot turn real, by definition, so its cut propagator must vanish. Denoting the space of physical states by V and inserting a complete set of orthonormal states |n ∈ V , equation (2.1) implies, in particular, where |a ∈ V is an arbitrary state: the total cross section for production of all final states is proportional to the imaginary part of the forward scattering amplitude. The simplest cutting equations are where the integrals are over the phase spaces Π f of the final states. In particular, (2.4) implies Re[P ] 0, if P is the propagator.
Physical particles, ordinary ghosts, Lee-Wick (LW) ghosts and purely virtual particles have propagators respectively, where P denotes the Cauchy principal value. They all satisfy Re[P ] 0, except for the ordinary ghost, which violates unitarity. The propagators of physical particles and ordinary ghosts can be used "as is" inside Feynman diagrams, which means as they appear in the formulas just written, by integrating on real loop energies and momenta. Instead, the propagators of LW ghosts and purely virtual particles cannot, because the iǫ and −iǫ prescriptions cannot coexist inside Feynman diagrams without violating unitarity, the locality and Hermiticity of counterterms and stability [19]. These two options need suitable integration prescriptions or, in the case of fakeons, a new diagrammatics.
The removal of degrees of freedom from the incoming and outgoing states is consistent only if it is compatible with unitarity, in which case it is called "projection" and the reduced action is called "projected action". This means that the equation (2.3) holds in a subspace V of the total space W of states one uses to build the theory. Working in an extended space W and projecting to V at the end is normally useful to manipulate simpler Feynman rules, like those of a local theory.
A well-known example of projection is the one concerning the Faddeev-Popov ghosts and the longitudinal/temporal components of the gauge fields in gauge theories. There, the consistency of the projection is ensured by the symmetry. In the case of the LW ghosts, instead, one has to make them unstable, to kick them out of the set of strictly asymptotic states (which are to be taken literally at t = ±∞): the projection is the very same decay of the LW ghosts. In the case of fakeons, the consistency is ensured by the diagrammatics, so there is no need for giving fakeons nonvanishing widths, dynamically or explicitly. The "width" of a purely virtual particle has a completely different physical interpretation. It is the "peak uncertainty", which measures the impossibility of experimentally approaching the fakeon too closely. The fakeon projection is compatible with unitarity order by order (and diagram by diagram) in the perturbative expansion [1].

Purely virtual particles: a new diagrammatics
The simplest way to introduce fakeons is by means of the diagrammatics developed in ref. [1], which is useful for physical particles as well. It is based on the threshold decomposition of ordinary (cut and uncut) diagrams and the suppression of all the thresholds that involve fakeon frequencies. The fakeon procedure works with both signs in front of the propagators (fake particles and fake ghosts), since a sign flip can at most flip the overall signs of the identities (2.2), which encode unitarity, thus keeping them valid. For definiteness, we concentrate on fakeons obtained from physical particles.
At the tree level, we start from the usual Feynman prescription, decompose the propagators by means of the identity and suppress all the delta functions that refer to fakeons. Apart from some caveats, this simple recipe can be implemented to all orders. The key ingredient is the possibility of reducing the optical theorem to a set of purely algebraic operations and identities. In brief, the procedure is: -ignore the integral on the space components of the loop momenta (which defines the skeleton diagram); -perform the integral on the loop energies by means of the residue theorem (which can be viewed as an algebraic operation); -decompose the result in terms of principal values and delta functions by means of the identity (3.1); -organize the decomposition properly; -drop all the deltas that contain fakeon frequencies.
A caveat, which can be appreciated starting from the box diagram, is that the decomposition must be properly organized, due to certain nontrivial identities that are met along the way.
Let us illustrate the procedure on the bubble diagram, which gives the skeleton integral The residue theorem gives The threshold decomposition using identity (3.1) gives Repeating the same procedure with the conjugate diagram and the cut diagrams, we obtain the table and the cut diagram with a tilde is the one where the sides corresponding to T and T † are interchanged.
Here and below, if C ij denote the entries of the table, a (cut or uncut) diagram G j is the jth column of the table (j > 1), by which we mean the sum where C 21 = 1. The spectral optical identities are the rows of the table, by which we mean the sums for i > 1, which vanish separately. They decompose the "spectral optical theorem", which is the whole table, i.e., the sum of all its entries. Finally, the optical theorem is the integral of this identity, divided by 4ω 1 ω 2 , over the space components k of the loop momentum, with measure d 3 k/(2π) 3 .
If an internal leg, say leg 1, is a fakeon, we drop the delta functions containing its frequency from equation (3.2) and so obtain In table (3.3), we drop the rows containing ∆ 12 , which gives / / -−iP 12 iP 12 0 0 Dropping whole rows preserves the (spectral) optical theorem in an obvious way. Moreover, the last two columns, corresponding to the cut diagrams, disappear as well, since their surviving entries are just zeros. We can understand their disappearance by noting that those diagrams contain a cut fakeon leg and the cut propagator of a fakeon must vanish, because the fakeon cannot be on shell. This leaves us with the table In the case of the skeleton triangle T s , we can proceed similarly. Without giving details (which can be found in ref. [1]), the decomposition is where P T = P 12 P 13 + cycl + (e → −e), and the sums are on {a, b, c} equal to the permutations of 1, 2 and 3. The conjugate diagram isT s and the cut diagrams read (3.9) plus the ones obtained by cyclically permuting 1, 2 and 3. If the internal leg 3 is a fakeon, the rows containing ∆ 13 , ∆ 23 , ∆ 31 and ∆ 32 must be suppressed. Then the cut diagrams containing a cut leg 3 become trivial and their columns disappear automatically. We remain with the table If two internal legs are fakeons, the last two rows disappear, which make the last two columns disappear as well: Other examples (triangle with "diagonal", box, box with diagonal, pentagon, hexagon, etc.) and the proof to all orders can be found in ref. [1]. The threshold decomposition and the fakeon diagrammatics are compatible with gauge invariance and general covariance, through the WTST identities [20]. Indeed, the WTST identities are algebraic relations among the integrands of certain diagrams, so the decomposition and the fakeon projection go through them straightforwardly. Gauge independence is preserved as well, since the thresholds associated with the gauge-trivial modes depend on the gauge-fixing parameters and cannot interfere with the other (physical/fakeon) thresholds, which are gauge invariant and gauge independent.

Quantum gravity
Quantum gravity with fakeons propagates the graviton, a scalar field φ of mass m φ (the inflaton) and a spin 2 field χ µν of mass m χ . It is formulated starting from the classical action where C µνρσ is the Weyl tensor, G is the Newton constant, Λ is the cosmological constant and λ = m 2 ) is a parameter very close to 1. The theory is renormalizable by power counting [21], since the renormalizability of a theory with fakeons coincides with the one of the Euclidean parent theory.
The three fields can be made explicit by eliminating the higher derivatives as shown in [22]. In particular, the action S χ (g, φ, χ) of χ µν is the sum of a term proportional to the nonminimally coupled covariantized Pauli-Fierz action plus further interactions S χint (g, φ, χ), where χ = g µν χ µν is the trace of χ µν .
Since Λ is much smaller than m 2 χ , λ is positive, so the χ µν kinetic term has the wrong sign. This is the reason why χ µν must be quantized as a fakeon. Then χ µν is purely virtual and does not belong to the sets of incoming and outgoing states.
It is convenient to postpone the fakeon projection to the very end, to deal with local diagrammatic rules. An early projection forces us to work with rather involved nonlocal vertices. This situation is similar to the one of gauge theories, where it is preferable to work with the local diagrammatic rules of a gauge-fixed action propagating gauge-trivial modes and Faddeev-Popov ghosts and remove them only at the very end.
The projection must also be performed classically. In this sense, the action (4.1) does not describe the true classical limit, because it is unprojected. The true classical action, which is useful to study primordial cosmology, is obtained by "classicizing" quantum gravity [23] and collects the tree diagrams that only have physical particles on the external legs.

Inflationary cosmology from quantum gravity
Quantum gravity with fakeons can be used to study primordial cosmology and work out predictions that could even be tested within our lifetime. For this purpose, it is convenient the consider the action (4.1) at Λ = 0, make the inflaton field φ explicit through a field redefinition and keep the fakeon χ µν implicit. We obtain the equivalent action is the Starobinsky potential. As said, the classical limit is not described by either (4.1) or (5.1), which are unprojected. The classicization is nontrivial when the metric is expanded around curved backgrounds rather than flat space. Nevertheless, if the background is the FLRW metric, the degrees of freedom decouple from one another at the quadratic level in the de Sitter limit [3]. Thanks to this fact, the fakeon projection can be perturbatively obtained from the flat-space one.
It can be shown that this procedure works under the consistency condition m χ > m φ /4 [3]. This lower bound on the mass of the fakeon χ µν with respect to the mass of the inflaton φ is crucial for the prediction on the tensor-to-scalar ratio r, which is determined within less than an order of magnitude, even before knowing the actual value of m χ [3].
Note that the theory does not predict other degrees of freedom besides the curvature perturbation R and the tensor perturbations, when the matter sector is switched off. The fakeon projection eliminates the possibility of having additional scalar and tensor perturbations, as well as vector perturbations.

Cosmic RG flow
Parametrizing the background metric as g µν =diag(1, −a 2 , −a 2 , −a 2 ), the Friedmann equations and the φ equation reaḋ where H =ȧ/a is the Hubble parameter. For the purposes of this paper, we can assumė φ > 0. Defining the conformal time 4) and the "coupling" 5) it is easy to show that α satisfies an equation of the form β α = dα/d ln|τ |, where β α is a function of α that can be worked out to arbitrarily high orders in α: The interpretation of inflation as a "cosmic RG flow", β α being the beta function, is predicated on the possibility of viewing the perturbation spectra P T and P R of the tensor and scalar fluctuations as correlation functions that satisfy RG evolution equations of the Callan-Symanzik type, in the superhorizon limit [24].
Let us introduce the running coupling α(x), which is the solution of .
For brevity, α will stand for α(−τ ) and α k for α(1/k), where k is just a constant for now: .
Its expression to the next-to-next-to leading log (NNLL) order can be found in [24]. Viewing the spectra as functions of τ and α, their RG evolution equations are Viewing them as functions of α and α k , the dependence on α actually drops out and the spectra depend on the momentum k only through the running coupling α k : Finally, viewing the spectra as functions of k/k * and α * = α(1/k * ), where k * is the pivot scale and α * is the "pivot coupling", they satisfy The correspondence between the cosmic RG flow and the one of quantum field theory is summarized in table 1.

Spectra
In high-energy physics, a low-energy effective theory is good enough to make predictions about low energies. In cosmology, it is not so: we must properly treat the high-energy (sub-horizon) limit, even if our purpose is just to make predictions about the low-energy (super-horizon) limit. This is a highly nontrivial problem, since the sub-horizon region is experimentally and observationally inaccessible. We can say something reasonable about it only if the system reduces to one we have experience of around us. This is where fakeons play a crucial role in primordial cosmology.
If χ µν is quantized by means of the Feynman prescription instead of the fakeon one, the theory has ghosts and so violates unitarity [21]. From the point of view of primordial cosmology, the problem of ghosts shows up as follows.
On a nontrivial background, the study of the metric fluctuations reduces, in the end, to the problem of harmonic oscillators with time-dependent frequencies. We need to provide a proper quantization condition to study such a system. Normally, the Bunch-Davies   [25] is chosen, which does refer to the sub-horizon limit of the theory, where the problem can be handled because the frequencies of the oscillators becomes time independent. If ghosts are present, no matter how heavy they are, they do not disappear at high energies, but just become massless. A condition like the Bunch-Davies one on ghost oscillators is not robust, even if their frequencies are constant, because we do not have examples of elementary systems of that type that can justify it.
The situation changes in the theory with fakeons. We must ensure that the fakeons are indeed fake at all scales, including the sub-horizon ones. In the low energy regime fakeons disappear for free, because they massive, but in the opposite limit the consistency of the fakeon projection and in particular its classicization [23] on a curved background, requires that we impose a condition, which is the bound m χ > m φ /4 of ref. [3]. In the end, this condition turns out to be rather powerful, because it gives constrained predictions, even if m χ is still unknown. We see that fakeons provide a second reason, besides the Bunch-Davies vacuum condition, why we must properly treat the high energies to make predictions about the low energies in primordial cosmology.
The spectra of the theory with ghosts are studied in [26] and the comparison with those of the theory with fakeons, which we report below, can be found in [3].
We briefly describe the strategy of the calculation in the theory with fakeons. First, the metric is expanded as 5.11) in the comoving gauge, where u = u(t, z) and v = v(t, z) are the tensor fluctuations and Ψ, B are the other scalar fluctuations. The φ fluctuation δφ is set to zero by a gauge choice, so the curvature perturbation R coincides with Ψ. For reviews on the parametrizations of the fluctuations, see [27]. Second, the action (5.1) is expanded to the quadratic order in the fluctuations. Third, the higher derivatives are eliminated by introducing extra fields. Forth, the new Lagrangian is diagonalized in the de Sitter limit α = 0. Fifth, the fakeon projection is performed, which means that the fakeon fields are integrated out by means of (the classical limit of) the fakeon prescription. Sixth, a number of field redefinitions and time reparametrizations are applied to cast the action into the standard Mukhanov-Sasaki form. Seventh, the equations of motion are solved with the Bunch-Davies vacuum condition. Eighth, all the transformations are undone, to get to the desired two-point functions and the spectra of the fluctuations in the super-horizon limit. For details, see [24]. Thanks to the RG techniques presented above, "RG improved" tensor and scalar power spectra P T and P R can be worked out to high orders. This means that, although P T and P R are expanded in powers of α * , the product α * ln(k/k * ) is considered of order zero and treated exactly. The results to the NNLL order are γ E being the Euler-Mascheroni constant. While P T is exact in ξ, so far the NNLL contribution to P R has been determined only as an asymptotic expansion in powers of ξ.

Predictions
A number of other quantities can be calculated from the spectra, such as the "dynamical" tensor-to-scalar ratio r(k) = P T (k) P R (k) (5.13) the tilts and the running coefficients Using (5.12), we find, for example, The first two corrections to the usual relation r + 8n T ≃ 0 are We discuss the validity of the predictions by expressing the results in terms of a pivot scale k * and evolving α(1/k) from k * to k by means of the RG evolution equations. The spectra become functions of ln(k * /k) and the pivot coupling α * ≡ α(1/k * ). With k * = 0.05 Mpc −1 and (for definiteness) ξ ∼ F s ∼ 1, the data reported in [28] give ln(10 10 P * R ) = 3.044±0.014 and n * R = 0.9649±0.0042, where the star superscript means that the quantity is evaluated at the pivot scale. The second formula of (5.12) and formula (5.14) give the values α * = 0.0087 ± 0.0010, m φ = (2.99 ± 0.37) · 10 13 GeV for the "fine structure constant" α * and the inflaton mass, respectively. The value of m χ will be known as soon as the tensor-to-scalar ratio r will be measured. The bound m χ > m φ /4 gives 4 · 10 −4 r 3.5 · 10 −3 at the pivot scale.
The first formula of (5.12) predicts the tensor spectrum P T with a relative theoretical error ∼ α 4 * ∼ 10 −8 . The relative error on the tensor tilt n T is ∼ α 3 * ∼ 10 −6 . As far as the quantities involving the scalar fluctuations are concerned, we have to take into account that the function F s (ξ) is only partially known. It can be shown that the relative theoretical errors of the scalar spectrum P R and the scalar tilt n R − 1 are around α 3 * ∼ 10 −6 for ξ < 1/2, 10 −5 for 1/2 < ξ < 1 and 10 −4 for 1 < ξ < 16.
If primordial cosmology turns into an arena for precision tests of quantum gravity, the predictions might have a chance to be tested in the incoming years [29].

Phenomenology of fake particles
Fakeons can be used to propose models of new physics beyond the standard model. For example, the popular inert doublet model [30] has rather different phenomenological properties if the second doublet is taken to be a fakeon [4]. Since the fake doublet avoids the Z-pole constraints regardless of the chosen mass scale, there is room for new effects below the electroweak scale. In addition, the absence of on-shell propagation prevents fakeons from inducing missing energy signatures in collider experiments.
Other types of standard model extensions by means of fakeons predict measurable interactions at energy scales that are usually precluded. For example, the interactions between a fake scalar doublet and the muon can explain discrepancies concerning the measurement of the muon anomalous magnetic moment [5]. The experimental results can be matched for fakeon masses below the electroweak scale without contradicting precision data and collider bounds on new light degrees of freedom.
An important topic for the phenomenology of particle physics is the treatment of dressed propagators. Since a fakeon appears to have a sort of "mass" and a sort of "width", but it is not a particle, we should provide physical meanings for such two quantities. In the next section we explain that the mass is the scale of the violation of microcausality. The width, instead, has a thoroughly new interpretation.
The resummation of self-energy diagrams into dressed propagators in the case of purely virtual particles reveals some unexpected facts, which, in turn, highlight nontrivial properties of long-lived unstable particles. We summarize here the main points, the details being available in ref. [31].
We factor out the normalization factor Z of the propagator. We also include the corrections ∆m to the mass m into m itself by default. This way, we can focus our attention on the width Γ, since Z and ∆m do not play crucial roles. The formally resummed dressed propagators of physical particles ϕ, fake particles χ and ghosts φ then read, around the peaks,P respectively. It is easy to show that they differ by infinitely many contact terms, which do not admit well-defined sums, such as It turns out that ∆Γ(x) is not a well-defined mathematical distribution. What does that mean? The problem is that the peak region is outside the convergence domain of the geometric series and can only be reached in the case of physical particles, from the convergence region, by means of analyticity. In the other cases, nonperturbative effects become important. Not only. Ill-defined quantities also appear in the case of unstable, long-lived physical particles, when we separate their observation from the observation of their decay products. By the optical theorem, the imaginary part 2Re[P ϕ ] is equal to the sum of the cross sections Ω ϕparticle and Ω ϕdecay of the processes e + e − → ϕ and e + e − → decay products of ϕ, which can be read by cutting the diagrams contributing to the dressed propagators. The former is the process where the particle is physically observed before it decays (as in the case of the muon). The latter is the process where its decay products are observed, instead (as in the case of the Z boson).
We find so the limit ǫ → 0 tells us that the muon is unobservable: This is not a surprising result, if we recall that the scattering processes are supposed to occur between incoming states at t = −∞ and outgoing states at t = +∞, which makes it impossible to observe an unstable particle. However, the observation of the muon is a fact and we should be able to account for it.
In practical situations the scattering processes take some finite time interval ∆t, much larger than the duration∆t of the interactions involved in the process, but not equal to infinity. The prediction Ω ϕparticle = 0 remains correct when ∆t is much larger than, say, the muon lifetime τ µ , but fails for∆t ≪ ∆t τ µ .
To solve the impasse, we introduce the energy resolution ∆E ∼ 1/∆t. In principle, we should undertake the task of rederiving all the basic formulas of quantum field theory for scattering processes where incoming and outgoing states are separated by a finite ∆t. The results will depend on ∆E, since ∆E = 0 is only compatible with∆t = ∞, hence ∆t = ∞. A clever shortcut is to guess how ∆E may affect the results.
Generically, we can expect that ∆E will affect the formulas more or less everywhere. However, in most places we can neglect it, especially when it redefines quantities that are already present (like the mass m). The ∆E dependence cannot be ignored if it affects a "zero", such as the imaginary part of the denominator of the propagator around the peak.
Thus, we assume that when ∆E is different from zero the predictions coincide with the ones we have written above, provided we make the replacement ǫ → ǫ + 2m∆E, (6.5) after which we can legitimately take ǫ to zero. The form of the ∆E dependence appearing here is not crucial, as long as the correction vanishes when ∆E tends to zero. Making the replacement in formulas (6.3) and letting ǫ tend to zero, we obtain The results show that Ω ϕparticle is no longer zero. Phenomenologically we may distinguish two opposite cases: -The case of the Z boson, which is ∆E ≪ Γ/2. There, so we do not see the particle: we see its decay products. The results do not depend on ∆E to the first degree of approximation.
-The case of the muon, which is m ≫ ∆E ≫ Γ/2. There, , Ω ϕdecay ≃ 0, (6.8) so we see the particle and not its decay products. Again, the results do not depend on ∆E to the first degree of approximation.
In the intermediate situations, where ∆E and Γ are comparable, we see both the particle and its decay products and the results depend on ∆E.
Ultimately, this has to do with the energy-time uncertainty relation ∆E ∼ 1/∆t. Indeed, ∆E = 0 implies an infinite time uncertainty, during which every unstable particle has enough time to decay before being observed. An infinite amount of time is required to determine an energy with absolute precision, and such an amount of time is available only for stable particles. It is impossible to observe an unstable particle with infinite resolving power on its energy.
However, quantum field theory is not quantum mechanics, where wave functions allow us to keep time, coordinates, energy and momenta, and their uncertainty relations, under a satisfactory control. In quantum field theory, as it is usually formulated, we renounce any determination of time and coordinates and tacitly assume infinite resolving powers on energy and momenta. This means that we have a worse control on the built-in uncertainty relations. It may occur that we unawaredly try and calculate something that is impossible to calculate, because it violates such relations, as in the case of Ω ϕparticle with no ∆E. The theory cannot return a meaningful result there, otherwise it would be in contradiction with the premises it is built on. Not unexpectedly, we find mathematical problems in the forms of ill-defined distributions, which may appear term by term or in the resummations.
In the case of fakeons something similar happens, but more invasively, since analyticity is less powerful there. Making the replacement ǫ → m∆E (with a different factor with respect to (6.5), for convenience), the convergence region ofP χ is delimited by the condition which holds for every p if and only if With the conventions just chosen, this bound coincides with the one of physical particles. The difference is that in the case of physical particles we can cross the obstacle by means of analyticity (unless we separate the observation of the particle from the observation of its decay products, as said). Instead, we cannot cross it in the case of purely virtual particles, because the fakeon prescription is not analytic. Ghosts exhibit somewhat similar features, in this respect, but we do not discuss them here.
It is conceivable that (6.9) encodes a new type of uncertainty relation, a "peak uncertainty", which expresses the impossibility of approaching the fakeon too closely, given its nature of particle that cannot be brought to reality. It also gives a meaning to the fakeon width, while the fakeon mass codifies the violation of microcausality/microlocality. These properties suggest that certain processes may involve nonperturbative aspects. A way to avoid them is by restricting the invariant masses M = p 2 of the sets of external states mediated by fakeons by means of the conditions |M 2 − m 2 | > mΓ. (6.10) So doing, we keep the processes far enough from the regions of the fakeon peaks, which allows us to take ∆E to zero. Under these assumptions, we can make predictions about scattering processes at arbitrarily high energies. However, conditions like (6.10) do not allow us to sum over the whole phase spaces of the final states, because such a sum includes contributions from the regions of the fakeon peaks. For that purpose, we may propose effective formulas for the complete dressed propagators, argued from the general properties of fakeons. An example iŝ where γ and δ are constants, satisfying γ > 0, 0 < δ < 1. This formula can be obtained by choosing which fulfills (6.9) in the classical limit Γ → 0, where (6.11) correctly tends to the principal value of i/(p 2 − m 2 ). An expression like (6.12) could be originated by nonperturbative effects or describe the impact of the experimental setup. If some relatively light fakeon exists in nature, it should be possible to detect the peak uncertainty experimentally. Instead of seeing a resonance, as we expect for a normal particle, we should see a bump, or a smeared peak, with a shape that might even depend on the experimental setup in a way that could be difficult, or impossible, to predict.

Peak uncertainty and micro acausality
A violation of microcausality, with typical scale equal to the fakeon mass, is associated with the intrinsic nonlocal nature of the fakeon projection. Consider the toy model described by the Lagrangian where x is the coordinate of a physical particle of mass m, Q is the one of a purely virtual particle of mass M and F ext (t) is a time-dependent external force. The equations of motion giveẍ The solution of the Q equation, which reads is given by the fakeon prescription. The equation of motion for x then reads We see that the integral appearing on the right-hand side receives contributions from the external force in the past and in the future. Due to the oscillating behavior of (M/2) sin(M|u|), the amount of future effectively contributing is and disappears for M → ∞, since lim M →∞ (M/2) sin(M|u|) = δ(u). Thus, (7.2) implies that we cannot make predictions for time intervals shorter than τ . In principle, we could check (7.1) a posteriori, if we manage to measure x(t) and F ext (t) independently. This example shows that the violation of microcausality, being encoded in the fakeon mass, does not need a nonvanishing width and survives the classical limit. The peak uncertainty, instead, is encoded in the radiative corrections that give Γ, so it disappears in the classical limit. This does not prevent us, though, from making predictions about processes occurring at higher energies. Finally, the violation of microcausality is always present, while it is possible to have no peak uncertainty (6.9), as in the models of ref. [4], where fakeons have identically vanishing widths due to a Z 2 symmetry.

Conclusions
Purely virtual particles have a variety of applications, which range from collider physics, to quantum gravity and primordial cosmology. Fakeons mediate interactions without appearing among the incoming and outgoing states. Their consistency with unitarity can be proved by means of algebraic spectral optical identities. The renormalization of a theory with fakeons coincides with the one of the parent Euclidean theory. Its classical limit is described by an ordinary Lagrangian plus Hermitian, microscopically acausal and nonlocal self-interactions among the physical particles.
Quantum gravity with fakeons propagates the graviton, the inflaton and a massive spin-2 fakeon. It can be coupled straightforwardly to the standard model. Its classicization leads to a constrained primordial cosmology, which predicts the tensor-to-scalar ratio r in the window 0.4 1000r 3.5. The interpretation of inflation as a cosmic RG flow allows us to calculate the perturbation spectra up to high orders.
Fakeons evade various phenomenological constraints that apply to physical particles. It is impossible to get too close to the fakeon peak, because of a peak uncertainty, equal to the fakeon width divided by 2, which is expected to be observable. Instead, the fakeon mass is associated to the scale of the violation of microcausality.
In conclusion, the fakeon diagrammatics gives quantum field theory a chance to surpass its own limitations and offer solutions to long-standing problems, without leaving the realm of perturbation theory and without advocating leaps of faith or uncertain approaches, such as string theory [32], loop quantum gravity [33], holography and the AdS/CFT correspondence [34]. The way paved by purely virtual particles tops the competitors in calculability, predictivity and falsifiability. For example, the sharp predictions about inflationary cosmology leave little room for artificial adjustments, in the case of discrepancies with data. Instead, the main weakness of string theory is its lack of predictivity, because of the landscape of 10 500 or so false vacua [35]. Loop quantum gravity is extremely challenging from the mathematical point of view, when, in contrast, the fakeon diagrammatics is a relatively simple extension of the usual diagrammatics of physical particles. The AdS/CFT correspondence does have a quantum field theoretical side, but it is a strongly coupled one, which leads to use nonperturbative methods, mostly based on conjectures. A separate discussion applies to the idea of asymptotic safety [36], which is purely quantum field theoretical. Nevertheless, it also requires nonperturbative methods, to deal with the interacting ultraviolet fixed points.