Fans economy and all-pay auctions with proportional allocations

Similar documents
Fans economy and all-pay auctions with proportional allocations

On Random Sampling Auctions for Digital Goods

Lecture 10: Mechanism Design

Sequential Bidding in the Bailey-Cavallo Mechanism

Redistribution Mechanisms for Assignment of Heterogeneous Objects

CS 573: Algorithmic Game Theory Lecture date: April 11, 2008

Approximately Revenue-Maximizing Auctions for Deliberative Agents

Lecture 4. 1 Examples of Mechanism Design Problems

The Sample Complexity of Revenue Maximization in the Hierarchy of Deterministic Combinatorial Auctions

Game Theory: Spring 2017

Lecture 6: Communication Complexity of Auctions

CS599: Algorithm Design in Strategic Settings Fall 2012 Lecture 12: Approximate Mechanism Design in Multi-Parameter Bayesian Settings

Game Theory. Monika Köppl-Turyna. Winter 2017/2018. Institute for Analytical Economics Vienna University of Economics and Business

Revenue Maximization via Nash Implementation

Introduction to Auction Design via Machine Learning

Vasilis Syrgkanis Microsoft Research NYC

On Random Sampling Auctions for Digital Goods

Motivation. Game Theory 24. Mechanism Design. Setting. Preference relations contain no information about by how much one candidate is preferred.

The Revenue Equivalence Theorem 1

Solution: Since the prices are decreasing, we consider all the nested options {1,..., i}. Given such a set, the expected revenue is.

On the Complexity of Computing an Equilibrium in Combinatorial Auctions

On the Impossibility of Black-Box Truthfulness Without Priors

Mechanism Design: Bayesian Incentive Compatibility

A Review of Auction Theory: Sequential Auctions and Vickrey Auctions

Ranking Mechanism Design for Price-setting Agents in E-commerce

CS 598RM: Algorithmic Game Theory, Spring Practice Exam Solutions

Revenue Monotonicity in Combinatorial Auctions

Informed Principal in Private-Value Environments

Maximizing Revenue with Limited Correlation: The Cost of Ex-Post Incentive Compatibility

Algorithmic Game Theory and Applications

Maximizing Revenue with Limited Correlation: The Cost of Ex-Post Incentive Compatibility

Multi-object auctions (and matching with money)

Combinatorial Auctions Do Need Modest Interaction

On Random Sampling Auctions for Digital Goods

arxiv: v1 [cs.lg] 13 Jun 2016

CS599: Algorithm Design in Strategic Settings Fall 2012 Lecture 11: Ironing and Approximate Mechanism Design in Single-Parameter Bayesian Settings

Combinatorial Auction-Based Allocation of Virtual Machine Instances in Clouds

University of Warwick, Department of Economics Spring Final Exam. Answer TWO questions. All questions carry equal weight. Time allowed 2 hours.

Mechanisms with Referrals: VCG Mechanisms and Multi-Level Mechanisms

Frugality and Truthfulness in Approximate Mechanism Design

Field Exam: Advanced Theory

Lecture 10: Profit Maximization

On the Competitive Ratio of the Random Sampling Auction

Price of Stability in Survivable Network Design

Algorithmic Game Theory and Economics: A very short introduction. Mysore Park Workshop August, 2012

Msc Micro I exam. Lecturer: Todd Kaplan.

Advanced Microeconomics II

Graph Theoretic Characterization of Revenue Equivalence

Topics of Algorithmic Game Theory

arxiv: v1 [cs.gt] 11 Sep 2017

2 Making the Exponential Mechanism Exactly Truthful Without

Welfare Undominated Groves Mechanisms

Sequential Search Auctions with a Deadline

Expressive Auctions for Externalities in Online Advertising

Exact and Approximate Equilibria for Optimal Group Network Formation

CPS 173 Mechanism design. Vincent Conitzer

Competition relative to Incentive Functions in Common Agency

Game Theory: introduction and applications to computer networks

Randomized Truthful Auctions of Digital Goods are Randomizations over Truthful Auctions

Convergence Rate of Best Response Dynamics in Scheduling Games with Conflicting Congestion Effects

