How machines learn
Underfitting: When the Model Cannot Learn Enough
Diagnose underfitting by separating representational limits from data, objective, and optimization problems.
By the end you can
- Define underfitting as inadequate performance even on training data or obvious structure
- Distinguish capacity limits from optimization, feature, label, and target problems
- Use training diagnostics and controlled changes to identify the bottleneck
- Choose remedies that match the diagnosed cause rather than adding complexity blindly
Example
42,840 Walmart series, and 415 teams out of 5,507
A forecast that predicts nearly the same demand every day is the textbook picture of a model that never learned the structure in front of it. Training and validation errors are both high. The residuals underpredict the same weekdays again and again. The question is how often that happens to competent people. It has been counted.
The M5 Accuracy competition ran on 42,840 hierarchical daily Walmart sales series. It drew 7,092 participants on 5,507 teams from 101 countries. Only 2,666 teams, 48.4%, beat a Naive forecast. Only 1,972, 35.8%, beat seasonal Naive. Just 415, 7.5%, beat ES_bu, the best of the simple benchmarks. The full results were published in the International Journal of Forecasting in 2022. Stephan Kolassa reduced them to one line: “only 7.5% of teams manage to beat an extremely simple benchmark!”
The structure was there to be found. The winning submission improved on that same benchmark by 22.4%. Most of the field had modern methods and the same data. It produced fits that a seasonal rule of thumb could match or better.
- Daily retail series carry stable weekly and calendar structure; a forecast whose residuals repeat by weekday has not represented it.
- On Walmart's own series only 1,972 of 5,507 teams beat a seasonal Naive forecast, so the seasonal rule of thumb is a real opponent, not a formality.
- Only 415 teams cleared ES_bu, the best simple benchmark, which makes "did it beat the baseline?" the first diagnostic and not the last.
- The winner's 22.4% improvement over that benchmark proves the headroom existed and that the other entries left it on the table.
- Training error should fall if capacity and representation were the bottleneck; if it does not, the bottleneck is somewhere else in the system.
Underfitting is a failure to capture learnable structure
A model underfits when its fitted behavior remains too simple, or otherwise inadequate, for the training task. High training error is a common sign. It is most convincing when a reasonable baseline, or plain human inspection, reveals structure the model misses.
Poor training performance does not prove that the model family is too small. That is not a caution. It is a measured fact. Standard image-classification convnets trained by SGD drive training error to zero on CIFAR-10 with the labels replaced by random noise. Zhang and colleagues showed that in 2017, and their abstract says it in one line: “state-of-the-art convolutional networks for image classification trained with stochastic gradient methods easily fit a random labeling of the training data”. Arpit and colleagues confirmed the same memorisation capacity independently the same year: “deep networks are capable of memorizing noise data”. A model family that can memorise pure noise and still cannot fit your real training set has a data, objective or optimisation problem. It does not have a capacity problem.
The opposite reading fails just as often. High error can be the task's own ceiling. The COMPAS recidivism tool uses 137 features. On 1,000 Broward County defendants it scored 65.2% accuracy. A crowd of non-expert humans scored 67.0%. Julia Dressel and Hany Farid reported that in Science Advances in 2018, and added: “We further show that a simple linear predictor provided with only two features is nearly equivalent to COMPAS with its 137 features.” A separate group reproduced the result independently on the same Broward County data — 7,214 records, 6,907 complete — using certifiably optimal short rule lists. When two features do the work of 137, the error that remains is not waiting for a bigger model.
A network that memorises random labels and still cannot fit your data does not have a capacity problem.
Case
The Fragile Families Challenge: 160 teams meet a ceiling
The ceiling has been measured at scale, and it is lower than most teams expect. In the Fragile Families Challenge, “160 teams built predictive models for six life outcomes”: child GPA, child grit, household eviction, household material hardship, primary-caregiver layoff and primary-caregiver job training. The predictors were “a version of the wave 1 to 5 (birth to age 9 y) data”. “The background data included 4,242 families and 12,942 variables about each family”. The six outcomes come from wave 6, at age 15.
The result appeared in PNAS in 2020, from Salganik and colleagues: “the best predictions were not very accurate and were only slightly better than those from a simple benchmark model”. Hundreds of researchers, using modern methods on 12,942 variables per family, did not find structure that was not there. High error was the finding of that study, not a fault in it.
Visual
Where inadequate fit can originate
The diagnosis should move through the full learning system, tier by tier, from the outside in.
The problem ceiling comes first. The target may be ambiguous, or simply unavailable from the inputs. Zillow Group announced on 2 November 2021 that it would wind down Zillow Offers. It took an approximately $304 million Q3 inventory write-down, forecast a further $240–265 million of Q4 losses, and cut about 25% of its workforce. The stated ground was that home prices were less predictable than its pricing models assumed. A company with the data, the capital and the engineers concluded that the tier it had hit was this one.
Data and labels come second, and they carry a measured floor. The field's own benchmarks have been audited for it. Northcutt and colleagues published the count in 2021: “Errors in test sets are numerous and widespread: we estimate an average of at least 3.3% errors across the 10 datasets, where for example label errors comprise at least 6% of the ImageNet validation set.” An independent re-annotation of that same ImageNet validation set in 2020 found the original labels no longer the best predictor of careful human annotation. On the benchmark the field trusts most, roughly one validation label in sixteen is wrong. That share of the residual error is unreachable by any model.
Representation comes third: useful structure may be absent or encoded poorly. Model capacity comes fourth: the family may be unable to express the required relationship. Optimization comes last: the procedure may fail to find a good solution that already exists inside the available family. Only the fourth tier is fixed by a bigger model. It is the tier practitioners reach for first.
Problem ceiling
The target is ambiguous or unavailable from the inputs.
Data and labels
Examples are corrupted, noisy, incomplete, or inconsistently defined.
Representation
Useful structure is absent or encoded poorly.
Model capacity
The model family cannot express the required relationship.
Optimization
The procedure fails to find a good solution inside the available family.
Comparison
Evidence that points toward capacity rather than optimization
Training and validation behavior provide clues, not automatic verdicts. Three patterns are worth separating. Underfitting typically leaves training and validation both weak and relatively close, with systematic residual patterns, little gain from extra training, and simple examples mispredicted. Overfitting shows strong training against substantially worse validation, a gap that grows with training or complexity, and rare training details dominating the fit. An optimization failure shows weak or unstable training performance despite plausible capacity: loss that will not fall even on a tiny sample, curves that oscillate or stay flat, gradients or scales that look abnormal.
The third pattern is the one that gets misread as the first, and there is a clean measurement of it. A 56-layer plain network on CIFAR-10 reaches higher training error than a 20-layer one. On ImageNet the 34-layer plain net records 28.54% top-1 error against 27.94% for the 18-layer plain net, and it carries higher training error throughout training. The ResNet paper reported those numbers in 2016. Its caption to Figure 1 states the point flatly: “The deeper network has higher training error, and thus test error.”
That cannot be a capacity limit. The shallower net's solution space is a subspace of the deeper one's. The deeper model could in principle copy the shallower model's answer and stop. It failed to reach it. A separate group later gave an account of why deep plain feedforward nets are hard to optimise, in a 2017 paper on shattered gradients. Adding layers to that network raised training error. Adding still more would not have lowered it.
Likely underfitting
Training and validation are both weak and relatively close.
- Systematic residual patterns remain
- Extra training does little
- Simple examples are mispredicted
- Capacity or representation may be inadequate
Likely overfitting
Training is strong while validation is substantially worse.
- Model fits observed examples closely
- Gap grows with training or complexity
- Rare training details dominate
- Generalization control is needed
Likely optimization issue
Training performance is weak or unstable despite plausible capacity.
- Loss fails on a tiny sample
- Curves oscillate or remain flat
- Gradients or scales look abnormal
- Learning-rate or implementation checks are needed
Key idea
More data does not fix every form of underfitting
If the model lacks a feature that encodes weekday, collecting ten more years of records with the same incomplete representation will not reveal weekday directly. If the target is inconsistent, more noisy labels may reinforce the ambiguity.
Additional data helps when estimation uncertainty or coverage is the bottleneck. It is not a universal substitute for task, feature, model, or optimization repair.
The price of data has been measured, twice, by different groups. One study trained vision models on JFT-300M, where “the dataset has 300M images and 375M labels” and “approximately 20% of the labels in this dataset are noisy”. Its 2017 finding: “First, we find that the performance on vision tasks increases logarithmically based on volume of training data size.” Ten times the data buys a fixed and unexciting increment, and the curve can be extrapolated before anything is spent. Hestness and colleagues reached the same shape independently later that year, finding power-law generalisation-error curves whose exponent model improvements do not change. Better architectures shifted the curve. They did not bend it.
Both measurements describe the case where more rows are the right lever. They buy nothing at all when what is missing is a column.
Ask what information or constraint the extra data changes.
Analogy
An analogy: climbing in the wrong gear
A cyclist climbs a hill in a gear that is too hard to turn, and more effort may not create useful progress until the gear or technique changes.
An underfitting learning system can be limited by its configuration or representation in the same way. Poor fit is not always a matter of leverage. It can reflect impossible prediction, corrupted evidence, or a plain bug. The 56-layer plain network that trained worse than the 20-layer one is the case where more machine was exactly the wrong answer.
Steps
A diagnosis-first sequence
Move from basic correctness toward added flexibility, one controlled change at a time.
First, verify the target: inspect examples and confirm the inputs contain plausible evidence at all. Second, beat the baseline. Check whether the model learns more than a constant or a simple seasonal rule. In the M5 Accuracy competition only 415 of 5,507 teams cleared ES_bu, so this step eliminates a great deal. Third, fit a tiny sample. The upper bound this test relies on is the memorisation result: convnets trained by SGD reach zero training error on CIFAR-10 with random labels, and Arpit and colleagues confirmed that “deep networks are capable of memorizing noise data”. If your flexible model cannot drive loss down on a handful of real examples, the learning loop, data pipeline or objective is broken. Memorising a handful of examples is the one thing such a model is known to be able to do.
Fourth, inspect residual patterns for missed calendar, group, nonlinear or interaction structure. Fifth, add one capability — a feature, an interaction, depth, or a different model family — and remeasure. Sixth, confirm held-out value: lower training error must also improve the validation behavior the project cares about.
1. Verify the target
Inspect examples and confirm that inputs contain plausible evidence.
2. Beat the baseline
Check whether the model learns more than a constant or simple rule.
3. Fit a tiny sample
Test whether the implementation can reduce loss substantially.
4. Inspect residual patterns
Look for missed calendar, group, nonlinear, or interaction structure.
5. Add one capability
Change a feature, interaction, depth, or model family and remeasure.
6. Confirm held-out value
Ensure lower training error also improves relevant validation behavior.
Example
Match the intervention to the bottleneck
Different diagnoses call for different changes, and the last one on the list is a decision rather than an engineering step. Zillow Group took it in public. On 2 November 2021 it announced it would wind down Zillow Offers: an approximately $304 million Q3 inventory write-down, $240–265 million of forecast Q4 losses, about 25% of its workforce cut. Rich Barton, the company's co-founder and CEO, gave the reason in the results press release: “We've determined the unpredictability in forecasting home prices far exceeds what we anticipated and continuing to scale Zillow Offers would result in too much earnings and balance-sheet volatility.” The remedy for a problem ceiling is to change the decision the model supports, not the model.
- Missing signal: collect or construct inputs that are actually available before prediction time.
- Poor encoding: normalize, tokenize, aggregate, or represent categories more appropriately.
- Limited capacity: add interactions, depth, components, or a more expressive family — but check first that capacity binds, since COMPAS scored 65.2% on 1,000 Broward County defendants with 137 features and a two-feature linear model was nearly equivalent.
- Optimization failure: adjust learning rate, initialization, batch construction, or numerical handling — the 34-layer plain net at 28.54% against the 18-layer net's 27.94% is what an unfixed one looks like.
- Label ambiguity: revise definitions, add uncertainty, adjudicate, or narrow the target; ten of the most-cited test sets carry at least 3.3% label errors on average, and the ImageNet validation set at least 6%.
- Low predictability: change the decision, add fallback, or stop pursuing the task, as Zillow did at a cost of roughly $304 million in write-downs and about 25% of its staff.
Better training fit is necessary, not sufficient
Reducing severe underfitting is progress. The model has begun to capture observed structure. The improvement only becomes useful when it transfers to held-out cases and supports the decision the project was framed around.
A richer model can move a project from underfitting into overfitting, and the memorisation results say how far that can go. The same networks that fit CIFAR-10 with random labels to zero training error will happily drive your training loss down without learning anything transferable. Pair capacity changes with validation curves, slice checks, and error inspection. And when the residual error looks like the Fragile Families ceiling, or Zillow's, ask whether the task is predictable at all.
Key takeaways
- Underfitting means the fitted system fails to capture learnable structure. In the M5 Accuracy competition only 415 of 5,507 teams beat ES_bu, the best simple benchmark, so failing to clear a baseline is a common outcome rather than a rare one.
- High training error may reflect target limits, data quality, representation, capacity, optimization, or implementation, and only one of those six is repaired by a larger model.
- A tiny-sample fit tests whether the learning loop can learn at all: convnets that reach zero training error on CIFAR-10 with random labels have no excuse for failing on a handful of real examples.
- Weak training fit can be an optimizer failure inside an ample model family. The ResNet paper measured a 34-layer plain net at 28.54% top-1 error against 27.94% for the 18-layer one, with higher training error throughout.
- More data helps only when coverage or estimation uncertainty is the bottleneck: on JFT-300M performance rises logarithmically with training-set volume, and no volume of rows supplies a missing column.
- Part of the residual error is unreachable — at least 3.3% label errors across ten of the most-cited test sets, at least 6% of ImageNet validation — so capacity increases must be confirmed on held-out examples and abandoned when the ceiling, not the model, is binding.