TCSLib

108 Learning Theory — Finite Minimax

108.1 Overview

This module develops finite two-player zero-sum games and proves an approximate minimax theorem via the Hedge (multiplicative weights) algorithm. The main results are weak duality—showing that the row player’s mixed-strategy minimum payoff never exceeds the column player’s mixed-strategy maximum payoff—and approx_minimax, which constructs an \(\varepsilon \)-approximate saddle point for any \(\varepsilon \gt 0\) by running Hedge for sufficiently many rounds against column best responses.

108.2 Declarations

Definition 108.1 Finite zero-sum game
✓
#

A finite two-player zero-sum game with \(M\) row actions and \(N\) column actions is a record consisting of a payoff matrix \(A : \mathrm{Fin}\, M \to \mathrm{Fin}\, N \to \mathbb {R}\) together with proofs that every entry satisfies \(0 \le A_{ij} \le 1\). The row player seeks to maximise the payoff; the column player seeks to minimise it.

Definition 108.2 Mixed strategy
✓
#

A mixed strategy over \(n\) actions is a record consisting of a weight function \(w : \mathrm{Fin}\, n \to \mathbb {R}\) together with proofs that every weight is non-negative and that the weights sum to \(1\), i.e. \(w\) is a probability distribution over \(\mathrm{Fin}\, n\).

Definition 108.3 Row mixed payoff against a pure column
✓
#

Given a game \(G\), a mixed row strategy \(p\), and a pure column \(j\), the expected payoff against column \(j\) is

\[ \mathrm{payoffVsPure}(G, p, j) \; =\; \sum _{i} p_i \cdot A_{ij}. \]
Definition 108.4 Pure row payoff against a mixed column
✓
#

Given a game \(G\), a pure row \(i\), and a mixed column strategy \(q\), the expected payoff of row \(i\) against \(q\) is

\[ \mathrm{pureVsPayoff}(G, i, q) \; =\; \sum _{j} A_{ij} \cdot q_j. \]
Definition 108.5 Column best response
✓

Given a game \(G\) and a mixed row strategy \(p\), bestColumn is the pure column \(j^* \in \mathrm{Fin}\, N\) that minimises \(\mathrm{payoffVsPure}(G, p, \cdot )\), chosen via the classical axiom of choice from the finite minimiser.

Lemma 108.6 Optimality of the column best response
✓

Let \(G\) be a finite two-player zero-sum game with \(M\) row actions and \(N \ge 1\) column actions, given by a payoff matrix \(A_{ij} \in [0,1]\), and let \(p\) be a mixed strategy for the row player, with weights \(p_i\). Write \(v(j) = \sum _i p_i A_{ij}\) for the expected payoff of \(p\) against the pure column \(j\), and let \(j^*\) be a column that minimises \(v\) over all \(N\) columns. Then \(v(j^*) \le v(j)\) for every column \(j\); that is, \(j^*\) is indeed a minimiser of the expected payoff against \(p\).

Definition 108.7 Row best response
✓
#

Given a game \(G\) and a mixed column strategy \(q\), bestRow is the pure row \(i^* \in \mathrm{Fin}\, M\) that maximises \(\mathrm{pureVsPayoff}(G, \cdot , q)\), chosen classically from the finite maximiser.

Lemma 108.8 Optimality of the row best response
✓

Let \(G\) be a finite two-player zero-sum game with a nonempty set of \(M\) row actions and \(N\) column actions, given by a payoff matrix \(A\) with \(0 \le A_{ij} \le 1\), and let \(q\) be a mixed strategy for the column player. For a pure row \(i\), write \(u(i) = \sum _{j} A_{ij}\, q_j\) for its expected payoff against \(q\), and let \(i^\ast \) be a row maximising \(u\). Then \(u(i) \le u(i^\ast )\) for every row \(i\).

Theorem 108.9 Weak duality for finite zero-sum games
✓

