Massart lemma

cosmos 10th October 2018 at 2:07pm
Rademacher complexity

the Rademacher complexity of a finite set grows logarithmically with the size of the set.

Let A={a1,...,aN}A=\{\mathbf{a}_1,...,\mathbf{a}_N\} be a finite set of vectors in Rm\mathcal{R}^m. Define a¯=1Ni=1Nai\bar{\mathbf{a}} = \frac{1}{N}\sum_{i=1}^N \mathbf{a}_i. Then,

R(A)maxaAaa¯2log(N)mR(A) \leq \max\limits_{\mathbf{a}\in A} ||\mathbf{a}-\bar{\mathbf{a}}|| \frac{\sqrt{2\log{(N)}}}{m}

Tricks for proof: exponentiating, Jensen's inequality, Sum is greater than max, making the bound for scaled version of the set of vectors, Lemma A.6 on UML (bound on Cosh)