Algorithmic Game Theory

Along with substantial progress made recently in designing near-optimal mechanisms for multi-item auctions, interesting structural questions have also been raised and studied. In particular, is it true that the seller can always extract more revenue from a market where the buyers value the items higher than another market? In this paper we obtain such a revenue monotonicity result in a general setting. Precisely, consider the revenue-maximizing combinatorial auction for m items and n buyers in the Bayesian setting, specified by a valuation function v and a set F of nm independent item-type distributions. Let REV (v, F) denote the maximum revenue achievable under F by any incentive compatible mechanism. Intuitively, one would expect that REV (v, G) REV (v, F) if distribution G stochastically dominates F. Surprisingly, Hart and Reny (2012) showed that this is not always true even for the simple case when v is additive. A natural question arises: Are these deviations contained within bounds? To what extent may the monotonicity intuition still be valid? We present an approximate monotonicity theorem for the class of fractionally subadditive (XOS) valuation functions v, showing that REV (v, G) cREV (v, F) if G stochastically dominates F under v where c > 0 is a universal constant. Previously, approximate monotonicity was known only for the case n = 1: Babaioff et al. (2014) for the class of additive valuations, and Rubinstein and Weinberg (2015) for all subaddtive valuation functions.

[1]  Walter Stromquist,et al.  Envy-Free Cake Divisions Cannot be Found by Finite Protocols , 2008, Electron. J. Comb..

[2]  Ariel D. Procaccia Cake Cutting Algorithms , 2016, Handbook of Computational Social Choice.

[3]  Oleg Pikhurko On Envy-Free Cake Division , 2000, Am. Math. Mon..

[4]  Junfu Zhang,et al.  A DYNAMIC MODEL OF RESIDENTIAL SEGREGATION , 2004 .

[5]  Evangelos Markakis,et al.  An Improved Envy-Free Cake Cutting Protocol for Four Agents , 2018, SAGT.

[6]  Erel Segal-Halevi,et al.  Waste Makes Haste , 2015, ACM Trans. Algorithms.

[7]  William Vickrey,et al.  Counterspeculation, Auctions, And Competitive Sealed Tenders , 1961 .

[8]  Ran Raz,et al.  A parallel repetition theorem , 1995, STOC '95.

[9]  W. Stromquist How to Cut a Cake Fairly , 1980 .

[10]  Haris Aziz,et al.  A discrete and bounded envy-free cake cutting protocol for four agents , 2015, STOC.

[11]  D. Boneh,et al.  Interactive proofs of proximity: delegating computation in sublinear time , 2013, STOC '13.

[12]  Jack M. Robertson,et al.  Cake-cutting algorithms - be fair if you can , 1998 .

[13]  Simina Brânzei,et al.  A note on envy-free cake cutting with polynomial valuations , 2015, Inf. Process. Lett..

[14]  Ariel D. Procaccia Thou Shalt Covet Thy Neighbor's Cake , 2009, IJCAI.

[15]  Klaus W. Wagner,et al.  Bounded Query Classes , 1990, SIAM J. Comput..

[16]  Steven J. Brams,et al.  Fair division - from cake-cutting to dispute resolution , 1998 .

[17]  Jack M. Robertson,et al.  Near Exact and Envy Free Cake Division , 1997, Ars Comb..

[18]  Yael Tauman Kalai,et al.  Arguments of Proximity - [Extended Abstract] , 2015, CRYPTO.

[19]  Kenji Yasunaga,et al.  Rational Proofs against Rational Verifiers , 2017, IEICE Trans. Fundam. Electron. Commun. Comput. Sci..

[20]  Ariel D. Procaccia,et al.  How to Cut a Cake Before the Party Ends , 2013, AAAI.

[21]  Haris Aziz,et al.  Cake Cutting Algorithms for Piecewise Constant and Piecewise Uniform Valuations , 2013, WINE.

[22]  Robert H. Wilson Incentive Efficiency of Double Auctions , 1985 .

[23]  Mark W. Krentel The Complexity of Optimization Problems , 1986, Computational Complexity Conference.

[24]  D. Koller,et al.  The complexity of two-person zero-sum games in extensive form , 1992 .

[25]  Haris Aziz,et al.  A Discrete and Bounded Envy-Free Cake Cutting Protocol for Any Number of Agents , 2016, 2016 IEEE 57th Annual Symposium on Foundations of Computer Science (FOCS).

[26]  H. Young,et al.  Individual Strategy and Social Structure: An Evolutionary Theory of Institutions , 1999 .

[27]  John H. Reif,et al.  The Complexity of Two-Player Games of Incomplete Information , 1984, J. Comput. Syst. Sci..

[28]  Ulle Endriss,et al.  Sincerity and manipulation under approval voting , 2012, Theory and Decision.

[29]  SU Francisedward RENTAL HARMONY : SPERNER ’ S LEMMA IN FAIR DIVISION , 2000 .