[논문 리뷰] On the Expansion of Graphs of 0/1-Polytopes

Volker Kaibel|ArXiv.org|2001. 12. 14.

Advanced Graph Theory Research인용 수 3

한 줄 요약

이 논문은 0/1-다면체 그래프의 변 확장성을 조사하며, 입자-유선 흐름과 유일하게 변-큐브로 생성된 벽을 이용한 하한을 구하는 기법을 제안한다. 이 논문은 여러 핵심 클래스—모든 차원 ≤5인 0/1-다면체, 단순 0/1-다면체, 초단순체, 안정 집합 다면체, 매칭 다면체—가 변 확장성 최소 1을 갖는다는 것을 증명하며, 무작위 수색 알고리즘을 위한 Mihail-Vazirani 추측을 뒷받침한다.

ABSTRACT

The edge expansion of a graph is the minimum quotient of the number of edges in a cut and the size of the smaller one among the two node sets separated by the cut. Bounding the edge expansion from below is important for bounding the ``mixing time'' of a random walk on the graph from above. It has been conjectured by Mihail and Vazirani that the graph of every 0/1-polytope has edge expansion at least one. A proof of this (or even a weaker) conjecture would imply solutions of several long-standing open problems in the theory of randomized approximate counting. We present different techniques for bounding the edge expansion of a 0/1-polytope from below. By means of these tools we show that several classes of 0/1-polytopes indeed have graphs with edge expansion at least one. These classes include all 0/1-polytopes of dimension at most five, all simple 0/1-polytopes, all hypersimplices, all stable set polytopes, and all (perfect) matching polytopes.

연구 동기 및 목표

• 효율적인 무작위 걷기 혼합을 위한 핵심 성질인 0/1-다면체 그래프의 변 확장성 하한을 제공하기 위해.
• Mihail-Vazirani 추측—모든 0/1-다면체 그래프가 변 확장성 최소 1을 갖는다는 것—이 특정 클래스에 대해 성립하는지 조사하기 위해.
• 0/1-다면체의 구조적 성질을 이용해 변 확장성 하한을 증명하는 일반 기법을 개발하기 위해.
• 안정 집합 다면체, 매칭 다면체, 완전 매칭 다면체의 그래프가 변 확장성 최소 1을 갖는다는 것을 입증하기 위해.

제안 방법

• 유일하게 변-큐브로 생성된 벽을 따라 펼쳐진 아핀 변-큐브 내 흐름을 이용해 0/1-다면체 그래프에 네트워크 흐름을 구성한다.
• 모든 이러한 변-큐브에 걸쳐 흐름 분해를 적용하여, 각 변이 최대 n/2개의 흐름에 사용되도록 보장한다. 여기서 n은 정점의 수이다.
• 각 변에 대한 최대 흐름에 대한 한계를 이용해 부등식 (4)를 통해 변 확장성 하한을 유도하며, 흐름 성질과 확장성 간의 연결을 맺는다.
• 모든 정점 쌍에 걸쳐 구조적 커버리지가 보장되도록, 변-큐브로 생성된 벽에서 반대 정점의 개념을 활용한다.
• 안정 집합의 대칭 차집합 연결성 및 매칭 다면체의 선 그래프 이중성과 같은 기존의 조합 구조를 활용해 유효한 변-큐브 스트레칭을 식별한다.
• 정리 4.12를 적용하여, 모든 서로 다른 정점 쌍이 유일하게 변-큐브로 생성된 벽에서 반대 정점인 경우에 변 확장성 ≥1이 성립함을 보인다.

실험 결과

연구 질문

• RQ1 Mihail과 Vazirani가 추측한 바와 같이, 0/1-다면체의 그래프는 변 확장성이 최소 1인가?
• RQ2 안정 집합에서 유래하거나 단순한 성질을 갖는 0/1-다면체의 구조적 성질이 변 확장성을 유한하게 보장할 수 있는가?
• RQ3 조합적 및 기하적 분해를 이용해 0/1-다면체 그래프의 변 확장성 하한을 구하는 일반 기법이 존재하는가?
• RQ4 안정 집합 다면체와 매칭 다면체가 기반을 이루는 그래프 이론적 구조 덕분에 Mihail-Vazirani 추측을 만족하는가?
• RQ5 차원이 5 이하인 0/1-다면체의 변 확장성이 흐름 기반 방법을 통해 최소 1임을 증명할 수 있는가?

주요 결과

• 차원이 5 이하인 모든 0/1-다면체는 변 확장성이 최소 1이다.
• 모든 단순 0/1-다면체는 변 확장성이 최소 1이다.
• 모든 초단순체는 변 확장성이 최소 1이다.
• 모든 그래프의 안정 집합 다면체는 변 확장성이 최소 1이다.
• 모든 그래프의 매칭 다면체 및 완전 매칭 다면체는 변 확장성이 최소 1이다.
• 모든 서로 다른 정점 쌍이 유일하게 변-큐브로 생성된 벽에서 반대 정점인 경우, 0/1-다면체의 변 확장성은 최소 1로 하한이 정해진다.