A general framework for studying quantum coherence as a resource is presented, where coherence is classified as speakable'' or unspeakable'' based on whether or not the identity of the subspaces that appear in the coherent superposition is significant.
Quantum coherence is a critical resource for many operational tasks. Understanding how to quantify and manipulate it also promises to have applications for a diverse set of problems in theoretical physics. For certain applications, however, one requires coherence between the eigenspaces of specific physical observables, such as energy, angular momentum, or photon number, and it makes a difference which eigenspaces appear in the superposition. For others, there is a preferred set of subspaces relative to which coherence is deemed a resource, but it is irrelevant which of the subspaces appear in the superposition. We term these two types of coherence unspeakable and speakable, respectively. We argue that a useful approach to quantifying and characterizing unspeakable coherence is provided by the resource theory of asymmetry when the symmetry group is a group of translations, and we translate a number of prior results on asymmetry into the language of coherence. We also highlight some of the applications of this approach, for instance, in the context of quantum metrology, quantum speed limits, quantum thermodynamics, and nuclear magnetic resonance (NMR). The question of how best to treat speakable coherence as a resource is also considered. We review a popular approach in terms of operations that preserve the set of incoherent states, propose an alternative approach in terms of operations that are covariant under dephasing, and we outline the challenge of providing a physical justification for either approach. Finally, we note some mathematical connections that hold among the different approaches to quantifying coherence.
Recently, there has been a renewed interest in the quantification of coherence or other coherencelike concepts within the framework of quantum resource theory. However, rigorously defined or not, the notion of coherence or decoherence has already been used by the community for decades since the advent of quantum theory. Intuitively, the definitions of coherence and decoherence should be two sides of the same coin. Therefore, a natural question is raised: How can the conventional decoherence processes, such as the von Neumann--L\"uders (projective) measurement postulation or partially dephasing channels, fit into the bigger picture of the recently established theoretical framework? Here we show that the state collapse rules of the von Neumann or L\"uders-type measurements, as special cases of genuinely incoherent operations (GIOs), are consistent with the resource theories of quantum coherence. New hierarchical measures of coherence are proposed for the L\"uders-type measurement and their relationship with measurement-dependent discord is addressed. Moreover, utilizing the fixed-point theory for C∗ algebra, we prove that GIOs indeed represent a particular type of partially dephasing (phase-damping) channels which have a matrix representation based on the Schur product. By virtue of the Stinespring dilation theorem, the physical realizations of incoherent operations are investigated in detail and we find that GIOs in fact constitute the core of strictly incoherent operations and generally incoherent operations and the unspeakable notion of coherence induced by GIOs can be transferred to the theories of speakable coherence by the corresponding permutation or relabeling operators.
Quantum coherence is one of the most important resources in quantum information theory. Indeed, preventing the loss of coherence is one of the most important technical challenges obstructing the development of large-scale quantum computers. Recently, there has been substantial progress in developing mathematical resource theories of coherence, paving the way towards its quantification and control. To date however, these resource theories have only been mathematically formalised within the realms of convex-geometry, information theory, and linear algebra. This approach is limited in scope, and makes it difficult to generalise beyond resource theories of coherence for single system quantum states. In this paper we take a complementary perspective, showing that resource theories of coherence can instead be defined purely compositionally, that is, working with the mathematics of process theories, string diagrams and category theory. This new perspective offers several advantages: i) it unifies various existing approaches to the study of coherence, for example, subsuming both speakable and unspeakable coherence; ii) it provides a general treatment of the compositional multi-system setting; iii) it generalises immediately to the case of quantum channels, measurements, instruments, and beyond rather than just states; iv) it can easily be generalised to the setting where there are multiple distinct sources of decoherence; and, iv) it directly extends to arbitrary process theories, for example, generalised probabilistic theories and Spekkens toy model---providing the ability to operationally characterise coherence rather than relying on specific mathematical features of quantum theory for its description. More importantly, by providing a new, complementary, perspective on the resource of coherence, this work opens the door to the development of novel tools which would not be accessible from the linear algebraic mind set.
Quantum coherence is one of the most important resources in quantum information theory. Indeed, preventing the loss of coherence is one of the most important technical challenges obstructing the development of large-scale quantum computers. Recently, there has been substantial progress in developing mathematical resource theories of coherence, paving the way towards its quantification and control. To date however, these resource theories have only been mathematically formalised within the realms of convex-geometry, information theory, and linear algebra. This approach is limited in scope, and makes it difficult to generalise beyond resource theories of coherence for single system quantum states. In this paper we take a complementary perspective, showing that resource theories of coherence can instead be defined purely compositionally, that is, working with the mathematics of process theories, string diagrams and category theory. This new perspective offers several advantages: i) it unifies various existing approaches to the study of coherence, for example, subsuming both speakable and unspeakable coherence; ii) it provides a general treatment of the compositional multi-system setting; iii) it generalises immediately to the case of quantum channels, measurements, instruments, and beyond rather than just states; iv) it can easily be generalised to the setting where there are multiple distinct sources of decoherence; and, iv) it directly extends to arbitrary process theories, for example, generalised probabilistic theories and Spekkens toy model---providing the ability to operationally characterise coherence rather than relying on specific mathematical features of quantum theory for its description. More importantly, by providing a new, complementary, perspective on the resource of coherence, this work opens the door to the development of novel tools which would not be accessible from the linear algebraic mind set.
Quantum coherence, which exhibits the fundamental signature of superposition in quantum mechanics, has been exploited in many fields of quantum physics, such as biological systems [1–3], transport theory [4, 5], thermodynamics [6–12], nanoscale physics [13] and other scientific work associated with quantum theory [14–21]. Recently, rigorous and unambiguous framework for quantifying quantum coherence has also been put forward, which has enhanced the exploitation of its operational significance in the context of quantum resource theory [22–24].