This research program is involved with the invention and use of computer-oriented numerical, algebraic and hardware techniques applied to problems in physics. The area of application is in Quantum Electrodynamics: high order corrections to the anomalous magnetic moment of the electron. This quantity is known both theoretically and experimentally to extremely high precision. The continuing computational program, in cooperation with experimental work done elsewhere, seeks to improve the precision with which this quantity is known so as to improve our values for some of the fundamental constants as well as to provide a valuable touchstone for the testing of theories of fundamental particles. The demanding nature of these calculations requires the invention of new numerical techniques, the creation and application of very powerful symbolic algebra programs, and the design and building of novel computing engines.

Selected Publications

Levine, M.J., Roskies, R.Z. and E. Remiddi, "Analytic Evaluation of Sixth Order Contribution to the Electron's g Factor,"  Quantum Electrodynamics, ed. T. Kinoshita, World Scientific (1990).

Levine, M.J., "The CMU Multi-micro Computational Engine,"  Proceedings of the Symposium on Recent Developments in Computing, Processor and Software Research for High-Energy Physics, Guanajuato, Mexico, May 8-11, (1984).

Levine, M.J., H.Y. Park and R.Z. Roskies, "High Precision Evaluation of Contributions to g-2 of the Electron in Sixth Order,"  Phys. Rev. D25: 2205 (1982).

Levine, M.J. and R. Roskies, "Sixth Order Contributions to g-2 of the Electron,"  Proceedings of the Second International Conference on Precision Measurements and Fundamental Constants (June 1981).

Levine, M.J., E. Remiddi and R. Roskies, "Analytic Contributions to the g Factor of the Electron in Sixth Order,"  Phys. Rev. D20: 2068 (1979).

Levine, M.J. and R. Roskies, "ASHMEDAI and a Large Algebraic Problem,"  in Proceedings of the 1976 ACM Symposium on Symbolic and Algebraic Computation.