Another proof of the $U^4({\mathbf{F}}_p^n)$-inverse theorem

We give a new and shorter proof of a quantitative inverse theorem for the Gowers $U^4$-norm in the setting of high-dimensional vector spaces over finite fields.