Presentation is loading. Please wait.

Presentation is loading. Please wait.

Algorithmic Game Theory and Internet Computing Vijay V. Vazirani Joint work with Jugal Garg & Ruta Mehta Dichotomies in Equilibrium Computation: Market.

Similar presentations


Presentation on theme: "Algorithmic Game Theory and Internet Computing Vijay V. Vazirani Joint work with Jugal Garg & Ruta Mehta Dichotomies in Equilibrium Computation: Market."— Presentation transcript:

1 Algorithmic Game Theory and Internet Computing Vijay V. Vazirani Joint work with Jugal Garg & Ruta Mehta Dichotomies in Equilibrium Computation: Market Provide a Surprise

2 Equilibrium computation Has its own character, quite distinct from computability of optimization problems

3 Dichotomies Natural equilibrium computation problems exhibit striking

4 2-Nashk-Nash, k>2 Nature of solution Rational Algebraic; Irrational eg : Nash, 1950 ComplexityPPAD - completeFIXP - complete Practical algorithm Lemke - Howson ??

5

6 Arrow-Debreu Model n agents and g divisible goods. Agent i: has initial endowment of goods and a concave utility function (models satiation!)

7 Arrow-Debreu Model n agents and g divisible goods. Agent i: has initial endowment of goods and a concave utility function (piecewise-linear, concave)

8 Agent i comes with an initial endowment

9 At given prices, agent i sells initial endowment

10 … and buys optimal bundle of goods, i.e,

11 Several agents with own endowments and utility functions. Currently, no goods in the market.

12 Agents sell endowments at current prices.

13 Each agent wants an optimal bundle.

14 Equilibrium Prices p s.t. market clears, i.e., there is no deficiency or surplus of any good.

15 Arrow-Debreu Theorem, 1954 Celebrated theorem in Mathematical Economics Established existence of market equilibrium under very general conditions using a deep theorem from topology - Kakutani fixed point theorem.

16 Kenneth Arrow Nobel Prize, 1972

17 Gerard Debreu Nobel Prize, 1983

18 Arrow-Debreu Theorem, 1954 Celebrated theorem in Mathematical Economics Established existence of market equilibrium under very general conditions using a theorem from topology - Kakutani fixed point theorem. Highly non-constructive!

19 Computability of equilibria Walras, 1874: Tanonnement process Scarf, Debreu-Mantel-Sonnenschein, 1960s: Won’t converge! Scarf, Smale, …, 1970s: Many approaches

20 Open problem (2002) Separable, piecewise-linear, concave (SPLC) utility functions

21 Separable utility function

22 utility : piecewise-linear, concave amount of j

23 utility : piecewise-linear, concave amount of j SPLC utility: Additively separable over goods

24 Markets with separable, piecewise-linear, concave utilities Chen, Dai, Du, Teng, 2009:  PPAD-hardness for Arrow-Debreu model Chen & Teng, 2009:  PPAD-hardness for Fisher’s model V. & Yannakakis, 2009:  PPAD-hardness for Fisher’s model

25 Markets with separable, piecewise-linear, concave utilities V. & Yannakakis, 2009: Membership in PPAD for both models.

26 Markets with separable, piecewise-linear, concave utilities V. & Yannakakis, 2009: Membership in PPAD for both models. Indirect proof, using the class FIXP of Etessami & Yannakakis, 2008.

27 Open The definition of PPAD was designed to capture problems that allow for path-following algorithms, in the style of Lemke-Howson and Scarf … It will be interesting to obtain a natural, direct algorithm for this task (hence leading to a more direct proof of membership in PPAD), which may be useful for computing equilibria in practice.

28 Complementary Pivot Algorithms (path-following) Lemke-Howson, 1964: 2-Nash Equilibrium Eaves, 1974: Equilibrium for linear Arrow-Debreu markets (using Lemke’s algorithm)

29 Eaves, 1975 Technical Report: Also under study are extensions of the overall method to include piecewise-linear utilities, production, etc., if successful, this avenue could prove important in real economic modeling. Eaves, 1976 Journal Paper:... Now suppose each trader has a piecewise-linear, concave utility function. Does there exist a rational equilibrium? Andreu Mas-Colell generated a negative example, using Leontief utilities. Consequently, one can conclude that Lemke’s algorithm cannot be used to solve this class of exchange problems.

