Channel simulation using coherence, which refers to realizing a target channel with coherent states and free operations, is a fundamental problem in the quantum resource theory of coherence. The limitations of the accuracy of deterministic channel simulation motivate us to consider the more general probabilistic framework. In this paper, we develop the framework for probabilistic channel simulation using coherence with free operations. When the chosen set of free operations is the maximally incoherent operations, we provide an efficiently computable semidefinite program (SDP) to calculate the maximal success probability and derive the analytic expression of success probability for some special cases. When the chosen set of free operations is the dephasing-covariant incoherent operations (DIO), we show that if the target channel is not a resource nonactivating channel then one cannot simulate it exactly both deterministically and probabilistically. The SDP for maximal success probability of simulating a channel by DIO is also given correspondingly. Published by the American Physical Society 2024
Channel simulation using coherence, which refers to realizing a target channel with coherent states and free operations, is a fundamental problem in the quantum resource theory of coherence. The limitations of the accuracy of deterministic channel simulation motivate us to consider the more general probabilistic framework. In this paper, we develop the framework for probabilistic channel simulation using coherence with free operations. When the chosen set of free operations is the maximally incoherent operations, we provide an efficiently computable semidefinite program (SDP) to calculate the maximal success probability and derive the analytic expression of success probability for some special cases. When the chosen set of free operations is the dephasing-covariant incoherent operations (DIO), we show that if the target channel is not a resource nonactivating channel then one cannot simulate it exactly both deterministically and probabilistically. The SDP for maximal success probability of simulating a channel by DIO is also given correspondingly. Published by the American Physical Society 2024
The ability to distill quantum coherence is pivotal for optimizing the performance of quantum technologies; however, such a task cannot always be accomplished with certainty. Here we develop a general framework of probabilistic distillation of quantum coherence in a one-shot setting, establishing fundamental limitations for different classes of free operations. We first provide a geometric interpretation for the maximal success probability, showing that under maximally incoherent operations (MIO) and dephasing-covariant incoherent operations (DIO) the problem can be simplified into efficiently computable semidefinite programs. Exploiting these results, we find that DIO and its subset of strictly incoherent operations have equal power in the probabilistic distillation of coherence from pure input states, while MIO are strictly stronger. We then prove a fundamental no-go result: Distilling coherence from any full-rank state is impossible even probabilistically. We further find that in some conditions the maximal success probability can vanish suddenly beyond a certain threshold in the distillation fidelity. Finally, we consider probabilistic coherence distillation assisted by a catalyst and demonstrate, with specific examples, its superiority to the unassisted and deterministic cases.
Quantum coherence is one of the fundamental properties of quantum mechanics and also acts as a valuable resource for a variety of practical applications, which includes quantum computing and quantum information processing. Evaluating the dilution of coherence is a basic problem in the framework of resource theory. We consider the coherence dilution problem in the one-shot scenario. We find a semidefinite program of one-shot coherence dilution of pure state under maximally incoherent operation. We further give a similar but not semidefinite program form under dephasing-covariant incoherent operation. Moreover, we prove that the known lower bound of the one-shot dilution is strict. Our numerical experiment clearly demonstrates that the maximally incoherent operation and dephasing-covariant incoherent operation have different power in the coherence dilution.
Any quantum resource theory is based on free states and free operations, i.e., states and operations which can be created and performed at no cost. In the resource theory of coherence free states are diagonal in some fixed basis, and free operations are those which cannot create coherence for some particular experimental realization. Recently, some problems of this approach have been discussed, and new sets of operations have been proposed to resolve these problems. As an example for such a problem, a quantum operation can be incoherent in one particular experimental realization, but it still can create large amount of coherence in another. This problem is resolved by the framework of genuine quantum coherence. Here, we investigate this concept further and study other more general sets of operations which cannot create coherence in any experimental realization. We analyze in detail the mathematical structure of this class of maps and use this to study possible state transformations under these operations. We show that deterministic manipulation is severely limited, even in the asymptotic settings. In particular, this framework does not have a unique golden unit, i.e., there is no single state from which all other states can be created deterministically with the free operations. On the other hand, we show that these theories allow for a richer structure in what comes to stochastic manipulation of states. In particular, we determine the optimal probability of conversion among pure states with genuinely incoherent operations. Still, the aforementioned limitations suggest that any reasonably powerful resource theory of coherence must contain free operations which can potentially create coherence in some experimental realization.
We generalize the recently proposed resource theory of coherence (or superposition) [T. Baumgratz et al., Phys. Rev. Lett. 113, 140401 (2014); A. Winter and D. Yang, Phys. Rev. Lett. 116, 120404 (2016)] to the setting where not just the free (``incoherent'') resources, but also the manipulated objects, are quantum operations rather than states. In particular, we discuss an information theoretic notion of the coherence capacity of a quantum channel and prove a single-letter formula for it in the case of unitaries. Then we move to the coherence cost of simulating a channel and prove achievability results for unitaries and general channels acting on a d-dimensional system; we show that a maximally coherent state of rank d is always sufficient as a resource if incoherent operations are allowed, and one of rank d2 for ``strictly incoherent'' operations. We also show lower bounds on the simulation cost of channels that allow us to conclude that there exists bound coherence in operations, i.e., maps with nonzero cost of implementing them but zero coherence capacity; this is in contrast to states, which do not exhibit bound coherence.
Block coherence provides a natural generalization of standard quantum coherence by treating superpositions across different subspaces as a resource. This work studies deterministic pure-state conversion under three free operations: physically block incoherent operations (PBIO), strictly block incoherent operations (SBIO), and block dephasing covariant incoherent operations (BDCO). For PBIO, we prove that, under a natural nondegeneracy condition on the active Kraus branches, any deterministic conversion from one pure state to another must be implemented by a block incoherent unitary. When the nondegeneracy requirement is removed, the condition becomes more general. It demands that the blockwise action of every active branch reproduce the target block structure with a common proportionality factor across all output blocks. For SBIO and BDCO, we show that deterministic pure-state transformation is completely characterized by the majorization relation between the input and output block probability vectors. The converse proof is constructive, yielding an explicit Kraus representation for every admissible BDCO transformation. In the rank-one limit, these conditions reduce to the known pure-state transformation criteria for physically incoherent operations (PIO), strictly incoherent operations (SIO), and dephasing covariant incoherent operations (DIO) in the standard resource theory of coherence. Using the majorization condition, a maximally block-coherent state with uniform block weights is also identified as a universal pure-state resource under BDCO and SBIO. We have also provided geometric numerical illustrations comparing the state transformation power of BDCO and DIO for a fixed input state, fixed output state and mutual convertibility scenarios.
Abstract Any quantum resource theory is based on free states and free operations, i.e. states and operations which can be created and performed at no cost. In the resource theory of coherence free states are diagonal in some fixed basis, and free operations are those which cannot create coherence for some particular experimental realization. Recently, some problems of this approach have been discussed, and new sets of operations have been proposed to resolve these problems. We propose here the framework of genuine quantum coherence. This approach is based on a simple principle: we demand that a genuinely incoherent operation preserves all incoherent states. This framework captures coherence under additional constrains such as energy preservation and all genuinely incoherent operations are incoherent regardless of their particular experimental realization. We also introduce the full class of operations with this property, which we call fully incoherent. We analyze in detail the mathematical structure of these classes and also study possible state transformations. We show that deterministic manipulation is severely limited, even in the asymptotic settings. In particular, this framework does not have a unique golden unit, i.e. there is no single state from which all other states can be created deterministically with the free operations. This suggests that any reasonably powerful resource theory of coherence must contain free operations which can potentially create coherence in some experimental realization.