在数学中，塞尔伯格迹公式是非交换调和分析的重要定理之一。此公式表达了齐性空间 的函数空间上某类算子的迹数，其中 是李群而 是其离散子群。

塞尔伯格在1956年处理了紧黎曼曲面上的拉普拉斯算子的情形。借由拉普拉斯算子及其幂次，塞尔伯格定义了塞尔伯格ζ函数。此时的公式相似于解析数论关注的「明确公式」：黎曼曲面上的测地线在公式中扮演素数在明确公式里的角色。

一般而言，塞尔伯格迹公式联系了负常数曲率紧曲面上的拉普拉斯算子的谱，以及该曲面上的周期测地线长度。对于环面，塞尔伯格迹公式化为泊松求和公式。

In mathematics, the Selberg trace formula, introduced by Selberg (1956), is an expression for the character of the unitary representation of G on the space L(G/Γ) of square-integrable functions, where G is a Lie group and Γ a cofinite discrete group. The character is given by the trace of certain functions on G.