Second-difference obstruction to a Freiman homomorphism (source code)

= Second-difference obstruction to a Freiman homomorphism

Let $X$ be the image of all additive second differences
$$
\phi(x)-\phi(x+a)-\phi(x+b)+\phi(x+a+b).
$$
If a subspace $V$ satisfies $V\cap X=\{0\}$, then the restriction of $\phi$ to the inverse image of every coset of $V$ is a Freiman homomorphism.