Saar Rahav

Recently implemented quantum devices such as quantum processors and quantum simulators combine highly complicated quantum dynamics with high-resolution measurements. We present a passivity deformation methodology that sets thermodynamic constraints on the evolution of such quantum devices. This framework enhances the thermodynamic predictive power by simultaneously resolving four of the cardinal deficiencies of the second law in microscopic setups: i) It yields tight bounds even when the environment is microscopic; ii) The ultra-cold catastrophe is resolved; iii) It enables to integrate conservation laws into thermodynamic inequalities for making them tighter; iv) it bounds observables that are not energy-based, and therefore do not appear in the second law of thermodynamics. Furthermore, this framework provides insights to non-thermal environments, correlated environments, and to coarse-graining in microscopic setups. Our findings can be explored and used in physical setups such as trapped ions, superconducting circuits, neutral atoms in optical lattices and more.

The main thread that links classical thermodynamics and the thermodynamics of small quantum systems is the celebrated Clausius inequality form of the second law. However, its application to small quantum systems suffers from two cardinal problems: (i) The Clausius inequality does not hold when the system and environment are initially correlated - a commonly encountered scenario in microscopic setups. (ii) In some other cases, the Clausius inequality does not provide any useful information (e.g. in dephasing scenarios). We address these deficiencies by developing the notion of global passivity and employing it as a tool for deriving thermodynamic inequalities on observables. For initially uncorrelated thermal environments the global passivity framework recovers the Clausius inequality. More generally, global passivity provides an extension of the Clausius inequality that holds even in the presences of strong initial system-environment correlations. Crucially, the present framework provides additional thermodynamic bounds on expectation values. To illustrate the role of the additional bounds we use them to detect unaccounted heat leaks and weak feedback operations ("Maxwell's demons") that the Clausius inequality cannot detect. In addition, it is shown that global passivity can put practical upper and lower bounds on the buildup of system-environment correlation for dephasing interactions. Our findings are highly relevant for experiments in various systems such as ion traps, superconducting circuits, atoms in optical cavities and more.