[論文レビュー] Free products of sofic groups with amalgamation over monotileably amenable groups

Benoı̂t Collins, Ken Dykema|arXiv (Cornell University)|Mar 8, 2010

Random Matrices and Applications参考文献 10被引用数 17

ひとこと要約

この論文は、単調タイル化可能アーベル部分群を共有するソフィック群の自由積が、ソフィックであることを証明し、ソフィック群のクラスの閉包性を拡張する。さらに、特定のトレースおよび距離条件の下で、独立な一様分布の置換行列の族と、ソフィック群の準作用から生じる非ランダム置換行列との間で、漸近的*-自由性が確立される。

ABSTRACT

We show that free products of sofic groups with amalgamation over monotileably amenable subgroups are sofic. Consequently, so are HNN extensions of sofic groups relative to homomorphisms of monotileably amenable subgroups. We also show that families of independent uniformly distributed permutation matrices and certain families of non-random permutation matrices (essentially, those coming from quasi--actions of a sofic group) are asymptotically *-free as the matrix size grows without bound.

研究の動機と目的

• ソフィック群のクラスが、単調タイル化可能アーベル部分群を共有する自由積に関して閉じていることを確立すること。
• 特に非アーベル的だが単調タイル化可能アーベル部分群を含む場合を含め、既知のケースを超えたソフィック群の閉包性を拡張すること。
• 独立に一様分布する置換行列の族と、ソフィック群の準作用から導かれる非ランダム置換行列との間の漸近的*-自由性を調査すること。
• トレースおよび正規化されたハミング距離の基準を用いて、置換行列の族の文脈における漸近的*-自由性の十分条件を提供すること。
• 近似手法によるソフィック群の構造的理解を強化することで、コンヌの埋め込み問題および関連する予想に貢献すること。

提案手法

• $(F,\epsilon)$-準作用を用いて、群の要素を正規化されたハミング距離が制御された置換で近似することにより、ソフィック性を定義する。
• 可算群のソフィック性を特徴付けるために、商 $\left(\prod S_{n(k)}\right) / \bigoplus (S_{n(k)}, \text{dist})$ を用いた超積構成を採用する。
• 独立なランダム置換行列の混合トレースを分析するために、ニカの漸近的自由性結果を応用する。
• 鍵となる技術的条件の導入：非ランダム行列 $B_{j,d}$ に対して、$\text{tr}_d(B_{j,d}) \to 0$ または $\text{dist}(B_{j_1}B_{j_2}, B_{j_3}) = 0$ が成り立つことで、混合積におけるトレースの減少を保証する。
• ランダム置換行列 $V$ と固定された族 $(U_i)$ の間の条件付き期待値および独立性を用いて、混合トレース期待値を評価する。
• トレースの減少を、$C_n \max(f(d), \epsilon_d) + D_n d^{-1}$ という形のバインドにより確立する。ここで $f(d)$ は $B_{j,d}$ の最大トレースであり、$\epsilon_d \searrow 0$ である。

実験結果

リサーチクエスチョン

• RQ1 ソフィック群のクラスは、単調タイル化可能アーベル部分群を共有する自由積に関して閉じたままであるか？
• RQ2 独立なランダム置換行列と、ソフィック群の準作用から生じる非ランダム置換行列との間で、漸近的*-自由性を確立できるか？
• RQ3 非ランダム置換行列にどのような条件を課すと、それらの混合トレースが $d \to \infty$ の極限で消えるのか？
• RQ4 正規化されたハミング距離とトレースの条件が、ソフィック群近似の文脈で漸近的自由性を保証するためにどのように作用するか？
• RQ5 単調タイル化可能アーベル部分群は、アーベル群を超えてソフィック性の閉包結果を拡張するためにどの程度有効か？

主な発見

• 単調タイル化可能アーベル部分群を共有するソフィック群の自由積は、ソフィックである。これは、既知の閉包結果を拡張する。
• 単調タイル化可能アーベル部分群からの準同型に関するHNN拡大も、ソフィックである。
• 独立に一様分布する置換行列の族と、ソフィック群の準作用から生じる特定の非ランダム置換行列の族は、$d \to \infty$ のとき漸近的に*-自由である。
• 漸近的自由性は、$\text{tr}_d(B_{j,d}) \to 0$ または $\text{dist}(B_{j_1}B_{j_2}, B_{j_3}) = 0$ という条件下で確立され、混合語におけるトレースの減少を保証する。
• ランダム行列と非ランダム行列を含む非自明な縮約語の混合語のトレースは、$d \to \infty$ のとき期待値として 0 に収束する。
• 証明は、ニカの漸近的自由性と、$\max(f(d), \epsilon_d)$ を含む精密なトレースバインドの組み合わせに依存しており、$d \to \infty$ のときこの量は 0 に収束する。