# Monotonic models and cycles

## Abstract

A partitional model of knowledge is monotonic if there exists a linear order on the state space such that, for every player, each element of her partition contains only a sequence of consecutive states. In monotonic models, the absence of alternating cycles is equivalent to the property that, for every pair of players, the join of their partitions contains only singletons. Under these equivalent conditions any set of posteriors for the players is consistent (i.e., there is a common prior). When checking for consistency in a monotonic model, it is not necessary to evaluate all cycle equations; if the cycle equations corresponding to cycles of length two hold, then there is a common prior.

### Keywords

Acyclicity Cycle Knowledge Monotonicity Partition Posterior Prior### JEL Classification

C02 D80 D82 D83.## 1 Introduction

This paper studies discrete information structures, which are usually present in games of incomplete information. It investigates the implications of imposing a new condition on players’ knowledge partitions, named monotonicity. This paper focuses on the problem of common prior existence (i.e., consistency of posteriors) and the connections between monotonicity and acyclicity.^{1} The results suggest that these connections are non-trivial.

A model refers to a non-empty, finite state space, a non-empty, finite set of players, and their respective partitions of the state space.^{2} A model is monotonic if its state space admits a linear order and all players’ partitions respect this order in the sense that, for each player, each element of her partition consists of consecutive states. These concepts, and their associated results, do not depend on any probabilistic information. However, the analysis is, at least in part, motivated by Harsanyi consistency problem (i.e., common prior existence), a question related to players’ beliefs and, consequently, to probabilities.

How is monotonicity linked to Harsanyi consistency problem? The literature explains that the only potential difficulty in obtaining consistency in finite space models arises from the existence of cycles in the meet-join diagram.^{3} Each cycle is associated to a cycle equation. Posteriors are consistent if and only if all cycle equations are satisfied. Hence, in acyclic models, consistency holds regardless of the specific values of the posteriors.

In monotonic models, acyclicity is equivalent to the property that all joins of two players at a time contain only singletons. The join of two players is composed of singletons if and only if the knowledge, at any state, obtained by performing direct communication among these two players completely reveals the true state. In monotonic models where all joins of two players have only singletons, every collection of players’ posteriors is consistent, i.e., there is a common prior.

Monotonicity helps us to check for consistency by decreasing the computational complexity of the checking procedure. Unlike the case of some models that are not monotonic, in every monotonic model, any arbitrary cycle equation can be deduced from cycle equations corresponding to cycles of length two. In other words, if the model is monotonic and all cycle equations corresponding to cycles of length two hold, all other cycle equations also hold. In this case, posteriors must be consistent; i.e., there is a common prior. This result simplifies the procedure for consistency checking proposed by Rodrigues-Neto (2009) if the model is monotonic. Instead of monotonicity, Hellwig (2013) proposes a different hypothesis on partitions under which, to check for consistency, one needs to inspect only the cycle equations corresponding to cycles of length four or less.^{4}
Rodrigues-Neto (2012) defines cycle spaces for generic knowledge models. If a monotonic model has at least one cycle, we provide a procedure for finding a basis for its cycle space that contains only cycles of length two. Hence, every cycle can be decomposed as a linear combination of cycles in this basis. Edges linking consecutive states form the cycles of this basis. This construction sheds more light on the mathematical structure of cycle spaces in monotonic models.

In a seminal contribution, Harsanyi (1967–1968) develops the basic ideas that allow us to study games of incomplete information. Aumann (1976) introduces the partitional approach to studying knowledge and common knowledge. Morris (1994) has the first converse to Aumann’s agreement theorem. Samet (1998a, b) bring other necessary and sufficient conditions for consistency, while Feinberg (2000) presents the syntactic characterization of common priors.

The next section describes knowledge, partitions, orders, and monotonic models. Section 3 establishes the links between monotonic models, joins and acyclicity. Section 4 reveals that in monotonic models one can simplify the test for consistency by checking only cycle equations corresponding to cycles of length two. Appendix presents all proofs.

## 2 Partitions, orders, and monotonic models

