INFORMATION TO USERS

 This manuscript has been reproduced from the microfilm master. UMI
 films the text directly from the original or copy submitted. Thus, some
 thesis and dissertation copies are in typewriter face, while others may
 be from any type of computer printer.

 The quality of this reproduction is dependent upon the quality of the
 copy submitted. Broken or indistinct print, colored or poor quality
 illustrations and photographs, print bleedthrough, substandard margins,
 and improper alignment can adversely affect reproduction.

In the unlikely event that the author did not send UMI a complete
manuscript and there are missing pages, these will be noted. Also, if
unauthorized copyright material had to be removed, a note will indicate
the deletion.

Oversize materials (e.g., maps, drawings, charts) are reproduced by
sectioning the original, beginning at the upper left-hand comer and
continuing from left to right in equal sections with small overlaps. Each
original is also photographed in one exposure and is included in
reduced form at the back of the book.

Photographs included in the original manuscript have been reproduced
xerographically in this copy. Higher quality 6" x 9" black and white
photographic prints are available for any photographs or illustrations
appearing in this copy for an additional charge. Contact UMI directly
to order.

    UMI
    University Microfilms International
    A Bell & Howell Information Company
    300 North Zeeb Road. Ann Arbor. MI 48106-1346 USA
    313/761-4700 800/521-0600


    Order Number 9413621

Quantum scattering theory in the light of an exactly solvable
model with rearrangement collisions

    Varma, Samir, Ph.D.
    The University of Texas at Austin, 1993

    UMI
    300 N. Zeeb Rd.
    Ann Arbor, MI 48106


QUANTUM SCATTERING THEORY IN
   THE LIGHT OF AN EXACTLY
    SOLVABLE MODEL WITH
    REARRANGEMENT
    COLLISIONS

    APPROVED BY
    DISSERTATION COMMITTEE:


QUANTUM SCATTERING THEORY IN
   THE LIGHT OF AN EXACTLY
    SOLVABLE MODEL WITH
    REARRANGEMENT
    COLLISIONS

    by
    SAMIR VARMA, B. S.

    DISSERTATION
   Presented to the Faculty of the Graduate School of
    The University of Texas at Austin
    in Partial Fulfillment
    of the Requirements
    for the Degree of

    DOCTOR OF PHILOSOPHY

  THE UNIVERSITY OF TEXAS AT AUSTIN
    December, 1993

Acknowledgements

    I greatly benefited from the advice, criticism, constant encouragement,
and good humor of my adviser, Prof. E. C. G. Sudarshan, on whose ideas
this work is based, and without whom this would never have been possible.
I would like to thank Eric Myers for his T^X macro package, TgXsis, TqK
macros for Physicists, which made conforming to the thesis requirements
amazingly easy. Thanks are also due to everyone connected with, or sharing
the philosophy of, the Free Software Foundation and the GNU project for
making available all the software anyone could ever want free of charge. I
owe an enormous debt of gratitude to Djordje Minic who cheerfully took on
the unenviable task of teaching some physics to a callow engineer, fresh from
college, to my wife Debora for her continuous encouragement and support,
and to my parents for their support even though they wanted me to be a
lawyer. I also thank Silas Beane for much help and many long and illumi­
nating conversations, and Prof. Charles Chiu for his generous expenditure of
time and effort to help me in clarifying and presenting the ideas. And finally,
many thanks to John, Paul, George, and Ringo, without whom...

   QUANTUM SCATTERING THEORY IN
    THE LIGHT OF AN EXACTLY
    SOLVABLE MODEL WITH
    REARRANGEMENT
    COLLISIONS

    Publication No.

    Samir Varma, Ph.D.
    The University of Texas at Austin, 1993

    Supervisor: E. C. G. Sudarshan

    We present an exactly solvable quantum field theory which allows rear­
rangement collisions. We solve the model and demonstrate the orthonor­
mality and completeness of the solutions, and construct the S-matrix. In
the light of the exact solutions constructed, we discuss various issues and as­
sumptions in quantum scattering theory, including the isometry of the Moller
wave matrix, the normalization and completeness of asymptotic states, and
the non-orthogonality of basis states. We show that these common assertions
do not obtain in this model. The model itself is sufficiently general that it
could be easily used to study physical rearrangement processes.

    - iv Table of Contents

Chapter 1. Introduction and Previous Work.......................................    1

    Introduction.........................................................................................    1

    Redundant Poles and Phase Equivalent Potentials.......................    4

    Discrete States Buried in the Continuum........................................    7

Chapter 2. The Model...............................................................................    11

    The Rearrangement Model    ...............................................................   11

    Solving the Model...............................................................................    13

    Verification of the Solutions...............................................................    20

Chapter 3. Properties of the Model and its Solutions..........................    25

    Orthonormality and Completeness    ..................................................    25

    The Moller Matrix and the Comparison Hamiltonian....................    30

    The S Matrix......................................................................................    32

    Unitarity of the S Matrix..................................................................    39

    Eigenphases of the S Matrix...............................................................    40

Chapter 4. Scattering Theory.................................................................    44

    Potential Scattering............................................................................    45

    Multiple Channel Scattering...............................................................    50

    The Almost Local Formalism...........................................................    57

    _v—

    Putting the “generic” formalisms to the test.................................    61

Chapter 5.    Summary and Conclusions................................................    71

Appendix A. The Lee Model in the Momentum Basis    .....................   74

Appendix B. Some Useful Formulae.......................................................    77

References...................................................................................................    82

Vita.............................................................................................................    86

    — vi —

Chapter 1.
Introduction and Previous Work

Introduction

    Quantum scattering has been an important subject of study since the
early days of quantum physics. Unfortunately, while we have great under­
standing and intuition for simple scattering problems, such as single channel
scattering, we cannot say the same for more general scattering problems
such as multiple channel scattering, rearrangement collisions, field theoretic
scattering, problems where bound states appear, and the like. There have
been many attempts to generalize scattering theory to deal with more com­
plicated cases. However, the literature in this field, though vast, is highly
implicit. Most authors that have dealt with the problem have carried over
intuition developed from the study of single channel potential scattering.
This intuition, while quite adequate for simple problems, is ill-equipped to
deal with more complicated scattering problems. Therefore, it is important
to examine the common claim by some authors, for example Haag [1,2],
that their formalism is general enough to encompass complicated scatter­
ing problems, as well as field theory. Unfortunately, most such formalisms
are based largely on previous results from potential theory. Furthermore,
even when these problems are addressed in quantum mechanical scattering,
field theoretic scattering remains problematical. Many papers, such as the
paper by Gell-Mann and Goldberger [3], treat field theoretic scattering as

    - 1 2
somewhat of an afterthought, without much development from first princi­
ples, or such as the papers by Van Hove [4], treat it as a case for discussion
without any formalism. The first clear development of field theoretic scat­
tering from first principles was the seminal paper by Lehmann, Symanzik,
and Zimmerman [5]. However, contrary to usual belief, the LSZ formalism is
not applicable in many cases, for example, collisions in which stable bound
states appear. This is, in fact, pointed out by the authors themselves.
    All this leads to the question: how many of our results and assump­
tions, and how much of our intuition can we carry over from simple single­
channel potential scattering to more complicated scattering situations? To
attempt to answer this question, we will construct and solve an exactly solv­
able quantum field theory. This model has a three particle sector, and allows
rearrangement collisions. We will use the solutions of this model, along with
previous results, to point out where the existing formalism has defects and
shortcomings.
    Our model, which we shall call the Rearrangement Model, is based on
the Lee Model [6], but with extra particles and couplings chosen in such a
way as to allow rearrangement collisions. The couplings of the model are
B ♦-»    and D <-> CO. This model has a sector, which we shall call the
Rearrangement Sector, BO    CO&    D</>, in which rearrangement collisions
can take place. The model is intrinsically useful, as noted in the abstract,
because it is sufficiently general that it can be applied directly to physical
problems involving rearrangement collisions. We shall, however, leave the
applications to subsequent work.
   We will construct the solutions of this model, and then, in the light of
the solutions we have constructed, will examine various assumptions and
assertions made in the literature about quantum scattering theory. In par­
ticular, we will focus on four key points, that of the isometry [1] of the

    3
Moller wave matrix [7], the normalization [1] and completeness [8] of the
asymptotic states, and the non-orthogonality of the physical BO, C0<j>t and
D</> states [9,10]. We shall show that these assertions do not obtain in this
model. We also comment upon the use of the (renormalized) free Hamilto­
nian in the literature [1,3,8,9,11], rather than the correct prescription, which
is to use the comparison Hamiltonian (see Chapter 4). We shall also discuss
the issues of redundant poles in the S-matrix and discrete states degenerate
with the continuum.
    The plan of this work is as follows. In the rest of this chapter we review
some of the relevant earlier work. In Chapter 2 we introduce the Hamil­
tonian of the Rearrangement Model, show how explicit solutions can be
found for this model in the Rearrangement Sector, and verify that the so­
lutions obtained are, in fact, solutions to our model. In Chapter 3 we show
that the solutions obtained are orthonormal and complete, write down the
Moller Matrix and the comparison Hamiltonian, and show that the com­
parison Hamiltonian is isospectral with the full Hamiltonian, but not with
the free Hamiltonian. Then we calculate the S-matrix of the system in this
sector, demonstrate its unitarity, and calculate its eigenphases. In Chapter
4 we discuss scattering theory and its relation to the solutions that we con­
structed, and to previous work. Finally, in Chapter 5, we summarize our
work and present our conclusions.

    4
Redundant Poles and Phase Equivalent Potentials

    We start by considering whether there exist non-relativistic systems for
which the S-matrix has poles corresponding to redundant states, that is,
states that are unnecessary for the completeness relation. We answer this
question in the affirmative, and find that these states do not satisfy the
Heisenberg relation. Furthermore, there exist phase equivalent systems in
which these redundant poles of the S-matrix correspond to genuine bound
states of the system, and must be included in the complete set of states. We
will follow the development of Biswas, Pradhan, and Sudarshan [12].
    The Heisenberg condition (which is essentially the statement that the
poles of the S-matrix in the upper half plane of the complex momentum
variable, i.e.the physical sheet of the complex energy variable, correspond to
genuine bound states of the system; and a set of states must include these
states before it is a complete set) is:

    (1.1)
    J   OO    „

If one considers a non-relativistic Schrodinger equation with an attractive
potential V(r) = — Voe~a [13], one finds that this condition does not hold.
    We can see this by constructing the S-matrix for this potential. The
Schrodinger wave function vanishing at the origin is

    =    (1.2)
    I   J ip {a)    \    /    \    /j

and the S-matrix is

Here, the J's are Bessel functions, p = 2ak, and a = 2a^-1V2mVo.
   The poles of the S-matrix come from two places, firstly, from    = 0,
and secondly, from the poles of f(l + ip). The poles of F are the ones that

    5
do not correspond to genuine bound states. This is because even though
the vanishing of F(1 + ip) allows non-trivial solutions of the Schrodinger
equation, the wave function vanishes at these points. One can show that
the completeness relation is satisfied without including these states. These
states only manifest themselves through the Heisenberg condition which, for
this potential, must be modified to [14]
    OO    ___    ___   / JC\ ~ 1

 Z    *
    V|cn|2-"l27r^
    e-l

    Furthermore, this is not all one can do. One can construct different
    (1.4)

potentials giving rise to the same S-matrix but with different completeness
relations. For example, consider s-wave scattering by the following potentials:
    e"Xr
    a)   % (r) = -2£A2    0 > 0 > —1, A > 0,   (1.5a)
    (/3e-^ + l)2’
    6(r — a) (r — a)3 — 2y3
    b)   % (r) =------ ----------------- p---- !    (1.56)
    (r - a)3 4- T3
The normalized Schrodinger wave function vanishing at the origin is

    * (W =    I0)/ (-t, r) - / (-4,0) / (4, r)],    (1.6)
    £l\J [K) |
where f(k,r) is the Jost function with asymptotic behaviour

    lim e,fcV(M = 1.    (1.7)
    r—+00

The S-matrix then is

    «

The Jost functions for these two potentials are found to be [13,15]:
    A(t,r) = e-'^ + ^    (1.9=)

    2 _ 12«fc(r-a)a _   12(r-a)

    A(4,r) = e-^-------- 3.    (1.96)

    6
With the proper choice of a and 7, both of these potentials lead to the same
S-matrix,
    +    (1.10)

where v =    < 0. This S-matrix has two poles on the imaginary axis for
complex momenta: one in the lower half plane with k = ^u, v < 0 and the
other in the upper half plane with k = A. The latter pole should correspond
to a bound state, but for the case of potential Vj, it does not because the
wave function for V] vanishes at that point.
    Furthermore, when we do the completeness integrals, we find that the
