Abstract
Motivated by a Möbius invariant subdivision scheme for polygons, we study a curvature notion for discrete curves where the cross-ratio plays an important role in all our key definitions. Using a particular Möbius invariant point-insertion-rule, comparable to the classical four-point-scheme, we construct circles along discrete curves. Asymptotic analysis shows that these circles defined on a sampled curve converge to the smooth curvature circles as the sampling density increases. We express our discrete torsion for space curves, which is not a Möbius invariant notion, using the cross-ratio and show its asymptotic behavior in analogy to the curvature.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Many topics in applied geometry like computer graphics, computer vision, and geometry processing in general, cover tasks like the acquisition and analysis of geometric data, its reconstruction, and further its manipulation and simulation. Numerically stable approximations of 3D-geometric notions play a crucial part in creating algorithms that can handle such tasks. In particular the estimation of curvatures of curves and surfaces is needed in these geometric algorithms [3, 10, 12]. A good understanding of estimating curvatures of curves often serves as an important first step for estimating curvatures of surfaces.
A different approach to discrete curvatures comes from discrete differential geometry [2]; the motivation behind any discretization is to apply the ideas and methods from classical differential geometry instead of “simply” discretizing equations or using classical differential calculus. Discrete curvatures defined via this approach are thus connected to a sensible notion of a curvature circle [9], a consistent definition of a Frenet-frame [5], or geometric ideas that appear in geometric knot theory [14]. Sometimes discrete definitions of “differential” notions of curves are justified to be sensible via asymptotic analysis and convergence behavior [11, 13].
In the present paper, we combine both strategies in a way. For example, we show the invariance of our discrete curvature circle with respect to Möbius transformations or characterize classes of discrete curves that are Möbius equivalent to an arc length parametrization. On the other hand, and therein lies our focus, we use asymptotic analysis to justify the definitions of our discrete notions. For example, in analogy to Sauer [13], we discretize/sample a smooth curve s(t) by constructing the inscribed polygon \(s(k \varepsilon )\) with \(k \in \mathbb {Z}\) as depicted in Fig. 2 (right). Using this discrete curve, we prove that our discrete curvature \(\kappa _k\), which is defined at the polygon edge \(k, k + 1\), is a second-order approximation of the curvature \(\kappa\) of s, i.e., \(\kappa _k = \kappa + \mathrm{O}(\varepsilon ^2)\) as \(\varepsilon \rightarrow 0\) (see Theorem 2). Our definition of \(\kappa _k\) will use four consecutive points as input. From our definition of the curvature circle we immediately obtain a discrete Frenet-frame in Theorem 3 and Sect. 5.2.
In our definition of the discrete curvature circle appears the cross-ratio of four points as main ingredient of its definition. The Möbius invariance of the cross-ratio thus implies the same for the curvature circle, analogous to smooth curves. The cross-ratio are also used in our definition for the torsion, a geometric quantity that is not Möbius invariant.
Our exposition starts with setting the scene in the preliminaries (Sec. 2). Then we investigate a notion of discrete curvatures notion for planar curves (Sec. 3) which we generalize to space curves in Sect. 4. In Sect. 5 we examine a discrete notion of torsion for three-dimensional curves. In Sect. 6 we consider some special cases and geometric properties of a particular ‘point-insertion-rule’ (Eqn. (3)) that plays an important rule in our definition of the discrete curvature. Finally, in Sect. 7 we perform numerical experiments to convince the robustness our discrete notions of curvature and torsion.
2 Preliminaries
2.1 Quaternions
The Hamiltonian quaternions \(\mathbb {H}\) are very well suited for expressing geometry in three dimensional space and in particular for three dimensional Möbius geometry (Sec. 2.2). The quaternions constitute a skew field whose elements can be identified with \(\mathbb {R}\times \mathbb {R}^3\). In this paper we write quaternions in the following way:
The first component \(r = \mathrm{Re}q\) of a quaternion \(q = [r, v]\) is called the real part, and the second component \(v = \mathrm{Im}q\) the imaginary part. Consequently, we write \(\mathrm{Im}\mathbb {H}= \{q \in \mathbb {H}\mid q = [0, v],\ \text {with}\ v \in \mathbb {R}^3\}\). The addition in this notation of \(\mathbb {H}\) reads \([r, v] + [s, w] = [r + s, v + w]\), while the multiplication reads \([r, v] \cdot [s, w] = [rs - \langle v, w\rangle , r w + s v + v \times w]\), where \(\langle \cdot , \cdot \rangle\) is the Euclidean scalar product in \(\mathbb {R}^3\) and where \(\times\) is the cross product. The conjugation of \(q = [r, v]\) is defined by \({\overline{q}} = [r, -v]\), and the square root of the real number \(q {\bar{q}}\) is called norm of q, denoted by \(|q| = \sqrt{q \bar{q}}\). For every \(q \in \mathbb {H}\setminus \{ 0 \}\) its inverse is given by \(q^{-1} = {\overline{q}}/|q|^2\).
Any quaternion \(q \in \mathbb {H}\) can be represented via its polar representation \(q = |q| [\cos \phi , v \sin \phi ]\) with \(\Vert v\Vert = 1\) and \(\phi \in [0, \pi ]\). In that case we can define the square root of q by \(\sqrt{q} = \sqrt{|q|} [\cos \frac{\phi }{2}, v \sin \frac{\phi }{2}]\). Also when computing the square root of a complex number we will always choose the principal square root \(\sqrt{z} = \sqrt{|z|} \exp (i \phi /2)\) for \(z = |z| \exp (i \phi )\) with \(\phi \in (-\pi , \pi ]\). The case of \(z \in \mathbb {R}_{< 0}\) will not play any role in what follows (as explained in Sec. 3.1 and Sec. 4.2).
Finally, to express points and vectors in \(\mathbb {R}^3\) with quaternions, we identify \(\mathbb {R}^3\) with \(\mathrm{Im}\mathbb {H}\) via \(v \leftrightarrow [0, v]\).
2.2 Möbius geometry
A Möbius transformation is a concatenation of a finite number of reflections \(\sigma\) in spheres (center c, radius r); hence, \(\sigma : \mathbb {R}^n \cup \{\infty \} \rightarrow \mathbb {R}^n \cup \{\infty \}\) with \(\sigma (x) = (x - c)/\Vert x - c\Vert ^2 + c\), \(\sigma (\infty ) = c\), \(\sigma (c) = \infty\). Invariants in Möbius geometry are consequently notions and objects that stay invariant under Möbius transformations. An important example of an invariant of planar Möbius geometry is the complex cross-ratio.
2.3 Cross-ratio
The cross-ratio is a fundamental notion in geometry, in particular Möbius geometry. For four quaternionic numbers \(a, b, c, d \in \mathbb {H}\) the cross-ratio is defined as
and it is therefore a quaternion itself. The complex numbers \(\mathbb {C}\) constitute a subfield in \(\mathbb {H}\). In our notation \(\mathbb {C}\) can be embedded in \(\mathbb {H}\) as \(\mathbb {C}\cong \{q \in \mathbb {H}\mid q = [r, (x, 0, 0)],\ \text {with}\ r, x \in \mathbb {R}\}\). Consequently, the cross-ratio for complex numbers can be written in the form
as \(\mathbb {C}\) is commutative.
It is well known that the cross-ratio of four points in \(\mathbb {R}^3\) or in \(\mathbb {C}\) is real if and only if the four points are concyclic (see e.g. [1]).
2.4 Smooth curves
Our goal is to define a notion of curvature and torsion for discrete curves (Sec. 2.5). We will compare our discrete notions to those of the classical (smooth) differential geometry and as such to parametrized curves \(s: \mathbb {R}\rightarrow \mathbb {R}^3\). We will always assume s to be sufficiently differentiable. The curvature \(\kappa\) and torsion \(\tau\) of s are given by (see e.g. [7])
The torsion vanishes if and only if the curve is planar. For a planar curve \(s: \mathbb {R}\rightarrow \mathbb {R}^2\) the curvature is the oriented quantity
2.5 Discrete curves
By a discrete curve, we refer to a polygonal curve in \(\mathbb {R}^2\) or \(\mathbb {R}^3\) which is given by its vertices via a map \(\gamma : \mathbb {Z}\rightarrow \mathbb {R}^3\). For visual analogy to the notion of a smooth curve we connect for all \(i \in \mathbb {Z}\) consecutive vertices \(\gamma (i) \gamma (i + 1)\) by a straight line segment, which we call the edges. However, connecting by line segments is not crucial in this paper except for better visualizations in our illustrations. To shorten the notation we will write \(\gamma _i\) for \(\gamma (i)\). We call the discrete curve planar if it is contained in a plane, i.e., in a two dimensional affine subspace.
3 Curvature of planar discrete curves
We first begin our investigation with a discrete curvature notion for planar curves and extend it in Sect. 4 to curves in \(\mathbb {R}^3\). We identify the two dimensional plane in which our curves live with the plane of complex numbers \(\mathbb {C}\). Before we proceed to the definition of the curvature (Sec. 3.2) we will consider a ‘point-insertion-rule’ in Sect. 3.1. We have also considered this point-insertion-rule in the context of a Möbius invariant subdivision method in [16].
3.1 Point-insertion-rule in \(\mathbb {C}\)
The square root is not uniquely defined in our formulation (see Sec. 2.1) for negative real numbers. So we must exclude that case in the following which is not a significant restriction as this case (i.e., \(\mathrm{cr}(c, a, b, d) \in \mathbb {R}_{< 0})\) corresponds to a concyclic quadrilateral a, b, c, d with a separated from d by b and c on the circumcircle. We exclude such “zigzag” quadrilaterals in the following and consider them as discrete singularities of our polygons.
Let \(a, b, c, d \in \mathbb {C}\) be four pairwise distinct points. We construct a new point \(f(a, b, c, d) \in \mathbb {C}\) in an, at a first glance, very unintuitive way:
We will explain more about special cases and the geometric relation of f with respect to a, b, c, d in Sect. 6.
Lemma 1
The newly inserted point f(a, b, c, d) fulfills
In particular the construction of f is Möbius invariant.
Proof
We expand the cross-ratio on the left hand side and obtain
Now simple manipulations of this equation yield (3). The Möbius invariance follows immediately, as f can be expressed just in terms of cross-ratios. \(\square\)
Theorem 1
Let \(a, b, c, d \in \mathbb {C}\) be four pairwise distinct points and consider the four new points obtained from f by cyclic permutation:
Then \(p_{ab}, p_{bc}, p_{cd}, p_{da}\) are concyclic with \(\mathrm{cr}(p_{ab}, p_{bc}, p_{cd}, p_{da}) = -1\) (see Fig. 1left).
Proof
It is a well-known fact that the cross-ratio of four points is real if and only if the four points lie on a circle. Hence, we only have to show the second part; namely,
Another well known (and readily verifiable) fact about the cross-ratio is \(\mathrm{cr}(b, a, d, c) = \mathrm{cr}(a, b, c, d)\). Consequently, the cross-ratios that appear in the definition of \(p_{ab}\) and \(p_{cd}\) are the same as well as in \(p_{bc}\) and \(p_{da}\). So, let us denote the cross-ratios by \(q := \mathrm{cr}(c, a, b, d) = \mathrm{cr}(a, c, d, b)\) and start to collect the terms of the second equation of (4):
As \(p_{ab}\) and \(p_{cd}\) result from \(p_{da}\) and \(p_{bc}\), respectively, by a cyclic permutation of one step (\(a \rightarrow b, b \rightarrow c, c \rightarrow d, d \rightarrow a\)), we immediately obtain by shifting from the last identity
Next we compute the factors of the right hand side:
and again the same permutation of one shift yields
Adding and multiplying these notions together yields Eq. (4). \(\square\)
Lemma 1 immediately implies the following two important consequences:
Corollary 1
-
(i)
If a, b, c, d lie on a circle such that \(\mathrm{cr}(c, a, b, d) > 0\) (which is the case for a convex quadrilateral, i.e., non-crossing edges; see Fig. 1right) then the four points \(p_{ab}, p_{bc}, p_{cd}, p_{da}\) lie on the same circle.
-
(ii)
The circle given by Theorem 1is connected to a, b, c, d in a Möbius invariant way.
Lemma 2
For any four pairwise distinct points \(a, b, c, d \in \mathbb {C}\), the harmonic conjugate of \(p_{ab}\) with respect to a, b is \(p_{cd}\), which equivalently means \(\mathrm{cr}(a, p_{ab}, b, p_{cd}) = -1\) (see also Fig. 1center). Analogously, for the other quadruples we have \(\mathrm{cr}(b, p_{bc}, c, p_{da}) = -1\), \(\mathrm{cr}(c, p_{cd}, d, p_{ab}) = -1\), and \(\mathrm{cr}(d, p_{da}, a, p_{bc}) = -1\).
Proof
We show
The product \(p_{ab} p_{cd}\) has been computed before in Eq. (5), and the sum \(p_{ab} + p_{cd}\) in Eq. (6). Multiplying these terms together as written above on the right hand side concludes the proof. \(\square\)
Corollary 2
Let \(a, b, c, d \in \mathbb {C}\) be four pairwise distinct points and let k denote the circle through \(p_{ab}, p_{bc}, p_{cd}, p_{da}\). Then either all eight points lie on the same circle k, or a, c lie on one side of k and b, d on the other side (see Fig. 1center).
Proof
The two points \(p_{ab}\) and \(p_{cd}\) lie on the circle k. Suppose a lies outside of k as depicted in Fig. 1 (center). Then Lemma 2 implies that b lies on a circle through \(a, p_{ab}, p_{cd}\), and further, \(\mathrm{cr}(a, p_{ab}, b, p_{cd}) = -1\) which implies that the pair \((p_{ab}, p_{cd})\) separates the pair (a, b) (cf. [6]). Consequently, b lies inside k. The same argument then implies that c lies outside again and further d inside. \(\square\)
3.2 Curvature for planar curves
Let us consider the planar discrete curve \(\gamma : \mathbb {Z}\rightarrow \mathbb {C}\) as illustrated in Fig. 2 (left). We assume that any four consecutive vertices of the curve are pairwise distinct. Then, Thm. 1 guarantees the existence of a circle \(k_i\) passing through \(f(\gamma _{i - 1}, \gamma _{i}, \gamma _{i + 1}, \gamma _{i + 2})\), \(f(\gamma _{i}, \gamma _{i + 1}, \gamma _{i + 2}, \gamma _{i - 1})\), \(f(\gamma _{i + 1}, \gamma _{i + 2}, \gamma _{i - 1}, \gamma _{i})\), \(f(\gamma _{i + 2}, \gamma _{i - 1}, \gamma _{i}, \gamma _{i + 1})\). We use this circle \(k_i\) in the following definition of our discrete curvature.
Definition 1
Let \(\gamma : \mathbb {Z}\rightarrow \mathbb {C}\) be a planar discrete curve. We call the circle \(k_i\) (discrete) curvature circle at the edge \(\gamma _{i}\gamma _{i + 1}\), the inverse of its radius (discrete) curvature \(\kappa _i\) at the edge \(\gamma _{i}\gamma _{i + 1}\), and its center \(m_i\) (discrete) curvature center. For an illustration see Fig. 2 (left).
A ‘good’ discrete definition ‘mimics’ its smooth counterparts. Along these lines we note that our discrete curvature circle is Möbius invariant (Corollary 1 (ii)) as in the smooth case. Furthermore, the curvature circle of a discrete curve with vertices on a circle—we could call it a discrete circle—is the circumcircle itself, as expected. And Corollary 2 implies that the curvature circle separates the first and the last point of the four points that are involved in its definition (see Fig. 2 left). This resembles the local behavior of smooth curves at non-vertex points where the curvature circle locally separates the curve into an ‘inner’ and an ‘outer’ curve.
In the following we continue our justification of this definition of the discrete curvature circle using asymptotic analysis. We will show that the discrete curvature circle (its radius and center) of a sampled curve s converges to the smooth curvature circle as the sampling gets denser and denser. For an illustration of the setting of the following theorem, see Figs. 2 and 3.
Theorem 2
Let \(s: \mathbb {R}\rightarrow \mathbb {C}\) be a sufficiently smooth planar curve and let \(u, \varepsilon \in \mathbb {R}\). Further let \(\gamma : \mathbb {Z}\rightarrow \mathbb {C}\) be the planar discrete curve that samples the smooth curve s in the following way:
Then the discrete curvature \(\kappa _0\) of \(\gamma\) at the edge \(\gamma _0 \gamma _1\) is a second-order approximation of the smooth curvature \(\kappa\) of s at u:
The center \(m_0\) of the discrete curvature circle \(k_0\) of \(\gamma\) converges to the center of the smooth curvature circle of s at the same rate,
where N denotes the unit normal vector along s. Furthermore, \(p_{\gamma _0 \gamma _1} = f(\gamma _{-1}, \gamma _{0}, \gamma _{1}, \gamma _{2})\) is even a third-order approximation of s(u), i.e.,
Before we give a proof of this theorem,we need a couple of preparatory lemmas. We consider without loss of generality the approximation point at \(u = 0\). To study the asymptotic behavior of the curvature notions based on our sampled curve, we need its Taylor expansion at 0:
For the sake of brevity we will just write s instead of s(0), \(s'\) instead of \(s'(0)\), etc. And until the end of this section we will use the following abbreviations for those four points on which the curvature circle depends:
We will very frequently encounter rational functions depending on \(\varepsilon\) for which we need its Taylor expansion. So at first, we prepare a general technical lemma that can easily be verified.
Lemma 3
Let \(x_i, y_i \in \mathbb {C}\) with \(y_0 \ne 0\), then
Our first task is to compute the Taylor expansion of the cross-ratio which appears in the ‘inserting’ construction (3). The following formula illustrates also the close connection between the cross-ratio and the Schwarzian derivative of s which reads \(\frac{2 s' s''' - 3 f''^2}{2 f'^2}\), cf. [4].
Lemma 4
Let a, b, c, d be the four consecutive points of the sampled curve as defined in (10). Then
Proof
We start by computing the factors of
in terms of the Taylor expansion:
And similarly we obtain
Now the numerator of the cross-ratio becomes
while the denominator becomes
Consequently, after canceling \(-4 \varepsilon ^2\) the cross-ratio reads
which, using Lemma 3, simplifies to
the Taylor expansion of the first cross-ratio. The computations for the second one is similar. \(\square\)
Lemma 5
Let a, b, c, d be as in Lemma 4. Then
Proof
This equation follows immediately from the general Taylor expansion for
and from Lemma 4. \(\square\)
Now we are in the position to show the important lemma that guarantees that \(p_{\gamma _0 \gamma _1} = p_{bc}\) is a third-order approximation of s.
Lemma 6
Let a, b, c, d be as in Lemma 4. Then
Proof
We have to compute
and start with its components:
and analogously
Putting numerator and denominator together also using Lemma 5 we obtain
and after canceling \(\varepsilon\), applying Lemma 3 concludes the proof. \(\square\)
Note that Lemma 6 proves Eq. (9) in Theorem 2 which says that \(= p_{bc}\) converges to s at third-order. The following lemma can be verified analogously to Lemma 6.
Lemma 7
Let a, b, c, d be as in (10). Then
Lemma 7 implies that \(p_{da} = p_{\gamma _{i + 2} \gamma _{i - 1}}\) is a second-order approximation of \(s - \frac{2 s'^2}{s''}\). This point \(s - \frac{2 s'^2}{s''}\) has an interesting geometric interpretation which we detail in Proposition 1.
After putting these preparatory lemmas in place we can finally turn to the proof of our result on the limit of the curvature circle.
Proof of Theorem 2
Let us first compute the center \(m_0\) of the discrete curvature circle \(k_0\). Generally, the circumcenter of a triangle \(a, b, c \in \mathbb {C}^2\) is given by
In our case we want to compute the circumcenter of the four concyclic points \(p_{ab},\) \(p_{bc},\) \(p_{cd},\) \(p_{da}\) from which we choose the three points \(p_{bc}, p_{cd}, p_{da}\) to insert them in the formula above. Let us start with the denominator \({\mathscr {D}}\):
We compute the numerator \({\mathcal {N}}\) in the same way. After a lengthy computation we get
Now, Lemma 3 yields for the center \(m_0\) of the discrete curvature circle \(k_0\)
We need to relate the discrete curvature circle to its smooth counterpart. In order to do that, we rewrite the curvature (2) in terms of complex functions: The determinant of a matrix consisting of two column vectors \(a, b \in \mathbb {R}^2\) is the same as \(\frac{i}{2} (a {\bar{b}} - {\bar{a}} b)\) when a and b are expressed as complex numbers. Consequently, the curvature for a curve \(s: \mathbb {R}\rightarrow \mathbb {C}\) and its unit normal vector N can be written in the form
as multiplication with i corresponds to a rotation about the angle \(\pi /2\). So, we use these notions to rewrite (12):
Consequently, the distance between the center \(m_0\) of the discrete curvature circle \(k_0\) and the center \(s + \frac{1}{\kappa } N\) of the smooth curvature circle is of magnitude \(\mathrm{O}(\varepsilon ^2)\).
Let us now compute the radius of the discrete curvature circle \(k_0\) by computing the distance of its center \(m_0\) to a point on the circle, e.g., \(p_{bc}\):
which implies Eq. (7). Equation (9) follows from Lemma 6. \(\square\)
In Lemma 7 we saw that the point \(p_{da} = p_{\gamma _{i + 2} \gamma _{i - 1}}\) is a second-order approximation of \(s(u) - \frac{2 s'^2(u)}{s''(u)}\). In the following proposition we study the geometric meaning of that special point.
Proposition 1
Let \(s: \mathbb {R}\rightarrow \mathbb {C}\) be a smooth curve. Then for all \(u \in \mathbb {R}\) the point
is a point on the curvature circle at s(u) (see Fig. 4top-left). The curve \({\tilde{s}}\) is Möbius-invariantly connected to the parametrization of s. Furthermore, the normal vector N of s is the angle bisector of \({\tilde{s}} - s\) and the second derivative vector \(s''\) (see Fig. 4top-left).
Proof
To show that \({\tilde{s}}\) lies on the curvature circle we show \(\big |{\tilde{s}} - (s + \frac{1}{\kappa } N) \big | = \frac{1}{|\kappa |}\):
Next we show the Möbius invariant property of \({\tilde{s}}\). For that, let M be a Möbius transformation. We have to show
This equation holds trivially for translations, rotations and scalings. So the only thing left to show is that it is also true for inversions \(M(z) = 1/z\). We start with the right hand side:
Now we show the symmetry property. We have to show that \(\frac{{\tilde{s}} - s}{|{\tilde{s}} - s|}\) gets reflected to \(\frac{s''}{|s''|}\) at the symmetry axis N. The reflection of a complex number z on an axis with direction a (see Fig. 4 bottom-left) is expressible in complex numbers by \(\frac{a}{{\bar{a}}} {\bar{z}}\). So we have to show
This equation is equivalent to
which is true and therefore implies the symmetry property. \(\square\)
Remark 1
If s is parametrized proportionally to arc length, then \(s \tilde{s}\) is a diameter of the curvature circle.
Corollary 3
A parametrized curve is Möbius equivalent to an arc-length parametrized curve if and only if for all \(u \in \mathbb {R}\) the circles orthogonal to the curvature circle and passing through s and \({\tilde{s}}\) intersect in one common point (see Fig. 4right).
The commonly used characterization of arclength parametrizations of discrete curves is by a polygon with constant edgelengths. However, Corollary 3 implies an immediate alternative:
Definition 2
We call a discrete curve parametrized proportionally to arclength if \(p_{\gamma _i \gamma _{i + 1}}\) and \(p_{\gamma _{i + 2} \gamma _{i - 1}}\) are opposite points on the discrete curvature circle.
Theorem 3
The unit tangent vector \(T_i\) and unit normal vector \(N_i\) of the discrete curvature circle \(k_i\) at \(p_{\gamma _i \gamma _{i + 1}}\) are second-order approximations of the unit tangent vector T and unit normal vector N of the smooth curve (after appropriate orientation), i.e.,
Proof
The approximation quality of T and N is the same so we just have to prove it for one of them:
After appropriate orientation N and \(N_i\) differ only about \(\mathrm{O}(\varepsilon ^2)\). \(\square\)
4 Curvature for three dimensional curves
Before we generalize discrete curvature from discrete planar curves to space curves we need some more results on the quaternionic cross-ratio for points in three dimensional space. We will use the imaginary quaternions \(\mathrm{Im}\mathbb {H}\) to describe points in three dimensional space \(\mathbb {R}^3\) (see Sec. 2.1).
4.1 Cross-ratio and geometry
The authors used the quaternionic algebra and the cross-ratio extensively in [15, 16] for applications in regular mesh design and for Möbius invariant subdivision algorithms. The results of this paragraph can also be found there. To prove some technical Lemmas we first consider the following geometric property, which can easily be verified.
Lemma 8
Let \(a, b, c \in \mathbb {R}^n\) be three points. Then \((a - b) \Vert a - c\Vert ^2 - (a - c) \Vert a - b\Vert ^2\) is the direction of the tangent of the circumcircle to the triangle abc at a.
Definition 3
Let \(a, b, c \in \mathrm{Im}\mathbb {H}\) be pairwise distinct points. Then we call the imaginary quaternion
corner tangent.
Note that the identity \(a^{-1} + b^{-1} = a^{-1} (a + b) b^{-1}\) immediately implies
Lemma 9
Consider the circumcircle of \(a, b, c \in \mathbb {H}\), oriented according to this defining triangle. Then the vector t[c, a, b], placed at a, is in oriented tangential contact with the circle (see Fig. 5left).
Proof
Note that \(q\! \in \! \mathrm{Im}\mathbb {H}\) implies \(q^{-1}\!\! =\! -q/|q|^2\). Using the definition of the corner tangent yields
Consequently, Lemma 8 concludes the proof. \(\square\)
Lemma 10
Let \(a, b, c, d \in \mathrm{Im}\mathbb {H}\) be four points not lying on a common circle. Then, the imaginary part of the cross-ratio is the normal of the circumsphere (or plane) at a, i.e., for a proper circumsphere with center m, we have \(\mathrm{Im}\mathrm{cr}(a, b, c, d) \parallel (m - a)\) (see Fig. 5center).
Proof
We compute the cross-ratio in terms of corner tangents abbreviated by \(t_1 = t[c, a, b]\) and \(t_2 = t[d, a, c]\):
Since \(t_1\) and \(t_2\) are both imaginary we can write the cross-ratio as
Lemma 9 implies that \(t_1^{-1}\) and \(t_2\) are tangent vectors to the circumcircles of the triangles (abc) and (cda), respectively, both at a. Consequently, the imaginary part of the above cross-ratio is the cross product of tangent vectors to circles on the circumsphere of a, b, c, d at a, hence orthogonal to the tangent plane of the circumsphere at a. \(\square\)
Proposition 2
Let \(a, b, c, d \in \mathrm{Im}\mathbb {H}\) be four non-concyclic points with \(\mathrm{cr}(a, b, c, d) = [r, v]\). Further, let \(f \in \mathbb {H}\) be the quaternion that solves
for some \(\lambda , \mu \in \mathbb {R}\). Then \(f \in \mathrm{Im}\mathbb {H}\), i.e., f is an imaginary quaternion representing a point in \(\mathbb {R}^3\). Furthermore, f lies on the circumsphere of a, b, c, d. In particular \(f(\lambda , \mu )\) is a parametrization of the circumsphere.
Proof
The two occurring cross-ratios can be expressed as (see the proof of Lemma 10)
where \(t_1 := t[c, a, b]^{-1}\), \(t_2 := t[d, a, c]\), and \(t_3 := t[f, a, c]\). Consequently, as all \(t_i \in \mathrm{Im}\mathbb {H}\), we have
Since all \(t_1, t_2, t_3\) are orthogonal to v and therefore linearly dependent, we can express \(t_3\) in the form \(t_3 = \alpha t_1 + \beta t_2\). The two vectors \(t_1\) and \(t_2\) are linearly independent since otherwise \(t_1 \times t_2\) would be zero implying \(\mathrm{cr}(a, b, c, d) = [r, v] = [-\langle t_1, t_2\rangle , 0] \in \mathbb {R}\) which is a contradiction to the four points a, b, c, d not being concyclic.
After inserting \(t_3 = \alpha t_1 + \beta t_2\) into the above equations we obtain
Consequently, \(\beta = \mu\) and \(\alpha = (\lambda - \mu ) \langle t_1, t_2\rangle /|t_1|^2\), which determines \(t_3\) uniquely. From the definition of \(t_3 = t[f, a, c] = (f - a)^{-1} + (a - c)^{-1}\), we then immediately get
Furthermore, the circumsphere of a, b, c, f is the same as the circumsphere of a, b, c, d since both pass through a, b, c and both have parallel normal vectors (\(\mu v\) and v, resp.) at a, and there is only one such sphere. \(\square\)
4.2 Point-insertion-rule in \(\mathbb {H}\)
Let us now consider the analogous construction of (3) by inserting a new point to given four points \(a, b, c, d \in \mathrm{Im}\mathbb {H}\) in three dimensional space. The quaternionic square root is not uniquely defined in our formulation (see Sec. 2.1) for negative real numbers. So we must exclude that case in the following which is not a significant restriction as this case (i.e., \(\mathrm{cr}(c, a, b, d) \in \mathbb {R}_{< 0})\) corresponds to a concyclic quadrilateral a, b, c, d with a separated from d by b and c on the circumcircle. We exclude such “zigzag” quadrilaterals in the following and consider them as discrete singularities of our polygons.
The quaternionic formula analogous to (3) reads:
The notation of this formula is less flexible than in the complex case due to the noncommutativity of \(\mathbb {H}\). As it will turn out, f(a, b, c, d) is purely imaginary and thus in three space, but note that a priori f is a quaternion. In analogy to Lemma 1f is also the solution to a cross-ratio equation:
Lemma 11
The newly inserted point f(a, b, c, d) fulfills
Corollary 4
f is a point in three dimensional space, i.e., \(f \in \mathrm{Im}\mathbb {H}\). Even more, f lies on the circumsphere of a, b, c, d.
Proof
The square root of a quaternion \(q = [r, v]\) (see Sec. 2.1) is a quaternion with imaginary part parallel to v, i.e., parallel to the imaginary part of q. Consequently, Proposition 2 implies that f is in \(\mathrm{Im}\mathbb {H}\) and in particular on the circumsphere of a, b, c, d. \(\square\)
4.3 Curvature for discrete space curves
In this section we will relate the curvature and curvature circle of discrete curves in three dimensional space to the planar case (Sec. 3.2). But first let us recall some properties of smooth curves \(s: \mathbb {R}\rightarrow \mathbb {R}^3\).
Consider a sequence of four points on the curve s which converge to one point s(0). At any time the four points are assumed to uniquely determine a sphere. Consequently, as the four points converge to one point the sequence of spheres defined that way converges to the so called osculating sphere (see e.g., [7]). The osculating sphere passes through s(0) and has its center at
where N is the unit normal vector, B the binormal unit vector, \(\kappa\) the curvature, and \(\tau\) the torsion of the curve. The curvature circle at s(0) is the intersection of the osculating plane with the osculating sphere and thus lies on the osculating sphere.
Lemma 12
The osculating sphere has contact of order \(\ge 3\) with the curve s which implies that there is a curve \({\hat{s}}\) on the osculating sphere such that,
This immediately implies the following lemma.
Lemma 13
The curvature and the curvature circle of a space curve s(u) at \(u = 0\) is the same as the curvature and the curvature circle of \({\hat{s}}\) on the osculating sphere at \(u = 0\).
Any Möbius transformation that maps the osculating sphere to a plane also transforms the curvature circle to that plane.
Let us now define a curvature circle for discrete space curves. So let us start with a discrete curve \(\gamma : \mathbb {Z}\rightarrow \mathbb {R}^3\) and set \(a = \gamma _{i - 1}, b = \gamma _{i}, c = \gamma _{i + 1}, d = \gamma _{i + 2}.\) In analogy to Theorem 1 we define
but now for the ‘quaternionic’ f. Lemma 11 implies that \(p_{ab}, p_{bc}, p_{cd}, p_{da}\) lie on the circumsphere of a, b, c, d which we consider as the discrete osculating sphere.
Let us now consider a Möbius transformation that maps the osculating sphere to the [yz]-plane of a Cartesian xyz-coordinate system. This Möbius transformation (as any Möbius transformation does) keeps the real part as well as the length of the imaginary part of the cross-ratio of four points invariant. The transformed cross-ratios have imaginary parts that are orthogonal to the circumsphere of the new points (Lemma 10). Therefore the transformed cross-ratios have imaginary parts that are parallel to the x-axis of the coordinate system. Consequently, the cross-ratios are complex numbers [r, (x, 0, 0)], and we arrive at the case of planar curves (Sec. 3).
So, after the Möbius transformation we can apply Theorem 1 which implies that \(p_{ab},\) \(p_{bc},\) \(p_{cd},\) \(p_{da}\) lie on a common circle \({\tilde{k}}_i\) and have a cross-ratio of \(-1\). Furthermore, the inverse Möbius transformation maps the circle \({\tilde{k}}_i\) to a circle \(k_i\) on the osculating sphere. And since Möbius transformations map the curvature circle of a curve to the curvature circle of the transformed curve, the following definition is sensible.
Definition 4
For a discrete space curve \(\gamma : \mathbb {Z}\rightarrow \mathbb {R}^3\) we call the circle \(k_i\) (discrete) curvature circle and the inverse of its radius curvature \(\kappa _i\) at the edge \(\gamma _{i}\gamma _{i + 1}\). For an illustration see Fig. 5 (right).
Theorem 4
Let \(s: \mathbb {R}\rightarrow \mathbb {R}^3\) be a sufficiently smooth planar curve and let \(u, \varepsilon \in \mathbb {R}\). Further let \(\gamma : \mathbb {Z}\rightarrow \mathbb {R}^3\) be the discrete curve \(\gamma _k = \gamma (k) = s(u + (2 k - 1)\varepsilon )\). All the approximation results from Theorem 2apply to space curves in \(\mathbb {R}^3\).
Proof
At first we convince ourselves that it is sufficient to replace the curve s by the curve \({\hat{s}}\) on the osculating sphere (Lemma 12). Thus instead of \(\gamma _k\) we use \({\hat{\gamma }}_k = {\hat{s}}(u + (2 k - 1)\varepsilon )\) for the computation of the discrete curvature circle. We have \({\hat{\gamma }}_k = \gamma _k + \mathrm{O}(\varepsilon ^4)\), and therefore
i.e., the four points for which we construct the discrete curvature circle are \(\mathrm{O}(\varepsilon ^4)\)-close to the points on the actual discrete curvature circle. Hence, the center of the replacing curvature circle is also \(\mathrm{O}(\varepsilon ^4)\)-close to the actual circle since the center of the circumcircle of a triangle \(a, b, c \in \mathbb {R}^3\) is
Now we know that it is sufficient to show the 3-space version of Theorem 2 for \({\hat{s}}\) instead of s. After a stereographic projection from the osculating sphere to the complex plane we arrive at the case of planar curves (Sec. 3) for which Theorem 2 holds. The only thing left to prove is that the stereographic projection does not change the approximation order of the center of the curvature circle.
Let m, r denote the center and radius of the smooth curvature circle of the planar curve, and let \(m_0(\varepsilon ), r_0(\varepsilon )\) denote the curvature circle of \(\gamma\). From Theorem 2 we know that
After mapping a circle in \(\mathbb {C}\) with center \(m = m_1 + i m_2\) and radius r stereographically to the sphere we obtain
for the new center. Therefore
i.e., the centers are \(\mathrm{O}(\varepsilon ^2)\)-close. \(\square\)
5 Torsion
We define the torsion for discrete curves where the cross-ratio plays a role. However, we first have to consider the right formulation of the torsion of smooth curves.
5.1 Torsion for smooth curves
Let us reformulate the common notation of the torsion \(\tau\) (see Eq. (1)):
The normal unit vector N is the cross product of the binormal unit vector B and the tangent unit vector T and therefore reads
Consequently,
We will come back to such formulation of \(\tau\) in the proof of Theorem 5.
5.2 Discrete Frenet frame
There is a natural way to define a discrete Frenet frame in our setting. Theorem 2 implies that \(p_{bc} = p_{\gamma _{i} \gamma _{i + 1}}\) is a good discrete candidate for a point where the curvature circle should be in tangential contact with the curve as \(p_{bc}\) is a third-order approximation of s(u). Thus it is sensible to choose the discrete unit tangent vector \(T_i\) to be in tangential contact with the curvature circle at \(p_{bc}\). It is therefore equally natural to define the normal unit vector \(N_i\) to be the normal of the curvature circle at \(p_{bc}\). Consequently, the binormal vector \(B_i\) should be orthogonal to \(N_i\) and \(T_i\) (see Fig. 6).
Lemma 14
Let \(s: \mathbb {R}\rightarrow \mathbb {R}^3\) be a sufficiently smooth curve and let \(u, \varepsilon \in \mathbb {R}\). Further let \(\gamma : \mathbb {Z}\rightarrow \mathbb {C}\) be the discrete curve \(\gamma _k = \gamma (k) = s(u + (2 k - 1)\varepsilon )\). Then the discrete unit normal \(N_i\) is a second-order approximation of the smooth normal N, i.e.,
Proof
where we used Theorem 4 at \((*)\). \(\square\)
Lemma 15
With the same assumptions as in Lemma 14we obtain
Proof
Theorem 3 implies \(T_i = T + \mathrm{O}(\varepsilon ^2)\) for the planar case. What remains to verify is that a Möbius transformation does not change this order.
Any vector v attached at a point p can be represented as the derivative of a straight line:
Consequently, an inversion maps that vector to
In our case the vector \(T_i\) is attached at point \(p_{bc}\). Since \(T_i = T + \mathrm{O}(\varepsilon ^2)\) and \(p_{bc} = s + \mathrm{O}(\varepsilon ^3)\) for planar curves, we obtain for the tangent vector after inversion
Therefore, Möbius transformations map \(\varepsilon ^2\)-close vectors attached at \(\varepsilon ^3\)-close points to \(\varepsilon ^2\)-close vectors. \(\square\)
Corollary 5
With the same assumptions as in Lemma 14the discrete Frenet frame \((T_i, N_i, B_i)\) is a second-order approximation of the smooth Frenet frame (T, N, B).
5.3 Torsion for discrete curves
In this section we relate the torsion of a discrete curve to the cross-ratio of four successive vertices of the curve. The real part and the length of the imaginary part of the quaternionic cross-ratio are Möbius invariant but the torsion is not; hence the definition must also include other quantities that are not Möbius invariant: curvature and length. In Theorem 5 we again use asymptotic analysis to justify our definition of the discrete torsion.
Definition 5
Let \(\gamma : \mathbb {Z}\rightarrow \mathbb {R}^3 \cong \mathrm{Im}\mathbb {H}\) be a discrete curve, let \(\kappa _i\) be the discrete curvature at the edge \(\gamma _{i} \gamma _{i + 1}\), and let \(N_i\) denote the discrete normal unit vector. Then, we call
the (discrete) torsion of \(\gamma\) at the edge \(\gamma _{i} \gamma _{i + 1}\).
Proposition 3
The discrete torsion vanishes for planar discrete curves.
Proof
Planarity of the discrete curve and Lemma 10 imply that the imaginary part of the cross-ratio in the definition of the torsion is perpendicular to that plane. The normal vector \(N_i\) on the other hand is contained in the plane. Therefore the two vectors are orthogonal and the discrete torsion vanishes. \(\square\)
Theorem 5
Let \(s: \mathbb {R}\rightarrow \mathbb {R}^3\) denote a sufficiently smooth curve, let \(u, \varepsilon \in \mathbb {R}\) and let the discrete curve \(\gamma : \mathbb {Z}\rightarrow \mathbb {C}\) with \(\gamma _k = \gamma (k) = s(u + (2 k - 1)\varepsilon )\) be a sampling of s. Then
However, before we prove this theorem we need a preparatory lemma.
Lemma 16
Let \(s: \mathbb {R}\rightarrow \mathbb {C}\) denote a sufficiently smooth curve, let \(u, \varepsilon \in \mathbb {R}\) and let the discrete curve \(\gamma : \mathbb {Z}\rightarrow \mathbb {C}\) with \(\gamma _k = \gamma (k) = s(u + (2 k - 1)\varepsilon )\) be a sampling of s. Further let \(q_0\) denote the cross-ratio of four consecutive vertices \(q_0 := \mathrm{cr}(\gamma _{-1}, \gamma _0, \gamma _1, \gamma _2)\). Then
Proof
We compute
by first expressing each factor in terms of its Taylor expansion:
and now the inverted factors
where the last equality holds since \(\frac{x_0 + x_2 \varepsilon ^2 + \mathrm{O}(\varepsilon ^3)}{y_1 \varepsilon + y_3 \varepsilon ^3 + \mathrm{O}(\varepsilon ^4)} = \frac{x_0}{y_1 \varepsilon } + \frac{x_2 y_2 - x_0 y_3}{y_1^2} \varepsilon + \mathrm{O}(\varepsilon ^2)\). Analogously, we obtain
The above four factors are all purely imaginary quaternions. Multiplying these factors together in the right order yields the proposed real and imaginary part of the cross-ratio. \(\square\)
So, let us now turn to our approximation result for the torsion:
Proof of Theorem 5
We show the formula at \(u = 0\) and therefore \(i = 0\):
where we used
at \((*)\) and \(\langle s' \times s'', N\rangle = 0\) at \((\S )\). \(\square\)
Remark 2
We have now a curvature and torsion for a discrete space curve as well as an osculating sphere and osculating circle. In the setting of smooth curves the oriented distance between the center of the osculating circle and the osculating sphere is
as follows immediately from the formula for the center of the osculating sphere, Eq. (15). We can therefore define a discrete version of \(\kappa '\) as that value that fulfills the equation above by replacing smooth notions by their discrete counterparts.
6 Geometric properties
Any quadrilateral is Möbius equivalent to a parallelogram, and especially Möbius equivalent to a parallelogram a, b, c, d with \(a = 0\), \(b = 1\) and \(b - a = d - c\). See Fig. 7 (left). Its cross-ratio is
If f denotes the intersection point of the diagonals then we obtain
and therefore
This together with Lemma 1 immediately implies the following Lemma.
Lemma 17
Let a, b, c, d be a parallelogram with \(b - a = d - c\). Then the insertion point f(a, b, c, d) corresponds to the intersection point of the diagonals.
Furthermore, in the case of a parallelogram the circumcircles of a, b, c and b, d, c are congruent. Therefore, one of their two bisector circles is the straight line containing the diagonal bc (see Fig. 7 right). The same holds for the other pair of circumcircles a, b, d and a, d, c. Since Möbius transformations do not change the intersection angles of curves we obtain the following lemma.
Lemma 18
The insertion point f(a, b, c, d) is one of the intersection points of the bisector circles of the pairs of circumcircles mentioned above.
Consequently, the discrete curvature circle can be constructed with a compass and a straight edge. In the following lemma we mention three special cases:
Lemma 19
-
(i)
Let a, b, c, d be a parallelogram with \(b - a = c - d\). Then the four points \(p_{ab}, p_{bc}, p_{cd}, p_{da}\) form a square (see Fig. 8 left).
-
(ii)
Let a, b, c, d be a parallelogram with \(b - a = d - c\). Then \(p_{da} = \infty\) and the curvature circle degenerates to a straight line (see Fig. 8 center).
-
(iii)
Let a, b, c, d be symmetric as in Fig. 8 (right). Then \(p_{ab} = \infty\) and the curvature circle degenerates to a straight line. Thus, this arrangement of points can be seen as a discrete analogue of a cusp on a curve.
Proof
ad (i): The rotational symmetry by an angle of \(\pi\) of the parallelogram implies that the points \(p_{ab}\) and \(p_{cd}\) are opposite of the center of rotation as well as \(p_{bc}\) and \(p_{da}\). A quadrilateral with this property and with a cross-ratio of \(-1\) (Theorem 1) must be a square.
ad (ii) and (iii): It follows from simple computations that \(p_{da}\) and \(p_{ab}\), respectively, vanish to \(\infty\). Circles containing this point are straight lines. \(\square\)
7 Experimental results
We conducted convergence tests which empirically verify our claims. For this, we used the following seven curves (see Fig. 9 for their depiction):
-
(i)
The epitrochoid \(c_1(t) = (6 \cos (t) - 3 \cos (6t), 6 \sin (t) - 3 \sin (6t))\) (the curve is planar).
-
(ii)
A planar logarithmic spiral \(c_2(t) = e^{at} (\cos (t), \sin (t))\), where we use \(a = 0.5\).
-
(iii)
A helix \(c_3(t) = (\cos (at), \sin (at), b t)\) where we use \(a=4\) and \(b=0.5\).
-
(iv)
A helical spiral \(c_4(t) = (e^{at} \cos (4t), e^{at} (\sin (4t), bt)\) where we use \(a=0.4\) and \(b=4\).
-
(v)
A toroidal “coil” \(c_5(t) = ((a + \sin (bt)) \cos (t), (a + \sin (bt)) \sin (t), \cos (bt))\) where we use \(a=2.5\) and \(b=20\).
-
(vi)
The trefoil knot \(c_6(t) = (\sin (t) + 2 \sin (2t), \cos (t) - 2 \cos (2t), -\sin (3t))\).
-
(vii)
Viviani’s curve [8] \(c_7(t) = (a (1 + \cos (2t)), a \sin (2t), 2 a \sin (t))\) with \(a=5\).
For all examples, we used \(t \in [0, 2\pi ]\). For simplicity, we assumed all curves are open, and disregarded boundaries, that is, we do not compute edge midpoint and consequent quantities for edges adjacent to boundary vertices. The curves are not assumed to be arc-length parametrized.
For any given resolution step \(\varepsilon\), we created a discrete curve by sampling every curve \(c_i(t)\), as explained in Theorem 4. Then, we compute the discrete curvature \(\kappa\), the discrete torsion \(\tau\), and the discrete Frenet frame \(\left\{ T,N,B\right\}\) for every midedge point. We measure the approximation error to the corresponding quantities of the smooth curve at the sampled points by the \(l^{\infty }\) norm. This produces the maximum absolute deviation of every discrete quantity from the ground truth. In case of vector quantities (like the Frenet frame), we do so per component. We use \(\varepsilon = 0.1 \times 1.1^l\), where \(l \in \mathbb {N}\) runs between 0 and \(-15\) in steps of \(-1\), which creates gradual refinement. To measure convergence rate, we perform linear regression on the logarithmic scale of \(\varepsilon\) vs. \(l^{\infty }\) error per curve. The graphs of errors can be seen in Fig. 10, and the convergence rates are in Table 1. It is evident that we are able to reproduce the quadratic convergence rates that we prove in this paper. Note that we do not measure torsion for \(c_1(t)\) and \(c_2(t)\) as they are planar. Another outlier is the normal error for \(c_3(t)\) which is already initially very low (due to the high regularity of the helix), and thus we only see the effect of numerical noise.
References
Bobenko, A.I., Pinkall, U.: Discrete isothermic surfaces. J. Reine Angew. Math. 475, 187–208 (1996)
Bobenko, A.I., Suris, Yu.B.: Discrete differential geometry. Integrable structure, Graduate Studies in Mathematics, vol. 98. American Mathematical Society (2008)
Boutin, M.: Numerically invariant signature curves. Int. J. Comput. Vis. 40(3), 235–248 (2000)
Bücking, U.: $C^\infty $-convergence of conformal mappings for conformally equivalent triangular lattices. Results Math. 73(2), Art. 84, 21 (2018)
Carroll, D., Hankins, E., Kose, E., Sterling, I.: A survey of the differential geometry of discrete curves. Math. Intell. 36(4), 28–35 (2014)
Coxeter, H.S.M.: The Real Projective Plane, 2nd edn. Cambridge University Press, New York (1960)
do Carmo, M.P.: Differential Geometry of Curves and Surfaces. Prentice-Hall, Inc., Englewood Cliffs, N.J. (1976). Translated from the Portuguese
Gray, A., Abbena, E., Salamon, S.: Modern Differential Geometry of Curves and Surfaces with Mathematica, Studies in Advanced Mathematics, 3rd edn. Chapman & Hall/CRC, Boca Raton (2006)
Hoffmann, T.: Discrete differential geometry of curves and surfaces, COE Lecture Note, vol. 18. Kyushu University, Faculty of Mathematics, Fukuoka (2009). Math-for-Industry (MI) Lecture Note Series
Langer, T., Belyaev, A.G., Seidel, H.P.: Asymptotic analysis of discrete normals and curvatures of polylines. In: Proceedings of the 21st Spring Conference on Computer Graphics, SCCG ’05, pp. 229–232. ACM, New York, NY, USA (2005)
Müller, C.: Discretizations of the hyperbolic cosine. Beitr. Algebra Geom. 54(2), 509–531 (2013). https://doi.org/10.1007/s13366-012-0097-3
Pottmann, H., Wallner, J., Huang, Q., Yang, Y.L.: Integral invariants for robust geometry processing. Comput. Aided Geom. Des. 26, 37–60 (2009). https://doi.org/10.1016/j.cagd.2008.01.002
Sauer, R.: Differenzengeometrie. Springer, Berlin (1970)
Sullivan, J.M.: Curves of finite total curvature. In: Discrete differential geometry, Oberwolfach Semin., vol. 38, pp. 137–161. Birkhäuser, Basel (2008)
Vaxman, A., Müller, C., Weber, O.: Regular meshes from polygonal patterns. ACM Trans. Graph. 36(4), 113:1–113:15 (2017). Proc. SIGGRAPH
Vaxman, A., Müller, C., Weber, O.: Canonical Möbius subdivision. ACM Trans. Graphics 37(6), 227:1–227:15 (2018). Proc. SIGGRAPH ASIA
Acknowledgements
The first author gratefully acknowledges the support of the Austrian Science Fund (FWF) through projects P 29981 and I 4868-N.
Funding
Open Access funding provided by TU Wien (TUW).
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.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Müller, C., Vaxman, A. Discrete curvature and torsion from cross-ratios. Annali di Matematica 200, 1935–1960 (2021). https://doi.org/10.1007/s10231-021-01065-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10231-021-01065-x