[論文レビュー] Statistical properties of braid groups in locally free approximation

A. M. Vershik, Sergei Nechaev+1 more|ArXiv.org|May 30, 1999

Topological and Geometric Data Analysis参考文献 1被引用数 14

ひとこと要約

本稿は、局所自由群を近似対象として用い、ブレード群の統計的性質を調査し、生成子数が大きい極限における語の成長、ドリフト、エントロピーの漸近的推定値を導出する。ドリフトが $ \frac{2 - \alpha}{3 - \alpha} $ に収束することを確立し、典型的なランダムウォーク軌道が全可能な群元のうちごくわずかにしか探索しないことを示す重要な不等式 $ \#{\cal V}(w) \gg \#{\cal L}(w) $ を発見する。この結果は、絡み目のエントロピーおよび表面成長モデルに影響を及ぼす。

ABSTRACT

Statistical and probabilistic characteristics of locally free group with growing number of generators are defined and their application to statistics of braid groups is given.

研究の動機と目的

• 生成子数 $ n \to \infty $ の極限におけるブレード群の漸近的統計的挙動を分析すること。
• 局所自由群をブレード群の扱いやすい近似として用い、語の成長、ドリフト、エントロピーといった主要な不変量の計算を可能とすること。
• 局所自由群の対応するランダムウォークのドリフトおよびエントロピーに関する定量的境界を、ブレード群のドリフトおよびエントロピーに適用すること。
• 典型的な軌道が探索する群の体積と全群体積との差異を、ランダムヒープ成長におけるフラクタル構造の兆候として解釈すること。

提案手法

• 生成子 $ f_1, \dots, f_n $ を持つ非可換群として局所自由群 $ \mathcal{LF}_n $ を定義し、$ |j-k| \geq 2 $ のとき $ f_j f_k = f_k f_j $ が成り立ち、隣接する生成子は非可換であることを規定する。
• ピースのヒープの概念を用いて語の短縮と $ \mathcal{LF}_n $ 内の異なる語の数のカウントをモデル化し、部分的に可換なモノイドと関連付ける。
• 局所自由群 $ \mathcal{LF}_n $ 上のランダムウォークを解析し、$ N $ ステップ後の原点からの期待距離（ドリフト）を計算し、$ \alpha $ を用いた漸近的表現を導出する。
• $ \mathcal{LF}_n $ および $ \mathcal{LF}_n^+ $ 上のランダムウォークのエントロピーを計算し、全群では $ h \approx (3 - \alpha) \log 3 $、正の半群では $ h^+ \approx \log 3 $ であることを示す。
• $ \#{\cal V}(w) \gg \#{\cal L}(w) $ を確立する。ここで $ \#{\cal V}(w) $ は典型的な軌道が訪問する語の数、$ \#{\cal L}(w) $ は到達可能な異なる群元の数を表し、群全体の語空間のうちごくわずかにしか探索しないことを示す。
• ブレード群 $ B_n $ を局所自由群の商として用い、$ \mathcal{LF}_n \subset B_n $ の近似を活用して、そのドリフトおよびエントロピーの両側境界を導出する。

実験結果

リサーチクエスチョン

• RQ1 $ n \to \infty $ の極限において、ブレード群上でのランダムウォークのドリフトおよびエントロピーはどのように漸近的に振る舞うか？
• RQ2 局所自由群における異なる語の数と、典型的なランダムウォーク軌道が訪問する語の数との関係は何か？
• RQ3 なぜランダムに成長するヒープの屋根部はボリュームと比べて非一様な密度を示すのか？ その背後にある群論的構造は何か？
• RQ4 局所自由群は、特に $ n $ が大きい極限において、ブレード群の統計的性質を信頼できる近似として用いることができるか？
• RQ5 訪問された語の体積 $ \#{\cal V}(w) $ と異なる群元の数 $ \#{\cal L}(w) $ の間で指数的発散が生じる原因は何か？

主な発見

• 局所自由群 $ \mathcal{LF}_n $ 上のランダムウォークのドリフトは $ \frac{2 - \alpha}{3 - \alpha} $ に有界であり、$ |\alpha| < \frac{1}{2} $ であるため、$ n $ が大きい極限で安定化することが示された。
• 局所自由群 $ \mathcal{LF}_n $ 上のランダムウォークのエントロピーは漸近的に $ h \approx (3 - \alpha) \log 3 $ であり、正の半群 $ \mathcal{LF}_n^+ $ 上では $ h^+ \approx \log 3 $ である。
• 典型的なランダムウォーク軌道が訪問する異なる群元の数 $ \#{\cal L}(w) $ は $ \exp(Nh) \approx (3 - \alpha)^N $ のように成長するが、長さ $ N $ の異なる語の総数 $ \#{\cal V}(w) $ は $ 7^{\frac{2 - \alpha}{3 - \alpha}N} $ のように成長する。
• $ \#{\cal V}(w) \gg \#{\cal L}(w) $ の不等式は指数的に成り立つため、典型的な軌道は群の語空間のうちごくわずかにしか探索しない。
• ブレード群 $ B_n $ に対して、ドリフトは $ \frac{2 - \alpha}{2(3 - \alpha)} < l(B_n) \leq \frac{2 - \alpha}{3 - \alpha} $ の両側境界を満たすことが、局所自由群の近似から導出された。
• 物理的解釈として、この指数的発散は、屋根部密度 $ \overline{\rho}_{\rm roof} \approx \frac{1}{3} $ がボリューム密度 $ \overline{\rho}_{\rm heap} \approx 0.247 $ と著しく異なることと関連し、数値シミュレーションおよびKPZ型表面成長モデルと整合的である。