residue of the integral for Vj at k = |A vanishes, and thus the completeness
condition for that case is just
    [    (kr) 0i (kr1) dk = ê (r — r') ,    (1.11)
    J0
whereas for V2 the completeness condition is
    roo    /;    \   /:    \
    I 0$ (^r) ^2 (kr1) dk = 6 (r - r') — 0J ( -A, r I 02 I xA, r' 1 .   (1.12)
   J0    \    /    \    /

    The Heisenberg condition for the first case, consistent with its complete­
ness condition, should be
    / S(&)e'^dt = 0,    (1.13)
    J—00
whereas on actual computation one finds
    /oo    .
    SWe^dk = -47rA/3eT“,    /3 < 0.    (1.14)
    -00

This violation is due to the presence of the redundant state. For the second
potential, the Heisenberg condition is the same as the first potential, and is
completely consistent with its completeness condition.
   Another example is that of the model of [12]. This is a separable potential
model, and the S-matrix of this model has two redundant poles. However,

    7
it is possible to construct a Lee Model that has the same S-matrix, but in
which these poles correspond to genuine bound states, and are absolutely
necessary for completeness. See [12] for details.

Discrete States Buried in the Continuum

    We next consider whether it is possible to have a system which has one or
more normalizable discrete states with energies that overlap the continuum.
We again answer this question in the affirmative. We follow the development
of Sudarshan [16].
    A simple example of a system admitting one normalizable discrete state
with an energy that overlaps the continuum is given by a Friedrichs-Lee type
model. Its Hamiltonian is

    H = ao^aom + ^2a^ajWj +    .    (1.15)
    i    i
The number operator
    N = aJaQ + Y^ai    (1.16)
    i
is a constant of the motion having non-negative integer eigenvalues. We
restrict ourselves to the sector with N = 1, and specify the state with the
amplitudes    and ^y. We now let the index j take on continuous values
with the corresponding natural frequencies taking the continuum of values
0 < W < oo. The states are then represented by a vector with a component
^0 and a function ^(W). The scalar product of two vectors    and   is

    (tM) = r dW^W)<HWVW(h    (1.17)
    Jo

    8
and the Hamiltonian acts on the vectors in the following manner:

    (#0)o = m^0+ r dW (1.18a)
    Jo
    W)(W’) = /(W’)^o + W’^(W).    (1.186)

We can now solve the model in the usual manner to get the continuum
eigenvectors

    * =

where
    a(Z) = Z — m — f dW (Z - W)-1 f ( W).    (1.20)
    Jo
    The model has a discrete state, as usual, if m is such that
    /-oo
    a(0) = -m+ /    dW W"1/2 (W) > 0.    (1.21)
    Jo
Then there exists a real negative number, M, such that

    a(M) = 0,    (1.22)

and so we have a discrete state with the eigenvector

    (L23 a)

The continuum solutions, Eqs. (1.19), are complete unless a(M) = 0 pro­
vided that f(W) is non-vanishing in 0 < W < oo. If such a zero exists, then
we must include Eqs. (1.23) for completeness.
   If /(W) is non-vanishing for all W in the range 0 < W < oo then we
cannot have a discrete eigenvalue for M > 0. Since we want a discrete

    9
eigenvalue, we allow f(W) to have one zero in this domain; consequently,
a(Z) can have a zero in this range. Therefore, we take f(W) to be such that

    f(M) = 0,    a (M) = 0,    (1.24)

and then there is a discrete solution of the form of Eqs. (1.23) with M > 0.
This eigenvalue is degenerate; in addition to Eqs. (1.23) there is a nonnormalizable solution belonging to the continuum with

    = 6(M-W),    Vo = 0,    (1.25)

which corresponds to a plane wave solution.
    This model admits only one such “buried” discrete solution because the
real part of o'(Z) is non-negative along the real axis and so a(Z) can have
at most one zero. If one is interested in more than one such state, one must
generalize this model. Such a model is a straightforward generalization of
Eq. (1.15) constructed by taking
    H = ^2 aa^aama +    ^ajWj +    faj (°Paa +    ,    (1.26)
    a    j    aj

and proceeding to the continuum limit, 0 < W < oo, for Wj. The states
are now represented by vectors with discrete components Va and a complex
valued function V(^)- For this case, one finds simultaneous linear inhomo­
geneous equations for the eigenvectors

    (A — mJ Va =    ^0 + A (A) 0 (A),    (1.27a)
    0
    (A - W) V (W) = 52 A (WO    (1-276)
    0
and the solutions can be found in terms of the determinants of the coeffi­
cients. The analogue of the a function defined in the first example is then a
determinant,

    A (Z) = det [Z6ap — maSap — Fap (%)] = det Dap (z).    (1.28)

    10
The discrete solutions only arise when A(Z) = 0 for Z < 0, and we can have
up to the range of the index a of these. Now, to get the type of solution
we want, we require that at any such solution, A = M > 0, the coupling
constants /a(M) all vanish. Then, exactly as in the first example, we have
a discrete solution whose eigenvector equations are

    d-29)

    52 F«p    = (A - m»)    (1.30)
    a
By suitable choices of parameters, we can have any number of discrete states
buried in the continuum.
    Still another generalization is obtained by choosing

    H = 52    ± 52 hfk (a/a* + <4ay) >    (1.31)
    j    jk

with the + sign corresponding to a repulsive potential and the — sign to an
attractive potential.
    We can follow precisely the same analysis as before to see that there is a
discrete solution buried in the continuum for the repulsive case. See [16] for
details.

Chapter 2.
The Model

The Rearrangement Model

    To keep contact with earlier work, we shall use a combination of the
notations of [17] and [18], as far as possible. We consider a quantum field
theory with five distinct fields, B, C, D, 0, and    and the corresponding
particles (no anti-particles).
    The non-zero commutators are:
    [.B, at] =    = [(7,ct — 1>

    0(u>), t?t(u/) = 6 (u — Cd') ,    ^t(y') =    .    (2.1)

    Note that 9 and    are labelled by continuum parameters, 0 < w, y < oo,
while A, B, and C, are treated as single modes (“infinitely heavy”) [19].
This assumption is made purely to simplify the kinematics of the problem;
no essentially new results would obtain if we were to allow these modes
to propagate. We choose to use the energy as our variable, rather than
momentum, because this makes the model much simpler, and more physically
transparent. In Appendix A we present a short review of the Lee Model
in the usual momentum basis to make this point clear. We want a total
Hamiltonian for the system which allows the transitions

    B w C<£,

and

    - 11 12
    d w ce.

    Therefore, we choose our Hamiltonian to be:

    H = Ho + V,    (2.2)

where
   Hq = mgB^B + mj)D^D + J dca    + J du    (2.3)

and
    y = lduf^)e^CD^ + j dwf we^c^D

    + j dvgW^CB^ + j dvg*(u)^(v)C^B.    (2.4)

    This Hamiltonian has three constants of motion apart from itself. They
are:

    Ci = B^B + C^C + D^D,    (2.5 a)
    C2 = BtB + j dv4>\vW\    (2.56)

    C3 = ptD + j dwgf(w)g(w).    (2.5c)

    Therefore, no transitions can occur between sectors labelled by these
quantum numbers. Let us start by enumerating the stable sectors. The first
such sector is the vacuum and has Ci = C2 = C3 = 0. The next three are:
C\ = 1, C2 = 0, C3 = 0; C\ = 0, C2 = 1, C3 = 0; and C\ = 0, C2 = 0, C3 = 1.
These correspond to the states C, <£, and 5, respectively. Finally, there is
the sector with Cy = 0, C2 = 1,C3 = 1; it corresponds to a state 94>.
   The three lowest non-trivial sectors are:

    C1 = l,C2 = l,C3 = 0,    (2.6a)
    Cl = 1,C2 = 0,C3 = 1,    (2.66)
    Ci = 1, C2 = 1, C3 = 1.    (2.6c)

    13
These correspond to B <-> C^, D «-» C6, and 59    C9<f>    respectively.
The last of these is the sector in which rearrangement collisions can take
place, and as mentioned before, we shall call this the Rearrangement Sector.
    Our strategy for solving the model in the Rearrangement Sector will be
to first construct the solutions of the two lowest non-trivial sectors, (2.6a)
and (2.6b) (which are exactly analogous to the Lee Model), and then use
these solutions to expand the Rearrangement Sector equations.

Solving the Model

    We start by constructing the solutions for the B «-»    and D    CO
sectors. These are exactly the same as the Lee model, so the solutions are
simple. We shall denote non-interacting ( “bare” ) states by single bras and
kets (( , )), and interacting states (“dressed” or “physical”) by double bras
and kets ((( , ))).
    The equations we need to solve for the continuum solutions are

    H |A)) = À|A»    (2.7a)

in the B <-» (7^ sector, and

    HW) =    (2.7 b)

in the D «-» CO sector.
    We define
    |f(w)F ,
    a(z) = z — mo — /f°° du----------    , ,
    (2.8)
    Jo   z-u
    ft (z) = z — mB — / dpkWÉ,    (2.9)
    Jo   Z — V

    14
    Px.bM = (C^(z/)|A)),    (2.10)
    W(w) = (C0(w) |^)),    (2.11)
    ax,B = (B|A)),    (2.12)
    a^D = {D^Y).    (2.13)

For shorthand, we will write a(A) for a(A + zt) and a*(A) for a(A — ze), and
similarly for /3(A). In terms of these, the solutions are:

    PX,B(v)-m    + x-i/ + ie’    (2.14a)

    0»,dM = 6(p    (2.146)

    ^"^(A)’    (2.14c)

    = «w    (2.14J)

    If a(z) develops zeros then we have additional discrete states. Similarly,
if /3(z) develops zeros then again we have additional discrete states. For our
purposes, we shall always assume that both a(z) and    have exactly one
zero each, which are denoted by Md and Mb, respectively. There is no loss
of generality if we use this assumption because the extension to more than
one zero is trivial. The equations for the discrete states are:

    = MB\MB)}    (2.15a)

in the B w C$ sector, and

    H\Md)) =Md\Md}}    (2.156)

in the D    CO sector. We define

    PB(v) = (C^MbY),    (2.16)
    PdM = {C9^)\MD)Y    (2.17)
    ZB = (B\Mb)),    (2.18)
    ZD = {D\Md}).    (2.19)

    15
In terms of these, the normalized solutions are:

    (2.20a)
    = Zbm^V
    pdM = Zdm^'    (2.206)

    IZbI2 =
    k(W I2    (2.20c)
    {Mb - v)2

    \zD\2 =    l/WI2    (2.20 d)
    {Mb — w)2
where the last two are obtained by imposition of the orthonormality con­
dition. Note that these solutions, Eqs. (2.14) and (2.20), form a complete
orthonormal set.
    Now, we use these solutions to construct the solutions in the Rearrange­
ment Sector. In this sector we will have four sorts of solutions. The first will
correspond to the “physical” |C^(of)^(^))) sector, the second to the “phys­
ical” |the third to the “physical” |BS(u;))), and the last to one or
more dynamically generated bound states, which we shall denote by |Ma))Which solution is obtained will depend on where we put the delta functions
at infinity (which represent the plane wave parts of our solutions) in our
solutions. If we put none, we get the discrete states.
   We wish to solve the eigenvalue equation

    H\E))=E\E)).    (2.21)

We expand Eq. (2.21) in terms of #t(w)|A)), 9^{u?)\Mb)), ^(^)|^, and
<^{v)\Md)). By acting on these states with the Hamiltonian, and using
Eqs. (2.7) and (2.15) we get

    {{X\C
    {E-X- c/)«A|0(u>)|E» = f (w) *
    D \E)),    (2.22a)
    {E-Mb- w){{Mb\6{w)\E)) = f (w) {{Mb\C^D\E)),    (2.22b)

    16
    = 8* W ((#<|ctB|B)),    (2.22c)
    (E-MD-v)((MD\4W\E}}=g'(v)({MD\C^B\E}'i.    (2.22d)

    We need to evaluate the unknown matrix elements on the right hand
side of Eqs. (2.22). We solve for these elements by inserting H in them,
commuting it on one side, and letting it act on |E)) on the other. For
example, we can solve for ((A|Ctp|E)) in the following manner:

    E{{X\C
    D
    ({X\C^DH\E)) = * \E))
    ^{(X\{hC^D+    = E({X\C^D\E}).    (2.23)

We now let H in the first term of Eq. (2.23) act on ((A|, and evaluate the
commutator in the second term. We proceed similarly for the other three
equations and, when all the dust settles, get

  (E-X-mD)((X\CD^E)}

    = J <W(w)«A|0(a>)|E»

    — a*X,B   y <W(w) {y dX'axj'B ((A'I«WE)) + Z8«AfB|eM|E))}

    + y dvg{

    (2.24a)
  (E-Mb- mO) ({Mb\CD^|E>)
    = y dwf(^{{MB\e^}\E}}

    — *Z b y du / (u) y dA o\>,£ ((A'|«M|E)) + Ze((JWe|#W|£)>}

    + y dvg(u)^J dn'a^'D (G-'|#(B)|E)) + Zd«MdW>')|£))} ,

    (2.246)

    dv g M

    dw/(cu) { I dX'aHjMX'ftuflE}) + Zb^MbW-^EYi^

    + j dvg(v) { /    + Zct^ol^^is»}],
    (2.24c)
  (E-Md- mB) «MdICBt |^>)

    ^g(^)((MD|^(i/)|E))

    — Zp

    + J dvg(v){[ dB'a„,jMBy,(v)\E}} + ZB{^^

    (2.24 d)

    We first solve for the “physical” |C0(w)<£(i/))) states. We start by in­
verting Eqs. (2.22) and putting in the requisite delta functions at infinity.
Note that we have to put in two delta functions because this is an infinitely
degenerate (double) continuum, and cannot be specified by just E; rather,
we have to label the state with the variables E and n, with the n variable
representing the division of energy between the 9 and <£ particles. We then
substitute these into the first term of each of Eqs. (2.24), and solve for the
unknown matrix elements. Having found them, we put them into Eqs. (2.22)
to find our solutions. Defining

    bc(E, n, A, w) = «A|0(w)|£, n)),    (2.25a)
    bcF{E,n,MB, w) = «MBP(w)|£,n)),    (2.256)
    dP(E, n, fl, v) = {{n\^u)\E, n)),    (2.25c)
    4(E, n, Md, u) = ((MdW)IE, n)),    (2.25 d)

    18
we get

    bc(E, n, A,w) = S(E - A - n)pn,D(^)
    - (Æ-A -J + «)a (E-X)Kc

    =-(Ê^UiraKc
    «^(E, n, ^,p) = 6(^ - n) pe-u.bM

where

    Kc(E,n)    (2.27)

    7(E) =    i/wr    i    (2.28a)
    \a(p)P^(E-p)
    \ZB\2    k(A)P    1
    (2.286)
    a(E — Mg)    |^(A) |2 a(E — A)'
The last equality follows from Eqs. (B.10).
    We now solve for the “physical” |E^(i/))) sector. We again start by
