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. CONTENTS

2 These authors contributed equally to this work.While neural networks have been remarkably successful for a variety of practical problems, they are often applied as a black box, which limits their utility for scientific discoveries. Here, we present a neural network architecture that can be used to discover physical concepts from experimental data without being provided with additional prior knowledge. For a variety of simple systems in classical and quantum mechanics, our network learns to compress experimental data to a simple representation and uses the representation to answer questions about the physical system. Physical concepts can be extracted from the learned representation, namely: (1) The representation stores the physically relevant parameters, like the frequency of a pendulum.(2) The network finds and exploits conservation laws: it stores the total angular momentum to predict the motion of two colliding particles. (3) Given measurement data of a simple quantum mechanical system, the network correctly recognizes the number of degrees of freedom describing the underlying quantum state. (4) Given a time series of the positions of the Sun and Mars as observed from Earth, the network discovers the heliocentric model of the solar systemthat is, it encodes the data into the angles of the two planets as seen from the Sun. Our work provides a first step towards answering the question whether the traditional ways by which physicists model nature naturally arise from the experimental data without any mathematical and physical pre-knowledge, or if there are alternative elegant formalisms, which may solve some of the fundamental conceptual problems in modern physics, such as the measurement problem in quantum mechanics.Problem: Predict the position of a one-dimensional damped pendulum at different times. Physical model: Equation of motionSolution:Observation: Time series of positions: o = x(t i ) i∈{1,...,50} ∈ R 50 , with equally spaced t i . Mass m = 1kg, amplitude A 0 = 1m and phase δ 0 = 0 are fixed; spring constant κ ∈ [5, 10] kg/s 2 and damping factor b ∈ [0.5, 1] kg/s are varied between training samples. Question: Prediction times: q = t pred ∈ R.Correct answer: Position at time t pred : a cor = x(t pred ) ∈ R .Implementation: Network depicted in Figure 1b with 3 latent neurons. Key findings:• SciNet predicts the positions x(t pred ) with a root mean square error below 2% (with respect to the amplitude A 0 = 1m) (Figure 2a).• SciNet stores κ and b in two of the latent neurons, and does not store any information in the third latent neuron (Figure 2b).

The heat generated by computations is not only an obstacle to circuit miniaturization but also a fundamental aspect of the relationship between information theory and thermodynamics. In principle, reversible operations may be performed at no energy cost; given that irreversible computations can always be decomposed into reversible operations followed by the erasure of data, the problem of calculating their energy cost is reduced to the study of erasure. Landauer's principle states that the erasure of data stored in a system has an inherent work cost and therefore dissipates heat. However, this consideration assumes that the information about the system to be erased is classical, and does not extend to the general case where an observer may have quantum information about the system to be erased, for instance by means of a quantum memory entangled with the system. Here we show that the standard formulation and implications of Landauer's principle are no longer valid in the presence of quantum information. Our main result is that the work cost of erasure is determined by the entropy of the system, conditioned on the quantum information an observer has about it. In other words, the more an observer knows about the system, the less it costs to erase it. This result gives a direct thermodynamic significance to conditional entropies, originally introduced in information theory. Furthermore, it provides new bounds on the heat generation of computations: because conditional entropies can become negative in the quantum case, an observer who is strongly correlated with a system may gain work while erasing it, thereby cooling the environment.

To clarify the implications of our result, we note that, although the erasure processes we considered in our Letter can have negative work cost (that is, they can yield work), they do not violate the second law of thermodynamics, because they are not cyclic processes. A negative work cost is associated with the consumption of entanglement, which can only be restored by doing work. Our results are also consistent with the original unconditional form of Landauer's principle, which says that if there is no information available about the data being erased, the cost of erasure is always positive. Similarly, because in a computation with deterministic classical output the joint entropy of all registers conditioned on the output cannot be negative, the overall work cost of such a computation is always positive or zero (even though temporary quantum correlations may be created and exploited during the course of the computation). In fact, standard techniques of reversible information processing allow any deterministic classical algorithm to be performed, on a classical or quantum computer, in a thermodynamically reversible fashion, with work cost arbitrarily close to zero 1,2 . These clarifications are developed in more detail in the Supplementary Information to this Addendum. We thank Charles H. Bennett for remarks on reversible computation.Supplementary Information is linked to the online version of the Addendum at www.nature.com/nature.1. Bennett, C. H. The thermodynamics of computation-a review. Int. J. Theor. Phys. 21, 905-940 (1982). 2. Watrous, J. Quantum computational complexity.

We test the principles of classical modal logic in fully quantum settings. Modal logic models our reasoning in multi-agent problems, and allows us to solve puzzles like the muddy children paradox. The Frauchiger-Renner thought experiment highlighted fundamental problems in applying classical reasoning when quantum agents are involved; we take it as a guiding example to test the axioms of classical modal logic. In doing so, we find a problem in the original formulation of the Frauchiger-Renner theorem: a missing assumption about unitarity of evolution is necessary to derive a contradiction and prove the theorem. Adding this assumption clarifies how different interpretations of quantum theory fit in, i.e., which properties they violate. Finally, we show how most of the axioms of classical modal logic break down in quantum settings, and attempt to generalize them. Namely, we introduce constructions of trust and context, which highlight the importance of an exact structure of trust relations between agents. We propose a challenge to the community: to find conditions for the validity of trust relations, strong enough to exorcise the paradox and weak enough to still recover classical logic.Draco said out loud, "I notice that I am confused." Your strength as a rationalist is your ability to be more confused by fiction than by reality... Draco was confused. Therefore, something he believed was fiction. Eliezer Yudkowsky, Harry Potter and the Methods of Rationality