埃尔米特矩阵
After proving unitarity, we can evaluate a general Gaussian integral involving a Hermitian matrix with eigenvalues ,