Bourgain-Sarnak-Ziegler criterion：Mobius 正交性的有限检验

Bourgain-Sarnak-Ziegler criterion 可以看成 Vinogradov 均值思想的有限版本：若一个有界序列在不同素数倍采样下彼此近似正交，那么它与 Mobius 函数也应当正交。

1. 判别法的形式

设 $a_n$ 是有界序列。若对不同素数 $p\ne q$，有

$$\sum_{n\le N}a_{pn}\overline{a_{qn}}=o(N)$$

并且这个估计对一批素数足够一致，那么可以推出

$$\sum_{n\le N}\mu(n)a_n=o(N).$$

2. 为什么素数倍相关重要

Mobius 函数的困难在于它携带素因子结构。BSZ criterion 的想法是：不直接分析 $\mu(n)$，而是检查序列 $a_n$ 对不同素数尺度是否产生相关。如果所有这些相关都小，Mobius 就没有可利用的结构与之耦合。

3. 与 Sarnak 猜想

在动力系统中，常取 $a_n=f(T^n x)$。于是 Mobius disjointness 变成

$$\frac1N\sum_{n\le N}\mu(n)f(T^n x)\to0.$$

BSZ 把这个问题转化为比较 $T^p$ 和 $T^q$ 产生的两个轨道序列。

4. 有限版本的意义

称它为 Vinogradov 均值定理的有限版本，是因为它同样通过“多重相关消失”来控制原始振荡和。它特别适合低复杂度系统，例如 nilsequence、skew product 或 substitution dynamics。