Atom interferometer phase in the presence of proof mass

This is presented the justification of the expression for the atom interferometer phase in the presence of proof mass used in arXiv:1407.7287. Quantum corrections to that expression are also derived. The corrections allow one to calculate numerically atom interferometer phase with accuracy 1ppm or better.