[論文レビュー] Subsets of Rectifiable curves in Hilbert Space-The Analyst's TSP

Raanan Schul|ArXiv.org|Feb 28, 2006

Advanced Numerical Analysis Techniques参考文献 10被引用数 10

ひとこと要約

この論文は、無限次元ヒルバート空間へのアナリストの巡回セールスマン定理の拡張を提示し、集合がリーマン可能な曲線上にあるための必要十分条件を示している。その条件とは、局所的な平坦性を測る幾何的平方関数の ℓ² 範囲が有限であることである。主な結果は、このジョーンズ型の平方関数の ℓ² 範囲が、与えられた集合を含む連結集合のハウスドルフ長の下界と比較可能であり、環境次元に依存しない評価が得られることを示している。

ABSTRACT

We study one dimensional sets (Hausdorff dimension) lying in a Hilbert space. The aim is to classify subsets of Hilbert spaces that are contained in a connected set of finite Hausdorff length. We do so by extending and improving results of Peter Jones and Kate Okikiolu for sets in $\R^d$. Their results formed the basis of quantitative rectifiability in $\R^d$. We prove a quantitative version of the following statement: a connected set of finite Hausdorff length (or a subset of one), is characterized by the fact that inside balls at most scales around most points of the set, the set lies close to a straight line segment (which depends on the ball). This is done via a quantity, similar to the one introduced in \cite{Jones90}, which is a geometric analog of the Square function. This allows us to conclude that for a given set $K$, the $\ell_2$ norm of this quantity (which is a function of $K$) has size comparable to a shortest (Hausdorff length) connected set containing $K$. In particular, our results imply that, with a correct reformulation of the theorems, the estimates in \cite{Jones90,Okik92} are {\bf independent of the ambient dimension}.

研究の動機と目的

• ヒルバート空間の部分集合が、有限ハウスドルフ長をもつリーマン可能な曲線上にあるための特徴付けを行う。
• ℝᵈ におけるピーター・ジョーンズおよびケイト・オキクイオルの結果を、無限次元ヒルバート空間へ一般化すること。
• ヒルバート空間におけるアナリストの巡回セールスマン問題の定量的バージョンを確立すること。
• 幾何的平方関数（ジョーンズの β-数に類似）の ℓ² 範囲が、与えられた集合を含む連結集合の最小長を制御することを示すこと。
• 幾何的推定値が環境次元に依存しないことを証明し、ℝᵈ における結果をヒルバート空間へ拡張すること。

提案手法

• さまざまなスケールにおける球内での集合の平坦性を測る β-数を用いて、幾何的平方関数を定義する。
• 網に基づく被覆を用いたマルチスケールの球の族（マルチスケール被覆）を用いて、すべてのスケールで集合を分析する。
• 二進的類似の分解とストップタイムの議論を用いて、非平坦部分とほぼ平坦部分の弧に分析を分解する。
• アーベル・アスcoliの定理を適用して、近似曲線の収束部分列を抽出し、極限がリプシッツ曲線であることを保証する。
• ゴラブの定理と射影の議論を用いて、極限におけるハウスドルフ長を保存し、与えられた集合を含む最短の連結集合の存在を証明する。
• 平方関数の ℓ² 範囲と、与えられた集合を含むすべての連結集合のハウスドルフ長の下界との比較を確立する。

実験結果

リサーチクエスチョン

• RQ1 どのヒルバート空間の部分集合が、有限ハウスドルフ長をもつリーマン可能な曲線上にあるか？
• RQ2 アナリストの巡回セールスマン定理は、ℝᵈ から無限次元ヒルバート空間へ拡張可能か？
• RQ3 β-数に基づく幾何的平方関数が有限であることは、集合が有限長のリーマン可能な曲線上にあるための必要十分条件か？
• RQ4 アナリストのTSPにおける推定値は、無限次元でも環境次元に依存しないか？
• RQ5 平方関数の ℓ² 範囲と、与えられた集合を含む連結集合の最小ハウスドルフ長の関係は何か？

主な発見

• ヒルバート空間内の集合 $ K $ が、有限ハウスドルフ長をもつリーマン可能な曲線上にあるための必要十分条件は、β-数に基づく幾何的平方関数の ℓ² 範囲が有限であることである。
• 平方関数の ℓ² 範囲は、$ K $ を含むすべての連結集合のハウスドルフ長の下界と比較可能であり、普遍定数を用いて評価可能である。
• 証明により、ジョーンズ（1990）およびオキクイオル（1992）の推定値が環境次元に依存しないことが示され、ヒルバート空間へ拡張可能であることが確認された。
• アーベル・アスcoliの定理とゴラブの定理を用いて、$ K $ を含む最短の連結集合（極限における最小スパニングツリー（MST））の存在が証明された。
• 極限曲線が、$ \Gamma $ を最小連結集合として、定数 $ 32 \mathcal{H}^1(\Gamma) $ で有界されるリプシッツ曲線であることが示された。
• 構成では、$ 2^{-n} $-ネットとマルチスケール族を用いて、すべてのスケールでの平坦性を制御し、リーマン可能な曲線への収束を保証した。