[论文解读] Maximal digital straight segments and convergence of discrete geometric estimators

François de Vieilleville, Jacques‐Olivier Lachaud+1 more|HAL (Le Centre pour la Communication Scientifique Directe)|Jun 15, 2009

Digital Image Processing Techniques被引用 14

一句话总结

本文研究了离散几何估计器的收敛性，特别是基于数字直线段（DSS）识别的曲率估计器。研究证明，最大DSS的渐近增长速度不会快于O(m^{1/3} log m)，这与先前收敛性证明中假设的O(√m)增长速度相矛盾，因此否定了一个关键假设，使得基于DSS的曲率估计器的收敛性成为一个开放问题。

ABSTRACT

Discrete geometric estimators approach geometric quantities on digitized shapes without any knowledge of the continuous shape. A classical yet difficult problem is to show that an estimator asymptotically converges toward the true geometric quantity as the resolution increases. We study here the convergence of local estimators based on Digital Straight Segment (DSS) recognition. It is closely linked to the asymptotic growth of maximal DSS, for which we show bounds both about their number and sizes. These results not only give better insights about digitized curves but indicate that curvature estimators based on local DSS recognition are not likely to converge. We indeed invalidate an hypothesis which was essential in the only known convergence theorem of a discrete curvature estimator. The proof involves results from arithmetic properties of digital lines, digital convexity, combinatorics, continued fractions and random polytopes.

研究动机与目标

• 分析在数字化曲线中最大数字直线段（DSS）的渐近行为。
• 研究DSS增长速率对离散几何估计器收敛性的影响。
• 质疑先前工作中假设半切线以Ω(√m)增长的假设4.1的有效性。
• 利用数字凸性和随机多面体理论，建立最大DSS数量和长度的理论边界。
• 解决基于DSS和外接圆计算的曲率估计器是否能渐近收敛的问题。

提出的方法

• 作者利用数字凸多边形理论，将最大DSS与数字化形状凸包的边联系起来。
• 他们应用随机多面体理论的结果，推导出凸包边的数量和大小的渐近边界。
• 分析使用了数字直线的算术性质、连分数和组合数学，以建模DSS的模式。
• 基于凸包边的渐近行为，推导出最大DSS长度的理论边界，得出O(m^{1/3} log m)的上界。
• 对数字化圆盘的实验验证了理论发现，显示平均DSS长度与m^{1/3}而非√m一致。
• 通过误差分析评估曲率估计器，将估计的曲率与真实值（κ=1）在分辨率逐渐增加时进行比较。

实验结果

研究问题

• RQ1 在分辨率增加时，数字化C³-曲线中最大数字直线段的增长速率是否为Ω(√m)？
• RQ2 支撑DSS基曲率估计器收敛性证明的假设是否对具有正曲率的光滑曲线有效？
• RQ3 数字化形状中最大DSS的数量和长度的渐近边界是什么？
• RQ4 能否证明基于DSS识别和外接圆计算的曲率估计器具有渐近收敛性？
• RQ5 在离散设置中，曲率估计器的平均行为与逐点收敛性有何不同？

主要发现

• 在数字化C³-曲线中，最大DSS的渐近增长速度不会快于O(m^{1/3} log m)，这与先前工作中假设的Ω(√m)相矛盾。
• 半径为m的数字化圆盘的凸包边数下界为c₁(S)m^{2/3}，这影响了DSS长度的边界。
• 由于半切线是最大DSS的子集，因此其长度也受O(m^{1/3} log m)的限制，违反了[3]中的假设4.1。
• 实验结果证实，平均DSS长度更接近m^{1/3}而非√m，支持了理论分析。
• 基于外接圆计算的曲率估计器无法实现渐近收敛，因为其收敛性依赖于一个无效的增长假设。
• 尽管平均性能稳定，但估计器在逐点上不收敛，表明平均收敛性不能推出逐点收敛性。