We review recent work on the foundations of thermodynamics in the light of quantum information theory. We adopt a resource-theoretic perspective, wherein thermodynamics is formulated as a theory of what agents can achieve under a particular restriction, namely, that the only state preparations and transformations that they can implement for free are those that are thermal at some fixed temperature. States that are out of thermal equilibrium are the resources. We consider the special case of this theory wherein all systems have trivial Hamiltonians (that is, all of their energy levels are degenerate). In this case, the only free operations are those that add noise to the system (or implement a reversible evolution) and the only nonequilibrium states are states of informational nonequilibrium, that is, states that deviate from the maximally mixed state. The degree of this deviation we call the state's nonuniformity; it is the resource of interest here, the fuel that is consumed, for instance, in an erasure operation. We consider the different types of state conversion: exact and approximate, single-shot and asymptotic, catalytic and noncatalytic. In each case, we present the necessary and sufficient conditions for the conversion to be possible for any pair of states, emphasizing a geometrical representation of the conditions in terms of Lorenz curves. We also review the problem of quantifying the nonuniformity of a state, in particular through the use of generalized entropies, and that of quantifying the gap between the nonuniformity one must expend to achieve a single-shot state preparation or state conversion and the nonuniformity one can extract in the reverse operation. Quantum state conversion problems in this resource theory can be shown to be always reducible to their classical counterparts, so that there are no inherently quantum-mechanical features arising in such problems. This body of work also demonstrates that the standard formulation of the second law of thermodynamics is inadequate as a criterion for deciding whether or not a given state transition is possible.

Quantum theory is usually formulated in terms of abstract mathematical postulates, involving Hilbert spaces, state vectors, and unitary operators. In this work, we show that the full formalism of quantum theory can instead be derived from five simple physical requirements, based on elementary assumptions about preparation, transformations and measurements. This is more similar to the usual formulation of special relativity, where two simple physical requirements -the principles of relativity and light speed invariance -are used to derive the mathematical structure of Minkowski space-time. Our derivation provides insights into the physical origin of the structure of quantum state spaces (including a group-theoretic explanation of the Bloch ball and its three-dimensionality), and it suggests several natural possibilities to construct consistent modifications of quantum theory.

We present a new characterization of quantum theory in terms of simple physical principles that is different from previous ones in two important respects: first, it only refers to properties of single systems without any assumptions on the composition of many systems; and second, it is closer to experiment by having absence of higher-order interference as a postulate, which is currently the subject of experimental investigation. We give three postulates-no higher-order interference, classical decomposability of states, and strong symmetry-and prove that the only non-classical operational probabilistic theories satisfying them are real, complex, and quaternionic quantum theory, together with threelevel octonionic quantum theory and ball state spaces of arbitrary dimension. Then we show that adding observability of energy as a fourth postulate yields complex quantum theory as the unique solution, relating the emergence of the complex numbers to the possibility of Hamiltonian dynamics. We also show that there may be interesting non-quantum theories satisfying only the first two of our postulates, which would allow for higher-order interference in experiments while still respecting the contextuality analogue of the local orthogonality principle.

We establish a link between unitary relaxation dynamics after a quench in closed many-body systems and the entanglement in the energy eigenbasis. We find that even if reduced states equilibrate, they can have memory on the initial conditions even in certain models that are far from integrable. We show that in such situations the equilibrium states are still described by a maximum entropy or generalized Gibbs ensemble, regardless of whether a model is integrable or not, thereby contributing to a recent debate. In addition, we discuss individual aspects of the thermalization process, comment on the role of Anderson localization, and collect and compare different notions of integrability.

Thermodynamics at the nanoscale is known to differ significantly from its familiar macroscopic counterpart: the possibility of state transitions is not determined by free energy alone, but by an infinite family of freeenergy-like quantities; strong fluctuations (possibly of quantum origin) allow to extract less work reliably than what is expected from computing the free energy difference. However, these known results rely crucially on the assumption that the thermal machine is not only exactly preserved in every cycle, but also kept uncorrelated from the quantum systems on which it acts. Here we lift this restriction: we allow the machine to become correlated with the microscopic systems on which it acts, while still exactly preserving its own state. Surprisingly, we show that this restores the second law in its original form: free energy alone determines the possible state transitions, and the corresponding amount of work can be invested or extracted from single systems exactly and without any fluctuations. At the same time, the work reservoir remains uncorrelated from all other systems and parts of the machine. Thus, microscopic machines can increase their efficiency via clever "correlation engineering" in a perfectly cyclic manner, which is achieved by a catalytic system that can sometimes be as small as a single qubit (though some setups require very large catalysts). Our results also solve some open mathematical problems on majorization which may lead to further applications in entanglement theory. 2 thermal bath B , H B

