TCSLib

109 Learning Theory — Weighted Majority

109.1 Overview

This module formalizes the mistake-bound analysis of the Weighted Majority algorithm. Starting from \(n\) experts each assigned unit weight, the algorithm multiplies the weight of every mistaken expert by a penalty factor \(\beta \in (0,1)\) after each round. The key results bound the total number of algorithm mistakes \(M_{\mathrm{WM}}\) in terms of the best expert’s mistake count \(M^*\) and \(n\), and a factor-2 lower bound shows the analysis is essentially tight for deterministic learners.

109.2 Declarations

Theorem 109.1 Weight shrinkage after \(M\) mistakes
✓
#

Let \(\beta \in (0,1)\), let \(W : \mathbb {N}\to \mathbb {R}\) be a sequence of positive reals, and let \(M\) be a natural number such that \(W(k+1) \le W(k) \cdot \tfrac {1+\beta }{2}\) for every \(k \lt M\). Then

\[ W(M) \; \le \; W(0) \cdot \left(\frac{1+\beta }{2}\right)^{\! M}. \]
Theorem 109.2 Geometric decay of a shrinking weight sequence
✓
#

Fix an integer \(n \ge 1\) and a real number \(\beta \) with \(0 \lt \beta \lt 1\), and let \(W \colon \mathbb {N}\to \mathbb {R}\) be a sequence of strictly positive reals with \(W(0) = n\). Suppose that for every \(k \lt M\) the sequence shrinks by at least the factor \((1+\beta )/2\) at each step, in the sense that

\[ W(k+1) \; \le \; W(k)\cdot \frac{1+\beta }{2}. \]

Then

\[ W(M) \; \le \; n\left(\frac{1+\beta }{2}\right)^{\! M}. \]
Theorem 109.3 Combined potential bound in logarithmic form
✓
#

Let \(\beta \in (0,1)\) and let \(n \ge 1\) be an integer, and let \(M^\ast , M_{\mathrm{WM}}\) be nonnegative integers satisfying

\[ \beta ^{M^\ast } \; \le \; n \cdot \left(\tfrac {1+\beta }{2}\right)^{M_{\mathrm{WM}}}. \]

Then

\[ \log \! \left(\beta ^{M^\ast }\right) \; \le \; \log \! \left(n \cdot \left(\tfrac {1+\beta }{2}\right)^{M_{\mathrm{WM}}}\right), \]

where \(\log \) denotes the natural logarithm.

Theorem 109.4 Logarithmic mistake bound
✓
#

Let \(n \ge 2\) be an integer and let \(\beta \in (0,1)\). Suppose \(M^*\) and \(M_{\mathrm{WM}}\) are nonnegative integers satisfying

\[ \beta ^{M^*} \; \le \; n \cdot \left(\frac{1+\beta }{2}\right)^{M_{\mathrm{WM}}}. \]

Then

\[ M_{\mathrm{WM}} \cdot \log \! \frac{2}{1+\beta } \; \le \; \log n \; +\; M^* \cdot \log \frac{1}{\beta }. \]