| paper | d4-conf-atal-2024-0213 |
| authors | — |
| venue | ? |
| filed under | unclassified |
| judged by | gpt-6-luna / xhigh (triple__luna__xhigh__c6r1) |
| judge confidence | medium |
| authors would recognise it | yes |
Theorem 4
statement extracted from the paper’s text layer
Given rational \(\gamma>1\), ordered slot click-through rates \(x_k\), per-capita capacities \(q_k\) with \(\sum_k q_k\leq 1\), and a finite-support rational distribution \(\mu\) over types \(\theta=(v,\tau)\), does there exist an anonymous direct mechanism computable in time polynomial in \(K\), \(\tau_0=|\operatorname{supp}(\mu)|\), and the input bit length? It must assign advertisers integral slots, possibly by lottery, be truthful and individually rational for a tagged advertiser against fixed background \(\mu\), enforce \(p\leq v\) for every realized payment \(p\) to an \(\mathrm{RB}\), and agree with the replicated-market limits of VCG and Cavallo’s mechanism in the respective pure-class cases. The mechanism must guarantee expected liquid social welfare at least \(\frac{2}{3}\) of the feasible assignment optimum.
Types are \(\theta=(v,\tau)\), where \(\tau\in\{\mathrm{UM},\mathrm{RB}\}\), with population masses \(\mu_\theta\). A mechanism maps the background distribution and a tagged advertiser’s report to a lottery over integral slot and payment pairs; its aggregate assignment masses \(y_{\theta,k}\) satisfy \(\sum_k y_{\theta,k}\leq\mu_\theta\) and \(\sum_\theta y_{\theta,k}\leq q_k\). The welfare objective is \(\sum_{\theta,k}v_\theta x_k y_{\theta,k}\), with the paper’s ROI and incentive constraints applied to each advertiser.
Targets a finite-support mass-market analogue of Theorem 4’s BIN-Pri welfare guarantee and mechanism properties. It leaves the public-class BIN-Pub result and Theorem 5’s lower-bound claim without continuous counterparts.
The paper’s strongest continuous mirror is a large batch auction for standardized ad opportunities. Imagine a platform clearing many comparable opportunities together, with many advertisers using a small number of repeated campaign profiles. A type is \(\theta=(v,\tau)\), where \(v\) is the advertiser’s value per click and \(\tau\in\{UM,RB\}\) is its class. For an \(RB\), \(\gamma\) is the paper’s shared ROI parameter. A mass \(\mu_\theta\) is the fraction of advertisers with that complete profile, and \(\tau_0=|\operatorname{supp}(\mu)|\) is the number of distinct profiles. This fits settings where millions of advertisers fall into relatively few value and bidding-policy groups.
To keep scarce supply meaningful as the population grows, give the batch a per-advertiser capacity \(q_k\) of opportunities at each of \(K\) click-through rates \(x_k\), with \(\sum_k q_k\leq 1\). This is a co-modification of the market’s supply, not the object being continuized: the population is represented by \(\mu\). A mechanism assigns each advertiser an integral slot, possibly by lottery; in aggregate, \(y_{\theta,k}\) is the mass of type \(\theta\) assigned to slot class \(k\). The liquid social welfare benchmark is the optimum of
\[
\max_y \sum_{\theta,k} v_\theta x_k y_{\theta,k}
\quad\text{subject to}\quad
\sum_k y_{\theta,k}\leq\mu_\theta,\qquad
\sum_\theta y_{\theta,k}\leq q_k,\qquad y_{\theta,k}\geq0.
\]
The \(RB\)’s value here is the paper’s willingness-to-pay \(v\), not its click revenue \(\gamma v\).
A direct mechanism must specify, for every background distribution \(\mu\), what an infinitesimal advertiser receives and pays under each reported type. Truthfulness compares those offers at fixed \(\mu\): a true \(UM\) with value \(v\) gets utility \((v-p)x\), while a true \(RB\) gets \((\gamma v-p)x\) if \(p\leq v\), and \(-\infty\) otherwise. This tagged-advertiser formulation keeps the paper’s unilateral incentive question meaningful in an atomless population. Require individual rationality and consistency as well: when everyone is a \(UM\), the rule agrees with the replicated-market limit of VCG; when everyone is an \(RB\), it agrees with the replicated-market limit of Cavallo’s mechanism. Replicating rational masses and capacities by a common factor gives a precise way to define those limits.
My lead anchor is Theorem 5, proved in this paper. It states that no incentive-compatible, individually rational, consistent mechanism can guarantee a liquid-social-welfare approximation ratio below \(5/4\) when \(\gamma\geq2\), or below \((3+\gamma)/(2+3\gamma-\gamma^2)\) when \(1<\gamma<2\). The paper proves this with a two-slot, three-bidder construction. Its continuous counterpart is the named problem Continuous BIN-Pri Approximation Frontier: given rational \(\gamma\), slot qualities and per-capita capacities, determine whether there is an anonymous direct mechanism satisfying the pointwise truthfulness, IR, and consistency conditions above whose worst-case ratio over finite-support rational \(\mu\) is strictly below
\[
r_\gamma=
\begin{cases}
5/4,&\gamma\geq2,\\
(3+\gamma)/(2+3\gamma-\gamma^2),&1<\gamma<2.
\end{cases}
\]
The output is a mechanism or an impossibility proof. I expect the lower bound to transfer in some form: the proof’s pressure comes from incentive constraints across reports and consistency with the pure-class mechanisms, not from a search over many bidders. But whether its exact constants survive the atomless limit is open; the three-bidder witness does not itself prove that.
A second, constructive anchor is Theorem 4, also proved here. It states that BIN-Pri achieves approximation ratio at most \(3/2\) on LSW, equivalently \(W_{\text{our}}\geq(2/3)W_{\text{OPT}}\). BIN-Pri’s incentive compatibility, IR, and consistency are established earlier in the paper. Its continuous counterpart is Continuous BIN-Pri Mass Allocation: for a rational finite-support population distribution and per-capita slot capacities, construct a truthful, IR, consistent mechanism with welfare at least \(2/3\) of the feasible assignment optimum, and compute its outcome in time polynomial in \(K\), \(\tau_0\), and the input bit length. I expect this to be tractable: BIN-Pri sorts bidders and allocates slots iteratively, operations that appear to become a sweep over type masses and capacity breakpoints. That extension still needs a proof, particularly for cohorts of equal value.
These anchors cover the paper’s binary-class, private-value, ex-post ROI setting and its LSW guarantees; they do not try to continuize all of auction design. The named results are approximation and mechanism-design results, not NP-hardness or polynomial-time classifications. The continuous questions are therefore about the approximation frontier and its constructive mechanism, not a complexity-class claim the paper never makes.
The weakest point is the change from a finite auction to a batch market with per-capita slot supply. The paper studies a fixed set of advertisers and positions; it does not establish that its IC proofs or lower-bound witness persist when equal-type cohorts are split across capacity classes. The finite model’s tie-breaking and the atomless pointwise incentive conditions also need careful treatment. I think the mirror is still worth asking: advertisers grouped by value and ROI class, competing for shares of standardized opportunities, is a recognizable version of their mechanism-design problem. The key open questions are whether the \(3/2\) guarantee survives mass splitting, whether the \(r_\gamma\) obstruction survives replication, and how either result changes with multiple ROI classes.
The strongest case against both anchors is that they translate the paper’s mechanism-design guarantees into another mechanism-design problem, rather than opening the computational question this programme is meant to study. Theorem 4 proves a welfare approximation guarantee; Theorem 5 proves an impossibility bound for truthful mechanisms. Neither classifies the complexity of a computational problem. BIN-Pri is an executable rule, but the paper’s results concern its incentive and welfare properties. A continuous search for a better mechanism or a stronger impossibility bound could be worthwhile auction theory, yet it does not by itself supply the missing complexity landscape.
Theorem 5’s witness is especially tied to a finite market: one bidder’s report changes the allocation and prices faced by the other two. In an atomless market, a tagged advertiser’s deviation leaves the background distribution unchanged. Their own report can still affect their allocation, so incentives need not become vacuous; but the finite witness no longer supplies the same cross-case constraints. Preserving the witness would require a limit analysis of replicated auctions, with a specified scaling of slots and a definition of consistency and truthfulness along that sequence. That is a coherent research question, but it is not the paper’s lower-bound theorem carried over to a continuous society.
Theorem 4 has a more plausible mass version. Still, the proposed per-capita slot capacities change the market from a fixed set of ranked positions to a batch of repeated inventory, and the mass mechanism must define how BIN-Pri’s prices, rank order, and tie handling apply when a cohort is split across slots. A stronger formulation could give every advertiser a lottery over integral slots and impose the paper’s ROI condition on every realized outcome. That would be recognizable to the authors, and the paper’s sorting rule gives a credible starting point. So the model change alone does not defeat this anchor; the case against is that the resulting contribution would be a new mechanism-design guarantee, with no computational barrier or complexity question identified by the paper.
I cannot honestly make the universal negative case airtight. A batch of standardized ad opportunities with many advertisers sharing a finite set of value and ROI profiles is a plausible high-multiplicity regime, and scaling supply with population is within the programme’s stated allowance for co-modification. The strongest objection is therefore about fit: these anchors do not yet show a worthwhile continuous computational mirror of the paper’s results. If “worthwhile” includes a new nonatomic auction-design theorem, the constructive anchor in particular survives, and the evidence here does not justify claiming that no suitable scenario exists.
The adversarial triple: the proponent anchors on up to three named results; the opponent sees that case and must defeat every anchor; the judge decides which case convinced it. These are the pipeline’s own outputs, generated by tools/triple_run.py — no human edited them. The paper’s own text is not reproduced here beyond the quoted statement above.