[논문 리뷰] Automorphism Groups of Geometrically Represented Graphs

Pavel Klavík, Peter Zeman|arXiv (Cornell University)|2014. 07. 08.

Advanced Graph Theory Research참고 문헌 42인용 수 11

한 줄 요약

이 논문은 군론적 구조와 PQ-트리, 스플릿 트리와 같은 자료구조를 사용하여 기하적 표현을 가진 그래프의 자기동형군을 통합적인 프레임워크로 특성화한다. 구간 그래프의 자기동형군이 나무의 것과 동일하다는 것을 증명하고, 순열 그래프와 원형 그래프에 대해 반복적 특성화를 위해 준직접곱과 쐐기곱을 사용하며, 모든 유한군이 차원이 4 이하인 비교가능 그래프의 자기동형군으로 나타날 수 있음을 보여준다.

ABSTRACT

We describe a technique to determine the automorphism group of a geometrically represented graph, by understanding the structure of the induced action on all geometric representations. Using this, we characterize automorphism groups of interval, permutation and circle graphs. We combine techniques from group theory (products, homomorphisms, actions) with data structures from computer science (PQ-trees, split trees, modular trees) that encode all geometric representations. We prove that interval graphs have the same automorphism groups as trees, and for a given interval graph, we construct a tree with the same automorphism group which answers a question of Hanlon [Trans. Amer. Math. Soc 272(2), 1982]. For permutation and circle graphs, we give an inductive characterization by semidirect and wreath products. We also prove that every abstract group can be realized by the automorphism group of a comparability graph/poset of the dimension at most four.

연구 동기 및 목표

• 기하적 표현이 그래프의 자기동형군에 미치는 제약 조건을 이해하기 위해.
• 군론적 대수적 구조를 사용하여 구간, 순열, 원형 그래프의 자기동형군을 특성화하기 위해.
• 한론(Hanlon)이 제기한 열린 문제, 즉 구간 그래프가 나무와 동일한 자기동형군을 갖는지 여부를 해결하기 위해.
• 모든 유한군이 차원이 4 이하인 비교가능 그래프의 자기동형군으로 실현될 수 있음을 보여주기 위해.
• PQ-트리, 스플릿 트리, 모듈러 분해를 통한 자기동형군 계산에 대한 알고리즘적 함의를 설정하기 위해.

제안 방법

• 모든 기하적 표현에 대한 자기동형의 유도된 작용을 분석하여 군의 구조를 분석한다.
• 직접곱, 준직접곱, 쐐기곱과 같은 군론적 도구를 사용하여 자기동형군을 기술한다.
• PQ-트리(구간 그래프용), 스플릿 트리(원형 그래프용), 모듈러 분해(순열 그래프용)와 같은 자료구조를 사용하여 표현을 인코딩한다.
• 자기동형군 계산을 이러한 구조의 대칭성 탐지 문제로 환원한다.
• 다항식 시간 환원을 통해 그래프 이somorphism 문제와 자기동형군 생성 간의 연결 고리를 활용한다.
• 전이적 방향성의 구성과 동형성 유지 증명을 통해 결과를 부분순서집합(posets)으로 번역한다.

실험 결과

연구 질문

• RQ1 구간 그래프에서 유도되는 자기동형군은 무엇이며, 나무의 것과 어떻게 관련되어 있는가?
• RQ2 순열 그래프와 원형 그래프의 자기동형군은 군의 곱을 사용하여 어떻게 반복적으로 특성화할 수 있는가?
• RQ3 모든 유한 추상군이 차원이 4 이하인 비교가능 그래프의 자기동형군으로 실현될 수 있는가?
• RQ4 원호 그래프의 자기동형군의 구조는 무엇이며, 구간 그래프와 어떻게 다를까?
• RQ5 3차원 부분순서집합의 클래스는 보편적인가? 그 그래프 이somorphism 문제의 난이도는 GI-완비인가?

주요 결과

• 모든 구간 그래프의 자기동형군은 어떤 나무의 자기동형군과 동형이며, 한론이 제기한 질문에 답한다.
• 연결된 유닛 구간 그래프의 자기동형군은 캐터필러 그래프의 것과 같다.
• 순열 그래프와 원형 그래프의 자기동형군은 준직접곱과 쐐기곱을 사용하여 반복적으로 특성화된다.
• 모든 유한군은 차원이 4 이하인 비교가능 그래프의 자기동형군으로 나타난다.
• 4차원 부분순서집합의 그래프 이somorphism 문제는 GI-완비이며, 이 클래스는 보편적이다.
• PQ-트리와 모듈러 분해를 통한 대칭성 탐지에 기반하여, 구간 그래프와 순열 그래프의 자기동형군 계산에 대해 선형 시간 알고리즘이 유도된다.