arxiv:math/ v2 [math.co] 28 Feb 2006

Transcription

1 Chord Digrms nd Guss Codes for Grphs rxiv:mth/ v2 [mth.co] 28 Feb 2006 Thoms Fleming Deprtment of Mthemtics University of Cliforni, Sn Diego L Joll, C tfleming@mth.ucsd.edu bstrct lke Mellor Mthemtics Deprtment Loyol Mrymount University Los ngeles, C bmellor@lmu.edu Chord digrms on circles nd their intersection grphs (lso known s circle grphs) hve been intensively studied, nd hve mny pplictions to the study of knots nd knot invrints, mong others. However, chord digrms on more generl grphs hve not been studied, nd re potentilly eqully vluble in the study of sptil grphs. We will define chord digrms for plnr embeddings of plnr grphs nd their intersection grphs, nd prove some bsic results. Then, s n ppliction, we will introduce Guss codes for immersions of grphs in the plne nd give lgorithms to determine whether prticulr crossing sequence is relizble s the Guss code of n immersed grph. Contents 1 Introduction 1 2 Chord Digrms for Grphs Definition of chord digrms Intersection grphs for chord digrms Chord Digrms on Plnr Grphs Chord digrms on θ n -grphs Grphs without cut edges Chord digrms on line segments Grphs with cut edges Guss Codes for Grphs Guss Codes for Closed Curves Guss Codes for Grphs Introduction Clssiclly, chord digrm is collection of chords of circle; the intersection grph for these chords is clled circle grph. Circle grphs hve been intensively studied in grph theory, with clssifictions given by Even nd Iti [8] nd ouchet [4], mong others. In recent yers, interest in chord digrms hs spred to topologists s prt of the theory of finite type knot nd link invrints [1, 3, 6], s well s the theory of virtul knots [12]. nturl extension of knot theory is to look t sptil embeddings of more complex grphs, nd it is nturl to sk whether some nlogue of chord digrms could be eqully useful in this context. The gol of this pper is to define resonble notion of chord digrm for generl grphs, nd to construct some tools to study them. In prticulr, we will look t vriety of intersection grphs for these 1

2 chord digrms. We will use these intersection grphs to determine when n embedding of plnr grph cn be extended to n embedding of chord digrm on tht grph. s n ppliction, we will define Guss codes for immersions of rbitrry grphs nd give lgorithms for determining whether crossing sequence is relizble s Guss code. cknowledgement: The uthors would like to cknowledge the hospitlity of Wsed University, Tokyo, nd Professor Kouki Tniym during the Interntionl Workshop on Knots nd Links in Sptil Grph in July, 2004, where the ide for this project ws conceived. The second uthor ws supported by n LMU Fculty Reserch grnt. 2 Chord Digrms for Grphs 2.1 Definition of chord digrms chord digrm for circle my be chrcterized s simply circle with set of lbeled points indicting the endpoints of the chords. This is the ide we use to define chord digrm for generl grph. Definition 1 Let G be grph with edge set E nd vertex set V. chord digrm on G of degree n is collection of 2n points in G V (so ech point is in the interior of n edge), ech lbeled from set {c 1,...,c n } such tht ech lbel is used exctly twice. The two points lbeled c i re clled the endpoints of chord c i. Often, we will wnt to look t oriented chord digrms of directed grphs. This llows us to record whether the chord is on the sme or opposite sides of the edges t ech endpoint. Definition 2 Let G be directed grph with edge set E nd vertex set V. n oriented chord digrm on G of degree n is collection of 2n points in G V, ech lbeled from set {c 1,c 1,c 2,c 2,...,c n,c n } such tht exctly two points re lbeled from ech set {c i,c i }. These two points re clled the endpoints of chord c i ; if they hve the sme lbel, the endpoints re sid to hve the sme orienttion. If one is lbeled c i nd the other c i, they re sid to hve opposite orienttions. Generlly, we will represent chord digrm visully by drwing n rc between the endpoints. In n orientedchorddigrm,thercwillbeonthesmesideoftheedgesttheendpointswhentheendpointshve opposite orienttion, nd on opposite sides when the endpoints hve the sme orienttion. This terminology is geometriclly motivted - n oriented line segment in the plne nturlly hs left nd right sides, nd when the rc is on the sme side of the edges t ech endpoint, the bses for R 2 given by the ordered pir of the tngent vectors to the chord nd the edge hve opposite orienttions t the two endpoints, s shown in Figure 1. Two exmples of (oriented) chord digrms re shown in Figure 2. Figure 1: Orienttions t chord endpoints 2.2 Intersection grphs for chord digrms Much of the work done on chord digrms for circles hs been in terms of their intersection grphs, lso known s circle grphs. These grphs hve lso been useful in the recent pplictions of chord digrms to 2

3 () C D D C (b) E D C E D C Figure 2: Exmples of chord digrms knot nd link invrints [2, 6, 14, 16, 17]. So it is nturl to look t some kind of intersection grph for chord digrms on more generl grphs. For chord digrms on the circle, two chords re sid to intersect if their endpoints lternte round the circle. In more generl grph, there my not be wy to move round the grph, or there my be mny, so we need different criterion. nother point of view of circle grphs is s proper circulr-rc grphs - in other words, two chords intersect if the rcs on the circle between their endpoints overlp, but neither is proper subset of the other [15]. y replcing rcs on the circle with pths in the grph, we cn generlize this notion to other grphs. Definition 3 Given chord digrm C on (possibly directed) grph G, the intersection grph for C is the grph Γ G (C) whose vertices re the chords of C, nd vertices c i nd c j (corresponding to chords c i nd c j ) re djcent if given ny (undirected) pth p i in G between the endpoints of c i nd ny (undirected) pth p j in G between the endpoints of c j, p i nd p j properly intersect (mening tht they overlp - perhps only in one vertex - but neither is subset of the other). So for two chords to intersect, ll pths between their endpoints must intersect; for them to be disjoint, there need only be one pir of pths which re disjoint (or in which one properly contins the other). This is clerly firly restrictive notion of intersection, but it seems to be the one which best mtches our visul intuition. Figure 3 shows the intersection grphs for the chord digrms in Figure 2. Note tht, for chord digrms on circles, this definition grees with the usul definition of the intersection grph. () (b) Figure 3: Intersection grphs for chord digrms 3

