ABSTRACT
After more than a decade of work in TCS on the computability of market equilibria, complementary pivot algorithms have emerged as the best hope of obtaining practical algorithms. So far they have been used for markets under separable, piecewise-linear concave (SPLC) utility functions [23] and SPLC production sets [25]. Can his approach extend to non-separable utility functions and production sets? A major impediment is rationality, i.e., if all parameters are set to rational numbers, there should be a rational equilibrium.
Recently, [35] introduced classes of non-separable utility functions and production sets, called Leontief-free, which are applicable when goods are substitutes. For markets with these utility functions and production sets, and satisfying mild sufficiency conditions, we obtain the following results:
• Proof of rationality.
• Complementary pivot algorithms based on a suitable adaptation of Lemke's classic algorithm.
• A strongly polynomial bound on the running time of our algorithms if the number of goods is a constant, despite the fact that the set of solutions is disconnected.
• Experimental verification, which confirms that our algorithms are practical.
• Proof of PPAD-completeness.
Next we give a proof of membership in FIXP for markets under piecewise-linear concave (PLC) utility functions and PLC production sets by capturing equilibria as fixed points of a continuous function via a nonlinear complementarity problem (NCP) formulation.
Finally we provide, for the first time, dichotomies for equilibrium computation problems, both Nash and market; in particular, the results stated above play a central role in arriving at the dichotomies for exchange markets and for markets with production. We note that in the past, dichotomies have played a key role in bringing clarity to the complexity of decision and counting problems.
Supplemental Material
- B. Adsul, J. Garg, R. Mehta, and M. Sohoni. Rank-1 bimatrix games: A homeomorphism and a polynomial time algorithm. In STOC, pages 195--204, 2011. Google ScholarDigital Library
- K. Arrow and G. Debreu. Existence of an equilibrium for a competitive economy. Econometrica, 22:265--290, 1954.Google ScholarCross Ref
- A. A. Bulatov. A dichotomy theorem for constraint satisfaction problems on a 3-element set. J. ACM, 53(1):66--120, 2006. Google ScholarDigital Library
- X. Chen. Guest column: Complexity dichotomies of counting problems. ACM SIGACT News, 42(4):54--76, 2011. Google ScholarDigital Library
- X. Chen, D. Dai, Y. Du, and S.-H. Teng. Settling the complexity of Arrow-Debreu equilibria in markets with additively separable utilities. In FOCS, 2009. Google ScholarDigital Library
- X. Chen, X. Deng, and S.-H. Teng. Settling the complexity of computing two-player Nash equilibria. Journal of the ACM, 56(3), 2009. Google ScholarDigital Library
- X. Chen, D. Paparas, and M. Yannakakis. The complexity of non-monotone markets. In STOC, pages 181--190, 2013. Google ScholarDigital Library
- X. Chen and S.-H. Teng. Spending is not easier than trading: on the computational equivalence of Fisher and Arrow-Debreu equilibria. In ISAAC, pages 647--656, 2009. Google ScholarDigital Library
- B. Codenotti, B. McCune, S. Penumatcha, and K. R. Varadarajan. Market equilibrium for ces exchange economies: Existence, multiplicity, and computation. In FSTTCS, pages 505--516, 2005. Google ScholarDigital Library
- B. Codenotti and K. Varadarajan. Computation of market equilibria by convex programming. In N. Nisan, T. Roughgarden, E. Tardos, and V. V. Vazirani, editors, Algorithmic Game Theory, pages 135--158. Cambridge University Press, 2007.Google ScholarCross Ref
- R. Cottle, J. Pang, and R. Stone. The Linear Complementarity Problem. Academic Press, Boston, 1992.Google Scholar
- N. Creignou. A dichotomy theorem for maximum generalized satisfiability problems. J. CSS, 51(3):511--522, 1995. Google ScholarDigital Library
- G. B. Dantzig. Maximization of a linear function of variables subject to linear inequalities. In T. C. Koopmans (ed.), Activity Analysis of Production and Allocation, pages 339--347, 1951.Google Scholar
- C. Daskalakis, P. W. Goldberg, and C. H. Papadimitriou. The complexity of computing a Nash equilibrium. SIAM Journal on Computing, 39(1):195--259, 2009. Google ScholarDigital Library
- G. Debreu. Excess demand functions. Journal of Mathematical Economics, 1:15--22, 1974.Google ScholarCross Ref
- N. Devanur and R. Kannan. Market equilibria in polynomial time for fixed number of goods or agents. In FOCS, pages 45--53, 2008. Google ScholarDigital Library
- N. Devanur, C. H. Papadimitriou, A. Saberi, and V. V. Vazirani. Market equilibrium via a primal-dual algorithm for a convex program. J. ACM, 55(5), 2008. Google ScholarDigital Library
- P. B. Dixon and D. W. J. (editors). Handbook of Computable General Equilibrium Modeling SET, Vols. 1A and 1B. Elsevier, 2013.Google Scholar
- B. C. Eaves. A finite algorithm for the linear exchange model. Cowles Foundation Discussion Paper No. 389, 1975.Google Scholar
- B. C. Eaves. A finite algorithm for the linear exchange model. Journal of Math. Econ., 3:197--203, 1976.Google ScholarCross Ref
- E. Eisenberg and D. Gale. Consensus of subjective probabilities: the Pari-Mutuel method. The Annals of Mathematical Statistics, 30:165--168, 1959.Google ScholarCross Ref
- K. Etessami and M. Yannakakis. On the complexity of Nash equilibria and other fixed points. SIAM Journal on Computing, 39(6):2531--2597, 2010. Google ScholarDigital Library
- J. Garg, R. Mehta, M. Sohoni, and V. V. Vazirani. A complementary pivot algorithm for market equilibrium under separable piecewise-linear concave utilities. In STOC, 2012. Google ScholarDigital Library
- J. Garg, R. Mehta, and V. V. Vazirani. Dichotomies in equilibrium computation, and complementary pivot algorithms for a new class of non-separable utility functions. 2014. Available at: http://www.cc.gatech.edu/~vazirani/LF.pdf.Google ScholarDigital Library
- J. Garg and V. V. Vazirani. On equilibrium computation in markets with production. In SODA, 2014.Google Scholar
- D. S. Hochbaum and J. G. Shanthikumar. Convex separable optimization is not much harder than linear optimization. J. ACM, 37(4):843--862, 1990. Google ScholarDigital Library
- K. Jain. A polynomial time algorithm for computing the Arrow-Debreu market equilibrium for linear utilities. SIAM Journal on Computing, 37(1):306--318, 2007. Google ScholarDigital Library
- V. Klee and G. J. Minty. How good is the simplex algorithm? In (O. Shisha, ed.) Inequalities III, pages 159--175, 1972.Google Scholar
- C. E. Lemke. Bimatrix equilibrium points and mathematical programming. Management Science, 11(7):681--689, 1965.Google ScholarCross Ref
- C. E. Lemke and J. J. T. Howson. Equilibrium points of bimatrix games. SIAM J. on Applied Mathematics, 12(2):413--423, 1964.Google ScholarCross Ref
- R. Mantel. On the characterization of excess demand. J. of Econ. Theory, 7:348--353, 1974.Google ScholarCross Ref
- R. R. Maxfield. General equilibrium and the theory of directed graphs. Journal of Mathematical Economics, 27(1):23--51, 1997.Google ScholarCross Ref
- N. Megiddo. A note on the complexity of P-matrix LCP and computing an equilibrium. IBM Research Report 6439. Available at: http://theory. stanford.edu/megiddo/pdf/plcp.pdf, 1988.Google Scholar
- N. Megiddo and C. H. Papadimitriou. On total functions, existence theorems and computational complexity. TCS, 81(2):317--324, 1991. Google ScholarDigital Library
- R. Mehta and V. V. Vazirani. Leontief-free utility functions and production sets: Applicable when goods are substitutes. Manuscript, 2013.Google Scholar
- M. Minoux. Solving integer minimum cost flows with separable convex cost objective polynomially. Math. Prog. Study, 25:237--239, 1985.Google Scholar
- K. Murota. Submodular ow problem with a nonseparable cost function. Combinatorica, 19(1):87--109, 1999.Google ScholarCross Ref
- K. Murty. Linear Complementarity, Linear and Non-linear Programming. Heldermann Verlag, 1988.Google Scholar
- J. F. Nash. Non-cooperatie games. Annals of Mathematics, 54(2):286--295, 1951.Google ScholarCross Ref
- C. Papadimitriou. On the complexity of the parity argument and other inefficient proofs of existence. JCSS, 48(3):498--532, 1994. Google ScholarDigital Library
- R. Savani and B. von Stengel. Hard-to-solve bimatrix games. Econometrica, 74(2):397--429, 2006.Google ScholarCross Ref
- H. Scarf. The approximation of fixed points of a continuous mapping. SIAM Journal of Applied Mathematics, 15(1):1328--1343, 1967.Google ScholarCross Ref
- H. E. Scarf. Some examples of global instability of competitive equilibria. International Economic Review, 1(3):157--172, 1960.Google ScholarCross Ref
- L. S. Shapley. A note on the Lemke-Howson algorithm. Math. Prog. Study, pages 175--189, 1974.Google ScholarCross Ref
- J. Shoven and J. Whalley. Applying general equilibrium. Cambridge University Press, 1992.Google Scholar
- S. Smale. A convergent process of price adjustment and global newton methods. Journal of Mathematical Economics, 3(2):107--120, 1976.Google ScholarCross Ref
- H. Sonnenschein. Do Walras' identity and continuity characterize the class of community excess demand functions? Journal of Economic Theory, 6:345--354, 1973.Google ScholarCross Ref
- D. A. Spielman and S.-H. Teng. Smoothed analysis: Why the simplex algorithm usually takes polynomial time. JACM, 51(3):385--463, 2004. Google ScholarDigital Library
- M. J. Todd. Orientation in complementary pivot algorithms. Math. OR, 1(1):54--66, 1976.Google ScholarDigital Library
- V. V. Vazirani. Where is the youth of TCS?, 2012. Guest post at Computational Complexity Blog, http://blog.computationalcomplexity.org/2012/12/where-is-youth-of-tcsquestions-on-nash.html.Google Scholar
- V. V. Vazirani. Non-separable, concave utilities are easy -- in a perfect price discrimination market model. SIAM J. Discrete Math, 27(1), 2013.Google ScholarCross Ref
- V. V. Vazirani and M. Yannakakis. Market equilibrium under separable, piecewise-linear, concave utilities. J. ACM, 58(3):10:1--10:25, 2011. Google ScholarDigital Library
- L. Walras. Éléments d'économie politique pure ou théorie de la richesse sociale (Elements of Pure Economics, or the theory of social wealth). Lausanne, Paris, 1874.Google Scholar
- M. Yannakakis. Personal communication, 2013.Google Scholar
Index Terms
- Dichotomies in equilibrium computation, and complementary pivot algorithms for a new class of non-separable utility functions
Recommendations
The complexity of non-monotone markets
STOC '13: Proceedings of the forty-fifth annual ACM symposium on Theory of ComputingWe introduce the notion of non-monotone utilities, which covers a wide variety of utility functions in economic theory. We show that it is PPAD-hard to compute an approximate Arrow-Debreu market equilibrium in markets with linear and non-monotone ...
Auction algorithms for market equilibrium
STOC '04: Proceedings of the thirty-sixth annual ACM symposium on Theory of computingIn this paper we study algorithms for computing market equilibrium in markets with linear utility functions. The buyers in the market have an initial endowment given by a portfolio of items. The market equilibrium problem is to compute a price vector ...
Auction Algorithms for Market Equilibrium
In this paper we study algorithms for computing market equilibrium in markets with linear utility functions. The buyers in the market have an initial endowment given by a portfolio of goods. The market equilibrium problem is to compute a price vector ...
Comments