Quantum thermodynamics is traditionally formulated as a theory of equilibrium states and state transformations. Recent advances in higher-order quantum transformations, which describe physical scenarios beyond states and channels and provide a systematic framework for causal order, raise the question of how equilibrium should be defined and preserved in this more general setting. Starting from the Gibbs state as the unique equilibrium state, we identify equilibrium preservation as its natural higher-order extension. We show that, while this principle can in general give rise to distinct classes of transformations, all such distinctions disappear when equilibrium preservation is required completely, namely under arbitrary ancillary extensions. Remarkably, every transformation satisfying this condition is causally ordered, making causal order an emergent consequence of thermodynamic equilibrium. We establish this result for arbitrary higher-order maps and use the resulting framework to introduce free-energy-like quantities for quantum channels. Our findings reveal a fundamental connection between thermodynamic equilibrium and causal structure, providing a foundation for a fully fledged theory of higher-order quantum thermodynamics.
Quantum thermodynamics is traditionally formulated as a theory of equilibrium states and state transformations. Recent advances in higher-order quantum transformations, which describe physical scenarios beyond states and channels and provide a systematic framework for causal order, raise the question of how equilibrium should be defined and preserved in this more general setting. Starting from the Gibbs state as the unique equilibrium state, we identify equilibrium preservation as its natural higher-order extension. We show that, while this principle can in general give rise to distinct classes of transformations, all such distinctions disappear when equilibrium preservation is required completely, namely under arbitrary ancillary extensions. Remarkably, every transformation satisfying this condition is causally ordered, making causal order an emergent consequence of thermodynamic equilibrium. We establish this result for arbitrary higher-order maps and use the resulting framework to introduce free-energy-like quantities for quantum channels. Our findings reveal a fundamental connection between thermodynamic equilibrium and causal structure, providing a foundation for a fully fledged theory of higher-order quantum thermodynamics.
Higher-order quantum theory is an extension of quantum theory where one introduces transformations whose input and output are transformations, thus generalizing the notion of channels and quantum operations. The generalization then goes recursively, with the construction of a full hierarchy of maps of increasingly higher order. The analysis of special cases already showed that higher-order quantum functions exhibit features that cannot be tracked down to the usual circuits, such as indefinite causal structures, providing provable advantages over circuital maps. The present treatment provides a general framework where this kind of analysis can be carried out in full generality. The hierarchy of higher-order quantum maps is introduced axiomatically with a formulation based on the language of types of transformations. Complete positivity of higher-order maps is derived from the general admissibility conditions instead of being postulated as in previous approaches. The recursive characterization of convex sets of maps of a given type is used to prove equivalence relations between different types. The axioms of the framework do not refer to the specific mathematical structure of quantum theory, and can therefore be exported in the context of any operational probabilistic theory.
Many fundamental and key objects in quantum mechanics are linear mappings between particular affine/linear spaces. This structure includes basic quantum elements such as states, measurements, channels, instruments, non-signalling channels and channels with memory, and also higher-order operations such as superchannels, quantum combs, n-time processes, testers, and process matrices which may not respect a definite causal order. Deducing and characterising their structural properties in terms of linear and semidefinite constraints is not only of foundational relevance, but plays an important role in enabling the numerical optimisation over sets of quantum objects and allowing simpler connections between different concepts and objects. Here, we provide a general framework to deduce these properties in a direct and easy to use way. While primarily guided by practical quantum mechanical considerations, we also extend our analysis to mappings between general linear/affine spaces and derive their properties, opening the possibility for analysing sets which are not explicitly forbidden by quantum theory, but are still not much explored. Together, these results yield versatile and readily applicable tools for all tasks that require the characterisation of linear transformations, in quantum mechanics and beyond. As an application of our methods, we discuss how the existence of indefinite causality naturally emerges in higher-order quantum transformations and provide a simple strategy for the characterisation of mappings that have to preserve properties in a 'complete' sense, i.e., when acting non-trivially only on parts of an input space.
This thesis reports progress in two domains, causal structures and microscopic thermodynamics, both of which are pertinent in the development of quantum technologies. The first part is dedicated to the analysis of causal structure, which encodes the relationship between observed variables, in general restricting the set of possible correlations between them. Our considerations rely on a recent entropy vector method. Based on this, we develop techniques for deriving entropic constraints to differentiate between causal structures. We provide sufficient conditions for entropy vectors to be realisable within a causal structure and derive new, improved necessary conditions in terms of so-called non-Shannon inequalities. We also report that for a family of causal structures, including the bipartite Bell scenario and the bilocal causal structure, entropy vectors are unable to distinguish between classical and quantum causes, in spite of the existence of quantum correlations that are not classically reproducible. Hence, further development is needed in order to understand cause from a quantum perspective. In the second part we explore an axiomatic framework for modelling error-tolerant processes in microscopic thermodynamics. Our axiomatisation allows for the accommodation of finite precision levels, crucial for describing experiments in the microscopic regime. It leads to the emergence of manageable quantities that give insights into the feasibility and expenditure of processes, which for adiabatic processes are shown to be smooth entropy measures. Our framework also leads to thermodynamic behaviour at the macroscopic scale, meaning that for thermodynamic equilibrium states a unique function provides necessary and sufficient conditions for state transformations, like in the traditional second law.
We investigate fundamental connections between thermodynamics and quantum information theory. First, we show that the operational framework of thermal operations is nonequivalent to the framework of Gibbs-preserving maps, and we comment on this gap. We then introduce a fully information-theoretic framework generalizing the above by making further abstraction of physical quantities such as energy. It is technically convenient to work with and reproduces known results for finite-size quantum thermodynamics. With our framework we may determine the minimal work cost of implementing any logical process. In the case of information processing on memory registers with a degenerate Hamiltonian, the answer is given by the max-entropy, a measure of information known from quantum information theory. In the general case, we obtain a new information measure, the "coherent relative entropy", which generalizes both the conditional entropy and the relative entropy. It satisfies a collection of properties which justifies its interpretation as an entropy measure and which connects it to known quantities. We then present how, from our framework, macroscopic thermodynamics emerges by typicality, after singling out an appropriate class of thermodynamic states possessing some suitable reversibility property. A natural thermodynamic potential emerges, dictating possible state transformations, and whose differential describes the physics of the system. The textbook thermodynamics of a gas is recovered as well as the form of the second law relating thermodynamic entropy and heat exchange. Finally, noting that quantum states are relative to the observer, we see that the procedure above gives rise to a natural form of coarse-graining in quantum mechanics: Each observer can consistently apply the formalism of quantum information according to their own fundamental unit of information.
A central open question in quantum thermodynamics is the identification of thermodynamic entropy away from equilibrium. Although thermodynamic entropy coincides with the von Neumann entropy for a Gibbs state at equilibrium, the thermodynamic role of quantum coherence generated during nonequilibrium evolution remains unclear. Here, we show that von Neumann entropy does not, in general, represent the thermodynamic entropy governing heat exchange in coherent nonequilibrium quantum systems. By integrating the resource theory of quantum coherence with thermodynamic principles, we develop a general framework for nonequilibrium quantum thermodynamics. We identify thermodynamic entropy with the energy entropy derived from energy-measurement statistics and introduce a dynamical temperature extending the equilibrium concept to nonequilibrium states. Consequently, we obtain an exact entropy-balance relation separating the entropy flux associated with heat exchange from the coherence-loss contribution to entropy production, establishing an operational connection between quantum coherence, heat flow, and total entropy change. Unlike approaches relying on equilibrium reference states or stationary Gibbs ensembles, our framework uses instantaneous dynamical quantities and remains valid throughout transient nonequilibrium evolution. It provides consistent dynamical definitions of temperature, work, heat, and free energy. Applying the formalism to an exactly solvable open quantum system, we show that the first and second laws hold throughout transient evolution and that equilibrium thermodynamics emerges dynamically in the weak-coupling long-time limit. Our results establish a unified framework for coherent nonequilibrium quantum thermodynamics and suggest opportunities for controlling heat dissipation through coherence engineering in quantum thermal technologies.
Recently, there has been substantial interest in studying the dynamics of quantum theory beyond that of states, in particular, the dynamics of channels, measurements, and higher-order transformations. Castro-Ruiz et al. pursues this using the process-matrix formalism, together with a definition of the possible dynamics of such process matrices, and focusing especially on the question of evolution of causal structures. One of its major conclusions is a strong theorem saying that within the formalism, under continuous and reversible transformations, the causal order between operations must be preserved. Our result here challenges that of Castro-Ruiz et al.: if one is to take into account a full picture of the physical evolution of operations within the standard quantum-mechanical formalism, then the conclusion of Castro-Ruiz et al. does not hold. That is, we show that under certain continuous and reversible dynamics, the causal order between operations is not necessarily preserved. We moreover identify and analyse the root of this apparent contradiction, specifically, that the commonly accepted and widely applied framework of higher-order processes, whilst mathematically sound, is not always appropriate for drawing conclusions on physical dynamics. Finally, we show how to reconcile the elements of the whole picture following the intuition based on entanglement processing by local operations and classical communication.