Journal of Physics A: Mathematical and Theoretical

This topical review article gives an overview of the interplay between quantum information theory and thermodynamics of quantum systems. We focus on several trending topics including the foundations of statistical mechanics, resource theories, entanglement in thermodynamic settings, fluctuation theorems and thermal machines. This is not a comprehensive review of the diverse field of quantum thermodynamics; rather, it is a convenient entry point for the thermo-curious information theorist. Furthermore this review should facilitate the unification and understanding of different interdisciplinary approaches emerging in research groups around the world.

The curse of dimensionality associated with the Hilbert space of spin systems provides a significant obstruction to the study of condensed matter systems. Tensor networks have proven an important tool in attempting to overcome this difficulty in both the numerical and analytic regimes.

These notes form the basis for a seven lecture course, introducing the basics of a range of common tensor networks and algorithms. In particular, we cover: introductory tensor network notation, applications to quantum information, basic properties of matrix product states, a classification of quantum phases using tensor networks, algorithms for finding matrix product states, basic properties of projected entangled pair states, and multiscale entanglement renormalisation ansatz states.

The lectures are intended to be generally accessible, although the relevance of many of the examples may be lost on students without a background in many-body physics/quantum information. For each lecture, several problems are given, with worked solutions in an ancillary file.

The properties of zero modes in particle-hole symmetric systems are analyzed in the presence of strong random scattering by a disordered environment. The study is based on the calculation of the time-averaged density distribution on a lattice. In particular, a flat distribution is found for strong random scattering. This result is compared with a decaying distribution for weak random scattering by an analysis of the scattering paths. In the calculation we consider the invariant measure of the average two-particle Green’s function, which is related to lattice-covering self-avoiding (LCSA) strings. In particular, strong scattering is associated with LCSA loops, whereas weaker scattering is associated with open LCSA strings. Our results are a generalization of the delocalized state observed at the band center of a one-dimensional tight-binding model with random hopping by Dyson (1953 Phys. Rev. 92 1331).

Correlations lie at the heart of almost all scientific predictions. It is therefore of interest to ask whether there exist general limitations to the amount of correlations that can be created at a finite amount of invested energy. Within quantum thermodynamics such limitations can be derived from first principles. In particular, it can be shown that establishing correlations between initially uncorrelated systems in a thermal background has an energetic cost. This cost, which depends on the system dimension and the details of the energy-level structure, can be bounded from below but whether these bounds are achievable is an open question. Here, we put forward a framework for studying the process of optimally correlating identical (thermal) quantum systems. The framework is based on decompositions into subspaces that each support only states with diagonal (classical) marginals. Using methods from stochastic majorisation theory, we show that the creation of correlations at minimal energy cost is possible for all pairs of three- and four-dimensional quantum systems. For higher dimensions we provide sufficient conditions for the existence of such optimally correlating operations, which we conjecture to exist in all dimensions.

Lévy flights are paradigmatic generalised random walk processes, in which the independent stationary increments—the ‘jump lengths’—are drawn from an -stable jump length distribution with long-tailed, power-law asymptote. As a result, the variance of Lévy flights diverges and the trajectory is characterised by occasional extremely long jumps. Such long jumps significantly decrease the probability to revisit previous points of visitation, rendering Lévy flights efficient search processes in one and two dimensions. To further quantify their precise property as random search strategies we here study the first-passage time properties of Lévy flights in one-dimensional semi-infinite and bounded domains for symmetric and asymmetric jump length distributions. To obtain the full probability density function of first-passage times for these cases we employ two complementary methods. One approach is based on the space-fractional diffusion equation for the probability density function, from which the survival probability is obtained for different values of the stable index and the skewness (asymmetry) parameter . The other approach is based on the stochastic Langevin equation with -stable driving noise. Both methods have their advantages and disadvantages for explicit calculations and numerical evaluation, and the complementary approach involving both methods will be profitable for concrete applications. We also make use of the Skorokhod theorem for processes with independent increments and demonstrate that the numerical results are in good agreement with the analytical expressions for the probability density function of the first-passage times.

