Perturbative versus non-perturbative quantum field theory: Tao’s method, the Casimir effect and interacting Wightman theories

We dwell upon certain points concerning the meaning of quantum field theory: the problems with the perturbative approach, and the question raised by ’t Hooft of the existence of the theory in a welldefined (rigorous) mathematical sense, as well as some of the few existent mathematically precise results on fully quantized field theories. Emphasis is brought on how the mathematical contributions help to elucidate or illuminate certain conceptual aspects of the theory when applied to real physical phenomena, in particular, the singular nature of quantum fields. In a first part, we present a comprehensive review of divergent versus asymptotic series, with qed as background example, as well as a method due to Terence Tao which conveys mathematical sense to divergent series. In a second part we apply Tao’s method to the Casimir effect in its simplest form, consisting of perfectly conducting parallel plates, arguing that the usual theory, which makes use of the Euler-MacLaurin formula, still contains a residual infinity, which is eliminated in our approach. In the third part, we revisit the general theory of nonperturbative quantum fields, in the form of newly proposed (with Christian Jaekel) Wightman axioms for interacting field theories, with applications to “dressed” electrons in a theory with massless particles (such as qed), as well as unstable particles. Various problems (mostly open) are finally discussed in connection with concrete models.


Introduction
One of the most impressive measurements in physics is of the electron anomalous magnetic moment of the electron, which is known with a precision of a few parts in 10 14 [1]. On the other hand, the theoretical prediction needed to match this result requires the use of perturbation theory containing up to five loop contributions. As is well known, higher order contributions in systems containing an infinite number of degrees of freedom lead to the appearance of divergences which are taken care of by renormalization theory [2]. The renormalized perturbation series in enormously successful theories such as quantum electrodynamics (qed) is, however, strongly conjectured to be a divergent series (see [20] for the first result in this direction), and G. 't Hooft [3] has, among others, raised the question whether qed has a meaning in a rigorous mathematical sense.
Several years ago, Arthur S. Wightman, one of the leaders of axiomatic quantum field theory, asked the related question "Should we believe in quantum field theory?", in a still very readable review article [4]. After his program of constructing interacting quantum field theories in four space-time dimensions failed, the question remains in the air, and we should like to suggest in the present review that the answer to it does remain affirmative, although the open problems are very difficult.
One of the problems with quantum field theory (qft) is that it seems to have lost contact with its main object of study, viz. explaining the observed phenomena in the theory of elementary particles. One instance of this fact is that, except for a few of the lightest particles, all the remaining ones are unstable, and there exists up to the present time no single mathematically rigorous model of an unstable particle (this is reviewed in [5], and we come back to this point in sections 4 and 5). Alternative theories have not supplied any new experimentally measured numbers in elementary particle physics, such as the impressive one in qed mentioned above.
A recent, important field of applications of qft came from condensed matter physics: the structure of graphene, of which certain (possibly experimentally verifiable) phenomena have been successfully studied by Gavrilov, Gitman et al [6] with nonperturbative methods from the theory of strong-field qed with unstable vacuum. So far, however, the only experimental consequence of a non-perturbative quantum field theoretic model concerns the Thirring model [7] in its lattice version, the Luttinger model. The latter's first correct solution was due to Lieb and Mattis [8]; the rigorous explanation of the thereby new emergent quasi-particles through fluctuation observables was provided by Verbeure and Zagrebnov in [9]. Luttinger's model yields a well-established picture of conductivity along one-dimensional quantum wires [10].
In section 2, we present a comprehensive review of divergent versus asymptotic series, with qed as background example, as well as a method due to Terence Tao which conveys mathematical sense to divergent series.
In section 3, we apply Tao's method to one of the very few nonperturbative effects in qed, the Casimir effect in its simplest form, consisting of perfectly conducting parallel plates, arguing that the usual theory, which makes use of the Euler-MacLaurin formula, still contains a residual infinity, which is eliminated in our approach. The fact that Tao's smoothing of the discrete sums eliminates the divergences is seen to be directly related to the singular nature of the quantum fields.
In section 4, we revisit the general theory of nonperturbative quantum fields, in the form of newly proposed (together with Christian Jaekel) Wightman axioms for interacting field theories, with applications to "dressed" electrons in a theory with massless particles (such as qed), as well as unstable particles [11]. Here, again, the singular nature of quantum fields appears, in the form of a "singularity hypothesis", characteristic of interacting quantum fields, which plays a major role. It clarifies the role of the nonperturbative wave-function renormalization constant Z, and permits to show that the condition Z = 0 is not a universal one for interacting theories, but is, rather, related to different phenomena: the "dressing" of particles in charged sectors, in the present of massless particles, considered by Buchholz [12], as well as the existence of unstable particles. As remarked by Weinberg [2], the characterization of unstable particles by the condition Z = 0 is an intrinsically nonperturbative phenomenon.
Section 5 discusses the latter problem in connection with some concrete models of the Lee-Friedrichs type (see [5] and references given there), both in the bound state case (atomic resonances) as well as for particles, in which case the problem remains open. The relation to Haag's theorem [13] is pointed out, completing the "singularity picture" of quantum fields developped in the preceding sections. Section 6 is reserved to a summary and alternative approaches. Section 7 is a conclusion.

Asymptotic versus divergent series: Tao's method
We now come back to the perturbation series for the renormalized gyromagnetic ratio g of the electron (see [14], p. 79, 109), which is a prototype of divergent series in physics: where α = 1 137.0··· denotes the fine-structure constant. As remarked by Wightman [4], which we now follow, the series is likely to be an asymptotic series, defined as below.
In mathematics, divergent series have been studied since the XVIIIth century and many summability methods have been developed; see for instance [15]. In particular, Terence Tao [17] suggested a powerful smoothing method which explains the numbers obtained by these summability methods. On the other hand, one of the few nonperturbative effects in qed, in which a divergent series appears, is the calculation of the force between two infinite conducting planes, also known as the Casimir effect [16]. Here, the zero point energy of the electromagnetic field diverges due to the existence of an infinite number of normal modes. In section 3 we study the Casimir effect using Tao's summation method.
To set the stage, we now recapitulate the concepts of asymptotic and divergent series, reserving subsection 2.2 to the presentation of inconsistencies in the treatment of divergent series by the Euler and Ramanujan summation methods, and subsection 2.3 to a brief review of Tao's method of smoothed sums.

