Table of Contents
Fetching ...

Online Inverse Linear Optimization: Efficient Logarithmic-Regret Algorithm, Robustness to Suboptimality, and Lower Bound

Shinsaku Sakaue, Taira Tsuchiya, Han Bao, Taihei Oki

TL;DR

The paper delivers an efficient, T-independent per-round, logarithmic-regret algorithm for online inverse linear optimization by applying the online Newton step to exp-concave surrogate losses, achieving $O(n\ln T)$ regret. It extends to scenarios where the agent’s actions are suboptimal by employing MetaGrad, achieving a regret of $O(n\ln T + \sqrt{\Delta_T n\ln T})$, where $\Delta_T$ is the cumulative suboptimality. A matching lower bound of $\Omega(n)$ establishes that the $O(n\ln T)$ rate is tight up to a $\ln T$ factor. The results unify the benefits of fast regret growth control with scalable computation, and they include online-to-batch implications, complexity analyses, and robustness to imperfect feedback.

Abstract

In online inverse linear optimization, a learner observes time-varying sets of feasible actions and an agent's optimal actions, selected by solving linear optimization over the feasible actions. The learner sequentially makes predictions of the agent's true linear objective function, and their quality is measured by the regret, the cumulative gap between optimal objective values and those achieved by following the learner's predictions. A seminal work by Bärmann et al. (2017) obtained a regret bound of $O(\sqrt{T})$, where $T$ is the time horizon. Subsequently, the regret bound has been improved to $O(n^4 \ln T)$ by Besbes et al. (2021, 2025) and to $O(n \ln T)$ by Gollapudi et al. (2021), where $n$ is the dimension of the ambient space of objective vectors. However, these logarithmic-regret methods are highly inefficient when $T$ is large, as they need to maintain regions specified by $O(T)$ constraints, which represent possible locations of the true objective vector. In this paper, we present the first logarithmic-regret method whose per-round complexity is independent of $T$; indeed, it achieves the best-known bound of $O(n \ln T)$. Our method is strikingly simple: it applies the online Newton step (ONS) to appropriate exp-concave loss functions. Moreover, for the case where the agent's actions are possibly suboptimal, we establish a regret bound of $O(n\ln T + \sqrt{Δ_T n\ln T})$, where $Δ_T$ is the cumulative suboptimality of the agent's actions. This bound is achieved by using MetaGrad, which runs ONS with $Θ(\ln T)$ different learning rates in parallel. We also present a lower bound of $Ω(n)$, showing that the $O(n\ln T)$ bound is tight up to an $O(\ln T)$ factor.

Online Inverse Linear Optimization: Efficient Logarithmic-Regret Algorithm, Robustness to Suboptimality, and Lower Bound

TL;DR

The paper delivers an efficient, T-independent per-round, logarithmic-regret algorithm for online inverse linear optimization by applying the online Newton step to exp-concave surrogate losses, achieving regret. It extends to scenarios where the agent’s actions are suboptimal by employing MetaGrad, achieving a regret of , where is the cumulative suboptimality. A matching lower bound of establishes that the rate is tight up to a factor. The results unify the benefits of fast regret growth control with scalable computation, and they include online-to-batch implications, complexity analyses, and robustness to imperfect feedback.

Abstract

In online inverse linear optimization, a learner observes time-varying sets of feasible actions and an agent's optimal actions, selected by solving linear optimization over the feasible actions. The learner sequentially makes predictions of the agent's true linear objective function, and their quality is measured by the regret, the cumulative gap between optimal objective values and those achieved by following the learner's predictions. A seminal work by Bärmann et al. (2017) obtained a regret bound of , where is the time horizon. Subsequently, the regret bound has been improved to by Besbes et al. (2021, 2025) and to by Gollapudi et al. (2021), where is the dimension of the ambient space of objective vectors. However, these logarithmic-regret methods are highly inefficient when is large, as they need to maintain regions specified by constraints, which represent possible locations of the true objective vector. In this paper, we present the first logarithmic-regret method whose per-round complexity is independent of ; indeed, it achieves the best-known bound of . Our method is strikingly simple: it applies the online Newton step (ONS) to appropriate exp-concave loss functions. Moreover, for the case where the agent's actions are possibly suboptimal, we establish a regret bound of , where is the cumulative suboptimality of the agent's actions. This bound is achieved by using MetaGrad, which runs ONS with different learning rates in parallel. We also present a lower bound of , showing that the bound is tight up to an factor.
Paper Structure (24 sections, 10 theorems, 46 equations, 3 figures, 1 table, 3 algorithms)

This paper contains 24 sections, 10 theorems, 46 equations, 3 figures, 1 table, 3 algorithms.

Key Result

Proposition 2.4

[proposition]prop:subopt-loss The suboptimality loss, $\ell_t\colon\Theta\to\mathbb{R}$, is convex. Moreover, for any $\hat{c}_t \in \Theta$ and $\hat{x}_t \in \mathop{\mathrm{arg\,max}}\nolimits_{x \in X_t} \langle\hat{c}_t, x\rangle$, it holds that $\hat{x}_t - x_t \in \partial\ell_t(\hat{c}_t)$.

Figures (3)

  • Figure 1: Illustration of $c^*$, $\mathcal{C}_t$, $\mathcal{N}_t$, and $\mathcal{C}_{t+1}$.
  • Figure 2: An example of $\mathcal{C}_t$ on $\mathbb{S}^2$. The darker area, $A(\mathcal{C}_t)$, becomes arbitrarily small as $\varepsilon \to 0$, while $\theta(c^*, \hat{c}_t)$ does not.
  • Figure : $O(1)$-Regret Algorithm for $n=2$.

Theorems & Definitions (17)

  • Remark 2.1
  • Definition 2.3
  • Proposition 2.4: cf. Barmann2020-hh
  • Proposition 2.5
  • Proposition 2.6
  • Theorem 3.1
  • proof
  • Theorem 4.1
  • proof
  • Corollary 4.2
  • ...and 7 more