[논문 리뷰] Quasisymmetric functions for nestohedra

Vladimir Grujić|arXiv (Cornell University)|2014. 09. 04.

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

한 줄 요약

이 논문은 그래프의 새로운 쿼asi대칭 함수 불변량 $ F_{\Gamma} $를 제안한다. 이는 순서된 색칠의 생성함수로 정의되며, 빌드링 세트의 조합적 호프 대수에서의 호프 대수 준동형사상으로 실현된다. 정점 제거를 기반으로 한 재귀 관계를 제공하며, 스탠리의 색칠 대칭 함수가 실패할 때조차도 비이sov모르픽 그래프를 구분할 수 있어, 그래프 분류에 있어 더 강력한 불변량을 제공한다.

ABSTRACT

For a generalized permutohedron $Q$ the enumerator $F(Q)$ of positive lattice points in interiors of maximal cones of the normal fan $Σ_Q$ is a quasisymmetric function. We describe this function for the class of nestohedra as a Hopf algebra morphism from a combinatorial Hopf algebra of building sets. For the class of graph-associahedra the corresponding quasisymmetric function is a new isomorphism invariant of graphs. The obtained invariant is quite natural as it is the generating function of ordered colorings of graphs and satisfies the recurrence relation with respect to deletions of vertices.

연구 동기 및 목표

• 그래프의 새로운 쿼아시대칭 함수 불변량 $ F_{\Gamma} $를 정의하여 스탠리의 색칠 대칭 함수를 일반화한다.
• 빌드링 세트의 조합적 호프 대수에서 $ F_{\Gamma} $가 호프 대수 준동형사상임을 확립한다.
• 정점 제거를 기반으로 한 재귀 관계를 제공하여 효과적인 계산을 가능하게 한다.
• 스탠리의 색칠 대칭 함수 $ X_{\Gamma} $보다 $ F_{\Gamma} $가 엄격히 더 강력한 불변량임을 보이며, 동일한 $ X_{\Gamma} $를 가진 비이sov모르픽 그래프를도 구분할 수 있다.

제안 방법

• 그래프 $ \Gamma $의 순서된 색칠의 생성함수로 $ F_{\Gamma} $를 정의한다. 여기서 색깔은 선형적으로 순서되어 있으며, 단색 성분은 더 작은 색깔로 제약을 받는다.
• 빌드링 세트의 조합적 호프 대수 $ \mathcal{B} $를 구성하고, $ B \mapsto F(P_B) $의 할당이 쿼아시대칭 함수의 호프 대수로의 준동형사상임을 보인다.
• P-분할 이론과 쿼아시대칭 함수에 대한 반대원 작용을 이용하여 $ F(P_B) $의 구조를 분석한다.
• 재귀 관계 $ F_{\Gamma} = \sum_{v \in V} (F_{\Gamma \setminus \{v\}})_1 $를 수립한다. 여기서 $ (\cdot)_1 $는 쿼아시대칭 함수 위의 이동 연산자이다.
• $ F(P_B) $를 빌드링 세트 $ P_B $의 정점들과 관련된 무게 없는 루트 있는 트리의 멀티세트와 연결한다.
• 재귀 관계를 적용하여 주요 그래프-아소시아헤드론: 순열체드론, 아소시아헤드론, 사이클로헤드론, 스텔로헤드론에 대해 $ F(Q) $를 계산한다.

실험 결과

연구 질문

• RQ1 쿼아시대칭 함수 $ F_{\Gamma} $는 스탠리의 $ X_{\Gamma} $에 대한 추측과 유사하게, 특히 트리에 대해 완전한 불변량이 될 수 있는가?
• RQ2 $ F_{\Gamma} $는 비이sov모르픽 그래프를 구분하는 데 있어 스탠리의 색칠 대칭 함수 $ X_{\Gamma} $와 어떻게 비교되는가?
• RQ3 $ F_{\Gamma} $의 대수적 구조는 무엇이며, 빌드링 세트에서의 호프 대수 준동형사상으로 완전히 특징지을 수 있는가?
• RQ4 빌드링 세트의 호프 대수 $ \mathcal{B} $에 대해 일반화된 데른-소무빌레르 관계가 성립하는가?

주요 결과

• 불변량 $ F_{\Gamma} $는 스탠리의 색칠 대칭 함수보다 엄격히 더 강력하다: 동일한 $ X_{\Gamma} $를 가진 비이sov모르픽 다섯 정점 그래프 쌍을도 구분할 수 있다.
• 함수 $ F_{\Gamma} $는 재귀 관계 $ F_{\Gamma} = \sum_{v \in V} (F_{\Gamma \setminus \{v\}})_1 $를 만족하며, 효과적인 계산 방법을 제공한다.
• 순열체드론 $ Pe^{n-1} $에 대해 $ F(Pe^{n-1}) = n(F(Pe^{n-2}))_1 $이며, 정점 수는 $ p_n = n! $이다.
• 아소시아헤드론 $ As^{n-1} $에 대해 $ F(As^{n-1}) = \left( \sum_{k=1}^n F(As^{k-2})F(As^{n-k-1}) \right)_1 $이며, 정점 수는 $ a_n = \frac{1}{n+1} \binom{2n}{n} $이다.
• 사이클로헤드론 $ Cy^{n-1} $에 대해 $ F(Cy^{n-1}) = n(F(As^{n-2}))_1 $이며, 정점 수는 $ c_n = \binom{2n-2}{n-1} $이다.
• 스텔로헤드론 $ St^{n-1} $에 대해 $ F(St^{n-1}) = \left( (n-1)F(St^{n-2}) + M_{(1)}^{n-1} \right)_1 $이며, 정점 수는 $ s_n = (n-1)! \sum_{k=0}^{n-1} \frac{1}{k!} $이다.