[論文レビュー] Non-amenability of product replacement graphs

Anton Malyshev|arXiv (Cornell University)|May 10, 2013

Product Development and Customization参考文献 20被引用数 3

ひとこと要約

この論文は、十分に大きな n に対して、一様に非可換群および Z-大きな群における製品交換グラフ Γₙ(G) が非可換であることを証明している。主な結果として、双曲的群、線形群、基本的可換群、および自由バーンサイド群について非可換性が確立され、無限に生成された群において製品交換グラフの非可換性に関する予想を支持する。

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.

研究の動機と目的

• 無限に生成された群 G に対して、十分に大きな 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 双曲的群、線形群、基本的可換群は、Γₙ(G) の非可換性結果の範囲に含まれるか？
• RQ5 Aut(Fₙ) がカジダールの性質 (T) を持つことと、製品交換グラフの非可換性との関係は何か？

主な発見

• G が一様に非可換であるとき、すべての n ≥ d(G) に対して製品交換グラフ Γₙ(G) は非可換である。
• Z-大きな群では、n が十分に大きくなると Γₙ(G) は非可換である。
• 双曲的群において、Γₙ(G) が非可換であるという予想は正しい。
• 線形群および基本的可換群（特に準アーベル群や準アーベル群を含む）に対しても、予想は成り立つ。
• この結果により、これらのクラスにおいて n が大きいとき Γₙ(G) が指数的成長を示すことが確認され、従来の結果が拡張される。
• 証明手法により、一様に非可換群における Γₙ(G) のチェーバー定数に一様な下界が得られる。