arxiv: v1 [cs.cg] 31 Aug 2017

Transcription

1 Lombardi Drawings of Knots and Links Philipp Kindermann 1, Stephen Koboro 2, Maarten Löffler 3, Martin Nöllenbrg 4, André Schlz 1, and Birgit Vogtenhber 5 arxi: [cs.cg] 31 Ag FernUniersität in Hagen, Germany, firstname.lastname@fernni-hagen.de 2 Uniersity of Arizona, Tcson, AZ, US, koboro@cs.arizona.ed 3 Uniersiteit Utrecht, the Netherlands, m.loffler@.nl 4 TU Wien, Vienna, Astria, noellenbrg@ac.twien.ac.at 5 Graz Uniersity of Technology, Astria, bogt@ist.tgraz.at Abstract. Knot and link diagrams are projections of one or more 3- dimensional simple closed cres into lr 2, sch that no more than two points project to the same point in lr 2. These diagrams are drawings of 4-reglar plane mltigraphs. Knots are typically smooth cres in lr 3, so their projections shold be smooth cres in lr 2 with good continity and large crossing angles: exactly the properties of Lombardi graph drawings (defined by circlar-arc edges and perfect anglar resoltion). We show that seeral knots do not allow plane Lombardi drawings. On the other hand, we identify a large class of 4-reglar plane mltigraphs that do hae Lombardi drawings. We then stdy two relaxations of Lombardi drawings and show that eery knot admits a plane 2-Lombardi drawing (where edges are composed of two circlar arcs). Frther, eery knot is near-lombardi, that is, it can be drawn as Lombardi drawing when relaxing the anglar resoltion reqirement by an arbitrary small anglar offset ε, while maintaining a 180 angle between opposite edges. Fig. 1: Hand-made drawings of knots from the books of Rolfsen [15] (left), Liingston [14] (middle), and Kaffman [12] (right). 1 Introdction A knot is an embedding of a simple closed cre in 3-dimensional Eclidean space lr 3. Similarly, a link is an embedding of a collection of simple closed cres in lr 3. A drawing of a knot (link) (also known as knot diagram) is a projection of the knot (link) to the Eclidean plane lr 2 sch that for any point of lr 2, at most two points of the cre(s) are mapped to it [7, 15, 16]. From a graph drawing perspectie, drawings of knots and links are drawings of 4-reglar plane

2 2 P. Kindermann et al. mltigraphs that contain neither loops nor ct ertices. Likewise, eery 4-reglar plane mltigraph withot loops and ct ertices can be interpreted as a link. Unless specified otherwise, we assme that a mltigraph has no self-loops or ct ertices. In this paper, we address a qestion that was recently posed by Benjamin Brton: Gien a drawing of a knot, how can it be redrawn nicely withot changing the gien topology of the drawing? We do know what a drawing of a knot is, bt what is meant by a nice drawing? Seeral graphical annotations of knots and links as graphs hae been proposed in the knot theory literatre, bt most of the illstrations are hand-drawn; see Fig. 1. When stdying these drawings, a few desirable featres become apparent: (i) edges are typically drawn as smooth cres, (ii) the anglar resoltion of the nderlying 4-reglar graph is close to 90, and (iii) the drawing preseres the continity of the knot, that is, in eery ertex of the nderlying graph, opposite edges hae a common tangent. There already exists a graph drawing style that flfills the reqirements aboe: a Lombardi drawing of a (mlti-)graph G = (V, E) is a drawing of G in the Eclidean plane with the following properties: 1. The ertices are represented as distinct points in the plane 2. The edges are represented as circlar arcs connecting the representations of their end ertices (and not containing the representation of any other ertex); note that a straight-line segment is a circlar arc with radis infinity. 3. Eery ertex has perfect anglar resoltion, i.e., its incident edges are eqianglarly spaced. For knots and links this means that the angle between any two consectie edges is 90. A Lombardi drawing is plane if none of its edges intersect. Note that we are particlarly interested in plane Lombardi drawings, since crossings change the topology of the drawn knot. Knot drawing software: Software for generating drawings for knots and links exists. One powerfl package is KnotPlot [16], which proides seeral methods for drawing knot diagrams. It contains a library of oer 1,000 precompted knots and can also generate knot drawings of certain families, sch as tors knots. KnotPlot also proides methods for drawing general knots based on the embedding of the nderlying plane mltigraph. By replacing eery ertex by a 4- cycle, the mltigraph becomes a simple planar 3-connected graph, which is then drawn sing Ttte s barycentric method [18]. In the end, the modifications are reersed and a drawing of the knot is obtained with edges drawn as polygonal arcs. The athor noticed that this method... does not yield pleasing graphs or knot diagrams. In particlar, he noticed isses with ertex and anglar resoltion [16, pg. 102]. Another approach was sed by Emily Redelmeier [1]. Here, eery arc, crossing, and face of the knot diagram is associated with a disk. The drawing is then generated from the implied circle packing as a circlar arc drawing. As a reslt of the constrction, eery edge in the diagram is made of three circlar arcs with common tangents at opposite edges. Since no frther details are gien, it is hard to ealate the effectieness of this approach, althogh as we show in this paper, three circlar arcs per edge are neer needed. A related

