[논문 리뷰] Equivalence Classes of Full-Dimensional 0/1-Polytopes with Many Vertices

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

graph theory and CDMA systems참고 문헌 10인용 수 4

한 줄 요약

이 논문은 초입방체 $Q_6$ 내에서 12개 이상의 정점을 가진 전차원적 0/1-다면체의 동치류를 세는 계산 방법을 제시한다. 이는 초입방체군과 사이클 지수 기법을 활용한 대칭성 감소 기법을 통해 이루어지며, 주요 기여는 $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 $Q_6$ 내 전차원적 0/1-다면체 동치류의 세기 작업을 12개 정점 기준을 넘어서 완료할 수 있을까요?

주요 결과

• 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$인 모든 경우에 대해 $Q_6$ 내 전차원적 0/1-다면체 동치류의 세기를 성공적으로 완료하였으며, 오랫동안 열려 있던 문제를 해결하였다.