inverting Eqs. (2.22), but this time substituting in just the one requisite delta
function at infinity in Eq. (2.22d). We put these equations in Eqs. (2.24), and
solve for the unknown matrix elements putting in another delta function at
infinity in Eq. (2.24a) when inverting because now we must account for the
zero of a(E — A) at Mq. We then put these results in Eqs. (2.22). Defining

    (2.29a)
    b^E,MB,w) = «MB\eM\E^,    (2.296)
    dD(E,B,v) = ({M(v)\EYi,    (2.29c)
    d^B.M^H^oWAEYb    (2.29d)

    19
we get

    ^(E, A, w) = pd (w) 6(E — A — Mo)
    - (B-A-J+ it)a{E- X)K°

    (2.306)

    ^’1 ~    (2-3°C>
    dp(E,Mo, v) = pe-md,b (H
    “ (E - MD - p + ie) p(E -Md)Kd

where
    = iMMe-^dY    '2"'

and 7(E) is the same as that defined in Eqs. (2.28).
    In exactly the same way, we can find the solutions for the “physical”
1 B0(u>))) sector. They are:

    <2M“)
    bp(E,MB,w) = PE-Mb,D W
    “ (E - Mb-w + Û) a (E -Mb ) Kb    ’ (2'326)
    dB(E,mv) - pb{u)6{E - p - Mb)
    ” (E-^-l + i^fiiE-n^11    ’    ^2 32')

    «^)KS    ’   (2 3^

where

and 7(E) is the same as that defined in Eq. (2.28).
   Finally, we wish to solve for any dynamically generated discrete states. In
this case, we put no delta functions anywhere. When we follow the procedure

    20
of putting Eqs. (2.22) in Eqs. (2.24) and solving for the unknown matrix
elements, we find that the only way to satisfy all the equations is if 7(E) has
zeros. Denoting these zeros by Ma, we find the discrete state solutions:

    («)
    ■
    *

    #(MA,Ma,u) =    +
    (2.346)
    (2.34c)

    = - (Afx _    „ + fa) p(MA ° ^^4 W,
    (2.34J)

where Ka(Ma) is now an arbitrary normalization factor which is fixed, when
demonstrating completeness, to be    ^^\e=Ma (see the discussion after
Eq. (3.18)). For our purposes, without loss of generality, we assume that
there is only one zero of 7(E), denoted by Ma, and thus only one dynamically
generated discrete state. The extension to more than one discrete state is
trivial.
    In each of Eqs. (2.26), (2.30), (2.32), and (2.34) the superscript refers to
the sector that the solution is in, and the subscript F refers to solutions ex­
panded in the the discrete state part of the Lee Model sectors. Furthermore,
we have anticipated future developments by fixing the arbitrary constants
accompanying the delta functions in Eqs. (2.26), (2.30), and (2.32). We do
this by demanding that Eq. (2.37a) and Eq. (2.37b), or their equivalents
for the other two sectors, give the same result, and that the solutions be
orthonormal.

    21
Verification of the Solutions

    We now proceed to verify that Eqs. (2.26), (2.30), (2.32), and (2.34)
are each solutions to our problem. To do this, we first transform our so­
lutions into the bare state basis; i.e. in terms of the non-interacting states
|CW(wMv)), |B^(w)), and |D^(t/)), using the completeness of the lower sec­
tor solutions. With the expansion coefficients in the “physical” |C^(w)<^(z/)))
sector defined in the following manner (with the coefficients for the other sec­
tors defined similarly)

    | E,n)} = CC(E,n^.v)\C^)^
    + BC(E, n, w)|#W + D^E, n, v)\(2.35)

where
    / Cc(E,n,w,i/)\
    ^c(E,n,w, i/) = I D^(E, n, v) I ,    (2.36)
    \ Bc(E,n,u) /
and
    Cc(E,n,w,v) = (^(^)^(^)|E,n))
    Bc(E,n,w) = (^^(w)|E, n))
    Dc(E,n,v) = (D^(i/)|£,n)).

we have

   CC(E,n^,v} = J dXpxtg(v)bC(E,n,X,u}) + pB(u)bC(E,n,MB,w),

    (2.37a)
    = y dp p^oi^d^iE, n,p, v) + pD(u))d%(E,n, Md,v),

    (2.376)
   Dc(E,n,v)    = j dpaltiDdC\E1n.,p,v) + Zd^E^^Md^v),    (2.37c)

   J3^(E, n, w)    = [ dXaxtBbC(E, n, A,u>) + Zb^ÇE, n, Mb, w),    (2.37d)

    22
with similar equations for the other three sectors (for example, for the
“physical” |sector, we would replace Cc(E, n,cd, z/) by Cd{E,uj, i/),
bc(E,n,X,w) by bD(E, A,cd), etc.). A good check that we have solved our
equations correctly is to verify that Eqs. (2.37a) and (2.37b) give the same
result. This is indeed completely trivial if we use Eq. (B.14).
    For the “physical” |C^(u)^(z/))) sector in the bare basis, we get:
