Quantum coherence—an indispensable resource for quantum technologies—is known to be distillable from a noisy form using operations that cannot create it. However, distillation exacts a hidden coherent measurement cost, which has not previously been examined. We devise the target effect construction to characterize this cost through detailed conditions on the coherence-measuring structure necessary in any process realizing exact (maximal or non-maximal) or approximate distillation. As a corollary, we lower-bound the requisite measurement coherence, as quantified by operationally-relevant measures. We then consider the asymptotic limit of distilling from many copies of a given noisy coherent state, where we offer rigorous arguments to support the conjecture that the (necessary and sufficient) coherent measurement cost scales extensively in the number of copies. We also show that this cost is no smaller than the coherence of measurements saturating the scaling law in the generalized quantum Stein's lemma. Our results and conjectures apply to any task whereof coherence distillation is an incidental outcome (e.g., incoherent randomness extraction). But if pure coherence is the only desired outcome, our conjectures would have the cautionary implication that the measurement cost is often higher than the distilled yield, in which case coherence should rather be prepared afresh than distilled from a noisy input.
Quantum coherence—an indispensable resource for quantum technologies—is known to be distillable from a noisy form using operations that cannot create it. However, distillation exacts a hidden coherent measurement cost, which has not previously been examined. We devise the target effect construction to characterize this cost through detailed conditions on the coherence-measuring structure necessary in any process realizing exact (maximal or non-maximal) or approximate distillation. As a corollary, we lower-bound the requisite measurement coherence, as quantified by operationally-relevant measures. We then consider the asymptotic limit of distilling from many copies of a given noisy coherent state, where we offer rigorous arguments to support the conjecture that the (necessary and sufficient) coherent measurement cost scales extensively in the number of copies. We also show that this cost is no smaller than the coherence of measurements saturating the scaling law in the generalized quantum Stein's lemma. Our results and conjectures apply to any task whereof coherence distillation is an incidental outcome (e.g., incoherent randomness extraction). But if pure coherence is the only desired outcome, our conjectures would have the cautionary implication that the measurement cost is often higher than the distilled yield, in which case coherence should rather be prepared afresh than distilled from a noisy input.
We compute on all quantum states several measures that characterise asymptotic quantum coherence manipulation under restricted classes of operations. We focus on the distillable coherence, i.e. the maximum rate of production of approximate pure bits of coherence starting from independent copies of an input state ρ, and on the coherence cost, i.e. the minimum rate of consumption of pure coherence bits that is needed to generate many copies of ρ with vanishing error. We obtain the first closed-form expression for the distillable coherence under strictly incoherent operations (SIO), proving that it coincides with that obtained via physically incoherent operations (PIO). This shows that SIO and PIO are equally weak at distilling coherence, sheds light on the recently discovered phenomenon of generic bound coherence, and provides us with an explicit optimal distillation protocol that is amenable to practical implementations. We give a single-letter formula for the coherence cost under PIO, showing that it is finite on a set of states with nonzero volume. Since PIO can be realised in a laboratory with incoherent ancillae, unitaries, and measurements, our result puts fundamental limitations on coherence manipulation in an experimentally relevant setting. We find examples of `abyssally bound' states with vanishing PIO distillable coherence yet infinite PIO coherence cost. Our findings complete the picture of asymptotic coherence manipulation under all the main classes of incoherent operations.
Manipulation and quantification of quantum resources are fundamental problems in quantum physics. In the asymptotic limit, coherence distillation and dilution have been proposed by manipulating infinite identical copies of states. In the nonasymptotic setting, finite data-size effects emerge, and the practically relevant problem of coherence manipulation using finite resources has been left open. This Letter establishes the one-shot theory of coherence dilution, which involves converting maximally coherent states into an arbitrary quantum state using maximally incoherent operations, dephasing-covariant incoherent operations, incoherent operations, or strictly incoherent operations. We introduce several coherence monotones with concrete operational interpretations that estimate the one-shot coherence cost-the minimum amount of maximally coherent states needed for faithful coherence dilution. Furthermore, we derive the asymptotic coherence dilution results with maximally incoherent operations, incoherent operations, and strictly incoherent operations as special cases. Our result can be applied in the analyses of quantum information processing tasks that exploit coherence as resources, such as quantum key distribution and random number generation.
We establish an operational theory of coherence (or of superposition) in quantum systems, by focusing on the optimal rate of performance of certain tasks. Namely, we introduce the two basic concepts-"coherence distillation" and "coherence cost"-in the processing quantum states under so-called incoherent operations [Baumgratz, Cramer, and Plenio, Phys. Rev. Lett. 113, 140401 (2014)]. We, then, show that, in the asymptotic limit of many copies of a state, both are given by simple single-letter formulas: the distillable coherence is given by the relative entropy of coherence (in other words, we give the relative entropy of coherence its operational interpretation), and the coherence cost by the coherence of formation, which is an optimization over convex decompositions of the state. An immediate corollary is that there exists no bound coherent state in the sense that one would need to consume coherence to create the state, but no coherence could be distilled from it. Further, we demonstrate that the coherence theory is generically an irreversible theory by a simple criterion that completely characterizes all reversible states.
Distillation, or purification, is central to the practical use of quantum resources in noisy settings often encountered in quantum communication and computation. Conventionally, distillation requires using some restricted "free" operations to convert a noisy state into one that approximates a desired pure state. Here, we propose to relax this setting by only requiring the approximation of the measurement statistics of a target pure state, which allows for additional classical postprocessing of the measurement outcomes. We show that this extended scenario, which we call "virtual resource distillation," provides considerable advantages over standard notions of distillation, allowing for the purification of noisy states from which no resources can be distilled conventionally. We show that general states can be virtually distilled with a cost (measurement overhead) that is inversely proportional to the amount of existing resource, and we develop methods to efficiently estimate such cost via convex and semidefinite programming, giving several computable bounds. We consider applications to coherence, entanglement, and magic distillation, and an explicit example in quantum teleportation (distributed quantum computing). This work opens a new avenue for investigating generalized ways to manipulate quantum resources.
We compute analytically the maximal rates of distillation of quantum coherence under strictly incoherent operations (SIO) and physically incoherent operations (PIO), showing that they coincide for all states, and providing a complete description of the phenomenon of bound coherence. In particular, we establish a simple, analytically computable necessary and sufficient criterion for the asymptotic distillability under SIO and PIO. We use this result to show that almost every quantum state is undistillable-only pure states as well as states whose density matrix contains a rank-one submatrix allow for coherence distillation under SIO or PIO, while every other quantum state exhibits bound coherence. This demonstrates the fundamental operational limitations of SIO and PIO in the resource theory of quantum coherence. We show that the fidelity of distillation of a single bit of coherence under SIO can be efficiently computed as a semidefinite program, and investigate the generalization of this result to provide an understanding of asymptotically achievable distillation fidelity.
The resource framework of quantum coherence was introduced by Baumgratz, Cramer, and Plenio [Phys. Rev. Lett. 113, 140401 (2014)] and further developed by Winter and Yang [Phys. Rev. Lett. 116, 120404 (2016)]. We consider the one-shot problem of distilling pure coherence from a single instance of a given resource state. Specifically, we determine the distillable coherence with a given fidelity under incoherent operations (IO) through a generalization of the Winter-Yang protocol. This is compared to the distillable coherence under maximal incoherent operations (MIO) and dephasing-covariant incoherent operations (DIO), which can be cast as a semidefinite programme, that has been presented previously by Regula et al. [Phys. Rev. Lett. 121, 010401 (2018)]. Our results are given in terms of a smoothed min-relative entropy distance from the incoherent set of states, and a variant of the hypothesis-testing relative entropy distance, respectively. The one-shot distillable coherence is also related to one-shot randomness extraction. Moreover, from the one-shot formulas under IO, MIO, and DIO, we can recover the optimal distillable rate in the many-copy asymptotics, yielding the relative entropy of coherence. These results can be compared with previous work by some of the present authors [Zhao et al., Phys. Rev. Lett. 120, 070403 (2018)] on one-shot coherence formation under IO, MIO, DIO and also SIO. This shows that the amount of distillable coherence is essentially the same for IO, DIO, and MIO, despite the fact that the three classes of operations are very different. We also relate the distillable coherence under strictly incoherent operations (SIO) to a constrained hypothesis testing problem and explicitly show the existence of bound coherence under SIO in the asymptotic regime.