Currencies in Resource Theories.

How may we quantify the value of physical resources, such as entangled quantum states, heat baths or lasers? Existing resource theories give us partial answers; however, these rely on idealizations, like perfectly independent copies of states or exact knowledge of a quantum state. Here we introduce the general tool of "currencies" to quantify realistic descriptions of resources, applicable in experimental settings when we do not have perfect control over a physical system, when only the neighbourhood of a state or some of its properties are known, or when slight correlations cannot be ruled out. Currencies are a subset of resources chosen to quantify all the other resources-like Bell pairs in LOCC or a lifted weight in thermodynamics. We show that from very weak assumptions in the theory we can already find useful currencies that give us necessary and sufficient conditions for resource conversion, and we build up more results as we impose further structure. This work generalizes axiomatic approaches to thermodynamic entropy, work and currencies made of local copies. In particular, by applying our approach to the resource theory of unital maps, we derive operational single-shot entropies for arbitrary, non-probabilistic descriptions of resources.

Discovering Physical Concepts with Neural Networks.

Despite the success of neural networks at solving concrete physics problems, their use as a general-purpose tool for scientific discovery is still in its infancy. Here, we approach this problem by modeling a neural network architecture after the human physical reasoning process, which has similarities to representation learning. This allows us to make progress towards the long-term goal of machine-assisted scientific discovery from experimental data without making prior assumptions about the system. We apply this method to toy examples and show that the network finds the physically relevant parameters, exploits conservation laws to make predictions, and can help to gain conceptual insights, e.g., Copernicus' conclusion that the solar system is heliocentric.

Operational locality in global theories.

Within a global physical theory, a notion of locality allows us to find and justify information-processing primitives, like non-signalling between distant agents. Here, we propose exploring the opposite direction: to take agents as the basic building blocks through which we test a physical theory, and recover operational notions of locality from signalling conditions. First, we introduce an operational model for the effective state spaces of individual agents, as well as the range of their actions. We then formulate natural secrecy conditions between agents and identify the aspects of locality relevant for signalling. We discuss the possibility of taking commutation of transformations as a primitive of physical theories, as well as applications to quantum theory and generalized probability frameworks. This 'it from bit' approach establishes an operational connection between local actions and local observations, and gives a global interpretation to concepts like discarding a subsystem or composing local functions.This article is part of a discussion meeting issue 'Foundations of quantum mechanics and their impact on contemporary society'.

The thermodynamic meaning of negative entropy.

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.

Relative thermalization.

Locally thermal quantum systems may contradict traditional thermodynamics: heat can flow from a cold body to a hotter one, if the two are highly entangled. We show that to recover thermodynamic laws, we must use a stronger notion of thermalization: a system S is thermal relative to a reference R if S is both locally thermal and uncorrelated with R. Considering a general quantum reference is particularly relevant for a thermodynamic treatment of nanoscale quantum systems. We derive a technical condition for relative thermalization in terms of conditional entropies. Established results on local thermalization, which implicitly assume a classical reference, follow as special cases.