Asymptotic and divergent series
Given a function f , defined on an open interval a < x < b, one says that a function f N defined on the interval is asymptotic to f at order N at a if where x → a+ means that x tends to a from the right. This general definition applies in particular to the expression as follows: given a sequence (a 0 , a 1 , a 2 , · · · ), if N n=0 a n (x − a) n is asymptotic to f of order N at a for all N = 0, 1, 2, · · · , then one says that the series ∞ n=0 a n (x − a) n is asymptotic to f at a and writes Above, and throughout the paper, the superscripts denote the orders of the derivatives. Thus, when N n=0 a n (x − a) n is asymptotic to f of order N at a, the function f has necessarily N derivatives from the right at a and the coefficients a n are uniquely determined as Taylor coefficients Thus, as Wightman observes, the assertion, that the gyromagnetic anomaly g−2 2 has the asymptotic series ∞ n=1 a n (α/π) n at 0, means "no more and no less" than the fact that g−2 2 is defined for α in some interval 0 < α < α 0 , and has derivatives of all orders from the right at 0: then the above formula for the a n holds for all N with f = g−2 2 and a = 0. If we thus write, following (2) to (4), where R N is the rest in Taylor's series (see, e.g., [18], p. 126): and Above, g(x) = O(h(x)) as x → a+ means that there exists an open interval (a, a 0 ) and a positive number A independent of x ∈ [a, a 0 ) such that It follows then, by what was said before, that N n=0 The above is an example of a power series: it may, or not, be convergent. We come now to a general asymptotic series, which will be shown to be divergent and will play an important role in section 3, the Euler-Maclaurin sum formula ( [15], Chap. XIII, p.318). Let a function f be given which satisfies certain conditions [15]: we shall assume that f is infinitely differentiable to the right at a. Let Above, C is a constant, and the {B r } are the Bernoulli numbers, defined recursively by the formula for all s = 1, 2, · · · , or equivalently, by the generating function The first few Bernoulli numbers are We refer to ( [17], p. 7 or ( [15], p.320)). As in the case of power series, the sign ∼ in (10) means where, for each finite N, but, for each finite n, lim (16) expresses the fact that, in general, the Euler-Maclaurin series diverges, due to the fast increase of the Bernoulli numbers B r with r. For an example, take a = 1 and f (x) = log x in (9). Then g(n) = log(n!) − (n + 1 2 ) log n + n + 1 2 log(2π) (17) with C = 1 2 log(2π) (for a justification, see [15]). In this case, (14) may be written where the remainder (see ([19], 6.1.42)). Therefore, both (15) and (16) are seen to hold. The zeroth term in (17), which corresponds to set g(n) = 0 in (17), is the wellknown Stirling approximation, widely used in statistical mechanics. The divergence of the series (9) is due to the inequalities ( [19],23.1.15): as well as the fact that, even if the function f (as a function on the positive reals) is analytic in a neighbourhood of the origin, and thus satisfies the bound for some constant c, by Cauchy's integral formula, the r-th term of the series is of order r! by (20). This is explicitly seen in the special case f (x) = log x and a = 1 : (19) is obtained. We now come back to the power series example (1). As remarked in the introduction, the first proof of divergence of perturbation theory for a quantum field theoretic model (scalar field Φ, with interaction term λΦ 3 ) was given by Thirring [20]. His results are consistent with the assumption (here extrapolated to the unknown case of qed) that the sum in (1) is such that the a n increase no worse than n!, that is, the R N (α), defined by (6), is One may try to find N such that this remainder after N terms is smallest possible. By (23) and Stirling's formula ( (17), with g(n)=0), and treating N as continuous parameter for simplicity, we find The above value of α characterizes a minimum because We now come to a fundamental question posed by Wightman in ( [4], p. 994): if a series is asymptotic, is it useful theoretically or experimentally? His answer is Observation A "If one knows nothing about the function to which the series is asymptotic, the answer is no" We shall come to Observation A again later, but, for the moment, adopt the "practical" attitude he advocates in ( [4], p. 995): according to (24)- (26), the description of the function f (α) in (22) should improve with the order of approximation, until one gets to order N ≈ 137 by (25), and then one should stop; by (26), beyond that order, the approximations will become worse. Richard P. Feynman comments on this issue in the discussion in [21], p. 226: "The question is whether this theory if carried out to the ultimate in all orders will give a satisfactory series (I don't mean in agreement with experiments, but with logic). Is it unitary, for example, in the 137th order? I do not know, and am not at all convinced that it is". Gerard 't Hooft [3] also observes (p.11): "Fact is, however, that there is no proof of the existence of such a model beyond its perturbation expansion". These remarks suggest that there are, indeed, deep issues associated to the (expected) divergence of series such as (1).
We now come back to Observation A: what can be said about the function f to which a given series is asymptotic? One first important remark concerns unicity. The function has the property f (n) 0 (0+) = 0 for all n = 0, 1, 2, · · · There is, thus, in general, no unique function f to which a given series is asymptotic, because the function f 0 may be added to f , by (28). There are, however, so-called summability methods: operations on infinite series, divergent or convergent, which yield convergent series or functions. For functions, one such powerful method of summability is that of Borel. Applied to a formal power series ∞ n=0 a n z n it yields a n z n n! dz The above sum under the integral sign is understood as defined by analytic continuation if necessary. As reviewed by Wightman in [4], there are properties which may be assumed on the function f in (3) which guarantee, for instance, that the Borel summability method yields a unique answer, the right one. They typically exclude functions of the form (27), but are very difficult to prove in concrete situations such as (1), because, as remarked by 't Hooft, in the case of qed nothing is known beyond the asymptotic series on the right of (3) (or, in a concrete case, (1)). One may also be concerned with associating a number (not a function) to a given divergent series of scalars by a given summability method. A unicity issue of a different kind arises: given one such series, does the possibility exist that different summability methods yield different (finite) numbers? This issue is, of course, not new, and is dealt at length, and with elegance, in G. H. Hardy's monograph on divergent series [15]. In [15], p.346, paragraph 13.17, Hardy observes that the summability methods of Euler and Ramanujan "have a narrow range and demand great caution in their application". Today, it is well known that the usual rules of calculation cannot be used when handling divergent series (see, e.g., the introduction in [22]). We review the subject, however, in subsection 2.2, as a useful introduction to Tao's method in subsection 2.3.