Cc (E,n,w,v) = Pn,D(u)pE-n,B(v) ~ Kc(E,n) /
    ylj — Cd — V t ic)
    f [ »________ kA.Bl2________    [ , ________ kp.pl2________
    U    (Æ? - A - w + ie)a (E - X)    J M (E - p - v + it)fl (E - p)
    ,___________ W___________ +___________________________ I
    et (E — Mb) (E — AZg — uz + ze)    (E — Md) (E — Md — + zc) J
    (2.38a)
   (E, n, z/) = ^|p„,d(w) - Kc (E, n) g* (v)
    a (n)
   J Uu    +___________ IW___________ 1
   U    (E-/z-i/ + «)/?(E-#z) fl(E- Md)(E -Md-v-V ie) /’
    (2.386)
BC (E, n, cd) = 9 (E -”1    („) _ Ko (E, n) /* (cd)
    p (jd — nJ
   ( [ dX    +    l^l2___________ I
   U    (E — A — id + ze)a (E — A)~a(E — Mb) (E —    — cd 4- ze) J ’
    (2.38c)

For the “physical” |E<^(!/))) sector in the bare basis, we get:
CD (E,cd, v) = PP (cd)pe-md,b (y) - A'd (E) /    \
    — Cv — 1/ T IcJ
   I [M    i^gl2    +    l^-pi2________
   (J    (E — A — cd + ze)a (E — A) J    (E — p — v + it)fl (E — p)
    , ___________ _____________________________________________ 1
    a (E — Mb) (E — Afp — <d + ze) /? (E — Md) (E — A/y — p 4- ze) J
    (2.39a)

    (E, i/) = ZdPe-md,b (y) - Ap (E) g* (p)

    23
    {./
    *    (-E —   — p + ié)P (E — fi)    ___________ W___________ 1
    ÇE — Md^   — Mq — v + zc) J
    (2.39b)
SD (E, w) = PD (w) ^E-Md,B ~ Kd (E) /* (w)
    / /kA,Bp    _________ IW_________ 1
    \J    (E — A — u> + ic^a (E — A)    or (E — Mg) (E — Mg — a; + ic) J
    (2.39c)

For the “physical” |B6(u))) sector in the bare basis, we get:

CB (E,w, i/) = pg (|/) PE-Mb,D (w) - Kg (E)    /    g    x
    — W — 1/ + 16)

    J f ix    I L.________ ______________
    U    (E-A-a,+ «)«(£-A) T/    +
    ,___________ [ZsP___________ ,____________ IZoP___________ 1
    a (E — Mg') (E — Mg — w + ie) ^3(E — Md} (E — A/p — p + ze) J
    (2.40a)

    (E, Z/) = PB (z/) <TE-Mb,D - Kg (E) 5* (p)
    / / to    Kof    +___________ IW___________ I
    V ^(E-/i-P + ze)/3(E-^) \3(E-MD)(E-Mp-iz + ze)/’
    (2.40b)
EB (E,w) = ZgpE-MB,D (w) - E'b (E) /* (u)
    / ( dX    kA,Bp    ___________ gBp___________ 1
    V    (E -A-w + ze)a(E - A)    a(E - Mg)(E - Mb - w + z'e)/'
    (2.40c)

Finally, for the discrete states, we get:

CA    u) = -Ka (Ma)
    ÏHyl — Cd — V
  / / dA    kA,aP    ।    ________ kp,pP________
  (V    (JVf/i — A — w}a(MA — A) J    (Ma — p. — v)l3 (Ma — fi)
    ____________ M___________
    or (Ma — Mg)(MA — Mg — w + ze)
    +_______   £21!_______ I
    S(Ma- Md)(Ma-MD-v + i«)i’
    (

    24
DA(MA^ = -KA(MA{*
    )gv)
   J\J[to____    til____ +_______ w______ \
    (MA — ft — v)/3 (MA — [i) fl(MA — Md)(Ma — Mq — V + £e) J
    (2.416)
    (MA^ = -KA(MA)r (w)
    kA,al'    +_____________\M___________
    [Ma — A — w)a (Ma — A)  a (Ma — Mg ) (Ma — Mg — uj + ze) J
    (2.41c)

We now verify that Eqs. (2.38), (2.39), (2.40), and (2.41) are each solutions of
our model. To do this, we explicitly write down the analogues of Eqs. (2.22)
in the bare basis, plug in each set of solutions in turn, and verify that the
equations are satisfied. A straightforward analysis shows that the following
equations must be satisfied in the bare basis (we have written them for the
“physical” |C5(w)^(i/))) sector, i.e. with the variable n—for the other sectors
the variable n is, of course, missing):

    (E - w — v)C {E, n, w, v) = g* (z/) B (E, n, w) + /* (w) P (P, n, i/),
    (2.42a)
    (E — mg — w)B(E, n,a>) = J du g(y}C (E,n>w,u),    (2.426)

    (E — mD — v)D(E,n,v) = J du f (a?) C (E,n,w,v).    (2.42c)

Putting each of Eqs. (2.38), (2.39), (2.40), and (2.41) in turn into Eqs. (2.42),
or their equivalents for the other sectors, and using Eq. (B.14), we find that
each of these sets of solutions satisfies the equations. Incidentally, a glance
at Eqs. (2.42) immediately shows why we could not have solved the problem
directly using them rather than the somewhat convoluted method we went
through: the integral equations are not separable, and are quite intractable.

Chapter 3.
Properties of the Model and its Solutions

Orthonormality and Completeness

   We now proceed to verify orthonormality and completeness of the so­
lutions Eqs. (2.38), (2.39), (2.40), and (2.41). We start by verifying or­
thonormality for the diagonal components beginning with the scalar product
    which is given by

    dm dv ^c\e', n',m, t/)VC(E,

    (3.1)

We now use Eqs. (2.37) to write this as

  dm du Ÿ^^(E\ n', w, v)^c(E, n, w, v)

    du dv

    dX PX,B(y)^Ct.E,n,X,m) + pB(v)bp(E,n,MB,w)

    - 25 26

    dXcrxtgbC(E,n, A,w) +

    (3.2)

    We then do the integrals over A and A' to find

    j du) Av    n\u), vySc(E, n, w, i/)

    = j dXd^bc\E\n\X^bclEvnA^

    + j dw bp (E\n\MB,w)bp(E,n,MB,w)

    + f dvDc\E\n',v}Dc{E,n,v).    (3.3)

Defining
    f(n')/(E'-n')
    Lx (E^n1) =
    *n z(
    (a    )^
    *E'-n')   ’
    f(n)g(E - n)
    £2 (F,n) =    (3.4)
    a{n) ^{E — n)’

we find that the sum of the first two integrals is

 6(E-E')6(n-n') - ô (E1 - n' - E + n)

 + Lx (En') £2 (E, n)    (E' - E + n) + y(E)a(E - E' + n')
 , £i(E,,n>)£2(£,n) (    -|Zgp
 +    7* (E') 7(E)  ( a* (Ez — Mb) a(E — Mb)

while the third integral gives

6 (E' — n1 — E + ft)
    a* (nf) a (n)
   £! (E', ft') £2 (S, n) I    (E1 - E + ft)
    7 (E) a (E — E' + n')

    7* (S') 7 (5)
    r________________ iw________________    _________________ w_________________

    *
    X^E-MD^a (E1 - E + Md)    F (S' - MD)a(E - E' + MD)
    + [du'_________\an',D\2_________
    J * *P ^E' - ^a^E - E' A- p.')
    *    ।    j2    \

Adding Eqs. (3.5) and (3.6) together, and doing the integrals by combining
them into a single contour integral (which evaluates simply to its residues),
we find that the only term left is S^E1 — E)6(n' — n), which is just as required.
    We can similarly show that
    J du)dv <&D\e'1uj1 vYS^E^ v)

    = j dXdubD\E',X,u)bD(E,X,u>)

    + j dub?\E',MB,»)b?(E,MB,u)

    + J duDD\E',V)DD(E,u)

    = 6 (E1 - E),    (3.7)

and
    J du <&/ $^(E',u, i/)$^(E,w, y)

    = j dXdwbB\E',X,u)bB(E,X,u)

    + y dubF(E',MB^)bf(E,MB, u)

    + j dvDB\E',v)DB(E,v)

    = 6 (E1 - E).    (3.8)

Finally,
    = 1.    (3.9)

    28
    Now we move to the off-diagonal elements. For
    / du dvtyc\E\n\a>,vy9D(E,w,v')

    = I dXdubc\E\n\X,u)bD(E,X,u)

    + j dwbcF\E\n\MB,u)b^E,MB^

    + j dvD^E^n'^D^E,^,    (3.10)

we find that the third integral exactly cancels the sum of the first two, giving
us 0. We can similarly show that
    J dudvVc\E\n\u,v)VB(E,u,v)    = 0,    (3.11)

    j dudv^C\E,,n'1u,v^AÇMA,u>,v)    = O1    (3.12)

    J du du *d\e',u, u^b(E,u, u)    = 0,    (3.13)

    j dudu^!D\E\u^A(MA,u,u)    = Q,    (3.14)

    j du du <5b\e',u, vY^Ma,^ v)    = 0.    (3.15)

    Therefore, the set of solutions we found, Eqs. (2.38), (2.39), (2.40), and
(2.41) are orthonormal.
    We now move to completeness. We wish to show that
 j dEdn ^(E, n,u, v^c\e, n,u\ u') + j dE^D(E,u,u)^D\E,u',u')

 + j dE »b(E,w, v^Ve^', v') +    u^a\mAiw', i/)

    6 (u — u'^Ô (u — u1)    0    0    \

    (    0
    0
    b(u-u')
    0
    0
    6 (u — U1) y
    I .    (3.16)

    Let us start with the diagonal elements. The (1,1) element of the matrix
is
 j dEdnCC(E,n,u,u)CC\E,n,u',u') + j dE CD(E,u,u}CD\E,u',u')

    29
 + j dEC\E,u,v}CBXEtjy) + CA(MA,»,v)CA\M^    (3.17)

    These integrals are most easily done in the following manner. The first
term can be rewritten, using Eqs. (2.37), as
   J dEdnCc(E,n,uj,v}Cc (E, n,u/, i/')

    = JdEdn^J dXpxig(v)bc(E,n,X,w) + />g(v)bC(E,n,MB,u>)p

    (3.18)

    One then rewrites subsequent terms in Eq. (3.17) in a similar fashion
as Eq. (3.18). Since the integrals are exceedingly tedious, we describe how
they are done, and leave it to the interested reader to verify our results. The
integrals over n are done with the help of Eq. (B.15). Then, the integrals
over E are done by converting them into contour integrals. When all the
contour integrals are combined it is found that they add together into one
large contour integral (plus the non-contributing circle at infinity), which
evaluates simply to its residues. These residues exactly cancel the other
pieces in the expression, leaving over one or more delta functions for the
diagonal terms, and nothing for the off-diagonal ones. For convenience, the
branch cuts and poles of the function ^y, where z is a complex integration
variable in the contour integral, are shown in Fig. B.3.
    One finds that the (1,1) term is 6(w — uj’^v — v'). In doing this, one
has to fix RaIMa) =    -Ma , which fixes the unknown normalization
constant in Eqs. (2.34). One can similarly show that the (2,2) and the (3,3)
terms are    — v') and 6(w — a/), respectively.
   For the off-diagonal terms, one proceeds similarly and finds that they are
all zero. Thus, our set of solutions, namely, Eqs. (2.38), (2.39), (2.40), and
(2.41) is a complete orthonormal set of solutions of our model in this sector.

    30
The Moller Matrix and the Comparison Hamiltonian
    The matrix (with continuous eigenvalues) of the eigenfunctions, including
any discrete solutions, gives us the generalized Moller Matrix by virtue of
the results already demonstrated on orthonormality and completeness [17].
It is given by
 ü(E,n, w, 1/) = \ 9c(Et n, w, y), ^(E, w,i/),4B(E,w, p), $4(MA,w,
    (3.19)
with components
    /C%n,u,i/) CD(E,u,v) CB(E,u,v    Ca(MA1u>^\
    Dà(E,n,v)    Db(E,u)    DB(E,v)    Da(Ma, v} .    (3.20)
    \ H%n,w)    Bd(E^)    Bb(E, w)    BA(MA^ /
It has the properties of being unitary
    Qfit = 1,    (3.21a)
    = 1,    (3.216)

and of diagonalizing the full Hamiltonian, H,

    HQ = QHC,    (3.22a)
    Q^HQ = HCl    (3.226)

where He is called the comparison Hamiltonian. It can be calculated in the
following manner. First, we use the eigenvalue equations to write

 HQ(E,n, u>,v)
    = (E^E'n^vlE&^E'U'VlE^tE,^    ,

    (3.23)
and then act on Eq. (3.23) with 0^ from the left, and make use of the
orthonormality relations to get
    E6(E-E')6(n-n')    0    0    0
   fit HQ =    0    E6(E-E
    *    0    0
    0    0    E6 (E — E'    0
    0    0    0    Ma

    31
    = He.    (3.24)
    To compare He with the free Hamiltonian, Hq, we rewrite He, putting
E = n + t for the (1,1) element, E = Md 4- r for the (2,2) element, and
E = Mg + t for the (3,3) element, and similarly for *E . Thus, He becomes
    ((n + r) Æ (r - r') 6 (n — n')    0    0    0 \
    0    (Md +    0    0 1
    0    0    (Mb + r) 6 (r - t') 0 I
    0    0    0    Ma)
    (3.25)
The free Hamiltonian, Hq, is
  (w + p) 6 (w — w') 8 (v — %/ )    0    0    \

(    0
    0
    (mg + v) 8(u — z/)
    0
    0
    (mg + u>) 8 (w — w') y
    I .

    (3.26)
    Comparing He and Hq, we see that we can identify He with Hq if we in­
clude both mass and wave-function renormalization terms in the interaction,
and ignore the discrete Ma state in He• The mass renormalization means
that we must add a quantity A to Hq, where A is
    0    0    0    \

    (
    0
    0 (Md — mo) 8 (y — z/)
    0
    0
    (Mb — mg) 6 (w — w') y
    1 .   (3.27)

The structure of our solutions, Eqs. (2.38), (2.39), and (2.40) immediately
tells us that we must have a wave function (and consequent coupling con­
stant) renormalization.
    Thus, the fields B, C, D, 6, and    have the wave function renormaliza­
tions
    B -> V^B = ^-B,    (3.28a)

    D -> V^D = 4-D,    (3.286)
    Zd
    C -> C,    (3.28c)
    Q -> 0,    (3.28d)
    4>^4>.    (3.28e)

    32
    Because there are no proper vertex corrections, the coupling constant
renormalizations reflect the wave function renormalizations [17]

    fW-
    *
    Z    Df( w),    (3.29)
    g(u) -» ZBg(y).    (3.30)

    Furthermore, as there are no divergences in this problem, the coupling
constant and wave function renormalizations are inessential, and the mass
renormalization making Hq + A identifiable with He is essential only in
this sector. These renormalizations are sufficient for higher sectors as well.
The only change in the higher sectors is due to the mass renormalizations
which alter the continuum thresholds from mB and mB to Mg and Mg,
respectively, but leave everything else unaffected.
    Notice that while He and Ho have the same structure (as long as a
and P both have zeros, and 7 does not), they have different spectra. Only
the double continuum 0<n<S<oois coextensive; the D<j> and BO
continua are renormalized downwards from mg to Mg and from mg to Mg,
respectively. Notice also that, contrary to conventional wisdom [1,3,11], the
Moller matrix intertwines the full Hamiltonian, H, with He, not with Hq.
However, He and H do have the same spectrum.
    In addition, if we take the unitary transformation of He in reverse, we
can convert the comparison Hamiltonian to the full Hamiltonian

    QHC^ = H,    (3.31)

and just as in the Cascade Model of [17], we find that the notion of an
interaction is basis dependent.

    33
The S Matrix

    We have obtained one set of solutions to our problem, namely, Eqs. (2.38),
(2.39), (2.40), and (2.41). We can, of course, obtain another set in which
the reciprocals of the singular operators of the form E — w — v + ie (which
turn out to be the “in” states) in Eqs. (2.38), (2.39), and (2.40) are changed
to E — u> — v — if. (which turn out to be the “out” states), while Eqs. (2.41)
remain unchanged. Let us denote these solutions, and quantities associated
with them, with a prime. This new set also furnishes a Moller matrix,

  n'= (^(S.n.w,!/),»5'^,^^    (3.32)

which satisfies the same properties as the original Moller matrix, that of
unitarity

    = 1,    (3.33a)
    n'tfy = 1,    (3.336)

and of diagonalizing H

    HQ' = Q'Hc,    (3.34a)
    Q'^HQ' = Hc.    (3.346)

   The set of states, Eqs. (2.38), (2.39), (2.40), and (2.41) are such that
    / 6 (n — w) 6 (E — w — z/) \
    lim eiHcie-iHt^c{E,n^,v)= 1    0    I , (3.35a)
    t—►—oo    '
    X    0    /
    /    °    \
    lim eiHcte~iHt^D(E^,v)= 1\Zd6(E-Md-v) ,    (3.356)
    t—►—00    1
    \    0    /
    /    °    \
    lim eiHcte-iHt9B(E,u,v) = 1    0    ,    (3.35c)
    t—»—00    1l Zgô(E — Mg — w) J

    lim    =    (3.35d)
    t—-oo

    34
of which the first three are the plane wave ideal eigenstates of the comparison
Hamiltonian. However, notice that there is the need for a wave function
renormalization in    w,v) and ##(E, w, %/), and that the threshold is
renormalized in these two cases (i.e. mg —► Mg and mg —» Mg). Clearly,
these states are the “in” states in our problem. This is again analogous to
the Cascade Model of [17].
    For t —» +oo for these “in” states we have

  lim eiHcie~iHt^c(E,n^,v)

    (3.36a)
  lim
t—+OO    v
    E,u,v)7

    /    2,.6(E - w -

   =    ZdHE-Md-v^    (3.366)

 lim eiHcte-iHi^B{E^,v)

    /    2
    ZD6<E-MD-v^\ZDÿA^
    (3.36c)
    , Z^E - MB - W)    + ^ZBpJ^

 lim eiHcie-iHiVA(MA,u>,v) = 9A(MA^v).    (3.36d)
i—►+oo
(The limits in Eqs. (3.35) and Eqs. (3.36) are understood for multiplication
by smooth functions of u> or u or both, as the case may be).
   The “out” states behave in an analogous but opposite fashion to the “in”
states. They behave simply for t —» +oo, but have a complicated structure

    35
as t —» —oo. Furthermore, the “in” states at / —» —oo and the “out” states
at t —► +oo are identical. Therefore, we can define an S-matrix, and can
compute it in one of several ways. For example, we can compute it using

    Scattered = Hm (»(<)"» H)) ,    (3.37)

or we can take the scalar product of the “in” and “out” states

    (#', ®) = S.    (3.38)

Both methods, of course, give the same answer.
    The method of the inner products is cleaner and more aesthetically sat­
isfying so we shall follow it for the calculation. The results are easily checked
by doing the calculation by the other methods.
    Schematically, the S-matrix looks like (the “+” subscript means an “in”
state and the    ” subscript means an “out” state)
    ✓ _«C^|CW))+ -«CWID^ _((C^|^))+ _^C64)\MaY\
    _^Be\B6Yu    ~^B6\MaY
    {{Ma\B9Y^    Wa\MaY /
    (3.39)
    Let us start with the (1,1) component of S. We wish to calculate

    C^E', n, in\E, n, out))c
    dwdvCC (E',n',w,v}CC(E, n,w,v)

    + y dwBC'\E',n',w)#C(E,n,^

    + / dvD^yE^n'^D^E,^»).    (3.40)

   We rewrite Eq. (3.40) in terms of the lower sector physical states using
Eqs. (2.37) to get

    dm dv

    36
    j dA pxtB(v)bc(E, n, A, w) + pgÇ^b^ÇE, n, Mb, w)

    j dA'^bcyE\n\X\u>) + Zy^

    j dXaxtBbc(E,n, A,cu) 4- Zsb^E, n,MB,w)

    (3.41)

    Doing the integrals over À in Eq. (3.41) we get

    duo bc'\e, n', X'^bc(E, n, A, w)
    /)(A)

    (3.42)

The sum of the first and second integrals gives
    0^E-n}a
    £n)
    *
    ft(E — n)a(n)
    2tt: ^(E-n)/(n) /(E-nQfK)
    7(E)^(E-n)a(n) P(E — n')a(n')
    ^(E-n)P (nQ/(n)
 - 6 (E' - n'
    fl(E — n)a (n') a (n)
   /(^-n')f("9^(F-n)/(n)
    3 (E1 — n') a (n') ^(E — n)a (n)
    1
    ^(^«(E-E' + n') 7(E')a(E'-E + n)
    1    g^^-nQ/^n^g^-n)/^)
   7 (EO 7 (E) PtE'-n^a (n') P{E-n)a (n)
    2    1    IW
    a(E' — A)a(E — A) a(E'— Mÿ)a(E — Mg) )'
    (3.43)

and the third integral gives
    (E — n) /* (nQ / (n)
6 (Ez — n' — E + n)
    ^(E - n)a(n')a(n)

    37
   g'W-n'irWglE-nïHn)
   P (E' — n') a (n') — n)a (n)
    r    i    il
    +    + 7(E')a(^-E + n) J
,    1    /(E'-n')r(n')^(F-n)/(n)
+ 7 (P) 7 (E) (E' - n') a (n') 0(E-n)a (n)
    (1 / , ।    ,2    1    (    1    1    \
    b/    \a (E' - E + n)
    *    a (E1 - E + fl) )
    i r    |2    î    /    î    i    \
    +2/    (HE
    -*y    ’) *
    \a (E - E'+ n1) + a(E-E'f/)/
    |^|2  /    1    1X
    2 fi(E-MD} *
    \a (E' — E + Mg) a(E'-E + My)/
    |Zpp   /_______ 1_______    1_______ X 1
    20(0-Md) *  \a (E - E'+ Md) a(E — E' + Md) J ) V '    7
   Adding Eqs. (3.43) and (3.44), and converting the sum of the integrals
to contour integrals (which evaluate to their residues and cancel the other
terms with them inside the curly brackets), we are left with
  C«E', n', in\E, n, out))c = 8 (E - E') p (n - n')    - ^)a(n)

    , 2,% g(E — n) f (n) g* (E — n^) /* (n') |
    + 7(E)^(E-n)a(n) 0(E-n')a(n') J
    (3.45)

   In a similar fashion, we can do all the other S-matrix elements. They are
  ME1, outlE, in}}D = 6 (E - E') {

    +    7(E) D(E-Md)0(E-Mb)I’
    (3.46)
  ME'^E,^-HE-E') {^5^

    2m\ZB\2    1/ (E - Mb) I2    ]
    7 (E) a(E — Mb(*)<
    E   — Mb) )
    (3.47)

    38
    = i,    (3.48)
    Zd*Z b r {E - Mb) g(E — MD)
   bKE'i out\E, in)}D = 2tri6 (E'
    7 (E) a (E — Mb) P (E — Mq) ’
    (3.49)
    Z^Zb f (E — Mb) g* (E - MD)
    out\E1 in}}B = 2ttz5 (S'
    7(E) a(E — Mb) P(E — Md) ’
    (3.50)
    *Z D (*E-Mp)
    g(n)f(E-n)g
d{{E’, out\E, n, m))c = 2^^ (S'
    7(E)a(n)p(E-n) P(E-MD) ’
    (3.51)
    Zp g* (n1) /* (F — n') g (E — Mp)
c{{E', n', out\E, in})D = 2iri6 {E'
    7(E) a(n')p(E-n') 0(E-MDy
    (3.52)
    Zp g (n) f (E — n) f* (E — MB)
B{{E',out\E,n,in))c = 2iriS (E1'
    7(E)a(n)P(E-n) a(E — MB) ’
    (3.53)
    Zb ( *
    g'(n')f
    E-n')f(E-M    B)
c({E', n', out\E, in))g = 2iri6 (E'
    7(E) a(n')0(E-n') a(E-MB)’
    (3.54)
   Ak{MA\E,n,in)}c = 0,    (3.55)
 ckkE' ,n' ,out\MA}} A = 0,    (3.56)
    a({Ma\E, in)}d = 0,    (3.57)
    d^E' ,ouI\Ma}) a = 0,    (3.58)
    (3.59)
    = 0.    (3.60)

    39
 Unitarity of the S Matrix

    We can almost trivially show that the S matrix that we have obtained is
unitary. In equations, we wish to show that

    SS^ = 1.    (3.61)

Let us calculate the (1,1) term in SSL It is

SSM
    F(E-n)a*(n)
    dri
    (3 (E — n)o(n)
    2tri r(nu(   * E-n")g(E-ny
    )f(n)g
    7(E) a(n")a(n)0(E-n")0(E-n) .
    0(E — n') a(n')
    S (n1 - n")
    *13 (E - n') a* (n')
    2m (    f(n'')F(n')g(E-n")g
    *E-    n') '
    7* (E) a* (n") a* (n') */3 (E - n") (E - n')_
    (2m)"    fMg(E-n) f(n')g-(E-n‘)
    h(E) F    J a(n)0(E- n)a-    (E - n')
    2|y(E-Afp)|2 . ,
    (3.62)

    Doing the integral in Eq. (3.62) with the help of Eq. (B.15) we find that
the result is 6(E — E')6(n — n'), exactly as desired. The rest of the terms are
done in the same way. We find

    SS^) = 6 (E - E'),    (3.63)

    SS^^ = 6 (E - E'),    (3.64)

    SS^j = 1,    (3.65)

with all other terms in SS^ being zero, as required. Thus SS^ = 1. In the
same way, we can also show that S^S = 1, and therefore, our S-matrix is
unitary.

    40
Eigenphases of the S Matrix

    The interesting case for the S Matrix is when E > 0 so that all channels
are open. The S Matrix must satisfy

    SC = rC,    (3.66)

where |r|2 = 1, for some C This is equivalent to the following relations
(where we ignore the discrete A channel, as it is decoupled from everything
else, and suppress 6(E — E'}}
    _ (*
    /3E  -n)a(n)(.
T    ^(S-n)a(n) "
    2?rz f(n)g(E — n) f /    ,W(g-»% ,    g\E-Mp)c
    7(E)a(n)^E -n)\J    aW^E - n') n' + D p{E - MD) D

T    p(e-md)    d
    2^2 g(E-MD){ [ ^rW^E-n'),    , ^g^E-Mp),
    ^ETD^E -MdAJ    - n')    + D PIE -MdYD

    a* (E — Mb} s
T    a(E-Mp) B
    27ri /(g-Mj)f /    ,f\n')g\E-n'}c , ^g^E-Mp},
    ^E} Ba{E - Mb) (/    o(n')^(E - n') + D /?(E - MD)

    +    (3.67=)

We now define the unimodular quantities
    *n)
    = (
    ^(E-n)a
    (3.68a)
    ^(E-n)o(n) ’
    _ F (E - Mp}
    TD~ $(E-MDy    (3.686)
    _ a* {E — Mb}
    TB ” a(E — Mb} ’    (3.68c)

    41
    These are the basic equations. We can solve them for continuum values or
for discrete values of the eigenphase shifts. Let us start with the continuum
values. We invert Eq. (3.67a) and put a delta function on the right hand
side along with the appropriate normalization. We then multiply both sides
of the equation by    and integrate over n to get

    2ZL / |/(Z)lW-/)|2    r(D    ] f. , f\n')g\E-n'
    7(E)] |of (Z) |2|/3 (E — l)\2 r — t (/) + ie ) J    a^^E-n')
    r(T)/(T) _ 27TI-    f\f(l)\2\g{E-l)\2    T(/)
    a(r)0(r)    l«W mE-r)\2T-T(V) + ie
    g\E - Mp)
    D ^E - Md)
Defining
    r = i _ ^L\7 i2\9(E-Md)\2 oD
    y(E) D1 \[3 (E — Mp) \2 a — op
    2„ 2\f(E~MB)\2 oB
    (3.70)
    ?(E)' \a(E-MB)\2o-aB'
we invert Eq. (3.67b) and Eq. (3.67c) to solve for the term in the curly braces
on the right hand side of Eq. (3.69), namely,    Cd+ZB ^e-Mb^8'
and find
    g\E-Mp)r    f\E-MB)r
    Z° ^E - Mp) Qd + Zb a(E — Mb) B
    f*(n')g*(E — n')f
    (3.71)
    «(n^E - n') ”
   We now define
    2?ri / |/(Z)Pk(E-Z)p    r(Z)
    X(t) = 1 -    J ai |o(Z)P|^(E-Z)Pr-r(Z)  +^
    tCë)ë
and use this to combine Eq. (3.69) and Eq. (3.71), and find
    f\n')g\E-n')    g^E-Mp). , ^f\E-MB)r
    dn1 a(n')^E - n')    + D Q(E - Mp) D + B a(E - MB) B
    1  r(r)g^r)
    (3.73)
    X^a^P^E-rY

    42
    Therefore, our continuum solutions are

   Cn = Vt*6 (t — r(n))
    2^i /(nME-n)________ 1________ f(r)/(E- r)
    7(ÆJ) a(n)[3(E — n) (r — r(n) + ie) X(r)E    —    ’
    (3.74a)
   , _    g{E-MD)    1    f (T)/(E-r)
    7(E) D^(E-MD)(r-TD + i€)X(r)E a(r)^(E-r) ’ 1    ’
   ,    _2tt£ f(E-MB)    1    f(T)/(E- r)
    7(E) 5a(E-MB)(T-rB + «)X(r)S a(r)/?(E-r) '

    To investigate the spectrum of r, we use the method of [17]. We define
the following quantities, taking advantage of their being unimodular:

    e2»0(n) = T(n)i    (3.75a)
    (3.756)
    (3.75c)
    (3.75d)

    We then put these definitions in Eqs. (3.74), and see that r(n) =
ranges continuously along a unit circle in the complex plane from 9 = 6(0)
to 9 = 6(E).
    In addition, these solutions are continuum normalized

    dnCn (r' - ze) C„ (r + ze)
    + G (r‘ - ie) Cp (r + ie) + Cg (/ - ie) Cb (t + ze)
    = 6 (/ - r),    (3.76)

and will be complete if there Eire no discrete zeros of X(t). If there are,
they will have to be included in the completeness identity. We now find the
number of discrete zeros of X(r), that is, the number of discrete eigenphase
shifts of our S-Matrix.

    43
    We define
    1 + ix    .   1 + ix(n)

    _ 1 + IX D    _ 1 + ixg
    Td — Z   • ,    Tg — ■   : ,
    1 — ixg    1 — ixg
put these in Eq. (3.72), and take real and imaginary parts to get

    i / „!/(')Pla(g-OP =(i +=(0)
    2J   |a(0PI/3(B-0Pi-i(0 + «
    lx(l + xn),r 2 |g(g - Mp) p
    2 x-xp '    |^(E-A/d)P
    1i(1+xb)    2|/(g-MB)p
    2 x — xg   1*B |a(E — Mg) |2’ (3.77a)
    l/(0Ply(g-0 P
    |a(/)W(g-0P
    k(E-AW=
    = Re
    |/?(E-Afp)P
    1  2|/(E-MB)|2
    2^' |a(E-Mg)|2' (3.77b)

    We observe that Eq. (3.77b) is an identity, by means of Eq. (B.15). To
find the number of zeros of X(r), we multiply both sides of Eq. (3.77a) by
(x — xg)(x — xg). We then find that the highest power of x appearing in
Eq. (3.77a) is x3, barring any higher powers contributed by the integral.
Therefore, there are at least three discrete zeros of X(r), and thus, at least
three discrete solutions which will have to be included in the completeness
identity, Eq. (3.76).

Chapter 4.
Scattering Theory

    There are many different approaches to Quantum Scattering. The most
familiar of these is potential scattering. Others include the LSZ formalism,
    Lax-Phillips formalism, and the Sudar­
the “almost local” formalism, the *
shan approach.
    The well known LSZ formalism [5], extended by Mohan [21], postulates
the convergence of the matrix elements of interacting fields to the matrix el­
ements of free fields. However, the formalism does not apply in many cases.
For example, as noted by LSZ themselves, it is inapplicable to problems in
which stable bound states exist. Trouble occurs when this point is forgot­
ten, and the formalism is extended into areas where it is inapplicable. The
“almost local” formalism due to Haag [1], Ruelle [8], Ekstein [9], Jauch [11],
Araki [22], and others tries to be general enough to consider complicated
problems [1], Its basic idea is that it is possible to construct asymptotic in­
going and out-going states as strong limits in Hilbert space, if a certain “space
like asymptotic condition” is verified by the vacuum expectation values of
products of field operators [8]: the so called “almost local” operators [1].
The Sudarshan approach, due to Sudarshan and collaborators [23-29], takes
a very different view of scattering problems, and is quite different in spirit.
The idea is that one always works with the complete set of eigenstates of
the full Hamiltonian, H, properly labelled. This set, by definition, is both
orthonormal and complete. The matrix made up of these eigenstates is the

 * Lax-Phillips [20] theory is outside the scope of this work.

    - 44 45
Moller matrix. This Moller matrix, again by definition, will diagonalize the
full Hamiltonian giving the comparison Hamiltonian. In other words,

    HQ = QHC.    (4.1)

This Moller matrix has the property that

    QQt = 1,    Q^Q = 1.    (4.2)

It is thus isometric and unitary, as long as we ensure that the spectra of H
and He are the same, and the spectrum multiplicity is properly preserved.
The only caveat here is that not all Hamiltonians have a complete set of
eigenstates. However, almost all “reasonable” Hamiltonians will have a such
complete set.
    This work is in the spirit of the Sudarshan approach. We shall restrict
our attention to potential scattering and the “almost local” formalism as they
are quite “generic” ; as mentioned before, the LSZ formalism is not applicable
to situations where stable bound rentes are present, such as our model.
    We start with short reviews of potential scattering, for both the single
and the multiple channel cases, and the “almost local” formalism of Haag
and Ekstein. We then compare the results from these two formalisms with
the results obtained from the Rearrangement Model.
   For our purposes, it makes no difference whether we use the time depen­
dent or time independent formalisms of scattering theory. We are concerned
with the assumptions and results that obtain from the formalisms, and they
remain essentially the same in both cases. We shall follow the time depen­
dent formalism: the interested reader is referred to Newton [30] for details
of the time-independent formalism.

    46
Potential Scattering

    In this section, we follow the development of Newton [30]. We wish to
solve the Schrodinger equation

    =    (4.3)

We split H into a free Hamiltonian and an interaction Hamiltonian,

    H = Hq + H'.    (4.4)

We assume that this split can be carried out: we shall consider the case of
rearrangement collisions later. We define four Green’s functions

    =    (4.5 a)
    \ vt    /

    (4.56)

with the initial conditions

    G+ (t) = g+ (t) = 0,    / < 0,    (4.6a)
    G~(t) = Q~ (t) = 0,    t > 0.    (4.66)

G+ and    are therefore the advanced Green’s functions, and G~ and Q~
are the retarded Green’s functions.
    These may be solved formally yielding

    G+(t) = -ic-^(t),    (4.7a)
    G"(t) = ie-'"°^(-t),    (4.76)
    g+(t) = -ie-'^(t),    (4.7c)

    g~(t) =    (4.7d)

    Let $o(t) be a state vector satisfying the free Schrodinger equation. The
    G can then be used to express the state vector To(t') for any time
operator *
t* later than t, in terms of its value at t* = t,

    (<') = iG+ (? - t) »0 (0 •    (4.8)

    47
 Ÿo(f') then satisfies the free Schrodinger equation for t' > t, and ^(t') —*
 ^o(i) when t' —> t+.
    Therefore,

    liny G+ (t) = lim^ *
    Ç (t) = —il,    (4.9a)
    lim G" (t) = lim g~ (t) = il.    (4.96)
    t-»o-    t—oSimilarly, for t' > t we can write

    » K) = i€?+ (/ - t) $ (0 ,    (4.10)

and for t1 < t we have

    to (<') = -iG" (t' - t) $o (t),    (4.11a)
    $ (!') = -ig- (t' - t) % (f).    (4.116)

    We now wish to define “in” and “out” states. We start by defining

    <-<')
    ’Mt) = iG+ (*'%    (4.12)

whose time development for t > t1 is governed by the free Hamiltonian, but
which at time to was equal to $(to). We now let the time, t', approach ±oo.
Then, for the case of t —» +oo, we have the “out” state, and for the case of
t —» —oo, we have the “in” state. In terms of the “in” and “out” states, the
equations for ^(t) are
    +oo

    / OO
    Z+oo
    dt'g (t-0
    *    (<')»    (4.13a)

    (4.136)
    ■00

Note that these are retarded and advanced Green’s functions for the whole
system. These are not the same functions as those that appear in a (time
ordered) Dyson series which are, instead, time ordered particle propagators.

    48
Note also that for every state in the continuous spectrum of Hq, and only
for such states, there is a corresponding state in the spectrum of H.
    If we insert Eq. (4.11b) in Eq. (4.13a), we find

    »(t) = fZ(+^in(t),    (4.14)

where
    y+oo
    Q(+) = 1 -i    dt'g+(t-1') H'G~ K - t)
    J—oo
    rf oo
    = 1 -i    dtg+(-t)H'G-(t)    (4.15)
    J—oo

is called the wave operator or the Moller matrix. We can similarly find    .
    Because H' is hermitian, Eq. (4.15) gives us the relation

    #in(t) = IZ(+)W),    (4.16a)

and similarly
    #out (t) = Q(-)^(t).    (4.166)

    Then, Eq. (4.14) and Eqs. (4.16) give us the relations

    (t)=O<+^+^(Z),    (4.17a)

    »out (t) =    (t) -    (4.176)

    We now consider the possibility that the free states ^in(Z) and ^out(^)
span the entire Hilbert space, «. e. they are complete. From this assumption,
we conclude that    and fZ(") are isometric,

    = 1    (4.18)

This does not, however, mean that the O's are unitary: we cannot conclude
from Eq. (4.17a) that Eq. (4.18) holds with its factors of 0 reversed.

    49
    Furthermore, because of the assumption that the ^in and ^Out each form
complete sets, we conclude that

    (4.19)

    When there are bound states in the spectrum of H, we proceed as follows.
Let #o(#, ») be the eigenstates of the free Hamiltonian with eigenvalue E,
and a be the set of variables necessary to remove any degeneracy. Then, the
completeness of these states can be written as a resolution of the identity,
*

    1 =    / dE Ÿo (E, a)    (E, a).    (4.20)
    a

We then insert this into the product QQÎ, to get

    o
    = 1 — A.    (4.21)

    A is called the unitary deficiency of Q. From the completeness of the set
of all states, bound and scattering, of H,

    A=    (4.22)
    n

Thus, A projects onto the space spanned by the bound states of H. If H
has no bound states, then    and    are unitary. Both H and Ho are
hermitian; therefore, the hermitian conjugate of Eq. (4.19) gives

    =    (4.23)

  * We again emphasize that we do not know whether the states of Ho are complete, a
priori. We are simply proceeding under that assumption.

    50
We now let both sides of Eq. (4.23) act on    a) to get
    V(E,a) = E&V (E, a),    (4.24)

which shows that if E is in the spectrum of H but not in the spectrum of
Ho then
    (E, at) = 0,
and so
    = 0.    (4.25)
    Thus, the range of the operators    is not the entire Hilbert space.
Instead, these operators map the whole space onto the subspace spanned by
the continuum eigenstates of H. We cannot reach the subspace spanned by
the bound states of H, and therefore, cannot construct an inverse operator
for the whole space. The closest that we can come is to use the operators
    which are inverses of    on the subspace of states spanned by the
scattering states of H, and which annihilate the subspace of bound states of
H.
    Assuming that the asymptotic states are complete, we construct the Smatrix in the following manner. We use Eqs. (4.17b) and (4.14) to write the
“out” state in terms of the “in” state,
    ^(<) = ^^^ (<),    (4.26)

which defines for us the S-matrix
    S = n(-)^QW.    (4.27)

The S-matrix can be shown to be unitary and isometric. See Newton [30] for
details; note, however, that S is only unitary when Q is unitary. This point
is not clear in Newton, or in the literature.

    51
Multiple Channel Scattering

    The above formalism is only adequate for simple single-channel cases.
For more general scattering problems, such as rearrangement collisions, we
must generalize the formalism. We shall again follow Newton [30].
    We want to split up the Hamiltonian into two pieces: one piece, Ha, that
is left when the two initial fragments are taken far apart, and the remaining
piece, H'a. We can then go through the same development of T(t) from T;n(t)
as above. However, there is a difficulty that occurs for the development for
the distant future. If rearrangements or break-ups can occur, then it is
possible that the “channel” Hamiltonian in the future is different than the
“channel” Hamiltonian in the past.
    The various possibilities for an n-particle system are handled by defining
a partition of them into k clusters, denoted by .a*   Given a partition a, we
define Ha by allowing all distances between clusters to independently tend
to infinity. Therefore, Ha will contain only interactions that are internal to
clusters, but none between them. Then, H'a is defined by the requirement
that H = Ha + H'a, and therefore, for any two partitions a and b, we have

    H = Ha + H'a=Hb + Hb.    (4.28)

To each partition, there will correspond Green’s functions given by

    =    (4.29)
    \ at    /
with the same boundary conditions as Eqs. (4.6). If Ha, after removing
the kinetic energy of the center of mass motion and of the centers of mass
of its clusters, has at least one bound state, it is called an arrangement
channel. When this condition on Ha does not hold, the channel is not of
interest as an initial or final scattering state. If Ha has more than one bound
state, then each of them defines a separate channel, and therefore, in each

    52
channel the clusters are in a specific bound state but moving freely relative
to one another. The channel consisting of the entire n-cluster partition is
the channel 0 because then Ha = HoNow consider the space of each arrangement channel a, which we shall
denote by 7ia. Then, if a has m fragments, each state in Ha will have m
groups of bound particles. This means that unless the channel a is the entire
n-fragment arrangement channel, Ha will not be the whole Hilbert space:
the ionized eigenstates of Ha will be missing. Furthermore, as each Ha is
defined by different channel Hamiltonians, Ha, the Ha's are generally not
orthogonal to each other. In fact, “the complete set of basis functions is not
linearly independent and, of course, not orthonormal” [32].
    It will be convenient to define the orthogonal projections Pa onto the
channel spaces, Ha- In other words, we define
    Pf = Pa,    p1 = Pa,   PaHa = %,    (4.30)

with the null space of Pa defined as the space spanned by the ionized eigen­
states of Ha. Pa projects states from the full Hilbert space, H, to the chan­
nel spaces, Ha- Obviously, for the n-cluster arrangement channel, we have
Po = 1
    We now wish to define “in” and “out” states. We first define an a state,
which is a state that develops according to Ha but is in Ha,
    (£-Ha}<ba(a,t)= 0,    (4.31)
    \ at  /
where the label a contains all the other information including the arrange­
ment channel (even though including the arrangement channel in a is redun­
dant for ^(a, i), it is convenient for other purposes).
   We then define    as a state in H that develops according to H,

    = 0,    (4.32)
    \ ut    /

    53
and for which there exists an a-state such that

    lim    = l.    (4.33)
    —oo \    /

Therefore, the state $a(&, 0 is the “in” state ^(a, t) in relation to the state
    Eq. (4.33) demands that the probability of finding the system in
state ^(a,#) in the remote past approach 1, and therefore, it is equivalent
to

    *i+)    (4.34a)

or
    j dtiG+(t-    (a, t')    Tin (a,t),    (4.346)

with the double arrow denoting the strong limit.
    Similarly,

    j dt' H)G; '*)
    (<-    (»,<')    t-^oo »out(a,i).    (4.35)

Exactly analogous to Eqs. (4.13), we can now write
    +oo

    Z -DO
    4-OO
    *
    dt'g    («,?),    (4.36a)

    Z  -oo
    di' Q- (t - t') H'aVOut (a, t') . (4.366)

    We can now define the Moller matrices, and the S-matrix. The Moller
matrices are defined by

    #!(«,;) =    (4.37)

with only those states To admitted which are in "Ha- On the orthogonal
complement (i.e. the ionized eigenstates of Ha)    is defined to be zero,

    QwPa =

    54
 Then, on the space %, using Eq. (4.36a), we find

    ^ = Pa^rK^\
    = -i r dtg+H^G-a^Pa
    J—oo
    O

and therefore,
    Z  •OO
    dteiHtH'ae~iUatPa,

    lim eiHte~iHatPa.    (4.38)
    i—♦—OO

We can similarly find, on Xa, that

    Ql") = lim eiHte~iHaiPa.    (4.39)
    t—» oo

    The range of    is the space of all full states that develop from ar­
rangement channel a, and the range of fia is the space of all full states
that develop into arrangement channel a. Let us call these ranges 'R,^ and
7^a~\ and their respective orthogonal projections    and Qa \ The Moller
matrices, fi^\ map Xa onto 7^^, and from Eqs. (4.37) we find that on 7%^
and    respectively,

    = $in («,<) = fiW^W (a,t)

    ^->V-)(
    = %outW) = ,*f).    (4.40)

    Therefore, because the ^(a, t) span the space Xa, we find that the
Moller matrices, fi^\ are partially isometric from the space Xa, i.e.

    fi^^fi^1 = Pa.    (4.41)

Similarly, the fi^^ are partially isometric from the ranges    of the fi^\

i.e.
    fi^^?^ =    (4.42)

which defines the    . The full states developing from or into any arrange­
ment channel are orthogonal to each other as can be seen by direct evaluation
of the inner products of asymptotic states. “If the two arrangement channels
are different, then there must be at least one particle for which the “overlap”
of the two states was negligible in the remote past because it belonged to a
different fragment. Hence that inner product must vanish for all times” [33].
    A major point of difference with our results from the Rearrangement
Model is the statement, “note that the same argument shows that the inner
product
    (4.43)

approaches zero as t -> ±oo (for a    6). But since Ha    Hb, it is not
independent of t and hence it does not generally vanish for finite times”
(emphasis added) [33]. In the Rearrangement Model, this is untrue: we
showed in Chapter 3 that our states are all orthogonal to each other.
    From the Schrodinger equation, one can write

    (4.44)

which means that il intertwines H and Ha. This again is a major difference
with the Rearrangement Model, because we showed in Chapter 3 that il
intertwined H and He, where He was the comparison Hamiltonian, which
had the same spectrum as H] here, Ha does not have the same spectrum as
H.
    Our channel definitions could also include the single cluster arrangement
channel, which is the channel of all the n-particle bound states of H. If we
define A to be the orthogonal projection onto that subspace, then for all a
we have
    A = 0.    (4.45)

    56
Now, every non-bound state must be decomposable into states that arise
from, or go into, one of the other arrangements. Therefore, we assume

    A+    = 1'    (4.46)
    a

which is known as asymptotic completeness.
    Using Eqs. (4.39), (4.44), and (4.46), we may then define a unitary Smatrix,
    $(+)(«,<)    tAo    ®out(
    )
    *    = *
    £$.«■(«,
    ),    (4.47)
    6
where
    St. =    (4-48)

    The discussion in the previous two sections is supposed to be very gen­
eral. In fact, even though the method described above deals with the nonrelativistic region, “the formalism set up is such that, provided there exists a
consistent relativistic quantum field theory, the transition to the relativistic
domain is relatively simple” [34]. However, we find that even in such a sim­
ple model as the Rearrangement Model, these anticipations are not fulfilled.
We can, indeed, find a fully orthonormal and complete basis. The formalism
above leads to wrong and contradictory results, as will be discussed later in
this chapter.

    57
The Almost Local Formalism

    In an attempt to avoid splitting up the Hamiltonian, Haag and Ekstein proposed the “almost local” formalism. Following the development
of Haag [1], we define a kind of “almost local” product between Heisenberg
states. This product refers to a time, t, and we denote it

    %) .    (4.49)

    We define it by considering two states,    and    with N\ and N%
particles, respectively. If their wave functions at time t are    ,...,    )
and ^\x2,...,    \ respectively, then

    ip = ipW (0    (4.50)

is a state with N\ 4- N2 particles with a Schrodinger wave function at time t
given by

    (®1 « • • • » •t'ATi+Wg)

    = C ^2 ( —1) ÿi    , . . . , XfN^    , .",    . (4.51)

The sum in Eq. (4.51) refers to the permutations of coordinates of identical
particles. Using the Heisenberg picture, we can work out how ip depends on
time
    W Vf ) = e""    <!' '-‘“W2)).    (4.52)

and use this information to work out the asymptotic states.
    Suppose that there is a Heisenberg state composed of the fragments C,
if, etc. Then, the product state is
    / %) ip" W    ...    .    (4.53)

We now use Eq. (4.52), and take the limit as t —» —00 to get

    lim^    ... =►    (4.54)

    58
where |C, rj,...)(") means the Heisenberg state initially composed of the frag­
ments C, r/, etc. We argue that this is true because as t —» oo, the interactions
between fragments become negligible because all the wave packets,
    etc., describing the asymptotic center of mass motion of the frag­
ments will have dissolved completely, and the probability of finding two or
more fragments within a finite distance of each other in configuration space
will be zero. Therefore, asymptotically, Eq. (4.53) will no longer change with
time, and thus the strong limit in Eq. (4.54) exists. A similar argument can
be made for the asymptotic state when t —> +oo.
    The purpose of deriving Eq. (4.54) is that “it is easily applied to more
complex collision problems (e.g., quantum field theory with bound states)
in which our intuition is not as well developed as in nuclear physics. The
only thing needed on the side of the formalism is a suitable definition of the
product operation and this is not difficult to find, since it has to satisfy only
some qualitative criteria and one therefore has a large amount of freedom in
the choice” [35].
    The physical situation expressed by the product operation is this: Sup­
pose    and 02 are two states localized at time t within two volumes Vj and
    respectively, which are far apart. Then

    01    02    (4.55)

describes a “doubly localized” state in which the situation within V1 is de­
scribed by 0i and within Vi by 02- This expression has physical meaning only
when the two volumes are far apart; when the volumes are close together,
the definition is arbitrary.
    One now goes on to show the orthonormality and completeness of the
asymptotic states. From the physical meaning of the asymptotic product we
find, as long as the localization volumes of two states, 01 and 02, are far

    59
apart at time t, that
    $   ^2 = ±^2    ^1»    (4.56)

the + sign applying for Bose statistics and the — sign for Fermi statistics.
    Using this we can define the scalar product

    M    Ç? fa} =    ±    (4.57)

Eqs. (4.56) and (4.57) can be checked in wave mechanics. From Eqs. (4.52)
and (4.54) we get
    (CY+)|C7/+)) = lim /    (0    (e-iHW)\
    '   '    1 '   '    t—+oo\ L\    1 v    x    \    "VJ
    [(e—"'K)) (J    (4.58)

Because, for large values of |t|, only the asymptotic product enters, we now
apply Eq. (4.57) to Eq. (4.58) to obtain

    ((?+)](,(+)) =    ± (C'k)(,'|C),    (4.59)

with an analogous result for |^~>).
    To write the orthogonality relations in a general way, we imagine that
to every particle type a there corresponds some complete orthonormal basis
of states |a&), each k referring to a complete orthonormal system of center
of mass wave packets. We abbreviate a configuration ak, 01,... by a single
Roman letter a. Then, for Bosons, if the state ak appears    times in the
configuration, we define

    |a(+)} = (nofc!njg/!...) 1/2 |ak, 01,.. /+)),    (4.60)

and therefore,
    (a(+)|&(+)} = (a(-)|t,H) = 6ob.    (4.61)

Thus, the states |a(+)) and    each form an orthonormal basis system.

    60
    Completeness cannot be proved in this formalism because “we must have
some general knowledge about the spatial form of    for an arbitrary state
<f> at large times” [36]. Nevertheless, Ruelle extends Haag’s work by postu­
lating the completeness of the “in” and “out” states so that “Haag’s pro­
gramme may be carried through rigorously in the framework of the GârdingWightman axioms” [37]. In fact, we find in our simple model, with generic
form factors, that these asymptotic states are not complete, and are also not
normalized.
    The S-matrix is isometric since, by definition, S maps each |aW) to
the corresponding |a(~)), and they are supposed to be orthonormal. The
unitarity of S follows from the assumption that the |a(~)) and the JaW) sets
of basis states are complete.
    For the case of field theory, the extension is carried out in the following