3 Lombardi Drawings of Knots and Links 3 drawing style for knots are the so-called arc presentations [6]. An arc presentation is an orthogonal drawing, that is, all edges are seqences of horizontal and ertical segments, with the additional properties that at each ertex the ertical segments are aboe the horizontal segments in the corresponding knot and that each row and colmn contains exactly one horizontal and ertical segment, respectiely. Howeer, these drawings might reqire a large nmber of bends per edge. Lombardi drawings: Lombardi drawings were introdced by Dncan et al. [9]. They showed that 2-degenerate graphs hae Lombardi drawings and that all d-reglar graphs, with d 2 (mod 4), hae Lombardi drawings with all ertices placed along a common circle. Neither of these reslts, howeer, is garanteed to reslt in plane drawings. Dncan et al. [9] also showed that there exist planar graphs that do not hae plane Lombardi drawings, bt restricted graph classes (e.g., Halin graphs) do. In sbseqent work, Eppstein [10, 11] showed that eery (simple) planar graph with maximm degree three has a plane Lombardi drawing. Frther, he showed that a certain class of 4-reglar planar graphs (the medial graphs of polyhedral graphs) also admit plane Lombardi drawings and he presented an example of a 4-reglar planar graph that does not hae a plane Lombardi drawing. A generalization of Lombardi drawings are k-lombardi drawings. Here, eery edge is a seqence of at most k circlar arcs that meet at a common tangent. Dncan et al. [8] showed that eery planar graph has a plane 3-Lombardi drawing. Related to k-lombardi-drawings are smooth-orthogonal drawings of complexity k [4]. These are plane drawings where eery edge consists of a seqence of at most k qarter-circles and axis-aligned segments that meet smoothly, edges are axis-aligned (emanate from a ertex either horizontally or ertically), and no two edges emanate in the same direction. Note that in the special case of 4-reglar graphs, smooth-orthogonal drawings of complexity k are also plane k-lombardi drawings. Or Contribtions: The main qestion we stdy here is motiated by the application of the Lombardi drawing style to knot and link drawings: Gien a 4-reglar plane mltigraph G withot loops and ct ertices, does G admit a plane Lombardi drawing with the same combinatorial embedding? In Sect. 2 we start with some positie reslts on extending a plane Lombardi drawing, as well as composing two plane Lombardi drawings. In Sect. 3, by extending the reslts of Eppstein [10,11], we show that a large class of mltigraphs, inclding 4-reglar polyhedral graphs, does hae plane Lombardi drawings. Unfortnately, there exist seeral small knots that do not hae a plane Lombardi drawing. Section 4 discsses these cases bt also lists a few positie reslts for small examples. In Sect. 5, we show that eery 4-reglar plane mltigraph has a plane 2-Lombardi drawing. In Sect. 6, we show that eery 4-reglar plane mltigraph can be drawn with non-crossing circlar arcs, so that the perfect anglar resoltion criterion is iolated only by an arbitrarily small ale ε, while maintaining that opposite edges hae common tangents.

4 4 P. Kindermann et al. 2 General Obserations If a knot or a link has an embedding with minimm nmber of ertices that admits a plane Lombardi drawing, we call it a plane Lombardi knot (link). We frther call the property of admitting a plane Lombardi drawing plane Lombardiness. If two ertices in a plane Lombardi drawing of a knot are connected by a pair of mlti-edges, we denote the face enclosed by these two edges as a lens. There exist a nmber of operations that maintain the plane Lombardiness of a 4-reglar mltigraph. Two knots A and B can be combined by ctting one edge of each of them open and gling pairwise the loose ends of A with the loose ends of B. This operation is known as a knot sm A + B. Knots that cannot be decomposed into a sm of two smaller knots are known as prime knots. By Schbert s theorem, eery knot can be niqely decomposed into prime knots [17]. The smallest prime knot is the trefoil knot with three crossings or ertices; see Fig. 1(right). Rolfsen s knot table 1 lists all prime knots with p to ten ertices. The Alexander-Briggs-Rolfsen notation [3, 15] is a well established notation that organizes these knots by their ertex nmber and a conting index, e.g., the trefoil knot 3 1 is listed as the first (and only) knot with three ertices. Theorem 1. Let A and B be two 4-reglar mltigraphs with plane Lombardi drawings. Let a be an edge of A and b an edge of B. Then the knot sm A + B, obtained by connecting A and B along edges a and b, admits a plane Lombardi drawing. Sketch of Proof. The idea of the composition is sketched in Fig. 2. We first apply Möbis transformations, rotations, and translations to the two drawings so that edges a and b can be aligned along a circle with infinite radis. This can be done sch that the drawings of A and B do not intersect after remoing a and b. We can now reconnect the two drawings into a single plane Lombardi drawing by introdcing two edges c and d along the straight line. Another operation that preseres the plane Lombardiness is lens mltiplication. Let G = (V, E) be a 4-reglar plane mltigraph with a lens between two ertices and. A lens mltiplication of G is a 4-reglar plane mltigraph that is obtained by replacing the lens between and with a chain of lenses. Lemma 1. Let G = (V, E) be a 4-reglar plane mltigraph with a plane Lombardi drawing Γ. Then, any lens mltiplication G of G also admits a plane Lombardi drawing. Sketch of Proof. Let f be a lens in Γ spanned by two ertices and as shown in Fig. 3. We draw a bisecting circlar arc b that splits the angles at and into two 45 angles. Now we can draw any chain of lenses inside f by placing the additional ertices on b. The reslting drawing is a plane Lombardi drawing. We will se the following property seeral times throghot the paper. 1

5 Lombardi Drawings of Knots and Links 5 a A a + b B b d A = c B d p e 1 e 2 b d d w Fig. 2: Adding two plane Lombardi drawings of 4-reglar mltigraphs. Fig. 3: Sbdiiding a lens between and by a new ertex p. Fig. 4: Placement circle for neighbor w of and in a 4-reglar graph. Property 1 (Property 2 in [8, 9]). Let and be two ertices with gien positions that hae a common, nplaced neighbor w. Let d and d be two tangent directions and let θ be a target angle. Let C be the locs of all positions for placing w so that (i) the edge (, w) is a circlar arc leaing in direction d, (ii) the edge (, w) is a circlar arc leaing in direction d, and (iii) the angle formed at w is θ. Then C is a circle, the so-called placement circle of w. Dncan et al. [8] frther specify the radis and center of the placement circle by the inpt coordinates and angles. For the special case that the two tangent directions d and d are symmetric with respect to the line throgh and, and that the angle θ is 90 or 270, the corresponding placement circle is sch that its tangent lines at and form an angle of 45 with the arc directions d and d. In particlar, the placement circle bisects the right angle between d (resp. d ) and its neighboring arc direction. Fig. 4 illstrates this sitation. 3 Plane Lombardi Drawings ia Circle Packing Recall that polyhedral graphs are simple planar 3-connected graphs, and that those graphs hae a niqe (plane) combinatorial embedding. The (plane) dal graph M of a plane graph M has a ertex for eery face of M and an edge between two ertices for eery edge shared by the corresponding faces in M. In the classic drawing D(M, M ) of a primal-dal graph pair (M, M ), eery ertex of M lies in its corresponding face of M and ice ersa, and eery edge of M intersects exactly its corresponding edge of M. Hence, eery cell of D(M, M ) has exactly two sch edge crossings and exactly one ertex of each of M and M on its bondary. The medial graph of a primal-dal graph pair (M, M ) has a ertex for eery crossing edge pair in D(M, M ) and an edge between two ertices wheneer they share a cell in D(M, M ); see Fig. 5a. Eery cell of the medial graph contains either a ertex of M or a ertex of M and eery edge in the medial graph is incident to exactly one cell in D(M, M ). Eery 4-reglar plane mltigraph G can be interpreted as the medial graph of some plane graph M and its dal M, where both graphs possibly contain mltiedges. If G contains no loops and ct ertices, then neither M nor M contains