The state spaceis a finite set with \(n\ge 2\) elements, denoted \( \Omega \). There is a non-empty, finite set \(J\) of players. Each player \(j\) ’s knowledge is characterized by her partition \(\Pi ^{j}=\left\{ \pi _{1}^{j},\pi _{2}^{j},\ldots ,\pi _{L^{j}}^{j}\right\} \) of \(\Omega \). For any collection of partitions \(\left\{ \Pi ^{j}\left| \right. j\in J\right\} \), their join, denoted \(\underset{j\in J}{\vee }\Pi ^{j}\), is their coarsest common refinement, and their meet is their finest common coarsening. A model \(M=\left( \Omega ,J,\left\{ \Pi ^{j}\left| \right. j\in J\right\} \right) \) is a triple with a state space \(\Omega \), a set of players \(J\), and a collection of partitions \(\left\{ \Pi ^{j}\left| \right. j\in J\right\} \).

A partial order \(\succsim \) on an arbitrary non-empty set \(A\) is a binary relation on \(A\) that is reflexive, antisymmetric and transitive. A linear order on the set \(A\) is any partial order on \(A\) such that we can always compare any two points of \(A\). A strict linear order \(\succ \) on \(A\) refers to the non-reflexive part of a linear order \(\succsim \); that is, for any \( a,b\in A\): \(a\succ b\) if and only if \(a\succsim b\) and it is not the case that \(b\succsim a\).

Let \((A,\succ )\) be a strictly linearly ordered set, and \(a,b\in A\). Elements \(a\) and \(b\) are consecutive according to \(\succ \) if: (i) \(a\succ b \) and there is no other element \(x\in A\) such that \(a\succ x\succ \)\(b\); or (ii) \(b\succ a\) and there is no other element \(x\in A\) such that \(b\succ x\succ a\). If the context is clear, we just say that \(a\) and \(b\) are consecutive. Being consecutive is a symmetric relation.

Fix a strict linear order \(\succ \) on \(\Omega \). Let \(\pi ^{j}(\omega )\) denote the element of \(j\)’s partition containing state \(\omega \). Partition \( \Pi ^{j}\) is compatible with \((\Omega ,\succ )\) if for any pair of states \( \hat{\omega }\) and \(\bar{\omega }\) such that \(\hat{\omega }\in \pi ^{j}(\bar{ \omega })\), there is a finite sequence of states \(\omega _{0},\omega _{1},\omega _{2},\ldots ,\omega _{k}\in \pi ^{j}(\bar{\omega })\) satisfying: (i) \(\omega _{0}=\hat{\omega }\); (ii) \(\omega _{k}=\bar{\omega }\); (iii) \( \omega _{s}\) and \(\omega _{s+1}\) are consecutive, for every \(s\in \{0,1,\ldots ,k-1\}\).

Model \(M=\left( \Omega ,J,\left\{ \Pi ^{j}\left| \right. j\in J\right\} \right) \) is monotonic if there exists a strict linear order \( \succ \) on \(\Omega \) such that the partition of each player \(j\in J\) is compatible with \((\Omega ,\succ )\). In general, a partition \(\Pi \) of \( \Omega \) is a monotonic partition of \((\Omega ,\succ )\) if \(\Pi \) is compatible with \((\Omega ,\succ )\). Let \(\mathfrak I ^{M}(\Omega ,\succ )\) denote the set of all monotonic partitions of \((\Omega ,\succ )\). There may exist several strict linear orders making a model monotonic. If it is important to choose a particular strict linear order \(\succ \), then we write \(M=\left( \Omega ,\succ ,J,\left\{ \Pi ^{j}\left| \right. j\in J\right\} \right) \).

Any model of a single player is monotonic. Any model of two players, where one of the players has full information (i.e., her partition has singletons only), is an example of a monotonic model because the partition of the fully informed player does not impose any restriction on the relative order of states. In general, any model of exactly \(z+1\) players, where \(z\) players have full information, is monotonic. Example 1 ahead presents a model that is not monotonic.

