[论文解读] A trace inequality of Ando, Hiai and Okubo and a monotonicity property of the Golden-Thompson inequality

Eric A. Carlen, Élliott H. Lieb|arXiv (Cornell University)|Mar 11, 2022

Mathematical Inequalities and Applications参考文献 10被引用 2

一句话总结

本文通过在特定正定性条件下证明Ando-Hiai-Okubo (AHO)迹不等式的强化版本，建立了量子力学算符的黄金-汤普森迹不等式的一个单调性性质。利用Lieb-Thirring不等式和H"older不等式，作者证明了当H = Δ或H = −√(−Δ + m)，K = 势能时，Tr[e^{H+(1-u)K}e^{uK}]在u ∈ [0,1]上关于u单调递增。此外，作者构造了新的反例，表明当s + t > 3/2时，即使对于实数正半定矩阵，AHO不等式也失效。

ABSTRACT

The Golden-Thompson trace inequality which states that $Tr\, e^{H+K} \leq Tr\, e^H e^K$ 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=\Delta$ or $H= -\sqrt{-\Delta +m}$ and $K=$ potential, $Tr\, e^{H+(1-u)K}e^{uK}$ is a monotone increasing function of the parameter $u$ for $0\leq u \leq 1$. Our proof utilizes an inequality of Ando, Hiai and Okubo (AHO): $Tr\, X^sY^tX^{1-s}Y^{1-t} \leq Tr\, XY$ for positive operators X,Y and for $ frac{1}{2} \leq s,\,t \leq 1 $ and $s+t \leq frac{3}{2}$. The obvious conjecture that this inequality should hold up to $s+t\leq 1$, was proved false by Plevnik. We give a different proof of AHO and also give more counterexamples in the $ frac{3}{2}, 1$ range. More importantly we show that the inequality conjectured in AHO does indeed hold in this range if $X,Y$ have a certain positivity property -- one which does hold for quantum mechanical operators, thus enabling us to prove our G-T monotonicity theorem.

研究动机与目标

• 建立H = Δ或H = −√(−Δ + m)等量子力学算符的黄金-汤普森迹不等式的单调性性质。
• 在X和Y满足特定正定性条件时，证明Ando-Hiai-Okubo (AHO)迹不等式Tr[X^sY^tX^{1-s}Y^{1-t}] ≤ Tr[XY]在s + t > 3/2时依然成立。
• 构造显式反例，表明当s + t > 3/2时，Tr[X^sY^tX^{1-s}Y^{1-t}]可为负值，从而说明AHO不等式不成立。
• 澄清s + t ≤ 3/2条件在AHO不等式中的最优性，并证明该条件对一般矩阵而言是最佳的。
• 证明黄金-汤普森泛函f_H,K(u) = Tr[e^{H+(1-u)K}e^{uK}]的单调性不适用于任意自伴H和K。

提出的方法

• 利用迹范数的Lieb-Thirring不等式和H"older不等式，对正半定矩阵乘积的迹进行上界估计。
• 将广义H"older不等式应用于涉及四个正半定矩阵的迹表达式，导出关键不等式(2.4)。
• 通过Householder反射构造扰动，生成s + t > 3/2时的反例。
• 将X和Y构造为具有相互正交像空间的正交投影X₀和Y₀的扰动，确保Tr[X₀^{1-s}Y₀^{1-t}X₀^sY₀^t] = 0。
• 利用正交变换R控制扰动矩阵中非对角元的符号，从而实现迹为负。
• 通过数值计算验证Tr[X^sY^tX^{1-s}Y^{1-t}]超过Tr[XY]或变为负值，从而违反AHO不等式。

实验结果

研究问题

• RQ1 黄金-汤普森迹不等式在参数u上是否对量子力学算符H和K表现出单调性？
• RQ2 当s + t > 3/2时，Ando-Hiai-Okubo迹不等式是否对所有s, t ∈ [0,1]都成立？
• RQ3 能否构造出显式反例，使得实数正半定矩阵X和Y满足Tr[X^sY^tX^{1-s}Y^{1-t}] < 0？
• RQ4 s + t ≤ 3/2条件在AHO不等式中是否为最优？在附加正定性假设下能否进一步扩展？
• RQ5 黄金-汤普森泛函f_H,K(u) = Tr[e^{H+(1-u)K}e^{uK}]的单调性是否对所有自伴H和K都成立，还是仅在特定条件下成立？

主要发现

• 当H = Δ或H = −√(−Δ + m)，K为势能，且X和Y为量子力学算符时，泛函f_H,K(u) = Tr[e^{H+(1-u)K}e^{uK}]在u ∈ [0,1]上关于u单调递增。
• AHO不等式Tr[X^sY^tX^{1-s}Y^{1-t}] ≤ Tr[XY]对所有s, t ∈ [1/2,1]满足s + t ≤ 3/2时成立，并在X和Y满足特定正定性条件时扩展至s + t ≤ 1。
• 构造了一个反例，其中Tr[X^sY^tX^{1-s}Y^{1-t}] > Tr[XY]，且s + t = 1.58，表明s + t ≤ 3/2条件对一般矩阵而言是紧的。
• 另一个反例表明当s = t = 0.98时，Tr[X^sY^tX^{1-s}Y^{1-t}] < 0，而Tr[X^{1/2}Y^{1/2}X^{1/2}Y^{1/2}] > 0，证明AHO不等式在s + t > 3/2范围内不成立。
• 对特定H和K计算得d/du f_H,K(u)|_{u=1} < −3 × 10^{-6}，表明单调性在一般自伴算符下不成立。
• 数值证据表明|X_t^{1,3} + X_t^{2,3}|的最大值小于|X_t^{1,3}| + |X_t^{2,3}|的10^{-3}倍，表明反例构造中三角不等式接近饱和。