[论文解读] Homotopy relations for digital images

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

Digital Image Processing Techniques参考文献 8被引用 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.

研究动机与目标

• 解决数字拓扑中一个局限：在标准定义下，有界与无界数字图像无法被视为同伦等价。
• 定义新的同伦关系，使有界与无界数字图像可在同伦性质上被视为相似。
• 保持基本群同构性，并对楔积和笛卡尔积等拓扑构造保持封闭。
• 将数字同伦理论推广至包含无限直径图像的情形，同时保持代数不变量。

提出的方法

• 引入三种新关系：同伦相似性、同长同伦型和同实同伦型，每种均推广数字同伦等价。
• 通过嵌套的子图像序列（随大小递增）定义同伦相似性，其中每个子图像与另一空间中对应子图像同伦等价。
• 通过随时间区间递增的无限同伦等价链定义同长同伦型。
• 通过实值时间区间上的连续同伦定义同实同伦型，并将其适配至数字设定。
• 在标准的 $c_u$-邻接框架下使用数字连续性与基于路径的同伦，以确保定义的良定性。
• 通过构造分量同伦并使用松弛邻接关系，证明其在楔积与有限笛卡尔积下的封闭性。

实验结果

研究问题

• RQ1 尽管在直径上存在差异，有界与无界数字图像是否可被有意义地视为同伦相似？
• RQ2 所提出的三种关系——同伦相似性、同长同伦型和同实同伦型——是否彼此蕴含，或是否严格互不等价？
• RQ3 当两个图像均为有限时，这些新关系是否与标准数字同伦等价等价？
• RQ4 这些关系是否保持基本群同构性？是否尊重楔积与积等拓扑构造？
• RQ5 这些新关系能否用于比较具有无限直径的数字图像，同时保留代数不变量？

主要发现

• 同伦相似性、同长同伦型与同实同伦型严格推广了标准数字同伦等价，且彼此之间不等价。
• 这三种关系均蕴含基本群同构，即使其中一图像具有无限直径。
• 这些关系在指向数字图像的楔积下保持不变，意味着同伦相似性在此构造下得以维持。
• 在使用松弛邻接关系时，有限笛卡尔积保持所有三种关系，确保与积结构的兼容性。
• 同长同伦型蕴含同实同伦型，但反之不成立（一般情况下）。
• 当一图像为无限时，这些关系与标准同伦等价不等价，揭示了有限与无限数字图像在行为上的根本差异。