[논문 리뷰] The coding of compact real trees by real valued functions

Thomas Duquesne|ArXiv.org|2006. 04. 05.

Algorithms and Data Compression인용 수 30

한 줄 요약

이 논문은 루트, 선형 순서, 그리고 일관된 측도를 지닌 컴팩트한 실수 트리와 유한 구간 [0,M]에서 정의된 음이 아닌, 왼쪽에서 연속이며 오른쪽 극한이 존재하고 0에서 0이 되며 양의 점프가 없는 함수 사이의 일대일 대응을 수립한다. 주요 기여는 트리 탐색 중 후퇴를 최소화하는 유일한 높이 곡선을 통한 이러한 구조화된 트리의 캐논리컬 코딩이며, 측도 변화는 코딩 함수의 재매개변수화와 대응됨을 보여준다.

ABSTRACT

This paper is a detailled study of the coding of real trees by real valued functions that is motivated by probabilistic problems related to continuum random trees. Indeed it is known since the works of Aldous (1993) and Le Gall (1991) that a continuous non-negative function $h$ on $[0,1]$ such that $h(0)=0$ can be seen as the contour process of a compact real tree. This particular coding of a compact real tree provides additional structures, namely a root that is the vertex corresponding to $0\in [0,1]$, a linear order inherited from the usual order on $[0,1]$ and a measure induced by the Lebesgue measure on $[0,1]$; of course, the root, the linear order and the measure obtained by such a coding have to satisfy some compatibility conditions. In this paper, we prove that any compact real tree equipped with a root, a linear order and a measure that are compatible can be encoded by a non-negative function $h$ defined on a finite interval $[0, M]$, that is assumed to be left-continuous with right-limit, without positive jump and such that $h(0+)=h(0)=0$. Moreover, this function is unique if we assume that the exploration of the tree induced by such a coding backtracks as less as possible. We also prove that a measure-change on the tree corresponds to a re-parametrization of the coding function. In addition, we describe several path-properties of the coding function in terms of the metric properties of the real tree.

연구 동기 및 목표

• 컴팩트한 실수 트리에 루트, 선형 순서, 그리고 일관된 측도가 존재할 때 이를 실수 값 함수로 코딩할 수 있는 조건을 규명하는 것.
• 트리 탐색 중 후퇴를 최소화하는 고유한 캐논리컬 코딩 함수를 수립하는 것.
• 트리 위의 측도 변화가 코딩 함수의 재매개변수화와 대응됨을 보여주는 것.
• 코딩 함수의 경로 성질이 기저가 되는 실수 트리의 거리 및 기하학적 특성과 어떻게 관련되는지 규명하는 것.
• 기존의 연속적 랜덤 트리에 대한 코딩 방법을 통합하고 일반화하는 것 — 예를 들어 브라운 운동 CRT와 레비 트리 포함.

제안 방법

• 루트, [0,M]에서 유도된 선형 순서, 트리의 위상과 일관된 보렐 측도를 지닌 구조화된 컴팩트한 실수 트리를 메트릭 공간으로 정의한다.
• 깊이 우선 탐색을 통해 시간 t에 탐색된 점까지의 루트로부터의 거리로 함수 h(t)를 구성한다.
• h에 대한 조건을 부과한다: 음이 아닌 것, 왼쪽 연속성과 오른쪽 극한 존재, h(0+)=h(0)=0, 그리고 양의 점프 없음.
• 최소한의 후퇴를 요구함으로써 코딩 함수의 유일성을 증명한다 — 즉, 탐색은 가능한 한 앞으로 나아간다.
• 높이 과정을 코딩 함수의 캐논리컬 대표로 사용하며, 레비 과정의 현지 시간과 윤곽 과정과 연결한다.
• 트리 위의 측도 변화가 코딩 함수 h의 재매개변수화를 유도함을 증명하며, 트리의 등장사상 클래스는 유지된다.

실험 결과

연구 질문

• RQ1 어떤 컴팩트한 실수 트리(루트, 선형 순서, 일관된 측도를 지님)가 실수 값 함수로 코딩될 수 있는가?
• RQ2 이러한 코딩 함수의 존재성과 유일성을 보장하는 조건은 무엇인가?
• RQ3 코딩 함수의 경로 성질(예: 연속성, 무한 변동성)은 트리의 기하학적 구조와 어떻게 관련되는가?
• RQ4 트리 위의 측도 변화는 코딩 함수에 어떤 영향을 미치는가?
• RQ5 어떤 의미에서 높이 과정은 CRT나 레비 트리와 같은 랜덤 트리의 맥락에서 코딩 함수의 캐논리컬 대표인가?

주요 결과

• 루트, 선형 순서, 일관된 측도를 지닌 임의의 컴팩트한 실수 트리는 [0,M]에서 음이 아닌, 왼쪽에서 연속이며 오른쪽 극한이 존재하고 0에서 0이 되며 양의 점프가 없는 함수로 유일하게 코딩될 수 있다.
• 후퇴를 최소화하는 고유한 코딩 함수는 정확히 트리 탐색과 관련된 높이 과정과 일치한다.
• 트리 위의 측도 변화는 코딩 함수의 재매개변수화를 유도하며, 트리의 등장사상 클래스는 유지된다.
• 코딩 함수의 경로 성질(예: 연속성, 무한 변동성)은 측도의 원자 없음 또는 뼈대의 구조와 같은 트리의 거리적 성질과 대응된다.
• 이 코딩 방법은 기존의 구성 방식을 통합하고 일반화한다 — 예를 들어 CRT의 브라운 운동 근사와 레비 트리의 높이 과정 포함.
• 무한 변동성 경로를 지닌 레비 과정에 의해 유도된 트리는 비원자 측도와 측도가 0인 뼈대를 가지며, 균일하게 재배열된 순서의 높이 함수는 연속적이지만 일반적으로 분포는 해석이 어려우며 브라운 운동의 경우를 제외하고는 일반적으로 해를 구하기 어렵다.