manner. Suppose    is a state describing one real particle localized at posi­
tion x at time t = 0. We want this state to be created by a creation operator
qZ such that

    ^ = «f|0).    (4.62)

This equation does not determine qî because it fixes just one column of the
infinite matrix q. The natural definition of the product of single particle
states,

    «% %)    =    (4.63)

is therefore ambiguous. This ambiguity is removed (essentially by fiat) by
defining the creation operators in such a way that only those operators
“which are expressible in terms of the basic field quantities of a small space­
time environment of the point x, t = 0” [38] are admissible. Such an operator
is called “almost local.” The rest of the formalism follows the analysis above.

    61
    Note that this formalism can only handle particles with Bose and Fermi
statistics. Particles with exotic statistics [39] cannot be handled by this type
of formalism.

Putting the “generic” formalisms to the test

    Potential scattering and the “almost local” formalism have the following
protocol for generic scattering systems:

    1. They do not use the comparison Hamiltonian
    2. The asymptotic states are orthonormal [1,8,30]
    3. The completeness of the asymptotic states is postulated [1,30]
    4. For the case of potential scattering only, the Moller Matrix (de­
    fined as limt—ioo    js isometric but not necessarily uni­
    tary [1,30].

We shall take up these points one by one, and put them to the test by
comparing them to the results explicitly obtained from our model.

    1. It is essential when taking the limits, limf_±00    where
    Ÿ is either a wave function or a field operator, that the continuous
    spectra of H and Ho coincide. If they did not there would be
    wild oscillations while taking the limit, and the limit would not
    exist.   It is for this purpose that Hq is mass-renormalized to
    H'q. However, in general, this is still not enough. It is perfectly
    possible, if there are bound states or unstable particles in the
    spectrum of H, that no amount of tinkering with Ho will make
    its spectrum coincide with H. This can be seen by inspection
    of Eqs. (3.25) and (3.26). No amount of renormalization of Ho

    62
    can give us the discrete Ma state present in He, but this may be
    ignored because Ma is a discrete point eigenvalue. On the other
    hand, we do have the possibility of a continuous spectrum in H
    corresponding to the scattering states involving physical B or D
    particles.
    However, unlike H and Hq, H and He are guaranteed to be
    isospectral because He is obtained by diagonalizing H. There­
    fore, it is He, and not Ho, that is the proper starting point
    perturbative or otherwise. In simple
    for any scattering scheme, *
    cases such as when stable bound states are not present, or field
    theory with no bound states or unstable particles, He can be
    identified with the renormalized Ho, as noted in the section The
    Moller Matrix and the Comparison Hamiltonian in Chapter 3.
    In fact, even in cases where (formally) no splitting is made,
    i.e. no explicit mention or use is made of an Ho, there is still
    the implicit use of Ho because, commonly, asymptotic particles
    are defined as solutions of free particle equations like the KleinGordon equation.
    2. Both formalisms assert the orthonormality of the asymptotic
    states, and the result is supposed to be generic. In Eqs. (3.35), we
    have obtained the asymptotic states of the Rearrangement Model
    according to both formalisms. Yet, as we can see from a glance
    at the Haag-Ruelle asymptotic wave functions, Eqs. (3.35), the
    asymptotic states do not form an orthonormal **
    set.    This lack

  * The method for obtaining the correct spectrum of H by perturbation theory is discussed
in the work of Sudarshan, Chiu, and Bhamathi [31].
 * * This point should not cause confusion. Our full states, namely, Eqs. (2.38), (2.39),
(2.40), and (2.41) are, indeed, all orthonormal to each other, as was shown in Chapter 3.
As a result, we have orthonormal sets of “in” and “out" states. However, when we calculate

    63
    of orthonormality stems from a factor of the wave function renor­
    malization constant that appears in each of the asymptotic wave
    functions. This factor is not a mistake: if it were not present, the
    interacting states would not be orthonormal.
    3. As mentioned earlier, Ruelle extends Haag’s work by postulating
    the completeness of the “in” and “out” states [8]. This is also
    postulated in simple potential scattering [30]. This postulate is
    necessary to prove that the S-matrix is unitary. Again, simply by
    inspection of Eqs. (3.35), we can see that the asymptotic states
    of the Rearrangement Model, according to these two formalisms,
    are not complete. §
    4. In potential scattering the Moller matrix, Q, can be defined using
    the full interacting wave functions so that it is isometric even in
    the presence of bound states [1], We see that the Haag-Ruelle
    asymptotic solutions, Eqs. (3.35), obtained by the use of ÎÎ, are
    certainly not orthonormal, whereas the original interacting wave
    functions were; therefore, our Moller matrix is not isometric, i.e.
    it is not norm preserving.

    All this points out the importance of the correct normalization of the
state vectors, a point already considered by DeWitt [40]. However, his work
is not applicable in the case of bound states. The question of the correct
description of the asymptotic states was also considered by Van Hove in
his papers on the description of “persistent interactions” [4]. However, as

the Haag-Ruelle type asymptotic states according to either of the formalisms, we find that
they are not orthonormal.
   S Again, this point should not cause confusion. Our full states, Eqs. (2.38), (2.39), (2.40),
and (2.41) are complete, as was shown in Chapter 3. As a result, our “in” and “out” states
form complete sets. However, the set of Haag-Ruelle type asymptotic states calculated
according to either of the two formalisms is not complete.

    64
noted in those papers, the formalism developed there also does not deal with
cases involving bound states, and does not deal with field theoretic scattering
except for a few comments at the end.
    In the multichannel case (such as rearrangement collisions), in the “chan­
nel Hamiltonian” formalism, the statement is made that the basis states of
one group of channels are not orthogonal to the others [9,10,30] because they
are eigenstates of different free Hamiltonians. As we can see, in our model,
the physical states    and B9 are strictly orthogonal to each other.
Evidently, this problem arises due to the use of “channel Hamiltonians” in
the formalism. It is our belief that the method of splitting up the interaction
differently depending on which channel one is considering is fundamentally
flawed because “every channel can be distinguished and is observable inde­
pendently in experiments. This means that these channels should be orthog­
onal to each other” [41]. One method for ensuring orthonormality is given
in [41]; however, this method still suffers from the flaws pointed out above.
    It is straightforward to see the problems caused by this lack of orthog­
onality. We are instructed, in these formalisms, to begin with asymptotic
states. Let us first consider the “channel Hamiltonian” formalism. Then,
the asymptotic states are the eigenstates of the “channel Hamiltonian” in
the sector we are considering. As an example, let us consider

    |W(w)))-»|M^(i/))>,    (4.64)