Vickrey Auction. Mechanism Design. Algorithmic Game Theory. Alexander Skopalik Algorithmic Game Theory 2013 Mechanism Design

Tropical Geometry in Economics

Generalizing mechanism design theory to a case where agents types are adjustable

Mechanisms for Multi-Unit Auctions

Mechanisms with Unique Learnable Equilibria

Algorithmic Game Theory Introduction to Mechanism Design

CS364B: Frontiers in Mechanism Design Lecture #2: Unit-Demand Bidders and Walrasian Equilibria

Envy-Free Sponsored Search Auctions with Budgets

Optimal Auctions with Correlated Bidders are Easy

Algorithmic Game Theory. Alexander Skopalik

Game Theory. Lecture Notes By Y. Narahari. Department of Computer Science and Automation Indian Institute of Science Bangalore, India July 2012

Appendix of Homophily in Peer Groups The Costly Information Case

Notes on Mechanism Designy

Second-Price Auctions with Different Participation Costs

Welfare Maximization with Production Costs: A Primal Dual Approach

Vickrey-Clarke-Groves Mechanisms

arxiv: v1 [cs.ai] 22 Feb 2018

Mechanism Design. Christoph Schottmüller / 27

CS599: Algorithm Design in Strategic Settings Fall 2012 Lecture 1: Introduction and Class Overview. Instructor: Shaddin Dughmi

Core-selecting package auctions. Han Dong, Hajir Roozbehani

Negotiation and Take it or Leave it in Common Agency

Two hours UNIVERSITY OF MANCHESTER SCHOOL OF COMPUTER SCIENCE. Date: Thursday 17th May 2018 Time: 09:45-11:45. Please answer all Questions.

Implementability, Walrasian Equilibria, and Efficient Matchings

THEORIES ON AUCTIONS WITH PARTICIPATION COSTS. A Dissertation XIAOYONG CAO

Computationally Feasible VCG Mechanisms

Efficiency Levels in Sequential Auctions with Dynamic Arrivals

MS&E 246: Lecture 18 Network routing. Ramesh Johari

NTU IO (I) : Auction Theory and Mechanism Design II Groves Mechanism and AGV Mechansim. u i (x, t i, θ i ) = V i (x, θ i ) + t i,

A Optimal User Search

Knapsack Auctions. Sept. 18, 2018

Optimized Pointwise Maximization: A Polynomial-Time Method

Combinatorial Agency of Threshold Functions

Game Theory: Lecture 3

Game theory lecture 4. September 24, 2012

NBER WORKING PAPER SERIES PRICE AND CAPACITY COMPETITION. Daron Acemoglu Kostas Bimpikis Asuman Ozdaglar

The Asymmetric Matrix Partition Problem

Welfare Maximization with Friends-of-Friends Network Externalities

Cost of Conciseness in Sponsored Search Auctions

On Revenue Maximization with Sharp Multi-Unit Demands

Distributed Optimization. Song Chong EE, KAIST

Transcription:

Fans economy and all-pay auctions with proportional allocations Pingzhong Tang and Yulong Zeng and Song Zuo Institute for Interdisciplinary Information Sciences Tsinghua University, Beijing, China kenshinping@gmail.com,cengyl3@mails.tsinghua.edu.cn,songzuo.z@gmail.com Abstract In this paper, we analyze an emerging economic form, called fans economy, in which a fan donates money to the host and gets allocated proportional to the amount of his donation (normalized by the overall amount of donation). Fans economy is the major way live streaming apps monetize and includes a number of popular economic forms ranging from crowdfunding to mutual fund. We propose an auction game, coined all-pay auctions with proportional allocation, to model the fans economy and analyze the auction from the perspective of revenue. Comparing to the standard all-pay auction, which normally has no pure Nash-Equilibrium in the complete information setting, we solve the pure Nash-Equilibrium of the APAPA in closed form and prove its uniqueness. Motivated by practical concerns, we then analyze the case where APAPA is equipped with a reserve and show that there might be multiple equilibria in this case. We give an efficient algorithm to compute all equilibria in this case. For either case, with or without reserve, we show that APAPA always extracts revenue that 2- approximates the second-highest valuation. Furthermore, we conduct experiments to show how revenue changes with respect to different reserves. Introduction Lately, there has been a surge of mobile apps focusing on the so-called peer-to-peer live streaming. Prominent examples are MOMO (Nasdaq: MOMO), Periscope, Twitch and Douyu. In essence, such apps can be seen as a social network in which each peer (fan) in the network can watch the live videos shared by another peer (host) he/she follows. A popular host (either commentator or player) on Twitch and Douyu, both of which focus on video games, can gather over a million of fans in a typical game night. What s interesting about this type of apps is the way they monetize. While all such apps can make money via traditional advertisements, a few such apps take the initiative to design monetization mechanisms as follows: the app allows fans to buy and send gifts to the host and then charges a commission proportional to the price of the gift. In return, the app rewards the fan (either by displaying his or her name to the community (i.e., all fans) or designing a virtual badge, Copyright c 206, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved. similar to charity auction (Conitzer and Sandholm 2004; Ghosh and Mahdian 2008) for each gift he or she sends. The fan then derives positive utility for the fraction of community attention he or she gets. This new monetization method has turned out to be very successful and has been witnessed by the recent surge in stock price of MOMO (from 8 dollars per share to 24 dollars per share in the past two months since it switches to this monetization mechanism). The situation above can be modeled as an all-pay auction with proportional allocation (APAPA) in which each bidder (fan) submits a bid (number of gifts he or she buys) to the auctioneer (the app), who allocates one unit of item (community attention) to each bidder proportional to his or her bid. The simple auction game above turns out to be general enough to cover a number of interesting economic scenarios. For example, a major form of crowdfunding (Alaei, Malekian, and Mostagir 206) aims to collect money from crowd in order to achieve a revenue target and if succeed, pay back to each agent an amount proportional to overall profit, to which each agent has a private estimation (type). Clearly, such form of crowdfunding can be conveniently modeled by the APAPA game. Similar example abounds, ranging from buying raffle tickets to mutual funds (Piliavin and Charng 990; Carhart 997). In fact, we are not the first to consider the all-pay auction with proportional allocation. A number of papers (Johari and Tsitsiklis 2004; 2009; Nisan et al. 2007, Chapter 2.2) study APAPA from the point of social welfare. They show that, when each bidder is risk-averse in the sense that he or she has a concave utility function towards proportional allocations, the APAPA has a unique pure Nash equilibrium. Our contribution In this paper, we investigate APAPA from the revenue perspective of the apps. We make the following contribution: We first prove that APAPA has a unique pure Nash equilibrium in closed form, thus generalizes Johari s result Strictly speaking, the fan also derives positive utility for how happier the host becomes because of his or her gifts. Note that this part of utility he or she gets is also proportional to the number of gifts sent. Therefore, it is also compatible with our APAPA model.

(which does not give a closed-form solution) in the linear case. Our proof is notably simple for this special case and may be of independent interest. We then show that, for either case, with or without reserve, the APAPA always extracts revenue that 2- approximates the second highest valuation 2. We notice that, in the case where APAPA has a reserve, there might be multiple equilibria of the auction game. We provide several partial characterizations of the sets of equilibria which then enable an efficient algorithm to find all equilibria of the auction game. Settings In the APAPA, there is a single seller, who has a divisible item for sale, and n bidders, who have linear valuations for receiving a fraction x i [0, ] of the item, i.e., x i, i [n], where R +. The item is allocated to a bidder with a faction equal to its bid over the sum of bids from all bidders, i.e., x i (b,..., b n ) = b i i [n] b, (AL) i where b i R + is the bid of bidder i. Note that the allocation rule (AL) is defined only when i [n]b i > 0. If all the bidders bid 0, we define the allocation to be x i 0 for all i [n]. Throughout this paper, we only consider the case where at least one bidders has non-zero bid. Bidder i s payment is always b i. The utility of bidder i is u i (b i, b i ) = x i (b i, b i ) b i b i = i [n] b b i. (UT) i The seller s revenue is simply the sum of the bids, denoted by S = i [n] b i. Without loss of generality, we assume that v v n 0. A bidding profile (b,..., b n ) is a pure Nash equilibrium (PNE), if i [n], b i R +, u i (b i, b i ) u i (b i, b i ). Thus in any pure Nash equilibrium, u i (b i, b i ) u i (0, b i ) = 0. In other words, any bidder s utility is guaranteed to be non-negative as long as he best responds. Note that for bidders with 0 valuation, their bids must be 0 in any equilibrium, otherwise they will have negative utility. So in the remainder of this paper, we remove all bidders with 0 valuation and assume that v v n > 0. Closed-form pure Nash equilibrium We end this section with the following lemma providing a closed form solution of the unique pure Nash equilibrium of any APAPA, which is critical for our further analysis of revenue. 2 It is worth pointing out that the second highest valuation is a standard benchmark in competitive analysis of complete information settings, cf. (Feige et al. 2005; Alaei, Malekian, and Srinivasan 2009) Lemma. Any APAPA has a unique pure Nash equilibrium. Moreover, it can be expressed in closed form as follows, i S = max i [n] i i b i = max {0, S S2, () }, i [n]. (2) We remark that Johari (Nisan et al. 2007, Ch 2) has an alternative proof of the existence and uniqueness of the pure Nash equilibrium under a more general model but without closed form solution in that more general case (known as proportional allocation mechanism). We will prove this lemma later in the following section when we have enough lemmas as tools. Revenue Guarantee for APAPA From the seller s perspective, a natural question is: How much revenue can APAPA guarantee at the (unique) pure Nash equilibrium? To answer this question, we need a reasonable definition of benchmark for APAPA to compare with. For the complete information setting, it is standard from the digital good literature that v 2, the second largest value, is used as the benchmark for revenue. In this section, we prove our first main result that the revenue of any APAPA is 2-approximation to the benchmark v 2. Theorem. When n 2, the equilibrium revenue of any APAPA is at least v 2 /2. Moreover, the bound is tight, namely, there exists an instance for n 2, such that the revenue of the APAPA equals to v 2 /2 at the unique pure Nash equilibrium. Before proving Theorem, we make a few observations concerning APAPA. Observation. Fix b i, bidder i with bid b i has positive utility if and only if > S. Observation 2. Fix b i, if it is feasible for bidder i to bid b i = S S 2 /, then it is a best response of buyer i. Where a bid is feasible only if it is non-nagative (or no less than the reserve in the next section). Observation 2 follows from the first-order condition that du i db i = (S b i) S 2 = 0. Definition. For each i [n], define S i = i i i Lemma 2. For any k [n], the following three statements are equivalent. ) v k+ S k 2) v k+ S k+ 3) S k+ S k The result also holds if we simultaneously change the signs above to.

