Coherence Distillation Research Articles

Finite Block Length Analysis on Quantum Coherence Distillation and Incoherent Randomness Extraction

We give the first systematic study on the second order asymptotics of the operational task of coherence distillation with and without assistance. In the unassisted setting, we introduce a variant of randomness extraction framework where free incoherent operations are allowed before the incoherent measurement and the randomness extractors. We then show that the maximum number of random bits extractable from a given quantum state is precisely equal to the maximum number of coherent bits that can be distilled from the same state. This relation enables us to derive tight second order expansions of both tasks in the independent and identically distributed setting. Remarkably, the incoherent operation classes that can empower coherence distillation for generic states all admit the same second order expansions, indicating their operational equivalence for coherence distillation in both asymptotic and large block length regime. We then generalize the above line of research to the assisted setting, arising naturally in bipartite quantum systems where Bob distills coherence from the state at hand, aided by the benevolent Alice possessing the other system. More precisely, we introduce a new assisted incoherent randomness extraction task and establish an exact relation between this task and the assisted coherence distillation. This strengthens the one-shot relation in the unassisted setting and confirms that this cryptographic framework indeed offers a new perspective to the study of quantum coherence distillation. Likewise, this relation yields second order characterizations to the assisted tasks. As by-products, we show the strong converse property of the aforementioned tasks from their second order expansions.

Protocol of deterministic coherence distillation and dilution of pure states

Coherence distillation and dilution are two core problems in the manipulation of quantum resources. In this paper, we propose deterministic coherent distillation and dilution protocols, which fully demonstrate the change from the pure state to the maximum coherent state and vice versa. Our protocols can reach the theoretical value introduced in the upper bound proposed by Liu et al recently [Liu C L and Zhou D L Phys. Rev. Lett. 123 070 402 (2019)]. In particular, we propose pure distillation and dilution protocols through the majorization of the relation, which can be obtained by using the strictlyincoherent operators.

Catalytic Coherence Transformation and Distillation for Special Mixed States

AbstractThe coherence transformation and distillation for a class of special mixed coherent states of rank‐2 under incoherent operations (IO) is discussed. Similar to the entanglement transformation for mixed entangled states, the catalytic coherence transformation for this class of special mixed coherent states is analyzed. On the one hand, it is found that some of the mixed coherent states can be converted into other mixed coherent states under IO. But for those mixed coherent states which fail in the coherence conversion under IO, the catalytic coherence manipulation can solve this problem. In this case, a mixed coherent state cannot be converted into another under IO, while the coherence transformation can be realized with the help of coherence‐assisted incoherent operations, that is, catalytic coherence transformation. On the other hand, these special mixed coherent states can be distilled into the maximally pure coherent states or mixed states of arbitrary dimensions by strictly incoherent operations with certain probabilities. Finally, the coherence transformation of this type of mixed states can be generalized to the case of higher rank in a similar way, which is discussed at the end of this paper.

Catalyst-assisted probabilistic coherence distillation for mixed states

The remarkable phenomenon of catalyst tells us that adding a catalyst could help state transformation. In this paper, we consider the problem of catalyst-assisted probabilistic coherence distillation for mixed states under strictly incoherent operations. To this end, we first present the necessary and sufficient conditions for distilling a target pure coherent state from an initial mixed state via stochastic strictly incoherent operations and the maximal probability of obtaining the target pure state from the initial state. With the help of these results, we present the necessary and sufficient conditions for the existence of a catalyst that increases the maximal transformation probability.

Coherence distillation machines are impossible in quantum thermodynamics

The role of coherence in quantum thermodynamics has been extensively studied in the recent years and it is now well-understood that coherence between different energy eigenstates is a resource independent of other thermodynamics resources, such as work. A fundamental remaining open question is whether the laws of quantum mechanics and thermodynamics allow the existence of a coherence distillation machine, i.e., a machine that, by possibly consuming work, obtains pure coherent states from mixed states, at a nonzero rate. This is related to another fundamental question: Starting from many copies of noisy quantum clocks which are (approximately) synchronized with a reference clock, can one distill synchronized clocks in pure states, at a non-zero rate? Surprisingly, we find that the answer to both questions is negative for generic (full-rank) mixed states. However, at the same time, it is possible to distill a sub-linear number of pure coherent states with a vanishing error.

One-shot coherence distillation with catalysts

The resource theory of quantum coherence is an important topic in quantum information science. Standard coherence distillation and dilution problems have been thoroughly studied. In this paper, we introduce and study the problem of one-shot coherence distillation with catalysts. In order to distill more coherence from a state of interest, a catalytic system can be involved and a jointly free operation is applied to both systems. The joint output state should be a maximally coherent state in tensor product with the unchanged catalysts, with some allowable fidelity error. We consider several different definitions of this problem. Firstly, with a small fidelity error in both systems, we show that, even via the smallest free operation class (PIO), the distillable coherence of any state with no restriction on the catalysts is infinite, which is a "coherence embezzling phenomenon". We then define and calculate a lower bound for the distillable coherence when the dimension of catalysts is restricted. Finally, in consideration of physical relevance, we define the "perfect catalysts" scenario where the catalysts are required to be pure and precisely unchanged. Interestingly, we show that in this setting catalysts basically provide no advantages in pure state distillation via IO and SIO under certain smoothing restriction. Our work enhances the understanding of catalytic effect in quantum resource theory.

