Agreement and disagreement in a non-classical world

Philos Trans A Math Phys Eng Sci. 2024 Mar 18;382(2268):20230004. doi: 10.1098/rsta.2023.0004. Epub 2024 Jan 29.

Abstract

The Agreement Theorem Aumann (1976 Ann. Stat. 4, 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'.

Keywords: Bayesian agents; agreement and disagreement; common certainty; communication; quasi-probabilities; signed probabilities.