[論文レビュー] Compression of uniform embeddings into Hilbert space

N. Brodskiy, D. Sonkin|ArXiv.org|Sep 5, 2005

Advanced Operator Algebra Research参考文献 6被引用数 4

ひとこと要約

この論文は、双曲群および有限次元CAT(0)立方複体上にproperかつcocompactに作用する群が、圧縮関数が漸近的に少なくとも $ \frac{t}{\sqrt{\ln t} \cdot \ln \ln t} $ であるヒルバート空間への一様埋め込みを有することを確立している。これは、それらの群のヒルバート空間圧縮が正確に1であることを意味する。構成法は立方複体内の超平面の分離に基づく重み付き埋め込みを用い、先行研究を精緻化し、ボーガインの境界によって制約されるように、このような埋め込みが $ \frac{t}{\sqrt{\ln t}} $ を超える準等長的圧縮を達成できないことを示している。

ABSTRACT

If one tries to embed a metric space uniformly in Hilbert space, how close to quasi-isometric could the embedding be? We answer this question for finite dimensional CAT(0) cube complexes and for hyperbolic groups. In particular, we show that the Hilbert space compression of any hyperbolic group is 1.

研究の動機と目的

• メトリック空間をヒルバート空間に一様埋め込む場合、それがどれほど準等長に近いかを特定すること。
• 双曲群およびCAT(0)立方複体の均一埋め込みの漸近的圧縮挙動を分析すること。
• これらの群のクラスにおけるヒルバート空間圧縮の既存の下界を改善すること。
• 一様埋め込みが圧縮を $ t $ に近づけることができるか、それとも対数的要因によって制限されるかを調査すること。
• 幾何的群論と関数解析的手法を組み合わせることで、圧縮の鋭い境界を確立すること。

提案手法

• 立方複体における超平面の分離に基づき、$ t \geq M $ に対して重み関数 $ \xi(t) = \frac{\sqrt{t}}{\sqrt{\ln t} \cdot \ln \ln t} $ を用いて一様埋め込み $ f: G \to \mathcal{H} $ を構成する。
• 埋め込みを $ f(V) = \sum_h \xi(N_V(h)) \cdot \vec{e}_h $ で定義する。ここで $ N_V(h) $ は、正規立方体パスにおける $ V $ から超平面 $ h $ までの距離を数える。
• $ \ell^2 $-ノルムを用いて隣接頂点間の $ \xi $-値の差のノルムを評価し、エッジの拡張が一様に有界であることを示すことにより、拡張 $ \delta_f(t) \preceq t $ を境界づける。
• 超平面の数を分析することにより、距離 $ t $ 離れた2点間の圧縮関数 $ \rho_f(t) $ を下から評価する。この際、$ \xi $ の非減少性を用いる。
• 補題2.5の和分推定を適用し、$ \xi(t) $ の成長を活用して $ \rho_f(t) \succeq \frac{t}{\sqrt{\ln t} \cdot \ln \ln t} $ を示す。
• ボーガインおよびサージェーヴ＝ヴァイスの既知の結果を用いて、群にランク2の自由部分群がない場合、群はほとんどアーベル的であり、したがって準等長的埋め込み可能であることを示す。そうでない場合、圧縮は $ \frac{t}{\sqrt{\ln t}} $ で有界である。

実験結果

リサーチクエスチョン

• RQ1 双曲群のヒルバート空間への一様埋め込みが、線形に近い圧縮を達成できるか、それとも対数的要因によって制限されるか？
• RQ2 有限次元CAT(0)立方複体上に作用する群のヒルバート空間圧縮の最良下界は何か？
• RQ3 自由群 $ F_2 $ に対して、すべての $ n $ に対して $ \rho_f(t) \succeq t^{1 - \frac{1}{n}} $ を満たす一様埋め込みが存在するか、それとも一連の埋め込みを用いる必要があるか？
• RQ4 有限部分群の存在が、ヒルバート空間への準等長的埋め込みの可能性に与える影響は何か？
• RQ5 一様埋め込みの圧縮を $ \frac{t}{\sqrt{\ln t}} $ を超えて改善できるか、それともこれが理論的限界か？

主な発見

• 任意の双曲群のヒルバート空間圧縮は正確に1であり、これは圧縮関数 $ \rho_f(t) \succeq \frac{t}{\sqrt{\ln t} \cdot \ln \ln t} $ を有する一様埋め込みを許容することを意味する。
• 自由群 $ F_2 $ に対して、一様埋め込みを1つ構成し、圧縮 $ \rho_f(t) \succeq \frac{t}{\sqrt{\ln t} \cdot \ln \ln t} $ を達成した。これは、従来の埋め込みの系列を用いた結果を改善している。
• 固定された $ n $ に対して、この構成は $ t^{1 - \frac{1}{n}} $ よりも厳密に良い圧縮を達成し、1未満の任意のべきよりも速く $ t $ に近づく。
• 非自明な双曲群のヒルバート空間への一様埋め込みは、すべて $ \rho_f(t) \preceq \frac{t}{\sqrt{\ln t}} $ を満たし、これはボーガインの上界と一致する。
• 有限次元CAT(0)立方複体上にproperかつcocompactに作用する群に対して、有限部分群の位数が一様に有界であれば、群はほとんどアーベル的（したがって準等長的埋め込み可能）であるか、すべての一様埋め込みが $ \rho_f(t) \preceq \frac{t}{\sqrt{\ln t}} $ を満たす。
• 構成された埋め込みは圧縮 $ \rho_f(t) \succeq \frac{t}{\sqrt{\ln t} \cdot \ln \ln t} $ を達成し、これは既知の制約のもとで、より速い成長は不可能であるという意味で鋭い境界である。