cs.GTNov 3, 2026

Learning vs. Optimizing Players in Budgeted Games

Authors: Giannis Fikioris, Balasubramanian Sivan, Éva Tardos

Organizations: Google Research · Cornell University & Google Research

Abstract

We study repeated general games over TT rounds between a utility-maximizing optimizer and a learning agent, where budget constraints couple the players' decisions across rounds. Without budgets, low swap regret simultaneously guarantees the learner sublinear regret and caps the optimizer at its Stackelberg value. Budgets break this picture: adversarial no-regret becomes impossible, so the natural goals are non-manipulability---no adaptive optimizer earns more than BSE⋅T+o(T)\mathtt{BSE} \cdot T + o(T), where BSE\mathtt{BSE} is its Budgeted Stackelberg Equilibrium value---and low stochastic regret when the optimizer plays a fixed mixed strategy. We give an efficient, budget-feasible learning algorithm that achieves both goals in every budgeted game: any adaptive optimizer, budgeted or not, earns at most BSE⋅T+O(T)\mathtt{BSE} \cdot T + O(\sqrt{T}) in expectation, and if the optimizer plays a fixed mixed strategy on each of a constant number of intervals, the learner has O(T)O(\sqrt{T}) regret on each such interval. Our learner best responds to forecasts of the optimizer's play that are calibrated in two novel senses, since under budgets the calibration that prevents manipulation no longer yields low stochastic regret. Response calibration, which conditions on the learner's own mixed response by embedding its continuous mixing weight as a step function in L2([−1,1])L^2([-1,1]), prevents manipulation without discretizing responses; dual-weighted Lagrangian calibration ensures low regret. Although low calibration error requires randomized forecasts---distributions over a continuous space that need not have a succinct representation or be directly computable---we construct such forecasts in polynomial time by simulating online gradient ascent.

Explore similar work

Oct 8, 2026

Optimally Pacing Budget Spending and Learning

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 FF experts and a candidate budget pacing schedule, we provide a full-information algorithm which obtains regret O(Dlog⁡F+Tlog⁡F)O(D \sqrt{\log F}+ \sqrt{T\log F}) against all experts whose cumulative spending stays within distance DD 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(Dlog⁡F)O(D\sqrt{\log F}) regret bounds when fractional allocation is allowed. This is the first algorithm we are aware of which can achieve o(T)o(\sqrt{T}) guarantees for such tasks.
Sep 18, 2026

Multiplicative Optimism for Constant Regret in Games

We introduce Multiplicatively Optimistic Regret Matching (MORM), an uncoupled learning rule for finite general-sum games. Under simultaneous full-information self-play, every player achieves external regret O(nlog⁡d)O(\sqrt n\log d) uniformly over all horizons, using only one-step optimism. The analysis combines a potential-based regret-matching argument with multiplicative stability and Hellinger control of strategy movement. A learning-rate safeguard additionally gives O(Tlog⁡d)O(\sqrt{T\log d}) regret in the face of adversarial utilities.
Nov 2, 2026

When Is Tracking Affordable? A Movement-Budget Feasibility Threshold for Dynamic Regret

Dynamic regret measures an online learner against a moving comparator, and standard analyses assume the learner may move freely at every round. We study what happens when it may not: the learner is given a hard budget SS on its total movement ∑t∥xt−xt−1∥\sum_t \|x_t - x_{t-1}\|. Our main result is that a movement budget creates a feasibility barrier. On a domain of diameter DD with GG-Lipschitz convex losses, for every comparator path length PT∈[D,DT]P_T \in [D, DT] we exhibit a deterministic adversary that forces Rd=Ω(GDT)R_d = Ω(GDT) on every budget-feasible algorithm whenever S≤cPTS \le c P_T for a universal constant c>0c>0. This barrier is caused by the budget rather than by a volatile environment: for fixed DD, it applies when PT=o(T)P_T = o(T), where the unconstrained minimax rate Θ(GD(D+PT)T)Θ(G\sqrt{D(D+P_T)T}) is sublinear, so the same instances are learnable with an unbounded budget and unlearnable without one. Conversely, projected online gradient descent with a budget-aware step size is budget-feasible and attains o(GDT)o(GDT) once S=ω(D+PT)S = ω(D + P_T). Thus the critical movement scale is D+PTD+P_T: linear regret is unavoidable below a sufficiently small constant multiple of PTP_T, while sublinear regret is achievable when S/(D+PT)→∞S/(D+P_T)\to\infty in the learnable regime. The construction rests on a distinction we make explicit: what makes a comparator expensive to track under a movement budget is the distance it forces the learner to travel, not its path length. Above the threshold we give a budget-dependent upper bound and identify the tight minimax rate in this region as an open problem rather than claiming a product law. Experiments support the predicted transition location and the 1/S1/S decay.