The Role of Gravitation in
The Role of Gravitation in
ii
Series Editors
Jrgen Renn, Robert Schlgl, Bernard F. Schutz.
Edition Open Access Development Team
Lindy Divarci, Beatrice Gabriel, Jrg Kantel, Matthias Schemmel, and
Kai Surendorf, headed by Peter Damerow.
Scientic Board
Markus Antonietti, Ian Baldwin, Antonio Becchi, Fabio Bevilacqua,
William G.Boltz, Jens Braarvik, Horst Bredekamp, Jed Z.Buchwald,
Olivier Darrigol, Thomas Duve, Mike Edmunds, Yehuda Elkana, Olaf
Engler, Robert K.Englund, Mordechai Feingold, Rivka Feldhay, Gideon
Freudenthal, Paolo Galluzzi, Kostas Gavroglu, Mark Geller, Domenico
Giulini, Gnther Grz, Gerd Graho, James Hough, Manfred Laubichler, Glenn Most, Pier Daniele Napolitani, Alessandro Nova, Hermann
Parzinger, Dan Potts, Circe Silva da Silva, Ana Simes, Richard Stephenson, Mark Stitt, Noel M.Swerdlow, Liba Taub, Martin Vingron, Scott
Walter, Norton Wise, Gerhard Wolf, Rdiger Wolfrum, Gereon Wolters,
Zhang Baichun.
Sources 5
Edition Open Access
2011
ISBN 978-3-86931-963-6
First published 2011
Printed in Germany by epubli, Oranienstrae 183, 10999 Berlin
http://www.epubli.de
Edition Open Access
http://www.edition-open-access.de
Published under Creative Commons by-nc-sa 3.0 Germany Licence
http://creativecommons.org/licenses/by-nc-sa/3.0/de/
The Max Planck Research Library for the History and Development of
Knowledge comprises two subseries, Studies and Sources. They present
research results and the relevant sources in a new format, combining the
advantages of traditional publications and the digital medium. The volumes are available both as printed books and as online open access publications. They present original scientic work submitted under the scholarly
responsibility of members of the Scientic Board and their academic peers.
The volumes of the two subseries and their electronic counterparts
are directed at scholars and students of various disciplines, as well as at a
broader public interested in how science shapes our world. They provide
rapid access to knowledge at low cost. Moreover, by combining print with
digital publication, the two series oer a new way of publishing research
in ux and of studying historical topics or current issues in relation to
primary materials that are otherwise not easily available.
The initiative is supported, for the time being, by research departments of three Max Planck Institutes, the MPI for the History of Science,
the Fritz Haber Institute of the MPG, and the MPI for Gravitational
Physics (Albert Einstein Institute). This is in line with the Berlin Declaration on Open Access to Knowledge in the Sciences and Humanities,
launched by the Max Planck Society in 2003.
Each volume of the Studies series is dedicated to a key subject in
the history and development of knowledge, bringing together perspectives
from dierent elds and combining source-based empirical research with
theoretically guided approaches. The studies are typically working group
volumes presenting integrative approaches to problems ranging from the
globalization of knowledge to the nature of scientic innovation.
Each volume of the Sources series typically presents a primary source
 relevant for the history and development of knowledge  in facsimile,