Deterministic Coherence Distillation.

Coherence distillation is one of the central problems in the resource theory of coherence. In this Letter, we complete the deterministic distillation of quantum coherence for a finite number of coherent states under strictly incoherent operations. Specifically, we find the necessary and sufficient condition for the transformation from a mixed coherent state into a pure state via strictly incoherent operations, which recovers a connection between the resource theory of coherence and the algebraic theory of majorization lattice. With the help of this condition, we present the deterministic coherence distillation scheme and derive the maximum number of maximally coherent states obtained via this scheme.

Operational Interpretations of the l1 Norm Coherence in Pure Quantum Systems

The operational property of quantum coherence plays an important role in the development of the coherent resource theory. As one of the qualified measures of coherence, the l1 norm of coherence is easily computable, but it is difficult to find an intuitionistic interpretation. In this paper, we provide operational interpretations of the l1 norm of coherence as coherence distillation and discriminating subchannels separately. From the view of coherence distillation, the l1 norm of coherence is directly related to the maximum distance between the given state and the maximally coherent state under some incoherent operation, so it can be reviewed as the distillation of coherence from the given state. In the aspect of the subchannel discrimination, the l1 norm of coherence can characterize the advantage of coherent states in subchannel discrimination, because any coherent state provide a higher probability of successful discriminating subchannels than that of all incoherent states.

Generic Bound Coherence under Strictly Incoherent Operations

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.

One-Shot Coherence Distillation: Towards Completing the Picture

