[논문 리뷰] Upper and lower bound theorems for graph-associahedra

Victor Matveevich Buchstaber, Vadim Volodin|arXiv (Cornell University)|2010. 05. 10.

Advanced Combinatorial Mathematics참고 문헌 18인용 수 5

한 줄 요약

이 논문은 원통 위에서 단계적으로 면을 깎는 순환적 구성 방법을 사용하여, 그래프-아소시아헤드론과 그 주요 하위류(아소시아헤드론, 사이클로헤드론, 퍼뮤투헤드론, 스텔로헤드론)의 γ-, g-, h-, f-벡터에 대해 향상 불가능한 상한과 하한을 설정한다. 주요 기여는 모든 그래프-아소시아헤드론의 γ-벡터가 아소시아헤드론과 퍼뮤투헤드론의 γ-벡터 사이에 위치하며, 나무와 해밀토니안 그래프의 경우 더 견고한 경계를 제공하고, 미분방정식과 셸링 방법을 통합하는 귀납적 공식을 도출하는 것이다.

ABSTRACT

From the paper of the first author it follows that upper and lower bounds for $γ$-vector of a simple polytope imply the bounds for its $g$-,$h$- and $f$-vectors. In the paper of the second author it was obtained unimprovable upper and lower bounds for $γ$-vectors of flag nestohedra, particularly Gal's conjecture was proved for this case. In the present paper we obtain unimprovable upper and lower bounds for $γ$-vectors (consequently, for $g$-,$h$- and $f$-vectors) of graph-associahedra and some its important subclasses. We use the constructions that for an $(n-1)$-dimensional graph-associahedron $P_{Γ_n}$ give the $n$-dimensional graph-associahedron $P_{Γ_{n+1}}$ that is obtained from the cylinder $P_{Γ_n} imes I$ by sequential shaving some facets of its bases. We show that the well-known series of polytopes (associahedra, cyclohedra, permutohedra and stellohedra) can be derived by these constructions. As a corollary we obtain inductive formulas for $γ$- and $h$- vectors of the mentioned series. These formulas communicate the method of differential equations developed by the first author with the method of shavings developed by the second author.

연구 동기 및 목표

• 그래프-아소시아헤드론과 그 중요한 하위류에 대해 γ-, g-, h-, f-벡터에 대한 향상 불가능한 상한과 하한을 설정하는 것.
• 순환적 구성 방법을 통해 플래그 네스토헤드론에 대한 갈의 추측(비음수 γ-벡터)을 증명하는 것.
• 부치스타버의 미분방정식 방법과 볼로딘의 면 깎기 방법을 통합하여 γ-벡터와 h-벡터에 대한 귀납적 공식을 생성하는 프레임워크를 제시하는 것.
• 새로운 구성 방법을 사용하여 아소시아헤드론, 사이클로헤드론, 퍼뮤투헤드론, 스텔로헤드론의 γ-벡터와 h-벡터에 대한 명시적 귀납적 공식을 유도하는 것.

제안 방법

• n차원 그래프-아소시아헤드론을 (n−1)차원 그래프-아소시아헤드론으로부터 구성하기 위해, 원통 $P_{\tilde{̻}_n} \times I$를 만들고 그 기저에서 단계적으로 면을 깎는다.
• 깎기 구성 방법을 적용하여 그래프-아소시아헤드론의 γ-벡터와 h-벡터에 대한 귀납적 공식을 도출하며, 특히 경로, 사이클, 완전, 별 그래프에 대해 분석한다.
• 연결된 빌딩 세트에서 $B_1 \subseteq B_2$ 이면 $h_i(P_{B_1}) \leq h_i(P_{B_2})$ 임을 이용하여 h-벡터의 성분별 부등식을 설정한다.
• H-벡터와 γ-벡터의 생성함수에 대한 미분방정식을 유도한다: $\frac{dH_{St}}{dx} = H_{St}(\alpha + t + \alpha t H_{Pe})$ 및 $\frac{d\gamma_{St}}{dx} = \gamma_{St}(1 + \tau x \gamma_{Pe})$.
• 빌딩 세트 이론과 네스티드 세트 이론을 활용하여 그래프-아소시아헤드론이 그래프의 연결 부분그래프에서 유도되며, 그 면 벡터가 극한 사례에 의해 제한됨을 보여준다.
• 플래그 네스토헤드론의 극한 기준으로서 알려진 입방체($I^n$)와 퍼뮤투헤드론($Pe^n$)의 γ-벡터 경계를 활용한다.