transcription, or translation. The original sources are complemented by
an introduction and by commentaries reecting original scholarly work.
The sources reproduced in this series may be rare books, manuscripts,
documents or data that are not readily accessible in libraries and archives.
On the basis of scholarly expertise the publication of the two series
brings together traditional books produced by print-on-demand techniques
with modern information technology. Based on and extending the functionalities of the existing open access repository European Cultural Heritage Online (ECHO), this initiative aims at a model for an unprecedented,
web-based scientic working environment integrating access to information
with interactive features.
Contents
The Authors . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
23
43
51
65
65
66
67
68
69
70
70
77
viii
Contents
81
89
Gravitational Waves
L. Marder, Presented by H. Bondi . . . . . . . . . . . . . . . . . . . . . . . . . .
Static Cylinder . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Periodic Waves . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Pulse Waves . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
97
97
98
99
10
11
12.1
12.2
12.3
12.4
13
121
121
121
122
122
Contents
ix
15
16
17
19
20
Quantum Gravidynamics
Bryce DeWitt . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 197
23
Closing Session
Chairman: B. S. DeWitt
24
25
Critical Comments
R. P. Feynman . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 271
26
Summary of Conference
P. G. Bergmann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 277
27
An Expanded Version of the Remarks by R.P. Feynman on the Reality of Gravitational Waves . . . . . . . . . . . . 279
Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 283
No one man lives long on this earth. It will take the concerted eorts of
many men to pry forth one of the deepest and most obstinate, but one
of the most important and potentially useful secrets of nature ... In this
quest we are reaching for the stars,  and beyond.
Agnew H. Bahnson
The Stars Are Too High
Preface
This book contains the original report from the Conference on the Role
of Gravitation in Physics, which took place at the University of North
Carolina, Chapel Hill, over six days in 1957. The report was taken down
by Ccile DeWitt and several other reporters, as part of a conference
funding agreement with the Wright Air Development Center, a U.S. Army
(Air Force) funding body (the reports ocial designation is: WADC
Technical Report 57-216). Ccile DeWitt then edited the recorded material
into its nal form. The report, though publicly available as a government
document, has not previously been published in book form, and there
are not many copies of the report left in existence. Given the immense
historical signicance of the conference - giving gravitational research some
much needed impetus at a time when it was in a state of dire neglect we thought it was high time to produce a version of the report for the
masses as it were. The version presented here is almost entirely faithful to
the original, and aside from the correction of a few spelling mistakes (and
the possible addition of some entirely new typos!) features no substantive
alterations or annotations. However, in order to make the document more
navigable and more useful as a research tool, we have added an index (of
both names and subjects) and also imposed a little more structure on the
sessions, by setting some of the meatier contributions as chapters. This in
no way interferes with the ordering, and simply amounts to the addition,
in several places, of a title to the presentations and discussions that follow.
In addition to classic debates over cosmological models and the reality
of gravitational waves, many of the still-pressing issues in quantum gravity
were formulated in the discussion periods and interjections reproduced in
the following pages. (Philosophers of physics might be interested to see
Thomas Gold, p. 244, pressing those who assume that the gravitational
eld had to be quantized to prove it!) One can also nd the roots of many
current research programs in quantum gravity, as well as early intimations of what would become classic thought experiments, oering some
guidance to a subject without genuine experiments. We also nd, fully
staked out, three central approaches to the quantization of gravity: canon-
Contents
3 As Peter Bergmann puts it, on p.192, once the classical problems are solved, quantization would be a walk.
4 How could it? As Agnew Bahnson (about whom, see Chapter 1) noted in his postconference report, there were some 57 half-hour tapes recorded in total.
Acknowledgements
We would like to express our thanks to all of those involved in the original
Chapel Hill conference (or their estates) who very kindly gave their permission to reproduce their papers and comments, without which this book
would not have been possible. We would also like to thank those involved
in the smooth, speedy publication of the book, especially Beatrice Gabriel
for her excellent proof reading.
DR is grateful to the the Dolph Briscoe Center for American History
at the University of Texas at Austin for allowing him access to the Bryce
DeWitt Papers; to Ccile DeWitt, rstly for allowing access to her own
archive of papers and letters, from which much of the historical material
in the introductory chapter was drawn, but also for allowing me to take
part in this wonderful project; to Jrgen Renn, Max Planck Institute for
the History of Science, and Don Salisbury, Austin College, for some much
needed motivation, resulting in a signicant speed up in the books production; and to the Australian Research Council for their generous support
of the History of Quantum Gravity Project (DP0984930) that the present
book contributes to; and to the Max Planck Institute for the History of
Science for hosting me as a visiting fellow during the bookss completion.
Finally, DR would like to thank his wife, Kirsty, and children, Sophie and
Gaia, for putting up with his very many absences while this work was
being completed.
Chapter 1
The Chapel Hill Conference in Context
Dean Rickles
The Conference on the Role of Gravitation in Physics was the (ocial) inaugural conference of the Institute of Field Physics [IOFP] which had only
just been established at Chapel Hill, with Ccile and Bryce DeWitt at the
helm.1 The IOFP received its certicate of incorporation on September
7, 1955. In fact, it nearly had a very dierent name, The Research Institute of the University of North Carolina, which, quite naturally, won the
unanimous approval from the University (and Bryce DeWitt), but not,
it transpires, the approval of the primary funder, Mr Agnew Bahnson.
Bahnson was a wealthy North Carolinian industrialist with a passion for
physics (especially gravitational); he made his fortune from industrial air
conditioning systems.
The initial meeting between Bryce DeWitt and Bahnson took place
on July 9, 1955, in Raleigh, N.C. They were joined by Cliord Beck,
who was head of physics at State College in Raleigh - Bahnson originally
planned to have the IOFP at State College since they had a nuclear reactor there, which, as Bryce DeWitt puts it, Bahnson felt might be useful
for anti-gravity [3]. Curiously, at the same time, the Glenn L. Martin
Company (now Lockheed-Martin) was setting up its own research institute
that would do work for the U.S. National Defense Service2 though of a
1 An initial get to know each other meeting of the IOFP was held June 8-10, 1956,
at Roaring Gap in North Carolina, where Bahnson had a summer house. This was
open to all members of the IOFP and a few select others, including Freeman Dyson and
Lothar Nordheim, potential funders and a reporter from the Winston-Salem Journal &
Sentinel. As Bahnson put it, in his 4th Memorandum (of June 20, 1956) the purpose
of the meeting was to introduce members of the Institute and their guests to Mr and
Mrs DeWitt and to dene more clearly the problems to be dealt with at the IOFP
(with gravity as the focal point of interest (letter from Ccile DeWitts own archive;
henceforth, unless otherwise specied, references will be to documents contained in this
archive).
2 This would become RIAS, or the Research Institute for Advanced Study. It is possible
that DeWitts meeting was with the director of RIAS, Welcome Bender, who was in
charge of recruitment, and who also attended the Roaring Gap conference on behalf
rather dierent sort, industry sponsored, and not ensconced in a university. DeWitt had a meeting with its vice-president, George Trimble (or
Bender - see footnote 2), to discuss a potential project involving gravitational physics research (more on this below). DeWitt ew to his meeting
with Bahnson immediately after visiting the Glenn Martin Company in
Baltimore - indeed, the airplane was owned by a friend of Bahnsons, one
Earl Slick of Slick Airways!
Bahnson had originally written to DeWitt on May 30, 1955. Just
prior to this, DeWitt had already also been in correspondence with Roger
Babson, another wealthy industrialist with a passion for gravity research.
Babson had established the Gravity Research Foundation (GRF) in Salem,
and had established an essay competition (governed by George Rideout)
for the best two thousand word essays on the possibilities of discovering
some partial insulator, reector or absorber of gravity waves ([2], p. 344)!
DeWitt won rst prize in this competition (in 1953) with an essay dismissing the whole idea; or, as he put it: [E]ssentially giving them hell for such
a stupid - the way it had been phrased in those early years [3]. DeWitt
wrote the essay in a single evening: ... the quickest $1000 I ever earned!
(ibid).3 Given that the essay led to the original exchange between Rideout
and Bahnson over Bryce4 , it seems that this single nights work might in
fact have earned him rather more than $1000!
Babson clearly saw in DeWitt one who could lift the respectability of
the GRF. Indeed, this seemed to be the case, for whereas the prize was
previously avoided by serious physicists, after DeWitt won, the oodgates
opened. The next year, 1954, saw Arnowitt and Deser take rst prize.5
of the Glenn Martin Company. However, there certainly was correspondence between
DeWitt and Trimble.
3 In a section entitled Purposes, Objects and Powers of the document of incorporation of the Gravity Research Foundation formed by Babson, Clause (1) states that the
purpose of the corporation is to Observe the phenomena of nature and encourage, promote and support investigations in search of underlying knowledge of these phenomena.
Conduct theoretical and experimental studies to discover the laws which aect them
and evolve new technological concepts for the improvement and welfare of mankind
(Bryce DeWitt Archives, Center for American History, University of Texas at Austin).
Babson had a curious view of gravity as a kind of natural evil ( a dragon), caused
by his sisters and grandsons drowning by, as he saw it, the downward pull of gravity
- see [1].
4 Note that Bryce concluded his GRF essay with the words External stimuli will
be urgently needed in the near future to encourage young physicists to embark upon
gravitational research in spite of the odds, which clearly resonated with both Babson
and Bahnson.
5 Much to the chagrin of Robert Oppenheimer who was supervising both of them at
the Princeton Institute for Advanced Study. Oppenheimer thought that entering the
The GRF could never really gain the prestige it so desired. Babson
held too much control over what lines of research were investigated. Since
he was no scientist, these tended to be crankish - in one GRF bulletin the
biblical miracle of Jesus walking on water was oered up as evidence in
the possibility of antigravity shields, as was the ability of angels to defy
gravity! The GRF stood no chance (at least not in this form). Martin
Gardner famously mocked Babsons own gravity ideas in an article entitled
Sir Isaac Babson.6 . Gardner called the GRF perhaps the most useless
scientic project of the twentieth century ([6], p. 93). He was referring to
the stated aims of the GRF and its essay competition; namely to discover
some kind of gravity screen (the right kind of alloy - cf. [2], p. 343).
Gardner rightly points out that the concept of a material that is opaque
to gravitational interactions was made obsolete by the shift to the general
theory of relativity.
Agnew Bahnson was a close friend of George Rideout, the president
of Babsons GRF, and the one who had initially suggested the idea of a
GRF to Babson. On the basis of how the initial organizational meetings
went, Gardners critique perhaps oered up a recipe for a more successful
venture. Whereas Babson promoted a vision of spectacular technologies
as a result of its gravitational research, Bahnson adopted a more sober approach. Thus, in the foreword of an early draft (dated November 17, 1955)
for the IOFPs promotional brochure Bahnson wrote (in stark contrast to
Babsons statements):
competition and accepting the prize brought the IAS into disrepute. He believed that
Arnowitt and Deser exploited their positions at the institute (see [3]). Note that Pascual Jordan was placed in 5th position this same year, with his essay on his theory
of a variable gravitational constant. James L. Anderson submitted an essay on the
Measurability of Gravitational Fields, but was not placed at all - the same is true of
Dennis Sciama who wrote on a possible method of shielding gravitation using Machs
principle. Frederik Belinfante took 1st prize in 1956 for his paper on gravitational absorbers and shields. In the 1957 competition, Thomas Gold took 1st prize for a paper
on the gravitational interaction of matter and anti-matter, that he co-authored with
Philip Morrison (John Wheeler took second prize, and Felix Pirani took 3rd).
6 This is a reference to Babsons penchant for all things Newtonian. This penchant led
to the establishment of one of the largest collections of Newtonia (as he calls it, [2] p.
340) in the world, on the campus of the Babson Institute in Wellesley, Massachusetts.
One of the librarys rooms is an actual room used by Newton while in his nal years
in London. This was purchased by Babsons wife when she discovered the building was
being demolished, shipped over from the UK, and rebuilt on site as Newton would have
used it with the same walls, doors and even the identical shutters containing the hole
through which he carried on his rst experiments in connection with the diusion of
light (loc. cit., p. 340). David Kaiser has a useful discussion of this curious episode in
his PhD thesis, Making Theory: Producing Physics and Physicists in Postwar America
(Harvard University, 2000). See also Kaiser [9]
10
11
DeWitt later did a report on The scientic uses of large space ships, for
the Department of Defense (General atomic report GAMD 965, 1959).
10 Bob Bass, who coauthored the paper with Witten in this conference report, was the
rst person to be hired by Witten, in 1956. Bass, together with Witten, would later
manage to hire R. E. Kalman and Solomon Lefschetz, in 1956 and 1957 respectively.
12
Figure 1.1: Letter from Agnew Bahnson to the DeWitts from the early
phase of the development of the Institute of Field Physics,
December 29, 1955.
13
Dyson, Teller, Feynman, and Wheeler. Wheeler did much behind the
scenes sculpting of the IOFP, and was, next to Bahnson, perhaps most responsible for the bringing about of the IOFP. For example, it was Wheeler
who tempered Bahnsons own (somewhat Babsonesque) proposal entitled
The Glorious Quest, to make it more attractive to funding agencies:
Ebullient as you and I are, I suspect sober going may go further when it
comes to getting money from a foundation (Wheeler to Bahnson, August
29, 1955). Then, writing to the acting president of the University of North
Carolina, Harris Purks, November 25, 1955, Wheeler writes of:
the absolute necessity to avoid identication with so-called
anti-gravity research that may be todays version of the last
centurys search for a perpetual motion machine. [...]
Unfortunately, there are sensationalists only too willing to
confuse in the public mind the distinction between so-called
anti-gravity research ... and responsible, well informed attempts to understand eld physics and gravitational theory at
the level where it really is mysterious, on the scale of the universe and in the elementary particle domain.
He goes on to applaud the step (in fact suggested by Wheeler himself,
earlier) of attaching to every piece of IOFP publicity a disclaimer to the
eect that the IOFP is in no way connected to anti-gravity research. This
Protection Clause would be attached to each IOFP statement:
The work in eld physics and gravitation theory carried on at
the University of North Carolina at Chapel Hill, and nanced
by the Institute of Field Physics, as fund raising agency, has no
connection with so-called anti-gravity research of whatever
kind and for whatever purposes. Its scientists, basing their
investigations upon veriable data, accept the Newton-Einstein
analysis of gravity as free of a single established exception, and
as the most comprehensive physical description we have today.
They seek the implications of gravity and other elds of force
at the level of the elementary particles. More generally, the
Chapel Hill project is a modest attempt to learn more about
the nature of matter and energy.
This expedient, Wheeler argued, is necessary to avoid discouraging both
sponsors and scientists. The message that anti-gravity connotations must
14
be avoided at all costs runs through much of the correspondence and foundation documents like a mantra. It clearly played a vital role (in the minds
of physicists) in establishing the legitimacy of the enterprise.
Wheeler did not hold back on the need for the IOFP, though his
claims were moderated somewhat by a knowledge that progress might well
be very slow:
It is hard to see how one can get to the bottom of the elementary particle problem - the central issue of modern physics without coming to the very foundations of our physical world
and the structure of space and time. Gravity, elds and particles must in the end be all one unity. The absence of any paradox or discrepancy in gravitation theory at the human and
astronomical levels creates an obligation to apply Einsteins
ideas down to smaller and smaller distances. One must check
as one goes, until one has either a successful extension to the
very smallest distances, or a denite contradiction or paradox
that will demand revision. ... The challenge cannot be evaded.
Exactly how to proceed is a matter of wisdom, skill, judgement,
and a good idea. Nobody guarantees to have a good idea, but
the DeWitts, fortunately, have a very sound plan of what to
do while searching for a good idea. They propose to do something that has long needed doing - help make clear the fundamental facts and principles of general relativity so clearly and
inescapably that every competent worker knows what is right
and what is wrong. They can do much to clear away the debris
of ruined theories from the rocklike solidity of Einsteins gravitation theory so its meaning and consequences will be clear to
all. This is a great enterprise. Einsteins theory of the spacetime-gravitation eld is even richer than Maxwells theory of
the electromagnetic eld. That eld has been investigated for
many years, and now forms the foundation for a great science.
One cannot feel physics has done its job until a similarly complete investigation has been made for the gravitational eld.
(John Wheeler, letter to Bahnson, November 25, 1955)
Though there is, of course, a good deal of colourful rhetoric in this passage,
it nonetheless shows the importance in Wheelers mind of the role that the
IOFP (and the DeWitts) would play. (Note that Wheeler had only just
recently had to intervene in a proposal of Samuel Goudschmidts to impose
15
an embargo on all papers dealing with general relativity and unied eld
theory from the pages of Physical Review - cf. [5], p. 414.)
The various letters of support (dating from between October 1955 and
January 1956), for which the preceding letter from Wheeler to Purks provides a cover letter, highlight the recognition that general relativity and
gravitational research had been unfairly neglected, and the need for a renewal of interest. Oppenheimer writes that he shares with most physicists
the impression that this eld has been rather neglected by us. Dyson seconds this (as does Nordheim), but adds some conditions for success, more
or less reiterating what Wheeler had already said: that immediate results
should not be expected, and that (to avoid becoming isolated and sterile) the institute should be settled as rmly as possible in the framework
of normal university life. Edward Teller remarks in his letter that a
comprehensive examination of general relativity and high-energy physics,
together with an investigation of the interaction between these two elds
may very well lead to the essential advance for which we are all looking.
Feynman too voiced the opinion that the problem of the relation
of gravitation to the rest of physics is one of the outstanding theoretical
problems of our age. However, he was less positive about the chances of
the proposed institute in (what he thought was) its original form. Feynman was not convinced that an industrially funded institute, detached
from a university, could possibly deliver the requisite exibility to develop
new fundamental knowledge: that required absolute freedom to bounce
around between topics, as one chose. On learning that the institute was to
be housed in a university, Feynman was unreservedly positive about the
proposal (letter to Wheeler, dated December 2, 1955).
John Toll, head of physics at the University of Maryland, writes, directly discussing the other letters:
Most of my colleagues have pointed out in their comments
that the eld of general relativity has not received the attention which it deserves and that it is particularly important
to attempt to obtain some synthesis of the methods and concepts used in general relativity with the ideas now employed
to discuss elementary particles. One reason for the neglect of
general relativity has been the great diculty of work in this
eld which challenges even the best theoretical physicists; solution of the major problems involved will probably require a
determined program which may extend over many years. A
second and related reason has been the diculty of obtaining
adequate support for this eld; the problems are not of the
16
7, 1955 saw DeWitt deliver a paper focusing on current research in gravitational physics to the American Astronautical Society (published as [4]). By this time he
was able to give his position as Director of the IOFP. The talk was clearly intended as
a piece of propaganda for the IOFP. DeWitt opened by distancing his work from any
foreseeable practical applications. He then notes the lack of serious research being carried out, counting just seven institutions with gravitation research projects: Syracuse,
Princeton, Purdue, UNC, Cambridge, Paris, and Stockholm - with RIAS, Inc, on the
industrial side. DeWitt mentions even at this early stage of quantum gravity history
the problems that would plague the quantum geometrodynamical approach throughout
its existence (until it transformed into loop quantum gravity): these are the problems
of dening the energy and the quantities that are conserved with respect to it (i.e. the
observables), and the factor ordering problem. (This problem refers to an issue caused
by the straightforward canonical quantization of general relativity, based on the metric
variables. According to the standard quantization algorithm, when one meets a momentum term, one substitutes a derivative. However, when this procedure is applied in
general relativity, one faces situations were one has products, and so one has to multiply
as well as dierentiate. The order in which one does this matters for the form of the
nal wave equation.) The former was studied by Bergmanns group at Syracuse, while
the latter problem was studied by DeWitts own group at the IOFP.
12 Not so far fetched as it might sound. Bahnson notes in a letter to Bryce and Ccile
of December 29, 1956, that by then the Air Force had expressed interest in their work
(this he heard directly from Glenn Martin) - see Fig.1.1.
17
from Europe had been Peter Bergmanns idea - Goldberg gives a personal
account of his role in the Air Forces support of general relativity (and the
possible reasons behind the military support of research in gravitation) in
[7]. Such free transportation became commonplace for the IOFP at this
time, and since many commentators who lived through this experience
have suggested that the ability to be able to network, made possible by
the availability of easy transportation, played a key role in the reemergence of gravitational physics. Later funding would also take the form of
free computing time on IBMs best machines13 , and (in limited cases) free
ights on TWAs line.
Securing additional funding for the conference was time-consuming.
In May 1956, the DeWitts visited the National Science Foundation in
Washington, to explain the nature of their project - a visit that met
with success. The same week Bryce DeWitt gave a laymans talk to the
Winston-Salem Rotary Club - at which various industrialists and wealthy
interested parties were present - in which he described the various technological innovations that have emerged from pure research. It seems (from
a memorandum Bahnson sent to his fellow funders) that the Chapel Hill
conference was virtually entirely externally funded (i.e. independent of
the IOFPs own funds). This, he notes, is almost entirely thanks to the
work of Ccile DeWitt (Bahnson, Memorandum No. 9, May 7, 1957) in a letter to Bahnson dated November 5, 1956, Bryce DeWitt notes that
in the space of two weeks, Ccile composed 52 letters and placed 10 long
distance calls, chasing potential funding for the conference.
Though not quite a cascade, the IOFP had enough funding in its heyday to attract several rst-rate postdoctoral fellows. These included Peter
Higgs, Heinz Pagels, and Ryoyu Utiyama. Among the rst postdoctoral
fellows at the institute was Felix Pirani, who had previously belonged (and
would later return) to Hermann Bondis Relativity and Gravitation group
at Kings College, London (Clive Kilmister was another long term member of this group).14 Pirani received his (rst) doctorate under Arthur
Schild (who would later head the Center for Relativity) at The Carnegie
13 This
18
to Ccile DeWitt.
the third, depending on whether one counts the conference in Berne in 1955 to
mark the Jubilee of Einsteins theory of special relativity. This conference is often
referred to as GR0.
17 Cold War paranoia can be clearly seen in this memorandum. Bahnson mentions a
recent report (apparently reported in American Aviation magazine) of a graviplane
about to be produced by the Russians, based on the extension of Einsteins theories
by Dr. Foch (sic.) of Leningrad - though Bahnson admits it is likely a propaganda
trap.
16 Or
19
but he fell ill during the planning and died just before the event took
place, prompting Pauli to declare that This important moment in history
is a turning point in the history of the theory of relativity and therefore
physics ([12], p. 27). Pauli himself died not long after, in 1958. Somewhat
surprisingly, this jubilee celebration was in fact the rst ever international
conference devoted solely to relativity. As it would turn out, the conference dealt almost exclusively with general relativity, special relativity
being more or less a nished enterprise, formally, experimentally, and conceptually. The conference would later come to be known as GR0, the
zeroth conference in a series which continues to this day, and of which
Chapel Hill was the rst, GR1.18
The proceedings (replete with post-talk discussions) were quickly edited by Andr Mercier and Michel Kervaire. This proceedings volume, and
the conference itself, played a central role in the future evolution of classical and quantum gravity. However, it was no Shelter Island. Whereas
that conference had been driven by the younger generation of physicists Feynman, Schwinger, Wheeler, and others - the Berne Jubilee conference
was dominated by older, more established physicists. In his own report
on the Chapel Hill conference, Bahnson noted that he had talked to a
physicist (unnamed) who had also participated in the Berne conference,
who had remarked that the Chapel Hill conference had greater informality and that the younger participants contributed to more discussion
and exchange of information. The Chapel Hill conference on the Role
of Gravitation in Physics, that would happen just two years later, did
18 Schweber
traces the reawakening of interest in the eld [of GR] ([13], p. 526) to
the Berne conference, GR0, in 1955. He also notes that interest in quantum gravity
was made respectable as a result of Feynmans course at Caltech between 1962 and
1963 (loc. cit., p. 527). The Berne conference was important. But it was distinctly a
European aair. In the United States, as we have seen, there were several converging
lines of attack leading to a reawakening of interest. Indeed, I would argue that since the
Berne conference consisted mostly of an older generation who had persistently thought
about general relativity and quantum gravity for decades, the phrase reawakening
of interest is not really appropriate. Klein, Pauli, and Rosenfeld, for example, were
veterans when it came to the study of both. In fact, there was an earlier conference in
honour of Bohr to which many of the same people contributed, and gave very similar
talks. Further, to trace the respectability of quantum gravity research to Feynmans
course is over-stretching. Wheeler had been including material on quantum gravity
from the time he began teaching his general relativity course at Princeton. One can
even nd quantum gravity problems posed within his earlier advanced quantum theory
course. In addition to this, there were, as Schweber himself notes, several strong schools
concentrating on gravitation research by the end of the 1950s. That Feynmans course
happened was as a result of the increased respectability already in operation - moreover,
Feynmans interest was surely stimulated as a result of his participation in the Chapel
Hill conference, though he seems to have already been investigating the subject by 1955.
20
for general relativity and gravitation what Shelter Island did for quantum
electrodynamics. The Chapel Hill conference was a genuine break from
the Berne conference, both in terms of its organization, its content, but
more so its spirit.
References
[1] Babson, R. W. (1948) Gravity - Our Enemy Number One. Reprinted
in H. Collins Gravitys Shadow: The Search for Gravitational Waves
(pp. 828-831). University of Chicago Press, 2004.
[2] Babson, R. W. (1950) Actions and Reactions: An Autobiography of
Roger W. Babson. (2nd revised edition). Harper & Brothers Publishers.
[3] Interview of Bryce DeWitt and Ccile DeWitt-Morette by Kenneth
W. Ford on February 28, 1995, Niels Bohr Library & Archives, American Institute of Physics, College Park, MD USA: http://www.aip.
org/history/ohilist/23199.html
[4] DeWitt, B. S. (1957) Principal Directions of Current Research Activity in the Theory of Gravitation. Journal of Astronautics 4: 23-28.
[5] DeWitt, B. S. (2009) Quantum Gravity: Yesterday and Today. General Relativity and Gravitation 41: 413-419.
[6] Gardner, M. (1957) Fads & Fallacies in The Name Of Science. Dover.
[7] Goldberg, J. M. (1992) US Air Force Support of General Relativity:
1956-1972. In J. Eisenstaedt and A. J. Kox (eds.), Studies in the
History of General Relativity (pp. 89-102). Boston: Birkhuser.
[8] Higgs, P. W. (1958) Integration of Secondary Constraints in Quantized General Relativity. Physical Review Letters 1(10): 373-374.
[9] Kaiser, D. (1998). A  is just a  ? Pedagogy, Practice, and the Reconstitution of General Relativity, 1942-1975. Studies in the History
and Philosophy of Modern Physics 29 (3): 321-338.
[10] Kragh, H. (2002) Quantum Generations: A History of Physics in the
Twentieth Century. Princeton University Press.
[11] Newmann, E. (2005). A Biased and Personal Description of GR. In
A. Kox and J. Eisenstaedt, The Universe of General Relativity (pp.
373-383). Boston: Birkhuser, 2005.
21
Chapter 2
The Authors
24
2. The Authors
2. The Authors
25
26
2. The Authors
2. The Authors
27
28
2. The Authors
2. The Authors
29
France
Y. Fours Yvonne Fours (ne Bruhat; now Choquet-Bruhat) was born
in Lille in 1923. She received her PhD (Docteur des Sciences) from
the Universit de Paris in 1951 on the Cauchy problem for a system
of second order partial dierential equations (with application to
general relativity). She spent 1951-1952 at the Institute for Advanced
Study in Princeton. She was a member of the Facult des Sciences
de Marseille at the time of the Chapel Hill conference.
Andr Lichnerowicz Lichnerowicz was born in Bourbon lArchambault in
1915. He received his PhD in 1939, on dierential geometry in general relativity, under the supervision of Georges Darmois. He was
based at the Collge de France, in Paris when the conference took
place. He was a full professor of mathematics, rather than physics.
As we have seen, at the time it was common for general relativists
to be found in mathematics departments. Lichnerowicz had earlier
been to the States, where he had spent some time as a visiting professor at Princeton. The same year as the conference, Lichnerowicz
founded (along with John Wheeler and Vladimir Fock) the International Society for General Relativity and Gravitation.
M. A. Tonnelat Marie-Antoinette Tonnelat-Baudot was born in 1912 in
Southern Burgundy. She gained her doctorate in 1939, under the supervision of de Broglie. In this work (which includes a little-known
paper coauthored with de Broglie) she investigated the relationship
between the wave mechanics of spin-2 particles (gravitons) and linearized general relativity. By the time of the conference she had a
long history of research in general relativity and unied eld theory
and was holding a position at the Henri Poincar Institute at the
Universit de Paris.
Germany
H. Salecker Helmut Salecker had been a research assistant of Eugene
Wigner, and was reporting on their joint work at the Chapel Hill
conference. He spent part of 1957 based in Princeton with Wigner,
working on general relativistic invariance and quantum theory, and
the work on quantum limitations of measurements of spacetime distances. Following this he took up a position at the Institut fr Theoretische Physik at Freiburg.
30
2. The Authors
Japan
R. Utiyama Ryy Utiyama was born in Shizuoka, Japan in 1916. He
received his PhD from Osaka University under the supervision of
Minoru Kobayashi in 1940. He had been a visiting fellow at the
Institute for Advanced Study at Princeton between 1954 and 1956,
where he was working on general gauge theory. He had done earlier
quite pioneering work on quantum gravity. He would be among the
rst postdoctoral fellows at the Institute for Field Physics at Chapel
Hill.
Denmark
S. Deser Stanley Deser was born in 1931, in Poland. He obtained his PhD
from Harvard in 1953, under the supervision of Julian Schwinger
with a thesis on Relativistic Two-Body Interactions. He had been
an NSF Jewett Postdoctoral Fellow at the Institute of Advanced
Study (IAS) between 1953 and 1955 under the supervision of Robert
Oppenheimer - he was also associated with the Rad lab at Berkeley
during 1954. At the time of the conference he was a member of the
Niels Bohr Institute in Copenhagen.
Sweden
B. Laurent Bertel Laurent had been Oskar Kleins last student. In the
years immediately preceding the Chapel Hill conference he had been
working on the rst attempt at a Feynman-style quantization of general relativity.
Turkey
B. Kursunoglu Behram Kursunoglu was born in Turkey in 1922. He received his PhD from Cambridge, where he was part of a group including Kemmer, Salam, and Dirac - Kursunoglu also attended Diracs
quantum mechanics lectures. He was the chief scientic advisor to
the Turkish general army sta at the time of the conference, and was
working on a unied eld theory.
Foreword
Ccile DeWitt
A conference on The Role of Gravitation in Physics was held at the University of North Carolina, Chapel Hill, from January 18 to January 23, 1957.
It was planned as a working session to discuss problems in the theory of
gravitation which have recently received attention.
The present report was undertaken as a necessary requirement to
obtain conference funds. However, as the conference progressed, it became
more and more apparent that a report of the discussions would have a
scientic interest, partly because of an increasing number of requests for a
report from physicists unable to attend the conference, and partly because
of the nature of the discussions.
Research in gravitational theory has been relatively neglected in the
past two or three decades for several good reasons: (1) the lack of experimental guideposts, (2) the mathematical diculties encountered in the
study of non-linear elds, and (3) the experience of repeated early failures
to extend general relativity theory in a permanently interesting fashion.
A renewed interest in the subject has recently begun to develop, and the
Chapel Hill conference gave an opportunity to the few physicists actively
working in the eld - some having kept up an interest in it in spite of its
diculties, others having lately engaged in its study, often from a new
point of view - to discuss the preliminary results obtained and to present
new lines of approach.
This situation gave rise to very lively discussions. Obviously, most of
the material discussed is not ready for publication yet and - owing to the
diculty of the problems under consideration - may not be for a long time
to come. That is why an informal report of the proceedings is valuable, but
at the same time delicate to write up. An eort has been made to check
with the authors the report of their contributions to the conference, and
some have very kindly rewritten the draft proposed to them. However, the
time allotted to the preparation of the report had to be limited, because
the usefulness of such a report decreases with time more rapidly than its
quality increases; moreover, the reporters should not be asked to spend an
undue amount of time working on the report, which could be better spent
Ccile M. DeWitt
Chapel Hill, North Carolina
March 15, 1957
Abstract
From January 18-23, 1957, a group of physicists from several countries
met at the University of North Carolina to discuss the role of gravitation
in physics. The program was divided into two broad headings: Unquantized and quantized general relativity. Under the former came a review
of classical relativity, its experimental tests, the initial value problem,
gravitational radiation, equations of motion, and unied eld theory. Under quantized general relativity came a discussion of the motivation for
quantization, the problem of measurement, and the actual techniques for
quantization. In both sections the relationship of general relativity to fundamental particles was discussed. In addition there was a session devoted
to cosmological questions. A large part of the relevant discussions is reproduced in this report in a somewhat abridged form. A conference summary
statement is presented by Professor P. G. Bergmann.
PROCEEDINGS
OF THE
CONFERENCE ON THE ROLE OF GRAVITATION IN PHYSICS
University of North Carolina, Chapel Hill, January 18-23, 1957
Reporters
W. A. Bowers
B. S. DeWitt
Ccile M. DeWitt
M. M. Duncan
J. M. Ging
J. R. Herring
E. M. Lynch
A. V. Masket
Eugen Merzbacher
Scientic editors
Ccile M. DeWitt
Bryce S. DeWitt
Anderson, J. L.
Bargmann, V.
Bass, R.W.
Belinfante, F. J.
Bergmann, P. G.
Bondi, H.
Brill, D. R.
Buckingham, M. J.
Davis, W. R.
Deser, S.
DeWitt, B. S.
DeWitt, C. M.
Dicke, R. H.
Ernst, F. J.
Estabrook, F. B.
Euwema, R. N.
Feynman, R. P.
Fours, Y.
Gold, T.
Goldberg, I.
Goldberg, J. N.
Havas, P.
Janis, A.
Kervaire, M.
Kursunoglu, B.
2 Note that in the original report the front matter featured an index of (the more
substantial) contributions of the various participants. In the present version, for convenience, this has been incorporated into a more general index. I have also included M.
J. Buckingham who had been omitted in the original version.
2. The Authors
40
Laurent, B.
Lichnerowicz, A.
Lilley, A. E.
Lindquist, R. W.
Mace, R.
Misner, C. W.
Mjolsness, R.
Newman, E. T.
Pirani, F. A. E.
Rosen, N. (in absentia)
Rosenfeld, L.3
Sachs, R.
Salecker, H.
Schild, A.
Schiller, R. S.
Sciama, D.
Tonnelat, M. A.
Utiyama, R.
Weber, J.
Wheeler, J. A.
Witten, L.
3 Rosenfeld had originally been denied a visa to attend the 1957 Chapel Hill conference
by the US Consul in Manchester (FBI le January 24, 1957). Ccile DeWitt telephoned
the US Attorney General and was able to convince him to reverse the Consuls decision.
Chapter 3
The Present Position of Classical Relativity Theory and
Some of its Problems
John Wheeler
Planet
Mercury
Earth
Mars
Observed Value
42.56  0.94
4.6  2.7
Table 3.1 compares the predicted and observed values of the precession of
the perihelion of Mercury and the Earth; for Mars there are not yet data
to give a check. The predicted eects are well within the experimental
error.
44
40 Eri B
Sirius B
Mass
SunMass
0.43  0.04
1
Radius
Sun Radius
0.016  0.002
0.008
Red Shift
Predicted Observed
17  3 21  4
79 60  80
It appears from these three traditional tests that general relativity is not
in disagreement with the observations.
The chief possibilities of improvement exist in the second and third
eects - that is, the bending of light and the gravitational red shift. We
hope to hear from Professor Dicke later what prospects there are for new
experiments. In particular, the development of the atomic clock may
begin to make feasible detection of gravitational red shift on the earth
itself.
To go on to the second general problem, namely, how to draw new
richness out of the theory on the classical level: there is a far-reaching
analogy between the equations of general relativity on the one hand and
those of Maxwells theory on the other; they are both second order partial
45
dierential equations, and the future can be predicted from the knowledge
of initial conditions. From Maxwells equations, which are quite simple, a
wealth of information can be obtained: dielectric constants, scattering of
waves, index of refraction, and so on; the equations of general relativity
have, however, scarcely been explored, and much remains to be done with
them. Another task ahead of us is the construction of the curve giving
the spectrum of gravitational radiation incident on the earth, analogous
to the known curve of the electromagnetic radiation spectrum; or at least
the determination of upper limits on it. Until something is known about
this, we can scarcely be said to know what we are talking about.
We can, however, go on to explore some of these analogies on a deeper
level. First among the problems is the initial value problem. If I make
a diagram similar to a shueboard court, with dierent squares corresponding to the various unsolved problems, and with scores attached to
the various squares, we should assign a very high score - say 100 points to this problem. We know that in electromagnetic theory, if E and H are
given at time t = t0 , their values at later times can be predicted. However,
they may not be specied arbitrarily on the initial time-like surface, but
must obey certain conditions - namely the vanishing of their divergences.
Through the work of Professor Lichnerowicz, we now know the analogous
conditions in the case of relativity theory. They are non-linear conditions,
rather than linear ones as in the Maxwell theory. Unfortunately, however,
we do not know yet any super-potentials, analogous to A in electromagnetic theory, which can be specied arbitrarily and whose derivatives give
the eld quantities while automatically satisfying the supplementary conditions. This is one of the most important problems of relativity theory,
and one may well believe that it must be solved before further progress
with quantization of the theory can be made. The further problem of
the time-symmetric specication of initial conditions, which we know
can be done in electromagnetic theory by specifying H on two time-like
surfaces instead of specifying both E and H on one surface, and which is
the appropriate form for quantization, is also yet to be solved in relativity
theory.
Now this is a local condition; but boundary conditions in the large
must be considered, especially when considering systems with closed topology - and to this problem we may assign a score of, say, 25.
A third problem is that of translating Machs principle - that the distribution of matter in the universe should specify the inertial properties at
any given point of space - into concrete, well dened form. We know from
the work of Dr. Sciama that one can translate the dierential equations of
46
the Einstein theory into integral equations, and that one has an analogy
between the solutions of the equations of static and radiative type, respectively, and the corresponding types of solutions of Maxwells equations:
namely, inverse square behavior of the static solutions, but inverse rst
power behavior at large distances, arising from the radiative terms. If one
sums these interactions over all masses in the universe, one sees something
of the connection between the inertia of one particle and the distribution of
the rest of matter in space. This problem of spelling out Machs principle
in a better-dened way we may assign a score of, say, 25. It is of course
related also to the problem of specication of conditions in the large, which
we mentioned earlier; it is also related to another issue: that of uniqueness
of solutions of the gravitational eld equations, to which we may assign,
say, 10 points.
To pass on from these issues, let us consider some further analogies
with electromagnetic theory. We know that if we have in a given frame of
reference a specied eld, there exists another frame of reference moving
with velocity
v 2(E  H)
= 2
c
E + H2
in which E and H have been reduced to parallelism. We then have a
canonical situation in which, if we chose the z-axis as the direction of E
and H, any rotation in the x-y plane leaves the situation unchanged, and
any Lorentz transformation in the z-t plane also leaves the situation unchanged. Thus what Schouten has called a two-bladed structure of the
space-time continuum at any point is dened by the electromagnetic eld.
This is then a geometrical interpretation of what we have to deal with
in the electromagnetic case, and we would like to understand what the
analogous situation is in the gravitational case. Here we have to deal with
the quantities Ri jklm that measure the curvature of space - geometrical
quantities much more elaborate than the electromagnetic eld tensor, of
course. We would like to understand what kinds of invariance this quantity denes. We have the remarkable work of Ghniau and Debever on
this problem, but there are still issues to be dened in giving a clear understanding of what geometrical quantities are specied by the existence
of the gravitational eld. I would attach a score of, say, 15 to this problem
of the geometrical interpretation of the gravitational eld quantities.
This in turn leads us to another issue. Einstein has taught us to
think in terms of closed continua, rather than the open continua such as
Euclidean space; but since the dierential equations are purely local and
47
say nothing about the topology in the large, we are obliged to consider
what the possibilities are. Recently we have become aware, for example,
of one way of understanding, in terms of topological notions, such a concept
as that of electric charge. Figure 3.1 below shows one intriguing kind of
topological connectedness in the small.
A
P1
P2
Figure 3.1
If one thinks of the upper region A as a two-dimensional space, there exists
the possibility of connecting two regions P1 and P2 by a wormhole so that
for instance an ant coming to P1 , would emerge at P2 without ever having
left the two-dimensional surface on which he started out. Now ordinarily,
if we have electric lines of force converging on some point in space, we
think of two possibilities: either Maxwells equations break down near the
point, or there exists a mysterious entity called electric charge at the point.
Now a third possibility emerges: the topology in the neighborhood of the
point may be such as to give a space-like binding to the lines of force; they
may enter the wormhole at P1 and emerge at P2 (see Fig. 3.2). Misner
has shown, in fact, that the ux through such a wormhole is invariant,
giving one a possibility of identifying this ux with the notion of charge.
Actually, there are strong reasons why this cannot be identied with an
elementary charge; our purpose is to classify and try to understand the
48
Figure 3.2
An objection one hears raised against the general theory of relativity is that the equations are non-linear, and hence too dicult to correspond to reality. I would like to apply that argument to hydrodynamics rivers cannot possibly ow in North America because the hydrodynamical
equations are non-linear and hence much too dicult to correspond to
nature! We need to explore the analogies between the gravitational and
the hydrodynamic equations; are there gravitational counterparts of such
hydrodynamic phenomena as shock waves, cavitation, and so on? A fairly
high score, say 40 points, should be given to this problem of the physics
of non-linear elds, and analogies with hydrodynamics.
The non-linear couplings between gravitation and electromagnetism
also give rise to new structures such as geons, which should be studied
further to enrich ones understanding on the physical side.
The last topic to be covered under the classical aspects of general
relativity is the topic of unied eld theory - namely, what can one nd in
the way of a description of electromagnetism which has the same purely
geometrical character as that which Einstein gave to gravity? Although
the various attempts to modify Einsteins theory in such a direction are
well known, it does not seem to be so well known that within the framework
of Einsteins theory one can construct, so to speak, an already unied
theory, as Misner and earlier Rainich have shown, based on the role of
the electromagnetic eld as a source of the gravitational eld through its
stress-energy tensor.
49
The result is that one can write the equations of both electromagnetism and gravitation in a form in which only purely metric quantities
enter, as in Einsteins theory. It is a system of fourth order equations
which contain all the content of the two coupled second order equations
of electromagnetism and gravity. Further investigation of theories of this
kind deserve a score of, say, 25 points on our shueboard court.
In summarizing, let me remark that we have here, in the already
unied theory, electromagnetism without electromagnetism, just as we
have, in geons, mass without mass, and in connection with multiply
connected topologies, charge without charge. This then is just one mans
start at listing some of the problems with which we will be occupied in the
coming days.
Chapter 4
The Experimental Basis of Einsteins Theory
R. H. Dicke
52
100
1040
Reciprocal weak
Reciprocal
Gravitational
Coupling Const.2
2
 decay,  decay  Coupling Const.
   decay, etc.
Electrical force
Ratio
etc., etc.
2
Gravitational
1080
Masses Elementary
Particles
e2
e
c
Age of universe
Other Strong
Coupling Const.+2
Number of
Particles in
Universe to
Hubble radius
Hubble radius
of universe
53
54
the gravitational constant, and we must see what the evidence is regarding
them.
Assuming that the gravitational binding energy of a body contributes
anomalously to its weight (e.g., does not contribute or contributes too
much), a large body would have a gravitational acceleration dierent from
that of a small one. A rst possible eect is the slight dierence between
the eective weight of an object when it is on the side of the earth toward
the sun and when it is on the side away from the sun. This would arise
from the slightly dierent acceleration toward the sun of a large object
(the earth) and the small object. If we estimate his eect, it turns out to
be of the order of one part in 1013 on g, which I think there is no hope
of detecting, since tidal eects are of the order of two parts in 108 . The
mechanism of the distortion of the earth by tidal forces would have to be
completely understood in order to get at such a small eect.
Another way of getting at this same eect would be to look at the
period and orbit radius of Jupiter, and compare with the earth, to see if
there is any anomaly. Here the eect would be of the order of one part
in 108 , which is on the verge of being measurable. Possibly by taking
averages over a long period of time one can get at it; I havent talked with
astronomers and am not sure.
Another interesting question is this: are there eects associated with
motion of the earth relative to the rest of the matter of the universe? All
the classical ether drift experiments were electromagnetic; what about
gravitational interactions? Could their strength depend on our velocity
relative to the co-moving coordinate system? We can say something about
this, assuming the eect to be of the order of  2 , where  is the ratio of
earth velocity to light velocity. We know the velocity of the sun relative
to the local galactic group; but we know nothing of the velocity of the
galactic group relative to the rest of the universe, except that it is not
likely to be much greater than 100 km/ sec. Supposing it unlikely that
the motion of the local group would be such as to just cancel the motion
of the sun relative to it, we can say that the velocity of the sun relative
to the rest of the universe is perhaps of the order of 100 km/sec. Then
the annual variation in  2 , owing to the fact that the earths velocity at
one time of the year adds to and at another time subtracts from the suns
velocity, amounts to about one part in 107 . This could conceivably give
rise to an annual variation in g which could be detected, for example, by
a pendulum clock. Now the best pendulum clocks are not quite up to this;
but an improvement of a factor of ten would make this eect detectable,
if it exists.
55
There is, however, an indirect way of getting at this eect: any annual variation of the gravitational interaction would give rise to an annual
variation of the earths radius, and hence of the earths rotation rate. Now
such an annual change is in fact observed. The earth runs slightly slow in
the spring. The eect is, within a factor two, roughly what you might expect from assuming 100 km/sec. and putting in the known compressibility
of the earth. However, it is possible to explain it also purely on the basis
of eects connected with the earth itself, such as variations of air currents
with seasons. Also the irregular character of the variation indicates at
least some contribution from such factors.
GOLD: It varies from one year to the next a bit, so it is certainly not to
be attributed to relativity.
DICKE: Its not too clear. Certainly part of it varies, but what the
variation amounts to is not too obvious because its measurement depends
on crystal clocks and they havent been too good until recently so we cant
go back far in time.
Now there is some other evidence on the question of a long period
change in the gravitational interaction as we go back into the past. If
gravity was stronger in the past, the sun would have been hotter, and we
ask whether we can then account for the formation of rocks and creation
of life. The accompanying gure (4.2) shows what we can say about the
temperature of the earth.
Figure 4.2
This gure gives the temperature of the earth as a function of time as we
go into the past, 0 on the scale representing the present. I have assumed
56
that as the temperature rises, the amount of water vapor present in the
atmosphere increases, and the sky becomes completely overcast. Then if
we use the known albedo of clouds (.8), and the black body radiation in
the infra-red, we get the curve shown for the temperature, assuming the
age of the universe to be 6.5 billion years. The temperature rises slowly
to about 50 C one billion years ago. Evidence for life as we know it
exists back to about 1.0 billion years. Life could have been present back
1.7 billion years, when the temperature would have been about 100 C.
According to biologists, algae from hot springs are known capable of living
at such temperatures, so life could have existed then. There is evidence
for a fairly sharp cut-o on the existence of sedimentary rocks at about 2.7
billion years, even though the solar system is about 4 billion years old. This
agrees with our curve, since at the temperature corresponding to that age,
about half the water would be in the atmosphere, and the pressure would
be so high that its boiling point would be about 300 C. There would
still be enough liquid water to form sedimentary deposits. However, at
slightly higher temperatures, the critical temperature of water would be
exceeded, only vapor would exist, and sedimentary rocks would not have
been formed.
I would say that the evidence does not rule out the possibility of the
suns having been hotter in the past.
There is some additional indirect evidence arising from the problem
of the formation of the moon. The moon has a density so low that there
are only two possible explanations: rst, dierent composition from the
earth; second, a phase change in the earth that leads to a very dense core.
The second is, however, hard to believe, because if the core is assumed
to be liquid iron, the total amount of iron in the earth is in agreement
with what we believe to be the abundance of iron in the solar system as
a whole. If we say the composition is dierent, we notice that it seems to
be about the same as that of the earths mantle. This in turn suggests
Darwins old explanation, that the moon ew out of the earth. The earth
was formed rst and was rotating with a period of about four hours, when
as a result of tidal interaction with the sun, a large tidal wave was set up
which split the earth into two parts; then as a result of tidal interaction
between moon and earth, the moon gradually moved out to its present
position. The latter part of this account is probably right, as we know
from the evidence on slowing down of the rotation rate as deduced from
comparison of Babylonian eclipse records with modern ones. However, if
the earth was rigid then as it is now, the natural frequency of oscillation
would have been too high for the rst part of the account to be correct.
57
With a liquid earth, the period is more nearly right, but Jereys objection,
that turbulent dampening would prevent the buildup of a wave to the
point of producing ssion, arises. However, Professor Wheeler has pointed
out recently that this objection may be met by including the eect of
the magnetic eld of the earth in damping the turbulence. Now the only
diculty is keeping the earth liquid, since the rate of radiation from a liquid
earth is so great that it would freeze up in a hundred years - nowhere near
a long enough time to set up the oscillation required. One thing which
could keep it liquid would be a hotter sun!
There is another bit of evidence on this: the moon is distorted in such
a way that it has been called a frozen tide; it corresponds somewhat to
the shape it would have had if it had frozen when at about a quarter of
its present distance from the earth.
GOLD: This is not correct; the present shape is not at all what it would
have been at any closer distance.
DICKE: This is true, but there is the possibility that the moon was somewhat plastic at the time of freezing so that the biggest distortions would
have subsided somewhat to give you dimensions compatible with what is
now seen.
GOLD: If the moon were formed by a lot of lumps falling together, it
would have an eect on how strong the moon is, and what disturbance it
could bear; then it could have three unequal axes, as it does.
DICKE: Yes; this is the other explanation for the moons shape, that big
meteorites piled into it and made it lopsided.
Another piece of indirect evidence on this is connected with the problem of heat ow out of the earth. There is evidence for the earths core
being in convective equilibrium; and heat owing out of the earths core
seems to be the only reasonable mechanism at present for a convective
core. The question is how that heat gets out. It may be that there is
radioactive material at the center which is the source of the heat owing
out; but potassium would be expected to be the biggest source of heat,
and it is so active chemically that we expect to nd it in the mantle only.
If, however, gravity gets weaker with time, there would be a shift along
the melting point curve of the mantle which would lead to a slow lowering
of the temperature of the core, and heat owing at such a rate as to keep
the mantle near the melting point. If we put in a reasonable melting point
curve for the mantle, we nd this contribution to the heat owing out of
the earth is of the order of one-third of the total heat. So the evidence
58
is not incompatible with the idea that gravity could be weaker with time,
even though radioactive materials are of sucient importance so that one
would not attempt to account for the heat ow out of the earth solely on
this basis.
There is some small bit of evidence that there may be something
wrong with beta decay: the beta coupling constant may be varying with
time. This comes from the evidence on Rubidium dating of rocks. The
geologists on the basis of their dating of rocks assign a half life for Rb 87
decay of about 5  1010 years. There has been quite a series of laboratory
measurements giving values of about 6  1010 years; on the other hand one
particular group has consistently got a value lower than ve. So this is up
in the air; but I think that before long we will have a denitive laboratory
value for the half-life.
Finally, l may just mention last weeks discovery that parity is not
conserved in beta decay. What the explanation for this is no one knows,
but it could conceivably indicate some interaction with the universe as a
whole.
DE WITT called for discussion.
BERGMANN: What is the status of the experiments which it is rumored
are being done at Princeton?
DICKE: There are two experiments being started now. One is an improved
measurement of g to detect possible annual variations. This is coming
nicely, and I think we can improve earlier work by a factor of ten. This is
done by using a very short pendulum, without knife edges, just suspended
by a quartz ber, oscillating at a high rate of around 30 cycles/sec. instead
of the long slow pendulum. The other experiment is a repetition of the
Etvs experiment. We put the whole system in a vacuum to get rid
of Brownian motion disturbances; we use better geometry than Etvs
used; and instead of looking for deections, the apparatus would be in an
automatic feed-back loop such that the position is held xed by feeding in
external torque to balance the gravitational torque. This leads to rapid
damping, and allows you to divide time up so that you dont need to
average over long time intervals, but can look at each separate interval of
time. This is being instrumented; we are worrying about such questions
as temperature control of the room right now, because wed like stability
of the temperature to a thousandth of a degree, which is a bit dicult for
the whole room.
59
60
frames of reference. Neither method has so far been carried to its highest
attainable accuracy.
We are going to do the experiment using basically the techniques
of Ives and Stilwell with improvements. We shall observe lines emitted
or absorbed by hydrogen, helium, or lithium atoms or ions. The expected
accuracy at velocities comparable to those used by Ives and Stilwell should
be a factor of about 100 greater than theirs. By going to higher velocities
the relative accuracy should be greater. We hope to measure the angular
dependence of the eect; it has been measured so far only in one direction.
lves and Stilwell1 have observed in their experiment a tendency towards
disagreement with theory at high velocities and have suggested a possible
source of experimental error that leads to this tendency. This point should
be investigated. We shall eventually extend the measurements to v/c large
enough to detect eects of the fourth order (v/c)4 . We hope to develop
techniques suciently well to do a precise measurement of the eect at
highly relativistic velocities. Another goal is to make the time dilation
measurement for ions moving in a magnetic eld and being accelerated.
The purpose here is to see if there is any shift in the spectral line of a
kinematic origin due solely to the acceleration of the clock with respect to
the observer.
1 J.
63
Chapter 5
On the Integration of the Einstein Equations
Andr Lichnerowicz
(5.1)
66
ds2 = (g u u )dx dx
(5.2)
(5.4)
S0 G = T
(5.5)
, =
2
 x  x
67
1 f g f f = 0.
(5.6)
5.3
68
(i, j = 1, 2, 3)
(5.7)
we take
1
i j = 0 gi j , K = ii , H 2 = i j i j
2
and we obtain for the exterior case
K = 0,  j i j = 0, R + H 2 = 0
(5.8)
(5.9)
where  is the operator of covariant dierentiation, and R the scalar curvature of . If we set
gi j = exp(2 ) gi j
(5.10)
2 = e , i j = e5 i j , L2 = gik gjl i j kl .
(5.11)
j i j = 0
(5.12)
L2
.
7
(5.13)
5.5
69
2
(5.14)
R  ( S   S ) = 0,  (g[ ] |g|) = 0
3
where R is the Ricci tensor of L. In addition we have a normalization
condition for S :
(g( ) )S
|g|) = 0.
(5.15)
The Cauchy problem can now be investigated. The system obtained still
possesses the involution property. The eld waves are hypersurfaces tangent to one of the following two cones:
(a) If l  = g( ) we have the cone
(C1 ) l dx dx = 0
(5.16)
where l is dual to l  .
(b) If   =
2h 
g h
where is dual to .
(5.17)
70
I now return to general relativity. The main question of the theory is the
following: When is a gravitation problem eectively solved?
A model of the universe - or shortly, a universe - is a V4 with a
regular metric satisfying the Einstein equations and certain asymptotic
conditions. When T is discontinuous through a hypersurface ( f = 0)
we assume that ds2 is always C1 , piecewise C3  in the neighborhood of
. The joining of the dierent interior material elds with the same eld
causes the interdependence of the motions, and the classical equations of
motion are due to the continuity through  of the four quantities
V = S f .
(5.18)
In this view the main problem is to construct and study universes. This
being a hyperbolic non-linear global problem, it is very dicult to do this.
Clearly global solutions of the problem of the initial values would be very
helpful here.
Another approach might be the study of some elementary global solutions of the Einstein equations. It appears that such solutions are connected with the solutions with singularities introduced by various authors.
5.7
Global Problems
71
(a) if V3 is compact, or
(b) if V3 is complete and has a Minkowskian asymptotic behavior.
2. In a stationary universe the exterior eld extended through continuity of the second derivative into the interior of the bodies is singular
in the interior.
3. A stationary universe which admits a domain surrounding innity
and which in this domain has a Minkowskian asymptotic behavior
and for which the streamlines are time lines, is static. There exist
space sections orthogonal to the time lines. This is of interest in the
Schwarzschild theory.
Much less is known in the non-stationary case, which is of course more
interesting. Concerning the regularity problem, some counterexamples
have been constructed, especially by Racine, Taub and Bonner. But for
these examples either the existence of the solutions is certain only in a nite
interval of time, or the constructed solutions do not behave Minkowskian
asymptotically. The general regularity problem is still an open one.
However, the results on the problem of the initial values give new
theorems under the following assumptions:
(a) It is possible to diagonalize the matrix i j which denes the second
fundamental quadratic form of  and there exist foliations of  by
the corresponding system of curves, that is to say by curvature lines.
(b) ds2 has a at asymptotic behavior.
(c) The tensor i j has a summable square on .
If these assumptions are satised on (x0 = 0) and also on the sections
corresponding to arbitrarily small x0 , the universe is static and thus locally
at.
***
MISNER rst stressed the physical ideas in which he and Wheeler were interested and which had led them to inquire into the details of the EinsteinMaxwell equations, particularly whether or not they are singular.
This comes about because, according to work of Rainich,2 the EinsteinMaxwell equations can be interpreted as an already unied eld theory.
Explicit mention of the electromagnetic eld is not necessary even while
2 G.
72
working with a system equivalent in all cases, except the null electromagnetic eld, to the Einstein-Maxwell set of equations. One aim of unied
eld theory has always been the notion that elds are more fundamental
than particles, and that it should be possible to construct all particles
from the purely geometrical concept of the eld. To allow singularities
in the elds to represent the particles would be a delusion, since then
the stress tensor is not merely the electromagnetic one but includes mass
terms, even though idealized to delta functions. Since we wish to be careful about singularities the results of Mme. Fours and Lichnerowicz3 have
been important to us. They assure us that if we specify certain initial conditions we shall have non-singular solutions at least for a short time. We
are interested in nding solutions to these initial value equations and seeing what they lead to, whether they indicate any possibility of constructing
particles from these electromagnetic and gravitational elds. Notice that
even though one speaks of the electromagnetic eld here, one does not
really have to, since one can use the ideas of Rainich to give a complete
description of the electromagnetic eld in terms of metric quantities alone.
The inuence of the electromagnetic stress energy tensor upon the gravitational eld is suciently specic so that from the curvature quantities
one can work backwards to the electromagnetic eld and have a purely
metric description of both electromagnetism and gravitation.
We have studied a certain class of solutions to the problem of initial
values. These solutions are global but by no means the most general. They
serve as examples. These solutions are always continuous and instantaneously static. We nd that there exist exact solutions of the EinsteinMaxwell equations for which the elds on a certain surface t = 0 are given
by:
= 2( 2 2 )1 (
Fi j
=0
(5.21)
 g
=0
t
(5.22)
where  ,  satisfy
3 A.
 i)
 xi
