[论文解读] 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

一句话总结

本文建立了将层级-$k$ 菱形图嵌入 $L_p$ 空间时所需的畸变的下界，其中 $1 < p \leq 2$，表明该下界至少为 $\sqrt{1 + (p-1)k}$。该结果意味着，将此类图以 $D$-畸变嵌入 $\ell_1^d$ 所需的维度 $d$ 满足 $d \geq n^{\Omega(1/D^2)}$，从而证明了不存在 $L_1$ 空间中类似 Johnson-Lindenstrauss 维度压缩引理的结论。

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$ 嵌入 $L_p$ 空间（$1 < p \leq 2$）时所需畸变的下界。
• 证明 $L_1$ 不具备类似于 Johnson-Lindenstrauss 引理的维度压缩性质。
• 提供一种基于几何与非线性规划的证明方法，以说明 $L_1$ 维度压缩的不可能性。
• 表明任意大的 $n$-点子集（属于 $L_1$）在以常数畸变嵌入 $\ell_1^d$ 时，均需超多项式维度。

提出的方法

• 使用 $L_p$ 空间中 $1 < p \leq 2$ 的广义短对角线不等式，扩展经典 $p=2$ 情况。
• 将该不等式应用于菱形图构造中每一层 $i$ 的反边与边。
• 推导出跨层级的反边与边在 $L_p$-距离之间关系的递归不等式。
• 利用凸性与平均化方法，将反边距离之和以边距离表示。
• 结合非扩张 $D$-嵌入假设，推导出畸变的下界。
• 将 $L_p$ 畸变下界转化为嵌入 $\ell_1^d$ 所需维度 $d$ 的下界。

实验结果

研究问题

• RQ1 将层级-$k$ 菱形图嵌入 $L_p$ 空间（$1 < p \leq 2$）所需的最小畸变是多少？
• RQ2 Johnson-Lindenstrauss 维度压缩引理能否推广至 $L_1$ 空间？
• RQ3 在 $L_p$ 嵌入中畸变与目标空间 $\ell_1^d$ 维度之间的关系为何？
• RQ4 当 $p \to 1$ 时畸变衰减速率如何影响 $\ell_1$ 中嵌入维度的要求？
• RQ5 几何直觉能否替代线性规划方法，用于证明 $L_1$ 维度压缩的下界？

主要发现

• 任何将层级-$k$ 菱形图嵌入 $L_p$ 空间（$1 < p \leq 2$）的嵌入，其畸变至少为 $\sqrt{1 + (p-1)k}$。
• 对每个 $n \in \mathbb{N}$，存在一个 $n$-点子集 $X \subseteq L_1$，使得任何 $D$-嵌入到 $\ell_1^d$ 均需满足 $d \geq n^{\Omega(1/D^2)}$。
• $L_p$ 中畸变的下界直接意味着无法实现类似 Johnson-Lindenstrauss 引理的 $L_1$ 维度压缩。
• 该证明依赖于 $L_p$ 空间中一种新颖的几何不等式，避免了先前工作中使用的线性规划技术。
• 结果确认了即使对于具有 $L_1$-可嵌入度量的集合，$L_1$ 也无法支持高效的维度压缩。
• 由构造与渐近分析可知，$d \geq n^{\Omega(1/D^2)}$ 的界在指数常数范围内是紧的。