[论文解读] Compression of uniform embeddings into Hilbert space

N. Brodskiy, D. Sonkin|ArXiv.org|Sep 5, 2005

Advanced Operator Algebra Research参考文献 6被引用 4

一句话总结

本文证明了双曲群以及在有限维 CAT(0) 超胞复形上进行无瑕且共(compact)作用的群，可均匀嵌入希尔伯特空间，其压缩函数渐近下界至少为 $ \frac{t}{\sqrt{\ln t} \cdot \ln \ln t} $，从而表明其希尔伯特空间压缩度恰好为 1。该构造基于超胞复形中超平面分离的加权嵌入，改进了先前结果，并表明此类嵌入无法实现超过 $ \frac{t}{\sqrt\ln t} $ 的拟等距压缩，这受到 Bourgain 边界约束。

ABSTRACT

If one tries to embed a metric space uniformly in Hilbert space, how close to quasi-isometric could the embedding be? We answer this question for finite dimensional CAT(0) cube complexes and for hyperbolic groups. In particular, we show that the Hilbert space compression of any hyperbolic group is 1.

研究动机与目标

• 确定度量空间到希尔伯特空间的均匀嵌入能与拟等距接近到何种程度。
• 分析双曲群和 CAT(0) 超胞复形的均匀嵌入的渐近压缩行为。
• 改进这些群类的希尔伯特空间压缩度的现有下界。
• 研究是否存在压缩度趋近于 $ t $ 的均匀嵌入，或是否受对数因子限制。
• 通过结合几何群论与嵌入压缩度的泛函分析技术，建立紧确界。

提出的方法

• 基于超胞复形中的超平面分离，构造一个均匀嵌入 $ f: G \to \mathcal{H} $，其中权重函数为 $ \xi(t) = \frac{\sqrt{t}}{\sqrt{\ln t} \cdot \ln \ln t} $，定义于 $ t \geq M $。
• 通过 $ f(V) = \sum_h \xi(N_V(h)) \cdot \vec{e}_h $ 定义嵌入，其中 $ N_V(h) $ 表示点 $ V $ 沿法向立方体路径到超平面 $ h $ 的距离。
• 通过证明相邻顶点间 $ \xi $-值差异的 $ \ell^2 $-范数有界，从而证明膨胀度 $ \delta_f(t) \preceq t $。
• 通过分析距离为 $ t $ 的两点之间分离的超平面数量，利用 $ \xi $ 的非减性质，从下方估计压缩函数 $ \rho_f(t) $。
• 应用引理 2.5 中的求和估计，证明 $ \rho_f(t) \succeq \frac{t}{\sqrt{\ln t} \cdot \ln \ln t} $，并利用 $ \xi(t) $ 的增长性。
• 结合 Bourgain 和 Sageev–Wise 的已知结果，表明若群不包含秩-2 自由子群，则其为几乎阿贝尔群，从而可拟等距嵌入；否则压缩度受 $ \frac{t}{\sqrt{\ln t}} $ 限制。

实验结果

研究问题

• RQ1 双曲群到希尔伯特空间的均匀嵌入能否实现接近线性压缩，还是受对数因子限制？
• RQ2 作用于有限维 CAT(0) 超胞复形的群类，其希尔伯特空间压缩度的最优下界是什么？
• RQ3 是否存在一个单个均匀嵌入将自由群 $ F_2 $ 嵌入希尔伯特空间，使得对所有 $ n $ 都有 $ \rho_f(t) \succeq t^{1 - \frac{1}{n}} $，还是必须使用嵌入序列？
• RQ4 有限子群的存在如何影响向希尔伯特空间进行拟等距嵌入的可能性？
• RQ5 能否将均匀嵌入的压缩度改进至超过 $ \frac{t}{\sqrt{\ln t}} $，还是这是理论极限？

主要发现

• 任何双曲群的希尔伯特空间压缩度恰好为 1，意味着其存在一个均匀嵌入，其压缩函数满足 $ \rho_f(t) \succeq \frac{t}{\sqrt{\ln t} \cdot \ln \ln t} $。
• 对于自由群 $ F_2 $，构造出一个单个均匀嵌入，其压缩度为 $ \rho_f(t) \succeq \frac{t}{\sqrt{\ln t} \cdot \ln \ln t} $，优于以往使用嵌入序列的结果。
• 该构造实现的压缩度严格优于任意固定 $ n $ 的 $ t^{1 - \frac{1}{n}} $，且比任何小于 1 的幂次更快地趋近于 $ t $。
• 任何非初等双曲群到希尔伯特空间的均匀嵌入均满足 $ \rho_f(t) \preceq \frac{t}{\sqrt{\ln t}} $，与 Bourgain 的上界一致。
• 对于在有限维 CAT(0) 超胞复形上进行无瑕且共(compact)作用的群，若其有限子群的阶有统一上界，则该群要么为几乎阿贝尔群（从而可拟等距嵌入），要么所有均匀嵌入均满足 $ \rho_f(t) \preceq \frac{t}{\sqrt{\ln t}} $。
• 所构造的嵌入实现了压缩度 $ \rho_f(t) \succeq \frac{t}{\sqrt{\ln t} \cdot \ln \ln t} $，且该界在已知约束下是紧确的，即无法实现更快增长的压缩度。