This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

Bidding in Uniform Price Auctions for Value Maximizing Buyers

Negin Golrezaei  and Sourav Sahoo Sloan School of Management, Massachusetts Institute of Technology. Email: [email protected]Operations Research Center, Massachusetts Institute of Technology. Email: [email protected]
Abstract

We study the problem of bidding in uniform price auctions, a widely used format in Treasury auctions, emissions permit auctions, and energy markets. Although uniform price auctions are non-truthful for bidders with quasilinear utility functions, several empirical findings suggest that this auction format induces truthful bidding from the bidders. We attribute this difference in theory and practice to the assumption of the behavioral model of the bidders. In this pursuit, we study uniform price auctions in a repeated setting from the perspective of a single value-maximizing buyer who aims to maximize their acquired cumulative value across TT rounds, subject to per-round return-on-investment (RoI) constraints. For a RoI-constrained and value-maximizing buyer, we study a generalized version of the uniform bidding format, commonly used in practice, which we term as mm-uniform bidding. Under mm-uniform bidding, the buyer submits mm pairs of bid and quantity values (bi,qi)(b_{i},q_{i}), demanding qiq_{i} units at bid bib_{i}. To characterize the optimal mm-uniform bid, we introduce and study the notion of universally feasible (UF) bidding policies, which are robust, meaning that RoI feasibility is obtained regardless of the competitors’ bids. We show that the optimal class of UF bidding policies is essentially a generalization of truthful bidding policies, which depends only on the valuation curve of the bidder and target RoI, irrespective of the bids submitted by competitors. To measure the performance of UF bidding policies against the optimal bidding policy that is not necessarily UF, we introduce a metric called the Price of Universal Feasibility (PoUF) and establish that PoUF is at most 2, irrespective of mm, and show that the upper bound is tight. We further compare the generalized mm-uniform bidding interface against the classical uniform bidding format under which m=1m=1, showing the total value under mm-uniform bidding increases at most by a factor of mm. Numerical simulations on semi-synthetic data demonstrate that UF bidding policies perform significantly better than the derived theoretical bounds, and this, combined with their straightforward characterization, makes them highly appealing in practice.

1 Introduction

We study uniform price auctions, a widely adopted multi-unit auction format in various domains, including Treasury auctions, emissions permit auctions, and energy markets. In this auction, the auctioneer offers KK identical units of a commodity to a group of buyers (bidders), each of whom may demand multiple units. The auctioneer collects bids from the participants, allocates the KK units to the KK highest bids, and determines the per-unit auction clearing price, denoted as pp, by setting it equal to the KthK^{th} highest bid.

The practical appeal of this auction format often stems from a few key aspects: (i) its equitable pricing, as the per-unit price remains the same among all successful bids (which is also necessary in certain cases since antitrust laws prohibit price discrimination in wholesale markets (Cramton and Stoft, 2006)), (ii) reduction in market manipulation (Chari and Weber, 1992), and (iii) the perception of simplified (truthful) bidding strategies (Friedman, 1959; Kahn et al., 2001; Klemperer, 2009). While the first two assertions hold true, the last claim does not align with the classical quasilinear utility behavior of bidders under which uniform price auctions are known to be non-truthful. Hence, bidders are susceptible to demand reduction (Milgrom, 2004) and are more likely to bid strategically. However, several empirical studies on bidding behaviors in uniform price auctions indicate that the format induces truthful bidding (Cason and Plott, 1996; Hailu and Thoyer, 2010) and suppresses demand reduction in the presence of a large number of bidders (Engelbrecht-Wiggans et al., 2006). These empirical findings suggest that the conventional model of bidders’ behavior is not entirely applicable in this context.

Traditional mechanism design has primarily focused on the agents whose utilities are quasilinear in their payments, i.e., an agent’s utility linearly decreases in its payments. However, in several practical scenarios, agents deviate significantly from such behavior. Such deviations may arise because agents can have different disutility of the money spent, budget, or return-on-investment (RoI) constraints. A particular category of non-quasilinear agents is value maximizers. As the name suggests, these agents aim to maximize the value obtained in auctions subject to performance constraints (such as RoI), resource constraints (such as budgets), or a combination of both. See Section 1.3 for more details.

There are several contexts in which it is prudent to consider agents as value maximizers instead of classical utility maximizers. For example, in microeconomic consumer choice theory, individuals aim to maximize the value function (in consumer theory, the term utility function is used instead of value function) subject to budget constraints (Mas-Colell et al., 1995, pp. 50). The concept of value maximization has also gained considerable attention in recent times, particularly in the realm of online advertising markets (for related citations, see Deng et al. (2020); Lucier et al. (2023); Balseiro et al. (2021a); Deng et al. (2023b)). Here, advertisers strive to maximize their total value, such as the number of clicks, while ensuring the average cost per click remains below a specified threshold.

We aim to leverage the notion of value maximizers to understand bidders’ behavior in uniform price auctions. Formally, we posit that bidders in a uniform price auction aim to acquire the most value while adhering to certain (soft) financial constraints. As we will explain in more detail later, under this model, optimal bidding strategies for bidders possess a straightforward structure that can be regarded as an extension of truthful bidding, thereby confirming the prevailing perceptions of this auction format.

Bidding for Value Maximizing Buyers. In this work, as one of our modeling contributions, we consider a repeated setting where in each round t[T]t\in[T], a uniform price auction with KK units is conducted. In this context, we study the bidding problem from the perspective of a single bidder who aims to maximize their cumulative value over TT rounds, subject to per-round RoI constraints, in which the ratio of per-unit acquired value to per-unit price should exceed a certain constant, referred to as the “target RoI”.

Refer to caption
Figure 1: Bidding Interface for submitting one bid-quantity pair in NZ ETS Auctions. To submit mm bid-quantity pairs, the bidder needs to repeat the process mm times. See more details at https://www.etsauctions.govt.nz/public/training/participate.

Practical Bidding Interface: mm-Uniform Bidding. With the objective of addressing practical bidding interfaces, where each bidder submits a limited number of bid-quantity pairs rather than a separate bid for each unit demanded (as illustrated in Fig. 1 for the New Zealand Emissions Trading Scheme (NZ ETS)), we study a generalized version of the uniform bidding format (De Keijzer et al., 2013; Birmpas et al., 2019) which we term as mm-uniform bidding. In mm-uniform bidding, denoted as 𝐛:=(b1,q1),,(bm,qm)\mathbf{b}:=\langle(b_{1},q_{1}),\dots,(b_{m},q_{m})\rangle with b1>b2>>bmb_{1}>b_{2}>\ldots>b_{m}, bidders bid b1b_{1} for the first q1q_{1} units, b2b_{2} for the next q2q_{2} units, and so on.

Optimal Bidding Policies: Generalizing Truthful Bidding. Under this practical bidding format, we aim to characterize an optimal class of (value-maximizing) RoI-feasible mm-uniform bidding policies. Within this class, we require the policies to be universally feasible (UF); see Definition 2. Under a UF policy, RoI feasibility is maintained even under arbitrary competing bids, providing robustness to the bidding strategy. In sealed bid auctions, where individual bid data is kept private, such a property is essential for formulating feasible bids with limited information about competitors. Furthermore, it is also necesssary for designing online learning algorithms, ensuring that bidders can submit RoI-feasible bids without knowledge of competitors’ bids. See Section 7 for more details.

1.1 Our Contributions

Optimal Universally Feasible Class of Bidding Policies. In Section 4, as our first result, we show that the optimal class of UF bidding policies, denoted by 𝒫m\mathcal{P}_{m}^{\star}, can be viewed as a natural extension of truthful bidding, depending only on the bidder’s valuation vector [v1,v2,,vK][v_{1},v_{2},\ldots,v_{K}] with diminishing returns (i.e., v1v2vKv_{1}\geq v_{2}\geq\ldots\geq v_{K}) and target RoI, γ\gamma:

Theorem 1.1 (Informal: Generalized Truthful Bidding).

Let 𝐛=(b1,q1),,(bm,qm)\mathbf{b}=\langle(b_{1},q_{1}),\dots,(b_{m},q_{m})\rangle be a mm-uniform bidding policy, and define Q=j=1qjQ_{\ell}=\sum_{j=1}^{\ell}q_{j}, [m]\ell\in[m], as the maximum number of demanded units in the first \ell bid-quantity pairs. The optimal UF class of all kk-uniform bidding policies, where k[m]k\in[m], denoted by 𝒫m\mathcal{P}_{m}^{\star}, is given by:

𝒫m={𝐛=(b1,q1),,(bk,qk):b=wQ1+γ,[k],k[m]}.\displaystyle\mathcal{P}_{m}^{\star}=\Big{\{}\mathbf{b}=\langle(b_{1},q_{1}),\dots,(b_{k},q_{k})\rangle:b_{\ell}=\frac{w_{Q_{\ell}}}{1+\gamma},\forall\ell\in[k],\forall k\in[m]\Big{\}}\,.

Here w=1j=1vjw_{\ell}=\frac{1}{\ell}\sum_{j=1}^{\ell}v_{j} is the average per-unit value of the first \ell units.

The theorem demonstrates that once the bidder determines the quantities q1,,qmq_{1},\ldots,q_{m}, the best action is to submit wQ1/(1+γ)w_{Q_{1}}/(1+\gamma) as the first bid, which represents the normalized average per-unit value of the first Q1=q1Q_{1}=q_{1} units. Subsequently, for the second bid, one should submit wQ2/(1+γ)w_{Q_{2}}/(1+\gamma), which is the normalized average per-unit value of the first Q2=q1+q2Q_{2}=q_{1}+q_{2} units, and so forth. This theorem, which further emphasizes the nested structure within the optimal UF bidding policies as illustrated in Figure 2, reinforces the conventional wisdom that bidding in uniform price auctions should follow a truthful pattern. Specifically, the optimal UF class of bidding policies depends solely on the valuation vector [v1,,vK][v_{1},\ldots,v_{K}] and γ\gamma.

v1v_{1}v2v_{2}v3v_{3}v4v_{4}v5v_{5}v6v_{6}v7v_{7}v8v_{8}v9v_{9}v10v_{10}w3/(1+γ){w_{3}}/{(1+\gamma)}w7/(1+γ){w_{7}}/({1+\gamma})w9/(1+γ){w_{9}}/{(1+\gamma)}
Figure 2: In the figure, we highlight the nested structure of the bidding policies in 𝒫m\mathcal{P}_{m}^{\star}. Suppose that K=10K=10 and m=3m=3. Consider the nested bidding policy 𝐛=(w31+γ,3),(w71+γ,4),(w91+γ,2)𝒫m\mathbf{b}=\left\langle\left(\frac{w_{3}}{1+\gamma},3\right),\left(\frac{w_{7}}{1+\gamma},4\right),\left(\frac{w_{9}}{1+\gamma},2\right)\right\rangle\in\mathcal{P}_{m}^{\star}, where we note that Q1=3Q_{1}=3, Q2=3+4=7Q_{2}=3+4=7 and Q3=3+4+2=9Q_{3}=3+4+2=9. The jthj^{th} highest bid (i.e., bjb_{j}) is the average of the first QjQ_{j} coordinates of the value vector (scaled by (1+γ)(1+\gamma)).

Price of Universal Feasibility (RoI-Robustness). To characterize the optimal bidding policies, we enforce the desirable property of the bidding policies being UF. This leads to robust bidding policies that are RoI feasible regardless of the competing bids. However, one might be curious about the cost incurred when enforcing the bidding policies to be UF. In Section 5, we quantify this cost by introducing a concept called the price of universal feasibility, which is the maximum ratio of the value obtained by an optimal bidding policy that is not necessarily UF to the value of the optimal UF bidding policy. We show that:

Theorem 1.2 (Informal: Price of Universal Feasibility).

The price of universal feasibility is upper bounded by 22, and this bound is tight.

Generalized mm-Uniform Bidding versus Classical Uniform Bidding (with m=1m=1). In  Section 6, we study the impact of generalizing the classical uniform bidding format, where the bidder submits a single pair of bid and quantity. It is evident that by increasing the number of bid-quantity pairs, as done in mm-uniform bidding, one anticipates an increase in the bidder’s obtained value. In this work, we characterize this gain and show that, in the best case, the value can exhibit linear growth with respect to mm. The main result of this section is:

Theorem 1.3 (Informal: mm-Uniform Bidding versus Classical Uniform Bidding).

For any m>1m>1, the ratio of the optimal value under the optimal mm-uniform bidding to that under the classical uniform bidding (with m=1m=1) is upper-bounded by mm, and this bound is tight.

Discussion on Learning to Bid. In Section 7, we discuss how the bidder can identify the optimal (value-maximizing) bidding policy within the class 𝒫m\mathcal{P}_{m}^{\star}. For a constant mm, off-the-shelf no-regret online learning algorithms can help identify the optimal policy efficiently. However, such methods can become computationally intractable for a large value of mm. To this end, we also propose an efficient (polynomial time) method for identifying an (11/e)(1-1/e)-approximate solution by leveraging the structure of the bidding policies.

Numerical Simulations. In Section 8, we conduct numerical simulations on semi-synthetic data generated from aggregate statistics of the past EU ETS auctions. We observe that the UF bidding policies perform significantly better in practice than the theoretical bounds presented in Section 5 and Section 6. These experiments suggest that bidders can obtain near-optimal performance (in terms of obtained value) while adhering to simple UF bidding strategies in uniform price auctions.

1.2 Key Technical Challenges

The core challenge in our work stems from the interdependence of the values obtained by the constituent bid-quantity pairs in a mm-uniform bidding policy. Recall that a mm-uniform bidding policy consists of mm bid-quantity pairs of the form (bi,qi)(b_{i},q_{i}). In the considered setting, the values obtained by the individual bid-quantity pairs in the bidding policy are interdependent; i.e., even for a fixed competing bid profile, the value obtained by any bid-quantity pair (bj,qj)(b_{j},q_{j}) depends on the remaining m1m-1 bid-quantity pairs in the policy. As a key technical contribution (see Lemma 3 and a stronger version in Lemma 8), we show that the value obtained by a mm-uniform RoI feasible bid (see definition in Section 2.1) can be expressed as the maximum of the value obtained by mm independent 1-uniform feasible bids (bj,qj)(b_{j}^{\prime},q_{j}^{\prime}). This result decouples the dependency equipping us to approximate the value obtained by the optimal mm-uniform UF policy using 1-uniform UF policies as components; which is crucial for establishing the upper bounds in Section 5 and Section 6. In Section 7, we utilize it to learn an efficient approximate optimal solution in the online setting.

The second key challenge lies in obtaining matching lower bounds for Theorem 1.2 and Theorem 1.3 (formally stated as Theorem 5.2 and Theorem 6.1 respectively). Formally, to demonstrate that the ratio obtained for a problem instance is within an interval of a (small) δ\delta from the upper bound, we need to consider a problem instance with T=Θ(1/δm)T=\Theta(1/\delta^{m}) auctions, each selling K=Θ(1/δm)K=\Theta(1/\delta^{m}) units. As the number of auctions and the number of bidding policies become exponentially large in mm, the construction of the problem instance and its analysis are quite non-trivial. The construction of the problem instance crucially leverages the result describing the value obtained by 1-uniform bids when compared with the optimal bidding policy (see Lemma 9 for the result and, Section B.2 and Section B.3 for the construction of the problem instances).

1.3 Related Work

Value Maximizers and RoI Constraints. The concept of agents as value maximizers within financial constraints is a well-established notion in microeconomic theory (Mas-Colell et al., 1995, pp. 50). In mechanism design literature, one of the earliest explorations of value-maximizing agents was conducted by Wilkens et al. (2016). Their work primarily delved into the single-parameter setting, characterizing truthful auctions for value maximizers. Similarly, Fadaei and Bichler (2016) studied revenue-maximizing mechanisms in combinatorial markets tailored for such agents.

In recent years, there has been a surge of interest in RoI-constrained value maximizers, particularly in the realms of autobidding and online advertising (Aggarwal et al., 2019; Balseiro et al., 2021a; Deng et al., 2021; Balseiro et al., 2021b, 2022; Deng et al., 2023a, b; Golrezaei et al., 2023; Liaw et al., 2023). See Golrezaei et al. (2021c) as one of the earliest studies on auction design for RoI-constrained buyers, validating such soft financial constraints using data from online advertising auctions.

Our contribution to this body of research lies in the study of value-maximizing buyers in uniform price auctions under RoI constraints. We demonstrate that these buyers can effectively employ nested bidding strategies that depend only on their valuation vector.

Combinatorial Auctions. Our research contributes to the extensive body of literature concerning combinatorial auctions, as evidenced by works by De Vries and Vohra (2003); Pekeč and Rothkopf (2003); Blumrosen and Nisan (2007); Palacios-Huerta et al. (2022). In this work, we focus on auctions for identical goods, which find widespread application in various practical scenarios, including Treasury auctions (Garbade and Ingber, 2005; Binmore and Swierzbinski, 2000; Nyborg et al., 2002), procurement auctions (Cramton and Ausubel, 2006), wholesale electricity markets (Tierney et al., 2008; Fabra et al., 2006), and emissions permit auctions (Goulder and Schein, 2013; Schmalensee and Stavins, 2017; Goldner et al., 2020). Several works have focused on designing truthful multi-unit auctions (in a utility-maximizing sense) that achieve a good approximation of social welfare and/or revenue (Dobzinski and Nisan, 2015; Dobzinski and Leme, 2014; Borgs et al., 2005). Our work contributes to this literature by studying uniform price auctions from the perspective of bidding algorithms for value-maximizing buyers.

Bidding in Auctions and Auction Parameter Optimization. Traditionally, the problems of bidding in auctions and refining auction parameters have been studied under Bayesian settings (Myerson, 1981; Hartline and Roughgarden, 2009; Beyhaghi et al., 2021; Riley and Samuelson, 1981). However, any bidder rarely has an exact characterization of the private valuations (or other parameters) of its competitors (Wilson, 1985). Consequently, in recent years, there has been a growing interest in studying these problems under data-driven settings, for both offline and online contexts. Examples include Sandholm (2003) for automated mechanism design using valuation samples, Roughgarden and Wang (2019); Derakhshan et al. (2022, 2021); Golrezaei et al. (2021a) for using offline or online data to set reserve prices in VCG auctions, Balseiro et al. (2019) for online problems in bidding in first-price auctions, and Golrezaei et al. (2021b) for optimizing boost values of boosted second-price auctions using historical auction bids.

In this line of work, the closest to our work is by Brânzei et al. (2023a); Galgana and Golrezaei (2023). They designed the optimal bidding algorithms for agents with quasilinear utilities in multi-unit uniform price and pay-as-bid auctions on the offline data and leveraged these offline algorithms to obtain their online counterparts with no-regret property. In our work, as one of our focus, we also design an optimal class of bidding policies in multi-unit uniform price auctions. However, as the main difference, we focus on value-maximizing RoI-constrained buyers.

2 Model

We consider uniform price multi-unit auctions for identical items. There are nn buyers (bidders) indexed by i[n]i\in[n], and KK identical items. Each bidder ii has a fixed private value for each of the items, denoted by 𝐯i0K\mathbf{v}_{i}\in\mathbb{R}^{K}_{\geq 0}. The valuations are assumed to be diminishing across the items, i.e., vi,1vi,2vi,Kv_{i,1}\geq v_{i,2}\geq\dots\geq v_{i,K}. The maximum total demand, denoted by M¯[K]\overline{M}\in[K], is then defined as min{j[K1]:vj+1=0}\min\{j\in[K-1]:v_{j+1}=0\}. If such an index does not exist, we set M¯\overline{M} as KK. For each bidder ii with valuation vector 𝐯i=[vi,1,vi,2,,vi,K]\mathbf{v}_{i}=[v_{i,1},v_{i,2},\dots,v_{i,K}], we define an average cumulative valuation vector as follows

𝐰i=[wi,1,wi,2,,wi,K],wherewi,j=1jjvi,,j[K].\displaystyle\mathbf{w}_{i}=[w_{i,1},w_{i,2},\dots,w_{i,K}],\quad\text{where}~{}~{}~{}w_{i,j}=\frac{1}{j}\sum_{\ell\leq j}v_{i,\ell},\hfill\forall j\in[K]\,. (1)

As vi,1vi,2vi,Kv_{i,1}\geq v_{i,2}\geq\dots\geq v_{i,K}, we also have wi,1wi,2wi,Kw_{i,1}\geq w_{i,2}\geq\dots\geq w_{i,K}.

2.1 Uniform Price Auctions and Bidders’ Behaviour

Auction Format. Each bidder ii submits a bid vector 𝐛0M¯\mathbf{b}\in\mathbb{R}^{\overline{M}}_{\geq 0}. The bids submitted by other bidders are denoted as 𝜷i\bm{\beta}_{-i}, and we define 𝜷:=(𝐛,𝜷i)\bm{\beta}:=(\mathbf{b},\bm{\beta}_{-i}).

  • Allocation Rule. The auctioneer collects the bids from all the bidders, sorts the bids in non-increasing order, and allocates items to the bidders with the top KK bids. That is, if bidder ii has jj bids in the top KK positions, they are allocated jj items. We assume that the bidders submit bids from a continuous space; hence, there are no ties almost surely.

  • Payment Rule. The auctioneer follows the last-accepted-bid (LAB) payment rule (bidders pay the KthK^{th} highest bid per unit). An alternative pricing rule is the first-rejected-bid (FRB) payment rule (agents pay the (K+1)th(K+1)^{th} highest bid per unit). The per-unit price is also referred to as the clearing price. In this work, we primarily focus on the LAB payment rule as it is more common in practice and has more appealing properties (see Brânzei et al. (2023a)), but the results can be extended for the FRB payment rule with careful modifications.

For a bid profile let 𝜷\bm{\beta}, xi(𝜷)x_{i}(\bm{\beta}) and p(𝜷)p(\bm{\beta}) denote the number of units allocated to bidder ii and the clearing price respectively. So, the total value obtained, Vi(𝜷)V_{i}(\bm{\beta}), and total payments paid, Pi(𝜷)P_{i}(\bm{\beta}), is:

Vi(𝜷)=jxi(𝜷)vi,jandPi(𝜷)=p(𝜷)xi(𝜷).\displaystyle V_{i}(\bm{\beta})=\sum_{j\leq x_{i}(\bm{\beta})}v_{i,j}\quad\text{and}\quad P_{i}(\bm{\beta})=p(\bm{\beta})\cdot x_{i}(\bm{\beta})\,. (2)

Repeated Setting. In practice, several multi-unit auctions, such as emission permit auctions, happen in a repeated fashion. Repeated auctions allow bidders to learn from the actions of all participants in previous rounds and improve their bidding policy successively. In this work, we primarily focus on this repeated setting. Formally, the auction described in the previous paragraph takes place sequentially in TT rounds indexed by t[T]t\in[T]. Let 𝜷it\bm{\beta}_{-i}^{t} denote the bids submitted by all bidders except bidder ii in round tt and 𝜷i,t(j)\bm{\beta}_{-i,t}^{-(j)} be the jthj^{th} smallest winning bid in the absence of bids from bidder ii for round tt. The bid history i=[𝜷i1,,𝜷iT]\mathcal{B}_{-i}=[\bm{\beta}_{-i}^{1},\dots,\bm{\beta}_{-i}^{T}] contains bids submitted by all bidders except bidder ii for the past TT auctions. In round tt, suppose the bidder ii submits a bid 𝐛t\mathbf{b}^{t} and the bid profile is 𝜷t:=(𝐛t;𝜷it)\bm{\beta}^{t}:=(\mathbf{b}^{t};\bm{\beta}_{-i}^{t}). Let xi(𝜷t)x_{i}(\bm{\beta}^{t}) and p(𝜷t)p(\bm{\beta}^{t}) be the number of units allocated to bidder ii and the clearing price, respectively, in round tt. Hence, the total value obtained is Vi(𝜷t)=jxi(𝜷t)vi,jV_{i}(\bm{\beta}^{t})=\sum_{j\leq x_{i}(\bm{\beta}^{t})}v_{i,j}, and total payment is Pi(𝜷t)=p(𝜷t)xi(𝜷t)P_{i}(\bm{\beta}^{t})=p(\bm{\beta}^{t})\cdot x_{i}(\bm{\beta}^{t}).

Value Maximizing Bidders. The objective of the bidders is to maximize their individual total value while adhering to a constraint that ensures the total value obtained is at least a constant multiple of the payments made to acquire those items. This constraint can be equivalently expressed as a return-on-investment (RoI) constraint. We assume that the target RoI (i.e., the multiplier), denoted as γ0\gamma\geq 0, is both private and fixed for each bidder ii. Formally, to derive an optimal bidding policy, a value-maximizing bidder solves Problem (VM).

V(i)=max𝐛0M¯\displaystyle V^{*}(\mathcal{B}_{-i})=\max_{\mathbf{b}\in\mathbb{R}^{\overline{M}}_{\geq 0}} t=1TVi(𝐛;𝜷it)\displaystyle~{}\sum_{t=1}^{T}V_{i}(\mathbf{b};\bm{\beta}_{-i}^{t}) (VM)
such that Vi(𝐛;𝜷it)(1+γ)Pi(𝐛;𝜷it),\displaystyle~{}V_{i}(\mathbf{b};\bm{\beta}_{-i}^{t})\geq(1+\gamma)P_{i}({\mathbf{b}};\bm{\beta}_{-i}^{t}), t[T].\displaystyle\forall t\in[T]\,.

Here, i=[𝜷it]t[T]\mathcal{B}_{-i}=[\bm{\beta}_{-i}^{t}]_{t\in[T]}. If in round tt, the RoI constraint is violated, we define Vi(𝐛;𝜷it)=V_{i}(\mathbf{b};\bm{\beta}_{-i}^{t})=-\infty. We say a bid vector is feasible if the RoI constraints hold true for each round.

In problem (VM), we enforce the RoI constraints for each auction individually rather than as an aggregate constraint over TT rounds, as is typically assumed in online ad auctions (Deng et al., 2021, 2022; Feng et al., 2023). Lucier et al. (2023) consider constraints similar to us, i.e., the value obtained is at least a constant times the payment in each auction for autobidders which they term as marginal RoI (or value) constraint. In this work, we drop the prefix ‘marginal’ for the sake of brevity. Trivially, if the constraints for (VM) hold true for each round, they also hold true in aggregate. The rationale behind imposing constraints for each round is that, unlike ad auctions that often occur simultaneously and frequently, multi-unit auctions in the context of Treasury and emission permit auctions typically take place sequentially over much longer time horizons. It is therefore intuitive that bidders aim to maintain profitability in each auction, rather than waiting for a potentially indefinite period to cover their losses111Although EU ETS emission permit auctions are scheduled to occur regularly, regulations stipulate that an auction may be canceled if the bidders’ demand falls short of the supply of permits or if the auction clearing price does not meet the reserve prices (Regulations, 2019). Hence, the bidders are more likely to ensure feasibility in each round..

We conclude this section by noting the resemblance between the offline optimization problem in (VM) and those studied in Roughgarden and Wang (2019), Derakhshan et al. (2022), Galgana and Golrezaei (2023), and Brânzei et al. (2023a). Roughgarden and Wang (2019) focus on optimizing reserve prices in VCG auctions with access to historical bid prices, while Brânzei et al. (2023a) and Galgana and Golrezaei (2023) derive optimal bidding policies for quasilinear bidders in multi-unit auctions with similar information available. Both studies demonstrate that efficiently solving the problem and gaining insights into its structure in the offline setting is instrumental in designing no-regret online learning algorithms. For a more in-depth exploration of leveraging offline algorithms to create no-regret learning algorithms, we refer readers to Roughgarden and Wang (2019); Niazadeh et al. (2022); Brânzei et al. (2023a).

2.2 Bidding in Uniform Price Auctions

Most of the research literature on multi-unit auctions assumes that bidders follow the standard bidding format, wherein they submit a vector of individual bids, with each bid corresponding to one unit (Brânzei et al., 2023a; Babaioff et al., 2023; Birmpas et al., 2019; Galgana and Golrezaei, 2023). In contrast, several works (e.g., (De Keijzer et al., 2013; Birmpas et al., 2019)) study uniform bidding, bidders submit bids in the form of (b,q)(b,q) pairs, where a bidder bids bb for the first qq items and zero for the remaining units. For a bid-quantity pair, (b,q)(b,q), we equivalently state that the bidder has a demand qq at bid bb. We study a natural generalization of the uniform bidding policy, which we term as mm-uniform bidding, for any integer m1m\geq 1.

Definition 1 (mm-Uniform Bidding).

For a fixed m>0m\in\mathbb{Z}_{>0},

  • a mm-uniform bid is characterized by mm bid-quantity pairs, denoted as 𝐛:=(b1,q1),,(bm,qm)\mathbf{b}:=\langle(b_{1},q_{1}),\dots,(b_{m},q_{m})\rangle, where, without loss of generality, we assume that b1>b2>>bm>0b_{1}>b_{2}>\dots>b_{m}>0 and qj>0q_{j}>0, j[m]j\in[m].

  • We introduce the notation 𝐛[1:]=(b1,q1),,(b,q)\mathbf{b}[1:\ell]=\langle(b_{1},q_{1}),\dots,(b_{\ell},q_{\ell})\rangle, for all <m\ell<m, to represent the first \ell bid-quantity pairs within a mm-uniform bid 𝐛=(b1,q1),,(bm,qm)\mathbf{b}=\langle(b_{1},q_{1}),\dots,(b_{m},q_{m})\rangle.

  • We further define Qj==1jqQ_{j}=\sum_{\ell=1}^{j}q_{\ell} for all j[m]j\in[m] as the total quantity demanded in the first jj bid-quantity pairs, with Q0=0Q_{0}=0, where we assume, without loss of generality, that QmM¯Q_{m}\leq\overline{M}.222Suppose the bidder bids for, and wins more than M¯\overline{M} units. There is no additional value being allocated over M¯\overline{M} units, but the total payment increases (assuming the clearing price is positive), potentially violating the RoI constraint.

Note that any set of mm bid-quantity pairs, such as 𝐛=(b1,q1),,(bm,qm)\mathbf{b}=\langle(b_{1},q_{1}),\dots,(b_{m},q_{m})\rangle, can be equivalently expressed as a vector. Therefore, we use a notation similar to that employed for bid vectors to represent sets of bid-quantity pairs.

The mm-bidding format format can be viewed as a special case of the bidding language for product-mix auctions when only a single variety of goods is present (Klemperer, 2009). If m=M¯m=\overline{M}, the bidding format is equivalent to standard bidding. However, in practice, bidders often submit only a few bid-quantity pairs. For instance, in the EU ETS emission permit auctions for 2023, bidders submitted an average of approximately 4.35 bid-quantity pairs per auction (EEX, 2023).

