[論文レビュー] 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

ひとこと要約

本稿では、6次元超立方体 $Q_6$ 内の全次元的0/1多面体の同値類を列挙する計算手法を提示する。同値類の列挙には、超正八面体群と巡回指数技術を用いた対称性の低減を駆使し、13から16個の頂点を持つ同値類を完全に列挙した。主な貢献は、$k = 13$ から $16$ までの $F_6(k)$ の完全な列挙であり、それぞれ正確な数え上げ結果として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.

研究の動機と目的

• 12個の頂点を超える $Q_6$ 内の全次元的0/1多面体同値類を数える未解決問題を解消すること。
• $k > 2^{n-3}$ の場合に、$Q_n$ 内の全次元的0/1多面体の同値類数 $F_n(k)$ を計算する体系的な手法を開発すること。
• Aichholzerが $Q_6$ 内で12個の頂点まで同値類を列挙した先行研究を拡張し、より大きな $k$ についての数え上げを完了すること。
• 超正八面体群の作用とPólya理論を活用して、同値類列挙の計算複雑性を低減すること。

提案手法

• 超正八面体群 $B_n$ の巡回指数を用いて、$k$ 個の頂点を持つ0/1同値類の総数 $A_n(k)$ を計算する。
• 包含除算法を適用し、$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 13個の頂点を持つ $Q_6$ 内の全次元的0/1多面体同値類の数は何か？
• RQ2 14個の頂点を持つ $Q_6$ 内の全次元的0/1多面体同値類はいくつ存在するか？
• RQ3 15個の頂点を持つ $Q_6$ 内の全次元的0/1多面体同値類の正確な数は何か？
• RQ4 16個の頂点を持つ $Q_6$ 内の全次元的0/1多面体同値類の数は何か？
• RQ5 12個の頂点の閾値を超えて、$Q_6$ 内の全次元的0/1多面体同値類の列挙を完了できるか？

主な発見

• 13個の頂点を持つ $Q_6$ 内の全次元的0/1多面体同値類の数は290,159,817である。
• 14個の頂点の場合、同値類の数は1,051,410,747である。
• 15個の頂点の場合の同値類数は3,491,461,629である。
• 16個の頂点の場合、同値類の数は10,665,920,350に達する。
• 本手法により、$k > 12$ のすべての $k$ について、$Q_6$ 内の全次元的0/1多面体同値類の列挙が完了し、長年の未解決問題が解決された。