In mathematics, the local trace formula is a local analogue of the ArthurâÂÂSelberg trace formula that describes the character of the representation of G(F) on the discrete part of L<sup>2</sup>(G(F)), for G a reductive algebraic group over a local field F.