[논문 리뷰] Twin-width VII: groups

Édouard Bonnet, Colin Geniet외 2명|arXiv (Cornell University)|2022. 04. 26.

Geometric and Algebraic Topology인용 수 3

한 줄 요약

이 논문은 케일리 그래프를 통해 타원너비(twin-width)가 군의 불변량임을 증명하고, 유한 생성 군 중 타원너비가 무한인 것이 존재함을 보이며, 소 클래스(graphs)에 대한 추측을 반증한다. 또한 군 연산에 대해 더 강력하고 안정적인 변형인 균일 타원너비(uniform twin-width)를 도입하고, 군 작용에서의 순열 패턴을 통해 유한 타원너비를 특성화한다.

ABSTRACT

Twin-width is a recently introduced graph parameter with applications in algorithmics, combinatorics, and finite model theory. For graphs of bounded degree, finiteness of twin-width is preserved by quasi-isometry. Thus, through Cayley graphs, it defines a group invariant. We prove that groups which are abelian, hyperbolic, ordered, solvable, or with polynomial growth, have finite twin-width. Twin-width can be characterised by excluding patterns in the self-action by product of the group elements. Based on this characterisation, we propose a strengthening called uniform twin-width, which is stable under constructions such as group extensions, direct products, and direct limits. The existence of finitely generated groups with infinite twin-width is not immediate. We construct one using a result of Osajda on embeddings of graphs into groups. This implies the existence of a class of finite graphs with unbounded twin-width but containing $2^{O(n)} \cdot n!$ graphs on vertex set $\{1,\dots,n\}$, settling a question asked in a previous work.

연구 동기 및 목표

• 작은 추측을 군론적 방법을 사용해 반례를 구성함으로써 해결하기 위해.
• 군 원소의 자기작용(self-action)에서의 순열 패턴을 통해 유한 타원너비를 특성화하기 위해.
• 군 연산에 대해 더 강력하고 더 안정적인 타원너비의 변형인 균일 타원너비를 도입하고 연구하기 위해.
• 타원너비가 준등거리 사상과 코arse 임bedding에 대해 유지됨을 보여 군 불변량임을 입증하기 위해.
• 타원너비와 큐 수(queue number) 간의 관계를 탐색하고, 타원너비 결과를 무한 및 유한 생성되지 않은 군으로 확장하기 위해.

제안 방법

• 오사자다의 임bedding 정리를 사용하여 타원너비가 무한인 유한 생성 군을 구성하기 위해.
• 균일 타원너비를 군 작용 순열의 너비에 대한 균일한 상한으로 정의하고, 유한 타원너비 조건을 일반화하기 위해.
• 균일 타원너비가 군 확장, 직접곱, 직접 극한, 유한 지표 부분군 또는 상부군에 대해 유지됨을 증명하기 위해.
• 유한 타원너비를 군 원소의 자기작용에서 특정 순열 패턴을 피하는 것으로 특성화하기 위해.
• 행렬 초합성과 인접행렬 표현을 통해 타원너비와 큐 수를 연결하기 위해.
• 바이징의 정리와 행렬 분해 기법을 적용하여 큐 수를 간선 색칠과 레이아웃 구조와 연결하기 위해.

실험 결과

연구 질문

• RQ1 소수의 추측을 반박하는 데 유한 생성 군 중 타원너비가 무한인 것이 존재하는가?
• RQ2 군 원소의 자기작용에서의 순열 패턴을 통해 군의 타원너비를 특성화할 수 있는가?
• RQ3 군 연산에 대해 유지되는 더 강력한 타원너비의 변형—균일 타원너비—가 존재하는가?
• RQ4 군에서 타원너비와 큐 수는 어떻게 관련되어 있으며, 타원너비 결과를 큐 수로 확장할 수 있는가?
• RQ5 정수 집합 Z 위에서 유한 지지를 가진 순열의 군은 유한 타원너비를 가지지만 균일 타원너비는 무한인가?

주요 결과

• 타원너비가 무한인 유한 생성 군의 존재가 입증되어, 소 클래스의 그래프는 반드시 유계 타원너비를 가져야 한다는 '작은 추측'을 반증한다.
• 군에서의 유한 타원너비는 모든 군 원소가 어떤 고정된 패턴을 피하는 순열로 작용하는 총순서(total order)의 존재와 동치이다.
• 균일 타원너비가 도입되었고, 군 확장, 직접곱, 직접극한, 유한 지표 부분군 또는 상부군에 대해 유지됨이 증명되었다.
• 아벨 군, 하이퍼볼릭 군, 가해군, 다항식 성장성을 가진 군은 모두 유한 균일 타원너비를 가진다.
• 타원너비가 무한인 군의 케일리 그래프의 유한 부분그래프들의 집합은 유계 타원너비를 가지지 않으며, 소 클래스이므로, 이는 작은 추측에 대한 반례를 제공한다.
• 큐 수와 타원너비는 관련이 있다: 균일 큐 수가 유한인 군에는 오른쪽 순서가 가능한 군(균일 큐 수 1)이 포함되며, 결과는 매트릭스 특성화를 통해 무한 군으로 확장된다.