[논문 리뷰] Some notes on trees and paths

Ben Hambly, Terry Lyons|ArXiv.org|2008. 09. 08.

Geometric and Algebraic Topology참고 문헌 4인용 수 5

한 줄 요약

이 논문은 R-트리—유일하게 호로 연결된 거리 공간—의 기본적인 표현을 위상공간 위의 연속적인 높이 함수를 통해 수립한다. 이는 모든 R-트리가 연속 함수의 등고선 집합의 몫공간으로 나타남을 보여주며, 핵심 기여는 구축 가능한 특성화이다. 즉, 모든 R-트리는 양의 연속 높이 함수의 동일한 등고선 값을 갖는 점들을 식별함으로써 형성된 거리공간과 등거리 동치이다. 이는 이산적 트리 코드화 기법인 랜덤 워크의 외출을 연속적 설정으로 일반화한 것이다.

ABSTRACT

These notes cover background material on trees which are used in the paper `On uniqueness of the signature of a path of variation and the reduced path group'.

연구 동기 및 목표

• 위상공간 위의 연속적인 높이 함수를 사용하여 R-트리의 구축 가능한 특성화를 제공하는 것.
• 이산적 트리 코드화 기법인 랜덤 워크 외출을 연속적, 컴팩트 R-트리로 일반화하는 것.
• 모든 R-트리가 컴팩트하고 연결되어 있으며 국소적으로 연결된 공간 위의 연속 함수의 몫공간으로 실현될 수 있음을 확립하는 것.
• 추상적인 R-트리 이론과 브라운 운동의 뱀, 측도를 값으로 가지는 과정과 같은 확률적 구성 간의 연결을 맺는 것.
• 연속 함수의 몫공간이 완비성, 컴팩트성 또는 전체 유계성을 갖는 R-트리가 되는 조건을 명확히 하는 것.

제안 방법

• 연속적이고 양의 높이 함수 h에 의해 위상공간 I 위에 등차관계 ~를 정의한다. 이때 x ~ y 라고 하면 h(x) = h(y) 이고, h(x) 이하의 하위등고선이 일치한다.
• 구간에서 d(m,n) = h(m) + h(n) - 2 inf_{u∈[m,n]} h(u) 라는 의사거리함수를 구성하며, 이는 외출 경로를 통해 트리의 구조를 코딩한다.
• 의사거리함수 d를 몫공간 I/~에 투영하여, 몫공간 Ẽ 위에 잘 정의된 거리함수 d̃를 얻는다. 이로 인해 Ẽ 는 거리공간이 된다.
• Ẽ 가 완비적이며, 유일하게 호로 연결된 거리공간이며, 호들이 구간과 등거리 동치임을 증명함으로써 R-트리의 정의를 만족함을 보인다.
• 모든 컴팩트 R-트리가 트리의 루트까지의 거리함수를 닫힌 구간으로 당겨옴으로써 이러한 몫공간으로 나타남을 보인다.
• h와 λ(y,·)의 하부연속성과 연속성을 이용하여, 몫사상 i: I → Ẽ 가 연속적임을 증명함으로써, I 가 컴팩트일 경우 Ẽ 도 컴팩트가 됨을 보장한다.

실험 결과

연구 질문

• RQ1 모든 R-트리가 위상공간 위의 연속 높이 함수에 의해 정의된 몫공간으로 표현될 수 있는가?
• RQ2 연결되어 있고 국소적으로 연결된 공간 위의 연속 함수의 몫공간이 완비적이며 컴팩트한 R-트리가 되는 조건은 무엇인가?
• RQ3 공간 I 위의 연속 함수 h의 등고선 구조가 결과로 얻어진 R-트리의 거리 성질에 어떻게 영향을 주는가?
• RQ4 h의 등고선 집합과 몫공간 Ẽ 를 정의하는 동치류 사이의 관계는 무엇인가?
• RQ5 모든 컴팩트 R-트리가 [0,1] 위의 연속 경로의 이미지로 표현될 수 있으며, 루트까지의 거리함수를 높이 함수로 사용할 수 있는가?

주요 결과

• 모든 R-트리는 동일한 높이와 일치하는 하위등고선을 갖는 점들을 식별함으로써 유도된 위상공간 I 내의 점들에 대한 등차관계에 의해 정의된 몫공간 Ẽ 와 등거리 동치이다.
• Ẽ 위의 거리함수 d̃ 는 잘 정의되어 있으며, Ẽ 가 유일하게 호로 연결된 거리공간이자, 호들이 구간과 등거리 동치임을 보여, R-트리의 정의를 만족한다.
• 도메인 I 가 컴팩트하고 h 가 연속적이며 양일 경우, 몰공간 Ẽ 는 컴팩트 R-트리가 된다.
• 몰사상 i: I → Ẽ 는 연속적이며, 컴팩트 집합의 연속 이미지는 컴팩트이므로, I 가 컴팩트일 경우 Ẽ 도 컴팩트가 된다.
• 모든 컴팩트 R-트리는 루트까지의 거리함수를 닫힌 구간 [0,1] 으로 당겨옴으로써 연속 높이 함수의 몫공간으로 나타난다.
• 이 구성은 랜덤 워크 외출을 통한 이산적 트리 코드화를 연속적 트리로 일반화하며, 브라운 운동의 뱀과 관련된 확률과정에 대한 엄밀한 기초를 제공한다.