A trace inequality of Ando, Hiai and Okubo and a monotonicity property of the Golden-Thompson inequality

• URL: http://arxiv.org/abs/2203.06136v1
• Date: Fri, 11 Mar 2022 18:09:13 GMT
• Title: A trace inequality of Ando, Hiai and Okubo and a monotonicity property of the Golden-Thompson inequality
• Authors: Eric A. Carlen and Elliott H. Lieb
• Abstract summary: The Golden-Thompson trace inequality $Tr, eH+K leq Tr, eH eK$ has proved to be very useful in quantum statistical mechanics. Here we make this G-T inequality more explicit by proving that for some operators, $H=Delta$ or $H= -sqrt-Delta +m$ and $K=$ potential, $Tr, eH+ (1-u)KeuK$ is a monotone increasing function of the parameter $u$ for $0leq
• Score: 1.5229257192293197
• License: http://creativecommons.org/licenses/by/4.0/
• 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 $\tfrac{1}{2} \leq s,\,t \leq 1 $ and $s+t \leq \tfrac{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 $\tfrac{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.

Related papers

• Dimension Independent Disentanglers from Unentanglement and Applications [55.86191108738564]
  We construct a dimension-independent k-partite disentangler (like) channel from bipartite unentangled input. We show that to capture NEXP, it suffices to have unentangled proofs of the form $| psi rangle = sqrta | sqrt1-a | psi_+ rangle where $| psi_+ rangle has non-negative amplitudes.
  arXiv  Detail & Related papers  (2024-02-23T12:22:03Z)
• Towards Optimal Convergence Rates for the Quantum Central Limit Theorem [3.6985338895569204]
  Quantum central limit theorem for bosonic systems states that the sequence of states $rhoboxplus n$ obtained from the $n$-fold convolution of a centered quantum state converges to a quantum Gaussian state. In this paper, we contribute to the problem of finding optimal rate of convergence for this theorem.
  arXiv  Detail & Related papers  (2023-10-15T12:02:43Z)
• Rigorous derivation of the Efimov effect in a simple model [68.8204255655161]
  We consider a system of three identical bosons in $mathbbR3$ with two-body zero-range interactions and a three-body hard-core repulsion of a given radius $a>0$.
  arXiv  Detail & Related papers  (2023-06-21T10:11:28Z)
• Equality cases in monotonicity of quasi-entropies, Lieb's concavity and Ando's convexity [0.0]
  We revisit and improve joint concavity/rhoity and monotonicity properties quasi-entropies due to Petz in a new fashion. We characterize equality cases in the monotonicity inequalities (the data-processing inequalities) of quasi-entropies in several ways.
  arXiv  Detail & Related papers  (2023-04-10T02:59:53Z)
• Quantum and classical low-degree learning via a dimension-free Remez inequality [52.12931955662553]
  We show a new way to relate functions on the hypergrid to their harmonic extensions over the polytorus. We show the supremum of a function $f$ over products of the cyclic group $exp(2pi i k/K)_k=1K$. We extend to new spaces a recent line of work citeEI22, CHP, VZ22 that gave similarly efficient methods for learning low-degrees on hypercubes and observables on qubits.
  arXiv  Detail & Related papers  (2023-01-04T04:15:40Z)
• A new operator extension of strong subadditivity of quantum entropy [12.547444644243544]
  Weak monotonicity asserts that $S(rho_AB) - S(rho_A) + S(rho_BC) - S(rho_C)geq 0$ for any tripartite density matrix $rho_ABC$. We prove an operator inequality, which, upon taking an expectation value with respect to the state $rho_ABC$, reduces to the weak monotonicity inequality.
  arXiv  Detail & Related papers  (2022-11-24T01:45:44Z)
• Enlarging the notion of additivity of resource quantifiers [62.997667081978825]
  Given a quantum state $varrho$ and a quantifier $cal E(varrho), it is a hard task to determine $cal E(varrhootimes N)$. We show that the one shot distillable entanglement of certain spherically symmetric states can be quantitatively approximated by such an augmented additivity.
  arXiv  Detail & Related papers  (2022-07-31T00:23:10Z)
• Uncertainties in Quantum Measurements: A Quantum Tomography [52.77024349608834]
  The observables associated with a quantum system $S$ form a non-commutative algebra $mathcal A_S$. It is assumed that a density matrix $rho$ can be determined from the expectation values of observables. Abelian algebras do not have inner automorphisms, so the measurement apparatus can determine mean values of observables.
  arXiv  Detail & Related papers  (2021-12-14T16:29:53Z)
• Quantum double aspects of surface code models [77.34726150561087]
  We revisit the Kitaev model for fault tolerant quantum computing on a square lattice with underlying quantum double $D(G)$ symmetry. We show how our constructions generalise to $D(H)$ models based on a finite-dimensional Hopf algebra $H$.
  arXiv  Detail & Related papers  (2021-06-25T17:03:38Z)
• Improved Quantum Hypercontractivity Inequality for the Qubit Depolarizing Channel [2.9443230571766845]
  The hypercontractivity inequality for the qubit depolarizing channel $Psi_t$ states that $|Psi_totimes n(X)|_pleq |X|_q$ provided that $pgeq q> 1$ and $tgeq ln sqrtfracp-1q-1$. We first prove an improved quantum logarithmic-Sobolev inequality and then use the well-known equivalence of logarithmic-Sobolev hypercontractivity inequalities to obtain our main result
  arXiv  Detail & Related papers  (2021-05-02T13:04:17Z)
• Uncertainty Relations of Variances in View of the Weak Value [1.1699566743796068]
  We show that there is another inequality which underlies the Schr"odinger inequality in the same sense. The decomposition of the Schr"odinger inequality is examined more closely to analyze its structure and the minimal uncertainty states.
  arXiv  Detail & Related papers  (2020-08-07T11:45:43Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.