그래프 자동동형군의 구조와 응용

초록

본 강의노트는 그래프의 자동동형군에 대한 기본 개념을 소개하고, 특히 전치(transposition) 집합으로 생성되는 케이리 그래프들의 자동동형군 구조를 심도 있게 탐구한다. 완전 그래프, 사이클, 하이퍼큐브 등 전형적인 그래프들의 자동동형군을 예시로 제시하고, 대칭군과의 관계, 오비트·스테빌라이저 이론을 활용한 계산 방법을 설명한다. 전치 집합에 의해 정의되는 케이리 그래프들의 경우, 대칭군 Sₙ과의 반직접곱 구조가 나타나는 등 풍부한 대칭성을 보이며, 이러한 결과는 네트워크 설계와 조합 최적화에 활용될 수 있다.

상세 분석

자동동형군 Aut(G)은 그래프 G 의 정점 집합 V(G) 에 대한 모든 그래프 동형사상(정점 순열)들의 군으로 정의된다. 기본적인 군론 도구인 오비트–스테빌라이저 정리와 Burnside의 식을 이용하면, Aut(G)의 크기와 구조를 효율적으로 계산할 수 있다. 예를 들어, 완전 그래프 Kₙ 의 경우 모든 정점이 서로 대칭이므로 Aut(Kₙ)≅Sₙ이며, 사이클 Cₙ 은 회전과 반사 두 종류의 대칭을 포함해 D₂ₙ (이차원 정다각형 군)과 동형이다. 경로 Pₙ 은 양 끝점만이 서로 교환될 수 있어 Aut(Pₙ)≅ℤ₂(또는 n=1일 때는 자명군)이다. 이러한 전형적인 사례들은 그래프의 구조적 특징(정점의 차수, 거리, 클리크 등)이 자동동형군을 제한한다는 일반 원리를 보여준다.

특히 논문은 전치 집합 T⊆Sₙ 에 의해 생성되는 케이리 그래프 Cay(Sₙ,T) 에 집중한다. 전치란 두 원소만 교환하는 대칭이며, 전치 집합의 선택에 따라 그래프의 대칭성이 크게 달라진다. 가장 단순한 경우는 별 전치 집합 S={ (1 i) | 2≤i≤n } 으로, 이는 ‘별 그래프’라 불리며 Aut(Cay(Sₙ,S))≅Sₙ ⋉ ℤ₂ 형태의 반직접곱 구조를 가진다. 여기서 ℤ₂는 전치 집합 자체에 대한 반전(전치의 역원) 연산을 나타낸다. 인접 전치 집합 A={ (i i+1) | 1≤i<n } 은 버블소트 그래프를 만든다. 이 경우 자동동형군은 Sₙ와는 별도로 그래프의 선형 순서를 보존하는 대칭, 즉 반사 대칭만을 허용하므로 Aut(Cay(Sₙ,A))≅ℤ₂이다.

전치 집합이 완전 전치 집합 Tₙ={ (i j) | 1≤i<j≤n } 일 때는 케이리 그래프가 완전 그래프 K_{n!} 와 동형이 되며, 자동동형군은 S_{n!}와 동형이다. 그러나 전치 집합이 부분적으로만 포함될 경우, 예를 들어 트리 형태의 전치 집합(각 전치가 그래프 이론에서 트리의 간선에 대응)에서는 자동동형군이 트리의 자동동형군과 Sₙ의 반직접곱으로 표현된다. 이는 전치 집합이 그래프 이론의 ‘연결성’과 ‘대칭성’ 사이의 다리 역할을 함을 시사한다.

논문은 또한 자동동형군을 이용한 네트워크 설계의 응용을 논의한다. 대칭성이 높은 케이리 그래프는 라우팅 효율과 내결함성을 동시에 제공하므로, 병렬 컴퓨팅 및 통신 네트워크에서 이상적인 토폴로지 후보가 된다. 전치 집합을 조절함으로써 원하는 대칭성 수준을 설계할 수 있다는 점은 실용적인 설계 자유도를 크게 확대한다.

마지막으로, 자동동형군의 계산 복잡도와 알고리즘적 접근법에 대한 언급이 있다. NAUTY와 같은 그래프 자동동형군 탐색 프로그램을 활용한 실험 결과는 이론적 결과와 일치함을 보여주며, 대규모 케이리 그래프에 대한 자동동형군 계산이 아직도 계산량이 큰 문제임을 강조한다.