tldr, anyone? I'm interested in the field and have been learning about it, but I don't really understand this paper.
It certainly agrees with intuition based on analogy to boolean circuits where, for example, the parity function requires exponential circuit size for shallow circuits but only linear size for deep circuits, but I haven't heard of a proof of this for NN's before.