[论文解读] Analysis on Laakso graphs with application to the structure of transportation cost spaces

S. J. Dilworth, Denka Kutzarova+1 more|arXiv (Cornell University)|Jul 15, 2020

Advanced Banach Space Theory参考文献 32被引用 5

一句话总结

本文为 Laakso 图 $L_n$ 中的环空间和割空间构建了正交基，从而实现了对 $\mathrm{Lip}_0(L_n)$ 的投影常数的精确估计，进而得出 $\mathrm{TC}(L_n)$ 与同维数 $\ell^N_1$ 之间的 Banach-Mazur 距离的下界为 $(3n - 5)/8$ —— 这一结果与先前对钻石图的结果相平行。此外，本文还计算了 $\mathrm{Lip}_0(D_{n,k})$ 的精确投影常数，并给出了构造简单有限度量空间的方法，其运输成本空间等距嵌入 $\ell^3_\infty$ 和 $\ell^4_\infty$。这些结果深化了对递归度量图上运输成本空间几何性质的理解。

ABSTRACT

This article is a continuation of our article in [Canad. J. Math. Vol. 72 (3), (2020), pp. 774--804]. We construct orthogonal bases of the cycle and cut spaces of the Laakso graph $\mathcal{L}_n$. They are used to analyze projections from the edge space onto the cycle space and to obtain reasonably sharp estimates of the projection constant of $\operatorname{Lip}_0(\mathcal{L}_n)$, the space of Lipschitz functions on $\mathcal{L}_n$. We deduce that the Banach-Mazur distance from TC$(\mathcal{L}_n)$, the transportation cost space of $\mathcal{L}_n$, to $\ell_1^N$ of the same dimension is at least $(3n-5)/8$, which is the analogue of a result from [op. cit.] for the diamond graph $D_n$. We calculate the exact projection constants of $\operatorname{Lip}_0(D_{n,k})$, where $D_{n,k}$ is the diamond graph of branching $k$. We also provide simple examples of finite metric spaces, transportation cost spaces on which contain $\ell_\infty^3$ and $\ell_\infty^4$ isometrically.

研究动机与目标

• 分析有限度量空间 $X$ 的运输成本空间 $\mathrm{TC}(X)$ 的结构，特别关注 Laakso 图和钻石图。
• 为 Laakso 图 $L_n$ 的环空间和割空间构建正交基，从而实现对边空间中投影的精确分析。
• 估计 $\mathrm{Lip}_0(L_n)$ 的投影常数，该常数控制 $\mathrm{TC}(L_n)$ 到 $\ell^N_1$ 的 Banach-Mazur 距离。
• 将先前对钻石图的结果推广至多分支钻石图 $D_{n,k}$，并计算其精确投影常数。
• 提供简单且显式的有限度量空间构造方法，使得其运输成本空间包含 $\ell^3_\infty$ 和 $\ell^4_\infty$ 的等距拷贝。

提出的方法

• 利用图的递归结构和对称性，为 Laakso 图 $L_n$ 的环空间和割空间构建正交基。
• 利用这些基分析从边空间到割空间的正交投影 $P_{n,k}$，借助图自同构群作用下的群不变性。
• 计算投影 $P_{n,k}$ 在基向量上的 $\ell^1$-范数，从而得到投影常数 $\lambda(\mathrm{Lip}_0(D_{n,k}))$。
• 应用公式 $\lambda(\mathrm{Lip}_0(X)) = \|P\|_1 = \|P\|_\infty$（适用于自伴且 $G$-不变的投影）以获得精确值。
• 利用关系 $\mathrm{TC}(X)^* = \mathrm{Lip}_0(X)$ 将投影常数与 $\mathrm{TC}(X)$ 的几何性质联系起来。
• 显式构造具有对称距离矩阵的度量空间 $T$（6 个点）和 $F$（8 个点），并分别定义运输问题 $f_1, f_2, f_3$ 和 $f_1, f_2, f_3, f_4$，证明其 $\ell^1$-范数满足 $\|\sum \theta_i f_i\|_{\mathrm{TC}} = 1$（对所有 $\theta_i = \pm 1$），从而证明 $\ell^3_\infty$ 和 $\ell^4_\infty$ 的等距嵌入。

实验结果

研究问题

• RQ1 多分支钻石图 $D_{n,k}$ 的 $\mathrm{Lip}_0(D_{n,k})$ 的精确投影常数是多少？
• RQ2 $\mathrm{TC}(L_n)$ 与同维数 $\ell^N_1$ 之间的 Banach-Mazur 距离如何随 $n$ 增长？
• RQ3 我们能否构造出有限度量空间，使得 $\mathrm{TC}(X)$ 包含 $\ell^3_\infty$ 和 $\ell^4_\infty$ 的等距拷贝？
• RQ4 Laakso 图的环空间和割空间中的正交基在估计投影常数中起什么作用？
• RQ5 图的对称性（通过自同构群 $G$）如何确保投影 $P_{n,k}$ 的唯一性和不变性？

主要发现

• 对于 $\mathrm{Lip}_0(D_{n,k})$，其投影常数精确为 $\lambda(\mathrm{Lip}_0(D_{n,k})) = \frac{2k-2}{2k-1}n + \frac{4k^2 - 6k + 3}{(2k-1)^2} + \frac{2k-2}{(2k-1)^2} \cdot \frac{1}{(2k)^n}$，为到割空间的投影算子范数提供了精确估计。
• $\mathrm{TC}(D_{n,k})$ 到同维数 $\ell^N_1$ 的 Banach-Mazur 距离 $d_{n,k}$ 满足不等式 $d_{n,k} \geq \frac{2k-2}{2k-1}n + \frac{4k^2 - 6k + 3}{(2k-1)^2} + \frac{2k-2}{(2k-1)^2} \cdot \frac{1}{(2k)^n}$，优于先前的界。
• 对于 Laakso 图 $L_n$，$\mathrm{TC}(L_n)$ 到 $\ell^N_1$ 的 Banach-Mazur 距离至少为 $\frac{3n - 5}{8}$，建立了与钻石图类似下界。
• 构造了一个 6 点度量空间 $T$，使得 $\mathrm{TC}(T)$ 包含 $\ell^3_\infty$ 的等距拷贝，其中三个特定运输问题 $f_1, f_2, f_3$ 满足 $\|\sum \theta_i f_i\|_{\mathrm{TC}} = 1$ 对所有 $\theta_i = \pm 1$ 成立。
• 构造了一个 8 点度量空间 $F$，使得 $\mathrm{TC}(F)$ 包含 $\ell^4_\infty$ 的等距拷贝，其中四个运输问题 $f_1, f_2, f_3, f_4$ 满足相同的范数条件。
• 本文通过刻画单位球的极端点（基于关键边）给出了直接证明：当且仅当 $M$ 是加权树时，$\mathrm{TC}(M)$ 与 $\ell^{n-1}_1$ 等距同构。