Quantifying Operations with an Application to Coherence

Dynamical Resource Theory of Informational Nonequilibrium Preservability

Information is instrumental in our understanding of thermodynamics. Their interplay has been studied through completely degenerate Hamiltonians whereby the informational contributions to thermodynamic transformations can be isolated. In this setting, all states other than the maximally mixed state are considered to be in informational nonequilibrium. An important yet still open question is how to characterize the ability of quantum dynamics to preserve informational nonequilibrium. Here, the dynamical resource theory of informational nonequilibrium preservability is introduced to begin providing an answer to this question. A characterization of the allowed operations is given for qubit channels and the n-dimensional Weyl-covariant channels-a physically relevant subset of the general channels. An operational interpretation of a state discrimination game with Bell state measurements is given. Finally, an explicit link between a channel's classical capacity and its ability to preserve informational nonequilibrium is made.

Is There a Finite Complete Set of Monotones in Any Quantum Resource Theory?

Entanglement quantification aims to assess the value of quantum states for quantum information processing tasks. A closely related problem is state convertibility, asking whether two remote parties can convert a shared quantum state into another one without exchanging quantum particles. Here, we explore this connection for quantum entanglement and for general quantum resource theories. For any quantum resource theory which contains resource-free pure states, we show that there does not exist a finite set of resource monotones which completely determines all state transformations. We discuss how these limitations can be surpassed, if discontinuous or infinite sets of monotones are considered, or by using quantum catalysis. We also discuss the structure of theories which are described by a single resource monotone and show equivalence with totally ordered resource theories. These are theories where a free transformation exists for any pair of quantum states. We show that totally ordered theories allow for free transformations between all pure states. For single-qubit systems, we provide a full characterization of state transformations for any totally ordered resource theory.

Coherence as a Resource for Shor's Algorithm

Shor's factoring algorithm provides a superpolynomial speedup over all known classical factoring algorithms. Here, we address the question of which quantum properties fuel this advantage. We investigate a sequential variant of Shor's algorithm with a fixed overall structure and identify the role of coherence for this algorithm quantitatively. We analyze this protocol in the framework of dynamical resource theories, which capture the resource character of operations that can create and detect coherence. This allows us to derive a lower and an upper bound on the success probability of the protocol, which depend on rigorously defined measures of coherence as a dynamical resource. We compare these bounds with the classical limit of the protocol and conclude that within the fixed structure that we consider, coherence is the quantum resource that determines its performance by bounding the success probability from below and above. Therefore, we shine new light on the fundamental role of coherence in quantum computation.

One-Shot Manipulation of Dynamical Quantum Resources

We develop a unified framework to characterize one-shot transformations of dynamical quantum resources in terms of resource quantifiers, establishing universal conditions for exact and approximate transformations in general resource theories. Our framework encompasses all dynamical resources represented as quantum channels, including those with a specific structure-such as boxes, assemblages, and measurements-thus immediately applying in a vast range of physical settings. For the particularly important manipulation tasks of distillation and dilution, we show that our conditions become necessary and sufficient for broad classes of important theories, enabling an exact characterization of these tasks and establishing a precise connection between operational problems and resource monotones based on entropic divergences. We exemplify our results by considering explicit applications to quantum communication, where we obtain exact expressions for one-shot quantum capacity and simulation cost assisted by no-signaling, separability-preserving, and positive partial transpose-preserving codes; as well as to nonlocality, contextuality, and measurement incompatibility, where we present operational applications of a number of relevant resource measures.

Quantifying Dynamical Coherence with Dynamical Entanglement

Coherent superposition and entanglement are two fundamental aspects of nonclassicality. Here we provide a quantitative connection between the two on the level of operations by showing that the dynamical coherence of an operation upper bounds the dynamical entanglement that can be generated from it with the help of additional incoherent operations. In case a particular choice of monotones based on the relative entropy is used for the quantification of these dynamical resources, this bound can be achieved. In addition, we show that an analog to the entanglement potential exists on the level of operations and serves as a valid quantifier for dynamical coherence.

Operational Interpretation of Weight-Based Resource Quantifiers in Convex Quantum Resource Theories

