[論文レビュー] The Kuratowski convergence of medial axes

Maciej P. Denkowski|arXiv (Cornell University)|Feb 17, 2016

Advanced Topology and Set Theory参考文献 6被引用数 4

ひとこと要約

本稿では、ℝⁿにおける閉集合および定義可能集合の中心軸に対して、Kuratowski収束を用いた、新たな連続変形枠組みを提案する。正則性仮定を不要にする。主な貢献は、中心軸の接錐を計算可能にする強固な収束結果であり、特異点理論への直接的な応用を可能にする。

ABSTRACT

In this paper we study the behaviour of medial axes (skeletons) of closed, definable (in some o-minimal structure) sets in ${\Rz}^n$ under deformations. We apply a new approach to the deformation process. Instead of seeing it as a `jump' from the initial to the final state, we perceive it as a continuous process, expressed using the Kuratowski convergence of sets (hence, unlike other authors, we do not require any regularity of the deformation). Our main result has already proved useful, as it was used to compute the tangent cone of the medial axis with application in singularity theory.

研究の動機と目的

• 正則性条件を要しない連続変形における中心軸の挙動を分析すること。
• 離散的「ジャンプ」ではなく、Kuratowski集合収束に基づく新しい変形モデルを構築すること。
• 特異点理論における中心軸の接錐を計算するための基盤を提供すること。

提案手法

• 集合のKuratowski収束を用いて、連続的なプロセスとして変形をモデル化する。
• ℝⁿにおけるo-最小構造内に含まれる閉じた定義可能集合にこの枠組みを適用する。
• トポロジカルな収束を用いて、滑らかさの仮定なしに中心軸の進化を追跡する。
• o-最小構造の性質を活用し、変形下での定義可能集合の挙動を保証する。
• 中心軸をKuratowski収束下での近似集合の極限として定式化する。
• 変形下で中心軸が連続的に収束するための条件を確立する。

実験結果

リサーチクエスチョン

• RQ1 定義可能集合の中心軸は、正則性制約なしに連続変形下でどのように振る舞うか？
• RQ2 Kuratowski収束を用いて、中心軸の進化を連続的プロセスとしてモデル化できるか？
• RQ3 このような変形下での中心軸の極限的挙動は何か？
• RQ4 この収束枠組みを用いて、中心軸の接錐をどのように計算できるか？
• RQ5 このアプローチは特異点理論にどのような意味を持つか？

主な発見

• 正則性仮定がなくても、Kuratowski収束による変形下で中心軸は連続的に収束する。
• 提案された枠組みにより、中心軸の接錐の計算が可能になる。
• この手法は、幾何的構造の特異点を分析する強固なツールを提供する。
• この結果は特異点理論に応用可能であり、特に中心軸の局所幾何構造の研究に有効である。
• このアプローチは滑らかでない変形にも一般化可能であり、非正則な設定へと拡張可能である。