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.
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.
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. La Mecánica Cuántica fue establecida como la teoría del mundo microscópico, el cual permitió entender los procesos en átomos y moléculas. Su nacimiento llevo a un nuevo paradigma científico que se propagó rápidamente a otros campos de investigación. Dos ejemplos relevantes son la Termodinámica Cuántica y la Teoría Cuántica de muchos cuerpos, donde la primera pretende caracterizar los procesos termodinamicos en sistemas cuántico y la segunda intenta entender las propiedades de los sistemas cuánticos de muchos cuerpos. En esta tesis, atacamos algunas de las preguntas en la intersección entre estas disciplinas, enfocandonos en los conceptos de la temperatura y las correlaciones. Específicamente, contiene resutlados en os siguientes temas: localidad de la temperature, correlaciones en sistemas interactuantes de largo alcance y termometría a baja temperature. El problema de localidad de la temperatura es considerado para un sistema a equilibrio térmico y consiste en estudiar si es posible asignar temperature a cualquiera de los subsistemas del sistema global tal que la temperature local y global sean equivalentes. Atacamos este problemas en dos casos diferentes, for cadenas de spines genéricas y para un sistema de bosones con una transición de fase a temperature distinta a cero. En el primer caso, consideramos sistemas de espines invarantes traslacional y de una dimensión con interactions de corto alcance y provamos que siempre es posible asignar una temperature local igual a la global para cualquier temperature, incluyendo en la criticalidad. Para el segundo caso, consideramos una versión 3D y discretizada del modelo de Bose-Einstein en el estado gran canónico para alguna temperature y densidad de partículas, y caracterizamos su transición a temperatura distinta a cero. Luego, mostramos que la temperature esta localmente bien definida a cualquier temperature y cualquier densidad de partículas, incluyendo en la transición de fase. Adicionalment, observamos una relación cualitativa entre las correlaciones y la localidad de la temperature en el sistema. Moviéndonos a las correlaciones, consideramos sistemas fermiónicos de con interaction entre dos cuerpos y de largo alcance a equilibrio térmico. Mostramos que las correlations entre los operadores anti-comutativos at temperatura distinta a cero estan acotadas por arriba por una función que decae polinomiamente con la distancia y con un exponent que es igual al exponente de interacción, el cual caracteriza las interacciones en el Hamiltoniano. Además, mostrado que nuestro límite es "ajustado" asintoticamente y que los resultados se extiense a correlations entre operadores de densidad y a otros tipos de correlaciones para Hamiltonianos cuadráticos y fermiónicos con interacciones de largo alcance. Sobre los resultados en termometría, consideramos un modelo bosónico y provamos que el acoplamiento fuerte entre el termómetro y el sistema pueda incrementar la sensibilidad térmica para baja temperatura. Además, explicamos un esquema de medida accesible y capaz de producir estimación óptimas en el régimen que consideramos
Abstract While temperature is well understood as an intensive quantity in standard thermodynamics, it is less clear whether the same holds in quantum systems displaying correlations with no classical analogue. The problem lies in the fact that, under the presence of non-classical correlations, subsystems of a system in thermal equilibrium are, in general, not described by a thermal state at the same temperature as the global system and thus one cannot simply assign a local temperature to them. However, there have been identified situations in which correlations in thermal states decay sufficiently fast so that the state of their subsystems can be very well approximated by the reduced states of equilibrium systems that are only slightly bigger than the subsystems themselves, hence allowing for a valid local definition of temperature. In this work, we address the question of whether temperature is locally well defined for a bosonic system with local interactions that undergoes a phase transition at non-zero temperature. We consider a three-dimensional bosonic model in the grand canonical state and verify that a certain form of locality of temperature holds regardless of the temperature, and despite the presence of infinite-range correlations at and below the critical temperature of the phase transition.
The collective behavior exhibited by a large number of microscopic quantum particles is at the heart of some of the most striking phenomena in condensed matter physics such as Bose-Einstein condensation and superconductivity. Physicists and mathematicians have made great progress in understanding when and how these collective phenomena emerge through the interplay of particle statistics, particle interaction and the value of thermodynamic parameters like the temperature or the chemical potential. Due to the extreme complexity of realistic many-body systems, it is natural to introduce appropriate simplifications to render their analysis feasible. Three examples of such simplifications which have proven themselves as viable starting points for a fruitful and mathematically rigorous analysis of many-body systems are the following: (a) the study of integrable models; (b) the derivation of effective theories, valid on a macroscopic scale, from more fundamental microscopic theories under appropriate coarse-graining; and (c) the use of quantum information theory to understand general connections between correlation, entanglement and particle statistics. In this thesis, we present mathematically rigorous results that were obtained in these three directions. (1) We prove anomalous quantum many-body transport in XY quantum spin chains for certain choices of the external magnetic field. The anomalous transport is described via new kinds of anomalous Lieb-Robinson bounds, including one of power-law type. We note that the XY spin chain is integrable as it can be mapped to free fermions via the non-local Jordan-Wigner transformation. (2) We derive effective macroscopic theories of Ginzburg-Landau type from the microscopic BCS theory of superconductivity in certain circumstances. We study the case of a multi-component order parameter for translation-invariant systems and the condensation of fermion pairs at zero temperature in a domain with a hard boundary. (3) We use techniques from quantum information-theory to derive bounds on the entropy of fermionic reduced density matrices, a measure of the entanglement inherent to a fermionic quantum state.
Strongly correlated systems, i.e., quantum materials for which the interactions between its constituents are strong, are good candidates for the development of applications based on quantum-mechanical principles, such as quantum computers. Two paradigmatic models of strongly correlated systems are heavy-fermionic systems and one-dimensional spin-12 systems, with and without quenched disorder. In the past decade, improvement in computational methods and a vast enhancement in computational power has made it possible to study these systems in a a non-perturbative manner. In this thesis we present state-of-the-art numerical methods to investigate the properties of strongly correlated systems, and we apply these methods to solve a couple of selected problems in quantum condensed matter theory. We start by revisiting the phase diagram of the Falicov-Kimball model on the square lattice which can be considered as a heavy-fermionic systems. This model describes an interplay between conduction electrons and heavy electrons and reveals several distinct metal-insulator phase transitions. Using a lattice Monte-Carlo method, we study the transport properties of the model. Our analysis describes the role of temperature and interaction strength on the metal-insulator phase transitions in the Falicov-Kimball model. The second part of the thesis investigate the spatial structure of the entanglement in ground and thermal statesof the transverse-field Ising chain. We use the logarithmic negativity as a measure for the entanglement between two disjoint blocks. We investigate how logarithmic negativity depends on the spatial separation between two blocks, which can be viewed as the entanglement analog of a spatial correlation function. We find sharp entanglement thresholds at a critical distance beyond which the logarithmic negativity vanishes exactly and thus the two blocks become unentangled. Our results hold even in the presence of long-ranged quantum correlations, i.e., at the system’s quantum critical point. Using Time-Evolving Block Decimation (TEBD), we explore this feature as a function of temperature and size of the two blocks. We present a simple model to describe our numerical observations. In the last part of this thesis, we introduce an order parameter for a many-body localized spin-glass (MBL-SG) phase. We show that many-body localized spin-glass order can also be detected from two-site reduced density matrices, which we use to construct an eigenstate spin-glass order parameter. We find that this eigenstate spin-glass order parameter captures spin-glass phases in random Ising chains, both in many-body eigenstates as well as in the nonequilibrium dynamics, from a local in time measurement. We discuss how our results can be used to observe MBL-SG order within current experiments in Rydberg atoms and trapped ion systems.
This thesis analyses several locality properties of extended quantum lattice systems, considering both spins and fermions. We begin by assuming locality of the Hamiltonian and then discuss how this translates into locality of the time evolution and the thermal states. Starting from a local Hamiltonian, it is well known that the Heisenberg time evolution satisfies Lieb-Robinson bounds, which quantify its locality. We strengthen these bounds for long-range interacting fermions and for commuting interactions. Furthermore, we establish the first Lieb-Robinson bounds for Hamiltonians whose local terms can grow linearly away from the origin. We also prove stability of Lieb-Robinson bounds with respect to local perturbations in the Hamiltonian. For the thermal states we focus on three types of locality known as decay of correlations, the local perturbations perturb locally (LPPL) principle and local indistinguishability. As a key tool we use spectral filters, which were introduced by Hastings in the 2000s for various applications. It enable us to use Lieb-Robinson bounds to obtain information about locality properties of states. In particular, we use quantum belief propagation to prove an equivalence of decay of correlations, LPPL and local indistinguishability for Gibbs states at any positive temperature. Using the improved Lieb-Robinson bounds mentioned before, we obtain improvements for decay of correlations in the ground state, the locality of the spectral flow and LPPL for long-range interacting systems and commuting Hamiltonians. Furthermore, we adjust the filter functions to achieve exponential decay for certain applications that were previously limited to stretched exponential decay. Spectral filters are also used to rigorously justify response theory, which usually requires a gapped system to begin with. To relax this assumption, we introduce various notions of local gaps, discuss their relations and use one to justify response theory and Kubo’s formula in the absence of a global gap. In another result we use local indistinguishability as an input to prove bulk-edge correspondence at finite temperature, in the sense that the bulk magnetisation is equal to the edge current. This result has mostly been studied for non-interacting models or at zero temperature before. Finally, we present a class of weakly interacting spin systems with an on-site gap and prove that the ground state satisfies a strong form of LPPL. Moreover, we show that these systems satisfy decay of correlations and local indistinguishability uniformly in temperature.
This thesis is a collection of three exact results on correlation and response functions in integrable systems. In the first part we study transport (two-point functions) in the 1D Hubbard model. First, we analyze the limit of large on-site repulsion and characterize spin transport as a function of temperature. Then, we consider the case where the model displays non-abelian symmetries, e.g., spin SU(2), and argue that in this case transport is anomalous with dynamical scaling exponent z=3/2 and follows \acrshort{kpz} scaling. In the next two parts we focus instead on (perturbative) nonlinear response functions, which can be expressed as n-point correlators with n>2. Given the lack of a systematic understanding of the information which can be extracted from these, we compute them in integrable 1D systems. We therefore focus on two distinct scenarios. In the first scenario, we consider a finite temperature system perturbed by some inhomogeneous field coupling to local charges --- thus the perturbations can only accelerate quasiparticles, but not create/annihilate them. In this context, we develop a diagrammatic framework based on generalized hydrodynamics that allows a systematic calculation of nonlinear response functions. We show that, in the hydrodynamic limit, nonlinear response functions qualitatively distinguish between non-interacting and interacting systems. In the second scenario, we instead consider a zero temperature system whose ground state coincides with the quasiparticle vacuum. In this simpler setting we consider more general perturbations that can also create and annihilate quasiparticles. Focusing on the Ising chain as a paradigmatic model we show that the long-time limit of four-point functions (third-order response) grows linearly in time. We interpret these divergences in terms of semiclassical processes where quasiparticles propagate ballistically and scatter when their trajectories intersect.