[論文レビュー] On concentration of convolutions of double cosets at infinite-dimensional limit

Yury A. Neretin|arXiv (Cornell University)|Nov 26, 2012

advanced mathematical theories参考文献 10被引用数 3

ひとこと要約

この論文は、無限次元対称群およびユニタリ群における二重コセットの畳み込みが、次元が無限大に近づくにつれて、極限的な二重コセットに集中することを確立している。超群構造とランダム行列の共役作用の漸近的解析を用いて、二重コセット上の一様測度の畳み込みが確率的に単一の二重コセットに収束することを証明し、これにより無限次元二重コセット空間上に明確に定義された半群演算が存在することを裏付けている。

ABSTRACT

For infinite-dimensional groups $G\supset K$ the double cosets $K\setminus G/K$ quite often admit a structure of a semigroup; these semigroups act in $K$-fixed vectors of unitary representations of $G$. We show that such semigroups can be obtained as limits of double cosets hypergroups (or Iwahori--Hecke type algebras) on finite-dimensional (or finite) groups.

研究の動機と目的

• 文献で形式的には仮定されていたが、厳密には証明されていなかった、$ \mathrm{S}(\infty) $ や $ \mathrm{U}(\infty) $ のような無限次元群における二重コセット空間 $ K\setminus G/K $ in に半群構造が存在することを厳密に確立すること。
• 有限次元二重コセット上の一様確率測度の畳み込みが、無限次元極限において単一の二重コセットに集中することを示すこと。
• 二重コセット超群の極限的挙動を構成的かつ解析的に証明し、従来は直感的ではあったが形式的証明が欠落していた文献のギャップを埋めること。
• 対称群からの構成をユニタリ群へ一般化し、両者の設定において同じ集中現象が成立することを示すこと。

提案手法

• コンpact部分群 $ K $ 上のハール一様測度 $ \varkappa $ を用いて、$ K $-双不変測度 $ \sigma_{\mathfrak{g}} = \varkappa * \delta_g * \varkappa $ の畳み込みにより、$ K\setminus G/K $ 上に超群構造を定義する。
• 二つのこのような測度 $ \sigma_{\mathfrak{g}} * \sigma_{\mathfrak{h}} $ の畳み込みを、二重コセット上の重み付き平均として表現し、$ K\setminus G/K $ 上の確率測度 $ \lambda_{\mathfrak{g},\mathfrak{h}} $ を得る。
• $ \mathrm{U}(n) $ および $ \mathrm{S}(n) $ の要素のブロック行列分解を用いて、$ K_N $ による積 $ g h g^{-1} $ の共役作用を分析し、特に $ N \to \infty $ における漸近的挙動に注目する。
• 摂動論法を適用する：例えばユニタリの場合に $ u $ を小さなブロックと仮定し、得られる行列式が標準形に収束することを示し、誤差項が極限で消えることを示す。
• $ \mathrm{U}(N) $ および $ \mathrm{S}(N) $ における共役不変性を用いて、行列式の形を簡略化し、標準的なブロック構造に還元する。
• 集中を証明するため、測度 $ \tau_{g,h} = \nu_{\mathfrak{g}} * \nu_{\mathfrak{h}} $ が十分大きな $ N $ に対して、固定された二重コセット $ g \circ_N h $ の $ \varepsilon $-近傍に $ 1 - \delta $ より大きな確率を割り当てる、すなわち、任意に高い確率で集中することを示す。

実験結果

リサーチクエスチョン

• RQ1 有限次元群 $ G_N = \mathrm{S}(\alpha + m(k+N)) $ における二重コセット上の一様測度の畳み込みは、$ N \to \infty $ のとき、単一の二重コセットに集中するか？
• RQ2 無限次元群 $ \mathbf{G} = \mathrm{S}(\infty) $ または $ \mathrm{U}(\infty) $ に対して、$ \mathbf{K}\setminus\mathbf{G}/\mathbf{K} $ 上の極限演算が半群演算として一貫して定義可能か？
• RQ3 無限次元対称群およびユニタリ群における二重コセット畳み込みの極限的挙動は、オルシャンスキーの先行研究が示唆したように、標準的な行列積構造に従うか？
• RQ4 超群畳み込みの収束をどのように定量的に記述できるか？また、極限が確率1に近づいて単一の二重コセットに集中するための条件は何か？

主な発見

• 任意の固定された $ \alpha $, $ k $, および $ \varepsilon > 0 $, $ \delta > 0 $ に対して、ある $ N_0 $ が存在し、すべての $ N \geq N_0 $ に対して畳み込み測度 $ \tau_{g,h} $ が二重コセット $ g \circ_N h $ の $ \varepsilon $-近傍に $ 1 - \delta $ より大きな確率を割り当てる。
• 極限演算 $ \circ $ は $ \mathbf{K}\setminus\mathbf{G}/\mathbf{K} $ 上で明確に定義されており、結合的であるため、空間に半群構造を与える。
• 対称群の場合、$ u = 0 $ を小さな測度の集合外で設定することで、正確な還元が可能となり、証明が簡略化され、ユニタリの場合よりも強い集中結果が得られる。
• 行列積 $ gJhJ^{-1} $（$ J $ は特定のブロック置換）は、極限二重コセット $ g \circ_N h $ を定義し、この表現は極限において安定化する。
• この結果は、群 $ G $ の表現理論、特に $ K $-固定ベクトルへの作用が、極限超群の表現を誘導することを裏付け、調和解析におけるこの構成の正当性を検証する。