๐ค AI Summary
This work addresses the challenge of efficiently performing online proportional sampling under dynamic piecewise weight functions induced by axis-aligned hyperplanes in high-dimensional spaces, where the number of subregions can grow exponentially over time. To circumvent this computational bottleneck under a ฯ-smooth adversary, we propose the first dynamic data structure that supports both efficient updates and proportional sampling, achieving a depth of O(โ(ฯT)) against ฯ-smooth adversaries and O(log T) under random arrival orderโthereby avoiding the need to explicitly maintain all subregions. Leveraging this structure, we design no-regret online learning algorithms for both full-information and bandit feedback settings, establishing provably sublinear regret bounds.
๐ Abstract
We study the problem of efficient online proportional sampling from a high-dimensional domain under a $ฯ$-smoothed adversary, where the sampling distribution is induced by a dynamically evolving weight function defined over a sequence of piecewise-structured partitions. This setting captures a broad range of applications, including principal-agent games (e.g., pricing and contract design), and algorithm configuration and parameter tuning. The central challenge is maintaining an efficient data structure as the induced partition grows increasingly complex over time -- naively, the number of subregions can grow as $O(t^d)$ by round $t$ in $d$ dimensions. We design a data structure that supports efficient updates and proportional sampling while avoiding the cost of explicitly maintaining this exponential growth, where the discontinuities are structured from axis-parallel hyperplanes. Under a $ฯ$-smoothed adaptive adversary, we prove a tight $O(\sqrt{ฯT})$ bound on the depth of our data structure, and an $O(\log T)$ bound under a random-order adversary -- to our knowledge, the first such results for this class of problems. We apply this framework to online learning with piecewise-structured rewards, obtaining efficient no-regret algorithms under both full-information and bandit feedback, with provable sublinear regret guarantees.