In fact, our generalization is motivated by practical settings, such as the aforementioned EU ETS emission auctions and the Treasury auctions, where the number of individual units KK can be quite large. Submitting a bid vector listing bid values for each individual unit becomes prohibitive in such cases. Similarly, using a single bid, as done in uniform bidding (which corresponds to a 11-uniform bidding policy), to represent the entire valuation curve can be misleading and restrictive, particularly if the curve exhibits sharp decay across the items. Therefore, the mm-uniform bidding policies offer a flexible and computationally efficient approach for submitting bids, a method widely utilized in practice (see an example in Fig. 1).

We illustrate how the auction works in the considered setting in Example 1.

Example 1.

Consider a single auction. There are n=2n=2 bidders and K=5K=5 identical items. The valuations are: 𝐯1=[6,4,3,1,1]\mathbf{v}_{1}=[6,4,3,1,1] and 𝐯2=[5,3,1,1,0]\mathbf{v}_{2}=[5,3,1,1,0]. Both the bidders are value maximizers with target RoI, γ1=γ2=0\gamma_{1}=\gamma_{2}=0. Suppose m=2m=2 and the bids submitted by the bidders are 𝐛1=(5,2),(3,3)\mathbf{b}_{1}=\langle(5,2),(3,3)\rangle and 𝐛2=(4,2),(2,2)\mathbf{b}_{2}=\langle(4,2),(2,2)\rangle. The bids in sorted order are: [5,5,4,4,3,3,3,2,2][5,5,4,4,3,3,3,2,2]. So, bidder 1 is allocated 33 items, and bidder 2 gets 22 items. The market clearing price is 33. Hence, V1(𝛃)=6+4+3=13,V2(𝛃)=5+3=8,P1(𝛃)=33=9V_{1}(\bm{\beta})=6+4+3=13,V_{2}(\bm{\beta})=5+3=8,P_{1}(\bm{\beta})=3\cdot 3=9, and P2(𝛃)=23=6P_{2}(\bm{\beta})=2\cdot 3=6. Note that the RoI constraints for both the bidders are satisfied.

2.3 Universally Feasible Bidding Policies

Our objective in this work is to design an optimal bidding strategy, maximizing value from the perspective of a single bidder denoted as ii. This bidding strategy should universally adhere to RoI feasibility, as defined below:

Definition 2 (Universally Feasible).

A mm-uniform bidding policy, 𝐛=(b1,q1),,(bm,qm)\mathbf{b}=\langle(b_{1},q_{1}),\dots,(b_{m},q_{m})\rangle, is considered universally feasible (UF) if it remains feasible for all possible bid histories, i=[𝛃it]t[T]\mathcal{B}_{-i}=[\bm{\beta}_{-i}^{t}]_{t\in[T]}. In other words, for any i\mathcal{B}_{-i}, we have

Vi(𝐛;𝜷it)(1+γ)Pi(𝐛;𝜷it),t[T].\displaystyle V_{i}(\mathbf{b};\bm{\beta}_{-i}^{t})\geq(1+\gamma)P_{i}({\mathbf{b}};\bm{\beta}_{-i}^{t}),\quad\forall t\in[T]\,.

The collection of ALL UF kk-uniform bidding policies, where k[m]k\in[m], is denoted as 𝒫m\mathcal{P}_{m}. Note that the set 𝒫m\mathcal{P}_{m} is downward closed in the sense that for any kmk\leq m, 𝒫k𝒫m\mathcal{P}_{k}\subseteq\mathcal{P}_{m}.

Alternatively put, UF bidding policies ensure that the total value obtained in any single auction is at least a constant (i.e., (1+γ)1(1+\gamma)\geq 1) times the total payments for the auction. From the perspective of the bidders, this property is mild, natural and necessary. This property is particularly appealing because under UF bidding strategies, irrespective of the bids submitted by competitors, the bidder consistently maintains RoI feasibility. There is also an inherent necessity for a UF policy class because most sealed bid auctions do not disclose the individual bids ex post to protect sensitive financial information and prevent bidding malpractices. Hence, bidders need to formulate feasible bidding policies under limited information about the bids submitted by others. In addition, UF bidding policies are necessary to design online learning algorithms for bidding, where the bidder needs to submit a RoI feasible bid without having access to the competitors’ bids (see details in Section 7). This property is essential because a causal, optimal, but non-UF bidding policy may be infeasible in future rounds as highlighted in Example 2.

Example 2.

Let K=4K=4, γ=0\gamma=0, M¯=3\overline{M}=3, m=1m=1, and 𝐯=[9,5,1]\mathbf{v}=[9,5,1], yielding an average cumulative valuation vector 𝐰=[9,7,5]\mathbf{w}=[9,7,5]. This leads to possible UF bidding policies of (9,1)(9,1), (7,2)(7,2), and (5,3)(5,3). Consider an online setting, i.e., the bidder has no information about any future competing bids. If the competing bids in the first two rounds are βi1=[4,4,4,4]\beta_{-i}^{1}=[4,4,4,4] and βi2=[7,6.5,5.5,5.5]\beta_{-i}^{2}=[7,6.5,5.5,5.5], the total values obtained by the UF bidding policies are 1818, 2828, and 1515 respectively. Now, consider a non-UF bidding policy: (6,3)(6,3), which is RoI feasible (for t=1t=1 and 22) and yields a value of 2929 in the first two auctions, surpassing all UF policies. However, if the bidder bids (6,3)(6,3) for t=3t=3 when βi3=[7,5.5,5.5,5.5]\beta_{-i}^{3}=[7,5.5,5.5,5.5], the total value obtained is 1515 but the total payment is 1818, violating RoI feasibility. This example also illustrates that a non-UF policy can not be learnt in a natural (online) setting.

Having established the concept of UF bidding policies, we now focus on developing optimal UF bidding policies for any m>0m\in\mathbb{Z}_{>0}. These policies solve the following problem:

Vm(i)=max\displaystyle V_{m}^{*}(\mathcal{B}_{-i})=\max t=1TVi(𝐛;𝜷it)\displaystyle~{}\sum_{t=1}^{T}V_{i}(\mathbf{b};\bm{\beta}_{-i}^{t}) (VM-unim\textsc{VM-uni}_{m})
such that 𝐛=(b1,q1),,(bk,qk)𝒫mand k[m].\displaystyle\mathbf{b}=\langle(b_{1},q_{1}),\dots,(b_{k},q_{k})\rangle\in\mathcal{P}_{m}~{}\quad\text{and }\quad~{}k\in[m]\,. (3)

Here, with a slight abuse of notation, we denote Vm(i)V_{m}^{*}(\mathcal{B}_{-i}) as the maximum achievable value when considering UF bidding policies in 𝒫m\mathcal{P}_{m}, under the bid history, i\mathcal{B}_{-i}. Observe that the optimal solution to problem (VM-unim\textsc{VM-uni}_{m}) is RoI feasible as 𝐛𝒫m{\bf b}\in\mathcal{P}_{m}. Let 𝐛m(i)\mathbf{b}_{m}^{*}(\mathcal{B}_{-i}) be a UF bidding policy in 𝒫m\mathcal{P}_{m} that achieves the maximum value. We are now equipped to define an optimal UF class.

Definition 3 (Optimal Universally Feasible Class).

For any m>0m\in\mathbb{Z}_{>0}, we define an optimal UF class and denote it by 𝒫m𝒫m\mathcal{P}_{m}^{\star}\subseteq\mathcal{P}_{m}. The optimal class 𝒫m\mathcal{P}_{m}^{\star} has the following properties:

Property 1. For any i\mathcal{B}_{-i} of arbitrary size, we have 𝐛m(i)𝒫m.\mathbf{b}_{m}^{*}(\mathcal{B}_{-i})\in\mathcal{P}_{m}^{\star}\,. If there are multiple 𝐛m(i)\mathbf{b}_{m}^{*}(\mathcal{B}_{-i}), we require that at least one of such bidding policies is in 𝒫m\mathcal{P}_{m}^{\star}.

Property 2. The optimal class 𝒫m\mathcal{P}_{m}^{\star} is minimal in the downward closed manner, that is for any kk-uniform bid 𝐛𝒫m\mathbf{b}\in\mathcal{P}_{m}^{\star} where k[m]k\in[m], there exists a bid history, i=[𝛃it]t[T]\mathcal{B}_{-i}=[\bm{\beta}_{-i}^{t}]_{t\in[T]}, for which

  • 𝐛\mathbf{b} is optimal, i.e., t=1TVi(𝐛;𝜷it)t=1TVi(𝐛;𝜷it),𝐛𝒫m;\sum_{t=1}^{T}V_{i}(\mathbf{b};\bm{\beta}_{-i}^{t})\geq\sum_{t=1}^{T}V_{i}(\mathbf{b}^{\prime};\bm{\beta}_{-i}^{t}),\forall~{}~{}\mathbf{b}^{\prime}\in\mathcal{P}_{m}^{\star}\,;

  • the value obtained under 𝐛\mathbf{b} and i\mathcal{B}_{-i} is strictly larger than that under ANY kk^{\prime}-uniform bid 𝐛𝒫m\mathbf{b}^{\prime}\in\mathcal{P}_{m}^{\star} and i\mathcal{B}_{-i} where kkk^{\prime}\leq k. That is, t=1TVi(𝐛;𝜷it)>t=1TVi(𝐛;𝜷it),𝐛𝒫k{𝐛}.\sum_{t=1}^{T}V_{i}(\mathbf{b};\bm{\beta}_{-i}^{t})>\sum_{t=1}^{T}V_{i}(\mathbf{b}^{\prime};\bm{\beta}_{-i}^{t}),\forall~{}~{}\mathbf{b}^{\prime}\in\mathcal{P}_{k}^{\star}\setminus\{\mathbf{b}\}\,.

In other words, Property 2 states that the kk-uniform bid 𝐛\mathbf{b} is the unique optimal bidding policy for the bid history i\mathcal{B}_{-i} in the restricted class 𝒫k𝒫m\mathcal{P}_{k}^{\star}\subseteq\mathcal{P}_{m}^{\star}. While Property 1 ensures that the class 𝒫m\mathcal{P}_{m}^{\star} contains the optimal UF bidding policy for any bid history, Property 2 implies that 𝒫m\mathcal{P}_{m}^{\star} is the minimal class satisfying this property, i.e., removing policies from 𝒫m\mathcal{P}_{m}^{\star} may violate Property 1.

2.4 The Price of Universal Feasibility

While being UF is essential, such a requirement can come at a cost. To quantify this cost, denoted as the ‘Price of Universal Feasibility’ or ‘PoUF’ for short, we consider the following strong benchmark. Under the benchmark, similar to Problem (VM-unim\textsc{VM-uni}_{m}), we aim to find a kk-uniform bidding policy 𝐛\mathbf{b}, where k[m]k\in[m], that maximizes the total value for a given bid history i\mathcal{B}_{-i}. However, unlike Problem (VM-unim\textsc{VM-uni}_{m}), we do not require 𝐛\mathbf{b} to be UF; that is, we do not enforce 𝐛𝒫m\mathbf{b}\in\mathcal{P}_{m}. Instead, we only require 𝐛\mathbf{b} to be RoI feasible under the bid history i\mathcal{B}_{-i}.

Formally, our benchmark, denoted by Vm𝐎𝐏𝐓(i)V^{\mathbf{OPT}}_{m}\left(\mathcal{B}_{-i}\right), is given as

Vm𝐎𝐏𝐓(i)=max𝐛\displaystyle V^{\mathbf{OPT}}_{m}\left(\mathcal{B}_{-i}\right)=\max_{\mathbf{b}} t=1TVi(𝐛;𝜷it)\displaystyle~{}\sum_{t=1}^{T}V_{i}(\mathbf{b};\bm{\beta}_{-i}^{t}) (VM-optm\textsc{VM-opt}_{m})
such that Vi(𝐛;𝜷it)(1+γ)Pi(𝐛;𝜷it),\displaystyle~{}V_{i}(\mathbf{b};\bm{\beta}_{-i}^{t})\geq(1+\gamma)P_{i}({\mathbf{b}};\bm{\beta}_{-i}^{t}), t[T]\displaystyle\forall t\in[T]
and 𝐛=(b1,q1),,(bk,qk)\displaystyle~{}\mathbf{b}=\langle(b_{1},q_{1}),\dots,(b_{k},q_{k})\rangle~{} for some k[m].\displaystyle\quad\text{for some }\quad~{}k\in[m]\,.

Let the optimal bidding policy be denoted as 𝐛m𝐎𝐏𝐓(i)\mathbf{b}_{m}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right). We emphasize that 𝐛m𝐎𝐏𝐓(i)\mathbf{b}_{m}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right) is not necessarily feasible for any other bid history except i\mathcal{B}_{-i}.

The Price of Universal Feasibility is then defined as

PoUFm:=maxi\displaystyle\textsc{PoUF}_{m}:=\max_{\mathcal{B}_{-i}} Vm𝐎𝐏𝐓(i)Vm(i).\displaystyle~{}\frac{V^{\mathbf{OPT}}_{m}\left(\mathcal{B}_{-i}\right)}{V_{m}^{*}(\mathcal{B}_{-i})}\,. (PoUF)

This metric is analogous to established metrics in mechanism design, such as the price of anarchy (Koutsoupias and Papadimitriou, 1999), the price of stability (Anshelevich et al., 2008) to measure the inefficiency of equilibrium, and the price of fairness (Bertsimas et al., 2011) to measure the inefficiency due to fair division in resource allocation. Trivially, 1PoUFm<1\leq\textsc{PoUF}_{m}<\infty333Suppose for some i\mathcal{B}_{-i}, Vm𝐎𝐏𝐓(i)=0V^{\mathbf{OPT}}_{m}\left(\mathcal{B}_{-i}\right)=0. By definition, Vm(i)=0V_{m}^{*}(\mathcal{B}_{-i})=0. In this case, we define Vm𝐎𝐏𝐓(i)Vm(i)=00=1\frac{V^{\mathbf{OPT}}_{m}\left(\mathcal{B}_{-i}\right)}{V_{m}^{*}(\mathcal{B}_{-i})}=\frac{0}{0}=1..

2.5 Increasing the Number of Bid Quantity Pairs, mm

In Section 2.2, we introduced mm-uniform bidding and justified its preference over the (1-)uniform bidding format. However, increasing the number of bid quantity pairs mm can increase the complexity of bidding (see our discussion in Section 7). Considering this, we aim to characterize the maximum benefit of increasing the number of bid quantity pairs mm, compared to the base case of m=1m=1.

To do so, we introduce the following two metrics

Ratio-unim:=maxiVm(i)V1(i),Ratio-optm:=maxiVm𝐎𝐏𝐓(i)V1𝐎𝐏𝐓(i).\displaystyle\textsc{Ratio-uni}_{m}:=\max_{\mathcal{B}_{-i}}\frac{V_{m}^{*}(\mathcal{B}_{-i})}{V_{1}^{*}(\mathcal{B}_{-i})},\qquad\textsc{Ratio-opt}_{m}:=\max_{\mathcal{B}_{-i}}\frac{V^{\mathbf{OPT}}_{m}\left(\mathcal{B}_{-i}\right)}{V^{\mathbf{OPT}}_{1}\left(\mathcal{B}_{-i}\right)}\,. (4)

The first metric measures, in the best case, how much more value bidder ii obtains by submitting an optimal UF kk-uniform bid where k[m]k\in[m], compared with that an optimal UF 11-uniform bid. The second metric does a similar comparison without restricting the bids to be UF. By definition, 1Ratio-unim,Ratio-optm<1\leq\textsc{Ratio-uni}_{m},\textsc{Ratio-opt}_{m}<\infty.

3 Characterizing Universally Feasible Policy Classes

In this section, for any mm, we characterize the universally feasible (UF) policy class 𝒫m\mathcal{P}_{m} per Definition 2. This characterization will then be used to establish the optimal UF policy class 𝒫m𝒫m\mathcal{P}_{m}^{\star}\subseteq\mathcal{P}_{m}.

We start by generalizing the idea of underbidding (overbidding) in the mm-uniform bidding setting for multi-unit auctions. Recall that in single-item auctions, if the private value of the item by a bidder is vv, then a bid bb is said to be an underbid (overbid) if b<v(b>v)b<v~{}(b>v).

Definition 4 (mm-uniform non-truthful bids).

Let 𝐰\mathbf{w} and γ\gamma denote the average cumulative valuation vector and the target RoI respectively. A mm-uniform bid 𝐛=(b1,q1),,(bm,qm)\mathbf{b}=\langle(b_{1},q_{1}),\dots,(b_{m},q_{m})\rangle

  • is an underbid if

    bjwQj1+γ,\displaystyle b_{j}\leq\frac{w_{Q_{j}}}{1+\gamma},\quad j[m] and [m]such thatb<wQ1+γ.\displaystyle\forall j\in[m]\quad\text{ and }\quad\exists\ell\in[m]\quad\text{such that}\quad b_{\ell}<\frac{w_{Q_{\ell}}}{1+\gamma}\,.
  • is an overbid if

    [m]such thatb>wQ1+γ.\displaystyle\exists\ell\in[m]\quad\text{such that}\quad b_{\ell}>\frac{w_{Q_{\ell}}}{1+\gamma}\,.
Refer to caption
Figure 3: The solid line represents the average cumulative valuation curve and the dotted line represents the valuation curve. The figure in the left (resp. right) illustrates underbidding (resp. overbidding) for a 22-uniform bidding policy. The blue circles highlight the bids that are non-truthful in this setting. Note that the notions of underbidding and overbidding in Definition 4 are defined with respect to the average cumulative valuation curve and not the valuation curve. The valuation (and average cumulative valuation) curve are linear in the figure for illustrative purposes only.

In other words, assuming that γ=0\gamma=0, we define 𝐛=(b1,q1),,(bm,qm)\mathbf{b}=\langle(b_{1},q_{1}),\dots,(b_{m},q_{m})\rangle as an underbid if, for all j[m]j\in[m], the bid bjb_{j} is less than or equal to the average of the first QjQ_{j} coordinates of the value vector, denoted as wQjw_{Q_{j}}, and there exists [m]\ell\in[m] where the inequality is strict. Here, Qj=jqQ_{j}=\sum_{\ell\leq j}q_{\ell} represents the maximum number of demanded units in the first jj bids. Recall that for the value vector [v1,v2,,vK][v_{1},v_{2},\ldots,v_{K}], wj=1jjvw_{j}=\frac{1}{j}\sum_{\ell\leq j}v_{\ell} represents the average of the first jj coordinates of 𝐯\mathbf{v}. Similarly, the bid is an overbid if there exists some [m]\ell\in[m] such that bb_{\ell} is strictly greater than the average of the first QQ_{\ell} coordinates of the value vector. Having defined the overbidding and underbidding notions, we are ready to present the main result of this section:

Theorem 3.1.

For any mm, no overbidding is allowed in 𝒫m\mathcal{P}_{m}. That is, the collection of all UF kk-uniform bidding policies, where k[m]k\in[m], per Definition 2 is given by

𝒫m={𝐛=(b1,q1),,(bk,qk):bwQ1+γ,[k],k[m]}.\displaystyle\mathcal{P}_{m}=\Big{\{}\mathbf{b}=\langle(b_{1},q_{1}),\dots,(b_{k},q_{k})\rangle:b_{\ell}\leq\frac{w_{Q_{\ell}}}{1+\gamma},\forall\ell\in[k],\forall k\in[m]\Big{\}}\,.

The detailed proof is deferred to Section A.1. As a high-level idea, we show that overbidding is not a UF bidding policy; hence, 𝒫m𝒫m𝐍𝐎𝐁\mathcal{P}_{m}\subseteq\mathcal{P}_{m}^{\mathbf{NOB}}, the set of no-overbidding (NOB) policies. We complete the proof by stating that every NOB policy is also UF.

4 Characterizing Optimal Universally Feasible Policy Classes

Now that we have established the class of UF bidding policies, 𝒫m\mathcal{P}_{m}, we proceed to design the optimal subclass as described in Definition 3. The following theorem is the main result of this section. This theorem shows that, in contrast to the UF class 𝒫m\mathcal{P}_{m}, strategies involving underbidding are suboptimal and hence are eliminated from the set 𝒫m\mathcal{P}_{m}^{\star}.

Theorem 4.1 (The Optimal Universally Feasible Class).

Let 𝒫¯m𝒫m\overline{\mathcal{P}}_{m}\subseteq\mathcal{P}_{m} be the class of bidding policies obtained by removing the underbidding policies,

𝒫¯m={𝐛=(b1,q1),,(bk,qk):b=wQ1+γ,[k],k[m]}.\displaystyle\overline{\mathcal{P}}_{m}=\Big{\{}\mathbf{b}=\langle(b_{1},q_{1}),\dots,(b_{k},q_{k})\rangle:b_{\ell}=\frac{w_{Q_{\ell}}}{1+\gamma},\forall\ell\in[k],\forall k\in[m]\Big{\}}\,.

Then, the optimal class of UF kk-uniform bidding policies, where k[m]k\in[m], 𝒫m=𝒫¯m\mathcal{P}_{m}^{\star}=\overline{\mathcal{P}}_{m}.

Theorem 4.1 shows that the policies in the optimal UF class have a nested structure illustrated in Fig. 2 in the sense that the jthj^{th} highest bid (i.e., bjb_{j}) is the average of the first QjQ_{j} coordinates of the value vector (scaled by (1+γ)(1+\gamma)). We refer to the bid in the form of 𝐛=(wQ11+γ,q1),,(wQm1+γ,qm)\mathbf{b}=\Big{\langle}\Big{(}\frac{w_{Q_{1}}}{1+\gamma},q_{1}\Big{)},\dots,\Big{(}\frac{w_{Q_{m}}}{1+\gamma},q_{m}\Big{)}\Big{\rangle} as a “nested” mm-uniform bidding policy.

Another implication of Theorem 4.1 is that fixing QjQ_{j}’s uniquely determines the bidding policy. By definition, for policies in the class 𝒫m\mathcal{P}_{m}^{\star}, fixing QjQ_{j} exactly determines bj=wQj/(1+γ)b_{j}=w_{Q_{j}}/(1+\gamma). Consequently, the kk-uniform bidding policy, where k[m]k\in[m], becomes uniquely identified. As we will elaborate in later sections (refer to Section 7 for detailed explanations), this fact plays a crucial role in learning the optimal UF bidding policy within 𝒫m\mathcal{P}_{m}^{\star} on the fly as more data becomes available over time.

4.1 Proof of Theorem 4.1: The Optimal Universally Feasible Class

Recall from Definition 3 that the optimal UF class has two essential properties:

Property 1. It contains the optimal UF bidding policy for any i\mathcal{B}_{-i}, and

Property 2. It is minimal in a downward closed sense to satisfy Property 1 (see Definition 3).

Showing Property 1. We begin by establishing a general result regarding the monotonocity of feasible bid vectors (not necessarily mm-uniform bids) for value maximizing agents. As the result holds for any bid vector, it is also true for mm-uniform bids.

Lemma 1 (Monotonocity of feasible bids).

Consider two sorted bid vectors: 𝐛=[b1,b2,,bk]\mathbf{b}=[b_{1},b_{2},\dots,b_{k}] and 𝐛=[b1,b2,,bk]\mathbf{b}^{\prime}=[b_{1}^{\prime},b_{2}^{\prime},\dots,b_{k}^{\prime}] such that bjbj,j[k]b_{j}\geq b_{j}^{\prime},\forall j\in[k]. Suppose 𝐛\mathbf{b} is RoI feasible for some fixed i=[𝛃it]t[T]\mathcal{B}_{-i}=[\bm{\beta}_{-i}^{t}]_{t\in[T]}. Then, for the given i\mathcal{B}_{-i}, the value obtained by 𝐛\mathbf{b} is more than that by 𝐛\mathbf{b}^{\prime}, that is, t=1TVi(𝐛;𝛃it)t=1TVi(𝐛;𝛃it)\sum_{t=1}^{T}V_{i}(\mathbf{b};\bm{\beta}_{-i}^{t})\geq\sum_{t=1}^{T}V_{i}(\mathbf{b}^{\prime};\bm{\beta}_{-i}^{t}).

The proof of Lemma 1 is presented in Section A.2. We now leverage Lemma 1 to show Property 1. To do so, we will argue that underbidding is a weakly dominated bidding strategy, i.e., for every underbid 𝐛\mathbf{b} (per Definition 4), there exists a non-underbidding (NUB) policy 𝐛𝒫m\mathbf{b}^{\prime}\in\mathcal{P}_{m} such that for all bid histories, i=[𝜷it]t[T]\mathcal{B}_{-i}=[\bm{\beta}_{-i}^{t}]_{t\in[T]}, t=1TVi(𝐛;𝜷it)t=1TVi(𝐛;𝜷it)\sum_{t=1}^{T}V_{i}(\mathbf{b};\bm{\beta}_{-i}^{t})\leq\sum_{t=1}^{T}V_{i}(\mathbf{b}^{\prime};\bm{\beta}_{-i}^{t}). To show this, suppose 𝐛=(b1,q1),,(bk,qk)\mathbf{b}=\langle(b_{1},q_{1}),\dots,(b_{k},q_{k})\rangle, where k[m]k\in[m], is an underbid. Consider 𝐛=(b1,q1),,(bk,qk)\mathbf{b}^{\prime}=\langle(b_{1}^{\prime},q_{1}^{\prime}),\dots,(b_{k}^{\prime},q_{k}^{\prime})\rangle such that qj=qjq_{j}^{\prime}=q_{j} and bj=wQj1+γ,j[k]b_{j}^{\prime}=\frac{w_{Q_{j}}}{1+\gamma},\forall j\in[k]. By Theorem 3.1, we establish that 𝐛,𝐛𝒫m\mathbf{b},\mathbf{b}^{\prime}\in\mathcal{P}_{m}. Invoking Lemma 1 completes the proof which shows that underbidding is a dominated strategy, and hence such policies can be removed from 𝒫m\mathcal{P}_{m} to obtain the class of nested mm-uniform policies, 𝒫¯m\overline{\mathcal{P}}_{m}.

Showing Property 2. We will show that 𝒫¯m\overline{\mathcal{P}}_{m} satisfies Property 2 implying 𝒫¯m=𝒫m\overline{\mathcal{P}}_{m}=\mathcal{P}_{m}^{\star}. We claim that 𝒫¯m\overline{\mathcal{P}}_{m} satisfies the conditions (also described in Definition 3) and thus complete the proof.

For any kk-uniform bid 𝐛𝒫m\mathbf{b}\in\mathcal{P}_{m}^{\star}, where k[m]k\in[m], there exists a bid history, i=[𝜷it]t[T]\mathcal{B}_{-i}=[\bm{\beta}_{-i}^{t}]_{t\in[T]}, for which

  • 𝐛\mathbf{b} is optimal, i.e., t=1TVi(𝐛;𝜷it)t=1TVi(𝐛;𝜷it),𝐛𝒫m\sum_{t=1}^{T}V_{i}(\mathbf{b};\bm{\beta}_{-i}^{t})\geq\sum_{t=1}^{T}V_{i}(\mathbf{b}^{\prime};\bm{\beta}_{-i}^{t}),\forall~{}~{}\mathbf{b}^{\prime}\in\mathcal{P}_{m}^{\star},

  • the value obtained under 𝐛\mathbf{b} and i\mathcal{B}_{-i} is strictly larger than that under ANY kk^{\prime}-uniform bid 𝐛𝒫m\mathbf{b}^{\prime}\in\mathcal{P}_{m}^{\star} and i\mathcal{B}_{-i} where kkk^{\prime}\leq k. That is, t=1TVi(𝐛;𝜷it)>t=1TVi(𝐛;𝜷it),𝐛𝒫k{𝐛}.\sum_{t=1}^{T}V_{i}(\mathbf{b};\bm{\beta}_{-i}^{t})>\sum_{t=1}^{T}V_{i}(\mathbf{b}^{\prime};\bm{\beta}_{-i}^{t}),\forall~{}~{}\mathbf{b}^{\prime}\in\mathcal{P}_{k}^{\star}\setminus\{\mathbf{b}\}\,.

Our construction. To show the claim, fix any 𝐛𝒫¯m\mathbf{b}\in\overline{\mathcal{P}}_{m}. Let 𝐛=(wQ11+γ,q1),,(wQk1+γ,qk)\mathbf{b}=\big{\langle}\big{(}\frac{w_{Q_{1}}}{1+\gamma},q_{1}\big{)},\dots,\big{(}\frac{w_{Q_{k}}}{1+\gamma},q_{k}\big{)}\big{\rangle}. We construct the bid history, i(𝐛)\mathcal{B}_{-i}(\mathbf{b}) consisting of T=kT=k rounds. In round t[k]t\in[k], for a sufficiently small ϵ>0\epsilon>0 and Cw1C\gg w_{1},