x
(5.19)
(5.20)
2 = 2 = 0,
2 =
73
2
2
2
+ 2 + 2.
2
x
y
z
(5.23)
This metric together with the electric eld Fi0 gives a solution of the initial value equations. In the neighborhood of the surface t = 0 we have
a solution of the time-dependent equation but do not know what it is.
Perhaps one should use a high speed computing machine. The regularity
conditions of Lichnerowicz, that the three-dimensional manifold should be
either compact or complete but asymptotically at, lead to elds which
are completely free of singularities. The functions  and  can only have
the form:
 = 1+
a
a
a
a
a
(5.24)
where
a = |
 
a|
a > |a |
x2 + y2 + z2 .
(5.25)
Figure 5.1
74
[(1 +
m 2 e2 2 2
)  2 ] (dx + dy2 + dz2 ).
2r
4r
75
(5.26)
Chapter 6
Remarks on Global Solutions
C. W. Misner
j
;j
E;ii = 0
(div E = 0)
(6.1)
H;ii = 0
(div H = 0)
(6.2)
= g i jk E j H k Si
(Poynting vector)
1 2
1
1
   i j i j + R(3) = (E 2 + H 2 )
2
4
2
(6.3)
(6.4)
 gi j
.
t
We study these equations in order of diculty. Eq.(6.1) has as its most
general solution:
i j =
1   ij
i
Ei = 
( gA ) + ECoulomb
g xj
(6.5)
i
where ECoulomb
has vanishing divergence and also vanishing curl:
E i, j E j,i = 0
(6.6)
but
78
Ki Si gd 3 x = 0
(6.8)
(6.9)
Whether this has any signicant applications I do not know. About Eq.
(6.4) I can say nothing.
l conjecture that the homogeneous equation could be solved by the
use of potentials, provided we use a rather broad idea of a potential. By
this I mean a solution which somehow involves the use of an arbitrary
function. To illustrate the idea I give a particular class of solutions to the
equation ;ijj = 0, namely:
1
] f  (R(3) ) + ij f (R(3) )
(6.10)
2
where f is an arbitrary function of the scalar curvature on the surface, and
f  is the derivative of f . i is the covariant derivative.
Besides the problems of topology in the small associated with ares
and wormholes, or with the symmetric Einstein-Rosen picture, there are
the problems of topology in the large. These are familiar problems: Is
the universe closed and spherical in a reasonable approximation, or is it
open? Other topological problems are the problems of classifying threedimensional compact manifolds. One can at present write out a list containing all three-dimensional compact manifolds, but one has no way of
telling whether two are the same or dierent by a nite algorithm, since the
list may contain redundant cases. Most mathematicians seem to believe
that the solution to this problem is not in sight.
Another point is this: Once you take the course indicated here and
decide to make a unied eld theory to avoid singularities and you bring
in the possibility of non-Euclidean topology, then you would like to know
the limitations on the number of topologies that are likely to appear. The
problem is not one of nding ingenious enough topologies to do what you
want them to do, but rather to nd a reason why a host of topologies will
never appear. One must examine the 4-dimensional manifold. Professor
Lichnerowicz has mentioned that for most manifolds which are not of the
type V3  R there will not exist reasonable space-like surfaces. However,
(3) j
ij = [i j ij k k Ri
79
Figure 6.1
From the work of Thom1 one can show that there are four-dimensional
manifolds which have these two surfaces as boundaries. The question
whether a continuous metric of Lorentz signature can be put on such manifolds can, I believe, be answered. In such a metric can you nd solutions
to any hyperbolic equations, or better, Maxwells equations? Anyone trying to study this would be much aided by certain qualitative classications
of metrics. I conjecture that if you divide the metrics which it is possible to put on a given manifold whose two boundaries are space-like, into
homotopy equivalence classes, then ordinarily there will not be more than
one of these classes which allows any solutions to a hyperbolic equation;
i.e., most homotopy classes are inconsistent with hyperbolic dierential
equations.
MISNER concluded with a few remarks about local invariants, such as
those given by Ghniau2 and others: Instead of the string of components
of the Ricci tensor, one looks at all the invariants which can be constructed
from these. One possible use of these might be as variables in discussing
the quantization of general relativity, since quantization seems to handle
1 Comment Math. Helv. 28, 17-86 (1954), Theorem IV, 13. Also see B. A. Rokhlin,
Doklady Akad. Nauk. SSSR 81, 355 (1951).
2 J. Ghniau and R. Debever, Bull. Cl. des Sci., Acad. roy. Belg., 5e Sr., 42,
(1956).
80
invariant quantities better than tensor components. Also it would be interesting to see Gedankenexperiment to measure each of these curvature
invariants. This would be a beginning for making simple quantum mechanical arguments about measurability in general relativity. Perhaps Pirani
could give a characterization of pure gravitational radiation in terms of
these invariants?
BERGMANN pointed out that in the study of the equations of general
relativity today one seems to have a choice of obtaining either general
local properties or special global theorems.
MME. FOURES then gave her solution of the problem of the initial values
using Cartans exterior dierential calculus:
Chapter 7
Solving The Initial Value Problem Using Cartan Calculus
Y. Fours
(7.1)
=0
where I take as the basis in my four-dimensional manifold one vector orthogonal to the initial hypersurface, so that
0 = V dx0
(7.2)
i = ai j dx + i dx
j
(i, j = 1, 2, 3).
(7.3)
Then the dierential relations for the eld can be written in the form
S0k = h Phk k P
(7.4)
(7.5)
1
0 ghk .
2v
(7.6)
The coecients Phk are the coecients of the second fundamental quadratic
form of the hypersurface .
82
We are dealing with the purely gravitational case. To solve the dierential equations I choose on the hypersurface three particular vectors, the
eigenvector of the tensor Phk , that is to say we will have
Phk = 0
for
h = k.
(7.7)
(7.8)
If I set u1 = P22 + P33 , et cycl., and if I use Lichnerowiczs idea to take the
metric on the hypersurface conformal to a given metric, denoted by an
asterisk:
ds2 = e2 ds2
(7.9)
42
2(i )2 + Le2
+R = 0
(7.10)
(7.11)
(7.12)
It is possible to solve this system of equations which are linear with respect to the highest derivatives. For instance, I can solve them by giving
the values of the unknown u in my three-dimensional space  on a twodimensional variety S, and I can solve then the Cauchy problem for the
system which contains  . A general iteration method can be used to solve
the set of equations by writing them in the form of integral equations using
Greens functions. If I give the value of  on the boundary, and the values
of the u on S, then I nd the general solution of these equations. This is a
rigorous mathematical treatment of the problem of initial values.
WHEELER pointed out the analogy with the electromagnetic case where
the equation div E = 0 yields E in all space if it is known over a twodimensional surface. However, one would still like to have a potential
which gives the eld automatically without having to do any integration.
83
e2 = 1+
m m
+
r1 r2
(7.13)
r1 and r2 being distances measured from two points in space. Then you
assign initial conditions for the eigenvalues u. You want to specify u in
such a way that the velocities of the two particles are initially like that:
Then you try to use the same method which was used for the general proofs
to nd particular solutions not just on z = 0 but through all space. These
can be interpreted as two particles which are non-singular, or they can be
thought of as the kind of 1/r type singularity of which one ordinarily thinks
in gravitational theory. These partial dierential equations, although very
dicult, can then in principle be put on a computer. MISNER thinks
that one can now give initial conditions so that one would expect to get
gravitational radiation, and computers could be used for this.
DE WITT pointed out some diculties encountered in high speed computational techniques. Singularities are of course dicult to handle. Secondly, any non-linear hydrodynamic calculations are always done in socalled Lagrangian coordinates, so that the mesh points move with the
material instead of being xed in space. Similar problems would arise in
applying computers to gravitational radiation since you dont want the
radiation to move quickly out of the range of your computer.
1 J.
84
85
 2
1 2
x dt = 0.
(7.14)
 2
1
x xdt.
(7.15)
(7.16)
xxdt
 = 0.
1
x xdt.
(7.17)
x
x
86
 2
1
(E  H ) d = 0 =
2
 
A
dS
|21  volume integral
E 
(7.18)
The volume integral gives us the usual eld equations. The boundary
term tells us that we should specify Atransverse at the limits. If you specify
A itself, rather than its transverse part, you would be taking too seriously
the demand that the boundary term must vanish. Clearly you dont have
to be that hard on A. Analogous considerations can and have been applied
to the general relativity by Misner and Fletcher.
MISNER outlined his present, tentative results on this question. He noted
that one has not yet been able to specify the gravitational variables which
are analogous to Atransverse in the sense mentioned by Wheeler. With
arguments based on the normalization in Feynman integration one can
single out the invariant variational principle:
R gd = 0.
(7.19)
1
[ i j  i j + i j   i j ] g d 3 x
2
gi j  jk = ik
i j =
 gi j
t
The suggestion is that if you look at the surface term carefully you will
nd what the correct variables to use are, and what you can specify on the
initial and nal surface.
2 We
are using the notation of Landau and Lifshitz, Classical Theory of Fields.
87
more complicated than div E = 0. They are the equations to which we have
been nding particular solutions; and on the other hand, Mme. Fours has
shown the existence of more general kinds of solutions. Mme. Fours has
told us that to get these initial conditions you must specify something else
on a two-dimensional surface and hand over that problem, the problem of
the initial values, to a smaller computer rst, before you start on what
Lichnerowicz called the evolutionary problem. The small computer would
prepare the initial conditions for the big one. Then the theory, while not
guaranteeing solutions for the whole future, says that it will be some nite
time before anything blows up.
LICHNEROWICZ emphasized that one seeks to answer the question whether
V4 is compact and whether V4 is orientable.
Chapter 8
Some Remarks on Cosmological Models
R. W. Bass and L. Witten
90
under consideration. Once such vector eld has been constructed, we can
assert that either the manifold is non-compact (i.e., open or innite), or
that it cannot be simply-connected.
We shall prove a slight generalization of this theorem; but rst, let us
note that a similar, but more restrictive and less easily applicable condition
is a trivial consequence of Hodges well-known theorem that the number
of linearly independent harmonic vector elds on a compact Riemannian
manifold is equal to its rst Betti number. For if after constructing on our
manifold an irrotational vector eld (which is non-trivial but may vanish
at more than one point), we then ascertain that it is also solenoidal (i.e.,
of vanishing divergence), then the vector eld must be harmonic ([9], p.
56).
Theorem 1 (Hodge): Let Vn be an n-dimensional Riemannian manifold
(with positive denite metric tensor), and let F denote a non-trivial
class C2 vector eld dened on Vn . Suppose that the curl and the divergence of F both vanish identically; or equivalently, suppose that
the eld F satises the generalized Laplace equation for harmonic
vector elds. Then, if Vn is compact, its rst Betti number is not
zero.
Corollary (Bochner-Myers): If Vn is orientable and has positive denite
Ricci curvature throughout, then its rst Betti number vanishes.
([9], p. 37).
Recall that the curl tensor of a vector eld is independent of the metric
tensor, and so is a non-metric notion. Accordingly, the following theorem
applies equally well to V4 with its indenite hyperbolic metric as to V4 with
its positive denite Riemannian metric.
Theorem 2: Let Vn be an n-dimensional dierentiable manifold, and let F
be a continuous, class C1 vector eld dened on Vn . Suppose that
F vanishes at most once and that its curl vanishes identically on
Vn . Then either Vn is non-compact, or Vn is compact and its rst
Betti number does not vanish. In either case, of course, if F actually
vanishes nowhere, the Euler-Poincar characteristic of Vn is zero.
For non-vanishing F this theorem is a consequence of a more general theorem [1] which applies, for example, to manifolds with boundary. In fact,
by a generalization to arbitrary ows of a theorem proved by Lichnerowicz
for a very special class of ows ([5], p. 79), we can prove [2] that Vn is
homeomorphic to the product of the real line with an (n  1)-dimensional
91
space which is a connected subset of a Vn1 . But in the present case, because we are dealing with a manifold, there is a much simpler proof. We
wish to thank Professor Kervaire for pointing out to us this simpler proof
during the Conference on the Role of Gravitation in Physics. The proof
runs as follows. If Vn is simply connected, then the generalized Stokes
Theorem assures us that there exists on Vn a single-valued scalar potential
function of which F is the gradient eld. (See the survey of vector analysis
in [8].) But if Vn is compact, this potential function must assume both
its maximum and minimum values on M, and at these extreme points the
gradient must vanish. This contradicts the hypothesis that F has at most
one zero on Vn , and so proves the theorem.
It is possible that Theorems 1 and 2 have applications to the study of
specic cosmological models. In fact, there are many ways of constructing
on V3 , or on V4 continuous vector elds which are unique once the indenite
metric (or set of gravitational potentials) for V4 has been specied.
Professor J.A. Wheeler has pointed out to us an application of Theorem 2 to V4 .
Theorem 3: Consider the combined Einstein-Maxwell eld theory on V4 .
If the vector eld
ui = i jkl Rmj;l
Rmk pq
R
R pq
92
95
Chapter 9
Gravitational Waves
L. Marder, Presented by H. Bondi
9.1
Static Cylinder
(9.1)
(functions r only)
(9.2)
=
2 a2 A2
p1 = p3 
=
u = r/a
x1 = r,
x2 = ,
x3 = z,
x4 = t .
9. Gravitational Waves
98
shows that free particles outside the cylinder have, in general, an acceleration in the z-direction.
9.2 Periodic Waves
Take metric of form
ds2 = e2 2 (dt 2  dr2 )  e2 r2 d  2  e2 +2 dz2 ,
(9.3)
Figure 9.1
9. Gravitational Waves
9.3
99
Pulse Waves
1
2
tr
f ( )d 
[(t   )2  r2 ]1/2
and
| f (t)|dt and
9. Gravitational Waves
100
Figure 9.2
9. Gravitational Waves
101
BONDI replied that he has had suspicions on that side also. To put it
crudely, what stops the emission of electromagnetic radiation in the atom
is the law of conservation of charge, and what stops gravitational radiation
from taking place is the conservation of mass and of momentum. But he
does not think there is necessarily anything against radiation of cylindrical
symmetry. However, he hopes to be able to demonstrate some day that if
one has a cylinder surrounded by a shell of matter one can transfer energy
from the cylinder to the shell by means of cylindrically symmetric motions.
This, he agrees, is required to complete the problem.
BONDI then reported on some of his own research. He takes a nite threedimensional region in which there is mass, and considers the gravitational
eld at large distances from the mass. In this region the metric has the
approximate form
)
(
)
(
t r
g =  +
r1 +
r2 +   
1 
The coecients are functions of the variables in the brackets. He investigates what one gets if one proceeds to the approximation which includes
the r1 term. His strong impression is that this coecient is independent
of time. If we again consider the transmitter, only this time a much more
general one (the system is three-dimensional) - but suppose the system to
be spherically symmetrical both before and after emission - the m of the
two Schwarzschild solutions is then the same: hence no energy will have
been lost.
The next speaker was WEBER, who made some remarks on cylindrical waves, using the pseudo-tensor formalism. He considered the EinsteinRosen metric, and its relevant solution. Because of the linear nature of
the equation one can construct a pulse which, for example, can implode
from large distances. This cylindrical pulse will have a metric which is well
behaved at large distances and this implies immediately that the energy
per unit length of this wave will be zero. This horse sense argument is
bolstered by an exact calculation of the pseudo-tensor. If one calculates
t00 and t10 , he nds that they vanish everywhere. This has the consequence
that energy cannot be transferred around as long as one has this type of
symmetry and the above metric.
BONDI: Where did you feed in the condition that the solution is well
behaved at innity?
WEBER replied that he did not make use of this at all, but if it is well
behaved at innity, then nothing can happen. He continued: If one has a
102
9. Gravitational Waves
wave with energy per unit length which is zero, a particle put in the system
will move in some fashion. Since this seems nonsensical, one thinks of some
alternative. A possible one is that the total energy of the wave is not zero.
He has shown that the energy of the entire disturbance is zero. He has
also obtained an approximate solution of the Hamilton-Jacobi equation
of a particle which interacts with this wave. The approximate solution
says that if the particle is initially at rest, it will be at rest also after the
disturbance has passed over it. The wave interacts with the particle in
this respect like a conservative eld - it takes no energy from the wave. In
connection with the question of whether or not these solutions are trivial,
he has calculated all of the components of the Riemann tensor, and has
found that not all of them vanish.
BONDI remarked that it is vital, in this confusing subject, to make sure
that one can physically detect what one is talking about. Also a single
particle is a very poor absorber of any sort of energy.
WEBER replied that he thinks one could carry this sort of calculation out
for a couple of particles.
BERGMANN remarked that if we try to bring in decent conditions at
innity, we are licked before we start. Also if we have a spatially limited
area of disturbance, we cannot assume too low forms of symmetry because
we are limited by four conservation laws, which have rigorous signicance.
The next speaker was PIRANI. An attempt was made to formulate
a denition of gravitational radiation in an invariant way. The denition
was arrived at by making two assumptions: (1) gravitational radiation is
characterized by the Riemann tensor, and (2) radiation must be propagated along the null cone. From this point of view, on a wave front one
could expect to nd a discontinuity in the Riemann tensor. One takes
a space-time in which Lichnerowiczs conditions hold, and calculates the
permitted discontinuity across the wave front in the Riemann tensor. To
make a physical interpretation one introduces a vierbein at any space-time
event; its interpretation is that the time-like vector is the observers fourvelocity, and the three space-like vectors are the Cartesian coordinate axes
which he happens to be using at that time. In order to write down the permissible discontinuities, it is convenient to introduce the six-dimensional
formalism. One re-labels the physical components H of a skew tensor,
regarding it as a six dimensional vector. The curvature tensor R  can
be similarly cast in the six dimensional formalism, appearing as a symmetric 6-tensor. If one imposes the empty space-time eld equations one
nds that its form must be
9. Gravitational Waves
103
[
[R( )( )] =
P
Q
Q
P
P =    , Q =     ;
 
9. Gravitational Waves
104
2
P= 
1
I: P= 
II :
III :
P =
1
Q= 
= = 0
2
Q= 
Q=
r = 0.
2 2 
ext
 
 = e (x  x x x ).
F
3
9. Gravitational Waves
105
m 2 +m
= m2 A 
ds
ds ds
where, in analogy with the electromagnetic case
( 3 
)
d x
A =
 tangential terms .
ds3
A procedure like this does not work in principle, and this for the following
reasons: For an equation like this to make sense, one must go to a limiting
background eld, letting the mass tend to zero. That is, what one really
is considering is the limit of the eld containing mass as the mass goes to
zero:
g (x; m)  g (x; 0) = g
0
ds20
= g dx dx .
0
9. Gravitational Waves
106
Figure 9.3
If one changes coordinate systems in Rm (or equivalently, a one-to-one
correspondence Rm  R0 ) one can move Lm into coincidence with L0m .
PIRANI reported the following communication from ROSEN.
Chapter 10
Gravitational Field of an Axially Symmetric System
N. Rosen and H. Shamir, Presented by F. Pirani
In order to investigate the possibility of a physical system radiating gravitational waves, it seems desirable to choose a simple system, one with
axial symmetry. If the eld of such a system is described by means of
a spherical polar coordinate system, (x1 , x2 , x3 , x4 )  (r,  ,  ,t), then by a
suitable choice of coordinates one can satisfy two conditions:
If one writes down the eld equations in the empty space surrounding the
system
1
G  R  g R = 0,
2
one obtains a set of 7 equations (since G vanishes identically if one index
is equal to 3) for the 4 diagonal components of g . Among these there
exist 3 identities (the Bianchi identities, except for the one with index 3).
The eld equations are non-linear and dicult to solve. It is proposed
to investigate them by the method of successive approximations. As a
beginning, the rst approximation can be calculated. Let us write the line
element in the form
ds2 = (1 +  )dr2  r2 (1 +  )d  2  r2 sin2  d  2 + (1 +  )dt 2
where  ,  ,  , and  are regarded as small of the rst order. The linear approximation of the eld equations has the following form (indexes
denoting partial dierentiation):
108
11  11 + 44 + 44  cot
(2 + 2 ) + 1r (1  21  1 ) = 0,
r2
11 11 + 44 + 44 r12 (22 + 22 ) + 1r (1 21 1 ) = 0,
12 + 12  1r (2 + 2 )  cot  (1  1 ) = 0,
14 + 14  1r (24  4  4 ) = 0,
24 + 24  cot  (4  4 ) = 0.
From these equations it is possible to derive the wave equation for  ,
2
1
cot 
11 + 1 + 2 22 + 2 2  44 = 0,
r
r
r
and to express the other unknowns in terms of the solution for  .
If we represent the radiating system by a quadrupole mass moment
 , then the solution describing outgoing monochromatic waves can be
written in terms of the frequency  and the amplitude of the moment
p0 (p = p0 cos  t) as follows:
 =
 =
3
p0 [ j2 (x) sin  t + j2 (x) cos t]P2 (cos  ),
6
3
p0 {[(3k2 (x) + j2 (x)) sin  t + (3k2 (x) + j2 (x)) cos  t]P2 (cos  )
12
 (k2 (x) + j2 (x))sin  t  (k2 (x) + j2 (x))cos t},
3
p0 {[(k2 (x)  j2 (x)) sin  t + (k2 (x)  j2 (x)) cos  t]P2 (cos  )
12
+ (k2 (x) + j2 (x))sin  t + (k2 (x) + j2 (x))cos t},
3
p0 [(2q2 (x) + j2 (x))sin t + (2q2 (x) + j2 (x))cos  t]P2 cos  ].
6
109
Here
x = r ,
(  )1/2
jn (x) =
x1/2 Jn+1/2 (x),
2
1 x
kn (x) =
jn (u)du,
x 
 x
qn (x) = x
u2 jn (u)du.
It is planned to use this solution as the starting point for a more accurate calculation. The interesting question, of course, is whether the exact
equations have a solution going over into the above for suciently weak
elds.
***
J. N. GOLDBERG presented an approximation method for high velocities. The obvious one is a mass expansion of the gravitational eld. In
the rst approximation there is no acceleration of the particles, which are
represented by singularities. This situation diers from the corresponding
case in electromagnetic theory. The reason for this is that the electromagnetic eld is described by a vector potential whereas the gravitational eld
is tensor in character. In the E.I.H. method, the motion of the particles is
determined by certain consistency conditions in the form of surface integrals each of which contains two terms. One of these is the time derivative
of an expression which is linear in the rst derivatives of the potentials, the
other is quadratic in the rst derivatives of the potentials. Therefore, in
each order the surface integrals place restrictions on the solutions of lower
order. These restrictions may be relaxed by adding appropriate poles and
dipoles in the lower orders. The requirement that the sum of the dipoles
added must vanish leads to the equations of motion. However, since we do
not discriminate against the time in the mass expansion, the surface integral conditions must be satised in the same order as the corresponding
eld equations. This situation is very unsatisfactory. The surface integrals, however, are related to the Bianchi identities. Instead of the surface
integral conditions, one can require that the Bianchi identities be satised
everywhere, even across the singularities. In this manner one can obtain
higher order equations of motion from the lower order eld equations both
in the E.I.H. method and in the mass expansion.
110
one tries to apply the Einstein, Infeld, Homann method to these equations, one obtains merely the results of general relativity, and one does
not obtain the equations for a charged particle. This result stems from the
condition
 G  = 0
which is imposed by the theory.
L  L
= 0.
L are not independent and, moreover, the vector A related to the torque
is introduced. In this case, one obtains
 G  = 0.
Introducing the metric
a a = G
one obtains
  = F J 
with
1
S = R  a R a .
2
Setting
R  G ({ }a ) +V
denes a tensor V whose divergence gives a Lorentz force. This tensor
plays in the eld equations the role of a Maxwell tensor and leads, with
111
Chapter 11
The Dynamics of a Lattice Universe
R. W. Lindquist
Figure 11.1
114
K
2m
!"#$%&'()*(#+$",$
04.00
- 3
./ 01
.02
Figure 11.2
This is shown in the above graph, in which 0 is the maximum radius of
expansion. We have also computed the invariant distance between two
Schwarzschild singularities (at the radius of maximum expansion). This
has been done both rigorously - as an initial value problem - and with the
above approximation. One nds the values given below:
d/2m
Rigorous
.9994
Approx.
1.18
The session was concluded by WHEELER, who summarized the results presented by the various speakers.
115
First, from what PIRANI has said, we have gained some insight into
how we may dene what the measurability properties are locally of the
gravitational eld. The tensors and invariants he has described are at
the heart of the matter. Second, as concerns the radiation problem, we
would like to know what is the highest degree of symmetry one can have
in a problem, and still have interesting radiation. This leads one to the
question of whether, even in the cases where there is no symmetry, one
has reason to expect radiation. On this score, it would be well to recall
an important physical fact: that the gravitational eld of a point charge
has close analogies to the electric eld. One knows that there is a certain linear approximation to the eld equations similar in nature to the
electromagnetic equations, so that if a mass is accelerating, one nds it
produces radiation similar to the electromagnetic radiation of an accelerating charge. On this account, one expects gravitational radiation. Using
this analogy, Einstein was able to calculate the rate of radiation from a
double star. The issue which SCHILD brought up is one quite dierent
from the double star radiation, in that the system is time-nonsymmetric.
He invites us to consider the radiation produced in a gravitational scattering process. The acceleration of the particle as it zooms by the stationary
one will give radiation at large distances, but the recoil acceleration of
the particle which was initially at rest will produce a wave of nearly the
opposite phase of the rst, so that one expects the rate of radiation to
be proportional to something analogous to the moment of inertia of the
double star system. This means that the damping of this system depends
on some complicated geometric concept like mr2 . Therefore, if one hopes
to get a proper answer to the question of how to describe the frictional
force between the two masses, one must nd some quite general way of
describing invariantly that region of space in which the particle undergoes
its acceleration.
Figure 11.3
116
Figure 11.4
As WEBER brought out, in the case of the cylindrical wave, a gravitational metric charge passing over a particle leaves the particle with its
initial energy after the disturbance has left. At rst sight, one might believe that there is no observable consequence of the action of the wave on
the particle. However, the electromagnetic analogy suggests that if one
were to go further, one might expect to nd radiation pressure.
117
One has also to consider the nature of the one-sidedness of gravitational radiation. Here one faces the problem of what is to be meant by
the dierence between retarded and advanced waves. If one employs the
absorption theory of radiation damping in treating the above problem, one
must employ the use of advanced and retarded waves. In at space the
concepts of advanced or retarded waves are easily understood. However,
with gravitational waves, space is curved, and this has the consequence
that it is dicult to distinguish between retarded and advanced waves.
This is due to the fact that a pulse sent out by a source gets defracted by
the curvature of space and secondary waves are thereby generated, which
are in turn scattered. In this way, one may ultimately get contributions to
an incoming wave, so that the distinction between retarded and advanced
waves is lost.
Chapter 12
Measurable Quantities that May Enable Questions of
Cosmology to be Answered
Thomas Gold
12.1
Introduction
122
123
Type of Universe
closed spherical universe
at
open (hyperbolic)
steady state
124
125
126
Discussion
BONDI remarked that q is not a purely geometric quantity. The rst three
values given (page 123) involve the use of the eld equations of general
relativity and the conservation of matter. The steady state model is at
in the large.
BELINFANTE inquired about the loss of number counts because of absorption of intergalactic matter.
BONDI replied that this could almost be ruled out because one could see
so very far and the photoelectric measurements of Baum indicate there
cannot be too much absorption out to the limits of observation.
DICKE observed that one could not see anything beyond that point and
raised the question of the signicance of number counts without going into
red shift.
GOLD stated that there exist no good number counts since 15 years ago,
and they do not distinguish between the models.
BONDI stated the astronomers say they cannot get such numbers easily
because of the great accuracy required in brightness measurements and
the steepness of the curve relating number and brightness.
GOLD remarked that the question of absorption is important but in a way
the observations indicate it does not exist in fact to a signicant extent.
BONDI inquired what fraction of the mass of galactic clusters is estimated
to be neutral hydrogen.
GOLD replied several times the stellar masses.
127
128
able that the principle of equivalence and the action principle may require
modication from the other point of view.
PIRANI proposed that one envisage a Dirac type distribution of states
which contributed to the energy tensor and condensed into the protons at
the required rate.
BERGMANN said this could not lead to steady state.
PIRANI said it could.
GOLD pointed out that if creation is denied currently, it cannot be maintained for the past; and this issue cannot be avoided on any theory.
BERGMANN stated that he did not favor the explosion hypothesis either.
SCIAMA felt that the conservation equations as now known are interpreted too seriously. One could devise a more complicated theory with
conservation equations arising from identities. The extra variable in such
a theory could allow for creation.
WHEELER took the point of view that one should not give up accepted
ideas of wide applicability such as general relativity but should investigate
them completely. The two things left in question are the expansion and the
creation of elements. The rst does not appear to cause any diculty in
general relativity theory. Hydrogen can be created out of heavy elements
by the reaction of matter in stars. This process continued suciently far
will get one down to the absolute zero of temperature. There is a well
dened state of absolute zero and, in the beginning, for not too great
a mass, one has iron. If the mass is too great, the composition of the
interior is pushed into neutrons. A neutron core star undergoing explosions
will throw large quantities of neutron-rich matter into space which yields
hydrogen.
GOLD questioned whether such a process could yield 99% hydrogen and
helium.
WHEELER replied that no detailed calculation had been made but would
not say that it could not be explained within the present framework of
accepted ideas.
BERGMANN inquired about the thermodynamic analysis of the neutron
core model leading to the hydrogen clouds from the point of view of entropy.
129
130
Figure 12.1: Map showing the distribution of radio sources in galactic coordinates. The open circles represent the sources of large angular diameter, and in both cases the sizes indicate the ux
density of the sources
Chapter 13
Radio Astronomical Measurements of Interest to Cosmology
A. E. Lilley
132
of observed radio sources per unit solid angle will increase with decreasing
apparent intensity if one is viewing a universe having an isotropic distribution. The number of observed sources having an intensity greater than
I is plotted against intensity and the resulting curve is compared with the
curve which would result from an isotropic distribution. On a log N versus
log I plot, an isotropic distribution would produce a straight line having a
slope of 3/2.
2.0
Extended Sources
1.0
LOG N
b<12,
(b)
(c)
1.0
2.0
3.0
LOG I
Figure 13.1: Curves of log N against log I, where N is the number of sources
per unit solid angle having a ux density greater than I.
133
Ryle and Scheuer of Cambridge analyzed the rst such survey data
which involved a statistically signicant sample of radio sources. The slide
shows the observed distribution of radio sources over the sky displayed in
galactic coordinates. The circular region in which no radio stars appear
is simply the region inaccessible to observation. The next slide which is,
as the rst, taken from the work of the Cambridge group, displays the
log N versus log I behavior of the data. You will note that as the data
proceed toward decreasing intensity, the actual plot shows that there is an
apparent accumulation of radio stars which is more rapid that one would
expect from an isotropic distribution. The interpretation placed upon the
observed curve by the Cambridge group suggests that there is an increasing
density of radio stars with increasing distance from the neighborhood of
our galaxy.
This will suggest departures from an isotropic and uniform universe
and the results, if valid, are not consistent with a steady-state universe.
However, the interpretation of this curve has been discussed by Bolton,
who has suggested that when one has observational errors which increase
with decreasing intensity, even an isotropic distribution can produce a
curve of the form shown in the slide.
In addition to the interpretative diculty pointed out by Bolton, observational conict now exists. A similar observational survey has been
conducted by Mills in Australia with a dierent type of antenna system;
and this system also possesses a greater sensitivity than the Cambridge
instrumentation. Where the surveys of the Australian and Cambridge
workers overlap, and where a detailed intercomparison can be made, the
agreement between the separate surveys has been disappointing. In addition, the log N versus log I analysis by Mills shows no signicant departure
from the 3/2 curve until the approximate sensitivity limit is reached
where the curve does display some increase; however, this faint limit increase is very suggestive of the eect pointed out by Bolton.
Thus, the analysis of radio star data in quest of their distribution
throughout space has resulted in observational conict. Since this topic
is of considerable interest to the next speaker, Dr. Gold, I will leave its
further discussion to him.
Let us now discuss several possible measurements which can be made
by employing microwave spectral lines which originate in the gases which
compose the interstellar medium. Although others are expected, only one
such line has been successfully detected and studied to date - the hyperne transition originating in the ground-state of atomic hydrogen. This
transition occurs in the microwave domain near a wave length of 21 cm.
134
As the rst surveys of this radiation in our galaxy were nearing completion, consideration was given to the possible behavior of the spectral line
prole in directions which contain radio stars. Although the line predominantly appears in emission distributed around the galactic plane, the rst
observations in radio star directions revealed the line in absorption.
An analysis of the absorption eect shows the absorption studies to
be extremely high resolution investigations of the interstellar gas. Minimal
distances to radio stars and observations of small-scale turbulent structure
of the interstellar medium were early consequences of the absorption studies. The ability of the absorption eect to make extremely high resolution
studies of the interstellar medium will probably prove more valuable than
utilization of the data for measurement of radio star distances.
The absorption lines produced in the continuum of radio stars are
sensitive to the size of the antenna which views the gaseous assembly. By
employing larger antennas and looking for absorption lines in the spectra
of the radio stars, we ultimately hope to observe other gaseous components of the interstellar medium. A transition in deuterium at a frequency
of 327 mc and in the hydroxyl radical at a frequency of 1667 mc are examples of new lines which may ultimately be detected by larger radio
telescopes. With the development of a new type of microwave receiver of
vastly improved sensitivity, the so-called solid-state maser, we may condently expect detection of other gaseous components in the interstellar
medium. When such lines are detected, radio astronomy will provide a
few numbers in the tables of cosmic abundance.
Of considerable interest to cosmologists is the size of the observable
sample universe. Let us briey compare the size of the universe available to
radio astronomical measurements with the size available for optical examination. Two billion light years may be taken as a measure of the limiting
distance at which objects are detectable by the Hale 200  telescope. This
is a measure of the limiting distance without electronic aids. We may
compare the optical 2 billion light year gure with a hypothetical radio
case. Restricting our attention to the detection of radio ux (neglecting for
the moment red shift corrections) a 150  diameter parabolicradio telescope
equipped with a conventional microwave receiver could detect a radio star
of the Cygnus A type at a distance of 8 billion light years. If the 150  antenna were equipped with a solid-state maser, the maser would overcome
some of the red-shift ux reduction and fruitful measurements could be
made at distances signicantly beyond the range of 2 billion light years.
Another topic of interest to cosmologists and of interest to workers
employing the hydrogen line is the possible existence of hydrogen gas in
135
igm 3 1011
TS Tmin H
TA
136
139
140
Chapter 14
Measurement of Classical Gravitation Fields
Felix Pirani
Because of the principle of equivalence, one cannot ascribe a direct physical interpretation to the gravitational eld insofar as it is characterized
by Christoel symbols  . One can, however, give an invariant interpretation to the variations of the gravitational eld. These variations are
described by the Riemann tensor; therefore, measurements of the relative
acceleration of neighboring free particles, which yield information about
the variation of the eld, will also yield information about the Riemann
tensor.
Now the relative motion of free particles is given by the equation of
geodesic deviation
+ R v   v = 0 ( ,  ,  ,  = 1, 2, 3, 4)
 2
(14.1)
 2 a
+ Ra0b0  b = 0 (a, b = 1, 2, 3, )
 2
(14.2)
142
can thus very easily imagine an experiment for measuring the physical
components of the Riemann tensor.
Now the Newtonian equation corresponding to (14.2) is
 2 a
 2v
+
(14.3)
b = 0
 2
 xa  xb
It is interesting that the empty-space eld equations in the Newtonian
and general relativity theories take the same form when one recognizes
2
the correspondence Ra0b0   xa vxb between equations (14.2) and (14.3),
for the respective empty-space equations may be written Ra0a0 = 0 and
 2v
= 0. (Details of this work are in the course of publication in Acta
 xa  xb
Physica Polonica.)
BONDI: Can one construct in this way an absorber for gravitational energy by inserting a dd term, to learn what part of the Riemann tensor
would be the energy producing one, because it is that part that we want
to isolate to study gravitational waves?
PIRANI: I have not put in an absorption term, but I have put in a spring.
You can invent a system with such a term quite easily.
LICHNEROWICZ: Is it possible to study stability problems for  ?
PIRANI: It is the same as the stability problem in classical mechanics,
but I havent tried to see for which kind of Riemann tensor it would blow
up.
Interaction of Neutrinos with the Gravitational Field
D. Brill
The wave equation of a neutrino in a centrally symmetric gravitational eld
was derived, using the formalism of Schrdinger and Bargmann. In order
to construct a neutrino geon, one must also nd the gravitational eld
produced by a statistical distribution of neutrinos among available states
of such a character that the resulting stress energy tensor is spherically
symmetric. The stress energy tensor was worked out from a variational
principle. The equations which must be solved self-consistently were also
worked out for the case of a spherically symmetric neutrino distribution.
BERGMANN: What is the present motivation for the geon research?
WHEELER: The motivation is simply to understand more about how one
deals with non-linear eld equations. The idea is not that the geon has the
143
144
obtains a complete solution of the eld equation which contains no singularities. This solution contains an arbitrary constant through which it
can be related to the toroidal solution. When the linear geon is bent into
torus, this constant is proportional to the major radius.1
Unied, Non-Symmetrical Field Theory
M. Tonnelat
The unied and non-symmetrical eld theory starts with a principle which
extends the principle of the Born-Infeld electrodynamics. It consists in
reducing the sources of the electromagnetic and gravitational eld to the
eld itself.
In order to avoid a point singularity, it is necessary in the static case
to dene an electric eld which is nite at the origin. The formalism of
the unied and non-symmetrical eld theory immediately introduces the
characteristic expressions of Born-Infeld theory.
By writing the fundamental tensor as the sum of two parts, we can
relate it to the invariant Lagrangian that appears in the Born-Infeld electrodynamics and the two invariants of the Maxwell theory.
On the other hand, the Einstein theory introduces the contravariant tensor, which may also be written as a sum of symmetric and skew
symmetric parts, which shall be called inductions. The relations foreseen
partly by the Born-Infeld theory appear between the eld and the inductions after making appropriate denitions. The denitions of metric, eld
and inductions may be chosen in two ways. These denitions depend only
on the properties of determinants and on the choice of eld and of metric;
they do not depend on the Lagrangian of the theory.
We apply the equations of the eld to the calculations of a static and
spherically symmetric solution of the form chosen by Papapetrou. We can
then deduce the radial component of the electrostatic eld, p14 . Now introducing like Born-Infeld a eld b = e/r02 , we set E = bp14 . Then, when r
approaches 0, E approaches b, a nite value. The originality of this conclusion comes from the fact that the values of the eld and of the metric
are not given a priori, but result from the eld equations in the particular
case of the Schwarzschild solution. We are now led to dene a current
following the principles of the Born-Infeld theory. We nd the charge
density, after substitution of the values obtained in the Schwarzschild solution, and upon integrating this over all space, we nd the nite value e.
So from the very principles of the unitary and non-symmetric theory, the
1 For
145
Chapter 15
Correspondence in the Generalized Theory of Gravitation
Behram Kursunoglu
It is hoped that a reconciliation of quantized gravitational elds, the matter eld, and electromagnetic eld might induce a further structure on
the elementary particles, and might result in softening the divergences,
or eliminating them altogether. It is well known that the gravitational
eld has a non-local character, so it probably would not be possible by
quantizing the gravitational eld to nd a 4-vector momentum giving a
particle property to gravity. One tries the approach of generalizing Einsteins theory, making it more complicated than it is, hoping to get some
more physics out of it. Since there is no physical basis in unied eld theory, as there is in general relativity, one proceeds in a more mathematical
fashion. Nature must be described by a complete tensor with symmetric
and antisymmetric elds. One then constructs all of the quantities recognized in general relativity and obtains, for example, Bianchi identities and
Maxwell identities. In order to compare the theory with general relativity,
we have a conservation law in the absence of charges and this introduces
a fundamental length r0 . The real motivation for this procedure is the
development of a correspondence argument in order to identify the formalism with a theory. The question arises what happens if we assign no
structure to the theory and r0 approaches 0. We obtain the equations of
general relativity with the electromagnetic eld as the source of gravitation
plus Maxwells equations for charge-free elds. The existence of charges is
linked up with a non-vanishing fundamental length just as the existence
of spin arises from a nite h.
Now, the metrics depends on length. We have calculated the propagation of light in the presence of very strong background elds; the result
is in agreement with those of Schrdinger from non-linear optics. One may
also change the sign of r0 , but we cannot nd a way of measuring negative
length. The concept of negative length may be linked up with negative
mass (or antimatter).
148
DE WITT: Can you state any conclusions about matter and antimatter?
KURSUNOGLU: I cannot state any conclusions because I must solve
the equations and show that solutions involving a negative and a positive
length will give repulsion.
TONNELAT: It is not necessary to introduce the factor 1/r0 into the
Lagrangian itself in order to obtain E  D, B  H when r0  0, because it
is a conclusion of the Born-Infeld theory. However, it is necessary to have
this factor 1/r0 or something else, in order to obtain equations of motion.
KURSUNOGLU: Firstly, I dont believe in the Born-Infeld theory; secondly, equations of motion are a dicult concept in this theory because
one has to dene what a particle is rst. Usually the eld variables are
singular at the point of a particle; here what can I let move if I dont have
a particle yet?
SALECKER: Can you not quantize this theory to get the results for elementary forces?
KURSUNOGLU: One develops a unied theory in order not to do anything with quantum theory. If there are any quantum eects, they must
be contained in the non-linearity which is caused by the nite value that
we have introduced for the electromagnetic eld. Quantization is out of
the question.
LICHNEROWICZ: It seems to me that many physicists do not like this
type of unied eld theory. We have a very good theory of propagation,
but it is dicult to nd physical interpretations, because the theory is in
a sense too unied. We have a good interpretation for the metric or the
gravitational part, but it is dicult to obtain a good interpretation for
the electromagnetic part. The rst problem is not to obtain the equations
of motion; the rst problem is to obtain by a process of approximation a
good identication.
BERGMANN: I believe that we have the following principal problems:
Firstly, the identication, I agree with you. Secondly, the actual nding of
the solutions which are free of singularities. If one believes in the unied
eld theory approach, he must face the question: does the theory lead to
solutions which can be interpreted as particles? The equations of motion
are a subsidiary problem. If there are such solutions, are they stable?
WHEELER: Perhaps the rst question to be asked about unied eld
theory is why?. We have non-singular solutions in geons in the present
theory.
149
150
Chapter 16
Presentation of Work by T. Taniuchi
Ryoyu Utiyama
1 + l 2 (2,x 2,t )
152
1
L = {2,x  2,t }2 .
4
These two types of non-linear eld were adopted by Heisenberg and Landau respectively in order to explain the phenomena of multiple mesonproductions.
Our method of solving these equations is completely similar to that of
Courant and Friedrichs stated in their textbook [4]. We are also planning
to investigate the equation of gravitational eld in some simple case.
(1) Case of Born-type eld: The Lagrangian density is
L = l 2 1 + l 2 (2,x  2,t ).
u = ,x , v = ,t .
Put
=0
=0
= const. = 
for all x
for |x| > a
for |x| < a
153
t
C+
u=v=0
C
C
C+
u=v=
l(l
l 2 2 )
u=v=0
u=0
v=
45
45
154
L = l2
Put
1 + l 2 (2,x  2,t ).
u = ,x , v = ,t .
v(x)
v(x)
(x)
(x)
A
Case (a)
Case (b)
155
t
C+
C
C+
C+
C+
60
60
A
a
156
t
C+
C+
C+
C+
60
60
157
C+
C
C+
C
C+
C+
C
C+
C+
C
C+
C+
C
C+
C+ = C-
C- = C+
P
C+
C
C
u=v=0
u=v=0
60
45
45
158
References
[1] M. Born. Proc. Roy. Soc. Lond. Ser. A 143 (1933), 410.
W. Heisenberg. ZS. f. Phys. 113 (1939), 61; 126 (1949), 519; 133
(1952), 79.
[2] L. Landau. Izv. Akad. Nauk. S.S.S.R. 17 (1951), 51.
[3] J. I. Khalatnikow. Jour. Exp. Theor. Phys. 27 (1954), 529.
[4] R. Courant and K. O. Friedrichs: Supersonic Flow and Shock Waves.
Interscience Publishers, Inc., 1948.
Chapter 17
Negative Mass in General Relativity
Hermann Bondi
160
PIRANI: I want to reply about active and passive mass. One can show
simply that they are dierent and that the density of one is got by taking
the density of the other and subtracting the principal stresses.
A Dynamic Instability of Expanding Universes
R. Mjolsness
Small deviations of the metric from exact sphericity are considered in order to investigate the stability of the standard Friedman solution. An
oscillating cosmological model is used with positive curvature and zero
cosmological constant. In order to solve the problem exactly, a relation
between the pressure and the density is needed. Two cases are considered
for which this relation is known; the dust-lled and the radiation-lled
universe. This problem is similar to one done by Lifschitz in 1946. He
wished to discover whether one can account for the formation of nebulae
in an expanding universe of negative curvature. He found that the perturbations do not grow suciently rapidly. Here, the question is reopened,
for the perturbations do grow suciently rapidly. Deviations of the metric from spherical symmetry are expanded in terms of tensors formed from
hyperspherical harmonics. Two of the four types of tensors formed give
no contribution to a change in the density, but two of them do. These
two result in two coupled ordinary dierential equations. The case of
the dust-lled universe is completely solvable and unstable. Work on the
radiation-lled case has been started. Here it appears that there is a solution in which the perturbations grow. There is a close analogy with the
problem of an oscillating underwater bubble which is well known to show
Rayleigh-Taylor instability against small departures from a spherical form.
BONDI: Have you tried this for the Newtonian cosmological models of
Milne and McCrae?
MJOLSNESS: No.
BONDI: They have an extremely close analogy; on the cosmological and
galactic scale we get the same equations. I have played about with that,
and I think that you always get that while the relative density uctuations
increases, the density goes down.
WEBER: In the topological models of Wheeler, one forms charges out of
elds. The question arises how one can measure elds without charges. I
will outline one method. If a neutral body is constructed out of elds and
placed in an external uniform eld, the body will become polarized and
161
appear to have a dipole moment. If two such neutral bodies are placed
in a eld, one can determine the existence of an external eld from their
motion. In addition, the fact that a eld is capable of polarizing a neutral
body implies that a neutral body should repel a charged body. This may
have some cosmological signicance, but the forces are very small.
SCIAMA: Instead of studying all of the complexities that exist in the
symmetric theory of gravitation, I want to propose the possibility that the
theory of the pure gravitational eld should be based on a non-symmetric
potential if the sources have spin. When one tries to dene spinors in such
a scheme, certain denite statements about elementary particles may be
made, which can be checked within a year or two. The original motivation for introducing a non-symmetric potential is heuristic. From special
relativistic eld theory, we know that the energy momentum tensor is
non-symmetric if the system has spin. Belinfante has shown how this tensor can be symmetrized. This procedure constructs a complicated energy
momentum tensor whose moment contains the spin; but the spin is not
fundamentally a moment, as orbital angular momentum is.
As a purely heuristic argument, it might be less articial to keep the
energy momentum tensor non-symmetric, so that it is apparent that the
system possesses spin. In that case, one is forced to construct a theory
of gravitation with a non-symmetric potential. However, we make an exception of elds with zero rest mass, for in this case we cannot make a
distinction between spin and orbital angular momentum. We construct a
theory whose mathematics is similar to Einstein-Schrdinger type theories,
but has nothing to do with the electromagnetic eld. We nd that the orbital angular moment in the special relativistic limit is the moment of the
canonical stress energy tensor. The quantity gi j plays the same role in the
equations of motion of a scalar test particle as gi j in the symmetric theory. To introduce spinors in the non-symmetric theory, we use a Hermitian
metric with symmetric real part and non-symmetric imaginary part. This
allows us to introduce complex vierbeine, so we can perform unitary transformations rather than rotations and this leads to a Hermitian requirement
for the energy momentum tensor. To get something analogous to spinors,
we must discuss quantities that transform irreducibly with respect to the
unitary group. There are two main dierences between this group and the
Lorentz group. First, the Lorentz group is composed of four disconnected
parts, while the unitary group envelops all continuously. This suggests
that parity must be conserved in such a scheme. These representations
are complex, and thus describe charged particles; strictly neutral particles
must be described by real wave functions and thus are subject only to
162
the Lorentz subgroup and will have symmetric energy momentum tensors.
Neutral particles may not conserve parity. Also, neutral particles must
have zero spin, zero rest mass, or both. The second dierence relates to
topological properties; the topological properties of the unitary group are
more complicated, and this allows one more freedom in constructing representations. A phase transformation is included under the unitary group.
If one has only one eld, the phase transformation cannot be determined;
but if several elds interact, this leads to selection rules. The question
now is can we arrange these rules to forbid certain interactions which are
known not to occur in nature, which are consistent with the present selection rules. This work is not yet complete; but one can presumably nd
rules which will prevent heavy particles from decaying into light particles,
and thus understand the conservation of heavy particle number.
KURSUNOGLU: In this theory with a complex representation of eld
variables, isnt the velocity of light greater than its normal value as it is
with Einsteins  invariance?
SCIAMA: I presume that the motion of light will be given by the same
quantity that governs the equations of motion.
BERGMANN: This is a dierent theory, you dont have  invariance.
A discussion of the recent discoveries regarding parity followed. Professor ROSENFELD spoke of the contents of a recent note from Landau
in which he suggested that in weak interactions, the coupling is not invariant for parity, or charge conjugation, but for the product of the two. By
introducing this combined parity, one is left with invariant couplings; one
cant have one of the transformations without the other.
Chapter 18
The Problems of Quantizing the Gravitational Field
P. G. Bergmann
This session opened the second half of the conference, devoted to discussion of the problems of quantizing the gravitational eld, previous sessions
having been restricted to the classical domain. The rst contribution was
an introduction by P. G. BERGMANN outlining the present position of
the infant subject of quantum gravidynamics, indicating why one is interested in it in the rst place, and stating some of its outstanding problems.
The following is a summary of BERGMANNs introduction:
BERGMANN rst asked the question, Why quantize? His reply
was that physical nature is an organic whole, and that various parts of
physical theory must not be expected to endure in peaceful coexistence.
An attempt should be made to force separate branches of theory together
to see if they can be made to merge, and if they cannot be united, to try
to understand why they clash. Furthermore, a study should be made of
the extent to which arguments based on the uncertainty principle force
one to the conclusion that the gravitational eld must be subject to quantum laws: (a) Can quantized elementary particles serve as sources for a
classical eld? (b) If the metric is unquantized, would this not in principle
allow a precise determination of both the positions and velocities of the
Schwarzschild singularities of these particles?
These aims have not yet been achieved, but BERGMANN expressed
certain hopes as to the results of such a program: Quantization of the gravitational eld is likely to have a profound eect on our notions of space
and time, making all distance and volume concepts subject to uncertainty
relations. Thus, in spite of the quantitatively negligible character of the
gravitational forces between elementary particles, it is conceivable that (a)
the gravitational eld may help to eliminate the divergences of quantum
eld theory (which result from the compounded eect of singularities in
particle propagators) by smearing out the light cone, and (b) it may somehow contribute to the structure of elementary particles. In regard to the
latter point, however, BERGMANN expressed his opinion that one cannot
166
hope to get the complete structure of the elementary particles from any
quantized unied eld theory that is principally motivated by the desire
to unify just the gravitational and electromagnetic elds.
BERGMANN emphasized the formidable nature of the problem of
quantizing generally covariant theories and expressed the conviction that
one will rst have to have a thorough clarication of the underlying conceptual problems in the classical theory. He then went on to outline the
principal methods of approach to the purely technical problems of quantization which we now possess: (1) The canonical Hamiltonian method
(Dirac); (2) The Lagrangian method (Schwinger); (3) The path-summation
method (Feynman). It appears that the need to identify the so-called true
observables, or coordinate-invariant quantities, arises in all three schemes.
Furthermore, this identication will be intimately related with the structure of the transformation groups under which the classical theory remains
invariant.
In the quantum theory the state vector of a generally covariant system
will be subject to various constraints which must, of necessity, be imposed
owing to the existence of the invariant transformation groups. A true
observable will be described by an operator which, when applied to the
state vector, produces another vector which satises the same constraints
as the original vector. A reduced Hilbert space is envisaged in which the
only canonical transformations which are physically meaningful are those
generated by true observables. The constraint operators themselves qualify
as true observables under this denition, but they are trivial, being simply
null generators. BERGMANN believes that it is immaterial whether the
Lagrangian or Hamiltonian approach is used to discover the nontrivial true
observables; the results will be the same in either case.
As remaining problems which must eventually be looked at, BERGMANN gave the following partial list:
1. The hyperquantized particle eld vs. the treatment of particles as
singularities in a quantized gravitational eld.
2. The interaction of the gravitational eld with fermions.
3. The interaction of the gravitational eld with other quantized elds.
4. The relation of elementary particle theory to unitary eld theories.
5. The relation of the law of conservation of energy and momentum arising from the coordinate transformation invariance of general relativity to other strong conservative laws of physics with their associated
invariance groups.
167
Discussion then turned to the problems of measurement of the gravitational eld. This item was placed rst on the agenda in an attempt to
keep physical concepts as much as possible in the foreground in a subject
which can otherwise be quickly ooded by masses of detail and which suffers from lack of experimental guideposts. The question was asked: What
are the limitations imposed by the quantum theory on the measurements
of space-time distances and curvature? Since the curvature is supposed to
be aected by the presence of gravitating matter, an equivalent question is
to ask: What are the quantum limitations imposed on the measurement of
the gravitational mass of a material body, and, in particular, can the principle of equivalence be extended to elementary particles? (In the interest
of clarifying the importance of some of the following discussion, the editors
would like to point out at least one reason, which was not given sucient
attention at the conference, why the answer to the latter question is not
a simple matter of dimensional arguments. In quantum gravidynamics
there exists a natural unit of mass, namely ch/G  105 g. One might
be tempted to suppose that this represents a lower limit on the mass of a
particle whose gravitational eect can in principle be measured. That this
conclusion is wrong can be shown by the following arguments:
Consider just a classical test particle of mass m which is initially at rest
at the point x0 (we restrict ourselves to one dimension) in a gravitational
potential  . At the time t the position of the particle will be
1  2
t .
2 x
The gravitational eld strength is given by   / x and can immediately be
determined by a measurement of t and x. If however the particle is subject
to quantum laws its initial position and velocity are subject to (root mean
square) uncertainties related by
x = x0 
v0 =
h
2mx0
h t
.
2mx0
168
neutral test particles!). The resulting uncertainty in the initial time may
be ignored since it is given by t0 = x0 /c = h /2mcv0 << t (assuming
v0 << c). The nal position and time measurements may be made with
arbitrarily high precision, using energetic photons, since the experiment is
then over.
The gravitational eld can now be determined from the classical equation if
 2
t >>
h
h t
>>
.
mx0
mc
 2
 x2
 2
t << 
or
x
 2
 x2
h
 >>>>
.
mc
t >>
h x2
>>>>
GMmc
h 3
.
GMm3 c3
If both the test particle and source has protonic mass then
169
h 3
 105 sec.,
GM 4 c3
and all conditions may seemingly be satised by choosing t to have the not
unreasonable value t = 1 sec. Moreover, no complications should arise due
to the nonlinear character of the gravitational eld (the linear Newtonian
approximation should be masses as small as a proton).
Nevertheless, a number of subtleties enter the problem at this point,
chiey concerning the nature of the recording apparatus, or clock, which
measures the requisite time intervals (independently of the photons which
interact with the test particle) and how the presence of the clocks mass
in the neighborhood may inuence results of the experiment.)
Chapter 19
Conceptual Clock Models
H. Salecker
Figure 19.1
172
173
El = cpl = h /2tl .
The clock will generally have also an initial position uncertainty x
giving rise to a momentum uncertainty
px = h /2 x.
The total momentum uncertainty after the rst reading is therefore
(
)
1
1
p = px + pl = h
+
2x l
corresponding to a velocity uncertainty of amount
(
)
p
h
1
1
v =
=
+
M
M 2x l
where M the mass of the clock. (We neglect here certain relativistic corrections which SALECKER considered.) If x is the mean distance from
the observer to the clock then the time at which the observer receives the
initial reading from the clock will be
t1 = (x  x)/c  tl .
The time at which the observer receives a second reading at the end of a
(clocks) time interval t will be
t2 = (x  x  vt)/c  tl + t,
giving for the total inaccuracy in the reading of the time interval
t = |t2  t1  t|max = 2 x/c + 2 tl + vt/c
1
h t 1
1
= (2x + l) +
(
+ ).
c
Mc 2x l
The minimum uncertainty is achieved by choosing 2x = l = (ht/M)1/2 ,
which yields
h
.
Mc2
Evidently the accuracy of reading is greater the larger the mass of the clock.
On the other hand, the gravitational eld of the clock will be disturbing if
tmin = 4(tct)1/2
tc =
174
its mass is made too large. One has therefore to consider the problem of
how to construct a clock which shall be as light and as accurate as possible.
One must at this point take into account the inherent inaccuracies in the
clock itself, by considering its atomic structure.
A single atom by itself represents to a very high degree of accuracy
an oscillator, but in spite of this it is not possible to take a single atom
emitting radiation as a clock. Before an oscillator can be considered to
be a clock it must be possible to register its information; i.e., the atom
must be coupled with a device to count the number of times the emitted
electromagnetic eld strength reaches a certain value. Such a counting
device would be in contradiction with the principles of quantum mechanics.
As his rst model, therefore, SALECKER considered a statistical
clock, composed of a certain number N0 of elementary systems initially
in an excited state. The systems were assumed to go over directly to a
ground state and to be suciently well separated so as not to reexcite one
another. If the decay rate is  , then the probability of nding N systems
remaining in the excited state after a time t is
P(N,t) =
N0 !
 N (1   )N0 N
