[論文レビュー] Embedding the diamond graph in $L_p$ and dimension reduction in $L_1$

J. R. Lee, Assaf Naor|ArXiv.org|Jul 30, 2004

Computational Geometry and Mesh Generation参考文献 5被引用数 46

ひとこと要約

この論文は、$1 < p \leq 2$ における $L_p$ 空間へのレベル-$k$ ダイアモンドグラフの埋め込みに必要な歪みの下界を確立し、それが $\sqrt{1 + (p-1)k}$ 以上であることを示している。この結果は、このようなグラフを $\ell_1^d$ に $D$-埋め込みするには次元 $d \geq n^{\Omega(1/D^2)}$ が必要であることを意味し、Johnson-Lindenstrauss の次元削減補題の $L_1$ 版が存在しないことを証明する。

ABSTRACT

We show that any embedding of the level-k diamond graph of Newman and Rabinovich into $L_p$, $1 &lt; p \le 2$, requires distortion at least $\sqrt{k(p-1) + 1}$. An immediate consequence is that there exist arbitrarily large n-point sets $X \subseteq L_1$ such that any D-embedding of X into $\ell_1^d$ requires $d \geq n^{Ω(1/D^2)}$. This gives a simple proof of the recent result of Brinkman and Charikar which settles the long standing question of whether there is an $L_1$ analogue of the Johnson-Lindenstrauss dimension reduction lemma.

研究の動機と目的

• レベル-$k$ ダイアモンドグラフ $G_k$ を $1 < p \leq 2$ における $L_p$ に埋め込むために必要な歪みの下界を確立すること。
• Johnson-Lindenstrauss の次元削減補題に類似した $L_1$ の次元削減が可能でないことを示すこと。
• $L_1$ の次元削減が不可能であることを、幾何的で非線形計画法に基づく証明を行うこと。
• 任意に大きな $n$-点集合が、$\ell_1^d$ に定数歪みで埋め込まれるには、超多項式的な次元が必要であることを示すこと。

提案手法

• $1 < p \leq 2$ における $L_p$ の一般化された短い対角線不等式を用い、古典的な $p=2$ の場合を拡張する。
• 各レベル $i$ におけるダイアモンドグラフ構成の反対辺と辺に不等式を適用する。
• レベル間での反対辺と辺の $L_p$-距離を関連付ける再帰的不等式を導出する。
• 凸性と平均化を用いて、反対辺の距離の二乗和を辺の距離で上界で抑え込む。
• 不等式を非拡大 $D$-埋め込みの仮定と組み合わせ、歪みの下界を導出する。
• $L_p$ の歪みの下界を、$\ell_1^d$ への埋め込みに必要な次元 $d$ の下界に変換する。

実験結果

リサーチクエスチョン

• RQ1 レベル-$k$ ダイアモンドグラフを $1 < p \leq 2$ における $L_p$ に埋め込むために必要な最小歪みは何か？
• RQ2 Johnson-Lindenstrauss の次元削減補題は $L_1$ 空間に拡張可能か？
• RQ3 $L_p$ 埋め込みの歪みと、ターゲット空間 $\ell_1^d$ の次元との関係は何か？
• RQ4 歪みの $p \to 1$ における減衰率が、$\ell_1$ への埋め込みに必要な次元に与える影響は何か？
• RQ5 幾何的直観が、$L_1$ の次元削減の下界を示すために線形計画法を置き換えることができるか？

主な発見

• 任意の $1 < p \leq 2$ におけるレベル-$k$ ダイアモンドグラフの $L_p$ への埋め込みの歪みは、$\sqrt{1 + (p-1)k}$ 以上である。
• 任意の $n \in \mathbb{N}$ に対して、$n$-点集合 $X \subseteq L_1$ が存在し、$\ell_1^d$ への $D$-埋め込みには $d \geq n^{\Omega(1/D^2)}$ が必要である。
• $L_p$ における歪みの下界は、Johnson-Lindenstrauss の補題に類似した $L_1$ の次元削減が不可能であることを直接示している。
• 証明は、先行研究で用いられた線形計画法の技術を避ける、新しい幾何的不等式に依存している。
• この結果は、$L_1$ が効率的な次元削減をサポートしないこと、すなわち $L_1$-埋め込み可能な距離を持つ集合に対しても同様であることを確認している。
• $d \geq n^{\Omega(1/D^2)}$ の下界は、構成と漸近的解析により、指数部の定数を除いてタイトであることが示されている。