© 2026 Aqora Quantum S.A.S.

Terms Privacy Legal Notice

arXiv:2511.21258

The Quantum Agreement Theorem

María García Díaz, Adam Brandenburger, Giannicola Scarpa

quant-phSubmitted Nov 26, 2025• Announced Nov 27, 2025• 0 citations• Revised Sep 20, 2026 (v3)

v1 · Nov 26, 2025 v2 · Mar 19, 2026 v3 · Sep 20, 2026

Abstract

Intersubjective consistency asks when different observers of a physical system, reasoning from a shared theory, will agree on their probability assessments. Classical probability theory provides a benchmark in the form of the Agreement Theorem (Aumann, 1976). We study the quantum mechanics (QM) analog to the classical Agreement Theorem in a finite-dimensional tripartite setting in which two observers obtain information via local projective measurements. We represent their mutual awareness by common certainty, which is formally an infinite hierarchy of certainty operators concerning the probability of an event of interest. We first prove that if the observers' measurements commute with one another and with the property of interest, common certainty forces their probability assessments to coincide, thereby recovering a QM analog to the classical Agreement Theorem. We then construct a one-parameter family of qutrit-qubit-qubit models in which one observer's measurement does not commute with the property and common certainty of disagreement occurs -- a distinctively QM phenomenon. The mechanism is coherence between branches distinguished by one but not the other observer's measurement. When measurement outcomes are stored in a classical register, the resulting dephasing removes this coherence and restores agreement. Finally, we prove that QM does not permit the extreme 0-1 configuration in which Alice is certain of a property and is also certain that Bob is certain of its negation. These results aim to turn debate in QM about observer-dependent facts into precise mathematical conditions for when intersubjective agreement or disagreement in QM can be sustained.

Comments: 22 pages, 5 figures, 3 tables

Related papers

Generalising Aumann's Agreement Theorem

Matthew Leifer, Cristhiano Duarte

According to Aumann's celebrated theorem, rational agents cannot agree to disagree. In other words, agents who once shared a common prior probability distribution and who have common knowledge about their posteriors cannot assign different probability distributions to a given proposition. Common knowledge imposes strong restrictions on assigned probabilities. In fact, Aumann's agreement theorem was one of the first attempts to formalise and explore the role played by common knowledge in decision theory. Recently, the debate over possible (quantum) extensions of Aumann's results has resurfaced. This paper contributes to this discussion. First, we argue that agreeing to disagree is impossible in quantum theory. Secondly, by building on the quantum argument, we show that agreeing to disagree is also forbidden in any generalised probability theory. The upshot is that in its probabilistic version, the agreement theorem is a direct consequence of how we choose to condition upon acquiring new information.

arXiv:2202.02156•Quantum•Sep 18, 2026•0 citations

When will Two Agents Agree on a Quantum Measurement Outcome? Intersubjective Agreement in QBism

Rüdiger Schack

In the QBist approach to quantum mechanics, a measurement is an action an agent takes on the world external to herself. A measurement device is an extension of the agent and both measurement outcomes and their probabilities are personal to the agent. According to QBism, nothing in the quantum formalism implies that the quantum state assignments of two agents or their respective measurement outcomes need to be mutually consistent. Recently, Khrennikov has claimed that QBism's personalist theory of quantum measurement is invalidated by Ozawa's so-called intersubjectivity theorem. Here, following Stacey, we refute Khrennikov's claim by showing that it is not Ozawa's mathematical theorem but an additional assumption made by Khrennikov that QBism is incompatible with. We then address the question of intersubjective agreement in QBism more generally. Even though there is never a necessity for two agents to agree on their respective measurement outcomes, a QBist agent can strive to create conditions under which she would expect another agent's reported measurement outcome to agree with hers. It turns out that the assumptions of Ozawa's theorem provide an example for just such a condition.

arXiv:2312.07728•International Journal of Theoretical Physics•Oct 5, 2024•6 citations

Agreement and disagreement in a non-classical world

Adam M. Brandenburger, Patricia Contreras-Tejada, Pierfrancesco La Mura +2 more

, 1236-1239. (doi:10.1214/aos/1176343654)) states that if two Bayesian agents start with a common prior, then they cannot have common knowledge that they hold different posterior probabilities of some underlying event of interest. In short, the two agents cannot 'agree to disagree'. This result applies in the classical domain where classical probability theory applies. But in non-classical domains, such as the quantum world, classical probability theory does not apply. Inspired principally by their use in quantum mechanics, we employ signed probabilities to investigate the epistemics of the non-classical world. We find that here, too, it cannot be common knowledge that two agents assign different probabilities to an event of interest. However, in a non-classical domain, unlike the classical case, it can be common certainty that two agents assign different probabilities to an event of interest. Finally, in a non-classical domain, it cannot be common certainty that two agents assign different probabilities, if communication of their common certainty is possible-even if communication does not take place. This article is part of the theme issue 'Quantum contextuality, causality and freedom of choice'.

Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences•Jan 28, 2024•5 citations