6 6 P. Kindermann et al. d(g) l(g) c(g) d (g) d 2(g) e f e f 1 f 2 d 1(g) (a) (b) (c) Fig. 5: (a) (b) Modifications de to an edge addition and (c) a primal-dal circle packing. The medial graph G is drawn solid, the primal M is drawn dotted, and the dal M is drawn dashed. The shaded area is the lens region l(g). loops. Eppstein [10] showed that if M (and hence also M ) is polyhedral, then G admits a plane Lombardi drawing. We show next how to extend this reslt to a larger graph class. We only gie a short sketch of the proof here. The fll proof, as well as an example of the algorithm is in Appendix B. Theorem 2. Let G = (V, E) be a biconnected 4-reglar plane mltigraph and let M and M be the primal-dal mltigraph pair for which G is the medial graph. If one of M and M is simple, then G admits a plane Lombardi drawing presering its embedding. Sketch of Proof. Assme w.l.o.g. that M is simple. If M (and hence also M ) is polyhedral, then G admits a plane Lombardi drawing Γ by Eppstein [10]. Moreoer, Γ is embedding-presering (p to Möbis transformation), as the combinatorial embedding of M is niqe (p to homeomorphism on the sphere). If M is not 3-connected, we proceed in three steps. First, we agment M to a polyhedral graph M p by iteratiely adding p edges (any added edge splits a face of size at least for into two faces of size at least three). Dring this process, we also iteratiely modify the dal graph and the medial graph as shown in Fig. 5a b. Second, we apply Eppstein s reslt to obtain a primal-dal circle packing of M p and M p, together with a Lombardi drawing Γ p of the medial graph G p ; see Fig. 5c. Finally, we reert the agmentation process from the first step by iteratiely changing the plane Lombardi drawing Γ p of G p to a plane Lombardi drawing Γ of G. A main ingredient for this last step is the following: In the primal-dal circle packing of M p and M p, eery edge g of Γ p lies in a region l(g) that is bonded by a primal and a dal circle. This region l(g) is interior-disjoint with the region l(g ) of any other edge g of Γ p. When remoing an edge from the primal graph, a ertex is remoed from the Lombardi drawing and the for incident edges are replaced by two edges connecting the non-common endpoints of the for edges. We show how to draw each new edge g that replaces g 1 and g 2

7 Lombardi Drawings of Knots and Links 7 g 2 g g g 1 g 2 g 1 (a) (b) Fig. 6: Two examples of a lens region l(g) reslting from l(g 1 ) and l(g 2 ): (a) conex and (b) reflex. The lens regions of g 1 and g 2 are drawn as shaded areas, while the one of g is the cross-hatched region. in a way that again has a niqely assigned region l(g) that is interior-disjoint with the regions of all other edges; see Fig. 6 for a sketch. We remark that this reslt is not tight: there exist 4-reglar plane mltigraphs whose primal-dal pair M and M contain parallel edges that still admit plane Lombardi drawings, e.g., knots 8 12, 8 14, 8 15, 8 16 ; see Fig. 17 in Appendix C. We now proe that 4-reglar polyhedral graphs are medial graphs of a simple primal-dal pair. Lemma 2. Let G = (V, E) be a 4-reglar polyhedral graph and let M and M be the primal-dal pair for which G is the medial graph. If there is a mlti-edge in M or in M, then the corresponding ertices of G either hae a mlti-edge between them or they form a separation pair of G. Proof. W.l.o.g., assme that there are two edges between ertices f and g in M. Let and be the ertices of G that these two edges pass throgh; see Fig. 7. The ertices f and g of M correspond to faces in the embedding of G that both contain and. Hence, the remoal of and from G disconnects G into two parts: the part inside the area spanned by the two edges between f and g and the part otside this area. Both and hae two edges in both areas, so either there is a mlti-edge between and, or there are ertices in both parts, which makes, a separation pair of G. Lemma 2 and Theorem 2 immediately gie the following theorem. Theorem 3. Let G = (V, E) be a 4-reglar polyhedral graph. Then G admits a plane Lombardi drawing. 4 Positie and Negatie Reslts for Small Graphs We next consider all prime knots with 8 ertices or less. We compte plane Lombardi drawings for those that hae it and arge that sch drawings do not exists for the others. We start by showing that no knot with a K 4 sbgraph is plane Lombardi.

8 8 P. Kindermann et al. f f g g (a) (b) Fig. 7: If there is a mlti-edge between ertices f and g in the primal, then there is a mlti-edge (, ) or a separation pair, in the medial. Lemma 3. Eery 4-reglar plane mltigraph G that contains K 4 as a sbgraph does not admit a plane Lombardi drawing. Proof. Let a, b, c, d be the ertices of the K 4. Eery plane embedding of K 4 has a ertex that lies inside the cycle throgh the other 3 ertices; let d be this ertex. Since d has degree 4, it has another edge to either one of a, b, c, or to a different ertex. In the former case, assme that there is a mlti-edge between c and d. In the latter case, by 4-reglarity, there has to be another ertex of a, b, c that is connected to a ertex inside the cycle throgh a, b, c; let c be this ertex. In both cases, c has two edges that lie inside the cycle throgh a, b, c. Assme that G has a Lombardi drawing. Since Möbis transformations do not change the properties of a Lombardi drawing, we may assme that the edge (a, b) is drawn as a straight-line segment as in Fig. 8b. Since both c and d are neighbors of a and b, there are two corresponding placement circles by Property 1. In fact, since any two edges of a Lombardi drawing of a 4-reglar graph mst enclose an angle of 90 and since a and b hae aligned tangents de to being neighbors themseles, the two placement circles coincide and a sitation as shown in Fig. 8 arises. In particlar, this means that in any Lombardi drawing of G the for ertices mst be co-circlar. It is easy to see that we cannot draw the missing circlar arcs connecting c and d: any sch arc mst either lie completely inside or completely otside of the placement circle. Yet, the stbs for the two edges between c and d point inside at c and otside at d. The fll proof for the following lemma is gien in Appendix C. Lemma 4. Knots 4 1 and 5 2 are not plane Lombardi knots. Sketch of Proof. For knot 4 1, the claim immediately follows from Lemma 3. For knot 5 2 (see Fig. 9) we can arge that all fie ertices mst be co-circlar. Unlike knot 4 1 we can geometrically draw all edges of knot 5 2 as Lombardi arcs, see the non-plane drawing in Fig. 9b. Howeer, by careflly considering the smooth chain of arcs a c e d b and their radii, we can proe that this path mst self-intersect in any Lombardi drawing, so the claim follows. As the aboe lemma shows, een ery small knots may not hae a plane Lombardi drawings. Howeer, most knots with a small nmber of crossings are

