[논문 리뷰] On tight spans and tropical polytopes for directed distances

Hiroshi Hirai, Shungo Koichi|arXiv (Cornell University)|2010. 04. 03.

Polynomial and algebraic computation참고 문헌 14인용 수 3

한 줄 요약

이 논문은 비대칭 거리에 대한 방향성 있는 타이트 스파인과 토폴로지 다면체의 방향성 버전을 개발하여, 타이트 및 순환적으로 타이트한 확장을 위한 보편적 임bedding 성질을 확립한다. 또한, 방향성 트리 거리 측정법의 정리가 증명된다: 방향성 거리가 방향성 트리 거리 측정법임은 그 부정된 거리 행렬의 토폴로지 랭크가 2 이하일 때이고 뿐이다.

ABSTRACT

An extension $(V,d)$ of a metric space $(S,μ)$ is a metric space with $S \subseteq V$ and $d|_S = μ$, and is said to be tight if there is no other extension $(V,d')$ of $(S,μ)$ with $d' \leq d$. Isbell and Dress independently found that every tight extension is isometrically embedded into a certain metrized polyhedral complex associated with $(S,μ)$, called the tight span. This paper develops an analogous theory for directed metrics, which are "not necessarily symmetric" distance functions satisfying the triangle inequality. We introduce a directed version of the tight span and show that it has such a universal embedding property for tight extensions. Also we newly introduce another natural class of extensions, called cyclically tight extensions, and show that (a fiber of) the tropical polytope, introduced by Develin and Sturmfels, has a universal embedding property for cyclically tight extensions. As an application, we prove the following directed version of tree metric theorem: directed metric $μ$ is a directed tree metric if and only if the tropical rank of $-μ$ is at most two. Also we describe how tight spans and tropical polytopes are applied to the study in multicommodity flows in directed networks.

연구 동기 및 목표

• 비대칭적이지 않은 방향성 거리에 대해 타이트 스파인과 토폴로지 다면체 이론을 확장한다.
• 방향성 거리의 맥락에서 타이트 및 순환적으로 타이트한 확장을 정의하고 특성화한다.
• 타이트 스파인과 토폴로지 다면체의 방향성 버전을 사용하여 이러한 확장의 보편적 임베딩 성질을 확립한다.
• 이 프레임워크를 방향성 네트워크에서의 다중화물 흐름 문제에 적용하여 기하학과 최적화를 연결한다.
• 토론적 랭크를 사용한 고전적 트리 거리 측정법 정리의 방향성 버전을 제공한다.

제안 방법

• 방향성 타이트 스파인 $T_{\rho}$를 유계가 아닌 다면체 $P_{\rho} = \{p \in \mathbb{R}^S \mid p(s) + p(t) \geq \rho(s,t)\}$의 최소점들의 집합으로 정의한다.
• 다른 다면체 $Q_{\rho}$의 최소점들의 집합의 사영으로 토폴로지 다면체 $\bar{Q}_{\rho}$를 도입하고, $\bar{Q}_{\rho}$에 위상적으로 일대일로 사영되는 균형 임베딩 $R \subseteq Q_{\rho}$를 정의한다.
• $T_{\rho}$, $Q_{\rho}$, 그리고 임의의 균형 임베딩 $R$에 방향성 $l_\infty$-거리 $D_\infty$를 부여한다.
• 모든 방향성 거리 $\rho$의 타이트 확장이 $(T_{\rho}, D_\infty)$에 등장하는 것으로 임베딩됨을 증명하며, 모든 순환적으로 타이트한 확장은 $Q_{\rho}$의 균형 임베딩에 등장하는 것으로 임베딩됨을 증명한다.
• 타이트 스파인 $T_{\rho}$와 $\bar{Q}_{\rho}$의 차원 기준을 사용하여 방향성 트리 거리 측정법을 특성화한다.
• 다중화물 흐름 문제에 이 프레임워크를 적용하여, 이중 선형계획문제가 $T_{\rho}$와 $\bar{Q}_{\rho}$ 위의 시설 위치 문제로 축소됨을 보인다.

실험 결과

연구 질문

• RQ1 대칭 경우의 타이트 스파인과 유사하게, 방향성 거리에 대해 보편적 타이트 확장이 존재하는가?
• RQ2 순환적으로 타이트한 확장을 보편적으로 임베딩할 수 있는, 토폴로지 다면체의 방향성 버전을 구성할 수 있는가?
• RQ3 토론적 기하학적 관점에서 방향성 트리 거리 측정법에 대한 조합적 특성화는 무엇인가?
• RQ4 방향성 타이트 스파인과 토폴로지 다면체의 기하학은 방향성 네트워크에서의 다중화물 흐름 문제에 어떻게 적용될 수 있는가?
• RQ5 행렬 $-\mu$의 토폴로지 랭크와 방향성 트리 거리 측정법의 구조 간의 관계는 무엇인가?

주요 결과

• 방향성 타이트 스파인 $T_{\rho}$는 방향성 거리 $\rho$에 대해 보편적 타이트 확장이며, 이는 모든 타이트 확장이 $D_\infty$ 거리로 $T_{\rho}$에 등장하는 등거리 임베딩으로 포함됨을 의미한다.
• 균형 임베딩을 통해 토폴로지 다면체 $\bar{Q}_{\rho}$는 $\rho$의 순환적으로 타이트한 확장을 위한 보편적 임베딩을 제공한다.
• 방향성 거리 $\rho$는 $-\rho$의 토폴로지 랭크가 2 이하일 때이고 뿐이면 방향성 트리 거리 측정법임이 보장되며, 이는 트리 거리 측정법 정리의 방향성 버전을 확립한다.
• 일반 네트워크에서의 다중화물 흐름 문제의 이중선형계획문제는 방향성 타이트 스파인 $T_{\rho}$ 위의 시설 위치 문제로 축소되며, 목표 함수는 간선들에 대한 $D_\infty$-거리의 합으로 표현된다.
• 에일러리안 네트워크의 경우, 이중 문제는 토폴로지 다면체 $\bar{Q}_{\rho}$ 위의 시설 위치 문제로 축소되며, 목표 함수는 $Q_{\rho}$의 임의의 균형 임베딩으로의 임베딩에 대해 최소화된다.
• 이 프레임워크는 다중화물 흐름의 이중성에 기하학적 해석을 제공하며, 방향성 공간에서의 최적화와 거리 기하학을 연결한다.