[論文レビュー] Embedding proper ultrametric spaces into $\ell_p$ and its application to nonlinear Dvoretzky's theorem

Kei Funano|arXiv (Cornell University)|Mar 8, 2012

Advanced Topology and Set Theory参考文献 10被引用数 3

ひとこと要約

本稿は、入れ子になった閉球に基づく再帰的分割と座標割り当て法を用いて、任意の $ p \geq 1 $ に対して、すべての適切な非アーベル距離空間が $\ell_p$ に等長埋め込み可能であることを証明する。応用として、非線形Dvoretzkyの定理の $\ell_p$ バージョンを確立し、任意のコンパクト距離空間が、等長埋め込みの歪みが2に限りなく近い、制御されたヒルベルト次元をもつ部分集合を含むことを示す。

ABSTRACT

We prove that every proper ultrametric space isometrically embeds into $\ell_p$ for any $p\geq 1$. As an application we discuss an $\ell_p$-version of nonlinear Dvoretzky's theorem.

研究の動機と目的

• 分離可能な非アーベル距離空間の $\ell_p$ への等長埋め込みに関するLeminの問題を、適切な非アーベル距離空間のクラスに限定して解決すること。
• コンパクトな非アーベル距離空間の階層的分割を用いた、$\ell_p$ 空間への等長埋め込みを構築する新しい手法を確立すること。
• 埋め込み結果を応用して、ヒルベルト空間や $\ell_1$-設定における既存の結果を拡張する $\ell_p$-空間における非線形Dvoretzky型定理を導出すること。

提案手法

• 半径が厳密に減少する閉球への、コンパクトな非アーベル距離空間の入れ子になった分割族の構成。
• 半径の $p$ 乗差分に基づいて、各球内から選ばれた点に $\ell_p$ 内の直交座標を割り当て、等長性と直交性を保証すること。
• 完備性と稠密性の議論を用いて、可算な稠密部分集合からの埋め込みを全空間へ拡張すること。
• 非アーベル距離三角不等式に依拠して、構成上距離がすべて正確に保存されることを証明すること。
• 主な埋め込み結果をMendelとNaorの非線形Dvoretzkyの定理に適用し、歪み制御可能な $\ell_p$-バージョンを導出すること。
• ランダムグラフに基づく距離空間を用いて歪みの上限の鋭さを示し、歪みが2未満であると、部分集合のヒルベルト次元が0に強制されることを示すこと。

実験結果

リサーチクエスチョン

• RQ1 任意の適切な非アーベル距離空間は、任意の $p \geq 1$ に対して $\ell_p$ に等長埋め込み可能か？
• RQ2 このような埋め込みの存在が、$\ell_p$-空間における非線形Dvoretzky型定理を可能にするか？
• RQ3 非線形Dvoretzkyの定理における歪みの上限2は、$\ell_p$-埋め込みにおいて鋭いか、それより改善可能か？
• RQ4 距離空間のヒルベルト次元と、$\ell_p$ に小歪みで埋め込み可能な部分集合の次元との関係は何か？
• RQ5 歪みが2未塔である不可能性の結果を、ランダムグラフ距離を用いて $\ell_p$-空間へ拡張可能か？

主な発見

• 任意の適切な非アーベル距離空間は、任意の $p \geq 1$ に対して $\ell_p$ に等長埋め込み可能であり、このクラスについてLeminの問題が解決された。
• 埋め込みは、入れ子になった閉球への再帰的分割と、半径差の $p$ 乗に基づく直交座標の割り当てにより構成される。
• この手法により、$c_0$ への等長埋め込みが副次的に得られ、従来の構成とは異なる。
• $\ell_p$-バージョンの非線形Dvoretzkyの定理が確立された：任意のコンパクト距離空間は、$\ell_p$ に歪み $2+\varepsilon$ で埋め込まれる閉部分集合 $S$ を持ち、$\dim_H(S) \geq \frac{c\varepsilon}{\log(1/\varepsilon)}\dim_H(X)$ を満たす。
• 任意の $p \geq 1$ に対して、任意の部分集合が $\ell_p$ に歪みが2未塔で埋め込まれるようなコンパクト距離空間が存在し、そのような部分集合はヒルベルト次元が0でなければならない。
• 歪みの上限2は、歪みを2未塔に改善すると、埋め込まれた部分集合がヒルベルト次元で無視できるほどになるという意味で鋭い。