This paper delves into a fundamental aspect of quantum statistical mechanics—the absence of thermal phase transitions in one-dimensional (1D) systems. Originating from Ising’s analysis of the 1D spin chain, this concept has been pivotal in understanding 1D quantum phases, especially those with finite-range interactions, as extended by Araki. In this work, we focus on quantum long-range interactions and successfully derive a clustering theorem applicable to a wide range of interaction decays at arbitrary temperatures. This theorem applies to any interaction forms that decay faster than $$r^{-2}$$ and does not rely on translation invariance or infinite system size assumptions. Also, we rigorously established that the temperature dependence of the correlation length is given by $$e^{\mathrm{const.} \beta }$$ , which is the same as the classical cases. Our findings indicate the absence of phase transitions in 1D systems with super-polynomially decaying interactions, thereby expanding upon previous theoretical research. To overcome significant technical challenges originating from the divergence of the imaginary-time Lieb–Robinson bound, we utilize the quantum belief propagation to refine the cluster expansion method. This approach allowed us to address divergence issues effectively and contributed to a deeper understanding of low-temperature behaviors in 1D quantum systems.
This paper delves into a fundamental aspect of quantum statistical mechanics—the absence of thermal phase transitions in one-dimensional (1D) systems. Originating from Ising’s analysis of the 1D spin chain, this concept has been pivotal in understanding 1D quantum phases, especially those with finite-range interactions, as extended by Araki. In this work, we focus on quantum long-range interactions and successfully derive a clustering theorem applicable to a wide range of interaction decays at arbitrary temperatures. This theorem applies to any interaction forms that decay faster than r−2 and does not rely on translation invariance or infinite system size assumptions. Also, we rigorously established that the temperature dependence of the correlation length is given by econst.β , which is the same as the classical cases. Our findings indicate the absence of phase transitions in 1D systems with super-polynomially decaying interactions, thereby expanding upon previous theoretical research. To overcome significant technical challenges originating from the divergence of the imaginary-time Lieb–Robinson bound, we utilize the quantum belief propagation to refine the cluster expansion method. This approach allowed us to address divergence issues effectively and contributed to a deeper understanding of low-temperature behaviors in 1D quantum systems.
The Lieb-Robinson bound shows that the speed of propagating information in a nonrelativistic quantum lattice system is bounded by a finite velocity, which entails the clustering of correlations. In this paper, we extend the Lieb-Robinson bound to quantum systems at finite temperature by calculating the dynamical correlation function at nonzero temperature for systems whose interactions are, respectively, short range, exponentially decaying, and long range. We introduce a simple way of counting the clusters in a cluster expansion by using the combinatoric generating functions of graphs. Limitations and possible applications of the obtained bound are also discussed.
Quantum Mechanics was established as the theory of the microscopic world, which allowed to understand processes in atoms and molecules. Its emergence led to a new scientific paradigm that quickly spread to different research fields. Two relevant examples are Quantum Thermodynamics and Quantum Many-Body Theory, where the former aims to characterize thermodynamic processes in quantum systems and the latter intends to understand the properties of quantum many-body systems. In this thesis, we tackle some of the questions in the overlap between these disciplines, focusing on the concepts of temperature and correlations. Specifically, it contains results on the following topics: locality of temperature, correlations in long-range interacting systems and thermometry at low temperature. The problem of locality of temperature is considered for a system at thermal equilibrium and consists in studying whether it is possible to assign a temperature to any of the subsystems of the global system such that both local and global temperatures are equal. We tackle this problem in two different settings, for generic one-dimensional spin chains and for a bosonic system with a phase transition at non-zero temperature. In the first case, we consider generic one-dimensional translation-invariant spin systems with short-range interactions and prove that it is always possible to assign a local temperature equal to the global one for any temperature, including at criticality. For the second case, we consider a three-dimensional discretized version of the Bose-Einstein model at the grand canonical ensemble for some temperature and particle density, and characterize its non-zero-temperature phase transition. Then, we show that temperature is locally well-defined at any temperature and at any particle density, including at the phase transition. Additionally, we observe a qualitative relation between correlations and locality of temperature in the system. Moving to correlations, we consider fermionic two-site long-range interacting systems at thermal equilibrium. We show that correlations between anti-commutative operators at non-zero temperature are upper bounded by a function that decays polynomially with the distance and with an exponent that is equal to the interaction exponent, which characterizes the interactions in the Hamiltonian. Moreover, we show that our bound is asymptotically tight and that the results extend to density-density correlations as well as other types of correlations for quadratic and fermionic Hamiltonians with long-range interactions. Regarding the results on thermometry, we consider a bosonic model and prove that strong coupling between the probe and the system can boost the thermal sensitivity for low temperature. Furthermore, we provide a feasible measurement scheme capable of producing optimal estimates at the considered regime.
The thermal equilibrium properties of physical systems can be described using Gibbs states. It is therefore of great interest to know when such states allow for an easy description. In particular, this is the case if correlations between distant regions are small. In this work, we consider 1D quantum spin systems with local, finite-range, translation-invariant interactions at any temperature. In this setting, we show that Gibbs states satisfy uniform exponential decay of correlations and, moreover, the mutual information between two regions decays exponentially with their distance, irrespective of the temperature. In order to prove the latter, we show that exponential decay of correlations of the infinite-chain thermal states, exponential uniform clustering and exponential decay of the mutual information are equivalent for 1D quantum spin systems with local, finite-range interactions at any temperature. In particular, Araki's seminal results yields that the three conditions hold in the translation-invariant case. The methods we use are based on the Belavkin-Staszewski relative entropy and on techniques developed by Araki. Moreover, we find that the Gibbs states of the systems we consider are superexponentially close to saturating the data-processing inequality for the Belavkin-Staszewski relative entropy.
It is a generalized belief that there are no thermal phase transitions in short range 1D quantum systems. However, the only known case for which this is rigorously proven is for the particular case of finite range translational invariant interactions. The proof was obtained by Araki in his seminal paper of 1969 as a consequence of pioneering locality estimates for the time-evolution operator that allowed him to prove its analiticity on the whole complex plane, when applied to a local observable. However, as for now there is no mathematical proof of the abscence of 1D thermal phase transitions if one allows exponential tails in the interactions. In this work we extend Araki's result to include exponential (or faster) tails. Our main result is the analyticity of the time-evolution operator applied on a local observable on a suitable strip around the real line. As a consequence we obtain that thermal states in 1D exhibit exponential decay of correlations above a threshold temperature that decays to zero with the exponent of the interaction decay, recovering Araki's result as a particular case. Our result however still leaves open the possibility of 1D thermal short range phase transitions. We conclude with an application of our result to the spectral gap problem for Projected Entangled Pair States (PEPS) on 2D lattices, via the holographic duality due to Cirac et al.
At high temperature, quantum Gibbs states retain several classical features of the maximally mixed state: the absence of entanglement, the absence of magic, analyticity of the partition function, correlation decay, and algorithmic tractability. We prove new and sharp bounds showing that these features persist down to finite temperatures independent of system size, but fail at distinct inverse-temperature scales, forming a hierarchy of classical-to-quantum transitions. Our results hold for long-range Pauli interactions with bounded strength at every site. Despite such all-to-all interactions, we show that the death of entanglement occurs at constant temperature, resolving an open question of Rouze, Franca and Alhambra (STOC'25). We give a polynomial-time classical algorithm that prepares Gibbs states up to the death of entanglement transition. Notably, this is asymptotically colder than temperatures at which quantum Gibbs samplers are known to mix quickly, as well as the original separability temperature of Bakshi et al. (FOCS'24), which we improve to be tight up to constants. At asymptotically even colder temperatures, we show that the Gibbs state remains in the thermodynamic infinite-temperature phase. We give polynomial-time classical algorithms for estimating thermal expectations up to the phase transition (despite both entanglement and magic), and as a corollary resolve a correlation decay conjecture of Harrow, Mehraban and Soleimanifar (STOC'20).
Long-range quantum systems, in which the interactions decay as 1 / r α , are of increasing interest due to the variety of experimental setups in which they naturally appear. Motivated by this, we study fundamental properties of long-range spin systems in thermal equilibrium, focusing on the weak regime of α > D . Our main result is a proof of analyticity of their partition functions at high temperatures, which allows us to construct a classical algorithm with subexponential runtime exp ( O ( log 2 ( N / ϵ ) ) ) that approximates the log-partition function to small additive error ϵ . As by-products, we establish the equivalence of ensembles and the Gaussianity of the density of states, which we verify numerically in both the weak and strong long-range regimes. This also yields constraints on the appearance of various classes of phase transitions, including thermal, dynamical, and excited-state ones. Our main technical contribution is the extension to the quantum long-range regime of the convergence criterion for cluster expansions of Kotecký and Preiss.