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.

Thermal operations are an operational model of non-equilibrium quantum thermodynamics. In the absence of coherence between energy levels, exact state transition conditions under thermal operations are known in terms of a mathematical relation called thermo-majorization. But incorporating coherence has turned out to be challenging, even under the relatively tractable model wherein all Gibbs state-preserving quantum channels are included. Here we find a mathematical generalization of thermal operations at low temperatures, ‘cooling maps', for which we derive the necessary and sufficient state transition condition. Cooling maps that saturate recently discovered bounds on coherence transfer are realizable as thermal operations, motivating us to conjecture that all cooling maps are thermal operations. Cooling maps, though a less-conservative generalization to thermal operations, are more tractable than Gibbs-preserving operations, suggesting that cooling map-like models at general temperatures could be of use in gaining insight about thermal operations.

Genuinely quantum states of a harmonic oscillator may be distinguished from their classical counterparts by the Glauber-Sudarshan P-representation -a state lacking a positive P-function is said to be nonclassical. In this paper, we propose a general operational framework for studying nonclassicality as a resource in networks of passive linear elements and measurements with feed-forward. Within this setting, we define new measures of nonclassicality based on the quantum fluctuations of quadratures, as well as the quantum Fisher information of quadrature displacements. These lead to fundamental constraints on the manipulation of nonclassicality, especially its concentration into subsystems, that apply to generic multi-mode non-Gaussian states. Special cases of our framework include no-go results in the concentration of squeezing and a complete hierarchy of nonclassicality for single mode Gaussian states.

We study the quantumness of correlations for ensembles of bi-and multipartite systems and relate it to the task of quantum data hiding. Quantumness is here intended in the sense of minimum average disturbance under local measurements. We consider a very general framework, but focus on local complete von Neumann measurements as cause of the disturbance, and, later on, on the trace-distance as quantifier of the disturbance. We discuss connections with entanglement and previously defined notions of quantumness of correlations. We prove that a large class of quantifiers of the quantumness of correlations are entanglement monotones for pure bipartite states. In particular, we define an entanglement of disturbance for pure states, for which we give an analytical expression. Such a measure coincides with negativity and concurrence for the case of two qubits. We compute general bounds on disturbance for both single states and ensembles, and consider several examples, including the uniform Haar ensemble of pure states, and pairs of qubit states. Finally, we show that the notion of ensemble quantumness of correlations is most relevant in quantum data hiding. Indeed, while it is known that entanglement is not necessary for a good quantum data hiding scheme, we prove that ensemble quantumness of correlations is.

We develop a framework that allows a description of measurements in Hilbert spaces that are smaller than their natural representation. This description, which we call a "squashing model", consists of a squashing map that maps the input states of the measurement from the original Hilbert space to the smaller one, followed by a targeted prescribed measurement on the smaller Hilbert space. This framework has applications in quantum key distribution, but also in other cryptographic tasks, as it greatly simplifies the theoretical analysis under adversarial conditions.