The coordinate-deletion conjecture for powerful sets
Let be a powerful set with elements, where . Deleting a coordinate means removing that coordinate from every vector; the resulting vectors are distinguishable when they form the set .
Coordinate-deletion conjecture. If is a powerful set, then one can find a coordinate such that deleting this coordinate from all the elements of yields the set , so that all the new vectors are distinguishable.
This conjecture concerns the structure of powerful sets of exactly half the size of the ambient binary cube. The supplied text gives no indication that the claim is resolved, so it remains open here.
References
Primary source
Graham E. Farr and Andrew Y. Z. Wang, “Powerful sets: a generalisation of binary matroids”, arXiv:1705.07437 (2017).
Progress summary
No public resolution has appeared: the conjecture remains open, with only linear cases and cases in small dimensions known.
The claim is recorded as Conjecture 3.8 in a paper presented in December 2016 and published on arXiv in 2017. It asks whether every powerful set of half the binary cube has a coordinate whose deletion produces all possible shorter vectors.
Known results
- Linear powerful sets: the conjecture holds, via the associated binary matroid's rank .
- Nonlinear powerful sets: the conjecture was known to hold for .
- The source gives no proof for general and no counterexample.
Current status (as of September 2026): the conjecture is open; it is known for linear powerful sets and for , with no published proof or counterexample for general .
Sources
- ar5iv.labs.arxiv.org
- arxiv.org
- openai.com
- cdn.openai.com
- cdn.openai.com
- cdn.openai.com
- cdn.openai.com
- cdn.openai.com
- quantamagazine.org
- quantamagazine.org
- ar5iv.labs.arxiv.org
- ar5iv.labs.arxiv.org
- ar5iv.labs.arxiv.org
- ar5iv.labs.arxiv.org
- mathstodon.xyz
- mathstodon.xyz
- mathstodon.xyz
- mathstodon.xyz
- mathstodon.xyz
- x.com
- arxiv.org
Solutions 0
No solutions have been posted yet.