4 3 Chord Digrms on Plnr Grphs common sitution is to study chord digrms when the chords re rel chords - in other words, they re chords of regions in some plnr embedding of the grph. In this section, we will explore chord digrms nd their intersection grphs when we re given plnr grph together with prticulr embedding in the plne. Our min result is to give conditions when the embedding of the grph cn be extended to n embedding of the entire chord digrm. Definition 4 Let G be directed plnr grph, C be n oriented chord digrm on G, nd f : G R 2 be prticulr embedding of G. Consider chord c i of C, with endpoints on edges e 1 nd e 2 in G. We sy c i respects f if: 1. oth endpoints of c i lie on the boundry of single region R of f(g) (i.e. single connected component of R 2 f(g)). 2. If R is on the sme side (left or right) of e 1 nd e 2, then the endpoints of c i hve opposite orienttions; if R is on the opposite sides of e 1 nd e 2, then the endpoints of c i hve the sme orienttion (ssuming e 1 nd e 2 re not cut edges). 3. If either e 1 or e 2 is cut edge, then the endpoints of c i my hve either orienttion. If G is not directed, then only the first condition is required. We sy tht C respects f if every chord of C respects f. We should observe tht if e 1 nd e 2 re both on the boundries of two regions R 1 nd R 2, then the definition does not depend on which region is used; if R 1 is on the sme side of both edges, then so is R 2, nd vice-vers. We define the intersection grph of C with respect to f by restricting our ttention to pths in G which lie on the boundry of single region of f(g). Definition 5 Given chord digrm C on (possibly directed) plnr grph G, nd n embedding f : G R 2, the intersection grph for C with respect to f is the grph Γ G (C;f) whose vertices re the chords of C, nd vertices c i nd c j (corresponding to chords c i nd c j ) re djcent if given ny (undirected) pth p i on the boundry of single region of f(g) between the endpoints of c i nd ny (undirected) pth p j on the boundry of single region of f(g) between the endpoints of c j, p i nd p j properly intersect. Remrks: 1. If c i does not hve both endpoints on the boundry of single region of f(g), then there is no pth between the endpoints which lies on the boundry of single region. In this cse, the condition for djcency is vcuously true, so c i is djcent to every other chord in the chord digrm. 2. The intersection grphs shown in Figure 3 re lso the intersection grphs with respect to the embeddings shown. 3. Since the number of pths in grph my be lrge, it is not cler whether Γ G (C) cn be constructed in polynomil time. However, Γ G (C;f) certinly cn, since n endpoint for chord cn lie on the boundry of t most two regions, there re t most 4 possible pths between the endpoints for ech chord. So the number of pirs of pths which need to be compred is t most 16 ( n 2), where n is the number of chords. 4. If two chords intersect by Definition 3, then they certinly intersect by Definition 5, but the converse is not true. So Γ G (C) Γ G (C;f) for every embedding f. The lst remrk gives rise to the following open question: Question 1 Given plnr grph G nd chord digrm C on G, is Γ G (C) = f:g R 2 Γ G(C;f)? 4

5 Our min focus in this section is to study when plnr embedding of grph G cn be extended to give plnr embedding of chord digrm C on G. To be precise, by n embedding of the chord digrm we men n embedding of the grph H C constructed from G by dding vertices t the endpoints of ll the chordsin C, nd edges between the endpoints ofech chordin C. We will lso lookt embeddings oforiented chord digrms - in this cse, we will insist tht the embedded chords be on the sme or opposite sides of the edges t ech endpoint, s dictted by the orienttions (see Section 2.1). Our first result is well-known (n equivlent form cn be extrcted from [10], for exmple), but is given here for completeness nd s wrm-up for our lter results. Proposition 1 Let G be directed grph consisting of single loop, nd let f : G R 2 be n embedding of G (so f(g) is circle). Let C be n oriented chord digrm on G. Then f extends to n embedding of C if nd only the following conditions re met: 1. Γ G (C) is biprtite. 2. The endpoints of every chord in C hve opposite orienttion. If C is not oriented, then the first condition is sufficient. Proof: We first note tht, since every embedding of the circle in the plne is isotopic, the prticulr embedding f is irrelevnt. nd, since f(g) hs exctly two regions, both bounded by the circle, every pth on the circle is lso pth in the boundry of region, so Γ G (C;f) = Γ G (C). We first show the sufficiency of the conditions of the proposition. Since the endpoints of the chords hve opposite orienttions, the chord is on the sme side of the circle t ech endpoint, so ech chord cn be drwn entirely within one region of f(g) (if C is not oriented, we cn simply choose to drw the chords on the sme side of the circle t ech endpoint). Since Γ G (C) is biprtite, we cn divide the chords into two sets, denoted the blue chords nd the red chords, so tht no two blue chords intersect, nd no two red chords intersect. We will drw the blue chords in one region of f(g) (inside the circle) nd the red chords in the other region (outside the circle). Choose one of the blue chords, c, nd connect the endpoints by n rc inside the circle. This gives n embedding of G c, which divides the inside of the circle into two regions. Since no other blue chord intersects c, ny other chord d must hve both endpoints on the boundry of one of these regions, nd so there is n rc connecting these endpoints in R 2 (G c). Continuing in this wy, we cn embed ll of the blue rcs inside the circle; by the sme rgument, we cn embed ll the red rcs outside the circle. This gives us n extension of the embedding to C. Conversely, if we hve n embedding of C, then ech chord must lie in single region of f(g), nd so must be on the sme side of the circle t ech endpoint, so the endpoints must hve opposite orienttions. In ddition, the chords inside the circle must ll be disjoint, s re the chords outside the circle. So the vertices of the intersection grph cn be divided into two independent sets, nd so Γ G (C) is biprtite. Remrks: 1. Since there re polynomil-time lgorithms to determine whether grph is biprtite, Proposition 1 shows tht we cn determine whether the embedding extends to the chord digrm in polynomil time. 2. Proposition 1 esily extends to generl cycles (in which the edges my not ll be oriented the sme wy) by replcing the condition tht the endpoints of ech chord hve opposite orienttion with the condition tht every chord must respect the embedding, s in Definition Chord digrms on θ n -grphs Now we wnt to consider more complicted grphs. Topologiclly, the simplest grphs fter the circle re the θ n -grphs, which re the grphs consisting of two vertices nd n edges between these vertices. Figure 4 shows severl exmples. The sptil embeddings of these grphs hve been studied extensively [11, 13, 18], so they re nturl set of grphs for us to consider. 5

