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:2602.18898

Why measurements are made of effects

Tobias Fritz

quant-phSubmitted Feb 21, 2026• Announced Feb 24, 2026• 0 citations• Revised Mar 5, 2026 (v2)
v1 · Feb 21, 2026v2 · Mar 5, 2026
arXivHTMLPDF

Abstract

Both in quantum theory and in general probabilistic theories, measurements with $n$ outcomes are modelled as $n$-tuples of \emph{effects} summing up to the unit effect. Why is this the case, and can this assumption be meaningfully relaxed? Here we develop \emph{generalized measurement theories (GMTs)} as a mathematical framework for physical theories that is complementary to general probabilistic theories, and where this kind of question can be made precise and answered. We then give a definition of \emph{probabilistic state} on a GMT, prove that measurements are made of effects in every GMT in which the probabilistic states separate the measurements, and also argue that this separation condition is physically well-motivated. Finally, we also discuss when a GMT should be considered classical and characterize GMTs corresponding to Boolean algebras as those that are strongly classical and projective.

Comments
23 pages, comments welcome. v2: added some references and strengthened Theorem 5.12

Related papers

Operational Restrictions in General Probabilistic Theories

Sergey N. Filippov, Stanley Gudder, Teiko Heinosaari +1 more

Abstract The formalism of general probabilistic theories provides a universal paradigm that is suitable for describing various physical systems including classical and quantum ones as particular cases. Contrary to the usual no-restriction hypothesis, the set of accessible meters within a given theory can be limited for different reasons, and this raises a question of what restrictions on meters are operationally relevant. We argue that all operational restrictions must be closed under simulation, where the simulation scheme involves mixing and classical post-processing of meters. We distinguish three classes of such operational restrictions: restrictions on meters originating from restrictions on effects; restrictions on meters that do not restrict the set of effects in any way; and all other restrictions. We fully characterize the first class of restrictions and discuss its connection to convex effect subalgebras. We show that the restrictions belonging to the second class can impose severe physical limitations despite the fact that all effects are accessible, which takes place, e.g., in the unambiguous discrimination of pure quantum states via effectively dichotomic meters. We further demonstrate that there are physically meaningful restrictions that fall into the third class. The presented study of operational restrictions provides a better understanding on how accessible measurements modify general probabilistic theories and quantum theory in particular.

arXiv:1912.08538•Foundations of Physics•Jul 12, 2020•15 citations

One simple postulate implies that every polytopic state space is classical

Corsin Pfister

In order to find a physical axiomatization of quantum theory, physical theories are often considered as a special case of a much more general framework of generalized probabilistic theories. We first present a detailed introduction to generalized probabilistic theories before we examine new approaches towards a physical axiomatization of quantum theory. The main result of the thesis is that one postulate concerning post-measurement states (which have gained almost no attention in this context so far) is sufficient to rule out all probabilistic theories with a polytopic state space, except for classical theory. The postulate states that a measurement with a definite outcome does not alter the state. This rules out almost all toy theories considered so far, for instance the PR-box, but is compatible with quantum theory. Thus, this result can be seen as an approach towards a classification of quantum theory in physical terms. It only deals with local state spaces, in contrast to other approaches that are mostly concerned with nonlocality in composite systems.

arXiv:1203.5622•Mar 26, 2012•9 citations

Contextuality of General Probabilistic Theories

Farid Shähandeh

Generalized contextuality refers to our inability of explaining measurement statistics using a contextindependent probabilistic and ontological model.On the other hand, measurement statistics can also be modeled using the framework of general probabilistic theories (GPTs).Here, starting from a construction of GPTs based on a Gleason-type theorem, we fully characterize these structures with respect to their permission and rejection of generalized (non)contextual ontological models.It follows that in any GPT construction the three insistence of (i) the no-restriction hypothesis, (ii) the ontological noncontextuality, and (iii) multiple nonrefinable measurements for any fixed number of outcomes are incompatible.Hence, any GPT satisfying the no-restriction hypothesis is ontologically noncontextual if and only if it is simplicial.We give a detailed discussion of GPTs for which the no-restriction hypothesis is violated, and show that they can always be considered as subtheories (subGPTs) of GPTs satisfying the hypothesis.It is shown that subGPTs are ontologically noncontextual if and only if they are subtheories of simplicial GPTs of the same dimensionality.Finally, we establish as a corollary the necessary and sufficient condition for a single resourceful measurement or state to promote an ontologically noncontextual (i.e., classical) general probabilistic theory to an ontologically contextual (i.e., nonclassical) one under the no-restriction hypothesis.

arXiv:1911.11059•PRX Quantum•Feb 25, 2021•31 citations

Generalized Probabilities in Statistical Theories

Federico Holik, César Massri, Angelo Plastino +1 more

We discuss different formal frameworks for the description of generalized probabilities in statistical theories. We analyze the particular cases of probabilities appearing in classical and quantum mechanics and the approach to generalized probabilities based on convex sets. We argue for considering quantum probabilities as the natural probabilistic assignments for rational agents dealing with contextual probabilistic models. In this way, the formal structure of quantum probabilities as a non-Boolean probabilistic calculus is endowed with a natural interpretation.