𝜷i,t(j)(𝐛)={wQt+11+γ+ϵ,if 1jQtC,if Qt<jK,\displaystyle\bm{\beta}_{-i,t}^{-(j)}(\mathbf{b})=\begin{cases}\frac{w_{Q_{t}+1}}{1+\gamma}+\epsilon,&~{}\text{if }1\leq j\leq Q_{t}\\ C,&~{}\text{if }Q_{t}<j\leq K\end{cases}, t[k],Qt<M¯.\displaystyle~{}\forall t\in[k],Q_{t}<\overline{M}\,. (5)

If Qt=M¯Q_{t}=\overline{M}, set 𝜷i,t(j)(𝐛)=ϵ,j[K]\bm{\beta}_{-i,t}^{-(j)}(\mathbf{b})=\epsilon,\forall j\in[K]. We illustrate an example of such a bid history in Table 1.

Note that for any (universally) feasible bidding policy, the maximum number of units that the bidder can get allocated in round tt is QtQ_{t}. We claim that 𝐛=(wQ11+γ,q1),,(wQk1+γ,qk)\mathbf{b}=\big{\langle}\big{(}\frac{w_{Q_{1}}}{1+\gamma},q_{1}\big{)},\dots,\big{(}\frac{w_{Q_{k}}}{1+\gamma},q_{k}\big{)}\big{\rangle} is an optimal bidding policy for i(𝐛)\mathcal{B}_{-i}(\mathbf{b}).

To see this, consider any round tt. In this round, exactly QtQ_{t} bids, namely 𝐛[1:t]\mathbf{b}[1:t], are higher than the competing bids in i(𝐛)\mathcal{B}_{-i}(\mathbf{b}). As 𝐛𝒫¯m\mathbf{b}\in\overline{\mathcal{P}}_{m}, it is UF. Hence, bidding 𝐛=(wQ11+γ,q1),,(wQk1+γ,qk)\mathbf{b}=\big{\langle}\big{(}\frac{w_{Q_{1}}}{1+\gamma},q_{1}\big{)},\dots,\big{(}\frac{w_{Q_{k}}}{1+\gamma},q_{k}\big{)}\big{\rangle} wins QtQ_{t} units in round t,t[k]t,\forall t\in[k]. So, it is an optimal bidding policy.

Table 1: Suppose M¯=6,m=3,γ=0\overline{M}=6,m=3,\gamma=0 and the average cumulative vector is 𝐰=[w1,w2,,w6]\mathbf{w}=[w_{1},w_{2},\dots,w_{6}]. Consider the 33-uniform bid: 𝐛=(w2,2),(w3,1),(w5,2)\mathbf{b}=\langle(w_{2},2),(w_{3},1),(w_{5},2)\rangle. So, Q1=2,Q2=3Q_{1}=2,Q_{2}=3 and Q3=5Q_{3}=5. The constructed bid history i(𝐛)\mathcal{B}_{-i}(\mathbf{b}), presented in Eq. 5, is depicted below, where Cw1C\gg w_{1} and ϵ>0\epsilon>0 is a sufficiently small real number.
t=1t=1 t=2t=2 t=3t=3
CC CC CC
CC CC w6+ϵw_{6}+\epsilon
CC CC w6+ϵw_{6}+\epsilon
CC w4+ϵw_{4}+\epsilon w6+ϵw_{6}+\epsilon
w3+ϵw_{3}+\epsilon w4+ϵw_{4}+\epsilon w6+ϵw_{6}+\epsilon
w3+ϵw_{3}+\epsilon w4+ϵw_{4}+\epsilon w6+ϵw_{6}+\epsilon

The proof of the second property is then completed by the following lemma.

Lemma 2.

For any nested kk-uniform bidding policy 𝐛𝒫¯m\mathbf{b}\in\overline{\mathcal{P}}_{m}, let i(𝐛)\mathcal{B}_{-i}(\mathbf{b}) be the constructed competing bids, presented in Eq. 5, then the value obtained under 𝐛\mathbf{b} and i(𝐛)=[𝛃it(𝐛)]t[T]\mathcal{B}_{-i}(\mathbf{b})=[\bm{\beta}_{-i}^{t}(\mathbf{b})]_{t\in[T]} is strictly larger than that under ANY kk^{\prime}-uniform bid 𝐛𝒫¯m\mathbf{b}^{\prime}\in\overline{\mathcal{P}}_{m} and i(𝐛)\mathcal{B}_{-i}(\mathbf{b}) where kkk^{\prime}\leq k. That is, t=1TVi(𝐛;𝛃it(𝐛))>t=1TVi(𝐛;𝛃it(𝐛)),𝐛𝒫¯k{𝐛}.\sum_{t=1}^{T}V_{i}(\mathbf{b};\bm{\beta}_{-i}^{t}(\mathbf{b}))>\sum_{t=1}^{T}V_{i}(\mathbf{b}^{\prime};\bm{\beta}_{-i}^{t}(\mathbf{b})),\forall~{}\mathbf{b}^{\prime}\in\overline{\mathcal{P}}_{k}\setminus\{\mathbf{b}\}\,.

We present the proof of Lemma 2 in Section A.3. The proof primarily uses the result from Lemma 3 which warrants an in-depth discussion and hence presented separately.

5 Price of Universal Feasibility

In this section, we quantify the inefficiency caused by restricting the bidding policies to the optimal UF class using the price of universal feasibility (PoUF) metric. Recall from Section 2.4 that PoUFm\textsc{PoUF}_{m} is the ratio of the value obtained by an optimal feasible bidding policy for a given i\mathcal{B}_{-i} and the value obtained by an optimal universally feasible bidding policy in the worst case scenario.

We warm up by considering the case when the valuations are homogeneous (i.e., vi=vv_{i}=v for all i[M¯]i\in[\overline{M}]). The assumption that bidders have equal valuations for items in multi-unit auctions is standard in several papers in literature (Brânzei et al., 2023b; Dobzinski et al., 2012; Borgs et al., 2005). This setting is alternatively termed as linear multi-unit auctions as the total value obtained is a linear function of the number of units obtained (Brânzei et al., 2023b).

Theorem 5.1.

If the bidders have homogeneous valuations for the units (i.e., vi=v,i[M¯]v_{i}=v,\forall i\in[\overline{M}]), then, m>0\forall m\in\mathbb{Z}_{>0}, PoUFm=1\textsc{PoUF}_{m}=1. In other words, enforcing the bidding policies to be UF is lossless.

The proof is presented in Section A.4. If γ=0\gamma=0, Theorem 5.1 implies that in the homogeneous valuations setting, bidding truthfully is a weakly dominated strategy for value maximizing bidders, reinforcing the notion of simplified bidding strategies in uniform price auctions in this case.

We now present the main result of this section:

Theorem 5.2 (Price of Universal Feasibility).

For any m>0m\in\mathbb{Z}_{>0}, PoUFm=maxiVm𝐎𝐏𝐓(i)Vm(i)2θ\textsc{PoUF}_{m}=\max_{\mathcal{B}_{-i}}\frac{V^{\mathbf{OPT}}_{m}\left(\mathcal{B}_{-i}\right)}{V_{m}^{*}(\mathcal{B}_{-i})}\leq 2-\theta, where θ(0,1]\theta\in(0,1] and the bound is tight. In other words,

  • for all possible bid histories i=[𝜷it]t[T]\mathcal{B}_{-i}=[\bm{\beta}_{-i}^{t}]_{t\in[T]}, there exists a nested kk-uniform bidding policy 𝐛𝒫m\mathbf{b}\in\mathcal{P}_{m}^{\star}, where k[m]k\in[m], which attains at least half of the total value obtained by the optimal bidding policy which is not necessarily UF. That is, t=1TVi(𝐛;𝜷it(𝐛))1/2Vm𝐎𝐏𝐓(i)\sum_{t=1}^{T}V_{i}(\mathbf{b};\bm{\beta}_{-i}^{t}(\mathbf{b}))\geq 1/2\cdot V^{\mathbf{OPT}}_{m}\left(\mathcal{B}_{-i}\right).

  • Furthermore, there exists a bid history i=[𝜷it]t[T]\mathcal{B}_{-i}=[\bm{\beta}_{-i}^{t}]_{t\in[T]} and valuation curve (equivalently 𝒫m\mathcal{P}_{m}^{\star}) such that, for the optimal policy in 𝒫m\mathcal{P}_{m}^{\star}, the bound is tight. That is, for any choice of δ(0,1/2]\delta\in(0,1/2], t=1TVi(𝐛;𝜷it(𝐛))1/(2δ)Vm𝐎𝐏𝐓(i)\sum_{t=1}^{T}V_{i}(\mathbf{b};\bm{\beta}_{-i}^{t}(\mathbf{b}))\leq 1/(2-\delta)\cdot V^{\mathbf{OPT}}_{m}\left(\mathcal{B}_{-i}\right).

Theorem 5.2 implies that restricting the bidding policy to have the appealing property of being UF has a bounded price and does not lead to an arbitrary loss in the obtained value. Additionally, the factor of two loss under UF policies represents a worst-case scenario, and the setting in which it is attained is quite non-trivial (see Section B.2). Thus, we expect the UF policies to be near-optimal in practice, which is also corroborated by the numerical simulations in Section 8.

5.1 Proof of Theorem 5.2: Price of Universal Feasibility

Here, we present only the proof of the upper bound on PoUFm\textsc{PoUF}_{m}. The tightness of the bound is discussed in Section B.1 (for m=1m=1) and Section B.2 (for m2m\geq 2).

We begin by defining the following metric for any bid history, i=[𝜷it]t[T]\mathcal{B}_{-i}=[\bm{\beta}_{-i}^{t}]_{t\in[T]},

PoUFm(i):=Vm𝐎𝐏𝐓(i)Vm(i)=Vm𝐎𝐏𝐓(i)max𝐛𝒫mt=1TVi(𝐛,𝜷it).\displaystyle\textsc{PoUF}_{m}(\mathcal{B}_{-i}):=\frac{V^{\mathbf{OPT}}_{m}\left(\mathcal{B}_{-i}\right)}{V_{m}^{*}(\mathcal{B}_{-i})}=\frac{V^{\mathbf{OPT}}_{m}\left(\mathcal{B}_{-i}\right)}{\max_{\mathbf{b}\in\mathcal{P}_{m}^{\star}}\sum_{t=1}^{T}V_{i}(\mathbf{b},\bm{\beta}_{-i}^{t})}\,. (6)

By definition, PoUFm=maxiPoUFm(i)\textsc{PoUF}_{m}=\max_{\mathcal{B}_{-i}}\textsc{PoUF}_{m}(\mathcal{B}_{-i}). We first establish upper bounds on PoUFm(i)\textsc{PoUF}_{m}(\mathcal{B}_{-i}) and then maximizing over i\mathcal{B}_{-i}, we complete the proof.

Without loss of generality, let 𝐛m𝐎𝐏𝐓(i)=(b1,q1),,(bm,qm)\mathbf{b}_{m}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right)=\langle(b_{1}^{*},q_{1}^{*}),\dots,(b_{m}^{*},q_{m}^{*})\rangle be the optimal solution to Problem (VM-optm\textsc{VM-opt}_{m}) for i=[𝜷it]t[T]\mathcal{B}_{-i}=[\bm{\beta}_{-i}^{t}]_{t\in[T]} and define Q=jqjQ_{\ell}^{*}=\sum_{j\leq\ell}q_{j}^{*}. Suppose 𝐛m𝐎𝐏𝐓(i)\mathbf{b}_{m}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right) is allocated rtr_{t}^{*} units in round tt. For any j[m]j\in[m], let TjT_{j} be the set of rounds in which the least winning bid is bjb_{j}^{*}, i.e.,

Tj={t[T]:Qj1<rtQj}.\displaystyle T_{j}=\big{\{}t\in[T]:Q_{j-1}^{*}<r_{t}^{*}\leq Q_{j}^{*}\big{\}}\,. (7)

For any j[m]j\in[m], partition TjT_{j} into Tj,0T_{j,0} and Tj,1T_{j,1} such that Tj,0T_{j,0} is the set of rounds where the bidder gets strictly less than QjQ_{j}^{*} units and Tj,1T_{j,1} is the set of rounds when she gets exactly QjQ_{j}^{*} units:

Tj,0={t[Tj]:rt<Qj},Tj,1={t[Tj]:rt=Qj}.\displaystyle T_{j,0}=\Big{\{}t\in[T_{j}]:r_{t}^{*}<Q_{j}^{*}\Big{\}},\qquad T_{j,1}=\Big{\{}t\in[T_{j}]:r_{t}^{*}=Q_{j}^{*}\Big{\}}\,. (8)

For any j[m]j\in[m], let

Q^j={max{rt:tTj,0}, if Tj,0Qj if Tj,0=.\displaystyle\widehat{Q}_{j}=\begin{cases}\max\{r_{t}^{*}:t\in T_{j,0}\},~{}&\text{ if }T_{j,0}\neq\emptyset\\ Q_{j}^{*}~{}&\text{ if }T_{j,0}=\emptyset\,.\end{cases}

In other words, Q^j\widehat{Q}_{j} is the 2nd2^{nd} highest number of units allocated to 𝐛m𝐎𝐏𝐓(i)\mathbf{b}_{m}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right) over the rounds in TjT_{j}. Then, the result is obtained by showing the following claim.

Claim 1 (Upper Bound on PoUFm(i)\textsc{PoUF}_{m}(\mathcal{B}_{-i})).

For any i\mathcal{B}_{-i}, PoUFm(i)2θi\textsc{PoUF}_{m}(\mathcal{B}_{-i})\leq 2-\theta_{\mathcal{B}_{-i}}, where

0<θiθ¯i:=maxj[m]WQ^jWQj1\displaystyle 0<\theta_{\mathcal{B}_{-i}}\leq\overline{\theta}_{\mathcal{B}_{-i}}:=\max_{j\in[m]}\frac{{W}_{\widehat{Q}_{j}}}{{W}_{Q_{j}^{*}}}\leq 1

Here, 𝐯=[1,v2,,vM¯]\mathbf{v}=[1,v_{2},\dots,v_{\overline{M}}] and Wj=1+v2++vj{W}_{j}=1+v_{2}+\dots+v_{j}. The exact characterization of θi\theta_{\mathcal{B}_{-i}} is presented in Section A.7. The upper bound, θ¯i\overline{\theta}_{\mathcal{B}_{-i}} is the maximum ratio of the value obtained from the first Q^j\widehat{Q}_{j} units to that from the first QjQ_{j}^{*} units, where the maximum is taken over all j[m]j\in[m].

So, maximizing PoUFm(i)\textsc{PoUF}_{m}(\mathcal{B}_{-i}) (equivalently minimizing θi\theta_{\mathcal{B}_{-i}}) over all i\mathcal{B}_{-i}, we get that PoUFm2θ\textsc{PoUF}_{m}\leq 2-\theta for θ=miniθi(0,1]\theta=\min_{\mathcal{B}_{-i}}\theta_{\mathcal{B}_{-i}}\in(0,1], as desired.

Constructing a Restricted Class of UF Policies. Here, as a crucial part of the proof, we construct a restricted class of UF policies, denoted by 𝒫m(i)\mathcal{P}_{m}^{\star}(\mathcal{B}_{-i}), where 𝒫m(i)𝒫m\mathcal{P}_{m}^{\star}(\mathcal{B}_{-i})\subset\mathcal{P}_{m}^{\star}. This construction serves two purposes. First, it reduces the search space for the optimal UF bidding policy. Second, and more importantly, it enables us to establish a connection between the optimal UF bidding policy and 𝐛m𝐎𝐏𝐓(i)\mathbf{b}_{m}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right). In defining the restricted class, we use the quantities, {Q^j,Qj}j[m]\{\widehat{Q}_{j},Q_{j}^{*}\}_{j\in[m]} as follows:

𝒫m(i)={𝐛=(b1,q1),,(bm,qm):b=wQ1+γ,Q{Q^,Q},[m]}.\displaystyle\mathcal{P}_{m}^{\star}(\mathcal{B}_{-i})=\Big{\{}\mathbf{b}=\langle(b_{1},q_{1}),\dots,(b_{m},q_{m})\rangle:b_{\ell}=\frac{w_{Q_{\ell}}}{1+\gamma},~{}~{}Q_{\ell}\in\{\widehat{Q}_{\ell},Q_{\ell}^{*}\},\quad\forall\ell\in[m]\Big{\}}\,. (9)

Recall that any policy in 𝒫m\mathcal{P}_{m}^{\star} with mm bid-quantity pairs takes the form of 𝐛=(b1,q1),,(bm,qm):b=wQ1+γ,[m]\mathbf{b}=\langle(b_{1},q_{1}),\dots,(b_{m},q_{m})\rangle:b_{\ell}=\frac{w_{Q_{\ell}}}{1+\gamma},\forall\ell\in[m]. The policies in 𝒫m(i)\mathcal{P}_{m}^{\star}(\mathcal{B}_{-i}) also have the same structure but as an important difference, for any [m]\ell\in[m], we enforce Q{Q^,Q}Q_{\ell}\in\{\widehat{Q}_{\ell},Q_{\ell}^{*}\}. Observe that for any [m1]\ell\in[m-1], QQ<Q^+1Q+1Q_{\ell}\leq Q_{\ell}^{*}<\widehat{Q}_{\ell+1}\leq Q_{\ell+1}, where the first and third inequalities follow directly from the definition of QQ_{\ell} and the second one follows from the definition of Q^+1\widehat{Q}_{\ell+1}. So, QQ_{\ell}’s are distinct and ordered. Further observe that the number of bidding policies in 𝒫m(i)\mathcal{P}_{m}^{\star}(\mathcal{B}_{-i}) is O(2m)O(2^{m}); significantly smaller than the number of policies in 𝒫m\mathcal{P}_{m}^{\star}, which is O(M¯m)O(\overline{M}^{m}).

With the definition of the restricted class of UF policies, we have

PoUFm(i)=Vm𝐎𝐏𝐓(i)max𝐛𝒫mt=1TVi(𝐛,𝜷it)Vm𝐎𝐏𝐓(i)max𝐛𝒫m(i)t=1TVi(𝐛,𝜷it).\displaystyle\textsc{PoUF}_{m}(\mathcal{B}_{-i})=\frac{V^{\mathbf{OPT}}_{m}\left(\mathcal{B}_{-i}\right)}{\max_{\mathbf{b}\in\mathcal{P}_{m}^{\star}}\sum_{t=1}^{T}V_{i}(\mathbf{b},\bm{\beta}_{-i}^{t})}\leq\frac{V^{\mathbf{OPT}}_{m}\left(\mathcal{B}_{-i}\right)}{\max_{\mathbf{b}\in\mathcal{P}_{m}^{\star}(\mathcal{B}_{-i})}\sum_{t=1}^{T}V_{i}(\mathbf{b},\bm{\beta}_{-i}^{t})}\,. (10)

Value under the Optimal (Restricted) UF Policies. Here, we characterize the optimal value under the optimal (restricted) UF policies; that is, max𝐛𝒫m(i)t=1TVi(𝐛,𝜷it)\max_{\mathbf{b}\in\mathcal{P}_{m}^{\star}(\mathcal{B}_{-i})}\sum_{t=1}^{T}V_{i}(\mathbf{b},\bm{\beta}_{-i}^{t}). To do so, we establish an important relation between mm-uniform and 1-uniform bidding policies, which is of independent interest and is invoked several times in the paper. For a bid history i=[𝜷it]t[T]\mathcal{B}_{-i}=[\bm{\beta}_{-i}^{t}]_{t\in[T]}, let Vi((b,q);𝜷it)V_{i}((b,q);\bm{\beta}_{-i}^{t}) denote the value obtained under the 1-uniform bid (b,q)(b,q) in round tt.

Lemma 3.

For any m>0m\in\mathbb{Z}_{>0}, let 𝐛=(wQ11+γ,q1),,(wQm1+γ,qm)\mathbf{b}=\left\langle\left(\frac{w_{Q_{1}}}{1+\gamma},q_{1}\right),\dots,\left(\frac{w_{Q_{m}}}{1+\gamma},q_{m}\right)\right\rangle be a mm-uniform UF bid and Q=j=1qjQ_{\ell}=\sum_{j=1}^{\ell}q_{j}. Then,

Vi(𝐛;𝜷it)=max[m]Vi((wQ1+γ,Q),𝜷it),t[T].\displaystyle V_{i}(\mathbf{b};\bm{\beta}_{-i}^{t})=\max_{\ell\in[m]}V_{i}\Big{(}\Big{(}\frac{w_{Q_{\ell}}}{1+\gamma},Q_{\ell}\Big{)},\bm{\beta}_{-i}^{t}\Big{)},\quad\forall t\in[T]\,.

We state and prove a stronger version of Lemma 3 in Section A.5. By Lemma 3, for any 𝐛𝒫m(i)\mathbf{b}\in\mathcal{P}_{m}^{\star}(\mathcal{B}_{-i}), we can express Vi(𝐛,𝜷it)V_{i}(\mathbf{b},\bm{\beta}_{-i}^{t}) as the maximum of the value obtained by mm 1-uniform UF bidding policies.

Let Vj,kV_{j,k} be the time-average value obtained by 𝐛m𝐎𝐏𝐓(i)\mathbf{b}_{m}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right) in the set of rounds in Tj,kT_{j,k} (as defined in Eq. 8). Formally, j[m],k{0,1}\forall j\in[m],k\in\{0,1\},

Vj,k=1|Tj,k|tTj,kVi(𝐛m𝐎𝐏𝐓(i),𝜷it).\displaystyle V_{j,k}=\dfrac{1}{|T_{j,k}|}\sum_{t\in T_{j,k}}V_{i}(\mathbf{b}_{m}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right),\bm{\beta}_{-i}^{t})\,.

Note that Vj,1=WQjV_{j,1}={W}_{Q_{j}^{*}} as Vj,1=1+v2++vQjV_{j,1}=1+v_{2}+\dots+v_{Q_{j}^{*}} because in any tTj,1t\in T_{j,1}, we have rt=Qjr_{t}^{*}=Q_{j}^{*}. Now, fix some 𝐛𝒫m(i)\mathbf{b}\in\mathcal{P}_{m}^{\star}(\mathcal{B}_{-i}), where 𝐛=(b1,q1),,(bm,qm):b=wQ1+γ\mathbf{b}=\langle(b_{1},q_{1}),\dots,(b_{m},q_{m})\rangle:b_{\ell}=\frac{w_{Q_{\ell}}}{1+\gamma}, and Q{Q,Q^}Q_{\ell}\in\{Q_{\ell}^{*},\widehat{Q}_{\ell}\} for any [m]\ell\in[m]. Given this bidding policy, define N,N^[m]N^{*},\widehat{N}\subseteq[m] as

N={j:Qj=Qj,j[m]} and N^={j:Qj=Q^j,j[m]}.\displaystyle N^{*}=\{j:Q_{j}=Q_{j}^{*},j\in[m]\}\quad\text{ and }\quad\widehat{N}=\{j:Q_{j}=\widehat{Q}_{j},j\in[m]\}\,.

That is, NN^{*} (respectively, N^\widehat{N}) are the set of indices in 𝐛𝒫m(i)\mathbf{b}\in\mathcal{P}_{m}^{\star}(\mathcal{B}_{-i}) under which we set QjQ_{j} to QjQ_{j}^{*} (respectively, Q^j\widehat{Q}_{j}).

With these definitions, we are ready to express the value under 𝐛𝒫m(i)\mathbf{b}\in\mathcal{P}_{m}^{\star}(\mathcal{B}_{-i}). By Lemma 3, for any round tTjt\in T_{j}, the value of 𝐛𝒫m(i)\mathbf{b}\in\mathcal{P}_{m}^{\star}(\mathcal{B}_{-i}) can be written as the maximum of mm 1-uniform bids (wQ1+γ,Q)\Big{(}\frac{w_{Q_{\ell}}}{1+\gamma_{\ell}},Q_{\ell}\Big{)}, [m]\ell\in[m]:

Vi(𝐛,𝜷it)\displaystyle V_{i}(\mathbf{b},\bm{\beta}_{-i}^{t}) =max[m]Vi((wQ1+γ,Q),𝜷it)Vi((wQj1+γ,Qj),𝜷it),\displaystyle=\max_{\ell\in[m]}V_{i}\Big{(}\Big{(}\frac{w_{Q_{\ell}}}{1+\gamma},Q_{\ell}\Big{)},\bm{\beta}_{-i}^{t}\Big{)}\geq V_{i}\Big{(}\Big{(}\frac{w_{Q_{j}}}{1+\gamma},Q_{j}\Big{)},\bm{\beta}_{-i}^{t}\Big{)}\,, (11)
t=1TVi(𝐛,𝜷it)\displaystyle\implies\sum_{t=1}^{T}V_{i}(\mathbf{b},\bm{\beta}_{-i}^{t}) jNtTjVi((wQj1+γ,Qj),𝜷it)+jN^tTjVi((wQj1+γ,Qj),𝜷it).\displaystyle\geq\sum_{j\in N^{*}}\sum_{t\in T_{j}}V_{i}\Big{(}\Big{(}\frac{w_{Q_{j}}}{1+\gamma},Q_{j}\Big{)},\bm{\beta}_{-i}^{t}\Big{)}+\sum_{j\in\widehat{N}}\sum_{t\in T_{j}}V_{i}\Big{(}\Big{(}\frac{w_{Q_{j}}}{1+\gamma},Q_{j}\Big{)},\bm{\beta}_{-i}^{t}\Big{)}\,. (12)

We then invoke the following lemma to compute tTjVi((wQj1+γ,Qj),𝜷it)\sum_{t\in T_{j}}V_{i}\Big{(}\Big{(}\frac{w_{Q_{j}}}{1+\gamma},Q_{j}\Big{)},\bm{\beta}_{-i}^{t}\Big{)} for any j[m]j\in[m].

Lemma 4.

Let 𝐛𝒫m(i)\mathbf{b}\in\mathcal{P}_{m}^{\star}(\mathcal{B}_{-i}), where 𝐛=(b1,q1),,(bm,qm):bj=wQj1+γ\mathbf{b}=\langle(b_{1},q_{1}),\dots,(b_{m},q_{m})\rangle:b_{j}=\frac{w_{Q_{j}}}{1+\gamma}, and Qj{Qj,Q^j}Q_{j}\in\{Q_{j}^{*},\widehat{Q}_{j}\} for any j[m]j\in[m]. For any j[m]j\in[m],

  • if Qj=Q^jQ_{j}=\widehat{Q}_{j} (i.e., jN^j\in\widehat{N}), we have

    tTjVi((wQj1+γ,Qj),𝜷it)Vj,0|Tj,0|+WQ^j|Tj,1|.\displaystyle\sum_{t\in T_{j}}V_{i}\Big{(}\Big{(}\frac{w_{Q_{j}}}{1+\gamma},Q_{j}\Big{)},\bm{\beta}_{-i}^{t}\Big{)}\geq V_{j,0}|T_{j,0}|+{W}_{\widehat{Q}_{j}}|T_{j,1}|\,. (13)
  • If Qj=QjQ_{j}=Q_{j}^{*} (i.e., jNj\in N^{*}), we have

    tTjVi((wQj1+γ,Qj),𝜷it)WQj|Tj,1|.\displaystyle\sum_{t\in T_{j}}V_{i}\Big{(}\Big{(}\frac{w_{Q_{j}}}{1+\gamma},Q_{j}\Big{)},\bm{\beta}_{-i}^{t}\Big{)}\geq{W}_{Q_{j}^{*}}|T_{j,1}|\,. (14)

The proof of Lemma 4 is presented in Section A.6. Note that the lower bound in Eq. 12 depends only on the choice of the partitions NN^{*} and N^\widehat{N}. Substituting the lower bound from Lemma 4 in (10), we establish that for any (N,N^)(N^{*},\widehat{N}),

PoUFm(i)\displaystyle\textsc{PoUF}_{m}(\mathcal{B}_{-i}) Vm𝐎𝐏𝐓(i)max𝐛𝒫m(i)t=1TVi(𝐛;𝜷it)\displaystyle\leq\frac{V^{\mathbf{OPT}}_{m}\left(\mathcal{B}_{-i}\right)}{\max_{\mathbf{b}\in\mathcal{P}_{m}^{\star}(\mathcal{B}_{-i})}\sum_{t=1}^{T}V_{i}(\mathbf{b};\bm{\beta}_{-i}^{t})}
Vm𝐎𝐏𝐓(i)jN(WQj|Tj,1|)+jN^(Vj,0|Tj,0|+WQ^j|Tj,1|).\displaystyle\leq\frac{V^{\mathbf{OPT}}_{m}\left(\mathcal{B}_{-i}\right)}{\sum_{j\in N^{*}}\Big{(}{W}_{Q_{j}^{*}}|T_{j,1}|\Big{)}+\sum_{j\in\widehat{N}}\Big{(}V_{j,0}|T_{j,0}|+{W}_{\widehat{Q}_{j}}|T_{j,1}|\Big{)}}\,. (15)

To complete the claim, we establish an upper bound on (15) (equivalently on PoUFm(i)\textsc{PoUF}_{m}(\mathcal{B}_{-i})) by:

Lemma 5.

For any i\mathcal{B}_{-i}, let N0,N^0N_{0}^{*},\widehat{N}_{0} be the partition of [m][m] that minimizes RHS in Eq. 15. Then,

Vm𝐎𝐏𝐓(i)jN0(WQj|Tj,1|)+jN^0(Vj,0|Tj,0|+WQ^j|Tj,1|)2θi,\displaystyle\frac{V^{\mathbf{OPT}}_{m}\left(\mathcal{B}_{-i}\right)}{\sum_{j\in N_{0}^{*}}\Big{(}{W}_{Q_{j}^{*}}|T_{j,1}|\Big{)}+\sum_{j\in\widehat{N}_{0}}\Big{(}V_{j,0}|T_{j,0}|+{W}_{\widehat{Q}_{j}}|T_{j,1}|\Big{)}}\leq 2-\theta_{\mathcal{B}_{-i}}\,,

where 0<θimaxj[m]WQ^jWQj10<\theta_{\mathcal{B}_{-i}}\leq\max_{j\in[m]}\frac{{W}_{\widehat{Q}_{j}}}{{W}_{Q_{j}^{*}}}\leq 1. So, PoUFm(i)2θi.\textsc{PoUF}_{m}(\mathcal{B}_{-i})\leq 2-{\theta}_{\mathcal{B}_{-i}}.

The proof of Lemma 5 is presented in Section A.7.

6 Increasing the Number of Bid Quantity Pairs

In this section, we study the impact of increasing the number of bid-quantity pairs on the total value obtained compared to the base case when m=1m=1. Intuitively, a mm-uniform policy is more likely to get a higher value than a 1-uniform policy. We formalize this notion in this section and prove that the increase is linear in mm. Recall that in Section 2.5, we defined two metrics: Ratio-unim:=maxiVm(i)V1(i)\textsc{Ratio-uni}_{m}:=\max_{\mathcal{B}_{-i}}\frac{V_{m}^{*}(\mathcal{B}_{-i})}{V_{1}^{*}(\mathcal{B}_{-i})} and Ratio-optm:=maxiVm𝐎𝐏𝐓(i)V1𝐎𝐏𝐓(i)\textsc{Ratio-opt}_{m}:=\max_{\mathcal{B}_{-i}}\frac{V^{\mathbf{OPT}}_{m}\left(\mathcal{B}_{-i}\right)}{V^{\mathbf{OPT}}_{1}\left(\mathcal{B}_{-i}\right)}. We now present the main result of this section.

Theorem 6.1 (Impact of increasing mm).

For any m2m\geq 2, 1Ratio-unim,Ratio-optm<m1\leq\textsc{Ratio-uni}_{m},\textsc{Ratio-opt}_{m}<m\,.

  • In other words, for any given bid history, the optimal (UF) 11-uniform bidding policy obtains at least (1/m)th(1/m)^{th} of the value obtained by the optimal (UF) kk-uniform bidding policy, where k[m]k\in[m].

  • Furthermore, the upper bound is tight, i.e., for any δ(0,1/2]\delta\in(0,1/2], there exists a bid history, i\mathcal{B}_{-i} and a valuation curve such that V1(i)=1/(mδ)Vm(i)V_{1}^{*}(\mathcal{B}_{-i})=1/(m-\delta)\cdot V_{m}^{*}(\mathcal{B}_{-i}) and V1𝐎𝐏𝐓(i)=1/(mδ)Vm𝐎𝐏𝐓(i)V^{\mathbf{OPT}}_{1}\left(\mathcal{B}_{-i}\right)=1/(m-\delta)\cdot V^{\mathbf{OPT}}_{m}\left(\mathcal{B}_{-i}\right).

The proof of the upper bound is presented in Section A.8 and the tightness of the bound is discussed in Section B.3.

We finally present a result relating the inefficiency caused by restricting the policies to be UF (Theorem 5.2) and that caused by restricting to only 1-uniform bidding policies (Theorem 6.1).

Theorem 6.2.

