The old problem of how to represent uniquely a prescribed classical Hamiltonian H as a well-defined quantal operator Ĥ is shown to have a clear answer within Feynman's path-integral scheme (as expanded by Garrod) for quantum mechanics. The computation of Ĥ involves the momentum Fourier transform of a coordinate average of H. A differential equation for a reduced form of the Feynman propagator giving Ĥ from H is found; and the example of polynomial H worked out to give the Born-Jordan ordering rule for Ĥ in this case.

This is an informal report intended primarily for internal or limited external _ .``_x ._)'Q`LK`,(_`.`_ distribution.The opinions and conclusions stated are those of the author and may or may not be those of the Laboratory. Work performed under the auspices of the U.S. Department of Energy by the Lawrence Livermore National Laboratory under Contract W-7405-Eng-48. I ' M DISCLAIMER This document was prepared as an account of work sponsored by an agency of the United States Government.

No abstract

No abstract

This paper reviews some of the issues about verifying the dismantlement of nuclear warheads and controlling nuclear materials in the context of arms control objectives. It is asserted that information about the stockpiles of nuclear warheads and materials is necessary to analyze the impacts and verification requirements of arms control measures including warhead dismantlement and fissile material controls. It is proposed that the U.S. and the Soviets engage in a series of declarations about their stockpiles of nuclear weapons and materials. It is also asserted that currently it is more important to verify that warheads are retired to safe, secure facilities than to verify their dismantlement. It is proposed that production of new or rebuilt warheads be limited to less than the number retired each year. Verifying the number of new and rebuilt warheads deployed and the number retired avoids many of the difficulties in verifying dismantlement and material controls.