Table of Contents
Fetching ...

A Combinatorial Characterization of Supervised Online Learnability

Vinod Raman, Unique Subedi, Ambuj Tewari

TL;DR

This work introduces the sequential minimax dimension (SMdim), a scale-sensitive combinatorial measure that characterizes online learnability for arbitrary bounded losses. It provides a generic online learner whose regret is governed by SMdim and proves a tight, order-optimal minimax bound tying regret to SMdim across scales, while unifying existing dimensions such as Littlestone’s $L$-dimension and sequential fat-shattering via Helly-type geometry. The authors also relate SMdim to finite-width tree dimensions through the Helly-number framework, deriving reductions to known dimensions in standard settings and establishing tight upper and lower bounds (up to logarithmic factors) for minimax regret. These results yield a comprehensive, general theory for online supervised learning, applicable across classification, regression, and structured-label problems, and highlight the role of geometry (Helly spaces) in translating infinite-width definitions into finite, computable characterizations.

Abstract

We study the online learnability of hypothesis classes with respect to arbitrary, but bounded loss functions. No characterization of online learnability is known at this level of generality. We give a new scale-sensitive combinatorial dimension, named the sequential minimax dimension, and show that it gives a tight quantitative characterization of online learnability. In addition, we show that the sequential minimax dimension subsumes most existing combinatorial dimensions in online learning theory.

A Combinatorial Characterization of Supervised Online Learnability

TL;DR

This work introduces the sequential minimax dimension (SMdim), a scale-sensitive combinatorial measure that characterizes online learnability for arbitrary bounded losses. It provides a generic online learner whose regret is governed by SMdim and proves a tight, order-optimal minimax bound tying regret to SMdim across scales, while unifying existing dimensions such as Littlestone’s -dimension and sequential fat-shattering via Helly-type geometry. The authors also relate SMdim to finite-width tree dimensions through the Helly-number framework, deriving reductions to known dimensions in standard settings and establishing tight upper and lower bounds (up to logarithmic factors) for minimax regret. These results yield a comprehensive, general theory for online supervised learning, applicable across classification, regression, and structured-label problems, and highlight the role of geometry (Helly spaces) in translating infinite-width definitions into finite, computable characterizations.

Abstract

We study the online learnability of hypothesis classes with respect to arbitrary, but bounded loss functions. No characterization of online learnability is known at this level of generality. We give a new scale-sensitive combinatorial dimension, named the sequential minimax dimension, and show that it gives a tight quantitative characterization of online learnability. In addition, we show that the sequential minimax dimension subsumes most existing combinatorial dimensions in online learning theory.
Paper Structure (14 sections, 8 theorems, 22 equations, 1 algorithm)

This paper contains 14 sections, 8 theorems, 22 equations, 1 algorithm.

Key Result

Theorem 1

The following statements are true.

Theorems & Definitions (24)

  • Definition 1: Supervised Online Learning Algorithm
  • Definition 2: Supervised Online Learnability
  • Definition 3: Littlestone dimension Littlestone1987LearningQWDanielyERMprinciple
  • Definition 4: Sequential fat-shattering dimension rakhlin2015online
  • Definition 5: $(k+1)\text{-Littlestone dimension}$ moran2023list
  • Definition 6: Measure shattering dimension raman2023online
  • Definition 7: Sequential minimax dimension
  • Theorem 1: Unifying Learnability
  • Theorem 2: Minimax Expected Regret
  • Lemma 3: $\varepsilon_t$-Realizable Learner
  • ...and 14 more