Career in the United States
On G. I. Taylor's advice and recommendation, Dyson moved to the United States in 1947 as a Commonwealth Fellow for postgraduate study with Hans Bethe at Cornell University (1947–1948). There he made the acquaintance of Richard Feynman. Dyson recognized the brilliance of Feynman and worked with him. He then moved to the Institute for Advanced Study (1948–1949), before returning to England (1949–51), where he was a research fellow at the University of Birmingham. In 1949, Dyson demonstrated the equivalence of two formulations of quantum electrodynamics (QED): Richard Feynman's diagrams and the operator method developed by Julian Schwinger and Shin'ichirō Tomonaga. He was the first person after their creator to appreciate the power of Feynman diagrams and his paper written in 1948 and published in 1949 was the first to make use of them. He said in that paper that Feynman diagrams were not just a computational tool but a physical theory and developed rules for the diagrams that completely solved the renormalization problem. Dyson's paper and his lectures presented Feynman's theories of QED in a form that other physicists could understand, facilitating the physics community's acceptance of Feynman's work. J. Robert Oppenheimer, in particular, was persuaded by Dyson that Feynman's new theory was as valid as Schwinger's and Tomonaga's. Also in 1949, in related work, Dyson invented the Dyson series. It was this paper that inspired John Ward to derive his celebrated Ward–Takahashi identity.
Dyson joined the faculty at Cornell as a physics professor in 1951, though he still had no doctorate. In December 1952, Oppenheimer, the director of the Institute for Advanced Study in Princeton, New Jersey, offered Dyson a lifetime appointment at the institute, "for proving me wrong", in Oppenheimer's words. Dyson remained at the Institute until the end of his career. In 1957 he became a US citizen. From 1957 to 1961 Dyson worked on Project Orion, which proposed the possibility of space-flight using nuclear pulse propulsion. A prototype was demonstrated using conventional explosives, but the 1963 Partial Test Ban Treaty, in which Dyson was involved and which he supported, permitted only underground nuclear weapons testing, and the project was abandoned in 1965.
In 1958 Dyson was a member of the design team under Edward Teller for TRIGA, a small, inherently safe nuclear reactor used throughout the world in hospitals and universities for the production of medical isotopes.
In 1966, independently of Elliott H. Lieb and Walter Thirring, Dyson and Andrew Lenard published a paper proving that the Pauli exclusion principle plays the main role in the stability of matter. Hence it is not the electromagnetic repulsion between outer-shell orbital electrons that prevents two stacked wood blocks from coalescing into a single piece, but the exclusion principle applied to electrons and protons that generates the classical macroscopic normal force. In condensed matter physics, Dyson also analysed the phase transition of the Ising model in one dimension and spin waves.
Dyson also did work in a variety of topics in mathematics, such as topology, analysis, number theory and random matrices. In 1973 the number theorist Hugh Lowell Montgomery was visiting the Institute for Advanced Study and had just made his pair correlation conjecture concerning the distribution of the zeros of the Riemann zeta function. He showed his formula to the mathematician Atle Selberg, who said that it looked like something in mathematical physics and that Montgomery should show it to Dyson, which he did. Dyson recognized the formula as the pair correlation function of the Gaussian unitary ensemble, which physicists have studied extensively. This suggested that there might be an unexpected connection between the distribution of primes (2, 3, 5, 7, 11, ...) and the energy levels in the nuclei of heavy elements such as uranium.
Around 1979 Dyson worked with the Institute for Energy Analysis on climate studies. This group, under Alvin Weinberg's direction, pioneered multidisciplinary climate studies, including a strong biology group. Also during the 1970s, Dyson worked on climate studies conducted by the JASON defense advisory group.
Dyson retired from the Institute for Advanced Study in 1994. In 1998 he joined the board of the Solar Electric Light Fund. In 2003 he was president of the Space Studies Institute, the space research organization founded by Gerard K. O'Neill; in 2013 he was on its board of trustees. Dyson was a longtime member of the JASON group.
Dyson won numerous scientific awards, but never a Nobel Prize. Nobel physics laureate Steven Weinberg said that the Nobel committee "fleeced" Dyson, but Dyson remarked in 2009, "I think it's almost true without exception if you want to win a Nobel Prize, you should have a long attention span, get hold of some deep and important problem and stay with it for ten years. That wasn't my style." Dyson was a regular contributor to The New York Review of Books, and published a memoir, Maker of Patterns: An Autobiography Through Letters in 2018.
In 2012 Dyson published (with William H. Press) a fundamental new result about the prisoner's dilemma in the Proceedings of the National Academy of Sciences of the United States of America.
Reviewing Georges Charpak and Henri Broch's Debunked! ESP, Telekenesis and Other Pseudoscience he wrote that "paranormal phenomena may really exist but may not be accessible to scientific investigation. This is a hypothesis. I am not saying that it is true, only that it is tenable, and to my mind plausible." He wrote a foreword to a treatise on psychic phenomena in which he concluded that "ESP is real... but cannot be tested with the clumsy tools of science".
