Haase's face-subgroup conjecture for permutation polytopes

Let GSnG\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 HGH\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 HGH\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.

Sources & referencesView supporting material

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.