For any m>0m\in\mathbb{Z}_{>0}, 1maxiVm𝐎𝐏𝐓(i)V1(i)<2m1\leq\max_{\mathcal{B}_{-i}}\frac{V^{\mathbf{OPT}}_{m}\left(\mathcal{B}_{-i}\right)}{V_{1}^{*}(\mathcal{B}_{-i})}<2m\,.

  • Put differently, for any bid history, the value obtained by the optimal 1-uniform UF bidding policy is at least (1/2m)th(1/2m)^{th} of the value obtained by the optimal kk-uniform bidding policy, where k[m]k\in[m], which is not necessarily UF.

  • Moreover, the upper bound is tight, that is, for any δ(0,1/2]\delta\in(0,1/2], there exists a i\mathcal{B}_{-i} and valuation curve such that V1(i)=1/(2mδ)Vm𝐎𝐏𝐓(i)V_{1}^{*}(\mathcal{B}_{-i})=1/(2m-\delta)\cdot V^{\mathbf{OPT}}_{m}\left(\mathcal{B}_{-i}\right).

The lower bound holds trivially as Vm𝐎𝐏𝐓(i)V1𝐎𝐏𝐓(i)V1(i)V^{\mathbf{OPT}}_{m}\left(\mathcal{B}_{-i}\right)\geq V^{\mathbf{OPT}}_{1}\left(\mathcal{B}_{-i}\right)\geq V_{1}^{*}(\mathcal{B}_{-i}) for any i\mathcal{B}_{-i}. To obtain the upper bound, observe that by Theorem 5.2 for m=1m=1 and Theorem 6.1, we get

maxiVm𝐎𝐏𝐓(i)V1(i)maxiVm𝐎𝐏𝐓(i)V1𝐎𝐏𝐓(i)maxiV1𝐎𝐏𝐓(i)V1(i)=Ratio-optmPoUF1<2m.\displaystyle\max_{\mathcal{B}_{-i}}\frac{V^{\mathbf{OPT}}_{m}\left(\mathcal{B}_{-i}\right)}{V_{1}^{*}(\mathcal{B}_{-i})}\leq\max_{\mathcal{B}_{-i}}\frac{V^{\mathbf{OPT}}_{m}\left(\mathcal{B}_{-i}\right)}{V^{\mathbf{OPT}}_{1}\left(\mathcal{B}_{-i}\right)}\cdot\max_{\mathcal{B}_{-i}}\frac{V^{\mathbf{OPT}}_{1}\left(\mathcal{B}_{-i}\right)}{V_{1}^{*}(\mathcal{B}_{-i})}=\textsc{Ratio-opt}_{m}\cdot\textsc{PoUF}_{1}<2m\,.

The tightness of the bound is presented in Section B.4. To understand the implication of the theorem, recall that we introduce inefficiency due to two factors: (i) restricting the bids to be UF and (ii) choosing the number of bid-quantity pairs in the bidding policy. Theorem 6.2 (specifically the tightness of the upper bound) suggests that the effects of both the inefficiencies are decoupled.

7 Identifying the Optimal Universally Feasible Policy

In the previous sections, we characterized the optimal class of mm-uniform UF bidding policies and showed that the class has a good performance while adhering to UF property. In this section, we discuss the problem of learning the optimal UF policy on the fly as the bidder participates in auctions over time.

Formally, consider a repeated setting where in every round tt, the seller announces the auction for KK identical items. The bidder submits a bid 𝐛t𝒫m\mathbf{b}^{t}\in\mathcal{P}_{m}^{\star} with no knowledge about the bids submitted by the competitors for round tt. The seller collects the bids from all the bidders, 𝜷it\bm{\beta}_{-i}^{t}, and allocates the items to the bidders with the top KK bids by setting the KthK^{th} highest bid as the clearing price.

As before, we consider the problem from the perspective of a single RoI-constrained, value-maximizing bidder. Our goal is then to design no-regret (sublinear regret) learning algorithms for bidding, where the regret is the difference between the value under the optimal UF policy in 𝒫m\mathcal{P}_{m}^{\star} and what the bidder earns:

Regret(T)=max𝐛𝒫mt=1TVi(𝐛,𝜷it)t=1T𝔼[Vi(𝐛t,𝜷it)],\displaystyle\textsc{Regret}(T)=\max_{\mathbf{b}\in\mathcal{P}_{m}^{\star}}\sum_{t=1}^{T}V_{i}(\mathbf{b},\bm{\beta}_{-i}^{t})-\sum_{t=1}^{T}\mathbb{E}\left[V_{i}(\mathbf{b}^{t},\bm{\beta}_{-i}^{t})\right]\,,

where the expectation is with respect to any randomness in the learning algorithm. To design a no-regret learning policy, when the number of bid-quantity pairs mm is small, which is typically the case in practice, one can leverage existing learning algorithms such as Hedge (Freund and Schapire, 1997) (for the full information setting)444In the full information setting, based on the received feedback, the bidder can compute Vi(𝐛,𝜷it)V_{i}(\mathbf{b},\bm{\beta}_{-i}^{t}) for all 𝐛𝒫m\mathbf{b}\in\mathcal{P}_{m}^{\star}. In the bandit setting, the bidder gets information about her own allocation, i.e., Vi(𝐛t,𝜷it)V_{i}(\mathbf{b}^{t},\bm{\beta}_{-i}^{t}) only. and the EXP3 algorithm (Auer et al., 1995) (for the bandit setting), leading to a regret of Regret(T)=O~(M¯T)\textsc{Regret}(T)=\widetilde{O}(\overline{M}\sqrt{T}) and O~(M¯1+0.5mT)\widetilde{O}(\overline{M}^{1+0.5m}\sqrt{T}), respectively, where O~()\widetilde{O}(\cdot) hides the logarithmic factors. Hence, from the results of Theorem 6.1, we observe that increasing the number of bids from 1 to any general mm can increase the total value obtained by at most a factor linear in mm but the number of rounds required to identify such a policy can grow exponentially in mm. Each bidding policy in 𝒫m\mathcal{P}_{m}^{\star} can be viewed as an expert in the Hedge and EXP3 algorithm. As mm is a constant, the number of experts, which is O(M¯m)O(\overline{M}^{m}), is also small.

For the case when mm is large, the aforementioned learning algorithms are not practically appealing. Nevertheless, we design a method to obtain an approximately optimal nested mm-uniform bidding policy. The design of this algorithm is based on the following direct corollary of Lemma 3:

Corollary 7.1.

For any i=[𝛃it]t[T]\mathcal{B}_{-i}=[\bm{\beta}_{-i}^{t}]_{t\in[T]}, we have

max𝐛𝒫mt=1TVi(𝐛,𝜷it)=maxS[M¯]:|S|mt=1TmaxSVi((w1+γ,),𝜷it).\displaystyle\max_{\mathbf{b}\in\mathcal{P}_{m}^{\star}}\sum_{t=1}^{T}V_{i}(\mathbf{b},\bm{\beta}_{-i}^{t})=\max_{S\subseteq[\overline{M}]:|S|\leq m}\sum_{t=1}^{T}\max_{\ell\in S}V_{i}\left(\left(\frac{w_{\ell}}{1+\gamma},\ell\right),\bm{\beta}_{-i}^{t}\right)\,.

The proof of Corollary 7.1 is presented in Section A.9. This corollary shows that the offline problem of identifying the optimal UF bidding policy can be viewed as maximizing a certain monotone submodular function of the form: ft(S)=maxSVi((w1+γ,),𝜷it)f_{t}(S)=\max_{\ell\in S}V_{i}\left(\left(\frac{w_{\ell}}{1+\gamma},\ell\right),\bm{\beta}_{-i}^{t}\right), subject to cardinality constraints. The submodularity of ftf_{t} follows directly from Cornuéjols et al. (1983, Theorem 9.1). With this observation, one can employ algorithms for online submodular optimization under cardinality constraint to obtain sublinear (11/e)(1-1/e)-approximate regret of the order O~(mM¯T)\widetilde{O}(m\overline{M}\sqrt{T}) in the full information setting and O~(mM¯5/3T2/3)\widetilde{O}(m\overline{M}^{5/3}T^{2/3}) in the bandit setting (Niazadeh et al., 2022).

8 Numerical Simulations

In this section, we conduct numerical experiments to study the results of this work in practice. Specifically, we investigate two key metrics that measure the performance of UF bidding policies: Vm𝐎𝐏𝐓(i)Vm(i)\frac{V^{\mathbf{OPT}}_{m}\left(\mathcal{B}_{-i}\right)}{V_{m}^{*}(\mathcal{B}_{-i})} (proxy for PoUFm\textsc{PoUF}_{m}) and Vm(i)V1(i)\frac{V_{m}^{*}(\mathcal{B}_{-i})}{V_{1}^{*}(\mathcal{B}_{-i})} (proxy for Ratio-unim\textsc{Ratio-uni}_{m}) as a function of mm. Recall that, PoUFm<2\textsc{PoUF}_{m}<2, irrespective of mm (Theorem 5.2), and Ratio-unim<m\textsc{Ratio-uni}_{m}<m (Theorem 6.1).

Dataset and Parameters. We conduct our simulations for the EU ETS emission permit auction data for 2022 and 2023. However, only aggregate statistics of the submitted bids is publicly available for privacy reasons. Hence, we synthesize individual level bid data from these available statistics. The exact procedure to reconstruct the bid data is presented in Section C.1. The bids are normalised to be in [0,1][0,1]. We sample the values from the Unif[0,1]\text{Unif}[0,1] distribution. In each simulation, we sample TUnif[100,300]T\sim\text{Unif}[100,300] auctions and let M¯Unif[10,80]\overline{M}\sim\text{Unif}[10,80]. We solve (VM-unim\textsc{VM-uni}_{m}) by formulating it as an integer linear program (ILP) by Corollary 7.1. As computing (VM-optm\textsc{VM-opt}_{m}) can be non-trivial, we obtain an uniform upper bound for Vm𝐎𝐏𝐓(i)V^{\mathbf{OPT}}_{m}\left(\mathcal{B}_{-i}\right). The ILP and the uniform upper bound for Vm𝐎𝐏𝐓(i)V^{\mathbf{OPT}}_{m}\left(\mathcal{B}_{-i}\right) is presented in Section C.2. We vary m=1m=1 to m=10m=10 and average over 100 simulations. The results are plotted in Fig. 4.

Refer to caption
Refer to caption
Figure 4: The left (resp. right) figure corresponds to Vm𝐎𝐏𝐓(i)Vm(i)\frac{V^{\mathbf{OPT}}_{m}\left(\mathcal{B}_{-i}\right)}{V_{m}^{*}(\mathcal{B}_{-i})} (resp. Vm(i)V1(i)\frac{V_{m}^{*}(\mathcal{B}_{-i})}{V_{1}^{*}(\mathcal{B}_{-i})}) as a function of mm. The shaded area denotes the uncertainty of one standard deviation on either side.

Price of Universal Feasibility. The simulations (i.e., the left plot of Fig. 4) show that (the upper bound for) Vm𝐎𝐏𝐓(i)Vm(i)\frac{V^{\mathbf{OPT}}_{m}\left(\mathcal{B}_{-i}\right)}{V_{m}^{*}(\mathcal{B}_{-i})} rapidly decays to 1 with increase in mm. Specifically, for m4m\geq 4, the ratio of the value obtained by the optimal bidding policy (not necessarily UF) to that by UF bidding policies is 1.05\sim 1.05 indicating that the UF policies are near-optimal. Interestingly, this threshold value of mm aligns with the average number of bid-quantity pairs submitted by bidders in the actual EU ETS auctions during this time frame (4.35 for 2023 and 3.89 for 2022) (EEX, 2023).

Increasing the Number of Bid Quantity Pairs. From the right plot of Fig. 4, we observe that the empirical values of Vm(i)V1(i)\frac{V_{m}^{*}(\mathcal{B}_{-i})}{V_{1}^{*}(\mathcal{B}_{-i})} is significantly better than the worst-case bound mm (Theorem 6.1). In fact, the gain obtained by increasing the number of bid-quantity pairs plateaus after m=4m=4 and even for m=10m=10, the ratio of the value obtained by a 10-uniform bidding policy to a classical (1-)uniform bidding policy is 1.25\sim 1.25. Both the results indicate that UF bidding policies with small values of mm are practically optimal.

9 Conclusion and Open Problems

We studied uniform price auctions, widely used in various markets. While these auctions offer fair pricing, bidder behavior may deviate from theoretical predictions. We examine how bidders, seeking to maximize value while meeting RoI constraints, behave in these auctions. Our study characterizes the optimal bidding policies that maintain universal RoI feasibility regardless of competitors’ bids, showing that this class depends solely on the bidders’ valuations and RoI parameters. We also quantify the cost of enforcing the universal RoI feasibility property and explore the benefits of increasing the number of bid-quantity pairs. Additionally, we discussed methods for identifying optimal bidding policies and address challenges in scenarios with a large number of bid-quantity pairs. Furthemore, we conducted numerical simulations that show the universally feasible bidding policies perform substantially better than the theoretical results presented in this study.

Our study opens the door to several intriguing areas of interest for further exploration. First, analyzing discriminatory price auctions, also known as “pay-as-bid” auctions, could shed light on bidding strategies under this alternative auction framework. Second, introducing both RoI and budgetary constraints would offer a more realistic model of bidder behavior in practical scenarios where bidders may have financial limitations beyond just RoI considerations. Lastly, the extension of our findings to scenarios involving non-identical items, such as those encountered in combinatorial auctions, might provide valuable insights into more complex auction environments where items possess diverse characteristics and values.

References

  • Aggarwal et al. (2019) Gagan Aggarwal, Ashwinkumar Badanidiyuru, and Aranyak Mehta. Autobidding with constraints. In Web and Internet Economics: 15th International Conference, WINE 2019, New York, NY, USA, December 10–12, 2019, Proceedings 15, pages 17–30. Springer, 2019.
  • Anshelevich et al. (2008) Elliot Anshelevich, Anirban Dasgupta, Jon Kleinberg, Éva Tardos, Tom Wexler, and Tim Roughgarden. The price of stability for network design with fair cost allocation. SIAM Journal on Computing, 38(4):1602–1623, 2008.
  • Auer et al. (1995) Peter Auer, Nicolo Cesa-Bianchi, Yoav Freund, and Robert E Schapire. Gambling in a rigged casino: The adversarial multi-armed bandit problem. In Proceedings of IEEE 36th annual foundations of computer science, pages 322–331. IEEE, 1995.
  • Babaioff et al. (2023) Moshe Babaioff, Nicole Immorlica, Yingkai Li, and Brendan Lucier. Making auctions robust to aftermarkets. In 14th Innovations in Theoretical Computer Science Conference (ITCS 2023). Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2023.
  • Balseiro et al. (2019) Santiago Balseiro, Negin Golrezaei, Mohammad Mahdian, Vahab Mirrokni, and Jon Schneider. Contextual bandits with cross-learning. Advances in Neural Information Processing Systems, 32, 2019.
  • Balseiro et al. (2021a) Santiago Balseiro, Yuan Deng, Jieming Mao, Vahab Mirrokni, and Song Zuo. Robust auction design in the auto-bidding world. Advances in Neural Information Processing Systems, 34:17777–17788, 2021a.
  • Balseiro et al. (2021b) Santiago Balseiro, Yuan Deng, Jieming Mao, Vahab S Mirrokni, and Song Zuo. The landscape of auto-bidding auctions: Value versus utility maximization. In Proceedings of the 22nd ACM Conference on Economics and Computation, pages 132–133, 2021b.
  • Balseiro et al. (2022) Santiago Balseiro, Yuan Deng, Jieming Mao, Vahab Mirrokni, and Song Zuo. Optimal mechanisms for value maximizers with budget constraints via target clipping. Available at SSRN 4081457, 2022.
  • Bertsimas et al. (2011) Dimitris Bertsimas, Vivek F Farias, and Nikolaos Trichakis. The price of fairness. Operations research, 59(1):17–31, 2011.
  • Beyhaghi et al. (2021) Hedyeh Beyhaghi, Negin Golrezaei, Renato Paes Leme, Martin Pál, and Balasubramanian Sivan. Improved revenue bounds for posted-price and second-price mechanisms. Operations Research, 69(6):1805–1822, 2021.
  • Binmore and Swierzbinski (2000) Ken Binmore and Joe Swierzbinski. Treasury auctions: Uniform or discriminatory? Review of Economic Design, 5:387–410, 2000.
  • Birmpas et al. (2019) Georgios Birmpas, Evangelos Markakis, Orestis Telelis, and Artem Tsikiridis. Tight welfare guarantees for pure nash equilibria of the uniform price auction. Theory of Computing Systems, 63:1451–1469, 2019.
  • Blumrosen and Nisan (2007) Liad Blumrosen and Noam Nisan. Combinatorial auctions. Algorithmic game theory, 267:300, 2007.
  • Borgs et al. (2005) Christian Borgs, Jennifer Chayes, Nicole Immorlica, Mohammad Mahdian, and Amin Saberi. Multi-unit auctions with budget-constrained bidders. In Proceedings of the 6th ACM Conference on Electronic Commerce, pages 44–51, 2005.
  • Brânzei et al. (2023a) Simina Brânzei, Mahsa Derakhshan, Negin Golrezaei, and Yanjun Han. Learning and collusion in multi-unit auctions. In Thirty-seventh Conference on Neural Information Processing Systems, 2023a. URL https://openreview.net/forum?id=1HKJ3lPz6m.
  • Brânzei et al. (2023b) Simina Brânzei, Aris Filos-Ratsikas, Peter Bro Miltersen, and Yulong Zeng. Walrasian pricing in multi-unit auctions. Artificial Intelligence, page 103961, 2023b.
  • Cason and Plott (1996) Timothy N Cason and Charles R Plott. Epa’s new emissions trading mechanism: a laboratory evaluation. Journal of environmental economics and management, 30(2):133–160, 1996.
  • Chari and Weber (1992) V Chari and Robert Weber. How the us treasury should auction its debt. Federal Reserve Bank of Minneapolis Quarterly Review, 16(4), 1992.
  • Cornuéjols et al. (1977) Gérard Cornuéjols, Marshall L. Fisher, and George L. Nemhauser. Exceptional paper—location of bank accounts to optimize float: An analytic study of exact and approximate algorithms. Management Science, 23(8):789–810, 1977. doi: 10.1287/mnsc.23.8.789.
  • Cornuéjols et al. (1983) Gérard Cornuéjols, George Nemhauser, and Laurence Wolsey. The uncapicitated facility location problem. Technical report, Cornell University Operations Research and Industrial Engineering, 1983.
  • Cramton and Ausubel (2006) Peter Cramton and Lawrence M Ausubel. Dynamic auctions in procurement. Handbook of Procurement, pages 1–21, 2006.
  • Cramton and Stoft (2006) Peter Cramton and Steven Stoft. Uniform-price auctions in electricity markets. Elsevier Science, 2006.
  • De Keijzer et al. (2013) Bart De Keijzer, Evangelos Markakis, Guido Schäfer, and Orestis Telelis. Inefficiency of standard multi-unit auctions. In European Symposium on Algorithms, pages 385–396. Springer, 2013.
  • De Vries and Vohra (2003) Sven De Vries and Rakesh V Vohra. Combinatorial auctions: A survey. INFORMS Journal on computing, 15(3):284–309, 2003.
  • Deng et al. (2020) Yuan Deng, Sébastien Lahaie, Vahab Mirrokni, and Song Zuo. A data-driven metric of incentive compatibility. In Proceedings of The Web Conference 2020, pages 1796–1806, 2020.
  • Deng et al. (2021) Yuan Deng, Jieming Mao, Vahab Mirrokni, and Song Zuo. Towards efficient auctions in an auto-bidding world. In Proceedings of the Web Conference 2021, pages 3965–3973, 2021.
  • Deng et al. (2022) Yuan Deng, Negin Golrezaei, Patrick Jaillet, Jason Cheuk Nam Liang, and Vahab Mirrokni. Fairness in the autobidding world with machine-learned advice. arXiv preprint arXiv:2209.04748, 2022.
  • Deng et al. (2023a) Yuan Deng, Negin Golrezaei, Patrick Jaillet, Jason Cheuk Nam Liang, and Vahab Mirrokni. Multi-channel autobidding with budget and roi constraints. In International Conference on Machine Learning, pages 7617–7644. PMLR, 2023a.
  • Deng et al. (2023b) Yuan Deng, Jieming Mao, Vahab Mirrokni, Hanrui Zhang, and Song Zuo. Autobidding auctions in the presence of user costs. In Proceedings of the ACM Web Conference 2023, pages 3428–3435, 2023b.
  • Derakhshan et al. (2021) Mahsa Derakhshan, David M Pennock, and Aleksandrs Slivkins. Beating greedy for approximating reserve prices in multi-unit vcg auctions. In Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA), pages 1099–1118. SIAM, 2021.
  • Derakhshan et al. (2022) Mahsa Derakhshan, Negin Golrezaei, and Renato Paes Leme. Linear program-based approximation for personalized reserve prices. Management Science, 68(3):1849–1864, 2022.
  • Dobzinski and Leme (2014) Shahar Dobzinski and Renato Paes Leme. Efficiency guarantees in auctions with budgets. In International Colloquium on Automata, Languages, and Programming, pages 392–404. Springer, 2014.
  • Dobzinski and Nisan (2015) Shahar Dobzinski and Noam Nisan. Multi-unit auctions: beyond roberts. Journal of Economic Theory, 156:14–44, 2015.
  • Dobzinski et al. (2012) Shahar Dobzinski, Ron Lavi, and Noam Nisan. Multi-unit auctions with budget limits. Games and Economic Behavior, 74(2):486–503, 2012.
  • EEX (2023) EEX. Eex - eua primary auction spot download, 2023. URL https://www.eex.com/en/market-data/environmental-markets/eua-primary-auction-spot-download. Accessed on January 17, 2024.
  • Engelbrecht-Wiggans et al. (2006) Richard Engelbrecht-Wiggans, John A List, and David H Reiley. Demand reduction in multi-unit auctions with varying numbers of bidders: theory and evidence from a field experiment. International Economic Review, 47(1):203–231, 2006.
  • Fabra et al. (2006) Natalia Fabra, Nils-Henrik von der Fehr, and David Harbord. Designing electricity auctions. The RAND Journal of Economics, 37(1):23–46, 2006.
  • Fadaei and Bichler (2016) Salman Fadaei and Martin Bichler. Truthfulness and approximation with value-maximizing bidders. In International Symposium on Algorithmic Game Theory, pages 235–246. Springer, 2016.
  • Feng et al. (2023) Zhe Feng, Swati Padmanabhan, and Di Wang. Online bidding algorithms for return-on-spend constrained advertisers. In Proceedings of the ACM Web Conference 2023, pages 3550–3560, 2023.
  • Freund and Schapire (1997) Yoav Freund and Robert E Schapire. A decision-theoretic generalization of on-line learning and an application to boosting. Journal of computer and system sciences, 55(1):119–139, 1997.
  • Friedman (1959) Milton Friedman. Testimony in employment, growth, and price levels. In Hearings before the Joint Economic Committee, 86th Congress, 1st Session, pages 3023–3026, Washington, D.C., 1959.
  • Galgana and Golrezaei (2023) Rigel Galgana and Negin Golrezaei. Learning in repeated multi-unit pay-as-bid auctions, 2023.
  • Garbade and Ingber (2005) Kenneth Garbade and Jeffrey Ingber. The treasury auction process: Objectives, structure, and recent adaptations. Structure, and Recent Adaptations, 2005.
  • Goldner et al. (2020) Kira Goldner, Nicole Immorlica, and Brendan Lucier. Reducing inefficiency in carbon auctions with imperfect competition. In 11th Innovations in Theoretical Computer Science Conference (ITCS 2020). Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2020.
  • Golrezaei et al. (2021a) Negin Golrezaei, Adel Javanmard, and Vahab Mirrokni. Dynamic incentive-aware learning: Robust pricing in contextual auctions. Operations Research, 69(1):297–314, 2021a.
  • Golrezaei et al. (2021b) Negin Golrezaei, Max Lin, Vahab Mirrokni, and Hamid Nazerzadeh. Boosted second price auctions: Revenue optimization for heterogeneous bidders. In Proceedings of the 27th ACM SIGKDD Conference on Knowledge Discovery & Data Mining, pages 447–457, 2021b.
  • Golrezaei et al. (2021c) Negin Golrezaei, Ilan Lobel, and Renato Paes Leme. Auction design for roi-constrained buyers. In Proceedings of the Web Conference 2021, pages 3941–3952, 2021c.
  • Golrezaei et al. (2023) Negin Golrezaei, Patrick Jaillet, Jason Cheuk Nam Liang, and Vahab Mirrokni. Pricing against a budget and roi constrained buyer. In International Conference on Artificial Intelligence and Statistics, pages 9282–9307. PMLR, 2023.
  • Goulder and Schein (2013) Lawrence H Goulder and Andrew R Schein. Carbon taxes versus cap and trade: a critical review. Climate Change Economics, 4(03):1350010, 2013.
  • Hailu and Thoyer (2010) Atakelty Hailu and Sophie Thoyer. What format for multi-unit multiple-bid auctions? agent-based simulation of auction performance and nonlinear bidding behaviour. Computational Economics, 35:189–209, 2010.
  • Hartline and Roughgarden (2009) Jason D. Hartline and Tim Roughgarden. Simple versus optimal mechanisms. In Proceedings 10th ACM Conference on Electronic Commerce (EC-2009), Stanford, California, USA, July 6–10, 2009, pages 225–234, 2009.
  • Kahn et al. (2001) Alfred E Kahn, Peter Cramton, Robert H Porter, Richard D Tabors, et al. Pricing in the california power exchange electricity market: Should california switch from uniform pricing to pay-as-bid pricing? Blue Ribbon Panel Report, California Power Exchange, 2001.
  • Klemperer (2009) Paul Klemperer. A new auction for substitutes: Central-bank liquidity auctions,’toxic asset’auctions, and variable product-mix auctions. Journal of the European Economic Association, Forthcoming, 2009.
  • Koutsoupias and Papadimitriou (1999) Elias Koutsoupias and Christos Papadimitriou. Worst-case equilibria. In Annual symposium on theoretical aspects of computer science, pages 404–413. Springer, 1999.
  • Liaw et al. (2023) Christopher Liaw, Aranyak Mehta, and Andres Perlroth. Efficiency of non-truthful auctions in auto-bidding: The power of randomization. In Proceedings of the ACM Web Conference 2023, WWW ’23, page 3561–3571, New York, NY, USA, 2023.
  • Lucier et al. (2023) Brendan Lucier, Sarath Pattathil, Aleksandrs Slivkins, and Mengxiao Zhang. Autobidders with budget and roi constraints: Efficiency, regret, and pacing dynamics. arXiv preprint arXiv:2301.13306, 2023.
  • Mas-Colell et al. (1995) Andreu Mas-Colell, Michael Dennis Whinston, Jerry R Green, et al. Microeconomic theory, volume 1. Oxford university press New York, 1995.
  • Milgrom (2004) Paul Robert Milgrom. Putting auction theory to work. Cambridge University Press, 2004.
  • Myerson (1981) Roger B Myerson. Optimal auction design. Mathematics of operations research, 6(1):58–73, 1981.
  • Niazadeh et al. (2022) Rad Niazadeh, Negin Golrezaei, Joshua Wang, Fransisca Susan, and Ashwinkumar Badanidiyuru. Online learning via offline greedy algorithms: Applications in market design and optimization. Management Science, 2022.
  • Nyborg et al. (2002) Kjell G Nyborg, Kristian Rydqvist, and Suresh M Sundaresan. Bidder behavior in multiunit auctions: Evidence from swedish treasury auctions. Journal of Political Economy, 110(2):394–424, 2002.
  • Palacios-Huerta et al. (2022) Ignacio Palacios-Huerta, David C Parkes, and Richard Steinberg. Combinatorial auctions in practice. Available at SSRN 3844338, 2022.
  • Pekeč and Rothkopf (2003) Aleksandar Pekeč and Michael H Rothkopf. Combinatorial auction design. Management Science, 49(11):1485–1503, 2003.
  • Regulations (2019) EU ETS Auction Regulations. Eu ets auction regulations, 2019. URL https://eur-lex.europa.eu/legal-content/EN/TXT/PDF/?uri=CELEX:02010R1031-20191128. Accessed on January 19, 2024.
  • Riley and Samuelson (1981) John G Riley and William F Samuelson. Optimal auctions. The American Economic Review, 71(3):381–392, 1981.
  • Roughgarden and Wang (2019) Tim Roughgarden and Joshua R Wang. Minimizing regret with multiple reserves. ACM Transactions on Economics and Computation (TEAC), 7(3):1–18, 2019.
  • Sandholm (2003) Tuomas Sandholm. Automated mechanism design: A new application area for search algorithms. In International Conference on Principles and Practice of Constraint Programming, pages 19–36. Springer, 2003.
  • Schmalensee and Stavins (2017) Richard Schmalensee and Robert N Stavins. Lessons learned from three decades of experience with cap and trade. Review of Environmental Economics and Policy, 2017.
  • Tierney et al. (2008) Susan F Tierney, Todd Schatzki, and Rana Mukerji. Uniform-pricing versus pay-as-bid in wholesale electricity markets: does it make a difference? New York ISO, 2008.
  • Wilkens et al. (2016) Christopher A Wilkens, Ruggiero Cavallo, Rad Niazadeh, and Samuel Taggart. Mechanism design for value maximizers. arXiv preprint arXiv:1607.04362, 2016.
  • Williamson and Shmoys (2011) David P Williamson and David B Shmoys. The design of approximation algorithms. Cambridge university press, 2011.
  • Wilson (1985) Robert Wilson. Game-theoretic analyses of trading processes. Institute for Mathematical Studies in the Social Sciences, Stanford University, 1985.

Appendix A Omitted Proofs

A.1 Proof of Theorem 3.1

Define the following class of no-overbidding (NOB) bidding policies containing upto mm bid-quantity pairs:

𝒫m𝐍𝐎𝐁:={𝐛=(b1,q1),,(bk,qk):bwQ1+γ,[k],k[m]}.\displaystyle\mathcal{P}_{m}^{\mathbf{NOB}}:=\Big{\{}\mathbf{b}=\langle(b_{1},q_{1}),\dots,(b_{k},q_{k})\rangle:b_{\ell}\leq\frac{w_{Q_{\ell}}}{1+\gamma},\forall\ell\in[k],\forall k\in[m]\Big{\}}\,.

We first show that 𝒫m𝒫m𝐍𝐎𝐁\mathcal{P}_{m}\subseteq\mathcal{P}_{m}^{\mathbf{NOB}}, and then complete the proof by showing 𝒫m𝐍𝐎𝐁𝒫m\mathcal{P}_{m}^{\mathbf{NOB}}\subseteq\mathcal{P}_{m}.

Proof of 𝒫m𝒫m𝐍𝐎𝐁\mathcal{P}_{m}\subseteq\mathcal{P}_{m}^{\mathbf{NOB}}. We start by presenting a lemma about the bidder’s per unit payments, which we will also use to prove several other results.

