Thue–Morse Fourier product
ID: thue-morse-fourier-product
Each binary digit independently contributes either or , proving the product. Two adjacent factors have modulus . Consequently the product is , with . This two-factor estimate suffices for a power saving, though its exponent is not optimal.
New to topics? Read the docs here!