Sample complexity

Part of a series on
Machine learning and data mining
Paradigms Supervised learning Unsupervised learning Online learning Batch learning Meta-learning Semi-supervised learning Self-supervised learning Reinforcement learning Curriculum learning Rule-based learning Quantum machine learning
Problems Classification Generative modeling Regression Clustering Dimensionality reduction Density estimation Anomaly detection Data cleaning AutoML Association rules Semantic analysis Structured prediction Feature engineering Feature learning Learning to rank Grammar induction Ontology learning Multimodal learning
Supervised learning (classification • regression) Apprenticeship learning Decision trees Ensembles Bagging Boosting Random forest k-NN Linear regression Naive Bayes Artificial neural networks Logistic regression Perceptron Relevance vector machine (RVM) Support vector machine (SVM)
Clustering BIRCH CURE Hierarchical k-means Fuzzy Expectation–maximization (EM) DBSCAN OPTICS Mean shift
Dimensionality reduction Factor analysis CCA ICA LDA NMF PCA PGD t-SNE SDL
Structured prediction Graphical models Bayes net Conditional random field Hidden Markov
Anomaly detection RANSAC k-NN Local outlier factor Isolation forest
Artificial neural network Autoencoder Cognitive computing Deep learning DeepDream Feedforward neural network Recurrent neural network LSTM GRU ESN reservoir computing Restricted Boltzmann machine GAN Diffusion model SOM Convolutional neural network U-Net Transformer Vision Mamba Spiking neural network Memtransistor Electrochemical RAM (ECRAM)
Reinforcement learning Q-learning SARSA Temporal difference (TD) Multi-agent Self-play
Learning with humans Active learning Crowdsourcing Human-in-the-loop RLHF
Model diagnostics Coefficient of determination Confusion matrix Learning curve ROC curve
Mathematical foundations Kernel machines Bias–variance tradeoff Computational learning theory Empirical risk minimization Occam learning PAC learning Statistical learning VC theory
Machine-learning venues ECML PKDD NeurIPS ICML ICLR IJCAI ML JMLR
Related articles Glossary of artificial intelligence List of datasets for machine-learning research List of datasets in computer vision and image processing Outline of machine learning
v t e

The sample complexity of a machine learning algorithm represents the number of training-samples that it needs in order to successfully learn a target function.

More precisely, the sample complexity is the number of training-samples that we need to supply to the algorithm, so that the function returned by the algorithm is within an arbitrarily small error of the best possible function, with probability arbitrarily close to 1.

There are two variants of sample complexity:

• The weak variant fixes a particular input-output distribution;
• The strong variant takes the worst-case sample complexity over all input-output distributions.

The No free lunch theorem, discussed below, proves that, in general, the strong sample complexity is infinite, i.e. that there is no algorithm that can learn the globally-optimal target function using a finite number of training samples.

However, if we are only interested in a particular class of target functions (e.g, only linear functions) then the sample complexity is finite, and it depends linearly on the

Definition

Let ${\displaystyle X}$ be a space which we call the input space, and ${\displaystyle Y}$ be a space which we call the output space, and let ${\displaystyle Z}$ denote the product ${\displaystyle X\times Y}$. For example, in the setting of binary classification, ${\displaystyle X}$ is typically a finite-dimensional vector space and ${\displaystyle Y}$ is the set ${\displaystyle \{-1,1\}}$.

Fix a hypothesis space ${\displaystyle {\mathcal {H}}}$ of functions ${\displaystyle h\colon X\to Y}$. A learning algorithm over ${\displaystyle {\mathcal {H}}}$ is a computable map from ${\displaystyle Z^{*}}$ to ${\displaystyle {\mathcal {H}}}$. In other words, it is an algorithm that takes as input a finite sequence of training samples and outputs a function from ${\displaystyle X}$ to ${\displaystyle Y}$. Typical learning algorithms include

Tikhonov regularization

.