N!(N  N0 )!
where
 = e t .
The average value of N and the root mean square deviation at time t are
given respectively by
N = N0
N = N0  (1   ).
The registering device in the clock has only to count the number of atoms
remaining in the excited state (or, alternatively, the number of systems
which have decayed) in order to record a statistical time given by
tstat =
which has an uncertainty of amount
1 N0
ln
 N
175
1 N0
1 N
(e t  1)1/2
tstat = | ln | =
.
=
1/2
 N
 N
 N0
The minimum uncertainty is achieved by choosing  = 1.6t, which yields
tstat min = 1.2
t
1/2
N0
A nal uncertainty arises from the fact that the registering device
must distinguish between excited and unexcited systems, and for this purpose a time tm at least as great as h/(E1  E0 ) is required, where E1 and
E0 are respectively the elementary excited and ground state energy levels.
In the most favorable case the decaying systems would undergo complete
disintegration with, for example, the emission of two photons in opposite
directions so as to eliminate recoil. The registering device might then be a
counter to detect the photons, but however constructed it would have an
absolute minimum time inaccuracy of amount tm = h /mc2 , corresponding to photon energies of order mc2 where m is the mass of a decaying
elementary component of the clock.
The total inaccuracy in the measurement of a time interval t by means
of a statistical clock is therefore at least
N0
= 0.6(1
 t
)
M tc
which yields
ttot min = 4(tct)1/2 + 2.1(1 
 1/3 2 1/3
)
(tct ) .
M
176
h
h t
tot min   2 +
mc
m c2
where m = m + E/c2 , m being the rest mass of the oscillator and E is its
excitation energy.
The quantity tot min is seen generally to depend on the time interval
itself. When t becomes of the order of tot min then the time interval can
no longer be measured. In every case the smallest time interval which can
be measured is roughly
h
.
mc2
That is, the time associated with the mass of one of the elementary systems
out of which the clock is constructed represents an absolute minimum
for measurable time intervals. This minimum arises, of course, from the
coupling between the registering device and the elementary systems, and
would exist even if the registering device were removed from the immediate
vicinity of the clock proper. (For example, the registering device might
be the observer himself, but then, in the case of the statistical clocks,
the observer would have to send out a large number of photons so as to
read each elementary system separately, thus raising the reading error
from 4(ht/Mc2 )1/2 to 4(ht/mc2 )1/2 .) Since, for existing elementary systems,
m  1024 g, the corresponding time tmin  1023 sec. may, presently at least,
be regarded as an absolute lower limit to measurable time intervals.
SALECKER nished his discussion by reporting on the results of applying such clocks to the measurement of gravitational elds. This part
of his work has not yet been written up, so we can only record the nal
results which he quoted. Three typical measurements were considered by
him:
tmin 
177
i=1
178
179
any accuracy, then you can also determine the potential with any accuracy. However, quantum considerations tell you that if the position of the
measuring rod or clock is known to an accuracy x then its momentum is
uncertain by an amount p > h /x. This gives rise to an uncertainty in
the value of the gravitational eld produced by the measuring instrument.
The factors which saved Bohr and Rosenfeld in the electromagnetic
case were:
1. Because of the existence of both negative and positive charge the
perturbing eld of the measuring instrument could be reduced to a
dipole eld.
2. The charge to mass ratio of the measuring instrument could be controlled.
Therefore, Bohr and Rosenfeld came to the conclusion that the measurement of any component of the electromagnetic eld could be carried out
with arbitrarily high precision in spite of the quantum restrictions.
These saving features are not present in the gravitational case. Whether one takes the measuring instrument heavy or light its perturbing eect
will be roughly the same (proportional to p). Therefore ROSENFELD
agreed with Salecker that there will be a fundamental limitation on the
accuracy with which one can measure the gravitational eld, although he
could give no numerical estimate of this limitation.
WHEELER suggested that perhaps one should simply forget about the
measurement problem and proceed with other aspects of theory. The
history of electrodynamics shows that it is always a ticklish business to
conclude too early that there are certain limitations on a measurement.
He would propose rather to emphasize the organic unity of nature, to develop the theory (i.e., quantum gravidynamics) rst and then to return
later to the measurement problem. He suggested that this was particularly appropriate when we dont even understand too much about the
classical measurement process! We dont know yet exactly what it is that
one should measure on two space-like surfaces, i.e. the specication of the
initial value problem.
He then went on to imagine what sort of ideas scientists might come
up with if they were put under torture to develop a theory that would
explain all the elementary particles and their interactions solely in terms
of gravitation and electromagnetism alone! He rst took a look a magnitudes and dimensions. In the Feynman quantization method one must
180
sum over histories an amplitude which, in the combined electromagneticgravitational case has roughly the form
[
]
)
 (
i
c4
g 2 4
2 4
exp
E d x+
d x .
h c
G
x
Therefore if one is making measurements in a space-time region of volume
L4 , contributions to this sum will be more or less in phase until variations in
the electromagnetic and gravitational eld amplitudes from their classical
values become as large as
h G
h c
1033 cm
3
E  2 , g  c 
.
L
L
L
These represent the quantum uctuations of the electromagnetic and gravitational elds. In the gravitational case, owing to the nonlinearity of the
eld equations truly new eects come into play at distances as small as
1033 cm where g becomes of the order of unity. WHEELER envisages
a foam-like structure for the vacuum, arising from these uctuations of
the metric. He compared our observation of the vacuum with the view of
an aviator ying over the ocean. At high altitudes the ocean looks smooth,
but begins to show roughness as the aviator descends. In the ease of the
vacuum, WHEELER believes that if we look at it on a suciently small
scale it may even change its topological connectedness, thus:
Figure 19.2
181
Figure 19.3
WHEELER pointed out another way in which a dimension of the order of 1033 cm could be arrived at, by considering only the uctuations in
the electromagnetic eld. A uctuation of amount E would correspond to
an energy uctuation of amount E 2 L3 = h c/L in a region of dimension L.
The gravitational energy produced in this region by this uctuation would
be of the order of G(
hc/L)2 /c4 L = h 2 G/c2 L3 . The two energies become
comparable when L = h G/c3  1033 cm. In WHEELERs dream of the
tortured scientists the wormholes may serve as sources or sinks of electric
lines of force, no charge being actually involved since the lines of force may
pass continuously through the wormholes. A surface integral of the lines
of force 
over a region of dimension L would yield a value of the order of
EL2 = h c which would represent a rough average of the apparent charge
associated with each wormhole. No quantization of charge is implied here.
In fact the wormholes themselves have nothing directly to do with elementary particles. WHEELER envisaged an elementary particle as a vast
structure (1013 cm) compared to a wormhole. However, he left open the
possibility that elementary particles might somehow be constructed out
of wormholes. He compared the wormholes to undressed particles, their
continual formation corresponding to pair production which is going on in
the vacuum at all times. The electromagnetic
 mass associated with each
wormhole is of the order of E 2 L3 /c2 = ch/G = 105 g, but this huge
mass is almost entirely compensated by an equivalent amount of negative
gravitational energy.
(Editors Note: No one at the conference thought to ask Wheeler why
wormholes corresponding to magnetic poles would not be just as likely to
occur as those corresponding to charges.)
182
183
WEBER wondered how one could get some quantities possessing spin and
others which are spinless out of such a picture.
As for elementary particles without elementary particles, WHEELER suggested that one must rst study the vacuum. The vacuum is in
such turmoil, according to his picture, that it would be foolish to study
elementary particles without rst trying to understand the vacuum. He
drew the following schematic dispersion curve for a wave disturbance (e.g.,
a photon or a graviton) propagating through the vacuum:
Figure 19.4
Over a tremendous range the wave satises the simple relation  = ck.
When the wavelength becomes of the order of the size of the universe (
1028 cm), however, the phase velocity is greater than c, as has been shown
long ago by Schrdinger (Papal Acad.). On the other hand, when the
wavelength becomes of the order of 1033 cm the disturbance will be slowed
down by the foam-like structure of the vacuum (and also by having always
to climb over the metric bump which it is itself continuously creating due to
184
185
Chapter 20
The Three-Field Problem
F. J. Belinfante
F. J. BELINFANTE opened with an examination of the three-eld problem: gravitational and electromagnetic elds plus the Dirac electron eld.
He considered rst the classical theory, dened by him as the limit of
the quantum theory as h  0 so that gravitational and electromagnetic
elds commute and spinor elds purely anticommute. The notational developments which he then proceeded to outline go something like this:
He denes a modernized Poisson bracket (A, B ) = (1)uA uB +1 (B , A)
with u = 1 for Fermi-Dirac elds and u = 0 for Bose-Einstein elds. He
also distinguishes  p f / q = (d f )(dq)1 and  A f / q = (dq)1 (d f ), which
is a renement necessitated by factor ordering diculties.
(x) = h( ) (x) ( ) .
p L/ ,0
p L/ ,0
arising from redundancy in the variables used to describe the spinor eld.
1 Can.
188
One nds
= P,ss + ie ( ) h0( )
( )
1
d 3 x d 3 x (A, i )ci (x , x )( , B )
2
1
+ (1)uA uB d 3 x (B ,  )c i (x , x )(i , A)
2
with
and
One sets
c i (x , x) (i , )
d 3 x ci (x , x )c k (x , x ) = ki 3 (x  x ).
AB  (1)uA uB B A = ihc(A, B )modif .
 AF
F,O  (F, H0 )modif + Oi
 pi
| {z }
where the symbol |{z} means place the Oi factor where pi is taken out.
The Oi factor is given by
i
 Gi
Oi  ,O
where the  i  pi   p L0 / qi,O .
( p )
 pL
 L0
G =
.
 qi
 qi, ,
i
189
Also
H0 
(pi qi,O  L0 )d 3 x
(i  i +   + O2 + H)d 3 x
the  i and  being certain coecients and H a function of the ps, qs,
and their space derivatives only. O2 is quadratic in the  . The constraint
expressions  and  hereare meant as functions of the q and p and therefore
are expressions in the  partially linear in them. (Note that the constraints
are identities when expressed in terms of q and  L0 / q,O , but through the
 vanish only weakly when expressed in the q and p as we do.) If one
works only with modied Poissonbrackets the i may be set to zero, and
then
F,O =
]
[F, H]modif + (F, i )modif i d 3 x.
pi = i +
 p L0
 qi,O
190
L0 in terms of the q and q, from the beginning makes it possible to quantize without ever mentioning modied Poisson brackets.
BELINFANTE pointed out that in its present form his theory seems
to be incovariant. This is related to the fact that the Oi do not vanish
in the strict sense. (They only vanish weakly, in Diracs terminology.)
However he proposed simply to bypass this problem for the time being,
and, for the sake of being able to make practical computations, pass over
to what he calls a muddied theory, i.e., a theory obtained by throwing
in mud. In electrodynamics this is just Fermis procedure of adding a
non-gauge invariant quantity to the Lagrangian. The rst-class constraints
then disappear and one must replace them by auxiliary conditions (e.g. the
Lorentz condition). There is a certain arbitrariness here, since the forms
of the auxiliary conditions depend on the precise form of the mud which
has been thrown in. However, if the qs
 are replaced by their expressions in
terms of the ps then the auxiliary conditions must reduce to the original
constraints. BELINFANTE has made certain special choices for these
conditions (e.g., De Donder condition), based on convenience, and he hopes
he can then do meaningful practical calculations, just as the Fermi theory
was long used for practical calculations in electrodynamics before all the
mathematical subtleties of various constraints were precisely understood.
BELINFANTE has shown by explicit computation that the constraints of
his muddied theory are conserved, and has calculated explicitly the
q(p).
191
tudinal parts). This is rather dicult, particularly when spinor elds are
present. But there is also a more serious problem, connected with the  constraints (above). True observables have been dened by Bergmann
and Goldberg as those which commute with the rst-class constraints as
well as with the canonical conjugates to the rst-class constraints. BELINFANTE prefers to call them true variables. If the constraints are
only linear in the momenta it is not dicult to nd the true variables.
However, the constraint 0 involves the quantity H which is quadratic in
the momenta, being essentially the energy density of the combined elds.
This means that the only true variables which will be easy to nd are
the constants of the motion. (Since 0 diers from H by a divergence one
might at rst sight conclude, by integrating 0 over all space, that the
total energy must always be zero. However, the surface integrals cannot
be ignored here  Ed.)
BELINFANTE concluded by suggesting that a theory in which only
true variables appear may be mathematically nice but somewhat impractical. From the point of view of a scattering calculation, for example,
there may be some truth even in an almost true untrue variable. In any
event the true theory still eludes us at present.
Following BELINFANTEs remarks, there was considerable discussion
as to whether or not all true observables are necessarily constants of the
motion in a generally covariant theory. No progress was made on this
question, however, and the answer is still up in the air as of this moment.
NEWMAN next reported on some work he has been doing to try
to obtain the true observables by an approximation procedure. Instead
of dealing directly with the gravitational eld he considered a particle
Lagrangian of the form
1
L = gi j qi q j + ai qi  v (i, j = 1, ..., n)
2
for which the equations of motion are nonlinear but invariant under a
transformation group analogous to the gauge group of electrodynamics or
the coordinate transformation group of general relativity. The gravitational eld is embraced by this example when n becomes transnite. In a
linear theory the true observables are easy to nd. In NEWMANs approximation procedure the search for the next higher order terms (with respect
to some expansion parameter) in the true observables is no worse than
nding the exact expression in the linear case, and can actually be carried
out, even when some of the constraints are quadratic in the momenta. In
the case of the gravitational eld the true observables evidently become
192
more and more nonlocal (i.e., involving higher order multiple integrals) at
each higher level of approximation. NEWMAN could say nothing about
the convergence of his expansion procedure.
BERGMANN remarked that NEWMANs procedure was quite dierent
from the more common dierential-geometric approach which is specically tailored to the gravitational case. He mentioned in this connection
the work of Komar and Ghniau on metric invariants constructed out of
the curvature tensor. It is thought that these invariants have some close
connection with the true observables.
MISNER advocated at this point that one simply forget about the true observables, at least as far as quantization is concerned. He suggested starting with a metricless, eld-less space, dened simply in terms of quadruples
of real numbers, then performing certain formal mathematical operations
and nding the true observables later, if one desires them.
SCHILLER outlined still another way of looking at the problem of nding
the true observables: The eld equations of Einstein are not of the CauchyKowalewski type. That is, the metric eld variables and their time derivatives cannot all be specied on an initial space-like surface. However, Einsteins equations can be replaced by a Cauchy-Kowalewski set provided one
imposes coordinate conditions. A standard canonical formalism can then
be set up in which the coordinates and momenta are expressed as functions
of 2n constants of the motion c and the time t : qi = qi (c,t) pi = pi (c,t) (n is
transnite). In the canonical formalism the coordinate conditions take the
form Z (p,  ,t) = 0 for certain functions Z . These three sets of equations
can then (in principle) be solved to eliminate some of the constants c from
the theory. The remaining constants, when, reexpressed as functions of
the ps, qs and t, will be the true observables. This, of course, assumes
that the true observables are constants of the motion.
WHEELER remarked that all of these discussions lead to the conclusion
that the problems we face are problems of the classical theory.
BERGMANN agreed, and expressed his conviction that once the classical
problems are solved, quantization would be a walk.
WHEELER, however, still felt that in the Feynman quantization procedure
the whole problem is already solved in advance.
GOLDBERG and ANDERSON concluded the afternoon session with a
discussion of Schwinger quantization, that is, the procedure which uses
193
Chapter 21
Quantum Gravidynamics
Bryce DeWitt
DE WITT opened the session by expressing the hope that one would soon
be able to compute something in quantum gravidynamics. He felt that
formal matters should be settled as soon as possible so that one could
get down to physics. One of the most pressing problems to his mind was
the question of what measure to use in the quantization of a non-linear
theory, particularly in quantization by the Feynman method. In previous
conversations with other conferees he had become aware of some dierences
of opinion on this point. In his view the appropriate measure or metric
was in every case (including that of the gravitational eld) already given
by the Lagrangian of the system. As an illustration he considered a system
described by a Lagrangian function of the form
1
L = gi j qi q j ,
2
where the gi j may be functions of the qs and the indices i, j run from 1
to n. The fact that n may be nondenumerably innite is ignored. For an
actual system the Lagrangian may possess other terms, but the essential
diculties are contained in the term considered. Inclusion of the other
terms modies the following discussion in no essential way.
If (gi j ) is a nonsingular matrix with inverse given by (gi j ) then the
system possesses a Hamiltonian function given by
1
H = gi j pi p j ,
2
and the action
S(q ,t  |q ,t  ) =
satises the Hamilton-Jacobi equations
 q ,t 
