Table of Contents
Fetching ...

Minimisation of Submodular Functions Using Gaussian Zeroth-Order Random Oracles

Amir Ali Farzin, Yuen-Man Pun, Philipp Braun, Tyler Summers, Iman Shames

TL;DR

The paper tackles submodular function minimisation (SFM) by applying a derivative-free Gaussian smoothing approach to the Lovász extension, enabling zeroth-order optimisation of a convex surrogate. It proves offline convergence to an $ε$-optimal solution in $O(n^2 ε^{-2})$ function calls and establishes online guarantees: static regret is Hannan-consistent and dynamic regret scales as $O\left(\sqrt{N P_N^*}\right)$, where $P_N^*$ is the path length of minimisers. The framework relies on a two-point gradient estimator to unbiasedly estimate the smoothed gradient and includes complexity analysis and hyperparameter guidelines, complemented by numerical demonstrations. The results show the method is competitive with gradient-based approaches in offline and online SFM settings, while offering a practical derivative-free alternative. Potential impact includes scalable, data-driven SFM in domains such as clustering and structured prediction, with extensions to other Lovász-based surrogates and minimax problems.

Abstract

We consider the minimisation problem of submodular functions and investigate the application of a zeroth-order method to this problem. The method is based on exploiting a Gaussian smoothing random oracle to estimate the smoothed function gradient. We prove the convergence of the algorithm to a global $ε$-approximate solution in the offline case and show that the algorithm is Hannan-consistent in the online case with respect to static regret. Moreover, we show that the algorithm achieves $O(\sqrt{NP_N^\ast})$ dynamic regret, where $N$ is the number of iterations and $P_N^\ast$ is the path length. The complexity analysis and hyperparameter selection are presented for all the cases. The theoretical results are illustrated via numerical examples.

Minimisation of Submodular Functions Using Gaussian Zeroth-Order Random Oracles

TL;DR

The paper tackles submodular function minimisation (SFM) by applying a derivative-free Gaussian smoothing approach to the Lovász extension, enabling zeroth-order optimisation of a convex surrogate. It proves offline convergence to an -optimal solution in function calls and establishes online guarantees: static regret is Hannan-consistent and dynamic regret scales as , where is the path length of minimisers. The framework relies on a two-point gradient estimator to unbiasedly estimate the smoothed gradient and includes complexity analysis and hyperparameter guidelines, complemented by numerical demonstrations. The results show the method is competitive with gradient-based approaches in offline and online SFM settings, while offering a practical derivative-free alternative. Potential impact includes scalable, data-driven SFM in domains such as clustering and structured prediction, with extensions to other Lovász-based surrogates and minimax problems.

Abstract

We consider the minimisation problem of submodular functions and investigate the application of a zeroth-order method to this problem. The method is based on exploiting a Gaussian smoothing random oracle to estimate the smoothed function gradient. We prove the convergence of the algorithm to a global -approximate solution in the offline case and show that the algorithm is Hannan-consistent in the online case with respect to static regret. Moreover, we show that the algorithm achieves dynamic regret, where is the number of iterations and is the path length. The complexity analysis and hyperparameter selection are presented for all the cases. The theoretical results are illustrated via numerical examples.
Paper Structure (12 sections, 4 theorems, 46 equations, 10 figures, 1 algorithm)

This paper contains 12 sections, 4 theorems, 46 equations, 10 figures, 1 algorithm.

Key Result

Lemma 1

Let $f:2^{[n]}\rightarrow \mathbb{R}$ be a submodular function and $f^L$ be its Lovász extension. Then, we have that (i) $f^L$ is convex, (ii) $f^L$ is piecewise linear, (iii) $\min_{S\subseteq[n]} f(x) = \min_{x\in\{0,1\}^n} f^L(x)=\min_{x\in[0,1]^n} f^L(x)$, and (iv) the set of minimisers of $f^L(

Figures (10)

  • Figure 1: Lovász Extension History Over the Sequence Generated by Algorithm \ref{['alg:ZOGD']} and the Subgradient Method for Offline Clustering
  • Figure 2: Offline Clustering of the Two Moon Dataset Using the Sequence Generated by Algorithm \ref{['alg:ZOGD']}
  • Figure 3: Logdet Cost Function's Lovász Extension History Over Iterations
  • Figure 4: Logdet Cost Function's Lovász Extension History Over Time
  • Figure 5: Offline Clustering of the Two Moon Dataset Using the Subgradient Method and Algorithm \ref{['alg:ZOGD']} with Exact and Approximate Lovász Extension Queries
  • ...and 5 more figures

Theorems & Definitions (16)

  • Definition 1: Submodular Functions hazan2012online
  • Definition 2: Lovász Extension hazan2012online
  • Remark 1
  • Lemma 1
  • Definition 3: Extended domain Lovász Extension
  • Remark 2
  • Theorem 1
  • proof
  • Remark 3
  • Definition 4: Static Regret
  • ...and 6 more