6 θ 3 θ 4 θ 5 Figure 4: Exmples of θ n -grphs Proposition 2 Let G be directed θ n -grph with vertices v nd w, nd with ll edges directed from v to w. Let f : G R 2 be plnr embedding of G, nd let C be n oriented chord digrm on G. Lbel the edges of G by e 1,e 2,...,e n ccording to their (counterclockwise) cyclic order round v in f(g), nd lbel the region of f(g) enclosed by e i nd e i+1 by R i (R n is the region enclosed by e n nd e 1 ). Then f extends to n embedding of C if nd only if the following conditions re met: 1. The vertices of Γ G (C;f) cn be lbeled by the regions R i so tht: If vertex is lbeled R i, then the corresponding chord in C hs both endpoints on the boundry of region R i in f(g). For ech R i, the set of vertices lbeled R i is independent. 2. If both endpoints of chord re on the sme edge of G, then they hve opposite orienttions; if the endpoints of chord re on different edges of G, they hve the sme orienttion (i.e. C respects f, s in Definition 4). If C is not oriented, then we cn ignore the second condition. Proof: We will first show tht the conditions re sufficient. The ide is simply to drw the chord c corresponding to vertex v c lbeled R i in the region R i. Since both endpoints of c lie on the boundry of R i, they cn be connected by n rc in R i. If both endpoints of c re on one edge (e i or e i+1 ), then they hve opposite orienttions (since C respects f), nd the chord is on the sme side of the edge t both endpoints; therefore, the rc is n embedding of the oriented chord. On the other hnd, if c hs one endpoint on e i nd the other on e i+1, then its endpoints hve the sme orienttion, nd c should be on opposite sides of the edges. ut the region R i is on the left side of e i nd the right side of e i+1, so gin the rc in R i is n embedding of the oriented chord. So the embedding of G cn be individully extended to ech chord in C. We still need to show it cn be extended to ll the chords t once. The obstruction to this extension is when chords cross ech other - i.e. when their endpoints lternte round the boundry of region. We will first consider wht hppens if there is such n obstruction. Lemm 1 If two chords c nd d both hve their endpoints on the boundry of region R i, nd their endpoints lternte long the (undirected) cycle round the boundry of R i, then the corresponding vertices v c nd v d re djcent in Γ G (C;f). Proof of Lemm: If c hs both endpoints on the sme edge, sy e i, then d hs exctly one endpoint on the segment e i between the endpoints of c, nd ny pth between the endpoints of d must contin one of the endpoints of c, but not both. So ny pth between the endpoints of d will intersect, but not contin, ny pth between the endpoints of c. On the other hnd, if neither c nor d hve both endpoints on the sme edge, then they ech hve one endpoint on e i nd one on e i+1. Then ny pth between the endpoints of the chords with lies on the boundry of region of f(g) must run long the boundry of R i, since it is the only 6

