Our research has contributed to the understanding of the foundations of thermodynamics in several ways: we have shown how thermalization can arise from quantum entanglement, we have proven that the non-equilibrium free energy has an exact operational interpretation for small systems without thermodynamic limit, and we have explored the fundamental limitations for the repeatable use of quantum resources.
Thermodynamics as a Resource Theory
In the last few years, quantum information theoretic ideas and methods have been used to study the foundations of thermodynamics from a completely new angle. Not only does this approach put thermodynamics on conceptually and mathematically rigorous grounds, but it also allows us to extend the laws of thermodynamics to regimes where the thermodynamic limit does not apply [5, 17, 18]: to small and strongly correlated (classical or quantum) systems.
This is achieved by reformulating thermodynamics as a Resource Theory: instead of analyzing how systems evolve in time (e.g. how gas molecules dynamically spread in a box), this approach views the laws of thermodynamics as consequences of an agent’s incomplete knowledge about (and control over) the physical system. For example, if we have a particle in a box, and we know whether a measurement would discover it in the left or the right half, we can insert a piston and extract work (as in a Szilard engine). On the other hand, if we don’t know, then trying to extract work will randomly lead to gain or loss. The agent's knowledge corresponds to a probability distribution or quantum state; the control restrictions (unitarity, exact preservation of energy) limit the processes that can be performed on the state, including work extraction processes.
This allows us to address questions like the following: Given any non-equilibrium quantum state, what is the maximal amount of work that we can extract with probability at least 1-ε? What kind of state transitions can be performed without spending work? What is the role of quantum coherence, correlations, or entanglement in this scenario? How are the textbook laws of thermodynamics generalized and modified in this regime, and how do they reduce to the standard laws in the thermodynamic limit [17, 18, 21]? Crucially, these questions are addressed without averaging or thermodynamic limit. Similarly as in the picture above, we can think of a "thermal machine" that acts on a single, small (quantum) system only in a single shot (and then it may act on another quantum system, one after the other).
Our group has contributed to this research program in a variety of ways. For example, we have clarified several mathematical details of the underlying "thermal operations", and have used this to explore fundamentals of the third law of thermodynamics with resource-theoretic methods . Moreover, we have discovered and initiated the study of correlated catalysis [1, 3, 4]. This is a very surprising phenomenon that yields a completely new view on quantities like the von Neumann entropy S or the Helmholtz free energy F.
To understand this phenomenon, let us first look at a standard scenario that has been studied in the resource-theoretic framework from the very beginning . Consider the left-hand side of the figure below. It describes a general setup of the resource-theroetic approach to thermodynamics: The state of a quantum system A is transformed from an initial state (dark blue) to a final state (light blue). We also have a thermal bath B (in some fixed background temperature), a "work bit" W, and a thermal machine that carries a quantum system M which we interpret as our catalyst.
The process consists of a global unitary transformation U applied to the total system ABMW. Crucially, this transformation must exactly preserve the total energy (not just on average): we demand that [U, HA+HB+HM+HW]=0. In order to implement state transitions which cost work (or, similarly, yield some work gain), we allow the work bit to move from a pure excited state to its pure ground state (or vice versa).
Furthermore, we need our machine to remain intact, since we would like to apply it to other systems in the future. Its quantum state σM should thus be exactly preserved in the process -- it should function as a catalyst. What is typically demanded in addition, however, is not only that the state of M remains exactly intact, but also that M remains uncorrelated with the system A.
Now, given any pair of initial and final states ρA and ρ'A of A, under what conditions can the initial state be transformed into the desired final state by a "catalytic thermal operation" of this form? The authors of Ref.  have found necessary and sufficient conditions for this to be possible. Let us for the moment disregard the work bit (or, equivalently, set its energy gap to zero). Then, if the final state is blockdiagonal in energy, a transition is possible if and only if
Fα(ρA) ≥ Fα(ρA') for all α≥0.
The Fα denote a family of "free-energy-like" quantities. In the case of α=1, this is exactly the non-equilibrium free energy F=U-TS, with T the background temperature of the thermal bath. This family of inequalities is known as the "many second laws" of thermodynamics. It is no surprise that the usual second law (non-increase of F) becomes supplemented by additional constraints: after all, the standard second law is a statistical law that is valid in the thermodynamic limit, but here, we are considering transformations that are performed on single copies of a quantum system.
In Ref. , we have now considered a modified scenario that is depicted on the right-hand side of the figure above: it is exactly the same scenario as before, but now, we allow correlations to build up between the machine (catalyst) M and the system A. This leaves the machine intact, and allows it to perform similar state transitions on other systems (though not on exactly the same system again). In other words, this formalizes a weaker notion of "cyclicity". It can be shown that both notions of cyclicity (with or without correlations) agree in the standard textbook thermodynamic limit, but they turn out to differ significantly in the single-copy regime that we are considering here.
In fact, as we have proven in Ref. , allowing for correlations, a transition is now possible (for arbitrary blockdiagonal nonequilibrium states) if and only if
F(ρA) ≥ F(ρ'A)
for the standard Helmholtz nonequilibrium free energy F=U-TS. In other words, this restores the validity of the "standard second law" in the regime of single-copy transformations. This is very surprising, because F and S=-tr(ρ log (ρ)) have been believed to attain their operational meaning only in the thermodynamic limit of many independent copies of a state.
Perhaps even more surprisingly, we have shown that the free-energy difference can be spent resp. extracted with an arbitrarily small amount of fluctuations (quasi-deterministically). Usually, fluctuations are "tamed" via the law of large numbers: for many copies of a state, quantities typically peak around their expectation values -- which is the basic phenomenon that allows us to derive "laws of thermodynamics" in the thermodynamic limit in the first place. Here, however, the fluctuations are in some sense "moved into the correlations", and almost-deterministic work extraction becomes possible.
No-broadcasting of coherence
Above, we have only considered states that are block-diagonal in energy. But what about states that contain coherence between distinct energy levels? Can we have a catalyst that, for example, allows us to transform an incoherent state into a coherent one while exactly preserving its own (coherent) state?
In Ref. , we have proven that the answer to this question is negative: as long as the catalyst is finite-dimensional (which is arguably necessary to allow for full control of the corresponding state transition), such transitions are impossible. This result can also be interpreted in a different way: finite quantum clocks will necessarily have to degrade if their timing information is used on other quantum systems, even if the clock is used in a particularly clever way.
Such a forbidden broadcasting process is sketched in the picture below. The system C can be interpreted as a catalyst, or as a quantum clock. A very similar result has been proven independently and almost at the same time by Iman Marvian and Rob Spekkens .
Note, however, that a version of our result of Ref.  has recently been proven for quantum states with coherence in a remarkable paper . Instead of considering thermal operations as depicted above, the authors consider the mathematically convenient, though perhaps physically slightly less motivated class of "Gibbs-preserving operations". They show that a correlated-catalytic Gibbs-preserving operation can induce a state transition if and only if F does not increase in the process, regardless of whether initial or final states contain coherence.
Von Neumann entropy from unitarity
Correlated catalysis is not only relevant in thermodynamics, but also in classical and quantum information theory. Here we have a similar phenomenon: Shannon entropy and von Neumann entropy S attain their operational meaning only in the limit of many copies of a given state. For example, Schumacher compression tells us that S gives the compression rate for quantum information sources in the limit of many identically and independently distributed instances of our quantum information source. On the other hand, for quantum information protocols that are not performed in this i.i.d. setting, typically so-called single-shot entropies (like min- and max-entropies) become the relevant quantities.
In Ref. , we have formulated -- and, in a special case, proven -- a conjecture on a single-copy operational interpretation of von Neumann entropy. This "Catalytic Entropy Conjecture" concerns again an arbitrary pair of quantum states, and the question whether the initial state can be transformed into the final state. In this case, the transition is demanded to be accomplished by a unitary operation. This unitary acts on the system A and another catalytic system B that is assumed to preserve its local state exactly.
In fact, in a follow-up work , Henrik Wilming from ETH Zurich has finally proven this conjecture. Thus, we now have an operational single-shot interpretation of the von Neumann entropy! This surprising and elegant insight raises the question of whether other standard entropic quantities (like the quantum relative entropy) can be given a "single-copy" operational interpretation.
Thermalization from entanglement
A complementary approach, also to a large extent motivated by quantum information, has been to take a dynamical point of view, and to ask: how do closed quantum systems thermalize? That is, why do “large” quantum systems seem to follow the predictions of thermodynamics, despite the fact that they evolve unitarily in time?
An exciting insight in the field has been that entanglement may play a crucial role here: if a quantum system is in a pure, but entangled state, then this means that it can be in a mixed state on a subsystem – and this mixed state can potentially resemble a statistical ensemble [15, 16]. This is impossible in classical physics, where maximal knowledge of the full system always implies maximal knowledge of all its parts.
This raises several questions: first, under what conditions do quantum systems equilibrate for (most) long times? For which systems is the equilibrium state independent from the initial state, and when is it actually identically to a thermal state, as predicted by textbook thermodynamics? In Ref. , we have shown (based on earlier mathematical physics results) that unitary evolution on a large class of translation-invariant quantum systems and initial states does in fact lead to thermal states (i.e. Gibbs states) on small subsystems.
In another publication , we have proven that integrability does not play as important a role as it was widely believed before: there are non-integrable systems that nevertheless do not thermalize, in the sense that they keep some memory on their initial state. Furthermore, we have explored the Eigenstate Thermalization Hypothesis [19, 20], which claims that individual eigenstates on many-body systems typically resemble thermal states on subsystems. This hypothesis is still lacking a rigorous formulation and/or proof. In Ref. , we have found that a weak form of eigenstate thermalization holds in translation-invariant quasifree fermionic models. We have furthermore developed novel mathematical methods to prove concentration of measure for quantum states with a fixed expectation value , generalizing the notion of typicality to nonlinear sets of pure quantum states. To this end, we have combined methods of integral geometry with probabilistic tools and insights by Misha Gromov.
References [our group]
 M. P. Müller, Correlating thermal machines and the second law at the nanoscale, Physical Review X 8, 041051 (2018). arXiv:1707.03451. Best Paper Award 2019 by the Austrian Academy of Sciences.
 J. Scharlau and M. P. Müller, Quantum Horn's lemma, finite heat baths, and the third law of thermodynamics, Quantum 2, 54 (2018). arXiv:1605.06092
 M. P. Müller and M. Pastena, A generalization of majorization that characterizes Shannon entropy, IEEE Trans. Inf. Th. 62(4), 1711-1720 (2016). arXiv:1507.06900
. M. Lostaglio, M. P. Müller, and M. Pastena, Stochastic independence as a resource in small-scale thermodynamics, Phys. Rev. Lett. 115, 150402 (2015). arXiv:1409.3258
 G. Gour, M. P. Müller, V. Narasimhachar, R. W. Spekkens, and N Yunger Halpern, The resource theory of informational nonequilibrium in thermodynamics, Phys. Rep. 583, 1—58 (2015). arXiv:1309.6586
 M. Lostaglio and M. P. Müller, Coherence and asymmetry cannot be broadcast, Phys. Rev. Lett. 123, 020403 (2019). arXiv:1812.08214
 P. Boes, J. Eisert, R. Gallego, M. P. Müller, and H. Wilming, Von Neumann entropy from unitarity, Phys. Rev. Lett. 122, 210402 (2019). arXiv:1807.08773
 M. P. Müller, E. Adlam, Ll. Masanes, and N. Wiebe, Thermalization and canonical typicality in translation-invariant quantum lattice systems, Commun. Math. Phys. 340(2), 499—561 (2015). arXiv:1312.7420
 C. Gogolin, M. P. Müller, and J. Eisert, Absence of thermalization in non-integrable systems, Phys. Rev. Lett. 106, 063001 (2011). arXiv:1009.2493
 M. P. Müller, D. Gross, and J. Eisert, Concentration of measure for quantum states with a fixed expectation value, Commun. Math. Phys. 303(3), 785—824 (2011). arXiv:1003.4982
 J. Riddell and M. P. Müller, Generalized eigenstate typicality in translation-invariant quasifree fermionic models, Phys. Rev. B 97, 035129 (2018). arXiv:1709.05569
References [other authors]
 N. Shiraishi and T. Sagawa, Quantum Thermodynamics of Correlated-Catalytic State Conversion at Small Scale, Phys. Rev. Lett. 126, 150502 (2021). arXiv:2010.11036
 H. Wilming, Entropy and reversible catalysis, arXiv:2012.05573
 I. Marvian and R. W. Spekkens, No-Broadcasting Theorem for Quantum Asymmetry and Coherence and a Trade-off Relation for Approximate Broadcasting, Phys. Rev. Lett. 123, 020404 (2019). arXiv:1812.08766
 S. Popescu, A. J. Short, and A. Winter, Entanglement and the foundations of statistical mechanics, Nat. Phys. 2, 754 (2006). arXiv:quant-ph/0511225
 P. Reimann, Foundation of Statistical Mechanics under Experimentally Realistic Conditions, Phys. Rev. Lett. 101, 190403 (2008). arXiv:0810.3092
 M. Horodecki and J. Oppenheim, Fundamental limitations for quantum and nanoscale thermodynamics, Nat. Comm. 4, 2059 (2013). arXiv:1111.3834
 F. Brandão, M. Horodecki, N. Ng, J. Oppenheim, and S. Wehner, The second laws of quantum thermodynamics, Proc. Natl. Acad. Sci. USA 112(11), 3275—3279 (2015). arXiv:1305.5278
 J. M. Deutsch, Quantum statistical mechanics in a closed system, Phys. Rev. A 43, 2046 (1991).
 M. Srednicki, Chaos and Quantum Thermalization, Phys. Rev. E 50, 888 (1994). arXiv:cond-mat/9403051.
 F. G. S. L. Brandão, M. Horodecki, J. Oppenheim, J. M. Renes, and R. W. Spekkens, Resource Theory of Quantum States Out of Thermal Equilibrium, Phys. Rev. Lett. 111, 250404 (2013). arXiv:1111.3882