Dirichlet 形式とスペクトルギャップ

を $P$ の Dirichlet 形式、

をスペクトルギャップという。レート行列 $Q$（$\pi$ に関して可逆：$\pi(x)q(x,y)=\pi(y)q(y,x)$）については $\mathcal{E}_Q(f,f)=-\langle f,Qf\rangle_\pi=\frac12\sum\pi(x)q(x,y)(f(x)-f(y))^2$ と $\lambda(Q)$ を同様に定める。