q ,t 
L dt
198
 S 1 i j   S  S
+ g (q )  i  j = 0,
 t  2
q q
S 1
S S
  + gi j (q )  i  j = 0.
t
2
q q
According to DE WITT, the structure gi j , which is already contained in
the Lagrangian to be taken as the metric for the space of the qs and
provides the appropriate measure for a Feynman summation. Following
Pauli1 one may introduce a classical kernel of the form
,t |q ,t )
where g  |gi j |, and where the quantity D is a determinant originally introduced by Van Vleck in an attempt to extend the WKB method to systems
in more than one dimension.2
D  |D ji | ,
D ji
 2S
 q j  q i
S
[Dgi j (q )  j ] = 0
 +
q
t
1 Feldquantisierung,
199
 H  )q ,t  |q ,t  c
 t 
h 2
= g 1/4 D1/2 g i j (g1/4 D1/2 ).i j q ,t  |q ,t  c
2
(ih   H  )q ,t  |q ,t  c
t
h 2
= g 1/4 D1/2 gi j (g 1/4 D1/2 ).i j q ,t  |q ,t  c
2
(ih
h 2 i j
h 2 1/2 
1/2 i j  
g
(g
g
)
g .i j .
2
 qi
qj
2
DE WITT pointed out that if it were not for a certain peculiar phenomenon
which occurs when the space of the qs is curved, the operator H could
immediately be regarded as the Hamiltonian operator for the quantized
system. In order to discuss this phenomenon some further development is
necessary:
If one recalls that the classical action denes a canonical transformation by the equations
pi =
S
,
 q i
pi =
S
 q i
then one easily sees that the Van Vleck determinant is just the Jacobian
involved in transforming from a specication of the classical path by means
of the variables q i , q i , to a specication in terms of initial variables q i , pi .
From the Hamilton-Jacobi equations one sees furthermore that the action
may be expressed in the form
S=
t   t   i j   t   t   i j  
g pi p j =
g pi p j .
2
2
200
lim
t t
= (2 ih)
1/2
lim D
t t
 n/2
= lim (t   t )
t t
(q ,t |q ,t ) f (q )
i t  t  g i j p p
i j
2
e h
d p1 ...d pn
D1/2 (q ,t |q ,t )g1/2 (q ) f (q ).
In order to evaluate this last expression one must evaluate the Van
Vleck determinant. This is easily done by expanding the action about the
point substituting it in the Hamilton-Jacobi equation. One nds, after a
straightforward computation,
S(q ,t  |q ,t  )
1
1
=   { gi j (q i  q i )(q j  q j )
t t 2
1
+ (gi j,k + g jk,i + gki, j )(q i  q i )(q j  q j )(q k  q k )
12
1
+ [gi j,kl + gik,l j + gil, jk + gkl,i j + gl j,ik + g jk,il
72
 g mn ([i j, m] [kl, n] + [ik, m] [l j, n] + [il, m] [ jk, n] )]
 (q i  q i )(q j  q j )(q k  q k )(q l  q l ) + O(q  q )5 }
D(q ,t |q ,t )
= 
=
where
 2 S 
 q j  q i 
g 1/2 g 1/2
1
[1 + Ri j (q i  q i )(q j  q j ) + O(q  q )3 ]
n
(t  t )
6
201
1
[i j, k] = (gik, j + g jk,i  gi j,k )
2
Ri j = gkl Rik jl
1
Rik jl = (gi j,kl  gil,k j )  gk j,il + gkl,i j )
2
+ gmn ([i j, m][kl, n]  [k j, m][il, n]),
commas followed by indices denoting dierentiation with respect to the
qs. Here a convention has been chosen so that the scalar R = gi j Ri j is
positive for a space of positive curvature.
Using the nal expression for the Van Vleck determinant one infers
lim q ,t  |q ,t  c =  (q , q )
t t
and
lim
h 2
R,
12
 H+ ) = q ,t  |q ,t  + = 0
 t 
