[논문 리뷰] Symmetric function generalizations of graph polynomials

Timothy Y. Chow|ArXiv.org|2001. 03. 30.

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

한 줄 요약

이 논문은 방향 그래프에 대한 커버 다항식의 대칭 함수 일반화인 경로-순환 대칭 함수를 도입한다. 이는 스탠리의 색칠 대칭 함수 프레임워크를 확장하며, 창과 그레고리의 추측을 확인하는 조합적 상호성 정리를 수립한다. 즉, 방향 그래프의 커버 다항식이 그 여집합의 커버 다항식을 결정함을 보여주며, 룩 이론과 그래프 다항식의 다양한 결과를 통합한다.

ABSTRACT

In Chapter 2 we study the path-cycle symmetric function of a digraph, a symmetric function generalization of Chung and Graham's cover polynomial. Most of this material appears in either Advances in Math. 118 (1996), 71-98 or J. Algebraic Combin. 10 (1999), 227-240. Chapter 3 contains miscellaneous results about Stanley's symmetric function generalization X_G of the chromatic polynomial, e.g., we establish a connection with some of Tutte's work on the chromatic polynomial and use this to prove that X_G is reconstructible. Most of Chapter 3 does not appear elsewhere.

연구 동기 및 목표

• 방향 그래프의 커버 다항식을 스탠리의 색칠 대칭 함수와 유사한 방식으로 대칭 함수로 일반화한다.
• 룩 다항식 이론과 커버 다항식 이론을 대칭 함수 설정으로 확장한다.
• 창과 그레고리의 추측, 즉 방향 그래프의 커버 다항식이 그 여집합의 커버 다항식을 결정하는지 여부를 해결한다.
• \left\{\binom{x+k}{d}\right\}_{k=0}^{d}를 일반화하는 새로운 대칭 함수 기저를 정의한다.
• 색칠 대칭 함수, 부분순서집합 구조, 그리고 그래프 재구성 문제 간의 관계를 탐색한다.

제안 방법

• 방향 그래프 $D$에 대해 커버 다항식 $C(D)$의 대칭 함수 일반화로 경로-순환 대칭 함수 $\Xi_D$를 정의한다.
• 그래프 $D$ 내의 방향 경로와 순환의 구조를 이용하여, 간선 집합 위의 가중합을 통한 생성함수를 정의한다.
• 수축 격자 $L_G$ 상에서 모비우스 역전을 적용하여 $\Xi_D$를 힘의 합 대칭 함수 $p_\sigma$ 로 표현한다.
• 부분그래프에 대한 부호가 붙은 합과 간선 부분집합의 포스셋에서의 쌍대성을 분석함으로써 상호성 정리를 증명한다.
• 색칠 대칭 함수의 스탠리 프레임워크를 활용하고, $X_G(t)$에 있는 매개변수 $t$를 포함하도록 확장한다.
• 동색 간선과 블록 구조의 조합적 해석을 이용하여, 힘의 합 기저로의 전개를 유도한다.

실험 결과

연구 질문

• RQ1 방향 그래프의 커버 다항식이 그 여집합의 커버 다항식을 결정하는가? (상호성에 의해 확인됨.)
• RQ2 커버 다항식은 스탠리가 색칠 다항식을 일반화한 것과 유사하게 대칭 함수로 일반화될 수 있는가?
• RQ3 \left\{\binom{x+k}{d}\right\}_{k=0}^{d}를 일반화하는 대칭 함수 기저의 구조는 무엇인가?
• RQ4 색칠 대칭 함수 $X_G$ 는 평면성이나 부분순서집합 차원과 같은 그래프 성질을 어느 정도 결정하는가?
• RQ5 $X_G(t)$의 힘의 합 대칭 함수 계수는 그래프 $G$의 부분그래프 구조와 어떻게 관련이 있는가?

주요 결과

• 경로-순환 대칭 함수 $\Xi_D$ 는 커버 다항식 $C(D)$ 를 대칭 함수로 일반화하며, 스탠리의 프레임워크를 방향 그래프로 확장한다.
• 조합적 상호성 정리가 증명되었다: 방향 그래프 $D$의 커버 다항식은 그 여집합의 커버 다항식을 결정하며, 창과 그레고리의 추측을 긍정적으로 해결한다.
• $X_G(t) = \sum_{\kappa} (1+t)^{m(\kappa)} x^\kappa$ 는 $\sum_{S \subset E(G)} t^{|S|} p_{\lambda(S)}$ 와 같음을 보였다. 여기서 $\lambda(S)$ 는 간선 집합 $S$ 를 컴ponent 크기로 분할한 것이다.
• 임의의 숲 $G$ 에 대해, $X_G(t)$ 내의 각 힘의 합 $p_\lambda$ 의 계수는 $t^{|V(G)| - \ell(\lambda)}$ 와 동일한 단항식이 되며, 이는 비순환적 구조에 기인한다.
• 색칠 대칭 함수 $X_G$ 는 그래프가 평면인지 여부를 결정하지 못한다. 반례로, $K_5$-하위분할을 갖는 비평면 그래프와 동일한 $X_G$ 를 갖는 평면 그래프가 존재한다.
• 색칠 대칭 함수 $X_G$ 는 부분순서집합의 차원을 결정하지 못한다. 차원이 2와 3인 부분순서집합의 불가비교 그래프가 동일한 $X_G$ 를 갖는 것으로 보여진다.