9 Lombardi Drawings of Knots and Links 9 a b a b d a b d c d c a b c e d e c (a) (b) (a) (b) Fig. 8: Knot 4 1 (left) has no Lombardi drawing. Fig. 9: Knot 5 2 and a non-plane Lombardi drawing. indeed plane Lombardi. In Fig. 17 in Appendix C, we proide plane Lombardi drawings of all knots with p to eight ertices except 4 1 and 5 2. Most of these drawings can actally be obtained sing the techniqes from Sect. 2 and 3. Theorem 4. All prime knots with p to eight ertices other than 4 1 and 5 2 are plane Lombardi knots. Note that Theorem 4 implies that each of these knots has a combinatorial embedding that spports a plane Lombardi drawing. It is not tre, howeer, that any embedding admits a plane Lombardi drawing. In fact, the knot 7 5 has an embedding that cannot be drawn plane Lombardi; see details in Appendix C. Theorem 5. There exists an infinite family of prime knots and links that hae embeddings that do not spport plane Lombardi drawings. 5 Plane 2-Lombardi Drawings of Knots and Links Since not eery knot admits a plane Lombardi drawing, we now consider plane 2-Lombardi drawings; see Fig. 10a for an example. Bekos et al [4] recently introdced smooth orthogonal drawings of complexity k. These are drawings where eery edge consists of a seqence of at most k circlar arcs and axis-aligned segments that meet smoothly with horizontal or ertical tangents, and where at eery ertex, each edge emanates either horizontally or ertically and no two edges emanate in the same direction. For the special case of 4-reglar graphs, eery smooth orthogonal drawing of complexity k is also a plane k-lombardi drawing. Alam et al. [2] showed that eery plane graph with maximm degree 4 can be redrawn as a plane smooth-orthogonal drawing of complexity 2. Their algorithm takes as inpt an orthogonal drawing prodced by the algorithm of Li et al. [13] and transforms it into a smooth orthogonal drawing of complexity 2. We show how to modify the algorithm by Li et al., to compte an orthogonal drawing for a 4-reglar plane mltigraph and then se the algorithm by Alam et al. to transform it into a smooth orthogonal drawing of complexity 2. Details are gien in Appendix D. Theorem 6. Eery biconnected 4-reglar plane mltigraph G admits a plane 2-Lombardi drawing with the same embedding.

10 10 P. Kindermann et al. (a) (b) (c) Fig. 10: Drawings of knot 4 1 which by Lemma 4 does not admit a plane Lombardi drawing. (a) A smooth orthogonal drawing of complexity 2, (b) a different plane 2-Lombardi drawing, and (c) a plane ε-angle Lombardi drawing. 6 Plane Near-Lombardi Drawings Since not all knots admit a plane Lombardi drawing, in this section we relax the perfect anglar resoltion constraint. We say that a knot (or a link) is near- Lombardi if it admits a drawing for eery ε > 0 sch that 1. All edges are circlar arcs, 2. Opposite edges at a ertex are tangent; 3. The angle between crossing pairs at each ertex is at least 90 ε. We call sch a drawing a ε-angle Lombardi drawing. Note that a Lombardi drawing is essentially a 0-angle Lombardi drawing. For example, the knot 4 1 does not admit a plane Lombardi drawing, bt it admits a plane ε-angle Lombardi drawing, as depicted in Fig. 10c. Let Γ be an ε-angle Lombardi drawing of a 4-reglar graph. If each angle described by the tangents of adjacent circlar arcs at a ertex in Γ is exactly 90 +ε or 90 ε, then we call Γ an ε-reglar Lombardi drawing. Note that any Lombardi drawing is a 0-reglar Lombardi drawing. We first extend some of or reslts for plane Lombardi drawings to plane ε-angle Lombardi drawings. The following Lemma is a stronger ersion of Theorem 2. The fll proof is gien in Appendix E. Lemma 5. Let G = (V, E) be a biconnected 4-reglar plane mltigraph and let M and M be the primal-dal mltigraph pair for which G is the medial graph. If one of M and M is simple, then G admits a plane ε-reglar Lombardi drawing presering its embedding for eery 0 ε < 90. Sketch of Proof. We first direct the edges sch that eery ertex has two incoming opposite edges and two otgoing opposite edges by orienting the edges arond each face that belongs to M in conter-clockwise order. We se the same primal-dal circle packing approach as in Theorem 2 to obtain a drawing of G, bt instead of sing the bisection of the lens region, we draw eery edge with angles 45 + ε/2 and 45 ε/2 arond the sorce ertex in conter-clockwise order and arond the target ertex in clockwise order. Wheneer a ertex is remoed, an incoming and an otgoing edge of it is sbstitted by a new edge between its neighbors, so the angles at the neighbors are compatible and the new edge can inherit the direction of the old edges.

