Budgets play a significant role in real-world sequential auction markets such as those implemented by internet companies. To maximize the value provided to auction participants, spending is smoothed across auctions so budgets are used for the best opportunities. Motivated by a mechanism used in practice by several companies, this paper considers a smoothing procedure that relies on {\em pacing multipliers}: on behalf of each buyer, the auction market applies a factor between 0 and 1 that uniformly scales the bids across all auctions. Reinterpreting this process as a game between buyers, we introduce the notion of {\em pacing equilibrium}, and prove that they are always guaranteed to exist. We demonstrate through examples that a market can have multiple pacing equilibria with large variations in several natural objectives. We show that pacing equilibria refine another popular solution concept, competitive equilibria, and show further connections between the two solution concepts. Although we show that computing either a social-welfare-maximizing or a revenue-maximizing pacing equilibrium is NP-hard, we present a mixed-integer program (MIP) that can be used to find equilibria optimizing several relevant objectives. We use the MIP to provide evidence that: (1) equilibrium multiplicity occurs very rarely across several families of random instances, (2) static MIP solutions can be used to improve the outcomes achieved by a dynamic pacing algorithm with instances based on a real-world auction market, and (3) for the instances we study, buyers do not have an incentive to misreport bids or budgets provided there are enough participants in the auction.
翻译:预算在现实世界连续拍卖市场(如互联网公司实施的拍卖市场)中起着重要作用。为了最大限度地提高拍卖参与者获得的价值,在拍卖参与者之间实现支出平滑,以便让预算用于最佳机会。在几个公司实际使用的机制的激励下,本文认为一个依靠[它们节拍乘数 的平滑程序:拍卖市场代表每个买主适用一个0到1之间的因素,将所有拍卖的标价统一地标。重新将这一过程解释为买方之间的一种游戏,我们引入了向拍卖参与者提供快速平衡的概念,并证明它们总是有保证存在。我们通过实例表明,市场可以有多重的平和平衡,而在若干自然目标上存在很大的差异。我们表明,平滑的平滑程序可以改进另一种流行的解决方案概念,竞争性的平衡,并显示两个解决方案概念之间的进一步联系。虽然我们表明,计算一种社会福利最大化的或收入最大化的平衡是硬的,我们提出一种不固定的汇率,我们没有保证它们存在这种平衡。我们通过一种混合的汇率程序来证明一个动态的流程。 我们使用一个动态的货币交易的模型,可以用来在多个市场中提供一种最接近的结果。