The generalized second-price auction (GSP) is a non-truthful auction mechanism for multiple items. Each bidder places a bid. The highest bidder gets the first slot, the second-highest, the second slot and so on, but the highest bidder pays the price bid by the second-highest bidder, the second-highest pays the price bid by the third-highest, and so on. First conceived as a natural extension of the Vickrey auction, it conserves some of the desirable properties of the Vickrey auction. It is used mainly in the context of keyword auctions, where sponsored search slots are sold on an auction basis. The first analyses of GSP are in the economics literature by Edelman, Ostrovsky, and Schwarz and by Varian. It is used by Google's AdWords technology and Facebook.

Formal model

Suppose that there are n bidders and k < n slots. Each slot has a probability of being clicked of \alpha_i. We can assume that top slots have a larger probability of being clicked, so: We can think of n-k additional virtual slots with click-through-rate zero, so, for k<m \leq n. Now, each bidder submits a bid b_i indicating the maximum they are willing to pay for a slot. Each bidder also has an intrinsic value for buying a slot v_i. Notice that a player's bid b_i doesn't need to be the same as their true valuation v_i. We order the bidders by their bid, let's say: and charge each bidder a price p_i. The price will be 0 if they didn't win a slot. Slots are sold in a pay-per-click model, so a bidder just pays for a slot if the user actually clicks in that slot. We say the utility of bidder i who is allocated to slot i is. The total social welfare from owning or selling all slots is given by: The expected total revenue is given by:

GSP mechanism

To specify a mechanism we need to define the allocation rule (who gets which slot) and the prices paid by each bidder. In a generalized second-price auction we order the bidders by their bid and give the top slot to the highest bidder, the second top slot to the second highest bidder and so on. Then, assuming the bids are listed in decreasing order the bidder bidding b_i gets slot i for. Each bidder winning a slot pays the bid of the next highest bidder, so:.

Non-truthfulness

There are cases where bidding the true valuation is not a Nash equilibrium. For example, consider two slots with and and three bidders with valuations v_1 = 7, v_2 = 6 and v_3 = 1 and bids b_1 = 7, b_2 = 6 and b_3 = 1 respectively. Thus, p_1=b_2=6, and p_2=b_3=1. The utility for bidder 1 is This set of bids is not a Nash equilibrium, since the first bidder could lower their bid to 5 and get the second slot for the price of 1, increasing their utility to.

Equilibria of GSP

Edelman, Ostrovsky and Schwarz, working under complete information, show that GSP (in the model presented above) always has an efficient locally-envy free equilibrium, i.e., an equilibrium maximizing social welfare, which is measured as where bidder i is allocated slot i according to the decreasing bid vector. Further, the expected total revenue in any locally-envy free equilibrium is at least as high as in the (truthful) VCG outcome. Bounds on the welfare at Nash equilibrium are given by Caragiannis et al., proving a price of anarchy bound of 1.282. Dütting et al. and Lucier at al. prove that any Nash equilibrium extracts at least one half of the truthful VCG revenue from all slots but the first. Computational analysis of this game have been performed by Thompson and Leyton-Brown.

GSP and uncertainty

The classical results due to Edelman, Ostrovsky and Schwarz and Varian hold in the full information setting – when there is no uncertainty involved. Recent results as Gomes and Sweeney and Caragiannis et al. and also empirically by Athey and Nekipelov discuss the Bayesian version of the game - where players have beliefs about the other players but do not necessarily know the other players' valuations. Gomes and Sweeney prove that an efficient equilibrium might not exist in the partial information setting. Caragiannis et al. consider the welfare loss at Bayes–Nash equilibrium and prove a price of anarchy bound of 2.927. Bounds on the revenue in Bayes–Nash equilibrium are given by Lucier et al. and Caragiannis et al.

Budget constraints

The effect of budget constraints in the sponsored search or position auction model is discussed in Ashlagi et al. and in the more general assignment problem by Aggarwal et al. and Dütting et al.