The superposition principle lies at the heart of many nonclassical properties of quantum mechanics. Motivated by this, we introduce a rigorous resource theory framework for the quantification of superposition of a finite number of linear independent states. This theory is a generalization of resource theories of coherence. We determine the general structure of operations which do not create superposition, find a fundamental connection to unambiguous state discrimination, and propose several quantitative superposition measures. Using this theory, we show that trace decreasing operations can be completed for free which, when specialized to the theory of coherence, resolves an outstanding open question and is used to address the free probabilistic transformation between pure states. Finally, we prove that linearly independent superposition is a necessary and sufficient condition for the faithful creation of entanglement in discrete settings, establishing a strong structural connection between our theory of superposition and entanglement theory.
To describe certain facets of nonclassicality, it is necessary to quantify properties of operations instead of states. This is the case if one wants to quantify how well an operation detects nonclassicality, which is a necessary prerequisite for its use in quantum technologies. To do so rigorously, we build resource theories on the level of operations, exploiting the concept of resource destroying maps. We discuss the two basic ingredients of these resource theories, the free operations and the free superoperations, which are sequential and parallel concatenations with free operations. This leads to defining properties of functionals that are well suited to quantify the resources of operations. We introduce these concepts at the example of coherence. In particular, we present two measures quantifying the ability of an operation to detect, i.e., to use, coherence, one of them with an operational interpretation, and provide methods to evaluate them.
More than a century after the inception of quantum theory, the question of which traits and phenomena are fundamentally quantum remains under debate. Here, we give an answer to this question for temporal processes that are probed sequentially by means of projective measurements of the same observable. Defining classical processes as those that can, in principle, be simulated by means of classical resources only, we fully characterize the set of such processes. Based on this characterization, we show that for non-Markovian processes (i.e., processes with memory), the absence of coherence does not guarantee the classicality of observed phenomena; furthermore, we derive an experimentally and computationally accessible measure for nonclassicality in the presence of memory. We then provide a direct connection between classicality and the vanishing of quantum discord between the evolving system and its environment. Finally, we demonstrate that—in contrast to the memoryless setting—in the non-Markovian case, there exist processes that are genuinely quantum; i.e., they display nonclassical statistics independent of the measurement scheme that is employed to probe them.
Control at the interface between the classical and the quantum world is fundamental in quantum physics. In particular, how classical control is enhanced by coherence effects is an important question both from a theoretical as well as from a technological point of view. In this work, we establish a resource theory describing this setting and explore relations to the theory of coherence, entanglement and information processing. Specifically, for the coherent control of quantum systems, the relevant resources of entanglement and coherence are found to be equivalent and closely related to a measure of discord. The results are then applied to the DQC1 protocol and the precision of the final measurement is expressed in terms of the available resources.
We consider how the energy cost of bit reset scales with the time duration of the protocol. Bit reset necessarily takes place in finite time, where there is an extra penalty on top of the quasistatic work cost derived by Landauer. This extra energy is dissipated as heat in the computer, inducing a fundamental limit on the speed of irreversible computers. We formulate a hardware-independent expression for this limit in the framework of stochastic processes. We derive a closed-form lower bound on the work penalty as a function of the time taken for the protocol and bit reset error. It holds for discrete as well as continuous systems, assuming only that the master equation respects detailed balance.