We introduce the resource quantifier of weight of resource for convex quantum resource theories of states and measurements with arbitrary resources. We show that it captures the advantage that a resourceful state (measurement) offers over all possible free states (measurements) in the operational task of exclusion of subchannels (states). Furthermore, we introduce information-theoretic quantities related to exclusion for quantum channels and find a connection between the weight of resource of a measurement and the exclusion-type information of quantum-to-classical channels. Our results apply to the resource theory of entanglement in which the weight of resource is known as the best-separable approximation or Lewenstein-Sanpera decomposition introduced in 1998. Consequently, the results found here provide an operational interpretation to this 21-year-old entanglement quantifier.

Experimental Quantification of Coherence of a Tunable Quantum Detector

Quantum coherence is a fundamental resource that quantum technologies exploit to achieve performance beyond that of classical devices. A necessary prerequisite to achieve this advantage is the ability of measurement devices to detect coherence from the measurement statistics. Based on a recently developed resource theory of quantum operations, here we quantify experimentally the ability of a typical quantum-optical detector, the weak-field homodyne detector, to detect coherence. We derive an improved algorithm for quantum detector tomography and apply it to reconstruct the positive-operator-valued measures of the detector in different configurations. The reconstructed positive-operator-valued measures are then employed to evaluate how well the detector can detect coherence using two computable measures. As the first experimental investigation of quantum measurements from a resource theoretical perspective, our work sheds new light on the rigorous evaluation of the performance of a quantum measurement apparatus.

No-Go Theorems for Quantum Resource Purification

The manipulation of quantum "resources" such as entanglement, coherence, and magic states lies at the heart of quantum science and technology, empowering potential advantages over classical methods. In practice, a particularly important kind of manipulation is to "purify" the quantum resources since they are inevitably contaminated by noise and thus often lose their power or become unreliable for direct usage. Here we prove fundamental limitations on how effectively generic noisy resources can be purified enforced by the laws of quantum mechanics, which universally apply to any reasonable kind of quantum resource. More explicitly, we derive nontrivial lower bounds on the error of converting any full-rank noisy state to any target pure resource state by any free protocol (including probabilistic ones)-it is impossible to achieve perfect resource purification, even probabilistically. Our theorems indicate strong limits on the efficiency of distillation, a widely used type of resource purification routine that underpins many key applications of quantum information science. In particular, this general result induces the first explicit lower bounds on the resource cost of magic state distillation, a leading scheme for realizing scalable fault-tolerant quantum computation. Implications for the standard error-correction-based methods are specifically discussed.

Necessary and sufficient conditions on measurements of quantum channels

Quantum supermaps are a higher-order genera- lization of quantum maps, taking quantum maps to quantum maps. It is known that any completely positive and trace non-increasing (CPTNI) map can be performed as part of a quantum measurement. By providing an explicit counterexample we show that, instead, not every quantum supermap sending a quantum channel to a CPTNI map can be realized in a measurement on quantum channels. We find that the supermaps that can be implemented in this way are exactly those transforming quantum channels into CPTNI maps even when tensored with the identity supermap. We link this result to the fact that the principle of causality fails in the theory of quantum supermaps.

Application of the Resource Theory of Channels to Communication Scenarios

We introduce a resource theory of channels relevant to communication via quantum channels, in which the set of constant channels-useless channels for communication tasks-are considered as free resources. We find that our theory with such a simple structure is useful to address central problems in quantum Shannon theory-in particular, we provide a converse bound for the one-shot nonsignaling assisted classical capacity that naturally leads to its strong converse property, as well as obtain the one-shot channel simulation cost with nonsignaling assistance. We clarify an intimate connection between the nonsignaling assistance and our formalism by identifying the nonsignaling assisted channel coding with the channel transformation under the maximal set of resource nongenerating superchannels, providing a physical characterization of the latter. Our results provide new perspectives and concise arguments to those problems, connecting the recently developed fields of resource theories to "classic" settings in quantum information theory and shedding light on the validity of resource theories of channels as effective tools to address practical problems.

How to Quantify a Dynamical Quantum Resource

We show that the generalization of the relative entropy of a resource from states to channels is not unique, and there are at least six such generalizations. Then, we show that two of these generalizations are asymptotically continuous, satisfy a version of the asymptotic equipartition property, and their regularizations appear in the power exponent of channel versions of the quantum Stein's lemma. To obtain our results, we use a new type of "smoothing" that can be applied to functions of channels (with no state analog). We call it "liberal smoothing" as it allows for more spread in the optimization. Along the way, we show that the diamond norm can be expressed as a max relative entropy distance to the set of quantum channels, and prove a variety of properties of all six generalizations of the relative entropy of a resource.