실험 결과

연구 질문

• RQ1 어느 그래프-아소시아헤드론의 γ-벡터에 대해 가능한 가장 날카로운 상한과 하한은 무엇인가?
• RQ2 그래프-아소시아헤드론의 γ-, g-, h-, f-벡터는 아소시아헤드론, 사이클로헤드론, 퍼뮤투헤드론, 스텔로헤드론과 같은 기본 다면체의 그것들과 어떻게 비교되는가?
• RQ3 부치스타버의 미분방정식 방법과 볼로딘의 면 깎기 방법을 하나의 프레임워크 안에서 통합하여 그래프-아소시아헤드론을 구성하고 분석할 수 있는가?
• RQ4 갈의 추측(비음수 γ-벡터)은 모든 플래그 네스토헤드론에 대해 성립하는가? 그리고 극한 경계를 통해 이를 증명할 수 있는가?
• RQ5 주요 그래프-아소시아헤드론 시리즈(아소시아헤드론, 사이클로헤드론, 퍼뮤투헤드론, 스텔로헤드론)의 γ-벡터와 h-벡터를 지배하는 귀납적 공식은 무엇인가?

주요 결과

• 임의의 $[n+1]$개 정점을 가진 그래프-아소시아헤드론 $P_{\Gamma_{n+1}}$의 γ-벡터는 $\gamma_i(As^n) \leq \gamma_i(P_{\Gamma_{n+1}}) \leq \gamma_i(Pe^n)$ 를 만족하며, 등호 성립 조건은 향상 불가능하다.
• 해밀토니안 그래프 $\Gamma_{n+1}$의 경우, $\gamma_i(Cy^n) \leq \gamma_i(P_{\Gamma_{n+1}}) \leq \gamma_i(Pe^n)$ 이며, 나무의 경우 $\gamma_i(As^n) \leq \gamma_i(P_{\Gamma_{n+1}}) \leq \gamma_i(St^n)$ 이다. 이는 [PRW]에서 제기된 추측을 확인한다.
• 스텔로헤드론의 귀납적 공식은 $\gamma(St^n) = \gamma(St^{n-1}) + \tau \sum_{i=1}^{n-1} \binom{n-1}{i-1} \gamma(St^{i-1}) \gamma(Pe^{n-i-1})$ 로, 깎기 구성에서 유도된다.
• 스텔로헤드론의 $H$-다항식은 $\frac{dH_{St}}{dx} = H_{St}(\alpha + t + \alpha t H_{Pe})$ 를 만족하며, 이는 미분방정식 방법과 셸링 과정을 연결한다.
• n차원 퍼뮤투헤드론의 γ-벡터는 $\gamma_i(Pe^n) = A(n+1,i)$ 이며, 여기서 $A(n+1,i)$ 는 $n+1$개 원소의 순열 중 내림차순이 $i$개인 순열의 수를 의미한다.
• f-, g-, h-, γ-벡터의 경계는 명시적으로 계산되었으며, $h_i(I^n) = \binom{n}{i}$, $h_i(As^n) = \frac{1}{n+1} \binom{n+1}{i} \binom{n+1}{i+1}$, $h_i(Cy^n) = \binom{n}{i}^2$, $\gamma_i(As^n) = \frac{1}{i+1} \binom{2i}{i} \binom{n}{2i}$ 이다.