Various physical phenomena have found use as resources in quantum information processing tasks, and the study of their properties is necessary to provide optimal methods to harness their power. The thesis presents a series of results aiming to characterise the quantitative and operational aspects of general quantum resources, and in particular to establish methods applicable to a variety of resources and emphasise the similarities in their characterisation. Our approach relies on the underlying convex structure of quantum resource theories, employing techniques from convex analysis and optimisation to gain a better understanding of both the fundamental properties of quantum resources as well as our ability to manipulate them efficiently in information processing protocols such as resource distillation. The first part of the thesis introduces a unified framework for resource quantification, establishing general properties of arbitrary convex quantum resource theories and providing insight into the common structure of many physically relevant resources. The second part of the thesis deals with the convex optimisation problems involved in the operational characterisation of two representative quantum resources, quantum entanglement and quantum coherence, where we in particular establish a detailed description of their distillation under several classes of operations, and introduce methods for the interconversion between the two resources. In the final part, we employ geometric methods to characterise the quantification of entanglement measures based on polynomial invariants and apply the results to investigate the monogamy properties of multipartite entanglement.
Various physical phenomena have found use as resources in quantum information processing tasks, and the study of their properties is necessary to provide optimal methods to harness their power. The thesis presents a series of results aiming to characterise the quantitative and operational aspects of general quantum resources, and in particular to establish methods applicable to a variety of resources and emphasise the similarities in their characterisation. Our approach relies on the underlying convex structure of quantum resource theories, employing techniques from convex analysis and optimisation to gain a better understanding of both the fundamental properties of quantum resources as well as our ability to manipulate them efficiently in information processing protocols such as resource distillation. The first part of the thesis introduces a unified framework for resource quantification, establishing general properties of arbitrary convex quantum resource theories and providing insight into the common structure of many physically relevant resources. The second part of the thesis deals with the convex optimisation problems involved in the operational characterisation of two representative quantum resources, quantum entanglement and quantum coherence, where we in particular establish a detailed description of their distillation under several classes of operations, and introduce methods for the interconversion between the two resources. In the final part, we employ geometric methods to characterise the quantification of entanglement measures based on polynomial invariants and apply the results to investigate the monogamy properties of multipartite entanglement.
Abstract We introduce a framework unifying the mathematical characterisation of different measures of general quantum resources and allowing for a systematic way to define a variety of faithful quantifiers for any given convex quantum resource theory. The approach allows us to describe many commonly used measures such as matrix norm-based quantifiers, robustness measures, convex roof-based measures, and witness-based quantifiers together in a common formalism based on the convex geometry of the underlying sets of resource-free states. We establish easily verifiable criteria for a measure to possess desirable properties such as faithfulness and strong monotonicity under relevant free operations, and show that many quantifiers obtained in this framework indeed satisfy them for any considered quantum resource. We derive various bounds and relations between the measures, generalising and providing significantly simplified proofs of results found in the resource theories of quantum entanglement and coherence. We also prove that the quantification of resources in this framework simplifies for pure states, allowing us to obtain more easily computable forms of the considered measures, and show that many of them are in fact equal on pure states. Further, we investigate the dual formulation of resource quantifiers, which provide a characterisation of the sets of resource witnesses. We present an explicit application of the results to the resource theories of multi-level coherence, entanglement of Schmidt number k , multipartite entanglement, as well as magic states, providing insight into the quantification of the four resources by establishing novel quantitative relations and introducing new quantifiers, such as a measure of entanglement of Schmidt number k which generalises the convex roof–extended negativity, a measure of k -coherence which generalises the ℓ 1 norm of coherence, and a hierarchy of norm-based quantifiers of k -partite entanglement generalising the greatest cross norm.
Convexity arises naturally in the study of quantum information. As a result, many useful tools from convex analysis can be used to give important results regarding aspects of quantum information. This thesis builds up methods using core concepts from convex analysis, including convex optimization problems, convex roof constructions, and conic programming, to study mathematical problems related to quantum entanglement. In this thesis, I develop a method for solving convex optimization problems that arise in quantum information theory by analyzing the corresponding converse problem. That is, given an element in a convex set, I determine a family of convex functions that are minimized at this point. This method is used find explicit formulas for the relative entropy of entanglement, as well as other important quantities used to quantify entanglement, and allows one to show important relationships between them. I also construct a practical algorithm that can be used to compute these quantities. This thesis also presents a method to compute convex roofs of arbitrary entanglement measures evaluated on highly symmetric bipartite states. I also establish a framework for completely characterizing quantum resource theories that are convex. For resource theories with a simple mathematical structure, this gives rise to a complete set of resource monotones that can be computed in practice using semidefinite programs. This has applications to the study of entanglement transformations.
One of the fundamental features that separates quantum physics from classical physics is the idea of quantum superposition, also known as coherence. This thesis concentrates on understanding quantum coherence in the mathematical framework of resource theories, viewing it both as a resource to be harnessed and as a way to quantitatively characterise quantum states in contrast to classical states. We first examine the type of coherence resource theory which has emerged recently to cope with general settings where the physical nature of the medium encoding information is not crucial, such as computation. We identify the set of quantum processes in which coherence is neither created nor used, and use these to provide a physically motivated resource theory pictured in terms of interferometry. Using the same concepts, we then find connections between coherence and discord, a type of quantum correlation. In particular, we show how coherence can be used to generate discord, and explore basis-dependent discord as an intermediate quantity. The second part of the thesis applies the resource theory framework to quantify quantum macroscopicity, taken here to mean the extent to which coherence exists in a system on a macroscopic scale. We find the appropriate type of resource theory for this purpose, giving criteria for good measures of macroscopic coherence. We use these criteria to evaluate some previously proposed measures and highlight the role of the quantum Fisher information. Next, we build up measures based on the concept of macroscopic distinguishability and use them to show that macroscopic quantum states are fragile to noise induced by interaction with an environment. Finally, we apply measures based on the Fisher information to a range of experiments involving mechanical degrees of freedom, in order to compare their macroscopicity.
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.
Identifying what quantum-mechanical properties are useful to untap a superior performance in quantum technologies is a pivotal question. Quantum resource theories provide a unified framework to analyze and understand such properties, as successfully demonstrated for entanglement and coherence. While these are examples of convex resources, for which quantum advantages can always be identified, many physical resources are described by a nonconvex set of free states and their interpretation has so far remained elusive. Here we address the fundamental question of the usefulness of quantum resources without convexity assumption, by providing two operational interpretations of the generalized robustness measure in general resource theories. First, we characterize the generalized robustness in terms of a nonlinear resource witness and reveal that any state is more advantageous than a free one in some multicopy channel discrimination task. Next, we consider a scenario where a theory is characterized by multiple constraints and show that the generalized robustness coincides with the worst-case advantage in a single-copy channel discrimination setting. Based on these characterizations, we conclude that every quantum resource state shows a qualitative and quantitative advantage in discrimination problems in a general resource theory even without any specification on the structure of the free states.