[논문 리뷰] Cycles are determined by their domination polynomials

Saieed Akbari, Mohammad Reza Oboudi|ArXiv.org|2009. 08. 23.

Advanced Graph Theory Research참고 문헌 3인용 수 3

한 줄 요약

이 논문은 사이클이 그들의 지배 다항식에 의해 유일하게 결정됨을 증명한다. 즉, 동형이 아닌 다른 그래프가 동일한 지배 다항식을 공유할 수 없다. 재귀 공식, p-진 평가 분석, 특정 점에서의 도함수 평가를 통해 저자들은 지배 다항식이 사이클 $C_n$과 동일한 그래프는 반드시 $C_n$과 동형이어야 한다고 보여주며, 모든 $n \geq 1$에 대해 $C_n$이 ${\cal D}$-유일적임을 입증한다. 이는 지배 다항식 이론에서 열려 있던 문제를 해결한다.

ABSTRACT

Let $G$ be a simple graph of order $n$. A dominating set of $G$ is a set $S$ of vertices of $G$ so that every vertex of $G$ is either in $S$ or adjacent to a vertex in $S$. The domination polynomial of $G$ 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$. In this paper we show that cycles are determined by their domination polynomials.

연구 동기 및 목표

• 사이클이 그들의 지배 다항식에 의해 유일하게 결정되는지 여부라는 열린 문제를 해결하기 위해.
• 모든 양의 정수 $n$에 대해 $C_n$이 ${\cal D}$-유일적임을 입증하기 위해, 즉 동형이 아닌 다른 그래프가 그 지배 다항식을 공유하지 않는다는 의미이다.
• 이 결과를 확장하여 휠 그래프 $W_n = K_1 \vee C_{n-1}$가 또한 ${\cal D}$-유일적임을 보여주기 위해.
• 동일한 지배 다항식을 가진 그래프의 구조를 분석하기 위해 대수적이고 재귀적인 기법을 사용하기 위해.
• 지배 다항식이 $C_n$과 동일한 그래프는 $C_n$ 자체뿐임을 증명하기 위해, 다항식 평가 및 도함수에서 유도된 불변량을 활용하기 위해.

제안 방법

• 사이클의 지배 다항식에 대한 재귀 공식 $D(C_n, x) = x(D(C_{n-1}, x) + D(C_{n-2}, x) + D(C_{n-3}, x))$을 사용하였다.
• $p$-진 평가 ${\rm ord}_3(D(C_n, -3))$를 사용하여 동일한 지배 다항식을 가진 그래프의 구조를 분석하였다.
• 지배 다항식과 그 일阶 및 이阶 도함수를 $x = -1$에서 평가하여 불변량 $\alpha_n = D(C_n, -1)$, $\beta_n = D'(C_n, -1)$, $\theta_n = D''(C_n, -1)$를 도출하였다.
• 귀납법과 모듈로 9 산술을 적용하여 재귀 공식의 계수에 대한 3-진 평가를 분석하였다.
• 지배 다항식이 동일하다는 조건 $D(G,x) = D(H,x)$는 $G$와 $H$가 $k$-정규 그래프이며, 구성 요소가 서로 동형임을 의미함을 활용하였으며, 이를 위해 레마 1과 레마 2를 활용하였다.
• 도함수 평가와 모듈로 제약 조건을 조합하여, $G$가 세 개의 사이클의 분리합인 경우의 가능성을 제거하였으며, 이는 $k=1$이 유일한 해임을 증명한다.

실험 결과

연구 질문

• RQ1 모든 사이클 $C_n$은 그 지배 다항식에 의해 유일하게 결정되는가, 즉 $C_n$은 ${\cal D}$-유일적인가?
• RQ2 $C_n$ 이외의 그래프가 $C_n$과 동일한 지배 다항식을 가질 수 있는가?
• RQ3 지배 다항식에서 유도된 불변량(예: $x = -1$, $x = -3$, 도함수 등에서의 평가)은 $C_n$을 다른 그래프와 구별하는 데 어떤 역할을 하는가?
• RQ4 ${\cal D}$-유일성의 성질이 $W_n = K_1 \vee C_{n-1}$와 같은 관련 그래프로 확장되는가?
• RQ5 $C_n$의 ${\cal D}$-동치류의 구조는 어떻게 되며, 이 안에 $C_n$ 이외의 그래프가 포함될 수 있는가?

주요 결과

• 모든 $n \geq 1$에 대해 사이클 $C_n$은 ${\cal D}$-유일적이다. 즉, 동형이 아닌 다른 그래프가 그 지배 다항식을 공유하지 않는다.
• 지배 다항식을 $x = -1$에서 평가하면, $n \equiv 0 \pmod{4}$이면 $D(C_n, -1) = 3$, 그 외의 경우 $-1$이다.
• 일阶 도함수를 $x = -1$에서 평가하면, $n \equiv 0 \pmod{4}$이면 $D'(C_n, -1) = -n$, $n \equiv 1 \pmod{4}$이면 $n$, 그 외의 경우 $0$이다.
• 이阶 도함수를 $x = -1$에서 평가하면, $n \equiv 0 \pmod{4}$이면 $n(n-4)/2$, $n \equiv 1 \pmod{4}$이면 $-n(n-1)/2$, $n \equiv 2 \pmod{4}$이면 $n(n+2)/4$, 그 외의 경우 $0$이다.
• $3$-진 평가 ${\rm ord}_3(D(C_n, -3))$는 $n \equiv 2 \pmod{3}$이면 $\lceil n/3 \rceil$, $n \equiv 0 \pmod{3}$이면 $\lceil n/3 \rceil + 1$, $n \equiv 1 \pmod{3}$이면 $\lceil n/3 \rceil$ 또는 $\lceil n/3 \rceil + 1$이다.
• 세 사이클의 분리합으로서 $G$를 가정하면 도함수 평가를 통해 모순이 발생함을 보여, $G$는 반드시 단일 사이클이어야 하므로 $k=1$이 유일한 가능성임을 증명한다.