-
Choi-Defined Resource Theories
Authors:
Elia Zanoni,
Carlo Maria Scandolo
Abstract:
Many resource theories share an interesting property: An operation is free if and only if its renormalized Choi matrix is a free state. In this article, we refer to resource theories exhibiting this property as Choi-defined resource theories. We demonstrate how and under what conditions one can construct a Choi-defined resource theory, and we prove that when such a construction is possible, the fr…
▽ More
Many resource theories share an interesting property: An operation is free if and only if its renormalized Choi matrix is a free state. In this article, we refer to resource theories exhibiting this property as Choi-defined resource theories. We demonstrate how and under what conditions one can construct a Choi-defined resource theory, and we prove that when such a construction is possible, the free operations are all and only the completely resource-non-generating operations. Moreover, we examine resource measures, a complete family of monotones, and conversion distances in such resource theories.
△ Less
Submitted 22 May, 2025; v1 submitted 19 February, 2024;
originally announced February 2024.
-
Constructor Theory as Process Theory
Authors:
Stefano Gogioso,
Vincent Wang-Maścianica,
Muhammad Hamza Waseem,
Carlo Maria Scandolo,
Bob Coecke
Abstract:
Constructor theory is a meta-theoretic approach that seeks to characterise concrete theories of physics in terms of the (im)possibility to implement certain abstract "tasks" by means of physical processes. Process theory, on the other hand, pursues analogous characterisation goals in terms of the compositional structure of said processes, concretely presented through the lens of (symmetric monoida…
▽ More
Constructor theory is a meta-theoretic approach that seeks to characterise concrete theories of physics in terms of the (im)possibility to implement certain abstract "tasks" by means of physical processes. Process theory, on the other hand, pursues analogous characterisation goals in terms of the compositional structure of said processes, concretely presented through the lens of (symmetric monoidal) category theory. In this work, we show how to formulate fundamental notions of constructor theory within the canvas of process theory. Specifically, we exploit the functorial interplay between the symmetric monoidal structure of the category of sets and relations, where the abstract tasks live, and that of symmetric monoidal categories from physics, where concrete processes can be found to implement said tasks. Through this, we answer the question of how constructor theory relates to the broader body of process-theoretic literature, and provide the impetus for future collaborative work between the fields.
△ Less
Submitted 14 December, 2023;
originally announced January 2024.
-
Reply to the Comment on `The operational foundations of PT-symmetric and quasi-Hermitian quantum theory'
Authors:
Abhijeet Alase,
Salini Karuvade,
Carlo Maria Scandolo
Abstract:
This document is our reply to the Comment (Miloslav Znojil 2023 J. Phys. A: Math. Theor. 56, 038001) on our recent work titled `The operational foundations of PT-symmetric and quasi-Hermitian quantum theory'. The original Comment consists of three addenda to our work. The first addendum claims that our work is ill-motivated as the motivating question, namely whether PT-symmetric quantum theory ext…
▽ More
This document is our reply to the Comment (Miloslav Znojil 2023 J. Phys. A: Math. Theor. 56, 038001) on our recent work titled `The operational foundations of PT-symmetric and quasi-Hermitian quantum theory'. The original Comment consists of three addenda to our work. The first addendum claims that our work is ill-motivated as the motivating question, namely whether PT-symmetric quantum theory extends the standard quantum theory, was already answered in the literature. The second addendum points to some missing references in our work, and the third addendum suggests what constraints could lead to an extension of standard quantum theory. In our reply, we explain that the claim in the first addendum is a result of a misinterpretation of our motivating question. When interpreted correctly, the third addendum in the Comment in itself elaborates on why our motivating question is interesting and relevant. We also briefly comment on the prospects of an extension of standard quantum theory along the lines suggested in the third addendum. As our response to the second addendum, we explain our rationale behind citing certain references while leaving out others.
△ Less
Submitted 19 April, 2023; v1 submitted 26 March, 2023;
originally announced March 2023.
-
Bell Nonlocality in Classical Systems Coexisting with other System Types
Authors:
Giulio Chiribella,
Lorenzo Giannelli,
Carlo Maria Scandolo
Abstract:
The realistic interpretation of classical theory assumes that every classical system has well-defined properties, which may be unknown to the observer but are nevertheless part of reality and can in principle be revealed by measurements. Here we show that this interpretation can in principle be falsified if classical systems coexist with other types of physical systems. To make this point, we cons…
▽ More
The realistic interpretation of classical theory assumes that every classical system has well-defined properties, which may be unknown to the observer but are nevertheless part of reality and can in principle be revealed by measurements. Here we show that this interpretation can in principle be falsified if classical systems coexist with other types of physical systems. To make this point, we construct a toy theory that (i) includes classical theory as a subtheory and (ii) allows classical systems to be entangled with another type of systems, called anti-classical. We show that our toy theory allows for the violation of Bell inequalities in two-party scenarios where one of the settings corresponds to a local measurement performed on a classical system alone. Building on this fact, we show that measurements outcomes in classical theory cannot, in general, be regarded as pre-determined by the state of an underlying reality.
△ Less
Submitted 17 April, 2024; v1 submitted 25 January, 2023;
originally announced January 2023.
-
Thermodynamic state convertibility is determined by qubit cooling and heating
Authors:
Thomas Theurer,
Elia Zanoni,
Carlo Maria Scandolo,
Gilad Gour
Abstract:
Thermodynamics plays an important role both in the foundations of physics and in technological applications. An operational perspective adopted in recent years is to formulate it as a quantum resource theory. At the core of this theory is the interconversion between athermality states, i.e., states out of thermal equilibrium. Here, we solve the question how athermality can be used to heat and cool…
▽ More
Thermodynamics plays an important role both in the foundations of physics and in technological applications. An operational perspective adopted in recent years is to formulate it as a quantum resource theory. At the core of this theory is the interconversion between athermality states, i.e., states out of thermal equilibrium. Here, we solve the question how athermality can be used to heat and cool other quantum systems that are initially at thermal equilibrium. We then show that the convertibility between quasi-classical resources (resources that do not exhibit coherence between different energy eigenstates) is fully characterized by their ability to cool and heat qubits, i.e., by two of the most fundamental thermodynamical tasks on the simplest quantum systems.
△ Less
Submitted 11 December, 2023; v1 submitted 15 January, 2023;
originally announced January 2023.
-
Resource Theory of Imaginarity: New Distributed Scenarios
Authors:
Kang-Da Wu,
Tulja Varun Kondra,
Carlo Maria Scandolo,
Swapan Rana,
Guo-Yong Xiang,
Chuan-Feng Li,
Guang-Can Guo,
Alexander Streltsov
Abstract:
The resource theory of imaginarity studies the operational value of imaginary parts in quantum states, operations, and measurements. Here we introduce and study the distillation and conversion of imaginarity in distributed scenario. This arises naturally in bipartite systems where both parties work together to generate the maximum possible imaginarity on one of the subsystems. We give exact soluti…
▽ More
The resource theory of imaginarity studies the operational value of imaginary parts in quantum states, operations, and measurements. Here we introduce and study the distillation and conversion of imaginarity in distributed scenario. This arises naturally in bipartite systems where both parties work together to generate the maximum possible imaginarity on one of the subsystems. We give exact solutions to this problem for general qubit states and pure states of arbitrary dimension. We present a scenario that demonstrates the operational advantage of imaginarity: the discrimination of quantum channels without the aid of an ancillary system. We then link this scenario to LOCC discrimination of bipartite states. We experimentally demonstrate the relevant assisted distillation protocol, and show the usefulness of imaginarity in the aforementioned two tasks.
△ Less
Submitted 11 January, 2023;
originally announced January 2023.
-
Quantum hypothesis testing between qubit states with parity
Authors:
Yi Shen,
Carlo Maria Scandolo,
Lin Chen
Abstract:
Quantum hypothesis testing (QHT) provides an effective method to discriminate between two quantum states using a two-outcome positive operator-valued measure (POVM). Two types of decision errors in a QHT can occur. In this paper we focus on the asymmetric setting of QHT, where the two types of decision errors are treated unequally, considering the operational limitations arising from the lack of a…
▽ More
Quantum hypothesis testing (QHT) provides an effective method to discriminate between two quantum states using a two-outcome positive operator-valued measure (POVM). Two types of decision errors in a QHT can occur. In this paper we focus on the asymmetric setting of QHT, where the two types of decision errors are treated unequally, considering the operational limitations arising from the lack of a reference frame for chirality. This reference frame is associated with the group $\bbZ_2$ consisting of the identity transformation and the parity transformation. Thus, we have to discriminate between two qubit states by performing the $\bbZ_2$-invariant POVMs only. We start from the discrimination between two pure states. By solving the specific optimization problem we completely characterize the asymptotic behavior of the minimal probability of type-II error which occurs when the null hypothesis is accepted when it is false. Our results reveal that the minimal probability reduces to zero in a finite number of copies, if the $\bbZ_2$-twirlings of such two pure states are different. We further derive the critical number of copies such that the minimal probability reduces to zero. Finally, we replace one of the two pure states with a maximally mixed state, and similarly characterize the asymptotic behavior of the minimal probability of type-II error.
△ Less
Submitted 11 July, 2023; v1 submitted 4 December, 2022;
originally announced December 2022.
-
Extending Resource Monotones using Kan Extensions
Authors:
Robin Cockett,
Isabelle Jianing Geng,
Carlo Maria Scandolo,
Priyaa Varshinee Srinivasan
Abstract:
In this paper we generalize the framework proposed by Gour and Tomamichel regarding extensions of monotones for resource theories. A monotone for a resource theory assigns a real number to each resource in the theory signifying the utility or the value of the resource. Gour and Tomamichel studied the problem of extending monotones using set-theoretical framework when a resource theory embeds fully…
▽ More
In this paper we generalize the framework proposed by Gour and Tomamichel regarding extensions of monotones for resource theories. A monotone for a resource theory assigns a real number to each resource in the theory signifying the utility or the value of the resource. Gour and Tomamichel studied the problem of extending monotones using set-theoretical framework when a resource theory embeds fully and faithfully into the larger theory. One can generalize the problem of computing monotone extensions to scenarios when there exists a functorial transformation of one resource theory to another instead of just a full and faithful inclusion. In this article, we show that (point-wise) Kan extensions provide a precise categorical framework to describe and compute such extensions of monotones. To set up monotone extensions using Kan extensions, we introduce partitioned categories (pCat)as a framework for resource theories and pCat functors to formalize relationship between resource theories. We describe monotones as pCat functors into the preorder of non-negative real numbers, and describe extending monotones along any pCat functor using Kan extensions. We show how our framework works by applying it to extend entanglement monotones for bipartite pure states to bipartite mixed states, to extend classical divergences to the quantum setting, and to extend a non-uniformity monotone from classical probabilistic theory to quantum theory.
△ Less
Submitted 31 July, 2023; v1 submitted 20 June, 2022;
originally announced June 2022.
-
The operational foundations of PT-symmetric and quasi-Hermitian quantum theory
Authors:
Abhijeet Alase,
Salini Karuvade,
Carlo Maria Scandolo
Abstract:
PT-symmetric quantum theory was originally proposed with the aim of extending standard quantum theory by relaxing the Hermiticity constraint on Hamiltonians. However, no such extension has been formulated that consistently describes states, transformations, measurements and composition, which is a requirement for any physical theory. We aim to answer the question of whether a consistent physical t…
▽ More
PT-symmetric quantum theory was originally proposed with the aim of extending standard quantum theory by relaxing the Hermiticity constraint on Hamiltonians. However, no such extension has been formulated that consistently describes states, transformations, measurements and composition, which is a requirement for any physical theory. We aim to answer the question of whether a consistent physical theory with PT-symmetric observables extends standard quantum theory. We answer this question within the framework of general probabilistic theories, which is the most general framework for physical theories. We construct the set of states of a system that result from imposing PT-symmetry on the set of observables, and show that the resulting theory allows only one trivial state. We next consider the constraint of quasi-Hermiticity on observables, which guarantees the unitarity of evolution under a Hamiltonian with unbroken PT-symmetry. We show that such a system is equivalent to a standard quantum system. Finally, we show that if all observables are quasi-Hermitian as well as PT-symmetric, then the system is equivalent to a real quantum system. Thus our results show that neither PT-symmetry nor quasi-Hermiticity constraints are sufficient to extend standard quantum theory consistently.
△ Less
Submitted 25 May, 2022; v1 submitted 5 February, 2022;
originally announced February 2022.
-
Covariant influences for finite discrete dynamical systems
Authors:
Carlo Maria Scandolo,
Gilad Gour,
Barry C. Sanders
Abstract:
We develop a rigorous theory of external influences on finite discrete dynamical systems, going beyond the perturbation paradigm, in that the external influence need not be a small contribution. Indeed, the covariance condition can be stated as follows: if we evolve the dynamical system for $n$ time steps and then we disturb it, it is the same as first disturbing the system with the same influence…
▽ More
We develop a rigorous theory of external influences on finite discrete dynamical systems, going beyond the perturbation paradigm, in that the external influence need not be a small contribution. Indeed, the covariance condition can be stated as follows: if we evolve the dynamical system for $n$ time steps and then we disturb it, it is the same as first disturbing the system with the same influence and then letting the system evolve for $n$ time steps. Applying the powerful machinery of resource theories, we develop a theory of covariant influences both when there is a purely deterministic evolution and when randomness is involved. Subsequently, we provide necessary and sufficient conditions for the transition between states under deterministic covariant influences and necessary conditions in the presence of stochastic covariant influences, predicting which transitions between states are forbidden. Our approach, for the first time, employs the framework of resource theories, borrowed from quantum information theory, to the study of finite discrete dynamical systems. The laws we articulate unify the behavior of different types of finite discrete dynamical systems, and their mathematical flavor makes them rigorous and checkable.
△ Less
Submitted 8 February, 2023; v1 submitted 26 November, 2021;
originally announced November 2021.
-
Resource theory of imaginarity: Quantification and state conversion
Authors:
Kang-Da Wu,
Tulja Varun Kondra,
Swapan Rana,
Carlo Maria Scandolo,
Guo-Yong Xiang,
Chuan-Feng Li,
Guang-Can Guo,
Alexander Streltsov
Abstract:
Complex numbers are widely used in both classical and quantum physics, and are indispensable components for describing quantum systems and their dynamical behavior. Recently, the resource theory of imaginarity has been introduced, allowing for a systematic study of complex numbers in quantum mechanics and quantum information theory. In this work we develop theoretical methods for the resource theo…
▽ More
Complex numbers are widely used in both classical and quantum physics, and are indispensable components for describing quantum systems and their dynamical behavior. Recently, the resource theory of imaginarity has been introduced, allowing for a systematic study of complex numbers in quantum mechanics and quantum information theory. In this work we develop theoretical methods for the resource theory of imaginarity, motivated by recent progress within theories of entanglement and coherence. We investigate imaginarity quantification, focusing on the geometric imaginarity and the robustness of imaginarity, and apply these tools to the state conversion problem in imaginarity theory. Moreover, we analyze the complexity of real and general operations in optical experiments, focusing on the number of unfixed wave plates for their implementation. We also discuss the role of imaginarity for local state discrimination, proving that any pair of real orthogonal pure states can be discriminated via local real operations and classical communication. Our study reveals the significance of complex numbers in quantum physics, and proves that imaginarity is a resource in optical experiments.
△ Less
Submitted 2 March, 2021;
originally announced March 2021.
-
Dynamical Resources
Authors:
Gilad Gour,
Carlo Maria Scandolo
Abstract:
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 d…
▽ More
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 superchannels is convex, we present a novel construction of an infinite and complete family of convex resource monotones, giving necessary and sufficient conditions for convertibility under free superchannels. After showing that the conversion problem in convex dynamical resource theories can be solved with conic linear programming, we define various resource-theoretic protocols for dynamical resources. These results serve as the framework for the study of concrete examples of theories of dynamical resources, such as dynamical entanglement theory.
△ Less
Submitted 31 December, 2020;
originally announced January 2021.
-
Dynamical Entanglement
Authors:
Gilad Gour,
Carlo Maria Scandolo
Abstract:
Unlike the entanglement of quantum states, very little is known about the entanglement of bipartite channels, called dynamical entanglement. Here we work with the partial transpose of a superchannel, and use it to define computable measures of dynamical entanglement, such as the negativity. We show that a version of it, the max-logarithmic negativity, represents the exact asymptotic dynamical enta…
▽ More
Unlike the entanglement of quantum states, very little is known about the entanglement of bipartite channels, called dynamical entanglement. Here we work with the partial transpose of a superchannel, and use it to define computable measures of dynamical entanglement, such as the negativity. We show that a version of it, the max-logarithmic negativity, represents the exact asymptotic dynamical entanglement cost. We discover a family of dynamical entanglement measures that provide necessary and sufficient conditions for bipartite channel simulation under local operations and classical communication and under operations with positive partial transpose.
△ Less
Submitted 30 October, 2020; v1 submitted 25 September, 2020;
originally announced September 2020.
-
Operational Resource Theory of Imaginarity
Authors:
Kang-Da Wu,
Tulja Varun Kondra,
Swapan Rana,
Carlo Maria Scandolo,
Guo-Yong Xiang,
Chuan-Feng Li,
Guang-Can Guo,
Alexander Streltsov
Abstract:
Wave-particle duality is one of the basic features of quantum mechanics, giving rise to the use of complex numbers in describing states of quantum systems, their dynamics, and interaction. Since the inception of quantum theory, it has been debated whether complex numbers are actually essential, or whether an alternative consistent formulation is possible using real numbers only. Here, we attack th…
▽ More
Wave-particle duality is one of the basic features of quantum mechanics, giving rise to the use of complex numbers in describing states of quantum systems, their dynamics, and interaction. Since the inception of quantum theory, it has been debated whether complex numbers are actually essential, or whether an alternative consistent formulation is possible using real numbers only. Here, we attack this long-standing problem both theoretically and experimentally, using the powerful tools of quantum resource theories. We show that - under reasonable assumptions - quantum states are easier to create and manipulate if they only have real elements. This gives an operational meaning to the resource theory of imaginarity. We identify and answer several important questions which include the state-conversion problem for all qubit states and all pure states of any dimension, and the approximate imaginarity distillation for all quantum states. As an application, we show that imaginarity plays a crucial role for state discrimination: there exist real quantum states which can be perfectly distinguished via local operations and classical communication, but which cannot be distinguished with any nonzero probability if one of the parties has no access to imaginarity. We confirm this phenomenon experimentally with linear optics, performing discrimination of different two-photon quantum states by local projective measurements. These results prove that complex numbers are an indispensable part of quantum mechanics.
△ Less
Submitted 2 March, 2021; v1 submitted 29 July, 2020;
originally announced July 2020.
-
Entanglement of a bipartite channel
Authors:
Gilad Gour,
Carlo Maria Scandolo
Abstract:
The most general quantum object that can be shared between two distant parties is a bipartite channel, as it is the basic element to construct all quantum circuits. In general, bipartite channels can produce entangled states, and can be used to simulate quantum operations that are not local. While much effort over the last two decades has been devoted to the study of entanglement of bipartite stat…
▽ More
The most general quantum object that can be shared between two distant parties is a bipartite channel, as it is the basic element to construct all quantum circuits. In general, bipartite channels can produce entangled states, and can be used to simulate quantum operations that are not local. While much effort over the last two decades has been devoted to the study of entanglement of bipartite states, very little is known about the entanglement of bipartite channels. In this work, we rigorously study the entanglement of bipartite channels as a resource theory of quantum processes. We present an infinite and complete family of measures of dynamical entanglement, which gives necessary and sufficient conditions for convertibility under local operations and classical communication. Then we focus on the dynamical resource theory where free operations are positive partial transpose (PPT) superchannels, but we do not assume that they are realized by PPT pre- and post-processing. This leads to a greater mathematical simplicity that allows us to express all resource protocols and the relevant resource measures in terms of semi-definite programs. Along the way, we generalize the negativity from states to channels, and introduce the max-logarithmic negativity, which has an operational interpretation as the exact asymptotic entanglement cost of a bipartite channel. Finally, we use the non-positive partial transpose (NPT) resource theory to derive a no-go result: it is impossible to distill entanglement out of bipartite PPT channels under any sets of free superchannels that can be used in entanglement theory. This allows us to generalize one of the long-standing open problems in quantum information - the NPT bound entanglement problem - from bipartite states to bipartite channels. It further leads us to the discovery of bound entangled POVMs.
△ Less
Submitted 28 June, 2021; v1 submitted 4 July, 2019;
originally announced July 2019.
-
Necessary and Sufficient Conditions on Measurements of Quantum Channels
Authors:
John Burniston,
Michael Grabowecky,
Carlo Maria Scandolo,
Giulio Chiribella,
Gilad Gour
Abstract:
Quantum supermaps are a higher-order generalization of quantum maps, taking quantum maps to quantum maps. It is known that any completely positive, trace non-increasing (CPTNI) map can be performed as part of a quantum measurement. By providing an explicit counterexample we show that, instead, not every quantum supermap sending a quantum channel to a CPTNI map can be realized in a measurement on q…
▽ More
Quantum supermaps are a higher-order generalization of quantum maps, taking quantum maps to quantum maps. It is known that any completely positive, trace non-increasing (CPTNI) map can be performed as part of a quantum measurement. By providing an explicit counterexample we show that, instead, not every quantum supermap sending a quantum channel to a CPTNI map can be realized in a measurement on quantum channels. We find that the supermaps that can be implemented in this way are exactly those transforming quantum channels into CPTNI maps even when tensored with the identity supermap. We link this result to the fact that the principle of causality fails in the theory of quantum supermaps.
△ Less
Submitted 28 April, 2020; v1 submitted 17 April, 2019;
originally announced April 2019.
-
Information-theoretic foundations of thermodynamics in general probabilistic theories
Authors:
Carlo Maria Scandolo
Abstract:
We study the informational underpinnings of thermodynamics and statistical mechanics, using an abstract framework, general probabilistic theories, capable of describing arbitrary physical theories. This allows one to abstract the informational content of a theory from the concrete details of its formalism. In this framework, we extend the treatment of microcanonical thermodynamics, namely the ther…
▽ More
We study the informational underpinnings of thermodynamics and statistical mechanics, using an abstract framework, general probabilistic theories, capable of describing arbitrary physical theories. This allows one to abstract the informational content of a theory from the concrete details of its formalism. In this framework, we extend the treatment of microcanonical thermodynamics, namely the thermodynamics of systems with a well-defined energy, beyond the known cases of classical and quantum theory, formulating two necessary requirements for a well-defined thermodynamics. We adopt the recent approach of resource theories, where one studies the transitions between states that can be accomplished with a restricted set of physical operations. We formulate three different resource theories, differing in the choice of the restricted set of physical operations. To bridge the gap between the objective dynamics of particles and the subjective world of probabilities, one of the core issues in the foundations of statistical mechanics, we propose four information-theoretic axioms. They are satisfied by quantum theory and more exotic alternatives, including a suitable extension of classical theory where classical systems interact with each other creating entangled states. The axioms identify a class of theories where every mixed state can be modelled as the reduced state of a pure entangled state. In these theories it is possible to introduce well-behaved notions of majorisation, entropy, and Gibbs states, allowing for an information-theoretic derivation of Landauer's principle. The three resource theories define the same notion of resource if and only if, on top of the four axioms, the dynamics of the underlying theory satisfy a condition called "unrestricted reversibility". Under this condition we derive a duality between microcanonical thermodynamics and pure bipartite entanglement.
△ Less
Submitted 22 January, 2019;
originally announced January 2019.
-
The first law of general quantum resource theories
Authors:
Carlo Sparaciari,
Lidia del Rio,
Carlo Maria Scandolo,
Philippe Faist,
Jonathan Oppenheim
Abstract:
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 dista…
▽ More
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 in the properties of the system during a state transformation and the weighted sum of the resources exchanged. In fact, this law can be seen as relating the change in the relative entropy from different sets of states. In contrast to typical single-resource theories, the notion of free states and invariant sets of states become distinct in light of multiple constraints. Additionally, generalisations of the Helmholtz free energy, and of adiabatic and isothermal transformations, emerge. We thus have a set of laws for general quantum resource theories, which generalise the laws of thermodynamics. We first test this approach on thermodynamics with multiple conservation laws, and then apply it to the theory of local operations under energetic restrictions.
△ Less
Submitted 20 April, 2020; v1 submitted 13 June, 2018;
originally announced June 2018.
-
Density Hypercubes, Higher Order Interference and Hyper-Decoherence: a Categorical Approach
Authors:
Stefano Gogioso,
Carlo Maria Scandolo
Abstract:
In this work, we use the recently introduced double-dilation construction by Zwart and Coecke to construct a new categorical probabilistic theory of density hypercubes. By considering multi-slit experiments, we show that the theory displays higher-order interference of order up to fourth. We also show that the theory possesses hyperdecoherence maps, which can be used to recover quantum theory in t…
▽ More
In this work, we use the recently introduced double-dilation construction by Zwart and Coecke to construct a new categorical probabilistic theory of density hypercubes. By considering multi-slit experiments, we show that the theory displays higher-order interference of order up to fourth. We also show that the theory possesses hyperdecoherence maps, which can be used to recover quantum theory in the Karoubi envelope.
△ Less
Submitted 3 June, 2018;
originally announced June 2018.
-
Universal structure of objective states in all fundamental causal theories
Authors:
Carlo Maria Scandolo,
Roberto Salazar,
Jarosław K. Korbicz,
Paweł Horodecki
Abstract:
A crucial question is how objective and classical behavior arises from a fundamental physical theory. Here we provide a natural definition of a decoherence process valid in all causal theories, and show how its behavior can be extremely different from the quantum one. Remarkably, despite this, we prove that the so-called spectrum broadcast structure characterizes all objective states in every fund…
▽ More
A crucial question is how objective and classical behavior arises from a fundamental physical theory. Here we provide a natural definition of a decoherence process valid in all causal theories, and show how its behavior can be extremely different from the quantum one. Remarkably, despite this, we prove that the so-called spectrum broadcast structure characterizes all objective states in every fundamental causal theory, exactly as in quantum mechanics. Our results show a stark contrast between the extraordinarily diverse decoherence behavior and the universal features of objectivity.
△ Less
Submitted 13 August, 2021; v1 submitted 30 May, 2018;
originally announced May 2018.
-
Reconstructing quantum theory from diagrammatic postulates
Authors:
John H. Selby,
Carlo Maria Scandolo,
Bob Coecke
Abstract:
We present a reconstruction of finite-dimensional quantum theory where all of the postulates are stated in diagrammatic terms, making them intuitive. Equivalently, they are stated in category-theoretic terms, making them mathematically appealing. Again equivalently, they are stated in process-theoretic terms, establishing that the conceptual backbone of quantum theory concerns the manner in which…
▽ More
We present a reconstruction of finite-dimensional quantum theory where all of the postulates are stated in diagrammatic terms, making them intuitive. Equivalently, they are stated in category-theoretic terms, making them mathematically appealing. Again equivalently, they are stated in process-theoretic terms, establishing that the conceptual backbone of quantum theory concerns the manner in which systems and processes compose.
Aside from the diagrammatic form, the key novel aspect of this reconstruction is the introduction of a new postulate, symmetric purification. Unlike the ordinary purification postulate, symmetric purification applies equally well to classical theory as well as quantum theory. Therefore we first reconstruct the full process theoretic description of quantum theory, consisting of composite classical-quantum systems and their interactions, before restricting ourselves to just the `fully quantum' systems as the final step. We propose two novel alternative manners of doing so, `no-leaking' (roughly that information gain causes disturbance) and `purity of cups' (roughly the existence of entangled states). Interestingly, these turn out to be equivalent in any process theory with cups & caps. Additionally, we show how the standard purification postulate can be seen as an immediate consequence of the symmetric purification postulate and purity of cups.
Other tangential results concern the specific frameworks of generalised probabilistic theories (GPTs) and process theories (a.k.a. CQM). Firstly, we provide a diagrammatic presentation of GPTs, which, henceforth, can be subsumed under process theories. Secondly, we argue that the `sharp dagger' is indeed the right choice of a dagger structure as this sharpness is vital to the reconstruction.
△ Less
Submitted 21 April, 2021; v1 submitted 1 February, 2018;
originally announced February 2018.
-
Ruling out higher-order interference from purity principles
Authors:
Howard Barnum,
Ciarán M. Lee,
Carlo Maria Scandolo,
John H. Selby
Abstract:
As first noted by Rafael Sorkin, there is a limit to quantum interference. The interference pattern formed in a multi-slit experiment is a function of the interference patterns formed between pairs of slits, there are no genuinely new features resulting from considering three slits instead of two. Sorkin has introduced a hierarchy of mathematically conceivable higher-order interference behaviours,…
▽ More
As first noted by Rafael Sorkin, there is a limit to quantum interference. The interference pattern formed in a multi-slit experiment is a function of the interference patterns formed between pairs of slits, there are no genuinely new features resulting from considering three slits instead of two. Sorkin has introduced a hierarchy of mathematically conceivable higher-order interference behaviours, where classical theory lies at the first level of this hierarchy and quantum theory theory at the second. Informally, the order in this hierarchy corresponds to the number of slits on which the interference pattern has an irreducible dependence. Many authors have wondered why quantum interference is limited to the second level of this hierarchy. Does the existence of higher-order interference violate some natural physical principle that we believe should be fundamental? In the current work we show that such principles can be found which limit interference behaviour to second-order, or "quantum-like", interference, but that do not restrict us to the entire quantum formalism. We work within the operational framework of generalised probabilistic theories, and prove that any theory satisfying Causality, Purity Preservation, Pure Sharpness, and Purification---four principles that formalise the fundamental character of purity in nature---exhibits at most second-order interference. Hence these theories are, at least conceptually, very "close" to quantum theory. Along the way we show that systems in such theories correspond to Euclidean Jordan algebras. Hence, they are self-dual and, moreover, multi-slit experiments in such theories are described by pure projectors.
△ Less
Submitted 13 July, 2017; v1 submitted 17 April, 2017;
originally announced April 2017.
-
Categorical Probabilistic Theories
Authors:
Stefano Gogioso,
Carlo Maria Scandolo
Abstract:
We present a simple categorical framework for the treatment of probabilistic theories, with the aim of reconciling the fields of Categorical Quantum Mechanics (CQM) and Operational Probabilistic Theories (OPTs). In recent years, both CQM and OPTs have found successful application to a number of areas in quantum foundations and information theory: they present many similarities, both in spirit and…
▽ More
We present a simple categorical framework for the treatment of probabilistic theories, with the aim of reconciling the fields of Categorical Quantum Mechanics (CQM) and Operational Probabilistic Theories (OPTs). In recent years, both CQM and OPTs have found successful application to a number of areas in quantum foundations and information theory: they present many similarities, both in spirit and in formalism, but they remain separated by a number of subtle yet important differences. We attempt to bridge this gap, by adopting a minimal number of operationally motivated axioms which provide clean categorical foundations, in the style of CQM, for the treatment of the problems that OPTs are concerned with.
△ Less
Submitted 1 March, 2018; v1 submitted 25 January, 2017;
originally announced January 2017.
-
Microcanonical thermodynamics in general physical theories
Authors:
Giulio Chiribella,
Carlo Maria Scandolo
Abstract:
Microcanonical thermodynamics studies the operations that can be performed on systems with well-defined energy. So far, this approach has been applied to classical and quantum systems. Here we extend it to arbitrary physical theories, proposing two requirements for the development of a general microcanonical framework. We then formulate three resource theories, corresponding to three different set…
▽ More
Microcanonical thermodynamics studies the operations that can be performed on systems with well-defined energy. So far, this approach has been applied to classical and quantum systems. Here we extend it to arbitrary physical theories, proposing two requirements for the development of a general microcanonical framework. We then formulate three resource theories, corresponding to three different sets of basic operations: i) random reversible operations, resulting from reversible dynamics with fluctuating parameters, ii) noisy operations, generated by the interaction with ancillas in the microcanonical state, and iii) unital operations, defined as the operations that preserve the microcanonical state. We focus our attention on a class of physical theories, called sharp theories with purification, where these three sets of operations exhibit remarkable properties. Firstly, each set is contained into the next. Secondly, the convertibility of states by unital operations is completely characterised by a majorisation criterion. Thirdly, the three sets are equivalent in terms of state convertibility if and only if the dynamics allowed by theory satisfy a suitable condition, which we call unrestricted reversibility. Under this condition, we derive a duality between the resource theory of microcanonical thermodynamics and the resource theory of pure bipartite entanglement.
△ Less
Submitted 15 March, 2018; v1 submitted 15 August, 2016;
originally announced August 2016.
-
Entanglement as an axiomatic foundation for statistical mechanics
Authors:
Giulio Chiribella,
Carlo Maria Scandolo
Abstract:
We propose four information-theoretic axioms for the foundations of statistical mechanics in general physical theories. The axioms---Causality, Purity Preservation, Pure Sharpness, and Purification---identify a class of theories where every mixed state can be modelled as the marginal of a pure entangled state and where every unsharp measurement can be modelled as a sharp measurement on a composite…
▽ More
We propose four information-theoretic axioms for the foundations of statistical mechanics in general physical theories. The axioms---Causality, Purity Preservation, Pure Sharpness, and Purification---identify a class of theories where every mixed state can be modelled as the marginal of a pure entangled state and where every unsharp measurement can be modelled as a sharp measurement on a composite system. This class of theories, called sharp theories with purification, includes quantum theory both with complex and real amplitudes, as well as a suitable extension of classical probability theory where classical systems can be entangled with other, non-classical systems. Theories satisfying our axioms support well-behaved notions of majorization, entropy, and Gibbs states, allowing for an information-theoretic derivation of Landauer's principle. We conjecture that every theory admitting a sensible thermodynamics must be extendable to a sharp theory with purification.
△ Less
Submitted 17 August, 2016; v1 submitted 15 August, 2016;
originally announced August 2016.
-
Operational axioms for diagonalizing states
Authors:
Giulio Chiribella,
Carlo Maria Scandolo
Abstract:
In quantum theory every state can be diagonalized, i.e. decomposed as a convex combination of perfectly distinguishable pure states. This elementary structure plays an ubiquitous role in quantum mechanics, quantum information theory, and quantum statistical mechanics, where it provides the foundation for the notions of majorization and entropy. A natural question then arises: can we reconstruct th…
▽ More
In quantum theory every state can be diagonalized, i.e. decomposed as a convex combination of perfectly distinguishable pure states. This elementary structure plays an ubiquitous role in quantum mechanics, quantum information theory, and quantum statistical mechanics, where it provides the foundation for the notions of majorization and entropy. A natural question then arises: can we reconstruct these notions from purely operational axioms? We address this question in the framework of general probabilistic theories, presenting a set of axioms that guarantee that every state can be diagonalized. The first axiom is Causality, which ensures that the marginal of a bipartite state is well defined. Then, Purity Preservation states that the set of pure transformations is closed under composition. The third axiom is Purification, which allows to assign a pure state to the composition of a system with its environment. Finally, we introduce the axiom of Pure Sharpness, stating that for every system there exists at least one pure effect occurring with unit probability on some state. For theories satisfying our four axioms, we show a constructive algorithm for diagonalizing every given state. The diagonalization result allows us to formulate a majorization criterion that captures the convertibility of states in the operational resource theory of purity, where random reversible transformations are regarded as free operations.
△ Less
Submitted 4 November, 2015; v1 submitted 1 June, 2015;
originally announced June 2015.
-
Entanglement and thermodynamics in general probabilistic theories
Authors:
Giulio Chiribella,
Carlo Maria Scandolo
Abstract:
Entanglement is one of the most striking features of quantum mechanics, and yet it is not specifically quantum. More specific to quantum mechanics is the connection between entanglement and thermodynamics, which leads to an identification between entropies and measures of pure state entanglement. Here we search for the roots of this connection, investigating the relation between entanglement and t…
▽ More
Entanglement is one of the most striking features of quantum mechanics, and yet it is not specifically quantum. More specific to quantum mechanics is the connection between entanglement and thermodynamics, which leads to an identification between entropies and measures of pure state entanglement. Here we search for the roots of this connection, investigating the relation between entanglement and thermodynamics in the framework of general probabilistic theories. We first address the question whether an entangled state can be transformed into another by means of local operations and classical communication. Under two operational requirements, we prove a general version of the Lo-Popescu theorem, which lies at the foundations of the theory of pure-state entanglement. We then consider a resource theory of purity where free operations are random reversible transformations, modelling the scenario where an agent has limited control over the dynamics of a closed system. Our key result is a duality between the resource theory of entanglement and the resource theory of purity, valid for every physical theory where all processes arise from pure states and reversible interactions at the fundamental level. As an application of the main result, we establish a one-to-one correspondence between entropies and measures of pure bipartite entanglement and exploit it to define entanglement measures in the general probabilistic framework. In addition, we show a duality between the task of information erasure and the task of entanglement generation, whereby the existence of entropy sinks (systems that can absorb arbitrary amounts of information) becomes equivalent to the existence of entanglement sources (correlated systems from which arbitrary amounts of entanglement can be extracted).
△ Less
Submitted 20 October, 2015; v1 submitted 27 April, 2015;
originally announced April 2015.
-
Conservation of information and the foundations of quantum mechanics
Authors:
G. Chiribella,
C. M. Scandolo
Abstract:
We review a recent approach to the foundations of quantum mechanics inspired by quantum information theory. The approach is based on a general framework, which allows one to address a large class of physical theories which share basic information-theoretic features. We first illustrate two very primitive features, expressed by the axioms of causality and purity-preservation, which are satisfied by…
▽ More
We review a recent approach to the foundations of quantum mechanics inspired by quantum information theory. The approach is based on a general framework, which allows one to address a large class of physical theories which share basic information-theoretic features. We first illustrate two very primitive features, expressed by the axioms of causality and purity-preservation, which are satisfied by both classical and quantum theory. We then discuss the axiom of purification, which expresses a strong version of the Conservation of Information and captures the core of a vast number of protocols in quantum information. Purification is a highly non-classical feature and leads directly to the emergence of entanglement at the purely conceptual level, without any reference to the superposition principle. Supplemented by a few additional requirements, satisfied by classical and quantum theory, it provides a complete axiomatic characterization of quantum theory for finite dimensional systems.
△ Less
Submitted 11 November, 2014;
originally announced November 2014.
