This work is based on the idea that extension of physical and mathematical theories to include the amount of space, time, momentum, and energy resources required to determine properties of systems may influence what is true in physics and mathematics at a foundational level. Background material, on the dependence of region or system sizes on both the resources required to study the regions or systems and the indirectness of the reality status of the systems, suggests that one associate to each amount, r, of resources a domain, D_{r}, a theory, T_{r}, and a language, L_{r}. D_{r} is limited in that all statements in D_{r} require at most r resources to verify or refute. T_{r} is limited in that any theorem of T_{r} must be provable using at most r resources. Also any theorem of T_{r} must be true in D_{r}. L_{r} is limited in that all expressions in L_{r} require at most r resources to create, display, and maintain. A partial ordering of the resources is used to describe minimal use of resources, a partial ordering of the T_{r}, and motion of an observer using resources to acquire knowledge. Reflection principles are used to push the effect of Godel's incompleteness theorem on consistency up in the partial ordering. It is suggested that a coherent theory of physics and mathematics, or theory of everything, is a common extension of all the T_{r}.
It is known that distillation in continuous variable resource theories is impossible when restricted to Gaussian states and operations. To overcome this limitation, we enlarge the theories to include convex mixtures of Gaussian states and operations. This extension is operationally well-motivated since classical randomness is easily accessible. We find that resource distillation becomes possible for convex Gaussian resource theories-albeit in a limited fashion. We derive this limitation by studying the convex roof extension of a Gaussian resource measure and then go on to show that our bound i…
Quantum resource theories offer a powerful framework for studying various phenomena in quantum physics. Despite considerable effort has been devoted to developing a unified framework of resource theories, there are few common properties that hold for all quantum resources. In this paper, we fill this gap by introducing the flag additivity based on the tensor product structure and the flag basis for the general quantum resources. To illustrate the usefulness of flag additivity, we show that flag additivity can be used to derive other nontrivial properties in quantum resource theories, e.g., str…
Instrument-based quantum resources: quantification, hierarchies and constructing resource theories
The Institute of Mathematical Sciences（数学科学研究所）；Homi Bhabha National Institute（霍米·巴巴国立研究所）；Indian Institute of Technology Bhubaneswar（布巴内斯瓦尔印度理工学院）；Korea Research Institute of Standards and Science（韩国标准科学研究院）
Polytopic Quantum Resource Theories: Geometry and Structures
Institute of Informatics, Faculty of Mathematics, Physics and Informatics, University of Gdansk（格但斯克大学数学、物理与信息学院信息学研究所）；Department of Physical Sciences, Indian Institute of Science Education and Research Kolkata（印度科学教育与研究学院加尔各答分校物理科学系）
We introduce the resource quantifier of weight of resource for convex quantum resource theories of states with arbitrary resources. We show that it captures the advantage that a resourceful state offers over all possible free states, in the operational task of exclusion of subchannels. Furthermore, we introduce information-theoretic quantities related to exclusion and find a connection between the weight of resource of a state, and the exclusion-type information of ensembles it can generate. These results provide support to a recent conjecture made in the context of convex quantum resource the…
We study the one-shot distillation of general quantum resources, providing a unified quantitative description of the maximal fidelity achievable in this task, and revealing similarities shared by broad classes of resources. We establish fundamental quantitative and qualitative limitations on resource distillation applicable to all convex resource theories. We show that every convex quantum resource theory admits a meaningful notion of a pure maximally resourceful state which maximizes several monotones of operational relevance and finds use in distillation. We endow the generalized robustness …
We extend the tools of quantum resource theories to scenarios in which multiple quantities (or resources) are present, and their interplay governs the evolution of physical systems. We derive conditions for the interconversion of these resources, which generalise the first law of thermodynamics. We study reversibility conditions for multi-resource theories, and find that the relative entropy distances from the invariant sets of the theory play a fundamental role in the quantification of the resources. The first law for general multi-resource theories is a single relation which links the change…
One of the main goals of any resource theory such as entanglement, quantum thermodynamics, quantum coherence, and asymmetry, is to find necessary and sufficient conditions (NSC) that determine whether one resource can be converted to another by the set of free operations. Here we find such NSC for a large class of quantum resource theories which we call affine resource theories (ART). ARTs include the resource theories of athermality, asymmetry, and coherence, but not entanglement. Remarkably, the NSC can be expressed as a family of inequalities between resource monotones (quantifiers) that ar…
We review the basic idea behind resource theories, where we quantify quantum resources by specifying a restricted class of operations. This divides the state space into various sets, including states which are free (because they can be created under the class of operations), and those which are a resource (because they cannot be). One can quantify the worth of the resource by the relative entropy distance to the set of free states, and under certain conditions, this is a unique measure which quantifies the rate of state to state transitions. The framework includes entanglement, asymmetry and p…
We initiate the systematic study of resource theories of quantum channels, i.e. of the dynamics that quantum systems undergo by completely positive maps, in abstracto: Resources are in principle all maps from one quantum system to another, but some maps are deemed free. The free maps are supposed to satisfy certain axioms, among them closure under tensor products, under composition and freeness of the identity map (the latter two say that the free maps form a monoid). The free maps act on the resources simply by tensor product and composition. This generalizes the much-studied resource theorie…
Quantum resource theory is perhaps the most revolutionary framework that quantum physics has ever experienced. It plays vigorous roles in unifying the quantification methods of a requisite quantum effect as wells as in identifying protocols that optimize its usefulness in a given application in areas ranging from quantum information to computation. Moreover, the resource theories have transmuted radical quantum phenomena like coherence, nonclassicality and entanglement from being just intriguing to being helpful in executing realistic thoughts. A general quantum resource theoretical framework …
Resource theories constitute a powerful theoretical framework and a tool that captures, in an abstract structure, pragmatic aspects of the most varied theories and processes. For physical theories, while this framework deals directly with questions about the concrete possibilities of carrying out tasks and processes, resource theories also make it possible to recast these already established theories on a new language, providing not only new perspectives on the potential of physical phenomena as valuable resources for technological development, for example, but they also provide insights into …
We address the problem of finding the optimal common resource for an arbitrary family of target states in quantum resource theories based on majorization, that is, theories whose conversion law between resources is determined by a majorization relationship, such as it happens with entanglement, coherence or purity. We provide a conclusive answer to this problem by appealing to the completeness property of the majorization lattice. We give a proof of this property that relies heavily on the more geometric construction provided by the Lorenz curves, which allows to explicitly obtain the correspo…
Influence of Noninertial Dynamics on Static Quantum Resource Theories
Sri Sai Ram Engineering College（斯里赛拉姆工程学院）；New York University Shanghai, NYU- ECNU Institute of Physics at NYU Shanghai（纽约大学上海分校，纽约大学上海NYU-华东师范大学物理研究所）；East China Normal University（华东师范大学）；NYUAD Research Institute, New York University Abu Dhabi（阿布扎比纽约大学研究院）；New York University（纽约大学）
We discuss some features of thermodynamics in the presence of multiple conserved quantities. We prove a generalisation of Landauer principle illustrating tradeoffs between the erasure costs paid in different "currencies". We then show how the maximum entropy and complete passivity approaches give different answers in the presence of multiple observables. We discuss how this seems to prevent current resource theories from fully capturing thermodynamic aspects of non-commutativity.
Although it is well known that the amount of resources that can be asymptotically distilled from a quantum state or channel does not exceed the resource cost needed to produce it, the corresponding relation in the non-asymptotic regime hitherto has not been well understood. Here, we establish a quantitative relation between the one-shot distillable resource yield and dilution cost in terms of transformation errors involved in these processes. Notably, our bound is applicable to quantum state and channel manipulation with respect to any type of quantum resource and any class of free transformat…
The prevalent modus operandi within the framework of quantum resource theories has been to characterise and harness the resources within single objects, in what we can call \emph{single-object} quantum resource theories. One can wonder however, whether the resources contained within multiple different types of objects, now in a \emph{multi-object} quantum resource theory, can simultaneously be exploited for the benefit of an operational task. In this work, we introduce examples of such multi-object operational tasks in the form of subchannel discrimination and subchannel exclusion games, in wh…
Re-examining the Role of State Texture in Gate Identification and Fixed-Point Resource Theories
University of Toronto（多伦多大学）；Purdue University（普渡大学）；Purdue Quantum Science and Engineering Institute（普渡量子科学与工程研究所）；Oak Ridge National Laboratory（橡树岭国家实验室）；DEVCOM Army Research Laboratory（德弗科姆陆军研究实验室）；Tulane University（杜兰大学）
We investigate the conditions under which an uncontrollable background processes may be harnessed by an agent to perform a task that would otherwise be impossible within their operational framework. This situation can be understood from the perspective of resource theory: rather than harnessing 'useful' quantum states to perform tasks, we propose a resource theory of quantum processes across multiple points in time. Uncontrollable background processes fulfil the role of resources, and a new set of objects called superprocesses, corresponding to operationally implementable control of the system…
Quantum coherence is one of the most important resources in quantum information. 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 i…
Conventional statistical mechanics describes large systems and averages over many particles or over many trials. But work, heat, and entropy impact the small scales that experimentalists can increasingly control, e.g., in single-molecule experiments. The statistical mechanics of small scales has been quantified with two toolkits developed in quantum information theory: resource theories and one-shot information theory. The field has boomed recently, but the theorems amassed have hardly impacted experiments. Can thermodynamic resource theories be realized experimentally? Via what steps can we s…
Quantum resource theories (QRTs) provide a unified theoretical framework for understanding inherent quantum-mechanical properties that serve as resources in quantum information processing, but resources motivated by physics may possess intractable mathematical structure to analyze, such as non-uniqueness of maximally resourceful states, lack of convexity, and infinite dimension. We investigate state conversion and resource measures in general QRTs under minimal assumptions to figure out universal properties of physically motivated quantum resources that may have such intractable mathematical s…
Can a problem undecidable with classical resources be decidable with quantum ones? The answer expected is no; as both being Turing theories, they should not solve the Halting problem - a problem unsolvable by any Turing machine. Yet, we provide an affirmative answer to the aforesaid question. We come up with a novel logical structure to formulate infinitely many such problems for any pair of distinct Turing theories, including but not limited to the classical and quantum theories. Importantly, a class of other decision problems, such as the Halting one, remains unsolvable in all those theories…
Thermodynamics, which describes vast systems, has been reconciled with small scales, relevant to single-molecule experiments, in resource theories. Resource theories have been used to model exchanges of energy and information. Recently, particle exchanges were modeled; and an umbrella family of thermodynamic resource theories was proposed to model diverse baths, interactions, and free energies. This paper motivates and details the family's structure and prospective applications. How to model electrochemical, gravitational, magnetic, and other thermodynamic systems is explained. Szilard's engin…
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 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 co…
Quantum channels are quintessential to quantum information, being used in all protocols, and describing how systems evolve in space and time. As such, they play a key role in the manipulation of quantum resources, and they are often resources themselves, called dynamical resources. This forces us to go beyond standard resource theories of quantum states. Here we provide a rigorous foundation for dynamical resource theories, where the resources into play are quantum channels, explaining how to manipulate dynamical resources with free superchannels. In particular, when the set of free superchann…
How far can we take the resource theoretic approach to explore physics? Resource theories like LOCC, reference frames and quantum thermodynamics have proven a powerful tool to study how agents who are subject to certain constraints can act on physical systems. This approach has advanced our understanding of fundamental physical principles, such as the second law of thermodynamics, and provided operational measures to quantify resources such as entanglement or information content. In this work, we significantly extend the approach and range of applicability of resource theories. Firstly we gene…
In recent years it was recognized that properties of physical systems such as entanglement, athermality, and asymmetry, can be viewed as resources for important tasks in quantum information, thermodynamics, and other areas of physics. This recognition followed by the development of specific quantum resource theories (QRTs), such as entanglement theory, determining how quantum states that cannot be prepared under certain restrictions may be manipulated and used to circumvent the restrictions. Here we discuss the general structure of QRTs, and show that under a few assumptions (such as convexity…
Thermodynamics has recently been extended to small scales with resource theories that model heat exchanges. Real physical systems exchange diverse quantities: heat, particles, angular momentum, etc. We generalize thermodynamic resource theories to exchanges of observables other than heat, to baths other than heat baths, and to free energies other than the Helmholtz free energy. These generalizations are illustrated with "grand-potential" theories that model movements of heat and particles. Free operations include unitaries that conserve energy and particle number. From this conservation law an…
We present bounds for distilling many copies of a pure state from an arbitrary initial state in a general quantum resource theory. Our bounds apply to operations that are able to generate no more than a $δ$ amount of resource, where $δ\geq 0$ is a given parameter. To maximize applicability of our upper bound, we assume little structure on the set of free states under consideration besides a weak form of superadditivity of the function $G_{min}(ρ)$, which measures the overlap between $ρ$ and the set of free states. Our bounds are given in terms of this function and the robustness of resource. K…
Quantum coherence and quantum entanglement represent two fundamental features of non-classical systems that can each be characterized within an operational resource theory. In this paper, 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 g…
University of Malta（马耳他大学）；Jagiellonian University（雅盖隆大学）；Nanyang Technological University（南洋理工大学）；Institute for Cross-Disciplinary Physics and Complex Systems IFISC (UIB-CSIC)（跨学科物理与复杂系统研究所 IFISC（巴利阿里群岛大学-西班牙国家研究委员会））；ICFO-Institut de Ciencies Fotoniques, The Barcelona Institute of Science and Technology（ICFO-光子科学研究所，巴塞罗那科技研究院）；Polish Academy of Sciences（波兰科学院）
With the wide range of quantum programming languages on offer now, efficient program verification and type checking for these languages presents a challenge -- especially when classical debugging techniques may affect the states in a quantum program. In this work, we make progress towards a program verification approach using the formalism of operational quantum mechanics and resource theories. We present a logical framework that captures two mathematical approaches to resource theory based on monoids (algebraic) and monoidal categories (categorical). We develop the syntax of this framework as…
Resource-theoretic hierarchy of contextuality for general probabilistic theories
International Iberian Nanotechnology Laboratory（国际伊比利亚纳米技术实验室）；Institute for Quantum Optics and Quantum Information, Austrian Academy of Sciences（奥地利科学院量子光学与量子信息研究所）；Vienna Center for Quantum Science and Technology (VCQ), Faculty of Physics, University of Vienna（维也纳大学物理学院量子科学与工程中心（VCQ））；Institute for Theoretical Physics, University of Innsbruck（因斯布鲁克大学理论物理研究所）
The 4-dimensional metric $f(\R)$ theories of gravity are cast into connection-dynamical formalism with real $\SU(2)$-connections as configuration variables. Through this formalism, the classical metric $f(\R)$ theories are quantized by extending the loop quantization scheme of general relativity. Our results imply that the non-perturbative quantization procedure of loop quantum gravity is valid not only for general relativity but also for a rather general class of 4-dimensional metric theories of gravity.
Quantum resource theories (QRTs) offer a highly versatile and powerful framework for studying different phenomena in quantum physics. From quantum entanglement to quantum computation, resource theories can be used to quantify a desirable quantum effect, develop new protocols for its detection, and identify processes that optimize its use for a given application. Particularly, QRTs revolutionize the way we think about familiar properties of physical systems like entanglement, elevating them from just being interesting from a fundamental point of view to being useful in performing practical task…
Quantum resource theories have been widely studied to systematically characterize the non-classicality of quantum systems. Most resource theories focus on quantum states and study their interconversions. Although quantum channels are generally used as the tool for state manipulation, such a manipulation capability can be naturally regarded as a generalized quantum resource, leading to an open research direction in the resource theories of quantum channels. Various resource-theoretic properties of channels have been investigated, however, without treating channels themselves as operational reso…
We develop numerous results that characterize when a complex Hermitian matrix is Birkhoff-James orthogonal, in the trace norm, to a (Hermitian) positive semidefinite matrix or set of positive semidefinite matrices. For example, we develop a simple-to-test criterion that determines which Hermitian matrices are Birkhoff-James orthogonal, in the trace norm, to the set of all positive semidefinite diagonal matrices. We then explore applications of our work in the theory of quantum resources. For example, we characterize exactly which quantum states have modified trace distance of coherence equal t…
We establish an operational characterization of general convex resource theories -- describing the resource content of not only states, but also measurements and channels, both within quantum mechanics and in general probabilistic theories (GPTs) -- in the context of state and channel discrimination. We find that discrimination tasks provide a unified operational description for quantification and manipulation of resources by showing that the family of robustness measures can be understood as the maximum advantage provided by any physical resource in several different discrimination tasks, as …
One of the central problems in the study of quantum resource theories is to provide a given resource with an operational meaning, characterizing physical tasks in which the resource can give an explicit advantage over all resourceless states. We show that this can always be accomplished for all convex resource theories. We establish in particular that any resource state enables an advantage in a channel discrimination task, allowing for a strictly greater success probability than any state without the given resource. Furthermore, we find that the generalized robustness measure serves as an exa…
A General Theory of Multi-Resource Theories Involving Finite-Group Asymmetry
Department of Informatics, Faculty of Information Science and Electrical Engineering, Kyushu University（九州大学信息科学与电气工程学院信息系）；JST, FOREST（日本科学技术振兴机构，FOREST项目）
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 sta…
How may we quantify the value of physical resources, such as entangled quantum states, heat baths or lasers? Existing resource theories give us partial answers; however, these rely on idealizations, like perfectly independent copies of states or exact knowledge of a quantum state. Here we introduce the general tool of currencies to quantify realistic descriptions of resources, applicable in experimental settings when we do not have perfect control over a physical system, when only the neighbourhood of a state or some of its properties are known, or when there is no obvious way to decompose a g…
We develop a general framework to assess capabilities and limitations of the Gaussian toolbox in continuous variable quantum information theory. Our framework allows us to characterize the structure and properties of quantum resource theories specialized to Gaussian states and Gaussian operations, establishing rigorous methods for their description and yielding a unified approach to their quantification. We show in particular that, under a few intuitive and physically motivated assumptions on the set of free states, no Gaussian quantum resource can be distilled with free Gaussian operations, e…