7 region whose boundry contins both endpoints. There re two such pths between the endpoints of c, ech of which contins one endpoint of d. So we conclude tht if the endpoints of c nd d lternte round the boundry of R i, then v c nd v d re djcent. This proves our lemm. Equivlently, if v c nd v d re not djcent, then the endpoints of c nd d must not lternte round the boundry of R i. Since the set of vertices lbeled R i is independent, none of the corresponding chords hve lternting endpoints round the boundry of R i. So these chords cn be embedded in R i s disjoint rcs, s in Proposition 1. This cn be done for ech lbel R i, resulting in n embedding of C which extends f. It remins to show tht the conditions re necessry. ssume tht f cn be extended to C. Then ech chord is embedded s n rc in some region R i. If both endpoints of the chord re on the sme edge, the chord is on the sme side t both endpoints, nd the endpoints must hve opposite orienttions. On the other hnd, if they re on distinct edges e i nd e i+1, then the chord is on opposite sides of the edges t the two endpoints (the left side of e i nd the right side of e i+1, so the endpoints must hve the sme orienttion. So the second condition is necessry. Now lbel the vertex v c in Γ G (C;f) corresponding to chord c by the region in which c is embedded in f(c). Obviously, both endpoints of c must be on the boundry of this region. Since we hve embedded our chord digrm, chords which re in the sme region R i do not cross, so their endpoints do not lternte round the boundry of R i. Then there re clerly non-overlpping pths between the endpoints of the chords, so the corresponding vertices re not djcent in Γ G (C;f). So vertices with the sme lbel will not be djcent. This shows tht the first condition is necessry, nd completes the proof. Remrk: It is esy to check tht these conditions cn be checked in polynomil time. The coloring of most chords is forced by the loction of their endpoints. Those tht re left hve both endpoints on the sme edge, nd it is enough to show tht the subgrph in Γ G (C;f) induced by the remining chords on ech edge is biprtite. 3.2 Grphs without cut edges The rguments of Section 3.1 cn esily be generlized to ny plnr grph without cut edges (so tht ech edge in plnr embedding of the grph bounds different region on either side). Recll tht e is cut edge of connected grph G if G e is not connected. Proposition 3 Let G be directed plnr grph with no cut edges. Let f : G R 2 be plnr embedding of G, nd let C be n oriented chord digrm on G. Lbel the regions of f(g) by R i (1 i number of regions). Then f extends to n embedding of C if nd only if the following conditions re met: 1. C respects f, s in Definition 4 (so every chord in C hs both endpoints on the boundry of some region R i ). 2. The vertices of Γ G (C;f) cn be lbeled by the regions R i so tht: If vertex is lbeled R i, then the corresponding chord in C hs both endpoints on the boundry of region R i in f(g). For ech R i, the set of vertices lbeled R i is independent. efore we begin the proof of Proposition 3, we need technicl lemm, which generlizes Lemm 1 in the lst section. Lemm 2 Consider G, f nd C s in the sttement of Proposition 3. If c nd d re chords in C whose endpoints lternte round the boundry of region R in f(g), then the corresponding vertices v c nd v d re djcent in Γ G (C;f). Proof: Since G does not hve cut edges, the boundry of R is cycle in G. ssume tht v c nd v d re not djcent. Then there re pths p c between the endpoints of c nd p d between the endpoints of d, ech long 7

8 the boundry of region in f(g), such tht either p c p d = or one pth is contined in the other - without loss of generlity, p c p d. So neither of the endpoints of chord d lie on p c. Since the endpoints of c nd d lternte round the boundry of R, p c cnnot be contined in the boundry of R, or it would contin one of the endpoints of d. So p c is in the boundry of some other region S, mening tht the endpoints of c lie on the boundry between regions R nd S. First consider the cse when p c nd p d re disjoint. Then the union of p c with one of the pths between the endpoints of c long the boundry of region R gives cycle γ (or t lest circuit which contins cycle γ) which contins one endpoint of d. So p d must intersect γ. If p d lies long region R, then it will contin one of the endpoints of c, nd so won t be disjoint from p c. ut since p d cn t pss through region R (since this is region of the plnr embedding of G), it must (by the Jordn Curve Theorem) pss from one side of γ to the other, nd so must intersect p c, s shown in Figure 5. This contrdicts the ssumption tht p c p c d c R c p d d Figure 5: Figure for Lemm 2 nd p d re disjoint. Therefore, p c p d, so the endpoints of c re in p d. Since the endpoints of c re on the boundry between regions R nd S, nd we know tht p d cnnot be on the boundry of region R, it must lie on the boundry of region S. So the endpoints of d re lso on the boundry between regions R nd S. Since p c p d, the endpoints of c nd d do not lternte round the boundry of region S, which is cycle. So there re pths p c nd p d between the endpoints of chords c nd d on the boundry of region S, with p c p d =. ut this is impossible, by the rgument in the lst prgrph. Therefore, p c nd p d must properly intersect, so v c nd v d re djcent. Proof of Proposition 3: Our proof is very similr to the proof of Proposition 2. We will first show tht the conditions re sufficient. Once gin, the ide is simply to drw the chord c corresponding to vertex v c lbeled R in the region R. Since both endpoints of c lie on the boundry of R, they cn be connected by n rc in R. The first condition ensures tht this rc will be n embedding of the oriented chord c. So the embedding of G cn be individully extended to ech chord in C. We still need to show it cn be extended to ll the chords t once. Let d be nother chord on region R, with corresponding vertex v d. y Lemm 2, if v c nd v d re not djcent, then the endpoints of c nd d must not lternte round the boundry of R. Since the set of vertices lbeled R is independent, none of the corresponding chords hve lternting endpoints round the boundry of R. So these chords cn be embedded in R s disjoint rcs, s in Proposition 1. This cn be done for ech lbel R, resulting in n embedding of C which extends f. It remins to show tht the conditions re necessry. ssume tht f cn be extended to C. Then ech chord is embedded s n rc in some region R, with endpoints on edges e 1 nd e 2. If R is on the sme side of both edges, then so is the embedded chord, nd the endpoints must hve opposite orienttions; if it is on opposite sides, the endpoints must hve the sme orienttion. So the first condition is necessry. 8

9 Now lbel the vertex v c in Γ G (C;f) corresponding to chord c by the region in which c is embedded in f(c). Obviously, both endpoints of c must be on the boundry of this region. Chords which re in the sme region R do not cross, so their endpoints do not lternte round the boundry of R (since the boundry of R is cycle). Then there re clerly non-overlpping pths between the endpoints of the chords, so the corresponding vertices re not djcent in Γ G (C;f). So vertices with the sme lbel will not be djcent. This shows tht the second condition is necessry, nd completes the proof. Corollry 1 Given plnr grph G with no cut edges, chord digrm C on G, nd plnr embedding f : G R 2, there is polynomil time lgorithm to determine whether f extends to n embedding of C. Proof: The conditions of Proposition 3 cn be checked in polynomil time. The coloring of most chords is forced by the loction of their endpoints. Those tht re left hve both endpoints on boundries of the sme two regions, nd it is enough to show tht the subgrph in Γ G (C;f) induced by the remining chords lying on ech pir of regions is biprtite. 3.3 Chord digrms on line segments Now we wnt to consider plnr grphs which do hve cut edges. s n introduction, we will consider the simplest such grph, the complete grph on two vertices K 2 (i.e. the line segment consisting of two endpoints nd the edge between them). Why do cut edges pose difficulties? One difficulty is tht the boundries of the regions in plnr embedding of the grph re no longer cycles in the grph. For exmple, we might expect line segment to be no more complicted thn circle. ut consider the exmple in Figure 6. The C C Figure 6: chord digrm on K 2 sequence of endpoints long the grph is CC. ccording to Definition 5, ll three of these chords intersect. So the intersection grph hs cycle of length 3, nd so is not biprtite. nd yet we cn extend the embedding of the line segment to n embedding of the chord digrm, so Proposition 1 does not extend to K 2. The fct tht chords cn go round the end of the grph increses the difficulty of the problem. However, we would still like to exploit our results from Section 3.2. So our pln is to trnsform grph with cut edges into grph without cut edges, nd hope solving the problem in this new grph will give us the solution for the originl grph. To this end, we introduce n opertion clled blowing up n edge in plnr embedding of grph or chord digrm. Definition 6 Let G be plnr directed grph with n edge e (which is not loop), nd let f : G R 2 be plnr embedding of G. Sy tht the endpoints of e re vertices v nd w, with e oriented from v to w. Then the blowup of e in G with respect to f is the grph G e formed by removing edge e nd replcing it with two edges e nd e, both directed from v to w. Figure 7 illustrtes this opertion. Remrk: Figure 7 lso shows tht the embedding f of G is esily modified to give n embedding f e of G e. In prticulr, this mens tht G e is lso plnr grph. 9

10 v 1 b 1 2 b 2 e w v b b 2 e e 1 b 1 b 2 2 w Figure 7: lowing up edge e Wht is the effect of blowing up n edge e on chord digrm C on G? If is chord of C, lbel its endpoints by 1 nd 2. If i is on edge e in G, it will be doubled in G e, ppering on both e nd e. In other words, the sequence of endpoints long e nd e will both be the sme s the originl sequence long e. The chord now consists of ll pirings of point lbeled 1 nd point lbeled 2 ; there re 2 k such pirings, where k = 0,1,2 is the number of endpoints of the originl chord which were on edge e. We give ech piring its own nme,,,,, yielding new chord digrm C e on G e. If the chord digrm C is oriented, then the orienttions of 1 nd 2 re lso replicted in G e. If the chord in C respected the embedding f, nd hd n endpoint on e, then only hlf of the set of chords lbeled in G e will respect the embedding f e. So we obtin the reduced oriented chord digrm C e on G e by discrding those chords which do not respect f e. The intersection grph Γ Ge (C e,f e) is defined s before. We will dd to this grph edges between ll the chords which cme from the chord, to get new intersection grph Γ Ge (C e ;f e). Figure 8 illustrtes this process for n exmple with G = K 2. Proposition 4 Let G = K 2 be directed line segment, nd let f : G R 2 be n embedding. Let C be n oriented chord digrm on G. Let G e be the result of blowing up the single edge e of G, f e be the resulting embedding of G e, nd C e be the reduced oriented chord digrm on G e obtined from C. Then f cn be extended to n embedding of C if nd only if Γ Ge (C e;f e ) is biprtite. Proof: In this cse, every chord in C hs both endpoints on e, so ech chord of C corresponds to 4 chords in C e, nd hence 2 chords in C e. We first show the sufficiency. If Γ G e (C e ;f e) is biprtite, then so is its subgrph Γ Ge (C e,f e ). Since every chord in C respects f (since the only edge is cut edge), C respects f; so by definition C e respects f e nd contins chord corresponding to every chord in C. So by Proposition 1, f e extends to n embedding of C e. Moreover, by using the prtition of vertices from Γ G e (C e ;f e), we cn extend f e so tht exctly one of ech pir of chords, is inside the cycle G e nd one is outside. The chords which re outside give n extension of f to C. Conversely, if f extends to C, then we cn drw the chords of C s disjoint rcs in the single region of f(g). These rcs cn then be drwn s rcs outside the cycle G e in f e (G e ). ut there is nother extension of f to C obtined by tking the reflection of the first embedding cross the xis defined by the imge of G. These rcs cn be drwn inside the circle f e (G e ). Together, these give n extension of f e to n embedding of C e, so Γ G e (C e,f e) is biprtite. Since the rcs for the chords nd in this extension re on opposite sides of the circle, dding edges between them in the intersection grph will not ffect the prtition into two independent sets, so Γ Ge (C e;f e ) is lso biprtite. Notice tht, in Figure 8, the intersection grph Γ Ge (C e ;f e) is biprtite, nd the chord digrm C e cn be embedded s shown. 3.4 Grphs with cut edges We cn extend the ides of the lst section to prove the nlogue of Proposition 3 for chord digrms on grphs with cut edges. Our pln is simply to blow up every cut edge, s in Section 3.3, nd consider the resulting grph, which no longer hs cut edges. 10

11 C = 1 b 1 2 b 2 Γ (C ; f ) = G b ʻʻ b b 1 b 1 2 b 2 1 b 1 2 b 2 C = e bʻʻ ʻ bʻʻʻ, C e = ʻ bʻ 1 b 1 2 b 2 bʻ ʻʻʻ 1 b 1 2 b 2 Γ (C ; f ) =, G e e e b Γ (C ; f ) =, G e e e b ʻ bʻ ʻ bʻ Figure 8: New chord digrms obtined from blowing up n edge ConsidergrphG, nd let E be the set ofcut edges. Let G E be the result ofblowing up everyedge in E. If C is n oriented chord digrm on G, then C E is the corresponding chord digrm on G E. If f : G R 2 is n embedding of G in the plne, then we hve corresponding embedding f E of G E. The regions of f E (G E ) re essentilly the sme s the regions of f(g), together with the new regions creted by the blown up edges (one new region for ech cut edge in G). If we lbel the regions of f(g) by R 1,...,R n, then we cn give the corresponding regions of f E (G E ) the sme lbels; in ddition, we will give ll the regions creted by blowing up cut edges on the boundry of R i the sme lbel S i. The region S i is the union of ll these regions, nd its boundry is the union of the imges e,e of the cut edges of R i in C, in the sme order tht they re found in the boundry of R i in C E (so the boundry of S i is subset of the boundry of R i ). This is illustrted in Figure 9. s usul, chord of C E respects f E if it stisfies Definition 4, treting S i s single region. So we cn consider the reduced chord digrm C E which results from removing ll the chords in C E which do not respect f E. TheintersectiongrphΓ GE (C E ;f E)isdefined susul, withthe exceptiontht pth onthe boundry of region S i is tken to be sequence of consecutive edges in the boundry of S i (s defined in the lst prgrph), even though these edges my not be djcent in G E. s in Section 3.3, Γ GE (C E ;f E) is defined by dding to Γ GE (C E ;f E) edges between vertices corresponding to chords in C E which cme from the sme chord in C. Proposition 5 Let G be directed plnr grph with set of cut edges E, nd let G E be the result of blowing up the edges in E, s described bove. Let f : G R 2 be plnr embedding of G, nd let C be n oriented 11

12 v e w f R 2 g x h y R 1 = eghhfe R 2 = gf R 1 e f h R 1 = e gh hfe R 1 v w R 2 x y S 1 S 1 R 2 = gf e g h S 1 = e h he Figure 9: Regions R i nd S i nd their boundries chord digrm on G. Lbel the regions of f(g) by R i (1 i number of regions). We define f E nd C E s described bove. Then f extends to n embedding of C if nd only if the following conditions re met: 1. C respects f. 2. The vertices of Γ GE (C E ;f E) cn be lbeled by the regions R i nd S i so tht: If vertex is lbeled R, then the corresponding chord in C E hs both endpoints on the boundry of region R in f E (G E ). For ech region R (R i or S i ), the set of vertices lbeled R is independent. If ws chord of C with both endpoints on cut edge in the boundry of R i, then exctly one of the chords, in C E is lbeled R i, nd the other is lbeled S i. Proof: We first show the sufficiency. From Proposition 3, the conditions imply tht f E extends to n embedding of C E. Moreover, for every chord in C, there is exctly one corresponding chord of C E whose imge lies in the union of the regions R i (s opposed to the regions S i ). So we cn then collpse the regions S i (reversing the blowup opertions) to obtin n embedding of C which extends f. For the necessity, ssume tht f does extend to C. Then, for ny chord of C such tht f() is n rc in the region R i, there is corresponding rc in the region R i in the complement of f E (G E ). These rcs re ll still disjoint. This provides n embedding of lmost ll chords of C E ; lbel the vertices in Γ G E (C E ;f E) corresponding these chords by the region in which ech is embedded. The vertices lbeled R i will still be independent, s they were in Γ G (C;f). The only remining chords re doubles of chords which hve lredy been embedded in some R i, nd which correspond to chords in C which hd both endpoints on cut edges on the boundry of R i. So these chords hve both endpoints on the boundry of S i, nd the corresponding vertices cn be lbeled S i. 12

13 It only remins to check tht the vertices lbeled S i will be independent. However, the order of the endpoints of the chords lbeled S i round the boundry of S i is exctly the reverse of the order of the endpoints of their doubles round the boundry of R i. So the endpoints of two chords lternte round the boundry of S i only if the endpoints of their doubles lternte round the boundry of R i. Since the vertices lbeled R i re ll independent, so re the vertices lbeled S i. So the conditions of the proposition re stisfied, completing the proof. Corollry 2 Given plnr grph G, chord digrm C on G, nd plnr embedding f : G R 2, there is polynomil time lgorithm to determine whether f extends to n embedding of C. Proof: From Corollry 1, we cn check whether f E extends to C E in polynomil time. The only condition tht is left to check is the lst one, tht one of ech pir, cn be lbeled R i nd the other S i. Since, for connected grph, there is t most one division into two independent sets (vertices with pths which re odd or even length to given vertex), this cn be done very quickly fter determining tht the set of chords with endpoints on R i nd S i is biprtite. 4 Guss Codes for Grphs s n ppliction, we will use chord digrms nd intersection grphs for grphs to study Guss codes for grphs. The Guss code ws first developed by C. F. Guss to study closed curves in the plne which intersect themselves only in trnsverse double points (clled crossings ). Lbel the crossings by some set of symbols (such s integers or the letters of the lphbet), nd give the curve n orienttion. eginning t n rbitrry crossing, we obtin Guss code for the curve by writing down the sequence of lbels of the crossings pssed s we trverse the curve, following its orienttion. The Guss code provides convenient combintoril representtion of the curve. However, not ll sequences which look like Guss codes ctully represent closed curves in the plne. The problem is to determine (in polynomil time) which sequences of symbols cn be obtined from closed curve in this wy - i.e., which sequences re relizble s the Guss code for closed curve in the plne. There re severl different solutions to this problem [10, 19], we will describe one in Section 4.1 which uses Proposition 1. Kuffmn s recent development of the theory of virtul knots [12] ws motivted in prt by desire to relize the unrelizble Guss codes. This pper ws lrgely motivted by desire to extend Kuffmn s work to sptil grphs, nd study virtul sptil grphs. s preliminry, we need to extend the notion of Guss code to generl grphs, nd consider when n bstrct code is relizble by n immersion of grph in plne. In future work, this will led to the introduction of virtul sptil grphs [9]. Our gol is to generlize to the sitution where we hve n immersion of n rbitrry grph in the plne, rtherthn circle. In this cse, sdescribed in Section 4.2, the Gusscode is set ofsequencesssocited with the edges of the grph. We will give lgorithm, bsed on Proposition 5, for determining whether n bstrct Guss code cn be relized s the Guss code for n immersed grph nd, if so, constructing the desired immersion. 4.1 Guss Codes for Closed Curves We will first describe method for determining whether clssicl Guss code is relizble by n immersed closed curve in the plne. This problem ws first solved by Dehn [7], nd cler presenttion of his solution is given by Red nd Rosenstiehl [19]. Our method builds on Dehn s, nd is equivlent to tht given by de Frysseix nd Osson de Mendez [10], but is presented in the lnguge of chord digrms developed in Section 2. n oriented closed curve in the plne gives rise to crossing sequence, the Guss code for the curve, by lbeling the n self-crossings of the curve, nd then writing down the sequence of 2n lbels encountered s we trce the curve following its orienttion (obviously, the code is only unique modulo cyclic permuttions). n exmple is shown in Figure 10. The problem, initilly posed by Guss, is to determine whether n rbitrry 13

14 c d b Guss Code: bcdbdc Figure 10: Exmple of Guss code sequence of length 2n, contining two occurrences ech of n symbols, is relizble s the Guss code of closed plne curve. We will cll such sequence crossing sequence, nd refer to the symbols s crossings. We follow Red nd Rosenstiehl by defining splitting of crossing sequence t ech crossing, nd then studying the resulting split sequence or split code. The notion of splitting crossing is motivted by the ide of smoothing self-intersection of curve in the plne into two non-intersecting rcs. We consider smll neighborhood of self-crossing p. Inside this neighborhood, we replce the two intersecting rcs with two disjoint rcs with the sme endpoints, s shown in Figure 11. This replcement is done so s to preserve p P P c p Figure 11: Splitting crossing the number of components of the curve, which requires reversing the orienttion of one of the rcs from p to itself, so tht the resulting curve is still oriented. side from the chnge of orienttion, the opertion is entirely locl, so if we lbel points P nd P on the two new rcs, we cn drw chord c p between them which does not intersect the rest of the curve nd is contined within the originl neighborhood of the crossing, s shown in Figure 11. Notice tht, if the chord c p is oriented, its endpoints t P nd P will hve opposite orienttions. We cn trnslte this splitting opertion into moves which cn be performed directly on crossing sequence, regrdless of whether or not the sequence is relizble. Definition 7 Given sequence S = αpβpγ, splitting S t p mens to replce S by αpβ 1 Pγ, where we sy tht P nd P hve opposite orienttions, nd β 1 is the result of writing the subsequence β in reverse order nd reversing the orienttion of ny previously split symbols in β. Given crossing sequence S, the result of splitting S t every crossing is clled split sequence or split code for S, nd is denoted S. The split code is not unique - it depends upon the order in which the crossings re split. Figure 12 illustrtes this procedure with n exmple of smoothing ll the crossings in closed plne curve, nd the corresponding opertions on the Guss code in order to obtin the split code. The result of performing the splitting process on closed plne curve is simple closed curve (i.e. n embedded 14

15 d d d b b c S = bcdbdc bdcbdc c cddc c d D D C CddC C C C S* = CDDC Figure 12: Obtining the split code circle) lbeled by the split code. We will cll this the split curve. Clerly, the split curve is n oriented chord digrm on the circle, in the sense of Definition 2. To reconstruct the originl curve from the split curve, we simply need to connect ech pir of points P nd P by the chord c p shown in Figure 11, nd contrct the chords to bring the points bck together, reversing the splitting process. So reconstructing the originl curve is done by extending the embedding of the underlying circle of the split curve to n embedding of the oriented chord digrm represented by the split curve. This leds directly to the following result. Theorem 1 [10, 19] crossing sequence S is relizble s the Guss code of closed curve in the plne if nd only if the the oriented chord digrm on the circle represented by the split sequence S* cn be embedded in the plne. Proof: From the discussion bove, if the crossing sequence S is relizble, then there is n embedding of the chord digrm S. Conversely, n embedding of S cn be turned into collection of intersecting closed loops by expnding ech chord into crossing, reversing the splitting opertion in Figure 11. It only remins to check tht this process will yield single closed curve with Guss code S (this is the complete trcebility of [19]). Sy tht S ws produced from S vi series of sequences S = S 0,S 1,S 2,...,S n,s n+1 = S, where S i+1 is the result of splitting crossing p i in S i. We will expnd the chords between pirs of symbols in S in the reverse order from how they were split - i.e. the lst symbol to be split is the first chord dded. So we begin with the chord c pn between P n nd P n in C n+1 = C. Expnding this chord into crossing, nd reversing the orienttion on the rc of C n+1 originlly directed from P n to P n, exctly reverses the splitting process of Definition 7. key observtion is tht, since P n nd P n hve opposite orienttions, the result of expnding the chord is closed curve with one component. Since we hve exctly reversed the finl splitting opertion, the result is n oriented closed curve C n whose Guss code is S n. We cn continue this process, lwys choosing to expnd the chord corresponding to the lst crossing which ws split, so tht its endpoints hve opposite orienttion nd the resulting curve still hs single component. In this wy, we cn successively construct n oriented closed curve C i for ech sequence S i. Ultimtely, we will hve curve C whose Guss code is the originl crossing sequence S, s desired. 15

16 Remrks: There re severl remrks tht should be mde t this point. 1. To check whether prticulr split code is embeddble, we pply the criteri of Proposition 1. So we check tht the two occurrences of ech symbol hve opposite orienttion nd tht the intersection grph is biprtite. The importnce of Theorem 1 is tht this cn be done in polynomil time. 2. Compring with the D-switch opertion of de Frysseix nd Osson de Mendez [10], the condition tht the two occurrences of ech symbol hve opposite orienttion is equivlent to sying tht symbol nd its twin re not djcent in the interlcement grph. So, the result of Theorem 1 then lso follows from the proof of Theorem 6 in [10]. 3. Kuffmn [12] provides nother chrcteriztion, in which the condition tht ech pir of symbols hve opposite orienttions is replced by the condition tht the crossing sequence S is evenly intersticed, mening tht between two occurrences of ny symbol is word of even length. However, Kuffmn does not prove tht this requirement is sufficient. It is not hrd to show tht, if S is evenly intersticed, then the number of unsplit symbols between pir of split symbols (t ny stge in the process of splitting S) is even exctly when the split symbols hve opposite orienttions. Since, in S, the number of unsplit symbols is 0, nd hence even, ll pirs of split symbols hve opposite orienttions, so by Proposition 1 nd Theorem 1 the crossing sequence is relizble. This shows tht Kuffmn s chrcteriztion is lso vlid. 4. Not every sequence of symbols S which stisfies the conditions of Theorem 1 is the split code of crossing sequence. For exmple, if the reconstruction lgorithm is pplied to the sequence Ā, the result will be curve with two components; however, this is not contrdiction becuse this sequence cnnot be obtined s the split code of crossing sequence. To see this, observe tht if we unsplit symbol we re left with bb - since the two occurrences of hve the sme orienttion, this could not be the result of splitting opertion; ttempting to unsplit leds to similr sitution. 4.2 Guss Codes for Grphs We would like to extend the ides of the lst section to generl directed grphs. In this section, our grphs will be vertex-oriented, mening tht we hve cyclic order on the edges incident to ech vertex. Given grph G, Guss code for G consists of set of symbols nd set of sequences in these symbols, one for ech edge of the grph. Ech sequence will begin with the vertex t the strt of the edge, nd the position of the edge in the cyclic ordering round tht vertex, nd end with the vertex t the end of the edge, with the position of the edge in the cyclic ordering round the end vertex. In between re symbols from. Notice tht the bstrct grph G cn be reconstructed from the set of Guss codes. While n bstrct grph hs mny possible Guss codes, we cn ssign unique code (up to cyclic permuttion of the vertexorderings)to ny immersion ofthe grph in the plne, just s we do for immersions of circles. In this cse, the sequence of symbols just records the order of the crossings long ech edge. n exmple is shown in Figure 13. We wish to ddress the problem of determining which Guss codes for G cn be relized by n immersion of G in the plne. We will ssume tht the initil grph G is connected. Our first observtion is tht every symbol in the set of sequences (other thn the vertices) must pper exctly twice. This llows us to crete split code from the originl Guss code. s in the previous sections, the motivtion for the split code is to split the crossings of n immersion of grph in the plne. There re two wys to split crossing (one is shown in Figure 11) - we wnt to perform the split so tht the grph remins connected. If both splits preserve the connectedness of the grph, we cn choose one rbitrrily. s before, we lso wnt to keep trck of the reltive locl orienttions of the smoothed rcs. These opertions cn be defined bstrctly in terms of the Guss code. If p is symbol in the lphbet, then splitting the code t p mens one of the following opertions: 1. If there is sequence w = αpβpγ, then the new sequence is w = αpβ 1 Pγ. So the subsequence β hs been reversed. 16

17 0 x w b 1 1 d 2 0 e c f h g 0 1 i y 2 z Guss Code: x0h1z x1dcb1y x2fg0w y0edcfgi2w y2beh2z w1i0z Figure 13: Exmple of Guss code from grph immersion 2. If there re two sequences w = αpβ nd u = γpδ, then the new sequences re either w = αpδ nd u = γpβ or w = αpγ 1 nd u = δ 1 Pβ. These re illustrted in Figure 14. Notice tht, in the second cse, the underlying grph is chnged in either choice, but t lest one of these grphs is connected. We will lwys mke choice which keeps the underlying grph connected. lso notice tht the first choice preserves orienttions long ech edge segment, while the second choice reverses the orienttions long segments coming from one of the two edges. The result of performing this splitting opertion on every symbol in the set of sequences gives split code for the originl Guss code. The underlying bstrct grph for the split code is clled the split grph. The splitting process is not unique - the finl set of sequences fter ll crossings hve been split will depend on the order in which they were split, nd how they were split. ny of these possibilities is clled split code for the originl Guss code. split code cn be viewed s n oriented chord digrm on its split grph. Lemm 3 If Guss code is derived from n immersion of connected grph, then the underlying split grph for ny split code is plnr nd connected; moreover, the split code determines unique (up to isotopy) sphericl embedding of the split grph. Proof: Ifwe begin with n immersionofgrphnd split everycrossing, were left with grphembedded in the plne; this implies tht the grph underlying the split code is plnr, nd the split code is relized by some plnr embedding. The embedding is connected since we choose our splittings to keep the grph connected. It remins to show tht this embedding is unique (up to isotopy on the sphere). We will describe n lgorithm for constructing plnr embedding from the split code. We will show tht (up to isotopy on the sphere) the lgorithm produces t most one embedding, nd tht it fils to produce n embedding respecting the split code only if one does not exist. In fct, we will not use ll the informtion of the split code, only the underlying grph nd the order of the edges round ech vertex. The ide of the lgorithm is to trce out fces of the plnr embedding. egin with n rbitrry vertex v, nd n edge e incident to v. Embed v nd e. Sy tht w is the other endpoint of e. Let f be the next edge djcent to w fter v (using the cyclic ordering of the edges djcent to w), nd dd f to the embedded grph. Continue this process, moving one edge round ech vertex. The first time we return to vertex we hve visited before, we will hve two choices of how to drw the edge - clockwise or counterclockwise round the previously embedded prts of the grph. ut these choices re isotopic on the sphere. Once this first choice is mde, ll future edges will connect two points on the 17

18 (1) β p γ α β 1 γ P P c p α β δ β δ (2) γ p α P γ c p P α or γ β p δ α β γ 1 P P c p δ 1 α Figure 14: Wys of splitting crossing boundry of (topologicl) disk, so ll possible wys to drw them will be isotopic. s result, there re no more choices to be mde, nd the resulting embedding is unique. When we come to n edge we hve reched before, skip it nd move to the next unused edge on tht vertex. If there re no more unused edges on the vertex, then bcktrck to the lst vertex with n unused edge. Continue in this wy until ll the edges hve been drwn (the procedure will terminte, since the grph is connected). If we re ble to do this without edges crossing, we will hve plnr embedding of the split grph, uniquely determined by the underlying grph nd the vertex orienttions. Lemm 3 llows us to embed the split grph in the plne. s in erlier sections, if the originl Guss code is relizble then we cn recover n immersion of grph from this embedding code by connecting the two occurrences of ech symbol in the split grph by disjoint chords which respect the orienttions of the symbols, nd then expnding the chords s in Figure 15. This leds us to the following theorem. Theorem 2 Let S be Guss code for connected grph G, with split code S nd split grph G. Then S is relizble if nd only if: G is plnr. The embedding of G determined by S (s in Lemm 3) cn be extended to n embedding of S. Proof: If S is relizble, then the split code S cn be embedded in the plne s n oriented chord digrm. So the underlying split grph cn be embedded (nd is therefore plnr), nd this embedding extended to the chord digrm. Conversely, if the chord digrm cn be embedded, we cn expnd ech chord into crossing s in Figure 15. It only remins to check tht the result is n immersion of G with Guss code S. s in Theorem 1, we expnd the chords between symbols in the reverse order tht the symbols were split. Sytht S wsproduced from S viseriesofsequencess = S 0,S 1,S 2,...,S n,s n+1 = S, wheres i+1 is the result of splitting crossing p i in S i. Since ech splitting ws chosen to keep the grph connected, expnding the splits in the reverse order will lso keep the grph connected. Our gol is for these expnsions to exctly 18