[논문 리뷰] A bound for the number of vertices of a polytope with applications

Alexander Barvinok|arXiv (Cornell University)|2011. 08. 14.

Limits and Structures in Graph Theory참고 문헌 6인용 수 4

한 줄 요약

이 논문은 n차원 공간 내 특정 다면체의 정점 수에 대한 하한을 설정하며, 미묘한 기하학적 조건 하에 이 수가 $2^{\Omega(n)}$로 지수적으로 증가함을 증명한다. 주요 결과는 중심 대칭 다면체와 정규 그래프에 적용되며, $k \geq 2r+1$일 때, 작은 컷이 없는 $k$-정규 그래프는 $2^{\Omega(|V|)}$개의 $r$-팩터를 가짐을 보이며, 러바슈-플룸러 추측에 대한 새로운 접근법을 제공한다.

ABSTRACT

We prove that the number of vertices of a polytope of a particular kind is exponentially large in the dimension of the polytope. As a corollary, we prove that an n-dimensional centrally symmetric polytope with O(n) facets has 2^{Omega(n)} vertices and that the number of r-factors in a k-regular graph is exponentially large in the number of vertices of the graph provided k >2r and every cut in the graph with at least two vertices on each side has more than k/r edges.

연구 동기 및 목표

• 선형 부등식과 구 안에 포함된 조건을 만족하는 다면체의 정점 수에 대한 일반적인 하한을 설정하는 것.
• 중심 대칭 다면체에 이 하한을 적용하여, $O(n)$개의 면을 가진 $n$차원 다면체는 $2^{\Omega(n)}$개의 정점을 가져야 한다는 것을 보이는 것.
• 작은 컷 조건 하에 $k$-정규 그래프 내 $r$-팩터의 수에 대한 지수적 하한을 유도하는 것.
• 러바슈-플룸러 추측에 대한 더 간단한 증명을 제공할 수 있는 새로운 방법을 제시하는 것.

제안 방법

• 다면체 위에서 랜덤 선형 함수의 최댓값을 기반으로 한 확률적 추론을 통해 정점 수 하한을 이끌어내는 것.
• 정점 수가 적을 경우, 랜덤 선형 함수의 최댓값도 작아지지만, 동시에 랜덤 射선과의 긴 교차로 인해 이 최댓값이 크다는 것을 보이는 것.
• 주요 정리의 조건을 만족하도록 중심 대칭 다면체를 선형 변환으로 변환하는 것.
• $r$-팩터의 지시 벡터의 볼록 hull로 정의된 $r$-팩터 다면체 $P_r(G)$를 정의하고, 그 구조를 활용해 주요 정리를 적용하는 것.
• 작은 컷 조건 하에 중심 벡터 $a(e) = r/k$가 $P_r(G)$의 내부에 간격 $\epsilon > 0$ 만큼 존재함을 증명하는 것.
• 다면체 $P_r(G) - a$를 $\epsilon^{-1}$으로 스케일링하여 주요 정리의 가정을 만족시키고, 정점 수 하한을 적용하는 것.

실험 결과

연구 질문

• RQ1 n차원 공간에서 $O(n)$개의 면을 가진 중심 대칭 다면체는 최소 몇 개의 정점을 가져야 하는가?
• RQ2 $k$-정규 그래프가 정점 수에 대해 지수적으로 많은 $r$-팩터를 가지는 조건은 무엇인가?
• RQ3 모든 비자명한 컷의 크기가 최소 4일 경우, 삼차 그래프의 완전 매칭 수는 $2^{\Omega(|V|)}$로 아래에서 유계일 수 있는가?
• RQ4 지수적 하한을 조합적 대상(예: 정규 그래프의 $r$-팩터)에 적용할 수 있는 기하학적 방법이 존재하는가?
• RQ5 이 방법을 더 정교하게 다듬어 러바슈-플룸러 추측에 대한 대안적 증명을 얻을 수 있는가?

주요 결과

• 선형 부등식 $|\langle x, u_i \rangle| \leq 1$을 만족하고, $m \leq \alpha n$개의 단위 법선 벡터, $\|x\| \leq \beta\sqrt{n}$를 만족하는 $\mathbb{R}^n$ 내 다면체 $P$의 정점 수는 어떤 $\gamma = \gamma(\alpha, \beta) > 0$에 대해 $\exp(\gamma n)$ 이상이다.
• 중심 대칭 다면체로서 $O(n)$개의 면을 가진 $n$차원 다면체는 어떤 $\gamma > 0$에 대해 최소 $2^{\gamma n}$개의 정점을 가져야 하며, 이는 피에지엘-린덴스트라우스-밀만 부등식의 $2^{\Omega(n / \log n)}$ 하한보다 향상된 결과이다.
• $k \geq 2r+1$일 때, 크기가 $\leq k/r$인 비자명한 컷이 없는 모든 $k$-정규 그래프는 어떤 $\gamma = \gamma(k,r) > 0$에 대해 최소 $2^{\gamma |V|}$개의 서로 다른 $r$-팩터를 가진다.
• 특히, 모든 비자명한 컷의 크기가 최소 4인 삼차 그래프는 정점 수에 대해 지수적으로 많은 완전 매칭을 가진다.
• 이 방법은 러바슈-플룸러 추측에 대한 더 단순한 증명을 이끌 수 있는 새로운 기하학적 프레임워크를 제공한다. 이 추측은 삼차 그래프의 완전 매칭 수가 $2^{\Omega(|V|)}$임을 주장한다.
• 주요 정리의 하한 $\gamma$는 $\alpha$, $\beta$, $\epsilon$를 포함하는 두 개의 부등식을 만족하는 매개변수 $\rho$를 통해 정량적으로 추정되며, 이는 $\gamma > 0$임을 보장한다.