The resource framework of quantum coherence was introduced by Baumgratz, Cramer and Plenio [PRL 113, 140401 (2014)] and further developed by Winter and Yang [PRL 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 generalisation 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. [PRL 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, 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., PRL 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.

Optimal distillation of quantum coherence with reduced waste of resources

We present an optimal probabilistic protocol to distill quantum coherence. Inspired by a specific entanglement distillation protocol, our main result yields a strictly incoherent operation that produces one of a family of maximally coherent states of variable dimension from any pure quantum state. We also expand this protocol to the case where it is possible, for some initial states, to avert any waste of resources as far as the output states are concerned, by exploiting an additional transformation into a suitable intermediate state. These results provide practical schemes for efficient quantum resource manipulation.

Epsilon-smooth measure of coherence

In this paper, by minimizing the coherence quantifiers over all states in an $\epsilon$ ball around a given state, we define a generalized smooth quantifier, called the $\epsilon$-smooth measure of coherence. We use it to estimate the difference between the expected state and the actually prepared state and quantify quantum coherence contained in an actually prepared state, and it can been interpreted as the minimal coherence guaranteed to present in an $\epsilon$ ball around given quantum state. We find that the $\epsilon$-smooth measure of any coherence monotone is still a coherence monotone, but it does not satisfy monotonicity on average under incoherent operations. We show the $\epsilon$-smooth measure of coherence is continuous even if the original coherence quantifier is not. We also study the $\epsilon$-smooth measure of distance-based coherence quantifiers, and some interesting properties are given. Moreover, we discuss the dual form of the $\epsilon$-smooth measure of coherence by maximizing over all states in an $\epsilon$ ball around the given state and show that the dual $\epsilon$-smooth measure of coherence provides an upper bound of one-shot coherence distillation.

Nonasymptotic assisted distillation of quantum coherence

We characterize the operational task of environment-assisted distillation of quantum coherence under different sets of free operations when only a finite supply of copies of a given state is available. We first evaluate the one-shot assisted distillable coherence exactly, and introduce a semidefinite programming bound on it in terms of a smooth entropic quantity. We prove the bound to be tight for all systems in dimensions 2 and 3, which allows us to obtain computable expressions for the one-shot rate of distillation, establish an analytical expression for the best achievable fidelity of assisted distillation for any finite number of copies, and fully solve the problem of asymptotic zero-error assisted distillation for qubit and qutrit systems. Our characterization shows that all relevant sets of free operations in the resource theory of coherence have exactly the same power in the task of one-shot assisted coherence distillation, and furthermore resolves a conjecture regarding the additivity of coherence of assistance in dimension 3.

Probabilistic Distillation of Quantum Coherence.

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.

One-Shot Coherence Distillation.

We characterize the distillation of quantum coherence in the one-shot setting, that is, the conversion of general quantum states into maximally coherent states under different classes of quantum operations. We show that the maximally incoherent operations (MIO) and the dephasing-covariant incoherent operations (DIO) have the same power in the task of one-shot coherence distillation. We establish that the one-shot distillable coherence under MIO and DIO is efficiently computable with a semidefinite program, which we show to correspond to a quantum hypothesis testing problem. Further, we introduce a family of coherence monotones generalizing the robustness of coherence as well as the modified trace distance of coherence, and show that they admit an operational interpretation in characterizing the fidelity of distillation under different classes of operations. By providing an explicit formula for these quantities for pure states, we show that the one-shot distillable coherence under MIO, DIO, strictly incoherent operations, and incoherent operations is equal for all pure states.

One-Shot Coherence Dilution

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.

Coherence and entanglement measures based on Rényi relative entropies

We study systematically resource measures of coherence and entanglement based on Rényi relative entropies, which include the logarithmic robustness of coherence, geometric coherence, and conventional relative entropy of coherence together with their entanglement analogues. First, we show that each Rényi relative entropy of coherence is equal to the corresponding Rényi relative entropy of entanglement for any maximally correlated state. By virtue of this observation, we establish a simple operational connection between entanglement measures and coherence measures based on Rényi relative entropies. We then prove that all these coherence measures, including the logarithmic robustness of coherence, are additive. Accordingly, all these entanglement measures are additive for maximally correlated states. In addition, we derive analytical formulas for Rényi relative entropies of entanglement of maximally correlated states and bipartite pure states, which reproduce a number of classic results on the relative entropy of entanglement and logarithmic robustness of entanglement in a unified framework. Several nontrivial bounds for Rényi relative entropies of coherence (entanglement) are further derived, which improve over results known previously. Moreover, we determine all states whose relative entropy of coherence is equal to the logarithmic robustness of coherence. As an application, we provide an upper bound for the exact coherence distillation rate, which is saturated for pure states.

Maximum Relative Entropy of Coherence: An Operational Coherence Measure.

The operational characterization of quantum coherence is the cornerstone in the development of the resource theory of coherence. We introduce a new coherence quantifier based on maximum relative entropy. We prove that the maximum relative entropy of coherence is directly related to the maximum overlap with maximally coherent states under a particular class of operations, which provides an operational interpretation of the maximum relative entropy of coherence. Moreover, we show that, for any coherent state, there are examples of subchannel discrimination problems such that this coherent state allows for a higher probability of successfully discriminating subchannels than that of all incoherent states. This advantage of coherent states in subchannel discrimination can be exactly characterized by the maximum relative entropy of coherence. By introducing a suitable smooth maximum relative entropy of coherence, we prove that the smooth maximum relative entropy of coherence provides a lower bound of one-shot coherence cost, and the maximum relative entropy of coherence is equivalent to the relative entropy of coherence in the asymptotic limit. Similar to the maximum relative entropy of coherence, the minimum relative entropy of coherence has also been investigated. We show that the minimum relative entropy of coherence provides an upper bound of one-shot coherence distillation, and in the asymptotic limit the minimum relative entropy of coherence is equivalent to the relative entropy of coherence.

Towards Resource Theory of Coherence in Distributed Scenarios

The search for a simple description of fundamental physical processes is an important part of quantum theory. One example for such an abstraction can be found in the distance lab paradigm: if two separated parties are connected via a classical channel, it is notoriously difficult to characterize all possible operations these parties can perform. This class of operations is widely known as local operations and classical communication (LOCC). Surprisingly, the situation becomes comparably simple if the more general class of separable operations is considered, a finding which has been extensively used in quantum information theory for many years. Here, we propose a related approach for the resource theory of quantum coherence, where two distant parties can only perform measurements which do not create coherence and can communicate their outcomes via a classical channel. We call this class local incoherent operations and classical communication (LICC). While the characterization of this class is also difficult in general, we show that the larger class of separable incoherent operations (SI) has a simple mathematical form, yet still preserving the main features of LICC. We demonstrate the relevance of our approach by applying it to three different tasks: assisted coherence distillation, quantum teleportation, and single-shot quantum state merging. We expect that the results obtained in this work also transfer to other concepts of coherence which are discussed in recent literature. The approach presented here opens new ways to study the resource theory of coherence in distributed scenarios.

Relating the Resource Theories of Entanglement and Quantum Coherence

Quantum coherence and quantum entanglement represent two fundamental features of nonclassical systems that can each be characterized within an operational resource theory. In this Letter, we unify the resource theories of entanglement and coherence by studying their combined behavior in the operational setting of local incoherent operations and classical communication (LIOCC). Specifically, we analyze the coherence and entanglement trade-offs in the tasks of state formation and resource distillation. For pure states we identify the minimum coherence-entanglement resources needed to generate a given state, and we introduce a new LIOCC monotone that completely characterizes a state's optimal rate of bipartite coherence distillation. This result allows us to precisely quantify the difference in operational powers between global incoherent operations, LIOCC, and local incoherent operations without classical communication. Finally, a bipartite mixed state is shown to have distillable entanglement if and only if entanglement can be distilled by LIOCC, and we strengthen the well-known Horodecki criterion for distillability.