We investigate the long-time behavior of quantum N-level systems that are coupled to a Markovian environment and subject to periodic driving. As our main result, we obtain a general algebraic condition ensuring that all solutions of a periodic quantum master equation with Lindblad form approach a unique limit cycle. Quite intuitively, this criterion requires that the dissipative terms of the master equation connect all subspaces of the system Hilbert space during an arbitrarily small fraction of the cycle time. Our results provide a natural extension of Spohn’s algebraic condition for the approach to equilibrium to systems with external driving. Moreover, our theory leads to a rigorous condition for the emergence of dissipative discrete time crystals and covers also classical, periodically modulated Markov jump processes.

Many quantum statistical models are most conveniently formulated in terms of non-orthogonal bases. This is the case, for example, when mixtures and superpositions of coherent states are involved. In these instances, we show that the analytical evaluation of the quantum Fisher information matrix may be greatly simplified by avoiding both the diagonalization of the density matrix and the orthogonalization of the basis. The key ingredient in our method is the Gramian matrix (i.e. the matrix of scalar products between basis elements), which may be interpreted as a metric tensor for index contraction. As an application, we derive novel analytical results for several estimation problems involving noisy Schrödinger cat states.

We state and prove four types of Lieb–Robinson bounds valid for many-body open quantum systems with power law decaying interactions undergoing out of equilibrium dynamics. We also provide an introductory and self-contained discussion of the setting and tools necessary to prove these results. The results found here apply to physical systems in which both long-ranged interactions and dissipation are present, as commonly encountered in certain quantum simulators, such as Rydberg systems or Coulomb crystals formed by ions.

Probably not.

One of the central concerns of computer science is how the resources needed to perform a given computation depend on that computation. Moreover, one of the major resource requirements of computers—ranging from biological cells to human brains to high-performance (engineered) computers—is the energy used to run them, i.e. the thermodynamic costs of running them. Those thermodynamic costs of performing a computation have been a long-standing focus of research in physics, going back (at least) to the early work of Landauer, in which he argued that the thermodynamic cost of erasing a bit in any physical system is at least .

One of the most prominent aspects of computers is that they are inherently non-equilibrium systems. However, the research by Landauer and co-workers was done when non-equilibrium statistical physics was still in its infancy, requiring them to rely on equilibrium statistical physics. This limited the breadth of issues this early research could address, leading them to focus on the number of times a bit is erased during a computation—an issue having little bearing on the central concerns of computer science theorists.

Since then there have been major breakthroughs in nonequilibrium statistical physics, leading in particular to the new subfield of ‘stochastic thermodynamics’. These breakthroughs have allowed us to put the thermodynamic analysis of bit erasure on a fully formal (nonequilibrium) footing. They are also allowing us to investigate the myriad aspects of the relationship between statistical physics and computation, extending well beyond the issue of how much work is required to erase a bit.

In this paper I review some of this recent work on the ‘stochastic thermodynamics of computation’. After reviewing the salient parts of information theory, computer science theory, and stochastic thermodynamics, I summarize what has been learned about the entropic costs of performing a broad range of computations, extending from bit erasure to loop-free circuits to logically reversible circuits to information ratchets to Turing machines. These results reveal new, challenging engineering problems for how to design computers to have minimal thermodynamic costs. They also allow us to start to combine computer science theory and stochastic thermodynamics at a foundational level, thereby expanding both.

One of the most widely known building blocks of modern physics is Heisenberg’s indeterminacy principle. Among the different statements of this fundamental property of the full quantum mechanical nature of physical reality, the uncertainty relation for energy and time has a special place. Its interpretation and its consequences have inspired continued research efforts for almost a century. In its modern formulation, the uncertainty relation is understood as setting a fundamental bound on how fast any quantum system can evolve. In this topical review we describe important milestones, such as the Mandelstam–Tamm and the Margolus–Levitin bounds on the quantum speed limit, and summarise recent applications in a variety of current research fields—including quantum information theory, quantum computing, and quantum thermodynamics amongst several others. To bring order and to provide an access point into the many different notions and concepts, we have grouped the various approaches into the minimal time approach and the geometric approach, where the former relies on quantum control theory, and the latter arises from measuring the distinguishability of quantum states. Due to the volume of the literature, this topical review can only present a snapshot of the current state-of-the-art and can never be fully comprehensive. Therefore, we highlight but a few works hoping that our selection can serve as a representative starting point for the interested reader.