11 Lombardi Drawings of Knots and Links 11 The following Lemmas is a stronger ersion of Lemma 1 and Theorem 1. Since the proofs do not rely on 90 angles, they can be immediately applied to the stronger ersion. A formal proof of Lemma 6 is gien in Appendix E. Lemma 6. Let G = (V, E) be a 4-reglar plane mltigraph with a plane ε-angle Lombardi drawing Γ. Then, any lens mltiplication G of G also admits a plane ε-angle Lombardi drawing. Lemma 7. Let A and B be two 4-reglar plane mltigraphs with plane ε-angle Lombardi drawings. Let a be an edge of A and b an edge of B. Then the composition A + B obtained by connecting A and B along edges a and b admits a plane ε-angle Lombardi drawing. Let G = (V, E) be a 4-reglar plane mltigraph and let x V with edges (x, a), (x, b), (x, c), and (x, d) in conter-clockwise order. A lens extension of G is a 4-reglar plane mltigraph that is obtained by remoing x and its incident edges from G, and adding two ertices and to G with two edges between and and the edges (, a), (, b), (, c), (, d). Informally, that means that a ertex is sbstitted by a lens. Lemma 8. Let G = (V, E) be a 4-reglar plane mltigraph with a plane ε-angle Lombardi drawing Γ. Then, any lens extension of G admits a plane (ε+ε )-angle Lombardi drawing for eery ε > 0. Sketch of Proof. Let x V be the ertex that we want to perform the lens extension on, sch that we get the edges (, a), (, b), (, c), (, d) in the obtained graph G. Let α be the angle between the tangents of (x, a) and (x, b) at x in Γ. Since Γ is a plane ε-angle Lombardi drawing, we hae that α 90 +ε. Frther, the angle between the tangents of (x, c) and (x, d) at x in Γ is also α, while the angles between the tangents of (x, b) and (x, c) at x and between the tangents of (x, d) and (x, a) at x are both 180 α. We apply the Möbis-transformation on Γ that maps the edges (x, a) and (x, d) to straight-line segments and a lies on the same y-coordinate and to the right of x; hence, d lies strictly below x. We aim to place sch that the angle between the arcs (, c) and (, d) is α+λ for some 0 < λ ε, which we will show how to choose later. We hae fixed ports at c and d and a fixed angle α+λ at. According to Property 1, all possible positions of lie on a circle throgh c and d. Note that the circle throgh c, d, and x describes all possible positions of neighbors of c and d with angle α. Since the desired angle gets larger, the position circle for contains a point d on the straight-line edge (x, d) and a point c on the half-line starting from x with the angle of the port sed by the arc (x, c); see Fig. 11. We denote by C λ the circlar arc between c and d on the placement circle of that gies the angle α+λ at. We se the same constrction for to obtain the circlar arc C λ between a and b. Since the drawing of G is plane, there exists some non-empty region in which we can moe x, sch that the arcs (x, a), (x, b), (x, c), (x, d) are drawn with the same ports at a, b, c, d and do not cross any other edge of the drawing. We choose λ as the largest ale with 0 < λ ε sch that the two circlar arcs C and C lie completely inside this region.

12 12 P. Kindermann et al. b b c c x α α + λ C λ a a α + λ C λ d d (a) (b) Fig. 11: The circlar arc C λ between a and b on the placement circles of and the circlar arc C λ between c and d on the placement circles of. Fig. 12: The only biconnected 4- reglar mltigraphs with at most 3 ertices. (a) plane Lombardi and (b) plane ε-angle Lombardi drawings. We show how to find a pair of points on C λ and C λ sch that we can connect them ia a lens in Appendix E Lemma 9. Eery 4-reglar plane mltigraph with at most 3 ertices admits a plane ε-reglar Lombardi drawing for eery 0 ε < 90. Proof. There are only two 4-reglar mltigraphs with at most 3 ertices and each of them has a plane Lombardi drawing as depicted in Fig. 12a. For some 0 < ε < 90, we can obtain a plane ε-reglar Lombardi drawing by simply making the circlar arcs larger or smaller, as depicted in Fig. 12b. We are now ready to present the main reslt of this section. The proof boils down to a large case distinction sing the tools deeloped in the preios discssion. We split the original graph into biconnected components and then se Lemma 9 and 5 as base cases. With the help of lens extensions, lens mltiplications, and knot sms we can combine the near-lombardi drawings of the biconnected graphs to generate an near-lombardi drawing of the original graph. As a conseqence, eery knot is near-lombardi. The fll proof is gien in Appendix E. Theorem 7. Let G = (V, E) be a biconnected 4-reglar plane mltigraph and let ε > 0. Then G admits a plane ε-angle Lombardi drawing. Acknowledgements. Research for this work was initiated at Dagsthl Seminar Applications of Topology to the Analysis of 1-Dimensional Objects which took place in Febrary We thank Benjamin Brton for bringing the problem to or attention and Dylan Thrston for helpfl discssion.

13 Lombardi Drawings of Knots and Links 13 References 1. Knot drawing in Knot Atlas. Drawing_Planar_Diagrams. Accessed: M. J. Alam, M. A. Bekos, M. Kafmann, P. Kindermann, S. G. Koboro, and A. Wolff. Smooth orthogonal drawings of planar graphs. In P. A. and V. A., editors, Proc. 13th Lat. Am. Symp. Theoret. Inform. (LATIN 14), nmber 8392 in LNCS, pages Springer-Verlag Berlin Heidelberg, J. W. Alexander and G. B. Briggs. On types of knotted cres. Ann. Math., 28: , M. A. Bekos, M. Kafmann, S. G. Koboro, and A. Symonis. Smooth orthogonal layots. In W. Didimo and M. Patrignani, editors, Proc. 20th Int. Symp. Graph Drawing (GD 12), olme 7704 of Lectre Notes Compt. Sci., pages Springer, G. R. Brightwell and E. R. Scheinerman. Representations of planar graphs. SIAM J. Discrete Math., 6(2): , P. R. Cromwell. Arc presentations of knots and links. Banach Center Pbl., 42:57 64, P. R. Cromwell. Knots and links. Cambridge Uniersity Press, C. A. Dncan, D. Eppstein, M. T. Goodrich, S. G. Koboro, and M. Löffler. Planar and poly-arc Lombardi drawings. In M. an Kreeld and B. Speckmann, editors, Proc. 19th Int. Symp. Graph Drawing (GD 11), olme 7034 of Lectre Notes Compt. Sci., pages Springer, C. A. Dncan, D. Eppstein, M. T. Goodrich, S. G. Koboro, and M. Nöllenbrg. Lombardi drawings of graphs. J. Graph Algorithms Appl., 16(1):37 83, D. Eppstein. Planar Lombardi drawings for sbcbic graphs. In W. Didimo and M. Patrignani, editors, Proc. 20th Int. Symp. Graph Drawing (GD 12), olme 7704 of Lectre Notes Compt. Sci., pages Springer, D. Eppstein. A Möbis-inariant power diagram and its applications to soap bbbles and planar Lombardi drawing. Discrete Compt. Geom., 52: , L. H. Kaffman. On Knots, olme 115 of Annals of Mathematical Stdies. Princeton Uniersity Press, Y. Li, A. Morgana, and B. Simeone. A linear algorithm for 2-bend embeddings of planar graphs in the two-dimensional grid. Discrete Appl. Math., 81(1 3):69 91, C. Liingston. Knot Theory, olme 24 of The Cars Mathematical Monographs. Mathematical Association of America, D. Rolfsen. Knots and Links. American Mathematical Soc., R. G. Scharein. Interactie Topological Drawing. PhD thesis, Department of Compter Science, The Uniersity of British Colmbia, H. Schbert. Sitzngsbericht. Heidelberger Akad. Wiss., Math.-Natrwiss. Klasse, 3. Abhandlng, W. T. Ttte. How to draw a graph. Proc. London Math. Soc, 13(3): , 1963.