202
q ,t|q ,t+ = (q , q )
for all t.
q ,t |q ,t + =
q ,t |q ,t + d n q q ,t |q ,t +
q ,t |q ,t + = lim
N
t0
d n q(1)
203
=(2
  ih) 2
n
=(2
  ih) 2
n
1 
1 + 12
Ri j (q i  q i )(q j  q j )
(t   t  )n/2
1  i j   
1 + 12
R pi p j (t  t  )2
(t t )n/2
e h S(q
e h S(q
,t |q ,t )
,t |q ,t )
ih  
1 + 12
R (t  t  )2 i S(q ,t  |q ,t  )
e h
(t   t  )n/2
since
lim [2 ih(t   t  )]n/2 (t   t  )
t t
= lim
t t
t   t 
2 ih
)n/2
f (q )pi pj e h S d n q
i
(t t )g1/2 (q ) f (q )
i t  t  g i j p p
i j
2
pi pj e h
d p1 . . . d pn
= ihgi j (q ) f (q ) ,
and therefore
q ,t  |q ,t  c =[2
  ih(t   t  )]n/2 e h S (q
i
,t |q ,t )
where S is the action function for the system with classical Hamiltonian
function
1
h 2
H  gi j pi p j  R, satisfying
2
12
S (q ,t  |q ,t  ) = S(q ,t  |q ,t  ) +
h 2   
R (t  t ) + O[(q  q )(t   t  )].
12
= lim
N
t0
i
[2 ih(t (1)  t  )]n/2 exp [S (q ,t  |q(N) ,t (N) ) +   
h
+ S (q(2) ,t (2) |q(1) ,t (1) ) + S (q(1) ,t (1) |q ,t  )]
204
 q ,t 
q ,t 
[q] exp
)
(  t 
1
L_ dt
h t 
 H++
)q ,t  |q ,t  ++ = 0
 t 
where
h
H++
= H + R.
6
On the other hand, in order to generate the transformation function
q ,t  |q ,t   satisfying
(ih
 H  )q ,t  |q ,t   = 0
 t 
205
one must use in the Feynman summation the action for a classical system
possessing the Lagrangian function
1
h
L = gi j qi q j + R
2
6
and Hamiltonian function
1
h
H = gi j pi p j  R.
2
6
FEYNMAN remarked that quantization of a system like L = 21 gi j qi q j is
necessarily ambiguous when the space is curved. One must rst imbed
the space in higher dimensional space which is at, since only in spaces
which are at (at least to a very high degree of approximation) do we have
experiments to guide us to the appropriate form of the quantum theory.
The original space must then be conceived of as the limiting form of a thin
shell, the particle which moves in the original space being constrained
to the shell by a very steep potential. But then the Schrdinger equation
for the particle will depend on the precise manner in which the thickness
of the shell tends to zero, and this is arbitrary.
DE WITT agreed, but pointed out that the manner in which the thickness of the shell tends to zero can be described by the addition of a simple
potential-like term to the Lagrangian function appearing in the Feynman formulation. To illustrate this he considered the case of a particle
constrained to move on the surface of an ellipsoid. He rst took for the
constraining shell the region between two confocal ellipsoids:
Figure 21.1
In order to eliminate, right at the start, the degree of freedom transverse to the shell - which must have no reality in the end, anyway - one
may suppose that the wave function has a simple node on each ellipsoid
and none in between (i. e., transverse ground state). Since we know that
confocal ellipsoids form a separable system for Schrdinger equation, we
206
may immediately factor out the transverse part of the wave function and
at the same time subtract a constant term proportional to (x)2 from the
energy, where x denotes the thickness of the shell at some point. The remaining part of the wave function then satises the Schrdinger equation
with the simple operator H appropriate to an ellipsoid. This corresponds
to a Feynman formulation using the classical Lagrangian L , for which
the classical paths are attracted to the region of greatest positive curvature,
2
the attraction being described by a potential  h6 R. In the present case
the region of greatest positive curvature is the nose of the ellipsoid and
here the shell is thinnest. The three-dimensional wave function undergoes
a crowding at this point. Since the transverse part of the wave function
is constant, this crowding must be borne by the active two-dimensional
part. The tendency of the amplitude to increase in the nose region is describable in classical terms as an attraction. A wave packet would actually
display the eect of this attraction.
The Feynman formulation which starts with the classical Lagrangian
L, on the other hand, corresponds to the use of a shell of uniform thickness:
Figure 21.2
All points of the limiting ellipsoid are here weighted equally. DE
WITT conjectured that the use of any other shells of varying thickness
would quite generally be describable in terms of additions to the classical
Lagrangian of potentials proportional to h 2 .
(Editors Note: - DE WITTs argument is not entirely rigorous. He, of
course, avoided discussion of a spherical shell since the curvature is then
constant and has only the eect of uniformly shifting all energy levels.
However, there is a diculty for ellipsoidal systems in that the separation
constants are not themselves separable, and hence the transverse part of
the wave function is not rigorously factorable for arbitrary behavior of the
non-transverse part. It may, however, be approximately factorable when
the shell is thin.
207
Attention should also be called to the fact that the behavior of wave
packets is not described by the Lagrangian appearing in the Feynman
formulation but by the Lagrangian of the Pauli formulation, which is halfway between that of Feynman and the corresponding quantum form. Thus,
when Feynman uses L, Pauli uses L+ to obtain the same quantum theory.
Or when Feynman uses L , Pauli uses L . It is the Van Vleck determinant
of the Pauli formulation which gives the key to the motion of wave packets,
through its conservation law. Remembering that qi = gi j p j , one may write
that conservation law in the form
+ i (Dq i ) = 0.
t
d
If a wave packet is replaced by an ensemble of classical particles then D
gives a measure of the density of these particles at any time and place.)
WHEELER remarked that it had been suggested that an experimental
determination of the Lagrangian to be used in the Feynman formulation
in curved spaces might be achieved through observations on molecules
which have ags on them - for example ethyl alcohol:
Figure 21.3
If some of the bonds are regarded as rigid (e.g., at room temperature)
then the Lagrangian for such a molecule contains a metric corresponding
to a space which is not at. However, WHEELER pointed out that this
system, in the last analysis, has its existence in a at space - that the
rigidity of the bonds is an idealization, and that, in fact, the binding forces
themselves provide the specication of the shell on which this system is
constrained to move. Hence such a system could tell us nothing about
208
t t
1/4
1
g = ih[ i + (ln g),i ]
i
q
q
4
2
209
 F  (A + B i qi + C i j qi q j )  + D  