Aumann's theorem beyond ontology: quantum, postquantum, and indefinite causal order

Carlo Cepollaro, Andrea Di Biagio

Agreement theorems are no-go results about rational disagreement: if two agents start from a common prior and their posterior beliefs are common knowledge, they cannot assign different probabilities to the same event. Standard treatments of the result have the agents reason about an underlying state of the world, which has lead some to ask whether the result can extend to quantum or postquantum phenomena, where such a description may no longer be appropriate. We derive an operational version of Aumann's agreement theorem without assuming an objective state of the world and instead focusing only on what is observed. This allows us to establish the theorem's validity in quantum theory and even in situations with indefinite causal order or involving hypothetical postquantum phenomena. We comment on seemingly contradictory results in the literature and point to the one place where the theorem might fail: Wigner's friend-type situations.

quant-pharXiv:2603.23595•Mar 26, 2026•0 citations

Agreement between observers: a physical principle?

Patricia Contreras-Tejada, Giannicola Scarpa, Aleksander M. Kubicki +2 more

Is the world quantum? An active research line in quantum foundations is devoted to exploring what constraints can rule out the post-quantum theories that are consistent with experimentally observed results. We explore this question in the context of epistemics, and ask whether agreement between observers can serve as a physical principle that must hold for any theory of the world. Aumann's seminal Agreement Theorem states that two observers (of classical systems) cannot agree to disagree. We propose an extension of this theorem to no-signaling settings. In particular, we establish an Agreement Theorem for observers of quantum systems, while we construct examples of (post-quantum) no-signaling boxes where observers can agree to disagree. The PR box is an extremal instance of this phenomenon. These results make it plausible that agreement between observers might be a physical principle, while they also establish links between the fields of epistemics and quantum information that seem worthy of further exploration.

•Feb 17, 2021•0 citations

Intersubjectivity as a principle determining physical observables and non-classicality

Shun Umekawa, Koki Ono, Hayato Arai

We identify an operational principle that singles out Projection-Valued Measures (PVMs) among general Positive Operator-Valued Measures (POVMs), bridging the modern quantum measurement theory and the traditional formulation based on projective measurements of physical observables. We reformulate Ozawa's intersubjectivity condition, which requires inter-observer agreement of the measurement outcomes, in a quantitative manner within the framework of generalized probabilistic theories. We prove that (i) a POVM is a PVM if and only if its every coarse-graining is intersubjective, and (ii) a system is classical if and only if intersubjectivity is preserved under any coarse-graining, establishing a complete characterization of the physical observables and the classical theory. Furthermore, measurements with intersubjectivity are sufficiently rich for the informational tasks of state tomography and state discrimination, testifying to its operational significance in quantum and beyond information processing.

quant-pharXiv:2603.01575•Mar 3, 2026•0 citations

Intersubjective consistency asks when different observers of a physical system, reasoning from a shared theory, will agree on their probability assessments. Classical probability theory provides a benchmark in the form of the Agreement Theorem (Aumann, 1976). We study the quantum mechanics (QM) analog to the classical Agreement Theorem in a finite-dimensional tripartite setting in which two observers obtain information via local projective measurements. We represent their mutual awareness by common certainty, which is formally an infinite hierarchy of certainty operators concerning the probability of an event of interest. We first prove that if the observers' measurements commute with one another and with the property of interest, common certainty forces their probability assessments to coincide, thereby recovering a QM analog to the classical Agreement Theorem. We then construct a one-parameter family of qutrit-qubit-qubit models in which one observer's measurement does not commute with the property and common certainty of disagreement occurs -- a distinctively QM phenomenon. The mechanism is coherence between branches distinguished by one but not the other observer's measurement. When measurement outcomes are stored in a classical register, the resulting dephasing removes this coherence and restores agreement. Finally, we prove that QM does not permit the extreme 0-1 configuration in which Alice is certain of a property and is also certain that Bob is certain of its negation. These results aim to turn debate in QM about observer-dependent facts into precise mathematical conditions for when intersubjective agreement or disagreement in QM can be sustained.

