[论文解读] Expansion properties of metric spaces not admitting a coarse embedding into a Hilbert space

Mikhail I. Ostrovskii|ArXiv.org|Mar 3, 2009

Advanced Operator Algebra Research参考文献 7被引用 3

一句话总结

本文在不粗略嵌入到希尔伯特空间的局部有限度量空间中建立了弱膨胀性质，表明此类空间在加权测度下包含顶点边界增长受控的子图。关键结果是这些子图的类膨胀行为的定量下界，支持了非可嵌入空间包含弱膨胀子图的猜想。

ABSTRACT

The main purpose of the paper is to find some expansion properties of locally finite metric spaces which do not embed coarsely into a Hilbert space. The obtained result is used to show that infinite locally finite graphs excluding a minor embed coarsely into a Hilbert space. In an appendix a direct proof of the latter result is given.

研究动机与目标

• 识别不粗略嵌入到希尔伯特空间的局部有限度量空间中的类膨胀性质。
• 研究此类空间是否包含弱膨胀子图族，这是几何群论与度量几何中的长期开放问题。
• 为违反到 $L_1$ 的粗略嵌入的集合所导出的子图提供定量的膨胀条件。
• 通过建立较弱的膨胀性质，支持非粗略可嵌入且具有有界几何的度量空间包含弱膨胀子图的猜想。
• 在附录中直接证明排除某子图的无限局部有限图粗略嵌入到希尔伯特空间。

提出的方法

• 构造有限子集列 $M_n \subset M$ 及其上的概率测度 $\mu_n$，满足利普希茨函数在 $L_1$-范数上的统一有界性。
• 定义图 $G(n,s)$，其中距离小于等于 $s$ 的顶点之间连边，利用度量 $d_M$ 控制连通性。
• 引入从 $\mu_n$ 导出的 $M_n$ 上的加权测度 $\nu_n$，并分析诱导子图 $F$ 中的顶点边界 $\delta_F A$。
• 使用迭代穷尽过程移除边界较小的集合，假设不存在良好子图以导出矛盾。
• 构造一族由 $\theta \in \{-1,1\}^p$ 索引的 $1$-利普希茨函数 $f_\theta$，并通过概率空间上的平均将其嵌入 $L_1$。
• 应用 [KPR93] 中的结果将图分解为有界直径的连通分量，并利用此构造通过加权和的 $L_1$-值函数实现到 $L_1$ 的粗略嵌入。

实验结果

研究问题

• RQ1 不粗略嵌入到希尔伯特空间的局部有限度量空间在其有限子集中是否表现出某种形式的膨胀？
• RQ2 即使不存在完整膨胀子图，能否为这类空间导出的图建立弱膨胀性质？
• RQ3 在加权测度下，诱导子图中的顶点边界增长是否存在定量下界？
• RQ4 若空间无法粗略嵌入到 $L_1$，是否意味着其存在结构化的类膨胀特征？
• RQ5 能否通过此框架直接证明排除某子图的无限局部有限图粗略嵌入到希尔伯特空间？

主要发现

• 当 $s > 8D$ 且 $2n > s$ 时，图 $G(n,s)$ 包含一个诱导子图 $F$，其 $d_M$-直径至少为 $n - s/2$，且对任意满足较小 $d_M$-直径的子集 $A \subset F$，有 $\nu_n(\delta_F A) > \varphi(D,s)\nu_n(A)$，其中 $\varphi(D,s) = \frac{s}{4D} - 2$。
• 该类膨胀条件在 $n$ 上一致，膨胀因子 $\varphi(D,s)$ 仅依赖于 $D$ 和 $s$，且随 $s$ 线性增长。
• 该构造导致空间到 $L_1$ 的粗略嵌入，其嵌入范数满足 $||\varphi(u) - \varphi(v)||_{L_1} \leq 3d(u,v)$ 且当 $d(u,v) \geq d_{2^i, r}$ 时有 $||\varphi(u) - \varphi(v)||_{L_1} \geq (4/3)^i \varepsilon_r$。
• 证明表明，排除某子图的无限局部有限图可粗略嵌入到希尔伯特空间，附录中给出了直接构造。
• 该结果通过证明较弱但定量受控的膨胀性质，支持了非粗略可嵌入且具有有界几何的度量空间包含弱膨胀子图的猜想。
• 关键不等式 $\int_{\Omega_\Delta} |F_{\Delta,u}| d\omega \geq \varepsilon_r \Delta$ 确保了嵌入的 $L_1$-范数随 $\Delta$ 增大，从而满足粗略嵌入条件。