Arxiv:1904.10923V1 [Hep-Ph] 24 Apr 2019 Times
Total Page:16
File Type:pdf, Size:1020Kb
A new approach to the LSZ reduction formula John Collins∗ Department of Physics, Penn State University, University Park PA 16802, USA (Dated: 24 April 2019) Lehmann, Symanzik and Zimmermann (LSZ) proved a theorem showing how to obtain the S- matrix from time-ordered Green functions. Their result, the reduction formula, is fundamental to practical calculations of scattering processes. A known problem is that the operators that they use to create asymptotic states create much else besides the intended particles for a scattering process. In the infinite-time limits appropriate to scattering, the extra contributions only disappear in matrix elements with normalizable states, rather than in the created states themselves, i.e., the infinite- time limits of the LSZ creation operators are weak limits. The extra particles that are created are in a different region of space-time than the intended scattering process. To be able to work with particle creation at non-asymptotic times, e.g., to give a transparent and fully deductive treatment for scattering with long-lived unstable particles, it is necessary to have operators for which the infinite-time limits are strong limits. In this paper, I give an improved method of constructing such operators. I use them to give an improved systematic account of scattering theory in relativistic quantum field theories, including a new proof of the reduction formula. Among the features of the new treatment are explicit Feynman rules for the vertices corresponding to the creation operators, both for the LSZ ones and for the new ones. With these I make explicit calculations to illustrate the problems with the LSZ operators and their solution with the new operators. Not only do these verify the existence of the extra particles created by the LSZ operators and indicate a physical interpretation, but they also show that the extra components are so large that their contribution to the norm of the state is ultra-violet divergent in renormalizable theories. Finally, I discuss the relation of this work to the work of Haag and Ruelle on scattering theory. I. INTRODUCTION to infinity does not help. This will be illustrated in Sec. IX C with the aid of explicit perturbative calculations. The reduction formula of Lehmann, Symanzik and Moreover, we will see that, the extra contributions are Zimmermann [1] (LSZ)1 is very important for applica- not merely nonzero, but in a renormalizable QFT are tions of quantum field theory (QFT) to experiment be- also generically ultra-violet (UV) divergent, as measured cause it shows how to compute S-matrix elements from by the norm of the state that is created. time-ordered Green functions, including the correct ex- In the restricted context of the matrix elements used to ternal line factors. obtain the S-matrix, a careful application of the infinite- Unfortunately, there are some problems, as was real- time limits, as in the LSZ paper, does remove the extra ized a long time ago | see the papers by Haag [4, 5], Ru- contributions. This can be characterized [4, 6] by saying elle [6], and Hepp [7]. The problems do not in fact impact that the limits used by LSZ are weak limits, but not the validity of the reduction formula itself, or even the strong limits. (See App. A for characterization of these validity of LSZ's proof. Instead, the problems manifest concepts, together with summaries of methods by which themselves when one tries extending the LSZ methods to it can be determined which kind of limit is applicable in more general situations. As we will see, such cases oc- particular cases.) y cur quite dramatically when the operators used by LSZ In contrast, for an operator Af (t; ∆t) that actually to create asymptotic particles are applied in experimen- does asymptotically create a single particle only, then tally relevant situations at finite times instead of infinite the strong limit exists. As indicated by the notation, it will be useful to introduce an extra parameter ∆t that arXiv:1904.10923v1 [hep-ph] 24 Apr 2019 times. More explicitly, suppose we are given a single-particle is a range of time involved in defining the operator; its positive-energy wave function2 f(x). Then LSZ define a inverse is essentially an uncertainty in energy. The oper- y ator creates a single particle in the limit3 ∆t . Its time-dependent operator af (t) that is intended to create ! 1 a single particle in the in-state or the out-state in the limit that t or t + , with the particle's state ! −∞ ! 1 3 y corresponding to the wave function f. However, when At finite times Af (t; ∆t) does create extra contributions in ad- one of these operators acts on the vacuum, what is cre- dition to the intended single particle. The extra contributions ated is a lot more than the intended particle; taking time vanish in the limit that ∆t ! 1. Therefore they are small if ∆t is large enough. The smallness of the extra contributions is what can allow the application to unstable particles, etc. Notice that to ensure that the operator creates one particle to a good ap- ∗ [email protected] proximation, it is ∆t that needs to be large, not t itself. That is 1 Other useful references for proofs following LSZ's strategy are in suitable for creating a particle in a chosen finite region of space- Refs. [2, 3] time. It might be within an experimental apparatus instead of 2 See Sec. VII for a specification of what is meant here. being infinitely far away. 2 application to creating particles in a scattering process One advantage of the new formulation is that once y involves taking both t and ∆t to infinity in such a way the new definition of Af (t; ∆t) has been provided, then that ∆t= t 0. the derivation of the S-matrix is essentially a straight- j j ! Such an operator allows one to make an adequate treat- forward calculation. The bulk of this paper primarily ment when the strict limits of infinite time are not taken. concerns motivation, examples, and derivations of the Such would be the case for treating long-lived but unsta- prerequisites for performing the calculations. As already ble particles or for a fully deductive treatment of neutrino mentioned, another advantage of the new methods are scattering and oscillations.4 The extra particles created that they allow straightforward extensions to situations by using the original LSZ operator instead of the new op- at non-asymptotic times, e.g., to treat unstable parti- erator would be detected in a suitably located detector. cles. Boyanovsky [12] has recently treated the space-time Textbook treatments given for these situations typ- properties of the decay of unstable particles, and encoun- ically start from the strict infinite-time formalism for tered complications that are closely related to the issues standard scattering. They then graft on something like treated here. In particular, he provides an independent a semiclassical analysis of isolated free particles, with a calculation of the ultra-violet divergence in the state cre- good dose of intuition and hand-waving.5 ated by an LSZ operator. The primary purpose of the paper is to provide an im- Another possible extension is to scattering with mass- proved proof that overcomes the problems just described. less particles. As is well-known, the postulates of stan- y In the LSZ paper, the creation operator af (t) involves dard scattering theory fail in theories with massless par- just an integral over all space, with the field (and its ticles. A fully systematic treatment requires extensions time derivative) being taken at one specific value of time or modifications to the versions of scattering theory that t. It is the use of integrals at fixed time that causes the are valid for massive particles. There is recent interest, problems, essentially by a kind of application of an uncer- e.g., [13, 14], in finding better treatments for the massless 7 tainty principle: A fixed time implies infinite uncertainty case. Off-shell or finite-time Green functions do exist in in energy. such theories. Therefore what is in question is the nature The main innovation applied in the present paper is of the infinite-time limits and their relation to physically y implementable scattering. A strategy for defining good to find a good way of defining the operator Af (t; ∆t), by y finite-time approximations to the creation of single par- averaging af (t) over a range of time. Many conceptual ticles could be very useful to finding a better formulation subtleties then robustly disappear. of the infinite-time limits with massless particles. The Related techniques were used by Haag and Ruelle in 6 formalism presented in this paper is suitable for use in their formulation of scattering theory [4, 6]. But their perturbative calculational examples that can be used to method was formulated somewhat differently, and in test the formulation of general abstract theorems. a way that calculations using their operators difficult. They focused heavily on mathematical aspects of the the- ory as opposed to possible applications. The different II. OVERALL VIEW: STARTING POINT, construction given in the present paper makes its much MOTIVATIONS, STRATEGY easier to treat the asymptotics and allows a simplification of the proof of the reduction formula. The new construc- A. Aims tion provides simple explicit formulas for the new opera- tors both in coordinate space and momentum space. See Sec. XIV for a comparison of the new method with the A primary technical aim is the determination of the S- matrix in a quantum field theory (QFT) from its Green Haag-Ruelle method.