Binary vectors with cube-length forbidden symmetric difference

Status open high confidence

The problem asks for the exact maximum cardinality of a collection of binary vectors on [n] in which no symmetric difference of two distinct members forms an interval of cube length. The Furstenberg–Sárközy theorem and its polynomial extensions already guarantee the answer is o(2^n), and the corresponding Cayley graph is triangle-free by Fermat's Last Theorem for cubes; however, the precise asymptotics appear entirely open. A wide literature search found no follow-up work resolving or substantially advancing this specific problem.

Reviewer notes. The problem is posed as an illustrative extension of graph-code questions to other combinatorial structures. The o(2^n) upper bound is immediate from known additive combinatorics (Furstenberg–Sárközy and its polynomial extensions to k^3 differences); the triangle-freeness of the Cayley graph follows from Fermat's Last Theorem for cubes. The open question is the precise asymptotic of the maximum cardinality. No post-2023 paper resolving or significantly narrowing this was found.

Auto-reviewed 2026-05-15 with claude-sonnet-4-6 (web search enabled).