[논문 리뷰] Density of growth rates of subgroups of a free group -- an alternative proof

Ádám Timár|arXiv (Cornell University)|2026. 01. 18.

Geometric and Algebraic Topology인용 수 0

한 줄 요약

논문은 자유군 F_r의 유한 생성 부분군의 성장률이 구간 [1, 2r-1]에서 조밀하다는 짧고 초등적인 대체 증명을 제공합니다. 이는 강하게 주기적 트리를 구성하고 성장률을 비역행 스펙트럼과 연관지음으로써 달성됩니다.

ABSTRACT

We give an alternative proof to the theorem recently proved by Louvaris, Wise and Yehuda, that the growth rates of finitely generated subgroups of $F_r$ are dense in $[1,2r-1]$.

연구 동기 및 목표

• 자유군 F_r (r ≥ 2)의 부분군에서 어떤 성장률이 나타나는지 결정하는 문제를 동기 부여한다.
• 문제를 {2,...,2r}의 차수를 갖는 유한 그래프의 선도적 비역행 고윳값의 밀도에 축소한다.
• 유한 그래프의 보편 커버를 통해 성장률의 밀도를 보이는 초등적 구성 방법을 제공한다.
• 부분군의 성장을 비역행 행렬의 Perron 고윳값과 그래프의 보편 커버와 연결한다.
• Louvaris-Wise-Yehuda 접근법에 대한 자족적 대체를 제공한다.

제안 방법

• F_r의 유한 생성 부분군을 Schreier 그래프로 매핑하기 위해 기점(basepoint)을 선택하고 그래프를 2r-정규로 만들고 간선에 생성자들로 라벨링한다.
• 그래프 G의 비역행 행렬 B_G를 사용하여 성장률과 그 선두 고윳값 λ_1(B_G)을 연결한다.
• 구간 [1,2r-1]에서 성장률의 밀도가 {2,...,2r} 차수를 갖는 유한 그래프의 λ_1(B_G) 값의 밀도에서 따른다.
• 정렬된 잘 간격의 간선 집합 F를 따라 간선을 세분화하면 강하게 주기성을 유지하면서 성장률을 최소 gr(T)^{n/(n+1)}배로 증가시킨다는 보조정리(lemma)를 증명한다.
• 간선의 세분화와 색칠을 통해 강하게 주기적인 트리를 구성하여 성장률을 (d-1)^{1/K}와 (d-1)^{1/(2K)} 사이를 보간하도록 한다.

실험 결과

연구 질문

• RQ1 자유군 F_r의 유한 생성 부분군의 가능한 성장률은 무엇인가?
• RQ2 이 성장률들의 집합이 [1, 2r-1]에서 조밀한가?
• RQ3 강하게 주기적 트리나 보편 커프를 통해 (1, 2r-1) 내의 임의의 목표 성장률을 실현할 수 있는가?
• RQ4 비역행 스펙트럼은 Schreier 그래프를 통한 부분군 성장과 어떻게 관계하는가?

주요 결과

• 자유군 F_r의 유한 생성 부분군의 성장률은 [1, 2r-1]에서 조밀하다.
• Schreier 그래프의 비역행 행렬의 Perron 고윳값은 F_r에서의 부분군 성장률을 포착한다.
• 간단한 세분화/간선 길이 조작은 강한 주기성을 보존하고 성장률을 제어하여 끝점 사이의 보간을 가능하게 한다.
• 보편 커버와 간선 색칠을 이용한 구성적 계획은 구간의 임의의 목표에 접근하는 강하게 주기적인 트리의 일련의 집합을 산출한다.
• 이 결과는 밀도를 입증하기 위해 이전에 사용되던 확률적이거나 복잡한 주장에 대한 접근 가능한 대안을 제공한다.