Rudin-Shapiro 多项式自相关系数的界

我们研究 Rudin-Shapiro 多项式的自相关系数，特别证明了其在区间 $[1, 2^n)$ 上的最大值从下方被 $C_1 2^{\alpha n}$ 界定，从上方被 $C_2 2^{\alpha' n}$ 界定，其中 $\alpha = 0.7302852...$，$\alpha' = 0.7302867...$。