[논문 리뷰] Analysis on Laakso graphs with application to the structure of transportation cost spaces

S. J. Dilworth, Denka Kutzarova외 1명|arXiv (Cornell University)|2020. 07. 15.

Advanced Banach Space Theory참고 문헌 32인용 수 5

한 줄 요약

이 논문은 라크소 그래프 $L_n$ 의 사이클 공간과 컷 공간에 대한 직교 기저를 구성하여 $\mathrm{Lip}_0(L_n)$ 의 투영 상수를 정확히 추정한다. 이는 같은 차원의 $\ell^N_1$ 과의 반바흐-마자르 거리에 대해 $(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)$ 의 구조를 분석하고, 특히 라크소 그래프와 다이아몬드 그래프에 집중한다.
• 라크소 그래프 $L_n$ 의 사이클 공간과 컷 공간에 대한 직교 기저를 구성하여 간선 공간 내의 투영 분석을 정밀하게 가능하게 한다.
• $\mathrm{Lip}_0(L_n)$ 의 투영 상수를 추정하여 $\mathrm{TC}(L_n)$ 과 $\ell^N_1$ 사이의 반바흐-마자르 거리를 제어한다.
• 다이아몬드 그래프에 대한 이전 결과를 다중지점 다이아몬드 $D_{n,k}$ 로 확장하여 정확한 투영 상수를 계산한다.
• 운반 비용 공간이 $\ell^3_\infty$ 와 $\ell^4_\infty$ 의 등거리 복사본을 포함하는 간단하고 명시적인 유한 거리 공간의 구축을 제공한다.

제안 방법

• 라크소 그래프 $L_n$ 의 재귀적 구조와 대칭성을 이용하여 사이클 공간과 컷 공간에 대한 직교 기저를 구성한다.
• 이 기저를 사용하여 간선 공간에서 컷 공간으로의 정규직교 투영 $P_{n,k}$ 를 분석하고, 그래프의 자기동형사상에 대한 군 불변성을 활용한다.
• $\ell^1$-노름을 기저 벡터 위에 투영 $P_{n,k}$ 에 대해 계산하여 투영 상수 $\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$ 를 정의한다. 이들에 대해 $\|\sum \theta_i f_i\|_{\mathrm{TC}} = 1$ 이 $\theta_i = \pm 1$ 인 모든 경우에 성립함을 보여 $\ell^3_\infty$ 와 $\ell^4_\infty$ 의 등거리 임bedding 을 증명한다.

실험 결과

연구 질문

• RQ1 다중지점 다이아몬드 그래프 $D_{n,k}$ 에 대해 $\mathrm{Lip}_0(D_{n,k})$ 의 정확한 투영 상수는 무엇인가?
• RQ2 $\mathrm{TC}(L_n)$ 과 $\ell^N_1$ 사이의 반바흐-마자르 거리가 $n$ 에 따라 어떻게 증가하는가?
• RQ3 운반 비용 공간이 $\ell^3_\infty$ 와 $\ell^4_\infty$ 의 등거리 복사본을 포함하는 유한 거리 공간을 구성할 수 있는가?
• RQ4 라크소 그래프의 사이클 공간과 컷 공간에 대한 직교 기저가 투영 상수 추정에 어떤 역할을 하는가?
• 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$ 사이의 반바흐-마자르 거리 $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}$ 를 만족하며, 이는 이전의 유계를 향상시킨다.
• 라크소 그래프 $L_n$ 에 대해 $\mathrm{TC}(L_n)$ 과 $\ell^N_1$ 사이의 반바흐-마자르 거리는 최소 $\frac{3n - 5}{8}$ 이며, 이는 다이아몬드 그래프에 대해 이전에 얻어진 하한과 유사한 하한을 확립한다.
• 6개 점으로 구성된 거리 공간 $T$ 를 구성하여 $\mathrm{TC}(T)$ 가 $\ell^3_\infty$ 의 등거리 복사본을 포함함을 보였다. 이에 대해 특정한 세 개의 운반 문제 $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$ 의 등거리 복사본을 포함함을 보였다. 이에 대해 네 개의 운반 문제 $f_1, f_2, f_3, f_4$ 가 존재하여 동일한 노름 조건을 만족한다.
• 본 논문은 극단점의 특성 분석을 통해, $\mathrm{TC}(M)$ 이 $\ell^{n-1}_1$ 과 등거리임을 $M$ 이 가중치가 부여된 트리임과 동치임을 직접적으로 증명한다.