Inconsistencies in the standard treatment of divergent series
We now consider two examples, the divergent series S 0 and S 1 : and Although divergent, the series S 0 and S 1 may be "evaluated" by certain summability methods, two of which we now explain. For the first, consider the Riemann zeta function ζ(s), defined as the series which converges for ℜ(s) > 1. As shown in [15], analytic continuation from a certain complex integral representation for ζ(s) may be used to extend ζ to values of s beyond ℜ(s) > 1. Let ζ a.c. denote the analytically continued function, and call Ramanujan sums, denoted by the symbol R, as in [15], the corresponding sums, e.g., for (29) and (30), and For the second method, due to Euler, consider a (possibly divergent) series S ≡ ∞ n=1 a n , and define the function for |t| ≤ 1. Assume that ∞ n=1 t n a n < ∞ if |t| < 1, and define the Euler sum of the original series S by It is clear that and and thus, by (35), Thus, the Euler sums of S 0 and S 1 disagree with their Ramanujan counterparts, as seen from (32), (33) and (38). We have, however, for ℜ(s) > 1, Subtracting (40) from (39) we find or (42) expresses ζ(s) as an alternating series, to which, when Euler summation is applied, indeed yields (as may be easily checked): as well as What is, now, the Ramanujan sum associated to ζ, given by the r.h.s. of (42), in the case s = −1? For s = −1, it corresponds to the divergent alternating series S We find, however, that operations of the same type as those leading to (42) (summation term by term, multiplication by a scalar) yield the following Ramanujan sum values: 2 + 4 + 6 + · · · = 2(1 + 2 + 3 + · · · ) = 2S 1 (R) = − 1 6 (46) and further (32) and (33); thus, by (45) − 3S 1 (R) = (1 + 3 + · · · ) − (2 + 4 + · · · ) = 1 3 and finally Therefore, although (42) coincides with (31) throughout the region of convergence, its Ramanujan sum differs from the corresponding one for (31). This means that the algebraic operations of scalar multiplication and termby-term summation are not preserved by analytic continuation, about which we shall shortly say more. Incidentally, (49) and (44) imply Observation B The Euler and Ramanujan summation methods may yield different finite values for a given divergent series.
Observation B does not seem, surprisingly, to have been made before, although Hardy ([15], p.345, paragraph 13.17) remarked the disagreement between (33) and the second of (38).
Equation (42) motivates the introduction of a third divergent series, called Grandi's series G: The partial sums oscillate between 1 and 0, so that the series is neither conditionally nor absolutely convergent. By (42) and (32), its Ramanujan sum is Parenthetically, define the Cesàro (C) sums by, for S = ∞ n=1 a n , Equation (54) corresponds to the process of averaging the partial sums and is, yet, another popular summability method. Using (52), the reader may verify that and it is immediate that where E means "Euler". Thus, for Grandi's series, all three summability methods, Ramanujan, Euler and Cesàro, yield the same sum 1 2 . It might be expected, therefore, that this number 1 2 is indeed attached to the series G in some way, particularly because the partial sums oscillate between one and zero by (52). We shall see how in the next subsection.

