Beyond Peak Backlog: Conditional Energy and Temporal Geometry in Capacity-Constrained Delayed Bandit Optimization
Authors: Anling Xiang, Yuwen Yang, Yang Shen
Organizations: Department of Intelligent Communication, School of Journalism and Communication, Minzu University of China, Beijing, China · ZeeLin (Beijing) Technology Co., Ltd., Beijing, China · School of Journalism and Communication, Tsinghua University, Beijing, China · College of AI, Tsinghua University, Beijing, China
What is the right delay complexity when a learner can track only C pending feedback items and discarded feedback is permanently lost? Existing one-point bandit convex optimization guarantees in this model pay Tσmax, where σmax is the peak backlog, although unlimited tracking admits the sharper dtot dependence on total delay. We introduce a scheduler-side conditional-energy interface that separates rate adaptation from the one-point perturbation filtration and handles the dependent importance weights created by randomized admission. Under the same semi-clairvoyant oracle and pathwise hard-capacity contract, this yields an untuned learner whose delay term scales as O(ECdtot), with only an explicit restart factor EC; a public constant-factor peak bound removes this factor while dtot remains unknown. Under strong convexity, the same interface yields the temporal cost HA(d)=∑tσt/(A+t). Two delay vectors with identical delay multisets, dtot, σmax, and capacity can nevertheless have polynomially different minimax regret, showing that timing matters under curvature even when aggregate delay summaries agree. Finally, a continuous hard family converts tracking capacity into a zeroth-order query budget and gives a complementary capacity-starvation lower endpoint. The upper bounds require C≥lnT+1 and do not constitute a complete capacity minimax characterization.
Figures & tables
Figure 1: Dependency map. The contract, base DW-FTBL inequalities, and Bernoulli admission rule are imported from Ryabchenko et al. [1] . The missing step is not a sharper summation: weight-dependent adaptation is invalid without the blue filtration-safe interface. The dashed capacity lower is a supporting endpoint rather than an application of the compiler.
Setting
Closest benchmark
This work
Role / limitation
Convex BCO
Tσmax+T3/4(1+σmax/C)1/4νk
O(ECdtot+T3/4(1+σmax/C)1/4νk)
Upper; dtot endpoint matched up to EC
Strongly convex BCO
σmaxlogT+(T2logT)1/3(1+σmax/C)1/3(νk)2/3
HA(d)+A1/3T2/3
Upper; public backlog bound
Temporal geometry
Aggregate summaries assign the same scale to the early/late pair
RT∗(dearly)=Ω(Tβ) versus RT∗(dlate)=O(T2/3)
Minimax separation; 2/3<β<5/6
Fixed-delay capacity
No continuous-domain capacity lower in the exact contract
Ω(min{T,kTmax{1,d/C}})
Lower endpoint; not a full match
Table 1: Result map. Constants depending on fixed geometric scales are suppressed. “Match” refers only to the stated component, not to a complete BCO minimax characterization.
Figure 2: Schematic continuous envelopes of the discrete early/late backlog profiles used in Theorem 9 . Peak, area, delay multiset, and capacity agree, while the harmonic placement cost and minimax regret differ polynomially.
Line of work
one-point convex
hard pathwise cap
permanent loss
principal control quantity
Classical delayed OCO [ 14 , 15 , 16 ]
no
no
no
delay count or total delay
Delayed BCO [ 22 , 23 ]
yes
no
no
dmax or dtot
Temporal feedback graphs [ 25 ]
no
no
no
temporal graph complexity
Capacity-constrained finite actions [ 42 ]
no
yes
yes
capacity–delay throughput
Capacity-constrained OCO/BCO [ 1 ]
yes
yes
yes
σmax , C , weighted backlog
This paper, convex result
yes
yes
yes
conditional energy and dtot
Table 2: Method map for the closest literature. “Permanent loss” means that feedback from a preempted pending round can never be recovered.
Online learning with delayed feedback typically assumes that the learner can track all pending rounds until their feedback arrives. In practice, tracking resources are finite, and feedback from untracked rounds is permanently lost. In this paper, we study delayed online convex optimization (OCO) under a hard capacity constraint, where at most C pending rounds can be tracked at any time. To model delay information, we introduce a semi-clairvoyant model that refines the clairvoyant assumption from prior work: rather than requiring delays to be known at prediction time, the learner observes delay expirations online, consistent with the classical unconstrained delayed setting. Our approach proceeds via a reduction to a novel ``delayed and weighted'' OCO problem, using a scheduler that randomizes tracking decisions and importance-weights the resulting observations. For this base problem, we propose and analyze Delayed-Weighted FTRL and its bandit analogue, establishing regret bounds that explicitly characterize the interaction between time-varying weights and delayed feedback. Combining these base learners with our schedulers yields the first regret guarantees for capacity-constrained OCO under convex and strongly convex losses, for both first-order and bandit feedback. For first-order feedback, capacity C=Ω(logT) suffices to recover standard delayed OCO rates up to logarithmic factors. For bandit feedback, the regret rates are modulated by powers of (1+σmax/C), where σmax is the maximum number of pending observations at any time. This allows the regret bound to degrade gracefully when C<σmax, while remaining sublinear.
Alexander Ryabchenko, Idan Attias, Daniel M. Roy
Department of Statistical Sciences, University of Toronto; Vector Institute. · Institute for Data, Econometrics, Algorithms, and Learning (IDEAL), hosted by UIC and TTIC.
We study stochastic linear bandits with delayed feedback under several delay models and establish near-optimal regret guarantees. Our results identify when delayed linear bandits exhibit the same qualitative behavior as multi-armed bandits (MAB), and when the linear structure creates fundamentally new challenges. Specifically, (1) for loss-independent delays, where the delay does not depend on the realized loss (but potentially depends on the arm), we show that delays incur only an additive regret penalty. Under stochastic delays, this penalty scales with the expected delay, while under adversarial delays, it scales with the maximum number of outstanding observations. Notably, both delay penalties are dimension-free, improving upon the state-of-the-art results; (2) for loss-dependent delays, we show that linear bandits are substantially harder than MAB: unlike in MAB, we prove matching (up to log factors) upper and lower bounds in linear bandits, whose delay penalty depends on the square root of the dimension. (3) for the delay-as-payoff model, a special case of loss-dependent delay, we show that the optimal MAB guarantee, which depends only on the delay of the optimal arm, is also unattainable in linear bandits. Together, these results provide a sharp characterization of how delayed feedback interacts with linear generalization.
We establish near-optimal regret bounds for budget-constrained online learning against arbitrary classes of budget-pacing experts in the adversarial setting. In particular, given any class of F experts and a candidate budget pacing schedule, we provide a full-information algorithm which obtains regret O(DlogF+TlogF) against all experts whose cumulative spending stays within distance D of this schedule, matching lower bounds established by Braverman et al. (2025). We additionally show that our technique extends to various problems in online resource allocation, where the learner gets to see the rewards and costs of the current options available to them, and establish O(DlogF) regret bounds when fractional allocation is allowed. This is the first algorithm we are aware of which can achieve o(T) guarantees for such tasks.
Mark Braverman, Jingyi Liu, Jieming Mao +2
Department of Computer Science, Princeton University · Google Research