The coloop-extension conjecture for powerful sets
Let be a powerful set, meaning that for every subset of coordinates, the number of vectors in that are zero on those coordinates is a power of . A vector has weight 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 occurs with both possible values in that coordinate.
Coloop-extension conjecture. If is a powerful set with at least one vector of weight , then is a coloop extension of some powerful set .
The preceding observation shows that every coloop extension of a powerful set has a vector of weight ; the conjecture asserts the converse. The supplied text does not indicate whether this converse has been proved or disproved.
References
Primary source
Graham E. Farr and Andrew Y. Z. Wang, “Powerful sets: a generalisation of binary matroids”, arXiv:1705.07437 (2017).
Progress summary
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.