or more combinatorially:
For precise algebraic form, consult the (section “Key lemma” or “Key polynomial”) or the final paper: “Density Hales-Jewett and Moser numbers” (2012). polymath 6.1 key
Let $x_1, x_2, \dots, x_n$ be variables in $0,1,2$ (or $\mathbbF_3$). Consider: or more combinatorially: For precise algebraic form, consult
[ \textKey function: f(x) = \text(# of 0's) - \text(# of 1's) \quad \textmod something? ] x_n$ be variables in $0
But the actual breakthrough came from (e.g., $\mathbbF_3^n$). A specific “key polynomial” used in the density increment argument was:
[ P(\mathbfx) = \sum_i=1^n \omega^x_i \quad \text(where $\omega$ is a primitive 3rd root of unity) ]
[ Q(x) = \sum_i<j (x_i - x_j)^2 ]