[논문 리뷰] The independence polynomial of a graph at -1

Vadim E. Levit, Eugen Mǎndrescu|arXiv (Cornell University)|2009. 04. 30.

Graph theory and applications참고 문헌 20인용 수 10

한 줄 요약

이 논문은 그래프의 독립 다항식이 -1에서 평가될 때 그 절댓값이 $2^{\nu(G)}$ 이하임을 증명한다. 여기서 $\nu(G)$는 그래프의 사이클 수이다. 날카로운 경계를 도출하고, 특히 둘레 $\geq 6$인 잘 커버된 그래프를 포함한 그래프들에 대해 $I(G;-1) = 0$인 경우를 특성화하며, 경계 내의 모든 정수 값이 연결 그래프를 통해 실현 가능하다는 것을 보여준다.

ABSTRACT

If alpha=alpha(G) is the maximum size of an independent set and s_{k} equals the number of stable sets of cardinality k in graph G, then I(G;x)=s_{0}+s_{1}x+...+s_{alpha}x^{alpha} is the independence polynomial of G. In this paper we prove that: 1. I(T;-1) equels either -1 or 0 or 1 for every tree T; 2. I(G;-1)=0 for every connected well-covered graph G of girth > 5, non-isomorphic to C_{7} or K_{2}; 3. the absolute value of I(G;-1) is not greater than 2^nu(G), for every graph G, where nu(G) is its cyclomatic number.

연구 동기 및 목표

• 모든 유한 단순 그래프 $G$에 대해 독립 다항식 $I(G;x)$ 가 $x = -1$ 에서 취하는 절댓값의 최대 가능 값을 결정하는 것.
• $I(G;-1) = 0$ 인 그래프를 특성화하는 것—특히 둘레 $\geq 6$ 인 잘 커버된 그래프에 초점을 맞추는 것.
• 모든 정수 $q$ 에 대해 $|q| \leq 2^{\nu(G)}$ 를 만족할 때, 어떤 연결 그래프 $G$ 에서도 $I(G;-1)$ 가 $q$ 가 되는 것을 보장하는 것. 여기서 $\nu(G)$ 는 사이클 수이다.
• 특정한 $I(G;-1)$ 값을 갖는 그래프를 구성하는 방법을 제공하는 것—예를 들어 Zykov 합과 간선 추가와 같은 그래프 연산을 통해.
• 주어진 사이클 수 $\nu$ 를 갖는 연결 그래프에 대해 범위 $[-2^{\nu}, 2^{\nu}]$ 내의 모든 정수가 $I(G;-1)$ 값으로 실현 가능한지 확인하는 것.

제안 방법

• 정점 제거와 이웃 제거를 이용한 $I(G;x)$ 의 재귀 공식 유도: $I(G;x) = I(G-w;x) + x \cdot I(G-N[w];x)$, 이를 통해 귀납적 구성이 가능하다.
• 사이클 수 $\nu(G) = |E| - |V| + c$ 를 사용하여 $|I(G;-1)|$ 의 경계를 정의하는 핵심 매개변수로 활용한다.
• 항등식 $I(G;-1) = f_0(G) - f_1(G)$ 를 적용하며, 여기서 $f_0(G)$ 와 $f_1(G)$ 는 각각 짝수 크기와 홀수 크기의 안정 집합의 수를 의미한다.
• 극값 $\pm 2^{\nu}$ 와 $\pm(2^{\nu}-1)$ 를 달성하기 위해 특정한 그래프 가족(예: $W_q$, $G_1$, $G_2$) 을 구성한다.
• 소인수 분해와 그래프 복합(예: $L_{p_i-1}$ 그래프의 조인) 을 활용하여, 임의의 양의 정수 $q$ 가 $I(G;-1)$ 가 되는 그래프 $G$ 를 $\nu(G) = \sum \varepsilon_i(p_i-1)$ 를 만족하도록 구성한다.
• 코로나리 3.4와 레마 3.5 를 사용하여, 작은 $\nu$ 에 대해 $[-2^{\nu}, 2^{\nu}]$ 내의 모든 정수 값이 실현 가능함을 보이며, 유일하게 $\nu=4$ 에서 $\pm13$ 만 가능성이 불확실하다.

실험 결과

연구 질문

• RQ1 사이클 수가 $\nu(G)$ 인 그래프 $G$ 에 대해 $|I(G;-1)|$ 의 최대 가능한 값은 무엇인가요?
• RQ2 어떤 그래프 계열에서 $I(G;-1) = 0$ 이 성립하는가—특히 잘 커버된 그래프의 맥락에서?
• RQ3 모든 정수 $q$ 에 대해 $|q| \leq 2^{\nu}$ 를 만족할 때, 어떤 연결 그래프 $G$ 에서도 $I(G;-1) = q$ 가 되는가요?
• RQ4 어떤 그래프 구성 방법이 $I(G;-1)$ 의 값을 정밀하게 제어할 수 있으며, 특히 $\pm 2^{\nu}$ 나 $\pm(2^{\nu}-1)$ 를 달성하는가요?
• RQ5 사이클 수가 $\nu(G) = 4$ 인 연결 그래프 $G$ 가 존재하여 $I(G;-1) = 13$ 이 되는가요?

주요 결과

• $|I(G;-1)| \leq 2^{\nu(G)}$ 는 모든 유한 단순 그래프 $G$ 에 대해 성립하며, 이 경계는 날카로운 것으로 밝혀졌으며, $|I(G;-1)| = 2^{\nu(G)}$ 를 만족하는 그래프가 존재함으로써 이를 입증한다.
• 둘레 $\geq 6$ 이고 $C_7$ 또는 $K_2$ 와 미동형인 연결 잘 커버된 그래프에 대해 $I(G;-1) = 0$ 이 성립하며, $K_2$ 를 제외한 모든 잘 커버된 트리도 이에 포함된다.
• $|I(G;-1)| = 2^{\nu(G)} - 1$ 인 그래프가 존재함으로써, 이 경계가 날카롭고 최대값에 가까운 값들도 실현 가능하다는 것을 보여준다.
• 모든 양의 정수 $q$ 에 대해, 소인수 분해 $q = \prod p_i^{\varepsilon_i}$ 를 고려할 때, $\nu(G) = \sum \varepsilon_i(p_i - 1)$ 를 만족하는 연결 그래프 $G$ 가 존재하여 $I(G;-1) = q$ 가 된다.
• 모든 정수 $q$ 가 $|q| \leq 2^{\nu}$ 를 만족할 때, 어떤 연결 그래프 $G$ 에서도 $I(G;-1) = q$ 가 되는지에 대한 추측은 $\nu \in \{0,1,2,3\}$ 에 대해 검증되었으며, $\nu = 4$ 에 대해서는 부분적으로 검증되었다.
• $\nu = 4$ 의 범위에서 유일하게 해결되지 않은 경우는 $I(G;-1) = 13$ 이 실현 가능한지 여부이며, $[-16,16]$ 내의 나머지 모든 정수 값은 이미 그래프로 실현 가능하나, $13$ 은 아직 구성되지 않았다.