where Mb is the physical B particle and Md is the physical D particle.
We immediately notice, even before we consider any scattering, that the
|Mb0(w))) state is not orthogonal to the |Afp^(i/))) state, as can be seen by
inspection of Eqs. (2.16), (2.17), (2.18), (2.19), and (2.20). In other words,
two experimentally distinct channels are not orthogonal to each other. This
will clearly lead to the wrong S-matrix elements because it says that even

    65
if there is no scattering, there is a non-zero probability that the |
state will turn into the |M£>^(y))) state. We cannot even argue that the two
states are “asymptotically orthonormal” [9] because they clearly are not.
This can easily be seen by observing that both \Mg6Çuj))) and |
have expansion coefficients in the “bare” |C6(o;)^(z/)) sector. Therefore, as
these states are neither orthonormal nor complete, we cannot have an isomet­
ric or unitary S-matrix, since orthonormality is necessary for isometry, and
completeness for unitarity. However, we have constructed a set of orthonor­
mal (and complete) solutions for our system, a feat that many authors [42]
tacitly assume is not possible, and have a perfectly isometric and unitary
S-matrix.
    Similar problems also arise in the “almost local” formalism. Even if we
give that formalism the benefit of the doubt, and say that its asymptotic
states are the exact asymptotic states that we constructed (and thus orthog­
onal but not normalized, instead of neither orthogonal nor normalized), the
above problems still occur. Since the asymptotic states are not complete,
the S-matrix is not unitary; since they are not orthonormal, the S-matrix is
not isometric.
    These problems with the S-matrix can be verified by explicit calculation.