14 14 P. Kindermann et al. A Additional Material for Section 2 Theorem 1. Let A and B be two 4-reglar mltigraphs with plane Lombardi drawings. Let a be an edge of A and b an edge of B. Then the knot sm A + B, obtained by connecting A and B along edges a and b, admits a plane Lombardi drawing. Proof. We first apply a Möbis transformation to the plane Lombardi drawings of A and B so that in the reslting drawings the gien edges a and b are drawn as straight edges passing throgh the point at infinity, i.e., they are complements of line segments on an infinite-radis circle; see Fig. 2. Next, we rotate and align both of these drawings so that edges a and b are collinear and the sbdrawings obtained by remoing edges a and b do not intersect. In the final step, we remoe both a and b and reconnect their ertices by two new edges c and d connecting the two drawings, one being a line segment and the other passing throgh infinity. Since Möbis transformations presere planarity and Lombardiness and or constrction does not introdce any edge crossings, the reslting drawing is a plane Lombardi drawing. Another Möbis transformation may be applied to remoe the edge throgh infinity. Lemma 1. Let G = (V, E) be a 4-reglar plane mltigraph with a plane Lombardi drawing Γ. Then, any lens mltiplication G of G also admits a plane Lombardi drawing. Proof. Let f be a lens in Γ spanned by two ertices and. We denote the two edges bonding the lens as e 1 and e 2. The angle between e 1 and e 2 in both endertices is 90. We define the bisecting circlar arc b of f as the niqe circlar arc connecting and with an angle of 45 to both e 1 and e 2 ; see Fig. 3. Let p be the midpoint of b. If we draw circlar arcs from both and to p that hae the same tangents as e 1 and e 2 in and, then these for arcs meet at p forming angles of 90. Frthermore, each sch arc lies inside lens f and hence does not cross any other arc of Γ. The reslting drawing is ths a plane Lombardi drawing of a 4-reglar mltigraph that is deried from G by sbdiiding the lens f with a new degree-4 ertex. By repeating this constrction inside the new lenses, we can create plane Lombardi drawings that replace lenses by chains of smaller lenses. B Additional Material for Section 3 B.1 Proof of Theorem 2 Theorem 2. Let G = (V, E) be a biconnected 4-reglar plane mltigraph and let M and M be the primal-dal mltigraph pair for which G is the medial graph. If one of M and M is simple, then G admits a plane Lombardi drawing presering its embedding.

15 Lombardi Drawings of Knots and Links 15 Proof. Assme w.l.o.g. that M is simple. If M (and hence also M ) is polyhedral, then G admits a plane Lombardi drawing Γ by Eppstein [10]. It remains to show that Γ preseres the embedding of G. The drawing Γ is constrcted in the following way: Consider a primal-dal circle packing C(M, M ) of (M, M ) which exists de to Brightwell and Schreinerman [5]. The plane Lombardi drawing Γ of G then is essentially the Voronoi diagram of C(M, M ). As the combinatorial embedding of M and M is niqe p to homeomorphism on the sphere, there exists a Möbis transformation τ sch that the circle packing τ(c(m, M )) has the same nbonded face as D(M, M ). Hence, Γ is a plane Lombardi drawing of G that preseres its combinatorial embedding. Now assme that M is not 3-connected. As a first step, we iteratiely extend M = M 0 by adding p edges ntil we obtain a polyhedral graph M p. Dring this process, we also iteratiely adapt the dal graph and the medial graph; see Fig. 13 for an illstration. Let M i+1 be the graph obtained from M i by adding edge e to M i. The edge e splits a face f of M i with at least for incident ertices into two faces f 1 and f 2 with at least three incident ertices each. In M i, the according ertex f is split into two ertices f 1 and f 2. The edges incident to f are partitioned into edges incident to f 1 and f 2 and an additional edge between f 1 and f 2 is added. In G i, the edges inside the face f of M i form a cycle that connects eery pair of edges in M i that is incident along the bondary of f. When e is added, exactly two edges g 1, g 2 of G i are intersected by e. To obtain G i+1, the edges g 1 and g 2 are replaced by for new edges, where each new edge has the new crossing between e and (f 1, f 2) as one endpoint and one of the for endpoints of g 1 and g 2, respectiely, as the other endpoint. In the second step, we apply the reslt of Eppstein [10] to obtain a plane Lombardi drawing Γ p of G p together with a primal-dal circle packing C(M p, M p). Before going into the third step, the iteratie remoal of the edges that were added in the first step, let s consider the strctre obtained from the second step in more detail; see Fig. 13 (bottom right) and Fig. 5c. For an edge g of G p, consider the niqe ertex m(g) M p that lies in a cell of G p incident to g. Note that g has its endpoints on two edges incident to m(g) and adjacent in their order arond m(g). Let these edges be (m(g), m 1 (g)) and (m(g), m 2 (g)), respectiely. Let d(g), d 1 (g), and d 2 (g) be the disks in C(M p ) corresponding to m(g), m 1 (g), and m 2 (g), respectiely. Then in Γ p, the circlar arc c(g) corresponding to g lies in the interior 2 of the disk d(g) and has its endpoints on the toching points of d(g) with d 1 (g) and d 2 (g), respectiely. These toching points are consectie along the bondary of d(g). Frther, there is a disk d (g) in C(M p) whose bondary intersects the bondary of d(g) exactly in the endpoints of c(g). The intersection of d(g) and d (g) contains c(g) in its interior. The circles d(g) and d (g) intersect with right angles and c(g) bisects the angles at both intersections. We call d(g) d (g) the lens region l(g) of g. For any two edges g 1 and g 2 of Γ p, the according lens regions l(g 1 ) and l(g 2 ) are interior-disjoint. The lens regions of the edges incident to the face in Γ p corresponding to m(g) coer the 2 Here, interior is meant w.r.t. the circle packing. Note that a circle cold also be inerted, that is, contain the nbonded face.

