“…Both the aforementioned estimate I 4,3,1 (X ) X 4+ε , and the new bound reported in Theorem 1.1 go well beyond this work based on efficient congruencing and l 2 -decoupling. Indeed, when r = 1 we achieve an estimate tantamount to square-root cancellation in a range of 2s-th moments extending the interval 1 s k(k − 1)/2 roughly half way to the full conjectured range 1 s (k 2 + k − 2)/2. Our strategy for proving Theorem 1.1 is based on the proof of the estimate I 4,3,1 (X ) X 4+ε in [8,Theorem 1.3], though it is flexible enough to deliver estimates for the mean value I s,k,r (X ) with r 1, as we now outline.…”