Duistermaat-Guillemin trace formula (source code)

= Duistermaat-Guillemin trace formula
{c}

For the <positive Laplace-Beltrami operator> on a <closed manifold>, the singular support of the <wave trace> lies in zero together with signed lengths of <closed geodesics>. Under the clean fixed-set hypotheses, its singularity at a periodic-geodesic length has an expansion determined by the <geodesic flow> and its linearized return map. In particular, when the relevant leading coefficient does not vanish through cancellation, that length is determined by the spectrum. The inclusion of singular supports alone does not justify an unconditional recovery of every <geodesic> length.