Common Knowledge, Regained

Yannai A. Gonczarowski,Yoram Moses
2024-04-23
Abstract:For common knowledge to arise in dynamic settings, all players must simultaneously come to know it has arisen. Consequently, common knowledge cannot arise in many realistic settings with timing frictions. This counterintuitive observation of Halpern and Moses (1990) was discussed by Arrow et al. (1987) and Aumann (1989), was called a paradox by Morris (2014), and has evaded satisfactory resolution for four decades. We resolve this paradox by proposing a new definition for common knowledge, which coincides with the traditional one in static settings but is more permissive in dynamic settings. Under our definition, common knowledge can arise without simultaneity, particularly in canonical examples of the Haplern-Moses paradox. We demonstrate its usefulness by deriving for it an agreement theorem à la Aumann (1976), showing it arises in the setting of Geanakoplos and Polemarchakis (1982) with timing frictions added, and applying it to characterize equilibrium behavior in a dynamic coordination game.
Theoretical Economics,Distributed, Parallel, and Cluster Computing,Computer Science and Game Theory
What problem does this paper attempt to address?
This paper discusses the problem of forming common knowledge in a dynamic environment. Existing definitions assume that common knowledge needs to be recognized by all players simultaneously. However, in real situations with time delays, it is difficult to achieve this, resulting in the so-called "Halpern-Moses paradox". The paper proposes a new definition of common knowledge that allows it to be formed asynchronously, thus solving this paradox. The new definition maintains the applicability of the traditional definition in static environments while relaxing the constraints in dynamic environments. Using this new definition, the paper demonstrates how to achieve common knowledge in scenarios with time friction and applies it to the analysis of equilibrium behavior in coordinated games.