일반화된 마이셀스키안 그래프의 독립 복합체 동형 유형

초록

본 논문은 그래프 G의 일반화된 마이셀스키안 µₗ(G)의 독립 복합체 I(µₗ(G))가 G와 그 크로네커 이중 커버 G ⊠ P₂의 독립 복합체의 동형 유형에 의해 완전히 결정된다는 주된 정리를 제시한다. 이를 이용해 경로, 사이클, 완전 그래프의 카테고리 곱 등에 대한 구체적인 동형 유형을 계산한다.

상세 분석

논문은 먼저 독립 복합체 I(G)의 기본 성질과 두 그래프의 카테고리 곱 G ⊠ H에 대한 독립 복합체 구조를 정리한다. Lemma 1과 Lemma 2는 그래프의 합집합과 정점 삭제가 독립 복합체에 미치는 영향을 각각 조인과 동형 사상으로 기술한다. 핵심은 Proposition 3으로, 특정 정점 집합 N(v)와 그 보조 복합체 사이의 포함이 영동형(null‑homotopic)일 때 I(G)와 I(G − v) 사이에 서스펜션(Σ) 연산이 나타난다는 점이다.

그 후, 일반화된 마이셀스키안 µₗ(G)의 정의를 재정의하고, 새로운 정점 w와 레벨별 복제 정점들을 추가하는 과정을 상세히 설명한다. 주요 정리인 Theorem 5는 l이 3k, 3k+1, 3k+2인 경우에 따라 I(µₗ(G))가 다음과 같은 형태로 분해된다고 주장한다.

• l = 3k: I(G) ∗ I(G ⊠ P₂) ∗ k와 Σ I(G ⊠ P₂) ∗ k의 와인드(wedge)
• l = 3k+1: 위에 추가로 I(G ⊠ P₂) ∗ k ∗ 1이 더해짐
• l = 3k+2: 위에 추가로 I(G ⊠ P₂) ∗ k ∗ 1이 한 번 더 포함

여기서 “∗”는 조인, “Σ”는 서스펜션을 의미한다. 증명은 정점 집합 V₁, V₃, V₆…을 단계적으로 삭제하면서 Lemma 2와 Proposition 3을 반복 적용하는 귀납적 절차로 이루어진다.

다음으로 Kronecker 이중 커버 G ⊠ P₂에 대한 독립 복합체를 연구한다. Theorem 14는 I(µₗ(G) ⊠ P₂)의 동형 유형을 I(G ⊠ P₂)의 서스펜션과 Σ 연산으로 표현한다. 이를 바탕으로 Lemma 4에서 정의한 함수 f(k,r), g(k,r)를 이용해 반복된 마이셀스키안 µᵣ(µₗ(G))의 동형 유형을 정확히 계산한다. Theorem 16, 17은 r‑iterated l‑Mycielskians의 경우, 복합체가 “공간들의 와인드”이며 각 공간은 I(G)와 I(G ⊠ K₂) 혹은 그들의 여러 번 조인·서스펜션으로 구성된다고 정리한다.

응용 부분에서는 경로 Pₙ, 사이클 Cₙ, 완전 그래프 Kₙ 및 Kₙ ⊠ Kₘ에 대해 구체적인 구형(wedge of spheres) 구조를 제시한다. 특히 Corollary 7, 8은 기존 연구