According to Aumann's celebrated theorem, rational agents cannot agree to disagree. In other words, agents who once shared a common prior probability distribution and who have common knowledge about their posteriors cannot assign different probability distributions to a given proposition. Common knowledge imposes strong restrictions on assigned probabilities. In fact, Aumann's agreement theorem was one of the first attempts to formalise and explore the role played by common knowledge in decision theory. Recently, the debate over possible (quantum) extensions of Aumann's results has resurfaced. This paper contributes to this discussion. First, we argue that agreeing to disagree is impossible in quantum theory. Secondly, by building on the quantum argument, we show that agreeing to disagree is also forbidden in any generalised probability theory. The upshot is that in its probabilistic version, the agreement theorem is a direct consequence of how we choose to condition upon acquiring new information.

In the QBist approach to quantum mechanics, a measurement is an action an agent takes on the world external to herself. A measurement device is an extension of the agent and both measurement outcomes and their probabilities are personal to the agent. According to QBism, nothing in the quantum formalism implies that the quantum state assignments of two agents or their respective measurement outcomes need to be mutually consistent. Recently, Khrennikov has claimed that QBism's personalist theory of quantum measurement is invalidated by Ozawa's so-called intersubjectivity theorem. Here, following Stacey, we refute Khrennikov's claim by showing that it is not Ozawa's mathematical theorem but an additional assumption made by Khrennikov that QBism is incompatible with. We then address the question of intersubjective agreement in QBism more generally. Even though there is never a necessity for two agents to agree on their respective measurement outcomes, a QBist agent can strive to create conditions under which she would expect another agent's reported measurement outcome to agree with hers. It turns out that the assumptions of Ozawa's theorem provide an example for just such a condition.

, 1236-1239. (doi:10.1214/aos/1176343654)) states that if two Bayesian agents start with a common prior, then they cannot have common knowledge that they hold different posterior probabilities of some underlying event of interest. In short, the two agents cannot 'agree to disagree'. This result applies in the classical domain where classical probability theory applies. But in non-classical domains, such as the quantum world, classical probability theory does not apply. Inspired principally by their use in quantum mechanics, we employ signed probabilities to investigate the epistemics of the non-classical world. We find that here, too, it cannot be common knowledge that two agents assign different probabilities to an event of interest. However, in a non-classical domain, unlike the classical case, it can be common certainty that two agents assign different probabilities to an event of interest. Finally, in a non-classical domain, it cannot be common certainty that two agents assign different probabilities, if communication of their common certainty is possible-even if communication does not take place. This article is part of the theme issue 'Quantum contextuality, causality and freedom of choice'.

Agreement theorems are no-go results about rational disagreement: if two agents start from a common prior and their posterior beliefs are common knowledge, they cannot assign different probabilities to the same event. Standard treatments of the result have the agents reason about an underlying state of the world, which has lead some to ask whether the result can extend to quantum or postquantum phenomena, where such a description may no longer be appropriate. We derive an operational version of Aumann's agreement theorem without assuming an objective state of the world and instead focusing only on what is observed. This allows us to establish the theorem's validity in quantum theory and even in situations with indefinite causal order or involving hypothetical postquantum phenomena. We comment on seemingly contradictory results in the literature and point to the one place where the theorem might fail: Wigner's friend-type situations.

Is the world quantum? An active research line in quantum foundations is devoted to exploring what constraints can rule out the post-quantum theories that are consistent with experimentally observed results. We explore this question in the context of epistemics, and ask whether agreement between observers can serve as a physical principle that must hold for any theory of the world. Aumann's seminal Agreement Theorem states that two observers (of classical systems) cannot agree to disagree. We propose an extension of this theorem to no-signaling settings. In particular, we establish an Agreement Theorem for observers of quantum systems, while we construct examples of (post-quantum) no-signaling boxes where observers can agree to disagree. The PR box is an extremal instance of this phenomenon. These results make it plausible that agreement between observers might be a physical principle, while they also establish links between the fields of epistemics and quantum information that seem worthy of further exploration.

We identify an operational principle that singles out Projection-Valued Measures (PVMs) among general Positive Operator-Valued Measures (POVMs), bridging the modern quantum measurement theory and the traditional formulation based on projective measurements of physical observables. We reformulate Ozawa's intersubjectivity condition, which requires inter-observer agreement of the measurement outcomes, in a quantitative manner within the framework of generalized probabilistic theories. We prove that (i) a POVM is a PVM if and only if its every coarse-graining is intersubjective, and (ii) a system is classical if and only if intersubjectivity is preserved under any coarse-graining, establishing a complete characterization of the physical observables and the classical theory. Furthermore, measurements with intersubjectivity are sufficiently rich for the informational tasks of state tomography and state discrimination, testifying to its operational significance in quantum and beyond information processing.