Optimal Bounds for Weak Consistent Digital Rays in 2D

TL;DR

This paper introduces a new weak consistent digital rays (WCDR) system in 2D that achieves an optimal Hausdorff distance of 1.5, improving understanding of digital line segment bounds while relaxing some properties.

Contribution

The paper presents a WCDR construction with optimal Hausdorff distance, establishing a tight bound and advancing the theory of digital line segment systems by relaxing the prolongation property.

Findings

WCDR achieves Hausdorff distance of 1.5 under L_infinity metric.

No WCDR can have Hausdorff distance less than 1.5 for any epsilon.

The construction matches the lower bound, proving optimality.

Abstract

Representation of Euclidean objects in a digital space has been a focus of research for over 30 years. Digital line segments are particularly important as other digital objects depend on their definition (e.g., digital convex objects or digital star-shaped objects). It may be desirable for the digital line segment systems to satisfy some nice properties that their Euclidean counterparts also satisfy. The system is a consistent digital line segment system (CDS) if it satisfies five properties, most notably the subsegment property (the intersection of any two digital line segments should be connected) and the prolongation property (any digital line segment should be able to be extended into a digital line). It is known that any CDS must have $\Omega(\log n)$ Hausdorff distance to their Euclidean counterparts, where $n$ is the number of grid points on a segment. In fact this lower bound even applies to consistent digital rays (CDR) where for a fixed $p \in \mathbb{Z}^2$, we consider the digital segments from $p$ to $q$ for each $q \in \mathbb{Z}^2$. In this paper, we consider families of weak consistent digital rays (WCDR) where we maintain four of the CDR properties but exclude the prolongation property. In this paper, we give a WCDR construction that has optimal Hausdorff distance to the exact constant. That is, we give a construction whose Hausdorff distance is 1.5 under the $L_\infty$ metric, and we show that for every $\epsilon > 0$, it is not possible to have a WCDR with Hausdorff distance at most $1.5 - \epsilon$.