[論文レビュー] Spectral distribution and $L^2$-isoperimetric profile of Laplace operators on groups

Alexander Bendikov, Christophe Pittet+1 more|arXiv (Cornell University)|Jan 2, 2009

Advanced Operator Algebra Research参考文献 12被引用数 5

ひとこと要約

本稿は、有限生成群上のラプラシアン作用素の $L^2$-等周的プロファイル $\Lambda(v)$ とスペクトル分布 $N(\lambda)$ の間の直接的な公式を確立し、可解群に対する鋭い推定を可能にする。主な貢献は、レジェンドル変換技術を用いて導出された新たな漸近的関係であり、グロモフとシュービンの結果を一般化し、有限の2次のモーメントを持つ適切な測度のもとでスぺクトル分布の不変性を証明する。

ABSTRACT

We give a formula relating the $L^2$-isoperimetric profile to the spectral distribution of the Laplace operator associated to a finitely generated group $Γ$ or a Riemannian manifold with a cocompact, isometric $Γ$-action. As a consequence, we can apply techniques from geometric group theory to estimate the spectral distribution of the Laplace operator in terms of the growth and the Følner's function of the group, generalizing previous estimates by Gromov and Shubin. This leads, in particular, to sharp estimates of the spectral distributions for several classes of solvable groups. Furthermore, we prove the asymptotic invariance of the spectral distribution under changes of measures with finite second moment.

研究の動機と目的

• 有限生成群上のランダムウォークの帰還確率 $p(t)$ と関連する $L^2$-等周的プロファイル $\Lambda(v)$ とスペクトル分布 $N(\lambda)$ の間の明確な漸近的関係を確立すること。
• 幾何的群論の技術をスぺクトル分布解析に組み込むことで、グロモフとシュービンによる先行研究の推定を一般化すること。
• 対称確率測度が有限の2次のモーメントを持ち、生成的台を持つ場合のスペクトル分布 $N(\lambda)$ の漸近的不変性を証明すること。
• 導出された公式を用いて、さまざまな可解群のクラスに対する $N(\lambda)$ の明示的で鋭い推定を提供すること。

提案手法

• レジェンドル変換技術を用いて、$N(\lambda)$ と $\Lambda(v)$ の間の新しい公式を導出し、やや弱い正則性仮定のもとでスぺクトル分布と等周的プロファイルを結びつける。
• 帰還確率とスペクトル測度の関係を表す恒等式 $p(2t) = \int_0^\infty (1 - \lambda)^{2t} dN(\lambda)$ を用い、漸近的解析を可能にする。
• コールホンとグリゴリヤンの漸近的関係 $t = \int_1^{\gamma(t)} \frac{dv}{\Lambda(v) v}$ を応用し、$p(2t)$ と $\Lambda(v)$ を結びつける。その後、この関係をスぺクトル恒等式と合成する。
• von Neumann のトレース $\operatorname{tr}_\Gamma$ とスぺクトル射影 $E^\Delta_\lambda$ を用いて $N(\lambda) = \operatorname{tr}_\Gamma(E^\Delta_\lambda)$ を定義し、スぺクトル分布を作用素理論に裏打ちする。
• エフレモフとシュービンの最小最大化原理を用い、作用素 $C_{\mu_1}$ と $C_{\mu_2}$ のスぺクトル射影を比較し、同型写像と作用素ノルムを介して $N_{\mu_1}(\lambda)$ と $N_{\mu_2}(\lambda)$ の境界を確立する。
• $L^2(\Gamma)$ の直和間の $\Gamma$-不変写像 $F$ と $G$ を構成し、$\operatorname{pr}_2 \circ F$ が有界な逆写像を持つ同型写像であることを証明することで、$N_{\mu_1}(\lambda^2) \leq N_{\mu_2}(\|T^{-1}\|^2 \lambda^2)$ を導出する。

実験結果

リサーチクエスチョン

• RQ1 有限生成群上のラプラシアン作用素のスペクトル分布 $N(\lambda)$ を、その $L^2$-等周的プロファイル $\Lambda(v)$ とどのように関連付けることができるか？
• RQ2 群の成長やフォルナー関数といった幾何的不変量を用いて、$N(\lambda)$ の漸近的挙動を推定できるか？
• RQ3 対称確率測度が有限の2次のモーメントを持ち、生成的台を持つ場合、スペクトル分布 $N(\lambda)$ はどの程度不変か？
• RQ4 可解群に対して $N(\lambda)$ の鋭い漸近的推定値は何か？ また、可換または非可換群に対する既知の結果と比べてどうなるか？
• RQ5 帰還確率 $p(2t)$、等周的性 $\Lambda(v)$、スペクトル分布 $N(\lambda)$ の間の相互作用を、統一的な漸近的公式として形式化できるか？

主な発見

• 本稿は、漸近的解析を用いて $N(\lambda)$ と $\Lambda(v)$ の間の直接的な公式を確立し、グロモフとシュービンの先行結果を一般化した。
• いくつかの可解群のクラスに対して、導出された公式によりスぺクトル分布 $N(\lambda)$ の鋭い推定値が得られ、以前の境界を改善した。
• 対称確率測度 $\mu$ が有限の2次のモーメントを持ち、生成的台を持つ場合の $N(\lambda)$ の漸近的挙動は、定理1.10で示されたように不変である。
• スぺクトル分布 $N(\lambda)$ は $N_{\mu_1}(\lambda^2) \leq N_{\mu_2}(\|T^{-1}\|^2 \lambda^2)$ を満たす。ここで $T$ は $\Gamma$-不変部分空間間の同型写像である。これにより、測度の変更に対する強固な不変性が確立された。
• 帰還確率 $p(2t)$ は $\frac{1}{\gamma(t)} \simeq p(2t)$ を満たす。ここで $\gamma(t)$ は $t = \int_1^{\gamma(t)} \frac{dv}{\Lambda(v) v}$ で定義される。これにより、ランダムウォークの減衰と等周的性が結びつけられた。
• 最小最大化原理と $\Gamma$-不変作用素の使用により、スぺクトル射影に対する精密な制御が可能となり、$N(\lambda)$ の定量的境界の導出が可能になった。