A new look at divergent series: Terence Tao's method of smoothed sums
The Ramanujan method of analytic continuation, when used in connection with the zeta function for general s in (31), yields a generalization of (43) and (44), namely where the B s are the Bernoulli numbers (11), (12); the corresponding formal series are with partial sums (Faulhaber's formula). For s = 0, 1, (57) yields the Ramanujan sums We complete the list with Grandi's series (51), with partial sums (52), and Ramanujan sum As remarked by Terence Tao [17], the partial sums S s (N) do not ressemble the r.h.s. of (57), e.g., for s = 0, 1, Tao's main observation is that, if N is viewed as a real number in (59), S s (N) has jump discontinuities at each positive integer N, which play a crucial role in its asymptotic behavior with N; he proposes to replace S s (N) by smoothed sums where Above, η : R + → R, the cutoff function, is a bounded function of compact support, which we take, without loss of generality, to be the interval [0, 1], i.e., η(x) = 0 if x / ∈ [0, 1], and such that The values of η on the negative real axis are of no concern. We assume, for simplicity, that η is smooth (infinitely differentiable) on the set (0, 1]: this means that the function and all its derivatives at x = 1 are zero. The latter behavior contrasts with that of the characteristic function χ of [0, 1], which is defined to equal one if x ∈ [0, 1], and zero otherwise. If η is replaced by χ, a finite (step) discontinuity at x = 1 takes place, and in (65) we recover the traditional partial sums (59). We now review the simplest case treated by Tao, that of Grandi's series (62), for which the corresponding smoothed sum (65) may be written by regrouping the summands as If η is twice continuously differentiable, it follows from the Taylor expansion that each summand in . From the compact support of η the number of terms in the infinite sum in G(η N ) is finite and O(N). Thus, the sum occurring in the expression for G(η N ) is O( 1 N ) and, due to (67), the first term in the expression of The common Ramanujan, Euler and Cesàro sum of G -namely, one halfappears therefore as leading term in the smoothed asymptotics. The above method may be applied to S s (η N ), defined by (65), yielding [17] for any fixed s = 0, 1, 2, · · · , where is the Mellin transform of η (see, e.g., [23], p. 80, Chap. 3). By (66), By (69) we obtain, for s = 0 and s = 1 the results Equations (72) and (73) should be compared with (32) and (33), respectively. They show that Ramanujan sums −1 2 and −1 12 appear as the leading terms of asymptotic expansions in N of S 0 (η N ) and S 1 (η N ), respectively, for large N, which, as remarked by Tao, do not contradict the positivity of the summands on the l.h.s. of (72) and (73), because the C η N ,s terms are, by (71), both strictly positive and dominate for large N. In particular, the inconsistencies pointed out in section 2.1 connected with term-by-term summation and scalar multiplication, in the conventional treatment, disappear when definition (65) of smoothed partial sums is adopted. The simplest example is that of the scalar multiplication, take the first (innocent-looking) equation of (46): 2 + 4 + 6 + · · · = 2(1 + 2 + 3 + · · · ) This is no longer true for smoothed sums. For, Similarly, term-by-term summation yields no contradictions, because of the necessary associated shifts in the arguments of the function η.
We now come back to (69). This formula was proved by Tao as a corollary of his very elegant and simple proof of the Euler-Maclaurin formula. Let f satisfy the following assumption: Assumption A f is a real valued function on (0, ∞), at least continuously differentiable up to order (s + 2), vanishing, together with all its derivatives up to order (s + 1) at N. Letg where s = 1, 2, · · · , and we see from (74), the conditions on η stated between equations (65) and (67), and (71) that the l.h.s. of (75) equals C η,s N s+1 . It may be easily checked that all terms in the sum in (75) vanish, except for the k = s + 1 term, which is B s+1 s+1 . Applying the product rule and the chain rule to definition (76), and using that η is supported on the interval [0, 1], we also check that from which (69) follows. From (69), One should compare (79) with the result which follows from Faulhaber's formula (59), namely, S s (N)− N s+1 s+1 → ∞. This is because when η is replaced by the characteristic function of [0, 1], Assumption A does not hold, due to the boundary terms at N (see exercise 5 in [17]).

Application of Tao's method to the Casimir effect for perfectly conducting parallel plates
In this section, we demonstrate the applicability of Tao's method to an important effect in nonperturbative qed (in the sense of being presumably exact, although this will be reviewed), the Casimir effect ( [24], [25], [26]. For a review, see [27], for recent advances see [28], and for a pedagogical treatment, [29]. We shall follow [30], see also [25], sec. 2.7. Only the very simplest case, that of perfectly conducting parallel plates, will be considered.
Consider an empty coboidic box Λ with perfectly conducting boundaries. It has thickness d and lateral sizes of surface L 2 : The electric field in the box is the solution of Maxwell's equations, with proper boundary conditions (see [30], and [25], section 2.7). It yields a classical energy, whose quantization provides the expression for the total Hamiltonian H Λ : Above, the modes ( k, λ) are described by a wave-number k = (k x , k y , k z ) and a polarization index λ = 1, 2, a † ( k), λ, a( k, λ) are creation and annihilation operators satisfying commutation relations [a( k, λ), a † ( k ′ , λ ′ )] = δ k, k ′ δ λ,λ ′ , ω k = c| k| is the photon energy and the prime in ( k, λ, ′ ) means that only one polarization is possible when one of the wave-numbers (k x , k y , k z ) equals zero. The wave-numbers k x , k y , k z and the eigenfrequencies are where c denotes the speed of light. The boundary condition on the electric field, i.e., that its tangential components vanish on the boundary of Λ, lead to the property of its y and z components to be proportional to sin(k x x), with k x as above. The (infinite) last term in the Hamiltonian represents the zero-point energy of the electromagnetic field. As in [30], we adopt Casimir's point of view that the vacuum energy represents mean square fluctuations of the fields in the box Λ that exist even in the absence of photons but may produce physically observable effects because they depend on the geometry (shape, size) of the spatial domain containing the field. Accordingly, let f (d) ≡ F (d) L 2 denote the force per unit surface induced by these vacuum fluctuations between two faces of the metallic box at distance d. Since a real metal is characterized by a frequencydependent dielectric function ǫ(ω) such that ǫ(ω) → ∞ as ω → 0, but which tends to the vacuum value ǫ 0 as ω → ∞, namely, when ω ≫ ω a , with ω a a characteristic atomic frequency, high enough frequencies should not contribute to the force. For this reason, we introduce a cutoff function g(ω/ω a ) in the above formula for the zero point energy, such that as well as This means to consider Σ Λ above as given by The cutoff function will be removed at the end by letting ω a → ∞.
Extending the plates to infinity in the y, z directions yields the energy per unit surface Above, q is the two-dimensional wave-number vector in the (y, z)-plane, q = | q|, and we have introduced polar coordinates in the (y, z) plane, with angular sector 2π 4 . The prefactor 2 in u d is due to the two polarization states of the photon an the prime in the sum means that the term n = 0 must have an additional factor 1 2 . With the change of variable q → ω = ω n (q), ωdω = c 2 qdq, u d may be written finally and therefore where A possibility for a cutoff function g satisfying (80) and (81) is to consider, for each finite integer N (this is no restriction, because one may always consider for any given sequence of numbers α i , i = 1, · · · the largest integers N i ≤ α i , i = 1, · · · ) the function g(x) = g N (x) = χ( x N ), where χ denotes the characteristic function of the interval [0, 1], i.e., χ(x) = 1 if x ∈ [0, 1] and χ(x) = 0 otherwise. Recalling, however, the problems mentioned after (79), we are led to adopt the following definition for g instead: with η N defined as in (66), (67). Since ωn(q) ωa ≤ N implies cπn d ≤ N, we may write (83) and (84) in the form where The force between the plates, assuming that the electromagnetic field is entirely enclosed in the cavity, is f d = − ∂ ∂d u d , with u d given by (83) and F replaced by F N . There is, however, also a field in the space external to the cavity: the external face of the plate at d will be subject to a force in the opposite direction due to the vacuum fluctuations in the semi-infinite space to its right, namely which yields By the formula for u d just preceding (83), the corresponding energy per unit surface is as d → ∞, up to negligible corrections which are discarded. Note that this Ansatz amounts to normalize the force in such a way that a single plate in infinite space feels no resulting force. Define, thus, the total energy u t per unit surface by By (83) and (89), it is given by Our main result is the following theorem, which is an application of Tao's method to a less trivial case then (65), i.e., in which the relevant function f is not a polynomial: where B 4 is a Bernoulli number (13).
Proof. Let λ ≡ πc dωa By (86), Above, as before, the superscripts denote the order of the derivatives. From the above formulas, we find that F where, from the above explicit formula for F N , The explicit formula for F Inserting (96) and (97) into (95), and taking into account the normalization (67), we obtain from which, together with (92), (94) follows.
We have shown that Tao's method of smoothed sums yields the correct formula (94) for the total energy density for the simplest Casimir effect, of perfectly conducting parallel plates. Most proofs of this effect use the Euler-MacLaurin formula, and write (94) in the form (see, e.g., [31], p.171, (13.121), for a recent reference). If u t were a known function, the r.h.s of (99) would be its usual asymptotic expansion, which would determine it with any degree of precision. If, however, nothing is known about the l.h.s. -as is the case with the Casimir effect -the r.h.s. of (99) must be taken as the definition of u t , and then Wightman's Observation A applies. Indeed, by this definition, u t = +∞, since the O(d −4 ) term in (99) indicates that one is supposed to sum the series, which, however, diverges, whatever (nonzero) value of the small parameter is filled in. Due to (75) and (80), every finite approximation to u t is independent of the cutoff g, but the rest diverges as N → ∞. Taking a sufficiently large number of terms, even the sign of u t eventually changes from negative to positive, in analogy to (72) and (73). It is to be remarked that the above-mentioned "residual divergence" is not removed by any process of renormalization, and is, in this respect, quite analogous to the situation in perturbative qed (1), which refers to the renormalized perturbation series (for the gyromagnetic ratio of the electron). It is present in all approaches which use the Euler-MacLaurin series. This does not, of course, mean that these approaches are "wrong": it means that they are not mathematically precise, the issue being one of striving towards a higher level of understanding.
We should like to expand slightly on this important issue, because it touches on the philosophy of science. As Jaffe observes in [32], lesson III, p.7: "Arthur (Wightman) insisted: A great physical theory is not mature until it has been put in precise mathematical form". As discussed in section 2, perturbative qed is also, in a similar way, not mathematically precise, in spite of remaining one of the greatest successes of physics, but, as Lieb observes in [33], "it is as much an enigma as it is a success". One important point in this connection is that perturbation theory provides a wrong picture of the photon cloud which surrounds an electron, see [33] and references given there, as well as [34] and [35].
What can be said, in analogy, about the Casimir effect? It is, certainly one of the very few nonperturbative (in the sense of being presumably exact) effects of qed. As remarked in [31], p. 170, together with blackbody radiation, it provides the most direct (experimental) evidence for the quantum nature of the Maxwell field (to which one might add the phenomenon of spontaneous emission, see [14]). On the theoretical side, there are strong conceptual arguments which require that the electromagnetic field be quantized [36]. In this same paper, Bohr and Rosenfeld point out that the square of the fields at a single point, such as in the first expression for the vacuum energy Σ Λ , are ill-defined. In fact, as discussed in [14], p. 33, what we measure by a test body is the field strength averaged over some small region about a point: fields are what is termed operator-valued distributions, a notion which is basic to the axiomatic (or general) theory of quantized fields, according to which only the so-called Wick dots : ( E( x)) 2 : exist [37]. Building on this notion, a few different approaches to the Casimir effect, which do not use the Euler-MacLaurin series (see [38], [39], [40]), arrive at the same result independently. Of particular interest is the paper [39], which uses the image method in a field theoretic context and arrives at (94) by summing a convergent series. These different conceptual formulations are free of infinities, even of these mentioned in connection with (99), but they are rather special, in contrast to Tao's formulation, which is quite general: there, the would-be rest in (99) disappears in the limit N → ∞ (see Theorem 3.1).
In conclusion, the previously mentioned references, as well as Theorem 3.1, are mathematically precise statements of the Casimir effect. In different ways, they introduce a "smoothing", which has its roots in the previously discussed singular nature of the quantum fields. This "smoothing" is familiar from distribution theory, which is one of the basic mathematical pillars of classical mathematical physics [41]. Coming back to sequences and series of functions, as in section 2, consider the sequence of infinitely differentiable functions f j (x) ≡ sin(jx), j = 1.2, · · · It certainly has no limit in the sense of functions, but let φ be an infinitely differentiable function, equal to zero outside the set [−π, π]. A partial integration shows that where the prime indicates differentiation. Thus, lim j→∞ (T j , φ) = 0. Similarly (see, e.g., [42], Chap. 3, p.36), it may be shown that the series is such that lim that is, "δ j " is a "delta-sequence": the r.h.s of (100) becomes more and more concentrated around the point x = 0 as j grows large, but the "distributional limit" (101) does exist. That is, a smoothing around the singular point x = 0 enables the limit to exist. In analogy, with (95) and (97), This means that a smoothing of the "steps" at each integer N also enables the limit N → ∞ in Theorem 3.1 to exist. Since the derivative of the step function is a "delta function" in the sense of distributions (see, e.g. [41], p. 82), the two notions are related.
We now come to more general nonperturbative approaches, in which the singular nature of quantum fields also plays a major role.

General aspects of nonperturbative quantum fields: Wightman axioms for interacting quantum fields, dressed particles in a charged sector and unstable particles
We shall try to keep with the general objective of remaining at the theoretical physicist's mathematical level ( [43], [2]). The theory will be defined by its vacuum expectation values (VEV) or n-point Wightman functions of a (for simplicity) scalar field A(x): W n (x 1 , · · · , x n ) = (Ω, A(x 1 ), · · · , A(x n )Ω), where Ω denotes the vacuum. Because of the previously mentioned singular nature of the quantum fields A(x), the A(x) are not (operator-valued) functions of the space-time variables x = (x 0 , x), but rather functionals, denoted by A(f ), which may be heuristically pictured as "smeared" objects dxf e.) positive-definiteness, then they are the vacuum expectation values of a field theory satisfying the so-called Wightman axioms, except, eventually, the uniqueness of the vacuum state. We refer to [13] for an account of Wightman theory; see also [37].
We shall assume a.)−e.) for the n-point functions of the observable fields, with, in addition, the following requirement f.) interacting fields are assumed to satisfy the singularity hypothesis (the forthcoming Definition).

