CMS-EMS Center for Mathematical Studies in Economics And Management Science. Discussion Paper #1586
|
|
- Scott Wood
- 5 years ago
- Views:
Transcription
1 CMS-EMS Center for Mathematcal Studes n Economcs And Management Scence Dscusson Paper #1586 "When Do Types Induce the Same Belef Herarchy?" Andres Perea and Wllemen Kets Northwestern Unversty December 13, 2015
2 When Do Types Induce the Same Belef Herarchy? Andrés Perea Wllemen Kets Frst verson: January 2014 Ths verson: December 13, 2015 Abstract Type structures are a smple devce to descrbe hgher-order belefs. But how can we check whether two types generate the same belef herarchy? Ths paper generalzes the concept of a type morphsm and shows that one type structure s contaned n another f and only f the former can be mapped nto the other usng a generalzed type morphsm. Hence, every generalzed type morphsm s a herarchy morphsm and vce versa. Importantly, generalzed type morphsms do not make reference to belef herarches. We use our results to characterze the condtons under whch types generate the same belef herarchy. JEL Classfcaton: C72 Keywords: Types, belef herarches, epstemc game theory, morphsms. Ths paper s a substantally revsed verson of an earler paper wth the same ttle by Andrés Perea. We would lke to thank Perpaolo Battgall, Edde Dekel, Amanda Fredenberg, Chrstan Nauerz, Mklós Pntér and Elas Tsakas for very useful comments on the earler verson. EpCenter and Department of Quanttatve Economcs, Maastrcht Unversty. E-mal: a.perea@maastrchtunversty.nl. Web: MEDS, Kellogg School of Management, Northwestern Unversty. E-mal: w-kets@kellogg.northwestern.edu. Web: 1
3 1 Introducton Hgher-order belefs play a central role n game theory. Whether a player s wllng to nvest n a project, for example, may depend on what he thnks that hs opponent thnks about the economc fundamentals, what he thnks that hs opponent thnks that he thnks, and so on, up to arbtrarly hgh order (e.g. Carlsson and van Damme, 1993). Hgher-order belefs can also affect economc conclusons n settngs rangng from barganng (Fenberg and Skrzypacz, 2005; Fredenberg, 2014) and speculatve trade (Geanakoplos and Polemarchaks, 1982) to mechansm desgn (Neeman, 2004). Hgher-order belefs about actons are central to epstemc characterzatons, for example, of ratonalzablty (Brandenburger and Dekel, 1987; Tan and Werlang, 1988), Nash equlbrum (Aumann and Brandenburger, 1995; Perea, 2007) and forward nducton reasonng (Battgall and Snscalch, 2002). In prncple, hgher-order belefs can be modeled explctly, usng belef herarches. For applcatons, the type structures ntroduced by Harsany (1967) provde a smple, tractable modelng devce to represent players hgher-order belefs. Whle type structures provde a convenent way to represent hgher-order belefs, t may be dffcult to check whether types generate the same belef herarchy. The lterature has consdered the followng queston: gven two type structures, T and T, s t the case that for every type n T, there s a type n T that generates the same belef herarchy? That s, s the type structure T contaned n T? The lterature has consdered two dfferent tests to address ths queston, one based on herarchy morphsms, and one based on type morphsms. Herarchy morphsms can be used to gve a complete answer to ths queston: a type structure T s contaned n T f and only f there s a herarchy morphsm from the former to the latter. A problem wth ths test s that herarchy morphsms make reference to belef herarches, as we shall see. So, ths test requres us to go outsde the purvew of type structures. The second test uses type morphsms. Type morphsms are defned solely n terms of the propertes of the type structures. However, the test based on type morphsms only provdes a suffcent condton: f there s a type morphsm from T to T, then T s contaned n T (Hefetz and Samet, 1998b). But, as shown by Fredenberg and Meer (2011), the condton s not necessary: t may be that T contans T, yet there s no type morphsm from T to T. Fredenberg and Meer also provde a range of condtons under whch the condton s both necessary and suffcent. However, they do not drectly address the queston whether there mght be an alternate test (whch provdes condtons that are both necessary and suffcent) that does not requre us to descrbe the belef herarches explctly. Ths paper provdes such a test, by generalzng the noton of a type morphsm. We show that a type structure s contaned n another f and only f there s a generalzed type morphsm from the former to the latter. So, a generalzed type morphsm s a herarchy morphsm and vce 2
4 versa. Unlke the defnton of herarchy morphsms, the defnton of generalzed type morphsms does not make reference to belef herarches. So, ths test can be carred out wthout leavng the purvew of type structures. Usng ths result, t s straghtforward to verfy whether two types generate the same belef herarchy, as we show. Herarchy morphsms are used n a number of dfferent settngs. For example, they can be used to check whether types have the same ratonalzable actons (Dekel et al., 2007), and play an mportant role n the lterature on the robustness to msspecfyng the parameter set more generally; see, e.g., Ely and Pesk (2006) and Lu (2009). Herarchy morphsms are also used to study the robustness of Bayesan-Nash equlbra to msspecfcatons of players belef herarches (Fredenberg and Meer, 2007; Yldz, 2009) and n epstemc game theory. The current results make t possble to study these ssues wthout descrbng players belef herarches explctly, usng that every herarchy morphsm s a generalzed type morphsm and conversely. A crtcal ngredent n the defnton of a generalzed type morphsm s the σ-algebra on a player s type set whch separates hs types f and only f they dffer n the belef herarchy that they generate. Mertens and Zamr (1985, p. 6) use ths σ-algebra to defne nonredundant type structures, and ths σ-algebra also plays an mportant role n the work of Fredenberg and Meer (2011), where t s used to characterze the condtons under whch herarchy morphsms and type morphsms concde. Mertens and Zamr provde a nonconstructve defnton of ths σ-algebra, and Fredenberg and Meer show that the σ-algebra defned by Mertens and Zamr s the σ-algebra generated by the functons that map types nto belef herarches. We provde a constructve defnton of ths σ-algebra, by means of a type parttonng procedure, that does not make reference to belef herarches. Whle many of the ngredents that underle our results are known n some form or another, we vew the contrbuton of ths paper as combnng these deas n a new way to generalze the concept of a type morphsm so that t provdes a necessary and suffcent condton for a type structure to be contaned n another that does not refer to belef herarches. A number of papers has shown that the measurable structure assocated wth type structures can mpose restrctons on reasonng (Brandenburger and Kesler, 2006; Fredenberg, 2010; Fredenberg and Meer, 2011; Kets, 2011; Fredenberg and Kesler, 2011). Ths paper contrbutes to that lterature n two ways. Frst, we elucdate the connecton by constructng the measurable structure on type sets that s generated by players hgher-order belefs. Second, we provde tools to easly go from the doman of type structures to the doman of belef herarches and vce versa. The outlne of ths paper s as follows. The next secton ntroduces basc concepts. Secton 3
5 3 dscusses type morphsms and herarchy morphsms. Secton 4 defnes our generalzaton of a type morphsm, and proves the man result. Secton 5 apples ths result to characterze the condtons under whch types generate the same belef herarchy. Secton 6 consders the specal case where players have fntely many types. Proofs are relegated to the appendx. 2 Belef Herarches and Types In ths secton we show how belef herarches can be encoded by means of a type structure, and how every type wthn a type structure can be decoded by dervng a full belef herarchy from t. 2.1 Encodng Belef Herarches by Type Structures Consder a fnte set of players I. Assume that each player faces a basc space of uncertanty (X, Σ ) where X s a set and Σ a σ-algebra on X. That s, X = (X, Σ ) s a measurable space. We assume that X s countably generated: there s a countable collecton of subsets E n X, n = 1, 2,..., such that Σ s the coarsest σ-algebra that contans these subsets. Examples of countably generated σ-algebras nclude the dscrete σ-algebra on a fnte or countable set and the Borel σ-algebra on a fnte-dmensonal Eucldean space. The combnaton X = (X, Σ ) I of basc uncertanty spaces s called a mult-agent uncertanty space. The basc space of uncertanty for player could, for nstance, be the set of opponents choce combnatons, or the set of parameters determnng the utlty functons of the players, or even a combnaton of the two. A belef herarchy for player specfes a probablty measure on X the frst-order belef, a probablty measure on X and the opponents possble frst-order belefs the second-order belef, and so on. As s standard, we encode such nfnte belef herarches by means of type structures. For any measurable space (Y, ˆΣ), we denote by (Y, ˆΣ) the set of probablty measures on (Y, ˆΣ). We endow (Y, ˆΣ) wth the coarsest σ-algebra that contans the sets {µ (Y, ˆΣ) µ(e) p} : E ˆΣ, p [0, 1]. Ths s the σ-algebra used n Hefetz and Samet (1998b) and many subsequent papers; t concdes wth the Borel σ-algebra on (Y, ˆΣ) (nduced by the weak convergence topology) f Y s metrzable and ˆΣ s the Borel σ-algebra. Product spaces are endowed wth the product σ- algebra. Gven a collecton of measurable spaces (Y, Y ), I, wrte Y for the product σ-algebra j I Y j and Y for the product σ-algebra j Y j, where I. 4
6 Defnton 2.1. [Type Structure] Consder a mult-agent uncertanty space X = (X, Σ ) I. A type structure for X s a tuple T = (T, Σ T, b ) I where, for every player, (a) T s a set of types for player, endowed wth a σ-algebra Σ T, and (b) b : T (X T, ˆΣ ) s a measurable mappng that assgns to every type t a probablstc belef b (t ) (X T, ˆΣ ) on ts basc uncertanty space and the opponents type combnatons, where ˆΣ = Σ Σ T s the product σ-algebra on X T. Fnally, f f : Y (Y, Σ ) s a functon from Y to the measurable space (Y, Σ ), then σ(f) s the σ-algebra on Y generated by f, that s, t s the coarsest σ-algebra that contans the sets {y Y : f(y) E} for E Σ. 2.2 From Type Structures to Belef Herarches In the prevous subsecton we have ntroduced a type structure as a way to encode belef herarches. We now show how to decode a type wthn a type structure, by dervng the full belef herarchy t nduces. Consder a type structure T = (T, Σ T, b ) I for X. Then, every type t wthn T nduces an nfnte belef herarchy h T (t ) = (µ T,1 (t ), µ T,2 (t ),...), where µ T,1 (t ) s the nduced frst-order belef, µ T,2 (t ) s the nduced second-order belef, and so on. We wll nductvely defne, for every n, the nth order belefs nduced by types t n T, buldng upon the (n 1)th order belefs that have been defned n the precedng step. We start by defnng the frst-order belefs. For each player, defne H 1 := (X, Σ ) to be the set of belefs about X, and for every type t T, defne ts frst-order belef µ T,1 (t ) by µ T,1 (t )(E ) := b (t )(E T ) for all E Σ. Clearly, µ T,1 (t ) (X, Σ ) for every type t. Defne h T,1 (t ) := µ T,1 (t ). The mappng µ T,1 from T to H 1 s measurable by standard arguments. For n > 1, suppose the set H n 1 has been defned and that the functon h T,n 1 σ-algebra on X j H n 1 j, and defne from T to H n 1 s measurable. Let ˆΣ n 1 be the product H n := H n 1 (X H n 1 n 1, ˆΣ ). 5
7 For every type t, defne ts n-th-order belef µ T,n (t ) by for all E ˆΣ n 1 : µ T,n (t )(E) = b (t )({(x, t ) X T (x, h T,n 1 (t )) E}), wth h T,n 1 (t ) = (h T,n 1 j (t j )) j. Snce h T,n 1 j a probablty measure on (X H n 1, ˆΣ n 1 ). Defne h T,n that h T,n (t ) H n. Moreover, ht,n s measurable. Fnally, for every type t T, we denote by h T (t ) := (µ T,n (t )) n N s measurable for every player j, µ T,n (t ) := (h T,n 1 (t ), µ T,n s ndeed (t )). It follows the belef herarchy nduced by type t n T. Also, defne H to be the set (X ) n 1 (X H n ) of all belef herarches. We say that two types, t and t, of player generate the same belef herarchy f h T (t ) = h T (t ). Types t and t generate the same nth-order belef f µt,n (t ) = µ T,n (t ).1 3 Herarchy and Type Morphsms The lterature has consdered two concepts that map type structures nto each other, type morphsms and herarchy morphsms. Throughout the remander of the paper, fx two type structures, T = (T, Σ T, b ) I and T = (T, ΣT, b ) I on X. The functons that map types from T and T nto belef herarches are denoted by h T and h T, respectvely. Defnton 3.1. [Herarchy Morphsm] For each player I, let ϕ be a functon from T to T such that for every type t T, h T (ϕ (t )) = h T (t ). Then, ϕ s a herarchy morphsm (from T to T ). Wth some abuse of notaton, we refer to the profle (ϕ ) I as a herarchy morphsm. So, f there s a herarchy morphsm between T and T, then every type n T can be mapped nto a type n T n a way that preserves belef herarches. We say that the type structure T contans T f, and only f, there s a herarchy morphsm from T to T. Type morphsms are mappngs between type structures that preserve belefs. Defnton 3.2. [Type Morphsm] For each player I, let ϕ be a functon from T to T that s measurable wth respect to Σ T and Σ T. 2 Suppose that for each player, type t T, 1 Clearly, t and t generate the same nth-order belef f and only f h T,n (t ) = h T,n (t ). 2 That s, for each E Σ T, we have {t T ϕ (t ) E} Σ T. 6
8 and E Σ Σ T, b (t )({(x, t ) X T (x, ϕ (t )) E}) = b (ϕ (t ))(E). (1) Then, ϕ := (ϕ ) I s a type morphsm (from T to T ). Hefetz and Samet (1998b) have shown that one type structure s contaned n another whenever there s a type morphsm from the former to the latter. Proposton 3.3. (Hefetz and Samet, 1998b, Prop. 5.1) If ϕ s a type morphsm from T to T, then t s a herarchy morphsm. So, f there s a type morphsm from T to T, then T contans T. Unlke herarchy morphsms, type morphsms do not make reference to belef herarches. So, to check whether there s a type morphsm from one type structure to another, we need to consder only the type structures. However, the condton that there be a type morphsm from one type structure to another provdes only a suffcent condton for the former to be contaned n the latter. Indeed, Fredenberg and Meer (2011) show that the condton s not necessary: there are type structures such that one s contaned n the other, yet there s no type morphsm between the two. 4 Generalzed Type Morphsms Type morphsms requre belefs to be preserved for every event n the types σ-algebra. However, for two types to generate the same belef herarchy, t suffces that ther belefs are preserved only for events that can be descrbed n terms of players belef herarches. We use ths nsght to defne generalzed type morphsms and show that a type structure contans another f and only f there s a generalzed type morphsm from the latter to the former. The frst step s to defne the relevant σ-algebra. Mertens and Zamr (1985, p. 6) provde the relevant condton. We follow the presentaton of Fredenberg and Meer (2011). Defnton 4.1. (Fredenberg and Meer, 2011, Def. 5.1) Fx a type structure T and fx a sub-σ algebra Σ T Σ T for each player I. Then, the product σ-algebra Σ T s closed under T f for each player, {t T b (t )(E) p} Σ T for all E Σ Σ T and p [0, 1]. 7
9 The coarsest (sub-)σ algebra that s closed under T s of specal nterest, and we denote t by F T = I F T. It s the ntersecton of all σ-algebras that are closed under T.3 Mertens and Zamr use ths σ-algebra to defne nonredundant type spaces, and Fredenberg and Meer use t to characterze the condton under whch a herarchy morphsm s a type morphsm. Fredenberg and Meer (2011) provde a characterzaton of the σ-algebra F T n terms of the herarchy mappngs. Recall that σ(h T ) s the σ-algebra on T generated by the mappng h T. That s, σ(h T ) s the coarsest σ-algebra that contans the sets {t T h T (t ) E} : E H measurable. Lemma 4.2. (Fredenberg and Meer, 2011, Lemma 6.4) Let the product σ-algebra F T be the coarsest σ-algebra that s closed under T. Then, for each player, F T = σ(h T ). We are now ready to defne generalzed type morphsms. Defnton 4.3. [Generalzed Type Morphsm] For each player I, let ϕ be a functon from T to T that s measurable wth respect to ΣT and F T. 4 Suppose that for each player, type t T, and E Σ F T, b (t )({(x, t ) X T (x, ϕ (t )) E}) = b (ϕ (t ))(E). Then, ϕ := (ϕ ) I s a generalzed type morphsm (from T to T ). Lke type morphsms, generalzed type morphsms are defned usng the language of type structures alone; the defnton does not make reference to belef herarches. The dfference between type morphsms and generalzed type morphsms s that the former requres belefs to be preserved for all events n the σ-algebra Σ Σ T for player, whle the latter requres belefs to be preserved only for events n the σ-algebra Σ F T, and ths σ-algebra s a coarsenng of Σ Σ T (Defnton 4.1 and Lemma 4.2). Our man result states that one structure s contaned n another f and only f there s a generalzed type morphsm from the former to the latter. Theorem 4.4. A mappng ϕ s a herarchy morphsm from T to T f and only f t s a generalzed type morphsm from T to T. Hence, a type structure T contans T f and only f there s a generalzed type morphsm from T to T. 3 Snce Σ T s closed under T (by measurablty of the belef maps b ), the ntersecton s nonempty. It s easy to verfy that the ntersecton s a σ-algebra. 4 That s, for each E F T, we have {t T ϕ (t ) E} Σ T. 8
10 Ths result establshes an equvalence between generalzed type morphsms and herarchy morphsms. It thus provdes a test that can be used to verfy whether one type structure s contaned n the other that does not refer to belef herarches. Whle the characterzaton n Theorem 4.4 does not make reference to belef herarches, the result may not be easy to apply drectly. The σ-algebras F T are defned as the ntersecton of σ-algebras that are closed under T, and there can be (uncountably) many of those. We next defne a smple procedure to construct ths σ-algebra. Procedure 1. [Type Parttonng Procedure] Consder a mult-agent uncertanty space X = (X, Σ ) I, and a type structure T = (T, Σ T, b ) I for X. Intal step. For every player, let S T,0 = {T, } be the trval σ-algebra of hs set of types T. Inductve step. Suppose that n 1, and that the sub-σ algebra S T,n 1 on T has been defned for every player. Then, for every player, let S T,n be the coarsest σ-algebra that contans the sets {t T b (t )(E) p} for all E Σ S T,n 1 n ST,n. and all p [0, 1]. Also, let S T, A smple nductve argument shows that S T,n be the σ-algebra generated by the unon refnes S T,n 1 for all players and all n; clearly, for any n. The next result shows that the type parttonng procedure delvers S T, refnes S T,n the σ-algebras that are generated by the herarchy mappngs. Proposton 4.5. Fx a type structure T and let I. Then, S T, for all n 1. So, S T, = F T. = σ(h T ) and ST,n = σ(h T,n ) Hence, we can use the type parttonng procedure to construct the σ-algebras whch we need for our characterzaton result (Theorem 4.4). Hefetz and Samet (1998a) consder a smlar procedure n the context of knowledge spaces to show that a unversal space does not exst for that settng. The procedure also has connectons wth the constructon n Kets (2011) of type structures that descrbe the belefs of players wth a fnte depth of reasonng. In the next secton, we use Theorem 4.4 and the type parttonng procedure to characterze the types that generate the same belef herarches. 5 Characterzng Types Wth the Same Belef Herarchy We can use the results n the prevous secton to provde smple tests to determne whether two types from the same type structure or from dfferent structures generate the same belef 9
11 herarchy. To state the result, recall that an atom of a σ-algebra Σ on a set Y s a set a Σ such that Σ does not contan a nonempty proper subset of a. That s, for any a Σ such that a a, we have a = a or a =. 5 Lemma 5.1. Let I and n 1. The σ-algebras S T,n and S T, are atomc. That s, for each t T, there are atoms a n (t ) and a (t ) n S T,n and S T,, respectvely, such that t a n (t ) and t a (t ). Ths result motvates the name type parttonng procedure : the procedure constructs a σ-algebra that parttons the type sets nto atoms. Proposton 5.2 shows that these atoms contan precsely the types that generate the same hgher-order belefs. Proposton 5.2. For every player, every n 1, and every two types t, t T, we have that (a) for every n 0, types t and t generate the same nth-order belef f and only f there s an atom a n S n such that t, t an ; (b) types t and t generate the same belef herarchy f and only f there s an atom a such that t, t a. S T, There s a connecton between Proposton 5.2 and the work of Mertens and Zamr (1985). Mertens and Zamr defne a type structure T to be nonredundant f for every player, the σ- algebra F T separates types; see Lu (2009, Prop. 2) for a result that shows that ths defnton s equvalent to the requrement that there are no two types that generate the same belef herarchy. So, Mertens and Zamr already note the connecton between the separatng propertes of F T and the queston whether types generate the same belef herarchy. The contrbuton of Proposton 5.2 s to provde a smple procedure to construct the σ-algebra F T, and to show that the separatng sets can be taken to be atoms (as long as the σ-algebra on X s countably generated). Proposton 5.2 can also be used to verfy whether two types from dfferent type structures generate the same hgher-order belefs, by mergng the two structures. Specfcally, consder two dfferent type structures, T 1 = (T 1, Σ1, b1 ) I and T 2 = (T 2, Σ2, b2 ) I, for the same mult-agent nduce the uncertanty space X = (X, Σ ) I. To check whether two types t 1 T 1 and t 2 T 2 same belef herarchy, we can merge the two type structures nto one large type structure, and then run the type parttonng procedure on ths larger type structure. That s, defne the type T 2, and defne the structure T = (T, Σ, b ) I as follows. For each player, let T := T 1 5 Clearly, for any y Y, f there s an atom a that contans y (.e., y a), then ths atom s unque. 10
12 σ-algebra Σ on T by Also, defne b by E Σ f and only f E T 1 Σ 1 and E T 2 Σ 2. b (t ) := { b 1 (t ), f t T 1 b 2 (t ), f t T 2 for all types t T. 6 Applyng the type parttonng procedure on T gves a σ-algebra S, on T for each player. If t 1 T 1 and t 2 T 2 belong to the same atom of S,, then t 1 and t 2 nduce the same belef herarchy. The converse also holds, and hence we obtan the followng result. Proposton 5.3. Consder two type structures T 1 = (T 1, Σ1, b1 ) I and T 2 = (T 2, Σ2, b2 ) I. Let T = (T, Σ, b ) I be the large type structure defned above, obtaned by mergng the two type structures, and let S,, for a gven player, be the σ-algebra on T generated by the type parttonng procedure. Then, two types t 1 T 1 and t 2 T 2 nduce the same belef herarchy, f and only f, t 1 and t2 belong to the same atom of S,. The type parttonng procedure s thus an easy and effectve way to check whether two types, from possbly dfferent type structures, generate the same belef herarchy or not. We expect our man results to apply more broadly. The proofs can easly be modfed so that the man results extend to condtonal probablty systems n dynamc games (Battgall and Snscalch, 1999), lexcographc belefs (Blume et al., 1991), belefs of players wth a fnte depth of reasonng (Kets, 2011; Hefetz and Kets, 2013), and the -herarches ntroduced by Ely and Pesk (2006). 6 Fnte Type Structures When type structures are fnte, our results take on a partcularly smple and ntutve form. Say that a type structure T s fnte f the type set T s fnte for every player. For fnte type structures, we can replace σ-algebras by parttons. We frst defne the type parttonng procedure for the case of fnte type structures. A fnte partton of a set A s a fnte collecton P = {P 1,..., P K } of nonempty subsets P k A such 6 Ths s wth some abuse of notaton, snce b s defned on X T, whle b 1 and b 2 are defned on X T 1 and X T 2, respectvely. By defnng the σ-algebra Σ T j on T j as above, the extenson of b 1 and b 2 to the larger doman s well-defned. 11
13 that K k=1 P k = A and P k P m = whenever k m. We refer to the sets P k as equvalence classes. For an element a A, we denote by P(a) the equvalence class P k to whch a belongs. The trval partton of A s the partton P = {A} contanng a sngle set the full set A. For two parttons P 1 and P 2 on A, we say that P 1 s a refnement of P 2 f for every set P 1 P 1 there s a set P 2 P 2 such that P 1 P 2. In the procedure we recursvely partton the set of types of an agent nto equvalence classes startng from the trval partton, and refnng the prevous partton wth every step untl these parttons cannot be refned any further. We show that the equvalence classes produced n round n contan exactly the types that nduce the same n-th order belef. In partcular, the equvalence classes produced at the end contan precsely those types that nduce the same (nfnte) belef herarchy. Procedure 2 (Type Parttonng Procedure (fnte type structures)). Consder a mult-agent uncertanty space X = (X, Σ ) I, and a fnte type structure T = (T, Σ T, b ) I for X. Intal step. For every agent, let P 0 be the trval partton of hs set of types T. Inductve step. Suppose that n 1, and that the parttons P n 1 agent. Then, for every agent, and every t T, have been defned for every P n (t ) = {t T b (t )(E P n 1 ) = b (t )(E P n 1 ) (2) for all E Σ, and all P n 1 P n 1 }. The procedure termnates at round n whenever P n = P n 1 for every agent. In ths procedure, P n 1 s the partton of the set T nduced by the parttons Pj n 1 on T j. Agan, t follows from a smple nductve argument that P n s a refnement of P n 1 for every player and every n. Note that f the total number of types, vz., I T, equals N, then the procedure termnates n at most N steps. We now llustrate the procedure by means of an example. Example 1. Consder a mult-agent uncertanty space X = (X, Σ ) I where I = {1, 2}, X 1 = {c, d}, X 2 = {e, f}, and Σ 1, Σ 2 are the dscrete σ-algebras on X 1 and X 2, respectvely. Consder the type structure T = (T 1, T 2, Σ 1, Σ 2, b 1, b 2 ) n Table 1. Here, b 1 (t 1 ) = 1 2 (c, t 2) (d, t 2 ) means that type t 1 assgns probablty 1 2 to the par (c, t 2 ) X 1 T 2, and probablty 1 2 to the par (d, t 2 ) X 1 T 2. Smlarly for the other types n the table. We wll now run the Type Parttonng Procedure. 12
14 Type structure T = (T 1, T 2, b 1, b 2 ) T 1 = {t 1, t 1, t 1 }, T 2 = {t 2, t 2, t 2 } b 1 (t 1 ) = 1 2 (c, t 2) (d, t 2 ) b 1 (t 1 ) = 1 6 (c, t 2) (c, t b 1 (t 1 ) = 1 2 (c, t 2 ) (d, t 2 ) 2 ) (d, t 2 ) b 2 (t 2 ) = 1 4 (e, t 1) (e, t 1 ) (f, t 1 ) 1 ) b 2 (t 2 ) = 1 8 (e, t 1) (e, t 1 ) (f, t b 2 (t 2 ) = 3 8 (e, t 1) (e, t 1 ) (f, t 1 ) Table 1: The type structure from Example 1. Intal Step. Let P1 0 be the trval partton of the set of types T 1, and let P2 0 partton of the set of types T 2. That s, be the trval P 0 1 = {{t 1, t 1, t 1}} and P 0 2 = {{t 2, t 2, t 2}}. Round 1. By equaton (2), P 1 1 (t 1 ) = {τ 1 T 1 b 1 (τ 1 )({c} T 2 ) = b 1 (t 1 )({c} T 2 ) = 1 2, b 1 (τ 1 )({d} T 2 ) = b 1 (t 1 )({d} T 2 ) = 1 2 } = {t 1, t 1, t 1}, whch mples that P 1 1 = P 0 1 = {{t 1, t 1, t 1}}. 13
15 At the same tme, whch mples that P2 1(t 2 ) = {t 2 }, and hence P 1 2 (t 2 ) = {τ 2 T 2 b 2 (τ 2 )({e} T 1 ) = b 2 (t 2 )({e} T 1 ) = 3 4, b 2 (τ 2 )({f} T 1 ) = b 2 (t 2 )({f} T 1 ) = 1 4 } = {t 2, t 2} P 1 2 = {{t 2, t 2}, {t 2}. Round 2. By equaton (2), whch mples that P1 2(t 1 ) = {t 1 }, and hence P 2 1 (t 1 ) = {τ 1 T 1 b 1 (τ 1 )({c} {t 2, t 2}) = b 1 (t 1 )({c} {t 2, t 2}) = 1 2, b 1 (τ 1 )({c} {t 2}) = b 1 (t 1 )({c} {t 2}) = 0, b 1 (τ 1 )({d} {t 2, t 2}) = b 1 (t 1 )({d} {t 2, t 2}) = 0, b 1 (τ 1 )({d} {t 2}) = b 1 (t 1 )({d} {t 2}) = 1 2 } = {t 1, t 1}, P 2 1 = {{t 1, t 1}, {t 1}}. Snce P1 1 = P0 1, we may mmedately conclude that P 2 2 = P 1 2 = {{t 2, t 2}, {t 2}}. Round 3. As P2 2 = P1 2, we may mmedately conclude that P 3 1 = P 2 1 = {{t 1, t 1}, {t 1}}. 14
16 By equaton (2), whch mples that P2 3(t 2 ) = {t 2 }, and hence P 3 2 (t 2 ) = {τ 2 T 2 b 2 (τ 2 )({e} {t 1, t 1}) = b 2 (t 2 )({e} {t 1, t 1}) = 3 4, b 2 (τ 2 )({e} {t 1}) = b 2 (t 2 )({e} {t 1}) = 0, b 2 (τ 2 )({f} {t 1, t 1}) = b 2 (t 2 )({f} {t 1, t 1}) = 0, b 2 (τ 2 )({f} {t 1}) = b 2 (t 2 )({f} {t 1}) = 1 4 } = {t 2, t 2}, P 3 2 = {{t 2, t 2}, {t 2}} = P 2 2. As P1 3 = P2 1 and P3 2 = P2 2, the procedure termnates at round 3. The fnal parttons of the types are thus gven by P 1 = {{t 1, t 1}, {t 1}} and P 2 = {{t 2, t 2}, {t 2}}. The reader may check that all types wthn the same equvalence class ndeed nduce the same belef herarchy. That s, t 1 nduces the same belef herarchy as t 1, and t 2 nduces the same belef herarchy as t 2. Moreover, t 1 and t 1 nduce dfferent belef herarches, and so do t 2 and t 2. Our characterzaton result for the case of fnte type structures states that the type parttonng procedure characterzes precsely those groups of types that nduce the same belef herarchy. We actually prove a lttle more: we show that the parttons generated n round n of the procedure characterze exactly those types that yeld the same n-th order belef. Proposton 6.1 (Characterzaton Result (fnte type structures)). Consder a fnte type structure T = (T, Σ, b ) I, where Σ s the dscrete σ-algebra on T for every player. For every agent, every n 1, and every two types t, t T, we have that (a) h T,n (t ) = h T,n (t ), f and only f, t Pn (t ); (b) h T (t ) = h T (t ), f and only f, t P (t ). The proof follows drectly from Proposton 5.2, and s therefore omtted. As before, ths result can be used to verfy whether two types from dfferent type structures generate the same belef herarches, by frst mergng the two type structures, and then runnng the type parttonng procedure on ths large type structure. 15
17 A Proofs A.1 Proof of Theorem 4.4 By defnton, T contans T f and only f there s a herarchy morphsm from T to T. So, t suffces to show that every generalzed type morphsm s a herarchy morphsm and vce versa. Part I. Every herarchy morphsm s a generalzed type morphsm. To show that every herarchy morphsm s a generalzed type morphsm, we need to show two thngs. Frst, we need to show that any herarchy morphsm s measurable wth respect to the approprate σ-algebra. Second, we need to show that belefs are preserved for the relevant events. Let us start wth the measurablty condton. Suppose ϕ s a herarchy morphsm. Let I and E F T. We need to show that {t T ϕ (t ) E} Σ T. Recall that F T = σ(h T ) (Lemma 4.2). So, there s a measurable subset B of the set H of belef herarches such that E = {t T h T (t ) B}. Hence, {t T ϕ (t ) E} = {t T h T (ϕ (t )) B} = {t T h T (t ) B}, where the second equalty follows from the assumpton that ϕ s a herarchy morphsm. By Lemma 4.2, we have {t T h T (t ) B} F T. Snce Σ T F T (Defnton 4.1 and Lemma 4.2), the result follows. We next ask whether herarchy morphsms preserve belefs for the relevant events. Agan, let ϕ be a herarchy morphsm. Let I, t T, and E Σ F T. We need to show that b (t ) (Id X, ϕ ) 1 (E ) = b (ϕ (t ))(E ), where Id X s the dentty functon on X, and where we have used the notaton (f 1,..., f m ) for the nduced functon that maps (x 1,..., x m ) nto (f 1 (x 1 ),..., f m (x m )), so that b (t ) 16
18 (Id X, ϕ ) 1 s the mage measure nduced by (Id X, ϕ ). By a smlar argument as before, there s a measurable subset B of the set X H such that E = {(x, t ) X T (x, h T (t )) B }. If E s an element of Σ j {T j, }, then the result follows drectly from the defntons. So suppose E Σ j {T j, }. Then, for every n 1, defne and B n := {(x, µ 1,..., µ n ) X H n (x, µ 1,..., µ n, µ n+1,...) B E n := {(x, t ) X T (x, h T,n (t )) B n }. for some (µ n+1, µ n+2,...)} Then, E n E and E n E. Also, we have E n Σ j σ(ht,n j ) and thus E n Σ F T (Lemma 4.2). For every n, b (t ) (Id X, ϕ ) 1 (E n 1 ) = b (t ) (Id X, ϕ ) 1 (Id X, h T,n 1 ) 1 (B n 1 ) = b (t ) (Id X, h T,n 1 ϕ ) 1 (B n 1 ) = µ T,n (t )(B n 1 ) = b (ϕ(t )) (Id X, h T,n 1 ) 1 (B n 1 ) = b (ϕ(t ))(E n 1 ), where the penultmate equalty uses the defnton of a herarchy morphsm. By the contnuty of the probablty measures b (t ) and b (ϕ (t )) (e.g., Alprants and Border, 2005, Thm. 10.8), we have b (t ) (Id X, ϕ ) 1 (E ) = b (ϕ (t ))(E ), and the result follows. Part II. Every generalzed type morphsm s a herarchy morphsm. For the other drecton, that s, to show that every generalzed type morphsm s a herarchy morphsm, suppose that ϕ s a generalzed type morphsm from T = (T, Σ T, b ) I to T = (T, ΣT, b ) I. We can use an nductve argument to show that t s a herarchy morphsm. Let I and t T. Then, for all E Σ, µ T,1 (ϕ (t ))(E) = b (ϕ (t ))(E T ) = b (t )(E T ) = µ T,1 (t ), 17
19 where the frst and the last equalty use the defnton of a frst-order belef nduced by a type, and the second uses the defnton of a generalzed type morphsm. So, µ T,1 (t ) = µ T,1 (ϕ (t )) and thus h T,1 (t ) = h T,1 (ϕ (t )) for each player and every type t T. For n > 1, suppose that for each player and every type t T, we have h T,n 1 (t ) = h T,n 1 (ϕ (t )). We wll use the notaton (f 1,..., f m ) for the nduced functon that maps (x 1,..., x m ) nto (f 1 (x 1 ),..., f m (x m )), so that µ (f 1,..., f m ) 1 s the mage measure nduced by a probablty measure µ and (f 1,..., f m ). Let E be a measurable subset of X H n. By Lemma 4.2, we have F T j = σ(h T j ); and, clearly, σ(h T j ) σ(ht,n 1 j ). So, f we wrte Id X for the dentty functon on X, we have (Id X, h T,n 1 ) 1 (E) Σ F T. Then, for every player and type t T, µ T,n (ϕ (t ))(E) = b (ϕ (t )) (Id X, h T,n 1 ) 1 (E) = b (t ) (Id X, h T,n 1 ) 1 (Id X, ϕ ) 1 (E) = b (t ) (Id X, ϕ h T,n 1 ) 1 (E) = b (t ) (Id X, h T,n 1 ) 1 (E) = µ T,n (t )(E), where the frst equalty uses the defnton of an nth-order belef, the second uses the defnton of a generalzed type morphsm, the thrd uses the defnton of the composton operator, the fourth uses the nducton hypothess, and the ffth uses the defnton of an nth-order belef agan. Conclude that µ T,n (t ) = µ T,n (ϕ (t )) and thus h T,n (t ) = h T,n (ϕ (t )) for each player and every type t T. So, for each player I and each type t T, we have h T (t ) = h T (ϕ (t )), whch shows that ϕ s a herarchy morphsm. A.2 Proof of Proposton 4.5 Let I. It wll be convenent to defne h T,0 {ν }. So, the σ-algebra σ(h T,0 ) generated by h T,0 consder n = 1. Fx player I. By defnton, σ(h T,1 the sets to be the trval functon from T nto some sngleton s just the trval σ-algebra S 0 = {T, }. Next ) s the coarsest σ-algebra that contans {t T h T,1 (t ) E} : E H 1 measurable. It suffces to restrct attenton to the generatng sets E of the σ-algebra on H 1 = (X ) (e.g., Alprants and Border, 2005). So, σ(h T,1 ) s the coarsest σ-algebra that contans the sets {t T h T,1 (t ) E} 18
20 where E s of the form {µ (X ) µ(f ) p} for F Σ and p [0, 1]. Usng that for each type t, h T,1 (t ) s the margnal on X of b (t ), we have that σ(h T,1 ) s the coarsest σ-algebra that contans the sets {t T b (t )(E) p} : E Σ S 0, p [0, 1]. That s, σ(h T,1 ) = S 1. In partcular, ht,1 s measurable wth respect to S T,1. For n > 1, suppose, nductvely, that for each player I, σ(h T,n 1 s measurable wth respect to S T,n 1. Fx N. By defnton, σ(h T,n h T,n 1 σ-algebra that contans the sets n σ(h T,n 1 ) and the sets {t T µ T,n (t ) E} : E (X H n 1 ) measurable. ) = S T,n 1, so that ) s the coarsest Agan, t suffces to consder the generatng sets of the σ-algebra on (X H n 1 ). Hence, σ(h T,n ) s the coarsest σ-algebra that contans the sets {t T µ T,n (t )(F ) p} : F X H n 1 measurable and p [0, 1]. (Note that ths ncludes the generatng sets of σ(h T,n 1 ), gven that the nth-order belef nduced by a type s consstent wth ts (n 1)th-order belef.) Usng the defnton of µ T,n and the nducton assumpton that S T,n 1 T that contans the sets That s, σ(h T,n = σ(h T,n 1 ), we see that σ(h T,n ) s the coarsest σ-algebra on {t T b (t )(F ) p} : F Σ S T,n 1, p [0, 1]. ) = S T,n, and h T,n s measurable wth respect to S T,n So, for each player and n 1, σ(h T,n σ-algebra on T generated by the cylnders σ(h T,n A.3 Proof of Lemma 5.1. ) = S T,n. It follows mmedately that σ(h T ), as the ), s equal to S T,. Let I. Recall that X s countably generated, that s, there s a countable subset D 0 of Σ such that D 0 generates Σ (.e., Σ s the coarsest σ-algebra that contans D 0 ). Throughout ths proof, we wrte σ(d) for the σ-algebra on a set Y generated by a collecton D of subsets of Y. The followng result says that a countable collecton of subsets of a set Y generates a countable algebra on Y. For a collecton D of subsets of a set Y, denote the algebra generated by D by A(D). So, A(D) s the coarsest algebra on Y that contans D. 19
21 Lemma A.1. Let D be a countable collecton of subsets of a set Y. Then the algebra A(D) generated by D s countable. Proof. We can construct the algebra generated by D. Denote the elements of D by D λ, λ Λ, where Λ s a countable ndex set. Defne { } A(D) = D l, F a fnte subset of N, L m Λ, D l = A k or D l = A c k for some k, (3) m F l L m where E c s the complement of a set E. That s, A(D) s the collecton of fnte unons of fnte ntersecton of elements of D and ther complements. We check that A(D) s an algebra. Clearly, A(D) s nonempty (t contans D) and A(D). We next show that A(D) s closed under fnte ntersectons. Let A 1 := D l, A 2 := D l, l L 1 m 1 l L 2 m 2 be elements of A(D). Then, m 1 F 1 A 1 A 2 = (m 1,m 2 ) F 1 F 2 l 1 L 1 m 1 m 2 F 2 l 2 L 2 m 2 D l1 D l2. Clearly, F 1 F 2 s fnte, and so are the sets L 1 m and L 2 m. We can thus rewrte A 1 A 2 so that t s of the form as the elements n (3). We can lkewse show that A(D) s closed under complements: let A := m F l L m D l A(D), so that A c = m F l L m Dl c; then, snce l L m Dl c A(D) for every m, we have A c A(D). So, A(D) s an algebra that contans D, and t s n fact the coarsest such one (by constructon, any proper subset of A(D) does not contan all fnte ntersectons of the sets n D and ther complements). As D s countable, so s the collecton of the elements n D and ther complements; the collectons of the fnte ntersectons of such sets are also countable. Hence, A(D) s countable. Note that for any p [0, 1], the set {t T : b (t )(E) p} can be wrtten as the countable ntersecton of sets {t T : b (t )(E) p l } for some ratonal p l, l = 1, 2,.... So, by Proposton 4.5, the σ-algebra σ(h T,n ), n = 1, 2,..., on the type set T, I, s the coarsest σ-algebra that contans the sets {t T : b (t )(E) p} : E Σ j σ(h T,n 1 j ), p Q We are now ready to prove Lemma 5.1. Fx I. By Lemma A.1, the set D 0 generates a countable algebra A(D 0) on X. Then, by Proposton 4.5 and by Lemma 4.5 of Hefetz and 20
22 Samet (1998b), we have that the σ-algebra σ(h T,1 ) s generated by the sets {t T : b (t )(E) p} : E D 0 j σ(h T,0 j ), p Q. Denote ths collecton of these sets by D 1 A(D 1) σ(ht,1 ) (so that σ(h T,1 ) = σ(a(d 0)))., so that σ(ht,1 ) = σ(d 1); clearly, D1 For m > 1, suppose that for every I, the σ-algebra σ(h T,m 1 a countable collecton D m 1 of subsets of T such that A(D m 1 s countable and ) on T s generated by ). Fx I. By ) s generated ) σ(h T,m 1 Proposton 4.5 and Lemma 4.5 of Hefetz and Samet (1998b), the σ-algebra σ(h T,m by the sets {t T : b (t )(E) p} : E D 0 j A(D m 1 j ), p Q. Denote ths collecton of these sets by D m; as before, Dm s clearly countable and A(D m) σ(h T,m ). Agan, we have σ(h T,m ) = σ(d m) = σ(a(dm )). So, we have shown that for every I and m = 1, 2,..., the σ-algebra σ(h T,m ) s generated by a countable collecton D m of subsets of T. The σ-algebra σ(h T ) s generated by the algebra m σ(ht,m ) = m σ(dm ), or, equvalently, by the unon m Dm (Proposton 4.5). Snce the latter set, as the countable unon of countable sets, s countable, the σ-algebra σ(h T ) s countably generated. It now follows from Theorem V.2.1 of Parthasarathy (2005) that for each player, the σ- algebras σ(h T,m ), m = 1, 2,... are atomc n the sense that for each t T, there s a unque atom a m t n σ(h T,m ) contanng t ; the analogous statement holds for σ(h T ). A.4 Proof of Proposton 5.2 Fx a player I. By Proposton 4.5, we have S T, = σ(h T ) and ST,n = σ(h T,n ) for each n 1. By Lemma 5.1, the σ-algebras σ(h T, ) and σ(h T,n ) are atomc for every n 1. Let n 1. Let t, t T. Snce σ(h T,n ) s atomc, there exst a unque atom a n (t ) σ(h T,n ) such that t a n (t ) and a unque atom a n (t ) σ(ht,n ) such that t a n (t ). Suppose h T,n (t ) = h T,n (t ). Then for every generatng set E of the σ-algebra σ(ht,n ), ether t, t E or t, t E. So, an (t ) = a n (t ). Suppose ht (t ) h T (t ). Then there s a generatng set E of σ(h T,n ) that separates t and t, that s, t E, t E. So, an (t ) a n (t ). The proof of the clam that there s a unque atom a n σ(h T ) that contans both t and t f and only f h T (t ) = h T (t ) s analogous, and therefore omtted. 21
23 References Alprants, C. D. and K. C. Border (2005). Infnte Dmensonal Analyss: A Htchhker s Gude (3rd ed.). Berln: Sprnger. Aumann, R. and A. Brandenburger (1995). Epstemc condtons for Nash equlbrum. Econometrca 63, Battgall, P. and M. Snscalch (1999). Herarches of condtonal belefs and nteractve epstemology n dynamc games. Journal of Economc Theory 88, Battgall, P. and M. Snscalch (2002). Strong belef and forward-nducton reasonng. Journal of Economc Theory 106, Blume, L., A. Brandenburger, and E. Dekel (1991). Lexcographc probabltes and choce under uncertanty. Econometrca 59, Brandenburger, A. and E. Dekel (1987). Ratonalzablty and correlated equlbra. Econometrca 55, Brandenburger, A. and H. J. Kesler (2006). Studa Logca 84, An mpossblty theorem on belefs n games. Carlsson, H. and E. van Damme (1993). Global games and equlbrum selecton. Econometrca 61, Dekel, E., D. Fudenberg, and S. Morrs (2007). Interm correlated ratonalzablty. Theoretcal Economcs 2, Ely, J. and M. Pesk (2006). Herarches of belefs and nterm ratonalzablty. Theoretcal Economcs 1, Fenberg, Y. and A. Skrzypacz (2005). Uncertanty about uncertanty and delay n barganng. Econometrca 73, Fredenberg, A. (2010). When do type structures contan all herarches of belefs? Games and Economc Behavor 68, Fredenberg, A. (2014). Barganng under strategc uncertanty. Workng paper, Arzona State Unversty. 22
24 Fredenberg, A. and H. J. Kesler (2011). Iterated domnance revsted. Workng paper, Arzona State Unversty and Unversty of Wsconsn-Madson. Fredenberg, A. and M. Meer (2007). The context of the game. Workng paper, Arzona State Unversty. Fredenberg, A. and M. Meer (2011). On the relatonshp between herarchy and type morphsms. Economc Theory 46, Geanakoplos, J. D. and H. M. Polemarchaks (1982). We can t dsagree forever. Journal of Economc Theory 28, Harsany, J. C. (1967). Games on ncomplete nformaton played by Bayesan players. Part I. Management Scence 14, Hefetz, A. and W. Kets (2013). Robust multplcty wth a gran of naveté. Workng paper, Northwestern Unversty. Hefetz, A. and D. Samet (1998a). Knowledge spaces wth arbtrarly hgh rank. Games and Economc Behavor 22, Hefetz, A. and D. Samet (1998b). Topology-free typology of belefs. Journal of Economc Theory 82, Kets, W. (2011). Bounded reasonng and hgher-order uncertanty. Workng paper, Northwestern Unversty. Lu, Q. (2009). On redundant types and Bayesan formulaton of ncomplete nformaton. Journal of Economc Theory 144, Mertens, J. F. and S. Zamr (1985). Formulaton of Bayesan analyss for games wth ncomplete nformaton. Internatonal Journal of Game Theory 14, Neeman, Z. (2004). The relevance of prvate nformaton n mechansm desgn. Journal of Economc Theory 117, Parthasarathy, K. (2005). Probablty Measures on Metrc Spaces. AMS Chelsea Publshng. Perea, A. (2007). A one-person doxastc characterzaton of Nash strateges. Synthese 158,
25 Tan, T. and S. Werlang (1988). The Bayesan foundatons of soluton concepts n games. Journal of Economc Theory 45, Yldz, M. (2009). Invarance to representaton of nformaton. Workng paper, MIT. 24
Genericity of Critical Types
Genercty of Crtcal Types Y-Chun Chen Alfredo D Tllo Eduardo Fangold Syang Xong September 2008 Abstract Ely and Pesk 2008 offers an nsghtful characterzaton of crtcal types: a type s crtcal f and only f
Hierarchies of Beliefs and the Belief-invariant. Bayesian Solution
Herarches of Belefs and the Belef-nvarant Bayesan Soluton Qanfeng Tang March 26, 2015 Abstract The belef-nvarant Bayesan soluton s a noton of correlated equlbrum n games wth ncomplete nformaton proposed
Bounded Reasoning and Higher-Order Uncertainty
Bounded Reasonng and Hgher-Order Uncertanty Wllemen Kets September 4, 2014 Frst verson: November 2011 Abstract Expermental evdence suggests that ndvduals cannot reason about ther opponents belefs up to
Bounded Reasoning and Higher-Order Uncertainty
Bounded Reasonng and Hgher-Order Uncertanty Wllemen Kets February 1, 2012 Abstract Standard models of games wth ncomplete nformaton assume that players form belefs about ther opponents belefs about ther
Epistemic Game Theory: Beliefs and Types
Epstemc Game Theory: Belefs and Types Marcano Snscalch March 28, 2007 1 Introducton John Harsany [19] ntroduced the formalsm of type spaces to provde a smple and parsmonous representaton of belef herarches.
Subjective Uncertainty Over Behavior Strategies: A Correction
Subjectve Uncertanty Over Behavor Strateges: A Correcton The Harvard communty has made ths artcle openly avalable. Please share how ths access benefts you. Your story matters. Ctaton Publshed Verson Accessed
Hierarchies of belief and interim rationalizability
Theoretcal Economcs 1 (2006), 19 65 1555-7561/20060019 Herarches of belef and nterm ratonalzablty JEFFREY C. ELY Department of Economcs, Northwestern Unversty MARCIN PESKI Department of Economcs, Unversty
HIERARCHIES OF BELIEF AND INTERIM RATIONALIZABILITY
HIERARCHIES OF BELIEF AND INTERIM RATIONALIZABILITY JEFFREY C. ELY AND MARCIN PESKI Abstract. In games wth ncomplete nformaton, conventonal herarches of belef are ncomplete as descrptons of the players
Critical Types. September 24, Abstract
Crtcal Types Jeffrey C. Ely Marcn Pesk September 24, 2010 Abstract How can we know n advance whether smplfyng assumptons about belefs wll make a dfference n the conclusons of game-theoretc models? We defne
Interim Correlated Rationalizability 1
Interm Correlated Ratonalzablty Edde Dekel Northwestern Unversty and Tel Avv Unversty Drew Fudenberg Harvard Unversty Stephen Morrs Prnceton Unversty Frst Draft: May 2003. Ths Draft: November 2006 Ths
Linear, affine, and convex sets and hulls In the sequel, unless otherwise specified, X will denote a real vector space.
Lnear, affne, and convex sets and hulls In the sequel, unless otherwse specfed, X wll denote a real vector space. Lnes and segments. Gven two ponts x, y X, we defne xy = {x + t(y x) : t R} = {(1 t)x +
20. Mon, Oct. 13 What we have done so far corresponds roughly to Chapters 2 & 3 of Lee. Now we turn to Chapter 4. The first idea is connectedness.
20. Mon, Oct. 13 What we have done so far corresponds roughly to Chapters 2 & 3 of Lee. Now we turn to Chapter 4. The frst dea s connectedness. Essentally, we want to say that a space cannot be decomposed
Affine transformations and convexity
Affne transformatons and convexty The purpose of ths document s to prove some basc propertes of affne transformatons nvolvng convex sets. Here are a few onlne references for background nformaton: http://math.ucr.edu/
Inner Product. Euclidean Space. Orthonormal Basis. Orthogonal
Inner Product Defnton 1 () A Eucldean space s a fnte-dmensonal vector space over the reals R, wth an nner product,. Defnton 2 (Inner Product) An nner product, on a real vector space X s a symmetrc, blnear,
More metrics on cartesian products
More metrcs on cartesan products If (X, d ) are metrc spaces for 1 n, then n Secton II4 of the lecture notes we defned three metrcs on X whose underlyng topologes are the product topology The purpose of
Understanding Reasoning Using Utility Proportional Beliefs
Understandng Reasonng Usng Utlty Proportonal Belefs Chrstan Nauerz EpCenter, Maastrcht Unversty c.nauerz@maastrchtunversty.nl Abstract. Tradtonally very lttle attenton has been pad to the reasonng process
Perfect Competition and the Nash Bargaining Solution
Perfect Competton and the Nash Barganng Soluton Renhard John Department of Economcs Unversty of Bonn Adenauerallee 24-42 53113 Bonn, Germany emal: rohn@un-bonn.de May 2005 Abstract For a lnear exchange
Maximizing the number of nonnegative subsets
Maxmzng the number of nonnegatve subsets Noga Alon Hao Huang December 1, 213 Abstract Gven a set of n real numbers, f the sum of elements of every subset of sze larger than k s negatve, what s the maxmum
This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and
Ths artcle appeared n a journal publshed by Elsever. The attached copy s furnshed to the author for nternal non-commercal research and educaton use, ncludng for nstructon at the authors nsttuton and sharng
Exercise Solutions to Real Analysis
xercse Solutons to Real Analyss Note: References refer to H. L. Royden, Real Analyss xersze 1. Gven any set A any ɛ > 0, there s an open set O such that A O m O m A + ɛ. Soluton 1. If m A =, then there
A note on the one-deviation property in extensive form games
Games and Economc Behavor 40 (2002) 322 338 www.academcpress.com Note A note on the one-devaton property n extensve form games Andrés Perea Departamento de Economía, Unversdad Carlos III de Madrd, Calle
Edge Isoperimetric Inequalities
November 7, 2005 Ross M. Rchardson Edge Isopermetrc Inequaltes 1 Four Questons Recall that n the last lecture we looked at the problem of sopermetrc nequaltes n the hypercube, Q n. Our noton of boundary
Bounded Reasoning and Higher-Order Uncertainty
Bounded Reasonng and Hgher-Order Uncertanty Wllemen Kets August 1, 2017 Frst verson: Novemer 2010 Astract A standard assumpton n game theory s that players have an nfnte depth of reasonng: they thnk aout
Algorithms for cautious reasoning in games
Algorthms for cautous reasonng n games Ger B. Ashem a Andrés Perea b 12 October 2018 Abstract We provde comparable algorthms for the Dekel-Fudenberg procedure, terated admssblty, proper ratonalzablty and
Introductory Cardinality Theory Alan Kaylor Cline
Introductory Cardnalty Theory lan Kaylor Clne lthough by name the theory of set cardnalty may seem to be an offshoot of combnatorcs, the central nterest s actually nfnte sets. Combnatorcs deals wth fnte
An Introduction to Morita Theory
An Introducton to Morta Theory Matt Booth October 2015 Nov. 2017: made a few revsons. Thanks to Nng Shan for catchng a typo. My man reference for these notes was Chapter II of Bass s book Algebrac K-Theory
Introduction to Vapor/Liquid Equilibrium, part 2. Raoult s Law:
CE304, Sprng 2004 Lecture 4 Introducton to Vapor/Lqud Equlbrum, part 2 Raoult s Law: The smplest model that allows us do VLE calculatons s obtaned when we assume that the vapor phase s an deal gas, and
Common Belief Foundations of Global Games
Common Belef Foundatons of Global Games Stephen Morrs Prnceton Unversty Hyun Song Shn Bank for Internatonal Settlements November 2015 Muhamet Yldz M.I.T. Abstract We study coordnaton games under general
a b a In case b 0, a being divisible by b is the same as to say that
Secton 6.2 Dvsblty among the ntegers An nteger a ε s dvsble by b ε f there s an nteger c ε such that a = bc. Note that s dvsble by any nteger b, snce = b. On the other hand, a s dvsble by only f a = :
An Explicit Approach to Modeling Finite-Order Type Spaces and Applications
An Explct Approach to Modelng Fnte-Order Type Spaces and Applcatons Cheng-Zhong Qn and Chun-Le Yang November 18, 2009 Abstract Every abstract type of a belef-closed type space corresponds to an nfnte belef
Problem Set 9 Solutions
Desgn and Analyss of Algorthms May 4, 2015 Massachusetts Insttute of Technology 6.046J/18.410J Profs. Erk Demane, Srn Devadas, and Nancy Lynch Problem Set 9 Solutons Problem Set 9 Solutons Ths problem
Interim Rationalizability. Eddie Dekel, Drew Fudenberg and Stephen Morris. Working Paper No September, 2005
Interm Ratonalzablty By Edde Dekel, Drew Fudenberg and Stephen Morrs Workng Paper No. 6-2005 September, 2005 The Foerder Insttute for Economc Research and The Sackler Insttute of Economc Studes Interm
FACTORIZATION IN KRULL MONOIDS WITH INFINITE CLASS GROUP
C O L L O Q U I U M M A T H E M A T I C U M VOL. 80 1999 NO. 1 FACTORIZATION IN KRULL MONOIDS WITH INFINITE CLASS GROUP BY FLORIAN K A I N R A T H (GRAZ) Abstract. Let H be a Krull monod wth nfnte class
2.3 Nilpotent endomorphisms
s a block dagonal matrx, wth A Mat dm U (C) In fact, we can assume that B = B 1 B k, wth B an ordered bass of U, and that A = [f U ] B, where f U : U U s the restrcton of f to U 40 23 Nlpotent endomorphsms
Foundations of Arithmetic
Foundatons of Arthmetc Notaton We shall denote the sum and product of numbers n the usual notaton as a 2 + a 2 + a 3 + + a = a, a 1 a 2 a 3 a = a The notaton a b means a dvdes b,.e. ac = b where c s an
Axiomatizations of Pareto Equilibria in Multicriteria Games
ames and Economc Behavor 28, 146154 1999. Artcle ID game.1998.0680, avalable onlne at http:www.dealbrary.com on Axomatzatons of Pareto Equlbra n Multcrtera ames Mark Voorneveld,* Dres Vermeulen, and Peter
MAT 578 Functional Analysis
MAT 578 Functonal Analyss John Qugg Fall 2008 Locally convex spaces revsed September 6, 2008 Ths secton establshes the fundamental propertes of locally convex spaces. Acknowledgment: although I wrote these
3.1 Expectation of Functions of Several Random Variables. )' be a k-dimensional discrete or continuous random vector, with joint PMF p (, E X E X1 E X
Statstcs 1: Probablty Theory II 37 3 EPECTATION OF SEVERAL RANDOM VARIABLES As n Probablty Theory I, the nterest n most stuatons les not on the actual dstrbuton of a random vector, but rather on a number
princeton univ. F 17 cos 521: Advanced Algorithm Design Lecture 7: LP Duality Lecturer: Matt Weinberg
prnceton unv. F 17 cos 521: Advanced Algorthm Desgn Lecture 7: LP Dualty Lecturer: Matt Wenberg Scrbe: LP Dualty s an extremely useful tool for analyzng structural propertes of lnear programs. Whle there
REAL ANALYSIS I HOMEWORK 1
REAL ANALYSIS I HOMEWORK CİHAN BAHRAN The questons are from Tao s text. Exercse 0.0.. If (x α ) α A s a collecton of numbers x α [0, + ] such that x α
Ballot Paths Avoiding Depth Zero Patterns
Ballot Paths Avodng Depth Zero Patterns Henrch Nederhausen and Shaun Sullvan Florda Atlantc Unversty, Boca Raton, Florda nederha@fauedu, ssull21@fauedu 1 Introducton In a paper by Sapounaks, Tasoulas,
BOUNDEDNESS OF THE RIESZ TRANSFORM WITH MATRIX A 2 WEIGHTS
BOUNDEDNESS OF THE IESZ TANSFOM WITH MATIX A WEIGHTS Introducton Let L = L ( n, be the functon space wth norm (ˆ f L = f(x C dx d < For a d d matrx valued functon W : wth W (x postve sem-defnte for all
Higher-Order Expectations *
Hgher-Order Expectatons * Benjamn Golub Stephen Morrs August 31, 2017 Abstract We study hgher-order expectatons parallelng the Harsany (1968) approach to hgher-order belefs takng a basc set of random varables
Homotopy Type Theory Lecture Notes
15-819 Homotopy Type Theory Lecture Notes Evan Cavallo and Stefan Muller November 18 and 20, 2013 1 Reconsder Nat n smple types s a warmup to dscussng nductve types, we frst revew several equvalent presentatons
APPENDIX A Some Linear Algebra
APPENDIX A Some Lnear Algebra The collecton of m, n matrces A.1 Matrces a 1,1,..., a 1,n A = a m,1,..., a m,n wth real elements a,j s denoted by R m,n. If n = 1 then A s called a column vector. Smlarly,
A SURVEY OF PROPERTIES OF FINITE HORIZON DIFFERENTIAL GAMES UNDER ISAACS CONDITION. Contents
A SURVEY OF PROPERTIES OF FINITE HORIZON DIFFERENTIAL GAMES UNDER ISAACS CONDITION BOTAO WU Abstract. In ths paper, we attempt to answer the followng questons about dfferental games: 1) when does a two-player,
12 MATH 101A: ALGEBRA I, PART C: MULTILINEAR ALGEBRA. 4. Tensor product
12 MATH 101A: ALGEBRA I, PART C: MULTILINEAR ALGEBRA Here s an outlne of what I dd: (1) categorcal defnton (2) constructon (3) lst of basc propertes (4) dstrbutve property (5) rght exactness (6) localzaton
Week 2. This week, we covered operations on sets and cardinality.
Week 2 Ths week, we covered operatons on sets and cardnalty. Defnton 0.1 (Correspondence). A correspondence between two sets A and B s a set S contaned n A B = {(a, b) a A, b B}. A correspondence from
Random Walks on Digraphs
Random Walks on Dgraphs J. J. P. Veerman October 23, 27 Introducton Let V = {, n} be a vertex set and S a non-negatve row-stochastc matrx (.e. rows sum to ). V and S defne a dgraph G = G(V, S) and a drected
Difference Equations
Dfference Equatons c Jan Vrbk 1 Bascs Suppose a sequence of numbers, say a 0,a 1,a,a 3,... s defned by a certan general relatonshp between, say, three consecutve values of the sequence, e.g. a + +3a +1
Lecture 17 : Stochastic Processes II
: Stochastc Processes II 1 Contnuous-tme stochastc process So far we have studed dscrete-tme stochastc processes. We studed the concept of Makov chans and martngales, tme seres analyss, and regresson analyss
Module 3 LOSSY IMAGE COMPRESSION SYSTEMS. Version 2 ECE IIT, Kharagpur
Module 3 LOSSY IMAGE COMPRESSION SYSTEMS Verson ECE IIT, Kharagpur Lesson 6 Theory of Quantzaton Verson ECE IIT, Kharagpur Instructonal Objectves At the end of ths lesson, the students should be able to:
The Second Anti-Mathima on Game Theory
The Second Ant-Mathma on Game Theory Ath. Kehagas December 1 2006 1 Introducton In ths note we wll examne the noton of game equlbrum for three types of games 1. 2-player 2-acton zero-sum games 2. 2-player
Infinitely Split Nash Equilibrium Problems in Repeated Games
Infntely Splt ash Equlbrum Problems n Repeated Games Jnlu L Department of Mathematcs Shawnee State Unversty Portsmouth, Oho 4566 USA Abstract In ths paper, we ntroduce the concept of nfntely splt ash equlbrum
Open Systems: Chemical Potential and Partial Molar Quantities Chemical Potential
Open Systems: Chemcal Potental and Partal Molar Quanttes Chemcal Potental For closed systems, we have derved the followng relatonshps: du = TdS pdv dh = TdS + Vdp da = SdT pdv dg = VdP SdT For open systems,
Games in Preference Form and Preference Rationalizability
Games n Preference Form and Preference Ratonalzablty Stephen Morrs Satoru Takahash September 8, 2012 Abstract We ntroduce a game n preference form, whch conssts of a game form and a preference structure,
College of Computer & Information Science Fall 2009 Northeastern University 20 October 2009
College of Computer & Informaton Scence Fall 2009 Northeastern Unversty 20 October 2009 CS7880: Algorthmc Power Tools Scrbe: Jan Wen and Laura Poplawsk Lecture Outlne: Prmal-dual schema Network Desgn:
The Myerson value in terms of the link agent form: a technical note
The Myerson value n terms of the lnk agent form: a techncal note André Casajus (September 2008, ths verson: October 1, 2008, 18:16) Abstract We represent the Myerson (1977) value n terms of the value ntroduced
Bayesian epistemology II: Arguments for Probabilism
Bayesan epstemology II: Arguments for Probablsm Rchard Pettgrew May 9, 2012 1 The model Represent an agent s credal state at a gven tme t by a credence functon c t : F [0, 1]. where F s the algebra of
A CHARACTERIZATION OF ADDITIVE DERIVATIONS ON VON NEUMANN ALGEBRAS
Journal of Mathematcal Scences: Advances and Applcatons Volume 25, 2014, Pages 1-12 A CHARACTERIZATION OF ADDITIVE DERIVATIONS ON VON NEUMANN ALGEBRAS JIA JI, WEN ZHANG and XIAOFEI QI Department of Mathematcs
The Order Relation and Trace Inequalities for. Hermitian Operators
Internatonal Mathematcal Forum, Vol 3, 08, no, 507-57 HIKARI Ltd, wwwm-hkarcom https://doorg/0988/mf088055 The Order Relaton and Trace Inequaltes for Hermtan Operators Y Huang School of Informaton Scence
Appendix B. Criterion of Riemann-Stieltjes Integrability
Appendx B. Crteron of Remann-Steltes Integrablty Ths note s complementary to [R, Ch. 6] and [T, Sec. 3.5]. The man result of ths note s Theorem B.3, whch provdes the necessary and suffcent condtons for
DIFFERENTIAL FORMS BRIAN OSSERMAN
DIFFERENTIAL FORMS BRIAN OSSERMAN Dfferentals are an mportant topc n algebrac geometry, allowng the use of some classcal geometrc arguments n the context of varetes over any feld. We wll use them to defne
Online Appendix. t=1 (p t w)q t. Then the first order condition shows that
Artcle forthcomng to ; manuscrpt no (Please, provde the manuscrpt number!) 1 Onlne Appendx Appendx E: Proofs Proof of Proposton 1 Frst we derve the equlbrum when the manufacturer does not vertcally ntegrate
Supplement: Proofs and Technical Details for The Solution Path of the Generalized Lasso
Supplement: Proofs and Techncal Detals for The Soluton Path of the Generalzed Lasso Ryan J. Tbshran Jonathan Taylor In ths document we gve supplementary detals to the paper The Soluton Path of the Generalzed
FINITELY-GENERATED MODULES OVER A PRINCIPAL IDEAL DOMAIN
FINITELY-GENERTED MODULES OVER PRINCIPL IDEL DOMIN EMMNUEL KOWLSKI Throughout ths note, s a prncpal deal doman. We recall the classfcaton theorem: Theorem 1. Let M be a fntely-generated -module. (1) There
Structure and Drive Paul A. Jensen Copyright July 20, 2003
Structure and Drve Paul A. Jensen Copyrght July 20, 2003 A system s made up of several operatons wth flow passng between them. The structure of the system descrbes the flow paths from nputs to outputs.
Games of Threats. Elon Kohlberg Abraham Neyman. Working Paper
Games of Threats Elon Kohlberg Abraham Neyman Workng Paper 18-023 Games of Threats Elon Kohlberg Harvard Busness School Abraham Neyman The Hebrew Unversty of Jerusalem Workng Paper 18-023 Copyrght 2017
( 1) i [ d i ]. The claim is that this defines a chain complex. The signs have been inserted into the definition to make this work out.
Mon, Apr. 2 We wsh to specfy a homomorphsm @ n : C n ()! C n (). Snce C n () s a free abelan group, the homomorphsm @ n s completely specfed by ts value on each generator, namely each n-smplex. There are
Appendix for Causal Interaction in Factorial Experiments: Application to Conjoint Analysis
A Appendx for Causal Interacton n Factoral Experments: Applcaton to Conjont Analyss Mathematcal Appendx: Proofs of Theorems A. Lemmas Below, we descrbe all the lemmas, whch are used to prove the man theorems
Volume 18 Figure 1. Notation 1. Notation 2. Observation 1. Remark 1. Remark 2. Remark 3. Remark 4. Remark 5. Remark 6. Theorem A [2]. Theorem B [2].
Bulletn of Mathematcal Scences and Applcatons Submtted: 016-04-07 ISSN: 78-9634, Vol. 18, pp 1-10 Revsed: 016-09-08 do:10.1805/www.scpress.com/bmsa.18.1 Accepted: 016-10-13 017 ScPress Ltd., Swtzerland
= z 20 z n. (k 20) + 4 z k = 4
Problem Set #7 solutons 7.2.. (a Fnd the coeffcent of z k n (z + z 5 + z 6 + z 7 + 5, k 20. We use the known seres expanson ( n+l ( z l l z n below: (z + z 5 + z 6 + z 7 + 5 (z 5 ( + z + z 2 + z + 5 5
Beliefs, Plans, and Perceived Intentions in Dynamic Games.
Belefs, Plans, and Perceved Intentons n Dynamc Games. Perpaolo Battgall Department of Decson Scences and IGIER, Boccon Unversty perpaolo.battgall@unboccon.t Ncodemo De Vto Department of Decson Scences,
Polynomials. 1 More properties of polynomials
Polynomals 1 More propertes of polynomals Recall that, for R a commutatve rng wth unty (as wth all rngs n ths course unless otherwse noted), we defne R[x] to be the set of expressons n =0 a x, where a
MA 323 Geometric Modelling Course Notes: Day 13 Bezier Curves & Bernstein Polynomials
MA 323 Geometrc Modellng Course Notes: Day 13 Bezer Curves & Bernsten Polynomals Davd L. Fnn Over the past few days, we have looked at de Casteljau s algorthm for generatng a polynomal curve, and we have
Lectures - Week 4 Matrix norms, Conditioning, Vector Spaces, Linear Independence, Spanning sets and Basis, Null space and Range of a Matrix
Lectures - Week 4 Matrx norms, Condtonng, Vector Spaces, Lnear Independence, Spannng sets and Bass, Null space and Range of a Matrx Matrx Norms Now we turn to assocatng a number to each matrx. We could
Topologies on Types: Connections
Topologes on Types: Connectons Y-Chun Chen y Syang Xong z May 28, 2008 Abstract For d erent purposes, economsts may use d erent topologes on types. We characterze the relatonshp among these varous topologes.
42. Mon, Dec. 8 Last time, we were discussing CW complexes, and we considered two di erent CW structures on S n. We continue with more examples.
42. Mon, Dec. 8 Last tme, we were dscussng CW complexes, and we consdered two d erent CW structures on S n. We contnue wth more examples. (2) RP n. Let s start wth RP 2. Recall that one model for ths space
Tit-For-Tat Equilibria in Discounted Repeated Games with. Private Monitoring
1 Tt-For-Tat Equlbra n Dscounted Repeated Games wth Prvate Montorng Htosh Matsushma 1 Department of Economcs, Unversty of Tokyo 2 Aprl 24, 2007 Abstract We nvestgate nfntely repeated games wth mperfect
Complete subgraphs in multipartite graphs
Complete subgraphs n multpartte graphs FLORIAN PFENDER Unverstät Rostock, Insttut für Mathematk D-18057 Rostock, Germany Floran.Pfender@un-rostock.de Abstract Turán s Theorem states that every graph G
COS 521: Advanced Algorithms Game Theory and Linear Programming
COS 521: Advanced Algorthms Game Theory and Lnear Programmng Moses Charkar February 27, 2013 In these notes, we ntroduce some basc concepts n game theory and lnear programmng (LP). We show a connecton
Lecture 12: Discrete Laplacian
Lecture 12: Dscrete Laplacan Scrbe: Tanye Lu Our goal s to come up wth a dscrete verson of Laplacan operator for trangulated surfaces, so that we can use t n practce to solve related problems We are mostly
On the Operation A in Analysis Situs. by Kazimierz Kuratowski
v1.3 10/17 On the Operaton A n Analyss Stus by Kazmerz Kuratowsk Author s note. Ths paper s the frst part slghtly modfed of my thess presented May 12, 1920 at the Unversty of Warsaw for the degree of Doctor
Endogenous timing in a mixed oligopoly consisting of a single public firm and foreign competitors. Abstract
Endogenous tmng n a mxed olgopoly consstng o a sngle publc rm and oregn compettors Yuanzhu Lu Chna Economcs and Management Academy, Central Unversty o Fnance and Economcs Abstract We nvestgate endogenous
Limited focus in dynamic games
Internatonal Journal of Game Theory https://do.org/10.1007/s00182-018-0642-x ORIGINAL PAPER Lmted focus n dynamc games Andrés Perea 1 Elas Tsakas 2 Accepted: 29 September 2018 The Author(s) 2018 Abstract
Higher Order Beliefs in Dynamic Envinronments.
Hgher Order Belefs n Dynamc Envnronments. Antono Penta y Dept. of Economcs, Unversty of Pennsylvana May 2008 (prelmnary and ncomplete verson) Abstract Ths paper explores the role of hgher order belefs
Canonical transformations
Canoncal transformatons November 23, 2014 Recall that we have defned a symplectc transformaton to be any lnear transformaton M A B leavng the symplectc form nvarant, Ω AB M A CM B DΩ CD Coordnate transformatons,
Every planar graph is 4-colourable a proof without computer
Peter Dörre Department of Informatcs and Natural Scences Fachhochschule Südwestfalen (Unversty of Appled Scences) Frauenstuhlweg 31, D-58644 Iserlohn, Germany Emal: doerre(at)fh-swf.de Mathematcs Subject
Module 9. Lecture 6. Duality in Assignment Problems
Module 9 1 Lecture 6 Dualty n Assgnment Problems In ths lecture we attempt to answer few other mportant questons posed n earler lecture for (AP) and see how some of them can be explaned through the concept
Salmon: Lectures on partial differential equations. Consider the general linear, second-order PDE in the form. ,x 2
Salmon: Lectures on partal dfferental equatons 5. Classfcaton of second-order equatons There are general methods for classfyng hgher-order partal dfferental equatons. One s very general (applyng even to
Backward Induction Reasoning in Games with Incomplete Information
Backward Inducton Reasonng n Games wth Incomplete Informaton Antono Penta y Unversty of Wsconsn - Madson, Dept. of Economcs Ths verson: September 26, 2011 Abstract Backward Inducton s one of the central
Numerical Heat and Mass Transfer
Master degree n Mechancal Engneerng Numercal Heat and Mass Transfer 06-Fnte-Dfference Method (One-dmensonal, steady state heat conducton) Fausto Arpno f.arpno@uncas.t Introducton Why we use models and
Continuous Implementation
Contnuous Implementaton Maron Oury HEC Pars Olver Terceux Pars School of Economcs and CNRS Abstract It s well-known that mechansm desgn lterature makes many smplfyng nformatonal assumptons n partcular
where a is any ideal of R. Lemma 5.4. Let R be a ring. Then X = Spec R is a topological space Moreover the open sets
5. Schemes To defne schemes, just as wth algebrac varetes, the dea s to frst defne what an affne scheme s, and then realse an arbtrary scheme, as somethng whch s locally an affne scheme. The defnton of
CONJUGACY IN THOMPSON S GROUP F. 1. Introduction
CONJUGACY IN THOMPSON S GROUP F NICK GILL AND IAN SHORT Abstract. We complete the program begun by Brn and Squer of charactersng conjugacy n Thompson s group F usng the standard acton of F as a group of
Errata to Invariant Theory with Applications January 28, 2017
Invarant Theory wth Applcatons Jan Drasma and Don Gjswjt http: //www.wn.tue.nl/~jdrasma/teachng/nvtheory0910/lecturenotes12.pdf verson of 7 December 2009 Errata and addenda by Darj Grnberg The followng
The Pseudoblocks of Endomorphism Algebras
Internatonal Mathematcal Forum, 4, 009, no. 48, 363-368 The Pseudoblocks of Endomorphsm Algebras Ahmed A. Khammash Department of Mathematcal Scences, Umm Al-Qura Unversty P.O.Box 796, Makkah, Saud Araba
Assortment Optimization under MNL
Assortment Optmzaton under MNL Haotan Song Aprl 30, 2017 1 Introducton The assortment optmzaton problem ams to fnd the revenue-maxmzng assortment of products to offer when the prces of products are fxed.
ON THE EQUIVALENCE OF ORDINAL BAYESIAN INCENTIVE COMPATIBILITY AND DOMINANT STRATEGY INCENTIVE COMPATIBILITY FOR RANDOM RULES
ON THE EQUIVALENCE OF ORDINAL BAYESIAN INCENTIVE COMPATIBILITY AND DOMINANT STRATEGY INCENTIVE COMPATIBILITY FOR RANDOM RULES Madhuparna Karmokar 1 and Souvk Roy 1 1 Economc Research Unt, Indan Statstcal
NUMERICAL DIFFERENTIATION
NUMERICAL DIFFERENTIATION 1 Introducton Dfferentaton s a method to compute the rate at whch a dependent output y changes wth respect to the change n the ndependent nput x. Ths rate of change s called the