For the positive Laplace-Beltrami operator on a closed compact Riemannian manifold, the heat trace is . It records every eigenvalue with multiplicity. In a finite free isometric quotient it equals . The orbital integrals form a class function of the ambient finite isometry group, so Gassmann equivalence gives equal quotient heat traces and hence Sunada theorem.
New to topics? Read the docs here!