This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!
N^3'), in case (LO,4>N^3^) is realized. Then, his conditional expected utility of strategy x3 through this wrongdoing given (ft, c3) is: Eu3(x3(-,ft3,-)\ft,c3) '•=
Y,
U3(X3(LU,4>'3,4>N^3)),W)TT(LO,4>N\{3)
\ft,c>).
Consumer j ' s strategy x3' : ft x <3> —> R' + is called Bayesian incentivecompatible, if misrepresentation of his signal does not increase his interim
74
II: Solutions, Information
Revelation
expected utility at the time of taking action: V (&, c7') € & x R ' + : V >'j 6 & : Euj{xj
| ft,c>) > Euj(xj(-,(j)'j,-)
|
ft,c>).
In this definition, we may restrict
:= ( f i , 7 r , { R ' + , ^ ( - ;&),}jeN)
.
Krasa and Shafer assume the following mild regularity conditions on the family {£ks,e}eeeConditions (i) and (iii) in assumption 7.2.1 say t h a t
75
7: Comparisons of Core Concepts
the indifference curves satisfy the s t a n d a r d neoclassical assumptions and t h a t the consumer is risk averse. Condition (ii) says t h a t change in a parameter does influence a utility function. Condition (iv) says t h a t the initial endowment bundle is always strictly positive. A S S U M P T I O N 7.2.1 Let 6 be any member of 9 . Fix any consumer j , any state w, and j ' s any strictly positive consumption bundle c > 0 . Define p:=«'(w)£R'. (i) Each ui{c,ij,p) is smooth, Dcu^{c,uj,p) S> 0, and the / x / m a t r i x Dlcui(c,uj,p) is negative definite; (ii) T h e I x I matrix D\pv?{c, co,p) is non-singular; (iii) For any sequence {ck}k in R ( such t h a t ck 3> 0 for all k, if there exists a commodity h for which c£ —> 0 as k —* oo, then \\Dcu^{ck,ui, p)\\ - t o o a s k —> oo; (iv) e*(w) » 0. A property P is called a generic property of a K-S pure exchange economy, if there exists an open subset 0 of 0 for which the Lebesgue measure of 0 \ 0 is zero, such t h a t property P holds true in (the non-probabilistic aspect of) economy £ks,e for all 8 £ Q. In the following theorem, the attainability condition on feasible allocation plans in terms of equality (rather t h a n weak inequality) is crucial. T H E O R E M 7.2.2 ( K r a s a a n d S h a f e r , 2 0 0 1 ) Let {£ks,e}ffee be a parameterized family of (the non-probabilistic aspects of) K-S pure exchange economies which satisfy assumption 7.2.1. Assume also I > 2. Then the following is a generic property of a K-S economy: Let {irk}kK=1 be any sequence of incomplete information probabilities, which converges to a complete information probability if, and they satisfy •.3UJJ,OJ'J
V j eN
(J^w'j,
efi:
e:>(ujj) =
Tr(u3,ujJr--ujj)
ej(u}'j),
> 0 , 7 r ( < A u / V - - w ° ' ) > 0,
i fc
J
,
*•
v
7r (o/ , w\ • • -OJ'\ • • -UJJ) > 0 for all k. Let x^ be a private information core allocation plan of £ks,e{^k)Then, none of the limit points of the sequence {x^}k is a core allocation plan of £ks,$(n}Krasa and Shafer (2001, p. 457) has an example to show the importance of the assumption I > 2. Their proof of theorem 7.2.2 is based on the following lemma:
76
II: Solutions, Information
Revelation
LEMMA 7.2.3 (Krasa and Shafer, 2001) Let {£ks,e}e€S be a parameterized family of (the non-probabilistic aspects of) K-S pure exchange economies which satisfy assumption 7.2.1, and let it be a complete information probability. Assume also I > 2. For each consumer j , choose any two distinct states UJ3 and u)'3 such that ir(u}j,wj,- • • V ) > 0, 7r(u/ J ', 0. Then the following is a generic property of a K-S economy: There is no ex ante Pareto optimal and individually rational allocation plan {XJ}J&N for which V j €N
: XJ(UJJ,UJJ,
• • • , W7') = xj{Lj'j,Lj'j,
•••
,LJ'J).
Proof of Theorem 7.2.2 Fix any 8 e 0 . Let uij and u;'j be the two distinct states with the properties assumed in the theorem. It suffices to show that for any private measurable strategy bundle {X^'J}J€N that is attainable (with equality) in the grand coalition of the economy £ks,e{^k), Z
( f c ) j
W ' , • • • ,W>) = X{k)'j(uj'j,Lj'j, {X*J}J€N
for, if this is the case, any limit point has the property, X*j(0Jj,Wj,
• • • , W>) = X*j(L0'j,Lj'\
-,Uj'j)-
••
of {{z(fc)'-'}:,6Ar}?l1 also
••
-,Uj'j),
so by lemma 7.2.3, in general it cannot be a complete information core allocation plan of Sksfii^)In view of 7rfc —> ir, we may assume without loss of generality, ^k:irk{uj,ui,---,uj)
> 0 , &ndnk(uj'3,w'j,---,Lo'j)
> 0.
Now, since x*> >'J is T^-measurable, t h e properties of u>3 a n d LJ'3' imply: j
/v
,
v
3
=
W3
3
3
,J
X ' (UJ' ,LO' ,---,UJ ---,U>'3).
(7.1)
On the other hand, by the T J -measurability of x^'1, i VieN\{j}:
l
i l » ' ' ( ^ V , ••-,<J---,iJ)=
i I ' ^ ' K , ^ ,
• • • ,w'j • • • ,<J),
7: Comparisons
of Core Concepts
77
so t h a t i
3
*
'
^
'
"
*
i£N\{j)
= £eV) j _
=
( k) j
j
j
j
j
X - ' (w ,LJ ,---,UJ ---,CJ )+
_
/
Yl
"
•>
X^'UlS,^,---,^---,^)
i€N\{j} 3 ^
=
XW>3(UJ3,U3,---,U;3---,LJ3)
+
/
*•
s
a:(fc),i(w,',wJ',---,w/J---,wJ),
Yl ieN\{j}
therefore, 3 ,
(k) 3
3
3
v
3
•••,UJ3)
x ' {u) ,uj ,---,u'
3 ,
=
*•
s
x{k)'3(uj3,uj,---,ujj
•••,io3).
(7.2)
T h e required result follows from (7.1) and (7.2). Proof of Lemma 7.2.3 notation in this proof:
3
j
3
U {x ,6 )
Idea of the Proof:
• We adopt the following
TV
=
{1,2,...,«},
f2
=
{wi,w2,---,ws},
=
£7r(w,a;,...,w)^(x-7'(u;,w,...,a;),w,^(w)). tueu
T h e number U3(x3,93) is t h e ex ante expected utility of consumer j ' s consumption plan x3 in the economy with complete information, Sks,e{^)- Also in view of the complete information, we abuse the notation and write x3' (u>) for x3(uj,u>,... ,ui). Fix any parameter value 9 £ 0 . An ex ante Pareto optimal and individually rational allocation plan {x3}j£N is necessarily a solution t o the following constrained maximization problem: For some (n — l)-dimensional (inverse) weight vector A := (A 2 , A 3 , . . . , A n ) 3> 0, n
Maximize
U^x1^1)
+£ 3=2
XJ1^^,
93),
78
II: Solutions, Information
Revelation
yja^'(w) = VJe J '(w), for all UJ.
subject to
3=1
j=i
Define, therefore, the Lagrangean, C(x,p,X,9) n
:= U'ix1^1) + Y/*j1Ui{xj,ej)
+p• ^=1
3=2
E**
where {x\...,xn)GRlsn, {Ph(v))i
P X
The first-order conditions in vector notation for the maximization problem are: DxiC A j i-Jx'J ^"
DPC
= Z ^ i t / V ^ V p = 0, =
j
DxJU (x^e')-XjP
E<
J E* j=i
= 0, for j = 2,
(7.3)
.n,
(7.4) (7.5)
For each A » 0, the simultaneous equation system (7.3)-(7.5) uniquely determines a Pareto optimal allocation plan x, along with the associated Lagrangean multiplier p. If we substitute another weight vector A' for A, the system (7.3)-(7.5) determines another Pareto optimal allocation plan x'. In other words, we can identify each triple (x,p, A) satisfying (7.3)-(7.5) with a specific Pareto optimal allocation plan. We can thus identify the set of all ex ante Pareto optimal, individually rational allocation plans with a subset of {(x,p,X) j (x,p,X) satisfies (7.3)-(7.5).}. The last line of the statement of lemma 7.2.3 is an additional property, a part of which is re-stated in view of / > 2, (7.6) (7.7)
In order to prove the lemma, we are going to show that there exists an open dense subset 0 of 0 such that for each 6 G 0 the equation system (7.3)—(7.7) has no solution (x,p, A).
79
7: Comparisons of Core Concepts
Define the function, DxiU1(x1,61)-p Dx2U2(x2,62)-X2p
Dx-un{xn,en)-\nP D{x,p,\,0):=
E n 1. TO
f?=1
fii-V"
xKc^-zlK )
n
\
) - x r x on
n - l / , ,/n-l
,n-l
iJ(o; ) - a;5(w' )
/
The simultaneous equation system (7.3)-(7.7) is summarized as: D(x,p,\,8)
= 0.
It suffices to show that there exists an open dense subset 8 of 9 such that for each 6 £ 0 the function D(-, •, -,0) is transversal to {0} C p/s(n+i)+r\ since the number of equations is greater than the number of unknowns. By the transversality theorem, it suffices to show that the function D of variables (x,p, A, 8) is transversal to {0}. We will prove this last fact. Proof of the fact that D is transversal to {0}: We take the first-order derivative of function D with respect to (x,p,\,9), and obtain the matrix of the coefficients, C B E:= A 0 The elements of the sl(n + 1) x [sl(n + 1) + (n — 1)] submatrix C are the partial derivatives of the function (
DxiUl(xl,el)-p DxiU2(x2,02)-\2P
\
(x,p,\,6) Dx-Un(xn,0n)-\np £"=i*> V E".
/
80
II: Solutions, Information
Revelation
with respect to (x,p, A). So after the first sl(j — 1) rows, the next block of si rows is (0, • • .,D2xixiUH.xi,ffl),
• • • , 0 , -Xjl,
• • •, - p , • • • , 0 ) .
T h e last block of si rows is (-/,•••,-7, •••,-/,0J--,0,--,0). The elements of the sl(n+l)xsln submatrix B are the partial derivatives of the same function with respect to 8. So after the first sl(j — 1) rows, the next block of si rows is ( 0 , - - - , D ^ { / ^ > ' ) , . ••,()). All elements of the last si rows are 0. T h e elements of t h e n x [sl(n + 1) + (n — 1)] submatrix A are the partial derivatives of the function /
xKu1)
- x\(w'1)
\
(i,p,A,<9)
with respect to (x,p, A). T h e j t h row of matrix A, j < n, is sl(j-l)
s
s(l-l)
sl{n-j)
sl + (n-l)
(0,---,0,0,--.,l,---,-l,---,0,0,---,0,0,---,0,0,---,0).
The n t h row of matrix A is sl(n-l)
s
s((-2)
sl + (n-l)
(0,---,0,0,---,0,0,---,l,---,-l,-.-,0,0,---,0,0,---,0).
To show t h a t D is transversal to {0}, we need to prove t h a t the raws of the matrix E are linearly independent. Consider a linear combination of the rows which is equal to 0. Let sl(n-j)
sl(j-l)
( •••
,wi(wi),---,iu/(u;s),
•••
,ai(wi),---,an(c;s)}
7: Comparisons of Core
81
Concepts
be the coefficients for the rows of ( C , B), a n d let (&i,-">M be t h e coefficients for t h e rows of (A,0).
By looking at the columns of
( * ) • J
J
it follows t h a t w D^jgj \Ji(x>, 0 ) = 0 for all j = 1 , . . . n, and in view of the fact t h a t D\.i6i\Ji{xi,0*) is of full rank, we conclude t h a t w-3 = 0 for all j = l,...n. For j < n, by looking at t h e column of E corresponding to x " ^ ) , it follows from wn = 0 t h a t a ^ ) = 0. Similarly, ax{u)tj) = 0. Then, by looking at the column of E corresponding t o x^cji), it follows from w J = 0 j and a\{w ) = 0 t h a t bj = 0. Similarly, bn = 0. It follows from w = 0 and 6 = 0 t h a t a = 0. D Krasa and Shafer's second result is a property of one (non-probabilistic aspects of) K-S pure exchange economy £ks, and concerns the convergence of a sequence of the Bayesian incentive-compatible information cores. We present only what we think to be the b o t t o m line of their second result. A core allocation plan {x-^jgjv of a K-S pure exchange economy with complete information £ks{^) is called strict, if the associated ex ante utility allocation cannot be achieved by a proper subcoalition, t h a t is, if -
(BS-.Q^S^
^2yJ(u,uj,---,uj) jes V j e S:Euj(yj)
N):3y
s
:fl~>
Rl+*S
:
< ^ V ( w , u ; , - - - , w ) , 7r-a.e., jes =
Euj{xj).
T H E O R E M 7 . 2 . 4 ( K r a s a a n d Shafer, 2 0 0 1 ) Let £ks be a (nonprobabilistic aspects of) K-S pure exchange economy with at least three consumers, for which V?{-,UJ) is strictly monotone in Rl+ for all j £ N and all to £ Cl. Let {TT' C }^ = 1 be any sequence of incomplete information probabilities, which converges to a complete information probability TT, such that for all k sufficiently large. {LO e Cl | 3 4> G $ : irk(uj, 0) > 0} C {w £ Cl | n(u>, u, • • •, UJ) > 0 } . Assume that the economy £ks{^) possesses strict core allocation plans, and let x* 3> 0 be any such strict core allocation plan. Then, there exists a
82
//: Solutions, Information
Revelation
V €Ar T-* -measurable strategy bundle x such that: (i) The ex ante utility allocation of x with respect to it and the ex ante utility allocation ofx* with respect to TT are identical (so x is a core allocation plan of£ks{n)); and (ii) The strategy bundle x is a Bayesian incentive-compatible core allocation plan of £ks{Ttk), for all k sufficiently large. Proof Let 7r be any probability on Q, x 4>. By abuse of notation, let 7r be re-defined throughout this proof as the conditional probability of 7T given {e-'ljgjv; if TT is a complete information probability, the re-defined n is the same as the original 7r. To be precise, let Ve be the partition on Q generated by {ej}j€N, that is, the family of minimal elements of the algebra on O generated by the sets,
{wefi| ej(cj) = c},c e nl+,j e N, and define Ve(u) := the member of Ve that contains w, We re-define the numbers, .(nx'fefV). 0,
if
* ( n * [Pe(u)]N) > 0 and 0 G [ P e M ] " , otherwise,
as 7r(o;,(/>). Then, the original pooled information structure on Q x $ , View Tl, is precisely the information structure generated by {Q x {(j>) \ cf> G $ } on the support of the re-defined n. Therefore, a View ^"'-measurable strategy x J can be any function from $ to R'. Let 7r be a complete information probability, and let i* » 0 be a strict core allocation plan of £ks(ir). Define a strategy bundle x : $ —> R / ' # w by 1. if there exists w G Q such that <j>1 = w for all i, x\<j)) :=x*i(uj,---uj},
for alii G N;
2. if there exist j G N and UJ G ft such that (j>> ^ LO and cfi1 = LO for all i€N\{j), „i(X\ - J ° W - \ x«( W ,... t i ;)
X
if
+ 13l-Tl*i(u,]...w)
i = j, ifiGiV\{j};
3. for all other cases, jtj*
. = J e i ( w ) for alii G AT ^ arbitrary
if 3 u G fi : 0 € [ ^ ( w ) ] " , otherwise.
7: Comparisons of Core
83
Concepts
Then, for any ir, complete or incomplete, and for all {UJ,<J>) £ supp it (so that (w,0) G 0 x $ and 0 e [ P e M D , £ ^ ( 0 ) = £ i 6 J v *'(")• ( T h i s identity holds true even for the second case, because 4>% = u € Ve(u)) for all i€iV\{j}and#(iV\{j})>2.) Clearly, the ei ante utility allocation of x with respect to it is identical to the ex ante utility allocation of x* with respect to it. For all k sufficiently large, the ex ante utility allocation of x with respect to irk is not ex ante improved upon by any proper subcoalition in £fc5(7rfc), since x* is a strict core allocation plan. In order to prove the theorem, therefore, it sufnces to show that x is Bayesian incentive-compatible with respect to irk for all k sufficiently large. Let ! i : = { u 6 f i j ( w , w , ' " , w ) e supp it}. By the assumption on the support of irk, we may assume without loss of generality, 0. = {ui £ Q | (OJ,LU, • • • ,w) € supp 7rfc} for all k. Choose any j € N and any k. Consumer j ' s interim expected utility given 4>J £ (l is
(w,<£)Sf2x
+
u i (aJ'(0 J ' ) 0 w \^>),w)7r fc (a;,^',0 Ar ^j})
J! (o;,>N\(i))^(^,^i,---,^')
but this converges to uj ( x J ( ^ , • • •, ft), ft) (= uJ (x*J(<^, • • • J(pj),
(UJ,<^)SOX
_
1 7T (ft X {0i} X $^\(i>) fc
i
u V ( ^ ' , • • -<j>'j,- • • ,&),&)*"(&,&,•
+
51
u^x3^,^^),^^,^
• -A3)
,<j>N\^)
84
II: Solutions, Information
Revelation
J
.
Y, >
3
U3\x3{ft),w)*k(uJ,4>\ft) ^
Uj{xj{4>'j,(j>N\{j'l),Uj)-Kk{uJ,(t>\ft)
Since ^ ^ < oo, we conclude t h a t for all k sufficiently large, the above inequality is true for all ft3 € & \ {ft}, t h a t is, strategy x° is Bayesian incentive-compatible. • We close this section by comparing the complete information (the private information structure, resp.) defined in the framework of chapter 2 and the complete information (the private information structure, resp.) defined in the Krasa-Shafer framework. Throughout the rest of this section, we use subscript ks to indicate probabilities on fi x $ in the Krasa-Shafer framework (such as irks and irks), and reserve the notation without subscript ks for probabilities on the type-profile space T or on the state space fi in the frameworks of sections 2.1 and 2.3 (such as IT and 7r). This allows us to avoid confusion. According to the definition of chapter 2, under the complete information, the ex ante stage and the ex post stage are identical, t h a t is, # f i = 1, or almost equivalently (in the case # f i is arbitrary), there exists w 6 fl which every consumer knows will occur surely. T h e latter condition in the framework of chapter 2 is formulated as supp it = {&}. In the Krasa-Shafer framework, the same condition is formulated as supp 7Tfcs = {(Hi, u>, • • •, u>)}. According to Krasa and Shafer's definition, however, complete information is defined merely by supp n^s C {(w, w, • • • ,ui) \ UJ £ Q.}. Let 7r/cs be an incomplete information probability on Q. x $ , as given in the Krasa-Shafer framework. Let e3 be consumer j's initial endowment function. To simplify our discussion, we assume throughout the rest of this section t h a t eJ is a constant function, so t h a t it does not reveal information. (Constancy of eJ is assumed only in order to simplify our argument here, and it can be dispensed with. For another simplification method, see the first paragraph of the proof of theorem 7.2.4.) We have already defined the private information structure in the sense of Krasa-Shafer: an algebra on ft. x <3>. In the present case in which the initial endowment functions do not reveal information, it is the algebra generated by the partition, {fi x Q, x • • • x {ft} x • • • x fl | ft e
7: Comparisons of Core
85
Concepts
is different from the information structure denned in chapter 2; the latter is an algebra on the state space Cl. However, we will see in proposition 7.2.5 below that we can recover the information structure of chapter 2 on O from the incomplete information probability on $7 x $ . We emphasize that objectiveness of nks is crucial in our argument here. Prom the incomplete information defined in section 2.3 as an algebra on a state space fi and an ex ante objective probability n on Q, we can construct the associated incomplete information 7Tfcs on Cl x $ in the sense of Krasa-Shafer. Let CI be a finite state space, and let T^ be consumer j's private information structure on fi, j G N. Then, denoting by V^(UJ) the minimal element of the algebra J-i that contains u>, the required probability 7Tfcs on 0 x $ is given by: 7Tks(LO, {(fSjjeN) := 7T(W) X J J 1T(
Indeed, if state UJ occurs, consumer j updates his probability on Q. from w to 7r(- I PJ'(u;)). This updated probability is the probability of his signal given occurrence of u. We are postulating that
:= Tr(t) x J ] 7r(<^' | tP); j£N
here the conditional probability 7r(- | P) is defined on T, rather than on TN\{J} _ s e e ^-ne grg(. p a r a g r a p n 0 f section 2.3. Given the incomplete information (fi, J7-3,7r), j G AT, formulated in section 2.3, let (fi x <3>,7Tfc5) be the incomplete information derived from it as in the preceding paragraph. Suppose consumer j knows probability 7i>s, but does not know the underlying information structure T^ on Q. The following proposition says that consumer j can deduce & from the knowledge of functional form of 7Tfcs. The assumption in the proposition (that is, 7r 3> 0) can be made without loss of generality; otherwise, we re-define supp 7r as fi. In particular, if we are given the type-profile space (T, 7r), we set Q := supp n. For each possible information that consumer j receives, <jp e
86
II: Solutions, Information
Revelation
K-S pure exchange economy constructed from £pe. Assume that n 3> 0. Consider simultaneous realization of Q E ft and
We first claim: 3
Vwe Q
^ ) : ^
£V3{UJ).
To see this, choose any UJ G Q?{(P). Then, irk,(w,4>i,
=Pj(u>).
Since u E V3{u>), this establishes Q? {<)>>) C P j ( w ) . Suppose on t h e other hand t h a t UJ 0 Q3{4^)- Then, again by t h e formula for 7rfcs, 7r(<^' | ^ ' ( w ) ) = 0, t h a t is, «£»' g" Vj(w), so 7 " (a;) and 7"'(u;) are disjoint, and consequently, UJ 0 V3(ui). • Clearly, ^ G Qj{<j>>), so proposition 7.2.5 also says Q3\(jP) = V3\4P). Thus, Q-? := { Q - 7 ^ ' ) | f G $-7'} is precisely t h e partition V3 on ft, and generates t h e algebra T3. C O R O L L A R Y 7 . 2 . 6 Let £pe be a Bayesian pure exchange economy endowed with a general state space (ft, {F3}jeN), and let £ks{^ks) be the K-S pure exchange economy constructed from £pe. Assume that TT 3> 0. Let x3' : ft x $ —> R + be consumer j !s strategy in £ks(^ks)Then, for every information <\P G $ J , the interim expected utility given (j)3 is: Eu3(x3
| ft x ft x • • • x {4P} x • • • x ft)
(u;,^N\(j})e'PJ(^J)x'v\(j>
n(uj | 7 ^ ) ) x J ] 7T (> | W ) f ^ W 7 / x J is private measurable, 3
Eu (x
3
then
| ft x ft x • • • x {^'} x • • • x ft) ^
^(xJ'(^'),u;)7r(cj|:P^)).
7: Comparisons of Core Concepts
87
Proof By direct substitution of the definition of irks, Euj(x3\
Q x CI x • • • x {ft} ^2
3
x • • • x 0)
3
u {x {w,ft),uj)
(w,
n(u\ft)
xir{ft
\V3(uj),ft)x
Yl *('\V*(w), i€N\{j}
ft)
B u t by proposition 7.2.5, ir(uj\V3(ft)),
TT(U! \ ft) = Tr(w\ft)
Tt(ft \r3(uj),ft)
=
1 0
if ft e P ' ( w ) a n d ^ ' = •>' otherwise,
7T(0* I V\UJ)^) = 7T (^ I ^ M P I ^ ' ^ ) )
fOT a11
* ^ J.
so the required first identity follows. The second identity follows from the first, if x3 is private measurable, t h a t is, if it is a function only of ft. D Notice a striking similarity between the formula for the interim expected utility of a private measurable strategy in the Bayesian pure exchange economy (example 2.2.1) and the formula for the interim expected utility of a private measurable strategy in the K-S pure exchange economy. However, the two are different: In the former economy, a private measurable strategy from fl to R' + has to be constant on each minimal element of J-3, while in the latter economy, a private measurable strategy can be any function from $•? ( = Q) to R ' + . Let ft be a signal given to j when Q is the true state. Then, V3(ft) = V3(u>), by proposition 7.2.5. In the K-S economy, if the signal contains noise (i.e., if ft ^ Q), then x3(ft) may be different from x3(u)), so the interim expected utility given ft may be different from the interim expected utility given ui. In the Bayesian pure exchange economy (example 2.2.1), on the other hand, the two interim expected utilities are the same, because the jF^-measurability stipulates t h a t x3(ft) — X3(UJ). R E M A R K 7.2.7 We demonstrate by an example t h a t arbitrary information probabilities in Krasa and Shafer's framework cannot always be consistent with the Bayesian pure exchange economy (example 2.2.1), even with a general state space approach of section 2.3 (the approach t h a t is handy in looking at all possible information structures). We also use the same example to verify the content of proposition 7.2.5.
88
II: Solutions, Information
Revelation
Consider a Bayesian pure exchange economy £pe with two consumers (N — {1,2}), endowed with a state space consisting of two states (f2 = {a, 6}). The objective ex ante probability on ft is given by the probability which assigns density p on {a}, and (1 — p) on {&}. There are two possible information structures on Q: the coarsest algebra Tc := {0, {a,b}}, and the finest algebra T} := {0, {a}, {6}, {a,b}}. Then, there are four possible cases: (case cc) both consumers are endowed with the coarsest information structure Tc\ (case cf) consumer 1 is endowed with the coarsest information structure Tc and consumer 2 is endowed with the finest information structure J-"/; (case fc) consumer 1 is endowed with the finest information structure Tj and consumer 2 is endowed with the finest information structure Tc; (case ff) both consumers are endowed with the finest information structure J-f. The probabilities irks on D, x $ for the four cases are given in the following table. case cc 7Tfcs(a, a, a) nks(a,a,b) 7rfcs(a, 6, a) irks(a, 6,6) 7r f e s (6,a,a) 7r fcs (6,a,6) TTks(b, 6, a) irks(b,b,b)
case cf
case fc
case ff
1
2
P 0 0 0 0 0 0
6
v
P 0
p2-{l-p) P2-(1-P)
v
p-a-py p2-(i-P)
-pf
P-{\
P-{\-PY (i-p)3
(i-p) 0 0 p-(l-p) 0
(i-Py
P P- ( 1 - P ) 0 0 0 0 p-{l-p)
{i-pf
(1-P)
Values of 7Tfcs(o;,
4>2
:nks{uJ^\<j>2)>0}
:=
{uJeVt\3
=
{a, 6} for all 01 e $ \
so he deduces that he has the coarsest information structure on fi. Consumer 2 on the other hand knows Q(4>2) •= _ =
{u&n\3ci>1
: 7 r fcs (a;,> 1 ,^ 2 )>0}
J {a} {{b}
4>2 = a,
if if
7: Comparisons of Core
Concepts
89
so he deduces that he has the finest information structure on fl. Another fact in this example is that if 0 < p < 1, there exists a complete information probability in Krasa and Shafer's sense iff both consumers have the finest information structure Tj (case ff), and in this case, the complete information probabilities are the only probabilities consistent with the framework of section 2.3. In each of the four cases, a sequence of incomplete information probabilities (in the Krasa-Shafer sense) converges to the complete information of sure occurrence of {a} (in the sense of chapter 2), as p —> 1. •
This page is intentionally left blank
Chapter 8
Existence Chapter 5 introduced descriptive solutions to a Bayesian society. This chapter presents general existence results for these concepts. Research on existence of an interim solution is still at its infant stage now, while positive results have been established on the existence of an ex ante solution. T h e results to date are heavily based on the static cooperative game theory, so the appendix to this chapter briefly reviews some static cooperative game theory.
8.1
Interim
Solutions
Wilson (1978) established a coarse core nonemptiness theorem for a Bayesian pure exchange economy, by constructing from the economy a particular non-side-payment game, and by showing t h a t the latter game satisfies the assumptions of Scarf's core nonemptiness theorem (theorem 8.A.2 in the appendix to this chapter). We will pick up his essential idea, and summarize it as proposition 8.1.1. T h e proposition should not be considered a "result"; rather, it is a possible stepping-stone for a positive result on a Bayesian incentive-compatible coarse strong equilibrium or the Bayesian incentivecompatible coarse core; indeed, it will be used in section 10.1. T h e reader who does not want to bother with technical details can skip the following paragraphs and go directly to the last paragraph of this section. Let
S := ({C'-.T'V.M- I < J '>W4 i € A P
{CS0,T(S),FS}SGM)
be a Bayesian society (definition 2.1.3). We introduce the concept of an agent as a pair (J,V) of a player and his type, and construct a static 91
92
II: Solutions, Information
Revelation
society (definition 8 A.3 of the appendix to this chapter) with the agent set A := {{j,tj) | j G N,P G Tj} as its "player set." Agent (j,P)'s strategy space is player j ' s strategy space X J in S, and his static utility function is j ' s conditional expected utility function given P, x H-» Eui(x \ P). In an agent coalition, any two agents representing the same player, (j, P) and (j,t'i), are postulated to take the same strategy. A strategy bundle in agent coalition C is then identified with a strategy bundle in the player coalition 5(C) := {j \ (j,P) G C } . For each S G N and each E G /\jeS (Tjf]T(S)), define the agent coalition (5, E) C A by (S,E) := {(j,P) GSxTi
\ 0 ^ ({*>'} x T
N
^
f)T(S)
C E }.
For a coalition C of agents which can be expressed this way, i.e., for /\ (TJ f] T(5)) ,
C = (5, E) for some {S,E)eNx
the set of feasible strategies when the grand coalition is taking strategy bundle x is: F c ( x ) := Fs{x). We postulate that the other kind of agent coalitions are not worth forming. To formulate this postulate, we introduce a new (artificial) strategy bundle x, and define Eui{x?, xN\W \ P) := —oo for all x G X (J{x}, and F c ( x ) := {x s ( c >}, if C ^ (S, E) for any (5, E) G A/" x f\ (T> f ) T ( 5 ) ) . The set of attainable utility allocations of agent coalition C given the prevailing strategy bundle x is:
%(C) := j u G R / ^ w
3XS(C)
GF
c
( x ) : V ( . 7 , P)£C: s c
N s
uUv)<Eu>{x ( \x \ ^\P)
\
J
A family B of subsets of A is called balanced if there exists {Ac}cee C R+ such that J2ceB-.C3(j,v) ^C = 1 for every (j,P) G A. PROPOSITION 8.1.1 LetS be a Bayesian society. There exists a Bayesian incentive-compatible coarse strong equilibrium of S, if (i) X^ is a nonempty, compact, convex subset of a Hausdorff locally convex topological vector space over R for every j G N;
8:
93
Existence
(ii) ui(- | V) is continuous in X for every {jit1) G A ; (iii) Fs is upper and lower semicontinuous in X, and is nonempty- and closed-valued for every S G N; (iv) given any x G X, and any balanced family B of subsets of A,
P | %{C) C VS(A); and CeB
(v) given any x G X and any core utility allocation u of game Vs, the set {xN G FN{x) | V (j,tj)
e A : uu'tJ){xN)
>
Uj}
is convex. Proof By theorem 8.A.5, there exists a social coalitional equilibrium x* € X of the static society with the set A of agents as its player set. We show that x* is the required Bayesian incentive-compatible coarse strong equilibrium of S. By the stability condition of a social coalitional equilibrium, - 3 5 e ^ : 3 £ e / \
(T3 f | T ( S ) ) :
3xsGFs(x*):V(j,^)e(5,E): Euj(xs,x*N\s
| t3) > Euj(x* | tj).
But this is precisely the coalitional stability condition (ii) for a Bayesian incentive-compatible coarse strong equilibrium. • No general existence theorem has been established for the interim Bayesian incentive-compatible strong equilibrium or for the interim Bayesian incentive-compatible core strategy bundle. Nonemptiness of the fine core also remains open. The situation becomes quite different for the special case of Bayesian pure exchange economy. Due to its specific structure, there are some positive results; see section 10.1.
8.2
Ex Ante
Solutions
Yannelis (1991) established a private information core allocation existence theorem for an infinite Bayesian pure exchange economy. For the finite economy, an existence theorem can be proved by direct application of Scarf's theorem for nonemptiness of the core (theorem 8.A.2 in the appendix to this chapter) to the non-side-payment game defined by V'(S) := {u e RN | 3 xs e F's :VjeS:
Uj
<
Euj(xj)}.
94
II: Solutions, Information
Revelation
Lefebvre (2001) extended Yannelis' (1991) private information core allocation existence theorem to an infinite Bayesian pure exchange economy with ex ante non-ordered preference relations. Ichiishi and Idzik (1996) established an ex ante Bayesian incentivecompatible strong equilibrium existence theorem for the Bayesian society: They first established a general existence theorem for the Bayesian societies with externalities in which each utility function u-3 depends fully on (c, t) € C x T. T h e assumptions in these theorems are stated, however, partly in terms of derivative concepts such as the parameterized non-sidepayment games. Then, they derived from the general theorem an existence theorem for the specific class of Bayesian societies without externalities in which each utility function v,i depends only on (e? ,t) € C-7' x T. Assumptions of the theorem for this specific class are stated only in terms of the exogenously given d a t a S. Notice t h a t in spite of the terminology "no-externalities", the feasible-strategy correspondences Fs depend fully on x € X, and to this extent externalities are still considered. We present the main result of Ichiishi and Idzik (1996) for the noexternality case. Of course, given the no-externality condition, the normalform games or the Bayesian games are no longer included in the analysis, but economic models extended to cover asymmetric information are included, e.g., the Bayesian pure exchange economy (example 2.2.1), the Bayesian coalition production economy (example 2.2.2), and the Bayesian production economy with interdependent organizations t h a t coexist as firms. Due to the full dependence of Fs on x £ X, the core of a production economy with public goods can also be analyzed (given the outsiders' production of public goods specified in xN^s the insiders' feasible strategy set Fs(x) describes the sum of these public goods and the insiders' production possibility set). A subfamily B of A/" is called balanced if there exists { A s j s g e C R + such t h a t YlseB-.S3j ^s = I for every j G N. T H E O R E M 8.2.1 (Ichiishi a n d Idzik, 1 9 9 6 ) Let S be a Bayesian society in the private information case. Assume that each von NeumannMorgenstern utility function u^ depends only on C J ' x T. Assume also (i) for any j , 0 is a nonempty, compact, convex, and metrizable subset of a Hausdorff locally convex topological vector space over R ; (ii) for any j and any t, u J ( - , t ) is continuous and linear affine in C-7; (iii) for any S and any t, Cjf (t) is nonempty, closed and convex; (iv) for any S, correspondence Fs is both upper and lower semicontinuous in X, and has nonempty, closed and convex values; (v) for any x G X and any balanced family B with the associated balancing
8:
95
Existence
coefficients {Xs}s&B, it follows that Y, XsFs(x) see
C
FN(x),
where Fs{x) := {x \ xs £ Fs(x), xN^s = 0 } ; (vi) for any S, either Fs is a constant correspondence and its value contains a Bayesian incentive-compatible strategy bundle, or for any S and any x € X, there exists Xs € Fs(x) which is strictly Bayesian incentive-compatible, that is, for all j € S and all P, P S T J for which P ^ P, Euj(xj
\P)>
Eui(x3{P)
| P).
Then, there exists an ex ante Bayesian incentive-compatible strong equilibrium of S. The afflne linearity condition (ii) on u^(-,t) requires some comments: If choices here are interpreted as pure choices, then this assumption imposes the strong condition of risk-neutrality on the players' preference relations. If, on the other hand, choices are interpreted as mixed choices, then the utility here should be interpreted as the expected utility. Of course, the expected utility is linear in probabilities, so the assumption is automatically satisfied under the second interpretation of the choices (that is, the affine linearity does not have to be stated as an assumption); see corollary 10.2.1 below. Condition (v) shows the extent to which the grand coalition is efficient. It also implies that the domain of strategies for each coalition S is the same as the domain of strategies for the grand coalition N, i.e., T(S) = T(N). Proof of Theorem 8.2.1 We show that the static society
({X*,Eu*}jeN,
{Fs}S€u,
{{N}})
satisfies conditions (i), (ii), (iii), (vi) and (vii) of corollary 8.A.6 of the appendix to this chapter; to avoid confusion here, we call these conditions (A.i), (A.ii), (A.iii), (A.vi) and (A.vii), respectively. Since each domain T(S) is finite, conditions (A.i), (A.ii) and (A.vii) are immediate consequences of assumptions (i) and (ii) of the present theorem 8.2.1. Condition (A.vi) is also immediate, from the fact that if { x ( s ' J } j g s e s F (x), in particular, if it is private measurable and Bayesian incentivecompatible, then the strategy bundle x € FN (x) defined by
\/j€N:xj:=
Y, SGB-.S3J
*sx(S)'j
96
II: Solutions, Information
Revelation
is also private measurable and Bayesian incentive-compatible (here we use the affine linearity assumption on u J (-, t)). We show condition (A.iii). T h e present assumption (vi) guarantees t h a t Fs is nonempty-valued. Clearly, it is closed-valued and upper semicontinuous. To prove lower semicontinuity of Fs, choose any sequence {x^}'^L1 in X which converges to x, and any xs G Fs(x). Choose also xs G Fs(x) given in (vi). By lower semicontinuity of Fs, there exist sequences {x^s}u s s s and {x^ }„ converging to x and x , respectively, such t h a t x ^ s G s F (x^) and x ^ s G Fs(x^) for every v. For each a G [0,1], define xs[a] {v)s
x [a] Clearly, a > > s [ a ] G Fs(x^)
:= :=
axs ax
(u)s
+ (1 - a)xs,
and
+ (1 -
a)x^)s.
for all a. Define
au := sup { Q G [0,1] | x(v)s[a]
G Fs(x(ly))}.
It suffices to show t h a t « „ - > 1 as ^ —>oo. Due to assumptions (ii) and (vi), and also due to the fact t h a t xs G s F (x), it follows t h a t for all j G S and all P, P G Tj for which P ^ ij, Euj(xs[a],xN^s
| P) > Euj(xj[a}(P),xs^{j}{a},xN^s
\ P),
for a l i a € (0,1). Now, fix a sufficiently close to 1. For all j G S and all P, P G T-7 for which /? ^ P, by the continuity of w-7 (•,£),
W^^^H.i^'"^ | P) > E u ^ ^ M * ' ) . ^ ^ ^ ^ ^ | P), for all v > v{a) and some n a t u r a l number u(a). This implies t h a t av > a for all v > i/(a), which establishes lower semicontinuity of Fs. D R E M A R K 8.2.2 The above proof also establishes t h a t the same conditions guarantee the existence of a Bayesian incentive-compatible strong equilibrium of S for the mediator-based approach (so t h a t each strategy in coalition S is T s - m e a s u r a b l e ) . D Ever since Ichiishi and Idzik established an earlier version of theorem 8.2.1 in early summer 1991, the need for the affine linearity assumption on utility functions (ii) when Bayesian incentive compatibility is involved had been known in profession, but in a very specific model (like the pure exchange economy) this assumption can be avoided due t o the specific structure of the model and the definition of a strategy (see, e.g., theorem 10.2.2).
8:
Existence
97
For an example of a Bayesian society with linear utility functions which does not satisfy the balancedness assumption on feasible-strategy correspondences (v), so has an empty core, see remark 10.2.3. We present our view on how to evaluate the existence and the nonexistence results. Each economic or game-theoretical model mimics the real world we live in, and each interactive mode specifies players' relationships according to which a game is played. The associated descriptive solution is the outcome t h a t we (analysts) expect to prevail in equilibrium as a result of play of the game, so describes the phenomenon observed in the real world. If the existence of an equilibrium (e.g., existence of a core allocation or of a Bayesian incentive-compatible strong equilibrium) is guaranteed, we capture the n a t u r e of the real phenomena as properties of the equilibrium. In the case the existence is unlikely, the theorists have held three alternative views on the solution in the past. T h e first view asserts t h a t the solution is a wrong concept to apply to the real world, so proposes to adopt an alternative solution or even to formulate an alternative model. In the prisoner's dilemma game, for example, a strong equilibrium does not exist. Theorists have sometimes said, "So, the strong equilibrium concept is problematic." Since the unique Nash equilibrium in the same game is not Pareto optimal, theorists have also studied the repeated game (another game) and invoked the folk theorem in order to achieve a Pareto optimal outcome of the original one-shot game. We contend, however, t h a t the first view does not solve the original problem of understanding the real world; we endorse the following second and the third views. The second view takes the nonexistence result as a warning signal t h a t the model misses important aspects of the reality. To remedy the problem, therefore, we improve the model so t h a t the modified model better reflects the real world and interactive mode. T h e third view concerns the situation in which the model captures the essence of the study object, so cannot be improved. Then, we want to analyze a game played within the framework of this model, and not a game in an imaginary world. We also want to study the specific interactive mode t h a t also mimics the p a t t e r n of play in the real world. If the associated solution does not exist, we do not apply another solution, since the latter reflects an unrealistic p a t t e r n of play. Instead, we accept the fact t h a t the observed phenomena are disequilibrium phenomena, t h a t is, phenomena which we experience in the course of successive formations of blocking coalitions. T h u s , if the existence of an equilibrium is not guaranteed, the study object should be the endless formations of coalitions. 1 1 We quoted the prisoner's dilemma game for the expository purpose. We do not say that this one-shot game mimics the major aspects of the present-day world, or that
98
8.A
II: Solutions, Information
Revelation
Appendix to Chapter 8
We will review two static game-theoretic models and associated descriptive solution concepts in this appendix. T h e first model, due to A u m a n n and Peleg (1960), is called a game in characteristic function form without side payments, or simply a non-side-payment game, and defines the set of attainable utihty allocations in each coalition. Let N be a finite set of players, and let Af := 2N \ {0} be the family of all nonempty coalitions. A non-side-payment game associates with each coalition S a subset V(S) of R s . T h e intended interpretation is t h a t the members of S can make a coordinated choice of strategies and realize a utility allocation in S, {UJ}JGS £ R- S , iff {uj}jeS £ V{S). Notice t h a t the feasible-strategy concept is hidden behind the model, although it is essential in understanding the meaning of the set V(S). Notice also t h a t the attainability of 5's utility allocations is determined here independent of strategy choices of the outsiders N\S, and this no-externalities simplifies the analysis and at the same time limits the applicability of the model. By identifying the # S - d i m e n s i o n a l space R s with the subspace of the ^ ^ - d i m e n s i o n a l space, {u£RN
\V j £ N\S
:Uj
=0},
we can define a non-side-payment game as a correspondence V : Af —> RN such t h a t V(S) C R s for every S € Af. The past studies of a non-sidepayment game have proven t h a t we can facilitate our analysis if we look at the cylinder in RN based on V(S), V(S) instead of V(S)
:= {u £KN
\ ({Uj}J&s,0)
£
V(S)},
itself. We thus have the following definition:
D E F I N I T I O N 2 . 1 . 2 ( A u m a n n a n d P e l e g , 1 9 6 0 ) Let AT be a finite player set and let Af := 2N \ {0} be the family of all nonempty coalitions. A game in characteristic function form without side payments is a correspondence V : Af —> RN, such t h a t V 5 G Af : (V u, v € R N : Uj =
Vj
for all j £ S) :
[u£V{S)*>vGV(S)]. It is synonymously called a non-side-payment utility game, or an NTU game.
game,
a
non-transferable-
the associated repeated game is unrealistic. On the contrary, the implications of longrun threat and commitment in the repeated game, as formalized in the folk theorem, constitute a real principle working in the present-day world.
8:
99
Existence
The central descriptive solution of game V is a core utility allocation, defined as a utility allocation which is attainable in the grand coalition N (condition (i) in the following definition 8.A.1), and which cannot be improved upon by any coalition (condition (ii)). DEFINITION 8.A.1 (Aumann and Peleg, 1960) Let V : N -> RN be a non-side-payment game. The core of the game V is the set of utility allocations u* G HN such that (i) u* G V(N), and (ii) it is not true that 3 S G M : 3 u G V{S) : V j G S : Uj > u*. To date, there are two fundamental theorems, each establishing a condition for nonemptiness of the core of a non-side-payment game: balancedness and ordinal convexity. In this book, we concentrate on the former. For each S C N, define the characteristic vector of S, \s G R™, by: . _ ( 1 vXsJj • | 0
iij€S if
j
e N
\
S
.
A subfamily B of Af is called balanced, if there exists an indexed set of nonnegative real numbers, {As e R + | S e B}, such that J^seB ^sXs = XN- Notice that
XI XsXs = XN O V j G N : see
Y,
As = 1.
seB-.SBj
The set {As G R+ | S G B] is called associated balancing coefficients. A partition is a balanced family for which the associated balancing coefficients are all 1. A non-trivial, balanced family for the three-person case {N = {1,2,3}) is B = {{1,2}, {2,3}, {3,1}}, for which the associated balancing coefficients are given by As = 1/2 for all S G B. Here is one interpretation of the balancedness condition on a family B: Suppose that each player can put fractions of his total effort into several coalitions. Nobody puts positive effort in coalitions other than those of B. Player j puts fraction As of his total effort into coalition S G B for which 5 9 j . Since the fractions are summed up to 1, ^ISGBSBJ ^S = 1 for every player j . Every member of coalition S puts fraction As of his total effort. A non-side-payment game V is called balanced, if for every balanced family B, it follows that
p| seB
V(S) C
v(N).
100
II: Solutions, Information
Revelation
T h e balancedness condition on non-side-payment game V says t h a t for any balanced family B, if utility allocation u G HN is such t h a t {UJ}JGS is attainable in each member S of B, then this allocation u is attainable in the grand coalition N. This way, the balancedness condition on V makes explicit the extent to which the grand coalition is efficient. T h e balancedness condition on game V is best interpreted in each economic context: In an specific economic context, one starts with an economic model £ which idealizes the context, and derive from £ the associated nonside-payment game V. Cooperative behavior in £ is summarized as a cooperative behavior in V. T h e art of theory is to identify economically meaningful conditions on £ under which the associated game V is proved to be balanced. Scarf established the following theorem 8. A.2, which says t h a t the balancedness condition on game V, together with minor regularity conditions, guarantees nonemptiness of the core of V. Condition (i) of the theorem, customarily called the comprehensiveness, says t h a t if utility allocation us is feasible in coalition S and if vs < us, then utility allocation vs is also feasible in coalition S; this is nothing but free disposal. Condition (ii) says t h a t there is an upper bound for the feasible, individually rational utility allocations. Condition (iii) is a technical assumption; actually, it can be replaced by a weaker assumption: V(N) is closed in R " . T H E O R E M 8 . A . 2 (Scarf, 1 9 6 7 ) Let V : Af - • RN be a non-sidepayment game, and define b G R N by: bj := sup {UJ E R | u G ^ ( { i } ) } , for every j £ N. The core ofV is nonempty if: (i) V(S) - R £ = V(S) for every S G M; (ii) There exists M 6 R such that for every S 6 Af, [u € V(S),u > b] implies [UJ < M for every j € 5 ] ; (iii) V(S) is closed in RN for every S 6 Af; and (iv) V is balanced. It is easy to extend the model of non-side-payment game, the core concept, and the Scarf theorem, in order to explain endogenous realization of a coalition structure in equilibrium (rather t h a n realization of the grand coalition). However, some coalition structures may not be realized in equilibrium, due to, e.g., a legal restriction. Therefore, let % be the family of admissible coalition structures, a priori given to the model. T h e generalized core of game (V,T0) is a pair (u*,T*) of a utility allocation u* G HN and an admissible coalition structure T* € To, which satisfies the definition 8.A.1 of the core, except t h a t condition (i) be replaced by: VTGT*
:U* G
V(T).
T h e coalitions in T* are formed and coexist in equilibrium.
8:
101
Existence
A generalized core is nonempty, if game (V, %) satisfies all the conditions of theorem 8.A.2, except that condition (iv) be replaced by: (V B : balanced) : f] V{S) C ( J f] V(T). seB TeT0TeT We turn to the second model. It explicitly formulates the strategy concept in the model, and encompasses situations in which the set of attainable utility allocations of coalition S is influenced by strategy-choice of the outsiders N\S. Among the game-theoretical models designed for explicit analysis of players' strategic interaction are: a game in normal form, a game in extensive form, and a Bayesian game (definition 2.1.1). A Bayesian game is an extension of a normal-form game to incomplete information, formulated as an extensive game with a specific context. A game in normal form is a specified list of data {X^U^J^N of a finite player set N, a strategy set Xi, and a utility function u J : YlieN X1 —> R for each player j . A Nash equilibrium is a descriptive solution to a normal-form game, defined as a strategy bundle {X*^}J&N £ IL-gw-^' s u c n that -. 3 j e N : 3 xj e Xj : uj(xj, x*N\{j})
> uj(x*).
It is a noncooperative solution concept: No player is aggressive enough to make a coordinated choice of strategies with other players in order to pursue his self-interest. The theme of this book is analysis of players' behavior which is aggressive enough to take advantage of the effects of coordinated behavior with other players. For each coalition 5 € J\f, the members' joint strategy space is the Cartesian product, Xs := I I J G S - ^ ' - Set X := XN for convenience. We introduce three ingredients to the normal-form game. The first ingredient is the feasibility concept for strategy bundles. The feasible-strategy correspondence of coalition S is a correspondence FS : X -> Xs (we may assume that Fs depends only upon x N\s £ XN\S). By choosing strategies x ^ , the players outside coalition S influence the members of S, indirectly by restricting S's feasible joint-strategies to Fs(x). Notice the possibility, Fs(x) ^ Tljes F^(x); an important possibility not covered by the normal-form game. The second ingredient generalizes the utility function u-7', in order to cover the situation in which player j ' s utility also depends on the coalition N s
II: Solutions, Information
102
Revelation
that j belongs to, as it is affected by a (nonstrategic) environment specific to S. We introduce utility functions, uJs : X —* R, for every S for which S 9 j . The value u3s(x) is player j ' s utility level when he belongs to coalition S, the outsiders choose strategy bundle xN^s, and the members of S choose xs. As in the normal-from game, the players outside coalition S influence the members of S, directly by affecting the utility function u3s of every j € S. The third ingredient is admissibility of a realized coalition structure. Let 7o be the family of admissible coalition structures, a priori given to the model. DEFINITION 8.A.3 (Ichiishi, 1981) A society is a list of specified data, S := ({XJ}jeN, {F 5 } S e A f, {uJs}jeSeM, %), where A'' is a finite player set, X J is player j ' s strategy set, feasible or infeasible, Fs : X —> Xs is coalition S"s feasible-strategy correspondence, uJs : X —> R is j ' s utility function as a member of S, and To is a family of admissible coalition structures. The strong equilibrium of a normal-form game is a strategy bundle x* 6 X such that -3S,GAT:3xsGXs:VjG5:
UJ{XS ,X*N^S)
> u3(x*).
This is readily extended to a society. In the following definition 8.A.4, condition (i) stipulates feasibility of strategy bundle x* via coalition structure T*, and condition (ii) stipulates coalitional stability. DEFINITION 8.A.4 (Ichiishi, 1981) A social coalitional equilibrium of society S is a pair of a strategy bundle and an admissible coalition structure (x*,T*) e X x T0 such that ( i ) V T e T ' : x*T e FT{x*); and (ii) it is not true that 3 S e N : 3 xs G Fs{x*) : VjG5: uis{xs,x*N\s)>uir{j)(x*), where T(j) is the unique member in T* such that T(j) 3 j .
8:
103
Existence
Notice that society S reduces to a game in normal form, and a social coalitional equilibrium reduces to a Nash equilibrium, if the finest coalition structure is the only admissible coalition structure, To =
{{{j}\jeN}},
the feasible-strategy correspondences do not impose restrictions, V S£Af:VxeX
: Fs(x)
=
Xs,
and players receive a very low utility as members of a non-singleton coalition, {V S e Af : #S > 2) :V j E S :V x e X : ujs(x) = -oo, so that there is no point in forming a non-singleton coalition. Notice also that society S reduces to a non-side-payment game, and the set of social coalitional equilibria reduces to the core, if the coarsest coalition structure is the only admissible coalition structure, % =
{{N}},
each player's strategy is his utility level (a real number), the feasiblestrategy correspondences are the constant correspondences that describe sets of attainable utility allocations, V S£Af:VxeX
: Fs(x)
= V(S),
and each player's utility function is the projection of the utility bundle to his own utility, V S e A f r V j e S r V u e R " : u^(u) =
Uj.
We have pointed out that a social coalitional equilibrium of a society is an extension of a strong equilibrium of a game in normal form. Indeed, society <S reduces to a game in normal form, and a social coalitional equilibrium reduces to a strong equilibrium, if the coarsest coalition structure is the only admissible coalition structure, To =
{{N}},
the feasible-strategy correspondences do not impose restrictions, V 5 e 7 V : V x e X : Fs(x)
=
Xs,
and players' utility functions are not affected by (nonstrategic) environments specific to the coalitions they belong to, V j £ N : 3 uj : X -> R : (V S G M : S 3 j) : 4 = uj.
104
17: Solutions, Information
Revelation
It has been widely discussed t h a t a strong equilibrium of a normal-form game frequently fails to exist, as the prisoner's dilemma shows. In the rest of this appendix, however, we will present some positive existence results for a social coalitional equilibrium. T h e general existence theorem is applicable to a normal-form game, but in such a case the conditions for the existence are too stringent (certainly the prisoner's dilemma game does not satisfy them). T h e conditions for the existence of a social coalitional equilibrium t u r n out to be plausible when the model of society is specialized differently. Many interesting economic examples which involve coalition formations fall into the latter category. T h e general existence theorem (theorem 8.A.5) imposes conditions not only on the primitive d a t a of society S but also on the following derivative concept of parameterized non-side-payment games. Here, a strategy bundle x € X is taken as a parameter.
«eR'
VS(S) :=
3 Xs eFs{x) U^U^X3,^)
:V j e S : \ J'
A social coalitional equilibrium strategy bundle x* is a fixed point of the core-correspondence,
{
the strategy bundles t h a t give rise to the generalized core utility allocations of game (V s ,7o)
T h e Scarf theorem (theorem 8.A.2) is not applicable here, since this correspondence is in general disconnected-set-valued, so even if we can apply the Scarf theorem to each parameterized game (VS,TQ), we cannot obtain a fixed point. T H E O R E M 8 . A . 5 (Ichiishi, 1 9 8 1 ) Let S be a society. There exists a social coalitional equilibrium of S, if (i) X-7 is a nonempty, compact, convex subset of a Hausdorff locally convex topological vector space over R for every j 6 N; (ii) u3s is continuous in X for every S £ Af and j 6 S; (iii) F is upper and lower semicontinuous in X, and is nonemptyand closed-valued for every S € J\f; (iv) given any x G X, the non-side-payment game with admissible coalition structures (VS,TQ) is balanced, that is, for every balanced family B,
n vs(s) c u n V^T^
Sefi
and
T£T0T£T
(v) given any x € X and any generalized (Vx:%), the set
core utility allocation u of game
8:
105
Existence
| J J ] {xT e FT(x) T6T 0 Ter
I V j E T : u^xT,xN\T)
> u3}
is convex. T h e balancedness assumption (iv) and the convexity assumption (v) in theorem 8.A.5 are probably too obscure to capture, since each imposes on the model an implicit relation between Fs and u°s. T h e following corollary is proved by showing t h a t these assumptions are derived from a plausible assumption only on Fs and another plausible assumption only on v?s. This last assumption on u3s defines an important special case of the society; the special case is distinct from the game in normal form. Define Fs(x)
:= {{xs, 0) I x s e
Fs(x)},
where 0 is the origin of the vector space spanned by XN\S, lies in the vector space spanned by X for all 5 .
so t h a t
Fs(x)
C O R O L L A R Y 8 . A . 6 (Ichiishi, 1 9 8 1 ) Let S be a society. There exists a social coalitional equilibrium of S, if assumptions (i), (ii) and (Hi) of theorem 8.A.5 are satisfied, and if (vi) for any x £ X, and any balanced family B with associated balancing coefficients {\S}SEB, it follows that
J2 XSFS(X) c (j Yl ^T(S); see
TeT0 TeT
(vii) for each j £ N, there is a quasi-concave such that u
s(x)
=
v?^),
and
utility function
M-7 : X^ —> R ,
for all S G Af, j £ S, and x £ X.
T h e special case of a society, as stipulated by condition (vii) of corollary 8.A.6 cannot include the normal-form games. In particular, unlike the normal-from game, the players outside coalition S cannot influence the members of S directly through the utility functions; this is a society in noexternality case. Nevertheless, by choosing strategies xN\s, the outsiders N \ S influence the insiders S, indirectly by restricting S"s feasible jointstrategies to Fs(x). There are abundance of economic examples of the latter kind of externalities, e.g., marketing strategies of competing firms in a production economy in which a coalition of human-resource holders is identified with a firm, public goods, and water pollution to the fishing industry. We close the appendix to chapter 8 by presenting a variant of the model of society. It is a family of societies, Sq, parameterized by q £ Q. For
106
II: Solutions, Information
Revelation
each parameter q, the player set of the society Sg is TV, player j ' s strategy space is X7', and his utility function is u^q,-) : X* —> R, the feasiblestrategy correspondence of coalition S is Fs(q,-) : X —> X s , and the family of admissible coalition structures is T>. The new ingredient is that the parameter responds to a prevailing value of the pair, (q,x), and this response is given by correspondence, G.QxX^Q. The intended scenario goes as follows: We start with a parameter q, so the players interact with each other in the society Ss- If they end up choosing a strategy bundle x in Sq, the parameter changes from q to a new value Q€ G(q,x), and the players re-start their interaction in the new society S=. D E F I N I T I O N 8. A. 7 A parameterized family of societies is a list of specified data, ( { 5 , } , e Q ) G):=({X*,u*}j€N,
{Fs}SeX,
Q, G, T0),
where N is &finiteplayer set, Q is a parameter set, Xj is player j ' s strategy set, feasible or infeasible, u-7 : Q x X3 —> R is j ' s utility function, Fs : Q x X —> Xs is coalition S"s feasible-strategy correspondence, G : Q x X - » Q is parameter's response correspondence, and % is a family of admissible coalition structures. The social coalitional equilibrium concept is readily extended to the parameterized family of societies. It is a triple of a parameter value, a strategy bundle and an admissible coalition structure, (q*,x*,T*) e Q x X x To, such that (1) given q*, (x*,T*) is a social coalitional equilibrium of the society <Sg., and (2) given (q*,x*), q* is stationary. D E F I N I T I O N 8.A.8 A social coalitional equilibrium of a parameterized family of societies ({Sq}geQ, G) is a triple (q*,x*,T*) G Q x X x T0 such that (i) VT£T*:x*T £FT(q*,x*); (ii) n B S e A f : 3 x 5 G F s (*,£*) : V j e S : u^(q*,x^) >v?{q*,x*i); (iii) q*eG(q*,x*}. T H E O R E M 8.A.9 Let ({Sq}qeQi G) be a parameterized family of societies. There exists a social coalitional equilibrium of ({Sq}qSQ, G), if (i) X3 is a nonempty, convex, compact subset of R m j for every j € N; ([') Q is a nonempty, convex, compact subset o / R m ° ; (ii) u3 is continuous in Q x X J , for every j € JV;
8:
107
Existence
(iii) Fs is upper and lower semicontinuous in Q x X, and is nonemptyand closed-valued, for every S G TV; (iii') G is upper semicontinuous in Q x X, and is nonempty- closed- and convex-valued; (iv) for any (q,x) G Q x X, the non-side-payment game Vg,x '• N —» R-W defined by Vq,s(S) := {u G RN | 3 Xs € Fs(q, x) : V j G S : Uj < uj(q,
xj)}
is balanced; and (v) for any (q,x) € Q x X and any utility allocation u in the core the set {x G FN(q, x) | V j G N : uj{q, xj) > Uj) is convex.
ofVqS,
This page is intentionally left blank
Chapter 9
Approaches to Information Revelation Each player j is endowed with his private information structure T-7, so he knows his true type P at the beginning of the interim period. By the time the strategy execution is over, player j will have narrowed down the range of his colleague i's possible true types to a subset A\ of T\ In other words, while the players start with the null communication system { T J ' } j e w , they end up with an endogenously determined finer communication system {AJ}je^. This information revelation process is not easy to analyze, since a player j may not want to pass on his private information to his colleagues, and even if j decides to do so, his colleagues may think t h a t j is not truthfully passing on his information but is trying to manipulate t h e m with false information. This chapter will review two approaches taken in the literature for endogenous determination of an information structure: (1) passive information revelation by action; and (2) active information revelation by credible transmission of information (e.g., by credible talking). Approach (1) is classified into two specific approaches: ( l a ) information revelation by contract execution, and ( l b ) information revelation by choosing a contract. There are formal works in the literature for approaches ( l a ) and (2); we will review the works for ( l a ) in sections 9.1 and 9.2, and the works for (2) in section 9.5. Formal study of approach ( l b ) is still left uncultivated, but we will present known examples to illustrate the idea in section 9.3. One formal work pursuing approach ( l b ) is an application of the (trembling-hand) perfect equilibrium or the sequential equilibrium; although no general theorems have been obtained to date, we will present this line of thoughts in section 9.4, adapted to our cooperative framework.
109
II: Solutions, Information Revelation
110
9.1
By Contract Execution
This approach borrows ideas for information update from the rational expectations equilibrium analysis. In the latter framework, somebody announces a price function p : T —> R' to the economic agents. When an economic agent observes a price vector p, he realizes that the event p _ 1 ( p ) C T has occurred (see, e.g., Radner (1979)). In the Bayesian society in the private information case, the members of coalition S agree on a strategy bundle xs, everybody in the coalition knows his colleague i's strategy xl, so if i makes a choice cl then the members of S realize that the event (a;*) (cl) C T has occurred. Choice is postulated to be observable, so moral hazard problems are excluded. We remark that while formation of the price function p is still an open research agenda, there is an explicit scenario for formation of the strategy bundle xs, that is, coordinated strategy-choice by the members of S. This section and next section present two works on this information revelation process, Ichiishi, Idzik and Zhao (1994), and Ichiishi and Radner (1999). The essential message of these works is that even if a game starts with the situation characterized as the private information case, it ends up with the full communication system. Ichiishi, Idzik and Zhao (1994) studied an ex ante determination of a strategy bundle, taking into account the above process in the general framework of the Bayesian society
S := ([C\T*,u\{iJ(.
| f')W*}i6JV,
{ClT(S),Fs}SeM)
(definition 2.1.3). Since the focus here is an ex ante equilibrium, we postulate that there exists an ex ante probability IT on T, assumed to be objective (therefore, 7rJ'(- | V) is the conditional probability of 7r given P). Moreover, we assume 7r 3> 0 (hence T(S) = T) for simplicity of the analysis; this assumption may be dropped. For full analysis of players' behavior before and after update of information, Ichiishi, Idzik and Zhao introduced an additional structure to S (postulates 9.1.1 and 9.1.2 below). The first postulate says that each player makes choice twice, once in the first interim period, and then in the second interim period. The players act simultaneously at each round. POSTULATE 9.1.1 For each player j e N, his choice set is of the form,
0 =C{ x C [ Set cP = (cj, Cj). Player j makes choice c{ (c^, resp.) at his information set of the first interim period (the second interim period, resp.).
9: Information
111
Revelation
For two information structures B and C (algebras on T), denote by B V C the algebra generated by B\JC (the smallest algebra on T that contains both B and C). For any set Z and any function / : T —> Z, denote by A(f) the algebra generated by / (the smallest algebra on T that contains the sets {f~l{z) | z G Z}). A strategy of player j in coalition S is also denoted by (xi(-),a^(-)). Given a strategy bundle xs, information is processed within coalition 5 in the following way: In the first interim period, each player has only his own private information. So, the component ij(-) has to be T J -measurable. If it is common knowledge in S that player j has the incentive to make a choice (say, c\) in the first interim period according to his true type, then by the beginning of the second interim period the occurrence of event {VeT>\x{(ti)=c>} has become common knowledge in S. Let t be the true type profile, and suppose choice bundle cf G Cf is made in the first interim period. Then each player j has the information that event {t£T\tJ
=P,
arf(t) = cf}
has occurred with probability 1. When designing the other component of the strategy bundle xf (x^ies, the members can anticipate that the information structure,
=
r(xf):=r\/l\/A(xi) is available to i at the beginning of the second interim period, and make each x\ measurable with respect to it. Thus, we can make the following postulate of information-revelation process: POSTULATE 9.1.2 Given any strategy bundle x e X, coalition S designs only those xs G Fs(x) such that for all j G S it follows that (i) x\ is measurable with respect to T-7, and (ii) x\ is measurable with respect to T^ixf). Denote by F's(x) the set of those feasible strategies xs that satisfy postulate 9.1.2 (information-revelation process):
F'»(x) := {x
b
b
eF {x)
VjGS: \ J x\ is measurable with respect to T , and > . x\ is measurable with respect to T^(xf) )
112
17: Solutions, Information
Revelation
Recall t h a t in order for the present information-revelation process to work, the members of coalition S need to have the common knowledge t h a t each player has the incentive to make a choice in the first interim period according to his true type. After all, the contract will not be enforced, if some member has the incentive to make a choice with false pretension about his true type either during the first interim period or during the second interim period. If the members of S foresee a t the time of contract design t h a t a particular contract xs may later induce such false pretension, they do not agree on the contract xs. Instead of the strategy set F's(x), therefore, they will consider only the restricted subset Fs(x) of those strategy bundles t h a t are Bayesian incentive-compatible. T h e definition of Bayesian incentive compatibility in the context of postulates 9.1.1 and 9.1.2 is much involved; see postulate 9.A.1 and fact 9.A.2 in the appendix to this chapter for the detail. W i t h the feasible-strategy correspondences Fs : X —> X s modified this way, we can define a Bayesian incentive-compatible strong equilibrium as in definition 5.2.2: (i) x* G FN{x*); and (ii) it is not true t h a t 3 S G JV : 3 xs G Fs(x*)
: V j G S : Euj(xs,x*N^s)
>
Euj(x*).
T h e difficulty in establishing an existence theorem for the present Bayesian incentive-compatible strong equilibrium lies in the fact t h a t even if Fs is well-behaved, Fs is not convex-valued or upper semicontinuous, so the s t a n d a r d existence techniques do not apply. Ichiishi, Idzik and Zhao (1994) provided generic existence theorems for a Bayesian incentive-compatible strong equilibrium. Again, a generic existence theorem was established first for the general class of Bayesian societies with externalities in which each utility function ui depends fully on (c, t) G C x T, and then as its application a generic existence theorem was established for the specific class of Bayesian societies without externalities 1 in which each utility function ui depends only on (c J , V) G C-7 x TK Assumptions of the theorem for this specific class are stated only in terms of the exogenously given d a t a <S's. Notice again t h a t in spite of the terminology "no-externalities", the feasible-strategy correspondences Fs depend fully on x G X, and to this extent externalities are still considered. A Bayesian society studied here is a specified list of data, S:=
({C*,T*,uj,n}jeN,
{C* F S } S 6 ^ )
(definition 2.1.3), with a rich structure (postulates 9.1.1 and 9.1.2). Here, the ex ante objective probability 7r is assumed to be strictly positive. ' T h e concept of no-externalities is more stringent here than in theorem 8.2.1.
9: Information
113
Revelation
We first discuss the no-externalities case: u^Xjt) = u^{x^,P). One part of the data ({&,T* ,u*,it}j£N, {CfyseN') w1^ be fixed throughout. By changing the other part of the data from {Fs}seM to {F^s}szj\f, we obtain another Bayesian society 5+ := ( { C ' ' , T ' V , 7 r } j e J V l {Cf , F + s } S e ^ ) • By varying {Fs}seM, one obtains the space of Bayesian societies, SPACE ne . The space will be endowed with a natural pseudo-metric d. The pseudometric space (SPACEne, d) of Bayesian societies will thus be constructed. A property V is called a generic property of a Bayesian society in SPACE ne , if there exists an open and dense subset SPACE ne of (SPACE ne , d) such that every S £ SPACE ne satisfies V. The first main theorem of this section (theorem 9.1.4 below) clarifies conditions on SPACE ne under which the following are generic properties of a Bayesian society: • There exist multitude of Bayesian incentive-compatible strong equilibria. • There exists a Bayesian incentive-compatible strong equilibrium x* such that it fully reveals private information by the end of the first interim period. Thus, a Bayesian society generically has a Bayesian incentive-compatible strong equilibrium which processes the null communication system to the full communication system through players' actions during the first interim period. In the context of the present structure (postulates 9.1.1 and 9.1.2), the essential role of the feasible-strategy correspondences {Fs}s<=N in Bayesian society S is described by the correspondences {G }seAf defined by GS(x)
xs e Fs (x)
VjeS: x\ is T-'-measurable, and xi is T s -measurable
We will give a precise definition of set SPACE ne : It consists of all Bayesian societies satisfying the five conditions in assumption 9.1.3. The first two conditions are on the fixed data ({C J , T J , v?\ 7r}jSyv, {CQ}S£M)> hence on the fixed strategy-spaces X^ := {x^ : T —> C J } . Conditions (iii)-(v) are on each { F s } s which defines a member of SPACE ne . A S S U M P T I O N 9.1.3 (i) (1) For every j e N, his choice set CJ is a nonempty, compact, convex and metrizable subset of a real Hausdorff locally convex topological vector space. (2) For every j £ N, his von
114
II: Solutions, Information Revelation
Neumann-Morgenstern utility function uj depends only on (cJ, t3) G C3 x T3, and moreover, u3{- ,tJ) is linear affine and continuous on CJ for each (ii) For each j £ TV, there exist c3m £ C3 and a finite subset Cl of C3 such that (1) for all c? £ C) and all t ^ F , u3(c3,t3) > v?{c?m,V)\ (2) for all c3,c'3 G C} for which c3 ^ c'3, it follows that c{ + c3; (3) for all t3,t'3 G T3 for which #' ^ ^ ' , there exist c^',^' G C} such that us(c>,tj) > u3{c'3,t3), and u3(c'3,t'3) > u3{c3,t'3). (iii) (1) For each 5 G TV, correspondence G s : X —» Cs is upper and lower semicontinuous in X, and for each x G X, Gs(x) is nonempty, closed and convex. (2) The correspondence GN(•) is a constant correspondence on X, so one may write GN := GN{x). The set G w is relatively strictly convex (the strict convex combinations of any two distinct members of GN are in the relative interior of GN). There exist x, x' G GN such that
Eu(x) < Eu(x'). (iv) Choose any x G X and any balanced subfamily B of Af \ {N} with the associated balancing coefficients {Xs}seB- For each S G B choose any (X^^JZS G Gs(x), and define T J -measurable strategy xj : TJ' —> CJ' by
^(P) := ^
As ( V V ) , ^
TT(*^^> I
t^P(P,t s \«)] .
Then, x e GN. (v) For each S £ N one of the following two conditions holds true: (1) Gs(-) is a constant correspondence; or (2) For each j G S, there exists a finite subset Cj of C3 such that for every x £ X, Yijesi30'' • T3 ~~* co Cj} C F s ( x ) , and such that for all t3,t'3 £ T3 for which V ^ t'3, there exist c3\c'3 £ Cj so that u3{c3,t3) > u3{c'3\t3), and u3{c'3\t'3) > u3(c3,t'3). Here, the convex hull of a subset A of a vector space is denoted by co A. Condition (i.l) is standard in economic theory. Condition (i.2) describes no-externalities, and moreover, imposes a condition which is interpreted in two different ways: First, if each of spaces C[ and C32 consists only of pure (or, deterministic) choices, then it means the risk-neutrality. Second, if each of spaces C{ and C32 consists only of mixed choices (or probabilities on pure-choices) for j , if u3{- ,t3) is interpreted as the expected utility as a function of j's mixed-choice pairs, and if the underlying von NeumannMorgenstern utility function is additively separable with respect to the pure choice of the first interim period and the pure choice of the second interim period, then condition (i.2) is automatically satisfied.
9: Information
115
Revelation
Conditions (ii) and (v.2) are made so that they guarantee existence of a strictly Bayesian incentive-compatible strategy bundle; see Abreu and Matsushima's lemma (lemma 4.1.2 of this book). Condition (iv) is a version of the balancedness condition on the sets, Gs(x), S 6 Af, and makes explicit the extent to which the grand coalition has a large feasible-strategy set GN. It means (1) that for each j the combination of the strategies {x^tyses-.SBj with the convex coefficients {^s}seB:S3j is feasible in the grand coalition; and (2) that each member j is insured in the grand coalition to be able to choose x^(P) at any state
t G {P} x r*w>. Since each & is a metric space (condition (i.l)) and T is finite, X? is also a metric space. Denote by ps the Hausdorff distance on the closed subsets of Xs. The pseudo-metric d on SPACE ne is defined by: d(S,S*) : = m a x m a x
s
Ps(G
(x),Gts(x)).
Notice that d may not be a metric, since two distinct sets, Fs(x) F^s(x), may give rise to the identical sets, Gs(x) = G t s ( x ) .
and
T H E O R E M 9.1.4 (Ichiishi, Idzik a n d Zhao, 1994) Let (SPACE ne , d) be the pseudo-metric space of Bayesian societies without externalities satisfying postulates 9.1.1 and 9.1.2, constructed in accordance with assumption 9.1.3. The following is a generic property of a Bayesian society in (SPACEne, d): There exist multitude of Bayesian incentive-compatible strong equilibria, and there exists a Bayesian incentive-compatible strong equilibrium x* such that x\J is 1-1 on TK2 We turn to the general case, in which each von Neumann-Morgenstern utility function fully depends on (x, t) € X xT. We will establish a Bayesian incentive-compatible strong equilibrium generic existence theorem for the general case (theorem 9.1.6), and derive the generic existence theorem for the no-externalities case (theorem 9.1.4) as a corollary. To establish theorem 9.1.6, one needs to introduce the concepts of strong Bayesian incentive compatibility and weak Bayesian incentive compatibility, and the associated feasible-strategy sets G^(x) and G^(x). Formally the set Gf (x) is defined by: xs e Gf(x), iff xs G Gs(x), and for all j G S, all ts G Ts, and all V G T^, Eu'(xs,
xN\s
| ts)
> EuJ ({x{{P), 2
xJ2(P,is\^)),
Function x*^ is T^-measurable, iff it may be considered a function only of P 6 T ' . A T^-measurable function is called 1-1 on T-', if it is 1-1 as a function defined on TJ.
116
IT: Solutions, Information
(xS^{j}(is\^),
Revelation
xf^V,*^ 0 '*)). *NXS I iS)-
The set G^(x) is defined by: xs € G£(z), iff xs £ Gs(x), and for all j £ 5 , and all P',*-' € P ,
£uJ'(xs, x w \ s | f )
^>(P,.)). ^ 5 | * * ) . Define the parameterized ex ante non-side-payment games Vs HN, xeX, by: VS(S)
:=
|«£R
VS(N)
:=
V(N)
JV
3 xs £ G*(x) : V j € 5 : u,- < ^ ' ( x ^ x ^ 5 ) u £ R
N
3 ^ e G f : V j £ i V : Ui
M
\ liS^N; J
<Eu'(xN)
}•
Assumption 9.1.3 (ii), (iv), (v) are replaced in the general case by the following assumption 9.1.5 (vi), (vii), (viii), respectively. A S S U M P T I O N 9.1.5 (vi) There exist a constant strategy for each j £ N, x£, : 11—• cJm, and a Bayesian incentive compatible strategy bundle for the grand coalition N, XM '• T —> C, such that each ; is T J -measurable J and is 1-1 on T ', and such that for all S and all j £ S, Eu^(x^, xM X EuJ(xM)(vii) For every x £ X, the non-side-payment game Vs is balanced, that is, for every balanced subfamily B of Af, C\s€gVx(S) C V(N). (viii) For each S (E Af one of the following two conditions holds true: (1) G s (-) is a constant correspondence; or (2) there exists xs £ X s such that for every x £ X, xs £ Gs(x) and for every j £ 5 , every ts £ T s and every & £ T-? \ {£•>'}, it follows that
^'(^
F^S
|?) £^((xi(P), 4(P,ts\^>)), > (ifU^-sUi)), x f {j}(P',is\W)), x ^ s
Let ({C J , T J , u J , 7T}J6A/, {CQ }SSAA) be a list of given data, which satisfies assumptions 9.1.3 (i) and 9.1.5 (vi). The space of Bayesian societies SPACE is the set of all Bayesian societies obtained by adding to this list all {Fs}sej\f which satisfy assumptions 9.1.3 (iii), and 9.1.5 (vii) and (viii). The pseudo-metric d on SPACE is defined by: d(S.S')
:=maxmax ' seM sex
ps(Gs(x),G'IS, x)). v
v
9: Information
117
Revelation
T H E O R E M 9.1.6 (Ichiishi, Idzik and Zhao, 1994) Let (SPACE, d) be the pseudo-metric space of Bayesian societies that satisfy postulates 9.1.1 and 9.1.2, constructed in accordance with assumption 9.1.3 (i) (Hi) and assumption 9.1.5. The following is a generic property of a Bayesian society in (SPACE, d): There exist multitude of Bayesian incentive compatible strong equilibria, and for at least one of them x*, x\3 is 1-1 on T-3 for every j€N. Proof of theorem 9.1.6 will be given in the appendix to chapter 9. Derivation of theorem 9.1.4 from theorem 9.1.6 In view of Abreu and Matsushima's lemma (lemma 4.1.2 of this book), conditions 9.1.3 (ii) and (v) imply conditions 9.1.5 (vi) and (viii), respectively, in the no-externality case. It suffices to show that in the no-externality case, condition 9.1.3 (iv) implies condition 9.1.5 (vii). Let B be a balanced family with the associated balancing coefficients {\s}seB- If B 3 N, there is nothing to prove; so assume B $ N. For each S G B there exists (x^s^)jes € G^(x) such that V j G S : Uj <Euj(x{s)j).
(9.1)
By the definition of Gf,(x), V j EN: ( V S e B : S 9 j) : V P,P G T^ : Ev? (z<sW | P) > E\i? (x[S)j(P),
x{2S)j (P, •)
p\ .
That is (using the affine linearity of wJ(- , P)), ui(x[s)j(P), ]T V ts\U}
7r(ts\^\P)x{2S)j(P,ts\^),p'\ J
> u* (x[S)\P), J2 7r(iSU'} I V)x[S)\t\ts\^),P
] . (9.2)
Define x G GN(x) as in condition 9.1.3 (iv). Then, by (9.2) for any P,P G rpj
EuJ(xj
=
I P)
Yl *su*L[S)i(P), J2 K(ts\^\P)4S)j(P,ts\^},p) S€B:S3j
> =
V
Y, *suj(x[S)j(P), S£B:SBj V Ev?(x{(P),xi2(P)\P).
t s\{3)
Y t \U) s
/
*(ts\^\P)x2S)j(P,ts\^),p\ J
II: Solutions, Information
118
Revelation
Therefore, x € G1^. Moreover, each x^ depends only upon P, so x e G*f. Now, by (9.1), for all j G N,
SeB.SBj
S
X
seB-.SBj
sJ2^J)
£ *(tSX{j} \tj)Euj(x(s)j \P)
v j
tsvo')
= J2Tr{P)Eu {x
j
j
\t )
V
= Thus, u e V(N).
9.2
Eu]{xJ) •
By Contract Execution: A Profit-Center Game with Incomplete Information
A firm in multidivisional form (an M-form firm, in short) is a corporation in which several divisions (or profit centers) are operated semi-autonomously. T h e significance of M-form firms in the present-day economy has increasingly been recognized since the publication of Chandler's (1962) seminal study of their historical development. Each division in an M-form firm is, to a significant extent, an independent decision-maker. 3 As decision-units of the same corporation, however, these divisions talk to each other and coordinate their production activities. Total profit will then be distributed to the divisions. While coordination of production activities better serves interests of the divisions, there arise conflicts when it comes to the imputation of profit. The divisions therefore agree on a specific plan for coordinated activities/imputation, so t h a t no coalition of divisions can improve upon the plan by its own efforts, t h a t is, the plan is self-enforcing. This is precisely the sort of scenarios t h a t strategic cooperative game theory was developed to analyze. Radner (1992) formulated the internal organization of an M-form firm as a profit center game, a static strategic cooperative game with complete information. He applied the core of the game as the self-enforcing agreements, and studied its properties for several interesting cases. Ichiishi and Radner (1999) addressed the information revelation process via contract execution within the model of profit center game with incomplete information V := (£cp,p), defined as a pair of a specific Bayesian 3
Of course, some decisions are typically made by the firm's central management, e.g., levels and types of capital expenditures, location, and even total numbers of employees.
9: Information
Revelation
119
coalition production economy Sep := ({Rhm+kn,T3,
profit function,rJ,7r}_,•<= N,
{Y3}jeN)
and a price vector of the marketed commodities p £ R_J_m (example 2.2.3). Information revelation comes out as p a r t of the planning and implementation process in an M-form firm. Ichiishi and Radner's theory introduces incomplete information into the model of Radner (1992), or equivalently introduces the concrete, economic ingredients of the profit center game into the more abstract formulation of the strategic cooperative game with incomplete information (section 9.1). T h e approach here is in the spirit of the managerial theory of the firm. Because of limitations on the information available to the owners and headquarters of firm, only relatively few parameters of the divisional activities are determined centrally. Then - within those constraints - the divisional managers cooperatively participate in the design and implementation of a corporate plan, including an accounting imputation of the total corporate profit among the divisions. T h e t w o - m i e n m - p e r i o d setup (postulate 9.1.1) and the information revelation process (postulate 9.1.2) are postulated here. Indeed, the twomierim-period framework naturally arises from the economic context: The first interim period is the setup period, and the second interim period is the manufacturing period. T h e setup period is for the divisions' simultaneous decisions about initial investment, setting up their manufacturing processes. T h e manufacturing period is for subsequent decisions about actual choice of an input-output vector, and for imputation of the profit t h a t is made by sale/purchase of the marketed commodities. In example 2.2.3 we noted the distinction of marketed commodities and nonmarketed commodities; while a commodity a in the former category has a price pa established in the market outside the firm, a commodity in the latter category has no price and is used only internally. A transfer payment problem addresses determination of prices of nonmarketed commodities according to a nonmarket mechanism. Just as one division can produce an intermediate nonmarketed commodity while some others cannot, production sets, Yi, j G N, typically differ among the divisions. This usually presupposes asset specificity for each division, as emphasized with empirical evidence by Williamson (1975) and Klein, Crawford and Alchian (1978): Some assets are so specialized t h a t the benefit from their use in the firm overweighs their salvage value in the market. Klein, et al. (1978) call the difference between the benefit and the salvage value the quasi rent value. When the quasi rent value is high, the firm does not bother to sell the assets as scrap, so these resources are classified as nonmarketed commodities. We will focus here on physical-asset specificity such as specialized plants designed for production of specific o u t p u t s and specialized dies required to
120
II: Solutions, Information
Revelation
produce an intermediate commodity, and the human-asset specificity that arises in learning by doing of the human-resource holders. Differences in production sets also reflects differences in specialization. The degree of specialization may well be private information of division j , and this fact actually motivates the present Bayesian formulation of the M-form firm in the following two ways: First, a feasible net output depends on a type-profile. Second, by interpreting the quantity of a nonmarketed commodity a as [the actual physical quantity] x
[its efficiency (degree of specialization)],
the amount of a that division j initially holds depends on j's type P, hence the notation ri{V ,a). [We will see later that the 1-1 property of function r-7 plays an essential role in our analysis.] Due to the specific economic structure of the model, Ichiishi and Radner could establish three exact existence theorems for a full-information revealing ex ante core plan (Bayesian incentive-compatible strong equilibrium specialized to the present framework), rather than mere generic existence theorems of the preceding section (theorem 9.1.4 for space SPACE ne and theorem 9.1.6 for SPACE). Some theorems here are valid even for games that are ruled out from space SPACE. The first result is under the neoclassical convexity assumption on the production sets (theorem 9.2.5). The assumptions made in theorem 9.2.5 are consistent with the presence of intermediate nonmarketed commodities, so the transfer payment problem is fully answered. The second result is for a particular class of total production sets that satisfy increasing returns to scale (theorem 9.2.7). Here, a stronger condition than Scarf's (1986) distributiveness is imposed on the total production set Y. Moreover, the nonmarketed commodities are assumed not to be produced as outputs (so intermediate nonmarketed commodities are excluded from the analysis). Roughly speaking, the set Y is required to satisfy: (1) increasing returns to scale with respect to any equiproportional increase in all the type-profile-contingent commodities; (2) strict convexity of the input-requirement sets (in the space of nonmarketed input plans); and (3) strict convexity of the auxiliary concept of production possibility sets (in the space of marketed net output plans) defined in terms of the hypothetical, derivative concept of "cost function." A non-commodity resource of a division is a resource owned by or assigned to that division, which is not for sale (so it is not a marketed commodity), and which can not be transferred to another division (so it is not a nonmarketed commodity); e.g., a plant of each division. It should be pointed out that the above properties of Y,
9: Information
Revelation
121
(1) and (3), together implicitly assume t h a t whenever a new net o u t p u t plan is to be executed, adjustment of non-commodity resources to the new plan is required. In spite of the inability to analyze the role of intermediate nonmarketed commodities in the second result (theorem 9.2.7), the transfer payment problem for exchange of initially held nonmarketed commodities is explicitly solved by a core profit imputation plan. T h e third result is for a particular structural relationship among the divisions (theorem 9.2.9). Here, the divisions are divided into the suppliers and the customers. T h e suppliers produce and supply to the customers nonmarketed intermediate commodities. T h e customers use these nonmarketed intermediate commodities, produce marketed commodities and bring in profit to the firm. No assumption is made in theorem 9.2.9 on returns to scale. We will present Ichiishi and Radner's formal analysis now. Given a type profile t € T, a profit imputation of coalition S is a vector xs (t) := (xJ(t))j^s whose j t h coordinate is the accounting profit a t t r i b u t e d to division j . A profit imputation plan of coalition S is a function xs : T —> R s , t i-> xs(t). Denoting by ys : T -> R( f c "-+ f c ")# s a net output plan, a s s pair (x , y ) will henceforth be called a plan. Let K be the index set of all commodities; it is partitioned into the index set Km of marketed commodities and the index set Kn of nonmarketed commodities. Let K\ (K2, resp.) denote the index set for the commodities t h a t are produced/used in the setup period (in the manufacturing period, resp.). The family {Ki,K2} is a partition of K, possibly different from {Kn,Km}. Set k := #AT, k\ := #ATi, k2 := #K2. A net o u t p u t plan y J may be written as
Hi)where the components of y{{t) (of y^it), resp.) correspond to K\ (K2, resp.). Define y3m and y3n similarly corresponding to Km and Kn. Define also Kin := Kx f]Kn, kln := #Kin, and define K2n, Kim, K2m, k and &2m similarly. T h e initial resource function r-7 may be written as
Hi)where r{ is a function from T to Rfcl™, and the components of r{(t) correspond to K\n. To start the precise description of the scenario, denote by Fs the set of all technologically attainable plans of a coalition S, t h a t is, the set of all T s - m e a s u r a b l e functions (xs,ys) : T —» R( 1 +' £ )'# 5 ' such t h a t ys is
122
II: Solutions, Information
Revelation
technologically feasible, i.e.,
yseYs:=l[Yi, and such that the total resource constraint is satisfied within 5, i.e.,
Notice that negative imputation is allowed.4 Suppose coalition 5" is to form. The members can consider only plans which obey the information pooling rule (postulate 9.1.2); let F's to be the set of those allowable plans for S, i.e., ?'S
=
s
s
{(x ,y )€F'
Vj € S : y\ is T J -measurable, (x-7, y32) is T J '(i/f)- measurable
The members further restrict their plans to those that satisfy the Bayesian incentive compatibility (postulate 9 A . l and fact 9.A.2 of the appendix to this chapter). Let Fs be the set of allowable, Bayesian incentivecompatible plans for 5. The Bayesian incentive compatibility may be too stringent a postulate that there may not be a strategy in F which is coalitionally stable. To overcome this difficulty, the headquarters play the role of an insurer. A plan (x , ys) is called weakly Bayesian incentive-compatible if for all j 6 S, and all P, P £ Tj, it follows that E(xj | P) > E(xj o (P, id) | P). It is not difficult to show that for a weakly Bayesian incentive-compatible plan (xs,ys), the conditional expectation E{x^ \ P) is independent of P, that is, E(xJ \ T3) is a constant function. This fact motivates the following formulation of the postulate of the headquarters' insurability: POSTULATE 9.2.1 Let (xN, yN) be a technologically attainable plan of the grand coalition such that it satisfies the information-revelation process, and E(xJ \ TJ) is a constant function for each j G N. Then the plan ((Efo | Ti))jeN,yN) is available to the grand coalition N. 4 In the first main result (theorem 9.2.5), the existence of an equilibrium plan (x*N, y*N), called an ex ante core plan, for which V t : V j : x*i{t) > 0 is asserted.
9: Information
123
Revelation
Being an insurer is the only role t h a t the headquarters plays in this game, in addition to participating in the coalitional design of a plan as one of the divisions. By this postulate, division j can receive the accounting profit according to the constant profit imputation plan E(x:> \ Tj). This is justified if the headquarters is risk-neutral. Moreover, this is an easy task for the headquarters, because it does not have to know the true type of division j (the need for insurance occurs only when E(x^ \ V) is the same for all P). This postulate does not reduce the model to a static game. Indeed, while the profit imputation plan for the grand coalition, (E(x:i | Ti))j&N, stated in the postulate has a static flavor as a constant function, it is made possible by non-constant net o u t p u t function yN, and the latter is subject to the information-revelation process. Let HN be the set of all plans (xN,yN) for the grand coalition N such t h a t xN is a constant function, and such t h a t there exists x'N : T —> Rj^l for which {x'N,yN) G F,N and E(x,j | Ti) = xj for every j G N. Notice t h a t every member of HN is Bayesian incentive-compatible. In the light of the headquarters' insurability, define: £-*s.
f ^S,
• I pN\JHN,
ifS^JV,
iiS = N.
T h e set F*s is the set of all technologically attainable or insurable plans of coalition S t h a t are consistent with the three postulates: the informationrevelation process, the Bayesian incentive compatibility, and the headquarters' insurability. Plan (xs,ys) is a candidate for coalition S's agreement, iff (xs,ys) G F*s. D E F I N I T I O N 9.2.2 An ex ante core plan of a profit-center game with incomplete information V is a Bayesian incentive-compatible strong equilibrium: It is a plan (x*N ,y*N) of the grand coalition N such t h a t (i) (x*N,y*N)£F*N1 and (ii) it is not true t h a t 3S
&Af:3
(xs, ys) G F*s : V j G S : Exj
>
Ex*j.
A core plan (x*N,y*N) is called full-information revealing, if for every j G N, y[° is 1-1 on TK In this case, the updated algebra T^(y\N) becomes the full communication system 2 T . The main results of this section are three existence theorems for a full-information revealing core plan of a profitcenter game with incomplete information V. There are two sets of basic assumptions made in all the three theorems. T h e first set (assumption 9.2.3 below) imposes conditions on the production set of each division. In particular, (iii) says t h a t zero production activity
124
II: Solutions, Information
Revelation
is possible; (iv) means free disposal; and (v) means the impossibility of the Land of Cockaigne, that is, only a finite quantity of outputs is produced from a finite quantity of inputs. A S S U M P T I O N 9.2.3 (Basic Assumptions on the Production Sets) For each coalition S, its total production set Y(S) is given as
(i)Y(S):=EjeSyJ-
For each j , (ii) the production set Y3 is closed in RfclTl; (hi) 0 € Y3; (iv) Y3 - R+ | T | C Y3; (v) for each y3n € R f c "' r l, the production possibility set {y3m € R,fe™lTl | {y3m,yJn) € Y3} is bounded from above. We make two comments on the production sets. First, to take the individual production sets Y3 as given data, and derive the coalitional total production sets as in assumption 9.2.3 (i) presupposes that there are no external economies or diseconomies. On the other hand, one may adopt a more general approach in which coalitional total production sets Y(S), S G Af, are given data; in this case, external economies can be formulated as Y(S) D Y,jesY({J})Although the main results (theorems 9.2.5, 9.2.7 and 9.2.9) are established for the non-externality case, generalizations to the externality case turn out to be straightforward. Second, a specific instance of a production set is given by
Y3 = Y[Y3\t),
Y3(t)CRk.
tgT
Here, Y3(t) is a t-contingent production set of division j . In this case, given type-profile t, {2/£,(£)}t€T\t a n d y3n, the production possibility set for marketed commodities at i, {y3m(t) G R fc " | (y3m(t), {yL(t)}teT\i,yJn)
G Y3},
is determined only by y^(i), and is independent of net outputs y3(tys chosen at the other type-profiles t ^ t. The present general formulation, on the other hand, allows for the possibility that the production possibility set for marketed commodities at t depends on the entire menu of nonmarketed net outputs across all type-profiles, {y3nit)}t£T, as well as on {y3m{t)}t^t- The need for this general formulation arises if, for the production of net marketed output plan y3m, an adjustment of specific effort and/or non-commodity resources is required in addition to the choice of a net nonmarketed output plan y3n, and different adjustments of effort/resources are
9: Information
Revelation
125
required for different y^'s. This dependence (that is, the dependence of the production possibility set for marketed commodities at each t on the entire nonmarketed net o u t p u t plan y3n) t u r n s out to be crucial for the existence result in the case of increasing returns to scale (theorem 9.2.7). T h e second set of basic assumptions (assumption 9.2.4 below) imposes conditions on the resource function of each division. In particular, (i) says t h a t there are nonmarketed commodities which are used or produced in the setup period. Assumption (ii) says t h a t r\ takes different values for different types of division j ; the fifth through the sixth paragraphs of the present section have given a detailed account of the necessity of this 1-1 property, when i's type is defined as a state of its technology embodied in its initial investment. Assumption (iii) says t h a t all resources are nonnegative. A S S U M P T I O N 9.2.4 (Basic A s s u m p t i o n s on the Resource Funct i o n s ) (i) Kin ^ 0; For each j € N, (ii) the function r{ is 1-1 on T3; (iii) r3(t3} > 0, for all V G T3. T h e first result is the following existence theorem for the neoclassical case of convex technology: T H E O R E M 9 . 2 . 5 (Ichiishi a n d R a d n e r , 1 9 9 9 ) Let V be a profitcenter game with incomplete information which satisfies the three postulates: the information-revelation process (postulate 9.1.2), the Bayesian incentive compatibility (postulate 9.A.1) and the headquarters' insurability (postulate 9.2.1), and the two basic assumptions, 9.2.3 and 9.2.4Assume, moreover, for each j € N that the ex ante probability 7r is the product probability of'ir3, j € N, where ir3 is a probability on T3, and that the production set Y3 is convex for each j £ N. Then there exists a full-information revealing ex ante core plan of the game. T h e second result is an existence theorem for a particular technology which satisfies increasing returns to scale. T h e theorem, however, excludes nonmarketed intermediate commodities. Nevertheless, nonmarketed commodities held as the initial resources can be exchanged among the divisions, and a core imputation plan describes in part transfer payments for these exchanges. Introduce a fictitious price vector, q := {q(t))teT, q(t) = (
126
II: Solutions, Information Revelation
One m a y choose t h e unit simplex, R
Q:={q:T
kn
teT aeK„
)
as t h e price domain. T h e exclusion of nonmarketed intermediate commodities means t h a t all the nonmarketed commodities are only used as inputs. Given a marketed R m , therefore, one m a y define t h e inputnet o u t p u t plan y„ requirement set as
)yK
(Vm) •= { ~Vn • T -
Rfc
VjeN:
(y^yDeYJ, y[ is T-7-measurable
A cost function is then defined as the function g : Q x Rfc™lTl —> R + which associates to each pair of a fictitious price vector and a marketed net output plan (q,ym) the minimal cost of using nonmarketed commodities in order to produce ym under q. Formally, it is defined by
g(q, ym) ~ inf { - E q W ' V n ^
- yn G
SYN(ym)
teT T h e concept of weak Bayesian incentive compatibility was introduced earlier (in the paragraph preceding postulate 9.2.1). Another type of cost function which accommodates the weak Bayesian incentive compatibility, c^ : Qx R+—> R + , is now defined: In order t o do so, choose any profit level 77, and consider t h e set of all pairs of a profit imputation plan and a total net output plan (xs, J2jes y J ) s u c n t n a t (-0 e a c n V'' *s technologically 1S m e t feasible, (2) the total imputation Yljes^i^) ^v t h e total profit J2j£sP ' 2/mW f ° r e v e r y possible type-profile t, and (3) t h e conditional expectations E{x,i | t J ) of t h e imputations x J given j's private information T-3, j G S, are summed up a t least to 7/ for any possible type-profile t. Formally, t h e set is given as:
yj e Y\ VtGT:Ej6S^W<E,eSP-yJmW, V
Cs(rj) :-.
(xs,y^) is T s -measurable, V j G S : y{ is TJ -measurable Define the mathematical programming problem, Problem Ps(q,rj)
:
Minimize
•£9(*)-2/n(*),
9: Information
127
Revelation
subject to
(xs,y)
G Cs{r]).
The required cost function is the optimal value of problem Ps(q, rf): (xs,y)€Cs(V)\. I
t€T
j
For a net output plan y for which y[ is T^-measurable, the cost is
-£
9i(^.^0})|-2/L(^)
E
so problem Ps(q,rj) has an optimal solution, if VjeS: Vt'eP:
9 i ( ^ , ^ X { J } ) > 0,
E
and WteT:
q2(t) » 0.
The same remark applies to the earlier minimization problem that defines g(q,ym)- This fact motivates the following definitions:
Q+ := f| f|
«6Q
E
qi(tj,tN^)»0
nn^GQk2w»o}, teT
Qo := Q \ Q + Problem P (q,r]) and the problem for g(q,ym)
have optimal solutions, if
The second theorem of this section (theorem 9.2.7) is based on the following assumption 9.2.6, which replaces the convexity assumption made in theorem 9.2.5. It is a strengthened version of Scarf's (1986) distributiveness assumption. Condition (i) of assumption 9.2.6 means increasing returns to scale. Condition (ii) means that nonmarketed commodities are only used as inputs and cannot be produced; in particular it excludes nonmarketed intermediate commodities. Condition (iii) says that c^ can be continuously o
o
extended from Q+x R + to Qx R + . Condition (iv) means the convexity of each production possibility set. Condition (v) means diminishing marginal rate of technical substitution.
128
II: Solutions, Information
Revelation
A S S U M P T I O N 9.2.6 ( S t r o n g l y D i s t r i b u t i v e T o t a l P r o d u c t i o n S e t of t h e Grand Coalition) (i) For any yN E YN and any real number a > 1, it follows t h a t ayN € YN; (ii) for any j e N, Y> C R*™l r l x ( _ R ^ I T I ) ; (hi) cost function c^ : Qx R + —> R + is continuous; (iv) for any q € Q+, the cost function g(q, •) is strictly quasi-convex; (v) for each ym, the input-requirement set Sy«(2/ m ) is strictly convex. A stronger form of exclusion of a nonmarketed intermediate commodity is assumed in theorem 9.2.7: Condition (i) in theorem 9.2.7 says t h a t if all nonmarketed commodities are used as inputs at any type-profile, then a positive profit can be made at any type-profile; in particular, it excludes those divisions t h a t produce only nonmarketed intermediate commodities (the firm with such a division will be analyzed in the third existence result). Condition (ii) says t h a t each division is endowed with all nonmarketed commodities at the outset at any type-profile, which again excludes a nonmarketed intermediate commodity. T H E O R E M 9 . 2 . 7 (Ichiishi a n d R a d n e r , 1 9 9 9 ) Let V be a profitcenter game with incomplete information which satisfies the three postulates: the information-revelation process (postulate 9.1.2), the Bayesian incentive compatibility (postulate 9.A.1) and the headquarters' insurability (postulate 9.2.1), and the two basic assumptions, 9.2.3 and 9.2.4, and assumption 9.2.6. Assume moreover that (i) for any y3n E R fc "l T l for which y3n -C 0, there exists y/j £ Yj such that Vn — y'n> V? *s Tj-measurable, and p • y£(t) > 0 for all t e T; and (ii) ^(P) 3> 0, for every j G N and every t 6 T. Then there exists a full-information revealing core plan of the game. Proof of theorem 9.2.7 will be given in the appendix to this chapter. T h e preceding two existence results focused on the role of returns to scale, non-increasing or increasing. T h e third result, on the other hand, focuses on the role of a structural relationship between two types of divisions, the suppliers and the customers. T h e suppliers produce and supply to the customers nonmarketed intermediate commodities. T h e customers use these nonmarketed intermediate commodities, produce marketed commodities and bring in profit to the firm. The products of all suppliers are needed for each customer's production activities, hence the term complementary suppliers. No assumption on returns to scale is made. T h e idea about this relationship goes back to Radner (1992, subsection 7.2). T h e following are a formal treatment of its simplified version in the context of incomplete information.
9: Information
129
Revelation
T h e division set, N, is partitioned into the supplier set, Ns, and the customer set, Nc. Let K„s be the set of nonmarketed intermediate commodities, a subset of Kn. A net output plan yj is denoted by (yJm,yJn^,yJnJ, 3 where the subvectors y Ua and y ^ correspond to Kns and Kn \ KUs, respectively. The following assumption 9.2.8 highlights the role of complementary suppliers of nonmarketed intermediate commodities. In particular, (i) says t h a t a supplier can produce only nonmarket intermediate commodities; (ii) says t h a t all the suppliers are needed in order to produce all nonmarketed intermediate commodities; (iii) says t h a t for a customer to produce a marketed commodity, all the nonmarketed intermediate commodities are needed; (iv) says t h a t a coalition of a customer and all the suppliers can make a positive profit if all the nonmarketed non-intermediate commodity resources are available (even if in arbitrarily small amount); (v.l) says t h a t no nonmarketed intermediate commodities are available as initial resources (so t h a t they have to be produced by suppliers); and (v.2) says t h a t all the nonmarketed non-intermediate commodities are available as initial resources in the grand coalition. A S S U M P T I O N 9.2.8 ( [ C o m p l e m e n t a r y S u p p l i e r J - C u s t o m e r R e lationship) (i) For each supplier j £ Ns, if yj £ Yj, then y]m < 0 and y3n < 0. (ii) If JA7 G Yi for each supplier j £ Ns and if ^ j € J V 2/n, W ^> 0 for some t eT, then for this t, y3na{t) > 0 for every j e Ns. (iii) For each customer j £ Nc and each t £ T, if [yj £ Yj and -• yJn (t) < 0], then y^it) < 0. (iv) For any j £ Nc and any e > 0, there exists yN--uii} G YN'UH} such t h a t each y\ is T l -measurable, i G NsLi {j}, and V (t, a) £ T x Knc V t e T :
:
J2i€N,u{j} Vn, (*, a) > - e , p. E i e j v . u o } yl(t) > 0.
(v)(l) For each division j £ N, r^
= 0 (G R f c " ^ T l ) ; (2) J2jeN
r
L
»
°
A customer has to use some nonmarketed non-intermediate commodities in the setup period, e.g., h u m a n asset. Therefore, assumption 9.2.8 is consistent with the present setup of supplier-customer relationship. The following existence theorem is valid regardless of the n a t u r e of returns to scale. T H E O R E M 9 . 2 . 9 ( I c h i i s h i a n d R a d n e r , 1 9 9 9 ) Let V be a profitcenter game with incomplete information which satisfies the three postulates: the information-revelation process (postulate 9.1.2), the Bayesian
130
II: Solutions, Information
Revelation
incentive compatibility (postulate 9.A.1) and the headquarters' insurability (postulate 9.2.1), and the two basic assumptions, 9.2.3 and 9.2.4, and assumption 9.2.8. Then there exists a full-information revealing core plan of the game. Before providing proofs of theorems 9.2.5 and 9.2.9, we present a lemma: In this lemma, y\ — (y{m,y{n), so vector y{n{tj) is a nonmarketed commodity bundle used as inputs in the setup period, whose components are measured by negative real numbers according to the usual sign convention on inputs and outputs. LEMMA 9.2.10 (Ichiishi and Radner, 1999) Suppose that for each j there exists a function y\n : T^ —* Rfcl™ such that V*£T:
- ] T y{n{P) < £ jeN
ri'(f).
(9.3)
j€N =J
—j
Then, for each j there exists a function yln : T? —> Hkln such that yln <
vL and
V i G T: - £ y i „ ( f ) = £ri(f). j£N
j€N
Proof Step 1. For commodity a, the ath component olyift) by yi (P, a). It will be shown first that if 3 i e T : 3aeKln:
- ^ j€N
y3{P,a) < £
is denoted
r*(P, a),
(9.4)
jeN
then 3j:\/tN^
:-yj(P:a)-
^
y\t\
a) < rj{P, a) +
ieN\{j}
J]
rl(t\a).
iCN\{j}
This will be done in the following steps 2-4. Only in these steps 2-4, simplifying notation will be used, so that yj (P,a), yi (P,a), yi(t/:>,a), rj(P,a), j j j j 7 j j j r (P,a), r (t' ,a), etc., will be denoted by n , n- , n' , r , P, r' , etc., respectively, and the set of divisions N will be identified with the set of integers {1, 2, • • •, TV} (where the last integer in the set is \N\, by abuse of notation). Condition (9.4) is then re-written as: 3 t : - n 1 - n 2 - n3
nN < f1 + F2 + f3 + • • • + fN.
Step 2. If for all {t2, t3, • • •, tN), -nl
-n2
-n3
nN < f1 + r2 + r 3 H
\- rN,
9: Information
131
Revelation
then there is nothing to prove. So assume that there exists (t12, t'3, • • •, t'N) such that - n 1 -n'2-n'3
n'N = f1 + r'2 + r' 3 + • • • + r'N.
Then, for all t1, -nx-n2-n3
nN
<
rl + f2 + f3 + --- + fN.
(9.5)
Indeed, if there exists i1 for which -h1~n2-n3
nN = f1 + f2 + r3 + • • • + fN,
then by adding the two equalities, (_„i _
2 n
- n3
nN) + (-h1 - n'2 - n'3
n'N)
{-fi1 -n'2-n'3 n'N) + ( - n 1 - n2 - n3 nN) (f1 + r'2 + r'3 + • • • + r'N) + (f1 + f2 + f3 + • • • + rN) (r1+r2+f3 + ---+ fN) + (fi + r'2 + r'3 + • • • + r'N).
= = = By (9.4),
-n 1 - n'2 - n'3 which contradicts (9.3). Step 3. If for all {t\t3, -n1 ~n2 -n3
n,N > rl + r' 2 + r' 3 + • • • + r'N', t 4 , • • • ,i JV ), nN < rx + r2 + r3 H
1-/,
n j.i/33 +ui j.r/1 then there So , L 1 1 C 1 C lis O Inothing H J U H I I I J ^ to UU prove. ^/lUVC. U W aassume O O U l U C that LilACtU there L U C 1 C exists C A J O U O V(t' , t" ,t" N t" ) such that
- n " 1 - n 2 - n" 3
,
n"N = r"1 + f2 + r"3 + • • • + r"N.
Then, for all (t\< 2 ), -nl-n2-n3
nN
<
r1 + r2 + f3 + • • • + fN.
(9.6)
Indeed, if there exists ( ? , P ) for which - n 1 - n2 - n3
nN = r1 + r2 +f3 + • • • + fN,
then by adding the two equalities, (_„"i _ n 2 - fi3 =
nN) + ( - n 1 - n2 - n"3
n"N)
(r" 1 + f2 + f3 + • • • + fN) + (f1 + f2 + r" 3 + • • • + r " " ) .
132
II: Solutions, Information
Revelation
By (9.5), - n 1 - n2 - n" 3
n"N > f1 + f2 + r"3 + •••+
r"N,
which contradicts (9.3). Step 4- Continuing this way, one can prove that if for each i, 1 < i < N-l, there exists (t1'1, • • • ,ti'i~1,ti'i+1, • • • ,f'N) for which -n*'1 - rj'2 =
n^-1
- n* - n i , i + 1 - nl'i+2
r1'1 + r*'2 + •••+ r^'1
then for all ( i \ i 2 , • • • _ n i _ n2
TJ'N
+ f* + r M + 1 + r M + 2 + • • • + r*'N,
,tN~1), / " ' - / < r
1
+ r
2
+ - + rN~l + rN.
This is precisely the required result stated in step 1. Step 5. Suppose (9.4) holds true. Then, by step 1, one may choose j \ and £ > 0 such that for all tN^j^ - [njl (ijl,a)-e}~
^
n^t^a)
< rh (tjl,a)
+
i€N\{n}
with equality for at least one tN^jl\
] T r{ (t{, a), i€N\{h}
Define n ^ : T* -> R fcl " by
v^^.^,)^;:^)-e,
if (i,t\a) = otherwise.
(juPl,a)
The function n[ satisfies (9.3), and n\ 'l
• We have introduced the concept of weak incentive compatibility earlier (in the paragraph preceding postulate 9.2.1). Define Gs GZ
:= {{xs, ys) e Fs | V j £ 5 : y{ is T^-measurable.}, (xs,ys) is weakly Bayesian ••= Uxb,yb)&G incentive-compatible.
and define the non-side-payment games Vw : Af —> R.N and V* : N —> R ^ by VW{S)
:= { U e R A r | 3 ( x s , 2 / s ) G G ^ : V j e 5 : w ,
V*{S)
:= { t i e R " | 3 (xs,ys)£F*s
:V j£S:Uj
< Ex1}, <Ex>}.
9: Information
133
Revelation
Proof of Theorem 9.2.5 The non-side-payment game Vw is balanced. Indeed, let B be a balanced subfamily of N with the associated balancing coefficients {As}sgs, and choose any u £ C\seB^w(S)- For each S £ B, there exists (x^3',j/s^)jes € G^j such that Uj < Ex^3 for every j £ S. Define (xN ,yN) by
(x>V):=
Yl
*s(x{S)j,y{S)j).
SeB:S3j
By the present convexity condition on Y3, (xN,yN) € G^. Since each E(x^3' | 7~J') is a constant function on T by the weak incentive compatibility, so is E{x° | T3) as a weighted average of these functions. Therefore, {xN,yN) £ G%. Since Ui < Ex\ it follows that u £ VW(N). By Scarf's theorem for nonemptiness of the core (theorem 8.A.2 of this book), one can choose u* in the core of game Vw. Let (xN,yN) £ G^, be a plan that gives rise to u*. Clearly, Gjj, D F s , so u* cannot be improved upon by any proper coalitions in game V*. =3
By lemma 9.2.10, for each j there exists a TJ-measurable T -> R fcl " such that
function
yln:
and jeN
jeN
—i
Each yln is 1-1 on T3. Indeed, this follows from the identity,
(t3) + r{(t3) = -
Vt£T:y\n
]T (v[n (f) + r[(t% i€N\{j}
and the facts that the right-hand side is constant once tN^3^ that r[(-) is 1-1 on T3 (basic assumption 9.2.4 (ii)). Define x* := E(x3 | T3), and define the plan {x*N,y*N) T*N 1
._ J •— x
N
*N . _ -AT *7V =W > S i m •— 2/lm> 2/ln • — » l n i
is fixed, and by
*iV . _ -TV 2/2 -—2/2 •
By the free disposal assumption (assumption 9.2.3 (iv)), (xN,y*N) £ G^. Since y\3n is 1-1 on T3 for all j , it follows that T3(y^N) is the finest algebra 2 T for every j , so (xN,y*N) £ F'N. By the headquarters' insurability (postulate 9.2.1), (x*N,y*N) £ F*N. Notice that E x3 = Ex3' > u*. It is also easy to check that u* lies in the Pareto frontier of V*(N). Thus, u* is
134
II: Solutions, Information
in the core of game V*. The plan (x*N,y*N)
Revelation
is full-information revealing.
• Proof of theorem 9.2.9 is a straightforward consequence of the following lemma 9.2.11 (applied to game Vw) and the argument in the last two paragraphs of the proof of theorem 9.2.5, so the details are left to the reader. Let dV(N) be the Pareto frontier of set V(N). Assumption (iii) of lemma 9.2.11 means that dV(N) is strictly negatively sloped. LEMMA 9.2.11 Let V : Af —> R w be a non-side-payment game. Assume: (i) V is superadditive, i.e., for any disjoint coalitions S\ and S2 it follows that V(Si) PI V(S2) CV(S1\JS2). (ii) There exist a partition {Ns, Nc} of N, and u G RN such that if S $ Ns, then V(S) = [{us} - B.%] x RN\S. (iii) For any e > 0 and any u G dV(N) for which u > u, there exist u' G V(N) and j € {i £ N \ Ui > w^}, such that u' = Uj — e and u\ > Uj for alii G N\ {j}. Choose any u* G dV(N) such that u
*j > Uj
u
j — Uj
for 0.11 j G Ns, or
f
and
a
tt j € Nc.
Then u* is in the core ofV. o
Proof Suppose there exists S G JV such that u* £V (S). Then
NscS^N. Let u' G V(S) be such that u'j > u* for all j G S, u'3 = uj for all j G N \ S (C Nc). By the superadditivity, u' G V(N). By the strict negative-slopedness of dV(N), there exists u" G V(N) such that u" > u*, which contradicts the choice of u* as a point of dV(N). D Ichiishi and Sertel (1998) continued study of the profit-center game with incomplete information. They first pointed out that, contrary to ex ante determination of a strategy bundle, an interim strategy bundle (xs,ys) should be interpreted not as a contract among the players S, but as a set of contract offers to each member of S (the image of strategy (x^, yi), {(xj(tj), yj(t3)) I V G T^}, is the set of contracts offered to player j). They
9: Information
135
Revelation
studied the interim Bayesian incentive-compatible core (definition 5.1.5) and ex post welfare loss. There are three rounds of consecutive games in their framework: (1) an interim game played during the setup period, which determines a set of type-contingent contract offers; (2) choice of an interim contract from among the offered contracts during the setup period; and (3) an interim game played during the manufacturing period, which determines a recontract. In all three games, Bayesian incentive compatibility plays a central role. The second game is actually not a genuine game but merely a collection of individual optimization problems, each division j choosing from the offered contracts one that is best for j . The third game is essentially a classical static game. Ichiishi and Sertel's first result says that the assumptions in each of Ichiishi and Radner's existence theorems (theorems 9.2.5, 9.2.7 and 9.2.9) also guarantee the existence of a full-information revealing interim Bayesian incentive-compatible core plan for the first interim game. This is due to the following observation: By the weak Bayesian incentive compatibility which is implied by the Bayesian incentive compatibility, any strategy bundle (xN,yN) £F*N satisfies V t>,t'j e T] : E{xi | tj) = E(xj | t'j), consequently, V i ' e P :E{xj
\tj) = ExK
Thus, the interim core and the ex ante core coincide in the profit-center game. Their second result is the existence of a core re-contract of the third game, both for the convex case and for the case characterized by a structural relationship among the divisions (the [complementary supplier]-customer relationship). A re-contract improves welfare of each division. However, their example illustrates in the full-information-revealing case that although a re-contract removes the inefficiency that was caused by the Bayesian incentive compatibility, ex post efficiency can still not be achieved, due to the constraint still imposed by the information-pooling rule.
9.3
By Choosing a Contract
The next approach to information revelation borrows the idea from the principal-agent theory that agreeing or refusing to sign a contract reveals a private information. It applies to interim contracting in the private information case. There is no definitive written work based on this idea,
136
II: Solutions, Information
Revelation
however, and indeed it has a serious limitation if no other approaches are adopted concurrently. We will see two examples first in which a player's intention to sign a contract reveals his private information to the other players. E X A M P L E 9.3.1 This example, attributed by Ichiishi and Sertel to an anonymous referee of their paper Ichiishi and Sertel (1998), describes a situation in which coalition formation is more difficult than is suggested by the coalitional stability condition of the interim Bayesian incentivecompatible strong equilibrium (definition 5.1.5). The essence of this example was observed by Wilson (1978, example 1, p. 809) when he illustrated the phenomenon of adverse selection which often violates opportunities for insurance. Assume that each choice set is the real numbers, Ci = R, and each utility function is the projection onto C-7, u^(c, t) = cK Suppose the grand coalition is deliberating on the constant strategy bundle x: V j £ N :Vt€T
:xj(t)
= l.
Suppose also that subcoalition S := {1, 2} finds the following strategy bundle x's € Fs(x): Assume Tr(t) = YljeN 7r J (f). Assume also for each i £ S, T* = {H\U},
^(H1)
= TT^Z/) = 1/2.
x'\t)
:=
4, 0,
if t = (H\L2), otherwise;
x'2(i)
:-
4, 0,
iit = (L\H2), otherwise;
Notice that E(x11 \H1) = 2>1=
E(xi | / P ) , for every i € S,
so S can improve upon x using x's when the true type profile is is = (H1, H2). However, player 1 knows that player 2 agrees to the joint strategy x's only when 2's true type is H2, since E(x'2 | L2) = 0 < 1 = E(x2
\L2).
Then player 2's agreement to x's reveals the information to player 1 that 2's true type is H2. Given this information, player 1 does not agree to x's since xn(t\H2) = 0 < l = x 1 (t\H2), iovt1 =H\LK Thus, strategy x's cannot serve as a "blocking" strategy against xs.
D
9: Information
137
Revelation
E X A M P L E 9.3.2 This example, a variation of the previous example, describes a situation in which coalition formation is easier t h a n is suggested by the coalitional stability condition of the interim Bayesian incentivecompatible strong equilibrium (definition 5.1.5). Assume again C-* = R , u ' ( c , t ) = c>, S := { 1 , 2 } , T* = {H\V}, ^{W) = TT'(L') = 1/2 for each i G S. Suppose the grand coalition is deliberating on the constant strategy bundle x: V j e N :Vt£T:xj{t) = l. Suppose also t h a t coalition S finds the following strategy bundle x"s Fs{x): 2 2 2 1-5 f t = H ' iotherwise. ' x"Ut) = x" (t) •= I x
w
w• i
0i
£
ot]
Notice t h a t E{x'a
| H1) = E{x'a
| L 1 ) = 0.75 < 1 = E{xl
\ H1) = E(xl
\ L1),
so 5 cannot improve upon x using x"s according to the traditional "blocking" criterion. However, when the true type profile is ts = (Hl, H2), player 2 wants to agree to the joint strategy x"s. W h e n this happens, player 1 infers t h a t 2's true type is H2, so 1 also wants to agree to x"s. Thus, strategy x"s serves as a "blocking" strategy against xs. • T h e heart of these examples lie in the fact t h a t players are comparing two strategy bundles. In example 9.3.2, if the members of coalition S decide to form their coalition and adopt strategy bundle x"s when the grand coalition has been deliberating on strategy bundle x, it is because they received the information t h a t event {{H1, H2), ( L 1 , H2)} has realized, and both players are better off with x"s t h a n with x given this additional information. It is important to keep in mind t h a t this kind of information revelation occurs within a "blocking" coalition. T h e scenario here (in which two strategy bundles x"s and x are compared) does not address how the private information is revealed only through the original strategy bundle x of the grand coalition N. In particular, given a strong equilibrium strategy bundle (or a core strategy bundle) x*, this kind of information revelation does not occur, unless some coalition S explicitly tries to defect by adopting a strategy bundle xs and experiences its inability to defect. We will see this last point in the next section. Notice t h a t strategies x's and x"s in examples 9.3.1 and 9.3.2 are not T-*-measurable or Bayesian incentive-compatible. Ichiishi and Sertel (1998), on the other hand, studied the profit-center game in which the measurability (postulate 9.1.2) and the Bayesian incentive compatibility (postulate 9.A.1) are strictly obeyed, and noted t h a t information is not revealed through
138
II: Solutions, Information Revelation
coalition formation, particularly due to the Bayesian incentive compatibility: For any strategy (xs,ys) £ F*s, E{xl | Tl) is constant on T for every i £ S. Then a "blocking" strategy would have to make every i £ S better off (in terms of the interim expected imputation) for all possible type profiles. Thus, the fact t h a t division i joins a particular coalition does not reveal any information to the other divisions of the coalition.
9.4
Update of the Interim
Probabilities
Consider a Bayesian society, S := ({C*,Ti,v?,{wH-
| t>)heT>}jeN
,
{Cs0,T(S),Fs}SeM)
(definition 2.1.3) in the private information case (section 3.2). Suppose t h a t the grand coalition is entertaining a strategy bundle x which is private measurable (section 3.2) and Bayesian incentive-compatible (condition 4.1.1), but t h a t the members of coalition 5 are contemplating in the interim period to defect and to take their own private measurable strategy bundle xs £ F's(x) after defection. Holmstrom and Myerson (1983) formulated a mechanism to u p d a t e the interim probabilities, 7rJ(- | P), j £ S, P £ T\ through comparison of x and specific instance of Selten's (1975) (trembling-hand) perfect equilibrium or of Kreps and Wilson's (1982) sequential equilibrium. We will adapt their basic idea to our present framework. We will obtain updated probabilities, regardless whether formation of the blocking coalition S turns out successful or unsuccessful. Holmstrom and Myerson's scenario goes essentially as follows: There are two stages: In the first stage, the members of S announce simultaneously and independently whether to join the defecting coalition S by adopting strategy bundle xs or to stay in the grand coalition TV by keeping strategy bundle x. If all members in S unanimously announce adoption of xs, the defection is made definite, t h a t is, coalition 5" is formed immediately after the first stage, and each member j takes action (choice) in accordance with x J in the second stage; otherwise, coalition S fails to form, and each member j of the grand coalition N takes action in accordance with i J in the second stage. There is a possibility of wrong action, t h a t is, misrepresentation of a type, in the second stage. At the beginning of the second stage, the interim probabilities of the first stage, 7Tj(- | P), j £ S, tj £ T J , are updated. It is here t h a t the concept of perfect equilibrium or of sequential equilibrium is applied, so Holmstrom and Myerson postulated t h a t the players take behavior strategies (rather t h a n pure strategies) throughout the scenario.
9: Information
Revelation
139
Notice t h a t the t e r m "pure strategy" in this scenario is a pair of (1) decision in the first stage as to joining S or staying in N, and (2) schedule of execution of xs (or of x) in the second stage contingent on the outcome of the first stage; it should not be confused with a pure strategy in the society <S, such as xJ and xJ. Due to players' behavior-strategy choice (as opposed to pure-strategy choice), the members S unanimously agree on adoption of xs only probabilistically, given each type profile. Holmstrom and Myerson postulated t h a t coalition S is indeed formed, if for each sequential equilibrium, there is a type profile at which, with a positive probability, the members S unanimously agree on adoption of xs. T h e original strategy bundle x, if feasible in the grand coalition, is called durable if no coalition S finds a strategy bundle xs, with which S is formed. Compare this durability concept and the interim Bayesian incentive-compatible strong equilibrium concept (definition 5.1.5). We begin formal presentation of the probability u p d a t e . It is an extensive game, denoted by T := T(S, x, xs), in which the player set is given as N. We assume t h a t each C-7 (hence each X?) is finite, and t h a t ^{- \ V) S> 0 for all j G S and all V € T* (hence T(S) = T). At the origin of the extensive game T, the n a t u r e realizes a type profile t € T. Then, the first stage of game V starts, in which the players j simultaneously and independently decide whether to adopt xs and join the defecting coalition S or to keep x and stay in the grand coalition N. Player j , knowing his private information P but not knowing the others' types at this stage, has information set Ufr1 ; he has # T J information sets at this stage, indexed by V e TK At the information set Ufa1 , player j decides whether to adopt x or to keep x\ these are his pure choices here. As a part of his behavior strategy, player j chooses a probability r-^f-7) G [0,1] of adopting xs at the information set UQ (so his probability of keeping x is 1 - T - J (*>')) • For the simplest nontrivial case in which ^
=
{1,2},
S
=
N,
the game T is partially illustrated in figure 9.1. Here, UQ'1
=
{a, 6},
£/0M
=
{c,d}:
U
V
=
{e,f,i,j},
C/0'
=
{g,h,k,l}.
140
II: Solutions, Information
Revelation
Figure 9.1: partial tree of the extensive game T(S, xs, x)
At information set UQ , j ' s possible pure choices are: to adopt xs (indicated by the edge xs), and to keep x (indicated by the edge x). Notice that U^ and U^*'1 are identified with {t1} x T2 and {t'1} x T2, n
r\ j.2
respectively, and that U0'
ill
and U0'
V2/l~
are partitioned into the families,
:=
2
uV' /~
{{e,f},{i,j}},
••= 2
{{g,h}AkJ}}, 1
which are identified with {t } x T and {t'2} x T 1 , respectively. Each partition is obtained by identifying player l's choices that follow the same type profile. In general, for every j S N and V G T*, information set UQ is partitioned into the family, UQ* / ~, by identifying the other players' choices that follow the same type profile, so this family is identified with {tj} x T N \ W . Suppose that a subset R of the players S chose to adopt xs, and the rest S\R chose to keep x in the first stage. Then the second stage starts: Every player in S gets to know the colleagues' earlier actions, that is, each gets to know the fact that precisely R have chosen to adopt xs. If all the
9: Information
141
Revelation
players in S have unanimously chosen to adopt xs (that is, if R = S), then the defecting coalition S is formed, and the members of S simultaneously execute xs at this stage. If at least one player j has chosen to keep x (that is, if S\R ^ 0), then formation of S fails, and the players N simultaneously execute x at this stage. Each player j G S, knowing his type P and the set R of the players who have expressed their intension to defect, is at the information set IP'*J (R); he has # T J x 2 * s information sets at this stage, indexed by (P, R) £ P x 2 s . His pure choice at TJi'1 (R) is to present his type, which can be true or false. To present type P means to take action x^{P) in case R = S, or to take action x^(P) in case R ^ S. Define the space of all probabilities on T J ,
ATJ :=
j G Rf
£ ^')
p eTJ
As a part of his behavior strategy, player j chooses a probability <ji{- \ P, R) G AT of presenting his type at the information set C/J'' (R) (in case R = S, for example, he takes action xJ(P) with probability a^(P | P, 5)). In the simple example of figure 9.1, player l's information sets at the second stage are: C U 1 ({1,2})
==
{«' £ }
U^\{1})
-= OU} U ({2}) == {7,»7} f/1'tl(0) == {s,e} htl
tfM,1({l,2})
=-
{>.,Q
^ " ( { l } ) == K P } [71-t'1({2}) =~- {A,0} C/1'*'1(0) == {M>^} In game T, player j ' s behavior strategy is: & •= ( M ^ W i ,
M " I t J ',-R)}( t i,fl)€T^ 2S ) •
Suppose the players in S choose a behavior strategy bundle (3s := {(P}j£S- Due to the Bayesian incentive compatibility of x, the outsiders N\S execute x \ truthfully when formation of S fails, since each of them i G iV \ S is endowed with the interim probabilities 7r'(- | i l ). Insider j G S, given his private information P, has the interim probability -K^{- \ P) as his
II: Solutions, Information
142 probability estimate on the members of UQ i
i
/ ~. Denoting choice bundle
b
{x {t ))i^s
Revelation
t3
;= by x (t ), his expected utility given UQ•i< is
Eui(ps
|[/^>(-|^')) N\{j} E **(' A \{])gT"U'l
tj)
,
s
a'i S'S\U)
i£S\{j} s
s
N s
N s
ieS\{j}
N
xuJ(xi(s'J),x ^(s' \^),x \ (s \ ),tJ,s \^)
+(I-H^-))^
Yl *w>s\{j}) n ^(^u'.-svm)
xui(xi(S'n,xs\W(S's^),xN\s(sN\s),ti,sN^)}
+ E
x
( n »•*(«*)) ( n
«QS\{j} L \t6fiu{j}
/
-
a-*•*(-')))
\ieS\(Ru{j})
J
i E "V^i^fluo }) n ^(^is',«u{j})
xu>(x>(s'J), i s \ ^ } ( s ' S \ { ^ } ) ) ^ J v y ^ j v ^ ^
SN\W)]
(lI r V)) I J] (l-r*^)) \i€R
x
)
j
\ieS\R S\R
ij j
E E ° {s \t ,R) n
xui(xi(s'i),
xs\^(s's\^),
ffi
xN\s(sN\s),
(^is^) t?,sNW)]}.
Suppose information set C/J''J (i?) is reached. The set U^'tJ (R) can be partitioned into a family of classes, U^1' (R)/ ~, by identifying the other players' choices in the second stage that follow the same type profile and R. This family is identified with {tj} x TN\^. Denote by qj(- \ tj,R) player j ' s updated probability on the members of CP'*"'(R)/ ~ ; we will present Selten's (1975) formula for this probability in definition 9.4.1 and the paragraph preceding it. Then, his expected utility given UJ,tJ (R) is: If R = S,
Ev? [p
U^(S),qi(-\t\S))
9: Information
Revelation
143
qj(sN\^\V,S)
E
* E E ^(^1^.5) n ^^i^.s) xuj(xi(s'J),xs\^(s's\M),xN\s(sN\s),ti,sN\M); HR^S, Eui(j3s
\w>t\R),qi{-\t\R))
£ x
E E
n ^(srtis'.-R)
^V^K'.-R)
Here, the outsiders i £ N \ S, having been left out from the first step of game T(S,x,xs), cannot update his probability, so maintain their interim probabilities 7rl(- | sl) when formation of S fails. Since x is Bayesian incentive-compatible, they execute xl truthfully. We remark that given (Uj'tJ(R),qj(- | P, R)j, fs conditional expected utility Eu1 (j3s
W^ (R),qJ(- \ P, R)) depends only on
( ^ ( - | P,R),{\-
| s\R)}l€SWhssXU)eTS,u})
,
rather than fully on (3s. If (3 » 0 and 1 - W'(f') > 0 for all j G N and all P <E T^, then player j ' s updated probability qi(- | f, i?) on the members of U^tJ {R)/ ~ is computed as follows: Define p ( r s\0} ( s s\ W ) j j R ) : =
/ JJ r ^ ) ) ( Ve/AM
/
J]
(1-^V)))-
\ies\(Ru{j})
)
Then the required probability is given by qj(sN\{j}
\tijR)
E ^ M i > € r ' ~ \ « ) 7ri( S '^\0} |
P)p(rS\U}(s'S\U}),R)-
However, some r'(sn) may be equal to 0 or to 1, in which case this formula for qJ (• | P, R) may not be applicable. To overcome this difficulty, Selten
144
II: Solutions, Information
Revelation
considered a sequence of strictly positive behavior strategy bundles which converges to (3. For each v G N, define a trimmed set of j ' s behavior strategies,
Bl:--
Pj
V V G T3 : i < r3(t3) < 1 - £, V R£2S :V sj £Tj : ± < crj{sj \ t3,R)
An agent in game r(<S, x, xs) is a pair (j, tJ) of player j and his type £J'. Condition (iii) in the following definition 9.4.1 means that when the agents {{hV) I 3 £ S,t3' G T3} play the game T(S,x,xs), the behavior strategy bundle {r*3,{a*3(- | £ J , i?)} f i 6 2 R }/ „\ constitutes a Nash equilibrium. Condition (iv) is a perfectness criterion: Agent (j, t3) at each information set U3'1' (R) responds to the others' choices a"(- \si,R),ie S\{j}, s* G T\ optimally relative to the updated probability q*J(- \ t3,R). Notice that (i), (ii), and (v) together imply (iii) and (iv). DEFINITION 9.4.1 (Selten, 1975; Kreps and Wilson, 1982) A behavior strategy bundle {/3*J}j6s of game T(S,x,xs) and probabilities q*3(- | P,R) on U3^(R)/ ~, j G S,t3& T3, R G 2s, are called a sequential equilibrium of T(S,x,xs), if there exists a sequence of behavior strategy bundles {{P"3}jts)v, P'/j £ B3V, such that for all j G S, (i) 0uj -> (3*j, as v ^ oo; (ii) q*3(- | V, R) = lim^^oo 9">(- (<>,£), where
E^xo-)eT^{i} (iii) V P £T',V Eu3 ((3*'
rf(s'»\{»
| t>)p(r^\0-}( s 'S\0}), J R) ;
p>, rj,* y{-\V)\ U^
V R*S\U} >Eu3[(3\(3
Ut
,^(-\t>)
(iv) V V 6 T ' , V i? G 2 s , V
U^(R),q3(-\t3,R))
is The pair ({/3* J }jes, {?*J(- I t3, R)}jes,PeTi,Re2s) called a perfect equis librium of r(<S,3;,a; ), if (i) and (ii) are satisfied and if (v) the sequence {{PUJ}jes} can be taken so that for each v, {(3V3}j&s is a Nash equilibrium of the game in which each player j ' s behavior strategies are restricted to B3,.
9: Information
145
Revelation
A perfect equilibrium of T(S,x,xs) always exists, hence so does a sequential equilibrium. We quote Selten's existence result: T H E O R E M 9.4.2 (Selten, 1975) Let S be a Bayesian society, such that Cj is finite, and TTJ(- | V) > 0 for all j e N and all tj &TK Letx:T -> C and xs : T —> Cs be private-measurable strategy bundles. Then there exists a perfect equilibrium ofY(S,x,xs) in behavior strategies. R E M A R K 9.4.3 In defining a sequential or perfect equilibrium of game T(S,x,xs), a sequence of behavior strategy bundles {{/?"•'}jes} j P"'' € Bl, satisfying condition (i) of definition 9.4.1 is used, only in order to define the updated probabilities q*j{- \ tj,R), j £ S, P € T*, R G 2 s . For this purpose, the trimmed set Bl can be replaced by a simpler set, V tj € Tj : - < rj(tJ) < 1 - v v
F
• J
s
Let ({/?*^}j e s, {g* '(- | P, R)}jes,veTJ,Re2 ) be a sequential equilibrium or a perfect equilibrium of T(S,x,xs). Player j of type P knows that at this equilibrium, information set [P'*J (R) is reached with probability
^ \ w i p) m r«(o) ( n (i - r*V))
J2 sN\{j}€T'N\{J}
\ieR
)
\ieS\R
He knows, therefore, that with this probability, his interim probability TTJ{- | tj) on TN\W is updated to probability q^{- \ tj,R). The preceding paragraph presented the explanatory power of the sequential or perfect equilibrium concept for game T(S,x,xs). However, the concept is too weak to serve as a feasible solution to the question of whether or not the defecting coalition S will be actually formed and realize xs. To see this point, let xs £ F's(x), and consider a pure strategy bundle in T(S,x,xs), in which precisely all the players S announce adoption of xs, and each player j 6 S reports type P(P, S) e T-? when his true type is V. For this pure strategy bundle of T(S,x,xs) to be feasible in the context of S, we require that the strategy bundle in S defined by
t^{x*(t\t\S))}v s
es '
is a member of F' (x). (Recall the argument in the last seven paragraphs of section 4.1, which makes the same point.) The feasibility question becomes obviously more involved for a behavior strategy bundle. The feasibility question occurs because of the rich structure of a Bayesian society, in
146
//: Solutions, Information
Revelation
which Fs is arbitrarily given a priori. It does not occur in Holmstrom and Myerson' model, which essentially postulates t h a t Fs(x) = (Cjf (x)) for some CQ(X) C Cs. We will see in the p a r a g r a p h following condition 9.4.4 below how this question is resolved. We have emphasized in section 4.1 t h a t the members of a coalition agree on a strategy bundle in order to plan a best choice bundle preparing for every contingency, so it is essential t h a t choices are later made exactly as scheduled. This is the reason why we postulate throughout this book t h a t each coalition designs only Bayesian incentive-compatible strategy bundles. We are postulating the same here. In the basic model of section 4.1, however, Bayesian incentive compatibility was defined relative to the interim probabilities, -K^{- \ P), j € S, P £ T-7', since for every (j,P), probability 7rJ'(- | P) was used in computing the conditional expected utility of a strategy bundle given P. According to the present scenario of game T(S, x, xs) on the other hand, player j reports his type at his information set U^1' (R) when he has the updated probability qi(- | P,R) (rather t h a n 7i^(- | P)). Therefore, the Bayesian incentive compatibility condition needs to be modified in the present context: C O N D I T I O N 9 . 4 . 4 Let S be a Bayesian society, such t h a t Cj is finite, and 7T7 (• | P) 3> 0 for all j € N and all P G T-7, and consider the private information case. Choose any private measurable, Bayesian incentivecompatible strategy bundle x : T —> C, and any private measurable strategy bundle xs G F's(x). The two bundles (x,xs) are called a Bayesian incentive-compatible strategy bundle pair, if for any sequential equilibrium ({0* J '}jes, {«*'(• I V,R)}j(:s,t>eT>,Re2s) ofT(S,x,xs), it follows t h a t V j € S : V P' e Tj : V R G 2s :
-W.*)={;Efor all
S-? =
P
si£Ti\{P}.
For a Bayesian incentive-compatible strategy bundle pair (x,xs), a sequential or perfect equilibrium of game T(S, x, xs) is feasible in the context of S (so t h a t the feasibility question raised in the second paragraph preceding condition 9.4.4 is positively resolved), since x^(P) (x^(P), resp.) is truthfully chosen at information set EP , ' J (S) (at Uj,tJ (R), R^ S, resp.). For each private measurable strategy bundle x : T —> C and each S G N', define F t s ( x ) := Ixs \
G F's(x) ^ '
( i ' x ' S ) i s a B a y e s i a n incentive1 compatible strategy bundle pair. J '
9: Information
147
Revelation
T h e following is a descriptive solution concept for S; it extends the interim Bayesian incentive-compatible strong equilibrium concept (definition 5.1.5) to the situation in which interim probabilities 7rJ(- | P) are updated during the deliberation period for any defecting coalition S, when each member of S signs u p either the grand coalition's strategy bundle x* or S's alternative strategy bundle xs. D E F I N I T I O N 9.4.5 Let <S be a Bayesian society, such t h a t Cj is finite, and Tri(- \ P) 3> 0 for all j € N and all P € T J , and consider the private information case. A strategy bundle x* : T —> C is called durable, if (i) x* G FN(x*); and (ii) it is not true t h a t
3S eN
:3xs
e F t s (x*) :
(V (5*s : sequential equilibrium of T(S,x*
,xs))
:
3 t G T : J ] r " ( t * ) > 0. ies T h e general existence theorem for a durable strategy bundle is still an open question. A more fundamental open question is to build a theory of interim-probability u p d a t e without resorting to behavior strategies in game T(S,x,xs): We would like to explain exact action of each player. Indeed, while actions are observable (of course, we are excluding moral hazard), probabilistic choices are impossible to observe, which raises the usual serious philosophical question on the validity of the postulate t h a t each player j takes the others' unobservable behavior strategies /Js\{-?1 as given. R E M A R K 9 . 4 . 6 There is a difference between Holmstrom and Myerson's treatment of durability and the present section's treatment of durability. In Holmstrom and Myerson's treatment, there is no u p d a t e of the interim probability when any of the information sets C/-7,4' (R), R ^ S, is reached (they consider the probability u p d a t e only given the information set EP'* ( 5 ) ) . So the players in S do not learn anything out of their failure to form a defecting coalition. In the present t r e a t m e n t on the other hand, players learn from comparison of x and xs, regardless whether S is indeed formed or not. Since the conditional expected utility given U^{R) for some R^= S is computed with respect to the updated probability, we need to re-formulate the Bayesian incentive compatibility accordingly. •
148
9.5
II: Solutions, Information
Revelation
By Credible Transmission of Information During the Contract Negotiation
This approach, taken by Yazar (2001), endogenously determines a communication system as a part of coalition's strategy bundle during the ex ante period of strategy negotiation. Recall her formulation of a strategy in the Bayesian pure exchange economy (section 4.3) and her Bayesian incentive compatibility condition 4.3.1. For each coalition S, denote by Fs the set of all measurable, Bayesian incentive-compatible and attainable strategies,
U^'.C'bes
V j € S : zi is \JieS C^-measurable, and Cj C T*, 1 {z J ,C J }j € s is Bayesian incentive-compatible, I V j €S:z> > -ej, f•
Here, as in section 4.3, we keep assuming T(w:') = T(S) for every j 6 S, for simplicity of analysis. A strategy bundle {z*j,C*J}J&N of the grand coalition in Bayesian pure exchange economy £pe is said to be in the ECcore {endogenous communication plan core), (i) if it is in FN, and (ii) if it is not true that there exist S £ Af and {zj,Cj}j^s 6 Fs such that 7 J Eui{zi + e- ') > Eu^(z*^ + e ) for every j £ S. The communication system {A*j}j£N, A*j := Tj \J{\JieNC*%), sustains as a result of credible talk at the contract negotiation. Yazar's main result (theorem 9.5.2) follows immediately from her lemma on nested structures: LEMMA 9.5.1 (Yazar, 2001) For any coalition S G M, let {Cj}jeS and {C'J}j£s be two communication plan bundles, and let {z^}j^s be a net trade bundle. If C'j C Cj for every j G S and if {zj,C'j}jeS € Fs, then s {zi,a}jeS£F . THEOREM 9.5.2 (Yazar, 2001) Let {C^} j 6 N and {C,:>}jeN be two communication plan bundles, and let {-ZJ}J6JV be a net trade bundle for the grand coalition. If C'j C Cj for every j e N and if {zj,C'j}jeN is in the EC-core, then {z J ,C J } J 6 AT is also in the EC-core. In particular, if the EC-core is nonempty at all, then there exists a strategy bundle in the EC-core which gives rise to the full communication system. This result agrees with the existence of a full-information revealing Bayesian incentive-compatible strong equilibrium, generic or exact, according to the approach to information revelation via contract execution (theorems 9.1.4, 9.1.6, 9.2.5, 9.2.7, 9.2.9).
149
9: Information Revelation
Proof of Lemma 9.5.1 Let C'j C C3 for every j G 5. Denote by 7>'J' (V , resp.) the partition of T consisting of the minimal elements of C'3 (C3, resp.). Suppose that {zj,C'j}jeS € F s , but that {^',C J }jes £ F S - Then, 3
3 j G S : 3 t d T(5) : 3 C j G 7>Jr : V t 6 {?'} x TN\{j} f]T{S) Eu3\z3(Ef]T(S))
+ e3\P) | P) > Euj(zj{t)
where E := & x UieSMj)^^)-
:
+ e3\P) \ P),
Notice that there is E' := C'3 x
riiesxo-} C * ( ? ) e n i e s ^ such that £ ' D £ . It suffices to show at P that (1) C'3 is false information, and (2) by passing C"J on to the others, that is, by acting z3(C'3) rather than acting z3(P), consumer j gets a higher interim expected utility given P, since this would contradict the hypothesis {z3,C'3}j€s G Fs. But z3 is Vies C"-measurable, so it is constant not only on E but also on £'. Therefore, Euj(zj(E'f]T(S)) =
>
+ ej(P) | P)
Eu3(z3(Ef)T{S))
+ ej(P) \ P)
Euj{zj{t)+e3\P)\P).
• For the special case in which each utility function u3{-, i) is affine linear on the consumption set R' + , Yazar (2001) also established nonemptiness of the EC-core by direct application of Scarf's theorem for nonemptiness of the core (theorem 8. A.2 of this book) to the non-side-payment game defined by 3 {z3,C3}jeS € Fs : V{S) := {u G R>N V j G S :UJ < Eu3(z3 +ej) For Vohra's Bayesian incentive compatibility (condition 4.2.1) applied to an arbitrary communication plan, the analogue of lemma 9.5.1 is trivially true. We may, therefore, assume without loss of generality that coalition S designs a strategy bundle {z3,T3}j&s with the full communication plan.
9.A
Appendix to Chapter 9
The purpose of this appendix is three-fold. The first purpose is to present a precise definition of Bayesian incentive compatibility for the two-interimperiod model of Bayesian society which satisfies the information-revelation
150
II: Solutions, Information
Revelation
process (section 9.1), and to establish its characterization. The second purpose is to prove theorem 9.1.6. The third purpose is to prove theorem 9.2.7. The required Bayesian incentive compatibility condition extends d'Aspremont and Gerard-Varet's (1979) original definition (condition 4.1.1) to the present context. It also incorporates Murat Sertel's idea, pretend-butperform principle, later developed by Koray and Sertel (see, e.g., Koray and Sertel, 1992). According to this principle, players are allowed to pretend to have their chosen types, but must thereafter perform so as not to belie them. A pretension function of player j is a function a : T-7 —> TJ, which says that when his true type is P, he acts (makes a choice) as though his type were cr(P). Given any algebra B-7 on T-7, denote by endo(T J , 5 J ) the set 5 of all functions that map each P into the minimal set of BJ that contains P. If every member of coalition S has information structure B-7 about player jf's type, then j can only choose a pretension function a € endo (T^B^). In order to define the Bayesian incentive compatibility, one needs to clarify first which choice of player j is legal in the sense that the other members of the coalition S cannot catch j ' s false pretension about his true type. Suppose the members of 5 are deliberating on whether or not to sign a contract xs e F's(x). At the beginning of the first interim period, player j ' s information structure is given as T-7, and no other member has any part of this information (that is, if i € S \ { j } , then T> f] Tj = {0, T}). So, player j is not caught in the first month no matter which choice he makes from {x\(P) | P € T-7}; that is, he can make choice according to any pretension function a G endo(T-', {0, T-7}), so that when player j ' s true type is tJ, he makes the choice x{(a(tJ)). By acting according to the function x\ o cr, player j having his true type P passes on to all the other members of S the information that event A := (x{)~1(xJ1 oa(P)) has occurred. This information may be false, that is, P may not be a member of A, but the other members take it as j ' s testimony about himself and expect that j will act according to this information in the second interim period, that is, j will have to make a choice from xJ2(A) in the second month. Therefore, j ' s pretension function in the second month has to be of the form r o a for some r G endo(T : ', A(x{)). When j chooses such a pair of pretension functions, a € endo(T J , {0, T-7}) and r € endo(T J ',A{x\)), the other members i £ S\ {j}, acting honestly, would make choices (^(i'^x^Wt- 7 ),* 5 ^- 7 '')), because x\ is Tl{x\)°Let V be the partition of T J that consists of the minimal nonempty members of B J . Then, endo(Ti,Bi) := {a : Ti - • TJ' | V P e V : a{P) C P}.
9: Information
151
Revelation
measurable and
The present concept of Bayesian incentive compatibility says that player j cannot benefit from any pair of pretension functions that are not caught. Recall that F's(x) is the set of all xs G Fs(x) such that each x{ is Immeasurable and x\ is T-^xf )-measurable. POSTULATE 9.A.1 Let S be a two-interim-period Bayesian society (society which satisfies postulates 9.1.1 and 9.1.2). Suppose that the grand coalition is entertaining a strategy bundle x, but that the members of coalition S are contemplating to defect and to take their own strategy bundle after defection. The members of S agree only on those strategies xs £ F's(x) that are Bayesian incentive-compatible, that is, V j £ S; V a £ endo(Tj, {0, Tj}) : V r € endo(T J ', A{x{)) j
s
N s
Eu (x ,x ^
j
>
Eu
:Vt€T:
\f>(xf))(t) (ix{ o a, x>2 O(TO(T,
id)), (arf Uj} , x f { j }
o (a, id)),
x"\ s | P{xf)) (*), where id is the identity map on We can simplify this condition: Observe that for any xs £ a e endo{T\ {0,2^}), and r £ endo(T J , A(x{)), it follows that Vts
£TS
: xj o a{tj) = i j o r o
F's(x),
a(tj),
and V z G S\ {j} : x2(a{tj),ts^)
=
xl2(Too-(tj),ts\{j}).
The first identity is due to r G endo(T J , A(x{)). The second identity is due to T £ endo(T ; ', _4(x^)) and the fact that Xr> is Tl(xf )-measurable. Consequently, we establish the following simplification: FACT 9.A.2 Strategy bundle xs is in Fs(x),
iff xs £ F's(x),
and
V j £ S : V a £ endo(TJ', {0, T]}) : V * G T : EuJ{xs,xN\s | fj(x? ))(t) >
Eu> ((xj o a, x^ o (a, id)), (xf U j } , X2 U i > o {a, id)), p;Af\S
t'(xf)) (t),
where id is i/ie identity map on T S ^ J K
152
II: Solutions, Information
Revelation
In the light of this simplification, the following facts 9 A . 3 and 9 A . 4 are immediate. Fact 9 A . 5 is also straightforward. Fs(x)
F A C T 9 . A . 3 For each xeX, F A C T 9 . A . 4 If xs € Gs(x) s
x
s
£F {x)
s
iff x
C G^(x),
and 6f(x)
C
G^(x).
and if x{ is 1-1 on Tj for every j € S,
then
€G?(x).
F A C T 9 . A . 5 Under assumptions and G^(x) are closed, convex and
1 and 3, for each S € M, sets G f (x) nonempty.
We t u r n to a proof of theorem 9.1.6. Here is an outline of the proof: For each Bayesian society {C*,FS}S£M)
S := ({Ci,T*,ui,ir}j(:N,
construct the associated auxiliary Bayesian
€ SPACE,
society, {C*,Gs}seu).
Sa := ({C*,T*,ui,Tr}jeN,
A Bayesian strongly incentive compatible strong equilibrium (in short, a BSIC strong equilibrium) of Sa is defined as a strategy bundle x* £ G^ such t h a t it is not true t h a t there exist S € M and u € Vx- (S) for which Eu>{x*) < Uj for all j € S. In view of facts 9.A.3 and 9.A.4, if x* is a BSIC strong equilibrium of Sa and if x*^ is 1-1 on T-7' for every j g N, then x* is a Bayesian incentive compatible strong equilibrium of the original Bayesian society S. This motivates the following definition: D E F I N I T I O N 9 . A . 6 The subset S P A C E 0 of SPACE consists of all 5 £ SPACE such t h a t there exists a BSIC strong equilibrium x* of Sa for which (i) x\3 is 1-1 on T? for every j € N, and (ii) there exits an open neighborhood U{Eu*) of Eu(x*) in R ^ so t h a t
U{Eu*)f)Vx.(S)
= 0 for any 5
eAf\{N}.
It suffices to show t h a t SPACEo is open and dense in (SPACE, d). The following lemma 9.A.7 can be proved exactly in the same way as lower semicontinuity of Fs was proved in the proof of theorem 8.2.1: L E M M A 9 . A . 7 Under assumptions semicontinuous in X.
1, 3 and 8, both G f and G% are lower
Due to lemma 9.A.7, one can establish the following lemma 9.A.8 by direct application of the social coalitional equilibrium existence theorem (theorem 8.A.5):
9: Information
153
Revelation
LEMMA 9.A.8 / / a Bayesian society S satisfies assumptions 1, 3, 7 and 8, then there exists a BSIC strong equilibrium in the associated auxiliary Bayesian society Sa. Denote by Ks the set of all x € X such that V j € N : V i £ T : V ij G Tj :
Euj{x | t)
Eui({4{V),4{V,iNX{3))):
>
N
{x»\{rt{i»\{i}),x»\W(P,i
\W))
\t) .
The set Ks is the intersection of a convex polyhedral cone and the space o
X. Notice that G f = GN f]Ks. Let Ks denote the interior of Ks in X. A strategy bundle x £ G^ is called a BSIC Pareto optimum, if there exists no x' £ G^ for which Eu(x') ^$> Eu{x). Define the unit simplex in RN, ,Af
) a r-
6 R-DN ?
Since G^ is convex, a strategy bundle x is BSIC Pareto optimal, iff there exists 6 € AN such that a; is a solution to: Problem P(0, S) :
'Y^9jEui{x)
Maximize subject to
x £ G^.
Proof of Theorem 9.1.6 Openness of SPACE 0 : Choose any S £ SPACE 0 . Then, there exist a BSIC strong equilibrium x* of <Sa and a neighborhood U(Eu*) of Eu{x*) as in definition 9A.6. One may choose a neighborhood 0(x*) of x* and S > 0 such that for each x £ 0(x*), x{ is 1-1 on Tj, and such that for all S' satisfying d(S',S) < 6 and for all x € 0(x*),
Eu(x) £*
(J
Vj(5).
SaN\{N}
The strategy bundle x* is BSIC Pareto optimal; let 8* £ A ^ be the associated weights, and denote by v* the objective function of problem P(8*,S) for x*\ v*(x) :=
Y^0*Euj{x).
154
II: Solutions, Information
Revelation
Function v* is affinely linear, so all the contour sets of v* are parallel hyperplanes. There are two possible cases: Case (1): The contour sets of v* are not parallel to any non-trivial proper face of Ks; and Case (2): The contour sets of v* are parallel to some non-trivial proper face H* of Ks. Consider the parameterized problems P(d*,S'), S' e SPACE. By definition of pseudo-metric d, the constraint set of P(d* ,S') depends upper and lower semicontinuously on S'. By Berge's maximum theorem, the solution set $*(<S') for P{6*,S') depends upper semicontinuously on S'. Case (1): In the light of assumption 3, the solution set $*{S) for P(6*,S) is the singleton {x*} in this case. Then, by the upper semicontinuity of $*(•), there exists S\ > 0 such that for all S' for which d(S',S) < 8\, $*(£') (~)0(x*) j= 0. Therefore, for all S' for which d(S',S) < min { M i } , S' e SPACE 0 . Case (2): There are three subcases: Subcase (2.1): H* f]GN = 0; Subcase (2.2): H* f]GN = {x*}; and Subcase (2.3): H*f]GN has more than one element. o
Subcase (2.1): In this case, x* GKS. Then, by assumption 3, the solution set $*(5) for P(8*,S) is the singleton {x*}. The same argument as in case 1 applies. Subcase (2.3): For all <S' sufficiently close to S, the set H* C]G'N is the solution set for P{9*,S'), and 0(x*) f]H* f\G'N ^ 0; hence S' € SPACE 0 . Subcase (2.2): For any S', let **(£') := {x € G' \ v*(x) = max v*(G')}. By assumption 3, \f'*(-) is a singleton, so it is continuous. Choose 62 > 0 so that for all S' for which d(S',S) < S2, 9*(S') € 0(x*). If tf*(S') e Ks, then $*(£') = $*(£')• If **(<S') 0 ATS) then $*(<S') = H*f)G'N. 1 Therefore, for all S' sufficiently close to S, S € SPACE 0 . Denseness of SPACEo: Using the specific strategy bundles xm and XM of assumption 6, define Bayesian society 51" by: For all x € X, F*N=F*N(x)
:=
co{xm,xM}.
Clearly S^ G SPACEo. Indeed, XM is the unique BSIC strong equilibrium of <St ( = Si), and satisfies conditions (i) and (ii) of definition 9.A.6. Choose any <S € SPACE. By lemma 9.A.8, the auxiliary Bayesian society Sa possesses a BSIC strong equilibrium x*. For any neighborhood U(S) of S, one needs to construct a Bayesian society in U(S) P)SPACE 0 . Define for each a e [0,1], the Bayesian society Sa by: FaS{ax
+ (1 - a)xM)
:= aFs{x)
+ (1 - a ) F t s .
Define xa*{-):=ax*(-)
+
(l-a)xM(-).
9: Information Revelation
155
Due to the aftme linearity of uj(- , t), for all a £ [0,1), xa* is a BSIC strong equilibrium of <S", and condition (ii) of definition 9.A.6 is satisfied for this xa*. Since xJM x is 1-1 on J P , SO is x°*J for all a sufficiently close to 1.
• T h e third purpose of this appendix is to prove theorem 9.2.7. One of Scarf's results on increasing returns to scale is recalled first: Consider a static coalition production economy with one primary good and one final good, ({&, uj, r*}jeN, c) , where N is a finite set of economic agents, E-7 (C R + ) is a strategy set of agent j {pi := (rf, £ J ) £ E-7 means j's consumption of rp units of the final good and CJ units of the primary good), u-7' : E-7 —> R is a utility function of agent j , r-7 > 0 is the initial resource of primary good held by agent j , a n d c : R + —> R + is the cost function, which is common to all coalitions {c{rf) is the minimal amount of the primary good t h a t is needed to produce rj units of the final good). T H E O R E M 9 . A . 9 (Scarf, 1 9 7 3 ) Let ({E-7, v?, r^}j&N, c) be a coalition production economy with one primary good and one final good. Define a non-side-payment game V : J\f —> RN by
V(S)
uew
>. V i e S :ui
/ / each ui is nondecreasing
^u^rf,?)
in R^_, and if
0< 7? <,'=>^>^P, then the game V is balanced. Theorem 9.2.7 will be proved by applying the technique of Ichiishi and Quinzii (1983) modified suitably for the present purpose: Roughly stated, a family of societies T := ({E^jW^jjgAr, {$ s }seAA, Q, * , {{N'}}) parameterized by price vector q G Q (definition 8.A.7) is constructed from the profit-center game ({Rk>"+k",T>,
profit function,
r>,n}j€N,{Yj}jeN,p).
The parameterized family T will be shown to satisfy the assumptions of the social coalitional equilibrium existence theorem 8.A.9. From a social coalitional equilibrium of T, one can easily construct the required core plan
156
II: Solutions, Information
Revelation
of the original profit-center game. Recall, however, the cost-minimization problem PN{q,rj) and the partition of the price domain into {Q+,Qo}, defined in section 9.2. To be precise, in view of the fact that problem PN(q, rj) may not have an optimal solution if q £ Qo, a sequence of parameterized families of societies {TV}'^L1, Qv C Q+, is actually constructed, a social coalitional equilibrium {q",av'N) of V is chosen for each v, and a limit point (q,
V t G T : V a £ Kn : q(t,a) > - \ .
Since Q" C Q+, problem PN(q,n)
has an optimal solution for all {q,rj) £
o
Qu x R + . The parameter space of T" is, therefore, the trimmed simplex Q". Given the resource constraint rN, define a lower bound and an upper bound for the maximal profit: Vrn,
,
e
Y i
minmax < minfp • iA„(t)} j£N
am
I t€T
^
"
max ^max{p • £ ] !/£,(*)} 3<EN
y{m is T-7-measurable -rN ) G Y y{m is X-7-measurable
^From assumption 9.2.3 (v) and the present conditions ((1) positive profitability from strict inputs and (2) strict positiveness of r-7'(iJ')), it follows that 0 < r\ < rj < oo. The strategy spaces are defined as E'' := [v, rj} x {0} (CR+ x R + ) , j £ N. Division j ' s strategy (r?-3,07) £ £ J is identified with rji £ [77,77] since £J = 0, and is interpreted as the profit attributed to j . To use the language of Scarf's model with one primary good and one final good (see theorem 9.A.9), (rf, CJ) means j's consumption of r\i units of the "final good", and no consumption of the "primary good". Define E s := F J i e S E l , and set The feasible-strategy correspondences $s : Q —> E s , S £ A/", are defined
157
9: Information Revelation
as
$ s (g):=
(^OjeE^ V
t£S
/
igSt€T
s
J 1
(To be precise, the restriction of $ to Q" is used for r '.) The utility functions of T" are given as
L E M M A 9.A. 10 There exists a continuous function (x*N,y*):
Q+XR+ (q, V)
Rl T x W l x R ^ , (x*N(q,v)(-), y*(q,v)(-))
-
such that for each (q, rj), (x*N(q,rj), y*(q,r))) : T —> R ,Ar ' x Rfc is an optimal solution to problem PN(q,r]). Proof Step 1. Given q € Q+ and any function x : T —> R, the problem, Minimize
^q(t) •
{-yn(t)),
tST
subject to
— j / n G SYN(ym),
and
V« : z(t) < p - y m ( t ) , has a unique solution y*(q,x). Indeed, let y := (ym,yn) and y' := (y'm,y'n) be solutions. Then, g(q,ym) = g(q,y'm)If !/m ^ J/m, set y^, := (ym + y'm)/2. By strict quasi-convexity of g(q, •), 9(9-0
<9(Q:ym),
and clearly V*eT:
x(t)
which contradicts the optimality of y. Therefore ym = y'm. By strict convexity of 5 y jv(j/ m ), yn = y'n. Step 2. Using the subvector y^(q, x) oiy*(q, x) obtained for an arbitrary x e R T in step 1, problem PN(q,r]) is equivalent to finding a solution xN :T->RN to: Minimize
- ^
q(t) • y*n (q, ^
subject to
rj < ^ m i n £ ' ( a ; i | 7"*)(£). ieN
te
x* J (t),
158
II: Solutions, Information
Revelation
Let xN and x'N be two optimal solutions of this problem. Then, one may assume without loss of generality,
V i : ,£xi{t)
=
'E,x'i(t)=:xt(q,r,){t).
To show this, notice first that
V i£N
J
\
i£N
J
Indeed, if this last equality is false, set 11N
„Ar , IN X -\- X
._
2 Nx Vm
>
•=
Then,
7 ? <Emin^(x"MT')(i), ieN
sfa.iC) < a l
J2ieN x*))- One c a n then
x*(q,r,)(t):=p-y;n(q,Ylxi)(t)-
Vt:
Step 3. By the maximum theorem, the function (q,rj) >—* x*(q,rj)(-) o
is continuous on Q+x R + . The set of optimal solutions of the problem PN(q, rj) is now given as
xN
:T^RN
VteT:
By Walkup and Wets (1969), this polyhedron depends continuous piecewise linearly on the right-hand-side parameter of the constraint, (77, x*{q, »?)(•));
9: Information
159
Revelation
t h a t is, there are finitely many continuous piecewise linear functions h^, j 6 J , such t h a t for each (f],x*(q,r])(-)), {the extreme points of the polyhedron given (TJ, x*(q, /?)(•))} C
{hi{r,,x*(q,T,)(-))\j€J}.
In particular, each extreme point depends continuously on (q,r]). N
establishes the required choice of x* Step 4 • Define
: Q + x R+—* R j
TxW
This
L
y*(q,fi)(-)-=y*(Q,x*{q,r,)(-))(-), where y* of the right-hand side is given in step 1 and x* is given in step 2.
• T h e parameter's response correspondence \? 1/ : Qv x £ —> Q" of the society Tu is defined by: q° £ ®u(q, (f}N , 0 ) ) iff q° maximizes the value of the "total excess demand for the 'nonmarketed commodities' ". T h a t is, q° solves the mathematical programming problem,
Maximize
£ q(t) • ( ~y'n ( Q, E ? J ter \ \ jeN J
subject to
q 6 Q",
W " E r* ( * * ) ) ' ieN J
: where y^(q, YLJ^N^)^) -^ —* ^ f c " ' s g i v e n m lemma 9.A.10. Solution N q° (€ $?(q, (fj , 0))) assigns a large weight (i.e., q°(i, a) > 1/v) only if the excess demand for (i,a) is the greatest for all (t,a) € T x /("„.
Proof of Theorem 9.2.7 Step 1. For each is large enough so that Qv ^ 0, the family of parameterized societies r " := ({X'heN,
Q", {*S}seM,
*",
When)
t h a t is constructed from the profit-center game ( { R f c - + f c " , T J , profit function,r>,Tr} j e N ,
{Yj}jeN,
p)
is well-defined and satisfies conditions (i) and (ii) of theorem 8.A.9. One may assume without loss of generality t h a t c^ = c ^ for all S. Indeed, by assumption 9.2.3 (iii), cf, > c ^ for all S. A core plan of the (hypothetical) profit-center game in which every coalition S has access to the cost function c ^ is also a core plan of the (original) profit-center game,
160
II: Solutions,
Information
Revelation
since in the latter (original) game the "blocking power" of S is weaker, so more plans are coalitionally stable t h a n in the former (hypothetical) game. T h e family T" satisfies condition (i') (iii) of theorem 8.A.9. Indeed, in view of assumption 9.2.6 (iii) and strict positiveness of r^{P), the standard technique in the neoclassical consumer theory t o establish upper and lower semicontinuity of the budget-set correspondence is applicable. T h e family Tv satisfies condition (iv) of theorem 8.A.9. Indeed, by assumption 9.2.6 (i), for each given q G Q,
Therefore, for each q G Q, the non-side-payment game VWjQ : M —> R w defined by Vw,q(S)
:= {u G HN
| 3 os G §S{q)
: V j G S : uj <
uj(q,o-j)}
is balanced by theorem 9.A.9. T h e family T" satisfies condition (v) of theorem 8.A.9. Indeed, choose any q G Q" and any utility allocation u G RN. Let cr0N,cr1N G $N(q) be such t h a t V j€N : Uj< min {uj(q,aoj),uj{q,cr^)} , and for each a € [0,1] define craN G E by aaN
:= a*1N
+ (I -
a)a0N.
Clearly, iij < uj(q,o-a:>) for all j G N. It suffices to show t h a t aaN G N(q). Let (x0N,y°) G CN(J2isN V0i) be an optimal solution to problem
P ^ S , £<<=„»/*). Then,
V ieN Similarly, for an optimal solution (x1N,
)
ieNteT y1) to problem PN(q,
stey™) < £ £ « ( * ) • *•<(*<). Define {xaN,y*m)
:= a(x1N,yi)
+ (1 - a ) ( z o i V , ^ ) .
By assumption 9.2.6 (iv), for any a G [0,1],
S&J/m) < £ £ « ( * ) - r W
X^PJV T? U ),
9: Information
161
Revelation
On the other hand, for any y3n for which y{n is T-?-measurable and (y£j, E i 6 j v J / n ) € E ^ n it follows t h a t ( x ^ , y « , E i 6 W l / ; ) G ^ ( E l £ j v r ) , so t h a t
and consequently,
V ieN
\
Therefore,
\
)
ieNteT
ieN
ieN
)
)
ieN teT
aN
t h a t is, a € $(£). T h e family r " satisfies condition (iii') of theorem 8. A.9 by the maximum theorem. Thus, all the assumptions of theorem 8. A.9 are satisfied. Let (qv\auty') € u Q x X be a social coalitional equilibrium of I 1 ". By definition of Vf, q" € Q+. Let {^N,y"):=\x
*"(^E^)W^E^)VV
ieN
J
\
it is an optimal solution to problem F {qv,J2teN rise to yv (in particular, y" = EieA'J' 1 ")- ^ n e each y j J is T- 3 -measurable.
ieN r 1
f )ma y
))
Let yuN cnoose
€ YN give J/" W s 0 t h a t
Step 2. The sequence {y^v ( c — R + ) obtained in step 1 is bounded. To show this, suppose the contrary. Then, there exists a subsequence, still denoted by {y£}„, such t h a t y^(tu,a")
—• —oo, u
as
^ —> oo,
v
(9.7) v
for some choice of coordinate {t ,a ) for each v. For each v, define L ( c T x K"n) as the set of (type-profile, commodity)-pairs whose excess demand is maximal. T h a t is, (t, a) G Lv iff - y ^ f , a) - ^ »•'(?, a) = m a x j - ^ ( i , {t a) ieiv ' {
a ) - ^ r ^ . a ) } . ieN J
By passing through a subsequence if necessary, one may assume without loss of generality t h a t V
= Lv+l
= - . . = : L°.
162
II: Solutions, Information
Revelation
By the present hypothesis (9.7), V (t,a) € L° : y^(t,a) —* —oo, as v —» oo. This holds true, only if [qv,(juN) correspondence W satisfies
as a point in the domain Q" x S of the
V (t, a) G L° : q"{t, a) —> 0, as v —> oo (otherwise, the cost — Y^t&T^^f) ' Vn(t) would be arbitrarily large, which contradicts the definition of y1^ as a cost-minimizer). Therefore, ^2
g"(*,a)->0,
as
v -> oo.
(9.8)
(t,a)eL°
On the other hand, q" as a point in the response set ^u{qv, avN) assigns a greater weight than l/v only to members of L°. So
(t,o)GZ,°
—* 1, as i/ —> oo, which contradicts (9.8). Step 3. Since {y^}i> is bounded, and since
Vn = £ C , J6iV
2/JT
<
0 for every i £ N,
the sequence {y^l}i/ is also bounded for each i. By assumption 9.2.3 (v), {Vm,}* i s bounded from above, and hence so is {y^},,. Moreover, Vt£T:r1»
^ y»N
x
^ -4
JV
€R|TxJvl, / e y w , a s v - oo. i
163
9: Information Revelation
Step 4- The plan (a;^, yN) is a member of FN. To show this, one only needs to check Vt€T:
-$>„(*)<$>*(**)•
(9-9)
For this purpose, choose any q in the relative interior of Q. Then, q £ Q" for all f sufficiently large, so that
< E^)-(-E«)-E r ^)) V
<
t€W
/
i^NteT
0.
Letting t/ —> oo,
E^-f-E&w-E^)) ^°This is true for all q in the relative interior of Q, hence it is also true for all q e Q. In particular, it is true for 9 = e*'a € Q defined by
e*'a(£ a) := I 1 ' [0,
This means that
if
(*'a) = (*' fi )'
otherwise.
-E&(*' 5 )-E r< ( ? ' fi )^°iSiV
ieiV
Since (i, a) was chosen arbitrarily, (9.9) is now established. Since T]vN (:= (ul{qv, er"*))jg/v) is in the core of game Vw„" for every 1/, and since $ 6 ''s are upper and lower semicontinuous, it follows that rjN is in the core of game VWtg-.
nN G KaW,
(9.10)
and - n 3 5 £ j V : 3 / e K,, 5 (5) :VjeS:if>
ff>'.
(9.11)
164
II: Solutions, Information
By (9.10), (xN,yN) x' by: x'j(tj,tN\W)
Revelation
e C ^ Q ^ ^ T f )• Define a profit-imputation plan
N
:= ff - E{xj | Tj) +
xj{tj,tN\{j}).
Then, E{x'j | TJ')(«)
= =
ff - E{xj | T')(t) + E(xj | T-*)(t) ff,
which is independent of t. Moreover, for all t £ T,
i€N
Therefore, (x'N,yN)
i€N
i€N
ieN
£ G%. Define X* := E{x'i \ T'). = N
N
Then, x° (t) = fj>.
By (9.11) no coalition S can improve upon (a; , y ) using strategies in G^. Using lemma 9.2.10 and postulate 9.2.1, one can construct the required full-information revealing, Bayesian incentive-compatible core plan from (x'N,yN), as in the last two paragraphs of the proof of theorem 9.2.5. D
Part III
P U R E EXCHANGE ECONOMY
This page is intentionally left blank
Chapter 10
Existence To date many works have been done on the Bayesian pure exchange economy (example 2.2.1) with I commodities,
£pe := {C3,T3\ v>, e>, {n3(- | *>") W , - }jeN , where N is a. finite set of consumers, and for each consumer j , C3 is his consumption set, T3 is his finite type set, u3 : C3x T —* R is his type-profile dependent von Neumann-Morgenstern utility function, eJ : T3 —> R + is his initial endowment vector, which depends only upon t3, and TT3(- \ t3) is a conditional probability on TN^3^ given t3, objective or subjective. These works are mostly on the existence of a core allocation, and on the core convergence theorem. We assume t h a t either each consumption set is the nonnegative orthant R' + of the commodity space, or it is a nonempty and compact subset of R ; (the latter assumption can be made without loss of generality). Actually, we have already seen some existence results for the core of the Bayesian pure exchange economy in chapter 8, as special cases of strong equilibrium existence theorems for a more general model of Bayesian society. We will present further works on the existence of an interim core allocation in section 10.1: Ichiishi and Yamazaki's (2004) nonemptiness result on the Bayesian incentive-compatible coarse core, Vohra's (1999) works on the Bayesian incentive-compatible coarse core for the mediator-based approach, Vohra's (1999) example of a market for a lemon whose interim Bayesian incentive-compatible core is empty, Ichiishi and Yamazaki's (2004) condition for nonemptiness of the interim Bayesian incentive-compatible core. In all these works, consumer's choice is defined as his net trade. It is unlikely t h a t the positive results on interim core concepts can be extended beyond the Bayesian pure exchange economy. In section 10.2, we will first present 167
168
III: Pure Exchange
Economy
for completeness applications of the existence result (theorem 8.2.1) to an ex ante core allocation, in which consumer's choice is defined as his commodity bundle, and then establish a theorem for the ex ante core in which consumer's choice is his net trade.
10.1
Interim
Solutions
We present a positive existence result on the Bayesian incentive-compatible coarse core first. Here, a strategy is a net-trade plan z? : T —+ R' which is individually feasible, that is, z^(t) + e?{V) > 0 for all t G T. A function / : Rl+ —+ R is called weakly monotone, if [c,c'eKl+,
c
=>
f(c)
PROPOSITION 10.1.1 (Ichiishi and Yamazaki, 2004) Let £pe be a Bayesian pure exchange economy, in which each player j 's strategy is a T-7 measurable net trade plan zK Assume that T(S) = T(S') for all coalitions S and S'. Assume also for each consumer j that C-7 = R + , and his von Neumann-Morgenstem utility function u^(-,t) is continuous, concave, and weakly monotone in R' + for every t € T. Then there exists a Bayesian incentive-compatible coarse core net-trade planProof. As in Wilson (1978), define an agent as a pair of a consumer and his private information, and define for any S £ Af and E G Aigs ( ^ f l ^ ^ ) ) the admissible coalition of agents, (S,E) := {(j,t J ) £ 5 x P
| 0 ± ( V l x T " W > ) f\T{S)
C E\
(see the paragraphs at the outset of section 8.1, preceding proposition 8.1.1). Consider the game in which strategies are private measurable: V'(S,E) u G R^e"
# T J
3 zs G F's - {es} : V j G S : (V V : {V} x T w \ « C E) : u{jtt3) <Eui{zi + ei \P)
Scarf's core-nonemptiness theorem (theorem 8.A.2 of this book) is applicable to this game. Let z* be a strategy bundle of the grand coalition (N, T) which gives rise to a member of the core of V'. By Ichiishi and Radner's lemma (lemma 9.2.10), there exists a private measurable strategy bundle z* such that z* < z* and
VtGT:
J2z*(tJ)=0-
169
10: Existence
By weak monotonicity of £ u J ( - | P), t h e bundle z* also gives rise t o a member of t h e core of V. By H a h n a n d Yannelis' proposition (proposition 4.1.3 of this book), it is Bayesian incentive-compatible. T h e bundle z* is the required Bayesian incentive-compatible coarse core strategy bundle of £PeD T h e above proof is essentially a reproduction of Wilson's (1978) proof of nonemptiness of t h e coarse core. It shows t h a t his technique works even when we impose t h e measurability condition a n d t h e Bayesian incentive compatibility condition, although Wilson did not impose either one. T h e idea for this positive result m a y b e summarized as t h e following three steps: (1) Apply Scarf's theorem (theorem 8.A.2) t o t h e appropriate game, such as t h e one with admissible coalitions of agents, in which feasible strategies are restricted to private measurable net-trade plans, a n d obtain a core plan. (2) Apply Ichiishi a n d R a d n e r ' s lemma (lemma 9.2.10), a n d obtain another private measurable core plan for which t h e total d e m a n d is m e t by t h e total supply with strict equality for all type profiles. (3) Apply H a h n a n d Yannelis' proposition (proposition 4.1.3), a n d show Bayesian incentive compatibility of t h e core plan. T h u s , t h e proof utilizes t h e specific struct u r e of t h e Bayesian pure exchange economy £pe in the private measurable case in which each consumer's strategy is his net trade plan. We have seen in the proof of a existence theorem for the general Bayesian society (theorem 8.2.1) how Bayesian incentive compatibility destroys convexity of the relevant data, even when we start out with the convex world (this was indeed the reason for the restrictive affine linearity assumption on the von Neumann-Morgenstern utility functions u^{-,t) in theorem 8.2.1). The specific structure of £pe overcomes this difficulty, so there are many positive existence results for £pe. The idea summarized in this paragraph will repeatedly show up throughout this chapter. R E M A R K 10.1.2 Vohra has an example of an empty Bayesian incentivecompatible coarse core (Vohra, 1999, example 3.2, pp. 136-138), but this is within the problematic framework of mediator-based approach: It is based on his postulate that a net-trade plan of consumer j in coalition S is Tsmeasurable, rather than private-measurable. • Vohra (1999, proposition 3.1) provided a sufficient condition for nonemptiness of a Bayesian incentive-compatible coarse core of the Bayesian pure exchange economy £pe for the mediator-based approach. In his framework, player j's strategy is his net trade plan. Recall the notation,
T V ) := (J ({P} x supp **(• | P)) .
170
III: Pure Exchange Economy
Information is called non-exclusive, if any player's unilateral deception can be detected by the other players when these other players pool information, that is, if Vj G N : V t G T{nj)
:
f| { ( a ^ ^ . t * ) e T | T T ^ S ^ W | *') > 0} = {t}. i£N\{j}
Thus the non-exclusiveness of information implies that the mediator can detect any unilateral deception. This implication is re-stated as follows: Vohra assumed that ViJfEN:
T(7ri) = T(7rj).
(10.1)
Set T* := T{^). Under condition (10.1), non-exclusiveness of information is equivalent to: V i € T* :\/i,jeN:\/
sj E Tj \ {P} : n\s>, tN^'^
| t*) = 0.
So, whenever player j tries to deviate from P to si (^ P), everybody else sees that the resulting type profile (s^,tN^^) could not have occurred. Defection is thus detected. Let z be an interim individually rational nettrade plan. The players can design the following alternative plan: Give the penalty of no-trade at any type profile outside the support of the interim probabilities. In a nutshell, unilateral deviation results in a type-profile outside the support of the interim probabilities, so this alternative plan is attainable and Baysian incentive-compatible, and gives rise to the same interim utilities as z. This is the heart of Vohra's positive result (proposition 10.1.3), and is formally presented as lemma 10.1.4. PROPOSITION 10.1.3 (Vohra, 1999) Let £pe be a Bayesian pure exchange economy, in which each player j's strategy in coalition S (3 j) is a Ts-measurable net trade plan zK Assume that (10.1) is satisfied, and that information is non-exclusive. Assume also that for each consumer j , his von Neumann-Morgenstern utility function u^(-,t) is continuous, concave, and weakly monotone in R' + for every t e T. Then there exists a Bayesian incentive-compatible coarse core net-trade plan. A key step in the proof of proposition 10.1.3 is provided by the following lemma: LEMMA 10.1.4 (Vohra 1999) Let £pe be the Bayesian pure exchange economy, satisfying the same assumptions as in proposition 10.1.3. Let z : T —> R ( # J V be attainable net trade plans ({z? + ej}jeN £ FN) such that Eui(zi 4- ej \P) > Euj(ei | P) for every j £ N and P G Tj. Then
JO:
171
Existence
there exist attainable and Bayesian incentive-compatible net trade plans z : T —> Tll'#N such that z and z give rise to the same interim expected utility allocation, V j &N :Vtj
eTj
: Euj{zj
+ ej \ tj) = Euj{zj
+ ej | tj).
Proof Let z be the net trade plans given in the lemma. Define z :T —> Rl-#N
by
^'
\ 0
otherwise.
Clearly, z is attainable, and gives rise to the same interim expected utility allocation as z. We only need to check Bayesian incentive compatibility of z. Choose any tj <E Tj and any sj G Tj \{tj}. Euj{zj{sj,-)
+ ej{tj)
\tj)
n J (T N \ {, ' ) |t j y(^(»'/ ,l( ' > ) + e''(t'))
YL TN\{J}£TN\U}
T
< =
\tj)uj{zj{s\TN\{jl>)+ei(t:>))
Y
-KJ(TN\^
Y
i 3 (T N U i > | t?)uj(ei{t'))
iV\{j}e3-/V\{i}.(tjrA'\{j)-)gr.
Euj(zj Euj{zj
+ ej + ej
\tj) \tj).
a Proof of Proposition 10.1.3 Let z be a coarse core allocation, whose existence is asserted by Wilson (the same assertion as proposition 10.1.1, except that private measurability and Bayesian incentive compatibility are not imposed). In the light of lemma 10.1.4, there exists an attainable, Bayesian incentive-compatible allocation z which gives rise to the same interim expected utility allocation as z. No coalition can improve upon z using its attainable allocation, Bayesian incentive-compatible or not. So no coalition can improve upon z using its Bayesian incentive-compatible, attainable allocation. • Non-exclusive information implies that many type-profiles are of probability 0 according to iti(- \ P)\ it is illustrated in figure 10.1, the Vohra box diagram. Here, N = {1,2,3}, and each type space has two elements, Ti — {^1,^2)1 J ^ N. The support of each ex ante probability is given as -L — \{ti,ti,£2),
\t2,ti,ti),
(i2,121^2)/'
172
III: Pure Exchange
Economy
Figure 10.1: The Vohra box diagram
indicated by the shaded area in figure 10.1. Information is obtained not only through the private information structure but also through the interim probability. We turn to the works on the interim Bayesian incentive-compatible core. It is easy to establish that when I = 1, the zero net-trade plan i — i »0 (resulting in the initial endowment function t t—• {e^(P)}jeN as the final allocation plan) is the unique interim Bayesian incentive-compatible core plan of a Bayesian pure exchange economy. For / > 2, the interim Bayesian incentive-compatible core may be empty, even for a Bayesian pure exchange economy satisfying all the neoclassical convexity assumptions. See, e.g., Hahn and Yannelis (1997, corollary 8.2.3) for an example of an economy with an empty interim Bayesian incentivecompatible core. The negative result is true even for some economies with linear von Neumann-Morgenstern utility functions. This negative result makes a contrast to nonemptiness of the ex ante Bayesian incentivecompatible core (see the proof of theorem 8.2.1 for the role of linearity of the utility functions in dealing with Bayesian incentive compatibility). Vohra (1999, Example 2.1, pp. 131-132) showed this negative result in his example of a market for a single indivisible lemon. The following example is a minor variant of Vohra's example, obtained by removing the indivisibility.
JO:
173
Existence
E X A M P L E 10.1.5 Consider the following two-consumer, two-commodity Bayesian pure exchange economy. J V = { 1 , 2 } , Tl = {l,h},
T2 = {t2}.
The type-profile space T :=Tl x T2 is then identified with T 1 . Consumer 1 is the seller of divisible commodity 1, and consumer 2 is the buyer. The seller knows the quality of commodity 1, but the buyer does not. The second commodity is money. The consumption set for each consumer is R+. The initial endowment function on T is a constant function,
V.ST: «'(«)-( J ) , . » ( 0 - ( » ' where w > 6. We formulate the quality of commodity 1 in terms of the state-dependent von Neumann-Morgenstern utility function. In state /, commodity 1 is of low quality, giving rise to no utility. In state h, commodity 1 is of high quality, giving rise to positive utility. The utility functions are given by: i,
>
_ -
U lC tj
'
2/
*\
/ c2 \ 10Cl+c2
if t = I if t = h,
J c2
if
t = I
U (c, t) ., .. , K ' ' 15ci + c2 if t = h The ex ante probability held by the uninformed buyer is the uniform probability, *\l,t2)
= *2(h,t2)
= \.
We will show that this economy has no interim Bayesian incentive-compatible core net-trade plan. (The readers may skip the rest of this example; we will briefly comment on emptiness of the core of this economy in remark 10.1.6.) By abuse of notation, when we have a constant plan z J , we also use the notation z* for the image of the function. The same abuse of notation for eJ. Let z 1 b e a constant function such that z 1 > — e 1 . Then, l / i . i . \
u(z
\
+e,t)=|
Zr
>
2 1 0(1 + z
i i i
i)
+ 2i
if
t =
For a constant function z2 for which z2 > - e 2 , Eu2{z2 + e 2 ) = 7.5z2 + z2 + w.
= / h.
174
III: Pure Exchange
Economy
The proof of Hahn and Yannelis' proposition (proposition 4.1.3) actually establishes that the private measurable net trade plans for which the total demand is met by the total supply with strict equality at any type profile are constant functions. This fact and Ichiishi and Radner's lemma (lemma 9.2.10) guarantee that we can consider only constant plans. In the grand coalition N, consumer l's (constant) strategy has the range
and consumer 2's strategy is given by z2 — —z1. We consider the individual rationality, viz., the conditions on a constant strategy bundle z G F'N for no singleton coalition to interim block. Coalition {1} cannot block at t = I, iff
Coalition {1} cannot block at t — h, iff 10(1+ z\) + z\ > 10. Coalition {2} cannot block, iff — 7.bz\ — z\ + w >w. The only z1 which satisfies the above three inequalities is the no-trade: z*1 = 0. This is, therefore, the only possible interim core strategy. We will show that the no-trade z*1 is blocked by N at t = /, which will complete the proof that this specific model has an empty core. (The no-trade cannot be blocked by N at t = h, but this fact is immaterial.) Let z G F'N be a constant strategy proposed in order to block z*1. Consumer 2 agrees to the blocking, iff —7.5z\ — z\+ w > w. Consumer 1 agrees to the blocking at t — I, iff z^>0. Both agree to the blocking at t = I iff these two inequalities are satisfied. There are many z1 satisfying these two inequalities, e.g.,
•
175
10: Existence
R E M A R K 1 0 . 1 . 6 T h e key idea in example 10.1.5 m a y succinctly be captured by the following observation. T h e no-trade interim utility allocation is ux{eit) [e :t)
_ "
r o { io
Eu2(e2)
=
w.
T h e constant strategy bundle z £ FN z1{l) = z1{h)
:=
z2(t2)
:=
gives rise to the interim
Eu2(z2
given by
-z\l)
utility allocation,
11 i , U{Z
if t=i if t = h
+ e
i +\ '*} =
+ e2)
=
f 6 if i = Z \ 6 if t = h 1.5 + w.
The no-trade utility allocation is blocked by N at t = I via z, and the utility allocation of z is blocked by {1} at t = h via the no-trade. Q Remark 10.1.6 suggests the fact t h a t an interim Bayesian incentivecompatible core strategy bundle may not exist, because a utility allocation is blocked by a coalition at a particular type profile (S,ts), and another utility allocation which is stable against (S, ts) is blocked by a coalition at another type profile (S", t's ) . In order to guarantee the existence of a core strategy bundle, therefore, we need to explore the effects of different type profiles. T h e rest of this section will explore conditions among effects of different type profiles under which a core strategy bundle does exist. For a clear-cut result, we will postulate t h a t T(n^) = T for all j , and t h a t von Neumann-Morgenstern utility functions are affine linear (assumption 10.1.7). In the following, commodity bundles 6> + e J ' ( t J ) are understood as /-dimensional column vectors. A S S U M P T I O N 1 0 . 1 . 7 ( R i s k N e u t r a l i t y ) For each consumer j and each type t \ there exist a nonnegative row vector ^(P) and a scaler W{V) such t h a t Euj (c> + ej \tj)=
aJ{tj)
{c> + ej(tj))
Here, a^{t^) is the vector of marginal (interim) tulated to be nonnegative.
+ V{tj),
for all cj € R ' .
utilities given type P, pos-
176
///.' Pure Exchange Economy
Define the attainable choice space CQ as: CZ
:=
b
e R i-#s
cs
G
U
R^
5
V j e 5 : V t J e P : ^ + ei(tj) > 0
EC
Z o• < o
J,
where e^ := min {e^t3) \ t3 G T-7}, in short, e> := inf t i GT3 ej(tj). The set Cg1 is nonempty; indeed, 0 G Cjf. An agent of economy £ pe is defined as a consumer together with his type, (j, t3); denote by A the set of all agents, A:={(j,t3)\jeN,t3
£T3}.
An admissible blocking coalition is a coalition of agents in which at most one agent represents each consumer; denote by BQ the family of all admissible blocking coalitions, B0 := {B C A | [{i,t% (j,t3) eB,t{^
t3] => i ± j}.
Thus, consumer-coalition S forms as a blocking coalition in £pe at type profile ts, iff the admissible agent-coalition B := {(j,i3) G A | j G S} forms. For B G Bo, let S(B) be the set of those consumers represented by the agents B, S(B):={jeN\3t3
eT3:(j,t3)eB}.
Also, let t3(B) be the consumer j ' s type for which (j, t3(B)) G B. In the light of the linearity assumption (assumption 10.1.7), we may define the maximal coalitional gain for each B G BQ, v(B)
max k jes(B)
V j &S(B) : a3(t3(B))c3
>0
It is achieved with net trades within S(B) that are individually feasible (c3 + e? > 0), coalitionally attainable (E 7 ss(B) ^ — ^)> a n a - individually rational (a3{t3{B))c3 > 0). The concept of maximal coalitional gain v(B) assumes transfer of utilities among the players, but these numerical values are needed only in the following quantitative condition (assumption 10.1.8) of the existence theorem (theorem 10.1.9). Notice that the gain v(B) depends upon {eJ}jes(B)- We will discuss assumption 10.1.8 after presentation of theorem 10.1.9.
177
10: Existence
A S S U M P T I O N 10.1.8 (Possibility of Utility Enhancing Multilateral Trades) For all { A B } B € B 0 ( C R + ) and all {fij}j&N (C R+) for which Vi,j£N
: £
Asa^B^+M^
BeBo:S(B)3»
£
XB^(P(B))
+ ^ , (10.2)
B€B0:S(B)3j
it follows that (10.3) see,
THEOREM 10.1.9 (Ichiishi and Yamazaki, 2004) Let £pe be a Bayesian pure exchange economy such that T(7rJ) = T for all j , in which each consumer's strategy is a net-trade plan. Assume £pe satisfies assumptions 10.1.7 and 10.1.8. Then an interim Bayesian incentive-compatible core net-trade plan of £pe exists. To clarify the meaning of assumption 10.1.8, consider for example the economy £pe with two consumers (N = {1,2}). If v(B) = 0 for all B e Bo, then the assumption is automatically satisfied, so the interim Bayesian incentive-compatible core is nonempty. Otherwise, for each consumer j , let K.i be the cone spanned by consumer j ' s marginal (interim) utility vectors,
K* := (
ABaJ'(f'(J3))eR'+
Yl
(V B e B0 : S{B)
3j):\B>0
B€B0:S(B)3j
If there exists nonzero {XB}B&B0 which gives rise to a member in K1 D K , then together with ^ = 0 for all j G N, it satisfies constraint (10.2). So the required inequality (10.3) is not satisfied unless v(B) = 0 for all B £ Bo, and theorem 10.1.9 cannot be applied. Figure 10.2 illustrates this point using example 10.1.5 of a market for divisible lemons, which partially explains nonexistence of the interim Bayesian incentive-compatible nettrade plan in this example. If KlnK2 = {0}, then for any nontrivial Ag's and /J J 'S to satisfy (10.2), some ^P must be nonzero, and if the corresponding ej is large, the required inequality (10.3) is satisfied, and the Bayesian incentive-compatible interim core is nonempty. Here is one economic interpretation of assumption 10.1.8. Define 2
v:=
JT BeB0:S(B)Bj
\Ba?{i?(B))+n>
eKl+.
178
III: Pure Exchange
0
7.5
Economy
10
Figure 10.2: Market for divisible lemons
T h e vector v is independent of j in view of (10.2). Suppose t h a t the society values each agent-coalition B as \B, and each commodity h as Vh- Then, by holding a unit of the hth initial endowment, consumer j enjoys two attributes: One is the increase in utility by possessing it as a member of various coalitions, ^2B£B0.S(B)BJ ^BO-^P(B)), and the other is its excess value as an asset, fi^ := i/h — J2BeB0:S c* is feasible in the grand coalition, if Vj£N:
(Recall e? := mitj€x>
eJ
VBeB0:
c*j>-ej,
(10.4)
- ^ c " > 0 .
(10.5)
'(* J ')-) It is coalitionally stable, if J2
aJ(tj(B))c*j
>v{B).
(10.6)
j£S(B)
A constant m a p T —> ( R ( ) , t \-* c* is the required interim Bayesian incentive-compatible core net-trade plan, if c* satisfies the above linear
179
10: Existence
inequality system (10.4)-(10.6). By a version1 of the Minkowski-Farkas lemma, we can obtain a necessary and sufficient condition for the existence of such c*. In the following, A := {XB}B£B0: t1"•—{^J}jeN, and v are #Bo-dimensional, (#iV)/-dimensional, and /-dimensional row vectors, respectively (each fiJ is a /-dimensional subvector). The linear inequality system (10.4)-(10.6) has a solution, iff (v(A,
M
)6R(*»
+
(«
\Baj{tj{B))
J2
+ , :
+ n3 ~ » = 0 for all j € N ) :
B€B0:S(B)3j
J j
Y
XBv(B) - Y /j, e> - vO < 0.
BeB0
j£N
By eliminating v, and by observing that ai(P(B)), ative, we obtain the condition of theorem 10.1.9.
XB and fiJ are nonnegD
The rest of this section is devoted to analysis of several variants of the example of a market for divisible lemons (example 10.1.5). E X A M P L E 10.1.10 We specify N, T, and u1 as in example 10.1.5, but consider different data on consumer 2's expected utility Eu2 : R+ —> R (still assumed to be affine linear, so that Eu2(c) — a?(t2)c) and on the constant initial endowment vectors eJ := (e^e^) € R + , j G N. Define for simplicity, (N,l) (N,h)
••= { ( U ) , ( 2 , t 2 ) } G Bo, and := {(l,/i),(2,t 2 )} e Bo-
In considering Ag's and /i 7 's satisfying condition (10.2), we may assume \B = 0 for all B for which #S(B) = 1, and may set A := A(W,/), and A(JV,/,) = 1 — A in the light of homogeneity. Case 1. Suppose a2(t2) = (a, 1), for some a > 10. See figure 10.3. Then, K1 f]K2 = {0}. If lOeJ < e%, then
» - { £
(a - 10)eJ
for B= (TV,/), for B = (JV, h)
(both maximal gains v[B), B = (N,l),(N,h), can be achieved by the individually feasible, coalitionally attainable and individually rational net ' W e use the following version: Let A be an m X n matrix, and let b be a m X 1 matrix. Then, there exists x 6 R " such that Ax > b, iff for every 1 X m matrix A > 0 for which A.4 = 0 it follows that Xb < 0.
180
III: Pure Exchange Economy
• a2{t2)
0
10 2
a
2
Figure 10.3: Example 10.1.10, Case 1. a {t ) = (a, 1), a > 10 trades c1 = (—e},10e}), c2 = — c 1 ). Coefficients A and /xJ's satisfy (10.2), iff (l-A)10 + /i|
=
a + ^
1+^2
=
1 + A*2-
The required inequality (10.3) becomes \ae\ + (1 - A)(a - 10)eJ < / i V + /z 2 e 2 , that is, [a - (1 - A) 10 - /i}]e} < v\e\ + /i 2 e 2 . But by (10.2), the left-hand side is equal to —\s\e\, so the required inequality is always satisfied. If lOeJ > e2,, then
= {a^
v{B\ y
'
\ (a-
tor 1 0 ) ^ e | < (a - 10)eJ
B=(N,l),
for B = (TV, h),
so given (10.2), the required condition is a fortiori satisfied. Thus, assumption 10.1.8 is satisfied for arbitrary initial endowment vectors, e 1 , e 2 . Case 2. Suppose a2(t2) = (15,0). Then, K1 f]K2 = {0}. If lOeJ < e;2> v(B)
15eJ + e|, 5e\+el,
for B = (N,I), for B = (N,h)
181
10: Existence
(both maximal gains can be achieved by the individually feasible, coalitionally attainable and individually rational net trades c 1 = (—e^e 2 ), c2 = - c 1 ) . Coefficients A and fij,s satisfy (10.2), iff (1 - A)10 +
A*I
15 + /i 2
=
1 + /4 = n\. The required inequality (10.3) becomes A(15ei + el) + (1 - A)(5eJ + e\) < / i V + A 2 , that is, [15 - (1 - A)10 - n\]e\ + e 2 < n\e\ + fi2e2. In view of (10.2), this is -// 2 eJ +e22< n\e\ + n\e\ + (1 + /4)e 2 , which is always satisfied.
If 10e} > el, ( 15e{+ei, I 5 • i e 2 + e2 < 5e\ + e 2 ,
v{B)
ioi B = (N,l), for B = (N, h),
so given (10.2), the required condition is a fortiori satisfied. Thus, assumption 10.1.8 is satisfied for arbitrary initial endowment vectors, e 1 , e 2 . Case 3. Suppose a2(t2) = (7.5,0). Then, Kx f)K2 = {0}, and v(m
V(B)
_
~
/ 7.5el + e 2 ,
I e2,
if
B = (N,l),
if
B = (N,h)
(the second identity is due to the individual rationality of consumer 2). Coefficients A and /xJ's satisfy (10.2), iff ( l - A ) 1 0 + /i}
=
7.5 + n\
i + n\ = AThe required inequality (10.3) becomes
A (7.5eJ + 4) + (1 - A)el < A 1 + //2e2. On the one hand, condition (10.3) is satisfied, if e\ = 0. On the other hand, if e\ > 0, condition (10.3) is violated by A = 0.25, n1 = 0 and p? = (0,1). Thus, assumption 10.1.8 is satisfied, iff e\ = 0, that is, iff consumer 1 does not initially possess commodity 1. •
182
III: Pure Exchange
Economy
E X A M P L E 10.1.11 This is another variant of example 10.1.5. We introduce the third commodity which is also a lemon, 2 but its quality has the reverse contingency, that is, the quality is high if t = I, and is low if t = h. Thus, the two lemons (commodities 1 and 3) might kill their destabilizing effects each other. We will see, however, that assumption 10.1.8 is still violated. This means that the destabilizing effect of the very asymmetry in information is robust. Define ^{P) € R 3 as in assumption 10.1.7. Thus, AT = { 1 , 2 } , T 1 = {/,/!}, T2 = {t2}, V t G T : e\t)
=
a1 {I) = a'ih) = a2(t2) =
(0,1,10), (10,1,0), (a, 1,6),
where 0 < a < 10 and 0 < b < 10. We will show that this economy does not satisfy assumption 10.1.8. Define (N, I) and (N,h) as in example 10.1.10. Also as in example 10.1.10, in considering A^'s and /i^'s satisfying condition (10.2), we may assume \g = 0 for all B for which #S{B) = 1, and may set A := A(jv,/), and \(N,h) = 1 — A. Observe that V[
*>-
f a, if B = (N,l), \ b, if B = (N,h)
(the maximal gain v((N,l)) is achieved by the net trades, c 1 = (-1,0,0), c2 = — c1, which are individually feasible, coalitionally attainable and individually rational, and v((N, h)) is achieved by the net trades, c1 = (0,0,-1), c ^ - c 1 ) . Condition (10.2) becomes: ( l - A ) 1 0 + /x11
=
a + n\,
I + M2 = AlO + ^3 =
1 + A*i> 6 + /X3.
2 In genera], if there are more than two possible lemons, the type space needs to be expanded to take into account the quality of the second lemon/peach. Actually, due to the perfect (negative) correlation, we do not have to expand the dimension in the present formulation.
183
10: Existence
The requirement (condition (10.3)) becomes: Xa + (1 — X)b < (i\ + (i\ + fj,2w, which, in the light of (10.2), is equivalent to: 10 < (1 - X)a + Xb + fil+vl+
Aw-
We will first show that 10 < a+b, if (10.3) is to be valid for all (A, /J 1 , /i 2 ) satisfying (10.2). Indeed, if 10 > a + b, then there exists A satisfying (1-A)10 A10
> >
a b.
Set n\ = n\ = n\ = 0, and \i\ := (1 - A)10 - a > 0, /j§ := A10 - b > 0. These A, /i 1 , /i2 satisfy condition (10.2). But (10.3) becomes Aa+(1-A)6<0, which cannot be true. It suffices to show also that 10 > a + b, if (10.3) is to be valid for all (A,/U1, fJ?) satisfying (10.2). Indeed, if 10 < a + b, then there exists A satisfying (1-A)10 A10
< <
a b,
Set \x\ = nl = /4 = °. a n d A«i := a - (1 - A) 10 > 0, n\ := b - A10 > 0. These A, /i 1 , /j,2 satisfy condition (10.2). But (10.3) becomes 10 < Xa + (1 - A)6, which cannot be true.
•
In addition to the negative result on the single lemon market example, we have obtained a partially negative result (case 3 of example 10.1.10) and a totally negative result (example 10.1.11). We turn to positive examples 10.1.12 - 10.1.14 now. We will show in example 10.1.12 that a slight modification of the previous examples (case 3 of example 10.1.10, and example 10.1.11) guarantees assumption 10.1.8. Examples 10.1.13 and 10.1.14 are modified cases 1 and 2 of example 10.1.10, and are included here for completeness.
184
III: Pure Exchange
Economy
E X A M P L E 1 0 . 1 . 1 2 We turn to case 3 of example 10.1.10 and to example 10.1.11, b o t h of which either had no endowment of the first commodity (lemon) by a potential seller (i.e., e\ = 0) or did not satisfy assumption 10.1.8. It is worthwhile to see what kind of perturbation is needed to change those examples into ones t h a t satisfy the assumption of the theorem while requiring e\ > 0. T h e common element in b o t h of these examples is t h a t the uninformed consumer does not give absolutely higher evaluation of a potential lemon t h a n the informed consumer in high quality state in terms of their conditional expected utilities. Thus, it would be very interesting to check whether our assumption can still be satisfied under these circumstances in a variant of the single lemon model. In case 3 of example 10.1.10 the second commodity is no longer a "money" but a commodity t h a t gives possibly different degrees of marginal utilities to consumers. It seems immediately clear to us t h a t one of the key factors in this example is t h a t consumer 2 who is a potential "buyer" in the lemon's model must have at least relatively higher conditional marginal utility for a potential lemon t h a n consumer 1 who is a potential "seller." We simply modify the example in case 3 as follows: T h e initial endowment function on T is a constant function, V t G T : e1^) = (
S
\
V
e2(t) = ( %
J with e\ > 0 and e\ > 0 .
Let3 a1 (I)
=
(0,/?,),
a}(h)
=
(ah,Ph)
2 2
=
a (t )
,
(a,p),
and 0 < a < ah , 0 < (3 < min {Ph f3h} MRS212
:
= | > f- = MRStf
.
The remaining specification and notation are as in example 10.1.10. Then, K1f]K2 = {0}, and we have v((N,l))
3
=
A ^ ) m i n | e l , ^ |
MRS^2 denotes the consumer j ' s marginal rate o( substitution of commodity 2 for commodity 1.
10:
185
Existence
Coefficients A and // J 's satisfy (10.2), iff
(1 - \)ah + n\ Xpl + (1-X)ph + Iil2 =
a + nj, p + nl
The required inequality (10.3) becomes -Px - (1 - X)ah <
min <^ e\, -e\
\
[a - (1 - X)ah + n\] e\ + (Px - p + /4) e\ + Res{p),
where px
:=
XPi + (1 - X)ph ,
a e\ > e^ condition (10.3) becomes: If —
0 < f e\ - ^eU
[a - (1 - X)ah] + Res(n) ,
which need not be satisfied for values of 0 < A < 1 — (a/ah). On the other hand, if — e\ < e^, then condition (10.3) becomes: 0 < (Px ~ P) ( e22 - -e\\
+ Res(ii) ,
which is satisfied for any 0 < A < 1 and any \i\ > 0. Therefore, assumption 10.1.8 is satisfied for parameter values of e j , e | a such that — e\ < e|. This means that assumption 10.1.8 is satisfied when there are sufficiently many units of commodity 2 (in the hand of potential buyer of the potential lemon) so that the buyer has enough to compensate the seller for his transfer of the initial endowment of the lemon to the buyer in state (h,t2). D At first glance it might seem that the interim core is empty in case of example 10.1.12 as the expected conditional marginal utility a of the buyer for a potential lemon is strictly less than the expected conditional marginal utility Q/J of the seller when it is not a lemon but a peach. Nonetheless, assumption 10.1.8 is satisfied and the interim core is nonempty. There are two key elements in example 10.1.12.
186
III: Pure Exchange
Economy
(a) Despite the lower expected conditional marginal utility of the buyer for a potential lemon, there is another commodity 2, his expected conditional marginal rate of substitution of which for a potential lemon is kept higher than the expected conditional marginal rate of substitution of the seller so that there is no reversal of the superiority of the expected conditional marginal rate of substitution for a potential lemon depending upon type profiles. (b) There must be enough initial endowment of the commodity, in the hands of the buyer, that is used to compensate the seller for his transfer of his potential lemon. Case 3 of example 10.1.10 does not satisfy (a). Example 10.1.11 does satisfy (a) but not (b). E X A M P L E 10.1.13 We modify case 1 of example 10.1.10. Intuitively, what is "wrong" about example 10.1.5 is that the uninformed consumer does not posses a commodity which the informed consumer badly wishes to have so that there is a very profitable trade between the two. Thus, we introduce a third commodity which "enhances" the utility of the informed consumer without affecting that of the uninformed consumer. The consumption set for each consumer is R + . The initial endowment function on T is a constant function, 1 \ / 0 V t e T : e1(t)= I 0 , e2(t) = Let a\l) a\h) a2(t2)
= = =
(0,1, A), {10,1, Ph), (a, 1,0),
and (3he2 > 10. The remaining specification and notation are as in example 10.1.10. Then, K 1 H ^ 2 = {0}, and v((N,l))
=
Ptej + a,
v((N,h))
=
- 1 0 + (3he23+ a.
Coefficients A and /x-^'s satisfy (10.2), iff A(0,1,/?,) + (1 - A)(10, l,ph) + /i 1 = (a, 1,0) + /i 2 .
JO:
187
Existence
The required inequality (10.3) becomes
Thus, assumption 10.1.8 is always satisfied. Note that e | = 1 so that the informed consumer has a single potential lemon as in example 10.1.5, and still assumption 10.1.8 is satisfied. The specific circumstance in this example that contributes to fulfillment of assumption 10.1.8 is that there is a third commodity which highly enhances the utility of the informed consumer if it is provided to him in exchange for the single potential lemon whose consumption in turn by the uninformed consumer highly enhances his utility. D E X A M P L E 10.1.14 We turn to case 2 of example 10.1.10. Noting that in example 10.1.13 the second commodity "money" does not play any role in guaranteeing the fulfillment of the condition, a crucial aspect is to have a commodity like the third one in the example. Thus, we modify case 2 so as to have a more general setting than the previous one with the second commodity eliminated. Thus, the consumption set for each consumer is R+. The initial endowment function on T is a constant function, V t G T : e\t)
= ( f\ ) , e 2 (t) = ( f \ \ , with e\ > 0, e\ > 0.
Moreover, we assume
o < y, < ei Let a1 (I) al(h) a2(t2)
= = =
{ahpi), {ah,Ph), (a,/3),
and 0 < max {ai,oth} < a,
0
MRS\% = ^<
MRSl2
= |.
The remaining specification and notation are as in example 10.1.10. Then, K1f]K2 = {0}, and we have
v((N,h)) =
a
ah\
. / i P
2
^(__^jmmjeJ,^
188
III: Pure Exchange
Economy
Coefficients A and /i^'s satisfy (10.2), iff \(ah
Pi) + (1 - \){ah,ph)
+ /i 1 = ( a , p) + p?.
T h e required inequality (10.3) becomes
0<(Px-P)U-^e\\+Res(^ where Px Res(n)
•= :=
\Pi + (l-\)Ph, n\e\ + \x\e\ + n\e\ +
ii\e\.
The inequality is always satisfied. Therefore, assumption 10.1.8 is satisfied for parameter values of e\, e\ such t h a t — e\ < e\. T h e specific circumstance in this example t h a t contributes to fulfillment of the condition is essentially the same as in the previous example. O
10.2
Ex Ante Solutions
We t u r n to the Bayesian incentive-compatible ex ante core concepts. Each consumer j in Bayesian pure exchange economy £pe is endowed with an ex ante probability IT3 on the type-profile space T. The first consequence of Ichiishi and Idzik's (1996) general existence result (theorem 8.2.1) is an obvious special case: If each utility function w J (-,t) of economy Spe is afHne linear on C-7, then there exists an ex ante Bayesian incentive-compatible core allocation in the private information case, regardless whether a choice is a commodity bundle or is a net trade. T h e second consequence, which is also straightforward, is on economy £pe in which everybody takes a mixed strategy (or rather, type-profile dependent mixed choices) and the coalitional attainability is defined as the expected feasibility. Consumer j ' s choice set is now the set M(C^) of all probabilities on the compact consumption set CK His strategy is a function fij : T -> X ( C J ) , t ^ Hj[t)(-); denote by Xj the set of all such functions. His preference relation is represented by the expected utility function Uj : M{0) x T -> R defined by
Uj(p>,t):=
f
u(c>,t)pj{dcj).
Coalition S's feasible strategy bundle is a T s - m e a s u r a b l e member of Xs such t h a t for each t the expected total demand is less t h a n or equal to the
189
10: Existence
total supply. Coalition 5"s feasible strategy correspondence is the constant correspondence on X that takes the value, 5
J
j-r
s
KAlr,is,
V-S i s ^-measurable, and for each t, \
We thus have the associated Bayesian society, {T(S),FS}S^).
5 := ({M(C^),T\W,^}^N,
C O R O L L A R Y 10.2.1 Let £pe be a Bayesian pure exchange economy, in which each consumption set 0 is a nonempty and compact subset of the commodity space R ' and each von Neumann-Morgenstern utility function ui{-,t) is continuous in C*. Assume that T{S) = T(S') for all S,S' G M. Allow each consumer to take a mixed choice, and define the coalitional attainability as the expected feasibility at each type profile. Then there exists an ex ante Bayesian incentive-compatible core allocation. Proof We only have to verify that conditions (i)-(vi) of theorem 8.2.1 are all satisfied in the associate Bayesian society. (i) The choice set M.{C^) endowed with the weak* topology is compact, convex, and metrizable. (ii) Clearly, for any j and any t, U^{-,t) is linear affine and continuous in (M(Ci), weak* topology). (iv) and (vi) Correspondence 11-> Fs, being a constant correspondence, is both upper semicontinuous and lower semicontinuous. Set Fs is clearly nonempty, closed and convex. (v) Let B b e a balanced family of subsets of N with associated balancing coefficients {Asjsee- Choose any {ns'i}jzs & FS and define v^ :— 5j T,seB-.S3j AsM ' for every j £ N. Then,
\Vf jeNJU
E
j&N
S£B:S9j
see
jes-
^s f C^[t}(dc^)
< E^E^w SEB
e
jes
= E 'wjeN
So u e FN.
a
190
III: Pure Exchange
Economy
We have reviewed that affine linearity of j's utility function on C J plays an essential role in establishing the existence of a Bayesian incentive compatible core allocation in the private information case (see the proof of theorem 8.2.1). This point is valid specifically in the Bayesian pure exchange economy when each consumer chooses a demand plan as his strategy. However, the story is different in the situation in which each consumer chooses a net trade plan as his strategy; see Forges, Minelli and Vohra (2002, proposition 1) for the following theorem. T H E O R E M 10.2.2 Let £pe be a Bayesian pure exchange economy, in which each consumption set 0 is the nonnegative orthant R' + of the commodity space, and each von Neumann-Morgenstern utility function «-'(-, t) is concave, weakly monotone and continuous in C-7. Assume that T(S) = T(S') for all S, S' G N'. Suppose that each consumer chooses a net trade plan as a strategy. Then there exists an ex ante Bayesian incentive-compatible core allocationProof Define a non-side-payment game V : Af —> R ^ by
V'(S)
u€ R
3 zs : T - Rl-#s : V j G S : zi is T J -measurable, Vt£T: z*(V) + ei(tj) G R^,
N
> .
j j
Ejesz (t )
V j € S :UJ < Eu^z3
+ej)
The sets V'(S) are nonempty; indeed, the no-trade strategy bundle, zs(t) = 0, is always feasible, so gives rise to a member of V'(S). By direct application of Scarf's theorem for nonemptiness of the core (theorem 8.A.2 of this book), the core of this game V is nonempty. Let z+ be a net trade plan bundle which gives rise to a member of the core. By Ichiishi and Radner's lemma (lemma 9.2.10), there exists a net trade plan bundle z* such that each z*j is T^-measurable, z^ < z*j, and ] T j e ; v z*j(tj) = 0, for all t G T. By weak monotonicity of MJ(-,t), the bundle z* gives rise to a member of the core of V. By Hahn and Yannelis' proposition (proposition 4.1.3), each strategy z*^ is Bayesian incentive-compatible. O R E M A R K 10.2.3 Forges and Minelli (2001) took the mediator-based approach, and constructed another kind of Bayesian pure exchange economy with probabilistic choices. Let £pe be the deterministic Bayesian pure exchange economy (example 2.2.1). For each type profile t, let CQ {t) be the compact set of commodity bundles attainable in coalition S,
CS0(t)
cs
eCs
5>'<JV(*) jes
]€S
10:
191
Existence
and denote by M(CQ (t)) the set of all probabilities on Cg (£)• An element of .A4(Cg (£)) is not mixed choices, but a correlated choice. The product probability of mixed strategies is a correlated strategy, but in general a correlated strategy cannot be expressed as the product probability of mixed strategies. A coalitional feasible strategy is defined as a selection /x s : 11—> /z5[£](-) of the correspondence, t i-> A4(Cg(£)). Given coalitional strategy fis, consumer j ' s utility at the true type profile F is
Uj(jis[i\,i):=
f v>(c*,?)»s[i\(dc). JCJ
In this correlated choice framework, individuals cannot singly choose his probability on commodity bundles. His "action" is defined as a report of his type. If consumer j misrepresent his type as ij, assuming that everybody else supplies honest reports, j ' s utility becomes Uj(ns[ij,iN^},i):=
uj{c<,t)Lis[iJ,iN^}{dc).
f
A coalitional feasible strategy pP is called Bayesian incentive-compatible, if nobody benefits from misrepresenting his own type, that is, V i e T : V j £ S : V P G Tj : Uj{ns[t\,t)
> UJ(/us[ij, tN^},
i).
Consumer j ' s ex ante expected utility of coalitional feasible strategy /j,s is given as EUi{ns) := ^2t U^{fis\t\,t)^{t), and from this we can define the ex ante Bayesian incentive-compatible core. Forges and Minelli (2001) established in this framework that if I = #N, each utility function u J '(-,i) is additively separable in C-7', eJ' is a constant function, and eJh = 0 for all h ^ j , then the ex ante Bayesian incentivecompatible core is nonempty. In the absence of Forges and Minelli's restrictive assumptions, we expect that the core may be empty. While their model does not naturally fit in our model of Bayesian society (definition 2.1.3) due to the use of correlated choices, we can nevertheless imbed it in a particular Bayesian society: Redefine coalition S's feasible strategy set as s F ;s defined * -- Uv>\ |1M hes aennea on on Tl
V V
£ M >i ,Gj Se 'S"W :,/[£](•)=&$<M MJM0) X J '
When the members take a strategy bundle {^}jes € Fs, everybody is choosing the same strategy, and this common strategy has been called a coalitional strategy, denoted by fis. We view that Cs is a subset of CN
192
III: Pure Exchange
Economy
(by setting the coordinates corresponding to TV \ S to be equal to 0). In the Bayesian society
({M(C»),T\
W,ir*}j€N,
{T(S),
Fs}se^)
constructed this way, assumptions (i)-(iv) and (vi) are satisfied (apart from the T J -measurability requirement, whose omission does not change the theorem as pointed out in remark 8.2.2). But assumption (v) is violated, hence the possibility of empty Bayesian incentive-compatible core. To see how (v) is violated, let B be a balanced family of subsets of N, and let {Xs}s£B be the associated balancing coefficients. For each S G B, choose { / i s } j e s € Fs and define {f J '}jew by i/J' := J2seBSBj ^st*S- Then v% ^ i/7' for some i ^ j , so {i/ J } j e iv & FN. Indeed, Forges, Mertens and Vohra (2000) further specified the model by introducing "money" and by assuming t h a t each utility function is linear in money, and provided an example which has no Bayesian incentive-compatible core. We point out two problems concerning the correlated-choice approach: First, like the mixed-choice approach or more generally like any probabilistic approach, it avoids the question of explaining deterministic choice. Even when a player has decided on a probabilistic choice, a time will come when he has to take a definite action. Usually in real life, he acts upon his own will (which theory needs to explain), and does not leave his action up to the outcome of throwing dice. T h e second problem concerns specifically the correlated-choice approach. T h e approach is applicable in general only to situations in which outsiders to a coalition have no influence on the insiders, like the pure exchange economy (example 2.2.1) and the coalition production economy (example 2.2.2). It is not applicable to situations in which a coalition's feasible-strategy set depends on an outsiders' strategy bundle, or a player's utility depends on a choice bundle. To see this point, consider the simple no-externality case addressed by theorem 8.2.1, re-formulated by introducing type-profile dependent correlated choices as strategies. Suppose the grand coalition is choosing a strategy t >—> fiN[t}(-), and coalition S is going to defect. In accordance with the spirit of the strong equilibrium, the members of S passively take the outsiders' strategies as given. However, there is no way to identify the part of the strategy /J,N t h a t the outsiders are responsible for, so the members of S do not know which strategy of N \ S they can passively take. One might argue t h a t S takes the marginal probability P r o Jiv\s MNW G M(CN\S) as given. Yet there is no guarantee t h a t the product of the two marginal probabilities, p r o j ^ s fiN[t] and p r o j s nN[t], can recover the original probability, /j.N[i\. T h e same problem occurs when a player's utility depends fully on a choice bundle. Thus, the approach fails
JO: Existence
193
to address intercoalitional problems in which several coalitions influence each other: the situations commonly observed in the present-day economy with organizations. Instead of Forges and Minelli's (2001) correlated choices, we can use randomized choices defined as functions P : P —> 0 for some probability space (P,V,p). From a randomized choice bundle fs := {ftyjes, we derive a correlated choice as its distribution p o ( / 5 ) _ 1 . An individual choice is re-defined as this randomized choice. This model can address the general case with externalities (although the first problem about the very moment of definite action still remains). We expect that an ex ante Bayesian incentive-compatible core allocation existence theorem can be established for a Bayesian pure exchange economy with randomized choices in the same way as theorem 8.2.1. •
This page is intentionally left blank
Chapter 11
Large Economy Bayesian pure exchange economies
€pe := { C ' . r ' . u V . M - I tJ)}t^T,}jeN considered in the previous chapter are economies with a finite population of consumers. This chapter reviews works dealing with core solutions within the framework of Bayesian pure exchange economy with an infinite population of consumers using the setup introduced by Aumann (1964). Propositions 11.2.3 and 11.3.4 are new.
11.1
Large Bayesian Pure Exchange Economy
Essentially all the works in the literature maintain finite information structures. They are formulated here as in a finite population case using finitely many type spaces, T\ j 6 N. (The set N is no longer a consumer set; it is an index set for different information structures.) Denote by T the type-profile space, YljeN^''- A type profile may synonymously be called a state. Let (^4, A, v) be a measure space of consumers where v represents an atomless population measure, i.e., v(A) = 1 and v{S) is the proportion of consumers in the set or the coalition S (G A) to the totality of the population in A. There are / commodities, indexed by h = 1 , . . . , / . Each consumer a e A has the consumption set R + , his preference relation is represented by a type-profile-dependent von Neumann-Morgenstern utility function, u(a, •, •) : R^_ x T —> R, and his initial endowment at typeprofile t is a commodity bundle e(a,t) 6 R' + . For each t G T, the map u(-, •, t) : A x R ^ —> R, (a, c) i-> u(a, c, t), is assumed to be (A <8> Bl) - Bmeasurable, where Bl and B are the Borel u-algebra of subsets of R' + and 195
196
HI: Pure Exchange
Economy
R respectively. For each t £ T, the function e(-,t) is assumed to be vintegrable on A. Let j(a) be the index for consumer a's private information structure; his type space is then T^a\ We assume that j : A —> N is Ameasurable. For each coalition S £ A and index i £ N, the set S1 denotes {a £ S | j(a) = i), and j+(S) denotes the set of all indices i £ N such that viS1) > 0. Each consumer a £ A either has his ex ante (unconditional) probability on T or his interim (conditional) probability 7rQ(- | ta) on TN^^a^ given ta.1 Probability 7ra may be objective or subjective. To sum up, a large Bayesian pure exchange economy is given by SPE := ((A, A, v), {R' + , T* 0 >, u(a, •, •), e{a, •), 7r 0 } o e A ) specified by the above conditions. Let supp 7ra be the support of ira, {t £ T \ na{{t}) > 0}, in case of an ex ante probability and be given by the set T(ira), as defined in the section 2.1, in case of an interim probability The domain T(S) of strategies of coalition 5 is a priori given so that supp TTQ C T(S) C T
(J a£S'
for some S' € A for which S' C S and i/(S \ S') = 0. A feasible strategy bundle for coalition S £ A is a feasible commodity allocation plan for S, that is, a function x : S x T(S) —> R.l+, such that the function x{-,t) is t'-integrable for each state t, and VteT(S):
I x{a,t)v{da)
Js
< I
Js
e(a,t)v{da).
It is said to satisfy the private measurability condition if function x(a, •) is T a -measurable, i/-a.e. (see condition 3.1.1 for the null communication system).
11.2
Interim
Solutions
We have seen Einy, Moreno and Shitovitz' (2000a) work in section 7.1 that o fine core allocation plan of a large Bayesian pure exchange economy SPE is an ex post core allocation plan of £pg (theorem 7.1.4), that this is not 'Notice that while there may be infinitely different probabilities, 7ra, a e A, there are only finitely many different supports, due to the finiteness of T, so the equivalence of the two approaches discussed in section 2.3 still holds true.
11: Large
197
Economy
necessarily true in the finite setup of £pe (example 7.1.1), and that the converse is not true either. The following result of Einy, Moreno and Shitovitz (2000b) gives a straightforward characterization of the ex post core which may not be private measurable nor Bayesian incentive compatible. PROPOSITION 11.2.1 (Einy, Moreno and Shitovitz, 2000b) Let £PE be a large Bayesian pure exchange economy satisfying the following conditions: (i) for every t G T(A), e(a,t) ~^> 0, v-a.e. ; (ii) the function u(a,-,t) : R' + —> R is continuous and strictly increasing on Hl+ for each (a, t) G A xT. Then, the ex post core of £PE is nonempty and it is characterized by the set CF(£PE)
defined as
{x : A x T(A) —> R' + | X is a strategy bundle and x(a,t) is a core allocation of the large pure exchange economy £pE(t) for every t G T(A).}. Proof. We first show that the ex post core of £PE is equal to CF(£PE)It is immediate that CF(£PE) is a subset of the ex post core of £PESo, let x be a strategy bundle in the ex post core of £PE- Suppose x $. CF(£PE)\ then, there exists to G T(A) such that x(a, to) is not a core allocation of the economy £pE(to). Therefore, (3 S G A : iy{S) > 0) : (3 c : S —> R' + : j/-integrable) such that / c(a)v(da) Js u(a,c(a),t0)
< >
/ e(a, to)v(da), and Js u(a,x(a,to),to), i^-a.e. in 5.
Define a map y : S x T(S) —> R' + by
(
c{a)
if a G 5 J and tj = tQ
e(a,t)
otherwise.
Then, y : S x T(S) —> R' + is a strategy bundle attainable in S, (Vt € T(S))
/ y(a,t)u(da) Js
< I e{a,t)v{da), Js
and contradicts the property (ii) of the ex post core. Hence, x must be a strategy bundle in the set CF(£PE).
198
III: Pure Exchange
Economy
Next, let us check that the ex post core of £pg is nonempty. By the standard arguments of Aumann (1964) and Aumann (1966) or Hildenbrand (1970) , for each t G T(A) there is a core allocation xt : A —> Rl+ of the economy £pe(£). Define a map x* : A x T(A) —> R' + by x*(a,t) = xt(a) for a G A and t G T(A). Then, x* is a well-defined strategy bundle and x* € CF(£PE). • We now want to extends the interim Bayesian incentive-compatible core (definition 5.1.5) to large Bayesian pure exchange economies. Suppose that the members of coalition S agree to take a strategy bundle x : S x T(S) —> Rl+. Given a type profile i e T, consumer a's true type is t^a\ If he makes a choice according to the agreement, his interim expected utility given his true type is Eu (a,x(a,-)
\ tj(a))
:= ^ u (a,x(a, t),t) na(t | P' (a) ). t€T
In the private information case, he can make any choice ca G x(a,T^a^>) \ {x(a,p( a ))} contrary to the agreement without being detected by his colleagues. If consumer a makes such a choice, his interim expected utility given his true type is
Eu(a,ca
| ij(-aA
:=Y^u(a,ca,t)ira(t\P^). teT
Thus, a strategy bundle x : SxT(S) —> R' + is said to be Bayesian incentive compatible in a large Bayesian pure exchange economy if it satisfies: (Vt, i G T(S) : f = f for i ^ j{a)) Eua (x{a,t) | P) > Eua (x(a,t) \ tj),
v-a.e. in 5.
The following definition extends the interim Bayesian incentive-compatible core to large Bayesian pure exchange economies. DEFINITION 11.2.2 A strategy bundle x* : A x T(A) -*• R ^ is said to be in the interim Bayesian incentive-compatible core if (i) it is private measurable, Bayesian incentive compatible, and attainable in A, V t G T(A) : I x*(a,t)v(da) JA
< [ e{a,t)v(da), JA
and (ii) if it is not true that (3S&A:
u(S) > 0) : (3 x : S x T(S) -> R + : x{-,t) is j/-integrable and
11: Large
199
Economy
x is Bayesian incentive compatible ) : V t G T(S) : I x(a,t)v{da)
Js
Eu (a,x(a,-)
< I
Js
\ tj{aA
e(a,t)u(da), > Eu (a,x*(a,-) | tj{a)) z^-a.e. in {a G S | j(a) G j+(S)}.
Despite the fact that there are clear-cut conditions under which an interim Bayesian incentive-compatible core is nonempty (theorem 10.1.4) within the framework of Bayesian pure exchange economy, we remarked that the coalitional stability condition in the Bayesian incentive-compatible interim core is very strong. So much so that unless very specific conditions are given, we obtain non-existence results in many Bayesian pure exchange economies satisfying the "standard" assumptions as in the case of the example 10.1.3. We show next that one of specific conditions under which the Bayesian incentive-compatible core of a large Bayesian pure exchange economy is nonempty is given by circumstances where every consumer knows his own utility and the endowment, that is, where utility functions and endowments are private measurable. Here, as in the section 10.1 a strategy bundle for S G A is a net-trade plan z : SxT(S) —• R ' which is individually feasible, i.e., z(a, t)+e(a, t) > 0 for all t G T, a.e. a G A. A large Bayesian pure exchange economy SPE = ((^4, A, v), {R+, T^°^, u(a, •, -),e(a, -),7r a } ae ^) is said to be of finite utility-endowments-types2 if (Vi eN)(3ScAi = {a£A\ j(a) = i} : u(S) = v(A')) (Va,a' G S) u(a,t) = u(a',t) and e(a,t) = e(a',t), and of finite utility-types if (Vi £N)(3ScAi
= {a£A\
j{a) = i} : v{S) = v{Ar)) (Va,a' G S) u(a,t) = u(a',t).
PROPOSITION 11.2.3 Let €PE be a large Bayesian pure exchange economy of finite utility-endowments-types satisfying the following conditions: (i) for every a G A, the map : T -> R^, t >->• e(a,t), is TJ'(a> - Blmeasurable: 2
As long as there are only finitely many different utility functions and endowments the result below holds true. For simplicity, we assumed here that differences in utility functions and endowments come from a difference in consumer type i £ N.
200
III: Pure Exchange
Economy
(ii) for every c € R+ and a £ A the map : T —> R, t H-» u(a,c, t), is 7"j(i) _ B-measurable; (hi) for every t £ T(A), e(a,t) ^> 0, v-a.e.; (iv) the function u(a,-,t) : R+ —> R is continuous, increasing, strictly quasi-concave on R + /or each (a,t) £ AxT. Then, there exists an interim Bayesian incentive-compatible core net trade plan of the economy £PE • Proof. Denote the restriction of £PE to t, a large pure exchange economy with complete information, by {{A,A,u),{Hl+,u{a,-,t),e{a,t)}aeA),
£pE{t) := and define the set CF(£PE) We show first:
as in the previous proposition 11.2.1.
Claim: A strategy bundle x* : A x T(A) -> R ; + in satisfies the condition (ii) of the definition 11.2.2.
CF(£PE)
Suppose not; then, (3SeA:
v(S) >0):(3x:Sx
T(S) -> R ^ : x(-, t) is ^-integrable)
: V t € T(S) : / x(a, t)v{da) < I
Js
Js
Eu(a,x(a,-)
e{a,t)v{da),
\ tj{aA > Eu (a,x*(a,-)
\tj{a))
v-a.e. in {a £ S \ j(a) € j+{S)}. Since for every c £ R' + and a £ A the map : T —> R, t H-> w(a,c, i), is 7"j(a) _ B-measurable, we have £u(a,a:(a,-) | tj{aA
=
u (a,x{a, -),t]{aA
£u(a,x*(a,-) | ij(a))
=
u (a,x*{a, •),t j ( o ) ) ,
, and
for * £ IXS) with V = t^a\ v -a.e. in {a £ 5 | j(a) £ j + ( 5 ) } . These contradict the fact that x* £ CF(£PE)This proves the above claim. It follows from the argument of Hildenbrand (1970) that for each t £ T(A) a competitive net trade plan z(-,t) : A —> R ' of large pure exchange economy with complete information £pE{t) exists. The net trade plan as a map z : A x T{A) —> R ; is a strategy bundle which is private measurable. Indeed, by assumptions (i) and (ii) of the proposition, it follows from the
11: Large
201
Economy
strict quasi-concavity of utility functions that for a.e. a G A we must have z(a,t) = z{a,t) for any pair t,ie T{A) with tjia) = i^aK By the standard arguments of Aumann (1964) or Hildenbrand (1968) z : A x T(A) —> R ( represents a core net trade plan z(-,t) for each t € T(A), and by what has been shown above the strategy bundle z is private measurable. Let i G j+(A). Then, since £PE is of finite utility-endowments-types, it follows from the strict quasi-concavity of utility functions u(a, t) for all a 6 A and ( £ T that z(a,t)'s are identical a.e. a £ A1 for any i £ j+(^4). Therefore, the The net trade plan z is symmetric in the sense that (Vi G j+(i4)) (35 c Ai = {a G A | j(a) = »} : v(S) = v(Af)) {Va,a' G S) z(a,t) = z(a',t). Since almost every consumer having the same type i G j+(A) receives identical net trade bundle, let zl(t) denote this identical bundle for each i G j+(A) and for each t G T(A). Then, we have (V* G T(A))
I z(a,t)v(da)
=
A
Yl
* * ( * M ^ ) ^ °-
i&J+(A)
Since Eu(a, •|tJ'(°))'s are monotone, it now follows from the argument of Ichiishi and Radner (lemma 9.2.10) that there exist private measurable mappings z1 : T(A) —> Hl,i G j+(A), such that (Vi G T(A))(Vi G j+(A))z'(i) < z*(t), and (ViGTM))
^
zi(t)u(Ai)=0.
By Hahn and Yannelis' proposition (proposition 4.1.3 of this book), it is Bayesian incentive compatible. Define a strategy bundle z* : A x T(A) —> R'by (Vi G j+(A))(\/a G A')(yt G T(A))z*(a,t) := z*(t), and (Va £ Uiej+(A)A*)(Vt G T ( 4 ) ) z * ( M ) := * ( M ) . Then, the bundle z* : A x T(yl) —> R ' is an interim Bayesian incentivecompatible core net trade plan of the large Bayesian pure exchange economy SPEn
11.3
Ex Ante Solutions
A state-contingent claim for commodity h is a commodity traded in the ex ante period which promises delivery of a unit of commodity h upon realization of information state t in the interim period, and no delivery
202
HI: Pure Exchange
Economy
upon realization of any other state. A claim allocation in A is a function x : A x T —+ R+, assigning to each consumer a the claim bundle x(a,-), which is attainable in the economy, V t 6 T : / x(a,t)v(da)
< [
JA
e(a,t)u(da).
JA
DEFINITION 11.3.1 A strategy bundle x* :Ax T{A) -> Hl+ is said to be in the ex ante private information core of a large Bayesian pure exchange economy if (i) it is private measurable claim allocation in A, and (ii) if it is not true that (3 S € A : i/(5) > 0) : (3 x : S x T(S) -> R + : x is private measurable and x(; t) is i^-integrable) : V t € T(S) : I x(a,t)v(da) < / e(a, t)v(da), Js Js Eu (a, x(a, •)) > Eu(a, x* (a, •)), f-a.e.
in {a € S \ j(a) £ j+(S)}.
Einy, Moreno and Shitovitz (2001a) studied an ex ante private information core, in a large Bayesian pure exchange economy £pg with a finite ex ante state space. Here we describe their result using the type-profile space. Their idea and methods are straightforward. They consider Radner's (1968) ex ante competitive equilibrium of the state-contingent claim market defined as a pair (p*,x*) of price vector p* : T —> R/+ and measurable claim allocation x* : A x T(A) —*~R}+such that z/-a.e., consumer a's claim bundle x*(a, •) maximizes his ex ante expected utility subject to the budget constraint: Maximize subject to
} ^ 7Ta(t)u(a, x(a, t), t) teT x(a, •) is T°-measurable, 5^p*(t)-1(0,*) < ^ P * ( * ) - e ( a , t ) ,
and Walras' law is satisfied with equality, ^2p*(t)
• J x*{a,t)v(da) = ^ P * ( t ) • f
e(a,t)u{da).
Applying the standard arguments, Einy, Moreno and Shitovitz established the following theorem:
11: Large
203
Economy
PROPOSITION 11.3.2 (Einy, Moreno and Shitovitz, 2001a) Suppose economy EPE satisfies: For v-a.e. in A and for every t &T, (i) e(a, t) » 0; and (ii) the function u(a, -,t) :.R+ —+ R is continuous and monotone. Then, the ex ante private information core of £pg is nonempty, and it is identical to the set of ex ante competitive allocations . Proof. It follows from the arguments of Aumann (1964) or Hildenbrand (1968) that the set of ex ante competitive allocations is identical to the ex ante private information core. Using the argument of Hildenbrand (1970, Theorem 2), one can show that an ex ante competitive allocation exists.
• The above proposition clarifies the fact that the basic results for large economies with perfect information still holds for ex ante private core and ex ante competitive allocations in large Bayesian pure exchange economies. However, there is one essential drawback in this result. As was discussed in Chapter 4, since Bayesian incentive compatibility conditions need not be satisfied by private core allocations, feasibility of execution of agreements of a strategy bundle may not be warranted. DEFINITION 11.3.3 A strategy bundle x* : Ax T(A) -> R' + is said to be in the ex ante Bayesian incentive compatible core of a large Bayesian pure exchange economy if (i) it is a private measurable and Bayesian incentive compatible claim allocation in A, (ii) if it is not true that (3 S € A : u(S) > 0) : (3 x : S x T(S) -> R^_ : x{-, t) is i/-integrable and x is Bayesian incentive compatible ) : V t € T(S) : / x(a,t)v(da)
Js
< /
Js
e(a,t)v(da),
Eu (a, x(a, •)) > Eu(a, x* (a, •)), i/-a.e. in {a £ S \ j(a) € j+{S)}. We present here a positive existence result on the ex ante Bayesian incentive compatible core. P R O P O S I T I O N 11.3.4 LetEpE be a large Bayesian pure exchange economy of finite utility-endowments-types satisfying the following conditions: (i) for every t € T(A), the map e(-,t) : A —> R' + is u-integrable and e(a, t) 3> 0 for almost every a € A;
204
III: Pure Exchange
Economy
(ii) the function u(a, -,i) : R ' + —* R is continuous, monotone, and strictly quasi-concave for each (a, t) £ A x T. Then there exists an ex ante Bayesian incentive-compatible core nettrade plan. Proof. Using the argument of Hildenbrand (1970), one can show t h a t an ex ante competitive net t r a d e plan exists. It then follows from the arguments of A u m a n n (1964) or Hildenbrand (1968) t h a t an ex ante private information core net t r a d e plan exists since the set of ex ante competitive allocations is identical to the ex ante private information core. Let z : A x T(A) —> R + be such an ex ante private information core net t r a d e plan which is an ex ante competitive net t r a d e plan. Let i € j+(A). Then, since SPE is of finite utility-endowments-types, it follows from the strict quasi-concavity of utility functions u(a, t) for all a G A and t € T t h a t z(a,i)'s are identical a.e. a G A1 for any i G j+(A)). Therefore, the ex ante private information core net t r a d e plan z is symmetric in the sense t h a t (Vi G j+(A)) (3ScAi = {a€A\ j(a) = i} : v(S) = v(A1)) (\/a,a' G S) z(a,t) = z(a',t). Since almost every consumers having the same type i 6 j+{A) receive identical net t r a d e bundle, let zt(t) denote this identical bundle for each i 6 j+(A) a n d for each t G T(A). Then, we have (Vi e T{A))
f z(a,t)v(da)
=
A
^ ^ ( t j i / f ^ ) < 0. ieu(A)
Since Eu(a, -)'s are monotone, it now follows from the argument of Ichiishi and Radner (lemma 9.2.10) t h a t there exist private measurable mappings zl : T(A) - • R}+,i S j+(A), such t h a t (Vi 6 T(A)){Vi
e 3+{A)) z\t)
(VteT(A)) Y.
< z\t),
and
*W^)=0.
ieU(A) By Hahn and Yannelis' proposition (proposition 4.1.3 of this book), it is Bayesian incentive compatible. Define a strategy bundle z* : A x T(A) —> R ^ by (Vi G j+(A))(Va
G i4*)(Vt G T{A))z*(a,t)
(Va ^ U < e i + M ) ^ ) ( V t 6 T(A))
:= z\t),
and
z*(a, t) := z(a, i).
Then, the bundle z* : A x T(A) —> R ^ is the required ex ante Bayesian incentive-compatible core strategy bundle of the large Bayesian pure exchange economy £PE•
11: Large
Economy
205
Beth Allen (1999) considered the existence of ex ante Bayesian incentivecompatible core of a large Bayesian pure exchange economy EPE with finite utility-types but an infinite variation of endowments. As a matter of fact, her result hinges on dispersion of wealth distribution induced by the endowments distribution of consumers as in the works of a general equilibrium existence theorem in Yamazaki (1978, 1981). Moreover, there is an additional cost of allowing an infinite variations of endowments among consumers in terms of tighter restrictions on the class of utility functions. Given a large Bayesian pure exchange economy of finite utility-types EPE, let C denote the endowment distribution among type i G j+(A) in the economy EPE- Denote by \lp the wealth distribution induced by nl at a price vector p G H}+, that is, \^(B) := rf ({e G Kl++\p • e G B}) for Borel subsets B C R+. P R O P O S I T I O N 11.3.5 (Allen, 1999) Let £PE be a large Bayesian pure exchange economy of finite utility-types satisfying the following conditions: For v-a.e. in A and for every t G T, (i) [Differentiable strict monotonicity] the function u(a,-,t) : R' + —• R is C 1 on Rl++ and Du(a, y, t) » 0 for all y G R++. (ii) [Boundary condition for indifference curves] for each i e j+(A) , the support supp^ 2 of rf is compact and cl ({y G R ™
x (
| Eu(a, e, •) < Eu(a,y(t),
•)}) f]dKl+
= 0.
for almost every e € R' + + 3 , and (iii) [Full rank condition] / > $T{A) and the matrix {pu{a,y(t1)^),
...
,Du(a,y(tiT{A)),t*T^))
has full rank almost everywhere in R ^ f Then there exists an ex ante Bayesian incentive-compatible core nettrade plan. Proof. See B. Allen (Proposition 5.4 and Corollary 6.8, 1999).
•
The basic idea of the proof is to note that the possible nonexistence of ex ante Bayesian incentive-compatible core allocation is due to nonconvexity arising from the Bayesian incentive-compatibility condition. Thus Allen pointed out that this difficulty can be overcome just as in the case of general 3
W i t h respect to the i-dimensional Lebesgue measure.
206
III: Pure Exchange
Economy
equilibrium existence problem of a large economy when consumption sets and/or the underlying commodity space itself may not satisfy convexity (see Mas-Colell (1977), and Yamazaki (1978, 1981)). Stronger requirements on utility functions are to ensure local nonsatiation condition for strategy bundles satisfying the Bayesian incentive-compatibility condition. The above two propositions that established the existence of an ex ante Bayesian incentive-compatible core strategy bundle rely on the finite utilitytypes. Whether its existence can be established with an infinite utility types is still an open question.
Chapter 12
Core Convergence/Equivalence Theorems We turn to a bulk of works on the Edgeworth conjecture (the core convergence theorem or the core equivalence theorem) for the Bayesian pure exchange economy. In the course of studying this issue, various competitive equilibrium concepts have been invoked or newly proposed; some suffer from conceptual difficulties. We believe, however, that a core convergence/equivalence result is meaningful only if it approximates/characterizes a competitive equilibrium which is defined sensibly enough so that one expects to realize in the competitive market.
12.1
Interim
Solutions
We first present Serrano, Vohra and Volij's (2001) negative result on Wilson's (1978) coarse core allocations (definition 5.1.1) in the Bayesian pure exchange economy,
£pe := {Rl+,T*,u*,e>, {^'(- | f ' ) W i }
J jeN
l.
,
replicated as in Debreu and Scarf (1963); they did not impose private measurability (condition 3.1.1 for the null communication system) or Bayesian incentive compatibility (condition 4.1.1 or 4.2.1). Here, we have to be careful in defining the term replication. Let n := #N. The g-replica economy of £pe is meant to consist of n • q consumers, 207
208
III: Pure Exchange
Economy
indexed by N x {1,2,... ,q}, so that consumer (j,k) e N x {1,2,...,q) has the same consumer characteristics as consumer j of Spe. But in the economy with n • q consumers, the type-profile space should be the set
T xT x . . . x T, so consumer (j, k)'s type-profile-dependent von Neumann-Morgenstern util9
l
ity function should be defined on H + x T xT x . . . xT, and his interim 9-1 N
probability given his type should be defined on T W xTxT x ... x 1. Therefore, consumer characteristics become different for different numbers of replication. Serrano, Vohra and Volij postulated for the (/-replica economy that the types of the consumers (j,k), k = 1,... ,q, are all described by the same set T3, that the types of (j,k) and of {j,k') are perfectly correlated, and that their interim probabilities are the same as IT3(• \ tJ). This idea is precisely formulated as follows: The interim probability of player (j, k) given his type t3, 7r(J'fc)(- | tJ), concentrates on the "diagonal" of the space 9-1 TN\U}
x
({p}
x TN\{y}^
x
x
({p}
x
TN\{J}^
and is given as n(jM
(tN^3\(i3,tN^),...,(t3,tN\^)
| t3)
:=ir3(tN\^\t3).
The diagonal is identified with {t3} x T w ^ ^ . Thus, the same state space f2 := T is given to each g-replica economy, and player (j,fc)'sinformation structure is formulated by the spaces, (T,T3,ir3(- \ t3)), t3 £ T3. Player (j, A;)'s utility function and initial endowment function are identical to those of player j of the original economy €pe, that is, functions u3 : R ; + x T —> R and e3 : T3 -> R ++. We assume for simplicity T(S) = T(S') = : T* C T, for all S, S' e Af. Recall supp IT3 C T*. As a competitive equilibrium concept for £pe which belongs to the coarse core, Serrano, Vohra and Volij followed Wilson (1978, footnote 6, page 814) and considered the following constrained market equilibrium concept:
12: Core Convergence/Equivalence
209
Theorems
Let A := {p : T* —> R+ | X]tgrZ]h=iP'»(*) = 1} be the price domain. Consumer j ' s consumption plan is a strategy x-7 : T* —> R + . A consumption plan x-7 gives rise to the interim expected utility given type P, Euifai | P) := 5ZteTuJ'(a;J'(*)>*)7r'(^ I &)• An allocation is a consumption plan bundle x such that the total demand is equal to the total supply at every type profile,
A constrained market equilibrium is a pair (p*,x*) of price vector p* and allocation x* such that for each consumer j and each information P, x*^ maximizes his conditional expected utility given P subject to the budget constraint given P: Maximize
Euj(xj
\ P)
subject to
J2
P(P,tNX{j})
< Yl
•
xj{P,tN^)
p(P,tNK{j})-ej(P,tN\W).
We will comment on this equilibrium concept later (remark 12.1.2). Serrano, Vohra and Volij first noted the easy result that a constrained market equilibrium allocation is a coarse core allocation. Their main result is the following counterexample, which claims that the coarse core does not necessarily convergence to the constrained market equilibria as q —> oo. E X A M P L E 12.1.1 (Serrano, Vohra and Volij, 2001) Consider the following two-person, two-commodity, two-state Bayesian pure exchange economy £pe: Consumer 1 is informed, and consumer 2 is uninformed, N :- { 1 , 2 } , Tl = {l,h},
T2
{t2},
T is identified with T1. uJ(ci,c2,t)
=
(ci -c2y
, for all j G JV
e\t)
=
(
2 4 Q
for all t G T;
e2{t)
=
( 2°4 ) . for all t G T;
n\t)
=
-,
2'
V
for all £ G J T .
L2+
210
III: Pure Exchange
Economy
Serrano, Vohra and Volij showed that this economy has a particular allocation x whose g-replication is in the coarse core of the g-replica economy for all g, yet x cannot be a constrained market equilibrium allocation. Indeed, it is easy to show that the unique constrained competitive equilibrium (p*,x*) is given by
-U)-
12
x*\t) *3(rt =
, for all j € N, and all t € T.
On the other hand, define allocation x by
^ ( o = ( ^ ) . * ^ ) = ( j ).*a(o=(;),*»(/.)=(i;). It suffices to show that the g-replication of x is in the coarse core of the g-replica economy for all g. Suppose the contrary, i.e., that there are g and coalition S in the g-replica economy, such that S improves upon x by using its allocation y : T —> (R+) • Without loss of generality, we may assume that y satisfies the equal treatment property (so y = (y1, y2), yJ : T —> R+, j £ N) and is coarse efficient in S (definition 6.1.1 in which S replaces N). Let kj be the number of players in S who have the same characteristics as player j of £pe, kj := #{{j,k) &S\l
MV(0) tWCO)
> « V ( 0 ) = V^5, > "H^CO) = A
u2(y2(l)) + u2(y2(h))
>
u2(x2{l)) + u2(x2(h))
(12.1) (12.2) = 7.
(12.3)
By the individual rationality of a;, it follows that kj > 0, j £ TV. The interim efficiency of y in S means the equality of the marginal rates of substitution across the consumers for each state, du1 del
yHi)
1
du del
2
v (i)
du1 dc\
j/'CO
2
i/MO
du dej
Oc?
y2W
2
!/2(0
del
I/1 CO
du dc'i
V2(h)
which implies under the Cobb-Douglas utility function that the commodity ratios across the consumers are the same for each state, y\(l)
y2(lY
y\{h)
y2(hY
In the light of the market clearance condition, these identities imply that yl{t) and y2(t) are both proportional to e ( S ) (t) := kxel{t) + k2e2(t), t G T.
12: Core Convergence/Equivalence
211
Theorems
Thus, 3 a G (0,1) :
kiy\l) = ae^(l) = a ( ^
)'
3 (3 G (0,1) :
W ( / 0 = /fe (s) (>0 = 0 ( 24fe ) '
Substituting these into the utility functions, *i(«V(Z)))2
=
k2(u2{y2{l))f
= 24(l-a)v^fe,
*i (uV(>0)) 2
2
2
fc2 ( U (j/ (/i)))
24a^k2,
= 24/Vfc^, 2
=
24(l-/?)V/fci^.
Therefore, letting z := k\/k2, z (^(y1^)))2
+ (u2(y2(t)))2
= 24yfl, for each i G T.
The inequalities (12.1) and (12.2) are re-written as
(«V(0))2 2
2
(u (y (h))f
< 24^-15*, <
24^1-8z.
By (12.3), y 2 4 ^ 1 - 15z + \j24y/z - 8z > 7, But this is impossible, since it is easily seen that the left-hand side achieves its maximum of 7 at z = 1. D R E M A R K 12.1.2 Apart from failing to satisfy the measurability requirement, a constrained market equilibrium differs from Radner's (1968) ex ante competitive equilibrium of the state-contingent claim market in that it accommodates -#T^ constrained maximization problems that each consumer j possibly faces at the interim period. It raises the following serious conceptual questions: Player j , acting alone in the market in which everybody is anonymous, and knowing that his true type is V, does not bother acting rationally in the unrealized event E := {t G T* | tj ^ P}, yet his actions
212
III: Pure Exchange
Economy
in E influence the competitive equilibrium price vector p*. A more serious problem is t h a t there is no reason why he should segment the market into # T J submarkets. This point is all the more problematic since the way to segment the market differs among different anonymous consumers (commodity (h, t\tj, tNW'rt) is traded with commodity (k,t'\tj ,tN\^) in consumer j ' s mind, yet they cannot be traded in consumer i's mind). • We t u r n to the fine core. We have pointed out t h a t Einy, Moreno and Shitovitz (2000a) established within the framework of a nonatomic space of consumers, £PE := ((A, A, v), {R' + , T*°>, u(a, •, •), e{a, -)^a}a&A)
,
t h a t a fine core allocation is an ex post core allocation (theorem 7.1.4 of this book). Notice t h a t the ex post stage is essentially the complete information stage. They invoked A u m a n n ' s (1964) equivalence theorem for the pure exchange economy with complete information, and asserted the following corollary: C O R O L L A R Y 1 2 . 1 . 3 (Einy, M o r e n o a n d S h i t o v i t z , 2 0 0 0 a ) LetSPE be a Bayesian pure exchange economy with a nonatomic positive measure space of consumers (A,A,v) and finitely many types { T J ' } J € J V , such that the domains of strategies for coalitions S satisfy T(S)
C T(Q),
for allQeA
for which j+(Q)
= N,
where j (a) is the index for consumer a's private information structure, and for any S G A, j+{S) is the set of all indeces i £ N for which v({a G S | j(a) = i}) > 0. Assume: (i) j+(A) - N, that is, v{Ai) > 0 for every i G N, where Ai := {a G A | j(a) = «}/ (ii) for every t GT, the map: A x R ; + —> R , (a,c) H^ u(a,c,t), is A® Bmeasurable, where B is the Borel a-algebra of subsets ofRl+; (hi) V t G T(A) : JA e(a, t) » 0; (iv) either the function u(a,-:t) : Rl+ —> R is continuous and strictly increasing for each (a,t) G A x T, or it is continuous, increasing, and vanishes on the boundary of R' + for each (a, t) G A x T. Then, a fine core allocation of SPE is an ex post competitive allocation.
12.2
Ex Ante Solutions
We have seen in section 11.3 t h a t Einy, Moreno and Shitovitz (2001a) studied an ex ante private measurable core allocation (a private core allocation
12: Core Convergence/Equivalence
213
Theorems
of definition 5.2.1), in the large Bayesian pure exchange economy, EPE := {{A, A, v), (fi, T,TT), {Rl+,u(a, •, •), e(a, •), r a } a e ^ ) , with a nonatmic measure space of consumers (^4, A, v) and a finite ex ante state space (fi,T, 7r), #fi < oo, in which each consumer a has a private information structure as a subalgebra Ta of T. Their result is that an ex ante competitive equilibrium of the state-contingent market exists, and the set of ex ante competitive allocations is identical to the set of private information core allocations, (proposition 11.3.2). Forges, Heifetz and Minelli (2001) studied the Bayesian pure exchange economy, £pe := {Rl+,T:>,u:',e:',Tr}j&N, in which each initial endowment is a constant function, T —> R ( , i — i »• e-7', and in which everybody j in coalition S chooses a mixed strategy (or rather, type-profile dependent mixed choices) \J : Ts —* A1(C J ), and the coalitional attainability is defined as the ex ante expected feasibility, £ £ jestsers
n({ts}
x T"V) / JCJ
cV[*S](^) < £ V , jes
that is, the market clearance on the average across type profiles as well as across pure choices (compare with the attainability definition in corollary 10.2.1 as the expected feasibility at each type profile). Notice that the ex ante expected feasibility does not guarantee the expected feasibility at the interim time of strategy execution. They took the mediator-based approach, and considered the Bayesian incentive compatibility (see condition 4.2.1), V P , iJ eTJ : £ > ( t | P)W{^[t%t)
> $>(* |
teT
V)U*{iJ[V,ts\W],t),
t£T
where
U* (!*'[&, tsW],t):=
f
uj(c>,t)^\i\ts\^}{dc>).
Denote by Ftc's the set of all strategy bundles of coalition S that satisfy the ex ante expected feasibility and the Bayesian incentive compatibility. Set for simplicity, F%c := Ftc'N. The ex ante expected utility of strategy V? is given as EW(^) := J2teT n(t)Uj (nj[ts},t). Forges, Heifetz and Minelli defined an ex ante core allocation as a strategy bundle {/i*J}:/g^, such that (i) it is attainable in the grand coalition, {/i"'} ieJV e F-
214
III: Pure Exchange
Economy
and (ii) it is not weakly improved upon by any coalition, -. 3 S G M : 3 {fij}j5s
G Fic's : V j e S : 3j€S:
EUj(jjt>) > EU3(n*j), EUj{nj)> EUj(n*3).
They defined an ex ante competitive equilibrium as a pair of a price vector p* £ R ! + and an attainable mixed-consumption plan bundle (strategy bundle) {/j,*3}jeN G Fxc, such that each mixed commodity bundle n*3 satisfies the ex ante expected budget constraint, .
i
i
5>(t) / "£Ph4n*nt}(dci) < J2pnel tgT
Jc
h=1
h=1
and is the best of those mixed commodity bundles satisfying the ex ante expected budget constraint, that is, for any Bayesian incentive compatible mixed commodity bundle p.3 for which YlteT ^ ( ^ \CJ S/i=i Ph.c'hP-3[t\(dc3) < S/,=iP'» e ii i* follows that
EU'tf)
< EUj{p*j).
Applying the standard argument, Forges, Heifetz and Minelli established the following theorem: T H E O R E M 12.2.1 (Forges, Heifetz and Minelli, 2001) There exists an ex ante competitive equilibrium, and each ex ante competitive allocation is an ex ante core allocation. Then they considered the replica economies d la Debreu and Scarf (1963), in which the type profile space in the q-replica economy is the g-fold product of space T and the ex ante probability is the g-fold product probability of n. They established the following theorem: T H E O R E M 12.2.2 (Forges, Heifetz and Minelli, 2001) (i) When utility function u3 depends fully on the type profile t, there is an example in which the equal-treatment property is not valid for an ex ante core allocation of the q-replica economy. (ii) In the case of no externalities (u3 = u3(c3,t3)), the q-replica economy has an ex ante core allocation with the equal treatment property, and a consumption plan bundle with the equal treatment property which is in the ex ante core of all q-replica economies, q = 1,2, • • •, is an ex ante competitive allocation.
12: Core Convergence/Equivalence
Theorems
215
R E M A R K 12.2.3 We have already pointed out the weakness of the attainability condition in their definition of ex ante core allocation. More serious problems show up in their mediator-based approach to the ex ante competitive allocation: each mixed commodity bundle p? depends fully on T, so it is not clear how a consumer can choose his mixed demand contingent upon the others' private information while being uncommunicative, and the ex ante notions of attainability and budget constraint fail to guarantee the attainability and the budget constraint at the interim time of actually executing these consumption plans. More importantly, they have not provided a rationale for imposing Bayesian incentive compatibility on the competitive allocations. A competitive equilibrium is an outcome of a specific noncooperative behavior guided only by a price vector established in the market, each consumer chooses his (mixed) commodity bundle by himself without coordinating with other consumers, so there is no need for him to promise truthful execution of his strategy to anybody. Thus, the sensible setup would be that an ex ante core allocation satisfies both the private measurability condition (if we really want to avoid the mediator) and the Bayesian incentive compatibility condition 4.1.1, and an ex ante competitive allocation satisfies only the private measurability condition. It is not clear if Forges, Heifetz and Minelli's results still remain to be true when the two conditions are discriminatorily applied as suggested here. Finally, we repeat our position that a mixed-choice approach avoids the question of explaining deterministic choice. D Einy, Moreno and Shitovitz (2001b) looked at two notions of the bargaining set of a Bayesian pure exchange economy with a nonatomic measure space of consumers, and established an equivalence result and a nonequivalence result, respectively, with respect to Radner's ex ante competitive allocations of the state-contingent market.
This page is intentionally left blank
Part IV
ANOTHER VIEWPOINT
This page is intentionally left blank
Chapter 13
Self-Selection in Anonymous Environments So far we have looked at analyses of situations where several players form a coalition within which to communicate each other and coordinate their strategy choice. Each member of a coalition knows the membership of his coalition, so he knows whom to deal with. In this chapter, however, we will briefly present two models t h a t are based on another view on coalition formation; specifically they describe situations in which coalitional membership is anonymous.
13.1
M e c h a n i s m Design
Let (A, A, v) be a probability space of players. Demange and Guesnerie (2001) postulated t h a t there exists a finite state space fi. Each player a's type is described by a member ui{a) of $7; a state is synonymously called a type here. T h e profile of the player types, Q : A —> f2, is not known, but its distribution n := v o (
220
IV: Another
Viewpoint
is not known, but the size (a number s € [0,1]) or type-distribution (a measure 7r on O for which ir(fi,) < 1) are known. Define, therefore, the space of type distributions, II := {TT : 2 n -> R + | TT is additive, TT(0) = 0,7r(ft) < 1}. T h e interim stage is defined as the period in which each player a knows his type ui(a) as his private information, as well as the public information n about the grand coalition. Denote by C the outcome space. T h e preference relation of the players of type UJ is represented by a von Neumann-Morgenstern utility function, U(UJ, •) : C -+ R . A plan associates with each type u> an outcome t h a t will be chosen for UJ\ a plan is a point in Cn. Denote by F w ( c CQ) the set of all feasible plans when type distribution TT prevails; the sets F*, TT € II, are a priori given to the model. Notice t h a t F x is denned not only for all probabilities (TT for which 7r(fi) = 1) but also for all measures TT for which TT(Q) < 1. For example, if an unidentified coalition's size s is the only public information about it, a mechanism for this coalition needs t o specify a plan in F* for all 7r for which TT(Q) = s. T h e model of this section is summarized as a list of exogenous data, ((A,A,u),
n , w(-), C,
{F'Ken.Mu/.O^en).
A mechanism is formulated as a function / : $7 x II —> C. There are several scenarios for how a mechanism works. T h e following is a typical one, and gives rise to the u*-belief-based core concepts introduced below (definitions 13.1.4 and 13.1.5): An underwriter of a mechanism (e.g., the government, or an insurer, or a mediator) designs mechanism / for a yet unidentified coalition, and announces it in public. He then receives players' confidential responses about their private types and about their intention in regard to holding membership in the coalition. A coalition is thus formed. T h e underwriter forms the distribution of the reported types TT of the members. T h e player who has reported type u> as well as his intention to hold a membership will then receive outcome /(w,7r). T h e Demange-Guesnerie mechanism can be called an anonymous mechanism, in t h a t the outcome for this player is not determined by the exact identities of all respondents or by the exact reported type of each respondent, b u t merely by the reportedtype distribution in addition to his own report. T h e grand coalition A has the observable size ff(fi) = 1, so define n ( l ) := {TT G II | ir(Q) = 1}. D E F I N I T I O N 1 3 . 1 . 1 Mechanism / is feasible for A, if
V7ren(i):/(-,7r) e F 1 .
13:
221
Self-Selection
It is called Bayesian
incentive-compatible
for A, if
V u, u' e U : V IT e 11(1) : u(u>, f(uj, TT)) > u(u,f(u>',
IT)).
Likewise, these two conditions can be defined for any coalition whose size s € [0,1] is public information: Define II(s) := {TT G II | 7r(Q) = s } . Feasibility and Bayesian incentive compatibility of a mechanism for coalition of size s are defined exactly as in definition 13.1.1, where II(s) substitutes 11(1). A feasible mechanism / is called universally Bayesian incentive-compatible, if it is Bayesian incentive-compatible for all sizes s €
[0,1]. R E M A R K 1 3 . 1 . 2 An alternative definition of feasibility and Bayesian incentive compatibility: A coalition of size 1 is necessarily the grand coalition A (modulo the null sets of players), and the grand coalition's typedistribution ff is public information. So, a mechanism / is feasible for a coalition of size 1, if /(-,if) is a member of F*. It is called Bayesian incentive-compatible for a coalition of size 1, if V w , w ' s f i : U(UJ, f(co, TT)) > U(UJ, f(uj', TT)). For any coalition, the weight of its type-w members cannot exceed TT{LJ). So for coalition S of size s < 1, the set of all possible type-distributions are II(s) := {TT e n ( s ) | V u € f i : 7r(w) < f (w)}. A mechanism / is feasible for 5 , if V7rGlI(s) It is called Bayesian
incentive-compatible
:f{-,Ti)£F". for S, if
V w , w ' e f i : V j r £ II(s) : u(v, f(u>, TT)) > U(OJ, / ( a / , TT)). T h e above definition and also definition 13.1.1 reflect the scenario that the only public information about a coalition is its size. Actually, there are several variants of these conditions, each reflecting the nature of public information available in a specific context; see, e.g., definitions 13.1.3-13.1.5. D Demange and Guesnerie proposed several coalitional stability concepts for a feasible, Bayesian incentive-compatible mechanism / for A, each reflecting a specific content of public information, and defined the associated core concepts. T h e following are a list of possible public information about an unidentified coalition:
222
IV: Another
Viewpoint
• the size s € [0,1] of the respondents who express participation in the coalition for which a mechanism is announced; • the support supp TT C fi of the reported type-distribution; • the reported type-distribution TT G II; • each type w's reservation level of utility for the status quo, which may be exogenous or endogenous. One stability concept assumes the situation in which each member of a blocking coalition knows the type-distribution TT in his coalition, although he may not know the precise membership of the coalition. D E F I N I T I O N 1 3 . 1 . 3 Let / : 0 x II -> C be a standing mechanism for the grand coalition A. Assume t h a t each member of a coalition knows the type-distribution TT in the coalition. T h e coalition statistically blocks the mechanism / , if there is a mechanism g t h a t is feasible for TT,
and is Bayesian incentive-compatible for TT, V w , w ' e f i : u(u), g{uj, IT)) > u(u>, g(w', TT)), such t h a t it improves upon / on the support of TT, Vw£
supp TT : u(u>, g(uj, TT)) > u{u>, f(u>, TT)).
T h e statistical core is the set of feasible, Bayesian incentive-compatible mechanisms for A t h a t are not statistically blocked. Another stability concept, the original conceptual contribution by Demange and Guesnerie (2001), and independently by H a r a (2002) (see section 13.2), addresses the situation in which each member of a blocking coalition S knows his reservation utility level, in addition to the type-distribution in S, fis. T h e blocking mechanism provides a self-selection criterion to reveal his private information. Here, the blocking coalitions are postulated to be of the following specific form: Let E be any subset of the type space ft. T h e E-full coalition consists of all players whose types are in E, t h a t is, the coalition SE '•— Q~1(E). The exact membership of SE is not known, since the function u> : A —> ft is not known. The type-distribution of the .E-full coalition is, however, public information as TTSE , since TT is postulated to be public information. Indeed, TTSE(-) — #(•) on the subsets of E. A player of type u has the reservation level u*(u), in t h a t he will not join a
13:
223
Self-Selection
defecting coalition unless his new utility level is made greater than U*(UJ). In the following blocking criterion, the first set of inequalities says that the players in the blocking coalition SE improve upon the standing outcomes. The second set of weak inequalities is the self-selection criterion: nobody outside coalition SE has the incentive to join the blocking coalition. By announcing this mechanism g, the underwriter can form exactly the blocking coalition SEDEFINITION 13.1.4 (Demange and Guesnerie, 2001) Let / : Q. x II —> C be a standing mechanism for the grand coalition A. Assume that each player of type ui has his reservation level U*(UJ). Let E c fl. The .E-full coalition u*-beliefs blocks the mechanism / , if there exists a feasible, Bayesian incentive-compatible mechanism g for the type-distribution TTSE such that Vw GE WueQ\E
: u(u),g(u>,TTSE)) > u(ui,f(u},Tt)), and : u(w,fi((w,7f5E)) < u*(w).
The u*-beliefs-based core is the set of feasible, Bayesian incentive-compatible mechanisms for A that are not w*-beliefs blocked. The next blocking concept, and hence the core concept, determines the reservation levels endogenously. DEFINITION 13.1.5 (Demange a n d Guesnerie, 2001) Let f : fix II —> C be a feasible, Bayesian incentive-compatible mechanism for the grand coalition A. Let E C O. The iJ-full coalition status quo blocks mechanism / , if it u*-beliefs blocks / , where the reservation levels u* are given by U*{OJ) := u(u>, f(u>, it)). The status quo eoreindexstatus quo core is the set of feasible, Bayesian incentive-compatible mechanisms for A that are not status quo blocked.
13.2
Pure Exchange Economy
Hara (2002) recently proposed a new core concept for the static pure exchange economy £pg :— {Rl+, w(a, •), e(a)}a€A with a nonatomic probability space of consumers (^4, A, v)\ here the type-profile space is a singleton, so notation for a type will be suppressed, and consumer a's preference relation is represented by a utility function of his consumption, u(a, •) : R ^ —> R. Hara motivates his new core concept with the imaginary environment in which consumers have gathered in a marketplace, being aware of the statistical distribution of the others' characteristics, so each consumer knows
224
IV: Another
Viewpoint
that somewhere in the marketplace there is another consumer he can engage with in a mutually beneficial exchange but he cannot locate such a trading partner. In this environment, he can perhaps post a notice for the entire crowd of consumers to solicit such and such a unit of good A in exchange for such and such a unit of another good B. A coalition can then be formed with whoever comes forward to enter into this trade. (This scenario is also applicable to Demange and Guesnerie's (2001) model in section 13.1.) For each coalition S, denote by Fs the set of all attainable allocations, Fs
=
{
f
.s
Ri
/ i s ^-integrable, 1 +
" I
Isfd» = Ssedp
/'
Recall that the net trades of a competitive allocation in £PE are envyfree. In the following definition 13.2.1, the term e(a) + {f(b) — e(b)) is the consumption bundle that consumer a would get if he were to have the same net trade as consumer b. Envy-freeness means that consumer a does not envy the net trades of the other consumers. DEFINITION 13.2.1 Allocation / G Fs is called envy-free, if there exists S' G A, S' C S and u{S') = v{S), such that (Vo, b G S' : e(a) + (f(b) - e(6)) G R ^ ) : «(o, f(a)) > u(a, e(a) + (f(b) - e(b))). Let / e FA be a standing allocation in the grand coalition. Each consumer a's status quo reservation level is then given as u*(a) := u(a,f(a)). The following are analogous to Demange and Guesnerie's (2001) status quo blocking concept and status quo core concept. DEFINITION 13.2.2 (Hara, 2002) Let / e FA be a standing envyfree allocation in the grand coalition A. Coalition S with a positive measure (S 6 A, v{S) > 0) blocks allocation / , if there exists an envy-free allocation g £ Fs, such that coalition S improves upon / via g, that is, there exists S' G A, S' C S and i/(5') > 0, for which u(a,g(a)) u(a,g(a))
> >
u(a,f(a)), u-a.e. in S, w(a,/(a)), i^-a.e. in 5 ' ,
and such that allocation g satisfies the self-selection criterion vis-a-vis f in that no set of outsiders to S with a positive measure want to pretend that they were members of 5, that is, 3S' €A:S' CS, v(S') = i/(S), 3 T' G A : T' c A \ S, v{T') = v(A \ 5), (Vo G T" : V6 G S" : e(a) + (g{b) - e(b)) G Rl+) : u(a, e(a) + (g(b) - e(b))) < u*(a) := u{a, f(a)).
13:
Self-Selection
225
The anonymous core is the set of all envy-free allocations / 6 FA that are not blocked. Hara's main results are an equivalence theorem between the anonymous core and the set of competitive allocations, and also a generic limit theorem for anonymous core for the replica finite economies.
This page is intentionally left blank
Bibliography Allen, B. (1999): "On the existence of core allocations in a large economy with incentive-compatibility constraints," Fields Institute Communications 23, American Mathematical Society, 139-152. Bahgeci, S. (2003): "The incentive compatible coarse core when information is almost complete," Journal of Mathematical Economics 39,127-134. Demange, G., and R. Guesnerie (2001): "On coalitional stability of anonymous interim mechanisms," Economic Theory 18, 367-389. Einy, E., D. Moreno, and B. Shitovitz (2000a): "On the core of an economy with differential information," Journal of Economic Theory 94, 262-270. Einy, E., D. Moreno, and B. Shitovitz (2000b): "Rational expectations equilibria and the ex-post core of an economy with asymmetric information," Journal of Mathematical Economics 34, 527-535. Einy, E., D. Moreno, and B. Shitovitz (2001a): "Competitive and core allocations in large economies with differential information," Economic Theory 18, 321-332. Einy, E., D. Moreno, and B. Shitovitz (2001b): "The bargaining set of a large economy with differential information," Economic Theory 18, 473-484. Forges, F., A. Heifetz, and E. Minelli (2001): "Incentive compatible core and competitive equilibria in differential information economies," Economic Theory 18, 349-365. Forges, F., J.-F. Mertens, and Rajiv Vohra (2002): "The ex ante incentive compatible core in the absence of wealth effects," Econometrica 70, 1865-1892.
227
228
Bibliography
Forges, F., and E. Minelli (2001): "A note on the incentive compatible core, "Journal of Economic Theory 98, 179-188. Forges, F., E. Minelli, and Rajiv Vohra (2002): "Incentives and the core of an exchange economy: a survey, " Journal of Mathematical Economics 38, 1-41. Glycopantis, D., A. Muir, and N. C. Yannelis (2001): "Am extensive form interpretation of the private core," Economic Theory 18, 293-319. Hahn, G., and N. C. Yannelis (1997): "Efficiency and incentive compatibility in differential information economies," Economic theory 10, 383-411. Hahn, G., and N. C. Yannelis (2001): "Coalitional Bayesian Nash implementation in differential information economies," Economic Theory 18, 485-509. Hara, C. (2002): "The anonymous core of an exchange economy," Journal of Mathematical Economics 38, 91-116. Herve-Beloso, C., E. Moreno-Garcia, and N. C. Yannelis (2005): "An equivalence theorem for a differential information economy," Journal of Mathematical Economics 4 1 , 844-856. Holmstrom, B., and R. B. Myerson (1983): "Efficient and durable decision rules with incomplete information," Econometrica 4 1 , 1799-1819. Ichiishi T. (1995): "Cooperative processing of information," in: T. Maruyama and W. Takahashi (eds.), Nonlinear and Convex Analysis in Economic Theory, Lecture Notes in Economics and Mathematical Systems, No. 419, pp. 101-117. Heidelberg/Berlin: Springer-Verlag. Ichiishi T., and A. Idzik (1996): "Bayesian cooperative choice of strategies," International Journal of Game Theory 25, 455-473. Ichiishi, T., A. Idzik, and J. Zhao (1994): "Cooperative processing of information via choice at an information set," International Journal of Game Theory 23, 145-165. Ichiishi, T., and S. Koray (2000): "Job matching: A multi-principal, multiagent model," Advances in Mathematical Economics 2, 41-66. Ichiishi, T., and R. Radner (1999): "A profit-center game with incomplete information," Review of Economic Design 4, 307-343.
Bibliography
229
Ichiishi, T., and M. Sertel (1998): "Cooperative interim contract and recontract: Chandler's M-form firm," Economic Theory 11, 523-543. Ichiishi, T., and A. Yamazaki (2002): "Preliminary results for cooperative extensions of the Bayesian game," Discussion Paper No. 2001-9, Graduate School of Economics, Hitotsubashi University, July. Revised: April 2003. Ichiishi, T., and A. Yamazaki (2004): "Interim core concepts for a Bayesian pure exchange economy," Journal of Mathematical Economics 40, 347-370. Koutsougeras, L. C , and N. C. Yannelis (1993): "Incentive compatibility and information superiority of the core of an economy with differential information," Economic Theory 3, 195-216. Koutsougeras, L. C , and N. C. Yannelis (1999): "Bounded rational learning in differential information economies: Core and value," Journal of Mathemtical Economics 3 1 , 373-391. Krasa, S.(1999): "Unimprovable allocations in economies with incomplete information," Journal of Economic Theory 87, 144-168. Krasa, S., and W. Shafer (2001): "Core concepts in economies where information is almost complete," Economic Theory 18, 451-471. Lee, D., and O. Volij (2002): "The core of economies with asymmetric information: an axiomatic approach," Journal of Mathematical Economics 38, 46-63. Lefebvre, I. (2001): "An alternative proof of the nonemptiness of the private core," Economic Theory 18, 275-291. Maus, S. (2003): "Balancedness and the core in economies with asymmetric information," Economic Theory 22, 613-627. Maus, S. (2004): "Exchange economies with asymmetric information: Competitive equilibrium and core," Economic Theory 24, 395-418. Page, Jr., F. H. (1997): "Market games with differential information and infinite dimensional commodity spaces: The core," Economic Theory 9, 151-159. Page, Jr., F. H., and M. H. Wooders (1994): "Asymmetric information, the efficient core, and farsightedly stable trading mechanisms," unpublished paper.
230
Bibliography
Serfes, K. (2001): "Non-myopic learning in differential information economies: the core," Economic Theory 18, 333-348. Serrano, R., and Rajiv Vohra (2001): "Some limitations of virtual Bayesian implementation," Econometrica 69, 785-792. Serrano, R., Rajiv Vohra, and O. Volij (2001): "On the failure of core convergence in economies with asymmetric information," Econometrica 69, 1685-1696. Vohra, Rajiv (1999): "Incomplete information, incentive compatibility, and the core," Journal of Economic Theory 86, 123-147. Volij, O. (2000): "Communication, credible improvements and the core of an economy with asymmetric information," International Journal of Game Theory 29, 63-79. Wilson, R. (1978): "Information efficiency, and the core of an economy," Econometrica 46, 807-816. Yannelis, N. C. (1991): "The core of an economy with differential information," Economic Theory 1, 183-198. Yazar, J. (2001): "Ex ante contracting with endogenously determined communication plans," Economic Theory 18, 439-450.
Related Works Abreu, D., and H. Matsushima (1992): "Virtual implementation in iteratively undominated strategies: Complete information," Econometrica 60, 993-1008. Akerlof, G. (1970): "The market for lemons: Quality uncertainty and the market mechanisms," Quarterly Journal of Economics 84, 488-500. Aumann, R. J. (1964): "Markets with a continuum of traders," Econometrica 32, 39-50. Aumann, R. J. (1966): "Existence of competitive equilibria in market with a continuum of traders," Econometrica 34, 1-17.
Bibliography
231
Aumann, R. J. and B. Peleg (1960): "Von Neumann-Morgenstern solutions to cooperative games without side payments," Bulletin of the American Mathematical Society 66, 173-179. Chandler, Jr., A. D. (1962): Strategy and Structure, Cambridge, MA: MIT Press. d'Aspremont, C , and L.-A. Gerard-Varet (1979): "Incentives and incomplete information," Journal of Public Economics 11, 22-45. Debreu, G., and H. Scarf (1963): "A limit theorem on the core of an economy," International Economic Review 4, 235-246. Harsanyi, J. C. (1967/1968): "Games with incomplete information played by 'Bayesian' players," Management Science: Theory 14, 159-182 (Part I), 320-334 (Part II), 486-502 (Part III). Hildenbrand, W. (1968): "On the core of an economy with a measure space of economic agents," Review of Economic Studies 35, 443-452. Hildenbrand, W. (1970): "Existence of equilibria for economies with production and a measure space of consumers," Econometrica 38, 608-623. Ichiishi, T. (1981): "A social coalitional equilibrium existence lemma," Econometrica 49, 369-377. Ichiishi, T. (1993a): The Cooperative Nature of the Firm, Cambridge, U.K.: Cambridge University Press. Ichiishi, T. (1993b): "The cooperative nature of the firm: Narrative," Managerial and Decision Economics 14 (1993), 383-407. In: Special Issue edited by Koji Okuguchi on Labor-Managed Firms Under Imperfect Competition (and Related Problems). Jackson, M. (1991): "Bayesian implementation," Econometrica, 59, 461477. Klein, B., R. Crawford, and A. A. Alchian (1978): "Vertical integration, appropriable rents, arid the competitive contracting process," Journal of Law and Economics 21: 297-326. Koray, S., and M. R. Sertel (1992): "The welfarisitc characterization of two-person revelation equilibrium under imputational government," Social Choice and Welfare, 9, 49-56.
232
Bibliography
Kreps, D., and R. Wilson (1982): "Sequential equilibria," Econometrica 50, 863-894. Mas-Colell, A. (1977): "Indivisible commodities and general equilibrium theory," Journal of Economic Theory 16, 443-456. Myerson, R. B. (1984): "Cooperative games with incomplete information," International Journal of Game Theory 13, 69-96. Radner, R. (1968): "Competitive equilibrium under uncertainty," Econometrica 36, 31-58. Radner, R. (1979): "Rational expectations equilibrium generic existence and the information revealed by prices," Econometrica 47, 655-678. Radner, R. (1992): "Transfer payments and the core of a profit-center game," in: P. Dasgupta, et al. (eds.), Economic Analysis of Markets and Games (Essays in Honor of Frank Hahn), pp. 316-339. Cambridge, MA: MIT Press. Rosenmuller, J. (1992): "Fee games: (N)TU-games with incomplete information," in: R. Selten (ed.) Rational Interaction: Essays in Honor of John C. Harsanyi, pp.53-81. Berlin: Springer-Verlag. Scarf, H. (1973): The Computation of Economic Equilibria, New Haven, CT: Yale Univ. Press. Scarf, H. (1986): "Notes on the core of a productive economy," in W. Hildenbrand, et al. (eds.), Contributions to Mathematical Economics (in Honor of Gerard Debreu), pp. 401-429. Amsterdam/New York: North-Holland. Selten, R. (1975): "Reexamination of the perfectness concept for equilibrium points in extensive games," International Journal of Game Theory 4, 25-55. Vind, K. (1972): "A third remark on the core of an atomless economy," Econometrica 40, 585-586. Walkup, D. W., and R. J.-B. Wets (1969): "Lifting projections of convex polyhedra," Pacific Journal of Mathematics 28, 465-475. Williamson, O. E. (1975): Markets and Hierarchies: Analysis and Antitrust Implications, Free Press, New York, NY. Yamazaki, A. (1978): "An equilibrium existence theorem without convexity assumptions," Econometrica 46, 541-555.
Bibliography
233
Yamazaki, A. (1981): "Diversified consumption characteristics and conditionally dispersed endowment distribution: Regularizing effect and existence of equilibria," Econometrica 49, 639-654.
This page is intentionally left blank
Glossary {Atyjes-
communication system for coalition S
V := (£cp,p): profit-center game with incomplete information, where £Cp is a Bayesian coalition production economy (see below), and p is a price vector for the marketed commodities.
£cp := ({A" J ,T J ,u J ,e- 7 ,{7r : '(- | tJ)}t3eT,}j(iN, {YS}S&M): Bayesian coalition production economy with / commodities, where: {X3 ,T3 ,u3 ,eJ\{i:3{- | tj)}t,}j =: £pe, the consumption sector, i.e., Bayesian pure exchange economy; {Ys}seM"- t n e production sector. Correspondence Ys : T —> R associates to each type profile t a production set Ys(t) (C R') for coalition S.
£ks(n) '•= (^i •""! {R+, w-', e J }j e Ar): K-S pure exchange economy with / commodities, where: TV: a finite set of consumers; R' + : consumption set of consumer j ; 17: finite state space; v? : Rl+ x fi —> R, state dependent von Neumann-Morgenstern utility function of consumer j ; e3' : Q —> R ( + , consumer j ' s initial endowment vector, which depends only upon u>; 7r: objective ex ante probability on fi x flje/v & > where $ J (= $1) is the consumer j's signal space.
235
236
Glossary
£pe := {Xi, T J , ui, e?, {^(- \ P)}tjeTj} -eN: Bayesian pure exchange economy with I commodities, where: TV: a finite set of consumers; Xi ( c R+): consumption set of consumer j ; T-7: finite type set of consumer j ; •u? : R' + x T —> R, type-profile dependent von Neumann-Morgenstern utility function of consumer j ; l ei • J\J _> H +, consumer j ' s initial endowment vector, which depends only upon P; iri (• | P): consumer j's conditional probability on TN^^ given P, objective or subjective.
SPE := ({A:A,iy),{Rl+,T^a\u(a,-,-),e(ar),TTa}aeA)Bayesian pure exchange economy with a nonatomic measure space of consumers (A, A, v). F's
Fs
HN:
: X -> X s , x >-> {xs G Fs(x) \ V j G S : x* is T-?-measurable.}, private-measurable and feasible strategy set correspondence for coaltion 5 in a Bayesian society S (defined for the private information case). : X —> X s , x H-> {xs G F ' s ( x ) | V j G S : xd is Bayesian incentivecompatible.}, private-measurable, feasible and Bayesian incentivecompatible strategy set correspondence for coaltion 5 in a Bayesian society S (defined for the private information case).
#/V-dimensional Euclidean space, where N is the index set for the coordinates. For x,y G R " , and S C N, x>y «=> V j G N : Xj > yy, x > y •<=>• [x > y and x ^ y}; x > y <=> V j e N : Xj > yj. Xs (S R N ) : the characteristic vector of S, defined by (Xs)j = 1 if j G S, (xs), = 0 if j G N \ S.
S := ({&,&,*,{**(• \P)}tieTi}jeN, { C f , T ( 5 ) , F s } S e ^ ) : Bayesian society with interim probabilities, where: N: a finite set of players;
237
Glossary Af :=2N \ {0}, the family of nonempty coalitions; C J : a choice set of player j ;
Cs:=TlJesCj\
C := CN, the set of choice bundles; Tj: a finite set of types of player j ; Ts :— \\jfzs Tj, the set of type profiles for coalition 5 ;
T:=TN; ui : C x T —> R , a type-profile dependent von Neumann-Morgenstern utility function of player j ; 7r 7 ' '(' I &)'• player fs conditional probability on the others' type profiles J , J V \ { J } J given private information V € T^, objective or subjective; C Q : T —> Cs, a feasible-choice correspondence of coalition 5 ; T ( 5 ) : the domain of strategies of coalition S; Xj{S) := {xi : T{S) —> C-7'}, the set of all logically conceivable strategies of player j as a member of S; Xs := r L ' e s ^H^)> the set of all logically conceivable strategy bundles of coalition S, in particular, X&' := Xi({j}), the set of all logically conceivable strategies of singleton { j } ;
X:=XN; Fs
: X —> Xs: a feasible-strategy correspondence of coalition S (a family of T s - m e a s u r a b l e selections of C Q | T ( S ) ) -
supp ?ri(- | V) := { ^ \ ^ > G T ^ W | ^ ' ( t J V \ t i } | *i) > 0}, the support of interim probability 7r-?'(- | i J ) . Sometimes supp TT-7^- | t J ) may be considered a subset of {tJ} x T"\k">; no confusion arises.
:= U t ) e T i { ^ } x S U PP 7r'7(" I ^ ) i the s e t O I tyPe profiles with a positive probability, T(S): the domain of strategy bundles of coalition 5 , proj j 7'(5'): projection of T(S) to T-?, for j 6 5 . T(-!ti)
T s : the algebra on T generated by partition, {{ts} x TN^{S} T J := T ^ h player j ' s private information structure,
T'{^):=Ti\/{
2 V ' ) , T\T(n'),
| i5 £ T s } ,
T).
Note: For the K-S pure exchange economy, T J ' is defined differently; see section 7.2.
This page is intentionally left blank
Index A Abreu, Dilip, 30 agent, 91 Alchian, Armen A., 119 Allen, Beth, 205 anonymous core, 225 asset specificity, 119 Aumann, Robert J., 3, 10, 98, 99, 195, 212 B balanced family, 99 balanced non-side-payment game, 99 balancing coefficients, 99 bargaining set, 215 Bayesian game — 8 —, cooperative extensions of, 4 Bayesian coalition production economy, 14 Bayesian incentive-compatible — (for the mediator-based approach), 37, 41 — (for the private information case), 27, 29 — (for the private information case), strictly, 30 — (for the two-inienm-period case), 151 — in Krasa and Shafer's sense, 73 — in a large Bayesian pure exchange economy, 198 Bayesian incentive-compatible coarse core (for the mediator-based approach), 49
Bayesian incentive-compatible coarse core (for the private information case), 49, 168 Bayesian incentive-compatible coarse efficient, 59 Bayesian incentive-compatible coarse strong equilibrium (for the mediator-based approach), 49 Bayesian incentive-compatible coarse strong equilibrium (for the private information case), 48 Bayesian incentive-compatible core, ex ante, 53 Bayesian incentive-compatible interim efficient, 60, 62 Bayesian incentive-compatible strategy bundle pair, 146 Bayesian incentive-compatible strong equilibrium, 112 Bayesian pure exchange economy, 13 —, large, 196 Bayesian society, 11 — (no-externalities case), 94 C Chandler, Jr., Alfred D., 14, 118 coalition structure, 55, 62 coarse core — 47 — (for the mediator-based approach), Bayesian incentivecompatible, 49 — (for the private information case), Bayesian incentivecompatible, 49
239
240
coarse efficient, 58 coarse strong equilibrium — 46 — (for the mediator-based approach), Bayesian incentivecompatible, 49 — (for the private information case), Bayesian incentivecompatible, 48 communication plan, 40 communication system — 12 —, full, 13 —, null, 13 — for a large Bayesian pure exchange economy, 67 — for a large Bayesian pure exchange economy, full, 68 complete information, 9 — in Krasa and Shafer's sense, 72 commodity —, marketed, 15, 119 —, nonmarketed, 15, 119 complementary supplier - customer relationship, 129 conditional expected utility function, 46 constrained market equilibrium, 209 contract, 52 convex technology, 125 cooperative extensions of the Bayesian game, 4 core, 99 —, anonymous, 225 —, coarse, 47 —, EC- (endogenous communication plan), 148 —, ex ante Bayesian incentivecompatible, 53 —, fine, 50 —, generalized, 100 —, interim Bayesian incentivecompatible, 51, 172 —, statistical, 222 —, strict, 81
Index
—, u*-beliefs-based, 223 — (for the mediator-based approach), Bayesian incentivecompatible coarse, 49 — (for the private information case), Bayesian incentivecompatible coarse, 49 — of a K-S pure exchange economy, Bayesian incentive-compatible, 74 — of a K-S pure exchange economy, complete information, 72 — of a K-S pure exchange economy, private information, 73 — of a large Bayesian pure exchange economy, ex ante Bayesian incentive compatible, 203, 205 — of a large Bayesian pure exchange economy, ex ante private information, 202 — of a large Bayesian pure exchange economy, interim Bayesian incentive-compatible, 198 Crawford, Robert G., 119 D d'Aspremont, Claude, 27 Debreu, Gerard, 207 Demange, Gabrielle, 223 distributive production set, 127 durable strategy bundle, 147 E EC-core (endogenous communication plan core), 148 economy —, Bayesian coalition production, 14 —, Bayesian pure exchange, 13 —, K-S pure exchange, 72 —, large Bayesian pure exchange, 196 —, replica, 207 efficient
Index
— , Bayesian incentive-compatible coarse, 59 —, Bayesian incentive-compatible interim, 60, 62 — , coarse, 58 —, ex ante, 58 — , fine, 59, 60 — , interim private, 60 —, ex post, 59 £-full coalition, 222 Einy, Ezra, 53, 69, 196, 197, 203, 212, 215 envy-free allocation, 224 equilibrium —, Bayesian incentive-compatible strong, 112 —, constrained m a r k e t , 209 —, Nash, 101 —, perfect, 144 —, rational expectations, 54, 110 —, sequential, 144 — , social coalitional, 102 —, strong, 102 — of t h e state-contingent claim m a r k e t , ex ante competitive, 202 ex ante, 8 ex ante Bayesian incentive-compatible core, 53 — of a large Bayesian p u r e exchange economy, 203, 205 ex ante efficient, 58 ex ante competitive equilibrium of t h e state-contingent claim m a r k e t , 202 ex ante private information core of a large Bayesian p u r e exchange economy, 202 ex ante solution, 45 ex post, 8 ex post core of a large Bayesian p u r e exchange economy, 68 ex post efficient, 59
F fine core, 50
241
— of a large Bayesian p u r e exchange economy, 68 fine efficient, 59, 60 fine s t r o n g equilibrium, 50 firm in multidivisional form, 14 Forges, Francoise, 23, 190, 192, 214 full communication system, 13 fully pooled information case, 23
G game —, balanced non-side-payment, 99 — , Bayesian, 8 —, non-side-payment, 10, 98 —, non-transferable utility, 10, 98 —, N T U , 10, 98 —, profit center, 15, 118 — in characteristic function form w i t h o u t side p a y m e n t s , 98 — in normal form, 101 generalized core, 100 generic p r o p e r t y of a K-S p u r e exchange economy, 75 Gerard-Varet, Louis-Andre, 27 Guesnerie, Roger, 223
H H a h n , Guangsug, 3 1 , 60, 169, 172 H a r a , Chiaki, 224 Harsanyi, J o h n C., 3, 8 h e a d q u a r t e r s ' insurability, p o s t u l a t e of, 122 Heifetz, Aviad, 214 H o l m s t r o m , Bengt, 59, 138
I Ichiishi, T a t s u r o , 11,15, 29, 5 1 , 52, 53, 54, 6 1 , 94, 102, 104, 105, 115, 117, 125, 128, 129, 130, 134, 155, 168, 169, 177, 188 Idzik, A d a m , 11, 29, 53, 94, 115, 117, 188
242
information —, complete, 9 —, non-exclusive, 170 —, private, 8 — in Krasa and Shafer's sense, complete, 72 — in Krasa and Shafer's sense, incomplete, 71 — in Krasa and Shafer's sense, private, 72 information-revelation process, postulate of, 111 information structure, private, 8, 16 — in Krasa and Shafer's sense, 73 in mediis, 8 interim, 8 interim Bayesian incentive-compatible core, 51, 172 — of a large Bayesian pure exchange economy, 198 interim Bayesian incentive-compatible strong equilibrium, 51 interim private efficient, 60 interim solution, 45
J Jackson, Matthew, 17
Index
M market for a lemon, 172 marketed commodity, 15, 119 Matsushima, Hitoshi, 30 mechanism, 220 —, Bayesian incentive-compatible, 221 —, feasible, 220, 221 mediator, 37 mediator-based approach, 37 Mertens, Jean-Frangois, 192 M-form firm, 14 Minelli, Enrico, 23, 190, 214 Moreno, Diego, 53, 69, 196, 197, 203, 212, 215 multi-principal, multi-agent relationship, 54 Myerson, Roger B., 29, 59, 138 N Nash equilibrium, 101 no-externality case, 31, 57 non-exclusive information, 170 nonmarketed commodity, 15, 119 non-side-payment game, 10, 98 —, balanced, 99 non-transferable utility game, 10, 98 NTU game, 10, 98 null communication system, 13
K Klein, Benjamin, 119 Koray, Semih, 54, 150 Krasa, Stefan, 75, 76, 81 Kreps, David M., 144 K-S pure exchange economy, 72
L large Bayesian pure exchange economy, 196 Lefebvre, Isabelle, 94
P parameterized family of societies, 106 —, social coalitional equilibrium of, 106 Peleg, Bezalel, 3, 10, 98, 99 perfect equilibrium, 144 plan, 10 postulate of the headquarters' insurability, 122 postulate of information-revelation process, 111 pretend-but-perform principle, 150
243
Index
pretension function, 29, 150 private information, 8 private information case, 22 private information structure, 8, 16 — in Krasa and Shafer's sense, 73 private measurability, 22 profit center game, 15, 61, 118 Q Quinzii, Martine, 155 R Radner, Roy, 15, 23, 110, 118, 125, 128, 129, 130, 169, 202, 211, 215 rational expectations equilibrium, 54, 110 replica economy, 207 revelation principle, 35 Rosenmiiller, Joachim, 57 S Scarf, Herbert E., 3, 100, 127, 133, 207 149, 155, 169 Selten, Reinhard, 142, 144, 145 sequential equilibrium, 144 Serrano, Roberto, 209 Sertel, Murat R., 51, 52, 61, 134, 150 Shafer, Wayne, 75, 76, 81 Shitovitz, Benyamin, 53, 69, 196, 197, 203, 212, 215 social coalitional equilibrium, 102 society, 102 —, Bayesian, 11 — (no-externalities case), 105 solution —, ex ante, 45 —, interim, 45 space of Bayesian societies, 116 statistical core, 222 strict core allocation plan, 81 strictly Bayesian incentive-compatible (for the private information case),
30 strong equilibrium, 102 —, coarse, 46 —, fine, 50 —, interim Bayesian incentivecompatible, 51 — (for the mediator-based approach), Bayesian incentivecompatible coarse, 49 — (for the private information case), Bayesian incentivecompatible coarse, 48 T transfer payment problem, 15, 119 U w*-beliefs-based core, 223 V Vind, Karl, 69 Vohra, Rajiv, 23, 37, 49, 169, 170, 172, 190, 192, 209 Vohra box diagram, 172 Volij, Oscar, 209
W Walkup, David W., 158 Wets, Roger J.-B., 158 Williamson, Oliver E., 119 Wilson, Robert, 3, 12, 22, 46, 49, 58, 59, 91, 144, 169 Y Yamazaki, Akira, 168, 177, 205 Yannelis, Nicholas C , 22, 31, 52, 60, 93, 169, 172 Yazar, Julide, 41, 148 Z Zhao, Jingang, 115, 117
This is the very first comprehensive monograph in a burgeoning, new research area — the theory of cooperative game with incomplete information with emphasis on the solution concept of Bayesian incentive compatible strong equilibrium that encompasses the concept of the Bayesian incentive compatible core. Built upon the concepts and techniques in the classical static cooperative game theory and in the non-cooperative Bayesian game theory, the theory constructs and analyzes in part the powerful n-person game-theoretical model characterized by coo'dinated strategy-choice with individualistic incentives, the influence of outsiders' strategy choice upon the feasibility and implications of coalitional attainability, and incomplete information. The book presents the basic results of this theory. It also presents the research results to date on the simple, but central economic model of Bayesian pure exchange economy, and also on an alternative approach, anonymous coalition formation. The theory presented here points to an important future research direction in economics. In particular, it has the potential to provide game-theoretical foundations of organizational analysis in which organizations (coalitions) as corporations institute a non-market resource allocation mechanism while using the market resource allocation mechanism at the same time. The book provides appraisals of the various concepts, setups and results established to date as well as many discussions on philosophical issues on different approaches in the area, thereby clarifying the applicability and limitations of the current theory. It also contains numerous examples illustrating various concepts and points of discussions. Cooperative Extensions of the Bayesian Game is an essential reference in strategic cooperative game theory, and serves as an informative textbook for PhD courses in advanced economic theory, mathematical economics, game theory, and industrial organization.
0ee
'orld Scientific YEARS 0 1 3
1
I'l h i I S H I N G -
2
0
0
6
www.worldscientific.com