Symmetry conjecture for vectors working with the all-ones-complement vector

Let nNn\in\mathbb{N} be odd and not divisible by 77. Let \mathantte=(0,1,,1)F2n\mathantt{e}=(0,1,\dots,1)\in\mathbb{F}_2^n, and let vectors work together when they satisfy the paper's cyclic covering condition. A vector vF2nv\in\mathbb{F}_2^n is symmetric when it has the form (v0,v1,v2,,v2,v1)(v_0,v_1,v_2,\dots,v_2,v_1), equivalently vi=vjv_i=v_j whenever ij(modn)i\equiv-j\pmod n.

Symmetry conjecture. If vv and \mathantte\mathantt{e} work together, then vv is symmetric.

The conjecture is motivated by computer experiments and would imply the paper's main theorem when combined with the stated lemma excluding symmetric vectors from independent working triples. The authors explicitly say that they were unable to prove it.

Sources & referencesView supporting material

Primary source

James Aaronson, Carla Groenland and Tom Johnston, “Cyclically covering subspaces in F_2^n”, arXiv:1903.10613 (2021).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.