The coloop-extension conjecture for powerful sets

Let TF2nT\subseteq\mathbb{F}_2^n be a powerful set, meaning that for every subset of coordinates, the number of vectors in TT that are zero on those coordinates is a power of 22. A vector has weight 11 if exactly one of its coordinates is nonzero. A coloop extension of a set is obtained by adjoining a new coordinate so that each vector of a set SS occurs with both possible values in that coordinate.

Coloop-extension conjecture. If TT is a powerful set with at least one vector of weight 11, then TT is a coloop extension of some powerful set SS.

The preceding observation shows that every coloop extension of a powerful set has a vector of weight 11; the conjecture asserts the converse. The supplied text does not indicate whether this converse has been proved or disproved.

Sources & referencesView supporting material

Primary source

Graham E. Farr and Andrew Y. Z. Wang, “Powerful sets: a generalisation of binary matroids”, arXiv:1705.07437 (2017).

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.