In this thesis we address the problem of building a Quantum Resource Theory in infinite dimension. In particular, we study bosonic non-classicality as a Quantum Resource in continuous-variable Quantum Information. After reviewing the formalism of open quantum systems and Quantum Optics, we introduce the framework of Quantum Resource Theories and we discuss the case of non-classicality, and its applications in Quantum Optics and Quantum Technologies. Finally, we study a Resource Theory of non-classicality based on the standard and measured relative entropies of non-classicality as resource monotones and we prove, for the first time in an infinite-dimensional Resource Theory, a bound for asymptotic conversion rates.
In this thesis we address the problem of building a Quantum Resource Theory in infinite dimension. In particular, we study bosonic non-classicality as a Quantum Resource in continuous-variable Quantum Information. After reviewing the formalism of open quantum systems and Quantum Optics, we introduce the framework of Quantum Resource Theories and we discuss the case of non-classicality, and its applications in Quantum Optics and Quantum Technologies. Finally, we study a Resource Theory of non-classicality based on the standard and measured relative entropies of non-classicality as resource monotones and we prove, for the first time in an infinite-dimensional Resource Theory, a bound for asymptotic conversion rates.
Resource theories provide a general framework for the characterization of properties of physical systems in quantum mechanics and beyond. Here we introduce methods for the quantification of resources in general probabilistic theories (GPTs), focusing in particular on the technical issues associated with infinite-dimensional state spaces. We define a universal resource quantifier based on the robustness measure, and show it to admit a direct operational meaning: in any GPT, it quantifies the advantage that a given resource state enables in channel discrimination tasks over all resourceless states. We show that the robustness acts as a faithful and strongly monotonic measure in any resource theory described by a convex and closed set of free states, and can be computed through a convex conic optimization problem. Specializing to continuous-variable quantum mechanics, we obtain additional bounds and relations, allowing an efficient computation of the measure and comparison with other monotones. We demonstrate applications of the robustness to several resources of physical relevance: optical nonclassicality, entanglement, genuine non-Gaussianity, and coherence. In particular, we establish exact expressions for various classes of states, including Fock states and squeezed states in the resource theory of nonclassicality and general pure states in the resource theory of entanglement, as well as tight bounds applicable in general cases.
We study asymptotic state transformations in continuous variable quantum resource theories. In particular, we prove that monotones displaying lower semicontinuity and strong superadditivity can be used to bound asymptotic transformation rates in these settings. This removes the need for asymptotic continuity, which cannot be defined in the traditional sense for infinite-dimensional systems. We consider three applications, to the resource theories of (I) optical nonclassicality, (II) entanglement, and (III) quantum thermodynamics. In cases (II) and (III), the employed monotones are the (infinite-dimensional) squashed entanglement and the free energy, respectively. For case (I), we consider the measured relative entropy of nonclassicality and prove it to be lower semicontinuous and strongly superadditive. One of our main technical contributions, and a key tool to establish these results, is a handy variational expression for the measured relative entropy of nonclassicality. Our technique then yields computable upper bounds on asymptotic transformation rates, including those achievable under linear optical elements. We also prove a number of results which guarantee that the measured relative entropy of nonclassicality is bounded on any physically meaningful state and easily computable for some classes of states of interest, e.g., Fock diagonal states. We conclude by applying our findings to the problem of cat state manipulation and noisy Fock state purification.
Continuous-variable systems realized in quantum optics play a major role in quantum information processing, and it is also one of the promising candidates for a scalable quantum computer. We introduce a resource theory for continuous-variable systems relevant to universal quantum computation. In our theory, easily implementable operations---Gaussian operations combined with feed-forward---are chosen to be the free operations, making the convex hull of the Gaussian states the natural free states. Since our free operations and free states cannot perform universal quantum computation, genuine non-Gaussian states---states not in the convex hull of Gaussian states---are the necessary resource states for universal quantum computation together with free operations. We introduce a monotone to quantify the genuine non-Gaussianity of resource states, in analogy to the stabilizer theory. A direct application of our resource theory is to bound the conversion rate between genuine non-Gaussian states. Finally, we give a protocol that probabilistically distills genuine non-Gaussianity---increases the genuine non-Gaussianity of resource states---only using free operations and postselection on Gaussian measurements, where our theory gives an upper bound for the distillation rate. In particular, the same protocol allows the distillation of cubic phase states, which enable universal quantum computation when combined with free operations.
We develop a resource theory for continuous-variable systems grounded on operations routinely available within current quantum technologies. In particular, the set of free operations is convex and includes quadratic transformations and conditional coarse-grained measurements. The present theory lends itself to quantify both quantum non-Gaussianity and Wigner negativity as resources, depending on the choice of the free-state set---i.e., the convex hull of Gaussian states or the states with positive Wigner function, respectively. After showing that the theory admits no maximally resourceful state, we define a computable resource monotone---the Wigner logarithmic negativity. We use the latter to assess the resource content of experimentally relevant states---e.g., photon-added, photon-subtracted, cubic-phase, and cat states---and to find optimal working points of some resource concentration protocols. We envisage applications of this framework to subuniversal and universal quantum information processing over continuous variables.
Connections between the resource theories of coherence and purity (or non-uniformity) are well known for discrete-variable, finite-dimensional, quantum systems. We establish analogous results for continuous-variable (CV) systems, in particular Gaussian systems. To this end, we define the concept of maximal coherence at fixed energy, which is achievable with energy-preserving unitaries. We show that the maximal Gaussian coherence (where states and operations are required to be Gaussian) can be quantified analytically by the relative entropy. We then propose a resource theory of non-uniformity, by considering the purity of a quantum state at fixed energy as resource, and by defining non-uniformity monotones. In the Gaussian case, we prove the equality of Gaussian non-uniformity and maximal Gaussian coherence. Finally, we show a hierarchy for non-uniformity, coherence, discord and entanglement in CV systems.
Quantum information science is at the interface of physics and information theory, with applications including quantum computing and communication. Within this science, a resource theory is a detailed study of a particular class of physical processes, under which the possible state transitions are restricted. Given any initial physical state, the possible final states are also restricted. Initial states with a wealth of possible final states can then be considered more valuable than less versatile initial states, leading to a notion of "resourcefulness" of states. The broad goals of a resource theory include (1) to identify, characterize, and quantify resources; (2) to find an efficient way to determine whether an arbitrary instance of resource conversion is possible; and (3) to relate practical applications to resource conversion. In this thesis, we will take the resource-theoretic approach to understanding thermodynamics. The mathematical methods used in this work will enable us to also develop resource theories for measurement uncertainty and reference frames; in fact, the resource-theoretic treatment of thermodynamics is a combination of these two. Our approach is based on a model called thermal operations, applicable on individual quantum-mechanical systems out of thermal equilibrium. We study this model in detail, resulting in a better understanding of the resource of thermal inequilibrium. In a simplified version of the model where quantum coherence is neglected, we find that the conditions for state transitions are already more complex than the classical second law of thermodynamics. We extend the model to quantum systems controlled by classical circuitry. We also extend it to incorporate quantum coherence in the low-temperature limit. Measurement uncertainty is an important element in quantum mechanics. But its current understanding is through particular measures of uncertainty, such as the variance. We apply the resource theory approach to develop a measure-independent formalism for uncertainty, even in the case where the measurement is on part of a composite system with quantum correlations. Under physical processes restricted by some symmetry (e.g. rotational symmetry), asymmetric states act as resourceful reference frames. In this resource theory, we find the rate at which large quantities of resources can be interconverted through measurements.