## 3 Monotonicity, joins, and alternating cycles

Given a model \(M=\left( \Omega ,J,\left\{ \Pi ^{j}\left| \right. j\in J\right\} \right) \), define a multigraph \(G_{0}\), named the meet-join diagram, as follows: the set of nodes is \(\Omega \). An oriented \(j\)-edge \( \left\langle j;\omega _{1},\omega _{2}\right\rangle \) is a triple composed of a player \(j\in J\) and an ordered pair of distinct states \(\omega _{1}\ne \omega _{2}\) belonging to the same element of \(j\)’s partition. For any \( i,j\in J\), the edge \(\left\langle j;\omega _{3},\omega _{4}\right\rangle \) is said to be consecutive to the edge \(\left\langle i;\omega _{1},\omega _{2}\right\rangle \) if and only if \(\omega _{3}=\omega _{2}\). The opposite of the \(j\)-edge \(\left\langle j;\omega _{1},\omega _{2}\right\rangle \), denoted \(-\left\langle j;\omega _{1},\omega _{2}\right\rangle \), is the \(j\) -edge that switches the orders of the states; that is, \(-\left\langle j;\omega _{1},\omega _{2}\right\rangle =\left\langle j;\omega _{2},\omega _{1}\right\rangle \). A path \(p\) is a sequence of consecutive edges. Let \(-p\) denote the opposite path of \(p\); that is, the path obtained from \(p\) by considering the opposites of all of its edges.

Path \(c=\{\left\langle j_{1};\omega _{1},\omega _{2}\right\rangle ,\left\langle j_{2};\omega _{2},\omega _{3}\right\rangle ,\ldots ,\left\langle j_{k};\omega _{k},\omega _{k+1}\right\rangle \}, k\ge 2\), is said to be a cycle if and only if: (i) path \(c\) is closed; that is, \( \omega _{k+1}=\omega _{1}\); and (ii) path \(c\) contains two edges \( \left\langle j;\omega _{p},\omega _{q}\right\rangle \) and \(\left\langle j^{\prime };\omega _{p}^{\prime },\omega _{q}^{\prime }\right\rangle \) such that \(j\ne j^{\prime }\). Cycle \(c\) is said to be an alternating cycle if \( j_{1}\ne j_{k}\), and \(j_{s}\ne j_{s+1}, s\in \{1,2,\ldots ,k-1\}\). An acyclic model is one having no cycle. It turns out that if a model has no alternating cycle, it must be acyclic.^{5} Cycles are important because they provide necessary and sufficient conditions for consistency (i.e., existence of a common prior). Rodrigues-Neto (2009) associates a cycle equation to each cycle in \(G_{0}\). Posteriors are consistent if and only if all cycle equations hold.^{6}

The property that joins of two players contain only singletons means that if two players perform direct communication, then, at any state, they find out the true state. In other words, a pair of players always finds the true state by sharing information if and only if their join has only singletons. The information structure of Rubinstein’s e-mail game (see Rubinstein 1989) is a monotonic model whose join has singletons only.

**Proposition 1**

Suppose that \(\left( \Omega ,J,\left\{ \Pi ^{j}\left| \right. j\in J\right\} \right) \) is a monotonic model with two or more players. The model is acyclic (equivalently, the meet-join diagram has no alternating cycle) if and only if all joins of two players at a time contain singletons only; that is, for every \( j_{1},j_{2}\in J\), if \(j_{1}\ne j_{2}\), then \(\Pi ^{j_{1}}\vee \Pi ^{j_{2}}=\{\{\omega \}\left| \right. \omega \in \Omega \}\). Therefore, in monotonic models where all joins of two players have only singletons, there is a common prior; that is, posteriors are consistent.

*Remark 1*

The Proof of Proposition 1 does not use the fact that \( \Omega \) is finite in a crucial way. It requires only the finiteness of the number of edges in alternating cycles.

