[論文レビュー] Density of growth rates of subgroups of a free group -- an alternative proof

Ádám Timár|arXiv (Cornell University)|Jan 18, 2026

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 固有値およびグラフの普遍覆と relating させる。
• Louvaris-Wise-Yehuda アプローチへの自己完結的な代替を提供する。

提案手法

• F_r の有限生成部分群を支点を選んで Schreier グラフに写像し、グラフを 2r-正則化し、辺を生成元でラベル付けする。
• グラフ G の非バックトラック行列 B_G を用いて成長率をその主固有値 λ_1(B_G) と結びつける。
• 成長率が [1,2r-1] の稠密性は、次数が {2,...,2r} の有限グラフについての λ_1(B_G) の値の稠密性から生じる。
• 適切に間隔をとった集合 F の辺を分割することによって成長率を少なくとも gr(T)^{n/(n+1)} 倍に増加させつつ、強周期性を保持することを示す補題を証明する。
• エッジの分割と着色によって成長率を (d-1)^{1/K} と (d-1)^{1/(2K)} の間で内挿する、強周期木を構成する。

実験結果

リサーチクエスチョン

• RQ1 自由群 F_r の有限生成部分群の取り得る成長率は何か？
• RQ2 これらの成長率の集合は区間 [1, 2r-1] で稠密か？
• RQ3 strongly periodic trees や universal covers を用いて、(1, 2r-1) の任意の目標成長率を実現できるか？
• RQ4 Schreier グラフを通じた非バックトラックスペクトルは部分群の成長とどう関連するか？

主な発見

• F_r の有限生成部分群の成長率は [1, 2r-1] で稠密である。
• Schreier グラフの非バックトラック行列の Perron 固有値は、その部分群の成長率を捉える。
• 簡潔な分割/辺長操作は強周期性を保ち、成長率を制御して端点間の内挿を可能にする。
• 普遍覆と辺の着色を用いた構成スキームにより、区間内の任意の標的値に近づく強周期木の列を得る。
• この結果は、密度を確立するために以前用いられていた確率的/複雑な議論への入門的な代替を提供する。