Lemma 6 (Per-unit Payments).

Suppose the bidder bids 𝐛=(b1,q1),,(bm,qm)\mathbf{b}=\langle(b_{1},q_{1}),\dots,(b_{m},q_{m})\rangle. Recall that Qj==1jq,j[m]Q_{j}=\sum_{\ell=1}^{j}q_{\ell},\forall j\in[m]. Recall that, 𝛃i,t(j)\bm{\beta}_{-i,t}^{-(j)} is the jthj^{th} smallest winning bid in the absence of bids from bidder ii for round tt. If j=0j=0, 𝛃i,t(j)=0\bm{\beta}_{-i,t}^{-(j)}=0 and jKj\geq K, 𝛃i,t(j)=\bm{\beta}_{-i,t}^{-(j)}=\infty. Then, the per-unit payments by the bidder in round tt is

p(𝜷t)={0,if xi(𝜷t)=0b,if Q1<xi(𝜷t)<Qmin(b,𝜷i,t(Q+1)),if xi(𝜷t)=Q.\displaystyle p(\bm{\beta}^{t})=\begin{cases}0,&~{}\text{if }x_{i}(\bm{\beta}^{t})=0\\ b_{\ell},&~{}\text{if }Q_{\ell-1}<x_{i}(\bm{\beta}^{t})<Q_{\ell}\\ \min(b_{\ell},\bm{\beta}_{-i,t}^{-(Q_{\ell}+1)}),&~{}\text{if }x_{i}(\bm{\beta}^{t})=Q_{\ell}\end{cases}\,. (16)

The proof of Lemma 6 is presented in Section A.1.1.

Observation 1.

Overbidding is not an universally feasible bidding policy. To see this, let 𝐛=(b1,q1),,(b,q),,(bm,qm)\mathbf{b}=\langle(b_{1},q_{1}),\dots,(b_{\ell},q_{\ell}),\dots,(b_{m},q_{m})\rangle be an overbid such that b>wQ/(1+γ)b_{\ell}>w_{Q_{\ell}}/(1+\gamma). Now, consider a bid history with a single round (i.e., T=1T=1) in which the individual bids are:

𝜷i,1(j)={ϵ,if 1jQC,if Q<jK,\displaystyle\bm{\beta}_{-i,1}^{-(j)}=\begin{cases}\epsilon,&~{}\text{if }1\leq j\leq Q_{\ell}\\ C,&~{}\text{if }Q_{\ell}<j\leq K\end{cases}\,,

where ϵ0\epsilon\sim 0 and Cw1C\gg w_{1}. Submitting 𝐛\mathbf{b} gets allocated QQ_{\ell} units and from Lemma 6, we conclude that the clearing price of auction is bb_{\ell}. As b>wQ/(1+γ)b_{\ell}>w_{Q_{\ell}}/(1+\gamma) by assumption, the RoI constraint is violated.

As overbidding is not UF, every UF bidding policy is a NOB bidding policy, i.e., 𝒫m𝒫m𝐍𝐎𝐁\mathcal{P}_{m}\subseteq\mathcal{P}_{m}^{\mathbf{NOB}}.

Proof of 𝒫m𝐍𝐎𝐁𝒫m\mathcal{P}_{m}^{\mathbf{NOB}}\subseteq\mathcal{P}_{m}. We now prove that the converse is also true, i.e., every NOB bidding policy is also UF. To show this, fix any arbitrary bid history, i=[𝜷it]t[T]\mathcal{B}_{-i}=[\bm{\beta}_{-i}^{t}]_{t\in[T]}, and consider any 𝐛=(b1,q1),,(bk,qk)𝒫m𝐍𝐎𝐁\mathbf{b}=\langle(b_{1},q_{1}),\dots,(b_{k},q_{k})\rangle\in\mathcal{P}^{\mathbf{NOB}}_{m} where k[m]k\in[m]. Suppose in round tt, bidding 𝐛\mathbf{b} wins xi(𝜷t)x_{i}(\bm{\beta}^{t}) units. So, from Lemma 6, if xi(𝜷t)=0x_{i}(\bm{\beta}^{t})=0, trivially, Pi(𝜷t)=0=Vi(𝜷t)P_{i}(\bm{\beta}^{t})=0=V_{i}(\bm{\beta}^{t}). If Q1<xi(𝜷t)QQ_{\ell-1}<x_{i}(\bm{\beta}^{t})\leq Q_{\ell}, for some \ell,

Pi(𝜷t)\displaystyle P_{i}(\bm{\beta}^{t}) =xi(𝜷t)p(𝜷t)xi(𝜷t)bxi(𝜷t)wQ1+γxi(𝜷t)wxi(𝜷t)1+γ=Vi(𝜷t)1+γ.\displaystyle=x_{i}(\bm{\beta}^{t})\cdot p(\bm{\beta}^{t})\leq x_{i}(\bm{\beta}^{t})\cdot b_{\ell}\leq x_{i}(\bm{\beta}^{t})\cdot\frac{w_{Q_{\ell}}}{1+\gamma}\leq x_{i}(\bm{\beta}^{t})\cdot\frac{w_{x_{i}(\bm{\beta}^{t})}}{1+\gamma}=\frac{V_{i}(\bm{\beta}^{t})}{1+\gamma}\,.

The first inequality holds true because bidders’ per-unit payment is at most their least winning bid (individual rationality of the auction format), the second is true by definition, and the third is true because the wjw_{j} is non-decreasing in jj and xi(𝜷t)Qx_{i}(\bm{\beta}^{t})\leq Q_{\ell}. As the choice of bid history i\mathcal{B}_{-i}, round tt, and bidding policy 𝐛\mathbf{b}, was arbitrary, we conclude that every bid in 𝒫m𝐍𝐎𝐁\mathcal{P}^{\mathbf{NOB}}_{m} is UF, i.e., 𝒫m𝐍𝐎𝐁𝒫m\mathcal{P}^{\mathbf{NOB}}_{m}\subseteq\mathcal{P}_{m}, which completes the proof.

A.1.1 Proof of Lemma 6

Consider the following three cases:

  1. 1.

    If xi(𝜷t)=0x_{i}(\bm{\beta}^{t})=0, trivially, p(𝜷t)=0p(\bm{\beta}^{t})=0.

  2. 2.

    Let Q1<xi(𝜷t)<QQ_{\ell-1}<x_{i}(\bm{\beta}^{t})<Q_{\ell}. Let bb be the last accepted bid after including 𝐛\mathbf{b}, i.e., 𝜷t=(𝐛,𝜷it)\bm{\beta}^{t}=(\mathbf{b},\bm{\beta}_{-i}^{t}). Then b(a)b(b)bb_{\ell}\stackrel{{\scriptstyle(a)}}{{\geq}}b\stackrel{{\scriptstyle(b)}}{{\geq}}b_{\ell}.

    1. I.

      (a)(a) holds true because the bidder is allocated at least one unit for bid bb_{\ell} and

    2. II.

      (b)(b) is correct because she does not acquire at least one unit for bid bb_{\ell}. Hence, p(𝜷t)=bp(\bm{\beta}^{t})=b_{\ell}.

  3. 3.

    Suppose xi(𝜷t)=Qx_{i}(\bm{\beta}^{t})=Q_{\ell}. If b>𝜷i,t(Q+1)b_{\ell}>\bm{\beta}_{-i,t}^{-(Q_{\ell}+1)}, then p(𝜷t)=𝜷i,t(Q+1)p(\bm{\beta}^{t})=\bm{\beta}_{-i,t}^{-(Q_{\ell}+1)}. However, if b𝜷i,t(Q+1)b_{\ell}\leq\bm{\beta}_{-i,t}^{-(Q_{\ell}+1)}, p(𝜷t)=bp(\bm{\beta}^{t})=b_{\ell}. So, p(𝜷t)=min(b,𝜷i,t(Q+1))p(\bm{\beta}^{t})=\min(b_{\ell},\bm{\beta}_{-i,t}^{-(Q_{\ell}+1)}).

A.2 Proof of Lemma 1

Let 𝜷t=(𝐛,𝜷it)\bm{\beta}^{t}=(\mathbf{b},\bm{\beta}_{-i}^{t}) and 𝜷t=(𝐛,𝜷it)\bm{\beta}^{\prime t}=(\mathbf{b}^{\prime},\bm{\beta}_{-i}^{t}). Recall that 𝐛=[b1,b2,,bk]\mathbf{b}=[b_{1},b_{2},\dots,b_{k}] and 𝐛=[b1,b2,,bk]\mathbf{b}^{\prime}=[b_{1}^{\prime},b_{2}^{\prime},\dots,b_{k}^{\prime}] such that bjbj,j[k]b_{j}\geq b_{j}^{\prime},\forall j\in[k]. Furthermore, by assumption, 𝐛\mathbf{b} is RoI feasible for i=[𝜷it]t[T]\mathcal{B}_{-i}=[\bm{\beta}_{-i}^{t}]_{t\in[T]}.

We first prove that 𝐛\mathbf{b}^{\prime} is also feasible for the fixed bid history, i\mathcal{B}_{-i}. Contrary to our claim, suppose 𝐛\mathbf{b}^{\prime} is infeasible. Then, there must exist a round tt in which 𝐛\mathbf{b}^{\prime} is allocated rtr_{t}^{\prime} units with clearing price p(𝜷t)p(\bm{\beta}^{\prime t}) such that the RoI constraint is violated:

(1+γ)p(𝜷t)>wrt.\displaystyle(1+\gamma)p(\bm{\beta}^{\prime t})>w_{r_{t}^{\prime}}. (17)

For the same round tt, suppose 𝐛\mathbf{b} is allocated rtr_{t} units. By definition of allocation rule and payment rule, the units allocated and the clearing price obtained in an auction are weakly increasing in bids, so rtrtr_{t}^{\prime}\leq r_{t} and p(𝜷t)p(𝜷t)p(\bm{\beta}^{\prime t})\leq p(\bm{\beta}^{t}). As 𝐛\mathbf{b} is feasible,

(1+γ)p(𝜷t)wrt.\displaystyle(1+\gamma)p(\bm{\beta}^{t})\leq w_{r_{t}}. (18)

Combining Equations (17) and (18), we have

(1+γ)p(𝜷t)wrt(a)wrt<(1+γ)p(𝜷t)p(𝜷t)<p(𝜷t).\displaystyle(1+\gamma)p(\bm{\beta}^{t})\leq w_{r_{t}}\stackrel{{\scriptstyle(a)}}{{\leq}}w_{r_{t}^{\prime}}<(1+\gamma)p(\bm{\beta}^{\prime t})\implies p(\bm{\beta}^{t})<p(\bm{\beta}^{\prime t}).

which is a contradiction. Here (a)(a) is true as wjw_{j} is non-increasing in jj and rtrtr_{t}^{\prime}\leq r_{t}. So, 𝐛\mathbf{b}^{\prime} is feasible.

To prove monotonocity, consider any round tt. By definition of the allocation rule, the value obtained in an auction is weakly increasing in the bids submitted. As 𝐛\mathbf{b} and 𝐛\mathbf{b}^{\prime} are both feasible, the RoI constraints are valid for both. So, Vi(𝐛;𝜷it)Vi(𝐛;𝜷it)V_{i}(\mathbf{b};\bm{\beta}_{-i}^{t})\geq V_{i}(\mathbf{b}^{\prime};\bm{\beta}_{-i}^{t}). Summing over all rounds, we get the desired result.

A.3 Proof of Lemma 2

Fix any kk-uniform bid 𝐛𝒫¯m\mathbf{b}\in\overline{\mathcal{P}}_{m}. Recall the constructed bid history, i(𝐛)\mathcal{B}_{-i}(\mathbf{b}), for which 𝐛\mathbf{b} is an optimal bidding policy in 𝒫¯m\overline{\mathcal{P}}_{m}. For sake of completeness, we present it again. We constructed a bid history with T=kT=k rounds. In round t[k]t\in[k], for a sufficiently small ϵ>0\epsilon>0 and Cw1C\gg w_{1},

𝜷i,t(j)(𝐛)={wQt+11+γ+ϵ,if 1jQtC,if Qt<jK,\displaystyle\bm{\beta}_{-i,t}^{-(j)}(\mathbf{b})=\begin{cases}\frac{w_{Q_{t}+1}}{1+\gamma}+\epsilon,&~{}\text{if }1\leq j\leq Q_{t}\\ C,&~{}\text{if }Q_{t}<j\leq K\end{cases}, t[k].\displaystyle~{}\forall t\in[k]\,.

If Qt=M¯Q_{t}=\overline{M}, we set 𝜷i,t(j)(𝐛)\bm{\beta}_{-i,t}^{-(j)}(\mathbf{b}) to ϵ\epsilon for any j[K]j\in[K]. We proved that 𝐛𝒫¯m\mathbf{b}\in\overline{\mathcal{P}}_{m} is an optimal bidding policy for i(𝐛)\mathcal{B}_{-i}(\mathbf{b}). Furthermore, we also showed that 𝐛\mathbf{b} obtains the maximum number of units that can be allocated to the bidder in every round.

We now show that the value obtained under the kk-uniform bid 𝐛\mathbf{b} and i(𝐛)\mathcal{B}_{-i}(\mathbf{b}) is strictly larger than that under ANY other k1k_{1}-uniform bid 𝐛𝒫¯m\mathbf{b}^{\prime}\in\overline{\mathcal{P}}_{m} and i(𝐛)\mathcal{B}_{-i}(\mathbf{b}) where k1kk_{1}\leq k. That is,

t=1TVi(𝐛;𝜷it)>t=1TVi(𝐛;𝜷it),\displaystyle\sum_{t=1}^{T}V_{i}(\mathbf{b};\bm{\beta}_{-i}^{t})>\sum_{t=1}^{T}V_{i}(\mathbf{b}^{\prime};\bm{\beta}_{-i}^{t}), 𝐛𝒫¯k{𝐛}.\displaystyle\forall~{}~{}\mathbf{b}^{\prime}\in\overline{\mathcal{P}}_{k}\setminus\{\mathbf{b}\}\,.

We show the result by contradiction. Contrary to our claim, suppose that there exists an optimal k1k_{1}-uniform bid, 𝐛𝐛\mathbf{b}^{\prime}\neq\mathbf{b}. Let 𝐛=(wQ11+γ,q1),,(wQk11+γ,qk1)𝒫¯k{𝐛}\mathbf{b}^{\prime}=\Big{\langle}\Big{(}\frac{w_{Q_{1}^{\prime}}}{1+\gamma},q_{1}^{\prime}\Big{)},\dots,\Big{(}\frac{w_{Q_{k_{1}}^{\prime}}}{1+\gamma},q_{k_{1}}^{\prime}\Big{)}\Big{\rangle}\in\overline{\mathcal{P}}_{k}\setminus\{\mathbf{b}\} and define Qj=jqQ_{j}^{\prime}=\sum_{\ell\leq j}q_{\ell}^{\prime}. Let S={Qj:j[m]}S=\{Q_{j}^{\prime}:j\in[m]\}. As 𝐛\mathbf{b}^{\prime} is UF, invoking Lemma 3, we get that for any round tt:

Vi(𝐛;𝜷it)=max[k1]Vi((wQ1+γ,Q);𝜷it).\displaystyle V_{i}(\mathbf{b}^{\prime};\bm{\beta}_{-i}^{t})=\max_{\ell\in[k_{1}]}V_{i}\Big{(}\Big{(}\frac{w_{Q_{\ell}^{\prime}}}{1+\gamma},Q_{\ell}^{\prime}\Big{)};\bm{\beta}_{-i}^{t}\Big{)}\,. (19)

We show that for each of the kk rounds in i(𝐛)\mathcal{B}_{-i}(\mathbf{b}), a unique bidding policy of the form: (wQ1+γ,Q)\Big{(}\frac{w_{Q_{\ell}^{\prime}}}{1+\gamma},Q_{\ell}^{\prime}\Big{)} maximizes the value obtained for that round. So, if k1<kk_{1}<k, then clearly 𝐛\mathbf{b}^{\prime} is suboptimal as there will be at least one round in which 𝐛\mathbf{b}^{\prime} will not achieve the same value as 𝐛\mathbf{b}. So, assume that k1=kk_{1}=k. As the RHS of (19) is a maximum over k1=kk_{1}=k entities, it can be uniquely identified. Thus, 𝐛\mathbf{b}^{\prime} is uniquely determined.

To see this, consider any round tt. For a policy (wQ1+γ,Q)\Big{(}\frac{w_{Q_{\ell}^{\prime}}}{1+\gamma},Q_{\ell}^{\prime}\Big{)} to win at least 1 unit, it has to be higher than the least winning competing bid. So, wQ1+γ>wQt+11+γ+ϵQQt\frac{w_{Q_{\ell}^{\prime}}}{1+\gamma}>\frac{w_{Q_{t}+1}}{1+\gamma}+\epsilon\implies Q_{\ell}^{\prime}\leq Q_{t}. By assumption, 𝐛\mathbf{b}^{\prime} obtains the same value as 𝐛\mathbf{b} in round tt. To win QtQ_{t} units in round tt, the demand should be for at least QtQ_{t} units. So, QQtQ=QtQtSQ_{\ell}^{\prime}\geq Q_{t}\implies Q_{\ell}^{\prime}=Q_{t}\implies Q_{t}\in S. As tt was chosen arbitrarily, QtS,t[k]Q_{t}\in S,\forall t\in[k]. Now, observe that fixing QtQ_{t}’s uniquely determines 𝐛\mathbf{b}^{\prime}, implying 𝐛=𝐛\mathbf{b}=\mathbf{b}^{\prime}, which is a contradiction. So, the kk-uniform bid 𝐛\mathbf{b} is the unique optimal bidding policy for i(𝐛)\mathcal{B}_{-i}(\mathbf{b}) in 𝒫k𝒫m\mathcal{P}_{k}^{\star}\subseteq\mathcal{P}_{m}^{\star}.

A.4 Proof of Theorem 5.1

Suppose the bidder values each unit equally (i.e., vi=vv_{i}=v for all i[M¯]i\in[\overline{M}]). We first compute the optimal UF bidding policy and repeat the exercise by removing the UF condition. We show that the optimal policy in both the cases are identical and thus complete the proof.

Optimal Universally Feasible Bidding Policy. Fix some m>0m\in\mathbb{Z}_{>0}. As vi=vv_{i}=v for all i[M¯]i\in[\overline{M}], wi=vw_{i}=v for all i[M¯]i\in[\overline{M}]. So,

𝒫m={(v1+γ,q):q[M¯]}.\displaystyle\mathcal{P}_{m}^{\star}=\Big{\{}\Big{(}\frac{v}{1+\gamma},q\Big{)}:q\in[\overline{M}]\Big{\}}\,. (20)

As the bid value remains the same for all q[M¯]q\in[\overline{M}], to maximize value, the bidder must select the policy with highest demand, hence the optimal UF bidding policy is (v/(1+γ),M¯)(v/(1+\gamma),\overline{M}).

Removing the Universal Feasibility Condition. Here, we characterize the optimal non-UF bidding policy 𝐛m𝐎𝐏𝐓(i)\mathbf{b}_{m}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right) and show that it is (v/(1+γ),M¯)(v/(1+\gamma),\overline{M}) for any i=[𝜷it]t[T]\mathcal{B}_{-i}=[\bm{\beta}_{-i}^{t}]_{t\in[T]}. To do so, we present the following lemma which relates the the number of units allocated to the optimal bidding policy, 𝐛m𝐎𝐏𝐓(i)\mathbf{b}_{m}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right) and 1-uniform UF bidding policies.

Lemma 7.

For any i\mathcal{B}_{-i}, let 𝐛m𝐎𝐏𝐓(i)=(b1,q1),,(bm,qm)\mathbf{b}_{m}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right)=\langle(b_{1}^{*},q_{1}^{*}),\dots,(b_{m}^{*},q_{m}^{*})\rangle be the optimal solution to Problem (VM-optm\textsc{VM-opt}_{m}). Recall Qj=jqQ_{j}^{*}=\sum_{\ell\leq j}q_{\ell}^{*} where under 𝐛m𝐎𝐏𝐓(i)\mathbf{b}_{m}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right) and i\mathcal{B}_{-i}, rtr_{t}^{*} units is allocated to the bidder in round tt, for t[T]t\in[T]. For any t[T]t\in[T], the 1-uniform bid (wrt1+γ,rt)\Big{(}\frac{w_{r_{t}^{*}}}{1+\gamma},r_{t}^{*}\Big{)} is allocated exactly rtr_{t}^{*} units.

We state and prove a stronger version of Lemma 7 as Lemma 9 in Section A.6.1.

Suppose the bidder is allocated rtr_{t}^{*} units any round t[T]t\in[T] under 𝐛m𝐎𝐏𝐓(i)\mathbf{b}_{m}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right) and i\mathcal{B}_{-i}. Then, by Lemma 7, the bidding policy (wrt1+γ,rt)=(v1+γ,rt)\Big{(}\frac{w_{r_{t}^{*}}}{1+\gamma},r_{t}^{*}\Big{)}=\Big{(}\frac{v}{1+\gamma},r_{t}^{*}\Big{)} obtains rtr_{t}^{*} units in round tt. By Lemma 1 (monotonocity of feasible bids), (v1+γ,M¯)\Big{(}\frac{v}{1+\gamma},\overline{M}\Big{)} wins at least rtr_{t}^{*} units in round tt. As tt was chosen arbitrarily, we conclude that (v1+γ,M¯)\Big{(}\frac{v}{1+\gamma},\overline{M}\Big{)} wins at least rtr_{t}^{*} units in every round tt implying that (v1+γ,M¯)\Big{(}\frac{v}{1+\gamma},\overline{M}\Big{)} obtains at least Vm𝐎𝐏𝐓(i)V^{\mathbf{OPT}}_{m}\left(\mathcal{B}_{-i}\right). Trivially, the value obtained by (v1+γ,M¯)\Big{(}\frac{v}{1+\gamma},\overline{M}\Big{)} is at most Vm𝐎𝐏𝐓(i)V^{\mathbf{OPT}}_{m}\left(\mathcal{B}_{-i}\right). So, bidding (v1+γ,M¯)\Big{(}\frac{v}{1+\gamma},\overline{M}\Big{)} obtains Vm𝐎𝐏𝐓(i)V^{\mathbf{OPT}}_{m}\left(\mathcal{B}_{-i}\right) for the bid history i\mathcal{B}_{-i}. Combining with the results from the previous paragraph, we conclude that PoUFm=1,m>0\textsc{PoUF}_{m}=1,\forall m\in\mathbb{Z}_{>0}.

A.5 Proof of Lemma 3 and its Stronger Version (Lemma 8)

To show Lemma 3, we will verify a stronger version of the lemma (Lemma 8 stated below) that has a similar statement, but does not require the bid to be UF.

Lemma 8.

Fix a bid history i=[𝛃it]t[T]\mathcal{B}_{-i}=[\bm{\beta}_{-i}^{t}]_{t\in[T]}. For i\mathcal{B}_{-i}, let Vi((b,q);𝛃it)V_{i}((b,q);\bm{\beta}_{-i}^{t}) denote the value obtained by bidding (b,q)(b,q) in round tt. For any m>0m\in\mathbb{Z}_{>0}, let 𝐛=(b1,q1),,(bm,qm)\mathbf{b}=\langle(b_{1},q_{1}),\dots,(b_{m},q_{m})\rangle be a feasible (not necessarily UF) mm-uniform bid for i\mathcal{B}_{-i}. Then, we have

Vi(𝐛;𝜷it)=max[m]Vi((b,Q);𝜷it),t[T],\displaystyle V_{i}(\mathbf{b};\bm{\beta}_{-i}^{t})=\max_{\ell\in[m]}V_{i}((b_{\ell},Q_{\ell});\bm{\beta}_{-i}^{t}),\forall t\in[T]\,,

where we recall that Q=j=1qjQ_{\ell}=\sum_{j=1}^{\ell}q_{j}.

Proof.

Proof of Lemma 8. We prove the lemma via induction on mm. The base case is m=1m=1 for which the result is trivially true. Now assume that the result holds for any mm-uniform bid for a fixed bid history i=[𝜷it]t[T]\mathcal{B}_{-i}=[\bm{\beta}_{-i}^{t}]_{t\in[T]}. We will then show that the result holds for any m+1m+1-uniform bid and the same i\mathcal{B}_{-i}.

Consider the case for a m+1m+1-uniform bid 𝐛=(b1,q1),,(bm,qm),(bm+1,qm+1)\mathbf{b}=\langle(b_{1},q_{1}),\dots,(b_{m},q_{m}),(b_{m+1},q_{m+1})\rangle. We know by assumption that 𝐛\mathbf{b} is feasible for i\mathcal{B}_{-i}. Suppose that by bidding 𝐛\mathbf{b}, the bidder is allocated rtr_{t} units in round tt. There are two cases: (a) rtQmr_{t}\leq Q_{m} and (b) rt>Qmr_{t}>Q_{m}.

Case I. rtQmr_{t}\leq Q_{m}. In this case, we have

Vi(𝐛;𝜷it)=Vi(𝐛[1:m];𝜷it).\displaystyle V_{i}(\mathbf{b};\bm{\beta}_{-i}^{t})=V_{i}(\mathbf{b}[1:m];\bm{\beta}_{-i}^{t})\,. (21)
Claim 2.

The bid-quantity pair (bm+1,Qm+1)(b_{m+1},Q_{m+1}) is feasible for i\mathcal{B}_{-i} and for any t[T]t\in[T], Vi(𝐛;𝛃it)Vi((bm+1,Qm+1);𝛃it)V_{i}(\mathbf{b};\bm{\beta}_{-i}^{t})\geq V_{i}((b_{m+1},Q_{m+1});\bm{\beta}_{-i}^{t}).

Proof.

Proof of 2. By assumption, 𝐛\mathbf{b} is feasible, the total demand of 𝐛\mathbf{b} and (bm+1,Qm+1)(b_{m+1},Q_{m+1}) are equal and b(j)bm+1,j[Qm+1]b_{(j)}\geq b_{m+1},\forall j\in[Q_{m+1}], where b(j)b_{(j)} denotes the bid value in jjth position in the sorted bid vector. So, by Lemma 1, (bm+1,Qm+1)(b_{m+1},Q_{m+1}) is feasible and Vi(𝐛,𝜷it)Vi((bm+1,Qm+1),𝜷it)V_{i}(\mathbf{b},\bm{\beta}_{-i}^{t})\geq V_{i}((b_{m+1},Q_{m+1}),\bm{\beta}_{-i}^{t}). ∎

Hence, by 2 and Eq. 21,

Vi(𝐛;𝜷it)\displaystyle V_{i}(\mathbf{b};\bm{\beta}_{-i}^{t}) =max{Vi(𝐛[1:m];𝜷it),Vi((bm+1,Qm+1);𝜷it)}.\displaystyle=\max\Big{\{}V_{i}(\mathbf{b}[1:m];\bm{\beta}_{-i}^{t}),V_{i}((b_{m+1},Q_{m+1});\bm{\beta}_{-i}^{t})\Big{\}}\,. (22)

Case II. rt>Qmr_{t}>Q_{m}. As rt>Qmr_{t}>Q_{m}, bm+1b_{m+1} is the least winning bid which implies bm+1𝜷i,t(rt)b_{m+1}\geq\bm{\beta}_{-i,t}^{-(r_{t})}. So, (bm+1,Qm+1)(b_{m+1},Q_{m+1}) is allocated at least rtr_{t} units which implies Vi((bm+1,Qm+1),𝜷it)Vi(𝐛,𝜷it)V_{i}((b_{m+1},Q_{m+1}),\bm{\beta}_{-i}^{t})\geq V_{i}(\mathbf{b},\bm{\beta}_{-i}^{t}). By 2, we also have Vi(𝐛,𝜷it)Vi((bm+1,Qm+1),𝜷it)V_{i}(\mathbf{b},\bm{\beta}_{-i}^{t})\geq V_{i}((b_{m+1},Q_{m+1}),\bm{\beta}_{-i}^{t}). Hence,

Vi(𝐛;𝜷it)=Vi((bm+1,Qm+1);𝜷it).\displaystyle V_{i}(\mathbf{b};\bm{\beta}_{-i}^{t})=V_{i}((b_{m+1},Q_{m+1});\bm{\beta}_{-i}^{t})\,. (23)

As rt>Qmr_{t}>Q_{m}, (bm+1,Qm+1)(b_{m+1},Q_{m+1}) is allocated at least Qm+1Q_{m}+1 units, whereas 𝐛[1:m]\mathbf{b}[1:m] has demand for (hence, can be allocated) at most QmQ_{m} units. So,

Vi(𝐛;𝜷it)\displaystyle V_{i}(\mathbf{b};\bm{\beta}_{-i}^{t}) Vi(𝐛[1:m];𝜷it)\displaystyle\geq V_{i}(\mathbf{b}[1:m];\bm{\beta}_{-i}^{t})
Vi(𝐛;𝜷it)\displaystyle\implies V_{i}(\mathbf{b};\bm{\beta}_{-i}^{t}) =max{Vi(𝐛[1:m];𝜷it),Vi((bm+1,Qm+1);𝜷it)}.\displaystyle=\max\Big{\{}V_{i}(\mathbf{b}[1:m];\bm{\beta}_{-i}^{t}),V_{i}((b_{m+1},Q_{m+1});\bm{\beta}_{-i}^{t})\Big{\}}\,. (24)

For both Case I and Case II, we get the same result (cf. (22) and (24)). Hence,

Vi(𝐛;𝜷it)\displaystyle V_{i}(\mathbf{b};\bm{\beta}_{-i}^{t}) =max{Vi(𝐛[1:m];𝜷it),Vi((bm+1,Qm+1);𝜷it)}\displaystyle=\max\Big{\{}V_{i}(\mathbf{b}[1:m];\bm{\beta}_{-i}^{t}),V_{i}((b_{m+1},Q_{m+1});\bm{\beta}_{-i}^{t})\Big{\}}
=(a)max{max[m]Vi((b,Q);𝜷it),Vi((bm+1,Qm+1);𝜷it)}\displaystyle\stackrel{{\scriptstyle(a)}}{{=}}\max\Big{\{}\max_{\ell\in[m]}V_{i}((b_{\ell},Q_{\ell});\bm{\beta}_{-i}^{t}),V_{i}((b_{m+1},Q_{m+1});\bm{\beta}_{-i}^{t})\Big{\}}
=max[m+1]Vi((b,Q);𝜷it),\displaystyle=\max_{\ell\in[m+1]}V_{i}((b_{\ell},Q_{\ell});\bm{\beta}_{-i}^{t})\,,

where (a)(a) holds as 𝐛[1:]\mathbf{b}[1:\ell] is feasible for [m+1]\forall\ell\in[m+1], and then applying the induction hypothesis on mm, we conclude the proof. ∎

A.6 Proof of Lemma 4