Proposition 1 is valid regardless of the number of players. When a monotonic model has exactly two players, this result proves that alternating cycles may only exist inside elements of the join. In a monotonic model of two players where the join has only singletons, there is no alternating cycle. If there is an alternating cycle in a model of two players, then this cycle is contained in an element of the join, or else the model is not monotonic (as in Example 1).

*Example 1*

Let \(\Omega =\{a,b,c,d\}, J=\{1,2\}, \Pi ^{1}=\{\left\{ a,b\},\{c,d\right\} \}\) and \(\Pi ^{2}=\{\left\{ a,c\right\} \!, \left\{ b,d\right\} \}\). This model has an alternating cycle, namely \( \{\left\langle 1;a,b\right\rangle ,\left\langle 2;b,d\right\rangle ,\left\langle 1;d,c\right\rangle \!, \left\langle 2;c,a\right\rangle \}\). However, the join \(\Pi ^{1}\vee \Pi ^{2}\) has only singletons. By Proposition 1, this model is not monotonic.

In a monotonic model of two players, the join has only singletons if and only if there is no alternating cycle. Thus, a natural intuition would be that monotonic models and acyclic models are closely related. This intuition is “tricky”, as the next two examples suggest.

*Example 2*

Let \(\Omega =\{a,b,c,d\}, \Pi ^{1}=\left\{ \left\{ a\right\} ,\left\{ b,c,d\right\} \right\} , \Pi ^{2}=\left\{ \left\{ a,b\right\} ,\left\{ c,d\right\} \right\} \), and \(\Pi ^{3}=\left\{ \left\{ a,b,c\right\} ,\left\{ d\right\} \right\} \). This model is monotonic, the join \(\Pi ^{1}\vee \Pi ^{2}\vee \Pi ^{3}\) contains only singletons, but there are at least three alternating cycles: \(\{\left\langle 1;c,d\right\rangle ,\left\langle 2;d,c\right\rangle \}, \{\left\langle 1;b,c\right\rangle ,\left\langle 3;c,b\right\rangle \}\), and \(\{\left\langle 2;a,b\right\rangle , \left\langle 3;b,a\right\rangle \}\). Thus, in Proposition 1 we really need to look at the joins of two players at a time.

*Example 3*

Consider a model with two players and partitions \( \Pi ^{1}=\{\left\{ a,b,c\right\} , \left\{ d\right\} , \left\{ e\right\} , \left\{ f\right\} \}\) and \(\Pi ^{2}=\{\left\{ a,d\right\} ,\left\{ b,e\right\} ,\left\{ c,f\right\} \}\). Figure 1 reveals that the join contains only singletons. If this model were monotonic, states \(a, b\) and \( c\) would have to be consecutive because they are together in partition \(\Pi ^{1}\), but this is impossible given their location in partition \(\Pi ^{2}\). Hence, the model is not monotonic, but there is no alternating cycle; i.e., the model is acyclic.

## 4 Cycles of length two

A posterior for player \(j\in J\) is a vector \(\theta ^{j}=(\theta _{1}^{j},\ldots ,\theta _{n}^{j})\!\), where, for each \(\omega \in \Omega , \theta _{\omega }^{j}>0\) denotes player \(j\)’s posterior probability that the true state is \(\omega \) when she is informed that the true state belongs to the unique element \(\pi ^{j}(\omega )\) of her partition \(\Pi ^{j}\) that contains \(\omega \). Hence, \(\mathop {\sum }\nolimits _{\omega ^{\prime }\in \pi ^{j}(\omega )}\!\!\theta _{\omega ^{\prime }}^{j}=1\), for every \(\omega \in \Omega \). A profile of posteriors is a collection \(\theta =(\theta ^{1},\ldots ,\theta ^{\left| J\right| })\) of posteriors, one for each player. Consider a probability measure \(\mu ^{j}=\left( \mu _{1}^{j},\ldots ,\mu _{n}^{j}\right) \) over the space \(\Omega \), and let \( \mu ^{j}\!\left( B\right) =\mathop {\sum }\nolimits _{\omega \in B}\mu _{\omega }^{j}\), for any event \(B\subset \Omega \). Measure \(\mu ^{j}\) is a (full support) prior for player \(j\) if \(\mu _{\omega }^{j}>0\) and \(\theta _{\omega }^{j}=\mu _{\omega }^{j}/\mu ^{j}\left( \pi ^{j}(\omega )\right) \), for every \(\omega \in \Omega \).