Proof. ) 2): 3) 2): v k+ S k+ k v k+ k+ i= k + v k+ k v k+ S k i= k+ S k+ S k (k ) k k i= i= k v k+ v k+ S k For the case of, the proof is similar. k v i= i We now prove Lemma, the close form and the uniqueness of the equilibrium. In the rest of this section, we define k as the minimum number in [n] such that S k = max i [n] S i. Proof of Lemma. Note that the S in Lemma equals to S k First, for all i > k, since S k S k+, by Lemma 2 we have v k+ S k. So b i = max{0, S S 2 / } = 0. If bidder i bids any b > 0, then b + S k >, so the utility of bidder i is b( vi S k +b ) < 0. Hence b i = 0 is a best response for bidder i. For all i k, since S k > S k, from Lemma 2 we get v k > S k, so > S k and thus b i = S S 2 / > 0. It is not hard to check that the sum of bids given in Lemma is S, i.e., i [n] b i = S. By Observation 2 we have that b i is a best response of bidder i. So bidding profile (b,..., b n ) is a pure Nash equilibrium. To prove the uniqueness, we assume by contradiction that there exists another equilibrium, with participants T = {i, i 2,..., i m } [n], i < < i m, and each of them has positive bids in the equilibrium. Note that for any bidder i / T, S must be satisfied, otherwise bidder i can choose b i such that b i + S < and thus gets a positive utility, contradiction. Also note that for any bidder i T, > S must be satisfied by Observation. So we can infer that T = [m], otherwise there exists i, j [n] such that i < j, i / T, j T, which says that S, v j > S. But by definition v j, contradiction. It remains to show the uniqueness of m. For each i T, from Observation 2 we have b i = S S2, i =, 2,..., m. Solve the equations we get S = S m. As v m > S m, by Lemma 2 we get S m < S m, and thus v m S m > S m. Similarly, we get S < < S m. For any i / T, as S m for i = m +,..., i, i i S i = v + + m S m + i m = S m. S m So we conclude that m = k. The uniqueness is proved. Note that S = 0, so k is at least 2. The result shows that, from bidder to bidder n, the bidder participates the game if and only if his participation increases revenue. Proof of Theorem. The revenue S is always at least v 2 /2. S = S k S 2 = v v 2 v + v 2 v 2 2. For instances where v = v 2 and v 3, v 4,..., v n < v 2 /2, the revenue is, S = v v 2 v + v 2 = v 2 2. In fact, the lower bound is reached only on these instances. APAPA with Reserves A common way to boost revenue is to set a reserve price in an auction (Hartline and Roughgarden 2009; Ostrovsky and Schwarz 20; Tang and Sandholm 202). In the APAPA model, the reserves can be easily implemented by deleting any bid less than the reserve. In the fans economy problem, this corresponds the price to buy the cheapest gift. In this section, we show that an appropriately set reserve can increase the revenue, but may lead to multiple equilibria, or no equilibrium at all. We also give an algorithmic characterization of the set of all equilibria. Theorem 2. For APAPA with reserve, given, i [n], all equilibria, if any, can be computed in polynomial time. Throughout this section, we refer r as the reserve. The key reason for multiplicity of PNEs is that now bidders are not allowed to place a bid 0 < b i < r. Changing one s bid from 0 to r may significantly affect the strategies of others, and then in turns changes her own best response constraints. Consider an example where n = 2, v = v 2, and reserve r = v ɛ. Once bidder one bids r, bidder two has no incentive to participate. Similarly if bidder two bids r first, bidder one will not participate. So both (r, 0) and (0, r) are equilibria. To compute the PNEs, one naive algorithm would be to enumerate the sets of bidders bidding 0 and r, and then check if it is a PNE when the rest bidders play their best responses. This naive algorithm is inefficient because one may need to enumerate exponential many possibilities. However, we prove the following set of lemmas that find a monotonicity property of the bidders strategies, thus enabling an efficiently enumeration algorithm. Formally, for any equilibrium B, define T B as the set of bidders whose bids are larger than r, and define R B as the set of bidders whose bids are equal to r. We call them participants of the equilibrium. Bidders that do not belong to T B or R B are not participants. Define S B as the revenue of equilibrium B, from Observation 2, we have For all i T B, > S2 B S B r ; For all i R B, S B < S2 B S B r ;