Since the calculation is tedious, we describe the method, and leave it to
the interested reader to verify the results. Our interest is in the scattering
of physical states, and so we must start by re-expressing the Hamiltonian,
Eqs. (2.3) and (2.4), in terms of the operators which create the physical B and
D particles. We denote these operators by B and P, respectively. They are
found by inspection of Eqs. (2.16), (2.17), (2.18), (2.19), and (2.20), which
are the wave functions for the physical particles. To find the expressions
for these operators, we promote the states |C^(y)), |C6(w)), |B), and |D)
to operators, all acting on the vacuum, and read off the expansions for the

    66
operators B and D. In other words,

    B^ = J du pb{v)C^(y} + ZbB^    (4.65a)
    pt = [ dw pd(w)C^ (w) + ZqD^ .
    (4.656)

We re-express the Hamiltonian in terms of these operators, which can be split
into various channel Hamiltonians, from which the S-matrix is calculated.
    As a physical example, consider the case of a proton bound to a fixed
nucleus by a potential Vp, and bombarded by a neutron which interacts
with the proton and the nucleus through the potentials Vpn and Vn, respec­
tively [41]. The total Hamiltonian of the system is

    H = Kp + Kn + Vp + Vn + VpNt    (4.66)

where Kp and Kn are the kinetic energy of the proton and the neutron,
respectively. The initial state, denoted by    is given by

    #1*1,: =    (4.67)

where

    H = Hi+Vu    (4.68a)

    #i = Kp 4- Kn 4- Vp,    (4.686)

    Vi = Vpn 4- Vn-    (4.68c)

Therefore, the initial state, ]*,,,   is a product of a bound proton,
and of a free neutron (represented by a plane wave), un(Eî —    where
E® is the binding energy of the proton.
    Several possible reactions can occur giving rise to different final products.
Let us consider four such reactions.

    67
 1. Elastic or inelastic collisions.
    The proton remains bound to the nucleus, and the neutron
   is free after the collision. Therefore, the Hamiltonian is divided
   in the same manner as above.
2. Exchange scattering.
    The neutron knocks out the bound proton and becomes bound
   to the nucleus. The Hamiltonian is then divided as:

    H = Hi + Vi,    (4.69a)
    Hi = Kp + Kn + Vns    (4.696)
    Vi = Vpn + Vp.    (4.69c)

   Therefore, the final state is

    Hi^ij = Ef$ij,    (4.70a)
    $ij = up (Ej-E^ (Ef).    (4.706)

3. Ionization.
    The neutron knocks out the bound proton and both are free
   after the collision. The Hamiltonian is then divided as:

    H = H3 + V3,    (4.71a)
    H3=KP + Kn,    (4.716)

    V3 = Vpn + Vp + Vn.    (4.71c)

   Therefore, the final state is

    H343j = Ej$3j,    (4.72a)
    i3 f — up (e^X un fEf — EjA .    (4.726)

4. Pickup.

    68
    The proton and the neutron become bound and form a deu­
    teron. The Hamiltonian is then divided as:

    H=    + %,    (4.73a)
    H4 = Kp + Kn + Vpn,    (4.736)
    Vi = Vp + VN.    (4.73c)

    Therefore, the final state is

    Hi^ij = Ej^ij,    (4.74a)
    = "c (X, Ef - E^ $N (r, Ef) .    (4.746)

    Here, X is the center of mass coordinate of the deuteron, and r
    is the internal coordinate of the deuteron.

    The final states given by Eqs. (4.70), (4.72), and (4.74), are eigenstates
of different free Hamiltonians. Thus, in general, they are not orthogonal to
each other, and the concomitant problems follow.
    The reason that these methods do not work properly is that the basis used
is one in which bound-state eigenfunctions of the Hamiltonians that bind each
fragment are multiplied by plane waves for the fragment motion [30]. In our
model, because we have made no breakup, we get the physically reasonable
result that the wave functions of the bound states are always orthogonal
to the scattering states, and that the basis states of different channels are
explicitly orthogonal to each other. We do not have to worry about making
the explicit assumption that as the separation between the fragments goes
to infinity, the overlap becomes negligible. This assumption may or may not
be true, and leads to the problems with “persistent interactions” considered
by Van Hove [4].
   We compare the results from the two formalisms with those from the
Rearrangement Model in Table 4.1.

    Property    Potential    Almost Local    Rearr.
    Scattering    formalism    Model
    Asymp. states norm.?    Yes    Yes    No
    Asymp. states orthog.?    Yes    Yes    Yes
    Asymp. states compl.?    Yes    Yes    No
    0 isometric?    Yes    N/A    No
    S-matrix unitary?    Yes    Yes    Yes
    He used?    No    No    Yes
    Additional property for the multiple-channel case
    Phys, states orthog.?    No    No    Yes

Table 4.1: Comparison of the properties of the Rearrangement Model to
various scattering formalisms.

    In addition, even when it is not stated explicitly in the literature, it is
often assumed that the spectra of the bound states and the scattering (con­
tinuum) states do not overlap. As reviewed in Chapter 1, we can construct
models in which the spectra of one or more bound states overlap with the
continuum. Therefore, this assumption is not necessarily true, and will in
general depend upon the details of the model under consideration. We also
reviewed in Chapter 1 a demonstration of how two different potentials can
lead to the same S-matrix with, in one case, redundant poles unnecessary for
completeness, and in the other case, with the same poles being absolutely
necessary for completeness. This points out the need for resisting the almost
irresistible temptation to identify the poles of the S-matrix with physical
bound states of the system.
   More importantly, no authors have as yet worried about the evident
normalization problem with the asymptotic states because they are always
assumed to be normalized. These states are not normalized in the Rearrange­
ment Model, and consequently, assuming orthonormality of the asymptotic

    70
states, in general, is very dangerous. In addition, we notice that in this model
even though the asymptotic states are not normalized, the interacting states
are.
    One approach that tries to avoid all these problems, especially in the
cases of unstable particles and bound states, is that of analytic continua­
tion [17,23,27,28,43,44] of the state space H into a generalized vector space
Q.    This has already been done for the case of the Lee model by Parravicini, Gorini, and Sudarshan [24], and by Bohm [45]. For instance, with
this method, one can identify resonances and redundant poles, and study
the decay of a metastable quantum system. It can also be used for many
other things, such as studying the Khalfin observation that the decay of a
metastable system with an energy spectrum bounded from below can never
be strictly exponential [46]. See the above references for details.

Chapter 5.
Summary and Conclusions

    In this work, we constructed a model that allows rearrangement colli­
sions. We explored the spectra and the complete set of orthonormal (ideal)
eigenfunctions of this Rearrangement Model in the Rearrangement Sector.
Because of the structure of the effective Hamiltonian in this sector, we were
able to solve the model exactly. In a similar fashion as for the Cascade
Model [17], we find that the spectra can be interpreted as a B particle with
energy Mb < 0 coupled to a 0 particle with energy w, 0 < w < oo; a D par­
ticle with energy Md < 0 coupled to a 0 particle with energy v, 0 < v < oo;
and a C particle of energy 0 coupled to 0 and <j> particles with energies w
and v, 0 < u>, v < oo. We see that the interacting field theory has a particle
interpretation.
    Both the B and the D particles suffer mass renormalizations, and these
mass renormalizations alter the threshold of the BQ and D^> continua, re­
spectively. In Eqs. (2.39b) and (2.40c), we also see the presence of both the
mass and wave function renormalizations of the B and D particles in the
plane wave parts of their respective wave functions.
    We have throughout emphasized the importance of using the comparison
Hamiltonian (the diagonalized form of the effective Hamiltonian) because it
is isospectral with the full Hamiltonian. Its spectrum differs from that of
the free Hamiltonian by the alteration of the BQ and D<£ continua, and by
the addition of a discrete A state. These effects are non-perturbative and, as
emphasized in Chapter 4 and in [17], can only be handled by a renormalized
perturbation scheme in which He, not Hq, is taken as the starting point.

    — 71 —

    72
    Our results are surprising when compared to what we would expect from
conventional scattering theory. We find that while the interacting state vec­
tors are normalized, the asymptotic states are not. Moreover, the asymptotic
states are neither orthonormal nor complete. We also find that our physical
    and BO states, while being the basis states for different channels,
are strictly orthogonal to each other. Further, the Moller matrix in this model
is not isometric: it does not preserve the norm of the states. All these results
are contrary to the two formalisms of quantum scattering theory we consid­
ered. However, these problems are not just special to these two formalisms.
Almost every approach to quantum scattering theory makes similar, or the
same, assumptions, especially about the isometry of the Moller wave matrix,
and the orthonormality and completeness of the asymptotic states. In addi­
tion, we reviewed the existence of potentials possessing redundant poles in
their S-matrices. These make problematic the identification of poles of the
S-matrix with genuine bound states of the system. We also reviewed the
existence of potentials possessing bound states “buried” in the continuum.
These make problematic the assumption that the energies of bound states
are distinct from the continuum.

    More generally, we argued that the correct procedure, for any Hamilto­
nian, H, is to take its complete set of eigenstates, and an associated isospec­
tral comparison Hamiltonian, He- The matrix of normalized eigenfunctions
of H constitutes the generalized Moller matrix, which is unitary and inter­
twines H and HeThis model is a very simple one. However, even this simple model is
enough to show the problems with conventional perturbation theory, and
the conventional formulations of scattering theory. It is clearly necessary
in the light of this model, and previous work (some of which was reviewed

    73
in Chapter 1) on the existence of redundant poles in the scattering am­
plitude [12,13] and the presence of discrete solutions degenerate in energy
with the scattering continuum [16,47], that a fundamental re-examination
be made of some of the postulates and assumptions of conventional quantum
scattering theory.

Appendix A.
The Lee Model in the Momentum Basis

    If we solve the Lee Model in the momentum basis, we find that the
results are much more complicated and do not allow for transparent physical
interpretation. To show how much more complicated the model becomes in
the momentum basis, we solve the model in this basis. Our analysis follows
Schweber [48], with slight changes in notation.
    Consider the Hamiltonian

    H = Ho + Hj,    (AI)

with

    Ho = my0J dpW(p)y(p).

    + y dkwRat(k)a(k)    (Æ2a)

and

    {W(p)#(p - k)a(k) + (*JV
    p    - k)J(k)F(p)},    (A26)

where the field operators V, N, and a are for the V, N and 6 quanta,
respectively, and obey the usual commutation relations,    is the energy
of the 6 particle with mass no and momentum k; it can be taken to be
relativistic or non-relativistic as desired. Ao is the coupling constant defining
the strength of the interaction, and /i(k2) = /(w^) is a cutoff function
describing the size of the region over which the interaction takes place.

    - 74 75
    This Hamiltonian, apart from the total momentum operator P, also has
the following constants of motion:

    (A3a)

    (A36)

We can therefore label the eigenstates of H by these quantum numbers.
    To solve this model (see Schweber [48] for details) we expand physical
states in terms of bare states in the following manner, taking advantage of
the fact that only states with the same eigenvalue of Q\ and Qi can occur
in the expansion:

    (pi,    --,qn;ki, - ,k/).    (A4)

    Assuming that the V particle is stable, and defining
    Ao2    LfWI2
    F(z) =    (A5)
    (2^)=    2u>k (wk - z)
(analogous to a and 0 in the Rearrangement Model), the solutions are:

    |JV„6t)) = |jv„ek)

