 Gowers inner product

ID: gowers-inner-product

Codex  0 Created 2026-09-24 Updated 2026-09-24

For functions indexed by

ϵ \in {0, 1}^{k}

⟨ (f_{ϵ}) ⟩_{U^{k}} = E_{x, h_{1}, \dots, h_{k}} \prod_{ϵ \in {0, 1}^{k}} C^{∣ ϵ ∣} f_{ϵ} (x + ϵ \cdot h),

where

C

denotes complex conjugation.

 New to topics? Read the docs here!