Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:1810.02222 · Quantum

Complete extension: the non-signaling analog of quantum purification

Marek Winczewski, Tamoghna Das, John H. Selby, Karol Horodecki, Paweł Horodecki, Łukasz Pankowski, Marco Piani, Ravishankar Ramanathan

Published Nov 3, 2023• 2 citations
arXivHTMLPDF

Abstract

Deriving quantum mechanics from information-theoretic postulates is a recent research direction taken, in part, with the view of finding a beyond-quantum theory; once the postulates are clear, we can consider modifications to them. A key postulate is the purification postulate, which we propose to replace by a more generally applicable postulate that we call the complete extension postulate (CEP), i.e., the existence of an extension of a physical system from which one can generate any other extension. This new concept leads to a plethora of open questions and research directions in the study of general theories satisfying the CEP (which may include a theory that hyper-decoheres to quantum theory). For example, we show that the CEP implies the impossibility of bit-commitment. This is exemplified by a case study of the theory of non-signalling behaviors which we show satisfies the CEP. We moreover show that in certain cases the complete extension will not be pure, highlighting the key divergence from the purification postulate.

DOI
10.22331/q-2023-11-03-1159

Related papers

No purification in all discrete theories and the power of the complete extension

Marek Winczewski, Tamoghna Das, Karol Horodecki +4 more

Quantum theory has an outstanding property, namely each state has its well defined purification - a state extremal in the set of states in larger Hilbert space. It is known that the classical theory and the theory of non-signaling boxes does not have purification for all of their states. These theories are examples of the so called generalized probabilistic theories (GPTs). However in any non-signaling GPT each state has a number of extensions to a larger system. We single out the most relevant among them, called a complete extension, unique up to local reversible operations on the extending system. We prove that this special, finite dimensional extension bares an analogy to quantum purification in that (i) it allows for an access to all ensembles of the extended system (ii) from complete extension one can generate any other extension. It then follows, that an access to the complete extension represents the total power of the most general non-signaling adversary. A complete extension of a maximally mixed box in two-party binary input binary output scenario is up to relabeling the famous Popescu-Rohrlich box. The latter thus emerges naturally without reference to the Bell's non-locality. However the complete extension is not a purification (a vertex) in the generic case. Moreover, we show that all convex discrete theories does not provide purification for almost all of it states. In particular the theory of contextuality does not possess purification. The complete extensions are by nature high-dimensional systems. We were able however to provide explicit structure of complete extension for the noisy Popescu-Rohrlich-boxes and the 3-cycle contextual box.

•Oct 4, 2018•2 citations

Conservation of information and the foundations of quantum mechanics

Giulio Chiribella, Carlo Maria Scandolo

We review a recent approach to the foundations of quantum mechanics inspired by quantum information theory [1, 2]. 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.

arXiv:1411.2723•EPJ Web of Conferences•Jan 1, 2015•5 citations

Conservation of information and the foundations of quantum mechanics

Giulio Chiribella, Carlo Maria Scandolo

We review a recent approach to the foundations of quantum mechanics inspired by quantum information theory [1, 2]. 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.

EPJ Web of Conferences•Jan 1, 2015•18 citations

Impossibility of mixed-state purification in any alternative to the Born Rule

Thomas D. Galley, Lluís Masanes

Using the existing classification of all alternatives to the Measurement Postulates of Quantum Mechanics we study the properties of multi-partite systems in these alternative theories. We prove that in all these theories the Purification Principle is violated, meaning that some mixed states are not the reduction of a pure state in a larger system. This implies that simple operational processes, like mixing two states, cannot be described in an agent-free universe. This appears like a crucial clue for the problem of deriving the Born Rule within unitary quantum mechanics or the many-worlds interpretation. We also prove that in all such modifications the task of state tomography with local measurements is impossible, and present a simple toy theory displaying all these exotic non-quantum phenomena. This toy model shows that, contrarily to previous claims, it is possible to modify the Born rule without violating the No-Signalling Principle. Finally, we argue that the quantum measurement postulates are the most non-classical amongst all alternatives.

•Jan 19, 2018•2 citations

A purification postulate for quantum mechanics with indefinite causal order

Mateus Araújo, Adrien Feix, Miguel Navascués +1 more

To study which are the most general causal structures which are compatible with local quantum mechanics, Oreshkov et al. [1] introduced the notion of a process: a resource shared between some parties that allows for quantum communication between them without a predetermined causal order. These processes can be used to perform several tasks that are impossible in standard quantum mechanics: they allow for the violation of causal inequalities, and provide an advantage for computational and communication complexity. Nonetheless, no process that can be used to violate a causal inequality is known to be physically implementable. There is therefore considerable interest in determining which processes are physical and which are just mathematical artefacts of the framework. Here we make key progress in this direction by proposing a purification postulate: processes are physical only if they are purifiable. We derive necessary conditions for a process to be purifiable, and show that several known processes do not satisfy them.

•Jan 1, 2017•52 citations

A purification postulate for quantum mechanics with indefinite causal order

Mateus Araújo, Adrien Feix, Miguel Navascués +1 more

