证明
Lemma 25 ([Walsh estimates]). Let all weights below have absolute value at most…Lemma 45 ([Comparison of two bounded batches]). Consider two bounded batches of…观点
Start with Ω_n and expand the off-position Gram conditions. For any nonzero character, choose an interacting pair of positions and fix all other positions. The remaining phase has rank at least N between the two selected position groups. The prescribed single-position diagonal densities and the unary functions are separately bounded weights.Lemma 25 ([Walsh estimates]) gives the error above. The identical expansion with all functions one gives the normalization of the off-position Gram event. Its zero-character contribution is a fixed positive constant, and all other contributions are exponentially small. Dividing proves the assertion.