Abstract:Prophet inequalities consist of many beautiful statements that establish tight performance ratios between online and offline allocation algorithms. Typically, tightness is established by constructing an algorithmic guarantee and a worst-case instance separately, whose bounds match as a result of some "ingenuity". In this paper, we instead formulate the construction of the worst-case instance as an optimization problem, which directly finds the tight ratio without needing to construct two bounds separately. Our analysis of this complex optimization problem involves identifying the structure in a new "Type Coverage" dual problem. It can be seen as akin to the celebrated Magician and OCRS problems, except more general in that it can also provide tight ratios relative to the optimal offline allocation, whereas the earlier problems only concerns the ex-ante relaxation of the offline problem. Through this analysis, our paper provides a unified framework that derives new prophet inequalities and recovers existing ones, including two important new results. First, we show that the "oblivious" method of setting a static threshold due to Chawla et al. (2020), surprisingly, is best-possible among all static threshold algorithms, under any number $k$ of units. We emphasize that this result is derived without needing to explicitly find any counterexample instances. This implies the tightness of the asymptotic convergence rate of $1-O(\sqrt{\log k/k})$ for static threshold algorithms from Hajiaghayi et al. (2007), is tight; this confirms for the first time a separation with the convergence rate of adaptive algorithms, which is $1-\Theta(\sqrt{1/k})$ due to Alaei (2014). Second, turning to the IID setting, our framework allows us to numerically illustrate the tight guarantee (of adaptive algorithms) under any number $k$ of starting units. Our guarantees for $k>1$ exceed the state-of-the-art.

Choosing Behind the Veil: Tight Bounds for Identity-Blind Online Algorithms

Tightness without Counterexamples: A New Approach and New Results for Prophet Inequalities

The Importance of Knowing the Arrival Order in Combinatorial Bayesian Settings

Setting Targets is All You Need:Improved Order Competitive Ratio for Online Selection

Algorithmic Challenges in Ensuring Fairness at the Time of Decision

Optimal Guarantees for Online Selection Over Time

Algorithmic Decision Making in the Presence of Unmeasured Confounding

What Do Our Choices Say About Our Preferences?

New Philosopher Inequalities for Online Bayesian Matching, via Pivotal Sampling

Fairness in Matching under Uncertainty

Prophet Inequalities with Cancellation Costs

Online Sampling and Decision Making with Low Entropy

Time Fairness in Online Knapsack Problems

Covert Online Decision Making: From Sequential Hypothesis Testing to Stochastic Bandits

Fairness and Efficiency in Online Class Matching

Fundamental Bounds on Online Strategic Classification

Random-Order Interval Selection

Algorithmic Fairness and Social Welfare

Online Bayesian Persuasion Without a Clue

Tighter PAC-Bayes Bounds Through Coin-Betting

Equal Opportunity in Online Classification with Partial Feedback