Planar and Toroidal Morphs Made Easier

We present simpler algorithms for two closely related morphing prob-lems, both based on the barycentric interpolation paradigm introduced by Floater and Gotsman, which is in turn based on Floater’s asymmetric extension of Tutte’s classical spring-embedding theorem. First, we give a very simple algorithm to construct piecewise-linear morphs between planar straight-line graphs. Our algorithm entirely avoids the classical edge-collapsing strategy dating back to Cairns; instead, in each morphing step, we interpolate the pair of weights associated with a single edge. Specifically, given equivalent straight-line drawings Γ0 and Γ1 of the same 3-connected planar graph G, with the same convex outer face, we construct a morph from Γ0 to Γ1 that consists of O(n) unidirectional morphing steps, in O(n1+ω/2) time, where n is the number of vertices and ω is the matrix multiplication constant. Second, we describe a natural extension of barycentric interpolation to geodesic graphs on the flat torus. Barycentric interpolation cannot be applied directly in this setting, because the linear systems defining intermediate vertex positions are not nec-essarily solvable. We describe a simple scaling strategy that circumvents this issue. Computing the appropriate scaling requires O(nω/2) time, after which we can compute the drawing at any point in the morph in O(nω/2) time. Our algorithm is considerably simpler than the recent algorithm of Chambers, Erickson, Lin, and Parsa, and pro-duces more natural morphs. Our techniques also yield a simple proof of a conjecture of Connelly, Henderson, Ho, and Starbird for geodesic torus triangulations. © 2023, Brown University. All rights reserved.