[論文レビュー] Some notes on trees and paths

Ben Hambly, Terry Lyons|ArXiv.org|Sep 8, 2008

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/~ に投影して、商空間 Ẽ 上での well-defined な距離 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̃ は well-defined であり、これにより Ẽ は一意的に弧状に連結な距離空間となり、その弧は区間と等長同型である。したがって、R-ツリーの定義を満たす。
• 定義域 I がコンパクトで、h が連続的かつ正であれば、商空間 Ẽ はコンパクトなR-ツリーである。
• 商写像 i: I → Ẽ は連続であり、コンパクト集合の連続像がコンパクトであることから、I がコンパクトであれば Ẽ もコンパクトである。
• 任意のコンパクトなR-ツリーは、[0,1] 上の連続的高さ関数の商として、根までの距離関数を引き戻すことにより得られる。
• この構成は、ランダムウォークの上昇部分路による離散的ツリー符号化を連続的ツリーに一般化し、ブラウン運動のスネークや関連する確率過程のための厳密な基礎を提供する。