거울 그래프와 반사 배열 및 유한 코시 그룹의 그래프 이론적 특성화

초록

거울 그래프는 정점 전이성, 하이퍼큐브에 대한 등거리 임베딩, 그리고 강한 대칭성을 갖는 부분 큐브이다. 본 논문은 이들을 정확히 유한 코시 군의 Cayley 그래프이자 반사 배열의 토프 그래프와 동등함을 증명하고, 이를 인식하기 위한 다항 시간 알고리즘을 제시한다.

상세 분석

논문은 먼저 기존 정의인 “거울 파티션”을 재정리한다. 파티션 P={E₁,…,E_k}가 거울 파티션이 되려면 각 클래스 E_i에 대해 그래프 G의 자동동형 α_i가 존재해 E_i의 모든 간선 uv를 뒤바꾸고, G−E_i를 두 연결 성분 G₁ᵢ, G₂ᵢ으로 나눈 뒤 α_i가 G₁ᵢ와 G₂ᵢ를 동형시켜야 한다. 이러한 구조는 자동동형이 각 Θ‑클래스를 정확히 좌표 축에 대응시키는 하이퍼큐브 임베딩을 강제한다. 저자는 이를 이용해 거울 그래프가 항상 조화‑짝수(harmonic‑even) 부분 큐브임을 보이며, 이는 모든 정점이 그래프의 등거리 차원 i(G)만큼 떨어진 고유한 반대점을 갖는다는 성질이다.

다음으로 Θ‑관계와 W_uv, U_uv 집합을 도입해, 두 임의의 Θ‑클래스 사이에 항상 “볼록 사이클”(convex cycle)이 존재함을 증명한다. 이 사이클은 각 클래스의 간선을 교차하면서도 모든 최단 경로를 보존한다. 볼록 사이클의 존재는 자동동형이 Θ‑클래스를 서로 바꾸는 방식이 좌표 교환에 해당함을 보여준다. 특히, Lemma 2.3‑2.4는 한 Θ‑클래스에 대해 정점을 고정시키는 자동동형이 반드시 항등임을 보이며, 따라서 각 클래스마다 유일한 “거울 자동동형” α_xy가 존재한다는 결론을 얻는다.

이러한 구조적 특성을 바탕으로 저자는 거울 그래프가 바로 실현 가능한 반사 배열의 토프 그래프와 동형임을 증명한다. 반사 배열은 원점을 통과하는 유한 개의 초평면 집합 {H₁,…,H_m}이며, 각 초평면에 대한 반사 σ_{H_i}가 전체 배열을 순열한다. Coxeter 그룹의 표준 표현에서는 이러한 반사들이 군의 생성원이며, 그 Cayley 그래프는 정확히 각 초평면을 가르는 Θ‑클래스와 일대일 대응한다. 따라서 거울 그래프는 (1) 유한 Coxeter 군의 Cayley 그래프, (2) 반사 배열의 토프 그래프, (3) 조화‑짝수 부분 큐브라는 세 가지 관점에서 완전히 동등하게 기술된다.

마지막으로 알고리즘적 기여가 제시된다. 입력 그래프 G에 대해 먼저 Θ‑클래스를 계산해 부분 큐브 여부를 O(n²) 시간에 확인한다. 이후 각 Θ‑클래스에 대해 볼록 사이클을 탐색하고, 해당 사이클이 유지되는 좌표 교환을 통해 후보 α_xy를 만든다. 후보 자동동형이 실제 그래프 자동동형인지 검증하면, 모든 클래스에 대해 일관된 거울 파티션과 자동동형이 확보된다. 전체 절차는 Θ‑클래스 수와 사이클 탐색 비용을 합쳐 다항 시간, 구체적으로 O(m n²) 수준으로 수행 가능함을 보인다.

요약하면, 논문은 거울 그래프를 기존에 알려진 복합적 정의에서 완전히 대수적·기하학적 구조(유한 Coxeter 군, 반사 배열)와 연결시킴으로써 이론적 통합과 실용적 인식 알고리즘을 동시에 제공한다.