Abstract
This article focuses on the classical problem of the control of information loss during the digitization step. The properties proposed in the literature rely on smoothness hypotheses that are not satisfied by the curves including angular points. The notion of turn introduced by Milnor in the article On the Total Curvature of Knots generalizes the notion of integral curvature to continuous curves. Thanks to the turn, we are able to define the local turn-boundedness. This promising property of curves does not require smoothness hypotheses and shares several properties with the par(r)-regularity, in particular well-composed digitizations. Besides, the local turn-boundedness enables to constrain spatially the continuous curve as a function of its digitization.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The loss of information caused by a digitization process is inevitable. Therefore a fundamental point concerns the control of this information loss. This is the starting point for our study. More precisely, we want to determine conditions under which the discretization of a shape preserves—in a sense to be specified—some of the geometric and topological properties of the original continuous shape. Then, we focus on a geometric criterion, the control of the Hausdorff distance between a shape and its digitization and a topological criterion, the preservation of the manifoldness of a shape.
Several hypotheses on the shape have been proposed in the literature to obtain such faithful digitizations. These hypotheses are detailed hereafter and compared in Table 1 for a set of properties. In the rest of the paper, S stands for a shape of the Euclidean plane whose border \(\mathcal C\) is a Jordan curve.
One of the most used hypotheses, called par(r)-regularity, was independently introduced in 1982 by Pavlidis in [13] and in 1984 by Serra in [14] in order to study the preservation of the topology by the Gauss digitization. It demands that any point \(c\in \mathcal C\) has an interior osculating disk entirely included in the interior of \(\mathcal C\) except for the point c and an exterior osculating disk entirely included in the exterior of \(\mathcal C\) except for the point c (see Definition 10). It has been used to prove some topology preservation properties [5, 8, 13]. The par(r)-regularity encompasses two ideas: the border of the shape has a curvature bounded from above, and the shape has a positive minimal thickness. But par(r)-regularity fails to include non-regular shapes having corners as polygons (see Proposition 10). That is why there exists in the literature many notions generalizing par(r)-regularity. For instance, Stelldinger et al. suggest in [15, 16] a regularization to transform some class of shapes (half-regular shapes) having spikes into par(r)-regular shapes. The half-regularity is a more general version than par-regularity. Indeed, it only demands that each point on the border of the shape has one of the two osculating disks modulo the exclusion of a kind of defects in the regularization process. In [10], Meine et al. introduced a generalization of half(r)-regularity: the r-stability. A shape is r-stable if its boundary can be dilated with a closed disk of radius s without changing its homotopy type for any \(s \le r\). Sadly, these two latest notions give no guarantee about the well-composedness of the digitization but only about the homotopy equivalence between the object and its reconstruction and do not provide a control of the geometry. Indeed, they allow the continuous shape to be arbitrarily far from its digitization. More controlled generalizations of par(r)-regularity under digitization have been developed. For instance, Ngo et al. [12] define the notion of quasi(r)-regularity allowing irregularities of the border of the shape S to lie in a margin of magnitude \((\sqrt{2}-1)r\) around the erosion of S by a centered ball of radius r. The quasi-regularity has been introduced in order to guarantee the preservation under rigid transformation of the well-composedness. But the definition of quasi(r)-regularity uses both local and global properties as connectedness. Moreover, given explicitly a shape S, it can be hard to determine whether it is quasi(r)-regular. In [10], in addition to r-stability, Meine et al. also defined the \((\theta , d)\)-spikes as arcs delimited by two points \(x_1\) and \(x_2\) at distance at most d from each other, such that there exists a point y in this arc forming an angle \(\widehat{x_1yx_2}\) strictly less than \(\theta \). Alone, the notion of curve without \((\theta , d)\)-spike can only give a bound on the distance between a shape S and its digitization. The classical notion of reach [4] which is the minimal distance between the boundary of a shape and its medial axis also makes it possible to control the thickness and the curvature. Indeed, it was proven in [7] that par-regularity amounts to asking a positive reach. But having positive reach requires continuous differentiability of the boundary. In [3], Chazal et al. defined the \(\mu \)reach that just requires that all the projections on the curve of a medial axis point close to the curve are seen under some tight angle. Nevertheless, the \(\mu \)-reach seems hard to compute and does not guarantee the well-composedness of the digitization but only the homotopy equivalence.
In this article, we introduce a notion that requires the shape to be thick enough and not to have small artifacts in comparison with the grid step. In other words, the border of S should be locally flat. We propose a new wide class of Jordan curves whose interior fulfill the previous requirements. We call them locally turn-bounded curves. By wide class, we mean a class that encompasses both regular curves and polygons. The thickness part of the definition is based on the distortion thickness of Kusner and Sullivan [6]. Their idea is to consider the minimal distance between two points of the curve sufficiently far from each other for the geodesic distance. The locally flatness part of the definition of the locally turn-boundedness relies on the notion of turn adapted to both regular curves and polygons. The turn was firstly introduced by Milnor [11] to study the geometry of knots. We get the local turn-boundedness by replacing the geodesic distance with the total curvature in the definition of the distortion thickness. Indeed, local turn-boundedness allows us a more acute control on the curve. For instance, instead of bounding one arc delimited by two fixed points in an ellipse whose foci are the two points, we bound the arc in a disk whose diameter is the segment delimited by the two points.
This article is an extended version of the conference article [9]. The additions are the following: a stronger result about well-composedness (Proposition 9), the digitization of a locally turn-bounded curve is 4-connected (Corollary 5) and a proof that a par(r)-regular curve is locally turn-bounded (Sect. 5). In order to prove these results, technical lemmas, propositions and definitions have been introduced.
The article is organized as follows. First, we recall the main properties and definitions about the notion of turn (Sect. 2). Then, we present the class of locally turn-bounded curves and we give their basic properties (Sect. 3). Section 4 is devoted to the proof of our first main result, Theorem 1: the digitization of a shape bounded by a locally turn-bounded curve is well-composed and 4-connected under a “compatibility hypothesis” related to the grid step. In Sect. 5, we prove our second main result, Theorem 3: local turn-boundedness is a generalization of par-regularity (and thus, of having positive reach).
2 Turn of a Simple Curve
Although the notion was introduced by Milnor in [11], the definitions and properties given in this section come from the book of Alexandrov and Reshetnyak [1]. As presented in Proposition 2, the turn extends to continuous curves the notion of integral curvature already defined for regular curves.
Terminology and notations In this paragraph, some necessary notions on oriented curves are recalled.
-
Let \(c \in \mathbb R^2\) and \(r\ge 0\). We denote by B(c, r) the open disk of center c and radius r and by \(\bar{B}(c,r)\) the close disk of center c and radius r.
-
A parametrized curve is a continuous application \(\gamma \) from an interval \([t_0,t_1]\) of \(\mathbb R\), \(t_0<t_1\), to \(\mathbb R^2\). It is simple if it is injective on \([t_0,t_1)\) and closed if \(\gamma (t_0)=\gamma (t_1)\). A (geometric) curve is the image of a parametrized curve. A Jordan curve is a simple closed curve.
-
For a simple parametrized curve \(\gamma \), an order is defined on the points of the associated curve \(\mathcal C\) by:
$$\begin{aligned} \gamma (\alpha )\le _\gamma \gamma (\beta )\Leftrightarrow \alpha \le \beta \end{aligned}$$and \(\le _\gamma \) is denoted by \(\le \) if there is no ambiguity. A simple curve \(\gamma \) with such an order is called oriented curve.
-
A polygonal line with vertices \(x_0\),..., \(x_{N}\) is denoted by \([x_0,x_1\ldots ,x_{N}]\) (if \(x_N=x_0\), the polygonal line is a polygon). A polygonal line L is inscribed into an oriented curve \(\mathcal C\) if the vertices of the polygonal line L form an increasing sequence for the order relationship defined by some simple parametrization of \(\mathcal C\). For a Jordan curve, a polygonal line L is inscribed if its first and its last vertex are equal and all its vertices but the last form an increasing sequence for the order relationship defined by some simple parametrization of \(\mathcal C\).
-
Let N be a positive integer and \(x_0, x_1,\ldots , x_{N}\) points of \(\mathbb R^2\). The polygonal line PL = \([x_0,x_1,\ldots ,x_{N}]\) can be considered as the image of the parametrized curve \(pl : [0, N] \mapsto \mathbb {R}^2\) such that \(pl(t) = x_{\lfloor t \rfloor } (t-\lfloor t \rfloor )+ (1-t+\lfloor t \rfloor )x_{\lfloor t \rfloor +1}\) where for \(r \in \mathbb {R}\), \(\lfloor r \rfloor \) in the integer part of the real r. In other words, for any integer i between 0 and N, if \(t\in [i, i+1)\), then \(pl(t) = (t-i)x_i+(1-t+i)x_{i+1}\), and thus \(pl([i, i+1])\) is the segment \([x_i,x_{i+1}]\) of \(\mathbb {R}^2\). A polygonal line is simple if it is simple for the previous parametrization and thus a simple polygon is a Jordan curve.
-
Given a curve \(\mathcal C\) and two points a, b on \(\mathcal C\) (\(a\ne b\)), we write \(\mathcal C_a^b\) for the arc ending at a and b if \(\mathcal C\) is not closed. If \(\mathcal C\) is closed, \(\mathcal C_a^b\) and \(\mathcal C_b^a\) stand for the two arcs of \(\mathcal C\) delimited by a and b. Since these two arcs are hard to distinguish formally, the latter notation is defined up to permutation of the two arcs.
-
The angle between two vectors \(\mathbf {u}\) and \(\mathbf {v}\) is denoted by \((\mathbf {u}, \mathbf {v})\) (\((\mathbf {u}, \mathbf {v})\in \mathbb R/2\pi \mathbb Z)\). The geometric angle between two vectors \(\mathbf {u}\) and \(\mathbf {v}\), denoted by \(\angle (\mathbf {u} , \mathbf {v})\), or two directed straight lines oriented by \(\mathbf {u}\) and \(\mathbf {v}\), is the absolute value of the reference angle taken in \((-\pi ,\pi ]\) between the two vectors. Thus, \(\angle (\mathbf {u}, \mathbf {v})\in [0,\pi ]\). Given three points x, y, z, we also write \(\widehat{xyz}\) for the geometric angle between the vectors \(x-y\) and \(z-y\).
Remark 1
Every geometric curve is a compact set. Hence, the straight lines are not geometric curves.
Definition 1
(Turn)
-
The turn \(\kappa (L)\) of a polygonal line \(L=[x_i]_{i=0}^{N}\) is defined by:
$$\begin{aligned} \kappa (L):=\sum _{i=1}^{N-1}\angle (x_i-x_{i-1}, x_{i+1}- x_i). \end{aligned}$$ -
The turn \(\kappa (P)\) of a polygon \(P=[x_i]_{i=0}^{N}\) (where \(x_{N}=x_0 \) and \(x_{N+1}=x_1\)) is defined by (Fig. 1):
$$\begin{aligned} \kappa (P):=\sum _{i=1}^{N}{\angle (x_i-x_{i-1}, x_{i+1}- x_i)}. \end{aligned}$$ -
The turn \(\kappa (\mathcal C)\) of a simple curve \(\mathcal C\) (respectively, of a Jordan curve) is the upper bound of the turn of its inscribed polygonal lines (respectively, of its inscribed polygons).
Since the turn of a polygon equals the upper bound of the turn of the polygons inscribed in it [1, Corollary p. 119], the turn of the polygon seen as a closed curve is equal to the turn of the polygon. Hence, the turn is well defined.
It should be noticed that the turn does not depend on the orientation of the curve. Indeed, it is well-known that \((\mathbf {u}, \mathbf {v})= - (-\mathbf {v}, -\mathbf {u})\), then \(\angle (\mathbf {u}, \mathbf {v})=\angle (-\mathbf {u}, -\mathbf {v})\). Thus, \(\kappa \left( [x_i]_{i=0}^{N}\right) =\kappa \left( [x_i]_{i=N}^{0}\right) \).
Remark 2
The turn is stable under homothetic maps. Indeed, obviously, the turn is invariant by any conformal map, in particular by the homotheties.
Like the length of a curve, the turn can be calculated thanks to multiscale samplings. This is the object of Property 1 where we denote by \(\mathcal {L}(\mathcal C)\) the length of the curve \(\mathcal C\).
Property 1
(Convergence of the length and turn of a sequence of polygonal lines [1], p. 23, 30, 121, 122) Let \(\mathcal C\) be a simple curve and \((L_m)_{m \in \mathbb N}\) a sequence of polygonal lines inscribed in \(\mathcal C\) and with same endpoints as \(\mathcal C\). If \(\lim _{m \rightarrow + \infty } \lambda _m =0\), where \(\lambda _m\) is the maximum length of a side of the polygonal line \(L_m\), then
and
Moreover, if \(\kappa (\mathcal C)\) is finite, then \(\mathcal {L}(\mathcal C)\) is also finite (i. e.\(\mathcal C\) is rectifiable).
In Property 1, if we assume that the sequence \((L_m)\) is increasing (\(L_m\) is inscribed in \(L_{m+1}\)), then the sequences \((\mathcal {L}(L_m))\) and \((\kappa (L_m))\) are both increasing [1, Lemma 5.1.1].
Property 2
(Turn for regular curves [1], p. 133) Let \(\gamma :[0,\ell ]\rightarrow \mathbb R^2\) be a parametrization by arc length of a simple curve \(\mathcal C\). Assume that \(\gamma \) is of class \(\mathrm C^2\) and let k(s) be its curvature at the point \(\gamma (s)\). Then,
For regular curves, therefore, the turn corresponds to the integral of the curvature (with respect to an arc-length parametrization).
The following property gives a lower bound of the turn for closed curves.
Property 3
(Fenchel’s Theorem: [1], Theorem 5.1.5) For any Jordan curve \(\mathcal C\), \(\kappa (\mathcal C) \ge 2 \pi \). Moreover, \(\kappa (\mathcal C)= 2 \pi \) if and only if the interior of \(\mathcal C\) is convex.
The interior of a Jordan curve is defined by the Jordan’s curve Theorem: the interior of a Jordan curve \(\mathcal C\) is the bounded connected component of \(\mathbb R^2 \setminus \mathcal C\).
The next property, known as Schur’s Comparison Theorem, states that the distance between the ends of an arc is greater than the distance between the ends of another arc having same length but a greater turn. This property is useful for our purpose of defining local turns.
Property 4
(Schur’s Comparison Theorem: [2], p. 150) Let \(\gamma \) and \(\bar{\gamma }\) be two simple curves parametrized by arc length on [0, L] such that:
-
\([\bar{\gamma }(0), \bar{\gamma }(L)] \cup \bar{\gamma }([0,L])\) is a convex Jordan curve,
-
for each subinterval \(I \subset [0,L]\),
$$\begin{aligned} \kappa (\gamma (I)) \le \kappa (\bar{\gamma }(I)). \end{aligned}$$
Then,
Turn calculations sometimes require a kind of triangle inequality but in presence of angular points a strict statement of triangle inequality fails with turns as shown in Fig. 2.
Nevertheless, a loose version of the inequality can be derived from the following properties thanks to the existence of left and right tangents everywhere on a curve with finite turn.
We use a geometric definition of the left and right unit tangent vectors.
Definition 2
([1], section 3.1) Let \((\mathcal C, \le )\) be a geometric oriented curve.
-
The unit vector \(e_l(x)\) is the left unit tangent vector at x if:
$$\begin{aligned} \forall \epsilon >0, \exists y_0 \in \mathcal C, y_0<x, \forall y \in \mathcal C, y_0< y \le x,\\ \angle (x-y, e_l(x))<\epsilon . \end{aligned}$$ -
The unit vector \(e_r(x)\) is the right unit tangent vector at x if:
$$\begin{aligned} \forall \epsilon>0, \exists y_0 \in \mathcal C, y_0 > x, \forall y \in \mathcal C, x \le y< y_0,\\ \angle (y-x, e_r(x))<\epsilon . \end{aligned}$$ -
A curve having a right and a left unit tangent vector at each of its point is called one-sidedly smooth.
Property 5
([1], Theorem 2.1.4, Theorem 3.1.1, Theorem 3.3.3 and Theorem 3.4.2) Let \(\mathcal C\) be a one-sidedly smooth curve. Then, the set of angular points of \(\mathcal C\) is countable, \(\mathcal C\) is rectifiable and any arc-length parametrization \(\gamma \) has both left-hand and right-hand derivatives \(\gamma '_l\) and \(\gamma '_r\). Moreover, for any \(s \in [0, \mathcal {L}(C)]\), \(\Vert \gamma '_l(s)\Vert = \Vert \gamma '_r(s)\Vert =1\).
Property 6
(Theorem 5.1.2 [1]) Every curve of finite turn is one-sidedly smooth.
The existence of left and right tangent vectors makes it possible to split a curve into several parts using turns and tangent vectors.
Property 7
[Theorem 3.3.3 p. 53 and Theorem 5.1.3 p. 122 [1]] Let \(\mathcal C_a^b\) be an arc of \(\mathcal C\) and c be a point on \(\mathcal C_a^b\). Let denote by \(e_l(c)\) and \(e_r(c)\) the left and right unit tangent vectors at c. The turn of \(\mathcal C_a^b\) is finite if and only if the turns of \(\mathcal C_a^c\) and \(\mathcal C_c^b\) are both finite. In this case,
In the case where \(a=b\) (\(\mathcal C\) is closed), the previous equality becomes as follows.
We immediately derive Corollary 1 (which is also valid if \(\kappa (\mathcal C\setminus \{c\})=\infty \)).
Corollary 1
Let \(\mathcal C\) be a Jordan curve and c be a point in \(\mathcal C\). Then, \(\kappa (\mathcal C\setminus \{c\})>\pi \).
Proof
The large inequality derives from Fenchel’s Theorem 3 and the definition of geometric angles (\(\angle (\mathbf {u}, \mathbf {v})\in [0,\pi ]\)). The strict inequality is due to the fact that we cannot have both \(\kappa (\mathcal C)=2\pi \) and \(\angle (e_l(c), e_r(c))=\pi \). Indeed, from Fenchel’s Theorem, the former equality implies that \(\mathcal C\) is the boundary of a convex body. Then, \(\mathcal C\) has no cusp, that is \(\angle (e_l(c), e_r(c))<\pi \). As we did not find in the literature a proof of this last assertion, we propose one in “Appendix A.” \(\square \)
From Property 7, adding \(\kappa (\mathcal C_c^d)\) in the right-hand side of Eq. 1 (\(d\in \mathcal C_c^b\)), we easily derive the following corollary that will be used in the sequel.
Corollary 2
Let \(\mathcal C\) be an oriented simple curve from a to b. Let \(\mathcal C_a^d\) and \(\mathcal C_c^{b}\) be two arcs of \(\mathcal C\) that overlap with \(a< c< d <b\). Then,
We end this section with a property linking the turn of a limit and the limit of the turns.
Property 8
([1], Theorem 5.1.1 p. 120) If the curves \((\mathcal C_m)\) converge to the curve \(\mathcal C\), then \(\kappa (\mathcal C)\le \liminf \kappa (\mathcal C_m)\).
In Property 8, “\((\mathcal C_m)\) converge to \(\mathcal C\)” means that there exist parametrizations of the curves \(\mathcal C_m\) that uniformly converge to a parametrization of \(\mathcal C\) (see Section 1.4 in [1]).
3 Locally Turn-Bounded Curves
Thanks to the notion of turn presented in Sect. 2, we define hereafter a new class of curves whose turn is locally bounded. Bounding the turn has the advantage of spatially constraining the curve with respect to any sufficiently tight sampling without imposing smoothness. Firstly, we will give some definitions (Definitions 3, 4, 5) and a few examples (Proposition 1) in order to help the reader to figure out the consequences of local constraints on turn. The impatient reader can skip this introduction to go to Proposition 2 which gives the operational characterization of the notion of locally turn-bounded curve. Afterward, Sect. 3 continues by establishing three easy propositions (Propositions 3–5) and a corollary (Corollary 4) that provide basic properties of the locally turn-bounded curves. We end Sect. 3 by a lemma and a definition (Lemma 2 and Definition 6) that make it possible to distinguish the arcs \(\mathcal C_a^b\) and \(\mathcal C_b^a\) under some assumptions.
Definition 3
(Turn-neighborhood) A point b in \(\mathcal C\) is in the turn-neighborhood of a point a on a simple geometric curve (or on a Jordan curve) with angle \(\theta \), if one of the arcs of \(\mathcal C\) from a to b has a turn that is less than, or equal to \(\theta \). The turn-neighborhood of the point a on the geometric curve \(\mathcal C\) with angle \(\theta \) is denoted by \(V_{\mathcal C}(a,\theta )\).
Figure 3 shows how the turn-neighborhood \(V_{\mathcal C}(a, \theta )\) varies when changing the angle \(\theta \) and the position of the point a.
Definition 4
(Turn-step function) The turn-step function \(\theta \mapsto \sigma (\theta )\) is defined by
where \(\mathrm d\) denotes the Euclidean distance.
The turn-step function \(\theta \mapsto \sigma (\theta )\) is increasing. Indeed, for any \(a\in \mathcal C\), the set \(V_{\mathcal C}(a, \theta )\) increases (for the inclusion order) in function of \(\theta \). Then, the distance from a to the complement of \(V_{\mathcal C}(a, \theta )\) increases too. If the turn of \(\mathcal C\) is finite, there exists a value above which the turn-step function has an infinite value for \( V_{\mathcal C}(a, \theta )\) equals \(\mathcal C\).
Proposition 1
(Examples)
-
1.
The turn-step function of a Jordan curve at 0 is 0.
-
2.
The turn-step function of a convex Jordan curve at \(\pi \) is \(+\infty \).
-
3.
The turn-step function of a circle with radius r at \(\theta \) is \(2r\sin (\theta /2)\) if \(\theta < \pi \) and is infinite for \(\theta \ge \pi \). (see Figs. 4 and 5).
-
4.
The turn-step function on a polygonal curve is a step function.
-
5.
The turn-step function on a regular n-gon \(P_n\) inscribed in a circle of radius r is
$$\begin{aligned} \sigma _{P_n}(\theta )= \left\{ \begin{array}{ll} 2r\sin \left( \left\lfloor \frac{n \theta }{2\pi } \right\rfloor \frac{\pi }{n} \right) &{} \mathrm{{if}} \theta < \pi \\ + \infty &{} \mathrm{{otherwise}} \end{array} \right. . \end{aligned}$$
Proof
-
1.
Firstly, observe that, if \(\mathcal C\) is a polygon, taking points a arbitrarily closed to a vertex, we have \(\mathrm d(a,\mathcal C\setminus V_\mathcal C(a,0))\) arbitrarily small, that is \(\sigma (0)=0\). By contradiction, now assume that \(\sigma (0)= c>0\) for some Jordan curve \(\mathcal C\). Then, thanks to the compacity of \(\mathcal C\), we can cover the whole curve \(\mathcal C\) with a finite set of balls \(B(a_i,c)\), \(1\le i\le n\). By definition of c, the turns \(\kappa (\mathcal C\cap B(a_i,c))\) are reduced to the angles between the left and right tangent vectors at \(a_i\): \(\mathcal C\) is a polygon. Contradiction.
-
2.
According to Fenchel’s Theorem 3 and Property 7, for any point on a convex Jordan curve, the \(\pi \)-neighborhood is the whole curve.
-
3.
The \(\theta \)-neighborhood of any point a of a circle of radius r is an arc of circle of length \(\theta r\) centered in a. The distance between the point a and the rest of the circle is \(2r\sin (\theta /2)\) (see Fig. 4).
-
4.
The turn between two points on a polygonal curve is a finite sum of geometric angles.
-
5.
The \(\theta \)-neighborhood is described in Fig. 3. The \(\theta \)-neighborhood of a vertex a of \(P_n\) is made of the \(2(\lfloor \frac{n\theta }{2\pi } \rfloor +1 )\) nearest sides of \(P_n\). The \(\theta \)-neighborhood of a point a on an open edge of \(P_n\) is made of the \(2\lfloor \frac{n\theta }{2\pi } \rfloor +1\) nearest sides of \(P_n\). Then, the distance between a and a point outside \(V_{P_n}(a, \theta )\) is minimal when a lies in an open side. Observe that, in this latter case, the \(\theta \)-neighborhood does not depend on the position of a in the open side. Then, a can be arbitrarily close to a vertex (see Fig. 4). Hence, for \(\theta < \pi \),
$$\begin{aligned} \sigma (\theta )= 2r\sin \left( \left\lfloor \frac{\theta }{2\pi /n} \right\rfloor \frac{\pi }{n} \right) . \end{aligned}$$
\(\square \)
Figure 4 illustrates the definition of the turn step with different curves. In Fig. 5, we plot the turn-step functions of circles and regular polygons.
Definition 5
(Locally turn-bounded curves) Let \(\theta \ge 0\), \(\delta \ge 0\). A Jordan curve \(\mathcal C\) is \((\theta ,\delta )\)-locally turn-bounded if, for any \(a\in \mathcal C\), the Euclidean distance from a to \(\mathcal C\setminus V_{\mathcal C}(a, \theta )\) is greater than, or equal to \(\delta \):
In the rest of the article, we will shorten \((\theta , \delta )\)-locally turn-bounded curve by \((\theta ,\delta )\)-LTB curve.
Remark 3
Local turn-boundedness is scale invariant: let \(\mathcal C\) be a \((\theta , \delta )\)-LTB Jordan curve. Then, the curve \(k\,\mathcal C\), \(k>0\), is \((\theta , k\delta )\)-LTB. It is a direct consequence of Remark 2.
The following proposition explains how to apply the notion of local turn-boundedness to a concrete geometric configuration.
Proof
This property is just a contrapositive statement of Definition 5. Indeed,
\(\square \)
Using the previous characteristic property, let us now show that the class of LTB curves contains the smooth curves of class \(\mathrm C^2\).
Corollary 3
Jordan curves of class \(\mathrm C^2\) are \((\theta , 2r_{\mathcal C}\sin (\theta /2))\)-LTB for any \(\theta \le \pi \), \(r_{\mathcal C}\) being the minimum radius of curvature of \(\mathcal C\).
Proof
Let \(\mathcal C\) be a Jordan curve of class \(\mathrm C^2\). Then, \(\mathcal C\) has an arc-length parametrization \(\gamma \) and the absolute value of its curvature is bounded from above by the real \({1}/{r_{\mathcal C}}\). By Property 2, the turn of \(\mathcal C\) between two points is bounded by \(\frac{s}{ r_{\mathcal C}}\) where s is the geodesic distance between the two points. Considering a circle D of radius \(r_{\mathcal C}\), we derive that the turn of \(\mathcal C\) between two points a, b at geodesic distance \(\ell \) less than \( r_{\mathcal C} \pi \) is less than the turn of D between two points c, d at geodesic distance \(\ell \). Hence, Schur’s Comparison Theorem applies: \(\Vert a-b\Vert \ge \Vert c-d\Vert \) and since
(for \({\ell }/({2r_{\mathcal C}})\le \pi /2\)), it follows that, for any \(\theta \in (0,\pi ]\), \(\kappa (\mathcal C_a^b)\le \theta \) whenever \(\Vert a-b\Vert < 2r_{\mathcal C}\sin (\theta /2)\). Then, according to Proposition 2, the result holds. \(\square \)
Proposition 2
(Characteristic property of local turn-boundedness) The curve \(\mathcal C\) is \((\theta ,\delta )\)-LTB if and only if, for any two points a and b in \(\mathcal C\) such that \(\mathrm d(a,b) < \delta \), the turn of one of the arcs of the curve \(\mathcal C\) delimited by a and b is less than or equal to \(\theta \).
Intuitively, local turn-boundedness must also be a punctual turn-boundedness. This is verified just hereafter.
Proposition 3
Let \(\mathcal C\) be a \((\theta ,\delta )\)-LTB curve where \(\theta < \pi \). Then, for any point \(p\in \mathcal C\), one has \(\angle (e_{l}(p), e_{r}(p))\le \theta \) where \(e_{l}(p)\) and \(e_{r}(p)\) denote, respectively, the left and right tangent vectors at point p.
Proof
The notations of the proof are summed up in Fig. 6. Let \(\mathcal C\) be a \((\theta ,\delta )\)-LTB curve where \(\theta < \pi \) and p be a point in \(\mathcal C\). Let \(q\ne p\in \mathcal C\) and \((a_m)\), resp. \((b_m)\) be a sequence of points in \(\mathcal C\) such that \((a_m)\rightarrow p\), (\(b_m)\rightarrow p\) and \(a_m\in \mathcal C_p^q\) while \(b_m\in \mathcal C_q^p\) for any m. Then, from Corollary 1, \(\kappa (\mathcal C\setminus \{p \})>\pi \). Moreover, from Property 8, \(\kappa (\mathcal C\setminus \{p\})\le \liminf \kappa (\mathcal C_m)\) where \(\mathcal C_m\) is the arc between \(a_m\) and \(b_m\) included in \(\mathcal C\setminus \{ p \}\). Thus, on the one hand, there exists \(m_0\) such that, for any \(m>m_0\), \(\kappa (\mathcal C_m)>\pi \). On the other hand, there clearly exists \(m_1>m_0\) such that \(\mathrm d(a_m,b_m)<\delta \) for any \(m>m_1\). Let \(m>m_1\). As \(\mathcal C\) is \((\theta ,\delta )\)-LTB and \(\kappa (\mathcal C_m)>\pi \), we derive that \(\kappa (\mathcal C\setminus \mathcal C_m)\le \theta \). We conclude, thanks to Property 7, that \(\angle (e_{l}(p), e_{r}(p))\le \theta \). \(\square \)
From Proposition 3, we derive that a \((\theta ,\delta )\)-LTB polygon has inner angles greater than or equal to \(\pi -\theta \). Provided that \(\delta \) is not greater than any edge of the polygon and any distance between non-consecutive edges, this last property is a sufficient condition as well. Indeed, with such a value for \(\delta \), points at distance less than \(\delta \) belong to the same edge or to two consecutive edges. Thereby, they are linked by an arc whose turn is at most \(\theta \). Proposition 3 also shows that LTBcurves fill a gap between smooth curves and unconstrained polygons: they may have angular points but not too much sharp.
The next proposition makes it possible to localize a locally turn-bounded curve from a sufficiently tight sampling. Figure 7 illustrates the proposition.
Proposition 4
Let \(\mathcal C\) be a simple \((\theta ,\delta )\)-LTB curve. Let a, b be two points on \(\mathcal C\) such that \(\mathrm d(a,b) < \delta \). Then, the arc of \(\mathcal C\) delimited by a and b of smallest turn is included in the union of the two truncated closed disks where the line segment [a, b] is seen from an angle greater than or equal to \(\pi -\theta \).
Proof
Since \(\mathrm d(a,b) < \delta \), by Proposition 2, the turn of one of the arcs of \(\mathcal C\) between a and b is less than or equal to \(\theta \). Denote by \(\mathcal C_0\) such an arc. Let c be a point on \(\mathcal C_0\). By definition, the turn of the polygonal line [a, c, b] is less than or equal to the turn of \(\mathcal C_0\). Then, the geometric angle \(\widehat{acb}\) is greater than or equal to \(\pi -\theta \). We conclude the proof by invoking the inscribed angle theorem. \(\square \)
In Fig. 8, we use Proposition 4 to localize a \((\pi /2,\delta )\)-LTB curve from a sufficiently tight sampling of the curve with respect to \(\delta \).
Proposition 5 states that LTB curves for angles \(\theta \le \pi /2\) are locally path-connected subsets of the Euclidean plane. Locally path-connectedness can be seen as a thickness property. Indeed, locally path-connectedness implies that dilating a LTB curve by a sufficiently small ball (here, with radius less than \(\delta /2)\) does not change the homotopy type of the curve (no connected component of the interior or the exterior of the curve is created).
Proposition 5
Let \(\mathcal C\) be a \((\theta ,\delta )\)-LTB Jordan curve with \(\theta \in (0,\pi /2]\) and \(a\in \mathcal C\). Then, for any \(\epsilon \le \delta \), the intersection of \(\mathcal C\) with the open disk \(B(a,\epsilon )\) is path-connected and is therefore an arc of \(\mathcal C\). Furthermore, the turn of this arc is less than or equal to \(3\theta \).
Proof
The notations of the proof are summed up in Fig. 9. Let \(a\in \mathcal C\). Let \(b_1, b_2 \in \mathcal C\cap B(a,\epsilon )\). Then, by Proposition 2, the turn of one of the arcs of \(\mathcal C\) between a and \(b_1\), resp. between a and \(b_2\), is less than or equal to \(\theta \). This arc is denoted by \(\mathcal C_a^{b_1}\), resp. \(\mathcal C_a^{b_2}\). So, from Proposition 4 and for \(\theta \le \pi /2\), this arc is included in the disk with diameter \([a,b_1]\), resp. \([a,b_2]\), which is itself included in \(B(a,\epsilon )\). Hence, \(\mathcal C\cap B(a,\epsilon )\) is path-connected.
Furthermore, we derive from Property 7 that
By Proposition 3, \(\angle (e_l(a), e_r(a)) \le \theta \), then \(\kappa (\mathcal C_{b_1}^{b_2}) \le 3 \theta \).
\(\square \)
Observe that for \(\pi /2<\theta <\pi \), in particular for polygons with acute angles, Proposition 5 does not hold (the intersection of the curve with a ball near an acute angle may have two connected components).
The rectifiability of a \((\theta , \delta )\)-LTB curve is a consequence of Proposition 5.
Corollary 4
A \((\theta ,\delta )\)-LTB curve with \(\theta \in (0,\pi /2]\) has a finite turn and is thus rectifiable.
Proof
Let \(\mathcal C\) be a \((\theta ,\delta )\)-locally turn-bounded curve. The open balls \(B(a,\delta /2)\), \(a\in \mathcal C\), cover the compact set \(\mathcal C\). Then, there exists a finite subset of \(\mathcal C\), \(\{a_0,\dotsc , a_m\}\) such that \(\bigcup _{i=0}^m B(a_i,\delta /2)\) covers \(\mathcal C\). By Proposition 5, for each i, \(\mathcal C\cap B(a_i,\delta /2)\) is an arc of \(\mathcal C\) whose turn is less than, or equal to \(3\theta \).
Since the balls are open and thus overlap, by Corollary 2, \(\kappa (\mathcal C)\le \sum _{i=0}^m\kappa (\mathcal C\cap B(a_i,\delta /2))\). Therefore, \(\kappa (\mathcal C)\le (m+1)(3\theta )\). \(\square \)
From Corollary 4, we derive that LTB curves are one-sidedly smooth (Property 6) and contain at most countably many angular points (Property 5). We also deduce from Corollary 4 that the class of LTB curves contains no fractal curve. This is not satisfactory in a multi-resolution context. Nevertheless, local turn-boundedness is a step between smooth and fully realistic models in multi-resolution environments.
Because of the strict inequality (\(\mathrm d(a,b)<\delta \)) in the characteristic property of local turn-boundedness (Proposition 2), it could be necessary to deal with parameters \(\delta \) greater than the diameterFootnote 1 of the curve. The next lemma shows that it is actually not necessary (the proof, somewhat technical, is given in “Appendix B”).
Lemma 1
Let \(\mathcal C\) be a \((\theta , \delta )\)-LTB curve with \(\theta <2\pi /3 \). Then,
where \({\text {diam}}\) denotes the diameter.
Using the characteristic property stated in Proposition 2, one of the main difficulties is that there is no way to know which of the two arcs between two points at distance less than \(\delta \) has its turn less than \(\theta \).
When \(\theta \le \frac{\pi }{2}\) , the next lemma removes any ambiguity.
Lemma 2
Let \(\theta \in (0,\pi /2]\) and \(\mathcal C\) be a \((\theta ,\delta )\)-LTB curve.
For any \(a, b\in \mathcal C\) such that \(0<\mathrm d(a,b) < \delta \), there exists a unique arc of \(\mathcal C\) from a to b whose turn is less than or equal to \(\frac{\pi }{2}\).
Proof
We prove a contrapositive statement. Let \(\mathcal C\) be a \((\theta ,\delta )\)-LTB curve where \(\theta \in (0,\pi /2]\) and let a, b be two points in \(\mathcal C\) such that \(0<\mathrm d(a,b)<\delta \) and \(\mathcal C_a^b\), \(\mathcal C_b^a\) both have a turn less than or equal to \(\frac{\pi }{2}\). By Proposition 4, \(\mathcal C_a^b\) and \(\mathcal C_b^a\) are included in the disk of diameter [a, b] which then contains the whole curve \(\mathcal C\). Thus, the diameter of \(\mathcal C\) is smaller than \(\delta \). Contradiction with Lemma 1. \(\square \)
Thanks to Lemma 2, we can now define the straightest arc between two close points of a \((\theta ,\delta )\)-LTB curve when \(\theta \le \pi /2\).
Definition 6
Let \(\theta \in (0,\pi /2]\) and \(\mathcal C\) be a \((\theta ,\delta )\)-LTB curve. Between two distinct points at distance less than \(\delta \), the unique arc whose turn is less than or equal to \(\theta \) is called the straightest arc between a and b.
4 Properties of Locally Turn-Bounded Curves Related to the Gauss Digitization
The aim of this section is to establish the following theorem about Gauss digitization of LTB Jordan curves on fine enough grids.
Theorem 1
Let \(\mathcal C\) be \((\theta ,\delta )\)-LTB curve with \(\theta \le \pi /2\) and h be a grid step compatible with \(\mathcal C\). Then, the Gauss digitization of \(\mathcal C\) for the grid step h is a Jordan curve whose interior is 4-connected.
Firstly, we will recall what is the Gauss digitization of a set and how we define the Gauss digitization of a Jordan curve. We will also recall the notion of well-composedness which expresses the manifoldness of a digitized shape, more precisely, of an union of pixels. Pixels we are dealing with are mainly squares. Nevertheless, when more general pixels (regular tiles, or even compact tiles) can be used for free in the proofs, we will give general statements in the propositions. As a first step toward the proof of Theorem 1, we will describe the intersection of a LTBcurve with a pixel. Actually, studying straightest arcs starting and ending in a given tile, we will show that such arcs are generally not entirely included in the tile but in a swollen tile (Definition 7 and Proposition 6). The next step will be to define and describe the supremum (for the inclusion)—actually a maximum—of all the arcs starting and ending in a given tile T. We will call it arc passing through T (Definition 8 and Proposition 7). The assumptions under which all the previous results are valid will be gathered in the notion of grid step compatible with a given LTB curve (Definition 9). The last step of this effort toward a topological description of the manner the curve separates the grid points will be accomplished by considering dual pixels, that is unit squares whose vertices are grid points: the end points of the arc passing through a dual pixel T determines the membership of the vertices of T to the interior or the exterior of the LTBcurve (Lemma 4 and Proposition 8). Finally, we will state and prove Theorem 1 in two parts: well-composedness (Proposition 9) and 4-connectedness (Corollary 5).
Let \(h>0\) be a sampling grid step, the Gauss digitization of a shape S is defined as \(S \cap (h\mathbb Z)^2\). By abuse of language, given a Jordan curve \(\mathcal C\) which is the border of the compact shape S, we define its Gauss digitization—we write \(\partial _h(\mathcal C)\)— as the border of the union of the squares \({p} \oplus \big ([-h/2,h/2]\times [-h/2,h/2]\big )\) where \(\oplus \) denotes the Minkowski sum and \(p\in S \cap (h\mathbb Z)^2\). The Gauss digitization of \(\mathcal C\) is well-composed if it is a disjoint union of Jordan curves (see Fig. 10).
The information on the turn makes it possible to define a domain where the arc of smallest turn of a \((\theta ,\delta )\)-LTB curve passing through a tile of the grid is lying (Definition 7). Before that, we need to prove a technical lemma that will be used in the proofs of Propositions 6 and 9.
Lemma 3
Let \(\mathcal C\) be a curve with endpoints a, b such that the straight segment (a, b) does not intersect the curve \(\mathcal C\). Let P be a polygonal line from a to b such that \(P\setminus \{a,b\}\) lies in the interior of the Jordan curve \(\mathcal C\cup [a,b]\) and \(P\cup [a,b]\) is convex. Then, \(\kappa (\mathcal C) > \kappa (P)\).
Proof
We set \(P=[a,p_1,\ldots ,p_m,b]\). Let c be any point in (a, b) and \(Q=[a,q_1,\)\(\ldots ,q_{m},b]\) be the polygonal line obtained by projecting from the point c on the curve \(\mathcal C\) the polygon P (see Fig. 11). By projection of a point x, we mean the first intersection point y between \(\mathcal C\) and the half-line D starting from c and directed by \(x-c\). This intersection exists and is well defined for \(P\setminus \{a,b\}\) lies in the interior of \(\mathcal C\cup [a,b]\) and \(\mathcal C\cap D\) is a compact set. Note that we do not assert that the point \(q_i\) is the projection of the point \(p_i\), but we claim that the polyline P deprived of its endpoints lies in the interior of the polygon \(Q\cup [a,b]\) and the polyline Q is inscribed in \(\mathcal C\). Then, \(\kappa (\mathcal C) \ge \kappa (Q)\) by definition of \(\kappa (\mathcal C)\), \(\kappa (Q\cup [b,a])\ge \kappa (P\cup [b,a])\) by Fenchel’s Theorem (Property 3) and \(\angle (a-b, p_1-a) > \angle (a-b, q_1-a)\), \(\angle (a-b, b-p_m) > \angle (a-b, b-q_m)\) for P is inside \(Q\cup [a,b]\). Since \(\kappa (P\cup [b,a])=\kappa (P)+\angle (a-b, p_1-a) +\angle (a-b, b-p_m)\) and \(\kappa (Q\cup [b,a])=\kappa (Q)+\angle (a-b, q_1-a) +\angle (a-b, b-q_m)\) by definition of the turn of a polygon, the result holds. \(\square \)
Let us now define the “swollen” tile in which lies an arc of a LTB-curve passing through a tile of the plane under some hypotheses.
Definition 7
(Swollen set) Let P be a polygon \([p_0,\ldots , p_N]\) with \(p_0=p_N\) and A be the interior of P. The \(\theta \)-swollen set of P denoted by is defined by:
with \(D_k\) the truncated closed disk outside P where the segment \([p_k, p_{k+1}]\) is seen from an angle greater than or equal to \(\pi - \theta \). Moreover, is shorten by .
The notion of swollen set is illustrated in Fig. 12 and in Fig. 16.
Proposition 6
Assuming an n-regular tiling of the plane with edge length h (\(n\in \{3,4,6\}\)), let \(\mathcal C\) be a \((\theta ,\delta )\)-LTB Jordan curve with \(\theta \le {2\pi }/ {n}\) and \(\delta > h \sqrt{n-2}\). Let T be a tile crossed by \(\mathcal C\) and a, b be two points of \(T \cap \mathcal C\). Then, the arc \(\mathcal C_a^b\) of \(\mathcal C\) of smallest turn delimited by a and b lies in the \(\theta \)-swollen set of T. In particular, the maximum distance between a point of \(\mathcal C_a^b\) and T is bounded from above by \(\frac{h}{2}tan(\frac{\theta }{2})\).
Proof
Let \(\mathcal C_a^b\) be the arc of \(\mathcal C\) of smallest turn delimited by a and b. As the diameter of T is \(h\sqrt{n-2}\), by the hypothesis \(\delta > h\sqrt{n-2}\) and since \(\mathcal C\) is a \((\theta ,\delta )\)-LTB curve, one has \(\kappa (\mathcal C_a^b) \le \theta \le 2\pi /n\). Let o be a point lying on \(\mathcal C_a^b\) and outside T, if any. Let \(\mathcal C_c^d\) be the closure of the connected component of \(\mathcal C_a^b \setminus T\) containing the point o. Notice that c and d are on the border \(\partial T\) of T. Indeed if c or d is in the interior of T, then there exist points of \(\mathcal C_c^d\) inside T and if c or d are outside T, there exists a connected component of \(\mathcal C_a^b \setminus T\) properly containing \(\mathcal C_c^d\).
We claim that the point d belongs to the same edge as c. Indeed, if it was not the case, one of the two polygonal lines from c to d in the boundary of T would lie in the interior of the Jordan curve \(\mathcal C_c^d\cup [c,d]\) and would contain at least a vertex of T. Then, according to Lemma 3, the turn of
the subarc \(\mathcal C_c^d\) of \(\mathcal C_a^b\),
would be greater than the turn at a vertex of T, that is \(2\pi /n\). A contradiction. Hence, c and d belong to the same edge. By Proposition 4, we derive that \(\mathcal C_c^d\) lies in the union of the two truncated disks where the segment [c, d] is seen from an angle greater than or equal to \(\pi -\theta \). One of these truncated disks is included in T while the other, exterior to T, is included in the swollen set . Hence, o lies in the swollen set whose Hausdorff distance to T is \(\frac{h}{2}tan(\frac{\theta }{2})\). \(\square \)
When \(\theta <\pi /2\), Proposition 6 makes it possible to localize the straightest arc between any two points of a a sufficiently small tile. Nevertheless, we still need to define the minimal straightest arc including the whole intersection between \(\mathcal C\) and T.
Definition 8
(Arc passing through T) Let \(\theta \in (0,\pi /2]\) and \(\mathcal C\) be a \((\theta ,\delta )\)-LTB Jordan curve . Let T be a closed set whose diameter is strictly less than \(\delta \). The arc of \(\mathcal C\) passing through T denoted by \(\mathcal C_{T}\) is defined by
where \(\mathcal C_a^b\) is the straightest arc between a and b.
We now show some properties of the arc passing through a tile provided this tile is sufficiently small compared to \(\mathcal C\): it is a straightest arc between some points in T (hence, its turn is less than or equal to \(\frac{\pi }{2}\)) and it is maximal for this property. Furthermore, its complementary in \(\mathcal C\) does not intersect T.
Proposition 7
Let \(\theta \in (0,\pi /2]\) and \(\mathcal C\) be a \((\theta ,\delta )\)-LTB Jordan curve. Let d be the diameter of \(\mathcal C\). Let T be a closed set included in an open disk B(c, r) with r less than or equal to \(\min (\frac{1}{2}\delta , \frac{\sqrt{2}}{4} d)\). Then, the arc \(\mathcal C_T\) passing through T is the unique arc of \(\mathcal C\) of turn less than or equal to \(\frac{\pi }{2}\) having its end points in T and such that the straightest arc between any two points of T is included in \(\mathcal C_T\). Moreover,
Proof
Since the proof is somewhat long and tedious, we put it in “Appendix D.” \(\square \)
Going back to the main case where pixels are square tiles, we propose the following definition that corresponds to the hypotheses of Proposition 7.
Definition 9
(Compatibility hypothesis) A grid with step h or a square of side length h is said to be compatible with the curve \(\mathcal C\) if the following conditions are fulfilled:
-
1.
the curve \(\mathcal C\) is \((\theta ,\delta )\)-locally turn-bounded with \(\theta \in (0, \frac{\pi }{2}]\),
-
2.
h is strictly smaller than \(\min (\frac{\sqrt{2}}{2}\delta , \frac{1}{2}{\text {diam}}(\mathcal C))\).
Lemma 4 and Proposition 8 investigate the positions of the vertices of a square pixel relatively to the arc passing through this pixel.
Lemma 4
Let \(\mathcal C\) be a \((\theta , \delta )\)-LTB Jordan curve with \(\theta \le \frac{\pi }{2}\) and T be a square compatible with \(\mathcal C\). If \(\mathcal C\) contains a vertex v of T then either this vertex v is an end point of the arc passing through T, or the arc \(\mathcal C_T\) is wholly included in the two sides of T having v for ends.
Proof
Denote by a and b the ends of the arc passing through T, \(\mathcal C_T\). From Proposition 7, \(\kappa (\mathcal C_T) \le \frac{\pi }{2}\). Assume that \(p \in \mathcal C_T \setminus \{a,b\}\) is a vertex of T. Then, the geometric angle \(\widehat{apb}\) is less than or equal to \(\frac{\pi }{2}\). Actually, it is equal to \(\pi /2\) for \(\pi /2\ge \kappa (\mathcal C_T)\ge \pi -\widehat{apb}\). Then, on the one hand, a and b lie on two adjacent edges of T that intersect in v. On the other hand, we have \(\kappa (\mathcal C_T)=\kappa (\mathcal C_a^b)= \kappa ([a,p,b])\). Let c be point in \(\mathcal C\) in between a and p. From the very definition of the turn, we derive that \(\kappa ([a,c,p,b])=\kappa ([a,p,b])\), that is \(c\in [a,p]\). Alike, any point of \(\mathcal C\) in between p and b lie in the segment [p, b]: \(\mathcal C_T\) is included in \([a,p]\cup [p,b]\). \(\square \)
Some point configurations cannot occur in the Gauss digitization of a curve compatible with the grid. Proposition 8 makes it possible to exclude some of these configurations. Indeed, we show that whether or not two 8-adjacent points in \(h\mathbb Z^2\) are in the same connected component of \(\mathbb R^2 \setminus \mathcal C\) can be locally decided by considering the arc \(\mathcal C_T\) passing through a unit square T having these points as vertices. Better, knowing the edges of T on which lie the ends of \(\mathcal C_T\) is sufficient to make the decision. Hence, instead of considering infinitely many cases (number of all possible LTB curves separating or not two 8-adjacent points), we only have to consider finitely many cases (i.e. all possible positions of the ends of the arc passing through T).
Proposition 8
Let \(\mathcal C\) be \((\theta , \delta )\)-LTB Jordan curve, T be a square compatible with the curve and a, b be the end points of the arc passing through T. Two vertices of T are in the same connected component of \(\mathbb R^2 \setminus \mathcal C\) if and only if they are in the same connected component of \(T \setminus [a,b]\) and they do not lie on \(\mathcal C\).
Proof
Let consider the curve \( \mathcal C'= \left( \mathcal C\setminus \mathcal C_T \right) \cup [a,b]\) and the compact set K delimited by the closed (non necessarily simple) curve \(\mathcal C_T\cup [a,b]\). The proof is divided in three steps. In the first step, we prove that \(\mathcal C'\) is a Jordan curve. In the second step, we prove that if a vertex of T is in K, then this vertex is on \(\mathcal C\). In the third step, we prove that if two vertices of T are in the same connected component of \(\mathbb R^2 \setminus \mathcal C\), then they are in the same connected component of \(T \setminus [a,b]\).
-
Step 1. The set \(\mathcal C'\) is a Jordan curve for a and b are the end points of \(\mathcal C\setminus \mathcal C_T\) and \(\mathcal C\setminus \mathcal C_T\) does not intersect T (Proposition 7) while the segment [a, b] is included in T.
-
Step 2. By Propositions 6 and 7, \(\mathcal C_T\) is included in \(T_{\pi /2}\), the \(\pi /2\)-swollen set of T. In particular, the vertices of T lying in the compact set K, if any, belong to \(\mathcal C_T\).
-
Step 3. Two vertices of T are in the same connected component of \(\mathbb R^2 \setminus \mathcal C\) if and only if they are in the same connected component of \(\mathbb R^2 \setminus \mathcal C' \) and they do not lie in \(\mathcal C\) (for, from Step 2., we know that they cannot lie in the interior of K), or, equivalently (since \(\mathcal C\setminus \mathcal C_T\) does not intersect T), they are in the same component of \(T\setminus [a,b]\) and they do not lie on \(\mathcal C\).
\(\square \)
We shall now prove that the Gauss digitization of a LTB curve is well-composed provided the grid step is small enough.
Proposition 9
Let \(\mathcal C\) be \((\theta ,\delta )\)-LTB curve with \(\theta \le \pi /2\) and h be a grid step compatible with \(\mathcal C\). Then, the Gauss digitization of \(\mathcal C\) for the grid step h is well-composed.
Proof
The proof is made by contradiction. So, let a be a double point on \(\partial _h(\mathcal C)\). The point a is the center of a square \(T:=[I_1, E_1, I_2, E_2]\) whose vertices are points of \((h\mathbb Z)^2\), the points \(E_1\) and \(E_2\) lying outside \(\mathcal C\) while \(I_1\), \(I_2\) lie inside or on \(\mathcal C\). Then, by discriminating vertices strictly inside \(\mathcal C\) of vertices in \(\mathcal C\), there are only three possible configurations modulo rotations and symmetries depicted in Fig. 13. Let \(\mathcal C_p^q\) be the arc passing through T.
-
First configuration. By Proposition 8, the segment [p, q] separates the square T into two polylines, the first containing the vertices \(E_1\) and \(E_2\) (outside \(\mathcal C\)) and the second (possibly empty) containing the vertices \(I_1\) and \(I_2\) (inside \(\mathcal C\)). The reader can check that this separating property does not hold for the first configuration of Fig. 13.
-
Second configuration. In the one hand, by Lemma 4, p or q lies in the open polyline \((E_1,I_1,E_2)\) and, in the other hand, from Proposition 8, p and q lie in the open polyline \((E_1,I_2,E_2)\).
-
Third configuration. From Lemma 4, \(\{a,b\}=\{I_1,I_2\}\). Thus, the segment \([I_1,I_2]\) separates \(E_1\) from \(E_2\) in contradiction with Proposition 8.
Hence, none of the three configurations can occur. \(\square \)
Notice that the bounds \(\theta \le \frac{\pi }{2}\) and \(\sqrt{2}h< \delta \) are tight: see Figs. 14 and 15 for counterexamples.
Corollary 5
Let \(\mathcal C\) be \((\theta ,\delta )\)-LTB curve with \(\theta \le \pi /2\) and h be a grid step compatible with \(\mathcal C\). Then, the Gauss digitization of the closure of the interior of \(\mathcal C\) is 4-connected.
Proof
Figure 16 illustrates the proof. Let \(\mathcal C\) be a Jordan curve bounding a shape S and \(h>0\). Let D be a connected component of the digitization of \(\mathcal C\) (specifically, D is the border of a connected component of the digitization of the shape S). Making a dilation of D by the structuring element \(h[-1/2,1/2]\times h[-1/2,1/2]\) centered in (0, 0) yields a new polygonal border \(D'\) whose vertices are integer points and edges are grid line segments. By the definition of D and well-composedness (Proposition 9), no grid point in \(D'\) belongs to the digitization of the shape S.
Consider the collection \({\mathcal {T}}\) of all those unit squares sharing edges with \(D'\): \({\mathcal {T}} = \{T_i\mid 1\le i \le N_D\}\). Each unit square \(T_i\) has at least a vertex outside \(\mathcal C\). Moreover, by Proposition 9, there are exactly two edges of \(T_i\) joining a vertex outside \(\mathcal C\) to a vertex inside \(\mathcal C\) or in \(\mathcal C\). We claim that on each of these edges, there is an end of \(\mathcal C_{T_i}\), the arc through \(T_i\). Indeed, if there was not an end on an edge of \(T_i\) joining a vertex \(v_e\) outside \(\mathcal C\) and a vertex inside \(v_e\)\(\mathcal C\), by Proposition 8, these two vertices would be in the same connected component of \(\mathbb R^2 \setminus \mathcal C\). And if there was not an end on an edge of \(T_i\) joining a vertex \(v_e\) outside \(\mathcal C\) and a vertex \(v_b\) on \(\mathcal C\), by Lemma 4, either the vertex \(v_b\) is an end of \(\mathcal C_{T_i}\), either \(\mathcal C_{T_i}\) is wholly included in the two edges of \(T_i\) having \(v_b\) for edges, and \(\mathcal C_{T_i}\) has one end on \([v_e, v_b]\).
Let \(T_1\) and \(T_2\) be two elements of \(\mathcal {T}\) sharing an edge joining inside vertices to outside vertices. This edge contains an end point of the arc passing through \(T_1\), denoted by \(p_1\), and an end point of the arc passing through \(T_2\), denoted by \(p_2\). By Definition 8, \(p_1\) belongs to \(\mathcal C_{T_2}\) and \(p_2\) belongs to \(\mathcal C_{T_1}\). Then, \(\mathcal C_{T_1}\cup \mathcal C_{T_2}\) is an arc of \(\mathcal C\) whose ends are, respectively, the ends of \(\mathcal C_{T_1}\) and \(\mathcal C_{T_2}\) distinct from \(p_1\) and \(p_2\). Eventually, going through \(\mathcal {T}\), we build a closed arc \(\bigcup _{i=1}^{N_D} C_{T_i}\) included in \(\mathcal C\) and in the swollen set of \(\bigcup {\mathcal {T}}\). As \(\mathcal C\) is a Jordan curve, we derive that \(\mathcal C=\bigcup _{i=1}^{N_D} C_{T_i}\): D is unique. \(\square \)
Eventually, thanks to Proposition 9 and Corollary 5, we can now state the result announced at the beginning of this section.
Theorem 1
Let \(\mathcal C\) be \((\theta ,\delta )\)-LTB curve with \(\theta \le \pi /2\) and h be a grid step compatible with \(\mathcal C\). Then, the Gauss digitization of \(\mathcal C\) for the grid step h is a Jordan curve whose interior is 4-connected.
In this section, we have proved that the hypothesis of local turn-boundedness guarantees the well-composedness for a small enough grid step. The well-composedness of the digitization is also obtained under the hypothesis of par-regularity. In the next section, we will show that local turn-boundedness is a relaxation of the par-regularity.
5 Par-regularity and Local Turns
Let us first give the statement of the main result of this section. Afterward, we will recall the definition of par-regularity and give the outline of the proof.
Theorem 2
Let \(\mathcal C\) be a par(r)-regular curve of class \(\mathrm C^1\) and \(\theta \in (0,\pi )\). Then, \(\mathcal C\) is \((\theta , 2r\sin (\theta /2))\)-LTB.
To introduce the notion of regularity, we use the same definition as in [7] and [8].
Definition 10
Let \(\mathcal C\) be a Jordan curve of interior K.
-
A closed ball \(\bar{B}(c_i,r)\) is an inside osculating ball of radius r to \(\mathcal C\) at point \(a \in \mathcal C\) if \(\mathcal C\cap \bar{B}(c_i,r)= \{ a\}\) and \(\bar{B}(c_i, r) \subset K \cup \{a\}\).
-
A closed ball \(\bar{B}(c_e,r)\) is an outside osculating ball of radius r to \(\mathcal C\) at point \(a \in \mathcal C\) if \(\mathcal C\cap \bar{B}(c_e,r)= \{ a\}\) and \(\bar{B}(c_e, r) \subset \mathbb R^2 \setminus (\mathcal C\cup K \cup \{a\}\).
-
A curve \(\mathcal C\) or a set K is par(r)-regular if there exist inside and outside osculating balls of radius r at each \(a \in \mathcal C\) (Fig. 17).
The proof of Theorem 3 is divided into three steps. The first two steps are independent. In the first step, we show that the turn of a par(r)-regular curve is a \(\frac{1}{r}\)-Lipschitz function of its length (Lemma 5). In the second step, we show that the distance between the ends of a small arc of a par(r)-regular curve is an increasing function of its length (Lemma 6). In the last step, applying Schur’s Comparison Theorem to a par(r)-regular arc of length \(\theta r\) and a circle arc of radius r and turn \(\theta \), we show that the distance between the end points of the par(r)-regular arc is greater than \(2r \sin (\frac{\theta }{2})\). Since this distance is an increasing function of the length (Lemma 6), we derive that the length of the par(r)-regular arc between points at distance \(2r\sin (\frac{\theta }{2})\) is smaller than \(\theta r\) (Proposition 11). Then, thanks to Lemma 5 —the turn of a par(r)-regular curve is a \(\frac{1}{r}\)-Lipschitz function of its length— we conclude the proof.
Step 1: the turn of a par( r )-regular arc is a \(\frac{1}{r}\) -Lipschitz function of its length.
Some elementary lemmae used in this paragraph are stated in “Appendix E.”
The following lemma shows that the turn of a par(r)-regular curve is a \(\frac{1}{r}\)-Lipschitz function of the length.
Lemma 5
Let \({\mathcal {C}}\) be a par(r)-regular curve. Then, the length of any arc \(\mathcal A\) of \(\mathcal C\) is greater than, or equal to the length of a circle arc with radius r and turn \(\kappa (\mathcal A)\). In other words, for each arc \({\mathcal {A}}\) of \(\mathcal C\),
Proof
We denote by a and b the endpoints of the arc \({\mathcal {A}}\). For each \(m \in \mathbb N^*\), let \((a_{m,i})_{i \in \llbracket 0,N_m \rrbracket }\) be the ordered sequence of vertices of a polygonal line \(L_m\) inscribed in \({\mathcal {A}}\) such that \(a_{m, 0}= a\), \(a_{m, N_m}= b\) and
and \(\Vert a_{m,N_m} -a_{m,N_m-1}\Vert \le \frac{1}{m}.\) Then, from Lemma 9 (“Appendix E”) and since the function arcsine is increasing,
Moreover, by Property 1,
Furthermore,
Hence,
\(\square \)
Step 2: Par-regular curves have a local quasiconvex behavior.
This step uses the derivative of a par-regular curve. This is possible because par-regularity was indirectly proven to imply continuous differentiability. Indeed, in [7], Lachaud and Thibert show that par-regularity is equivalent to having positive reach which was proven by Federer [4] to be equivalent to being of class \(\mathrm C^{1,1}\) (\(\mathrm C^{1}\) with Lipschitz derivative). We give below a proof based on the work of Alexandrov and Reshetnyak [1].
Proposition 10
Every par(r)-regular curve \(\mathcal C\) is of class \(\mathrm {C}^1\).
Proof
Let \(a\in \mathcal C\) and \({B_i}\), \(B_e\) be, respectively, the interior and exterior osculating balls of radius r at a. Let D be the common tangent to \(B_i\) and \(B_e\) at a. Since \(\mathcal C\setminus \{a\}\) does not intersect \(B_i\) and \(B_e\), it is easy to see that, for any \(\epsilon >0\) and any point b in the curve neighborhood \(\mathcal C\cap B(a,2r\cos (\epsilon ))\), the angle between the straight line ab and D is less than \(\epsilon \). Also, observe that the definition of par-regularity forbids cusps. Then, by Definition 2, \(\mathcal C\) has left-hand and right-hand tangents in a which are equal: \(\mathcal C\) is a smooth curve whose tangents everywhere coincide with those of its osculating balls. Eventually, we derive from Property 5 that \(\mathcal C\) is of class \(\mathrm C^1\). \(\square \)
The following lemma states that, for any injective parametrization \(\gamma \) of a par-regular curve \(\mathcal C\), the distance function \(t\mapsto \Vert \gamma (t)-\gamma (t_0)\Vert \) is quasiconvex near its minimum.
Lemma 6
Let \({\mathcal {C}}\) be a par(r)-regular curve and a a point on \(\mathcal C\). Let \({\mathcal {A}}\) be the intersection of \(\mathcal C\) with the ball B(a, 2r). Then, \({\mathcal {A}}\) is path-connected and for any injective parametrization \(\gamma \) the distance function \(t\mapsto \Vert \gamma (t)-a\Vert \) is quasiconvex.
Proof
Let \(\gamma \) be an injective parametrization of \(\mathcal C\). By contradiction, assume that there exists a local minimum \(c\ne \gamma ^{-1}(a)\) of the map \(\phi :t \mapsto \Vert \gamma (t)-a\Vert \). By Proposition 10, \(\mathcal C\) is of class \(\mathrm C^1\), then, \(\phi '(c)=0\). Hence,
that is, \(\gamma '(c)\) is orthogonal to \(\gamma (c)-a\). The osculating disks of radius r at \(\gamma (c)\) are tangent to \(\gamma '(c)\) and \(\Vert \gamma (c)-a\Vert \le r\). It follows that the point a is in one of the osculating disks at \(\gamma (c)\) which contradicts the assumption of par(r)-regularity. Moreover, assume that \({\mathcal {A}}\) is not path-connected. Let \(\mathcal C_1\) be a connected component which is not containing a. By Rolle’s Theorem, there exists \(t_0\) such that \(\phi '(t_0)=0\) and \(\gamma (t_0) \in B(a,2r)\), which is impossible. \(\square \)
We can prove an equivalent statement of Lemma 6 for LTB curves; See “Appendix C”. These similar behaviors are not surprising since we are showing that par-regularity implies local turn-boundedness. Nevertheless, it is interesting to compare the radii of the neighborhoods in which these local properties hold: 2r in the one hand (par(r)-regularity), \(\delta \) in the other hand (\((\theta ,\delta )\)-local turn-boundedness) while Theorem 3 states that par(r)-regularity implies \((\theta , 2r\sin (\theta /2))\)-local turn-boundedness where \(\theta \in (0,\pi )\). Then, the radii coincide in the limit case \(\theta =\pi \).
Step 3: Applying Schur’s Comparison Theorem
Proposition 11
Let \(\mathcal C\) be a par(r)-regular curve and \(\theta \in [0, \pi )\). Given two points a, b in \(\mathcal C\) such that \(\Vert b-a\Vert \le 2r \sin (\frac{\theta }{2})\), the arc of \(\mathcal C\) joining a to b in B(a, 2r) has its length smaller than or equal to \(\theta r\).
Proof
Let \(\gamma \) be the parametrization by arc length of the arc of \(\mathcal C\) from a to b in B(a, 2r). Then, \(\gamma (0)=a\) and \(\gamma (s_1)=b\) for some \(s_1>0\). By contradiction, assume that \(s_1>\theta r\) and put \(c=\gamma (\theta r)\).
Let \(\bar{\gamma }\) be the parametrization by arc length of some circle of radius r. By Lemma 5, for any subinterval I of \([0, \theta r]\),
In other words, for any subinterval I of \([0, \theta r]\),
Hence, Schur’s Comparison Theorem applies:
The last inequality contradicts the quasi-convexity of \(s\mapsto \Vert \gamma (s)-\gamma (0)\Vert \) (Lemma 6). \(\square \)
Theorem 3
Let \(\mathcal C\) be a par(r)-regular curve of class \(\mathrm C^1\) and \(\theta \in (0,\pi )\). Then, \(\mathcal C\) is \((\theta , 2r\sin (\theta /2))\)-locally turn-bounded.
Proof
By Proposition 11, the length of one of the arc of \(\mathcal C\) delimited by two points at distance less than \(2r \sin (\frac{\theta }{2})\) is at most \(\theta r\). Hence, by Lemma 5 the turn of one of the arc of \(\mathcal C\) delimited by two points at distance less than \(2r \sin (\frac{\theta }{2})\) is at most \(\theta \). \(\square \)
Notice that the circle is not \((\theta , \delta )\)-LTB for \(\delta \) greater than \(2r\sin (\frac{\theta }{2})\), hence, the value of \(\delta \) given in Theorem 3 is optimal.
Let us now compare our condition for well-composedness of \((\theta ,\delta )\)-LTB curves with respect to the grid step h, \(\sqrt{2} h<\delta \) with \(\theta \le \pi /2\) (Definition 9), with the condition of Pavlidis [13, Definition 7.4] for par(r)-regular curves, \(\sqrt{2} h< 2r\). Using Theorem 3, the assumption \(\sqrt{2} h <\delta \) applied on a par(r)-regular curve becomes
Hence, our compatibility hypothesis, which also applies to non-smooth curves, requires a smaller grid step when applied on smooth curves (for \(\theta = \frac{\pi }{2}\), \(\sqrt{2}\) times smaller).
6 Conclusion
In this paper, the notion of local turn-boundedness, which is adapted to both regular curves and polygons having large enough interior angles, was developed to have control on curves without smoothness assumption.
The LTB curves are a subset of curves of finite length and finite turn. They have been designed to exclude curves for which geometric estimation is not possible: they cannot have small oscillations and the distance to their digitization is bounded. They have their intrinsic properties: they are locally connected, they cannot do small U-turns.
From these intrinsic properties, we have derived some properties of their digitization. In particular, we were able to precisely describe their behavior when passing through sufficiently small pixels and how they separate grid points. Then, topological properties as the well-composedness and 4-connectedness of the curve Gauss digitization was deduced. Finally, local turn-boundedness was proven to generalize par-regularity. Since par-regularity amounts to having positive reach [7] and since the reach was relaxed by the notion of \(\mu \)-reach for use with non-smooth curves, we recently began to compare the \(\mu \)-reach [3] with the local turn-boundedness and we hope to be able to present soon some results about this comparison.
In a future work, using the results of this article, we intend to define maps associating sampling points of a Gauss digitization to near points on the continuous curve without smoothness assumption. Moreover, the definition of local turn seems to generalize without change to curves and surfaces in a three-dimensional space. Nevertheless, some properties like well-composedness cannot be extended to the three-dimensional case (see counterexample in [15, Fig. 4]) and the extension of other properties has to be proven. In the long term, we hope that local turn will provide a framework more general than the par-regularity, for both geometric estimation and topology preservation.
Notes
Diameter of a set S: supremum of the set of all distances between pairs of points in S.
References
Alexandrov, V., Reshetnyak, Y.: General Theory of Irregular Curves. Mathematics and Its Applications. Springer, Amsterdam (2012)
Berlin, A., Schröder, P., Sullivan, J., Ziegler, G.: Discrete Differential Geometry. Oberwolfach Seminars. Birkhäuser, Basel (2008)
Chazal, F., Cohen-Steiner, D., Lieutier, A.: A sampling theory for compact sets in Euclidean space. Discrete. Comput. Geom. 41(3), 461–479 (2009). https://doi.org/10.1007/s00454-009-9144-8
Federer, H.: Curvature measures. Trans. Am. Math. Soc. 93(3), 418–491 (1959)
Gross, A., Latecki, L.: Digitizations preserving topological and differential geometric properties. Comput. Vis. Image Underst. 62(3), 370–381 (1995). https://doi.org/10.1006/cviu.1995.1061
Kusner, R., Sullivan, J.: On Distortion and Thickness of Knots. Topology and Geometry in Polymer Science. Springer, New York (1997)
Lachaud, J.O., Thibert, B.: Properties of gauss digitized shapes and digital surface integration. J. Math. Imaging Vis. 54(2), 162–180 (2016). https://doi.org/10.1007/s10851-015-0595-7
Latecki, L.J., Conrad, C., Gross, A.: Preserving topology by a digitization process. J. Math. Imaging Vis. 8(2), 131–159 (1998). https://doi.org/10.1023/A:1008273227913
Le Quentrec, E., Mazo, L., Baudrier, E., Tajine, M.: Local turn-boundedness: a curvature control for a good digitization. In: Couprie, M., Cousty, J., Kenmochi, Y., Mustafa N. (eds.) 21st IAPR International Conference on Discrete Geometry for Computer Imagery, Discrete Geometry for Computer Imagery, 21th IAPR International Conference, DGCI 2019. Paris, France (2019)
Meine, H., Köthe, U., Stelldinger, P.: A topological sampling theorem for robust boundary reconstruction and image segmentation. Discrete Appl. Math. 157(3), 524–541 (2009). https://doi.org/10.1016/j.dam.2008.05.031
Milnor, J.W.: On the total curvature of knots. Ann. Math. Second Ser. 52, 248–257 (1950)
Ngo, P., Passat, N., Kenmochi, Y., Debled-Rennesson, I.: Geometric preservation of 2D digital objects under rigid motions. J. Math. Imaging Vis. 61, 204–223 (2019). https://doi.org/10.1007/s10851-018-0842-9
Pavlidis, T.: Algorithms for Graphics and Image Processing. Springer, Berlin (2012). https://books.google.fr/books?id=xeWpCAAAQBAJ
Serra, J.: Image Analysis and Mathematical Morphology. Academic Press Inc, New York (1983)
Stelldinger, P., Latecki, L.J., Siqueira, M.: Topological equivalence between a 3D object and the reconstruction of its digital image. IEEE Trans. Pattern Anal. Mach. Intell. 29(1), 126–140 (2007)
Stelldinger, P., Terzic, K.: Digitization of non-regular shapes in arbitrary dimensions. Image. Vis. Comput. 26(10), 1338–1346 (2008). https://doi.org/10.1016/j.imavis.2007.07.013
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Proof of Corollary 1
Lemma 7
The boundary of a convex shape with nonempty interior has no cusp.
Proof
Let \(\mathcal C\) be a Jordan curve whose interior is convex. Let \(p\in \mathcal C\). Since \(\mathcal C\) is a Jordan curve, there exist in \(\mathcal C\) two points q, r not colinear with p. Let P, Q, R be three straight lines passing, respectively, by the points p, q, r and separating \(\mathcal C\) from one of the half planes they delimit (see Fig. 18). The interior of the convex hull of \(\{p,q,r\}\) is included in the interior of \(\mathcal C\). Then, the arc from q to r passing through p is included in the half plane delimited by P and containing pqr deprived of the triangle pqr. Then, if \(\mathcal C\) has semi-tangent vectors \(\mathbf {u}\) and \(\mathbf {v}\) in p, the angle \(\angle (\mathbf {u}, \mathbf {v})\) is bounded from above by \(\pi -\alpha \) where \(\alpha \) is the interior angle of the triangle [p, q, r] at p. \(\square \)
Proof of Lemma 1
Lemma 1
Let \(\mathcal C\) be a \((\theta , \delta )\)-LTB curve with \(\theta <2\pi /3 \). Then,
where \({\text {diam}}\) denotes the diameter.
Proof
By contradiction, we assume \(\delta > {\text {diam}}(\mathcal C)\). Let \(\ell \) be the length of \(\mathcal C\), a be a non-angular point of \(\mathcal C\) and \(k<1/2\). We prove by induction that, for any n, there exists an arc \(\mathcal C_n\) of \(\mathcal C\) whose ends are non-angular points and containing a whose turn is less than \(\theta \) and whose length is greater than \((1-(1-k)^n)\ell \). Furthermore, the sequence \((\mathcal C_i)\) is increasing for the inclusion. We initialize the induction by taking a smooth point b of \(\mathcal C\) such that the geodesic distance from a to b is greater than \(k\ell \) (recall that the set of angular points of a LTBcurve is countable). Since \(\delta > {\text {diam}}(\mathcal C)\) and \(\mathcal C\) is LTB, one of the arcs from a to b, that we denote by \(\mathcal C_1\), has a turn less than or equal to \(\theta \). Assuming the property is true for some \(i\ge 1\), we denote by \(a_i\) and \(b_i\) the end points of \(\mathcal C_i\). There exists a smooth point \(c\in \mathcal C\setminus \mathcal C_i\) such that the geodesic distance from c to both \(a_i\) and \(b_i\) is greater than or equal to \(k(\ell - \mathcal {L}(\mathcal C_i))\). If the arc from \(a_i\) to c not passing through \(b_i\) has a turn less than \(\theta \), we set \(a_{i+1}=c\), \(b_{i+1}=b_i\) and \(\mathcal C_{i+1}\) is the arc from \(a_{i+1}\) to \(b_{i+1}\) (that is from c to \(b_i\)) passing through \(a_i\). Indeed, the other arc from \(a_{i+1}\) to \(b_{i+1}\) has a turn greater than \(2\pi -2\theta \) by Fenchel’s Theorem (Property 3) and Property 7. So, since \(\mathcal C\) is \((\theta ,\delta )\)-LTB and \(\mathrm d(a_{i+1}, b_{i+1})\le {\text {diam}}(\mathcal C)<\delta \), the turn of \(\mathcal C_{i+1}\) is less than \(\theta \). Moreover, \(\mathcal C_i\subseteq \mathcal C_{i+1}\). If the arc from \(a_i\) to c not passing through \(b_i\) has a turn greater than \(\theta \), we define \(\mathcal C_{i+1}\) as the arc from \(a_i\) to c passing through \(b_i\) since it has a turn less than \(\theta \) and we set \(a_{i+1}=a_i\), \(b_{i+1}=c\). In both cases, we have \(\mathcal C_i\subseteq \mathcal C_{i+1}\) and \(\mathcal {L}(\mathcal C_{i+1})\ge \mathcal {L}(\mathcal C_i) + k(\ell -\mathcal {L}(\mathcal C_i))\), and, since \(\mathcal {L}(\mathcal C_i)\ge (1-(1-k)^i)\ell \) by induction hypothesis, we obtain \(\mathcal {L}(\mathcal C_{i+1})\ge (1-(1-k)^{i+1})\ell \). This completes the induction. Now, on the one hand, considering the arc \(\mathcal C_{\infty }=\bigcup \mathcal C_{i}\), we claim that \(\mathcal C_{\infty }\) has a length greater than \((1-(1-k)^i)\ell \) for any positive integer i. Thus, \(\mathcal {L}(\mathcal C_{\infty })=\ell \). Then, \(\mathcal C\setminus \mathcal C_{\infty }\) is reduced to a point. On the other hand, since \(\mathcal C_{\infty }\) is the supremum of an increasing sequence of arcs whose turns are bounded from above by \(\theta \), it also has a turn-bounded from above by \(\theta \). This contradicts Corollary 1. \(\square \)
Local Increase of the Distance for \((\theta ,\delta )\)-LTB Curves
We now show that, when \(\theta \le \pi /2\), the Euclidean distance d(p, q) between two points p and q of a parameterized LTB curve is locally monotonic in function of the parameter of one of the two points p and q. Visually, Proposition 12 states that (\(\theta , \delta )\)-LTB have no local U-turns (see Fig. 19).
Proposition 12
Let \(\theta \in (0,\pi /2]\) and \({\mathcal {C}}\) be a \((\theta ,\delta )\)-LTB curve. Let \(\gamma :[0, t_{M}] \rightarrow \mathcal C\) be an injective parametrization of the curve \(\mathcal C\) and \(t_{m}\in (0,t_M)\) be such that the arc \(\gamma ([0,t_{m}])\) is included in \(B(\gamma (0), \frac{\delta }{2})\). Then, the restriction of the function \(t \mapsto \Vert \gamma (t)-\gamma (0)\Vert \) on \([0,t_{m}]\) is increasing.
Proof
We prove a contrapositive statement. Let \(\phi :t\in [0,t_{m}] \mapsto \Vert \gamma (t)-\gamma (0)\Vert \). Suppose that \(\phi \) is not monotonic. Then, there exists \(t_1\), \(t_2\) in \((0,t_m)\) such that \(t_1<t_2\) and \(\phi (t_1)>\phi (t_2)\). Therefore, the turn of the polygonal line \([\gamma (0),\gamma (t_1),\gamma (t_2)]\) is strictly greater than \(\pi /2\). Hence, the turn of the arc \(\gamma ([0, t_2])\) is a fortiori greater than \(\pi /2\). Since \(\mathcal C\) is \((\theta ,\delta )\)-LTB for some \(\theta <\pi /2\), the turn of the arc \(\gamma ([t_2,t_M])\) is strictly less than \(\pi /2\) and, according to Proposition 4, the arc \(\gamma ([t_2,t_M])\) is therefore included in the disk of diameter \([\gamma (t_2),\gamma (t_M)]\) which is itself included in the ball
\(B(\gamma (0),\delta /2)\) (for \(\gamma (t_M)=\gamma (0)\)). We conclude that the whole curve \(\mathcal C\) is included in the ball \(B(\gamma (0),\frac{\delta }{2})\). Then, the diameter of \(\mathcal C\) is strictly less than \(\delta \) which contradicts Lemma 1. \(\square \)
Proof of Proposition 7
Proposition 7 1
Let \(\theta \in (0,\pi /2]\) and \(\mathcal C\) be a \((\theta ,\delta )\)-LTB Jordan curve. Let d be the diameter of \(\mathcal C\) . Let T be a closed set included in an open disk B(c, r) with r less than or equal to \(\min (\frac{1}{2}\delta , \frac{\sqrt{2}}{4} d).\) Then, the arc \(\mathcal C_T\) passing through T is the unique arc of \(\mathcal C\) of turn less than or equal to \(\frac{\pi }{2}\) having its end points in T and such that the straightest arc between any two points of T is included in \(\mathcal C_T\). Moreover,
Proof
Observe that, obviously, any straightest arc between two points of \(\mathcal C\cap T\) is included in \(\mathcal C_T\). Furthermore,
where \(\mathcal C_a^a=\{a\}\) is the straightest arc from a to a. Thus,
The proof is divided into six steps. In the first step, we show that \(\mathcal C_T\) is an arc of \(\mathcal C\). In the second step, we show that the ends of \(\mathcal C_T\), \(q_1\) and \(q_2\) are in T. In the third step, we show that \(\mathcal C_T\) is the straightest arc between \(q_1\) and \(q_2\). In the fourth step, we show that \(\mathcal C_T\) is included in the open disk \(B(c,\sqrt{2}r)\) (see Fig. 20). In the fifth step, we show that \(\mathcal C_T\) is not the whole curve \(\mathcal C\). In the sixth step, we show that \(\mathcal C_T\) is the unique arc of \(\mathcal C\) with turn less than or equal to \(\pi /2\) and including any straightest arc of \(\mathcal C\) between points of T.
Step 1. Let \(p_1\) and \(p_2\) be two points of \(\mathcal C_T\). By Definition 6, there exist four points \(a_1\), \(b_1\), \(a_2\), \(b_2\) in T such that \(p_1\) lies in the straightest arc \(\mathcal C_{a_1}^{b_1}\) and \(p_2\) lies in the straightest arc \(\mathcal C_{a_2}^{b_2}\). Hence, the straightest arc between \(a_1\) and \(a_2\), which is included in \(\mathcal C_T\), connects the arcs \(\mathcal C_{a_1}^{b_1}\) and \(\mathcal C_{a_2}^{b_2}\). Thereby, \(p_1\) and \(p_2\) are connected by a path in \(\mathcal C_T\). We derive that \(\mathcal C_T\) is path-connected: \(\mathcal C_T\) is an arc of \(\mathcal C\).
Step 2. The ends of \(\mathcal C_T\), \(q_1\) and \(q_2\) are limits of points that are the ends of straightest arcs between two points in T. Indeed, for any \(\epsilon >0\), there exists a point \(q_1'\) of \(\mathcal C_T\) such that the length of the subarc of \(\mathcal C_T\), \(\mathcal C_{q_1}^{q_1'}\) is less than \(\epsilon \). The point \(q_1'\) belongs to a straightest arc between two points in T, one of these two points is on the arc \(\mathcal C_{q_1}^{q_1'}\), hence at geodesic distance from \(q_1\) less than \(\epsilon \) and a fortiori at Euclidean distance from \(q_1\) less than \(\epsilon \). The same holds for \(q_2\). Since T is a closed set, \(\mathcal C_T\) has its end points \(q_1\) and \(q_2\) in T.
Step 3. The straightest arc between \(q_1\) and \(q_2\) is included in \(\mathcal C_T\) (by definition of \(\mathcal C_T\)). Then, \(\mathcal C_T\) is the straightest arc between \(q_1\) and \(q_2\).
Step 4. (Figure 20) From Step 3 and Proposition 4, we derive that \(\mathcal C_T\) is included in the disk of diameter \([q_1, q_2]\). By the hypotheses, the segment \([q_1, q_2]\) is included in B(c, r). Then, the arc \(\mathcal C_T\) is included in the open ball \(B(c, (\sin \frac{\phi }{2} + \cos \frac{\phi }{2} )r)\subseteq B(c, \sqrt{2}r)\) where \(\phi \) is the geometric angle \(\widehat{q_1 c q_2}\).
Step 5. By hypothesis, the diameter of \(\mathcal C\) is greater than or equal to \(2\sqrt{2}r\). Since \(\mathcal C_T\) is included in the open disk \({B}(c,\sqrt{2}r)\), \(\mathcal C_T\) cannot be the whole curve \(\mathcal C\).
Step 6. If there exits another arc \(\mathcal C'\) of curvature less than or equal to \(\frac{\pi }{2}\) having its ends in T such that each other arc having its ends in T and of turn less than or equal to \(\frac{\pi }{2}\) is included in \(\mathcal C'\), then \(\mathcal C' \subset \mathcal C_T\) and \(\mathcal C_T \subset \mathcal C'\) hence \(\mathcal C'= \mathcal C_T\). \(\square \)
Turn of a Polygonal Line Inscribed in a Par-regular Curve
We establish two results allowing us to control the turn of a polygonal line inscribed in a par(r)-regular curve (Lemma 8 and Lemma 9). The first of these two lemmas is an easy consequence of the inscribed angle theorem. It is illustrated in Fig. 21. Its proof is left to the reader.
Lemma 8
Let P be a polygonal line \([a_i]_{i=0}^N\). Then,
where, for any \(i\in \llbracket 1,N-1 \rrbracket \), \(r_i\) is the radius of the circumcircle \(C_i\) of the triangle \(a_{i-1}a_{i}a_{i+1}\) and \(\theta _i\) is the central angle of \(C_i\) subtended by the arc \([a_{i-1},a_i,a_{i+1}]\).
Lemma 9
Let \(P=[a_i]_{i=0}^N\) be a polygonal line inscribed in a par(r)-regular curve. If the maximal edge length of P is less than 2r, then the turn of P is less than the turn of a polygonal line which has the same edge length sequence and is inscribed in a circle of radius r. In other words,
Proof
Figure 22 illustrates the main argument of the proof. Let \({\mathcal {C}}\) be a par(r)-regular curve and \(P=[a_i]_{i=0}^N\) be a polygonal line inscribed in \({{\mathcal {C}}}\). For any \(i \in \llbracket 0, N-1 \rrbracket \), we set \(\ell _i= \Vert a_{i+1} -a_i\Vert \) and we assume \(\ell _i \le 2r\). Let \(P'=[a'_i]_{i=0}^N\) be a polygonal line inscribed in a circle with radius 2r such that \(\ell _i= \Vert a'_{i+1} -a'_i\Vert \) for any \(i\in \llbracket 0, N-1 \rrbracket \).
For each \(i \in \llbracket 1, N-1\rrbracket \), let us denote, respectively, by \(\kappa _{i}\) and \(\kappa '_{i}\) the turn of the polygonal lines \([a_{i-1}, a_{i}, a_{i+1}]\) and \([a'_{i-1}, a'_{i}, a'_{i+1}]\). On the one hand, from Lemma 8 (“Appendix E”, we have \(\kappa '_{i}=\arcsin \left( \frac{\ell _{i-1}}{2r}\right) +\arcsin \left( \frac{\ell _{i+1}}{2r}\right) \). On the other hand, the turns \(\kappa ([a_{i-1},a_i,a_{i+1}])\) and \(\kappa ([a'_{i-1},a'_i,a'_{i+1}])\) are, respectively, the supplementary angles of \(\widehat{a_{i-1}a_ia_{i+1}}\) and \(\widehat{a'_{i-1}a'_ia'_{i+1}}\). Then, from the definition 10 of the par-regularity, \(\kappa ([a_{i-1},a_i,a_{i+1}]) \le \kappa ([a'_{i-1},a'_i,a'_{i+1}])\) (see Fig. 22). As \(\kappa (P)=\sum _{i=1}^N\kappa _i\) and \(\kappa (P')=\sum _{i=1}^N\kappa '_i\), we conclude straightforwardly. \(\square \)
Rights and permissions
About this article
Cite this article
Le Quentrec, É., Mazo, L., Baudrier, É. et al. Local Turn-Boundedness: A Curvature Control for Continuous Curves with Application to Digitization. J Math Imaging Vis 62, 673–692 (2020). https://doi.org/10.1007/s10851-020-00952-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10851-020-00952-x