We present a rigorous approach, based on the concept of continuous thermomajorization, to algorithmically characterize the full set of energy occupations of a quantum system accessible from a given initial state through weak interactions with a heat bath. The algorithm can be deployed to solve complex optimization problems in out-of-equilibrium setups and it returns explicit elementary control sequences realizing optimal transformations. We illustrate this by finding optimal protocols in the context of cooling, work extraction, and catalysis. The same tools also allow one to quantitatively assess the role played by memory effects in the performance of thermodynamic protocols. We obtained exhaustive solutions on a laptop machine for systems with dimension d≤7, but with heuristic methods one could access much higher d.

Given a set of local dynamics, are they compatible with a global dynamics? We systematically formulate these questions as quantum channel marginal problems. These problems are strongly connected to the generalization of the no-signaling conditions to quantized inputs and outputs and can be understood as a general toolkit to study notions of quantum incompatibility. In fact, they include as special cases channel broadcasting, channel extendibility, measurement compatibility, and state marginal problems. After defining the notion of compatibility between global and local dynamics, we provide a solution to the channel marginal problem that takes the form of a semidefinite program. Using this formulation, we construct channel incompatibility witnesses, discuss their operational interpretation in terms of an advantage for a state-discrimination task, prove a gap between classical and quantum dynamical marginal problems, and show that the latter is irreducible to state marginal problems.

The standard dynamical approach to quantum thermodynamics is based on Markovian master equations describing the thermalization of a system weakly coupled to a large environment, and on tools such as entropy production relations. Here we develop a framework overcoming the limitations that the current dynamical and information theory approaches encounter when applied to this setting. More precisely, we introduce the notion of continuous thermomajorization and employ it to obtain necessary and sufficient conditions for the existence of a Markovian thermal process transforming between given initial and final energy distributions of the system. These lead to a complete set of generalized entropy production inequalities including the standard one as a special case. Importantly, these conditions can be reduced to a finitely verifiable set of constraints governing nonequilibrium transformations under master equations. What is more, the framework is also constructive, i.e., it returns explicit protocols realizing any allowed transformation. These protocols use as building blocks elementary thermalizations, which we prove to be universal controls. Finally, we also present an algorithm constructing the full set of energy distributions achievable from a given initial state via Markovian thermal processes and provide a Mathematica implementation solving d=6 on a laptop computer in minutes.

A standard approach to quantum computing is based on the idea of promoting a classically simulable and fault-tolerant set of operations to a universal set by the addition of "magic"quantum states. In this context, we develop a general framework to discuss the value of the available, nonideal magic resources, relative to those ideally required. We single out a quantity, the quantum-assisted robustness of magic (QROM), which measures the overhead of simulating the ideal resource with the nonideal ones through quasiprobability-based methods. This extends error mitigation techniques, originally developed for noisy intermediate-scale quantum devices, to the case where qubits are logically encoded. The QROM shows how the addition of noisy magic resources allows one to boost classical quasiprobability simulations of a quantum circuit and enables the construction of explicit protocols, interpolating between classical simulation and an ideal quantum computer.

We investigate the problem of simulating classical stochastic processes through quantum dynamics and present three scenarios where memory or time quantum advantages arise. First, by introducing and analyzing a quantum version of the embeddability problem for stochastic matrices, we show that quantum memoryless dynamics can simulate classical processes that necessarily require memory. Second, by extending the notion of space-time cost of a stochastic process P to the quantum domain, we prove an advantage of the quantum cost of simulating P over the classical cost. Third, we demonstrate that the set of classical states accessible via Markovian master equations with quantum controls is larger than the set of those accessible with classical controls, leading, e.g., to a potential advantage in cooling protocols.

I identify a fundamental difference between classical and quantum dynamics in the linear response regime by showing that the latter is, in general, contextual. This allows me to provide an example of a quantum engine whose favorable power output scaling unavoidably requires nonclassical effects in the form of contextuality. Furthermore, I describe contextual advantages for local metrology. Given the ubiquity of linear response theory, I anticipate that these tools will allow one to certify the nonclassicality of a wide array of quantum phenomena.

A number of noncontextual models exist which reproduce different subsets of quantum theory and admit a no-cloning theorem. Therefore, if one chooses noncontextuality as one’s notion of classicality, no-cloning cannot be regarded as a nonclassical phenomenon. In this work, however, we show that there are aspects of the phenomenology of quantum state cloning which are indeed nonclassical according to this principle. Specifically, we focus on the task of state-dependent cloning and prove that the optimal cloning fidelity predicted by quantum theory cannot be explained by any noncontextual model. We derive a noise-robust noncontextuality inequality whose violation by quantum theory not only implies a quantum advantage for the task of state-dependent cloning relative to noncontextual models, but also provides an experimental witness of noncontextuality.