Haase's face-subgroup conjecture for permutation polytopes

About 11 years old · traced to

Let G≤SnG\leq S_n be a subgroup, and let P(G)P(G) be the convex hull of the permutation matrices in GG. For a subgroup H≤GH\leq G, write P(H)⪯P(G)P(H)\preceq P(G) when P(H)P(H) is a face of P(G)P(G). For a partition [n]=⨆Ik[n]=\bigsqcup I_k, define

stab⁡(G;(Ik)k):={σ∈G:σ(Ik)=Ik for all k}.\operatorname{stab}(G;(I_k)_k):=\{\sigma\in G:\sigma(I_k)=I_k\text{ for all }k\}.

Haase's face-subgroup conjecture. If H≤GH\leq G and P(H)⪯P(G)P(H)\preceq P(G) is a face, then there is a partition

[n]=⨆Ik[n]=\bigsqcup I_k

such that

H=stab⁡(G;(Ik)k).H=\operatorname{stab}(G;(I_k)_k).

The conjecture characterizes the subgroups whose permutation polytopes occur as faces of P(G)P(G), extending the fact that stabilizers of partitions always yield faces. Its resolution status is not specified in the supplied source material.

References

Primary source

Christian Haase, “Face-subgroups of permutation polytopes”, arXiv:1503.04002 (2015).

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.