 Uniform interval cancellation for binary digit parity

An integer interval is a disjoint union of aligned binary blocks with at most two of each length. On $[a{2}^j,(a+1)2^j)$ the Thue–Morse sequence sign factors as $f(a)f(r)$, so the Thue–Morse Fourier product bounds its exponential sum by $O(2^{\sigma j})$. Sum the geometric series over block lengths to obtain the uniform bound, for $\sigma =2-\frac{3}{4}{\log }_{2}3$.