^{7}

### 4.1 Checking for consistency in monotonic models

In monotonic models, to find out if posteriors are consistent, it suffices to check the cycle equations associated with cycles of length two. When these cycle equations are satisfied, then, necessarily, all other cycle equations must also be satisfied.

**Proposition 2**

Suppose that \(\Omega \) is finite and \(M=\left( \Omega ,J,\left\{ \Pi ^{j}\left| \right. j\in J\right\} \right) \) is a monotonic model with two or more players. Fix players’ posteriors \(\theta ^{j}, j\in J\). If all cycle equations corresponding to cycles of length two hold, then all other cycle equations must hold as well. In this case, there is a common prior.

*Example 4*

Does the converse of Proposition 2 hold? Suppose that all cycles can be decomposed in cycles of length two; would this imply that the model is monotonic? The answer is no. To see why, consider the model in Example 3, in which every cycle can be decomposed in cycles of length two (because the model is acyclic). However, the model is not monotonic.

### 4.2 Cycle space of a monotonic model

Fix a monotonic model \(M=\left( \Omega ,\succ ,J,\left\{ \Pi ^{j}\left| {}\right. j\in J\right\} \right) \). Without loss of generality, assume that \(\Omega =\{1,2,\ldots ,n\}\), and \(n\succ n-1\succ \cdots \succ 2\succ 1\).

Define a multigraph \(\vec {G}\), named the ordered version of \(M\), as follows: (i) the nodes of \(\vec {G}\) are the states in \(\Omega \); and (ii) for every \( j\in J\), a \(j\)-edge of \(\vec {G}\) is a triple \(\left\langle j;\omega _{p},\omega _{q}\right\rangle \) composed of player \(j\) and two consecutive states, namely \(\omega _{p}\) and \(\omega _{q}=\omega _{p}+1\), belonging to the same element of partition \(\Pi ^{j}\); that is, \(\omega _{q}\in \pi ^{j}(\omega _{p})\). State \(\omega _{p}\) is the beginning pointof the \(j\) -edge and \(\omega _{q}\) is the end point of the \(j\)-edge.^{8} The set \(\vec {E}\) of edges of \(\vec {G}\) is the set of all \(j\)-edges of \(\vec {G}\), for all \( j\in J\). Clearly, \(\vec {E}\) is a subset of the set of edges of the meet-join diagram. A path \(p=\{\left\langle j_{1};\omega _{1},\omega _{2}\right\rangle , \left\langle j_{2};\omega _{2},\omega _{3}\right\rangle , \ldots , \left\langle j_{k};\omega _{k},\omega _{k+1}\right\rangle \}\) is increasing if \(\omega _{k+1}\succ \omega _{k}\succ \cdots \succ \omega _{2}\succ \omega _{1}\). Path \(p\) is decreasing if path \(-p\) is increasing.