2
where the A , B i , C i j , D are functions of the qs only. DE WITT
assumed that C i j  0, as this simplies the analysis in certain respects.
This assumption is actually incorrect for the gravitational eld, but is
not expected to alter the main qualitative features of the analysis. (It
will be discussed more fully at a later point.) By performing a gauge
transformation on the Lagrangian and making a comparison with  F one
nds that the following identities must be satised:
210
A  v,i i + ai i
B i  ai j i
D  ai i
gi j j  0
gi j j k  0
[i j, k] k  0
[i j, l] l k + [ jk, l] l i + [ki, l] l j  0
fi j j  gi j j
fik k j + f jk k i  gi j,k k + gik k , j + g jk k ,i
fi j j  (v, j j ),i  v, j j i
v,i i  0
fi j i j  0
gik (k , j j  k , j j )  0.
DE WITT called these identities of invariance.
It is the identity gi j j  0 which shows that (gi j ) must be a singular
matrix in a gauge invariant theory. This has the consequence that the
momenta of the Hamiltonian formalism are not all independent. It also
has the consequence that the initial conditions on the motion must be
subject to constraints
in order that the motion actually be able to make
i gi j q j + v,i i = 0.
These will constitute the complete set of constraints if their time derivatives to all orders vanish solely as a consequence of the equations of motion.
If the time derivatives do not automatically vanish they must be made to
vanish by adding extra constraints, whose time derivatives, in turn, must
be made to vanish, etc.
211
i j i S j
i , j j i , j j i t
i , j j i , j j i S j j i u
2 1 qi 1 2 qi (pi + i j q j )1 2 + i 1 2
2 1 F  1 2 F  (A + B i )1 2  + D 1 2 
where
1 
1 2   r (1  2   2  1  )
2
1 
+ (S j j S k  S j j S k )qk (1  2   2  1  )
2
   2  1 
)
+ S  j (1  2 
j 
+ 2 1   1 2 
only if
i , j j i , j j i r
212
ti , j j ti , j j ti S j j + i S j j 0
S j,k S k, j S j S k + S k S j 0
i , j j  i , j j  i S j j + i S j j  i v
i , j j  i , j j  i S j j + i S j j  i v
fi j i j + v,i i v 0
S i  v  S i  v S i  0
v ,i + v
r  S i i  S i i + v .
DE WITT called these identities of integrability. It will be observed that
they lead to the identications
t S i i S i i
u  r  S j j .
DE WITT then went on to remark that the above three groups of identities comprise all the identities that are available, or needed, for the study
of the dynamical behavior of the system under consideration, and he called
attention to the fact that they are obtained entirely within the framework
of the classical theory. In developing the Hamiltonian formulation for the
system DE WITT followed the method of Dirac3 which distinguishes bew
s
tween weak equations (=) and strong equations (=). Equations of motion
and constraints (reduced to their lowest order) are weak equations. Equations of identity () are strong equations. Also, the product of two weakly
vanishing functions is strongly equal to zero.
The canonical momenta for the system are
w
pi =
3 Can.
L
 gi j q j + ai .
 qi
213
 = 0
  (pi  ai )i .
Completing the set of vectors i through the introduction of a set of in
dependent vectors i , and introducing also inverses i , i satisfying
i
i
i
  j +   j =  j , one may write the energy function in the form
E  pi qi  L
1
1
s
= pi qi  gi j qi q j  ai qi + v + gi j (pi  ai  gik qk )(p j  a j  g jl ql )
2
2
 i
 H +  i q
where
1
H  gi j (pi  ai )(p j  a j ) + v
2
ij
g  i j g , g g    , g  gi j i j .
The nal expression for the energy function provides an illustration of
Diracs theorem to the eect that the energy is always strongly equal to a
function H of the qs and ps, which may be called the Hamiltonian function, plus a linear combination of the s with coecients which depend
on the velocities qi . In a theory without constraints the energy is identical
with the Hamiltonian function. When constraints are present the two are
only weakly equal.
If the coecients multiplying the s are completely undetermined by
the equations of motion, and hence completely arbitrary, the s are said
to be of the rst class. This point always requires special investigation.
Using the equations of motion together with the constraints one may easily
verify that the time rate of change of any function F of the qs and ps is
given by
w
F = (F, H) + (F,  )i qi
214
( , H) + ( , )i qi .
Since the s vanish their time derivatives must also vanish. This will
happen automatically if the Poisson brackets ( , H) and ( ,  ) vanish,
at least weakly. If these Poisson brackets do not all vanish then the i qi
cannot all be completely arbitrary and the qi will be subject to additional
constraints.
Using the relation gik   ji  i  j together with identities of invariance,
one nds, after a straightforward computation,
( , H)   [( j,k  k, j )k gi j (pi  ai ) + i i ]   = 0
where
w
  (pi  ai )i + v,i i = 0.
The latter equations are simply the velocity constraints reexpressed in
terms of the momenta. The -equations, existing only in the canonical formalism, are sometimes known as primary constraints. The  -equations,
which follow from them, are then called secondary constraints. The  s
as well as the s must have vanishing time derivatives. This leads one to
investigate also the Poisson brackets ( , H), ( ,  ).
Using only the identities of invariance and completeness one nds
( , ) t = 0
( , H) (i,k k + k k ,i k k S i )gi j (p j a j )
+ S i gi j (p j a j ) = 0
( ,  )   u +  S j j = 0.
The vanishing (in the weak sense) of all these Poisson brackets means
that there exist no further constraints and the s are all of the rst
class. There still remains, however, one further Poisson bracket which
it is necessary to examine, namely ( ,  ). Dirac has shown (op. cit.)
that if this Poisson bracket does not vanish (at least weakly) then some
of the canonical variables may be eliminated from the theory through
the introduction of a new type of bracket, a modication of the ordinary
215
Poisson bracket, which DE WITT has called the Dirac bracket. It is the
Dirac bracket which corresponds to the commutator (or anticommutator)
in the quantum form of the theory.
In the evaluation of ( ,  ) identities of integrability are needed for
the rst time. One nds
( ,  )   r = 0.
Evidently Dirac brackets are here the same as ordinary Poisson brackets.
Under these circumstances the  s are said to be of the rst class. It is
characteristic of any theory in which the constraints arise as a result of a
gauge invariance principle that all of the s and  s are of the rst class.
DE WITT called attention to the fact that up to this point not all
of the identities of integrability have been used. The classical theory,
which is completed at this point, can in fact get along without the unused
identities. In the quantum theory, however, the unused identities turn out
to be crucial.
DE WITT rst considered the  and  equations, which, in the quantum theory, are to be regarded as supplementary conditions on the state
vector  of the system:
  = 0 ,   = 0.
Since the classical expressions for the  and  involve quantities which,
in the quantum theory, do not commute, the factor ordering problem here
makes its appearance. According to DE WITT the quantum analogs of
 and  should be taken as
1
1 
 = {pi  ai , i } + ihS i i
2
2
1
1 
i
 = {pi  ai ,  } + v,i i + ihS i i
2
2
where { } denotes the anticommutator bracket. With the aid of the previously unused identities of integrability one may then show that
216
[ , ] = ih t
[ , ] = ih u + ih S i i
[ ,  ] = ih r 
where [ ] = ih ( ) denotes the commutator bracket and where the ordering
of factors on the right is now important. Since the ps and  s all stand
to the extreme right the corollaries
[ ,  ] = 0 , [ ,  ] = 0 , [ ,  ] = 0
of the supplementary conditions are automatically satised. DE WITT
pointed out that the appropriate quantum analog of a classical quantity
may have one or more terms in it (such as the 12 ihS i i above) which
are proportional to h or powers of h , and which do not appear in the
corresponding classical expression (since h  0).
Similar considerations are involved in nding the quantum analog of
the function H. It is convenient to return for a moment to the classical
theory: Since the s and  s are all of the rst class, the quantities i qi
 are completely arbitrary.
appearing in the dynamical equation (i.e., for F)
One is at liberty to set them equal to arbitrary functions f  of the qs and
ps through the addition of extra supplementary conditions:
i qi = f  .
w
217
= 0 ,
= 0
 (t) = e h Ht  = e h Ht  .
i
218
k g + k k  j
matrix multiplication as indicated, where h , k (= k  ) are arbitrary
functions of the qs. However, h is assumed to have an inverse h
which is used to raise the indices  ,  ,  , etc., while g is used to raise
the indices  ,  ,  , etc. (gi j ) will then have an inverse given by
[
][ ]
[ i i ] h + k k k j
ij
(g ) =  
k 
g
j
and a determinant given by
g =  2 hg
where  = |i i | , h = |h | , g = |g |. The metric gi j may be used to
make a special choice for the function H, namely
1
H  gi j (pi  ai )(p j  a j ) + v
2
corresponding to the choice
f   2i k  (pi  ai ) + (h + k  k ) .
The equations of motion generated by this Hamiltonian may be derived
from a Lagrangian function of the form
1
L  gi j qi q j + ai qi  v.
2
The quantum theory generated by this Lagrangian function is not identical with that which has been developed here, but becomes so upon the
addition of the equations (i qi  f  )Q  = 0 as supplementary conditions.
This is a standard procedure in quantum electrodynamics in which these
supplementary conditions become the Lorentz conditions.
A choice of metric having been adopted, one may now express the
quantized momenta explicitly in the form
219
 1/4
g
 qi
pi = ihg1/4
 k  i S j
kj 
{ }
i
i  j  i , j +
 k  i S j .
kj 
i j
{i}
kj
i , j +
i = i X
i = i X
 ij = i j X + i X , j
   = X 1  
1  
 S i X
1 
v X X
   
S i = X
v = X
+X
1 
 X ,i
where the X are arbitrary functions of the qs, the matrix (X ) possess1
ing, however, an inverse (X  ). These transformations, which DE WITT
called X-transformations, leave all the identities of invariance, complete-
220
i = i X + i X
i = X 1 i X 1 X X
=X
1 
 i
1 
 i
where the X , X are also arbitrary functions of the qs, with (X ) pos1
h
= h X X
k  = k  X X + h  X X .
In order to show the invariance of the quantum theory under point,
phase, gauge, and X-transformations one does not actually have to use the
dierential representation of the momenta, convenient though it generally
is. For example, the point transformation law for the momenta is
{
}
1 qj
i
p =
, pj ,
2  q i
and, remembering that the indices i, j, etc., on the quantities gi j , gi j , i ,
i , pi , Si j , etc., are all tensor indices under point transformations, one
= X ,
= X .
221
pi = pi + P,i ,
or, if one is using the xed dierential representation for the momenta,
one places the burden of keeping the theory phase-invariant on the state
vector (or wave function) by the law
  = e h P  .
i
that the anity S i j satises the very important condition of being integrable. This means that one can carry out an X-transformation which will
X ,i = S i X .
The solubility of these equations is guaranteed by the identity of integra
 
 
bility S i, j  S j,i  S i S j + S j S i  0. After this transformation has been
carried out one has
i , j j  i , j j  0,
which implies that there exists a point transformation qi  q , q such
that
i =
 qi
.
 q
X =  , X = k , X =  ,
and letting the i be given by
i =
 qi
,
 q
222
= , = 0 , = 0 , =
g = h , g  = k  = 0 , g = g
g = hg .
Moreover, the identities of invariance and integrability take the forms
g = 0 , g  = g = 0
g , = 0
f = 0 , f  = g 
g , + g , + g , = 0
f = v, , f + f = v,
v, + v, = 0
, = v , , = 0
, , = v v + v
 ,    ,  =  v
 
f ( ) + f + v, v = 0
v , = 0 , v , = 0.
The identity f = 0 implies that a phase transformation (P, = a ) can
be carried out which makes a vanish. Assuming that it has already been
performed and noting that
1
1
i
 i =  , +  , + (ln g),  + (ln g), 
2
2
1
1
1
223
1
, + (ln h),  = 0
4 [
]
i
1 
1
 , +  (a   v, ) + v + (ln h),   = 0.
h
2
4
The rst supplementary condition has the important result that the
arbitrary quantities h can now be actually eliminated entirely from the
quantum theory, just as they are not needed in the classical theory. That
is, having carefully built up a superstructure around the metric gi j (or
g ), one then proceeds to throw it away. To do this one simply introduces
a new wave function
1 = h1/4 
satisfying
1, = 0
[
]
i
1 
 1, +  (a   v, ) + v 1 = 0.
h
2
This denition removes from the wave function that part of the metric
density which refers exclusively to the q , and corresponds to the use of
g1/2  dq as invariant volume element. The condition 1, = 0 means that
the new wave function does not depend on the variables q . The q are
non-observable or non-physical variables of the system. This was, in fact,
already true in the classical theory, since the q can be made to undergo
arbitrary changes by means of gauge transformations.
In the new representation g by itself provides a natural metric in
the reduced space of the q . To see how this works for the Hamiltonian
operator, one can multiply the Schrdinger equation
ih = H 
by h1/4 . Using the explicit form for H, one nds, after a straightforward
calculation,
1
1 
1
ih 1 =  h 2 g 1 + ih(a 1 + a 1 ) + ( a a +  + h 2 Z)1
2
2
2
224
where the dots now denote covariant dierentiation with respect to the
metric g , and where
1
 1/4
g .
 q
P,  = v,  a 
and at the same time satisfying
P, = 0
so as not to disturb the condition a = 0. The integrability of these equations is insured by the identities of invariance and integrability, as one
may verify by straightforward computation, showing that the expressions
 1, + v 1 = 0.
2
225
v v  + v  v + v v
= 0.
that the group generated by the  is also Abelian (so that v = 0) and
furthermore that the vectors i are linearly independent of the i and
of each other. In this case, when S i = 0, one may carry out a point
i
A
transformation q  q , q , q such that
i =
 qi
 qi
, i  =   .
q
q
226
= , = 0 ,
= 0 ,
A = 0 ,
= , A = 0 ,
g , = 0 ,
g A, = 0 ,
gAB, = 0
g    ,  = 0 , g  A ,  = 0 , gAB,  = 0
f = 0 ,
f = 0
g    f   = v,
g  A = fA
fA  = v, A
v,  = 0.
If the phase is adjusted so that
a = 0 and a  = v,
then one also has
g  A = aA,
aA,  = a  ,A  fA  = v, A  v, A = 0.
Moreover, the supplementary conditions become
1, = 0 , 1, = 0
The quantity v is seen to be independent of the q and to have a dependence on the q which is no more than quadratic (since v,  = g    , = 0).
One may choose the origin of the unobservable coordinates q in such a
way that
1
v = w q q + u
2
227
the elimination of the q from the theory, a natural metric gAB for the
reduced space of the qA must be introduced. DE WITT showed that it
must be dened in the following manner:
[
g   
gA 
[ 
g
gA
]
] [
w
bB
g  
=
gAB
bA gAB  bA w bB
]
[
w + w bC gCD bD w 
g B
=
gAC bC w
gAB
w bC gCB
gAB
2 = w1/4 1 .
gA a  = gAC (aC  bC )
 
228
pA = ihg1/4 A g1/4 .
2, = 0 ,
2, = 0.
  ,  q =   ,  qA = 0
 q =  
and hence
 H = 0 ,  2 = 0.
There remains only the term h 2 Z which is unknown. However this
term, as Feynman pointed out previously, depends on how the system is
constrained to a shell which passes over to the space of the qA in the
limit, and this is arbitrary.
229
may be used to compute the action, provided the variables q are made
to vary in time in such a way as to satisfy the velocity constraints which
in present notation, become
g    q + g  A qA + v, = 0
or
q = q  w bA qA .
For the Lagrangian function then becomes
1
1
L = gAB qA qB + g  A q qA + g    q q + aA qA + a  q  v
2
2
1
= gAB qA qB + bA qA  u
2
which is precisely the form which gives rise to the Hamiltonian H. One
may therefore express the transformation function in the symbolic form
q A ,t  |q A ,t   =
 q A ,t 
q A ,t 
[qA ] exp(
i
h
 t 
t
L dt)
,q
,t |q
, q ,t =
q ,q A ,t
q ,q A ,t
i
 [q , q ] exp(
h
 t 
t
L dt)
230
which connects the values of the wave function 1 at two dierent times.
2 (q A ,t  ) =
 1/4
=w
= w 1/4
1 (q
q A ,t  |q A ,t  g 1/2  dq A 2 (q A ,t  )
A
,t )
q A , q ,t |q A , a ,t g 1/2 dq A w 1/2 dq 1 (q A ,t )
which implies
q A ,t  |q A ,t   =
dq w 1/4 q A , q ,t |q A , q ,t w 1/4 .
 q A ,t 
q A ,t 
[qi ] exp(
i
h
 t 
t
L dt)
where N is a suitable innite normalization factor, the functional integration being now carried out over all paths for which qA = q A , q A at
t = t  , t  respectively (all possible end-point values for the variables q ,
q being included in the summation) each path being given a weight according to the measure dened by metric density g1/2 multiplied by the
231
232
L = ( A +  )2  (  A )2
2
2
and the equations of constraint appear as
  ( A +  ) = 0
so in terms of Atr , Alo ,  equations of constraint look like
A lo + = 0.
233
2 1
A tr  (  A )2 .
2
2
Thus the construction of the Feynman integral is then seen to be in
terms of Atr alone, and the measure is given uniquely by the Lagrangian in this case simply 1.
If one were to extend this line of reasoning to the gravitational case,
it is seen that one must look for a set of variables which have the property
that they do not appear in the constraint equations and thus are capable
of being given arbitrary initial and nal values. The Feynman integral
would then be over these variables and the measure would derive from the
Lagrangian expressed in terms of these variables. As yet this is only a
program of approach. However, one can see that it is possible to eliminate immediately as unphysical variables the g4 which corresponds in the
electromagnetic case to the scalar potentials. The elimination of the longitudinal part of the gravitational eld is of course a much more dicult
problem and has in no way been solved as yet, although it appears to be
the central problem to the quantization.
L=
234
(A(1) . . . Z(n)eiI A . . . Z
=
eiI  A . . .  Z
A(1) . . . Z(n)0 =
(21.1)
Here I is the action-functional for the elds (or eld) and all A(1)...Z stand
for the eld-functions in the n space-time points x1 ...xn . The integrals are
functional integrals over the functions in all space-time, performed after a
certain small imaginary term has been added to the action (as Burton and
DeBorde show, this picks out a vacuum state). An extended class of operators may be constructed as sums of time-ordered products TA0 (1)...Z0 (n).
To be general I shall in the following write F(A, ..., Z) instead of A(1)...Z(n)
in (21.1). F( ) is here a functional of the elds A, ..., Z.
In the usual Lorentz-gauge electrodynamics a vacuum propagator is
to be written as follows:
F(A, , )0 =
F(A , , )eiIL A ,
eiI A
(21.2)
A special device must here be used to obtain the wanted anticommuting properties of , 7
d 4 x(g
IL =
A A + i { eA } )
(21.3)
where g
is the Lorentz-metric and  the Dirac-matrices.
(21.2) is exactly the ordinary vacuum propagator of electrodynamics
if we restrict F( ) so that we have nothing but electrons and transversal
photons in the initial and nal states.8 F( ) may for instance have the
following form:
F(A ) = N(|k|)
t=t2
A 2 eik2 x d 3 x
t=t1
A 1 e+ik1 x d 3 x
(21.4)
235
.
(21.5)
 x
F( ) in (21.4) is invariant. We shall assume throughout that our Fs
have this property.
Let us now re-form (21.2)
A = A +
F0 =
F(A , , )eiIL A
eiIL A
 F(A ,  ,  )eiIL  A   
=
(21.6)
eiIL A
F(A ,  ,  )eiI  A   
( )
= det
F(A ,  ,  )eiI  A   
L L
(21.7)
I = IL +
0 0
d 4 xg
A A
(21.8)
( )
det L is the Jacobian of the transformation
from the  -th region to the
( )
Lorentz-region. In this case det L is 1 but we shall keep it in in spite of
that to be able to use the result later in gravitation theory.
236
)e
L
L
( )
F0 =
i(IL I) det
iI
L e  A     e
L
(21.9)
0 0
F0 =
iI
L F(A ,  ,  )e  A   
iI
L e  A   
(21.10)
)e
L
L
( )
F0 =
( L eiI  A    )  det
L
F(A
F0 =
, , )eiI A
(21.11)
iI
 e  A   
F(A , , )eiI A
eiI A
(21.12)
237
sense mentioned above9,10 (in the general case we call it extended gaugeinvariance). If in gravitation theory, for instance, F( ) is a functional
of the g only it must not change its form in the linear transformation
238
here, and in fact we see that it is of the correct type if we choose it in the
following form:
g(G 4 + t 4 )d 3 x.
(21.13)
case. To LAURENTs answer gRd 4 x - FEYNMAN raised the diculties brought in by the presence in R, of second derivatives.
BELINFANTE suggested that Laurent uses, in Feynmans sum over elds,
the action from the muddied theory, together with the determinant derived from the muddied theory. However, it was pointed out that Laurents proof of the equivalence of a true and a muddied treatment in
the electromagnetic case may not hold in the gravitational case, because
the determinant depends on the variables of integration.
FEYNMAN asked also what is the determinant in the path integral ex
pressed in terms of the variables proposed by Misner (the variables c
0
dened by the equation g  = c g c )? More precisely, what is the expression of the determinant which gives a value to the path integral independent of the mesh introduced for its denition? This question remained
unanswered but led to the discussion of the denition of Feynmans path
integral in a generally covariant theory. Originally, Feynmans path integral was dened in terms of a time slicing as each time interval goes to
zero. In the gravitational case, it is preferable not to single out the time,
and to redene Feynmans method accordingly.
WHEELER pointed out the various advantages of the latent variables
(such as A in electrodynamics) and of the true (or physical) variables
(such as Atr ). At present we have three schemes:
14 Burton
239
The whole art is working back and forth between latent and true variables.
It is important to show the equivalence of the various schemes and to
show the equivalence of the various slicings, but it is a task yet to be
accomplished.
BERGMANN summarized the session as follows: It appears that there
are two dierent methods of Feynman quantization - one principally represented by Bryce DeWitt and Jim Anderson, the other by Bertel Laurent
and Stan Deser, who is unfortunately not with us this morning. The dierence appears to be that one group wants to settle the question of covariant
measure in the function space rst and then integrate, whereas the other
group prefers to integrate rst and ask questions afterwards. To me as
an innocent bystander it appears that one group knows what they are doing but dont know how to do it, and the other group is able to proceed
immediately, but with some question as to the meaning of their results.
One word about why the two approaches appear to lead to mutually
consistent results in electrodynamics: in electrodynamics the components
of the metric tensor, that is the second derivative of the Lagrangian with
respect to the velocities, are constants. It appears natural that in such a
situation there should be no disagreement; but I feel very doubtful, without availability of further strong arguments, about anticipating a similar
agreement in general relativity, where the same coecients are complicated
functions of the eld variables.
I think it is obvious to all of us that the dierence between the two
approaches again amounts to an estimate of the relative importance of
true observables vs. all dynamical variables. Therefore, permit me to give
one more argument that indicates the probable importance of the true
observables, or dynamical variables as John Wheeler has called them. In
general relativity, it is sometimes useful, for reasons of convenience, to
introduce parameters and thus to upgrade the ordinary coordinates into
dynamical variables. Alternatively, it is sometimes desirable to introduce
the so-called vierbeine (quadruples). If you do that without eventually
going back to true observables, then you have a proliferation of variables
240
Chapter 22
The Possibility of Gravitational Quantization
244
was anything wrong with the argument that if it were possible to measure
all gravitational elds accurately, that one would have enough information
to violate the uncertainty principle. WHEELER answered that this was
Golds rst point. GOLD said that he wanted still to be convinced that
one gets into a contradiction by not quantizing the gravitational eld. DE
WITT said that that there is a conceptual problem here in that if the
matter elds are quantized, one must decide what to use as the source of
the gravitational eld. If our experiments lead us to believe that the gravitational eld is produced by what one may call the expectation value of
the stress-energy tensor, there is still a diculty because the expectation
value depends on the measurements we make on the system. After the
system has been prepared in a denite state, a measurement can change
the expectation value and so the gravitational eld suddenly changes because of a measurement performed on the system. Classical gravitation
theory works only because the experimental uctuations are so small on
the scale at which gravitational eects become noticeable.
FEYNMAN then proposed the following experiment.
-%..*/)0"&%'($
!"##$%&'"()*+%'',$)
Figure 22.1
If one works in space-time volume of the order of L3 in space and
in time, then the potentials are uncertain by an amount
g =
hG
c3 L2
L
c
245
and g = MG
is the potential produced by a mass M in the region L3 . An
Lc2
uncertainty in the potential is then equivalent to an uncertainty in the
measurement of M, and one gets M  105 grams. This means that if
the time of observation is restricted to be less than Lc , then the mass cant
be determined to better accuracy than this. Of course, if one is allowed
an innite time, M can be determined as accurately as one wants. If,
however, this is not possible because the particle must be allowed to pass
through the equipment, then unless the mass is at least of the order of 105 ,
the apparatus will be unable to discover the diculty (no contradiction).
One can conclude that either gravity must be quantized because a logical
diculty would arise if one did the experiment with a mass of order 104
grams, or else that quantum mechanics fails with masses as big as 105
grams.
UTIYAMA then presented a technique for quantizing the gravitational
eld using Guptas method. One of the most attractive points of Einsteins theory of general relativity seems to be that the fundamental tensor
g can be interpreted as a potential of the gravity on the one hand, and
as a metric tensor of the space-time world on the other hand. In trying
to quantize the gravitational eld, however, the metric interpretation of
g will cause some troubles, especially from the observational viewpoint.
Therefore, contrary to Einsteins original intention, the separation of this
geometrical concept from the interpretation of g seems convenient for
the quantization of the gravitational eld. Guptas [1] approach seems
adequate to this line of thought.
We have investigated the cancellation between contributions from
the electromagnetic and the gravitational interactions by using Guptas
method of quantization of the weak gravitational eld [2].
Under the assumption of the weak eld, we can put
g (x) =  + s , hk (x) = k + bk (x)
s = b + b  , a = b  b  ,
1 0 0 0
 0 1 0 0 
 = 
 0 0 1 0 =
0 0 0 1
where hk (k = 1, 2, 3, 4) is the so-called vierbeine. s(x) or b(x) is, in our
approximation, considered as a eld quantity in Minkowski-space, and the
246
S=
in
 n!
n=0
Chapter 23
The Necessity of Gravitational Quantization
248
MISNER said that one could get a quite good qualitative idea of what happens in curved space (the metric being externally impressed) by using the
Feynman prescription. Since the action is still quadratic in the interesting
eld variables, there is no diculty. In a spherical space there exist states
of excitation which do not scatter each other; but as soon as the space has
bumps in it photons in one state get scattered into other states. Hole
theory is possible if the metric is static; however, a time dependent metric
causes electrons to go to positive energy states.
BERGMANN pointed out that, on this account, one does not have to
exclude hole theory, because if the electrons get excited, there is occasional
pair production.
SALECKER introduced a thought experiment, involving a stream of particles falling on a diraction grating. On account of the de Broglie relation
h
for the waves associated with the stream,  = mv
, one expects that particles of dierent mass will scatter dierently if they fall from a given height.
According to general relativity, one expects the same behavior for dierent masses with the same initial state of motion. Therefore, we arrive at
a contradiction with the principle of equivalence.
Figure 23.1
FEYNMAN asked if the grating is here allowed to exert forces on the particles which are non-gravitational. DE WITT said that one needs rather
a grating (made, for example, out of planets) which acts only through its
gravitational eld on the stream. FEYNMAN then said that he did not
believe that the principle of equivalence denies the possibility of distinguishing between two dierent masses. Of course, the principle of equivalence would prevent one from distinguishing between masses by means of
this particular experiment if only classical laws were operative. However,
the introduction of Plancks constant into the scheme of things introduces
new possibilities, which are not necessarily in contradiction with the principle of equivalence. As far as this particular experiment is concerned,
249
all that the principle of equivalence would say would be that if one performs the experiment in an elevator, he will obtain the same result as in
a corresponding gravitational eld. FEYNMAN also emphasized that the
quantities G and c by themselves do not lead to a unit of mass, whereas
such a unit exists if h is included.
WHEELER pointed out that the principle of equivalence only denies the
possibility of distinguishing between the gravitational and inertial masses
of a single body, but denitely does not prevent one from distinguishing
the masses of two dierent bodies, even when only gravitational forces are
involved. For example, we know the relative sizes of the masses of the
sun and the various planets solely from observation of their gravitational
interactions. BERGMANN added that the principle of equivalence makes
a statement about local conditions only. Therefore you can do one of two
things: either (1) use a small diraction grating that is not gravitational,
or (2) use a diraction grating made of planets. In this case, the conditions
are certainly not local.
FEYNMAN characterized the point which Salecker had raised as an interesting point and a true point, but not necessarily a paradoxical one. If the
falling particles are not allowed to react back on the grating, then according to the classical theory they will all follow the same paths. Whereas,
in the quantum theory they will give rise to dierent diraction patterns
depending on their masses.
SALECKER then raised again the question why the gravitational eld
needs to be quantized at all. In his opinion, charged quantized particles
already serve as sources for a Coulomb eld which is not quantized. (Editors Note: Salecker did not make completely clear what he meant by this.
If he meant that some forces could be represented by actions-at-a-distance,
then, although he was misunderstood, he was right. For the corresponding
eld can then be eliminated from the theory and hence remain unquantized. He may have meant to imply that one should try to build up a
completely action-at-a-distance theory of gravitation, modied by the relativistic necessities of using both advanced and retarded interactions and
imbedded in an absorber theory of radiation to preserve causality. In
this case, gravitation per se could remain unquantized. However, these
questions were not discussed until later in the session.)
BELINFANTE insisted that the Coulomb eld is quantized through the
 -eld. He then repeated DeWitts argument that it is not logical to
