독립다항식의 ‑1값과 대칭성: 별, 잎, 코코르달 그래프의 완전 탐구

본 논문은 유한 단순 그래프 G에 대해 독립다항식 P_G(x)=∑_{i=0}^{α(G)} g_i(G)x^i를 연구한다. 서론에서는 독립다항식이 하드‑코어 모델의 파티션 함수이며, 그 영점이 Lovász 지역 보조정리와 확률 조합론에서 중요한 역할을 함을 언급한다. 또한 P_G(‑1)는 독립복합체 Ind(G)의 축소 오일러 특성 χ̃와 동치이며, edge ideal I(G)의 h‑다항식 h_G(t)와의 관계 h_α(G)=(‑1)^{α(G)}P_G(‑1)와 deg h_G(t)=α(G)−M(G) (M(G)는 ‑1의 중복도) 등을 제시한다. pseudo‑Gorenstein* 그래프는 a(G)=0이며 h_α(G)=1인 경우로, 이는 P_G(‑1)=(‑1)^{α(G)}와 동치이다. 1. **빅 스타 그래프** 정의 2.1에서 G(n₁,…,n_q) 를 중심 정점 x에 q개의 경로 Γ_i (길이 n_i) 를 붙인 그래프라 한다. Lemma 2.2는 독립다항식이 P_G(x)=∏_{i=1}^q P_{P_{n_i}}(x)+x·∏_{i=1}^q P_{P_{n_i‑1}}(x) 로 표현됨을 보인다. 여기서 p_m=P_{P_m}(‑1)∈{‑1,0,1}이며 6주기성을 가진다(Lemma 1.6). 이를 이용해 P_G(‑1)=∏ p_{n_i}−∏ p_{n_i‑1} 로 정리한다. - **영점 판정(Theorem 2.4)**: 모든 n_i≡0(mod 3)이거나, 서로 다른 i,j에 대해 n_i≡1(mod 3), n_j≡2(mod 3)인 경우에만 P_G(‑1)=0. - **부호 판정(Theorem 2.5)**: n_i의 6진법 잔류류를 카운트한 c_k (k=0,…,5)를 이용해, c₁=c₄=0 & c₂+c₅>0이면 P_G(‑1)=(‑1)^{c₂+c₃}, c₂=c₅=0 & c₁+c₄>0이면 P_G(‑1)=(‑1)^{c₃+c₄+1}, 그 외는 0이다. - **pseudo‑Gorenstein* 조건(Corollary 2.8)**: 위 부호 조건과 α(G)와의 짝·홀 관계가 맞을 때 성립한다. α(G)는 Lemma 2.7에 의해 α(G)=∑⌊n_i/2⌋+max{1,r} (r=odd 길이 경로 개수) 로 구한다. - **대칭성(Theorem 2.9)**: P_G(x)가 대칭이 되려면 모든 팔이 짝수이면서 a_i=1인 경우와, 모든 팔이 홀수이면서 a_i=2인 경우만 가능하지만, 실제 검증 결과 유일하게 G(1,1,5)만이 대칭을 만족한다. 2. **잎(whisker) 부착 그래프** 기본 그래프 H에 정점 x_i마다 f_i개의 잎을 붙인 그래프 G를 고려한다. Proposition 3.1는 P_G(x)=P_H(x)·∏_{i}(1+x)^{f_i} − x·∑_{i}… 형태의 일반식을 제시한다. 특히 x=‑1에서 P_G(‑1)=0 (C가 독립집합이 아니면) 혹은 (‑1)^{|C|}·P_{H‑N