The Golden–Thompson trace inequality, which states that Tr eH+KTr eHeK, has proved to be very useful in quantum statistical mechanics. Golden used it to show that the classical free energy is less than the quantum one. Here, we make this G–T inequality more explicit by proving that for some operators, notably the operators of interest in quantum mechanics, H = Δ or H=Δ+m and K = potential, Tr eH+(1−u)KeuK is a monotone increasing function of the parameter u for 0 ≤ u ≤ 1. Our proof utilizes an inequality of Ando, Hiai, and Okubo (AHO): Tr XsYtX1−sY1−tTr XY for positive operators X, Y and for 12s,t1, and s+t32. The obvious conjecture that this inequality should hold up to s + t ≤ 1 was proved false by Plevnik [Indian J. Pure Appl. Math. 47, 491–500 (2016)]. We give a different proof of AHO and also give more counterexamples in the 32,1 range. More importantly, we show that the inequality conjectured in AHO does indeed hold in the full range if X, Y have a certain positivity property—one that does hold for quantum mechanical operators, thus enabling us to prove our G–T monotonicity theorem.

1.
Alaifari
,
R.
,
Cheng
,
X.
,
Pierce
,
L.
, and
Steinerberger
,
S.
, “
On matrix rearrangement inequalities
,”
Proc. Am. Math. Soc.
148
,
1835
1848
(
2020
).
2.
Ando
,
T.
,
Hiai
,
F.
, and
Okubo
,
K.
, “
Trace inequalities for multiple products of two matrices
,”
Math. Inequalities Appl.
3
(
3
),
307
318
(
2000
).
3.
Araki
,
H.
, “
On an inequality of Lieb and Thirring
,”
Lett. Math. Phys.
19
,
167
170
(
1990
).
4.
Beurling
,
A.
and
Deny
,
J.
, “
Espaces de dirichlet: I. Le cas élémentaire
,”
Acta Math.
99
,
203
224
(
1958
).
5.
Bottazzi
,
T.
,
Elencwajg
,
R.
,
Larotonda
,
G.
, and
Varela
,
A.
, “
Inequalities related to Bourin and Heinz means with a complex parameter
,”
J. Math. Anal. Appl.
426
,
765
773
(
2015
).
6.
Friedland
,
S.
and
So
,
W.
, “
On the product of matrix exponentials
,”
Linear Algebra Appl.
196
,
193
205
(
1994
).
7.
Golden
,
S.
, “
Lower bounds for the Helmholtz function
,”
Phys. Rev.
137
,
B1127
B1128
(
1965
).
8.
Lieb
,
E. H.
and
Thirring
,
W. E.
, “
Inequalities for the moments of the eigenvalues of the Schrödinger Hamiltonian and their relation to Sobolev inequalities
,” in
Studies in Mathematical Physics
, edited by
Lieb
,
E.
,
Simon
,
B.
, and
Wightman
,
A.
(
Princeton University Press
,
Princeton
,
1976
), pp.
269
303
.
9.
Plevnik
,
L.
, “
On a matrix trace inequality due to Ando, Hiai and Okubo
,”
Indian J. Pure Appl. Math.
47
,
491
500
(
2016
).
10.
Simon
,
B.
,
Trace Ideals and Their Applications
, 2nd ed., Mathematical Surveys and Monographs Vol. 120 (
AMS
,
Providence, RI
,
2005
).
11.
Thompson
,
C. J.
, “
Inequality with applications in statistical mechanics
,”
J. Math. Phys.
6
,
1812
1813
(
1965
).
You do not currently have access to this content.