Heat trace ($Z_M(t)=\mathrm{Tr}(e^{-t{\Delta }_M})$)

For the positive Laplace-Beltrami operator on a closed compact Riemannian manifold, the heat trace is $Z_M(t)={\sum }_j{e}^{-t{\lambda }_j}={\int }_M{K}_M(t,x,x)dV(x)$. It records every eigenvalue with multiplicity. In a finite free isometric quotient it equals $|U{|}^{-1}{\sum }_{u\in U}{\int }_N{K}_N(t,x,ux)dV(x)$. 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.