The rampant success of quantum theory is the result of applications of the 'new' quantum \nmechanics of Schrödinger and Heisenberg (1926-7), the Feynman-Schwinger-Tomonaga Quantum \nElectrodynamics (1946-51), the electro-weak theory of Salaam, Weinberg, and Glashow (1967-9), \nand Quantum Chromodynamics (1973-); in fact, this success of `the' quantum theory has depended \non a continuous stream of brilliant and quite disparate mathematical formulations. In this carefully \nconcealed ferment there lie plenty of unresolved difficulties, simply because in churning out fabulously \naccurate calculational tools there has been no sensible explanation of all that is going on. It is even \nargued that such an understanding is nothing to do with physics. A long-standing and famous \nillustration of this is the paradoxical thought-experiment of Einstein, Podolsky and Rosen (1935). \nFundamental to all quantum theories, and also their paradoxes, is the location of sub-microscopic \nobjects; or, rather, that the specification of such a location is fraught with mathematical inconsistency. \nThis project encompasses a detailed, critical survey of the tangled history of Position \nwithin quantum theories. The first step is to show that, contrary to appearances, canonical quantum \nmechanics has only a vague notion of locality. After analysing a number of previous attempts at a \n`relativistic quantum mechanics', two lines of thought are considered in detail. The first is the work \nof Wan and students, which is shown to be no real improvement on the usual `nonrelativistic' theory. \nThe second is based on an idea of Dirac's - using backwards-in-time light-cones as the hypersurface \nin space-time. There remain considerable difficulties in the way of producing a consistent scheme here. \nTo keep things nicely stirred up, the author then proposes his own approach - an adaptation \nof Feynman's QED propagators. \nThis new approach is distinguished from Feynman's since the propagator or Green's function \nis not obtained by Feynman's rule. The type of equation solved is also different: instead of an \ninitial-value problem, a solution that obeys a time-symmetric causality criterion is found for an \ninhomogeneous partial differential equation with homogeneous boundary conditions. \nTo make the consideration of locality more precise, some results of Fourier transform theory are \npresented in a form that is directly applicable. \nSomewhat away from the main thrust of the thesis, there is also an attempt to explain the \nmanner in which quantum effects disappear as the number of particles increases in such things as \nexperimental realisations of the EPR and de Broglie thought experiments.
The rampant success of quantum theory is the result of applications of the 'new' quantum \nmechanics of Schrödinger and Heisenberg (1926-7), the Feynman-Schwinger-Tomonaga Quantum \nElectrodynamics (1946-51), the electro-weak theory of Salaam, Weinberg, and Glashow (1967-9), \nand Quantum Chromodynamics (1973-); in fact, this success of the' quantum theory has depended \non a continuous stream of brilliant and quite disparate mathematical formulations. In this carefully \nconcealed ferment there lie plenty of unresolved difficulties, simply because in churning out fabulously \naccurate calculational tools there has been no sensible explanation of all that is going on. It is even \nargued that such an understanding is nothing to do with physics. A long-standing and famous \nillustration of this is the paradoxical thought-experiment of Einstein, Podolsky and Rosen (1935). \nFundamental to all quantum theories, and also their paradoxes, is the location of sub-microscopic \nobjects; or, rather, that the specification of such a location is fraught with mathematical inconsistency. \nThis project encompasses a detailed, critical survey of the tangled history of Position \nwithin quantum theories. The first step is to show that, contrary to appearances, canonical quantum \nmechanics has only a vague notion of locality. After analysing a number of previous attempts at a \nrelativistic quantum mechanics', two lines of thought are considered in detail. The first is the work \nof Wan and students, which is shown to be no real improvement on the usual `nonrelativistic' theory. \nThe second is based on an idea of Dirac's - using backwards-in-time light-cones as the hypersurface \nin space-time. There remain considerable difficulties in the way of producing a consistent scheme here. \nTo keep things nicely stirred up, the author then proposes his own approach - an adaptation \nof Feynman's QED propagators. \nThis new approach is distinguished from Feynman's since the propagator or Green's function \nis not obtained by Feynman's rule. The type of equation solved is also different: instead of an \ninitial-value problem, a solution that obeys a time-symmetric causality criterion is found for an \ninhomogeneous partial differential equation with homogeneous boundary conditions. \nTo make the consideration of locality more precise, some results of Fourier transform theory are \npresented in a form that is directly applicable. \nSomewhat away from the main thrust of the thesis, there is also an attempt to explain the \nmanner in which quantum effects disappear as the number of particles increases in such things as \nexperimental realisations of the EPR and de Broglie thought experiments.
The difficulties of the old quantum theory were largely dispelled by the development of quantum mechanics in the 1920s. First Heisenberg (1925) developed the rather abstract matrix mechanics and soon after Schro¨dinger (1926; see also Eckart, 1926) developed the physically more appealing wave mechanics. Subsequently he showed them to be mathematically equivalent. The physicists were greatly relieved; now they had once again a mathematical formalism that enabled the results of experiments to be calculated. It was possible to move forward. It is certainly a very elegant and indeed beautiful formalism, and does enable the results of many physical measurements to be calculated with great accuracy. It is used daily by atomic and nuclear physicists; there is no other way to make calculations. From the earliest days there has been intense debate about the interpretation of quantum mechanics, and it shows no signs of being settled; if anything it is becoming more intense over the years. As Penrose has remarked, no one understands quantum mechanics. Feynman (1967; see also Sykes, 1994) also admitted that ‘nobody understands quantum mechanics’, and Einstein once remarked: ‘I have thought a hundred times as much about the quantum problems as I have about general relativity theory’ (Pais, 1994, p. 57). It should therefore be evident that the most that can be done here is to try to show where the real difficulties lie, and how the failure to recognize that quantum mechanics is an essentially statistical theory has led to a series of confusing quantum paradoxes. It is just these paradoxes that have often been used to support theological speculations. It is useful to ask what ‘understanding quantum mechanics’ actually means. Certainly it means being able to calculate the results of many measurements. The same applies to Newton’s theory of gravitation, which we understand in the sense that we can use it as a basis of calculation, although we do not really understand the gravitational force itself. Very often, especially in modern physics, the mathematical formalism does not give us the sort of intuitive physical feeling for what is going on that we often obtain from classical mechanics. Perhaps we can never achieve more than this for quantum mechanics. In classical mechanics we can assume that a property that is measured objectively exists prior to the interaction of the measuring apparatus with the observed system. Quantum mechanics, however, ‘is incompatible with the proposition that measurement discovers some unknown but pre-existing property’ (Peres, 1997, p. 14). There is an important distinction between mysteries and absurdities. We may be forced to live with mysteries, but there is no reason why we should put up with absurdities such as the wave-particle duality, tunnelling through potential barriers, acausal events and the collapse of the wave function. These are the quantum paradoxes that will be discussed later on. They arise within the Copenhagen interpretation of quantum mechanics and are solved by other interpretations. These alternative interpretations enable us to make conjectures about what is going on, even though we cannot understand it in detail. This is acceptable and a stimulus to further research. It is certainly difficult enough to understand quantum mechanics, but there is no need to try to visualize logical absurdities in the effort to do so. Quantum mechanics is a mathematical formalism that makes it possible to calculate the results of some experiments. Anything more than this, such as questions about the interpretation of what is measured and whether it tells us what is actually going on in the system being studied, belongs to philosophy. Thus we are concerned here with what is essentially a philosophical debate; if it were just a matter of physics the debate would have been settled long ago. One of the difficulties is that it invokes the results of experiments and uses the language of quantum mechanics. Inevitably this language uses philosophical terms and then it is easy to give the impression that the philosophical propositions are in some way entailed by the physical results. These in turn can influence theological thinking. In order to be quite clear which arguments are justified and which are not, it is essential to separate the three levels of discourse: physical, philosophical and theological. Our task is to relate these together, and this immediately raises the traditional problems of the philosophy of science, including the relation of experiment to theory, and of theory to explanation. We begin by discussing experiments, distinguishing between those that are real and those that are imaginary.
In 1948, Richard Feynman published the first paper on his new approach to non-relativistic quantum mechanics. Before Feynman's work there were two mathematical formulations of quantum mechanics. Schrödinger's formulation was based on PDE (the Schrödinger equation) and states representation by wave functions, so it was in the framework of analysis and differential equations. The other formulation was Heisenberg's matrix algebra. Initially, they were thought to be competing. The proponents of one claimed that the other was “ wrong. ” Within a couple of years, John von Neumann had proved that they are equivalent.\nAlthough Feynman's theory was not fundamentally new, it nonetheless offered an entirely fresh and different perspective: via a precise formulation of Bohr's correspondence principle, it made quantum mechanics similar to classical mechanics in a precise sense. In addition, Feynman's approach made it possible to explain physical experiments, and, via diagrams, link them directly to computations. What resulted was a very powerful device for computing energies and scattering amplitudes - the famous Feynman's diagrams.\nIn his formulation, Feynman aimed at representing the solution to the non-relativistic Schrödinger equation in the form of an “ average ” over histories or paths of a particle. This solution is commonly known as the Feynman path integral. It plays an important role in the theory but appears as a postulate based on intuition coming from physics rather than a justified mathematical object. This is why Feynman's vision has caught the attention of many mathematicians as well as physicists.\nThe papers of Gelfand, Cameron, and Nelson are among the first, and more substantial, attempts to supply Feynman's theory with a rigorous mathematical foundation. These attempts were followed by many others, but unfortunately all of them were not quite satisfactory. The difficulty comes from a need to define a measure on an infinite-dimensional space of continuous functions that represent all possible paths of a particle. This Feynman's measure has to produce an integral with the properties requested by Feynman. In particular, the expression for the Feynman measure has to involve the non-absolutely integrable Fresnel integrands. The non-absolute integrability of the Fresnel integrands makes the measure fail to be positive and to have the countably additive property. Thus, a well-defined measure in the case of the Feynman path integral does not exist.\nExtensive research has been done on the methods of relating the Feynman path integral to the integral with respect to the Wiener measure. The method of analytic continuation in mass defines the Feynman path integral as a certain limit of the Wiener integrals. Unfortunately, this method can be used as definition for only almost all values of the mass parameter in the Schrödinger equation. For physicists, this is not a satisfactory result and needs to be improved.\nIn this work we examine those questions which originally led to the Feynman path integral. By now we know that Feynman's “ dream ” cannot be realized as a positive and countably additive measure on the path-space. Here, we offer a new way out by modifying Feynman's question, and thereby achieving a solution to the Schrödinger equation via a different kind of averages in the path-space.\nWe give our version of the question that Feynman “ should have asked ” in order to realize the elusive path integral. In our formulation, we get a Feynman path integral as a limit of linear functionals, as opposed to the more familiar inductive limits of positive measures, traditionally used for constructing the Wiener measure, and related Gaussian families. We adapt here an approach pioneered by Patrick Muldowney. In it, Muldowney suggested a Henstock integration technique in order to deal with the non-absolute integrability of the kind of Fresnel integrals which we need in our solution to Feynman's question. By applying Henstock's theory to Fresnel integrals, we construct a complex-valued “ probability distribution functions ” on the path-space. Then we use this “ probability ” distribution function to define the Feynman path integral as an inductive limit. This establishes a mathematically rigorous Feynman limit, and at the same time, preserves Feynman's intuitive idea in resulting functional. In addition, our definition, and our solution, do not place any restrictions on any of the parameters in the Schrödinger equation, and have a potential to offer useful computational experiments, and other theoretical insights.
Relativistic quantum theory poses a number of conceptual problems over and above the non-relativistic mechanics. From a purely mathematical point of view it is also much more sophisticated. Even the kinematic theory poses considerable difficulties: locality, antimatter, negative energy, and charge are already systematically linked in ways that cannot simply be paraphrased. A further complication is that in the midst of this structure we have what is usually called the Newton-Wigner representation (or, in the case of the Dirac theory, the Foldy-Wouthuysen representation), in which fields and states are no longer covariantly described and where the “local” self-adjoint quantities (NW-local observables) do not obey microcausality, but only satisfy equal-time commutators with respect to a particular inertial frame. If we pass to this represenation, we obtain at a stroke the basic structure of non-relativistic quantum field theory; it is not too hard to descend from that to a many-particle mechanics, and to recover the usual definitions of localization.
One way of reading this book is as an epilogue-or (more precisely) as a denouement-to a book I wrote more than thirty years ago, which was called Quantum Mechanics and Experience.That earlier book was meant to do two things:1) To introduce its readers to the elementary nuts and bolts of the foundations of quantum mechanics-the idea of superposition, the basics of the standard mathematical formalism of quantum mechanics, the argument of Einstein and Podolsky and Rosen to the effect that that formalism, considered as a description of the fundamental real ity of the world, must be somehow incomplete, Bell's extension of that argument into a general and power ful theorem about locality, the elaboration (by figures like Erwin Schrödinger, and John von Neumann, and Eugene Wigner) of the quantum-mechanical mea surement prob lem, and vari ous proposals (theories of the spontaneous collapse of the wave-function, Bohmian mechanics, the so-called many-worlds interpretations of quantum mechanics, and so on) for solving it.2) To show how the above-mentioned proposals for solving the mea sure ment prob lem, taken together, amount to a