그래프 기반 유한 위상열거 연구

초록

본 논문은 주어진 유한 그래프를 기반으로 그 그래프를 밑그림으로 하는 위상들의 개수와 비동형 위상들의 수를 체계적으로 열거한다. 위상, 전순서, 그리고 방향 그래프 사이의 일대일 대응을 활용하여 그래프별 위상 구조를 구분하고, 조합론적 방법과 동형군 작용을 이용해 계산식을 도출한다. 결과적으로 작은 그래프에 대한 정확한 수치를 제공하고, 일반적인 그래프 클래스에 대한 상한·하한을 제시한다.

상세 분석

논문은 유한 집합 위에 정의되는 위상이 전순서(preorder)와 그에 대응되는 반사적·전이적 다이그래프(digraph)와 일대일 대응한다는 사실을 출발점으로 삼는다. 이때 그래프 G의 정점 집합을 위상의 원소 집합으로 보고, 두 원소 x, y 사이에 x≤y가 성립하면 (x,y) 를 방향 간선으로 하는 다이그래프 D를 만든다. D의 무향 버전을 G라고 하면, G는 위상의 ‘밑그림’ 역할을 하며, 같은 G를 공유하는 위상들은 모두 D가 G의 방향화(directed version)인 경우에 해당한다. 따라서 G가 주어지면 가능한 전순서 관계, 즉 가능한 방향화들의 수를 세면 위상의 총 개수를 얻을 수 있다.

이러한 접근법을 구체화하기 위해 저자는 먼저 G의 자동동형군 Aut(G)의 작용을 고려한다. Aut(G)가 방향화들을 서로 변환시키는 대칭을 제공하므로, 비동형 위상의 수는 Aut(G) 궤도(orbit) 개수와 동일하다. 즉, Burnside의 정리를 이용해
\