Define the edge space of \(\vec {G}\), denoted \(V(\vec {G})\), to be the real vector space spanned by \(\vec {E}\). An edge \(x\in \vec {E}\) can be interpreted as a vector of \(V(\vec {G})\). For this, think of \(x\) as the vector \( \mathop {\sum }\nolimits _{y\in \vec {E}}\alpha _{y}y\), with coefficients \(\alpha _{y}=1\), if \(y=x\); and \(\alpha _{y}=0\), if \(y\ne x\). Multiplication of the \(j\)-edge \( x=\left\langle j;\omega _{p},\omega _{q}\right\rangle \) by the scalar \(-1\) is associated with \(-x=\left\langle j;\omega _{q},\omega _{p}\right\rangle \).^{9} Set \(\vec {E}\) is linearly independent because we can never express any edge of \(\vec {G}\) as a linear combination of other edges of \( \vec {E}\). By definition, \(\vec {E}\) spans \(V(\vec {G})\). Hence, \(\vec {E}\) is a basis for \(V(\vec {G})\), and \(\dim V(\vec {G})=\left| \vec {E}\right| \) . Every vector \(v\in V(\vec {G})\) is a linear combination of edges with real coefficients, i.e., there are unique scalars \(\beta _{x}\in \mathbb R \), with \(x\in \vec {E}\), such that \(v=\mathop {\sum }\nolimits _{x\in \vec {E}}\beta _{x}x\) . For every \(v_{1}=\mathop {\sum }\nolimits _{x\in \vec {E}}\alpha _{x}x\) and \( v_{2}=\mathop {\sum }\nolimits _{x\in \vec {E}}\beta _{x}x\), with \(\alpha _{x},\beta _{x}\in \mathbb R \), define the sum in \(V(\vec {G})\) as \(v_{1}+v_{2}=\mathop {\sum }\nolimits _{x\in \vec {E} }(\alpha _{x}+\beta _{x})x\), and the product of \(v_{1}\in V(\vec {G})\) by \( \lambda \in \mathbb R \) as \(\lambda v_{1}=\mathop {\sum }\nolimits _{x\in \vec {E}}(\lambda \alpha _{x})x\). The cycle space of \(\vec {G}\), denoted \(W(\vec {G})\), is the sub-vector space of \( V(\vec {G})\) spanned by all cycles of \(\vec {G}\).

### 4.3 A special collection of cycles of length two

For each index \(i\in \{1,2,\ldots ,n-1\}\), and each pair of distinct players \(j\ne j^{\prime }\in J\), define the cycle of length two \(c_{\omega }(j,j^{\prime })=\{\left\langle j;\omega ,\omega +1\right\rangle ,\left\langle j^{\prime };\omega +1,\omega \right\rangle \}\), if the state \( \omega +1\in \pi ^{j}(\omega )\cap \pi ^{j^{\prime }}(\omega )\). This means that states \(\omega \) and \(\omega +1\) belong to the same element of partition \(\Pi ^{j}\) and also belong to the same element of partition \(\Pi ^{j^{\prime }}\). When \(\omega +1\notin \pi ^{j}(\omega )\cap \pi ^{j^{\prime }}(\omega )\), the cycles \(c_{\omega }(j,j^{\prime })\) and \(c_{\omega }(j^{\prime },j)\) are not defined. If \(\omega +1\in \pi ^{j}(\omega )\cap \pi ^{j^{\prime }}(\omega )\), then \(c_{\omega }(j,j^{\prime })=-c_{\omega }(j^{\prime },j)\), and the cycles \(c_{\omega }(j,j^{\prime })\) and \( c_{\omega }(j^{\prime },j)\) have the same cycle equation. By construction, one of the edges of \(c_{\omega }(j,j^{\prime })\), and the opposite of the other edge, belong to \(\vec {E}\).

Let \(\mathfrak I ^{*}\) denote the collection of all length two cycles \(c_{\omega }(j,j^{\prime })\), for \(\omega \in \Omega \) and \(j,j^{\prime }\in J\). The cycles in collection \(\mathfrak I ^{*}\) span the entire cycle space \(W(\vec {G})\) . However, the collection \(\mathfrak I ^{*}\) may be linearly dependent, as the following example illustrates.

*Example 5*

Let \(\Omega =\{1,2\}, 2\succ 1, J=\{A,B,D\}\), and \(\Pi ^{A}=\Pi ^{B}=\Pi ^{D}=\{\Omega \}\). Then, \(c_{1}(A,B)\!=\{\left\langle A;1,2\right\rangle \!,\left\langle B;2,1\right\rangle \}, c_{1}(A,D)\!=\{\left\langle A;1,2\right\rangle \!,\left\langle D;2,1\right\rangle \}\), and \( c_{1}(B,D)=\{\left\langle B;1,2\right\rangle , \left\langle D;2,1\right\rangle \}\). Because \(\left\langle B;1,2\right\rangle =-\left\langle B;2,1\right\rangle \), then \(c_{1}(A,B)+c_{1}(B,D)=c_{1}(A,D)\) . Thus, the collection \(\{c_{1}(A,B),c_{1}(B,D),c_{1}(A,D)\}\subset \mathfrak I ^{*}\) is linearly dependent.