To prove this result, we use the following key lemma that compares allocations under 𝐛m𝐎𝐏𝐓(i)\mathbf{b}_{m}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right) and 1-uniform UF bidding policies. The proof of this lemma is presented in Section A.6.1.

Lemma 9.

For any i\mathcal{B}_{-i}, let 𝐛m𝐎𝐏𝐓(i)=(b1,q1),,(bm,qm)\mathbf{b}_{m}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right)=\langle(b_{1}^{*},q_{1}^{*}),\dots,(b_{m}^{*},q_{m}^{*})\rangle be the optimal solution to Problem (VM-optm\textsc{VM-opt}_{m}). Recall Qj=jqQ_{j}^{*}=\sum_{\ell\leq j}q_{\ell}^{*} where under 𝐛m𝐎𝐏𝐓(i)\mathbf{b}_{m}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right) and i\mathcal{B}_{-i}, rtr_{t}^{*} units is allocated to the bidder in round tt, for t[T]t\in[T].

  1. 1.

    For any t[T]t\in[T] and qrtq\leq r_{t}^{*}, the 1-uniform bid (wq1+γ,q)\Big{(}\frac{w_{q}}{1+\gamma},q\Big{)} is allocated exactly qq units.

  2. 2.

    For any j[m]j\in[m], let Tj[T]T_{j}\subseteq[T], defined in Eq. 7, be the rounds in which bjb_{j}^{*} is the least winning bid. Suppose that tTj\exists t\in T_{j} such that rt<Qjr_{t}^{*}<Q_{j}^{*}. Then in any tTjt^{\prime}\in T_{j} in which 𝐛m𝐎𝐏𝐓(i)\mathbf{b}_{m}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right) is allocated less than rtr_{t}^{*} units, i.e., rtrtr_{t^{\prime}}^{*}\leq r_{t}^{*}, the 1-uniform bidding policy (wrt1+γ,rt)\Big{(}\frac{w_{r_{t}^{*}}}{1+\gamma},r_{t}^{*}\Big{)} is allocated at least rtr_{t^{\prime}}^{*} units.

With this lemma, we are ready to show the result.

Case I: Qj=Q^jQ_{j}=\widehat{Q}_{j}. By assumption, Qj=Q^jQjQ_{j}=\widehat{Q}_{j}\leq Q_{j}^{*}. So, for any tTj,1t\in T_{j,1}, invoking Lemma 9 (1) with q=Q^jq=\widehat{Q}_{j}, we conclude that (wQ^j1+γ,Q^j)\Big{(}\frac{w_{\widehat{Q}_{j}}}{1+\gamma},\widehat{Q}_{j}\Big{)} is allocated exactly Q^j\widehat{Q}_{j} units. Summing over all rounds in Tj,1T_{j,1},

tTj,1Vi((wQj1+γ,Qj),𝜷it)=WQ^j|Tj,1|.\displaystyle\sum_{t\in T_{j,1}}V_{i}\Big{(}\Big{(}\frac{w_{Q_{j}}}{1+\gamma},Q_{j}\Big{)},\bm{\beta}_{-i}^{t}\Big{)}={W}_{\widehat{Q}_{j}}|T_{j,1}|\,. (25)

Now, suppose Tj,0T_{j,0}\neq\emptyset. By definition, Q^j<Qj\widehat{Q}_{j}<Q_{j}^{*}. Also, Q^jrs\widehat{Q}_{j}\geq r_{s}^{*} for any sTj,0s\in T_{j,0} by definition. So, for any sTj,0s\in T_{j,0}, invoking Lemma 9 (2) with rt=Q^jr_{t}^{*}=\widehat{Q}_{j}, we conclude that (wQ^j1+γ,Q^j)\Big{(}\frac{w_{\widehat{Q}_{j}}}{1+\gamma},\widehat{Q}_{j}\Big{)} is allocated at least rsr_{s}^{*} units. Hence, summing over all rounds, (wQ^j1+γ,Q^j)\Big{(}\frac{w_{\widehat{Q}_{j}}}{1+\gamma},\widehat{Q}_{j}\Big{)} gets at least the value obtained by 𝐛m𝐎𝐏𝐓(i)\mathbf{b}_{m}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right) over the rounds in Tj,0T_{j,0}. So,

tTj,0Vi((wQj1+γ,Qj),𝜷it)\displaystyle\sum_{t\in T_{j,0}}V_{i}\Big{(}\Big{(}\frac{w_{Q_{j}}}{1+\gamma},Q_{j}\Big{)},\bm{\beta}_{-i}^{t}\Big{)} tTj,0Vi(𝐛m𝐎𝐏𝐓(i),𝜷it)=Vj,0|Tj,0|.\displaystyle\geq\sum_{t\in T_{j,0}}V_{i}\Big{(}\mathbf{b}_{m}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right),\bm{\beta}_{-i}^{t}\Big{)}=V_{j,0}|T_{j,0}|\,. (26)

If Tj,0=T_{j,0}=\emptyset, the lower bound is trivially true. Combining Eq. 25 and (26), for Qj=Q^jQ_{j}=\widehat{Q}_{j},

tTjVi((wQj1+γ,Qj),𝜷it)Vj,0|Tj,0|+WQ^j|Tj,1|.\displaystyle\sum_{t\in T_{j}}V_{i}\Big{(}\Big{(}\frac{w_{Q_{j}}}{1+\gamma},Q_{j}\Big{)},\bm{\beta}_{-i}^{t}\Big{)}\geq V_{j,0}|T_{j,0}|+{W}_{\widehat{Q}_{j}}|T_{j,1}|\,. (27)

Case II: Qj=QjQ_{j}=Q_{j}^{*}. So, for any tTj,1t\in T_{j,1}, using Lemma 9 (1) with q=Qjq=Q_{j}^{*}, we get that (wQj1+γ,Qj)\Big{(}\frac{w_{Q_{j}^{*}}}{1+\gamma},Q_{j}^{*}\Big{)} is allocated exactly QjQ_{j}^{*} units, which is the same as the allocation for 𝐛m𝐎𝐏𝐓(i)\mathbf{b}_{m}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right). Summing over all rounds in Tj,1T_{j,1},

tTj,1Vi((wQj1+γ,Qj),𝜷it)=WQj|Tj,1|.\displaystyle\sum_{t\in T_{j,1}}V_{i}\Big{(}\Big{(}\frac{w_{Q_{j}}}{1+\gamma},Q_{j}\Big{)},\bm{\beta}_{-i}^{t}\Big{)}={W}_{Q_{j}^{*}}|T_{j,1}|\,. (28)

For the rounds in Tj,0T_{j,0}, trivially,

tTj,0Vi((wQj1+γ,Qj),𝜷it)\displaystyle\sum_{t\in T_{j,0}}V_{i}\Big{(}\Big{(}\frac{w_{Q_{j}}}{1+\gamma},Q_{j}\Big{)},\bm{\beta}_{-i}^{t}\Big{)} 0.\displaystyle\geq 0\,. (29)

Combining Eq. 28 and (29), for Qj=QjQ_{j}=Q_{j}^{*},

tTjVi((wQj1+γ,Qj),𝜷it)WQj|Tj,1|.\displaystyle\sum_{t\in T_{j}}V_{i}\Big{(}\Big{(}\frac{w_{Q_{j}}}{1+\gamma},Q_{j}\Big{)},\bm{\beta}_{-i}^{t}\Big{)}\geq{W}_{Q_{j}^{*}}|T_{j,1}|\,. (30)

A.6.1 Proof of Lemma 9

(1) First we show that for any t[T]t\in[T] and qrtq\leq r_{t}^{*}, the 1-uniform bid (wq1+γ,q)\Big{(}\frac{w_{q}}{1+\gamma},q\Big{)} is allocated exactly qq units. As (wq1+γ,q)𝒫1\Big{(}\frac{w_{q}}{1+\gamma},q\Big{)}\in\mathcal{P}_{1}^{\star}, it is universally feasible. By assumption, 𝐛m𝐎𝐏𝐓(i)\mathbf{b}_{m}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right) is allocated rtr_{t}^{*} units in round tt. Let 𝜷t=(𝐛m𝐎𝐏𝐓(i),𝜷it)\bm{\beta}^{t}=(\mathbf{b}_{m}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right),\bm{\beta}_{-i}^{t}). Recall that, 𝜷i,t(j)\bm{\beta}_{-i,t}^{-(j)} is the jthj^{th} smallest winning bid in the absence of bids from bidder ii for round tt. If rt=0r_{t}^{*}=0, the result is vacuously true. Suppose rt>0r_{t}^{*}>0, then

𝜷i,t(q)𝜷i,t(rt)p(𝜷t)wrt1+γwq1+γ,\displaystyle\bm{\beta}_{-i,t}^{-(q)}\leq\bm{\beta}_{-i,t}^{-(r_{t}^{*})}\leq p(\bm{\beta}^{t})\leq\frac{w_{r_{t}^{*}}}{1+\gamma}\leq\frac{w_{q}}{1+\gamma}\,,

where the first inequality holds by definition of 𝜷i,t(j)\bm{\beta}_{-i,t}^{-(j)} and our assumption that qrtq\leq r_{t}^{*}. For the second inequality, let Q1<rtQQ_{\ell-1}^{*}<r_{t}^{*}\leq Q_{\ell}^{*}. By Lemma 6,

  1. 1.

    If p(𝜷t)=bp(\bm{\beta}^{t})=b^{*}_{\ell}, we have p(𝜷t)𝜷i,t(rt)p(\bm{\beta}^{t})\geq\bm{\beta}_{-i,t}^{-(r_{t}^{*})} as bb^{*}_{\ell} is allocated rtr_{t}^{*} units.

  2. 2.

    If p(𝜷t)=𝜷i,t(Q+1)p(\bm{\beta}^{t})=\bm{\beta}_{-i,t}^{-(Q^{*}_{\ell}+1)}, we have rt=Qr_{t}^{*}=Q_{\ell}^{*} and by definition of 𝜷i,t(j)\bm{\beta}_{-i,t}^{-(j)}, p(𝜷t)=𝜷i,t(Q+1)𝜷i,t(rt)p(\bm{\beta}^{t})=\bm{\beta}_{-i,t}^{-(Q^{*}_{\ell}+1)}\geq\bm{\beta}_{-i,t}^{-(r_{t}^{*})}.

The third is true as RoI constraints are satisfied by 𝐛m𝐎𝐏𝐓(i)\mathbf{b}_{m}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right) for round tt, and fourth is true as wjw_{j} is a non-decreasing function of jj and qrtq\leq r_{t}^{*}. From the first and last expressions, 𝜷i,t(q)wq1+γ\bm{\beta}_{-i,t}^{-(q)}\leq\frac{w_{q}}{1+\gamma} which implies that (wq1+γ,q)\Big{(}\frac{w_{q}}{1+\gamma},q\Big{)} is allocated at least qq units in round tt. Moreover, (wq1+γ,q)\Big{(}\frac{w_{q}}{1+\gamma},q\Big{)} can be allocated at most qq units. Combining both, gives the desired result that the 1-uniform bid (wq1+γ,q)\Big{(}\frac{w_{q}}{1+\gamma},q\Big{)} is allocated exactly qq units.

(2) For any j[m]j\in[m], let Tj[T]T_{j}\subseteq[T], defined in Eq. 7, be the rounds in which bjb_{j}^{*} is the least winning bid. Suppose that tTj\exists t\in T_{j} such that rt<Qjr_{t}^{*}<Q_{j}^{*}. Then, we wil show that in any tTjt^{\prime}\in T_{j} in which 𝐛m𝐎𝐏𝐓(i)\mathbf{b}_{m}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right) is allocated less than rtr_{t}^{*} units, i.e., rtrtr_{t^{\prime}}^{*}\leq r_{t}^{*}, the 1-uniform bidding policy (wrt1+γ,rt)\Big{(}\frac{w_{r_{t}^{*}}}{1+\gamma},r_{t}^{*}\Big{)} is allocated at least rtr_{t^{\prime}}^{*} units.

Observe that (wrt1+γ,rt)𝒫1\Big{(}\frac{w_{r_{t}^{*}}}{1+\gamma},r_{t}^{*}\Big{)}\in\mathcal{P}_{1}^{\star}, so it is UF. If rt=0r_{t}^{*}=0, the result is trivially true. Fix any j[m]j\in[m] and consider the set of rounds in TjT_{j}. As rt<Qjr_{t}^{*}<Q_{j}^{*}, by Lemma 6, p(𝜷t)=bjp(\bm{\beta}^{t})=b_{j}^{*}. So, for any tTjt^{\prime}\in T_{j} such that rtrtr_{t^{\prime}}^{*}\leq r_{t}^{*},

𝜷i,t(rt)bjwrt1+γ.\displaystyle\bm{\beta}_{-i,t^{\prime}}^{-(r_{t^{\prime}}^{*})}\leq b_{j}^{*}\leq\frac{w_{r_{t}^{*}}}{1+\gamma}\,.

Here, the first inequality holds as bjb_{j}^{*} is the least winning bid for round tt^{\prime} and the second one holds as RoI constraints are valid for 𝐛m𝐎𝐏𝐓(i)\mathbf{b}_{m}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right) for round tt. From the first and the last expressions, we conclude that (wrt1+γ,rt)\Big{(}\frac{w_{r_{t}^{*}}}{1+\gamma},r_{t}^{*}\Big{)} is allocated at least rtr_{t^{\prime}}^{*} units.

A.7 Proof of Lemma 5

From Eq. 12 of the main text, for any 𝐛𝒫m(i)\mathbf{b}\in\mathcal{P}_{m}^{\star}(\mathcal{B}_{-i}), we have:

t=1TVi(𝐛,𝜷it)jNtTjVi((wQj1+γ,Qj),𝜷it)+jN^tTjVi((wQj1+γ,Qj),𝜷it).\displaystyle\sum_{t=1}^{T}V_{i}(\mathbf{b},\bm{\beta}_{-i}^{t})\geq\sum_{j\in N^{*}}\sum_{t\in T_{j}}V_{i}\Big{(}\Big{(}\frac{w_{Q_{j}}}{1+\gamma},Q_{j}\Big{)},\bm{\beta}_{-i}^{t}\Big{)}+\sum_{j\in\widehat{N}}\sum_{t\in T_{j}}V_{i}\Big{(}\Big{(}\frac{w_{Q_{j}}}{1+\gamma},Q_{j}\Big{)},\bm{\beta}_{-i}^{t}\Big{)}\,.

Substituting the lower bounds from Lemma 4,

t=1TVi(𝐛,𝜷it)\displaystyle\sum_{t=1}^{T}V_{i}(\mathbf{b},\bm{\beta}_{-i}^{t}) jN(WQj|Tj,1|)+jN^(Vj,0|Tj,0|+WQ^j|Tj,1|).\displaystyle\geq\sum_{j\in N^{*}}\Big{(}{W}_{Q_{j}^{*}}|T_{j,1}|\Big{)}+\sum_{j\in\widehat{N}}\Big{(}V_{j,0}|T_{j,0}|+{W}_{\widehat{Q}_{j}}|T_{j,1}|\Big{)}\,. (31)

which gives:

PoUFm(i)\displaystyle\textsc{PoUF}_{m}(\mathcal{B}_{-i}) Vm𝐎𝐏𝐓(i)max𝐛𝒫m(i)t=1TVi(𝐛;𝜷it)\displaystyle\leq\frac{V^{\mathbf{OPT}}_{m}\left(\mathcal{B}_{-i}\right)}{\max_{\mathbf{b}\in\mathcal{P}_{m}^{\star}(\mathcal{B}_{-i})}\sum_{t=1}^{T}V_{i}(\mathbf{b};\bm{\beta}_{-i}^{t})}
(31)Vm𝐎𝐏𝐓(i)jN(WQj|Tj,1|)+jN^(Vj,0|Tj,0|+WQ^j|Tj,1|).\displaystyle\stackrel{{\scriptstyle\eqref{eq:val-lb2}}}{{\leq}}\frac{V^{\mathbf{OPT}}_{m}\left(\mathcal{B}_{-i}\right)}{\sum_{j\in N^{*}}\Big{(}{W}_{Q_{j}^{*}}|T_{j,1}|\Big{)}+\sum_{j\in\widehat{N}}\Big{(}V_{j,0}|T_{j,0}|+{W}_{\widehat{Q}_{j}}|T_{j,1}|\Big{)}}\,. (32)

Let N0,N^0N_{0}^{*},\widehat{N}_{0} be the partition of [m][m] that minimizes the RHS of (32). Then,

Vm𝐎𝐏𝐓(i)=t=1T=01Vj,|Tj,|=jN0(Vj,0|Tj,0|+WQj|Tj,1|)+jN^0(Vj,0|Tj,0|+WQj|Tj,1|).\displaystyle V^{\mathbf{OPT}}_{m}\left(\mathcal{B}_{-i}\right)=\sum_{t=1}^{T}\sum_{\ell=0}^{1}V_{j,\ell}|T_{j,\ell}|=\sum_{j\in N_{0}^{*}}\Big{(}V_{j,0}|T_{j,0}|+{W}_{Q_{j}^{*}}|T_{j,1}|\Big{)}+\sum_{j\in\widehat{N}_{0}}\Big{(}V_{j,0}|T_{j,0}|+{W}_{Q_{j}^{*}}|T_{j,1}|\Big{)}\,. (33)

Consider a partition of [m][m] that differs from the maximizing partition (N0,N^0)(N_{0}^{*},\widehat{N}_{0}) by exactly one element, i.e., for some aN^0a\in\widehat{N}_{0}, consider the following partition: (N0{a},N^0{a})(N_{0}^{*}\cup\{a\},\widehat{N}_{0}\setminus\{a\}). By definition,

jN0(WQj|Tj,1|)+jN^0(Vj,0|Tj,0|+WQ^j|Tj,1|)\displaystyle\sum_{j\in N_{0}^{*}}\Big{(}{W}_{Q_{j}^{*}}|T_{j,1}|\Big{)}+\sum_{j\in\widehat{N}_{0}}\Big{(}V_{j,0}|T_{j,0}|+{W}_{\widehat{Q}_{j}}|T_{j,1}|\Big{)} jN0{a}(WQj|Tj,1|)+jN^0{a}(Vj,0|Tj,0|+WQ^j|Tj,1|)\displaystyle\geq\sum_{j\in N_{0}^{*}\cup\{a\}}\Big{(}{W}_{Q_{j}^{*}}|T_{j,1}|\Big{)}+\sum_{j\in\widehat{N}_{0}\setminus\{a\}}\Big{(}V_{j,0}|T_{j,0}|+{W}_{\widehat{Q}_{j}}|T_{j,1}|\Big{)}
Va,0|Ta,0|+WQ^a|Ta,1|\displaystyle\implies V_{a,0}|T_{a,0}|+{W}_{\widehat{Q}_{a}}|T_{a,1}| WQa|Ta,1|.\displaystyle\geq{W}_{Q_{a}^{*}}|T_{a,1}|\,. (34)

Now, for some bN0b\in N^{*}_{0}, consider the following partition: (N0{b},N^0{b})(N_{0}^{*}\setminus\{b\},\widehat{N}_{0}\cup\{b\}). By definition,

jN0(WQj|Tj,1|)+jN^0(Vj,0|Tj,0|+WQ^j|Tj,1|)\displaystyle\sum_{j\in N_{0}^{*}}\Big{(}{W}_{Q_{j}^{*}}|T_{j,1}|\Big{)}+\sum_{j\in\widehat{N}_{0}}\Big{(}V_{j,0}|T_{j,0}|+{W}_{\widehat{Q}_{j}}|T_{j,1}|\Big{)} jN0{b}(WQj|Tj,1|)+jN^0{b}(Vj,0|Tj,0|+WQ^j|Tj,1|)\displaystyle\geq\sum_{j\in N_{0}^{*}\setminus\{b\}}\Big{(}{W}_{Q_{j}^{*}}|T_{j,1}|\Big{)}+\sum_{j\in\widehat{N}_{0}\cup\{b\}}\Big{(}V_{j,0}|T_{j,0}|+{W}_{\widehat{Q}_{j}}|T_{j,1}|\Big{)}
WQb|Tb,1|WQ^b|Tb,1|\displaystyle\implies{W}_{Q_{b}^{*}}|T_{b,1}|-{W}_{\widehat{Q}_{b}}|T_{b,1}| Vb,0|Tb,0|.\displaystyle\geq V_{b,0}|T_{b,0}|\,. (35)

Plugging in the values,

PoUFm(i)\displaystyle\textsc{PoUF}_{m}(\mathcal{B}_{-i}) (33)jN0(Vj,0|Tj,0|+WQj|Tj,1|)+jN^0(Vj,0|Tj,0|+WQj|Tj,1|)jN0(WQj|Tj,1|)+jN^0(Vj,0|Tj,0|+WQ^j|Tj,1|)\displaystyle\stackrel{{\scriptstyle\eqref{eq:v-opt}}}{{\leq}}\frac{\sum_{j\in N_{0}^{*}}\Big{(}V_{j,0}|T_{j,0}|+{W}_{Q_{j}^{*}}|T_{j,1}|\Big{)}+\sum_{j\in\widehat{N}_{0}}\Big{(}V_{j,0}|T_{j,0}|+{W}_{Q_{j}^{*}}|T_{j,1}|\Big{)}}{\sum_{j\in N_{0}^{*}}\Big{(}{W}_{Q_{j}^{*}}|T_{j,1}|\Big{)}+\sum_{j\in\widehat{N}_{0}}\Big{(}V_{j,0}|T_{j,0}|+{W}_{\widehat{Q}_{j}}|T_{j,1}|\Big{)}}
(34)jN0(Vj,0|Tj,0|+WQj|Tj,1|)+jN^0(2Vj,0|Tj,0|+WQ^j|Tj,1|)jN0(WQj|Tj,1|)+jN^0(Vj,0|Tj,0|+WQ^j|Tj,1|)\displaystyle\stackrel{{\scriptstyle\eqref{eq:a}}}{{\leq}}\frac{\sum_{j\in N_{0}^{*}}\Big{(}V_{j,0}|T_{j,0}|+{W}_{Q_{j}^{*}}|T_{j,1}|\Big{)}+\sum_{j\in\widehat{N}_{0}}\Big{(}2V_{j,0}|T_{j,0}|+{W}_{\widehat{Q}_{j}}|T_{j,1}|\Big{)}}{\sum_{j\in N_{0}^{*}}\Big{(}{W}_{Q_{j}^{*}}|T_{j,1}|\Big{)}+\sum_{j\in\widehat{N}_{0}}\Big{(}V_{j,0}|T_{j,0}|+{W}_{\widehat{Q}_{j}}|T_{j,1}|\Big{)}}
(35)jN0(2WQj|Tj,1|WQ^j|Tj,1|)+jN^0(2Vj,0|Tj,0|+WQ^j|Tj,1|)jN0(WQj|Tj,1|)+jN^0(Vj,0|Tj,0|+WQ^j|Tj,1|)\displaystyle\stackrel{{\scriptstyle\eqref{eq:b}}}{{\leq}}\frac{\sum_{j\in N_{0}^{*}}\Big{(}2{W}_{Q_{j}^{*}}|T_{j,1}|-{W}_{\widehat{Q}_{j}}|T_{j,1}|\Big{)}+\sum_{j\in\widehat{N}_{0}}\Big{(}2V_{j,0}|T_{j,0}|+{W}_{\widehat{Q}_{j}}|T_{j,1}|\Big{)}}{\sum_{j\in N_{0}^{*}}\Big{(}{W}_{Q_{j}^{*}}|T_{j,1}|\Big{)}+\sum_{j\in\widehat{N}_{0}}\Big{(}V_{j,0}|T_{j,0}|+{W}_{\widehat{Q}_{j}}|T_{j,1}|\Big{)}}
=2{jN0WQj|Tj,1|+jN^0(Vj,0|Tj,0|+WQ^j|Tj,1|)}j=1mWQ^j|Tj,1|jN0(WQj|Tj,1|)+jN^0(Vj,0|Tj,0|+WQ^j|Tj,1|)\displaystyle=\frac{2\Big{\{}\sum_{j\in N_{0}^{*}}{W}_{Q_{j}^{*}}|T_{j,1}|+\sum_{j\in\widehat{N}_{0}}\Big{(}V_{j,0}|T_{j,0}|+{W}_{\widehat{Q}_{j}}|T_{j,1}|\Big{)}\Big{\}}-\sum_{j=1}^{m}{W}_{\widehat{Q}_{j}}|T_{j,1}|}{\sum_{j\in N_{0}^{*}}\Big{(}{W}_{Q_{j}^{*}}|T_{j,1}|\Big{)}+\sum_{j\in\widehat{N}_{0}}\Big{(}V_{j,0}|T_{j,0}|+{W}_{\widehat{Q}_{j}}|T_{j,1}|\Big{)}}
=2θi,\displaystyle=2-\theta_{\mathcal{B}_{-i}}\,,

where

0<θi\displaystyle 0<\theta_{\mathcal{B}_{-i}} =j=1mWQ^j|Tj,1|jN0(WQj|Tj,1|)+jN^0(Vj,0|Tj,0|+WQ^j|Tj,1|)\displaystyle=\frac{\sum_{j=1}^{m}{W}_{\widehat{Q}_{j}}|T_{j,1}|}{\sum_{j\in N_{0}^{*}}\Big{(}{W}_{Q_{j}^{*}}|T_{j,1}|\Big{)}+\sum_{j\in\widehat{N}_{0}}\Big{(}V_{j,0}|T_{j,0}|+{W}_{\widehat{Q}_{j}}|T_{j,1}|\Big{)}}
(34)j=1mWQ^j|Tj,1|jN0(WQj|Tj,1|)+jN^0(WQj|Tj,1|)\displaystyle\stackrel{{\scriptstyle\eqref{eq:a}}}{{\leq}}\frac{\sum_{j=1}^{m}{W}_{\widehat{Q}_{j}}|T_{j,1}|}{\sum_{j\in N_{0}^{*}}\Big{(}{W}_{Q_{j}^{*}}|T_{j,1}|\Big{)}+\sum_{j\in\widehat{N}_{0}}\Big{(}{W}_{Q_{j}^{*}}|T_{j,1}|\Big{)}}
=j=1mWQ^j|Tj,1|j=1mWQj|Tj,1|\displaystyle=\frac{\sum_{j=1}^{m}{W}_{\widehat{Q}_{j}}|T_{j,1}|}{\sum_{j=1}^{m}{W}_{Q_{j}^{*}}|T_{j,1}|}
(a)maxj[m]WQ^jWQj1,\displaystyle\stackrel{{\scriptstyle(a)}}{{\leq}}\max_{j\in[m]}\frac{{W}_{\widehat{Q}_{j}}}{{W}_{Q_{j}^{*}}}\leq 1\,,

and (a)(a) follows from 1.

Fact 1 (Williamson and Shmoys (2011, pp. 25)).

For positive numbers a1,,aka_{1},\dots,a_{k} and b1,,bkb_{1},\dots,b_{k},

j=1kajj=1kbjmaxj[m]ajbj.\displaystyle\frac{\sum_{j=1}^{k}a_{j}}{\sum_{j=1}^{k}b_{j}}\leq\max_{j\in[m]}\frac{a_{j}}{b_{j}}\,.

Finally,

PoUFm=maxiPoUFm(i)2miniθi=:2θ,\displaystyle\textsc{PoUF}_{m}=\max_{\mathcal{B}_{-i}}\textsc{PoUF}_{m}(\mathcal{B}_{-i})\leq 2-\min_{\mathcal{B}_{-i}}\theta_{\mathcal{B}_{-i}}=:2-\theta,

where θ=miniθi(0,1]\theta=\min_{\mathcal{B}_{-i}}\theta_{\mathcal{B}_{-i}}\in(0,1].

A.8 Proof of Theorem 6.1

We define the following metrics for any i\mathcal{B}_{-i}:

Ratio-unim(i):=Vm(i)V1(i),andRatio-optm(i):=Vm𝐎𝐏𝐓(i)V1𝐎𝐏𝐓(i).\displaystyle\textsc{Ratio-uni}_{m}(\mathcal{B}_{-i}):=\frac{V_{m}^{*}(\mathcal{B}_{-i})}{V_{1}^{*}(\mathcal{B}_{-i})},\qquad\text{and}\qquad\textsc{Ratio-opt}_{m}(\mathcal{B}_{-i}):=\frac{V^{\mathbf{OPT}}_{m}\left(\mathcal{B}_{-i}\right)}{V^{\mathbf{OPT}}_{1}\left(\mathcal{B}_{-i}\right)}\,.

So, Ratio-unim=maxiRatio-unim(i)\textsc{Ratio-uni}_{m}=\max_{\mathcal{B}_{-i}}\textsc{Ratio-uni}_{m}(\mathcal{B}_{-i}) and Ratio-optm=maxiRatio-optm(i)\textsc{Ratio-opt}_{m}=\max_{\mathcal{B}_{-i}}\textsc{Ratio-opt}_{m}(\mathcal{B}_{-i}). We first derive bounds on Ratio-unim(i)\textsc{Ratio-uni}_{m}(\mathcal{B}_{-i}) and Ratio-optm(i)\textsc{Ratio-opt}_{m}(\mathcal{B}_{-i}) and then maximizing over all i\mathcal{B}_{-i}, we get the desired result. Note that the lower bound for Ratio-unim(i)\textsc{Ratio-uni}_{m}(\mathcal{B}_{-i}) holds true as 𝒫1𝒫m\mathcal{P}_{1}^{\star}\subseteq\mathcal{P}_{m}^{\star} and the lower bound for Ratio-optm(i)\textsc{Ratio-opt}_{m}(\mathcal{B}_{-i}) holds true by definition of the Problem (VM-optm\textsc{VM-opt}_{m}).

Claim 3 (Upper bound on Ratio-unim(i)\textsc{Ratio-uni}_{m}(\mathcal{B}_{-i}) and Ratio-optm(i)\textsc{Ratio-opt}_{m}(\mathcal{B}_{-i})).

For any fixed i\mathcal{B}_{-i} and m2m\geq 2, Ratio-unim(i)<m\textsc{Ratio-uni}_{m}(\mathcal{B}_{-i})<m and Ratio-optm(i)<m\textsc{Ratio-opt}_{m}(\mathcal{B}_{-i})<m.

A.8.1 Bound for Ratio-optm(i)\textsc{Ratio-opt}_{m}(\mathcal{B}_{-i}).

Fix some bid history i=[𝜷it]t[T]\mathcal{B}_{-i}=[\bm{\beta}_{-i}^{t}]_{t\in[T]}. To show the upper bound, without loss of generality, assume 𝐛m𝐎𝐏𝐓(i)=(b1,q1),,(bm,qm)\mathbf{b}_{m}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right)=\langle(b_{1},q_{1}),\dots,(b_{m},q_{m})\rangle. So, by invoking Lemma 8 (as 𝐛m𝐎𝐏𝐓(i)\mathbf{b}_{m}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right) is feasible),