where one finds

    my = my0 — F (my — m^),    (A7a)
    /dF\
    Zy~1 = 1 +    (A.76)
    \dx ) x=my—m^

    76
and

   mN + wk “ H + ie q    G+ (ü?k) mpf +   — my
    + (2^72 '/
    *

with
   G+ (Wk) = 1 +    j *dk

    Looking at these solutions, and comparing them with the Lee Model
solutions that we used for the lower sector of the Rearrangement Model,
Eqs. (2.14), we can see that the latter are much simpler and more easily
understood. It therefore behooves us to absorb the coupling constants, phase
space factors, and other miscellaneous objects in H into one “form factor”
function, and work in the energy basis where things are much simpler and
the physical interpretation is much more transparent.
   Finally, let us look at (Schweber’s result for) the amplitude for NO —» NO
scattering. Defining 5ja = 6(a — b) — 2nib(Ea —    a, we find

    (k+q - k1 - q') -mN+^ZyXp2 [    „    \f (w") |2 (my — — u>k) 1    (   .
    + (2tt)3 J    2w"(my-mN-w")(wk-w" + i€)\    '   V ‘ J

Notice that this result is independent of the direction of the momentum.
Therefore, there is only s-wave scattering, just as in the Cascade model of
Chiu, Sudarshan, and Bhamathi [17], and in our Rearrangement Model.

Appendix B.
Some Useful Formulae

    The following formulae are very useful for the calculations in the main
text. By our definitions in Chapter 2, we have the following ranges for our
variables:

    0 < A < oo,    (5.1)
    0 < fi < oo,    (5.2)
    0 < n < oo,    (5.3)

with E being free to run over all values.
    We then have the easily proved identities

    (B.4)

    (B. 5)
    Is (A) I2 = _ J_ M______ i_
    13(A) P    2«[3(A) 3* (A).
    I/WI2    1_ J______
    h(^) P___ 2m[a(n) (a*/z).
 1^(5 — A) |
    — |Zgp6 (E — A — Mg},
 |/3 (E - A) |2    2m [0 (E - A)    0* {E - A)
    (5.8)
 |/(5-^)P    1
    — |Zgp6(E — n — Md) .
 \ot(E — /z) |2    2?ri [or(S — /z)    {a
    *E    — fi)
    (5.9)

The equations (B.8) and (B.9) follow because E—A and E—yz can be less than
zero, and thus pick up singularities at Mb < 0 and Md < 0, respectively.

    - 77 78

    Figure B.l: Contour for Eq. (B.lOa)

On the other hand A and p are always greater than or equal to zero, and so
cannot pick up any singularities.
    Another useful identity is

    7 (E) = J dX 1*7 (A) |2    1    IZgp
    (B.lOa)
    |/3 (A) J2 a (E - A) a (E-
    !/(/ I2
    = j dp )*    1    ,   ^dI2
    (B.106)
    0(E-MDy

   We can easily show this by means of the contours in Fig. B.l and Fig. B.2.
If we convert the integral in Eq. (B.lOa) into a contour integral by using

    Figure B.2: Contour for Eq. (B.lOb)

Eq. (B.6), we get

    JCi
    1    ।
    0(z)a(E-z)a(E-MBY
    IW    (B.ll)

with the contour shown in Fig. B.l. Then, we make a change of variables
from z to E — z to get
    IZbI2    (B.12)
    dz
    O' (E — Mg) ’

with the contour shown in Fig. B.2. Now we deform the contour Ca and
write it as the contour C3 plus the circle at infinity, while picking up the

    80
contributions from the residues of the integrand. Note that the circle at
infinity gives no result, so we have

(    jC3dz    + ( 2m)    a (E -MD)

+ (“2a(E-MB) + a(E-MBy

The ZB terms cancel, and the first two terms are Eq. (B.lOb), by definition.
Therefore, Eq. (B.lOa) is equal to Eq. (B.lOb), and the identity is established.
    We can similarly show that

    1    ;____
J    |l(A) Pa(E-A)(A-^ + «)

    =J    ______ 1:______  1___
    |a (fi) |2 fl (E — p) (E — fi — v + ie)
    a(E — v)fl(v)
    . _______ golf________________ W_______
    fl (E — Md) (E — Md — V 4- ie)    Ot (E — MB) (E — MB — u 4- it)
    (BA4)

    Using Eqs. (B.7), (B.8), and (B.10) we can get another useful formula

    [    \f (n) y\g (E — n) |2
    /    |«(n)P|/?(E-n)|2
    _ 7 (E) — 7* (E)    ,21/ (E - MB) |2
    "    (-2m)    |^(E-^)|2    \a(E-MB)V
    (B.15)

    Finally, in Fig. B.3, we display the branch cuts and poles of    which
are used in showing the completeness of our solution set.

Min(MB,MD,O)

M

    Figure B.3: Contour for the function

References

 1. W. Brenig and R. Haag, Quantum Scattering Theory, Marc Ross (edi­
    tor), Indiana University Press, Bloomington (1963), pp. 13;
    R. Haag, Proceedings of the Theoretical Physics Institute, Summer
    1960, University of Colorado (1961), pp. 326.
 2.   R. Haag, Phys. Rev. 112. 669 (1958).
 3.   M. Gell-Mann and M. L. Goldberger, Phys. Rev. 91, 398 (1953).
 4.   L. Van Hove, Physica 21, 901 (1955); Physica 22, 343 (1956).
 5. H. Lehmann, K. Symanzik and W. Zimmerman, Nuovo Cimento 1, 205
    (1955).
 6.   T. D. Lee, Phys. Rev. 95, 1329 (1954);
    K. Friedrichs, Comm, in Pure and Appl. Math. 1, 361 (1948).
 7.   C. Moller, K. Danske Vidensk. Selsk., Mat.-fys. Medd. 23, 1 (1945).
 8.   D. Ruelle, Helv. Phys. Acta 35, 147 (1962).
 9.   H. Ekstein, Phys. Rev. 101, 880 (1956).
10. P. A. M. Dirac, Can. J. Phys. 33, 709 (1955);
    T.-Y. Wu, Can. J. Phys. 34, 179 (1956);
    B. A. Lippmann, Phys. Rev. 102, 264 (1956);
    S. Altschuler, Phys. Rev. 91, 1167 (1953); Phys. Rev. 92, 1157 (1953);
    T. Fulton and G. E. Owen, Phys. Rev. 108, 789 (1957);
    E. Gerjuoy, Ann. Phys. 5, 58 (1958);
    G. Mohan, Nuovo Cimento 13, 1065 (1959).
11. J. M. Jauch, Helv. Phys. Acta 31, 661 (1958);

    - 82 83
    W. O. Amrein, J. M. Jauch, and K. B. Sinha, Scattering theory in
    quantum mechanics, W. A. Benjamin, Reading, 1977.
12. S. N. Biswas, T. Pradhan, and E. C. G. Sudarshan, Nucl. Phys B50.
    269 (1972).
13. S. T. Ma, Phys. Rev. 69, 668 (1946); Phys. Rev. 71, 195 (1947).
14. M. E. Rose and E. C. G. Sudarshan, Lectures in Theoretical Physics,
    W. A. Benjamin, New York (1962), pp. 211.
15. V. Bargmann, Rev. Mod. Phys. 21, 488 (1949);
    R. G. Newton, J. Math. Phys. 1, 319 (1960).
16. E. C. G. Sudarshan, Field Theory, Quantization and Statistical Physics,
    E. Tirapegui (editor), Reidel Publishing, Dordrecht, Holland (1981),
    pp. 237.
17. C. B. Chiu, E. C. G. Sudarshan, and G. Bhamathi, Phys. Rev. D46,
    3508 (1992).
18. C. Chiang, C. B. Chiu, E. C. G. Sudarshan, and X. Tata, Phys. Rev.
    D26, 2092 (1982).
19. G. Barton, Introduction to Advanced Field Theory, Interscience Pub­
    lishers, New York (1963), pp. 85.
20. Peter D. Lax and Ralph S. Phillips, Scattering Theory, Rev. ed., Aca­
    demic Press, Boston (1989).
21. G. Mohan, Suppl. Nuovo Cimento 5, 440 (1956).
22. H. Araki, Ann. of Phys. Acta 11., 260 (1960).
23. E. C. G. Sudarshan, C. B. Chiu, and Vittorio Gorini, Phys. Rev. D18,
    2914, (1978).
24. Guido Parravicini, Vittorio Gorini, and E. C. G. Sudarshan, J. Math.
    Phys. 21, 2208 (1980).

    84
25. C. B. Chiu, E. C. G. Sudarshan, and B. Misra, Phys. Rev. D16, 520
    (1977).
26. Xerxes Tata, E. C. G. Sudarshan, C. B. Chiu, and C C. Chiang, Phys.
    Rev. D26, 2114 (1982).
27. C. B. Chiu and E. C. G. Sudarshan, Phys. Rev. D42, 3712 (1990).

28. E. C. G. Sudarshan and C. B. Chiu, Phys. Rev. D47, 2602 (1993).

29. E. C. G. Sudarshan, Proc, of the 1961 Brandeis University Summer
    Institute, W. A. Benjamin, New York (1962).
30. R. G. Newton, Scattering Theory of Waves and Particles, 2nd Ed.,
    Springer-Verlag, New York (1982).
31. E. C. G. Sudarshan, C. B. Chiu, and G. Bhamathi, Texas Preprint
    DOE-ER40200-310, March 1993.
32. Ekstein (1956), pp. 883.
33. Newton (1982), pp. 480.

34. Newton (1982), pp. 145.
35. Haag (1961), pp. 345.

36. Haag (1961), pp. 347.

37. Ruelle (1962), pp. 148.

38. Haag (1961), pp. 350.
39. T. D. Imho, C. S. Imbo, and E. C. G. Sudarshan, Phys. Lett. B234,
    103 (1990);
    E. C. G. Sudarshan, Proc, of the 3rd International Symposium, Tokyo
    (1982), pp. 62-69.

40. B. S. DeWitt, Phys. Rev. 100, 905 (1955).
41. S. Sunakawa, Prog. Theor. Phys. (Kyoto) 24, 963 (1960).

    85
42. M. L. Goldberger and K. M. Watson, Collision Theory, John Wiley,
    New York (1964), pp. 117;
    N. F. Mott and H. S. W. Massey, The theory of Atomic Collisions, 3rd
    ed., Clarendon Press, Oxford (1965), pp. 436.
43. E. C. G. Sudarshan, Texas Preprint DOE-ER40200-265, Oct. 1991.
44. E. C. G. Sudarshan and C. B. Chiu, Texas Preprint DOE-ER40200-296,
    July 1992.
45. A. Bôhm, J. Math. Phys. 21, 1040 (1980); J. Math. Phys. 22, 2213
    (1981);
    A. Bohm and M. Gadella, Dirac Kets, Gamow Vectors and Gelfand
    Triplets, Springer Lecture Notes in Physics 348, Springer-Verlag, Berlin
    (1989).
46. L. A. Khalfin, Zh. Eksp. Teor. Fiz. 33, 1053 (1958) [Sov. Phys. JETP
    6, 1053 (1958)].
47. J. von Neumann and E. P. Wigner, Z. Physik 30, 465 (1929);
    B. Simon, Comm, on Pure and Appl. Math. 22, 531 (1967).
48. S. S. Schweber, An Introduction to Relativistic Quantum Field Theory,
    Row, Petersen, Evanston (1961), pp. 352ff.

    Vita
    Samir Varma was born in New Delhi, India, on August 7, 1966, the son
of Anjali Varma and Shyamratan Varma. He finished high school in 1984
at the Modern School in New Delhi, and entered Columbia University, New
York, in the Fall of that year. He was elected a member of the National
Engineering Honor Society in 1987, and received the degree of Bachelor of
Science in Electrical Engineering in 1988. He entered the Graduate School of
The University of Texas that Fall. He has since published 3 papers, Onset of
wavy vortices in the finite-length Couette- Taylor Problem, Finite-temperature
radiative corrections to Compton scattering, and Strongly Interacting W’s
and Z’s and the elastic unitarity constraint.

Permanent Address: 12016 Gatewater Drive, Potomac, MD 20854-2875.

This dissertation was typeset by the author.
