The Harder Path: Last Iterate Convergence for Uncoupled Learning in Zero-Sum Games with Bandit Feedback

TL;DR

Proposes two uncoupled algorithms achieving last-iterate convergence at rate Ω(T^{-1/4}) in bandit feedback zero-sum games.

cs.LG 🔴 Advanced 2026-04-17 20 views
Côme Fiegel Pierre Ménard Tadashi Kozuno Michal Valko Vianney Perchet
zero-sum game bandit feedback last-iterate convergence uncoupled algorithms strategy learning

Key Findings

Methodology

This paper analyzes the fundamental limits of uncoupled learning algorithms in zero-sum matrix games with bandit feedback. By establishing a theoretical lower bound, it proves that the best achievable rate for last-iterate convergence is Ω(T^{-1/4}), which is significantly slower than the Ω(T^{-1/2}) rate for average strategies. To approach this bound, two algorithms are proposed: one based on a straightforward exploration-exploitation tradeoff, and another employing a two-step mirror descent with regularization. Both methods do not require policy averaging and are designed to optimize the last-iterate convergence, with rigorous theoretical guarantees.

Key Results

  • Theoretical proof shows that under the constraints of no communication and no opponent action observation, the last-iterate exploitability gap cannot converge faster than Ω(T^{-1/4}), while average strategies can reach Ω(T^{-1/2}).
  • The proposed algorithms achieve near-optimal rates: the exploration-exploitation method attains Ω(T^{-1/4}) up to constants and logs, and the regularized mirror descent method matches this rate with high probability.
  • Experimental results on synthetic and benchmark matrix games confirm that the algorithms outperform existing OT^{-1/8} bounds, demonstrating practical effectiveness in noisy and large-scale settings.

Significance

This work establishes the fundamental limits of last-iterate convergence in bandit feedback zero-sum games, resolving a long-standing open problem. It advances the theoretical understanding of the difficulty in achieving last-iterate guarantees without communication or full information. The algorithms developed open new avenues for practical, communication-free strategic learning in adversarial environments, with potential applications in online auctions, security, and multi-agent systems. The results bridge the gap between regret minimization and equilibrium convergence, providing a solid foundation for future research on scalable, robust multi-agent learning algorithms.

Technical Contribution

The paper offers a rigorous lower bound of Ω(T^{-1/4}) for last-iterate convergence, derived via carefully constructed game instances. It introduces two novel algorithms: a simple exploration-exploitation framework based on regret minimization techniques, and a regularized mirror descent approach that leverages unbiased loss estimates. Both algorithms are analyzed under the bandit feedback model, with proofs of convergence rates matching the theoretical lower bound up to logarithmic factors. This work also extends the understanding of the trade-offs between policy averaging and last-iterate guarantees in adversarial learning, providing new insights into the design of communication-free algorithms.

Novelty

This is the first work to explicitly characterize the lower bound of Ω(T^{-1/4}) for last-iterate convergence in uncoupled bandit feedback zero-sum games. It introduces innovative algorithmic frameworks that achieve this bound, surpassing previous OT^{-1/8} upper bounds. The combination of exploration-exploitation tradeoff and regularized mirror descent tailored for bandit feedback represents a significant step forward, offering both theoretical optimality and practical feasibility. Unlike prior regret-based methods that focus on policy averages, these approaches directly ensure the convergence of the last iterate, marking a new milestone in game-theoretic learning.

Limitations

  • The algorithms depend on pre-specified time horizon T or regularization parameters, limiting their adaptability in unknown or dynamic environments.
  • Performance may degrade in highly unbalanced or noisy settings, where the exploration-exploitation balance becomes challenging.
  • Theoretical guarantees are established under idealized assumptions; real-world scenarios may introduce model misspecification and computational overhead.

Future Work

Future research will focus on developing adaptive algorithms that do not require prior knowledge of T, improving robustness in non-stationary environments. Extending the framework to multi-player and non-zero-sum games, as well as integrating deep learning techniques for large-scale problems, are promising directions. Additionally, exploring the impact of partial or delayed feedback and reducing computational complexity will be key to translating these theoretical advances into practical systems.

AI Executive Summary

Zero-sum strategic interactions are fundamental in economics, security, and multi-agent AI. Traditional algorithms often rely on averaging policies over time to guarantee convergence to Nash equilibrium, but this approach can be slow and impractical for real-time decision-making. Recent efforts have shifted focus toward understanding whether the last iterate of a learning process can directly converge to equilibrium, especially under limited feedback conditions like bandit feedback, where players only observe their own losses.

This paper makes a significant breakthrough by establishing a theoretical lower bound of Ω(T^{-1/4}) on the convergence rate of last-iterate strategies in uncoupled, bandit feedback zero-sum games. This result demonstrates that achieving faster convergence without communication or full information is fundamentally limited, contrasting sharply with the faster Ω(T^{-1/2}) rate for policy averages. To approach this bound, the authors propose two algorithms: one leveraging exploration-exploitation trade-offs, and another based on a regularized mirror descent scheme. Both are rigorously analyzed, showing they nearly attain the optimal rate, with practical advantages such as avoiding policy averaging.

Experimental validation on synthetic matrix games confirms the theoretical findings, showing that the proposed methods outperform previous bounds like OT^{-1/8}. These advances deepen our understanding of the intrinsic difficulty of last-iterate convergence in adversarial learning, especially under realistic feedback constraints. The work paves the way for scalable, communication-free algorithms capable of real-time equilibrium approximation in complex environments, with broad implications for multi-agent systems, online auctions, and security protocols.

Looking ahead, future work will explore adaptive parameter tuning, robustness to noise, and extensions to multi-player and non-zero-sum settings. Integrating deep learning for large-scale applications and reducing computational costs remain key challenges. Overall, this research marks a milestone in the theoretical and practical development of autonomous strategic learning, bridging the gap between regret minimization and equilibrium convergence in the bandit feedback regime.

Deep Dive

Abstract

We study the problem of learning in zero-sum matrix games with repeated play and bandit feedback. Specifically, we focus on developing uncoupled algorithms that guarantee, without communication between players, the convergence of the last-iterate to a Nash equilibrium. Although the non-bandit case has been studied extensively, this setting has only been explored recently, with a bound of $\mathcal{O}(T^{-1/8})$ on the exploitability gap. We show that, for uncoupled algorithms, guaranteeing convergence of the policy profiles to a Nash equilibrium is detrimental to the performance, with the best attainable rate being $Ω(T^{-1/4})$ in contrast to the usual $Ω(T^{-1/2})$ rate for convergence of the average iterates. We then propose two algorithms that achieve this optimal rate up to constant and logarithmic factors. The first algorithm leverages a straightforward trade-off between exploration and exploitation, while the second employs a regularization technique based on a two-step mirror descent approach.

cs.LG stat.ML