This review is dedicated to recent progress in the active field of rogue waves, with an emphasis on the analytical prediction of versatile rogue wave structures in scalar, vector, and multidimensional integrable nonlinear systems. We first give a brief outline of the historical background of the rogue wave research, including referring to relevant up-to-date experimental results. Then we present an in-depth discussion of the scalar rogue waves within two different integrable frameworks—the infinite nonlinear Schrödinger (NLS) hierarchy and the general cubic-quintic NLS equation, considering both the self-focusing and self-defocusing Kerr nonlinearities. We highlight the concept of chirped Peregrine solitons, the baseband modulation instability as an origin of rogue waves, and the relation between integrable turbulence and rogue waves, each with illuminating examples confirmed by numerical simulations. Later, we recur to the vector rogue waves in diverse coupled multicomponent systems such as the long-wave short-wave equations, the three-wave resonant interaction equations, and the vector NLS equations (alias Manakov system). In addition to their intriguing bright–dark dynamics, a series of other peculiar structures, such as coexisting rogue waves, watch-hand-like rogue waves, complementary rogue waves, and vector dark three sisters, are reviewed. Finally, for practical considerations, we also remark on higher-dimensional rogue waves occurring in three closely-related (2  +  1)D nonlinear systems, namely, the Davey–Stewartson equation, the composite (2  +  1)D NLS equation, and the Kadomtsev–Petviashvili I equation. As an interesting contrast to the peculiar X-shaped light bullets, a concept of rogue wave bullets intended for high-dimensional systems is particularly put forward by combining contexts in nonlinear optics.

The large-scale properties of homogeneous states after quantum quenches in integrable systems have been successfully described by a semiclassical picture of moving quasiparticles. Here we consider the generalisation for the entanglement evolution after an inhomogeneous quench in noninteracting systems in the framework of generalised hydrodynamics. We focus on the protocol where two semi-infinite halves are initially prepared in different states and then joined together, showing that a proper generalisation of the quasiparticle picture leads to exact quantitative predictions. If the system is initially prepared in a quasistationary state, we find that the entanglement entropy is additive and it can be computed by means of generalised hydrodynamics. Conversely, additivity is lost when the initial state is not quasistationary; yet the entanglement entropy in the large-scale limit can be exactly predicted in the quasiparticle picture, provided that the initial state is low entangled.

The thermodynamic uncertainty relation expresses a universal trade-off between precision and entropy production, which applies in its original formulation to current observables in steady-state systems. We generalize this relation to periodically time-dependent systems and, relatedly, to a larger class of inherently time-dependent current observables. In the context of heat engines or molecular machines, our generalization applies not only to the work performed by constant driving forces, but also to the work performed while changing energy levels. The entropic term entering the generalized uncertainty relation is the sum of local rates of entropy production, which are modified by a factor that refers to an effective time-independent probability distribution. The conventional form of the thermodynamic uncertainty relation is recovered for a time-independently driven steady state and, additionally, in the limit of fast driving. We illustrate our results for a simple model of a heat engine with two energy levels.

Entropy production of an active particle in an external potential is identified through a thermodynamically consistent minimal lattice model that includes the chemical reaction providing the propulsion and ordinary translational noise. In the continuum limit, a unique expression follows, comprising a direct contribution from the active process and an indirect contribution from ordinary diffusive motion. From the corresponding Langevin equation, this physical entropy production cannot be inferred through the conventional, yet here ambiguous, comparison of forward and time-reversed trajectories. Generalizations to several interacting active particles and passive particles in a bath of active ones are presented explicitly, further ones are briefly indicated.

