[논문 리뷰] Introduction to Domination Polynomial of a Graph

‎Saeid Alikhani, Yee-Hock Peng|ArXiv.org|2009. 05. 14.

Advanced Graph Theory Research참고 문헌 2인용 수 14

한 줄 요약

이 논문은 그래프 $ G $의 각 크기별로 독립 집합의 수를 세는 생성 다항식으로서 도미네이션 다항식 $ D(G,x) $를 도입한다. 계수는 각 기수성의 도미네이션 집합의 수를 나타낸다. 이 논문은 기본 성질을 규명하며, 이는 서로소 합집합에서의 곱셈 성질과 $ G \circ K_1 $의 경우에 대해 닫힌 형태를 제공한다. 특히 $ D(G \circ K_1, x) = x^n(x+2)^n $임을 증명하고, 이 클래스에 대해 단조성의 성질을 보이며, 모든 그래프에 대해 도미네이션 다항식이 단조성을 가진다는 더 넓은 추측을 뒷받침한다.

ABSTRACT

We introduce a domination polynomial of a graph G. The domination polynomial of a graph G of order n is the polynomial D(G, x) =\sum_{i=1}^n d(G, i)x^i, where d(G, i) is the number of dominating sets of G of size i. We obtain some properties of D(G, x) and its coefficients. Also we compute this polynomial for some specific graphs.

연구 동기 및 목표

• 그래프 $ G $의 도미네이션 집합에 대한 생성함수로서 도미네이션 다항식 $ D(G,x) $를 체계화하고 연구하는 것.
• 도미네이션 다항식 $ D(G,x) $의 구조적 성질을 도출하며, 이는 서로소 합집합과 합집합과 같은 그래프 연산에서의 행동을 포함한다.
• 특히 $ G \circ K_1 $, 즉 $ K_1 $과의 코로나에 대해 $ D(G,x) $를 명시적으로 계산하는 것.
• 도미네이션 다항식의 단조성에 대한 연구를 통해 $ G \circ K_1 $에 대해 단조성을 증명하고, 모든 그래프에 대해 단조성을 가지는 더 넓은 추측을 뒷받침하는 것.

제안 방법

• 도미네이션 다항식을 $ D(G,x) = \sum_{i=\gamma(G)}^{n} d(G,i)x^i $로 정의하며, 여기서 $ d(G,i) $는 크기가 $ i $인 도미네이션 집합의 수를 나타낸다.
• 서로소 합집합에서 $ D(G,x) $가 곱셈적임을 증명한다: $ D(G_1 \cup G_2, x) = D(G_1,x) D(G_2,x) $.
• 합집합 $ G_1 \vee G_2 $의 도미네이션 다항식에 대한 닫힌 표현식을 유도하며, $ D(G_1 \vee G_2,x) = ((1+x)^{n_1}-1)((1+x)^{n_2}-1) + D(G_1,x) + D(G_2,x) $임을 보인다.
• 특히 $ G \circ K_1 $에 대해 도미네이션 다항식이 $ D(G \circ K_1, x) = x^n(x+2)^n $임을 증명하며, 정점 쌍에 대한 조합적 수를 통해 도미네이션 집합을 세는 방식을 사용한다.
• 이항계수 부등식과 비율 분석을 활용하여 $ D(G \circ K_1, x) $의 단조성을 증명하며, 계수 수열이 정점에 도달하기 전 증가하고 이후 감소함을 보인다.
• 로그-볼록성과 실근의 부정성 등을 활용하여 $ G \circ K_1 $에 대해 단조성의 대체 증명을 제공한다.

실험 결과

연구 질문

• RQ1 도미네이션 다항식 $ D(G,x) $는 도미네이션 집합의 생성함수로서 어떤 구조적 성질을 가지며, 그 정의적 성질은 무엇인가?
• RQ2 서로소 합집합과 그래프 합집합과 같은 기본적인 그래프 연산에서 $ D(G,x) $는 어떻게 행동하는가?
• RQ3 $ G \circ K_1 $, 즉 $ K_1 $과의 코로나에 대해 도미네이션 다항식 $ D(G \circ K_1, x) $에 대해 닫힌 형태의 표현식을 도출할 수 있는가?
• RQ4 모든 그래프에 대해 도미네이션 다항식이 단조성을 가지는가? 특히 $ G \circ K_1 $와 같은 특정 그래프 가족에 대해 이를 증명할 수 있는가?
• RQ5 계수 $ d(G,i) $와 그래프의 구조 간의 관계는 무엇인가? 특히 단조성과 극값에 대한 관계는 어떻게 되는가?

주요 결과

• 완전 그래프 $ K_n $의 도미네이션 다항식은 $ D(K_n,x) = (1+x)^n - 1 $이며, 이는 공집합이 아닌 모든 부분집합이 도미네이션 집합임을 반영한다.
• 공집합 그래프 $ \overline{K}_n $의 도미네이션 다항식은 $ D(\overline{K}_n,x) = x^n $이며, 이는 오직 전체 정점 집합만이 도미네이션 집합이기 때문이다.
• $ G \circ K_1 $의 도미네이션 다항식은 $ D(G \circ K_1, x) = x^n(x+2)^n $이며, 이는 $ n $개의 정점 쌍에 대한 선택을 통해 도미네이션 집합을 세는 방식으로 유도된다.
• $ m \in [n, 2n] $에 대해 계수 $ d(G \circ K_1, m) $는 $ \binom{n}{m-n} 2^{2n-m} $이며, 이는 단조성을 가지는 분포임을 보여준다.
• $ G_{3n}^* $에 대해 계수는 $ d(G_{3n}^*,3n) = 2^{3n} $에서 시작하여 $ d(G_{3n}^*,4n) $로 증가하고, 이후 $ d(G_{3n}^*,6n) = 1 $로 감소함을 확인하여 단조성을 확인한다.
• $ G_{3n+2}^* $에 대해 정점 계수 $ d(G_{3n+2}^*,4n+2) $와 $ d(G_{3n+2}^*,4n+3) $는 서로 같으며, 이는 유일하지 않은 모드를 나타내며, 다른 가족들은 단일 모드를 가진다.