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!