Rivest--Vuillemin's generalized Aanderaa--Rosenberg conjecture

About 12 years old · traced to

Let EE be a finite ground set, let F⊆2E\mathcal{F}\subseteq 2^E be a set system, and let G⊆Symm⁡EG\subseteq \operatorname{Symm}_E be a symmetry group acting transitively on EE. Assume that the empty set belongs to F\mathcal{F} while the full set does not. Rivest--Vuillemin's conjecture. Under these assumptions, F\mathcal{F} is evasive.

This conjecture is a symmetry-based generalization of evasiveness questions for graph properties. The excerpt provides the formulation but no proof or status evidence, so its resolution is left open.

References

Primary source

Anders Björner, Jiří Matoušek and Günter M. Ziegler, “Using Brouwer's fixed point theorem”, arXiv:1409.7890 (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.