[论文解读] The Johnson-Lindenstrauss lemma almost characterizes Hilbert space, but not quite

William B. Johnson, Assaf Naor|arXiv (Cornell University)|Jan 4, 2009

Advanced Optimization Algorithms Research参考文献 40被引用 6

一句话总结

本文研究了Johnson-Lindenstrauss引理在多大程度上刻画了Hilbert空间。结果表明，若一个赋范空间满足J-L引理，则其每个有限维子空间可嵌入Hilbert空间，且畸变随log n增长；但本文也构造了一个反例空间，该空间满足J-L引理，却存在子空间的畸变至少为2Ω(α(n))，其中α为反Ackermann函数，从而证明该引理并未完全刻画Hilbert空间。

ABSTRACT

Let X be a normed space that satisfies the Johnson-Lindenstrauss lemma (J--L lemma, in short) in the sense that for any integer n and any x1,...,xn e X there exists a linear mapping L: X → F, where F ⊆ X is a linear subspace of dimension O(log n), such that||xi - xj|| ≤ ||L(xi) - L(xj)|| ≤ O(1) · ||xi - xj||for all i, j e {1,..., n). We show that this implies that X is almost Euclidean in the following sense: Every n-dimensional subspace of X embeds into Hilbert space with distortion [EQUATION]. On the other hand, we show that there exists a normed space Y which satisfies the J-L lemma, but for every n there exists an n-dimensional subspace En ⊆ Y whose Euclidean distortion is at least 2Ω(α(n)), where α is the inverse Ackermann function.

研究动机与目标

• 确定Johnson-Lindenstrauss引理是否在所有赋范空间中完全刻画了Hilbert空间。
• 研究满足J-L引理的赋范空间中有限维子空间的畸变。
• 构造一个满足J-L引理但某些子空间表现出超Hilbert型畸变的反例空间。
• 厘清在维数约简下行为类似Hilbert空间与行为不同的空间之间的边界。

提出的方法

• 定义一个赋范空间X满足J-L引理，若对任意有限点集，存在X中的低维线性子空间F ⊆ X，使得点间距离被保持在常数因子内。
• 证明若X满足J-L引理，则X的每个n维子空间可嵌入Hilbert空间，且畸变由log n的函数有界。
• 构造一个特定的赋范空间Y，使其满足J-L引理，但对每个n，存在一个n维子空间En ⊆ Y，其欧氏畸变至少为2Ω(α(n))。
• 利用反Ackermann函数α(n)的性质，证明该畸变增长快于任何迭代对数函数，超过Hilbert空间中可实现的畸变。
• 应用泛函分析与渐近几何分析的技术，分析嵌入畸变与子空间结构。
• 利用关于欧氏截面和几乎欧氏子空间的已知结果，推导畸变的上下界。

实验结果

研究问题

• RQ1 Johnson-Lindenstrauss引理是否在所有赋范空间中完全刻画了Hilbert空间？
• RQ2 在满足J-L引理的赋范空间中，有限维子空间的最佳可能畸变是多少？
• RQ3 一个赋范空间能否满足J-L引理，同时其子空间畸变显著劣于Hilbert空间中的畸变？
• RQ4 反Ackermann函数α(n)如何与非Hilbert空间中维数约简的极限相关联？
• RQ5 满足J-L引理的空间与真实Hilbert空间之间是否存在结构性差异？

主要发现

• 若赋范空间X满足Johnson-Lindenstrauss引理，则X的每个n维子空间可嵌入Hilbert空间，且畸变由log n的函数有界。
• 存在一个赋范空间Y，满足J-L引理，但对每个n，存在一个n维子空间En ⊆ Y，其欧氏畸变至少为2Ω(α(n))。
• 畸变界限2Ω(α(n))的增长速度快于任何迭代对数函数，表明此类子空间与Hilbert空间的距离显著大于真实Hilbert空间中的子空间。
• 此类空间Y的存在表明，J-L引理并未完全刻画Hilbert空间，因为它允许存在畸变超过对数级的子空间。
• J-L正则空间中畸变的上界在对数因子内是紧的，而下界则明确显示其与Hilbert空间行为存在严格分离。
• 反Ackermann函数α(n)在畸变层级中起到精确阈值的作用，凸显其在渐近几何分析中的关键角色。