[논문 리뷰] The planar Cayley graphs are effectively enumerable

Agelos Georgakopoulos, Matthias Hamann|arXiv (Cornell University)|2015. 06. 10.

semigroups and automata theory참고 문헌 26인용 수 3

한 줄 요약

이 논문은 평면에서 교차 없이 실현 가능한 카일리 그래프—즉 평면 카일리 그래프—가 평면 표현이라고 불리는 새로운 유형의 군 표현을 도입함으로써 효과적으로 열거될 수 있음을 입증한다. 이러한 표현은 알고리즘적으로 식별 가능하며, 이는 모든 평면 카일리 그래프를 체계적이고 계산 가능한 방식으로 열거할 수 있게 하고, 기하군론에서 오랫동안 남아있던 평면 군의 효과적 열거 가능성에 대한 열린 문제를 해결한다.

ABSTRACT

We show that a group admits a planar, finitely generated Cayley graph if and only if it admits a special kind of group presentation we introduce, called a planar presentation. Planar presentations can be recognised algorithmically. As a consequence, we obtain an effective enumeration of the planar Cayley graphs, yielding in particular an affirmative answer to a question of Droms et al. asking whether the planar groups can be effectively enumerated.

연구 동기 및 목표

• 다람쥐 등에 의해 제기된 열린 문제를 다루며, 평면 카일리 그래프가 효과적으로 열거될 수 있는지 여부를 규명하는 것.
• 새로운 군 표현 유형인 평면 표현을 통해 평면적이고 유한생성 가능한 카일리 그래프를 갖는 군을 특성화하는 것.
• 평면 표현의 개념을 도입하고 형식화하여 평면 카일리 그래프의 알고리즘적 식별 도구로 활용하는 것.
• 군 표현과 평면 그래프 실현 간의 구조적이고 알고리즘적인 연결 고리를 확립하는 것.

제안 방법

• 평면 카일리 그래프이자 유한생성 가능한 관련 카일리 그래프를 갖는 특정 유형의 군 표현인 평면 표현의 개념을 도입한다.
• 군이 평면적이고 유한생성 가능한 카일리 그래프를 갖는다는 것과 그 군이 평면 표현을 갖는 것 사이의 필요충분조건을 증명한다.
• 조합론적 및 그래프 이론적 기준을 통해 평면 표현이 알고리즘적으로 식별 가능하다는 것을 보인다.
• 모든 유효한 평면 표현을 체계적으로 생성함으로써 효과적인 열거 절차를 구성한다.
• 평면 표현의 알고리즘적 식별 가능성에 기반하여 모든 평면 카일리 그래프의 재귀적 열거를 도출한다.

실험 결과

연구 질문

• RQ1 평면적이고 유한생성 가능한 카일리 그래프를 갖는 군의 집합은 효과적으로 열거될 수 있는가?
• RQ2 어떤 군 표현의 구조적 성질이 관련 카일리 그래프가 평면적임을 보장하는가?
• RQ3 카일리 그래프가 평면적임을 군 표현의 관점에서 결정 가능하게 특성화할 수 있는가?
• RQ4 평면 카일리 그래프의 열거를 알고리즘적이고 체계적으로 수행할 수 있는가?

주요 결과

• 군이 평면적이고 유한생성 가능한 카일리 그래프를 갖는다 하는 것과 그 군이 평면 표현을 갖는다는 것은 필요충분조건이다.
• 평면 표현은 알고리즘적으로 식별 가능하므로, 이러한 군 집합에 속하는지 여부를 결정하는 효과적인 절차를 제공한다.
• 모든 평면 카일리 그래프의 집합은 효과적으로 열거 가능하며, 이는 구조적인 열거 절차를 제공한다.
• 이 결과는 Droms 등이 제기한 평면 군의 효과적 열거 가능성에 관한 열린 문제를 확인한다.