[論文レビュー] 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)$ の射影定数の正確な推定を可能にした。これにより、同じ次元の $ \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}))$ を得る。
• 自己随伴かつ $G$-不変な射影に対して成り立つ公式 $\lambda(\mathrm{Lip}_0(X)) = \|P\|_1 = \|P\|_\infty$ を適用し、正確な値を導出する。
• $\mathrm{TC}(X)^* = \mathrm{Lip}_0(X)$ の関係を用いて、射影定数と $\mathrm{TC}(X)$ の幾何的性質を結びつける。
• 対称な距離行列を持つ6点の距離空間 $T$ および8点の距離空間 $F$ を明示的に構成し、それぞれの輸送問題 $f_1, f_2, f_3$ および $f_1, f_2, f_3, f_4$ を定義する。$\theta_i = \pm 1$ に対して $\|\sum \theta_i f_i\|_{\mathrm{TC}} = 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$ の等長コピーを含むことを示した。3つの特定の輸送問題 $f_1, f_2, f_3$ に対して、すべての $\theta_i = \pm 1$ に対して $\|\sum \theta_i f_i\|_{\mathrm{TC}} = 1$ が成り立つ。
• 8点の距離空間 $F$ を構成し、$\mathrm{TC}(F)$ が $\ell^4_\infty$ の等長コピーを含むことを示した。4つの輸送問題 $f_1, f_2, f_3, f_4$ に対して、同様のノルム条件が成り立つ。
• 本稿では、$M$ が重み付き木であるときかつそのときに限り $\mathrm{TC}(M)$ が $\ell^{n-1}_1$ に等長同型であることを直接証明し、本質的辺を用いた単位球の極点の特徴付けによって行った。