[논문 리뷰] Vertex colorings of simplicial complexes

Natalia Dobrinskaya, Jesper M. Møller외 1명|arXiv (Cornell University)|2010. 07. 05.

graph theory and CDMA systems참고 문헌 16인용 수 4

한 줄 요약

이 논문은 스티븐스턴-레일너 링크와 대이비스-자누스키에이프 공간 위의 벡터 번들의 분할과 관련시켜 단체 복합체의 정점 색칠 문제를 호모토피 이론과 대수적 프레임워크로 연결함으로써 $(P,s)$-색칠을 정의한다. 핵심 결과는 $\mathrm{SR}(K;R)$에서 $\prod_{v\in V}(1+v) = \prod_{p\in P} c_p$의 등식을 통해 $(P,s)$-색칠 가능성을 특성화하는 것으로, 각 $c_p$는 최대 차수 $2s$인 대칭 다항식이며, 이는 조합론, 대수적 토폴로지, 교환 대수학을 통합한다.

ABSTRACT

We define an (r,s)-coloring of an abstract simplicial complex to be a coloring using r colors of the vertices so that in any simplex at most s vertices have the same color. We translate the problem of finding an (r,s)-coloring of a given simplex to a topological problem and to a ring theoretic problem. The topological version involves vector bundles over Davis--Januszkiewicz spaces and the algebraic one involves factorizations in Stanley-Reisner rings.

연구 동기 및 목표

• 스티븐스턴-레일너 링크와 대이비스-자누스키에이프 공간을 이용해 조합적 정점 색칠 문제를 대수적 및 위상수학적 불변량으로 번역한다.
• 벡터 번들의 분할을 통한 $\mathrm{SR}(K;R)$에서 총 체른 클래스의 인수분해를 통한 $K$의 $(P,s)$-색칠 가능성의 특성화.
• 조합적 색칠 가능성, $\mathrm{DJ}(K)$ 위의 벡터 번들의 분할, $\mathrm{map}(P,\mathrm{BU}(s))$로의 호모토피 클래스의 사상 사이의 동치관계 수립.
• 구구, 다면체, 비구성 가능 트라이앵귤레이션을 포함한 다양한 단체 복합체에 대해 $s$-색칠 수 $\operatorname{chr}^s(K)$ 계산.
• $s$-색칠과 $K$의 위상적 구조, 특히 이웃형 및 대칭 복합체에서의 상호작용 탐색.

제안 방법

• $(P,s)$-색칠을 정점 사상 $f: V \to P$로 정의하여, 어떤 단체도 같은 색의 정점를 $s$개 초과로 포함하지 않도록 한다.
• 복합체 $K$의 조합적 구조를 코딩하기 위해 스티븐스턴-레일너 링크 $\mathrm{SR}(K;R)$를 사용하고, 각 색 $p \in P$에 대해 $c_{\leq s}(f^{-1}p)$로 표시되는 대칭 다항식을 정의한다.
• 복합체 $K$가 $(P,s)$-색칠 가능할 조건은 $\mathrm{SR}(K;R)$에서 $\prod_{v\in V}(1+v) = \prod_{p\in P} c_{\leq s}(f^{-1}p)$의 등식이 성립하는 것과 동치임을 증명한다.
• 대이비스-자누스키에이프 공간 $\mathrm{DJ}(K)$와 그 사상 $\lambda_K: \mathrm{DJ}(K) \to \mathrm{map}(V,\mathrm{BU}(1))$을 이용해 코homology에서 총 체른 클래스를 해석한다.
• $(P,s)$-색칠 가능성은 $\mathrm{DJ}(K)$ 위에 존재하는 $|P|$개의 복소 벡터 번들의 $\xi_p$가 존재하고, $\lambda_K$와 $\bigoplus_p \xi_p$가 안정적으로 동형일 조건임을 증명한다.
• 호모토피 이론 기준을 활용하여, 이러한 색칠이 존재하는 것은 $\mathrm{DJ}(K) \to \mathrm{map}(P,\mathrm{BU}(s))$의 사상이 존재하고, 관련 다이어그램이 호모토피 상에서 가환함을 의미함을 보인다.

실험 결과

연구 질문

• RQ1 유한한 단체 복합체 $K$가 언제 $(P,s)$-색칠 가능하며, 이를 어떻게 대수적으로 특성화할 수 있는가?
• RQ2 $K$의 $s$-색칠과 대이비스-자누스키에이프 공간 $\mathrm{DJ}(K)$ 위의 벡터 번들의 분할 사이의 관계는 무엇인가?
• RQ3 $\mathrm{SR}(K;R)$에서 총 체른 클래스 $\prod_{v\in V}(1+v)$의 인수분해가 $K$의 조합적 구조에 어떻게 반영되는가?
• RQ4 구, 순환 다면체 등 다양한 단체 복합체 클래스에 대해 $s$-색칠 수 $\operatorname{chr}^s(K)$의 값은 무엇인가?
• RQ5 비구성 가능하거나 높은 대칭성을 가진 트라이앵귤레이션에 대해 $s$-색칠 수를 유계하거나 계산할 수 있는가?

주요 결과

• 복합체 $K$가 $(P,s)$-색칠 가능할 조건은 $\mathrm{SR}(K;R)$에서 $\prod_{v\in V}(1+v) = \prod_{p\in P} c_{\leq s}(f^{-1}p)$의 등식이 성립하는 것으로, 여기서 $c_{\leq s}(f^{-1}p)$는 색 $p$의 원상에 대한 첫 $s$개의 기본 대칭 다항식의 합이다.
• 특히 $s=1$일 경우 고전적인 색칠 문제로 복귀되며, 이 경우 벡터 번들의 분할과의 동치관계는 이전에 알려져 있었지만, 본 논문은 이를 임의의 $s$로 일반화한다.
• $\operatorname{chr}^s(\partial D[(2n)_{+}]) = 3$ ($n \geq 1$), $\operatorname{chr}^s(\partial D[(2n+1)_{+}]) = 3$ ($n > 1$)이며, $\operatorname{chr}^1(\partial D[3_{+}]) = 4$이다.
• 순환 다면체 $\mathrm{CP}(m,2n)$에 대해, $m > 2n$이 짝수이면 $\operatorname{chr}^n(\mathrm{CP}(m,2n)) = 2$, 홀수이면 $3$이다.
• $\mathrm{CP}(m,2n+1)$에 대해, $n > 1$이고 $m > 2n+1$이면 $\operatorname{chr}^n(\mathrm{CP}(m,2n+1)) = 3$, $n=1$이고 $m > 3$이면 $4^{\text{이다}}$.
• 포incare 호모로지 3-구면체의 $2$-플래그 트라이앵귤레이션 BLP는 $\operatorname{chr}^2(\mathrm{BLP}) = 4$이며, 비구성 가능 $3$-구면체 $S^3_{17,74}$는 $\operatorname{chr}^2 = 3$이다.