[논문 리뷰] On the largest real root of independence polynomials of graphs, an ordering on graphs, and starlike trees

Mohammad Reza Oboudi|arXiv (Cornell University)|2013. 03. 13.

Advanced Combinatorial Mathematics참고 문헌 9인용 수 3

한 줄 요약

이 논문은 독립 다항식의 지배성에 기반한 그래프의 새로운 순서를 제안한다. 이는 간격 [ξ(G), 0]에서의 독립 다항식 지배성에 기반하며, ξ(G)는 독립 다항식의 가장 큰 실근이다. 모든 순서 n인 트리에 대해, 별형 트리 Sₙ은 이 순서에서 최대이고, 경로 Pₙ는 최소임을 증명한다. 또한, 차수 순서 지배성에 의해 별형 트리의 순서를 완전히 특성화한다.

ABSTRACT

Let $G$ be a simple graph of order $n$. An independent set in a graph is a set of pairwise non-adjacent vertices. The independence polynomial of $G$ is the polynomial $I(G,x)=\sum_{k=0}^{n} s(G,k) x^{k}$, where $s(G,k)$ is the number of independent sets of $G$ of size $k$ and $s(G,0)=1$. Clearly all real roots of $I(G,x)$ are negative. Let $ξ(G)$ be the largest real root of $I(G,x)$. Let $H$ be a simple graph. By $G \succeq H$ we mean that $I(H,x)\geq I(G,x)$ for every $x$ in the interval $[ξ(G),0]$. We note that $G\succeq H$ implies that $ξ(G)\geq ξ(H)$. Also we let $G\succ H$ if and only if $G\succeq H$ and $I(G,x) eq I(H,x)$. We prove that for every tree $T$ of order $n$, $S_n\succeq T\succeq P_n$, where $S_n$ and $P_n$ are the star and the path of order n, respectively. By $T=T(n_1,\ldots,n_k)$ we mean a tree $T$ which has a vertex $v$ of degree $k$ such that $T\setminus v=P_{n_1-1}+\cdots+P_{n_k-1}$, that is $T\setminus v$ is the disjoint union of the paths $P_{n_1-1},\ldots,P_{n_k-1}$. Let $X=(x_1,\ldots,x_k)$ and $Y=(y_1,\ldots,y_k)$, where $x_1\geq \cdots\geq x_k$ and $y_1\geq\cdots\geq y_k$ are real. By $X\succ Y$, we mean $x_1=y_1,\ldots,x_{t-1}=y_{t-1}$ and $x_t>y_t$ for some $t\in\{1,\ldots,k\}$. We let $X\succ_{d}Y$, if $X eq Y$ and for every $j$, $1\leq j\leq k$, $\sum_{i=1}^{j}x_i\geq \sum_{i=1}^{j}y_i$. Among all trees with fixed number of vertices, we show that if $(m_1,\ldots,m_k)\succ_{d}(n_1,\ldots,n_k)$, then $T(n_1,\ldots,n_k)\succ T(m_1,\ldots,m_k)$. We conjecture that $T(n_1,\ldots,n_k)\succ T(m_1,\ldots,m_k)$ if and only if $(m_1,\ldots,m_k)\succ (n_1,\ldots,n_k)$, where $\sum_{i=1}^kn_i=\sum_{i=1}^km_i$.

연구 동기 및 목표

• 독립 다항식이 간격 [ξ(G), 0]에서 지배하는 데 기반한 그래프의 새로운 부분순서를 정의하고 분석하는 것.
• 주어진 순서를 가진 모든 트리 중에서 극단적인 트리(최대 및 최소)를 특성화하는 것.
• 차수 순서 지배성과 새로운 그래프 순서 간의 관계를 별형 트리에 대해 조사하는 것.
• 독립 다항식이 별형 트리를 유일하게 결정하는지, 그리고 차수 순서 지배성이 새로운 그래프 순서를 유도하는지 여부를 규명하는 것.

제안 방법

• 독립 다항식 I(G,x)의 가장 큰 실근을 ξ(G)로 정의하며, 이는 항상 음수이다.
• 모든 x ∈ [ξ(G), 0]에 대해 I(H,x) ≥ I(G,x)이면 G ⪰ H로 정의하고, G ⪰ H 이면서 I(G,x) ≠ I(H,x)이면 G ≻ H로 정의한다.
• 구조적 분해: 별형 트리 T(n₁,…,nₖ)에서 중심 정점을 제거하여 분리된 경로 P_{nᵢ−1}을 얻고, 이를 바탕으로 하위그래프를 분석한다.
• 유사한 구조를 가진 트리의 독립 다항식을 비교하기 위해 귀납법과 간선/정점 제거 기법을 적용한다.
• 차수 순서 지배성 ≻_d를 정의: (m₁,…,mₖ) ≻_d (n₁,…,nₖ)이란, 정렬된 수열의 부분합이 모든 j에 대해 ∑_{i=1}^j mᵢ ≥ ∑_{i=1}^j nᵢ를 만족하며, 어느 j에선가 엄밀한 부등식이 성립함을 의미한다.
• 그래프 연산(예: 간선 제거)에 따른 독립 다항식의 행동에 관한 기존 결과를 활용하여 다항식 값의 비교를 수행하고, 순서를 유도한다.

실험 결과

연구 질문

• RQ1 별형 트리에 대해 차수 순서 지배성 (≻_d)이 그래프 순서 ≻를 유도하는가?
• RQ2 별형 트리의 독립 다항식은 그 차수 순서에 의해 유일하게 결정되는가?
• RQ3 순서 n인 모든 트리 중에서 별형 트리 Sₙ과 경로 Pₙ는 각각 ≻ 순서에서 최대 및 최소 원소인가?
• RQ4 일반적인 트리에 대해 그래프 순서 ≻가 차수 순서 지배성을 유도하는가?
• RQ5 두 트리의 독립 다항식이 동일하면, 반드시 동일한 차수 순서를 가져야 하는가?

주요 결과

• 모든 순서 n인 트리 T에 대해 Sₙ ≻ T ≻ Pₙ가 성립하며, 이는 ≻ 순서에서 별형 트리가 최대이고 경로가 최소임을 의미한다.
• 만약 (m₁,…,mₖ) ≻_d (n₁,…,nₖ)이면, 동일한 정점 수를 가진 별형 트리에 대해 T(n₁,…,nₖ) ≻ T(m₁,…,mₖ)가 성립한다.
• 별형 트리의 독립 다항식은 그 차수 순서를 유일하게 결정한다: I(T₁,x) = I(T₂,x) 이면 D_{T₁} = D_{T₂}이다.
• T(n₁,…,nₖ) ≻ T(m₁,…,mₖ)이면 (m₁,…,mₖ) ≻ (n₁,…,nₖ)이 성립한다는 추측을 제기한다. 이는 지배성 결과를 일반화한 것이다.
• 가장 큰 실근 ξ(G)는 ≻ 순서에서 비감소한다: G ≻ H 이면 ξ(G) ≥ ξ(H)이다.
• 별형 트리에 대해서는 순서 ≻가 차수 순서 지배성 ≻_d에 의해 완전히 특성화되며, 다항식이 동일할 경우 차수 순서도 동일하다.