allow an expectation value to serve as the source of the gravitational
250
eld. There are two quantities which are involved in the description of
any quantized physical system. One of them gives information about the
general dynamical behavior of the system, and is represented by a certain
operator (or operators). The other gives information about our knowledge
of the system; it is the state vector. Only by combining the two can one
make predictions. One should remember, however, that the state vector
can undergo a sudden change if one makes an experiment on the system.
The laws of nature therefore unfold continuously only as long as the observer does not bring extra knowledge of his own into the picture. This
dual aspect applies to the stress tensor as well as to everything else. The
stress tensor is an operator which satises certain dierential equations,
and therefore changes continuously. It has, however, an expectation value
which can execute wild jumps depending on our knowledge of the number
and behavior of mass particles in a certain vicinity - if this expectation
value were used as the source of the gravitational eld then the gravitational eld itself - at least the static part of it - would execute similar
wild jumps. One can avoid this subjective behavior on the part of the
gravitational eld only by letting it too become a continuously changing
operator, that is, by quantizing it. These conclusions apply at least to the
static part of the gravitational eld, and it is hard to see how the situation
can be much dierent for the transverse part of the eld, which describes
gravitational radiation.
FEYNMAN then made a series of comments of which the following is a
somewhat condensed but approximately verbatim transcript:
Id like to repeat just exactly what Belinfante said with an example because it seems clear to me that were in trouble if we believe in quantum
mechanics but dont quantize gravitational theory. Suppose we have an
object with spin which goes through a Stern-Gerlach experiment. Say it
has spin 1/2, so it comes to one of two counters.
Connect the counters by means of rods, etc., to an indicator which is either
up when the object arrives at counter 1, or down when the object arrives
at counter 2. Suppose the indicator is a little ball, 1 cm in diameter.
251
Figure 23.2
Now, how do we analyze this experiment according to quantum mechanics? We have an amplitude that the ball is up, and an amplitude that
the ball is down. That is, we have an amplitude (from a wave function)
that the spin of an electron in the rst part of the equipment is either up
or down. And if we imagine that the ball can be analyzed through the
interconnections up to this dimension ( 1 cm) by the quantum mechanics, then before we make an observation we still have to give an amplitude
that the ball is up and an amplitude that the ball is down. Now, since the
ball is big enough to produce a real gravitational eld (we know theres
a eld there, since Coulomb measured it with a 1 cm ball) we could use
that gravitational eld to move another ball, and amplify that, and use
the connections to the second ball as the measuring equipment. We would
then have to analyze through the channel provided by the gravitational
eld itself via the quantum mechanical amplitudes.
Therefore, there must be an amplitude for the gravitational eld,
provided that the amplication necessary to reach a mass which can produce a gravitational eld big enough to serve as a link in the chain does not
destroy the possibility of keeping quantum mechanics all the way. There
is a bare possibility (which I shouldnt mention!) that quantum mechanics
fails and becomes classical again when the amplication gets far enough,
because of some minimum amplication which you can get across such a
chain. But aside from that possibility, if you believe in quantum mechanics up to any level then you have to believe in gravitational quantization
in order to describe this experiment.
You will note that I use gravity as part of the link in a system on
which I have not yet made an observation. The only way to avoid quantization of gravity is to suppose that if the amplication gets big enough
then interference eects can in principle no longer play a role beyond a
certain point in the chain, and you are not allowed to use quantum me-
252
chanics on such a large scale. But I would say that this is the only out if
you dont want to quantize gravity.
BONDI: What is the dierence between this and people playing dice, so
that the ball goes one way or the other according to whether they throw
a six or not?
FEYNMAN: A very great dierence. Because I dont really have to
measure whether the particle is here or there. I can do something else:
I can put an inverse Stern-Gerlach experiment on and bring the beams
back together again. And if I do it with great precision, then I arrive at a
situation which is not derivable simply from the information that there is a
50 percent probability of being here and a 50 percent probability of being
there. In other word , the situation at this stage is not 50-50 that the die
is up or down, but there is an amplitude that it is up and an amplitude
that it is down - a complex amplitude - and as long as it is still possible to
put those amplitudes together for interference you have to keep quantum
mechanics in the picture.
It may turn out, since weve never done an experiment at this level,
that its not possible - that by the time you amplify the thing to a level
where the gravitational eld can have an inuence, its already so big that
you cant reverse it - that there is something the matter with our quantum
mechanics when we have too much action in the system, or too much mass
- or something. But that is the only way I can see which would keep you
from the necessity of quantizing the gravitational eld. Its a way that I
dont want to propose. But if youre arguing legally as to how the situation
stands...
WITTEN: What prevents this from becoming a practical experiment?
FEYNMAN: Well, its a question of what goes on at the level where
the ball ips one way or the other. In the amplifying apparatus theres
already an uncertainty - loss of electrons in the amplier, noise, etc. - so
that by this stage the information is completely determined. Then its a
die argument.
You might argue this way: Somewhere in your apparatus this idea
of amplitude has been lost. You dont need it any more, so you drop it.
The wave packet would be reduced (or something). Even though you dont
know where its reduced, its reduced. And then you cant do an experiment
which distinguishes interfering alternatives from just plain odds (like with
dice).
253
Theres certainly nothing to prevent this experiment from being carried out at the level at which I make the thing go clink-clank, because
we do it every day: We sit there and we wait for a count in the chamber
- and then we publish, in the Physical Review, the information that weve
obtained one pi meson - And then its printed (bang!) on the printing
presses - stacked and sent down to some back room - and it moves the
gravitational eld!
Theres no question that if you have allowed that much amplication
you have reduced the wave packet. On the other hand it may be that we
can think of an experiment - it may be worthwhile, as a matter of fact,
to try to design an experiment where you can invert such an enormous
amplication.
BERGMANN: In other words, if it is established that nobody reads the
Physical Review, then there is a denite 50 percent uncertainty...
FEYNMAN: Well, some of the copies get lost. And if some of the copies
get lost, we have to deal with probabilities again.
ROSENFELD: I do not see that you can conclude from your argument
that you must quantize the gravitational eld. Because in this example at
any rate, the quantum distinction here has been produced by other forces
than gravitational forces.
FEYNMAN: Well, suppose I could get the whole thing to work so that
there would be some kind of interference pattern. In order to describe it I
would want to talk about the interaction between one ball and the other.
I could talk about this as a direct interaction like  2 /ri j . (This is related
to the discussion of whether electrostatics is quantized or not.) However,
if you permit me to describe gravity as a eld then I must in the analysis
introduce the idea that the eld has this value with a certain amplitude, or
that value with a certain amplitude. This is a typical quantum representation of a eld. It cant be represented by a classical quantity. You cant
say what the eld is. You can only say that it has a certain amplitude to
be this and a certain amplitude to be that, and the amplitudes may even
interfere again... possibly. That is, if interference is still possible at such a
level.
ROSENFELD: But what interferes has nothing to do with gravitation.
FEYNMAN: Thats true ... when you nish the whole experiment and
analyze the results. But, if we analyze the experiment in time by the
propagation of an amplitude - saying there is a certain amplitude to be
here, and then a certain amplitude that the waves propagate through there,
254
255
case its absolutely imperative that the gravitational eld be quantized ...
I believe! or theres another possibility which I havent thought of.
BUCKINGHAM: The second possibility lands you back in the same difculty again. If you could amplify to any factor, you could reduce to a
negligible proportion an additional signal to take an observation on, say,
those balls.
FEYNMAN: No!
BUCKINGHAM: Because you only need one light quantum.
FEYNMAN: No!
BUCKINGHAM: If you could amplify up to any factor this becomes
negligible.
FEYNMAN: It depends! ... You see (pointing to a blank space on the
blackboard) this statement that I have written here is not written very
precisely as a matter of fact if you look at it you probably cant even see
the words. I havent thought out how to say it properly. It isnt simply a
matter of amplifying to any factor. Its too crude - Im trying to feel my
way. We know that in any piece of apparatus that has ever been built it
would be a phenomenally dicult thing to arrange the experiment so as to
be reversible. But is it impossible? Theres nothing in quantum mechanics
which says that you cant get interference with a mass of 105 gram - or
one gram.
BUCKINGHAM: Oh, yes. What Im saying, though, is that the laws
have to be such that the eect of one light quantum is sucient to determine which side the ball is on, and would be enough to disturb the whole
experiment.
FEYNMAN: Certainly! Thats always true. Thats just as true no matter
what the mass is.
ANDERSON: Suppose a neutral elementary particle really has a gravitational eld associated with it which you could actually use in the causal
link. The thing that bothers you is that you may be getting something
that is too small to produce a gravitational eld.
FEYNMAN: Its a question of design. I made an assumption in this
analysis that if I make the mass too small the elds are so weak I cant
get the experiment to operate. That might be wrong too. It may be that
if you analyze it close enough, youll see that I can make it go through a
gravitational link without all that amplication - in which case theres no
256
question. At the moment all I can say is that wed better quantize the
gravitational eld, or else nd a new principle.
SALECKER: If you assume that gravitation arises as a sort of statistical
phenomenon over a large number of elementary particles, then you also
cannot perform this experiment.
FEYNMAN: Yes, it depends what the origin is. One should think about
designing an experiment which uses a gravitational link and at the same
time shows quantum interference - what dimensions are involved, etc. Or
if you suppose that every experiment of this kind is impossible to do, you
must try to state what the general principle is, by trying a few examples.
But you have to state it right, and that will take some thinking.
DE WITT then remarked that there is still another type of experiment
which might some day help to decide the question of whether or not the
gravitational eld is quantized - namely, producing (or nding in cosmic
rays) particles having energies of 1019 Bev and observing their interactions.
At the level of such structures as wormholes these are the energies in
which one is interested.
ROSENFELD then gave an amusing historical survey in which he presented some of the ideas which Faraday and Maxwell had on gravitation.
Faraday attempted to measure the ability of a moving gravitational eld
to induce electric current by moving a coil of wire or a heavy mass up and
down. Although he detected no eect, he was convinced that such an effect must nevertheless exist. It struck Faraday that an important dierence
between the gravitational and electric elds was that, apparently, gravitational energy was not absorbed by matter. It also puzzled Maxwell that
the gravitational lines of force in the vicinity of two interacting masses
exhibited a behavior which did not seem to permit the introduction of
stresses in the ether to explain the attraction of the masses; the lines of
force have the masses for their sources, but do not end on them: they
exert a push, and not a pull, on the masses. It seems that they have to
end on some far-away mass distribution, which they can so to speak take
as support to push the masses nearer to each other and this gives rise to
their apparent attraction.
ROSENFELD then raised the question of the existence of gravitational waves. Formally, one can get a spherical wave which depends on
the third time derivative of the quadrupole distribution of masses. This
solution has been obtained, in the linear program, by expanding around
the Minkowski metric. However, Rosenfeld does not know if this wave has
257
h
smaller than 2al . This means that  p < 2ap = 2a
. But this means that the
uncertainty in positionof the mass must be larger than 2a and we dont
know whether the mass is at this hole or that hole.
Figure 23.3
258
FEYNMAN: Uh, yes ... I know. I might have to use gravitons to scatter
the particle, and then make some kind of assumption that I can measure
the gravity wave, no matter how weak it is. Now if I consider only gravitostatics, I still have a problem. I still have a quantum theory of gravity.
Although it is said that there is no quantum theory of electrostatics, there
2
is really, I think. The writing of rei j in the Schrdinger equation removes
electro-statics from a eld theory and makes it into the quantization of a
rather simple eld. I still think, in a certain sense, that when you represent
it as a eld, and not as a solution which is the result of a eld, that we
still have to quantize it in order to get it to work.
GOLD: It could be that inaccuracies are always introduced because no
experiment can be, nally, gravitational only. It is possible that the existing quantum theory will already always make sure that nothing can be
measured without sucient accuracy.
259
but is a little clearer in a certain respect, because the mass moves back
and forth - the question is: How do we analyze the situation? Now listen,
we can analyze as we go along and cut the thing in the middle if we want
to, and say that this produces a eld and the eld acts on the other one.
Thats one way of representing it. If we do it that way, then we have to
have an amplitude for the eld being here and an amplitude for the eld
being there. The gravitational eld has to be quantized. Incidentally,
this uses only gravito-statics. But theres another way of representing the
same thing, and that is there is an action at a distance between the two
particles: then we do not have to analyze it in the intermediate range as
a function of time. I am sorry I did stop at these subtleties when I made
up this example.
BONDI: That is very much clearer now. It does seem to me that this
vexed question of the existence of gravitation waves does become more
important for this reason.
FEYNMAN: Yes. Theres a delay in this equipment. If theres real
delay in this equipment, the information is stored in the eld and cant be
extracted by looking at the particles of the equipment; and if a quantum
theory of the gravitational eld is not necessary, there is another possible
theory: the action at a distance theory of gravity. That is another way
out. It may not be necessary to have a gravitational eld at all.
ROSENFELD: Well, the last point about which I worry very much is
this: It is dicult for me to imagine a quantized metric unless, of course,
this quantization of the metric is related to the deep-seated limitations
of the denitions of space and time in very small domains corresponding
to internal structures of particles. That is one prospect we may consider.
The whole trouble, of course, which raises all these doubts, is that we have
too few experiments to decide things one way or the other.
BELINFANTE then raised the question of the validity of Guptas successive approximations. These approximations (though possibly valid in a
dierent scheme) cannot be made using Papapetrous formula in the way
proposed by Gupta, for the following reason: This method mixes the various orders of approximation and thus leads to nonsense if xed up (by
adding adjustable stresses after each step) in such a way as to avoid the
other contradictions to which the method leads when used uncorrected the reason being that intermediate approximations lead to sources for the
next approximation which do not satisfy conservation laws and thus contradict the dierential equations of Papapetrou. (The trouble may be due
260
Figure 23.4
Closing Session
Chairman: B. S. DeWitt
Chapter 24
Divergences in Quantized General Relativity
S. Deser
The possible physical eects of general relativity on the elementary problem have usually been considered as negligible in view of the fact that
energies at which the former might have a bearing are much too high. It
is added that the eects of the new particles and the energies at which
current theory loses its validity occur very much below this range and
therefore a correct future theory will have solved the present diculties
in a much lower domain. In any case, eld theory will have been altered
so radically that arguments from the present one will lose their validity.
Further, it is sometimes felt that general relativity is a purely macroscopic
theory which loses its meaning in microscopic domains, where the concept
of metric is not very transparent.
To these classic objections there exist several levels of replies. On
a general level, it may be pointed out that the eect of a theory is not
always rst felt through its gross direct dynamical contributions (as, for
example, spin). Since general relativity is needed, at least in a formal
way, to provide a correct denition of the energy-momentum tensor, it
underlies any theories which deal with the energies of elds and particles.
The principle of general covariance on which the general theory is based
is not in any way restricted a priori to macroscopic considerations and
it is thus necessary to explore its consequences for any theory. The fact
that the metric may not be so simply measurable in microscopic domains
(say within an elementary particle) is no more an argument against the
relevance of relativity than the denition of position measurement in a
hydrogen atom is an argument against the use of coordinates in quantum
mechanics. Finally, that a future correct theory will exclude the relevance
of relativity is not an argument but a wish.
To these arguments of general principle, some very considerable quantitative ones can be added. The whole scheme of local eld theory is
plagued with divergences occurring because there is no upper limit to the
energies involved in it. No satisfactory cuto method is known which pre-
264
c2 d
, d = dimensions of region
4
h
, d = dimensions of wave packet
cd
Therefore, the dimensions of the wave packet must be greater than the fundamental length (l0 = 1032 cm). In all these investigations it appears that
space-time loses its physically meaningful character beyond such limits. It
is true that these limits always involve l0 and are thus quite small, but
they do occur at nite energies and their eects may well be felt sooner.
A still more signicant point is the following. It is known that under very wide assumptions any theory of coupled elds leads, near the
light cone, to singularities in the propagators of the clothed particles
and to the existence of at least some innite renormalization constants,
independent of perturbation theory. All the known Lorentz-invariant eld
couplings are of this type, in particular electrodynamics and the renormalizable meson theories. It is just here that the coupling of the gravitational
eld diers so profoundly from the usual couplings between matter elds.
First of all a basic condition for the proof of these theorems in at spacetime is that there exists an energy-momentum vector P , and that the
usual commutation relations hold for any operator.
iO(x),  [O(x), P ]
This is not the case in the general theory, and it is a very basic point there.
In fact, a P can, as is well known, only be dened so as to be independent
of any inner coordinates and therefore it cannot tell one the change of
a quantity that is located somewhere in that region in question. It is
connected with the non-linearity of the system and the lack of translational
properties of parts of the system by themselves. One cannot simply x the
position of an arbitrary component of the total system, for this would clash
265
266
1
p+m
(x) (x )eiS( ,) ( , )
,
eiS   ( ,  )
267
where S is the total action and the integration is over the meson, electron,
and positron elds. The action,
S=
( p + m) +
[p2 2 ] +
Now, one can eliminate the electron eld and the vacuum expectation
value becomes equal to
 i(S
e meson +S0 ) G(x, x ; ) 
N
where Smeson is due to the pure meson eld and S0 is due to closed loops.
The Greens function G(x, x ; ) satises (p2 + m + )G =  (x, x ), if we
replace the spinors by p2 to simplify the calculation. Now one knows how
G behaves near the light cone.
1
F(x, x ; ),
(x  x )2
where F is a well behaved function (aside from possible harmless logarithmic terms). Thus one nds, near the light cone, that S varies essen1
tially as (xx
 )2 . This, propagation function, S , is singular enough to give
one divergences.
Now consider the parallel problem when a matter eld is interacting
with the gravitational eld. The Lagrangian is
L = Lgrav +
1
g{2    2 2 } ,
2
where the DAlembertian depends upon the metric. The mass term will, as
usual, not be relevant to the singularity questions. One wants to compute
 (x, x ) =
 0 | (x) (x ) |T 0 
0|0
(x, x ) =
(x)(x ) eiS (g . . .)
eiS (g . . .)
268
where  (g...) means a summation over all Riemann spaces which preserve
the signature of (+ + +). Now, as before, the matter variables are eliminated giving
 (x, x ) =
where
1
F(x, x ; g) ,
s2 (x, x , g)
where s2 (x, x , g) is the square of the interval between the two points and F
is a regular function. Here the dierence between these propagators and
the usual ones of eld theory is obvious since the s2 (x, x , g) depends upon
the g variables. Now,
 (x, x ) 
ei(SEinstein +S)
F  (g . . .) .
s2 (x, x , g)
At this point the more or less rigorous mathematical treatment stops and
things that are said cannot be proved mathematically.
There will be very few spaces where null geodesics will connect x
and x in comparison to the number of integrations possible. It is possible
to make a vague analogy to the usual theory of poles in a nite number of
dimensions and in such cases one expects the singularities to be smoothed
out - with any measure which makes sense. For large distances, on the
other hand, the exponential may be expected to vary wildly and thus cancel
the eects of the various spaces summed over. It is felt that one should
not make the linear approximation in the action since this will reinstate
the privileged character of the Minkowski metric and the whole point of
non-linear gravitation is that the propagator depends upon the space one
is in.
A corroborative argument from quite a dierent direction, which was
mentioned earlier, is the P commutation relation. In a at space-time,
and eectively (by suitable modication) in a non-at but externally given
269
270
1 Proc.
Chapter 25
Critical Comments
R. P. Feynman
272
think that it is likely that this radiation is emitted. So, suppose it is and
calculate various things such as scattering by stars, etc., and continue until
you reach an inconsistency. Then, go back and nd out what is the diculty. Make up your mind which way it is and calculate without rigor in
an exploratory way. You have nothing to lose: there are no experiments.
I think the best viewpoint is to pretend that there are experiments and
calculate. In this eld since we are not pushed by experiments we must be
pulled by imagination.
The questions raised in the last three days have to do with the relation of gravity to the rest of physics. We have gravity - electrodynamics
- quantum theory - nuclear physics - strange particles. The problem of
physics is to put them all together. The original problem after the discovery of gravity was to put gravity and electrodynamics together since that
was essentially all that was known. Therefore, we had the unied eld
theories. After quantum theory one tries to quantize gravity. As far as
the two methods of quantization are concerned, I believe that if one works
the other will work. The crucial problem is to be able to tell when we have
succeeded in quantizing the gravitational eld. We should take the same
attitude as in other branches of physics and compute the results of some
experiments. We dont have the experiments and thus we do not know
which results to calculate. However, if someone brought an experimental
fact could we check it? Certainly, we can take a linearized approximation
and the answer will be right or wrong. The reason for stressing experiments is because of quantum electrodynamics which was worked out in
1928 but was full of diculties such as the innite energy levels of the hydrogen atom. When Lamb discovered the spacing between two levels was
nite, Bethe then got to work and calculated the dierence and introduced
the ideas of renormalization. We knew that the number was nite, but
someone measured it and thus forced the computation. The real challenge
is not to nd an elegant formalism, but to solve a series of problems whose
results could be checked. This is a dierent point of view. Dont be so
rigorous or you will not succeed.
Quantum mechanics and gravity do have something in common. The
energy in quantum mechanics is best given by describing how the wave
function changes if one solves the coordinate system a little bit, and gravity
is connected with just such transformations of coordinates. Thus, the
group-theoretic denition of energy and momentum in quantum theory is
not very far away from the geometric connection between energy and what
happens when you move the coordinate system.
273
The connection of gravity with the other parts of physics (nuclear and
strange particles) was not mentioned here. This is interesting and strange
because from the point of view of a non-specialist there is just as much
physics in these other elds. From the experimental side we have much
more detail there but have no beautiful theory.
Instead of trying to explain the rest of physics in terms of gravity
I propose to reverse the problem by changing history. Suppose Einstein
never existed, and his theory was not available, but the experimenters
began to discover the existence of the force. Furthermore, suppose one
knows all the other laws known now including special relativity. Then
people will say we have something new, a force like a Coulomb force.
Where did it come from? There will be two schools of thought. First,
some people will say this force is due to a new eld and second some
people will say that it is due to some eect of an old eld which we do not
recognize. I have tried to do this forgetting about Einstein.
First I will do the case of the new eld. The force is proportional
to r12 and thus it must be mass zero eld. Also, I assume that later one
gets experiments about the precession of orbits so that the rate of motion
does not appear to be proportional to the mass. Someone would try scalar
elds, vector elds, ..., and so on. Sooner or later one would get to a spin
two eld and would say perhaps it is analogous to electrodynamics. Then
he would write down
 (
 A   A
 
 x
x
d4x + e
z A ds +
+
m
2
z2 ds +
1
2
z z h ds
)
second power of first derivatives of h s
A j d x , j = e
z 4 (x z)dS,
T h d 4 x , T =
z z 4 (x z)dS.
274
2
h = T.
 x x
Also the equation of motion of the particles is
g z = [ ,  ]z z
where g is just a shorthand for  + h . The eld equations of electrodynamics have a property that the current conservation is an identity
from the eld equations.
Now one asks what is T equal to such that we get automatically T , = 0?
Now, when one puts in the second power of the rst derivatives of h in
the action he gets something denite. Incidentally, one gets the linearized
form of the gravity equations. If now these equations are solved to see if
any progress has been made, one deduces that light is deected by the sun.
One at this point might say that we know too much, that a eld theorist
would never have thought of this important conservation theorem. This is
not true. Pauli deduced this equation without looking for gravity, but by
asking himself what must the eld equations be for elds of arbitrary spin.
Soon someone would realize that something is wrong, for if particles move
according to the equation of motion, which they must do from the given
action, then the T doesnt satisfy the correct equations. A suggestion,
then, would be to add the eld energy into the stress energy tensor
and say
that this also is a source of gravity. Then, th would become h(T +t(h)).
However, this would not work because a variation of the hs gives not only
what one wants, but some new terms. Finally one asks if there exists an
expression of third order in the hs which can be used in the action of the
form (h)(h, )(h, ) and will give any relief from the diculty. It is possible
to prove from the denition of T and the equation of motion that the true
T must satisfy some equation of the form
g T  , = [ ,  ]T .
Then one can go to the next higher order of approximation and this approximation will explain the perihelion of Mercury. Although one is on
the right track this process is just an expansion. It is possible, however,
to solve the problem mathematically by nding an expression which is
invariant under
g = g + g
 g
 A
A
+ g  + A
.
x
x
 x
275
276
upon integration over the universe one gets a logarithmic divergence. The
most serious diculty with this approach is, however, the large eect the
sun would have on the earth-moon system. This last trial was so much
better than the others one can go a step further and try a four neutrino
process with the additional neutrino being exchanged in the rest of the
universe. This will also give a 1/r potential and a higher order divergence
and one must worry about the density of matter, etc. Higher order terms
are possible but they are much more dicult to handle. Therefore, the
possibility exists that the material from the outside is making the source of
gravitation here through the exchange of well known particles, the neutrinos. This is obviously no serious theory and is not to be believed. For one
thing the use of the correct propagators would change the r dependence.
If one did put in things correctly and got a nite amount for a result, then
this is very curious and has not been noticed before. That is one of the
advantages of looking at something from a dierent direction. Anyway,
this is what the people who believe in old theories would do.
This dierent point of view has been advertised in the hope that a few
people will start looking at gravitation from a dierent direction. I think
really that it is more likely and more interesting to go from the geometric
side, but if a few investigations change directions we may get somewhere.
ROSENFELD comments that the possible connection between neutrinos
and gravitation was discussed a long time ago. Also, one says that gravitational energy is carried away by gravitons while energy is conserved in
beta decay by the neutrino. These might be alternate ways of saying the
same thing.
Chapter 26
Summary of Conference
P. G. Bergmann
278
Chapter 27
An Expanded Version of the Remarks by R.P. Feynman on the Reality of Gravitational Waves1
I think it is easy to see that if gravitational waves can be created they can
carry energy and can do work. Suppose we have a transverse-transverse
wave generated by impinging on two masses close together. Let one mass A
carry a stick which runs past touching the other B. I think I can show that
the second in accelerating up and down will rub the stick, and therefore
by friction make heat. I use coordinates physically natural to A, that is
so at A there is at space and no eld (what are they called, natural
coordinates?). Then Pirani at an earlier section gave an equation for the
notion of a nearby particle, vector distance  from origin A, it went like,
to 1st order in 
 a + Ra0b0  b = 0 (a, b = 1, 2, 3)
R is the curvature tensor calculated at A. Now we can gure R directly, it
is not reasonable by coordinate transformation for it is the real curvature.
It does not vanish for the transverse-transverse gravity wave but oscillates
as the wave goes by. So,  on the RHS is sensibly constant, so the equation
says the particle vibrates up and down a little (with amplitude proportional
to how far it is from A on the average, and to the wave amplitude.) Hence
it rubs the stick, and generates heat.
I heard the objection that maybe the gravity eld makes the stick
expand and contract too in such a way that there is no relative motion of
particle and stick. But this cannot be. Since the amplitude of Bs motion
is proportional to the distance from A, to compensate it the stick would
have to stretch and shorten by certain ratios of its own length. Yet at
the center it does no such thing, for it is in natural metric - and that
means that the lengths determined by size of atoms etc. are correct and
unchanging at the origin. In fact that is the denition of our coordinate
system. Gravity does produce strains in the rod, but these are zero at the
1 See
280
center for g and its gradients are zero there. I think: any changes in rod
lengths would go at least as  3 and not as  so surely the masses would
rub the rod.
Incidentally masses put on opposite side of A go in opposite directions.
If I use 4 weights in a cross, the motions at a given phase are as in the
gure:
Figure 27.1
Thus a quadrupole moment is generated by the wave.
Now the question is whether such a wave can be generated in the
rst place. First since it is a solution of the equations (approx.) it can
probably be made. Second, when I tried to analyze from the eld equations
just what happens if we drive 4 masses in a quadrupole motion of masses
like the gure above would do - even including the stress-energy tensor of
the machinery which drives the weights, it was very hard to see how one
could avoid having a quadrupole source and generate waves. Third my
instinct is that a device which could draw energy out of a wave acting on
it, must if driven in the corresponding motion be able to create waves of
the same kind. The reason for this is the following: If a wave impinges
on our absorber and generates energy - another absorber place in the
wave behind the rst must absorb less because of the presence of the rst,
(otherwise by using enough absorbers we could draw unlimited energy
from the waves). That is, if energy is absorbed the wave must get weaker.
How is this accomplished? Ordinarily through interference. To absorb, the
absorber parts must move, and in moving generate a wave which interferes
with the original wave in the so-called forward scattering direction, thus
reducing the intensity for a subsequent absorber. In view therefore of
the detailed analysis showing that gravity waves can generate heat (and
therefore carry energy proportional to R2 with a coecient which can be
determined from the forward scattering argument). I conclude also that
these waves can be generated and are in every respect real.
281
I hesitated to say all this because I dont know if this was all known
as I wasnt here at the session on gravity waves.
Index
284
Index
Index
285
Parity violation, 58
Particles as singularities, 109
Petrovs classication, 103
Pirani, F. A. E., 17, 74, 102,
106, 115, 128, 141, 142,
160, 177, 185, 278, 279
Planck length, 264
Planck mass, 167
Pseudo-tensor formalism, 101
Quadrupole, 108, 256, 280
Quantum eld theory in curved
spacetime, 205
Rainich, Y., 48, 71, 72
Regge, T., 139
Regularity problem, 71
Renormalization, 264, 266, 272
RIAS, INC, 7, 11, 16
Rosen, N., 16, 74, 98, 106, 107
Rosenfeld, L., 19, 149, 162, 178,
179, 184, 247, 253, 256,
258, 259, 276, 278
Salecker, H., 148, 171174, 176
179, 184, 248, 249, 256,
278
Schild, A., 17, 104
Schiller, R. S., 192
Schwarzschild solution, 71, 74, 101,
104, 113, 114, 139, 144,
159, 165, 260, 266
Sciama, D., 45, 127, 128, 161, 162
Singularity of propagator, 266
Spinors, 161, 189, 191, 247, 267
Steady-state theory, 127, 129
Thom, R., 79
Thought experiments, 80
dangers of, 278
286
Index