16 16 P. Kindermann et al. whole bondary of d(g) and the endpoints of those regions appear in the same cyclic order as the according edges in M p. In the third step, we iteratiely remoe the edges that were added in the first step, by this constrcting a seqence of plane Lombardi drawings Γ i for G i, for i = p 1,..., 0; see Fig. 14 for an example. For any edge g of G i, consider the niqe ertex m(g) M i that lies in a cell of Γ i incident to g, with endpoints on edges (m(g), m 1 (g)) and (m(g), m 2 (g)) of M i, respectiely. Let d(g), d 1 (g), and d 2 (g) be the disks in C(M p ) corresponding to m(g), m 1 (g), and m 2 (g), respectiely, and let c(g) be the circlar arc in Γ i corresponding to g. We keep the following inariants for all edges g of the drawing Γ i : (i) c(g) lies in the disk d(g) and has its endpoints on the toching points of d(g) with d 1 (g) and d 2 (g), respectiely. (ii) There is a disk d (g) whose bondary intersects the bondary of d(g) exactly in d(g) d 1 (g) and d(g) d 2 (g), sch that c(g) bisects one of the two regions d(g) d (g) and d(g) R 2 \ d (g), which we call its lens region l(g). (iii) For any two edges g 1 and g 2 of G i, the lens regions l(g 1 ) and l(g 2 ) are interior-disjoint. (i) The lens regions of the edges incident to the face in D(G i ) corresponding to m(g) coer the whole bondary of d(g) and the endpoints of those regions appear in the same cyclic order as the according edges in D(M i ). Obiosly, those inariants are flfilled by Γ p. Hence, assme that they are also flfilled for Γ i+1, and consider the remoal of the edge e = ( 1, 2 ) from M i+1 to obtain M i. In the medial graph G i+1, the edge e corresponds to for edges sharing the ertex corresponding to e, and there are two niqe faces corresponding to 1 and 2, respectiely. Each of those has two of the edges of G i+1 corresponding to e as consectie edges along the face. Let g 1 and g 2 be those consectie incident edges on the face of G i+1 corresponding to 1. Note that their non-shared endpoints lie on the edges ( 1, 3 ) and ( 1, 4 ), respectiely, where 3 and 4 are consectie in the cyclic order arond 1 in M i. Frther, note that, when remoing e from M i+1, we hae to replace g 1 and g 2 by an edge g connecting their non-shared endpoints. For eery j {1, 2, 3, 4}, let d( j ) be the disk of C(M p ) that corresponds to the ertex j of M i M p (note that with the notation from the inariants, d( 1 ) = d(g 1 ) = d(g 2 )). Next, consider c(g 1 ) and c(g 2 ) in the drawing Γ i+1. By or inariants, c(g 1 ) and c(g 2 ) lie in their lens regions l(g 1 ) and l(g 2 ), which are consectie along the bondary of d( 1 ). The only common point of l(g 1 ) and l(g 2 ) is the toching point of d( 1 ) and d( 2 ). The other endpoints of c(g 1 ) and c(g 2 ) are the toching points d( 1 ) d( 3 ) and d( 1 ) d( 4 ), respectiely. Frther, the bondary of d( 1 ) is completely coered by lens regions which are all pairwise non-intersecting and bonded by circles intersecting d( 1 ) in right angles. We replace c(g 1 ) and c(g 2 ) by the circlar arc c(g) that has as its endpoints at the toching points d( 1 ) d( 3 ) and d( 1 ) d( 4 ) and is tangent to c(g 1 ) and c(g 2 ), respectiely, in its endpoints. We define the lens region l(g) as the niqe region that contains l(g 1 ) and l(g 2 ) and is the intersection of d( 1 ) with the (according side of the) niqe disk d (g) for which d (g) intersects d( 1 ) at a right angle in the endpoints of c(g); see Fig. 6. Note that l(g) does not intersect the interior of any other lens region: for the lens regions otside d( 1 ), this is triial. For the ones inside d( 1 ), it follows

17 Lombardi Drawings of Knots and Links 17 from continos transformation of the bonding circle d (g) to the bonding circle of the other lens. Hence, after repeating the analogos constrction for the two other edges in G i+1 needed to be replaced when remoing e from M i+1, namely the ones that are incident to the face corresponding to 2 in D(G i+1 ), we obtain a plane Lombardi drawing Γ i that again flfills or for inariants, which completes the proof. B.2 Drawing Knots 5 1, 6 2, 7 7, and 8 18 ia Circle Packing m 1 m g m 2 Fig. 13: Extension of the primal graph (dotted) of knot 5 1 to the sqare pyramid and its dal (dashed). The medial graph in the top right is the knot 6 2, the medial graph in the bottom left is the knot 7 7, and the medial graph in the bottom right is the knot 8 18.

18 18 P. Kindermann et al. (a) (b) (c) (d) (e) (f) Fig. 14: (a) A circle packing for the sqare pyramid (dotted) and its dal (dashed), and a plane Lombardi drawing for the medial graph 8 18 (solid); (b) eliminating an edge of the primal and the plane Lombardi drawing of 7 7 ; (c) eliminating an edge of the primal; (d) the plane Lombardi drawing of 6 2 ; (e) eliminating an edge of the primal; (f) the plane Lombardi drawing of 5 1.