The Källén-Lehmann representation
In a non-perturbative framework, there exists a theory of renormalization of masses and fields, which "has nothing directly to do with the presence of infinities" ([2], p. 441, Sect. 10.3). We adopt a related proposal, which we formulate as previously mentioned, for simplicity, for a theory of a selfinteracting scalar field A of mass m satisfying the Wightman axioms, assumed to be an operator-valued tempered distribution on the Schwartz space S.
The following result is the spectral representation of the two-point function W 2 ([2], p. 457): where Ω denotes the vacuum vector, x = (x 0 , x), and is the two-point function of the free scalar field of mass m • . It is further assumed that The spectral measure ρ may be further decomposed in the sum of a discrete and a continuous part where σ is a continuous measure and

The Singularity Hypothesis
One of the most important features of relativistic quantum field theory is the behaviour of the theory at large momenta (or large energies). Renormalization group theory [57] has contributed a significant lore to this issue (even if none of it has been made entirely rigorous): it strongly suggests that the light-cone singularity of the two-point functions of interacting theories is stronger than that of a free theory: this is expected even in asymptotically free quantum chromodynamics, where the critical exponents are anomalous. We refer to this as the "singularity hypothesis", which will be precisely stated in the next section. This hypothesis is also verified in each order of perturbation theory (if the interaction density has engineering dimension larger than 2).

Steinmann Scaling Degree and a theorem
In order to formulate the singularity hypothesis in rigorous terms, the Steinmann scaling degree sd of a distribution [44] is a natural concept: for a distribution u ∈ S ′ (R n ), let u λ denote the "scaled distribution", defined by As λ → 0, we expect that u λ ≈ λ −ω for some ω, the "degree of singularity" of the distribution u. Hence, we set with the proviso that if there is no u satisfying the limiting condition above, we set sd(u) = ∞. For the free scalar field of mass m ≥ 0, it is straightforward to show from the explicit form of the two-point function in terms of modified Bessel functions that (see, e.g., [43], (5.15)). In (109), and the forthcoming equations, we omit the mass superscript.
Definition 4.1. We say that the singularity hypothesis holds for an interacting scalar field if sd(W + ) > 2 .
In [11], it was proved that: If the total spectral mass is finite, i.e., i.e., the scaling degree of W + cannot be strictly greater than that of a free theory, and thus, by Definition 4.1, the singularity hypothesis (110) is not satisfied. The importance of the above theorem, and especially of its corollary is that it provides a mathematical foundation for the forthcoming interpretation of the condition In this sense it is a complement to the foundations of quantum field theory. In order to understand why this is so, we have to make a brief interlude.

