Aumann's agreement theorem states that two
Bayesian agents with the same
prior
The term prior may refer to:
* Prior (ecclesiastical), the head of a priory (monastery)
* Prior convictions, the life history and previous convictions of a suspect or defendant in a criminal case
* Prior probability, in Bayesian statistics
* Prio ...
beliefs cannot "agree to disagree" about the probability of an event if their individual beliefs are
common knowledge
Common knowledge is knowledge that is publicly known by everyone or nearly everyone, usually with reference to the community in which the knowledge is referenced. Common knowledge can be about a broad range of subjects, such as science, litera ...
. In other words, if it is commonly known what each agent believes about some
event, and both agents are rational and update their beliefs using
Bayes' rule, then their updated (posterior) beliefs must be the same.
Informally, the theorem implies that rational individuals who start from the same assumptions and share all relevant information—even just by knowing each other’s opinions—must eventually come to the same conclusions. If their differing beliefs about something are common knowledge, they must in fact agree.
The theorem was proved by
Robert Aumann
Robert John Aumann (Yisrael Aumann, ; born June 8, 1930) is an Israeli-American mathematician, and a member of the United States National Academy of Sciences. He is a professor at the Center for the Study of Rationality in the Hebrew University ...
in his 1976 paper "Agreeing to Disagree",
[
] which also introduced the formal, set-theoretic definition of common knowledge.
The theorem
The model used in Aumann
to prove the theorem consists of a finite set of states
with a prior probability
, which is common to all agents. Agent
's knowledge is given by a partition
of
. The posterior probability of agent
, denoted
is the conditional probability of
given
.
Fix an event
and let
be the event that for each
,
. The theorem claims that if the event
that
is common knowledge is not empty then all the numbers
are the same. The proof follows directly from the definition of common knowledge. The event
is a union of elements of
for each
. Thus, for each
,
. The claim of the theorem follows since the left hand side is independent of
. The theorem was proved for two agents but the proof for any number of agents is similar.
Extensions
Monderer and Samet relaxed the assumption of common knowledge and assumed instead common
-belief of the posteriors of the agents.
They gave an upper bound of the distance between the posteriors
. This bound approaches 0 when
approaches 1.
Ziv Hellman relaxed the assumption of a common prior and assumed instead that the agents have priors that are
-close in a well defined metric.
He showed that common knowledge of the posteriors in this case implies that they are
-close. When
goes to zero, Aumann's original theorem is recapitulated.
Nielsen extended the theorem to non-discrete models in which knowledge is described by
-algebras rather than partitions.
Knowledge
Knowledge is an Declarative knowledge, awareness of facts, a Knowledge by acquaintance, familiarity with individuals and situations, or a Procedural knowledge, practical skill. Knowledge of facts, also called propositional knowledge, is oft ...
which is defined in terms of partitions has the property of
''negative introspection''. That is, agents know that they do not know what they do not know. However, it is possible to show that it is impossible to agree to disagree even when knowledge does not have this property.
Halpern and Kets argued that players can agree to disagree in the presence of ambiguity, even if there is a common prior. However, allowing for ambiguity is more restrictive than assuming heterogeneous priors.
The impossibility of agreeing to disagree, in Aumann's theorem, is a necessary condition for the existence of a common prior. A stronger condition can be formulated in terms of bets. A ''bet'' is a set of random variables
, one for each agent
, such that
(the idea being that no money is created or destroyed, only transferred, in these bets). The bet is ''favorable'' to agent
in a state
if the expected value of
at
is positive.
The impossibility of agreeing on the profitability of a bet is a stronger condition than the impossibility of agreeing to disagree, and moreover, it is a necessary and sufficient condition for the existence of a common prior.
Dynamics
A ''dialogue'' between two agents is a dynamic process in which, in each stage, the agents tell each other their posteriors of a given event
. Upon gaining this new information, each is updating their posterior of
. Aumann suggested that such a process leads the agents to commonly know their posteriors, and hence, by the agreement theorem, the posteriors at the end of the process coincide.
Geanakoplos and Polemarchakis proved it for dialogues in finite state spaces.
Polemarchakis showed that any pair of finite sequences of the same length that end with the same number can be obtained as a dialogue.
In contrast, Di Tillio and co-authors showed that infinite dialogues must satisfy certain restrictions on their variation.
Scott Aaronson
Scott Joel Aaronson (born May 21, 1981) is an American Theoretical computer science, theoretical computer scientist and Schlumberger Centennial Chair of Computer Science at the University of Texas at Austin. His primary areas of research are ...
studied the complexity and rate of convergence of various types of dialogues with more than two agents.
References
Further reading
*
{{Authority control
Bayesian statistics
Economics theorems
Game theory
Theorems in probability theory
Rational choice theory
Theorems in statistics