250 likes | 630 Views
Deriving Bi-Symmetry Theorems from Tradeoff-Consistency Theorems July 7, 2003; Peter P. Wakker (& Veronika Köbberling). comments wegdoen. 2. {1,…,n}: states (of nature). Example: horse race, exactly one horse will win. n horses participate. State j: horse j will win.
E N D
Deriving Bi-Symmetry Theorems from Tradeoff-Consistency Theorems July 7, 2003; Peter P. Wakker(& Veronika Köbberling) comments wegdoen
2 {1,…,n}:states (of nature) Example: horse race, exactly one horsewill win. n horses participate. State j: horse j will win. X:outcomeset; general (finite, infinite) x = (x1,…,xn):act, yields xj if horse j wins, j = 1,…,n. Xn: set of acts on Xn:preference relationof decision maker
,…, ,…, ,…, ,…, ,…, ,…, ,…, ,…, yn yn xn xn yi yi xi xi y1 y1 x1 x1 ,…, ,…, ,…, ,…, ,…, ,…, ,…, ,…, xi xi x1 x1 xn xn yi yi y1 y1 yn yn + + + + + + + + ci ci c1 cn ci ci c1 cn 5 4 3 Additivity: (for X = ) Anscombe & Aumann (1963) results if + is midpoint operation: mixture-independence Transformation 1 of additivity For all i: Transformation 2(under regularity): ~ ~
,…, ,…, ,…, ,…, ,…, ,…, ,…, ,…, yn yn xn xn y1 y1 x1 x1 ~ ~ 4 Tranformation 3: For all i, whenever – = – .
Generalization utility U( ) U( ) U( ) U( ) U(x1) U(xn) 6 3 7 5 Notation:ix is (x with xi replaced by ), nx = (x1,..,xn-1,) e.g. 1x = (,x2,..,xn), Transformation 4 of additivity: For all i, Bij generalization nog niet opbrengen dat U non-observable, dat komt op p. 7. ix ~ iy ix ~ iy whenever – = – . Definition.Subjective expected value holds if there exist p1,…,pn such that (x1,…,xn) p1x1 +...+ pnxn represents preferences. , U
utility tradeoff consistency now without linear utility/ extraneous addition now without linear utility/ extraneous mixing 10 5 6 Theorem. The following two statements are equivalent: (i) Subjective expected value holds. with U increasing and continuous. (ii) Four conditions hold: (a) Weak ordering; (b) monotonicity; (c) continuity; (d) additivity. . (or mixture-independence). This is my interpretation of de Finetti's book making theorem. Virtually identical to Anscombe & Aumann. Or, this is Savage for finite state spaces.
As written before: For all i, ix ~ iy ix ~ iy whenever – = – . U( ) U( ) U( ) U( ) 7 Problem:How observe "="? U is not directly observable! How "endogenize ="? Answer: Is staring at your face! The old "reversal-trick" of revealed preference. If you can derive a preference from a model, then you can derive the model from the preference!
(under SEU) 8 ix ~ iy and ix ~ iy U() – U() = U() – U(). Lemma. Under SEU, holds.
6 9 Generalized additivity (tradeoff consistency) ix ~ iy jv ~ jw and This is used to reveal the U-differences equality. This can next be used to predict preferences à la de Finetti. So this is what we do. We first observe two preferences to infer, “endogeneously,” the utility-difference equality. Next we use this to predict other preferences just as in de Finetti’s model. and ix ~ iy jv ~ jw Lemma. SEU implies tradeoff consistency. Proof. Otherwise, inconsistent equalities of utility differences would result.
Generalized additivity (tradeoff consistency) was jv ~ jw ix ~ iy and and ix ~ iy jv ~ jw 10 Say that nice interpretation is desirable. Question: Interpret how? What is intuition? Endogenized addition operation through U() + U() = U() + U()? Improvement-comparison through U() – U() = U() – U()? I preferred another interpretation: Interpret as improvement-comparison U() – U() = U() – U(). Say that improvement-comparison should be consistent. Say that addition operation by arbitrarily taking a where U is zero. Require consistency of the operation. Above things are meta in sense of comparing different decision situations. Go on in minds of us researchers trying to model different decisions. Last thing has meaning in single decision situation. it goes on in mind of decision maker. It's their influence. Rational decisions weigh pros against cons. (Irrational version: regret theory.)
x,y, and nonnull i, s.t. If ix ~ iy & CEU is characterized by requiring these to be comonotonic. ix ~ iy ~* . then 11 Notation: Herhalen dat TO consistency SEU geeft, dus dat voor Savage voor finite state space voor uw studenten niet meer nodig is dan bovenstaande. Zeggen dat al het voorgaande vergeten kan worden. Dit is de essence. Easiest to understand and teach to students. Clear intuition (tradeoff, regret). DERIVED CONCEPT … Easiest to test in experiments. Has been used in experiments to measure utility. CPT: these should also be cosigned. Tradeoff consistency: No inconsistencies in ~* elicitations. not ~* and '~* for '. In words. Tradeoff consistency holds if: improving an outcome in a ~* relationship breaks the relationship. Adaptations, besides subjective expected utility: Comonotonicity/Choquet expected utility: done. Sign-dependence/prospect theory: done!
12 Now for something else! Alternative axioms, more commonly used, for jU(xj). Based on bisymmetry. Start with n=2.
y1 x2 x1 x1 x1 y2 y1 y2 x2 x2 () , CE CE(x1,x2) CE(y1,y2) 13 A digression on functional equations. Let F:2 F( ) F(y1,y2) , F(x1,x2) = F(F(x1,y1),F(x2,y2)). Reflexive solution: F(x1,x2) = Uinv(1U(x1) + 2U(x2)). For DUU:F is Certainty equivalent (CE) under EU! Enough about F and functional equations. Back to DUU, for now with n=2. Alternative notation for CE, as an operation: CE(x1,x2) = = Bisymmetry for CE:
~ right x2 x2 y1 x2 y1 y1 x1 y1 x2 x1 y2 y2 x2 y1 skippen 14 = EU(left) = 1U(Uinv(1U(x1)+2U(x2))) + 2U(Uinv(1U(y1)+2U(y2))) = 1(1U(x1)+2U(x2)) + 2(1U(y1)+2U(y2)) = 12U(x1)+12U(x2)) + 21U(y1)+22U(y2)) EU: left ~ right, i.e. bisymmetry is implied. Bisymmetry for general outcomes:
f1 . . . fi . . . fn x1 x2 15 Now notation etc. for general n. = CE(f1,…,fn) For general n, and a fixed event A, we can still define a binary certainty equivalent operation as follows: = CE(A:x1, Ac:x2)
f1 fi fn ( ) CE CE(f1,…,fn) , Ac: CE(g1,…,gn) A: g1 gi gn f1 g1 fi gi fn gn 16 Assume event A as above. = ~ . . . = CE(CE(A:f1,Ac:g1), …, CE(A:fn,Ac:gn)) Bij uitleg zeggen dat twee acts have same normal form. . . . Multisymmetry with respect to A. Publiek erop wijzen dat de CE na 2e = teken komt. Multisymmetry implies that, in CE(CE(A:f1,Ac:g1), …, CE(A:fn,Ac:gn)), (f1, …,fn) and (g1, …,gn) are separable.
f1 f´1 f1 fi c1 c1 f´1 . . . . . . fn f´i fi f´i ci ci f´n . . . . . . f´n fn cn cn 17 Rewriting this separability, with event A fixed as before: Same for Ac. Act-independence (Gul 1992)
or multi-symmetry. 18 Theorem. Assume connected separable product topology. The following two statements are equivalent: (i)Subjective expected utility holds with U continuous. (ii)Four conditions hold: (a) Weak ordering; (b) monotonicity; (c) continuity; (d) act-independence w.r.t. all nontrivial events A.
19 Lemma. Assume weak ordering, monotonicity, a CE for each act. Multi-symmetry for some nontrivial event act-independence for some nontrivial event tradeoff consistency. Proof.
20 Preparatory lemma. Assume that X is a convex set, and assume weak ordering, monotonicities, and mixture independence: f ~ f´ ½f + ½g ~ ½f´ + ½g. Then tradeoff consistency holds. Proof. Assume ~* , i.e. ix ~ iy and ix ~ iy. Twofold mixture-independence: ½ix + ½iy ~ ½iy + ½iy ~ ½iy + ½ix. Monotonicity: ½ + ½ ~ ½ + ½. Likewise, ´ ~* ½´ + ½ ~ ½ + ½. Monotonicity: ~ ´. Tradeoff consistency follows!
f1 f´1 f´1 f´1 f1 a a a b b b ~ g´1 g1 g1 f´i fi . . . . . . c b b b y y x ~ ~ ~ ~ ~ ~ f´n fn x x y c c b f´i f´i fi y ~ ~ and y y y z z z g´i gi gi g´1 g1 . . . . . . ~ g´i gi f´n f´n fn g´n g´n gn gn gn h h ~ h h Similarly, ' ~ ’~* 21 ~* h h h h h g1 f1 g1 f1 f1 . . . . . . g1 g1 g1 f1 f1 h h ~ ~ . . . . . . . . . . . . . . . gn fn h h h h h gn fn ~ ~ and and g1 f1 . . . . . . . . . . . . . . . g1 f1 . . . . . . ~ ~ h h h . . . . . . . . . . . . gn fn gn fn fn gn fn gn gn fn ’~ must be. Tradeoff consistency holds.
22 The preceding results can be derived under comonotonicity, and also when restricted to binary acts, without any complication. The following results, for these contexts, now become corollaries of the above theorems. For risk: • Quiggin (1982) • Chew (1989 unpublished) • Chew & Epstein (1989, JET, regarding their RDU results).
23 For uncertainty Nakamura (1990, 1992). - Gul (1992, JET, “Savage … Finite States”) • Pfanzagl (1959); • Chew & Karni (1994); • Ghirardato & Marinacci (2002, MOR); • Ghirardato, Maccheroni, Marinacci, & Siniscalchi, Proposition 4 (Econometrica, forthcoming). • Only paper with rich outcomes that is not a direct corollary is, to the best of my knowledge, Chateauneuf (1999, JME).
24 • Generalizations of multi-symmetry-based results by means of the above derivation: • Need to consider only one mixing event A, not all. • Don’t need topological separability, can do, even more generally, for solvability. • Need only indifferences, not preferences, in preference conditions.
25 • Arguments in favor of tradeoff techniques: • More intuitive and simple(? matter of taste, Luce disagrees …)Tradeoffs play role in decisions, not meta … • More general mathematically. (Can be used for prospect theory.) • Due to many certainty equivalents, other conditions are harder to test.(Many empirical studies use tradeoff technique, none that I know of uses other techniques.) • (Ad 1): Intuition of other techniques based on (hypothetical) multistage decisions with folding back. Folding back is controversial, and “subjective independence” is hard to justify.