A finite dimensional trace formula
arXiv:2505.14947
Abstract
We take the trace of Von-Neumann's ergodic theorem and get a trace formula of a unitary matrix family. It is an extension of Poisson summation formula in higher dimension. We also construct a family of crystalline measure with complex coefficient.