[論文レビュー] An upper bound for the length of a Traveling Salesman path in the Heisenberg group

Sean Li, Raanan Schul|arXiv (Cornell University)|Mar 16, 2014

Geometric Analysis and Curvature Flows参考文献 9被引用数 5

ひとこと要約

本稿では、ヘイゼンベルク群における与えられた集合を含む長さが有限の曲線の長さに対する上界を、Peter Jonesの幾何学的補題の修正版を用いて導出している。ここで使用されているJones β-数は、r < 4 のべき乗に上げられている。主な貢献は、Fujii-Fraser-Peter (FFP) が示した2を上限としていたrの有効範囲を、(2,4) にまで拡張したことである。これは、以前の推定値を改善し、r=4 における下界が成立することから、結果がほぼ最適であることが示されている。

ABSTRACT

We show that a sufficient condition for a subset $E$ in the Heisenberg group (endowed with the Carnot-Carathéodory metric) to be contained in a rectifiable curve is that it satisfies a modified analogue of Peter Jones's geometric lemma. Our estimates improve on those of \cite{FFP}, by replacing the power $2$ of the Jones-$β$-number with any power $r&lt;4$. This complements (in an open ended way) our work \cite{Li-Schul-beta-leq-length}, where we showed that such an estimate was necessary, but with $r=4$.

研究の動機と目的

• ヘイゼンベルク群の部分集合が、修正された幾何学的補題を用いて、長さが有限の曲線に含まれるための十分条件を確立すること。
• FFPの結果におけるβ-数のべき乗2を、任意のr < 4に置き換えることで、適用範囲を拡張し、以前の推定値を改善すること。
• r=4 における下界が成立することを示すことで、上界がほぼ最適であることを証明すること。
• 直径と球上でβ^rを積分した量を用いて、曲線の長さに対する定量的上界を提示すること。
• 従来の範囲を超えて、改良された幾何学的および測度論的技法を用いて、そのような曲線のアルゴリズム的構成を拡張すること。

提案手法

• ヘイゼンベルク群のカルノー＝カラテオドリ距離に適合した、Peter Jonesの幾何学的補題の修正版を用いる。
• 球内での水平直線からの距離を測るJones β-数を、r < 4 のべき乗に上げて用いる。
• ヘイゼンベルク群のdyadic立方体とそれに対応する球のスケールごとのdyadic分解を適用する。
• 幾何学的および距離的性質に基づく、異なるケース（B1’, B2 など）における精密な推定を用いた、FFPアルゴリズムの修正版を実装する。
• FFPアルゴリズムとの比較的論法を用い、r < 4 のとき、コストがH^1(Γ)β^((4−r)/8) 項によって支配されることを示す。
• 各スケールにおけるβ ∈ [2^{-t}, 2^{-t+1}) となる球の数を評価するための鍵となる補題を適用し、tに関して線形にしか増加しないことを示す。

実験結果

リサーチクエスチョン

• RQ1 ヘイゼンベルク群における長さが有限の曲線のβ-数推定において、rの範囲をr=2を超えて拡張できるか？
• RQ2 定理Aにおける上界はr=4のときにも依然有効であり、r=4における既知の下界とどのように関係しているか？
• RQ3 β-数の積分におけるべき乗r < 4 は、ヘイゼンベルク群の曲率と幾何学的性質とどのように関係しているか？
• RQ4 FFPアルゴリズムを改良することで、r ∈ (2,4) に対してより良い推定値を得られるか？
• RQ5 4次元ヒルベルト測度が積分条件に果たす役割は何か？また、群の次元と距離構造とどのように関連しているか？

主な発見

• 本稿では、任意のr < 4について、∫∫ β_E,ℍ(B(x,t))^r dt/t^4 dℋ^4(x) が有限であれば、Eが制御された長さの長さが有限の曲線上にあることを証明している。
• 曲線の長さに対する上界は、C(r) × (diam(E) + ∫∫ β^r dt/t^4 dℋ^4) で与えられ、C(r)はrにのみ依存する。
• FFPの結果を改善し、有効なrの範囲を≤2から任意のr < 4にまで拡張した。これは指数の非自明な改善を示している。
• 上界はほぼ最適であり、r=4における下界（定理B）が成立することから、r=4が閾値であることが示されている。
• 証明では、FFPアルゴリズムの精密な解析を用い、r < 4 のとき、支配的コスト項がH^1(Γ)β^((4−r)/8) であることを示しており、Rを十分に大きく選べば、これを任意に小さくできる。
• 最終的な推定値は、元の積分表現の定数倍で抑えられ、その定数はrにのみ依存するため、結果の定量的性質が確認された。