[논문 리뷰] Algorithms and Classification in Groups of Piecewise-Linear Homeomorphisms

Kenneth S. Brown|ArXiv.org|2008. 07. 18.

Geometric and Algebraic Topology참고 문헌 45인용 수 14

한 줄 요약

이 논문은 톰슨의 군 F, T, V에서의 기본 결정 문제를 해결하기 위한 알고리즘을 제시한다. 이에는 동시에 공轭 문제, 근 계산, 중심화자 결정 등이 포함된다. 스트랜드 다이어그램과 메이어 불변량을 사용하여 완전한 공轭 불변량을 확립하고, 군 기반 암호화 프로토콜에 대한 암호 분석을 수행함으로써 조각별 선형 호메오모르피즘 군에 대한 종합적인 알고리즘 프레임워크를 제공한다.

ABSTRACT

This manuscript represents the author's PhD dissertation thesis.The first part studies decision problems in Thompson's groups F,T,V and some generalizations. The simultaneous conjugacy problem is determined to be solvable for Thompson's group F and suitable larger groups of piecewise-linear homeomorphisms of the unit interval. We determine algorithms to compute roots and centralizers in these groups and to detect periodic points and their behavior by looking at a particular diagram associated to an element. In the second part, we describe the structure of subgroups of the group of all homeomorphisms of the unit circle, with the additional requirement that they contain no non-abelian free subgroup. It is shown that in this setting the rotation number map is a group homomorphism. We give a classification of such subgroups as subgroups of certain wreath products and we show that such subgroups can exist by building examples. Similar techniques are then used to compute centralizers in these groups.

연구 동기 및 목표

• 기하군 이론과 논리학의 핵심이 되는 톰슨의 군 F, T, V에서의 결정 문제를 해결하기 위한 알고리즘을 개발하는 것.
• 조각별 선형 및 조합론적(스트랜드 다이어그램) 방법을 모두 활용하여 F 및 관련 군에서의 동시에 공轭 문제에 대한 완전한 해법을 확립하는 것.
• 메이어 불변량과 스트랜드 다이어그램을 통해 공轭 불변량을 구성하여 군 원소 간의 효과적 비교를 가능하게 하는 것.
• 다이어그램 축소에 기반한 알고리즘 기법을 사용하여 이러한 군에서의 근과 중심화자를 계산하는 것.
• F에서의 분해 문제에 의존하는 군 기반 암호화 프로토콜에 대한 완전한 암호 분석을 수행하는 것.

제안 방법

• 톰슨 군 F의 원소를 표현하기 위해 축소된 원환형 스트랜드 다이어그램을 조합론적 표현으로 사용하여 알고리즘적 조작과 공轭 테스트를 가능하게 한다.
• F의 일점 함수에 메이어 불변량 구조를 적용하여, 끝점에서의 기울기와 불변량 값이 공轭을 결정함을 보여준다.
• 원소를 기울기가 일정한 간격으로 분해함으로써 F에서의 공轭 문제를 군의 캐릭터리스틱 군의 성분별 공轭 문제로 환원한다.
• 비아벨리안 자유 부분군을 가지지 않는 원환면 호메오모르피즘 부분군에서의 로테이션 수 지ap을 군 준동형사상으로 사용하여, 와이어드 프로덕트 구조를 통한 분류를 가능하게 한다.
• 폐쇄된 스트랜드 다이어그램의 구조를 이용하여 주기적 점을 탐지하고 군 원소에 의한 그들의 역학적 행동을 분석한다.
• 다이어그램 군과 군의 캐릭터리스틱 군 작용 기법을 적용하여 F에서의 결과를 T와 V로 일반화하고 공轭 알고리즘을 확장한다.

실험 결과

연구 질문

• RQ1 톰슨의 군 F 및 그 일반화에서 동시에 공轭 문제는 해결 가능한가?
• RQ2 조각별 선형 표현과 동시에 조합론적(스트랜드 다이어그램) 표현을 모두 사용하여 완전한 공轭 불변량을 구성할 수 있는가?
• RQ3 조각별 선형 호메오모르피즘 군에서 근과 중심화자를 알고리즘적으로 어떻게 계산할 수 있는가?
• RQ4 메이어 불변량은 F에서의 일점 함수의 공轭을 결정하는 데 어떤 역할을 하는가?
• RQ5 F에서의 분해 문제에 의존하는 군 기반 암호화 프로토콜은 개발된 알고리즘을 사용하여 암호 분석이 가능한가?

주요 결과

• 톰슨의 군 F 및 단위구간의 조각별 선형 호메오모르피즘 군의 적절한 확장군에서 동시에 공轭 문제는 해결 가능하다.
• 조각별 선형 구조와 축소된 원환형 스트랜드 다이어그램 양측에서 공轭 불변량이 구성되어 있으며, 이는 공轭에 대한 완전하고 알고리즘적인 기준을 제공한다.
• F에서의 근과 중심화자는 스트랜드 다이어그램 축소와 성분별 분석을 통해 알고리즘적으로 계산할 수 있다.
• 주기적 점과 그 역학적 행동은 군 원소와 관련된 폐쇄된 스트랜드 다이어그램을 분석하여 탐지할 수 있다.
• F에서의 분해 문제에 기반한 군 기반 암호화 프로토콜에 대한 완전한 암호 분석을 달성하였으며, 제안된 알고리즘에 의해 이는 안전하지 않음을 보여준다.
• 비아벨리안 자유 부분군을 가지지 않는 원환면 호메오모르피즘 군의 부분군은 특정 와이어드 프로덕트의 부분군으로 분류되며, 이 설정에서 로테이션 수 지압이 군 준동형사상임을 보였다.