The ETCR hypothesis and its consequences for the singularity hypothesis
For the purposes of identification with Lagrangian field theory, one may equate the A(.) of (103) with the "bare" scalar field φ B Under the same condition (115), the assumption of equal time commutation relations (ETCR) for the physical fields may be written (in the distributional sense) Together with (103) and (116), one obtains ( [43], (9.19), [2], (10.7.18) (suitably modified by the factor 1 Z ): Formula (117) has been extensively used as a heuristic guide, even, for instance, by the great founders of axiomatic (or general) quantum field theory, Wightman and Haag. Indeed, in [45], p. 201, it is observed that " ∞ 0 dρ(m 2 • ) = ∞ is what is usually meant by the statement that the fieldstrength renormalization is infinite". This follows from (117), with "fieldstrength renormalization" interpreted as 1 Z . The connection with the singularity hypothesis comes next ( [45], p. 201), with the observation that, by (103), W 2 will have the same singularity, as (x − y) 2 = 0, as does ∆ + (x − y; m 2 ). As for Haag, he remarks ( [46], p. 55):"In the renormalized perturbation expansion one relates formally the true field A phys to the canonical field A (our notation) which satisfies (114), where Z is a constant (in fact, zero). This means that the fields in an interacting theory are more singular objects than in the free theory, and we do not have the ETCR." Both assertions seems to substantiate the conjecture that Z = 0 is expected to be a general condition for interacting fields. In this connection, we have the following direct consequence of Corollary 4.3: It follows from Corollary 4.3 and Corollary 4.4 that the two definitions of Z, in (106) and in (117) are not equivalent. Since the ETCR, which implies (117), is not generally valid for interacting fields, as briefly reviewed in the forthcoming paragraph, we conclude that the singularity hypothesis opens the possibility of the non-universal validity of (113).
The hypothesis of ETCR has been in serious doubt for a long time, see, e.g., the remarks in [13], p. 101. Its validity has been tested [47] in a large class of models in two-dimensional space-time, where it was definitely proved not to hold in the case of the Thirring model [7] for large coupling. The only case found in [47] in which the ETCR holds was the Schwinger model, which is known [51] to be equivalent to a canonical theory of a massive vector field! A nother interesting case of canonical behavior were the canonical interacting quantum fields on two-dimensional de Sitter space [48], where, however, the canonical character was intrinsically due to the geometry of de Sitter space.
Although, when 0 < Z < ∞, Z is interpreted as the non-perturbative field strength renormalization, relating "bare" fields to physical fields, as in (114), the remaining case (113) remains to be understood. As stated in ( [2], pg. 461), "the limit Z = 0 has an interesting interpretation as a condition for a particle to be composite rather than elementary". This brings us to our next topic. 5 A proposal for the meaning of the condition Z = 0: the presence of massless and unstable particles In the presence of massless particles (photons), Buchholz [12] used Gauss' law to show that the discrete spectrum of the mass operator is empty. Above, P 0 is the generator of time translations in the physical representation, i.e., the physical hamiltonian H, and P is the physical momentum. This fact is interpreted as a confirmation of the phenomenon that particles carrying an electric charge are accompanied by clouds of soft photons. Buchholz formulates adequate assumptions which must be valid in order that one may determine the electric charge of a physical state Φ with the help of Gauss' law Φ, F ν,µ denotes the electromagnetic field observable, and (119) is assumed to hold in the sense of distributions on S(R n ). When endeavouring to apply Buchholz's theorem to concrete models such as qed 1+3 , problems similar to those occurring in connection with the charge superselection rule [49] arise. The most obvious one is that Gauss' law (119) is only expected to be valid (as an operator equation in the distributional sense) in non-covariant gauges, the Coulomb gauge in the case of qed 1+3 , but not in covariant gauges [49]. If we adopt the present framework, our option is to use the Coulomb gauge and to define the theory in terms of the n-point Wightman functions of observable fields, i.e., gauge-invariant fields, thus maintaining Hilbert-space positivity. The hypotheses of Buchholz's theorem are then in consonance with the requirements of Wightman's theory [13], and are applicable to qed 1+3 .
with m e the renormalized electron mass, according to conventional notation. Recalling (120), we have the following immediate corollary of Buchholz's theorem: Corollary 5.1. For qed 1+3 in the Coulomb gauge, assuming it exists in the sense of the framework of this section and satisfies the assumptions of Buchholz's theorem, the following condition holds: and Above, Ψ denote observable fermion fields, which we assume to exist as a generalization of those constructed by Lowenstein and Swieca [51] in qed 1+1 , see also [52] for a similar attempt in perturbative qed 1+3 . In the words of Lieb and Loss [34]), who were the first to observe this phenomenon in a relativistic model of qed, "the electron Hilbert space is linked to the photon Hilbert space in an inextricable way". Thereby, in this way, "dressed photons" and "dressed electrons" arise as new entities.
In order to stress the practical effects of the confusion of the two definitions of Z in the literature, when the ETCR is assumed (including [2]), it should be remarked that the first reference given by Weinberg on a model for unstable particles [53] assumes (what ammounts to) m C ≤ 2m instead of (123) (that is, we are in the stability range!), and finally obtains Z = Z C = 0! This is solely due to the "double definition" of the non-perturbative wave function renormalization constant! We now come back to Weinberg's suggestion that the condition Z = 0 describes unstable particles.
Turning to scalar fields for simplicity, we consider the case of a scalar particle C, of mass m C , which may decay into a set of two (for simplicity) stable particles, each of mass m. We have energy conservation in the rest frame of C, i.e., with m i = m, i = 1, 2, and q i the momenta of the two particles in the rest frame of C: In order to check that Z = Z C = 0 when (123) holds, while 0 < Z < ∞ is valid in the stable case m C < 2m, in a model, we are beset with the difficulty to obtain information on the two-point function.
There exists a quantum model of Lee type of a composite (unstable) particle, satisfying (123), where (113) was indeed found, that of Araki et al. [54]. Unfortunately, however, the (heuristic) results in [54] have one major defect: their model contains "ghosts". A very good review of the existent (nonrigorous) results on unstable particles is the article by Landsman [55], to which we refer for further references and hints on the intuition behind the criterion (113).
In the next section we come back to a set of models for atomic resonances and particles, which might support the suggested picture of quantum field theory in terms of "dressed" and unstable particles, and in the last section we discuss the crucial conceptual issues and difficulties associated with this program, comparing it with alternative approaches.
6 Models for atomic resonances, unstable and "dressed" particles: what distinguishes quantum field theory from many-body systems?
In [5] the model below -the Lee-Friedrichs model of atomic resonances -was revisited. Its Hamiltonian may be written with and The operators act on the Hilbert space where F denotes symmetric (Boson) Fock space on L 2 (R 3 ) (see, e.g., [56]), which describes the photons. We shall denote by (·, ·) the scalar product in H. Formally, a(g) ≡ d 3 kg(k)a(k), and k denotes a three-dimensional vector. The † denotes adjoint, σ ± = σx±σy 2 , and σ x,y,z are the usual Pauli matrices. The operator commutes with H. We write and introduce the notation H l ≡ P l HP l (130) H l is the restriction of H to the subspace P l H. Let in addition Then the one-dimensional subspace P 0 H consists of the ground state vector with energy zero, where denote the upper |+) and lower |−) atomic levels, and |Ω) denotes the zerophoton state in F . Note that Φ 0 is also eigenstate of the free Hamiltonian H 0 , with energy zero, and we say therefore that the model has a persistent zero particle state. We shall refer to the model described by (124) We shall refer to the ensuing model as with the further correspondences where |0) denotes the fermion no-particle state, Model 1 becomes the usual Lee model for particles, and Model 2 a "refined" Lee model for particles; we refer to them as Model 3 and Model 4 respectively. There is one big difference, however, between the atomic resonance case and the particle case.
In the former case, the function g in (126) or (134) is square-integrable, and, indeed, the physical dipole-moment matrix elements provide natural cutoffs, so that neither infrared nor ultraviolet problems arise. In the latter case, however, one aims at the pointwise limit g(k) → 1, which should lead to an euclidean-invariant theory. This step is delicate and requires mass and wave function renormalizations. To the particle versions, Model 3 and Model 4, assuming they are well-defined, the forthcoming framework is applicable. Let a theory of a scalar field of mass m > 0 be invariant under the euclidean group, that is, the group of translations and rotations of euclidean space x → R x + a, where R denotes a rotation. By Haag's theorem ( [45], p. 249), in a euclidean field theory which uses the Fock representation, the no-particle state Ψ 0 is euclidean invariant, i.e., We have the Proof. We have that (Ψ, H( x)H( y)Ψ) depends only on x − y, so that according to whether HΨ = 0 or ||HΨ|| = ∞, that is, H must annihilate any translation-invariant state to which it is applicable.
Choosing Ψ = Ψ 0 in the Fock representation, it follows from theorem 6.1 together with the consequence of Haag's theorem (135) that H can be applied to the no-particle state only if it annihilates it. The above was extracted from [45], p. 250, and to make it entirely rigorous (136) should be written as a limit of the "smearing" of H with smooth functions. This result may be applied to Model 3 (assuming the renormalizations performed such that the pointwise limit can be taken, leading to an euclidean invariant quantum field theory), with the no-particle state identified to the state given by Ψ ≡ |Ω) ⊗ |−), in and |Ω) the no-particle photon state: HΨ = 0. We say that there is no vacuum polarization. On the other hand, for Model 4, Ψ does not belong to the domain of H due to the term σ + a † (g) in (134), which, in terms of fermion operators equals V + Na † (g), and V + N|−) = |+). In the case there is vacuum polarization, theorem 6.1 implies that there exists an "infinite energy barrier" between the Fock no-particle state and the true vacuum: non-Fock representations are required, that is, the "physical" Hilbert space is not unitarily equivalent to Fock space.
All this been said, Model 3 turns out, very unexpectedly, to be afflicted by "ghosts", i.e., states of negative norm (see [43], Chap. 12). We say unexpectedly, because the occurrence of "ghosts" in relativistic quantum field theory is known to be a consequence of the use of manifestly covariant gauges (see [57]), and the Lee model is not relativistically invariant. Note, however, that in the Schwinger representation the "fermions" V and N are two states of an infinitely heavy (spinless) fermion, i.e., there is no recoil ! Of course, this is a highly unphysical assumption. One may consider, however, the model with recoil, describing the interaction between the photon field and two particles V and N , with energies E V (p) = (M 2 +p 2 ) 1/2 and E N (p) = (m 2 +p 2 ) 1/2 , and interaction energy H I = d 3 pd 3 kg(p, k)[V † (p)N(p − k)a(k) + h.c. ]λ, with λ proportional to the charge, and g(p, k) ≡ f (p, k)[8E V (p)E N (p − k)ω(k)] −1/2 , ω(k) = (µ 2 +k 2 ) 1/2 , the latter representing the (eventually massive) "photon" energy. This model is well-defined and free of "ghosts" in the pointwise limit f → 1, the latter taken in a careful way, according to a renormalization prescription. This was proved by Yndurain [58] in a seldom cited, but very important paper. Thus, the pathologies associated to the original Lee model just have to do with neglecting recoil! We henceforth refer to the Yndurain versions of models 3 and 4 as Model 3Y and Model 4Y.
Model 2 (for zero temperature, as a model of atomic resonances) may be the simplest prototype of a model with vacuum polarization. Model 3Y should be suitable to study the criterion Z = 0 for unstable particles. The subtlest point in this connection is the fact that the term proportional to the delta measure in (106) has coefficient Z, and in its absence, due to the condition Z = 0, the (renormalized) mass seems to remain undetermined. One must, therefore, be able to determine the renormalized mass uniquely from alternative general conditions on the Hamiltonian, such as the requirement that it be self-adjoint and bounded below.
We close this section with some remarks of what distinguishes quantum field theory from many-body systems. The latter are characterized by an interaction Hamiltonian where V denotes the interaction potential, σ and σ ′ spin indices and Ψ are boson or fermion quantized operators (see, e.g., [56], p. 110). The interaction term, and consequently the whole Hamiltonian, annihilates therefore the no-particle state (Fock vacuum). In contrast, quantum field theories display in general vacuum polarization, as typified by Model 4Y, which is an approximation of the usual trilinear coupling terms which occur in qed and also in quantum chromodynamics (qcd), as a consequence of relativistic invariance and the gauge principle (see [2], [57]). Coupled with Haag's theorem and theorem 6.1, this implies non-Fock representations, as previously discussed. This is a further manifestation of the singular nature of quantum fields. Of course, the above reference to many-body systems concerns a finite number of particles. For nonzero density, i.e., an infinite number of degrees of freedom, non Fock representations arise even in the case of free systems, by a well-known mechanism ([59],section 2.3). What we wished to emphasize is that in the case of quantum field theories, such representations arise due to a particular reason, namely, vacuum polarization.