Dynamical mean field theory (DMFT) is a tool that allows one to analyze the stochastic dynamics of N interacting degrees of freedom in terms of a self-consistent 1-body problem. In this work, focusing on models of ecosystems, we present the derivation of DMFT through the dynamical cavity method, and we develop a method for solving it numerically. Our numerical procedure can be applied to a large variety of systems for which DMFT holds. We implement and test it for the generalized random Lotka–Volterra model, and show that complex dynamical regimes characterized by chaos and aging can be captured and studied by this framework.

Thermodynamics of quantum systems out-of-equilibrium is very important for the progress of quantum technologies, however, the effects of many-body interactions and their interplay with temperature, different drives and dynamical regimes is still largely unknown. Here we present a systematic study of these interplays in the case of driven Hubbard chains subject to a variety of interaction (from non-interacting to strongly correlated) and dynamical regimes (from sudden quench to quasi-adiabatic), and discuss which effects all these ingredients have on the work extraction and entropy production. As treatment of many-body interacting systems is highly challenging, we introduce a simple approximation which includes, for the average quantum work, many-body interactions only via the initial state, while the dynamics is fully non-interacting. We demonstrate that this simple approximation is surprisingly good for estimating both the average quantum work and the related entropy production, even when many-body correlations are significant.

An infinite family of exact solutions of the two-photon Rabi model was found by investigating the differential algebraic properties of the Hamiltonian. This family corresponds to energy level crossings not covered by the Juddian class, which is given by elemetary functions. In contrast, the new states are expressible in terms of parabolic cylinder or Bessel functions. We discuss three approaches for discovering this hidden structure: factorization of differential equations, Kimura transformation, and a doubly-infinite, transcendental basis of the Bargmann space.

Searching for a signal-emitting source in a turbulent medium is challenging due to sporadic and intermittent measurements. Individual searching agents through sharing information and collaboration can achieve a very effective, flexible and noise-tolerant search in turbulent environments. In this work, by extending the single-agent infotaxis to multi-agent systems, a collaborative infotaxis strategy is proposed to synthesize the spatio-temporal sensing capabilities of a group of agents and optimize the search time. Each agent adjusts its coupling strength with conspecifics and incorporates the conspecific’s observations with dynamic heterogeneous weights according to cognition differences. The cognition difference between agents is measured by the dissimilarity of probability maps. When each agent determines its actions by maximizing the synthesized information of the group, efficient and flexible search behaviors of the group are manifested in various scenarios. The proposed strategy can provide an efficient approach to the investigation of the collaborative behaviors of biological species.

For a system in contact with several reservoirs r at different inverse-temperatures , we describe how the Markov jump dynamics with the generalized detailed balance condition can be analyzed via a statistical physics approach of dynamical trajectories over a long time interval . The relevant intensive variables are the time-empirical density , that measures the fractions of time spent in the various configurations , and the time-empirical jump densities , that measure the frequencies of jumps from configuration to configuration when it is the reservoir r that furnishes or absorbs the corresponding energy difference ( ).

We consider the symmetry resolved Rényi entropies in the one dimensional tight binding model, equivalent to the spin-1/2 XX chain in a magnetic field. We exploit the generalised Fisher–Hartwig conjecture to obtain the asymptotic behaviour of the entanglement entropies with a flux charge insertion at leading and subleading orders. The contributions are found to exhibit a rich structure of oscillatory behaviour. We then use these results to extract the symmetry resolved entanglement, determining exactly all the non-universal constants and logarithmic corrections to the scaling that are not accessible to the field theory approach. We also discuss how our results are generalised to a one-dimensional free fermi gas.

We investigate an original family of quantum distinguishability problems, where the goal is to perfectly distinguish between M quantum states that become identical under a completely decohering map. Similarly, we study distinguishability of M quantum channels that cannot be distinguished when one is restricted to decohered input and output states. The studied problems arise naturally in the presence of a superselection rule, allow one to quantify the amount of information that can be encoded in phase degrees of freedom (coherences), and are related to time-energy uncertainty relation. We present a collection of results on both necessary and sufficient conditions for the existence of M perfectly distinguishable states (channels) that are classically indistinguishable.

