[논문 리뷰] Non-amenability of product replacement graphs

Anton Malyshev|arXiv (Cornell University)|2013. 05. 10.

Product Development and Customization참고 문헌 20인용 수 3

한 줄 요약

이 논문은 n이 충분히 클 때, 균일하게 비암여미성인 군과 Z-크기 군에 대해 제품 치환 그래프 Γₙ(G)가 비암여미성임을 증명한다. 핵심 결과는 초등적 비암여미성 군, 하이퍼볼릭 군, 선형 군, 기본 암여미성 군, 그리고 자유 버닝사이드 군에 대해 비암여미성을 확립하며, 무한 유한생성 군에 대해 큰 n에 대해 제품 치환 그래프의 비암여미성에 대한 추측을 지지한다.

ABSTRACT

We prove non-amenability of the product replacement graphs Γ_n(G) for uniformly non-amenable groups. We also prove it for Z-large groups, when n is sufficiently large. It follows that Γ_n(G) is non-amenable when n is sufficiently large for hyperbolic groups, linear groups, and elementary amenable groups.

연구 동기 및 목표

• 무한 유한생성 군에 대해 충분히 큰 n일 때 제품 치환 그래프 Γₙ(G)가 비암여미성임을 증명하는 것.
• 균일하게 비암여미성 군과 Z-크기 군에 대해 Γₙ(G)의 비암여미성을 확립하는 것.
• 초등적 비암여미성 군, 하이퍼볼릭 군, 선형 군 등의 더 넓은 군의 클래스로 결과를 확장하는 것.
• 균일 비암여미성과 Z-크기성 같은 군의 성질과 제품 치환 그래프의 기하학적 구조 간의 관계를 명확히 하는 것.
• 제품 치환 알고리즘의 혼합 시간과 확장 성질을 이해하기 위한 기초를 마련하는 것.

제안 방법

• 비암여미성의 척도로 체이퍼 상수 h(Γ)를 사용하며, h(Γ) > 0이면 그래프가 비암여미성임을 정의한다.
• 균일 비암여미성 개념을 적용하여, 모든 생성 n-튜플에 대해 체이퍼 상수의 하한이 양수인 상수 h(G,n)로 유계됨을 보장한다.
• 리프시츠 사상과 밀집 부분집합을 활용하여 Γₙ(G)의 기하학적 구조를 G의 카일리 그래프와 연결한다.
• 논문 [A+]에서 알려진 균일 비암여미성 결과를 활용하여, 제품 치환 그래프로의 비암여미성 확장을 이끌어낸다.
• 니엘 이동을 사용하여 제품 치환 그래프의 간선을 정의함으로써, 생성 n-튜플에 대해 그래프가 잘 정의됨을 보장한다.
• 준등거리 변환 논리를 적용하여, 균일 비암여미성 조건 하에서 카일리 그래프의 비암여미성이 제품 치환 그래프로 이행됨을 보인다.

실험 결과

연구 질문

• RQ1 무한 유한생성 군 G의 제품 치환 그래프 Γₙ(G)가 충분히 큰 n일 때 비암여미성이 되는가?
• RQ2 균일하게 비암여미성 군에 대해 Γₙ(G)의 비암여미성을 확립할 수 있는가?
• RQ3 G의 Z-크기성 성질이 큰 n에 대해 Γₙ(G)의 비암여미성을 유도하는가?
• RQ4 하이퍼볼릭 군, 선형 군, 기본 암여미성 군은 비암여미성 결과에 포함되는가?
• RQ5 자기동형군 Aut(Fₙ)이 카즈한의 성질 (T)를 갖는 것과 제품 치환 그래프의 비암여미성 사이의 관계는 무엇인가?

주요 결과

• G가 균일하게 비암여미성일 경우, 모든 n ≥ d(G)에 대해 제품 치환 그래프 Γₙ(G)는 비암여미성이다.
• Z-크기 군의 경우, n이 충분히 클 때 Γₙ(G)는 비암여미성이다.
• 큰 n에 대해 Γₙ(G)의 비암여미성에 대한 추측은 하이퍼볼릭 군에 대해 성립한다.
• 이 추측은 선형 군과 기본 암여미성 군, 특히 가상 아벨 및 가상 암여미성 군에도 성립한다.
• 결과는 이러한 군의 클래스에서 큰 n에 대해 Γₙ(G)가 지수적 성장을 가짐을 확인하며, 이는 이전 결과를 확장한다.
• 증명 기법은 균일하게 비암여미성 군에 대해 Γₙ(G)의 체이퍼 상수에 대한 균일한 하한을 제공한다.