Streeter–Phelps equation

• Leave-one-out cross-validation (CVloo) Stability An algorithm f has CVloo stability β with respect to the loss function V if the following holds:

$\mathrm{\forall }i\in \{1,...,m\},{\mathbb{\mathbb{P}}}_S\{{\sup }_{z\in Z}|V(f_S,z_i)-V(f_{S^{|i}},z_i)|\le {\beta }_{CV}\}\ge 1-{\delta }_{CV}$

• Expected-to-leave-one-out error ($Elo{o}_{err}$) Stability An algorithm f has $Elo{o}_{err}$ stability if for each n there exists a${\beta }_{EL}^m$ and a ${\delta }_{EL}^m$ such that:

$\mathrm{\forall }i\in \{1,...,m\},{\mathbb{\mathbb{P}}}_S\{|I[f_S]-\frac{1}{m}\sum _{i=1}^{m}V(f_{S^{|i}},z_i)|\le {\beta }_{EL}^m\}\ge 1-{\delta }_{EL}^m$, with ${\beta }_{EL}^m$and ${\delta }_{EL}^m$ going to zero for $n\to \inf$

Preliminary Notations

X and Y ⊂ R being respectively an input and an output space, we consider a training set

$S=\{z_1=(x_1,y_1),..,z_m=(x_m,y_m)\}$ of size m in $Z=X\times Y$ drawn i.i.d. from an unknown distribution D. A learning algorithm is a function $f$ from $Z_m$ into $F\subset YX$which maps a learning set S onto a function $f_S$ from X to Y. To avoid complex notation, we consider only deterministic algorithms. It is also assumed that the algorithm $f$ is symmetric with respect to S, i.e. it does not depend on the order of the elements in the training set. Furthermore, we assume that all functions are measurable and all sets are countable which does not limit the interest of the results presented here.

The loss of an hypothesis f with respect to an example $z=(x,y)$ is then defined as $V(f,z)=V(f(x),y)$. The empirical error of f is $I_S[f]=\frac{1}{n}\sum V(f,z_i)$.

The true error of f is $I[f]={\mathbb{𝔼}}_{z}V(f,z)$

Given a training set S of size m, we will build, for all i = 1....,m, modified training sets as follows:

• By removing the i-th element

$S^{|i}=\{z_1,...,z_{i-1},z_{i+1},...,z_m\}$

• By replacing the i-th element

$S^i=\{z_1,...,z_{i-1},{z_i}^{\prime },z_{i+1},...,z_m\}$

References

S. Mukherjee, P. Niyogi, T. Poggio, and R. M. Rifkin. Learning theory: stability is sufficient for generaliza- tion and necessary and sufficient for consistency of empirical risk minimization. Adv. Comput. Math., 25(1-3):161–193, 2006