Depending on the model, it is possible that the collection \(\mathfrak I ^{*}\) is empty. This is the case if and only if \(\omega +1\notin \pi ^{j}(\omega )\cap \pi ^{j^{\prime }}(\omega )\), for any \(\omega \in \{1,2,\ldots ,n-1\}\) and any pair of distinct players \(j\ne j^{\prime }\) in \(J\). This means that \(\mathfrak I ^{*}=\varnothing \) if and only if every pair of partitions \(\Pi ^{j} \) and \(\Pi ^{j^{\prime }}\) has a join made only of singletons. In this case, by Proposition 1, the model has no alternating cycle, and then, it must be acyclic; so, there is a common prior, regardless of the posteriors.

*Proposition 3*

In a monotonic model, every cycle can be decomposed as a linear combination of cycles in the collection \(\mathfrak I ^{*}\). If \(\mathfrak I ^{*}\) is non-empty, then \(\mathfrak I ^{*}\) contains a non-empty subset of linearly independent cycles that span the cycle space; i.e., a basis for the cycle space.

## Footnotes

- 1.
- 2.
- 3.
- 4.
Harsanyi type spaces are models such that each player has one of many possible types, the state space is the Cartesian product of all sets of possible types, and partitions are such that each player knows only her own type. The condition imposed by Hellwig (2013) makes his class of models more general than Harsanyi spaces because he requires only that for every pair of players \(i,j\) and every element \(\pi ^{i}\) of \(i\)’s partition and \(\pi ^{j}\) of \(j\)’s partition, then \(\pi ^{i}\cap \pi ^{j}\ne \varnothing \). Intuitively, Harsanyi spaces could be imagined as hyperrectangles (generalization of rectangles for higher dimensions), while a monotonic model could be imagined as a line.

- 5.
If a model has a cycle \(c\), then there is an alternating cycle. If \(c\) is alternating we are done. Otherwise, by the definition of cycle, part (ii), the cycle \(c\) contains consecutive edges \(\left\langle j;\omega _{1}^{\prime },\omega _{2}^{\prime }\right\rangle , \left\langle j;\omega _{2}^{\prime },\omega _{3}^{\prime }\right\rangle \),\(\ldots , \left\langle j;\omega _{s-1}^{\prime },\omega _{s}^{\prime }\right\rangle , \left\langle j^{\prime };\omega _{s}^{\prime },\omega _{s+1}^{\prime }\right\rangle \) such that \(s\!\ge \! 3\) and \(j\!\ne \! j^{\prime }\). Because states \(\omega _{i}^{\prime }\) and \(\omega _{i+1}^{\prime }\), for \(i\!=\!1,\ldots \!,s\!-\!1\), belong to the same element of \(\Pi ^{j}\), then \(\omega _{1}^{\prime }\) and \( \omega _{s}^{\prime }\) belong to the same element of \(\Pi ^{j}\). Define the cycle \(c^{\prime }\) from \(c\) by replacing the collection of edges \( \left\langle j;\omega _{1}^{\prime },\omega _{2}^{\prime }\right\rangle , \left\langle j;\omega _{2}^{\prime },\omega _{3}^{\prime }\right\rangle \),\( \ldots , \left\langle j;\omega _{s-1}^{\prime },\omega _{s}^{\prime }\right\rangle \) by \(\left\langle j;\omega _{1}^{\prime },\omega _{s}^{\prime }\right\rangle \). If the result is alternate, we are done. Otherwise, repeat the process. This process decreases the number of edges in cycle. Because \(c\) has only finitely many edges, eventually, the resulting cycle will be alternate.