Fix a loss function ${\displaystyle {\mathcal {L}}\colon Y\times Y\to \mathbb {R} _{\geq 0}}$, for example, the square loss ${\displaystyle {\mathcal {L}}(y,y')=(y-y')^{2}}$, where ${\displaystyle h(x)=y'}$. For a given distribution ${\displaystyle \rho }$ on ${\displaystyle X\times Y}$, the expected risk of a hypothesis (a function) ${\displaystyle h\in {\mathcal {H}}}$ is

${\displaystyle {\mathcal {E}}(h):=\mathbb {E} _{\rho }[{\mathcal {L}}(h(x),y)]=\int _{X\times Y}{\mathcal {L}}(h(x),y)\,d\rho (x,y)}$

In our setting, we have ${\displaystyle h={\mathcal {A}}(S_{n})}$, where ${\displaystyle {\mathcal {A}}}$ is a learning algorithm and ${\displaystyle S_{n}=((x_{1},y_{1}),\ldots ,(x_{n},y_{n}))\sim \rho ^{n}}$ is a sequence of vectors which are all drawn independently from ${\displaystyle \rho }$. Define the optimal risk

$${\displaystyle {\mathcal {E}}_{\mathcal {H}}^{*}={\underset {h\in {\mathcal {H}}}{\inf }}{\mathcal {E}}(h).}$$

Set ${\displaystyle h_{n}={\mathcal {A}}(S_{n})}$, for each

sample size

${\displaystyle n}$. ${\displaystyle h_{n}}$ is a random variable and depends on the random variable ${\displaystyle S_{n}}$, which is drawn from the distribution ${\displaystyle \rho ^{n}}$. The algorithm ${\displaystyle {\mathcal {A}}}$ is called consistent if ${\displaystyle {\mathcal {E}}(h_{n})}$ probabilistically converges to ${\displaystyle {\mathcal {E}}_{\mathcal {H}}^{*}}$. In other words, for all ${\displaystyle \epsilon ,\delta >0}$, there exists a positive integer ${\displaystyle N}$, such that, for all sample sizes ${\displaystyle n\geq N}$, we have

The sample complexity of ${\displaystyle {\mathcal {A}}}$ is then the minimum ${\displaystyle N}$ for which this holds, as a function of ${\displaystyle \rho ,\epsilon }$, and ${\displaystyle \delta }$. We write the sample complexity as ${\displaystyle N(\rho ,\epsilon ,\delta )}$ to emphasize that this value of ${\displaystyle N}$ depends on ${\displaystyle \rho ,\epsilon }$, and ${\displaystyle \delta }$. If ${\displaystyle {\mathcal {A}}}$ is not consistent, then we set ${\displaystyle N(\rho ,\epsilon ,\delta )=\infty }$. If there exists an algorithm for which ${\displaystyle N(\rho ,\epsilon ,\delta )}$ is finite, then we say that the hypothesis space ${\displaystyle {\mathcal {H}}}$ is learnable.

In others words, the sample complexity ${\displaystyle N(\rho ,\epsilon ,\delta )}$ defines the rate of consistency of the algorithm: given a desired accuracy ${\displaystyle \epsilon }$ and confidence ${\displaystyle \delta }$, one needs to sample ${\displaystyle N(\rho ,\epsilon ,\delta )}$ data points to guarantee that the risk of the output function is within ${\displaystyle \epsilon }$ of the best possible, with probability at least ${\displaystyle 1-\delta }$ .^[2]

In probably approximately correct (PAC) learning, one is concerned with whether the sample complexity is polynomial, that is, whether ${\displaystyle N(\rho ,\epsilon ,\delta )}$ is bounded by a polynomial in ${\displaystyle 1/\epsilon }$ and ${\displaystyle 1/\delta }$. If ${\displaystyle N(\rho ,\epsilon ,\delta )}$ is polynomial for some learning algorithm, then one says that the hypothesis space ${\displaystyle {\mathcal {H}}}$ is PAC-learnable. This is a stronger notion than being learnable.

Unrestricted hypothesis space: infinite sample complexity

One can ask whether there exists a learning algorithm so that the sample complexity is finite in the strong sense, that is, there is a bound on the number of samples needed so that the algorithm can learn any distribution over the input-output space with a specified target error. More formally, one asks whether there exists a learning algorithm ${\displaystyle {\mathcal {A}}}$, such that, for all ${\displaystyle \epsilon ,\delta >0}$, there exists a positive integer ${\displaystyle N}$ such that for all ${\displaystyle n\geq N}$, we have

where ${\displaystyle h_{n}={\mathcal {A}}(S_{n})}$, with ${\displaystyle S_{n}=((x_{1},y_{1}),\ldots ,(x_{n},y_{n}))\sim \rho ^{n}}$ as above. The No Free Lunch Theorem says that without restrictions on the hypothesis space ${\displaystyle {\mathcal {H}}}$, this is not the case, i.e., there always exist "bad" distributions for which the sample complexity is arbitrarily large.^[1]

Thus, in order to make statements about the rate of convergence of the quantity

one must either

• constrain the space of probability distributions ${\displaystyle \rho }$, e.g. via a parametric approach, or
• constrain the space of hypotheses ${\displaystyle {\mathcal {H}}}$, as in distribution-free approaches.

Restricted hypothesis space: finite sample-complexity

The latter approach leads to concepts such as

which control the complexity of the space ${\displaystyle {\mathcal {H}}}$. A smaller hypothesis space introduces more bias into the inference process, meaning that ${\displaystyle {\mathcal {E}}_{\mathcal {H}}^{*}}$ may be greater than the best possible risk in a larger space. However, by restricting the complexity of the hypothesis space it becomes possible for an algorithm to produce more uniformly consistent functions. This trade-off leads to the concept of regularization.^[2]

It is a theorem from VC theory that the following three statements are equivalent for a hypothesis space ${\displaystyle {\mathcal {H}}}$:

1. ${\displaystyle {\mathcal {H}}}$ is PAC-learnable.
2. The VC dimension of ${\displaystyle {\mathcal {H}}}$ is finite.
3. ${\displaystyle {\mathcal {H}}}$ is a uniform
   Glivenko-Cantelli class
   .

This gives a way to prove that certain hypothesis spaces are PAC learnable, and by extension, learnable.

An example of a PAC-learnable hypothesis space

${\displaystyle X=\mathbb {R} ^{d},Y=\{-1,1\}}$, and let ${\displaystyle {\mathcal {H}}}$ be the space of affine functions on ${\displaystyle X}$, that is, functions of the form ${\displaystyle x\mapsto \langle w,x\rangle +b}$ for some ${\displaystyle w\in \mathbb {R} ^{d},b\in \mathbb {R} }$. This is the linear classification with offset learning problem. Now, four coplanar points in a square cannot be shattered by any affine function, since no affine function can be positive on two diagonally opposite vertices and negative on the remaining two. Thus, the VC dimension of ${\displaystyle {\mathcal {H}}}$ is ${\displaystyle d+1}$, so it is finite. It follows by the above characterization of PAC-learnable classes that ${\displaystyle {\mathcal {H}}}$ is PAC-learnable, and by extension, learnable.

Sample-complexity bounds

Suppose ${\displaystyle {\mathcal {H}}}$ is a class of binary functions (functions to ${\displaystyle \{0,1\}}$). Then, ${\displaystyle {\mathcal {H}}}$ is ${\displaystyle (\epsilon ,\delta )}$-PAC-learnable with a sample of size: ^[3]

where ${\displaystyle VC({\mathcal {H}})}$ is the of ${\displaystyle {\mathcal {H}}}$. Moreover, any ${\displaystyle (\epsilon ,\delta )}$-PAC-learning algorithm for ${\displaystyle {\mathcal {H}}}$ must have sample-complexity:^[4] Thus, the sample-complexity is a linear function of the of the hypothesis space.

Suppose ${\displaystyle {\mathcal {H}}}$ is a class of real-valued functions with range in ${\displaystyle [0,T]}$. Then, ${\displaystyle {\mathcal {H}}}$ is ${\displaystyle (\epsilon ,\delta )}$-PAC-learnable with a sample of size: ^[5][6]

where ${\displaystyle PD({\mathcal {H}})}$ is of ${\displaystyle {\mathcal {H}}}$.

Other Settings

In addition to the supervised learning setting, sample complexity is relevant to

Efficiency in robotics

A high sample complexity means that many calculations are needed for running a

See also

• Active learning (machine learning)

References