arXiv:1406.0913•Quantum Reports•Jul 29, 2021•6 citations

Quantum Probability Theory and the Foundations of Quantum Mechanics

Jürg Martin Fröhlich, Baptiste Schubnel

We attempt to contribute some novel points of view to the "foundations of quantum mechanics", using mathematical tools from "quantum probability theory" (such as the theory of operator algebras). We first introduce an abstract algebraic framework for the formulation of mathematical models of physical systems that is general enough to encompass classical and quantum mechanical models. After a short discussion on the properties of classical systems (realism and determinism), we move on to the study of a general class of quantum-mechanical models of physical systems and explain what some of the key problems in a quantum theory of observations and measurements are. In the last part of our essay, we attempt to elucidate the roles played by entanglement between a system and its environment and of information loss in understanding "decoherence" and "dephasing", which are key mechanisms in a quantum theory of measurements and experiments. We also discuss the problem of "time in quantum mechanics" and sketch an answer to the question when an experiment can be considered to have been completed successfully.

arXiv:1310.1484•Oct 5, 2013•6 citations

On the individuation of physical systems in quantum theory.

Cael L. Hasse

What theoretical structures characterise our notions of what it means for a whole physical system to be the sum of its parts? We explore various aspects of this question, with emphasise on quantum theory, from the following perspective: A physical theory constitutes the definition of a set of propositions with logical relationships between them such that probabilities can be used to judge the merits of the theory, given empirical evidence. The logical relationships between the propositions characterise our semantic notions such as individuation. We distinguish between the ontological and epistemological notions of individuation. We introduce the notion of ontological individuation within the context of ontological models. A subsystem is defined as a proposition that provides necessary and sufficient information for making useful predictions. This definition to some extent generalises the notions of separability and local causality to define systems that may not be local. It highlights the unified motivations for many assumptions in the literature, such as measurement independence, and points to hidden assumptions of causality and mutual exclusivity that occur when defining systems. An epistemic no-signalling criterion gives rise to a tensor product structure for epistemic systems in quantum theory. We utilise a symmetry emergent from this structure to derive a bound on the observability of a large class of operations, dependent on only the purity of the quantum state. In particular, we derive an upper bound on the trace distance between an untransformed state and the state transformed by any trace preserving, unital operation. Our notions of epistemic systems also relate to distinguishability. It is shown that for measurements of any two (_nite outcome) particle quantum numbers on multi-fermion states, the total uncertainty, minimised over all states, is zero. This is because despite indistinguishability characterised as a constraint on the observable algebra, the appropriate correspondence between states of distinguishable and indistinguishable particles is one where the Hilbert space of indistinguishable particles relates to particles with an extra quantum number such that effective distinguishability can emerge. This Hilbert space is larger than the one for distinguishable particles and hence can (does) contain states for which the uncertainty relations for distinguishable particles are no longer valid. We conclude by arguing that in general, epistemic systems are not necessarily distinguishable; They may be only effectively distinguishable. This would imply a theory of indistinguishable modes. Several motivations are presented and the form of the theory suggested. It is hypothesised that such a theory may provide a relativistic quantum theory, alternative to quantum field theory, that satisfies cluster decomposition.

