Related papers: Isotopic Equivalence from Bezier Curve Subdivision
For Bezier curves, subdivision algorithms create control polygons as piecewise linear (PL) approximations that converge in terms of Hausdorff distance. We prove that the exterior angles of control polygons under subdivision converge to 0 at…
A set of control points can determine a Bezier surface and a triangulated surface simultaneously. We prove that the triangulated surface becomes homeomorphic and ambient isotopic to the Bezier surface via subdivision. We also show that the…
The preservation of ambient isotopic equivalence under piecewise linear (PL) approximation for smooth knots are prominent in molecular modeling and simulation. Sufficient conditions are given regarding: (1) Hausdorff distance, and (2) a sum…
Properties of a parametric curve in R^3 are often determined by analysis of its piecewise linear (PL) approximation. For Bezier curves, there are standard algorithms, known as subdivision, that recursively create PL curves that converge to…
We prove algebraic analogues of the facts that a curve on a surface with self-intersection number zero is homotopic to a cover of a simple curve, and that two simple curves on a surface with intersection number zero can be isotoped to be…
The control polygon of a Bezier curve is well-defined and has geometric significance---there is a sequence of weights under which the limiting position of the curve is the control polygon. For a Bezier surface patch, there are many possible…
The Epstein-Baer theory of curve isotopies is basic to the remarkable theorem that homotopic homeomorphisms of surfaces are isotopic. The groundbreaking work of R. Baer was carried out on closed, orientable surfaces and extended by D. B. A.…
Farin proposed a method for designing Bezier curves with monotonic curvature and torsion. Such curves are relevant in design due to their aesthetic shape. The method relies on applying a matrix M to the first edge of the control polygon of…
B\'ezier splines are widely available in various systems with the curves and surface designs. In general, the B\'ezier spline can be specified with the B\'ezier curve segments and a B\'ezier curve segment can be fitted to any number of…
We consider unbounded curves without endpoints. Isomorphism is equivalence up to translation. Self-avoiding plane-filling curves cannot be periodic, but they can satisfy the local isomorphism property: We obtain a set $\Omega $ of coverings…
We prove two theorems about homotopies of curves on 2-dimensional Riemannian manifolds. We show that, for any epsilon > 0, if two simple closed curves are homotopic through curves of bounded length L, then they are also isotopic through…
We show that a Busemann space $X$ which is covered by parallel bi-infinite geodesics is homeomorphic to a product of another Busemann space $Y$ and the real line. We also show that a semi-simple isometry on $X$ preserving the foliation by…
For applications in computing, Bezier curves are pervasive and are defined by a piecewise linear curve L which is embedded in R^3 and yields a smooth polynomial curve C embedded in R^3. It is of interest to understand when L and C have the…
We prove that every self-homeomorphism on the inverse limit space of a quadratic map is isotopic to some power of the shift map.
Given a complex quasiprojective curve $B$ and a non-isotrivial family $\mathcal{E}$ of elliptic curves over $B$, the $p$-torsion $\mathcal{E}[p]$ yields a monodromy representation $\rho_\mathcal{E}[p]:\pi_1(B)\rightarrow…
This paper presents the first purely numerical (i.e., non-algebraic) subdivision algorithm for the isotopic approximation of a simple arrangement of curves. The arrangement is "simple" in the sense that any three curves have no common…
Approximating complex curves with simple parametric curves is widely used in CAGD, CG, and CNC. This paper presents an algorithm to compute a certified approximation to a given parametric space curve with cubic B-spline curves. By…
In this paper, we propose a closed-form solution to the inverse problem in interpolation with periodic uniform B-spline curves. This solution is obtained by modifying the one we have established to a similar problem with relaxed uniform…
We prove an equidistribution result for totally geodesic submanifolds in a compact locally symmetric space. In the case of Hermitian locally symmetric spaces, this gives a convergence theorem for currents of integration along totally…
We prove an equidistribution result for iterated preimages of curves by a large class of rational maps $f:\mathbb{CP}^2\dashrightarrow\mathbb{CP}^2$ that cannot be birationally conjugated to algebraically stable maps. The maps, which…