Let \(G\) be a finite two-player zero-sum game with \(M \ge 1\) row actions and \(N \ge 1\) column actions, given by a payoff matrix \(A\) whose entries satisfy \(A_{ij} \in [0,1]\), where the row player maximises and the column player minimises. Let \(p = (p_i)\) be a mixed strategy for the row player and \(q = (q_j)\) a mixed strategy for the column player. Then the row player’s guaranteed payoff under \(p\) never exceeds the payoff the column player can be forced above under \(q\):

\[ \min _{j} \sum _{i} p_i\, A_{ij} \; \le \; \max _{i} \sum _{j} A_{ij}\, q_j . \]
Definition 108.10 Loss sequence induced by a game
✓
#

Given a game \(G\) and a sequence of column responses \(j_0, \dots , j_{T-1}\), the induced loss sequence for the row player is \(\ell _t(i) = 1 - A_{i,j_t} \in [0,1]\). This translates a zero-sum game into the abstract loss-sequence framework used by Hedge.

Lemma 108.11 Validity of the loss sequence induced by a zero-sum game
✓

Let \(G\) be a finite two-player zero-sum game with \(M\) row actions and \(N\) column actions, given by a payoff matrix \(A\) whose entries satisfy \(0 \le A_{ij} \le 1\), and let \(j_0, \dots , j_{T-1}\) be any sequence of column responses. Then the induced loss sequence for the row player, defined by \(\ell _t(i) = 1 - A_{i,j_t}\) for each round \(t \lt T\) and row action \(i\), is valid: every loss lies in \([0,1]\), i.e. \(0 \le \ell _t(i) \le 1\) for all \(t\) and \(i\).

Definition 108.12 Average strategy
✓
#

Given \(T\) distributions \(p_0, \dots , p_{T-1}\) over \(\mathrm{Fin}\, n\) (each presented as non-negative weights summing to \(1\)) and \(T \gt 0\), the average strategy is the mixed strategy with weights

\[ \bar{p}_i \; =\; \frac{1}{T} \sum _{t=0}^{T-1} p_t(i). \]
Definition 108.13 Hedge mixed strategy
✓

The Hedge distribution at round \(t\) for learning rate \(\eta \) and loss sequence \(\ell \), packaged as a MixedStrategy by bundling the non-negativity and sum-one proofs from hedgeDist.

Definition 108.14 Empirical strategy
✓
#

Given \(T \gt 0\) pure actions \(a_0, \dots , a_{T-1} \in \mathrm{Fin}\, n\), the empirical strategy is the mixed strategy assigning to each \(i\) the fraction of rounds on which action \(i\) was played:

\[ q_i \; =\; \frac{1}{T}\# \{ t : a_t = i\} . \]
Lemma 108.15 Average strategy’s payoff against a pure column
✓

Let \(G\) be a finite two-player zero-sum game with \(M \ge 1\) row actions and \(N\) column actions, given by a payoff matrix \(A\) with \(0 \le A_{ij} \le 1\), and fix a pure column action \(j\). Let \(T \gt 0\) and let \(p_0, \dots , p_{T-1}\) be probability distributions over the \(M\) row actions, each presented as non-negative weights \(p_t(i)\) summing to \(1\), and let \(\bar{p}\) be their average strategy, the mixed row strategy with weights \(\bar{p}_i = \frac{1}{T}\sum _{t=0}^{T-1} p_t(i)\). Then the expected payoff of \(\bar{p}\) against column \(j\) satisfies

\[ \sum _{i} \bar{p}_i \, A_{ij} \; =\; \frac{1}{T} \sum _{t=0}^{T-1} \sum _{i} p_t(i) \, A_{ij}. \]
Lemma 108.16 Pure-row payoff against the empirical column strategy
✓

Let \(G\) be a finite two-player zero-sum game with \(M\) row actions and \(N \ge 1\) column actions, and payoff matrix \(A\). Fix a row action \(i\) and a sequence of column actions \(a_0, \dots , a_{T-1}\) with \(T \gt 0\), and let \(\hat{q}\) be the associated empirical column strategy. Then the expected payoff of row \(i\) against \(\hat{q}\) equals the average payoff over the sequence:

\[ \sum _{j} A_{ij}\, \hat{q}_j \; =\; \frac{1}{T}\sum _{t=0}^{T-1} A_{i,\, a_t}. \]
Definition 108.17 Prefix cumulative game loss
✓
#

Given a game \(G\), a prefix of \(t\) column actions, and a row \(i\), the prefix cumulative loss of row \(i\) is

\[ L_t(i) \; =\; \sum _{s=0}^{t-1} \bigl(1 - A_{i, a_s}\bigr). \]

This mirrors cumLoss from the abstract Hedge framework, expressed directly in terms of game payoffs.

Definition 108.18 Prefix Hedge weight
✓
#

The unnormalised Hedge weight of row \(i\) after seeing a prefix of column actions at learning rate \(\eta \) is

\[ w_t(i) \; =\; \exp \! \bigl(-\eta \cdot L_t(i)\bigr), \]

where \(L_t(i)\) is the prefix cumulative loss.

Definition 108.19 Prefix potential
✓
#

The prefix potential is the sum of prefix Hedge weights over all rows:

\[ \Phi _t \; =\; \sum _{i \in \mathrm{Fin}\, M} w_t(i). \]
Lemma 108.20 Positivity of the prefix Hedge weight
✓
#

Let \(G\) be a finite two-player zero-sum game with \(M\) row actions and \(N\) column actions, let \(\eta \in \mathbb {R}\) be a learning rate, and fix any prefix \(a_0, \dots , a_{t-1}\) of \(t\) column actions together with a row \(i\). Then the prefix Hedge weight \(w_t(i) = \exp \! \bigl(-\eta \cdot L_t(i)\bigr)\) is strictly positive, where \(L_t(i) = \sum _{s=0}^{t-1}\bigl(1 - A_{i,a_s}\bigr)\) is the prefix cumulative loss of row \(i\).

Lemma 108.21 Positivity of the prefix potential
✓

Let \(G\) be a finite two-player zero-sum game with at least one row action, fix a learning rate \(\eta \in \mathbb {R}\), and let \(a_0, \dots , a_{t-1}\) be any prefix of column actions. Then the prefix potential is strictly positive,

\[ \Phi _t \; =\; \sum _{i} \exp \! \bigl(-\eta \, L_t(i)\bigr) \; \gt \; 0, \]

where \(L_t(i)\) is the prefix cumulative loss of row \(i\).

Definition 108.22 Prefix Hedge mixed strategy
✓

The normalised Hedge distribution after a prefix of \(t\) column actions is the mixed row strategy with weights

\[ p_t(i) \; =\; \frac{w_t(i)}{\Phi _t}, \]

where \(w_t(i)\) is the prefix Hedge weight and \(\Phi _t\) the prefix potential.

Definition 108.23 Online column best responses to Hedge
✓

The sequence of column best responses generated online against Hedge: at time \(t\), given the history \(a_0, \dots , a_{t-1}\) of prior column choices, the column player responds with \(a_t = \mathrm{bestColumn}(G, p_t)\), where \(p_t\) is the prefix Hedge mixed strategy. This is defined by well-founded recursion on \(t\).

Lemma 108.24 Prefix game loss equals induced cumulative loss
✓

Let \(G\) be a finite two-player zero-sum game with \(M\) row actions and \(N\) column actions, given by a payoff matrix \(A\) with \(0 \le A_{ij} \le 1\), and let \(a_0, \dots , a_{T-1}\) be a sequence of column actions with each \(a_s \in \mathrm{Fin}\, N\). Fix a row action \(i \in \mathrm{Fin}\, M\) and a round \(t \in \mathrm{Fin}\, T\). Then the prefix cumulative loss of row \(i\) along the first \(t\) column actions coincides with the cumulative loss of expert \(i\) through the first \(t\) rounds of the loss sequence induced by \(G\) and \((a_s)_s\); that is,

\[ \sum _{s=0}^{t-1} \bigl(1 - A_{i,\, a_s}\bigr) \; =\; \sum _{s \lt t} \bigl(1 - A_{i,\, a_s}\bigr). \]
Lemma 108.25 Prefix Hedge weight agrees with the induced-loss Hedge weight
✓

Let \(G\) be a finite two-player zero-sum game with \(M\) row actions and \(N\) column actions, with payoff matrix \(A\), let \(\eta \in \mathbb {R}\) be a learning rate, and let \(a_0, \dots , a_{T-1}\) be a sequence of column actions, so that \(a : \mathrm{Fin}\, T \to \mathrm{Fin}\, N\). Fix a round \(t \in \mathrm{Fin}\, T\) and a row \(i \in \mathrm{Fin}\, M\). Then the prefix Hedge weight of row \(i\) at learning rate \(\eta \), computed from the length-\(t\) prefix \(a_0, \dots , a_{t-1}\) of column actions, equals the Hedge weight of expert \(i\) at time \(t\) and learning rate \(\eta \) for the loss sequence \(\ell _s(j) = 1 - A_{j, a_s}\) induced by \(G\) along \(a\); that is, both equal

\[ \exp \! \Bigl(-\eta \sum _{s \lt t} \bigl(1 - A_{i, a_s}\bigr)\Bigr). \]
Lemma 108.26 Prefix potential equals the induced Hedge potential
✓

Let \(G\) be a finite two-player zero-sum game with payoff matrix \(A\) having \(M\) rows and \(N\) columns, fix a learning rate \(\eta \in \mathbb {R}\), and let \(a_0, \dots , a_{T-1}\) be a sequence of \(T\) column actions. For any round \(t \lt T\), the prefix potential of \(G\) at learning rate \(\eta \) formed from the first \(t\) column actions \(a_0, \dots , a_{t-1}\) equals the Hedge potential at time \(t\) of the loss sequence \(\ell _s(i) = 1 - A_{i, a_s}\) induced on the row player by \(G\) and the full sequence of column actions; that is,

\[ \sum _{i \in \mathrm{Fin}\, M} \exp \! \Bigl(-\eta \sum _{s=0}^{t-1}\bigl(1 - A_{i, a_s}\bigr)\Bigr) \; =\; \sum _{i \in \mathrm{Fin}\, M} \exp \! \bigl(-\eta \, L_t(i)\bigr), \]

where \(L_t(i) = \sum _{s \lt t} \ell _s(i)\) is the cumulative loss of row \(i\).

Lemma 108.27 Prefix Hedge strategy agrees with the abstract Hedge distribution
✓

Let \(G\) be a finite two-player zero-sum game with \(M \ge 1\) row actions and \(N\) column actions, fix a learning rate \(\eta \in \mathbb {R}\), and let \(a_0, \dots , a_{T-1}\) be a sequence of column actions. For any round \(t \lt T\) and any row \(i\), the weight assigned to \(i\) by the prefix Hedge mixed strategy built from the length-\(t\) prefix \(a_0, \dots , a_{t-1}\) equals the Hedge distribution value \(p_t(i)\) obtained by running abstract Hedge, at the same learning rate \(\eta \), on the loss sequence \(\ell \) induced by \(G\) and \(a\), namely \(\ell _s(i) = 1 - A_{i, a_s}\). In symbols, both sides equal \(w_t(i)/\Phi _t\), where \(w_t(i) = \exp (-\eta \sum _{s\lt t}(1 - A_{i,a_s}))\) and \(\Phi _t = \sum _{k} w_t(k)\).

Lemma 108.28 Regret-to-payoff bridge for zero-sum games
✓
#

Consider a finite two-player zero-sum game with \(M \ge 1\) row actions and \(N\) column actions and payoff matrix \(A\), every entry of which satisfies \(0 \le A_{ij} \le 1\), played over \(T \ge 1\) rounds. Suppose that in each round \(t\) the row player commits to a probability distribution \(p_t\) over the row actions (so \(\sum _i p_t(i) = 1\)) while the column player chooses an action \(j_t\), and that the cumulative loss regret is bounded by \(R\):

\[ \sum _t \sum _i p_t(i)\, \bigl(1 - A_{i,j_t}\bigr) \; -\; \min _i \sum _t \bigl(1 - A_{i,j_t}\bigr) \; \le \; R, \]

where the minimum runs over the row actions. Then the row player’s cumulative expected payoff satisfies

\[ \sum _t \sum _i p_t(i)\, A_{i,j_t} \; \ge \; \max _i \sum _t A_{i,j_t} \; -\; R, \]

with the maximum taken over the row actions.

Lemma 108.29 Average of pointwise minima at most minimum of averages
✓
#

Let \(N \ge 1\) and \(T \ge 1\) be integers, and let \(f(t,j)\) be a real number for each \(t \in \{ 1,\dots ,T\} \) and each \(j \in \{ 1,\dots ,N\} \). Then averaging over \(t\) before minimising over \(j\) can only increase the value:

\[ \frac{1}{T} \sum _{t=1}^{T} \min _{1 \le j \le N} f(t,j) \; \le \; \min _{1 \le j \le N} \frac{1}{T} \sum _{t=1}^{T} f(t,j). \]

Let \(G\) be a finite two-player zero-sum game with \(M \ge 2\) row actions and \(N \ge 1\) column actions, with payoff matrix \((A_{ij})\) satisfying \(0 \le A_{ij} \le 1\); the row player maximises and the column player minimises. Fix an integer \(T \gt 0\) and a learning rate \(\eta \gt 0\). Then there exist a mixed row strategy \(p\) and a mixed column strategy \(q\) such that, for every pure row \(i \in \{ 1,\dots ,M\} \) and every pure column \(j \in \{ 1,\dots ,N\} \),

\[ \sum _{i'} p_{i'}\, A_{i'j} \; +\; \frac{(\ln M)/\eta + \eta T/8}{T} \; \ge \; \sum _{j'} A_{ij'}\, q_{j'}. \]
Theorem 108.31 Approximate minimax for finite zero-sum games
✓

Let \(G\) be a finite two-player zero-sum game with payoff matrix \(A\), having \(M \ge 2\) row actions and at least one column action, and let \(\varepsilon \gt 0\). Then there exist a mixed row strategy \(p\) and a mixed column strategy \(q\) that form an \(\varepsilon \)-approximate saddle point: for every pure row \(i\) and every pure column \(j\),

\[ \sum _{k} p_k\, A_{kj} \; +\; \varepsilon \; \ge \; \sum _{\ell } A_{i\ell }\, q_\ell . \]

That is, up to an additive \(\varepsilon \), the expected payoff of \(p\) against any pure column is at least the expected payoff of any pure row against \(q\).

Theorem 108.32 Approximate minimax theorem for finite zero-sum games
✓

Let \(G\) be a finite two-player zero-sum game with payoff matrix \(A\), having at least two row actions and at least one column action, and suppose every entry satisfies \(0 \le A_{ij} \le 1\). Then for every \(\varepsilon \gt 0\) there exist a mixed row strategy \(p\) and a mixed column strategy \(q\) such that, for every pure row \(i\) and every pure column \(j\),

\[ \sum _{k} p_k \, A_{kj} + \varepsilon \; \ge \; \sum _{\ell } A_{i\ell } \, q_\ell . \]

That is, the row player’s guaranteed payoff under \(p\) against any column falls short of the column player’s exposure under \(q\) against any row by at most \(\varepsilon \).