What problem does this paper solve?
Overfitting in overparameterised networks, at a time when explicit regularisers (, early stopping) were insufficient and ensembling was too expensive.
What mathematical objects are introduced?
A random mask applied elementwise:
At test time the mask is dropped and no rescaling is needed.
What assumptions are made?
That the ensemble average is well approximated by the single "mean network" obtained by using all units with scaled weights. This is exact for a linear model and only approximate once nonlinearities are present.
What equations matter?
The exact case is instructive. For a linear model with dropout on the inputs, the expected squared loss is
so dropout on a linear model is exactly a data-dependent ridge penalty with per-feature weights . This identity is the only rigorous characterisation of dropout available, and it does not extend to deep networks.
What theorem or result is important?
No theorem for the deep case. Empirically, consistent gains across vision, speech and text benchmarks, with on fully-connected layers becoming the default.
What proof techniques are used?
The linear-model expectation computation above; otherwise experiment.
What prior mathematics is required?
Expectation of a quadratic form under a Bernoulli mask; the bias–variance framing.
Limitations
The ensemble interpretation is heuristic for nonlinear networks. Dropout interacts badly with batch normalisation (the variance shift between train and test compounds), and it is largely absent from modern large transformers, where data scale makes explicit regularisation less necessary.
Why it mattered
It was the default regulariser of the 2012–2018 period and remains standard in smaller models. The linear-model identity is also a useful reminder that a "stochastic trick" can often be resolved into an explicit penalty, which is the right first question to ask of any such method.