It has previously been suggested that small subsystems of closed quantum systems thermalize under some assumptions; however, this has been rigorously shown so far only for systems with very weak interaction between subsystems. In this work, we give rigorous analytic results on thermalization for translation-invariant quantum lattice systems with finite-range interaction of arbitrary strength, in all cases where there is a unique equilibrium state at the corresponding temperature. We clarify the physical picture by showing that subsystems relax towards the reduction of the global Gibbs state, not the local Gibbs state, if the initial state has close to maximal population entropy and certain non-degeneracy conditions on the spectrum are satisfied. Moreover, we show that almost all pure states with support on a small energy window are locally thermal in the sense of canonical typicality. We derive our results from a statement on equivalence of ensembles generalizing earlier results by Lima, and give numerical and analytic finite-size bounds, relating the Ising model to the finite de Finetti theorem. Furthermore, we prove that global energy eigenstates are locally close to diagonal in the local energy eigenbasis, which constitutes a part of the eigenstate thermalization hypothesis that is valid regardless of the integrability of the model. Contents

Does information play a significant role in the foundations of physics? Information is the abstraction that allows us to refer to the states of systems when we choose to ignore the systems themselves. This is only possible in very particular frameworks, like in classical or quantum theory, or more generally, whenever there exists an information unit such that the state of any system can be reversibly encoded in a sufficient number of such units. In this work, we show how the abstract formalism of quantum theory can be deduced solely from the existence of an information unit with suitable properties, together with two further natural assumptions: the continuity and reversibility of dynamics, and the possibility of characterizing the state of a composite system by local measurements. This constitutes a set of postulates for quantum theory with a simple and direct physical meaning, like the ones of special relativity or thermodynamics, and it articulates a strong connection between physics and information.postulates of quantum mechanics | physics of information | quantum information Q uantum theory (QT) provides the foundation on top of which most of our physical theories and our understanding of nature sits. This peculiarly important role contrasts with our limited understanding of QT itself, and the lack of consensus among physicists about what this theory is saying about how nature works. Particularly, the standard postulates of QT are expressed in abstract mathematical terms involving Hilbert spaces and operators acting on them, and lack a clear physical meaning. In other physical theories, like special relativity or thermodynamics, the formalism can be derived from postulates having a direct physical meaning, often in terms of the possibility or impossibility of certain tasks. In this work, we show that this is also possible for QT.The importance of this goal is reflected by the long history of research on alternative axiomatizations of QT, which goes back to Birkhoff and von Neumann (1-3). More recently, initiated by Hardy's work (4), and influenced by the perspective of quantum information theory, there has been a wave of contributions taking a more physical and less mathematical approach (4-8). These reconstructions of QT constitute a big achievement because they are based on postulates having a more physical meaning. However, some of these meanings are not very direct, and a lot of formalism has to be introduced to state them. In this work, we derive finite-dimensional QT from four postulates having a clear and direct physical meaning, which can be stated easily and without the need of heavy formalism. Also, contrary to ref. 5, we write all our assumptions explicitly.We introduce a postulate named "Existence of an Information Unit," which essentially states that there is only one type of information within the theory. Consequently, any physical process can be simulated with a suitably programmed general purpose simulator. Because the input and output of these simulations are not necessarily classical, this...

A Hamiltonian operator H[over ^] is constructed with the property that if the eigenfunctions obey a suitable boundary condition, then the associated eigenvalues correspond to the nontrivial zeros of the Riemann zeta function. The classical limit of H[over ^] is 2xp, which is consistent with the Berry-Keating conjecture. While H[over ^] is not Hermitian in the conventional sense, iH[over ^] is PT symmetric with a broken PT symmetry, thus allowing for the possibility that all eigenvalues of H[over ^] are real. A heuristic analysis is presented for the construction of the metric operator to define an inner-product space, on which the Hamiltonian is Hermitian. If the analysis presented here can be made rigorous to show that H[over ^] is manifestly self-adjoint, then this implies that the Riemann hypothesis holds true.