统计力学
其中formula_4指的是矩陣的跡，而formula_5則是矩阵指数。此不等式在统计力学上相當重要，而此不等式一開始也是由此而生的。