Formula_23961

\[\begin{gathered}\operatorname{tr} \varphi\left[\exp \left\{-(A+B)^{\sim}\right\}\right] \leqslant \\\leqslant \operatorname{tr} \varphi[\exp (-A / 2) \exp (-B) \exp (-A / 2)] .\end{gathered}\]