What problem does this paper solve?
The combination of reinforcement learning with deep function approximation, which was known to be unstable: the "deadly triad" of bootstrapping, off-policy learning and function approximation.
What mathematical objects are introduced?
The deep Q-network trained on the Bellman residual
where is a replay buffer and is a periodically-copied frozen parameter set.
What assumptions are made?
Markovian dynamics (approximated by stacking four frames), a fixed discount , and that the replay buffer's sample distribution is adequate for the expectation. The last is the weakest link: the buffer is off-policy and non-stationary.
What equations matter?
The gradient
is a semi-gradient: it deliberately does not differentiate the target. That is why it is not the gradient of any objective, and why standard SGD convergence theory does not apply. The frozen makes the target stationary within an update window, which is precisely what restores something resembling a supervised regression problem.
What theorem or result is important?
No theorem — and this matters, because tabular Q-learning does have a convergence proof, and it is the function approximation that breaks it. Baird's counterexample shows linear-approximation Q-learning can diverge. The paper's contribution is empirical stabilisation, not a fix to the theory.
What proof techniques are used?
None. Ablations establish that both replay and the target network are individually necessary.
What prior mathematics is required?
Markov decision processes, the Bellman optimality operator and its contraction property in the tabular case, and why that contraction fails under projection onto a function class.
Limitations
The max in the target produces overestimation bias (addressed by Double DQN); sample efficiency is very poor ( frames); no convergence guarantee; performance is uneven across games and fails entirely on those needing long-horizon exploration.
Why it mattered
It made deep reinforcement learning a field. The two tricks — replay and target networks — are still standard, and the paper is the template for "the theory says this diverges; here is an engineering intervention that makes it work", which describes a great deal of modern practice.