19 C Additional Material for Section 4 Lombardi Drawings of Knots and Links 19 Lemma 4. Knots 4 1 and 5 2 are not plane Lombardi knots. Proof. For knot 4 1, the claim immediately follows from Lemma 3. Knot 5 2 again has the property that all fie ertices mst be co-circlar in any Lombardi drawing. To see this, we first consider the for ertices a, b, c, d in Fig. 9. Regardless of the placement of a and b, we obsere that c and d are both adjacent to a and b and need to enclose an angle of 90 in the trianglar face with a and b. This sitation was already discssed in Lemma 3 and yields a circle C containing a, b, c, d; see Fig. 8. The final ertex, e, is adjacent to c and d so that we can determine the placement circle for e with respect to c and d. As we know from Lemma 3, the two arc stbs of d to be connected with e form angles of 45 with C and point otwards. Conersely, the two arc stbs of c form angles of 45 with C and point inwards. If we take any point p on C and draw circlar arcs from the stbs of c and d to p, the for arcs meet at 90 angles in p. These are precisely the angles reqired at ertex e and hence C is in fact the niqe placement circle for e by Property 1. This implies that actally all fie ertices of 5 2 mst be co-circlar in any Lombardi drawing. Unlike knot 4 1, it is geometrically possible to draw all edges as Lombardi arcs; see Fig. 9b. Howeer, as we will show, no plane Lombardi drawing of knot 5 2 exists. By an appropriate Möbis transformation, we may assme that all fie ertices are collinear on a circle of infinite radis. Moreoer, to aoid crossings, the order along the line is either a, b, c, e, d or a, b, d, e, c (modlo cyclic shifts and reersals). Since both cases are symmetric, we restrict the discssion to the first one. As a frther simplification, we initially assme that a and b are placed on the same position sch that the lens between a and b collapses; see Fig. 15. a = b a 1 m 1 a 4 a 2 r 2 m 2 r 1 c m 4 e r 4 r 3 m 3 d a 3 Fig. 15: Knot 5 2 has no plane Lombardi drawing. l This drawing consists of two intertwined 4-cycles, which intersect the line l at angles of 45. We arge that the 4-cycle depicted in Fig. 15 cannot be drawn as a simple cycle withot self intersections. We consider the for centers m 1, m 2, m 3, m 4 of the circlar arcs a 1, a 2, a 3, a 4 and their radii r 1, r 2, r 3, r 4.

20 20 P. Kindermann et al. 5 2 L 6 a 1 7 5? (a) (b) (c) (d) Fig. 16: A family of non-lombardi knots and links. De to the fact that adjacent arcs meet on l at an angle of 45 and hae the same tangent, the for centers form the corners of a rectangle R with side lengths r 1 + r 2 and r 3 + r 2. We can frther derie that r 4 r 3 = r 1 + r 2. Let δ be the length of a diagonal of R. For the arcs a 1 and a 3 to be disjoint, we reqire δ > r 1 + r 3. For a 2 and a 4 to be disjoint, we reqire δ < r 4 r 2. Bt since r 4 r 2 = r 1 + r 3, this is impossible and the 4-cycle mst self-intersect. Finally, if we moe b by some ε > 0 away from a and towards c, this will only decrease the radis r 4 and ths introdce proper intersections in the drawing. Ths, knot 5 2 has no plane Lombardi drawing. Theorem 5. There exists an infinite family of prime knots and links that hae embeddings that do not spport plane Lombardi drawings. Proof. Consider again the knot 5 2 (Fig. 16a). By Lemma 4, it has no Lombardi drawing. We claim that if we dplicate the bottom ertex and detach the two copies completely, the reslting graph (sing for stbs to ensre the correct anglar resoltion) still has no plane Lombardi drawing (Fig. 16b). As a reslt, we can constrct an infinite family of forms of knots and links withot plane Lombardi drawings. The first two smallest members of this family are the link L 6 a 1, consisting of two interlinked figre-8 s (Fig. 16c), and the knot 7 5 (Fig. 16d). Note, howeer, that 7 5 has a different embedding that does hae a plane Lombardi drawing; see Fig. 17.

21 Lombardi Drawings of Knots and Links Fig. 17: Plane Lombardi drawings of all prime Lombardi knots p to 8 ertices.

22 22 P. Kindermann et al. D Omitted Proofs from Section 5 Theorem 6. Eery biconnected 4-reglar plane mltigraph G admits a plane 2-Lombardi drawing with the same embedding. Proof. The algorithm of Alam et al. [2] takes as inpt an orthogonal drawing prodced by the algorithm of Li et al. [13] and transforms it into a smooth orthogonal drawing of complexity 2. The drawings by Li et al. hae the property that eery edge consists of at most 3 segments (except at most one edge that has 4 segments), and it contains no S-shapes, that is, it contains no edge that consists of 3 segments where the bends are in opposite direction. To show this theorem, we only hae to show that we can apply the algorithm of Li et al. to 4-reglar plane mltigraphs to prodce a drawing with the same property. Li et al. first choose two ertices s and t and compte an st-order of the inpt graph. An st-order is an ordering (s = 1, 2,..., n = t) of the ertices sch that eery j (2 < j < n 1) has neighbors i and k with i < j < k. We can obtain an st-order for a mltigraph by remoing any dplicate edges. Li et al. then direct all edges according to the st-order from a ertex with lower st-nmber to a ertex with higher st-nmber. According to the rotation system implied by the embedding of the inpt graph, Li et al. then assign a port to eery edge arond a ertex sch that eery ertex (except t) has an otgoing edge at the top port, eery ertex (except s) has an incoming edge at the top port, eery ertex has an otgoing edge at the right port if and only if it has at least 2 otgoing edges, and eery ertex has an incoming edge at the left port if and only if it has at least 2 incoming edges. They frther make sre the edge that ses the bottom port at s is incident to the ertex r with st-nmber 2, and that the edge (s, t), if it exists, ses the left port at s and the top port at t; this edge is the only one drawn with 4 segments, bt can still be transformed into a smooth orthogonal edge of complexity 2 by Alam el al.. They place the ertices s and r on the y-coordinate 2 and eery other ertex on the y-coordinates eqal to their st-nmber. The shape of the edges is then implied by the assigned ports at their incident ertices. By placing ertices that share an edge with a bottom port and a top port aboe each other, there can be no S-shapes with two ertical segments, bt there can still be S-shapes with two horizontal segments if an edge ses a left port and a right port. To eliminate these S-shapes, the consider seqences of S-shapes, that is, paths in the graphs that are drawn only with S-shapes, and moe the ertices ertically sch that they all lie on the same y-coordinate. Up to the elimination of S-shapes, eery step of the algorithm can immediately applied to mltigraphs. We choose s and t as ertices on the oter face of the gien embedding sch that the edge (s, t) exists. We claim that then no mlti-edge can be drawn as an S-shape. Let and be two ertices in G with at least two edges e 1 and e 2 between them. W.l.o.g., let hae a lower st-nmber than. Then both e 1 and e 2 are directed from to. If = s and = r, then both ertices are placed on the same y-coordinate, so there can be no S-shape between them. If = s and = t, then there is an edge that ses the left port at and the top port at ; since all