What problem does this paper solve?
Making gradient boosting both more accurate and fast enough for large tabular datasets, which is where it remains the strongest method.
What mathematical objects are introduced?
The regularised objective at round , expanded to second order in the new tree :
with the first and second derivatives of the loss at the current prediction, the number of leaves and the leaf values.
What assumptions are made?
That the second-order expansion is adequate — true for the losses in use (squared, logistic), whose second derivatives are bounded and well behaved.
What equations matter?
Because the objective is a sum of independent per-leaf quadratics, the optimal leaf value and the resulting objective are closed-form:
The split gain is the difference of this quantity before and after a split, which is what the greedy search maximises. The term means a split with insufficient gain is rejected — pruning is built into the objective rather than being a post-hoc step.
What theorem or result is important?
No theorem; the derivation above is the mathematical content. Its relation to first-order gradient boosting is exactly that of Newton's method to gradient descent.
What proof techniques are used?
Per-leaf minimisation of a quadratic; the algebra is elementary and complete.
What prior mathematics is required?
Second-order Taylor expansion; minimisation of a one-dimensional quadratic; the functional-gradient view of boosting.
Limitations
Second-order expansion requires a twice-differentiable loss. Many hyperparameters with substantial interactions. And the method inherits boosting's general lack of a generalisation theory — margin arguments explain the resistance to overfitting only partially.
Why it mattered
It is, with LightGBM and CatBoost, the default method for tabular prediction, and it remains competitive with or superior to deep learning on that data type — a standing reminder that the dominance of neural networks is domain-specific.