Vm𝐎𝐏𝐓(i)\displaystyle V^{\mathbf{OPT}}_{m}\left(\mathcal{B}_{-i}\right) =t=1TVi(𝐛m𝐎𝐏𝐓(i);𝜷it)=t=1Tmaxj[m]Vi((bj,Qj);𝜷it).\displaystyle=\sum_{t=1}^{T}V_{i}(\mathbf{b}_{m}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right);\bm{\beta}_{-i}^{t})=\sum_{t=1}^{T}\max_{j\in[m]}V_{i}((b_{j},Q_{j});\bm{\beta}_{-i}^{t})\,.
Fact 2.

Let a1,,am0a_{1},\dots,a_{m}\geq 0, then maxj[m]aj<j=1maj\max_{j\in[m]}a_{j}<\sum_{j=1}^{m}a_{j} unless k[m]\exists k\in[m] such that aj=0,jka_{j}=0,\forall j\neq k.

Consider the two following cases:

Case 1. Suppose, t[T]\exists t\in[T] such that maxj[m]Vi((bj,Qj);𝜷it)<j=1mVi((bj,Qj);𝜷it)\max_{j\in[m]}V_{i}((b_{j},Q_{j});\bm{\beta}_{-i}^{t})<\sum_{j=1}^{m}V_{i}((b_{j},Q_{j});\bm{\beta}_{-i}^{t}). Then,

Vm𝐎𝐏𝐓(i)\displaystyle V^{\mathbf{OPT}}_{m}\left(\mathcal{B}_{-i}\right) <t=1Tj=1mVi((bj,Qj);𝜷it)\displaystyle<\sum_{t=1}^{T}\sum_{j=1}^{m}V_{i}((b_{j},Q_{j});\bm{\beta}_{-i}^{t})
=j=1mt=1TVi((bj,Qj);𝜷it)\displaystyle=\sum_{j=1}^{m}\sum_{t=1}^{T}V_{i}((b_{j},Q_{j});\bm{\beta}_{-i}^{t})
j=1mmax𝐛t=1TVi(𝐛;𝜷it)=mV1𝐎𝐏𝐓(i)\displaystyle\leq\sum_{j=1}^{m}\max_{\mathbf{b}}\sum_{t=1}^{T}V_{i}(\mathbf{b};\bm{\beta}_{-i}^{t})=mV^{\mathbf{OPT}}_{1}\left(\mathcal{B}_{-i}\right)\, (36)

where in Eq. 36, the maximum is taken over all 1-uniform feasible bidding policies for i\mathcal{B}_{-i}.

Case 2. Suppose for all t[T]t\in[T], maxj[m]Vi((bj,Qj);𝜷it)=j=1mVi((bj,Qj);𝜷it)\max_{j\in[m]}V_{i}((b_{j},Q_{j});\bm{\beta}_{-i}^{t})=\sum_{j=1}^{m}V_{i}((b_{j},Q_{j});\bm{\beta}_{-i}^{t}) and define k=argmaxj[m]Vi((bj,Qj);𝜷it)k=\mathop{\mathrm{argmax}}_{j\in[m]}V_{i}((b_{j},Q_{j});\bm{\beta}_{-i}^{t}). So,

Vm𝐎𝐏𝐓(i)\displaystyle V^{\mathbf{OPT}}_{m}\left(\mathcal{B}_{-i}\right) =t=1TVi((bk,Qk);𝜷it)max𝐛t=1TVi(𝐛;𝜷it)=V1𝐎𝐏𝐓(i).\displaystyle=\sum_{t=1}^{T}V_{i}((b_{k},Q_{k});\bm{\beta}_{-i}^{t})\leq\max_{\mathbf{b}}\sum_{t=1}^{T}V_{i}(\mathbf{b};\bm{\beta}_{-i}^{t})=V^{\mathbf{OPT}}_{1}\left(\mathcal{B}_{-i}\right)\,. (37)

In Eq. 37, the maximum is taken over all 1-uniform feasible bidding policies for i\mathcal{B}_{-i}. By Problem (VM-optm\textsc{VM-opt}_{m}), Vm𝐎𝐏𝐓(i)V1𝐎𝐏𝐓(i)V^{\mathbf{OPT}}_{m}\left(\mathcal{B}_{-i}\right)\geq V^{\mathbf{OPT}}_{1}\left(\mathcal{B}_{-i}\right). So, in Case 2, Vm𝐎𝐏𝐓(i)=V1𝐎𝐏𝐓(i)V^{\mathbf{OPT}}_{m}\left(\mathcal{B}_{-i}\right)=V^{\mathbf{OPT}}_{1}\left(\mathcal{B}_{-i}\right). From the two cases, we conclude that Vm𝐎𝐏𝐓(i)V1𝐎𝐏𝐓(i)<m\frac{V^{\mathbf{OPT}}_{m}\left(\mathcal{B}_{-i}\right)}{V^{\mathbf{OPT}}_{1}\left(\mathcal{B}_{-i}\right)}<m for any i\mathcal{B}_{-i}. Maximizing over all i\mathcal{B}_{-i}, we get the desired result.

A.8.2 Bounds on Ratio-unim(i)\textsc{Ratio-uni}_{m}(\mathcal{B}_{-i}).

Fix a bid history i=[𝜷it]t[T]\mathcal{B}_{-i}=[\bm{\beta}_{-i}^{t}]_{t\in[T]}. To show the upper bound, without loss of generality, assume 𝐛m(i)=(wQ11+γ,q1),,(wQm1+γ,qm)\mathbf{b}_{m}^{*}(\mathcal{B}_{-i})=\left\langle\left(\frac{w_{Q_{1}}}{1+\gamma},q_{1}\right),\dots,\left(\frac{w_{Q_{m}}}{1+\gamma},q_{m}\right)\right\rangle. So, by invoking Lemma 3,

Vm(i)\displaystyle V_{m}^{*}(\mathcal{B}_{-i}) =t=1TVi(𝐛m(i),𝜷it)=t=1Tmaxj[m]Vi((wQj1+γ,Qj);𝜷it).\displaystyle=\sum_{t=1}^{T}V_{i}(\mathbf{b}_{m}^{*}(\mathcal{B}_{-i}),\bm{\beta}_{-i}^{t})=\sum_{t=1}^{T}\max_{j\in[m]}V_{i}\Big{(}\Big{(}\frac{w_{Q_{j}}}{1+\gamma},Q_{j}\Big{)};\bm{\beta}_{-i}^{t}\Big{)}\,.

Henceforth, the proof proceeds identical to that for establishing the upper bound for Ratio-optm(i)\textsc{Ratio-opt}_{m}(\mathcal{B}_{-i}), with the exception that in Eq. 36 and Eq. 37, the maximum is taken over the UF bidding policies in 𝒫1\mathcal{P}_{1}^{\star}, instead of all feasible bidding policies. Thus, we conclude that Vm(i)V1(i)<m\frac{V_{m}^{*}(\mathcal{B}_{-i})}{V_{1}^{*}(\mathcal{B}_{-i})}<m. Maximizing over all i\mathcal{B}_{-i}, we get the desired result.

A.9 Proof of Corollary 7.1

Let 𝐛=(wQ11+γ,q1),,(wQk1+γ,qk)\mathbf{b}=\big{\langle}\big{(}\frac{w_{Q_{1}}}{1+\gamma},q_{1}\big{)},\dots,\big{(}\frac{w_{Q_{k}}}{1+\gamma},q_{k}\big{)}\big{\rangle} be a nested UF policy in 𝒫m\mathcal{P}_{m}^{\star} where k[m]k\in[m]. Hence, for any i=[𝜷it]t[T]\mathcal{B}_{-i}=[\bm{\beta}_{-i}^{t}]_{t\in[T]}, by Lemma 3, we have

max𝐛𝒫mt=1TVi(𝐛,𝜷it)\displaystyle\max_{\mathbf{b}\in\mathcal{P}_{m}^{\star}}\sum_{t=1}^{T}V_{i}(\mathbf{b},\bm{\beta}_{-i}^{t}) =max𝐛𝒫mt=1TVi((wQ11+γ,q1),,(wQk1+γ,qk),𝜷it)\displaystyle=\max_{\mathbf{b}\in\mathcal{P}_{m}^{\star}}\sum_{t=1}^{T}V_{i}\Big{(}\big{\langle}\big{(}\frac{w_{Q_{1}}}{1+\gamma},q_{1}\big{)},\dots,\big{(}\frac{w_{Q_{k}}}{1+\gamma},q_{k}\big{)}\big{\rangle},\bm{\beta}_{-i}^{t}\Big{)}
=max𝐛𝒫mt=1Tmax[k]Vi((wQ1+γ,Q),𝜷it)\displaystyle=\max_{\mathbf{b}\in\mathcal{P}_{m}^{\star}}\sum_{t=1}^{T}\max_{\ell\in[k]}V_{i}\Big{(}\Big{(}\frac{w_{Q_{\ell}}}{1+\gamma},Q_{\ell}\Big{)},\bm{\beta}_{-i}^{t}\Big{)}
=maxS[M¯]:|S|mt=1TmaxSVi((w1+γ,),𝜷it).\displaystyle=\max_{S\subseteq[\overline{M}]:|S|\leq m}\sum_{t=1}^{T}\max_{\ell\in S}V_{i}\Big{(}\Big{(}\frac{w_{\ell}}{1+\gamma},\ell\Big{)},\bm{\beta}_{-i}^{t}\Big{)}\,.

Appendix B Tight Lower Bounds

B.1 Tight Lower Bound for Theorem 5.2 (For m=1m=1)

In this section, we construct a bid history, i\mathcal{B}_{-i} and valuation curve 𝐯\mathbf{v} (equivalently the 𝒫m\mathcal{P}_{m}^{\star}) for which the upper bound on PoUFm\textsc{PoUF}_{m}, presented in Theorem 5.2, is tight. Recall that for any choice of i\mathcal{B}_{-i}, PoUFm(i)2θi\textsc{PoUF}_{m}(\mathcal{B}_{-i})\leq 2-\theta_{\mathcal{B}_{-i}}, where θimaxj[m](WQ^j/WQj)\theta_{\mathcal{B}_{-i}}\leq\max_{j\in[m]}({W}_{\widehat{Q}j}/{W}_{Q_{j}^{*}}). To minimize θi\theta_{\mathcal{B}_{-i}}, we choose a valuation curve that is very weakly decreasing. We then set the competing bids such that Q^jQj\widehat{Q}_{j}\ll Q_{j}^{*} for all j[m]j\in[m]. Finally, we determine the values of |Tj,0||T_{j,0}| and |Tj,1||T_{j,1}| for which the upper bound is tight. See the definition of these quantities in Section 5.1, where the first part of the theorem is proven.

We present the case when m=1m=1 below. The case for m2m\geq 2 is deferred to Section B.2. Although the main idea for both the cases are the same, for m2m\geq 2, the construction is more involved, and hence presented separately (see details in Section B.2). Formally, for any δ(0,1/2]\delta\in(0,1/2], we design a bid history, i\mathcal{B}_{-i}, and valuation vector, 𝐯\mathbf{v} for which PoUF12δ\textsc{PoUF}_{1}\geq 2-\delta.

Let M¯=21/δ\overline{M}=2\left\lceil 1/\delta\right\rceil. Suppose 𝐯=[1,v,,v]M¯\mathbf{v}=[1,v,\cdots,v]\in\mathbb{R}^{\overline{M}}, target RoI γ=0\gamma=0 and v=14ϵv=1-4\epsilon where ϵ=δ1/M¯4(11/M¯)<δ4\epsilon=\frac{\delta-1/\overline{M}}{4(1-1/\overline{M})}<\frac{\delta}{4}. Observe that ϵ(0,1/8)\epsilon\in(0,1/8) as δ1/2\delta\leq 1/2. Let T=M¯T=\overline{M} and K=M¯+1K=\overline{M}+1. The bid history is defined as:

𝜷i,t(j)={1ϵ, if tM¯1 and j=1C, if tM¯1 and 2jKϵ, if t=M¯ and 1jK,\displaystyle\bm{\beta}_{-i,t}^{-(j)}=\begin{cases}1-\epsilon,~{}&\text{ if $t\leq\overline{M}-1$ and $j=1$}\\ C,~{}&\text{ if $t\leq\overline{M}-1$ and $2\leq j\leq K$}\\ \epsilon,~{}&\text{ if $t=\overline{M}$ and $1\leq j\leq K$}\\ \end{cases}\,,

where Cw1C\gg w_{1}. The bid history is presented in Table 2.

Table 2: Bid history, i\mathcal{B}_{-i}, that achieves the 22-approximation asymptotically for m=1m=1. Here Cw1C\gg w_{1} and ϵ>0\epsilon>0 is a small real number.
t=1t=1 t=2t=2 \cdots t=M¯1t=\overline{M}-1 t=M¯t=\overline{M}
CC CC \cdots CC ϵ\epsilon
\vdots \vdots \cdots \vdots \vdots
CC CC \cdots CC \vdots
1ϵ1-\epsilon 1ϵ1-\epsilon \cdots 1ϵ1-\epsilon ϵ\epsilon

Notice that the constructed i\mathcal{B}_{-i} contains M¯1\overline{M}-1 rounds with high competition (where the bidder can acquire at most 1 unit), while there is one round with minimal competition, allowing the bidder to obtain any desired number of units. In such instances, 1-uniform UF bidding policies of the form (wq,q)(w_{q},q) do not perform well universally on all rounds. This is because under the 1-uniform UF bidding policies of the form (wq,q)(w_{q},q), as qq increases, despite the increasing demand (i.e., qq), the bid value wqw_{q} decreases, thereby reducing the likelihood of acquiring a higher number of units.

Computing V𝐎𝐏𝐓1(i)V^{\mathbf{OPT}}_{1}\left(\mathcal{B}_{-i}\right). Note that no feasible bidding policy can be allocated more than 1 unit in the first M¯1\overline{M}-1 rounds and M¯\overline{M} units in the final round. We claim that 𝐛1𝐎𝐏𝐓(i)=(1,M¯)\mathbf{b}_{1}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right)=(1,\overline{M}). Observe that 𝐛1𝐎𝐏𝐓(i)\mathbf{b}_{1}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right) is allocated 1 unit in each of the first M¯1\overline{M}-1 rounds and M¯\overline{M} units in the final round. Hence, it is allocated the maximum number of units possible. To verify that 𝐛1𝐎𝐏𝐓(i)\mathbf{b}_{1}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right) is feasible, notice that for t[M¯1]\forall t\in[\overline{M}-1], p(𝜷t)=1w1=1p(\bm{\beta}^{t})=1\leq w_{1}=1. For round t=M¯t=\overline{M}, as K>M¯K>\overline{M}, p(𝜷t)=ϵ14ϵ<wM¯=λ1+(1λ)(14ϵ)p(\bm{\beta}^{t})=\epsilon\leq 1-4\epsilon<w_{\overline{M}}=\lambda\cdot 1+(1-\lambda)\cdot(1-4\epsilon) where λ=1/M¯\lambda=1/\overline{M}, implying that 𝐛1𝐎𝐏𝐓(i)\mathbf{b}_{1}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right) is feasible. So, V𝐎𝐏𝐓1(i)=M¯+v(M¯1)V^{\mathbf{OPT}}_{1}\left(\mathcal{B}_{-i}\right)=\overline{M}+v(\overline{M}-1).

Computing the optimal policy in 𝒫1\mathcal{P}_{1}^{\star}. Here, we argue that the optimal policy in 𝒫1\mathcal{P}_{1}^{\star} is (w1,1)=(1,1)(w_{1},1)=(1,1). Observe that the policy (1,1)(1,1) is allocated 1 unit in each round. Hence, it obtains a total value of M¯\overline{M}.

As 𝜷i,t(1)=1ϵ>12ϵ=w2\bm{\beta}_{-i,t}^{-(1)}=1-\epsilon>1-2\epsilon=w_{2}, for t=1,2,,M¯1t=1,2,\dots,\overline{M}-1, bidding (wq,q)\left(w_{q},q\right) for q2q\geq 2 does not get any value in the first M¯1\overline{M}-1 rounds. Bidding (wq,q)\left(w_{q},q\right) gets exactly qq units in round M¯\overline{M} as wq>ϵw_{q}>\epsilon for any q2q\geq 2. So, for 2qM¯2\leq q\leq\overline{M}, the total value obtained by bidding (wq,q)(w_{q},q) is 1+(q1)v<q1+(q-1)v<q. Hence, V1(i)=M¯V_{1}^{*}(\mathcal{B}_{-i})=\overline{M}, which is the value obtained by the UF bid (w1,1)(w_{1},1). So,

PoUF1V𝐎𝐏𝐓1(i)V1(i)=M¯+v(M¯1)M¯=2M¯14ϵ(M¯1)M¯=2δ.\displaystyle\textsc{PoUF}_{1}\geq\frac{V^{\mathbf{OPT}}_{1}\left(\mathcal{B}_{-i}\right)}{V_{1}^{*}(\mathcal{B}_{-i})}=\frac{\overline{M}+v(\overline{M}-1)}{\overline{M}}=\frac{2\overline{M}-1-4\epsilon(\overline{M}-1)}{\overline{M}}=2-\delta\,.

B.2 Tight Lower Bound for Theorem 5.2 (For m2m\geq 2)

In this section, we design a bid history i\mathcal{B}_{-i} and valuation vector, 𝐯\mathbf{v} such that for any δ(0,1/2]\delta\in(0,1/2], PoUFm2δ\textsc{PoUF}_{m}\geq 2-\delta. By definition, for any i\mathcal{B}_{-i} and m2m\geq 2,

PoUFmV𝐎𝐏𝐓m(i)Vm(i)>V𝐎𝐏𝐓m(i)mV1(i),\displaystyle\textsc{PoUF}_{m}\geq\frac{V^{\mathbf{OPT}}_{m}\left(\mathcal{B}_{-i}\right)}{V_{m}^{*}(\mathcal{B}_{-i})}>\frac{V^{\mathbf{OPT}}_{m}\left(\mathcal{B}_{-i}\right)}{mV_{1}^{*}(\mathcal{B}_{-i})}\,, (38)

where the second inequality follows directly from the bounds on Ratio-unim(i)\textsc{Ratio-uni}_{m}(\mathcal{B}_{-i}) (see details in Section A.8). So, instead of computing Vm(i)V_{m}^{*}(\mathcal{B}_{-i}) directly which can be non-trivial, we obtain V1(i)V_{1}^{*}(\mathcal{B}_{-i}) and show that the bound is tight.

B.2.1 Construction of i\mathcal{B}_{-i}.

We first decide all the parameters.

  • Fix m2m\geq 2 and any integer N21δN\geq 2\left\lceil\frac{1}{\delta}\right\rceil.

  • Let M¯=N2m1\overline{M}=N^{2m-1}. Consider T=N2m1T=N^{2m-1} rounds and K=N2m1+1K=N^{2m-1}+1 units in each auction.

  • Let ϵ=mδ/(2m1)1/N2(11/N)<δ214\epsilon^{\prime}=\frac{m\delta/(2m-1)-1/N}{2(1-1/N)}<\frac{\delta}{2}\leq\frac{1}{4}. Set ϵ\epsilon such that ϵ=ϵN2m1(N2m1+1)\epsilon^{\prime}=\epsilon N^{2m-1}(N^{2m-1}+1).

Consider a valuation vector 𝐯=[1,v,,v]\mathbf{v}=[1,v,\cdots,v] such that v=12ϵv=1-2\epsilon^{\prime}, and target RoI γ=0\gamma=0. Partition the N2m1N^{2m-1} rounds into 2m2m partitions such that the first partition has 11 round and the jthj^{th} partition has Nj1Nj2N^{j-1}-N^{j-2} rounds for 2j2m2\leq j\leq 2m. Each partition has identical competing bid profile submitted by other bidders. In particular,

  1. 1.

    The first partition (containing one round) has all the bids submitted by others as wN2m1+1+ϵw_{N^{2m-1}+1}+\epsilon.

  2. 2.

    If j>1j>1 and jj is odd, for the jthj^{th} partition (of size Nj1Nj2N^{j-1}-N^{j-2}), the smallest N2mj+1N^{2m-j}+1 winning competing bids are wN2mj+1+ϵw_{N^{2m-j}+1}+\epsilon and the remaining bids are Cw1C\gg w_{1}.

  3. 3.

    If j>1j>1 and jj is even, for the jthj^{th} partition (of size Nj1Nj2N^{j-1}-N^{j-2}), the smallest N2mjN^{2m-j} winning competing bids are wN2mj+1+ϵw_{N^{2m-j}+1}+\epsilon and the remaining bids are Cw1C\gg w_{1}.

We present an example for such a bid history in Table 3.

Table 3: Example of bid history, i\mathcal{B}_{-i} achieving 2-approximation asymptotically for m=2m=2. Each round in the same partition has identical competing bid profile. Total number of units in each auction is K=N3+1K=N^{3}+1.
Partition 1 Partition 2 Partition 3 Partition 4
t=1t=1 t[2,N]t\in[2,N] t[N+1,N2]t\in[N+1,N^{2}] t[N2+1,N3]t\in[N^{2}+1,N^{3}]
0 bids are CC N3N2+1N^{3}-N^{2}+1 bids are CC N3NN^{3}-N bids are CC N3N^{3} bids are CC
N3+1N^{3}+1 bids are wN3+1+ϵw_{N^{3}+1}+\epsilon N2N^{2} bids are wN2+1+ϵw_{N^{2}+1}+\epsilon N+1N+1 bids are wN+1+ϵw_{N+1}+\epsilon 1 bid is w2+ϵw_{2}+\epsilon

B.2.2 Computing 𝐛m𝐎𝐏𝐓(i)\mathbf{b}_{m}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right).

We make the following claim about the optimal mm-uniform bidding policy for the constructed i\mathcal{B}_{-i}.

Lemma 10.

For the aforementioned i\mathcal{B}_{-i}, 𝐛m𝐎𝐏𝐓(i)=(b1,q1),,(bm,qm)\mathbf{b}_{m}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right)=\langle(b_{1},q_{1}),\dots,(b_{m},q_{m})\rangle where

(bj,qj)={(1,N), if j=1(wN2j2,N2j1N2j3), if 2jm.\displaystyle(b_{j},q_{j})=\begin{cases}\left(1,N\right),&~{}\text{ if }j=1\\ \left(w_{N^{2j-2}},N^{2j-1}-N^{2j-3}\right),&~{}\text{ if }2\leq j\leq m\,.\end{cases} (39)

Furthermore,

V𝐎𝐏𝐓m(i)=N2m1+(2m1)(N2m1N2m2)v.\displaystyle V^{\mathbf{OPT}}_{m}\left(\mathcal{B}_{-i}\right)=N^{2m-1}+(2m-1)(N^{2m-1}-N^{2m-2})v\,.
Proof.

Proof. We begin by a crucial observation that the bid history does not allow obtaining more than N2mjN^{2m-j} units in the jthj^{th} partition irrespective of the number of bids submitted by the bidder. To verify this, note that, the maximum number of units that can be allocated to any bidding policy in the jthj^{th} partition is either N2mjN^{2m-j} or N2mj+1N^{2m-j}+1 (depending on if jj is even or odd). Suppose contrary to our claim, the bidder is allocated N2mj+1N^{2m-j}+1 units in the some round tt in the jthj^{th} partition by bidding some 𝐛\mathbf{b}. Let 𝜷t=(𝐛,𝜷it)\bm{\beta}^{t}=(\mathbf{b},\bm{\beta}_{-i}^{t}) be the complete bid profile. So, p(𝜷t)wN2mj+1+ϵp(\bm{\beta}^{t})\geq w_{N^{2m-j}+1}+\epsilon but xi(𝜷t)=N2mj+1x_{i}(\bm{\beta}^{t})=N^{2m-j}+1 indicating that the RoI constraint is violated, which verifies our claim.

So, the total number of units, NtotalN_{\text{total}}, that can be obtained by the bidder across the auctions is:

NtotalN2m1+j=22mN2mj(Nj1Nj2)=2mN2m1(2m1)N2m2=:Nmax.\displaystyle N_{\text{total}}\leq N^{2m-1}+\sum_{j=2}^{2m}N^{2m-j}(N^{j-1}-N^{j-2})=2mN^{2m-1}-(2m-1)N^{2m-2}=:N_{\max}.

Now, we compute the the number of units obtained by bidding 𝐛m𝐎𝐏𝐓(i)\mathbf{b}_{m}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right) and show that it is allocated NmaxN_{\max} units across all the auctions, demonstrating that it is the optimal bidding strategy.

Consider any auction in the jthj^{th} partition. The lowest winning bid in the bid profile is wN2mj+1+ϵw_{N^{2m-j}+1}+\epsilon. Note that the unique bid values (ignoring the quantity for the sake of brevity) in 𝐛m𝐎𝐏𝐓(i)\mathbf{b}_{m}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right) are 𝐛={1,wN2,,wN2m2}\mathbf{b}=\left\{1,w_{N^{2}},\dots,w_{N^{2m-2}}\right\}. We claim that the winning bid values of 𝐛m𝐎𝐏𝐓(i)\mathbf{b}_{m}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right) in the jthj^{th} partition are 𝐛^={1,wN2,,wN2m+2j/2}\mathbf{\hat{b}}=\left\{1,w_{N^{2}},\dots,w_{N^{2m+2\left\lfloor-j/2\right\rfloor}}\right\}. This is true because the least bid value in 𝐛^\hat{\mathbf{b}} is greater than wNmj+1+ϵw_{N^{m-j}+1}+\epsilon, i.e.,

wN2m+2j/2(wN2mj+1+ϵ)\displaystyle w_{N^{2m+2\left\lfloor-j/2\right\rfloor}}-(w_{N^{2m-j}+1}+\epsilon) wN2mj(wN2mj+1+ϵ)\displaystyle\geq w_{N^{2m-j}}-(w_{N^{2m-j}+1}+\epsilon)
=1vN2mj(N2mj+1)ϵ=2ϵN2m1(N2m1+1)N2mj(N2mj+1)ϵϵ>0.\displaystyle=\frac{1-v}{N^{2m-j}(N^{2m-j}+1)}-\epsilon=\frac{2\epsilon N^{2m-1}(N^{2m-1}+1)}{N^{2m-j}(N^{2m-j}+1)}-\epsilon\geq\epsilon>0\,.

Let NjN_{j} denote the number of units allocated to 𝐛m𝐎𝐏𝐓(i)\mathbf{b}_{m}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right) in each auction in the jthj^{th} partition. There are two cases:

  1. (a)

    for jj odd, recall that for the jthj^{th} partition (of size Nj1Nj2N^{j-1}-N^{j-2}), the smallest N2mj+1N^{2m-j}+1 winning competing bids are wN2mj+1+ϵw_{N^{2m-j}+1}+\epsilon and the remaining bids are Cw1C\gg w_{1}. Then,

    Nj=N+=2mj12(N21N23)=N2mj.\displaystyle N_{j}=N+\sum_{\ell=2}^{m-\frac{j-1}{2}}(N^{2\ell-1}-N^{2\ell-3})=N^{2m-j}\,.
  2. (b)

    For jj even, recall that for the jthj^{th} partition (of size Nj1Nj2N^{j-1}-N^{j-2}), the smallest N2mjN^{2m-j} winning competing bids are wN2mj+1+ϵw_{N^{2m-j}+1}+\epsilon and the remaining bids are Cw1C\gg w_{1}.

    Nj=min{N2mj,N+=2m+1j2(N21N23)}=min{N2mj,N2mj+1}=N2mj.\displaystyle N_{j}=\min\left\{N^{2m-j},N+\sum_{\ell=2}^{m+1-\frac{j}{2}}(N^{2\ell-1}-N^{2\ell-3})\right\}=\min\{N^{2m-j},N^{2m-j+1}\}=N^{2m-j}\,.

Here, the minimum is taken over two quantities as the first quantity is the number of finite competing bids in any round tt in the jthj^{th} partition and the second quantity represents the total demand of the winning bids in 𝐛m𝐎𝐏𝐓(i)\mathbf{b}_{m}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right). So, the total number of units obtained across all rounds:

N(𝐛m𝐎𝐏𝐓(i))=N2m1+j=22mN2mj(Nj1Nj2)=2mN2m1(2m1)N2m2.\displaystyle N(\mathbf{b}_{m}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right))=N^{2m-1}+\sum_{j=2}^{2m}N^{2m-j}(N^{j-1}-N^{j-2})=2mN^{2m-1}-(2m-1)N^{2m-2}.

As this is the maximum number of units that can be obtained by the bidder, 𝐛m𝐎𝐏𝐓(i)\mathbf{b}_{m}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right) is optimal. The total value obtained by bidding 𝐛m𝐎𝐏𝐓(i)\mathbf{b}_{m}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right) is

V𝐎𝐏𝐓m(i)\displaystyle V^{\mathbf{OPT}}_{m}\left(\mathcal{B}_{-i}\right) =1+(N2m11)v+j=22m(Nj1Nj2)(1+(N2mj1)v)\displaystyle=1+(N^{2m-1}-1)v+\sum_{j=2}^{2m}(N^{j-1}-N^{j-2})(1+(N^{2m-j}-1)v)
=N2m1+(2m1)(N2m1N2m2)v.\displaystyle=N^{2m-1}+(2m-1)(N^{2m-1}-N^{2m-2})v\,.

B.2.3 Computing V1(i)V_{1}^{*}(\mathcal{B}_{-i})

Recall that we chose to compute V1(i)V_{1}^{*}(\mathcal{B}_{-i}) and then invoke the bounds on Ratio-unim(i)\textsc{Ratio-uni}_{m}(\mathcal{B}_{-i}), instead of directly evaluating Vm(i)V_{m}^{*}(\mathcal{B}_{-i}).

Lemma 11.

For the aforementioned i\mathcal{B}_{-i}, 𝐛1(i)=(1,1)\mathbf{b}_{1}^{*}(\mathcal{B}_{-i})=(1,1) and V1(i)=N2m1V_{1}^{*}(\mathcal{B}_{-i})=N^{2m-1}.

Proof.

Proof. The basic idea is to enumerate the total units (value) that can be obtained by bidding (wq,q)(w_{q},q) for q[N2m1]q\in[N^{2m-1}] and then finding the maximum of those values. As qq can be exponential in mm, we exploit the structure of the bid history to compute the objective in an efficient manner.

Suppose q=1q=1. The maximum number of units (value) that can be obtained by bidding (1,1)(1,1) is trivially N2m1N^{2m-1}, So, (1,1)(1,1) obtains a total value N2m1N^{2m-1}.

Suppose q2q\geq 2. Furthermore, assume N2mj<qN2mj+1N^{2m-j}<q\leq N^{2m-j+1}, for some 2j2m2\leq j\leq 2m. Consider any bid of the form (wq,q)(w_{q},q). Bidding (wq,q)(w_{q},q) does not obtain any units in the partitions indexed by j,j+1,,2mj,j+1,\dots,2m as wqw_{q} is strictly less than the least winning competing bids in those partitions, i.e., wqwN2mj+1<wN2m+1+ϵw_{q}\leq w_{N^{2m-j}+1}<w_{N^{2m-\ell}+1}+\epsilon, for any {j,j+1,,2m}\ell\in\{j,j+1,\dots,2m\}. So, if N2mj<qN2mj+1N^{2m-j}<q\leq N^{2m-j+1}, (wq,q)(w_{q},q) gets no units in