- 6.
To obtain consistency it suffices to check cycle equations associated with alternating cycles. This is true because if all cycle equations in this subset hold, all other cycle equations must also hold. Indeed, every equation associated to a cycle that is not alternating has one or more common factors on both sides. After cancelling out all of these factors, the resulting equation becomes equal to a cycle equation of an alternating cycle. For instance, if a cycle \(c\) has the \(j\)-edges \(\left\langle j;\omega _{0},\omega _{1}\right\rangle \) and \(\left\langle j;\omega _{1},\omega _{2}\right\rangle \), the factor \(\theta _{\omega _{1}}^{j}\) appears in both sides of its cycle equation. By cancelling this common factor, the simplified equation corresponds to the cycle obtained from \(c\) by replacing \( j\)-edges \(\left\langle j;\omega _{0},\omega _{1}\right\rangle \) and \( \left\langle j;\omega _{1},\omega _{2}\right\rangle \) and their opposites with, respectively, \(\left\langle j;\omega _{0},\omega _{2}\right\rangle \) and its opposite.

- 7.
- 8.
The \(j\)-edges of \(\vec {G}\) inside each element \(\pi _{r}^{j}\) of partition \( \Pi ^{j}\) connect, directly or indirectly, all nodes in \(\pi _{r}^{j}\). For every pair of distinct nodes of each \(\pi _{r}^{j}\), there is a unique increasing path of \(j\)-edges of \(\vec {G}\) connecting them.

- 9.
Formally, \(-x\) is not a \(j\)-edge of graph \(\vec {G}\), but it is a \(j\)-edge of the meet-join diagram, and it belongs to the edge space, \(V(\vec {G})\). See more details about edge spaces and cycle spaces in Rodrigues-Neto (2012).

- 10.
Function \(F\) might not be unique, but the argument stands.

- 11.
If we were to insist in writing a cycle equation for the closed path \( \{\left\langle j;\omega _{i},\omega _{i+1}\right\rangle ,\left\langle j;\omega _{i+1},\omega _{i}\right\rangle \}\), this equation would be trivial: \(\theta _{\omega _{i+1}}^{j}\cdot \theta _{\omega _{i}}^{j}=\theta _{\omega _{i}}^{j}\cdot \theta _{\omega _{i+1}}^{j}\).

## Notes

### Acknowledgments

I would like to thank Simon Grant, Scott McCracken, James Taylor, Ronald Stauber, two anonymous reviewers, and seminar participants at the Australian National University and at the Australasian Economic Theory Workshop at the University of Melbourne, for comments. I would like to thank Merrilyn Lárusson for the English editing. All remaining errors are my own responsibility.

### References

- Aumann R (1976) Agreeing to disagree. Ann Stat 4:1236–1239CrossRefGoogle Scholar
- Aumann R (1999) Interactive epistemology I: knowledge. Int J Game Theory 28:263–300CrossRefGoogle Scholar
- Feinberg Y (2000) Characterizing common priors in the form of posteriors. J Econ Theory 91:127–179CrossRefGoogle Scholar
- Harsanyi JC (1967–1968) Games with incomplete information played by Bayesian players, I, II, III. Manag Sci 14:159–182, 320–334, 486–502Google Scholar
- Hellwig M (2013) From posteriors to priors via cycles: an addendum. Econ Lett 118:455–458CrossRefGoogle Scholar
- Morris S (1994) Trade with heterogeneous prior beliefs and asymmetric information. Econometrica 62:1326–1347CrossRefGoogle Scholar
- Rodrigues-Neto JA (2009) From posteriors to priors via cycles. J Econ Theory 144:876–883CrossRefGoogle Scholar
- Rodrigues-Neto JA (2012) The cycles approach. J Math Econ 48:207–211CrossRefGoogle Scholar
- Rubinstein A (1989) The electronic mail game: strategic behavior under almost common knowledge. Am Econ Rev 79:385–391Google Scholar
- Samet D (1998a) Common priors and the separation of convex sets. Games Econ Behav 24:172–174CrossRefGoogle Scholar
- Samet D (1998b) Iterated expectations and common priors. Games Econ Behav 24:131–141CrossRefGoogle Scholar