Conclusions
In this review, we focused on the foundations of quantum field theory, which is still believed to be the most fundamental theory, describing in principle all phenomena observed in atomic and particle physics. Unlike quantum mechanics, however, its foundations are still not cleared up. We attempted to describe how some novel approaches lead to a unified picture, in spite of the fact that several difficult open problems remain. The solution of some of them seems to be nontrivial, but feasible. Many other problems demand new ideas, however.
The first issues concern relativistic quantum field theories, such as qed or qcd. They have been discussed in Sections 3 and and 4, after a pedagogic review of asymptotic and divergent series in Section 2.
The fact that divergent series, even if asymptotic, do not define a theory mathematically, was emphasized in the case of qed; see, in particular, (24)- (26). From the latter, we see that even the assumption that renormalized perturbation series, such as (1), is the asymptotic series of an unknown function, which is probably true and explains the dazzling success of perturbative qed, cannot hold for qcd, where a rough dimensionless measure of the coupling constant is of order 1 − 10. The improved perturbation theory deriving from renormalization group arguments and asymptotic freedom in qcd (Reference [57], Ch. 18.7) has no comparable experimental consequences.
We, therefore, turned our attention to nonperturbative phenomena, one of the very few (in qed) being the Casimir effect, for simplicity in its simplest form, that of perfectly conducting parallel plates in the vacuum. We showed in Section 3 that Tao's method of smoothed sums [17] eliminates the "residual infinity" present in the Euler-maclaurin series for the energy density of the field (Theorem 3.1). This smoothing of the series is a new method of accounting for the singular nature of quantum fields, which are not pointwise defined.
Going beyond specific models or effects, we reviewed in Section 4 a recent novel criterion to characterize interacting theories in the Wightman framework [11]. Here, a different aspect of the singular nature of quantum fields is touched upon: the nature of the singularity of the two-point Wightman function at small distances. Using the Källén-Lehmann representation of the two-point function W + and the Steinmann scaling degree [44] sd, we propose to characterize interacting Wightman theories by the requirement sd(W + ) > 2. We were then able to prove a Theorem 4.2 which states that, in an interacting Wightman theory, the total spectral mass which occurs in the Källén-Lehmann representation is infinite. This allows us, in turn, to state that, contrary to previous belief, the nonperturbative wavefunction renormalization constant Z is not universally equal to zero. We then interpret the condition Z = 0 in section 5 in a two-fold way: it is either due to the nonexistence of a pure point part in the mass spectrum in charged sectors in theories, such as qed, due to infraparticles (electrons with their photon clouds), or to the existence of unstable particles, as conjectured by Weinberg (Reference [2], p. 461. We believe that this new approach is connected with the theories of "dressed" photons and electrons in Reference [35,34]. In qcd, the gluons being massless, a similar phenomenon as discussed in the last paragraph should be expected: an interacting theory of "dressed" quarks and gluons. It has been suggested by Casher, Kogut and Susskind [60], and Swieca [61] that massless qed 1+1 contains what is desired of a theory of quark confinement, in the sense that under short distance probing the theory behaves as if it contained particles which do not manifest themselves as physical states: in that limit one recovers a theory of free (massless) electrons and photons. For large distances, the electrons completely disappear from the picture, giving rise to massive photons, by "Bosonization" (an extreme form of the "dressing" phenomenon). In Reference [11], we formulated a precise criterion for confinement which applies to qed 1+1 and which, generalized to qcd (under assumptions on the leading infrared singularity of the gluon propagator), yields a surprisingly realistic picture of confinement and asymptotic freedom.
We should like to mention a recent alternative approach, due to Buchholz and Fredenhagen (Reference [62] and references given there). There the assumed existence of a time-arrow yields a novel approach, centered on an interesting, non-commutative structure of dynamical algebras inspired by scattering theory. An early reference which treats unstable particles in the spirit of open systems, associated to a dynamical group (the Poincaré semigroup), is the paper by Alicki, Fannes, and Verbeure [63]. Sewell's book [64] also deals with the emergent macrophysics originating from quantum mechanics, albeit not in the realm of quantum field theory.
More directly aimed at gauge theories is the theory of string-localised fields, due to Mund, Schroer and Yngvason, which has some points of contact with the present approach, specifically the insistence on positivity, i.e., "ghostless" theories. The theory has recently progressed considerably through a deep analysis of Gauss' law in that connection, see [65] and references given there to the previous literature. A theory of quantum fields in de Sitter space has been developed in recent years by Jaekel, Mund and Barata. It is particularly interesting because of its connection to thermal aspects of quantum fields, as early realized by Narnhofer, Peter and Thirring [66]. We refer to [48] for some recent references.
In addition, an important perturbative algebraic quantum field theory has been developed in the last twenty years. Its recent application to the sine-Gordon model [67] actually yielded a convergent series, which marks the success of this approach: we refer to [67] to references to the previous extensive literature. An earlier treatment of integrable two-dimensional models, with several novel structural features, both conceptual and technical, is due to Lechner and collaborators, see the review by Alazzawi and Lechner [68] and references given there.
In spite of the fact that the convergence of the perturbation series for models such as the massive Thirring-Schwinger model (qed 1+1 ) is well-known since the early days of constructive quantum field theory (1976) [69], it is important to emphasize that no singular point fields appear in the functional analytic approach of [67], so that it may be expected that this new method, invented by Fredenhagen, may be able to cope with physically relevant models in the future, such as gauge theories in four space-time dimensions.
Concerning the latter, since the gluons are, as the photon, massless, we are proposing a picture of interacting gauge theories as composed of "dressed" quarks and gluons, or dressed electrons and photons, for qed. The latter has been suggested by Lieb and Loss [34] and Jaekel and myself [35], and we suggested further that this picture is characterized by the condition Z = 0 [11]. Unfortunately, even in qed 1+3 this involves a construction of fermion observable fields which has not even been achieved in perturbation theory [52]. This project is therefore very difficult for qed, and the self-interactions of the gluons in qcd make it even much more difficult there. We feel, however, that it contains a "grain of truth": in particular, Lieb and Loss provide convincing arguments to the effect that description by "dressed" photons is the more natural one in their relativistic model of qed, while we relate this phenomenon to the non-Fock structure of the representations (when the ultraviolet cutoff is removed). The latter appear in connection with a generalization of the transformations analized by Wightman and Schweber [70] which occur in qed 3+1 in the Coulomb gauge [35]. Therefore, from our point of view, a first step would be a study of a simpler model displaying vacuum polarization. The simplest such is Model 2.
Although the Lee-Friedrichs model is very old (see [5] and references given there), it is one of the few approximations to relativistic quantum field models which preserve some basic physical features. This may be due to the fact that its space dimension is three, and that it retains the trilinear coupling familiar from relativistic theories. We proposed in Section 6 that the main feature distinguishing quantum field theory from many-body systems is vacuum polarization. When the theories are euclidean invariant, Haag's theorem, together with theorem 6.1 provides a way to distinguish Model 3Y from Model 4Y (the letter Y refers to the important work of Yndurain [58], who showed that the "ghosts" in the Lee model were solely due to neglecting recoil). We believe that Model 3Y is suitable to verify the prediction Z = 0 for unstable particles. Model 4Y seems at present beyond any control, but understanding Model 2, which is relevant to atomic resonances, would be an enormous advance towards grasping the main features of vacuum polarization. It should be noted that Herbert Fröhlich's electron-phonon theory [71] is a true quantum field theory with vacuum polarization, and the failure of being able to handle it may well be the "penalty" for the problems found in BCS theory [64]. The study of Model 1 in [5] shows clearly that the fieldtheory interaction through emission and absorption of (virtual) particles is of qualitatively different nature from potential theory: in particular, the regeneration of the unstable state from the decay products is a virtual quantum phenomenon analogous to tunneling in potential theory which is, however, not present in potential theory. In the case of atomic resonances, Model 1 even accounts even for subtle physical aspects, such as the fact that the natural line width of Lamb states is much smaller than the corresponding (Lamb) shift, essential for the observability of the latter [5]: this is an example of the physical features mentioned in the beginning of this paragraph.