Let p run over all distinct primitive ordered periodic geodesics, and let τ(p) denote the positive length of p, then the Selberg zeta function is defined as Z(s) = product_({p}) product_(k = 0)^∞[1 - e^(-τ(p)(s + k))], for s>1.

Selberg trace formula