[论文解读] Equivalence Classes of Full-Dimensional 0/1-Polytopes with Many Vertices

William Y.C. Chen, Peter L. Guo|arXiv (Cornell University)|Jan 2, 2011

graph theory and CDMA systems参考文献 10被引用 4

一句话总结

本文提出一种计算方法，用于枚举六维超立方体 $Q_6$ 中具有超过12个顶点的全维0/1-多面体等价类，通过超八面体群和循环指标技术实现对称性约化。主要贡献是完整枚举了 $F_6(k)$ 在 $k = 13$ 到 $16$ 的情况，得到精确计数：分别为 290,159,817、1,051,410,747、3,491,461,629 和 10,665,920,350。

ABSTRACT

Let $Q_n$ denote the $n$-dimensional hypercube with the vertex set $V_n=\{0,1}^n$. A 0/1-polytope of $Q_n$ is a convex hull of a subset of $V_n$. This paper is concerned with the enumeration of equivalence classes of full-dimensional 0/1-polytopes under the symmetries of the hypercube. With the aid of a computer program, Aichholzer completed the enumeration of equivalence classes of full-dimensional 0/1-polytopes for $Q_4$, $Q_5$, and those of $Q_6$ up to 12 vertices. In this paper, we present a method to compute the number of equivalence classes of full-dimensional 0/1-polytopes of $Q_n$ with more than $2^{n-3}$ vertices. As an application, we finish the counting of equivalence classes of full-dimensional 0/1-polytopes of $Q_6$ with more than 12 vertices.

研究动机与目标

• 解决关于 $Q_6$ 中全维0/1-多面体等价类计数的开放问题，即顶点数超过12个的情况。
• 开发一种系统性方法，用于计算 $F_n(k)$，即 $Q_n$ 中具有 $k$ 个顶点的全维0/1-多面体等价类的数量，其中 $k > 2^{n-3}$。
• 在Aichholzer先前枚举 $Q_6$ 中最多12个顶点的类别的基础上，通过完成更大 $k$ 值的计数，扩展先前的计算结果。
• 利用超八面体群的作用与Pólya理论，降低等价类枚举的计算复杂度。

提出的方法

• 使用超八面体群 $B_n$ 的循环指标来计算 $A_n(k)$，即具有 $k$ 个顶点的0/1-等价类总数。
• 应用容斥原理，通过分析 $Q_n$ 与其生成超平面的交集，分离出 $H_n(k)$，即非全维类的数量。
• 将 $2^{n-3} < k ≤ 2^{n-2}$ 范围内 $H_n(k)$ 的计算，简化为超平面之间的两两交集，利用维数约束。
• 借助对称性，通过 $w$-变换识别代表性配置，从而减少需评估的不同情况数量。
• 使用生成函数 $C_H(u_1, u_2)$ 计数超平面上交集的顶点着色，通过级数展开提取系数。
• 应用公式 $F_n(k) = A_n(k) - H_n(k)$ 推导出全维等价类的最终计数。

实验结果

研究问题

• RQ1 在 $Q_6$ 中，具有13个顶点的全维0/1-多面体等价类的数量是多少？
• RQ2 在 $Q_6$ 中，具有14个顶点的全维0/1-多面体等价类有多少个？
• RQ3 在 $Q_6$ 中，具有15个顶点的全维0/1-多面体等价类的确切数量是多少？
• RQ4 在 $Q_6$ 中，具有16个顶点的全维0/1-多面体等价类的数量是多少？
• RQ5 能否在12个顶点的阈值之上，完成 $Q_6$ 中全维0/1-多面体等价类的枚举？

主要发现

• 在 $Q_6$ 中，具有13个顶点的全维0/1-多面体等价类数量为 290,159,817。
• 对于14个顶点，等价类数量为 1,051,410,747。
• 15个顶点的等价类数量为 3,491,461,629。
• 对于16个顶点，数量达到 10,665,920,350 个全维0/1-多面体等价类。
• 该方法成功完成了 $Q_6$ 中所有 $k > 12$ 的全维0/1-多面体等价类的枚举，解决了长期存在的开放问题。