To study which are the most general causal structures which are compatible with local quantum mechanics, Oreshkov e t a l . \cite{oreshkov12} introduced the notion of a process: a resource shared between some parties that allows for quantum communication between them without a predetermined causal order. These processes can be used to perform several tasks that are impossible in standard quantum mechanics: they allow for the violation of causal inequalities, and provide an advantage for computational and communication complexity. Nonetheless, no process that can be used to violate a causal inequality is known to be physically implementable. There is therefore considerable interest in determining which processes are physical and which are just mathematical artefacts of the framework. Here we make key progress in this direction by proposing a purification postulate: processes are physical only if they are purifiable. We derive necessary conditions for a process to be purifiable, and show that several known processes do not satisfy them.

arXiv:1611.08535•Quantum•Apr 25, 2017•67 citations
Deriving quantum mechanics from information-theoretic postulates is a recent research direction taken, in part, with the view of finding a beyond-quantum theory; once the postulates are clear, we can consider modifications to them. A key postulate is the purification postulate, which we propose to replace by a more generally applicable postulate that we call the complete extension postulate (CEP), i.e., the existence of an extension of a physical system from which one can generate any other extension. This new concept leads to a plethora of open questions and research directions in the study of general theories satisfying the CEP (which may include a theory that hyper-decoheres to quantum theory). For example, we show that the CEP implies the impossibility of bit-commitment. This is exemplified by a case study of the theory of non-signalling behaviors which we show satisfies the CEP. We moreover show that in certain cases the complete extension will not be pure, highlighting the key divergence from the purification postulate.
Quantum theory has an outstanding property, namely each state has its well defined purification - a state extremal in the set of states in larger Hilbert space. It is known that the classical theory and the theory of non-signaling boxes does not have purification for all of their states. These theories are examples of the so called generalized probabilistic theories (GPTs). However in any non-signaling GPT each state has a number of extensions to a larger system. We single out the most relevant among them, called a complete extension, unique up to local reversible operations on the extending system. We prove that this special, finite dimensional extension bares an analogy to quantum purification in that (i) it allows for an access to all ensembles of the extended system (ii) from complete extension one can generate any other extension. It then follows, that an access to the complete extension represents the total power of the most general non-signaling adversary. A complete extension of a maximally mixed box in two-party binary input binary output scenario is up to relabeling the famous Popescu-Rohrlich box. The latter thus emerges naturally without reference to the Bell's non-locality. However the complete extension is not a purification (a vertex) in the generic case. Moreover, we show that all convex discrete theories does not provide purification for almost all of it states. In particular the theory of contextuality does not possess purification. The complete extensions are by nature high-dimensional systems. We were able however to provide explicit structure of complete extension for the noisy Popescu-Rohrlich-boxes and the 3-cycle contextual box.
We review a recent approach to the foundations of quantum mechanics inspired by quantum information theory [1, 2]. 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.
We review a recent approach to the foundations of quantum mechanics inspired by quantum information theory [1, 2]. 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.
Using the existing classification of all alternatives to the Measurement Postulates of Quantum Mechanics we study the properties of multi-partite systems in these alternative theories. We prove that in all these theories the Purification Principle is violated, meaning that some mixed states are not the reduction of a pure state in a larger system. This implies that simple operational processes, like mixing two states, cannot be described in an agent-free universe. This appears like a crucial clue for the problem of deriving the Born Rule within unitary quantum mechanics or the many-worlds interpretation. We also prove that in all such modifications the task of state tomography with local measurements is impossible, and present a simple toy theory displaying all these exotic non-quantum phenomena. This toy model shows that, contrarily to previous claims, it is possible to modify the Born rule without violating the No-Signalling Principle. Finally, we argue that the quantum measurement postulates are the most non-classical amongst all alternatives.
To study which are the most general causal structures which are compatible with local quantum mechanics, Oreshkov et al. [1] introduced the notion of a process: a resource shared between some parties that allows for quantum communication between them without a predetermined causal order. These processes can be used to perform several tasks that are impossible in standard quantum mechanics: they allow for the violation of causal inequalities, and provide an advantage for computational and communication complexity. Nonetheless, no process that can be used to violate a causal inequality is known to be physically implementable. There is therefore considerable interest in determining which processes are physical and which are just mathematical artefacts of the framework. Here we make key progress in this direction by proposing a purification postulate: processes are physical only if they are purifiable. We derive necessary conditions for a process to be purifiable, and show that several known processes do not satisfy them.
To study which are the most general causal structures which are compatible with local quantum mechanics, Oreshkov e t a l . \cite{oreshkov12} introduced the notion of a process: a resource shared between some parties that allows for quantum communication between them without a predetermined causal order. These processes can be used to perform several tasks that are impossible in standard quantum mechanics: they allow for the violation of causal inequalities, and provide an advantage for computational and communication complexity. Nonetheless, no process that can be used to violate a causal inequality is known to be physically implementable. There is therefore considerable interest in determining which processes are physical and which are just mathematical artefacts of the framework. Here we make key progress in this direction by proposing a purification postulate: processes are physical only if they are purifiable. We derive necessary conditions for a process to be purifiable, and show that several known processes do not satisfy them.