For all i / T B, i / R B, < S B + r. Lemma 3. For any equilibrium B, there exist k B [n] such that T = {, 2,..., k B }. Proof. We assume by contradiction that there exists i, j such that i < j, i / T B, j T B. So v j > S 2 B /(S B r), < S B +r. But S 2 B /(S B r) > S B +r, it is a contradiction. So i T B if and only if i {, 2,..., k B }. Lemma 4. For any equilibrium B, S B = k B + (k B ) 2 + 4mr k B i= 2 k B. i= Proof. In equilibrium B, For any i T B, by Observation 2, b i = S B S 2 B /. Add the equations together for i =, 2,..., k B, we get S B mr = k B i= b i = k B S B S 2 B k B i= Solve the equation above, we prove the lemma.. The following lemma characterizes an important property for the set of all equilibria. It states that Lemma 5. In the APAPA, for any two equilibria B, B 2, if the number of participants are the same, i.e., T B + R B = T B2 + R B2, then T B = T B2 and R B = R B2. As a corollary, if two equilibria B, B 2 share the same set of participants, i.e., T B R B = T B2 R B2, then B and B 2 are identical. Proof. We assume by contradiction that R B > R B2 (Note that by Lemma 3 T B = T B2 indicates T B = T B2 ). By Lemma 3 it is without loss of generality to assume that B = (b, b 2,..., b k, r, r,..., r), }{{} m B 2 = (b, b 2,..., b k+l, r, r,..., r), }{{} m l where l, m, k Z +, b i, b i > r. On the one hand, we first prove that S B > S B2. Define f(s) = S2 S r. For equilibrium B 2, since b k+l > r, we have v k+l > f(s B2 ), so v k+ v k+l > f(s B2 ). For equilibrium B, we know that v k+ f(s B ) (bidder k + bids r or do not participate. The latter case implies that v k+ S B + r < f(s B )). So f(s B ) > f(s B2 ). Note that f(s) is increasing when S > 2r, so we get S B > S B2. Then we prove that for any i >, 2S B. If > 2S B, from observation 2, b i = S B S2 B > S B S2 B v i 2 S = B 2 S B which implies that b +b 2 > S B, contradiction. So we have 2S B. Similarly 2S B2. Then we prove that for any i >, b i < b i. For any i >, define g(s) = S S2. g(s) is a quadratic function which gets its maximum at S = 2. Since we already have S B > S B2 > 2, we get g(s B ) < g(s B2 ), i.e., b i < b i. On the other hand, for B, from Observation (2), we have k SB 2 = v (S B b ) = v ( b i + mr) (3) Similarly we get k+l SB 2 2 = v ( b i + (m l)r) (4) Since we already have b i < b i, < i k and also note that b i > r, k + i k + l, we get k k+l b i + mr < b i + (m l)r, Put this into (3) and (4) we have S B < S B2, contradiction. So the lemma is proved. Given the value of any subset of bidders, by Lemma 5 there is a unique way partition them into two sets T and R, such that for all i T, > S2 S r and for all i R, S2 S r. (Here we ignore the condition that > S). We introduce Algorithm to find the partition. Lemma 6. Given the valuations of any subset of bidders, Algorithm returns a partition of the bidders into two sets T and R, such that for all i T, > S2 S r and for all i R, S2 S r. Algorithm : Partition Input: U = {v, v 2,..., v n } Output: set T and R : T U,R = 2: for i = n down to do 3: Compute S according to Lemma 4. 4: if > S2 S r or T = then 5: return T,R 6: end if 7: T = T \ {i}, R = R {i} 8: end for Note that the partition given by Algorithm is not enough for finding an equilibrium, since the returned set R includes bidders with value less than S. We need the following Algorithm 2 to check the existence of equilibrium: Lemma 7. Given the value of all bidders, if there is no equilibrium, Algorithm 2 returns No Equilibrium, otherwise Algorithm 2 returns the envy-free equilibrium (see definition 2) with the minimum number of participants (indicates that the revenue is also the minimum among all equilibria).

Definition 2. An equilibrium is envy-free if the value of any participant is no less than the value of any non-participant. Algorithm 2: Finding the Envy-free Equilibrium with the minimum number of participants Input: U = {v, v 2,..., v n } Output: Equilibrium : if v R then 2: return (0, 0,..., 0) 3: end if 4: for i = to n do 5: Partition v,..., by Algorithm to get T and R. 6: Compute S according to Lemma 4. 7: if S then 8: return No Equilibrium 9: end if 0: if i = n or + S + r then : B (b i = S S 2 / i T, b i = r i R, b i = 0 otherwise) 2: return B 3: end if 4: end for To find all envy free equilibria, we can simply modify Algorithm 2 to by letting it continue the for-loop when an equilibrium is found. Proof of Theorem 2. By Lemma 5, fix the number of participants, any equilibrium has the same form to an envy-free equilibrium. Given an envy-free equilibrium B, we can derive all equilibria with the same number of participants as B. We construct an equilibrium B = (b, b 2,..., b n) as follows: For all i such that > S B + r, let b i = b i. Suppose the number of these bidders is m, then these bidders are the first m bidders and they are all participants in B, i.e., m T B + R B. For the remaining n m bidders, define Q as the set of bidders such that for all i Q, S B S B + r. Note that if one of the n m remaining bidders is a participant in B hence his value is no less than S B then he belongs to Q. So, T B + R B m Q. Choose any T B + R B m bidders from Q and set their bids to r in B. For the remaining n T B + R B bidders, set their bids to 0 in B. It is not hard to check that B is also an equilibrium. There are in total ( Q T B + R B m) equilibria derived from B. Revenue Guarantee A natural question is that, as the reserve increases from 0, how does the revenue changes? When r continuously increases from 0, it will first meet a point such that v k = S 2 /(S r) for some bidder k. Then as r continues to increasing, bidder k will bid r to follow, which leads a continuous increasing of the revenue, until r = v k and bidder k will choose to leave, which leads to a suddenly decrease of the revenue. As a result, the shape of the reserve-to-revenue curve should be serrated. At each local optimal, the revenue S = v k is larger than the initial revenue (r = 0). We then prove that the 2-approximation result still holds. Theorem 3. In the APAPA with reserve, the revenue of any equilibrium (if exists) is at least v 2 /2. Proof. We use S to denote the revenue of the equilibrium, k to denote the number of bidders whose bids are large than r, and m to denote the number of bidders whose bids are equal to r. If k >, from Lemma 4 we have S k k i= = S v v 2 v + v 2 2 v 2 k v + v 2 + (k 2) S If k + m > and k, we assume by contradiction that v 2 > 2S, then v 2 > 2S > 4r Since b 2 = r, v 2 S2 S r < 4 v2 2 2 v 2 r This implies that v 2 < 4r, contradiction. It remains to consider the case where only bidder participates, so S = b = r. As bidder 2 does not have any incentive to participate, we have v 2 S + r = 2r, so v 2 2S. To sum up, we prove the lemma. Here we give an example that equilibrium does not exist: suppose n = 2, v > v 2 r, v 2 = 2r + ɛ. If bidder two does not participate, then b = r. Since b + r < v 2, bidder two will choose to participate. But for any b 2 r, now S = v b 2 > v 2, which is not an equilibrium. However it is not hard to check that bidder one always bids v 2 r, and bidder two bids 0 with probability v 2 2/(v r) and bids r with probability v 2 2/(v r), is a mixed Nash equilibrium for this example. (Note that v r v 2 2, it is feasible). As a result, the expected revenue is v 2 r + v 2 2/v > 2 v 2, which is still 2-approximation to the benchmark v 2. Experiments To empirically evaluate how revenue changes as a function of reserve, we simulate a setting with n = 0000 bidders and show how revenue changes as the reserve grows from 0 to a reasonably large price. In particular, we evaluate how the (best equilibrium/worst equilibrium/equilibria on average) revenue varies; how the average number of players (who meet the reserve) at pure Nash equilibria varies.

4.0 Power law distribution.0 Uniform distribution 3.5 0.9 3.0 Revenue 2.5 2.0.5.0 0.5 0.0 no reserve v2 Rev-best Rev-avg Rev-worst 0 2 4 6 8 0 (a) Revenues change as the reserve grows. Revenue 0.8 0.7 0.6 0.5 no reserve v2 Rev-best Rev-avg Rev-worst 0.0 0.2 0.4 0.6 0.8.0 (b) Revenues change rapidly as the reserve grows. 9 Power law distribution 60 Uniform distribution # of players in PNEs 8 7 6 5 4 3 2 # of players in PNEs 40 20 00 80 60 40 20 0 0 2 4 6 8 0 (c) The number of players in PNEs decreases as the reserve grows. 0 0.0 0.2 0.4 0.6 0.8.0 (d) The number of players in PNEs decreases as the reserve grows. Basic setups We run simulations for bidders whose types are i.i.d. sampled from given valuation distributions. Here we consider two different distributions: Power law distribution with α = 7 and v min =, i.e., f power (v) = αv α, v [, + ). [0, ] uniform distribution. Power law distributions (Faloutsos, Faloutsos, and Faloutsos 999; Mitzenmacher 2004; Gabaix 2008) have been used in many situations, such as city populations, incomes, etc., and to model online distributions. In particular, power law distributions is a reasonable distribution for our model. In contrast, for simulations using uniform distributions, they give intuitions on the structural properties of the pure equilibria. In fact, one can observe that when the several highest bids are very close, the revenue curve is very volatile. For each sample (a value profile of n bidders) and reserve price r, we find all the pure Nash equilibria and calculate the best, worst, and average 3 revenue on them and the average number of players (with positive bidders) in these PNEs. We repeat the sampling process for N times and take the average values of the statistics to draw the above charts, 3 By average, we mean average among all the PNEs with uniform weights. where for power law distribution N = 0000 and for uniform distribution N = 000 (since the latter converges fast). Discussions In the figures above, revenue for either distributions increases and decreases periodically. Moreover, each decrease on revenue corresponds to one bidder leaves the auction (bidding 0) due to the increase in reserve. Notably, at almost every peak (local maximum), the revenue is larger than the revenue of APAPA without reserve (dashed yellow line). In particular, the improvements at the last two peaks for power law distribution are quite significant, which suggests that local search is a proper algorithm for revenue maximization in practice. Another observation on the revenue for power law distribution (Fig (a)) is that the revenue variance (difference between the best and worst revenue) is quite small, and converges fast when the reserve price is more than. It suggests that although the APAPA with reserve has many PNEs, the revenue does not vary too much on different PNEs. As we mentioned that revenue decrease corresponds to bidders leaving the auction, which can be verified by combining Fig (a) with Fig (c) (or Fig (b) with Fig (d)). For example, the number of players significantly drops from 2 to when the reserve price grows from.5 to 2, where revenue drops from a local maximum to a local minimum. The fact matches our observation that bidder 2 will not be in the PNE if 2r > v 2, where the mean value of v 2 is around 3.5 as shown in Fig (a).

References Alaei, S.; Malekian, A.; and Mostagir, M. 206. A dynamic model of crowdfunding. In Proceedings of the 206 ACM Conference on Economics and Computation, 363. ACM. Alaei, S.; Malekian, A.; and Srinivasan, A. 2009. On random sampling auctions for digital goods. In Proceedings of the 0th ACM conference on Electronic commerce, 87 96. ACM. Carhart, M. M. 997. On persistence in mutual fund performance. The Journal of finance 52():57 82. Conitzer, V., and Sandholm, T. 2004. Expressive negotiation over donations to charities. In Proceedings of the 5th ACM conference on Electronic commerce, 5 60. ACM. Faloutsos, M.; Faloutsos, P.; and Faloutsos, C. 999. On power-law relationships of the internet topology. In ACM SIGCOMM computer communication review, volume 29, 25 262. ACM. Feige, U.; Flaxman, A.; Hartline, J. D.; and Kleinberg, R. 2005. On the competitive ratio of the random sampling auction. In International Workshop on Internet and Network Economics, 878 886. Springer. Gabaix, X. 2008. Power laws in economics and finance. Technical report, National Bureau of Economic Research. Ghosh, A., and Mahdian, M. 2008. Charity auctions on social networks. In Proceedings of the nineteenth annual ACM-SIAM symposium on Discrete algorithms, 09 028. Society for Industrial and Applied Mathematics. Hartline, J. D., and Roughgarden, T. 2009. Simple versus optimal mechanisms. In Proceedings of the 0th ACM conference on Electronic commerce, 225 234. ACM. Johari, R., and Tsitsiklis, J. N. 2004. Efficiency loss in a network resource allocation game. Mathematics of Operations Research 29(3):407 435. Johari, R., and Tsitsiklis, J. N. 2009. Efficiency of scalar-parameterized mechanisms. Operations Research 57(4):823 839. Mitzenmacher, M. 2004. A brief history of generative models for power law and lognormal distributions. Internet mathematics (2):226 25. Nisan, N.; Roughgarden, T.; Tardos, E.; and Vazirani, V. V. 2007. Algorithmic game theory, volume. Cambridge University Press Cambridge. Ostrovsky, M., and Schwarz, M. 20. s in internet advertising auctions: A field experiment. In Proceedings of the 2th ACM conference on Electronic commerce, 59 60. ACM. Piliavin, J. A., and Charng, H.-W. 990. Altruism: A review of recent theory and research. Annual review of sociology 27 65. Tang, P., and Sandholm, T. 202. Mixed-bundling auctions with reserve prices. In Proceedings of the th International Conference on Autonomous Agents and Multiagent Systems-Volume 2, 729 736. International Foundation for Autonomous Agents and Multiagent Systems.