The properties of zero modes in particle-hole symmetric systems are analyzed in the presence of strong random scattering by a disordered environment. The study is based on the calculation of the time-averaged density distribution on a lattice. In particular, a flat distribution is found for strong random scattering. This result is compared with a decaying distribution for weak random scattering by an analysis of the scattering paths. In the calculation we consider the invariant measure of the average two-particle Green’s function, which is related to lattice-covering self-avoiding (LCSA) strings. In particular, strong scattering is associated with LCSA loops, whereas weaker scattering is associated with open LCSA strings. Our results are a generalization of the delocalized state observed at the band center of a one-dimensional tight-binding model with random hopping by Dyson (1953 Phys. Rev. 92 1331).

We study the quantum evolution under the combined action of the exponentials of two not necessarily commuting operators. We consider the limit in which the two evolutions alternate at infinite frequency. This case appears in a plethora of situations, both in physics (Feynman integral) and mathematics (product formulas). We focus on the case in which the two evolution times are scaled differently in the limit and generalize standard techniques and results.

We investigate the long-time behavior of quantum N-level systems that are coupled to a Markovian environment and subject to periodic driving. As our main result, we obtain a general algebraic condition ensuring that all solutions of a periodic quantum master equation with Lindblad form approach a unique limit cycle. Quite intuitively, this criterion requires that the dissipative terms of the master equation connect all subspaces of the system Hilbert space during an arbitrarily small fraction of the cycle time. Our results provide a natural extension of Spohn’s algebraic condition for the approach to equilibrium to systems with external driving. Moreover, our theory leads to a rigorous condition for the emergence of dissipative discrete time crystals and covers also classical, periodically modulated Markov jump processes.

We discuss some physical consequences of the resurgent structure of Painlevé equations and their related conformal block expansions. The resurgent structure of Painlevé equations is particularly transparent when expressed in terms of physical conformal block expansions of the associated tau functions. Resurgence produces an intricate network of inter-relations; some between expansions around different critical points, others between expansions around different instanton sectors of the expansions about the same critical point, and others between different non-perturbative sectors of associated spectral problems, via the Bethe-gauge and Painlevé-gauge correspondences. Resurgence relations exist both for convergent and divergent expansions, and can be interpreted in terms of the physics of phase transitions. These general features are illustrated with three physical examples: correlators of the 2d Ising model, the partition function of the Gross–Witten–Wadia matrix model, and the full counting statistics of one dimensional fermions, associated with Painlevé VI, Painlevé III and Painlevé V, respectively.

Phylogenetics is the suite of mathematical and computational methods which provide biologists with the means to infer past evolutionary relationships between observed species. The aim of this review is to present and analyze the probabilistic models of mathematical phylogenetics which have been intensively used in recent years, as the foundations on which the practical implementations are based. We outline the development of theoretical phylogenetics, from the earliest studies based on morphological characters, through to the use of molecular data in a wide variety of forms. We bring the lens of mathematical physics to bear on the formulation of theoretical models, focussing on the applicability of many methods from the toolkit of that tradition—techniques of groups and representations to guide model specification and to exploit the multilinear setting of the models in the presence of underlying symmetries; extensions to coalgebraic properties of the generators associated to rate matrices underlying the models, and possibilities to marry these with the graphical structures (trees and networks) which form the search space for inferring evolutionary trees.

