600 胞形的特殊截面

如果一个多胞形的每个面都是正则多胞形，则称该多胞形为\emph{正则面}多胞形。四维正则面多胞形已由 G. Blind 和 R. Blind 确定\cite{BlBl2,roswitha,roswitha2}。此类多胞形的最后一类是由移除 600 胞形的一组非相邻顶点（独立集）而得到的多胞形组成的。这些独立集在同构意义下被枚举，并确定该类中多胞形的数量为 $314,248,344$。