Joint welfare guarantee from competitive floors and near-independence
Derive a welfare bound for first-price auctions that simultaneously exploits competitive-floor conditions and near-independence of bidder values, and determine whether the combined guarantee is strictly stronger than the separate guarantees.
References
Third, we analyze competitive floors and near-independence separately, and in experiments we only compute the competitive-floor bound. Real markets like EmbedLLM appear to have both properties (\Cref{sec:experiments} and \Cref{sec:approx_condt_indep}). Taking the larger of the two guarantees is immediate, but a bound that uses both properties together could be stronger, but is non-trivial. We leave this to future work.
Note, however, that a similar straightforward connection cannot be made to \Cref{thm:multi_floor}! In fact, the bound in \Cref{thm:multi_floor} can get worse, since positive dependence can make bidders fall below the floor on the same queries, which raises $\epsilon$ relative to independent values with the same marginals. We leave a closer study of how dependence between values affects competitive floors to future work.