Particular aspects which we wish to present to a readership accustomed to thinking from physics, include relating model classes to structural data on relevant matrix Lie algebras, as well as using manipulations with group characters (especially the operation of plethysm, for computing tensor powers) to enumerate various natural polynomial invariants, which can be enormously helpful in tying down robust, low-parameter quantities for use in inference (some of which have only come to light through our perspective). Above all, we wish to emphasize the many features of multipartite entanglement which are shared between descriptions of quantum states on the physics side, and the multi-way tensor probability arrays arising in phylogenetics. In some instances, well-known objects such as the Cayley hyperdeterminant (the ‘tangle’) can be directly imported into the formalism—in this case, for models with binary character traits, and for providing information about triplets of taxa. In other cases new objects appear, such as the remarkable ‘squangle’ invariants for quartet tree discrimination, which for DNA data are of quintic degree, with their own unique interpretation in the phylogenetic modelling context. All this hints strongly at the natural and universal presence of entanglement as a phenomenon which reaches across disciplines. We hope that this broad perspective may in turn furnish new insights of use in physics.

The Sachdev–Ye–Kitaev (SYK) model is a strongly coupled, quantum many-body system that is chaotic, nearly conformally invariant, and exactly solvable. This remarkable and, to date, unique combination of properties have driven the intense activity surrounding the SYK model and its applications within both high energy and condensed matter physics. In this review we give an introduction to the SYK model and recent developments connected to it. We discuss: SYK and tensor models as a new class of large N quantum field theories, the near-conformal invariance in the infrared, the computation of correlation functions, generalizations of the SYK model, and applications to AdS/CFT and strange metals.

Controlling and measuring the temperature in different devices and platforms that operate in the quantum regime is, without any doubt, essential for any potential application. In this review, we report the most recent theoretical developments dealing with accurate estimation of very low temperatures in quantum systems. Together with the emerging experimental techniques and developments of measurement protocols, the theory of quantum thermometry will decisively impinge and shape the forthcoming quantum technologies. While current quantum thermometric methods differ greatly depending on the experimental platform, the achievable precision, and the temperature range of interest, the theory of quantum thermometry is built under a unifying framework at the crossroads of quantum metrology, open quantum systems, and quantum many-body physics. At a fundamental level, theoretical quantum thermometry is concerned with finding the ultimate bounds and scaling laws that limit the precision of temperature estimation for systems in and out of thermal equilibrium. At a more practical level, it provides tools to formulate precise, yet feasible, thermometric protocols for relevant experimental architectures. Last but not least, the theory of quantum thermometry examines genuine quantum features, like entanglement and coherence, for their exploitation in enhanced-resolution thermometry.

One of the central concerns of computer science is how the resources needed to perform a given computation depend on that computation. Moreover, one of the major resource requirements of computers—ranging from biological cells to human brains to high-performance (engineered) computers—is the energy used to run them, i.e. the thermodynamic costs of running them. Those thermodynamic costs of performing a computation have been a long-standing focus of research in physics, going back (at least) to the early work of Landauer, in which he argued that the thermodynamic cost of erasing a bit in any physical system is at least .

One of the most prominent aspects of computers is that they are inherently non-equilibrium systems. However, the research by Landauer and co-workers was done when non-equilibrium statistical physics was still in its infancy, requiring them to rely on equilibrium statistical physics. This limited the breadth of issues this early research could address, leading them to focus on the number of times a bit is erased during a computation—an issue having little bearing on the central concerns of computer science theorists.

Since then there have been major breakthroughs in nonequilibrium statistical physics, leading in particular to the new subfield of ‘stochastic thermodynamics’. These breakthroughs have allowed us to put the thermodynamic analysis of bit erasure on a fully formal (nonequilibrium) footing. They are also allowing us to investigate the myriad aspects of the relationship between statistical physics and computation, extending well beyond the issue of how much work is required to erase a bit.

In this paper I review some of this recent work on the ‘stochastic thermodynamics of computation’. After reviewing the salient parts of information theory, computer science theory, and stochastic thermodynamics, I summarize what has been learned about the entropic costs of performing a broad range of computations, extending from bit erasure to loop-free circuits to logically reversible circuits to information ratchets to Turing machines. These results reveal new, challenging engineering problems for how to design computers to have minimal thermodynamic costs. They also allow us to start to combine computer science theory and stochastic thermodynamics at a foundational level, thereby expanding both.