[論文レビュー] A note on dichotomies for metric transforms

Manor Mendel, Assaf Naor|arXiv (Cornell University)|Feb 9, 2011

Advanced Harmonic Analysis Research参考文献 17被引用数 3

ひとこと要約

この論文は、$\omega(0)=0$ を満たす非減少凹関数 $\omega$ によって誘導される距離変換について、二分岐を確立する。すなわち、すべてのファイニット距離空間が $\omega$-変換に歪み1に近いもので埋め込める、またはパス距離 $P_n$ が $\alpha>0$ を満たすある $n^{\alpha}$ の歪みを要する、のいずれかである。この結果は距離コタイプ理論における重要なケースを解決し、$\mathbb{R}$ の $\theta$-スノーフレーク変換が $P_n$ に対して歪み $n^{1-\theta}$ を達成することを示しており、エキスパンダーが常に最悪ケースの空間ではないことを強調している。

ABSTRACT

We show that for every nondecreasing concave function w:R+ --> R+ with w(0)=0, either every finite metric space embeds with distortion arbitrarily close to 1 into a metric space of the form (X,w o d) for some metric d on X, or there exists a=a(w)>0 and n_0=n_0(w)\in N such that for all n>n_0, any embedding of {0,...,n} into a metric space of the form (X,w o d) incurs distortion at least n^a.

研究の動機と目的

• 非減少凹関数 $\omega$ で $\omega(0)=0$ を満たすものによる距離変換 $\omega \circ d$ の二分岐を確立すること。
• $\omega$-距離変換 $\omega(\text{MET})$ のクラスにおける距離コタイプの二分岐問題を解決すること。
• すべてのファイニット距離空間が $\omega(\text{MET})$ に歪みが1に限りなく近いもので埋め込めるか、あるいは $P_n$ のような空間が多項式的歪みを強いるのかを特定すること。
• $\theta$-スノーフレーク変換の $\mathbb{R}$ が $P_n$ に対して歪み $n^{1-\theta}$ を達成することを示し、これが鋭い境界であることを示すこと。

提案手法

• パス空間 $P_n = \{0,\dots,n\} \subset \mathbb{R}$ が $\omega$-距離変換 $(X, \omega \circ d)$ に埋め込まれる際の歪みを分析する。
• $\omega$ の凹性と単調増加性により $\omega \circ d$ が距離であることが保証されるため、$\omega$-変換が三角不等式を保存することを用いる。
• 双対性の議論を適用：すべてのファイニット距離空間が歪み1に近いもので埋め込めるとは限らない場合、$P_n$ が高歪みを強いる必要がある。
• 明示的な構成により $\theta$-スノーフレークの場合の鋭さを活用し、$\omega(t) = t^\theta$, $\theta \in (0,1)$ のとき $c_{\omega(\text{MET})}(P_n) = n^{1-\theta}$ を示す。
• $P_n$ が $\mathbb{R}$ に等長に埋め込めるのを利用し、$\mathbb{R}$ の $\omega$-変換が $P_n$ に対して歪み $n^{1-\theta}$ を与えることにより、下界を確立する。
• $\omega^{-1}(\lambda \omega(t))$ がすべての $\lambda > 0$ に対して部分加法的であるならば、歪みの境界が改善され、この条件が $\omega(t) = a t^b$（$b \in (0,1]$）を意味することを示す。

実験結果

リサーチクエスチョン

• RQ1 与えられた凹関数 $\omega$（$\omega(0)=0$）に対して、すべてのファイニット距離空間が $\omega(\text{MET})$ に歪みが1に限りなく近いもので埋め込めるか？
• RQ2 そうでない場合、$\omega(\text{MET})$ 内であるファイニット距離空間が避けられない最小の多項式的歪みは何か？
• RQ3 $\theta$-スノーフレーク変換の $\mathbb{R}$ は、$\omega(\text{MET})$ 内の歪みの最悪ケース例であるか？
• RQ4 $\omega(t) = t^\theta$ のとき、$P_n$ の $\omega(\text{MET})$ 内の歪みが $n^{1-\theta}$ で抑えられるか？
• RQ5 エキスパンダーは、距離二分岐問題において常に最悪ケースのグラフであるか？それとも他の空間がより高い歪みを強いることができるか？

主な発見

• 任意の非減少凹関数 $\omega$（$\omega(0)=0$）に対して、すべてのファイニット距離空間が $\omega(\text{MET})$ に歪みが1に限りなく近いもので埋め込める、または $P_n$ が $\alpha>0$ を満たすある $n^{\alpha}$ の歪みを要する、のいずれかである。
• $\omega(t) = t^\theta$（$\theta \in (0,1)$）のとき、$P_n$ の $\omega(\text{MET})$ 内の歪みは正確に $n^{1-\theta}$ であり、この境界の鋭さが証明される。
• $\omega(\text{MET})$ のクラスは、$\omega(t) = a t^b$（$a>0$, $b \in (0,1]$）のときかつそのときに限り、スケーリングに関して閉じている。これは $\theta$-スノーフレークの場合を特徴づける。
• $\mathbb{R}$ の任意の $n$ 点部分集合が $\theta$-スノーフレークの $\mathbb{R}$ に埋め込まれる歪みは $(n-1)^{1-\theta}$ 以下であり、この境界は $P_n$ に対して鋭い。
• エキスパンダーは $\omega(\text{MET})$ 内で最悪の歪みを達成しない。$\theta$-スノーフレーク内でのエキスパンダーの歪みは $n^{1-\theta}$ ではなく、$(\log n)^{1-\theta}$ のオーダーで増加する。
• $\omega^{-1}(\lambda \omega(t))$ がすべての $\lambda>0$ に対して部分加法的であるならば、歪みの境界が改善され、このような $\omega$ は必ず $t^b$ の形のべき関数である。