30 Leontief utility (complementary goods) Utility = min{#bread, 2 #butter} Piecewise-linear, concave: Equilibrium may be irrational!

31 Leontief utility: is non-separable PLC Utility = min{#bread, 2 #butter} Only bread or only butter gives 0 utility

32 Devanur & Kannan, 2007, V. & Yannakakis, 2007: Equilibrium is rational for Fisher and Arrow-Debreu models under SPLC utilities. Using flow-based structure from DPSV. Rationality for SPLC Utilities

33 Theorem (Garg, Mehta, Sohoni & V., 2012): Complementary pivot (path-following) algorithm for Arrow-Debreu markets under SPLC utilities. Membership in PPAD, using Todd, 1976. Algorithm is simple, no stability issues, & is practical.

34 Experimental Results Inputs are drawn uniformly at random. |A|x|G|x#Seg#InstancesMin ItersAvg ItersMax Iters 10 x 5 x 210005569.591 10 x 5 x 51000130154.3197 10 x 10 x 5100254321.9401 10 x 10 x 1050473515.8569 15 x 15 x 1040775890.5986 15 x 15 x 15512031261.31382 20 x 20 x 510719764853 20 x 20 x 10510931143.81233

35 log(total no. of segments) log(no. of iterations)

36 SPLC Utilities Rest Nature of solution Rational Algebraic; Irrational e.g.: Mas-Colell, 1976 ComplexityPPAD - completeIn FIXP FIXP-hardness ? Practical algorithm GMSV, 2012 (Lemke-based) ??

37 Eaves, 1975 Technical Report: Also under study are extensions of the overall method to include piecewise-linear utilities, production, etc., if successful, this avenue could prove important in real economic modeling. Main general class of markets still unresolved.

38 Eaves, 1975 Technical Report: Also under study are extensions of the overall method to include piecewise-linear utilities, production, etc., if successful, this avenue could prove important in real economic modeling. Main general class of markets still unresolved. So far, no works exploring rationality …

39 Garg & V., 2013: SPLC Production: 1 finished good from 1 raw good, e.g., bread from wheat or corn. Total is additive.  LCP and complementary pivot algorithm  PPAD-complete  Rationality Non-separable PLC Production: From 2 or more raw goods: irrational!

40 SPLC Production Rest Nature of solution Rational Algebraic; Irrational e.g.: GV, 2013 ComplexityPPAD - completeIn FIXP FIXP-hardness ? Practical algorithm GV, 2013 (Lemke-based) ??

41 Separable vs non-separable This dichotomy arises in several places, e.g., concave flows.

42

43 Leontief-Free Utilities and Production!!

44

45 utility amount of crème brulee

46

47 utility amount of chocolate cake

48 Utilities of Crème Brulee and Chocolate Cake are not additively separable -- both satiate desire for dessert! Joint utility should be sub-additive

49 Capture via non-separable utilities! This non-separability is very different from that of Leontief utilities. Leontief: goods are complements Here: goods are substitutes

50 Garg, Mehta & V, 2013: Leontief-free utility functions Both are subclasses of PLC utilities, with no known generalization to differentiable, concave utilities.

51 Leontief utility Every bit of utility comes from all goods in appropriate proportions.

52 Leontief-free utility Every bit of utility comes from exactly one good. A specified set of goods competes for it, via mechanism of segments.

53 Segment An upper bound on utility allowed. A set of goods, with rate (utility/unit) for each good.

54 utility SPLC utilities are Leontief-free amount of j

55 Segments of an SPLC utility function Segment = a piece of some Set of goods = { j } Upper bound on utility = upper bound of piece Rate = slope of piece

56

57 Segments of a Leontief-free utility fn.

58

59 Leontief-free utility function

60 SPLC Utilities Rest Nature of solution Rational G MV, 2013 Algebraic; Irrational e.g.: Mas-Colell, 1976 ComplexityPPAD - complete GMV 2013 In FIXP FIXP-hardness ? Practical algorithm GMV, 2013 (Lemke-based) ?? Leontief-Free

61 Practical applications In pricing a new good, need to compare to substitutes.

62 Adding one Leontief-type constraint … … can lead to irrationality! Utility = min{#bread, 2 #butter}

63 Leontief-free production Garg, Mehta & Vazirani, 2013: full-fat milk + 2% milk yogurt + ice cream

64 SPLC Production Rest Nature of solution Rational GMV, 2013 Algebraic; Irrational e.g.: GMV, 2013 ComplexityPPAD - complete GMV, 2013 In FIXP FIXP-hardness ? Practical algorithm GMV, 2013 (Modified Lemke) ?? Leontief-Free

65 SPLC  Leontief-free In other contexts, e.g., algorithms for concave flows.

66

67 Are Leontief-free utilities sound from the viewpoint of economics?

68 Satiation (extreme cases) Intra-good:  No satiation: is linear  Max satiation: is 1-piece PLC

69 amount of good j

70 Satiation (extreme cases) Intra-good:  No satiation: is linear  Max satiation: is 1-piece PLC Inter-good: What does joint utility “look like” in extreme cases?

71 Consistent function

72

73

74 3 easy situations

75 1).

76 The best substitute for Crème Brulee is …

77

78 1).

79 a crème brulee b chocolate cake 2).

80 a crème brulee b chocolate cake 2).

81 a crème brulee b chocolate cake 2).

82 utility For a fixed bundle with > 1 good amount of good j 3).

83 utility For a fixed bundle amount of good j 3).

84 utility For a fixed bundle amount of good j 3).

85

86

87

88 amount of good

89 Total amount of good corres. to partitions If this holds for all goods, then t is feasible for x.

90

91

92 Hicks, 1932: Constant elasticity of substitution (CES) Utility functions and production sets.

93 Hicks, 1932: Constant elasticity of substitution (CES) Utility functions and production sets. Differences:  Highly specialized  Constant returns to scale  Differentiable

94 Complements vs Substitutes

95 Why found so late? Why in TCS?

96 Linear Complementarity Problem & Complementary Pivot Algorithms

97


Download ppt "Algorithmic Game Theory and Internet Computing Vijay V. Vazirani Joint work with Jugal Garg & Ruta Mehta Dichotomies in Equilibrium Computation: Market."

Similar presentations


Ads by Google