[論文レビュー] Spectral Radius and Amenability in Hilbert Geometries

Constantin Vernicos|arXiv (Cornell University)|Dec 10, 2007

Geometric Analysis and Curvature Flows参考文献 13被引用数 6

ひとこと要約

この論文は、ヒルベルト幾何学のスペクトルの下端が正であるための必要十分条件が、その幾何学がアメニタリーであること、つまりフォルナー列を許容することであることを確立している。著者たちは、ヒルベルト幾何学とその離散化との間のクアイジアイソメトリーを示し、連続的・離散的スペクトル理論を結びつける滑らか化作用素を用いることで、離散マコフ作用素のスペクトル半径が1未満であることは、まさにスペクトルの下端が正であるときであることを示しており、非リーマン的設定において、アメニタリー性とスペクトル正性を結びつけている。

ABSTRACT

We study the bottom of the spectrum in Hilbert geometries, we show that it is zero if and only if the geometry is amenable, in other words if and only if it admits a Fölner sequence. We also show that the bottom of the spectrum admits an upper bound, which depends only on the dimension and which is the bottom of the spectrum of the Hyperbolic geometry of the same dimension. Horoballs, from a purely metric point of view, and their relation with the bottom of the spectrum in Hilbert geometries are briefly studied.

研究の動機と目的

• ヒルベルト幾何学におけるアメニタリー性のスペクトル幾何的特徴づけを確立すること。
• リーマン幾何学における、チーハー定数の正とスペクトルの下端の正の同値性という結果を、ヒルベルト幾何学という非リーマン的設定に拡張すること。
• スペクトルの下端がゼロであることは、ヒルベルト幾何学がアメニタリーであること、すなわちフォルナー列を許容することと同値であることを証明すること。
• 任意のヒルベルト幾何学の離散化におけるマコフ作用素のスペクトル半径が1未塔であることは、スペクトルの下端が正であることと同値であることを示すこと。
• ヒルベルト幾何学とその離散化との間のクアイジアイソメトリーを確立し、連続的・離散的設定の間でスペクトル的および幾何的性質を移動可能にする。

提案手法

• 著者たちは、離散グラフ（ヒルベルト幾何学の離散化）から連続的凸領域への関数の上昇を可能にする滑らか化作用素を用いる。
• 半径 $2\rho$ の球の局所的有限被覆に対する正規化分割を定義し、幾何学的制御を一様に保つ。
• 滑らか化作用素を用いて、離散関数の $L^2$ ノルムおよびエネルギー（ディリクレ型形式）を、一様定数 $C_1$ および $C_2$ を用いて連続的対応物と関連づけ、スペクトル比較を確立する。
• 証明は、ヒルベルト幾何学とその離散化との間のクアイジアイソメトリーに依拠しており、幾何的およびスペクトル的性質の移動を可能にする。
• 著者たちは、先行研究のチーハー型不等式を応用し、連続的幾何学のチーハー定数と離散グラフのチーハー定数との関係を確立する。
• 離散グラフ上の単純ランダムウォークに関連するマコフ作用素 $T$ を用いて、スペクトル半径 $\rho(\mathbf{G})$ を特徴づけ、エネルギー形式 $\langle(1-T)f,f\rangle$ を介してスペクトルの下端と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 ヒルベルト幾何学におけるスペクトルの下端が正であることは、その幾何学がアメニタリーであること、すなわちフォルナー列を許容することと同値であるか？
• RQ2 ヒルベルト幾何学のスペクトル的性質は、特に離散グラフ上のマコフ作用素のスペクトル半径を通じて、その離散化を通じて特徴づけられるか？
• RQ3 リーマン幾何学と同様に、ヒルベルト幾何学のチーハー定数が正であることと、スペクトルの下端が正であることとは同値であるか？
• RQ4 ヒルベルト幾何学のスペクトル的および幾何的性質は、特にスペクトルの下端の観点から、双曲空間の性質とどの程度類似しているか？
• RQ5 滑らか化作用素を用いて、一様有界な定数を伴い、離散グラフ上の関数の $L^2$ エネルギーとそのヒルベルト幾何学への連続的上昇との関係をどのように結びつけることができるか？

主な発見

• スペクトルの下端 $\lambda_1(\mathcal{C})$ がゼロであることは、ヒルベルト幾何学 $\mathcal{C}$ がアメニタリーであること、すなわちフォルナー列を許容することと同値である。
• スペクトルの下端は、$n$ 次元の双曲空間のスペクトルの下端によって上から押さえられ、これは鋭い上界である。
• チーハー定数 $I_\infty(\mathcal{C})$ の正の性質は、チーハー型不等式を介して、スペクトルの下端 $\lambda_1(\mathcal{C})$ の正の性質と同値である。
• ヒルベルト幾何学の任意の離散化 $\mathbf{G}$ におけるマコフ作用素のスペクトル半径 $\rho(\mathbf{G})$ は、$\rho(\mathbf{G}) < 1$ であることと $\lambda_1(\mathcal{C}) > 0$ であることとが同値であり、離散的・連続的スペクトルの同値性を確立する。
• 滑らか化作用素 $\mathcal{S}$ は一様有界性を満たす：$||f||_2^2 \leq C_1||\mathcal{S}f||_2^2$ および $||d\mathcal{S}f||_2^2 \leq C_2\langle(1-T)f,f\rangle$ であり、これによりスペクトル比較が可能になる。
• ヒルベルト幾何学はその離散化とクアイジアイソメトリックであるため、連続的および離散的設定間でスペクトル的および幾何的性質を移動可能にする。