Ten thousand parameters, spent two ways
numeric▲▲△Input dimension 2, one output, a budget of parameters. Find the widest single hidden layer that fits, and the widest three hidden layers of equal width that fit. Compare the linear regions each can reach, and then state carefully what the comparison does and does not license.
Hint
Write the parameter count as a function of in each case — one is linear in , the other quadratic — and solve. Then apply (I.5.4) and (I.5.5).
Solution
One hidden layer. Parameters gives , so and .
Three hidden layers of width .
so and . The quadratic term is what costs the width: the same money buys units in one layer or units in three.
Regions. By (I.5.4), the shallow network reaches at most
By (I.5.5) with , the deep one reaches at least
A factor of , with a tenth of the units and the same budget. And the comparison is conservative in both directions: an upper bound for the shallow network against a lower bound for the deep one.
What this licenses. For a target that genuinely needs many linear pieces, depth is the cheaper way to buy them, and the gap is large enough that no constant factor closes it.
What it does not license. Four things, and the last is the one that decides practice.
Regions are not accuracy. Neither network is being fitted to anything here. The comparison is of what the architectures can express.
The deep bound is a construction. A trained network of that shape realises far fewer regions, and its regions concentrate near the data.
The shallow bound is attainable but not free. Reaching million regions requires hyperplanes in general position, which random initialisation provides and training may spoil (I.5.X05).
Trainability was not in the comparison at all. A three-layer network of width is easy to train; the same argument at depth 50 would give a far larger region count and a network that does not train without residual connections and normalisation. The budget calculation says where the expressivity is; it does not say where the optimum of the whole design problem is.