[論文レビュー] Homotopy relations for digital images

Laurence Boxer, P. Christopher Staecker|arXiv (Cornell University)|Sep 22, 2015

Digital Image Processing Techniques参考文献 8被引用数 3

ひとこと要約

本稿では、デジタル画像における3つの新しいホモトピー関係——ホモトピー類似性、同じ長いホモトピー型、同じ実数ホモトピー型——を導入し、従来のデジタルホモトピー同値性を拡張することで、有界および無限大の画像同士を比較可能にする。標準的なホモトピー同値性とは異なり、これらの関係は、一方の画像が無限大の直径を持つ場合であっても、基本群の構造とホモトピー的挙動が一致する限り、有限および無限大のデジタル画像を類似とみなせる。主な貢献は、これらの関係が基本群の同型を保ち、ワッペンおよびカルテシアン積に関して閉じており、無限大のデジタル空間のホモトピー論的解析を可能にすることにある。

ABSTRACT

We introduce three generalizations of homotopy equivalence in digital images, to allow us to express whether a finite and an infinite digital image are similar with respect to homotopy. We show that these three generalizations are not equivalent to ordinary homotopy equivalence, and give several examples. We show that, like homotopy equivalence, our three generalizations imply isomorphism of fundamental groups, and are preserved under wedges and Cartesian products.

研究の動機と目的

• デジタルトポロジーにおける従来の定義では、有界および無限大のデジタル画像が標準的な定義のもとではホモトピー同値とみなせないという制限に対処すること。
• 有界および無限大のデジタル画像がホモトピー的性質の観点から類似とみなせるような、新しいホモトピー関係を定義すること。
• 基本群の同型を保ち、ワッペンやカルテシアン積のような位相的構成に対して閉じていること。
• 代数的不変量を維持しつつ、無限大の直径を有する画像を含むようにデジタルホモトピー理論を一般化すること。

提案手法

• ホモトピー類似性、同じ長いホモトピー型、同じ実数ホモトピー型の3つの新しい関係を導入し、それぞれがデジタルホモトピー同値性を一般化する。
• ホモトピー類似性を、次第にサイズが増加する部分画像の入れ子の系列を用いて定義し、それぞれの部分画像が他方の空間の対応する部分画像とホモトピー同値であることを要件とする。
• 同じ長いホモトピー型を、時間間隔が拡大する無限のホモトピー同値の鎖を用いて定義する。
• 同じ実数ホモトピー型を、実数値の時間間隔における連続ホモトピーを用いて定義し、デジタル設定に適応する。
• 標準的な $c_u$-隣接性フレームワークにおけるデジタル連続性および経路に基づくホモトピーを用い、定義の整合性を保証する。
• 成分ごとのホモトピーを構成し、緩められた隣接性を用いることで、ワッペンおよび有限カルテシアン積における閉包性を証明する。

実験結果

リサーチクエスチョン

• RQ1 直径が異なるにもかかわらず、有界および無限大のデジタル画像が意味的にホモトピー的に類似とみなせるか？
• RQ2 提案された関係——ホモトピー類似性、同じ長いホモトピー型、同じ実数ホモトピー型——は互いに含意関係にあるか、それとも厳密に異なるか？
• RQ3 両方の画像が有限の場合、これらの新しい関係は標準的なデジタルホモトピー同値性と同値か？
• RQ4 これらの関係は基本群の同型を保ち、ワッペンや積のような位相的構成を尊重するか？
• RQ5 これらの新しい関係は、無限大の直径を有するデジタル画像を代数的不変量を保持したまま比較するために使用可能か？

主な発見

• ホモトピー類似性、同じ長いホモトピー型、同じ実数ホモトピー型は、標準的なデジタルホモトピー同値性よりも厳密に一般化されており、互いに同値ではない。
• 3つの関係すべてが、一方の画像の直径が無限大であっても、基本群の同型を示す。
• これらの関係は、点付きデジタル画像のワッペンに対して保存され、この構成においてホモトピー的類似性が維持される。
• 緩められた隣接性を用いることで、有限カルテシアン積は3つの関係すべてを保存し、積構造と整合性を保つ。
• 同じ長いホモトピー型は同じ実数ホモトピー型を含意するが、逆は一般には成り立たない。
• 一方の画像が無限大の場合、これらの関係は標準的なホモトピー同値性と同値ではなく、有限と無限大のデジタル画像の間で挙動に根本的な違いが存在することを示している。