=j2mN1N2=N2m1Nj2 auctions.\displaystyle\sum_{\ell=j}^{2m}N^{\ell-1}-N^{\ell-2}=N^{2m-1}-N^{j-2}\text{ auctions.}

In the remaining Nj2N^{j-2} auctions it can win at most qq units. So, the maximum value obtained by (wq,q)(w_{q},q) for any given q2q\geq 2 is

Nj2(1+(q1)v)\displaystyle N^{j-2}(1+(q-1)v) Nj2(1+(N2mj+11)v)=Nj2+(N2m1Nj2)v<N2m1,\displaystyle\leq N^{j-2}(1+(N^{2m-j+1}-1)v)=N^{j-2}+(N^{2m-1}-N^{j-2})v<N^{2m-1},

where the last inequality holds as v<1v<1. Hence, 𝐛1(i)=(1,1)\mathbf{b}_{1}^{*}(\mathcal{B}_{-i})=(1,1) and V1(i)=N2m1V_{1}^{*}(\mathcal{B}_{-i})=N^{2m-1}. ∎

Hence, from LABEL:lem:\numbid-bids-tight-2, Lemma 11 and Eq. 38

PoUFm>V𝐎𝐏𝐓m(i)mV1(i)\displaystyle\textsc{PoUF}_{m}>\frac{V^{\mathbf{OPT}}_{m}\left(\mathcal{B}_{-i}\right)}{mV_{1}^{*}(\mathcal{B}_{-i})} =N2m1+(2m1)(N2m1N2m2)vmN2m1\displaystyle=\frac{N^{2m-1}+(2m-1)(N^{2m-1}-N^{2m-2})v}{mN^{2m-1}}
=2mN2m1(2m1)N2m22ϵ(2m1)(N2m1N2m2)mN2m1\displaystyle=\frac{2mN^{2m-1}-(2m-1)N^{2m-2}-2\epsilon^{\prime}(2m-1)(N^{2m-1}-N^{2m-2})}{mN^{2m-1}}
=22m1m(1N+2ϵ(11N))\displaystyle=2-\frac{2m-1}{m}\Big{(}\frac{1}{N}+2\epsilon^{\prime}\Big{(}1-\frac{1}{N}\Big{)}\Big{)}
=2δ,\displaystyle=2-\delta\,,

where the last step follows by substituting the value of ϵ\epsilon^{\prime} and thus concludes the proof.

B.3 Tight Lower Bound for Theorem 6.1

In this section, we construct a bid history i\mathcal{B}_{-i} and valuation vector, 𝐯\mathbf{v} such that for any δ(0,1/2]\delta\in(0,1/2], Ratio-optmmδ\textsc{Ratio-opt}_{m}\geq m-\delta and Ratio-unimmδ\textsc{Ratio-uni}_{m}\geq m-\delta. The same example serves both the purposes.

B.3.1 Construction of i\mathcal{B}_{-i}.

We first decide all the parameters.

  • Fix m2m\geq 2 and any integer NmδN\geq\left\lceil\frac{m}{\delta}\right\rceil.

  • Let M¯=Nm1\overline{M}=N^{m-1}. Consider T=Nm1T=N^{m-1} rounds and K=Nm1K=N^{m-1} units in each auction.

  • Let ϵ=δ/(m1)1/N2(11/N)<δ2(m1)14\epsilon^{\prime}=\frac{\delta/(m-1)-1/N}{2(1-1/N)}<\frac{\delta}{2(m-1)}\leq\frac{1}{4}. Set ϵ\epsilon such that ϵ=ϵNm1(Nm1+1)\epsilon^{\prime}=\epsilon N^{m-1}(N^{m-1}+1).

Let the valuation vector be 𝐯=[1,v,,v]\mathbf{v}=[1,v,\cdots,v] such that v=12ϵv=1-2\epsilon^{\prime}, and target RoI, γ=0\gamma=0. Partition the Nm1N^{m-1} rounds into mm partitions such that the first partition has 11 round and the jthj^{th} partition has Nj1Nj2N^{j-1}-N^{j-2} rounds for 2jm2\leq j\leq m. Each partition has identical competing bid profile submitted by the other bidders. In particular,

  1. 1.

    The first partition (containing one round) has all the competing bids to be wNm1+1+ϵw_{N^{m-1}+1}+\epsilon.

  2. 2.

    For 2jm2\leq j\leq m, the jthj^{th} partition (of size Nj1Nj2N^{j-1}-N^{j-2}), the smallest Nmj+1N^{m-j}+1 competing winning bids are wNmj+1+ϵw_{N^{m-j}+1}+\epsilon and the remaining bids are Cw1C\gg w_{1}.

We present an example for such a bid history in Table 4.

Table 4: Example of bid history, i\mathcal{B}_{-i} achieving 4-approximation asymptotically for m=4m=4. Each round in the same partition has identical competing bid profile. Total number of units in each auction is K=N3K=N^{3}.
Partition 1 Partition 2 Partition 3 Partition 4
t=1t=1 t[2,N]t\in[2,N] t[N+1,N2]t\in[N+1,N^{2}] t[N2+1,N3]t\in[N^{2}+1,N^{3}]
0 bids are CC N3N21N^{3}-N^{2}-1 bids are CC N3N1N^{3}-N-1 bids are CC N32N^{3}-2 bids are CC
N3N^{3} bids are wN3+1+ϵw_{N^{3}+1}+\epsilon N2+1N^{2}+1 bids are wN2+1+ϵw_{N^{2}+1}+\epsilon N+1N+1 bids are wN+1+ϵw_{N+1}+\epsilon 2 bids are w2+ϵw_{2}+\epsilon

B.3.2 Identifying 𝐛m𝐎𝐏𝐓(i)\mathbf{b}_{m}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right)~{}(equivalently 𝐛m(i)\mathbf{b}_{m}^{*}(\mathcal{B}_{-i}))

We make the following claim about the optimal mm-uniform (UF) bidding policy for i\mathcal{B}_{-i}.

Lemma 12.

For the aforementioned i\mathcal{B}_{-i}, 𝐛m𝐎𝐏𝐓(i)=𝐛m(i)=(b1,q1),,(bm,qm)\mathbf{b}_{m}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right)=\mathbf{b}_{m}^{*}(\mathcal{B}_{-i})=\langle(b_{1},q_{1}),\dots,(b_{m},q_{m})\rangle where

(bj,qj)={(1,1),if j=1(wNj1,Nj1Nj2),if 2jm.\displaystyle(b_{j},q_{j})=\begin{cases}\left(1,1\right),&~{}\text{if }j=1\\ \left(w_{N^{j-1}},N^{j-1}-N^{j-2}\right),&~{}\text{if }2\leq j\leq m\end{cases}\,. (40)

Furthermore,

V𝐎𝐏𝐓m(i)=Vm(i)=Nm1+(m1)(Nm1Nm2)v.\displaystyle V^{\mathbf{OPT}}_{m}\left(\mathcal{B}_{-i}\right)=V_{m}^{*}(\mathcal{B}_{-i})=N^{m-1}+(m-1)(N^{m-1}-N^{m-2})v\,.
Proof.

Proof. We begin by a crucial observation that the bid history does not allow obtaining more than NmjN^{m-j} units in the jthj^{th} partition irrespective of the number of bids submitted by the bidder. To verify this, suppose contrary to our claim, that the bidder is allocated Nmj+1N^{m-j}+1 units in the some round tt in the jthj^{th} partition by bidding some 𝐛\mathbf{b}. Let 𝜷t=(𝐛,𝜷it)\bm{\beta}^{t}=(\mathbf{b},\bm{\beta}_{-i}^{t}) be the complete bid profile. Hence, p(𝜷t)wNmj+1+ϵp(\bm{\beta}^{t})\geq w_{N^{m-j}+1}+\epsilon but xi(𝜷t)=Nmj+1x_{i}(\bm{\beta}^{t})=N^{m-j}+1 indicating that the RoI constraint is violated which verifies our claim.

So, the total number of units, NtotalN_{\text{total}}, that can be obtained by the bidder across the auctions is:

NtotalNm1+j=2mNmj(Nj1Nj2)=mNm1(m1)Nm2:=Nmax.\displaystyle N_{\text{total}}\leq N^{m-1}+\sum_{j=2}^{m}N^{m-j}(N^{j-1}-N^{j-2})=mN^{m-1}-(m-1)N^{m-2}:=N_{\max}.

Now, we compute the number of units obtained by bidding 𝐛m𝐎𝐏𝐓(i)\mathbf{b}_{m}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right) and show that it is allocated NmaxN_{\max} units across all the auctions, showing that it is the optimal bidding strategy. Moreover, 𝐛m𝐎𝐏𝐓(i)\mathbf{b}_{m}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right) also exhibits a nested structure indicating that it is also UF which implies that 𝐛m𝐎𝐏𝐓(i)=𝐛m(i)\mathbf{b}_{m}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right)=\mathbf{b}_{m}^{*}(\mathcal{B}_{-i}). Hence, the feasibility of 𝐛m𝐎𝐏𝐓(i)\mathbf{b}_{m}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right) is satisfied.

To show 𝐛m𝐎𝐏𝐓(i)\mathbf{b}_{m}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right) is optimal, consider any auction in the jthj^{th} partition. The lowest winning competing bid is wNmj+1+ϵw_{N^{m-j}+1}+\epsilon. Note that the unique bid values (ignoring the quantity for the sake of brevity) in 𝐛m𝐎𝐏𝐓(i)\mathbf{b}_{m}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right), provided in Eq. 40, are 𝐛={1,wN,,wNm1}\mathbf{b}=\left\{1,w_{N},\dots,w_{N^{m-1}}\right\}. We claim that the winning bid values of 𝐛m𝐎𝐏𝐓(i)\mathbf{b}_{m}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right) in the jthj^{th} partition are 𝐛^={1,wN,,wNmj}\hat{\mathbf{b}}=\left\{1,w_{N},\dots,w_{N^{m-j}}\right\}. Again recall that for 2jm2\leq j\leq m, for the jthj^{th} partition (of size Nj1Nj2N^{j-1}-N^{j-2}), the smallest Nmj+1N^{m-j}+1 competing winning bids are wNmj+1+ϵw_{N^{m-j}+1}+\epsilon and the remaining bids are Cw1C\gg w_{1}. And here, the least bid value in 𝐛^\hat{\mathbf{b}} is greater than wNmj+1+ϵw_{N^{m-j}+1}+\epsilon, i.e.,

wNmj(wNmj+1+ϵ)=1vNmj(Nmj+1)ϵ=2ϵNm1(Nm1+1)Nmj(Nmj+1)ϵϵ>0.\displaystyle w_{N^{m-j}}-(w_{N^{m-j}+1}+\epsilon)=\frac{1-v}{N^{m-j}(N^{m-j}+1)}-\epsilon=\frac{2\epsilon N^{m-1}(N^{m-1}+1)}{N^{m-j}(N^{m-j}+1)}-\epsilon\geq\epsilon>0\,.

Moreover, observe that the bidder is allocated the maximum number of units demanded for each of the bid value in 𝐛^\hat{\mathbf{b}}. So, the number of units in each auction in the jthj^{th} partition by bidding 𝐛m𝐎𝐏𝐓(i)\mathbf{b}_{m}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right) is

Nj=1+=2mj+1(N1N2)=Nmj.\displaystyle N_{j}=1+\sum_{\ell=2}^{m-j+1}(N^{\ell-1}-N^{\ell-2})=N^{m-j}\,.

Hence, the total number of units obtained across all rounds:

N(𝐛m𝐎𝐏𝐓(i))=Nm1+j=2mNmj(Nj1Nj2)=mNm1(m1)Nm2=Nmax.\displaystyle N({\mathbf{b}_{m}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right)})=N^{m-1}+\sum_{j=2}^{m}N^{m-j}(N^{j-1}-N^{j-2})=mN^{m-1}-(m-1)N^{m-2}=N_{\max}.

As this is the maximum number of units that can be obtained by the bidder, 𝐛m𝐎𝐏𝐓(i)\mathbf{b}_{m}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right) is optimal. The total value obtained by bidding 𝐛m𝐎𝐏𝐓(i)\mathbf{b}_{m}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right) is given by

V𝐎𝐏𝐓m(i)\displaystyle V^{\mathbf{OPT}}_{m}\left(\mathcal{B}_{-i}\right) =1+(Nm11)v+j=2m(Nj1Nj2)(1+(Nmj1)v)\displaystyle=1+(N^{m-1}-1)v+\sum_{j=2}^{m}(N^{j-1}-N^{j-2})(1+(N^{m-j}-1)v)
=Nm1+(m1)(Nm1Nm2)v.\displaystyle=N^{m-1}+(m-1)(N^{m-1}-N^{m-2})v\,.

B.3.3 Computing 𝐛1𝐎𝐏𝐓(i)\mathbf{b}_{1}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right) (equivalently 𝐛1(i)\mathbf{b}_{1}^{*}(\mathcal{B}_{-i})).

In this section, we identify the optimal 1-uniform bidding (UF) policy for the bid history, i\mathcal{B}_{-i}.

Lemma 13.

For the constructed i\mathcal{B}_{-i}, 𝐛1𝐎𝐏𝐓(i)=𝐛1(i)=(1,1)\mathbf{b}_{1}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right)=\mathbf{b}_{1}^{*}(\mathcal{B}_{-i})=\left(1,1\right) and V𝐎𝐏𝐓1(i)=V1(i)=Nm1V^{\mathbf{OPT}}_{1}\left(\mathcal{B}_{-i}\right)=V_{1}^{*}(\mathcal{B}_{-i})=N^{m-1}.

Proof.

Proof. We use a standard divide-and-conquer strategy to find the optimal 1-uniform bidding policy. In particular, we study the following problem: for a fixed qq, what is the optimal value of bb? As qq can be exponential in mm, we exploit the structure of the bid history to compute the objective in an efficient manner.

Suppose q=1q=1. The maximum number of units (value) that can be obtained by bidding (b,1)(b,1) is trivially Nm1N^{m-1}. Setting b=1b=1 achieves this upper bound. So, (1,1)(1,1) obtains a total value Nm1N^{m-1}.

Suppose q2q\geq 2. Furthermore, assume Nmj<qNmj+1N^{m-j}<q\leq N^{m-j+1}, for some 2jm2\leq j\leq m.

  • We first show that b>wNmj+1+ϵb>w_{N^{m-j}+1}+\epsilon is not a feasible bid value for chosen values of qq. Suppose b>wNmj+1+ϵb>w_{N^{m-j}+1}+\epsilon. Consider any round tt in the partition jj. Observe that bidding (b,q)(b,q) obtains qNmj+1q\geq N^{m-j}+1 units in this round as b>wNmj+1+ϵb>w_{N^{m-j}+1}+\epsilon, which is the least winning competing bid. Then, the clearing price is at least wNmj+1+ϵw_{N^{m-j}+1}+\epsilon (which is the least winning competing bid for that round) but it is allocated exactly Nmj+1N^{m-j}+1 units. Hence, the RoI constraint is violated.

  • Next, we show that if b<wNmj+1+ϵb<w_{N^{m-j}+1}+\epsilon, the bidder is not allocated any units in several rounds. Specifically, if b<wNmj+1+ϵb<w_{N^{m-j}+1}+\epsilon, then (b,q)(b,q) is not allocated any units in the partitions indexed by j,j+1,,mj,j+1,\dots,m as bb is strictly less than least winning competing bid.

So, if Nmj<qNmj+1N^{m-j}<q\leq N^{m-j+1}, the optimal bidding policy (b,q)(b,q) gets no units in

=jmN1N2=Nm1Nj2 auctions.\displaystyle\sum_{\ell=j}^{m}N^{\ell-1}-N^{\ell-2}=N^{m-1}-N^{j-2}\text{ auctions.} (41)

In the remaining Nj2N^{j-2} auctions it can win at most qq units. So, the maximum value obtained by the optimal bidding policy (b,q)(b,q) for any given q2q\geq 2 is

Nj2(1+(q1)v)\displaystyle N^{j-2}(1+(q-1)v) Nj2(1+(Nmj+11)v)=Nj2+(Nm1Nj2)v<Nm1,\displaystyle\leq N^{j-2}(1+(N^{m-j+1}-1)v)=N^{j-2}+(N^{m-1}-N^{j-2})v<N^{m-1},

where the last inequality holds as v<1v<1. Hence, 𝐛1𝐎𝐏𝐓(i)=(1,1)\mathbf{b}_{1}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right)=(1,1). Moreover, observe that 𝐛1𝐎𝐏𝐓(i)𝒫1\mathbf{b}_{1}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right)\in\mathcal{P}_{1}^{\star}, so 𝐛1𝐎𝐏𝐓(i)=𝐛1(i)\mathbf{b}_{1}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right)=\mathbf{b}_{1}^{*}(\mathcal{B}_{-i}) and V𝐎𝐏𝐓1(i)=V1(i)=Nm1V^{\mathbf{OPT}}_{1}\left(\mathcal{B}_{-i}\right)=V_{1}^{*}(\mathcal{B}_{-i})=N^{m-1}. ∎

Substituting values from LABEL:lem:\numbid-bids-tight, and Lemma 13

Ratio-optmRatio-optm(i)\displaystyle\textsc{Ratio-opt}_{m}\geq\textsc{Ratio-opt}_{m}(\mathcal{B}_{-i}) =V𝐎𝐏𝐓m(i)V𝐎𝐏𝐓1(i)\displaystyle=\frac{V^{\mathbf{OPT}}_{m}\left(\mathcal{B}_{-i}\right)}{V^{\mathbf{OPT}}_{1}\left(\mathcal{B}_{-i}\right)}
=Nm1+(m1)(Nm1Nm2)vNm1\displaystyle=\frac{N^{m-1}+(m-1)(N^{m-1}-N^{m-2})v}{N^{m-1}}
=mNm1(m1)Nm22ϵ(m1)(Nm1Nm2)Nm1\displaystyle=\frac{mN^{m-1}-(m-1)N^{m-2}-2\epsilon^{\prime}(m-1)(N^{m-1}-N^{m-2})}{N^{m-1}}
=m(m1)(1N+2ϵ(11N))\displaystyle=m-(m-1)\Big{(}\frac{1}{N}+2\epsilon^{\prime}\Big{(}1-\frac{1}{N}\Big{)}\Big{)}
=mδ,\displaystyle=m-\delta\,,

where the last step follows by substituting the value of ϵ\epsilon^{\prime} and thus concludes the proof. Similar analysis for Ratio-unim\textsc{Ratio-uni}_{m} also yields Ratio-unimmδ\textsc{Ratio-uni}_{m}\geq m-\delta.

B.4 Tight Lower Bound for Theorem 6.2

In this section, we present a bid history i\mathcal{B}_{-i} and valuation vector, 𝐯\mathbf{v} such that for any δ(0,1/2]\delta\in(0,1/2], V𝐎𝐏𝐓m(i)V1(i)>2mδ\frac{V^{\mathbf{OPT}}_{m}\left(\mathcal{B}_{-i}\right)}{V_{1}^{*}(\mathcal{B}_{-i})}>2m-\delta. Recall that for showing tightness of the bound for Theorem 5.2 for any general mm, we computed a lower bound to PoUFm\textsc{PoUF}_{m} of the form V𝐎𝐏𝐓m(i)mV1(i)\frac{V^{\mathbf{OPT}}_{m}\left(\mathcal{B}_{-i}\right)}{mV_{1}^{*}(\mathcal{B}_{-i})}. We consider a valuation curve and a bid history that has a structure identical to the one presented in Section B.2 but with the following modified parameters,

  • Fix m2m\geq 2 and any integer N22mδN\geq 2\left\lceil\frac{2m}{\delta}\right\rceil.

  • Let M¯=N2m1\overline{M}=N^{2m-1}. Consider T=N2m1T=N^{2m-1} rounds and K=N2m1+1K=N^{2m-1}+1 units in each auction.

  • Let ϵ=δ/(2m1)1/N2(11/N)<δ214\epsilon^{\prime}=\frac{\delta/(2m-1)-1/N}{2(1-1/N)}<\frac{\delta}{2}\leq\frac{1}{4}. Set ϵ\epsilon such that ϵ=ϵN2m1(N2m1+1)\epsilon^{\prime}=\epsilon N^{2m-1}(N^{2m-1}+1).

Consider a valuation vector 𝐯=[1,v,,v]\mathbf{v}=[1,v,\cdots,v] such that v=12ϵv=1-2\epsilon^{\prime}, and target RoI γ=0\gamma=0. Substituting the values from LABEL:lem:\numbid-bids-tight-2 and Lemma 11,

maxiV𝐎𝐏𝐓m(i)V1(i)V𝐎𝐏𝐓m(i)V1(i)\displaystyle\max_{\mathcal{B}_{-i}}\frac{V^{\mathbf{OPT}}_{m}\left(\mathcal{B}_{-i}\right)}{V_{1}^{*}(\mathcal{B}_{-i})}\geq\frac{V^{\mathbf{OPT}}_{m}\left(\mathcal{B}_{-i}\right)}{V_{1}^{*}(\mathcal{B}_{-i})} =N2m1+(2m1)(N2m1N2m2)vN2m1\displaystyle=\frac{N^{2m-1}+(2m-1)(N^{2m-1}-N^{2m-2})v}{N^{2m-1}}
=2mN2m1(2m1)N2m22ϵ(2m1)(N2m1N2m2)N2m1\displaystyle=\frac{2mN^{2m-1}-(2m-1)N^{2m-2}-2\epsilon^{\prime}(2m-1)(N^{2m-1}-N^{2m-2})}{N^{2m-1}}
=2m(2m1)(1N+2ϵ(11N))\displaystyle=2m-(2m-1)\Big{(}\frac{1}{N}+2\epsilon^{\prime}\Big{(}1-\frac{1}{N}\Big{)}\Big{)}
=2mδ,\displaystyle=2m-\delta\,,

where the last step follows by substituting the value of ϵ\epsilon^{\prime} and thus concludes the proof.

Appendix C Simulation Details

C.1 Reconstructing Individual Bid Data

We obtained the publicly available auction data for Tmax=443T_{\max}=443 EU ETS emission permit auctions held in 2022 and 2023 (EEX, 2023). For each auction indexed by t[Tmax]t\in[T_{\max}], we have the following relevant information: the minimum bid (bmintb_{\min}^{t}), the maximum bid (bmaxtb_{\max}^{t}), the average of the bids (bavgtb_{\text{avg}}^{t}), the median of the bids (bmedtb_{\text{med}}^{t}), and the number of bid-quantity pairs submitted (nsubtn_{\text{sub}}^{t}). We normalized the bids to be in [0,1][0,1]. For all rounds tt, bavgtbmedtb_{\text{avg}}^{t}\approx b_{\text{med}}^{t} (linear regression yields coefficient 1.01 and intercept 0.008-0.008).

Upon further investigation, we observed that, except a few, a significant number of auctions had either bmintbavgtbmaxtb_{\min}^{t}\approx b_{\text{avg}}^{t}\ll b_{\max}^{t} (Type I) or bmintbavgtbmaxtb_{\min}^{t}\ll b_{\text{avg}}^{t}\approx b_{\max}^{t} (Type II). As bavgtbmedt,tb_{\text{avg}}^{t}\approx b_{\text{med}}^{t},\forall t, we deduce that for Type I, most of the bids are concentrated in the interval [bmint,2bavgtbmint][b_{\min}^{t},2b_{\text{avg}}^{t}-b_{\min}^{t}] whereas for Type II, most of the bids are in the interval [2bavgtbmaxt,bmaxt][2b_{\text{avg}}^{t}-b_{\max}^{t},b_{\max}^{t}]. We posit that for Type I (resp. Type II) auctions, f(0,1)f\in(0,1) fraction of the bids (nsubtn_{\text{sub}}^{t}) are in [bmint,2bavgtbmint][b_{\min}^{t},2b_{\text{avg}}^{t}-b_{\min}^{t}] (resp. [2bavgtbmaxt,bmaxt][2b_{\text{avg}}^{t}-b_{\max}^{t},b_{\max}^{t}]) and the 1f1-f fraction of bids are in [2bavgtbmint,bmaxt][2b_{\text{avg}}^{t}-b_{\min}^{t},b_{\max}^{t}] (resp. [bmint,2bavgtbmaxt][b_{\min}^{t},2b_{\text{avg}}^{t}-b_{\max}^{t}]). If for Type I (resp. Type II) auctions, 2bavgt>bmint+bmaxt2b_{\text{avg}}^{t}>b_{\min}^{t}+b_{\max}^{t} (resp. 2bavgt<bmint+bmaxt2b_{\text{avg}}^{t}<b_{\min}^{t}+b_{\max}^{t}), we assume that all the bids are uniformly present in the interval [bmint,bmaxt][b_{\min}^{t},b_{\max}^{t}]. With these assumptions, we generate individual bid data for each auction by sampling uniformly from these intervals.

After generating the individual bid data, we compute the metrics for the reconstructed bids (say b^avgt\widehat{b}_{\text{avg}}^{t}) for each auction and reject those with a relative error of at least δ\delta (tolerance). For our simulations, we set δ=0.05\delta=0.05. We perform a grid search for ff to maximize the number of auctions where the metrics of the reconstructed data are within δ\delta relative error of the actual metrics, and obtain that f=0.97f=0.97. Following this pre-processing, we have reconstructed individual bid data for T=341T=341 auctions. This reconstructed data is used in our simulations in Section 8.

C.2 Formulating the Integer Linear Program

Characterizing (VM-unim\textsc{VM-uni}_{m}). By Corollary 7.1, we have that for any i=[𝜷it]t[T]\mathcal{B}_{-i}=[\bm{\beta}_{-i}^{t}]_{t\in[T]},

max𝐛𝒫mt=1TVi(𝐛,𝜷it)=maxS[M¯]:|S|mt=1TmaxSVi((w1+γ,),𝜷it).\displaystyle\max_{\mathbf{b}\in\mathcal{P}_{m}^{\star}}\sum_{t=1}^{T}V_{i}(\mathbf{b},\bm{\beta}_{-i}^{t})=\max_{S\subseteq[\overline{M}]:|S|\leq m}\sum_{t=1}^{T}\max_{\ell\in S}V_{i}\left(\left(\frac{w_{\ell}}{1+\gamma},\ell\right),\bm{\beta}_{-i}^{t}\right)\,.

Let vj,t=Vi((wj1+γ,j),𝜷it)v_{j,t}=V_{i}\left(\left(\frac{w_{j}}{1+\gamma},j\right),\bm{\beta}_{-i}^{t}\right), i.e., the value obtained by bidding (wj1+γ,j)\left(\frac{w_{j}}{1+\gamma},j\right) in round tt for any j[M¯]j\in[\overline{M}] and t[T]t\in[T]. Then, (VM-unim\textsc{VM-uni}_{m}) can be equivalently formulated as:

max\displaystyle\max t=1Tj=1M¯vj,tyj,t\displaystyle\sum_{t=1}^{T}\sum_{j=1}^{\overline{M}}v_{j,t}\cdot y_{j,t} (VM-unim-ILP\textsc{VM-uni}_{m}\textsc{-ILP})
such that j=1M¯yj,t=1,\displaystyle\sum_{j=1}^{\overline{M}}y_{j,t}=1, t[T]\displaystyle\forall t\in[T]
yj,txj,\displaystyle y_{j,t}\leq x_{j}, t[T],j[M¯]\displaystyle\forall t\in[T],j\in[\overline{M}]
j=1M¯xjm,\displaystyle\sum_{j=1}^{\overline{M}}x_{j}\leq m,
xj,yj,t{0,1}.\displaystyle x_{j},y_{j,t}\in\{0,1\}. t[T],j[M¯]\displaystyle\forall t\in[T],j\in[\overline{M}]

We note that the formulation in Eq. VM-unim-ILP\textsc{VM-uni}_{m}\textsc{-ILP} is a special case of the mm-facility location problem (Cornuéjols et al., 1983) and is identical to the float maximization problem in bank accounts (Cornuéjols et al., 1977; Williamson and Shmoys, 2011, pp. 47). Both the problems are not known to have any polynomial time algorithm that results in an exact optimal solution.

An Uniform Upper Bound for V𝐎𝐏𝐓m(i).V^{\mathbf{OPT}}_{m}\left(\mathcal{B}_{-i}\right). For any bid history, i=[𝜷it]t[T]\mathcal{B}_{-i}=[\bm{\beta}_{-i}^{t}]_{t\in[T]}, suppose 𝐛m𝐎𝐏𝐓(i)\mathbf{b}_{m}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right) is allocated rtr_{t} units in any round tt. Then, by Lemma 9 (1), we know that (wrt1+γ,rt)\Big{(}\frac{w_{r_{t}}}{1+\gamma},r_{t}\Big{)} also gets rtr_{t} units in round tt. So,

Vi(𝐛m𝐎𝐏𝐓(i);𝜷it)\displaystyle V_{i}(\mathbf{b}_{m}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right);\bm{\beta}_{-i}^{t}) =Vi((wrt1+γ,rt);𝜷it)max𝐛𝒫1Vi(𝐛;𝜷it)\displaystyle=V_{i}\Big{(}\Big{(}\frac{w_{r_{t}}}{1+\gamma},r_{t}\Big{)};\bm{\beta}_{-i}^{t}\Big{)}\leq\max_{\mathbf{b}\in\mathcal{P}_{1}^{\star}}V_{i}(\mathbf{b};\bm{\beta}_{-i}^{t})
V𝐎𝐏𝐓m(i)\displaystyle\implies V^{\mathbf{OPT}}_{m}\left(\mathcal{B}_{-i}\right) =t=1TVi(𝐛m𝐎𝐏𝐓(i);𝜷it)t=1Tmax𝐛𝒫1Vi(𝐛;𝜷it)=t=1Tmaxj[M¯]vj,t,\displaystyle=\sum_{t=1}^{T}V_{i}(\mathbf{b}_{m}^{\mathbf{OPT}}\left(\mathcal{B}_{-i}\right);\bm{\beta}_{-i}^{t})\leq\sum_{t=1}^{T}\max_{\mathbf{b}\in\mathcal{P}_{1}^{\star}}V_{i}(\mathbf{b};\bm{\beta}_{-i}^{t})=\sum_{t=1}^{T}\max_{j\in[\overline{M}]}v_{j,t},

which is the optimal objective value of (VM-unim-ILP\textsc{VM-uni}_{m}\textsc{-ILP}), when solved without the cardinality constraints, i.e., j=1M¯xjm\sum_{j=1}^{\overline{M}}x_{j}\leq m.