Strong Decay of Correlations for Gibbs States in Any Dimension

Quantum systems in thermal equilibrium are described using Gibbs states. The correlations in such states determine how difficult it is to describe or simulate them. In this article, we show that if the Gibbs state of a quantum system satisfies that each of its marginals admits a local effective Hamiltonian with short-range interactions, then it satisfies a mixing condition, that is, for any regions <i>A</i>, <i>C</i> the distance of the reduced state <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:msub><mml:mi>ρ</mml:mi> <mml:mrow><mml:mi>AC</mml:mi></mml:mrow> </mml:msub> </mml:math> on these regions to the product of its marginals, <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mfenced><mml:msub><mml:mi>ρ</mml:mi> <mml:mrow><mml:mi>AC</mml:mi></mml:mrow> </mml:msub> <mml:msubsup><mml:mi>ρ</mml:mi> <mml:mi>A</mml:mi> <mml:mrow><mml:mo>-</mml:mo> <mml:mn>1</mml:mn></mml:mrow> </mml:msubsup> <mml:mo>⊗</mml:mo> <mml:msubsup><mml:mi>ρ</mml:mi> <mml:mi>C</mml:mi> <mml:mrow><mml:mo>-</mml:mo> <mml:mn>1</mml:mn></mml:mrow> </mml:msubsup> <mml:mo>-</mml:mo> <mml:msub><mml:mn>1</mml:mn> <mml:mrow><mml:mi>AC</mml:mi></mml:mrow> </mml:msub> </mml:mfenced> <mml:mspace></mml:mspace> <mml:mo>,</mml:mo></mml:mrow> </mml:math> decays exponentially with the distance between regions <i>A</i> and <i>C</i>. This mixing condition is stronger than other commonly studied measures of correlation. In particular, it implies the exponential decay of the mutual information between distant regions. The mixing condition has been used, for example, to prove positive log-Sobolev constants. On the way, we prove that the the condition regarding local effective Hamiltonian is satisfied if the Hamiltonian only has commuting interactions which also commute with every marginal of their products. The proof of these results employs a variety of tools such as Araki's expansionals, quantum belief propagation and cluster expansions.