•Jan 1, 2014•1 citation
Both in quantum theory and in general probabilistic theories, measurements with nnn outcomes are modelled as nnn-tuples of \emph{effects} summing up to the unit effect. Why is this the case, and can this assumption be meaningfully relaxed? Here we develop \emph{generalized measurement theories (GMTs)} as a mathematical framework for physical theories that is complementary to general probabilistic theories, and where this kind of question can be made precise and answered. We then give a definition of \emph{probabilistic state} on a GMT, prove that measurements are made of effects in every GMT in which the probabilistic states separate the measurements, and also argue that this separation condition is physically well-motivated. Finally, we also discuss when a GMT should be considered classical and characterize GMTs corresponding to Boolean algebras as those that are strongly classical and projective.
Abstract The formalism of general probabilistic theories provides a universal paradigm that is suitable for describing various physical systems including classical and quantum ones as particular cases. Contrary to the usual no-restriction hypothesis, the set of accessible meters within a given theory can be limited for different reasons, and this raises a question of what restrictions on meters are operationally relevant. We argue that all operational restrictions must be closed under simulation, where the simulation scheme involves mixing and classical post-processing of meters. We distinguish three classes of such operational restrictions: restrictions on meters originating from restrictions on effects; restrictions on meters that do not restrict the set of effects in any way; and all other restrictions. We fully characterize the first class of restrictions and discuss its connection to convex effect subalgebras. We show that the restrictions belonging to the second class can impose severe physical limitations despite the fact that all effects are accessible, which takes place, e.g., in the unambiguous discrimination of pure quantum states via effectively dichotomic meters. We further demonstrate that there are physically meaningful restrictions that fall into the third class. The presented study of operational restrictions provides a better understanding on how accessible measurements modify general probabilistic theories and quantum theory in particular.
In order to find a physical axiomatization of quantum theory, physical theories are often considered as a special case of a much more general framework of generalized probabilistic theories. We first present a detailed introduction to generalized probabilistic theories before we examine new approaches towards a physical axiomatization of quantum theory. The main result of the thesis is that one postulate concerning post-measurement states (which have gained almost no attention in this context so far) is sufficient to rule out all probabilistic theories with a polytopic state space, except for classical theory. The postulate states that a measurement with a definite outcome does not alter the state. This rules out almost all toy theories considered so far, for instance the PR-box, but is compatible with quantum theory. Thus, this result can be seen as an approach towards a classification of quantum theory in physical terms. It only deals with local state spaces, in contrast to other approaches that are mostly concerned with nonlocality in composite systems.
Generalized contextuality refers to our inability of explaining measurement statistics using a contextindependent probabilistic and ontological model.On the other hand, measurement statistics can also be modeled using the framework of general probabilistic theories (GPTs).Here, starting from a construction of GPTs based on a Gleason-type theorem, we fully characterize these structures with respect to their permission and rejection of generalized (non)contextual ontological models.It follows that in any GPT construction the three insistence of (i) the no-restriction hypothesis, (ii) the ontological noncontextuality, and (iii) multiple nonrefinable measurements for any fixed number of outcomes are incompatible.Hence, any GPT satisfying the no-restriction hypothesis is ontologically noncontextual if and only if it is simplicial.We give a detailed discussion of GPTs for which the no-restriction hypothesis is violated, and show that they can always be considered as subtheories (subGPTs) of GPTs satisfying the hypothesis.It is shown that subGPTs are ontologically noncontextual if and only if they are subtheories of simplicial GPTs of the same dimensionality.Finally, we establish as a corollary the necessary and sufficient condition for a single resourceful measurement or state to promote an ontologically noncontextual (i.e., classical) general probabilistic theory to an ontologically contextual (i.e., nonclassical) one under the no-restriction hypothesis.
We discuss different formal frameworks for the description of generalized probabilities in statistical theories. We analyze the particular cases of probabilities appearing in classical and quantum mechanics and the approach to generalized probabilities based on convex sets. We argue for considering quantum probabilities as the natural probabilistic assignments for rational agents dealing with contextual probabilistic models. In this way, the formal structure of quantum probabilities as a non-Boolean probabilistic calculus is endowed with a natural interpretation.
We attempt to contribute some novel points of view to the "foundations of quantum mechanics", using mathematical tools from "quantum probability theory" (such as the theory of operator algebras). We first introduce an abstract algebraic framework for the formulation of mathematical models of physical systems that is general enough to encompass classical and quantum mechanical models. After a short discussion on the properties of classical systems (realism and determinism), we move on to the study of a general class of quantum-mechanical models of physical systems and explain what some of the key problems in a quantum theory of observations and measurements are. In the last part of our essay, we attempt to elucidate the roles played by entanglement between a system and its environment and of information loss in understanding "decoherence" and "dephasing", which are key mechanisms in a quantum theory of measurements and experiments. We also discuss the problem of "time in quantum mechanics" and sketch an answer to the question when an experiment can be considered to have been completed successfully.
What theoretical structures characterise our notions of what it means for a whole physical system to be the sum of its parts? We explore various aspects of this question, with emphasise on quantum theory, from the following perspective: A physical theory constitutes the definition of a set of propositions with logical relationships between them such that probabilities can be used to judge the merits of the theory, given empirical evidence. The logical relationships between the propositions characterise our semantic notions such as individuation. We distinguish between the ontological and epistemological notions of individuation. We introduce the notion of ontological individuation within the context of ontological models. A subsystem is defined as a proposition that provides necessary and sufficient information for making useful predictions. This definition to some extent generalises the notions of separability and local causality to define systems that may not be local. It highlights the unified motivations for many assumptions in the literature, such as measurement independence, and points to hidden assumptions of causality and mutual exclusivity that occur when defining systems. An epistemic no-signalling criterion gives rise to a tensor product structure for epistemic systems in quantum theory. We utilise a symmetry emergent from this structure to derive a bound on the observability of a large class of operations, dependent on only the purity of the quantum state. In particular, we derive an upper bound on the trace distance between an untransformed state and the state transformed by any trace preserving, unital operation. Our notions of epistemic systems also relate to distinguishability. It is shown that for measurements of any two (_nite outcome) particle quantum numbers on multi-fermion states, the total uncertainty, minimised over all states, is zero. This is because despite indistinguishability characterised as a constraint on the observable algebra, the appropriate correspondence between states of distinguishable and indistinguishable particles is one where the Hilbert space of indistinguishable particles relates to particles with an extra quantum number such that effective distinguishability can emerge. This Hilbert space is larger than the one for distinguishable particles and hence can (does) contain states for which the uncertainty relations for distinguishable particles are no longer valid. We conclude by arguing that in general, epistemic systems are not necessarily distinguishable; They may be only effectively distinguishable. This would imply a theory of indistinguishable modes. Several motivations are presented and the form of the theory suggested. It is hypothesised that such a theory may provide a relativistic quantum theory, alternative to quantum field theory, that satisfies cluster decomposition.