그래프 a‑수의 분해와 단조성·단조성 연구

초록

본 논문은 유한 단순 그래프 G에 정의되는 a‑수열 (a₀(G),a₁(G),…)에 대해 새로운 분해 공식과 그로부터 파생되는 두 가지 주요 성질을 제시한다. 첫째, a‑수열은 그래프 포함 관계에 대해 단조 증가함을 보이며, 이를 이용해 하한·상한을 구한다. 둘째, Hamiltonian 회로나 보편 정점을 가진 그래프에 대해 a‑수열이 i에 대해 단조볼록(유모달)임을 증명한다. 또한 이 수열이 로그‑볼록성을 반드시 만족하지 않음을 예시를 통해 보여준다.

상세 분석

논문은 먼저 a‑수와 aᵢ‑수를 그래프의 정점 부분집합에 대한 합으로 정의하고, 이를 부분집합 격자에서의 Möbius 함수와 Whitney 수와 연결시킨다. 핵심은 “재연결 보완”(reconnected complement)이라는 연산을 도입해, 그래프 G에 정점 집합 I를 제거하고 남은 정점들 사이에 기존 경로가 존재하면 새로운 간선을 추가하는 방식으로 새로운 그래프 GI를 만든다. 이 연산은 nestohedron의 면 구조와 일대일 대응되며, 특히 면 I에 대응하는 복합체는 P_{G|I} × P_{GI}와 동형임을 이용한다.

Theorem 1.1은 aᵢ(G+e)와 aᵢ(G) 사이의 관계를 정확히 기술한다. 여기서 e는 정점 쌍이며, G+e는 e를 추가한 그래프이다. 식은
aᵢ(G+e)=aᵢ(G)+∑{J∈EC(G+e)\setminus EC(G)} |b(G|J)|·a{i−|J|/2}( (G+e)*J )
와 같이 쓰이며, EC(G)는 “모든 연결 성분이 짝수 차수인” 정점 집합들의 모임이다. 중요한 점은 모든 가중치가 비음수가 되므로, aᵢ는 그래프 포함에 대해 단조 증가한다는 Corollary 1.2가 즉시 따라온다.

다음으로, 이 분해식을 이용해 완전 그래프 Kₙ, 스패닝 트리 T, 경로 그래프 Pₙ, 별 그래프 Sₙ 사이의 aᵢ값 비교를 수행한다. 특히 aᵢ(Kₙ)=C(n,2i)·A_{2i} (A_k는 Euler zigzag 수)라는 명시적 공식과, aᵢ(Pₙ)와 aᵢ(Sₙ)의 정확한 경계가 제시된다(Corollary 1.3).

유모달성에 관해서는, aᵢ가 i에 대해 증가 후 감소하는 형태를 보이는 조건을 탐구한다. 재연결 보완 연산이 Hamiltonian 그래프와 보편 정점 그래프에서 닫힌 구조를 이루는 점을 이용해, 최소 그래프(트리, 사이클, 별)에서 유도된 귀납적 증명을 전개한다. 결과적으로 Theorem 2.5와 Corollary 1.4에 의해, Hamiltonian 회로나 보편 정점을 가진 모든 그래프는 a‑수열이 유모달임을 보인다. 또한 Remark 6.7에서 제시된 예시를 통해 로그‑볼록성은 일반적으로 성립하지 않음을 확인한다.

마지막으로, 논문은 실 토릭 다양체 X_R(G)의 블로우‑업과 Lefschetz 연산 부재 문제를 논의한다. 재연결 보완이 토릭 다양체의 면 구조와 어떻게 대응되는지를 살펴보며, 실 토릭 다양체의 베티 수가 유모달이지만 로그‑볼록성을 갖지 않는 새로운 사례군을 제공한다는 점에서 위상학·대수기하학 사이의 교차 연구에 의미 있는 기여를 한다.

전체적으로, a‑수열의 새로운 분해 공식은 기존의 재귀 정의보다 구조적·계산적 장점을 제공하고, 단조성·유모달성 같은 중요한 성질을 명확히 증명함으로써 그래프 이론, 조합 위상학, 실 토릭 다양체 연구에 폭넓은 응용 가능성을 열어준다.