Combinatorics

Discrete mathematics

Mathematics

Regret

Evolutionary biology

Biology

Statistics

Mathematical optimization

Regular polygon

Stochastic programming

Sublinear function

Convex optimization

Function (biology)

Convex function

Constraint programming

Constraint logic programming

Geometry

Constraint (computer-aided design)

Sequence (biology)

Computer science

Constraint learning

Genetics

IEEE Transactions on Automatic Control

Distributed bandit online convex optimization with time-varying coupled inequality constraints is considered, motivated by a repeated game between a group of learners and an adversary. The learners attempt to minimize a sequence of global loss functions and at the same time satisfy a sequence of coupled constraint functions, where the constraints are coupled across the distributed learners at each round. The global loss and the coupled constraint functions are the sum of local convex loss and constraint functions, respectively, which are adaptively generated by the adversary. The local loss and constraint functions are revealed in a bandit manner, i.e., only the values of loss and constraint functions are revealed to the learners at the sampling instance, and the revealed function values are held privately by each learner. Both one- and two-point bandit feedback are studied with the two corresponding distributed bandit online algorithms used by the learners. We show that sublinear expected regret and constraint violation are achieved by these two algorithms, if the accumulated variation of the comparator sequence also grows sublinearly. In particular, we show that <inline-formula xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink"><tex-math notation="LaTeX">$\mathcal {O}(T^{\theta })$</tex-math></inline-formula> expected static regret and <inline-formula xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink"><tex-math notation="LaTeX">$\mathcal {O}(T^{7/4-\theta })$</tex-math></inline-formula> constraint violation are achieved in the one-point bandit feedback setting, and <inline-formula xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink"><tex-math notation="LaTeX">$\mathcal {O}(T^{\max \lbrace \kappa,1-\kappa \rbrace })$</tex-math></inline-formula> expected static regret and <inline-formula xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink"><tex-math notation="LaTeX">$\mathcal {O}(T^{1-\kappa /2})$</tex-math></inline-formula> constraint violation in the two-point bandit feedback setting, where <inline-formula xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink"><tex-math notation="LaTeX">$\theta \in (3/4,5/6]$</tex-math></inline-formula> and <inline-formula xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink"><tex-math notation="LaTeX">$\kappa \in (0,1)$</tex-math></inline-formula> are user-defined tradeoff parameters. Finally, the tightness of the theoretical results is illustrated by numerical simulations of a simple power grid example, which also compares the proposed algorithms to algorithms existing in the literature.

Distributed Bandit Online Convex Optimization With Time-Varying Coupled Inequality Constraints