무한 그래프의 주기적 색칠과 방향 지정

초록

본 논문은 국소 유한 그래프에서 색칠과 방향 지정이 그래프 자체의 준전이성(Quasi‑transitivity)을 유지하도록 하는 ‘주기적’ 구조의 존재 여부를 탐구한다. 저자들은 Cayley 그래프와 트리폭 2인 준전이성 그래프에서 주기적 색칠·방향이 불가능한 사례를 제시하고, 반대로 경로폭이 유계인 그래프에서는 χ(G) 색으로 주기적 적절 색칠과 주기적 방향을 항상 만들 수 있음을 증명한다. 또한 이 문제를 상징적 동역학과 분산 컴퓨팅 관점에서 연결하고 여러 열린 질문을 제시한다.

상세 분석

논문은 먼저 “주기적 색칠·방향”을 ‘색칠·방향을 보존하는 자동동형군이 정점 집합을 유한 개 궤도로 나누는 경우’로 정의한다. 이 정의는 색칠이나 방향을 유한한 패턴으로 지정한 뒤, 해당 패턴을 그래프 전체에 군 작용을 통해 복제하는 절차와 일치한다. 따라서 주기적 구조가 존재하려면 원 그래프 자체가 준전이성(quasi‑transitive)이어야 함을 즉시 얻는다.

주요 질문은 두 가지이다. (1) 모든 국소 유한 준전이성 그래프가 χ(G) 색으로 주기적 적절 색칠을 가질 수 있는가? (2) 같은 조건에서 주기적 방향을 지정할 수 있는가? 기존 문헌에서는 이와 유사한 문제(예: 재귀적 색칠, Borel 색칠)가 제기됐지만, 무한 그래프에 대한 구체적인 ‘패턴 기반’ 해답은 알려지지 않았다.

첫 번째 부정 결과는 무한 단순 군의 존재에 기반한다. 무한 단순 군은 유한 지수의 정상 부분군을 갖지 않으므로, 그 Cayley 그래프는 어떠한 비자명한 유한 색칠·방향도 보존하는 자동동형군을 충분히 제한하지 못한다. 저자들은 이러한 군을 이용해 1‑ended Cayley 그래프를 구성하고, 이 그래프가 주기적 색칠·방향을 전혀 허용하지 않음을 보인다. 이 예는 기존에 알려진 ‘Hamann‑Möller’ 예제를 일반화한 것으로, 단순 군의 존재가 그래프 이론에 비전형적인 제한을 만든다는 점을 강조한다.

두 번째 부정 예는 트리폭 2이면서 평면이며 무한 개 끝을 가진 그래프를 이용한다. 저자들은 ‘완전 그래프’를 변형해 트리폭 2인 구조를 만들고, 이 그래프가 어떠한 유한 색상 집합으로도 주기적 적절 색칠을 할 수 없으며, 심지어 색상의 수를 늘려도 주기적 색칠이 불가능함을 증명한다. 이 결과는 문제 1.3(Planar → 4‑색)까지 부정하는 강력한 반례이며, 트리폭이 작아도 주기성 보장은 불가능함을 보여준다.

긍정적인 측면에서는 경로폭(pathwidth)이 유계인 그래프에 대해 강력한 정리를 얻는다. 경로폭이 유한하면 그래프는 ‘선형 트리 분해’를 갖고, 이는 상징적 동역학에서 ‘유한 타입 서브시프트(subshift of finite type)’와 동형이다. 저자들은 기존의 ‘SFT‑realizability’ 결과를 이용해, 각 정점 궤도에 대해 고정된 색을 할당하고, 이 패턴을 경로분해에 따라 반복함으로써 χ(G) 색으로 주기적 적절 색칠을 구성한다. 동시에, 같은 방법으로 각 간선에 방향을 지정해 주기적 방향도 얻는다. 여기서 ‘강하게 주기적(strongly periodic)’인 경우, 전체 자동동형군의 유한 지수 부분군이 색칠·방향을 보존한다는 추가적인 대칭성을 확보한다.

마지막으로 저자들은 이 문제들을 ‘분산 컴퓨팅’의 로컬 알고리즘 관점과 연결한다. 무한 그래프에서 로컬 규칙만으로 전역적인 색칠·방향을 만들 수 있는지 여부는 ‘factor of i.i.d.’ 모델과 직접적인 연관이 있다. 논문은 기존 확률적 결과와 비교해, 결정론적(구조적) 주기성은 확률적 방법보다 훨씬 제한적임을 강조한다. 마지막 섹션에서는 무한 단순 군의 존재 여부, 트리폭‑경로폭 경계, 고차원 그래프에서의 주기적 색칠 가능성 등 여러 열린 문제를 제시한다.