arxiv: v1 [math.gt] 31 Mar 2015

Transcription

1 A FORMULA FOR THE DUBROVNIK POLYNOMIAL OF RATIONAL KNOTS arxv: v1 [math.gt] 31 Mar 2015 CARMEN CAPRAU AND KATHERINE URABE Abstract. We provde a formula for the Dubrovnk polynomal of a ratonal knot n terms of the entres of the tuple assocated wth a brad-form dagram of the knot. Our calculatons can be easly carred out usng a computer algebra system. 1. Introducton Ratonal knots and lnks are the smplest class of alternatng lnks of one or two unknotted components. All knots and lnks up to ten crossngs are ether ratonal or are obtaned by nsertng ratonal tangles nto a small number of planar graphs (see [2]. Other names for ratonal knots are 2-brdge knots and 4-plats. The names ratonal knot and ratonal lnk were coned by John Conway who defned them as numerator closures of ratonal tangles, whch form a bass for ther classfcaton. A ratonal tangle s the result of consecutve twsts on neghborng endponts of two trval arcs. Ratonal knots and ratonal tangles have proved useful n the study of DNA recombnaton. Throughout ths paper, we refer to knots and lnks usng the generc term knots. In [11], Lu and Zhong provded and algorthm to compute the 2-varable Kauffman polynomal [6] of unorented ratonal knots usng Kauffman sken theory and lnear algebra technques. On the other hand, Duzhn and Shkolnkov [3] gave a formula for the HOMFLY-PT polynomal [4, 14] of orented ratonal knots n terms of a contnued fracton for the ratonal number that represents the gven knot. A ratonal knot admts a dagram n brad form wth n sectons of twsts, from whch we can assocate an n-tuple to the gven dagram. Usng the propertes of brad-form dagrams of ratonal knots and nspred by the approach n [3] (namely, dervng a reducton formula and assocatng to t a computatonal rooted tree, n ths paper we provde a closed-form expresson for the 2-varable Kauffman polynomal of a ratonal knot n terms of the entres n the n-tuple representng a bradform dagram of the knot. We wll work wth the Dubrovnk verson of the 2-varable Kauffman polynomal, called the Dubrovnk polynomal. Due to the nature of the sken relaton defnng the Dubrovnk polynomal (or the Kauffman polynomal, for that matter, dervng the desred closed-form for ths polynomal of ratonal knots s more challengng than for the case of the HOMFLY-PT polynomal. The paper s organzed as follows: In Secton 2 we brefly revew some propertes about ratonal tangles and ratonal knots, whch are needed for the purpose of ths paper. In Secton 3 we look at the Dubrovnk polynomal of a ratonal knot dagram 2010 Mathematcs Subject Classfcaton. 57M27; 57M25. Key words and phrases. Kauffman two-varable polynomal of knots and lnks, ratonal knots and lnks, knot nvarants. 1

2 2 CARMEN CAPRAU AND KATHERINE URABE n brad-form and wrte t n terms of the polynomals assocated wth dagrams that are stll n brad-form but whch contan fewer twsts. Our key reducton formulas are derved n Secton 4 and used n Secton 5 to obtan a closed-form expresson that computes the Dubrovnk polynomal of a standard brad-form dagram of a ratonal knot n terms of the entres of the n-tuple assocated wth the gven dagram. We fnsh wth an appendx contanng the Mathematca R code, wrtten by the second named author, that computes the Dubrovnk polynomal of a ratonal knot dagram n brad-form, based on the formulas obtaned n Secton 3. The paper grew out of the second named author s master s thess at Calforna State Unversty, Fresno. 2. Ratonal knots and tangles Ratonal tangles are a specal type of 2-tangles that are obtaned by applyng a fnte number of consecutve twsts of neghborng endponts startng from the two unknotted arcs [0] or [ ] (called the trval 2-tangles depcted n Fgure 1. An example of a ratonal tangle dagram s shown n Fgure 2. [ ] [0] Fgure 1. The trval 2-tangles [0] and [ ] Fgure 2. The ratonal tangle T (4, 3, 2 n standard form Takng the numerator closure, N(T, or the denomnator closure, D(T, of a 2-tangle T (as shown n Fgure 3 results n a knot or a lnk. In fact, every knot or lnk can arse as the numerator closure of some 2-tangle (see [9]. However, numerator (or denomnator closures of dfferent ratonal tangles may result n the same knot. Numerator and denomnator closures of ratonal tangles gve rse to ratonal knots. These are alternatng knots wth one or two components. It s an nterestng fact that all knots and lnks up to ten crossngs are ether ratonal knots or are obtaned from ratonal knots by nsertng ratonal tangles nto smple planar graphs. For readngs on ratonal knots and ratonal tangles we refer the reader to [1, 2, 5, 8, 9, 10, 13, 16, 17]. Conway [2] assocated to a ratonal tangle dagram T a unque, reduced ratonal number (or nfnty, F (T, called the fracton of the tangle, and showed that two ratonal tangles are equvalent f and only f they have the same fracton. Specfcally,

3 A FORMULA FOR THE DUBROVNIK POLYNOMIAL OF RATIONAL KNOTS 3 T T D(T N(T Fgure 3. The denomnator and numerator closures of a 2-tangle T for a ratonal tangle n standard form, T (b 1, b 2,..., b n, ts fracton s calculated by the contnued fracton 1 F (T [b 1, b 2,..., b n ] : b b b n b n where b 1 Z and b 2,..., b n Z\{0}. Proofs of ths statement can be found n [1, 5, 8, 12]. A ratonal knot admts a dagram n brad form, as explaned n Fgures 4 and 5. We denote by D[b 1, b 2,..., b n ] a standard brad-form dagram (or shortly, standard dagram of a ratonal knot, where b s are ntegers. b 1 b 2 b n 1 b n Fgure 4. Standard brad-form dagram, n odd b 1 b 2 b n 1 b n Fgure 5. Standard brad-form dagram, n even A standard dagram of a ratonal knot s obtaned by takng a specal closure of a 4-strand brad wth n sectons of twsts, where the number of half-twsts n each secton s denoted by the nteger b and the sgn of b s defned as follows: f s odd, then the left twst (Fgure 6 s postve, and f s even, then the rght twst s postve (equvalently, the left twst s negatve for even. In Fgures 4 and 5 all ntegers b are postve. Note that the specal closure for n even s the denomnator closure of a ratonal tangle and for n odd s the numerator closure. If a ratonal tangle T (b 1, b 2,..., b n has ts fracton a ratonal number other than 0 or, then we can always fnd b such that the sgns of all the b are the same

4 4 CARMEN CAPRAU AND KATHERINE URABE rght twst left twst Fgure 6. (see [13, 9]. Hence, we assume that a standard dagram of a ratonal knot s an alternatng dagram. In addton, we can always assume that for a standard dagram D[b 1, b 2,..., b n ] of a ratonal knot, n s odd. Ths follows from the followng propertes of a contnued fracton expanson [b 1, b 2,..., b n ] for a ratonal number p q such that b > 0: If n s even and b n > 1, then If n s even and b n 1, then [b 1, b 2,..., b n ] [b 1, b 2,..., b n 1, 1] [b 1, b 2,..., b n ] [b 1, b 2,..., b n 1 + 1] The statement below s well-known (see for example [13]. Lemma 1. The followng statements hold: (1 D[ b 1, b 2,..., b 2k+1 ] s the mrror mage of D[b 1, b 2,..., b 2k+1 ]. (2 D[b 1, b 2,..., b 2k+1 ] s ambent sotopc to D[b 2k+1,..., a 2, a 1 ]. (3 D[b 1, b 2,..., b 2k+1 ] s ambent sotopc to N(T (b 1, b 2,..., b 2k+1. We denote by K(p/q a ratonal knot wth standard dagram D[b 1, b 2,..., b 2k+1 ], wth b 0, where p q [b 1, b 2,..., b 2k+1 ], gcd(p, q 1 and p > 0. If all b are postve then q > 0, and f all b are negatve then q < 0. The nteger p s odd for a knot and even for a two-component lnk. It s known that two ratonal knots K(p/q and K(p /q are equvalent f and only f p p and q q ±1 (mod p (see [1, 8, 13, 17]. 3. The Dubrovnk polynomal of ratonal knots In [6], Kauffman constructed a 2-varable Laurent polynomal whch s an nvarant of regular sotopy for unorented knots. In ths paper we work wth the Dubrovnk verson of Kauffman s polynomal, called the Dubrovnk polynomal. The Dubrovnk polynomal of a knot K, denoted by P (K : P (K(z, a, s unquely determned by the followng axoms: 1. P (K ( P (K f( K and K are regular sotopc knots. [ ( ( ] 2. P P z P P. ( ( ( 3. P ap and P a 1 P ( 4. P 1. (.

5 A FORMULA FOR THE DUBROVNIK POLYNOMIAL OF RATIONAL KNOTS 5 The dagrams n both sdes of the second and thrd axoms above represent larger knot dagrams that are dentcal, except near a pont where they dffer as shown. We wll use the followng form for the second axom; P ( P ( + zp ( zp (, and refer to t as the Dubrovnk sken relaton. Moreover, we wll refer to the resultng three knot dagrams n the rght-hand sde of the Dubrovnk sken relaton as the swtched-crossng state, the A-state, and the B-state, respectvely, of the gven knot dagram. The followng statement s well-known and follows easly from the defnton of the polynomal nvarant P. Lemma 2. If K s the mrror mage of K, then P (K(z, a P (K( z, a 1. For more detals about the Kauffman polynomal and the Dubrovnk verson of t we refer the reader to [6, 7]. The goal of the paper s to gve an algorthm whch computes the Dubrovnk polynomal of a standard dagram D[b 1, b 2,..., b n ] for a ratonal knot. We wll use the followng notaton: P[b 1, b 2,..., b n ] : P (D[b 1, b 2,..., b n ]. We wll focus on the case wth postve ntegers b. The case wth negatve ntegers b follows from Lemma 1 and Lemma 2. For a standard dagram D[b 1, b 2,..., b n ] of a ratonal knot, we call the nteger n the length of the dagram. We consder frst a standard dagram of length three, D[b 1, b 2, b 3 ], where b 3 for 1 3. We obtan the tree dagram depcted n Fgure 7, whose edges are labeled by the weghts of the polynomal evaluatons of the resultng knot dagrams obtaned by applyng the Dubrovnk sken relaton at the leftmost crossng n the orgnal dagram. b 1 z z b 1 1 b 1 2 b 1 1 a b 1+1 Fgure 7. A tree dagram for D[b 1, b 2, b 3 ] Note that the mddle leaf of the tree n Fgure 7 s obtaned after applyng a type II Redemester move. Moreover, the dagram at the bottom of the left-hand branch of the tree can be modfed to a standard brad-form dagram, as exemplfed n Fgure 8. We obtan the followng recursve relaton for P[b 1, b 2, b 3 ], where b 3 for 1 3: P[b 1, b 2, b 3 ] P[b 1 2, b 2, b 3 ] za b1+1 P[1, b 2 1, b 3 ] + zp[b 1 1, b 2, b 3 ].

6 6 CARMEN CAPRAU AND KATHERINE URABE b 2 1 b 2 1 Fgure 8. Obtanng a standard brad-form dagram These types of recursve formulas form the foundaton of our later work. In general, as n the case above, the swtched-crossng state reduces a secton by 2 half-twsts, the A-state reduces a secton by one half-twst, and the B-state reduces the dagram by one secton of twsts whle contrbutng some power of a. Because of ths, the remander of our cases wll deal wth standard brad-form dagrams that have 1 or 2 half-twsts n the frst secton of twsts (correspondng to b 1, snce these relatons wll completely reduce the frst secton. In addton, the move shown n Fgure 8 wll be commonly referred to as the sldng move and not shown n detal for the other cases. Consder now a standard dagram D[1, 1, b 3 ] and the tree gven n Fgure 9. z z Fgure 9. A tree dagram for D[1, 1, b 3 ] Observe that we appled a type II Redemester move to arrve at the dagram representng the mddle leaf of the tree. We easly see that the Dubrovnk polynomal for the dagram D[1, 1, b 3 ] satsfes the followng relaton: P[1, 1, b 3 ] a b3 zp[b 3 + 1] + zap[b 3 ]. Next we consder the standard brad-form dagram D[2, b 2, b 3 ]. Usng the tree for the dagram D[2, b 2, b 3 ] depcted n Fgure 10 and the sldng move for the dagram representng the leftmost leaf n the tree, we obtan the followng polynomal expresson: P[2, b 2, b 3 ] a b2 P[b 3 ] za 1 P[1, b 2 1, b 3 ] + zp[1, b 2, b 3 ]. Lastly, consder the tree for the standard brad-form dagram D[1, b 2, b 3 ] gven n Fgure 11. By applyng the sldng move to the frst two leaves n the tree, the Dubrovnk polynomal of D[1, b 2, b 3 ] satsfes the expresson gven below: P[1, b 2, b 3 ] P[1, b 2 2, b 3 ] zp[1, b 2 1, b 3 ] + za b2 P[b 3 ]. There are a few more cases that need to be consdered, namely when b 1 or b 2 are equal to 1 or 2. These cases are treated n a smlar way as above. We collect these cases and those shown above n the followng statement.

7 A FORMULA FOR THE DUBROVNIK POLYNOMIAL OF RATIONAL KNOTS 7 z z Fgure 10. A tree dagram for D[2, b 2, b 3 ] b 2 b 3 z z b 2 b 2 1 b b 2 3 b3 b 3 Fgure 11. A tree dagram for D[1, b 2, b 3 ] Lemma 3. The Dubrovnk polynomal of a standard brad-form dagram of length 3 wth postve twsts satsfes the followng relatons:. P[b 1, b 2, b 3 ] P[b 1 2, b 2, b 3 ] za 1 b1 P[1, b 2 1, b 3 ]+zp[b 1 1, b 2, b 3 ], for b 1 3, b P[2, b 2, b 3 ] a b2 P[b 3 ] za 1 P[1, b 2 1, b 3 ] + zp[1, b 2, b 3 ], for b P[1, b 2, b 3 ] P[1, b 2 2, b 3 ] zp[1, b 2 1, b 3 ] + za b2 P[b 3 ], for b 2 3. v. P[b 1, 1, b 3 ] P[b 1 2, 1, b 3 ] za 1 b1 P[b 3 + 1]+zP[b 1 1, 1, b 3 ], for b 1 3. v. P[2, 1, b 3 ] ap[b 3 ] za 1 P[b 3 + 1] + zp[1, 1, b 3 ]. v. P[1, 2, b 3 ] P[b 3 + 1] zp[1, 1, b 3 ] + za 2 P[b 3 ]. v. P[1, 1, b 3 ] a b3 zp[b 3 + 1] + zap[b 3 ]. Note that the algorthm that allowed us to arrve at Lemma 3 nvolved only the two leftmost groups of twsts n a dagram of length 3. Therefore, the above cases can be generalzed to a standard brad-form dagram of any odd length n wth postve half-twsts b. The one extra case we need to consder before we generalze the statement n Lemma 3 s the standard dagram of length 5, D[1, 1, b 3, 1, b 5 ], shown n Fgure b 3 b 5 Fgure 12. Standard dagram D[1, 1, b 3, 1, b 5 ]

8 8 CARMEN CAPRAU AND KATHERINE URABE The Dubrovnk sken relaton appled to the leftmost crossng n the dagram D[1, 1, b 3, 1, b 5 ] yelds the followng expresson: P[1, 1, b 3, 1, b 5 ] a b3 P[1 + b 5 ] zp[b 3 + 1, 1, b 5 ] + zap[b 3, 1, b 5 ]. Theorem 1. The Dubrovnk polynomal of a standard brad-form dagram D[b 1, b 2,..., b n ] wth n odd and postve twsts satsfes the followng relatons: P[b 1, b 2,..., b n ] P[b 1 2, b 2,..., b n ] za 1 b1 P[1, b 2 1,..., b n ] +zp[b 1 1, b 2,..., b n ], for b 1 3, b 2 2. P[2, b 2,..., b n ] a b2 P[b 3..., b n ] za 1 P[1, b 2 1,..., b n ] +zp[1, b 2,..., b n ], for b 2 2. P[1, b 2,..., b n ] P[1, b 2 2,..., b n ] zp[1, b 2 1,..., b n ] +za b2 P[b 3..., b n ], for b 2 3. P[b 1, 1, b 3,..., b n ] P[b 1 2, 1, b 3,..., b n ] za 1 b1 P[b 3 + 1,..., b n ] +zp[b 1 1, 1, b 3,..., b n ] for b 1 3. P[2, 1, b 3,..., b n ] ap[b 3,..., b n ] za 1 P[b 3 + 1,..., b n ] + zp[1, 1, b 3,..., b n ] P[1, 2, b 3,..., b n ] P[b 3 + 1,..., b n ] zp[1, 1, b 3,..., b n ] + za 2 P[b 3,..., b n ] P[1, 1, b 3, b 4,..., b n ] a b3 P[1, b 4 1,..., b n ] zp[b 3 + 1, b 4,..., b n ] +zap[b 3, b 4,..., b n ] for b 4 2. P[1, 1, b 3, 1, b 5,..., b n ] a b3 P[1 + b 5,..., b n ] zp[b 3 + 1, 1, b 5,..., b n ] +zap[b 3, 1, b 5,..., b n ]. Proof. The statement follows from Lemma 3 and the dscusson followng t. Note that the standard brad-form dagrams appearng n both sdes of any of the relatons n Theorem 1 have the same party. From the patterns of these relatons, the second named author wrote a program n Mathematca R (see Appendx whch computes the Dubrovnk polynomal of any ratonal knot from a standard bradform dagram. It s worth notng that although we began the reducton algorthm at the leftmost secton of twsts for programmng purposes, begnnng the reducton at the rght hand sde of the brad-form dagram reduces the number of cases needed to be consdered. Ths s because the Dubrovnk sken relaton, when appled to the rght hand sde of the dagram, does not result n dagrams (states whch are not n brad form, and thus does not requre the sldng move. 4. Coeffcent polynomals and a reducton formula In ths secton we use the mechancs of the Dubrovnk sken relaton descrbed n Secton 3, to create an expresson for the Dubrovnk polynomal of a standard brad-form dagram relatve to the number of half-twsts n a partcular secton. Our approach s motvated by the consstent recurrence of what we wll call the coeffcent polynomals of the Dubrovnk polynomal for the reduced dagrams. To begn wth, we borrow a notaton from [3] and consder a famly of lnks L m (where m s an nteger whch are dentcal except wthn a certan ball, where they have the segment ndcated as n Fgure 13. Thus we are consderng lnks that are dentcal except for a chosen secton of twsts (see Fgure 14 for an example.

9 A FORMULA FOR THE DUBROVNIK POLYNOMIAL OF RATIONAL KNOTS 9 L m, m > 0 L m, m < 0 L 0 L L + L Fgure 13. The famly of lnks L m For our purposes, L (or L + s used n conjuncton wth L m for m > 0 (or m < 0. We wll explctly show the case of D[b 1,..., b n ] for all b s postve (the negatve case s treated smlarly. The dagram L + or L appears n our reducton formula because of the possblty that we could have a secton wth one halftwst (unlke n [3], where all b s are even. As dscussed prevously, applyng the Dubrovnk sken relaton to a secton of one half-twst results n changes to the next secton of twsts, whch L + and L address. We begn by consderng a secton of m > 0 half-twsts n the rghtmost block of twsts n a standard dagram D[b 1,..., b n ], where n s odd and all b s are postve. Fgure 14 shows a famly L m for m 3. m 3 L m L 0 L L Fgure 14. An example for L m, m 3 Remark 1. In Secton 3 we dscussed how applyng the Dubrovnk sken relaton affects a dagram. Observe that snce the A-state reduces a dagram by one half-twst, t s equvalent to L m 1,.e., t has m 1 half-twsts n the chosen secton. In addton, the swtched-crossng state reduces the dagram by two halftwsts, and therefore, t s equvalent to L m 2. The trcker part s the relatonshp of the B-state wth L m. The Dubrovnk sken relaton appled to the rghtmost crossng n a standard dagram D[b 1,..., b n ] results n a B-state whose polynomal evaluaton s a 1 bn P[b 1,..., b n 1 ] for n odd and a bn 1 P[b 1,..., b n 1 ] for n even. On the other hand, the polynomal evaluaton, P (L, of the dagram L s a m bn P[b 1,..., b n 1 ] f n s odd and a bn m P[b 1,..., b n 1 ] f n s even. Therefore the evaluaton of the B-state s a 1 m P (L for n odd and a m 1 P (L for n even. Therefore, the Dubrovnk sken relaton appled at the rghtmost crossng n the dagram D[b 1,..., b n ] wth n odd can be rewrtten as (4.1 P (L m P (L m 2 za 1 m P (L + zp (L m 1.

10 10 CARMEN CAPRAU AND KATHERINE URABE 4.1. Recurrence relatons for the coeffcent polynomals. Let A m denote the coeffcent of P (L, B m the coeffcent of P (L 0, and C m the coeffcent of P (L. We wll show that we have the followng recurrence relatons: A m za m 1 + A m 2, B m zb m 1 + B m 2, and C m a 1 C m 1 + zb m 1, where m > 2. Before that, we prove three lemmas nvolvng these coeffcents. m Lemma 4. Let B m (z 0 ( m z m 2, for m N. Then B m zb m 1 + B m 2, for all m > 2. Proof. Let B m be as above, where m > 2. Then, we have: zb m 1 + B m 2 z m 1 0 m 1 0 m 1 1 ( m 1 z m ( m 1 m z m ( m 1 m z m m 2 0 ( m 2 z m 2 2 z m 2 ( m 1 1 ( m 1 z m 2 + z m. 1 Case 1: m odd. Then m 1 m 2. Thus we have m 1 m 1 m 1 m 0 ( m 1 m ( m 1 z m 2 + z m 2 + z m 1 [( m 1 z m 2 + ( m z m 2 + z m ( m z m 2 B m. 1 ( m 1 1 ] + z m

11 A FORMULA FOR THE DUBROVNIK POLYNOMIAL OF RATIONAL KNOTS 11 Case 2: m even. Then m 1 m 2 1, and we have: m 1 1 m 1 1 ( m 1 m z m [( m 1 z m 2 + ( m +z m 2 m m 1 m 1 m 1 1 m 1 0 m 0 ( m 1 z m 2 + z m 1 ( m 1 1 ] + z m ( ( m m z m 2 + z m + z m 2 m m ( ( m m z m 2 + z m 2 m m ( m z m 2 B m. Therefore, the statement holds for both m odd and even. 1 m 1 1 m 1 Lemma 5. Let A m (z m 1 0 ( m 1 z m 1 2, for m N. Then A m za m 1 + A m 2, for m > 2. Proof. Note that A 1 1 and A m B m 1 for m > 1, where B m s defned as n Lemma 4. Therefore, the statement follows by substtutng m 1 for m n Lemma 4. Lemma 6. Let C m (z, a m j1 0 for m N. Then the followng hold: ( j 1 m z j 2 a j m and B m (z C m a 1 C m 1 + zb m 1, for m > 1 C m C m 2 + za 1 m + zc m 1, for m > 2. Proof. Consderng C m and B m as above, we have the followng: m 1 a 1 C m 1 + zb m 1 a 1 +z m j1 j1 m ( j 1 z j 2 a j m+1 ( m 1 z m 1 2 ( j 1 z j 2 a j m C m. 0 ( m z m 2,

12 12 CARMEN CAPRAU AND KATHERINE URABE Therefore, the frst equalty holds. We verfy now the second equalty. We observe frst that C m 2 + za 1 m + zc m 1 m 2 j1 +z 0 m 1 j1 ( j 1 z j 2 a j m+2 + za 1 m 0 ( j 1 z j 2 a j m+1. In addton, by dvdng out by a m, we obtan and C m m a m za + j2 0 ( j 1 z j 2 a j C m 2 + za 1 m + zc m 1 a m m 2 j1 +z 0 m 1 j1 ( j 1 z j 2 a j+2 + za 0 ( j 1 z j 2 a j+1. Thus t suffces to show that (4.2 m j2 0 ( j 1 z j 2 a j m 2 j1 +z 0 m 1 j1 ( j 1 z j 2 a j+2 0 ( j 1 z j 2 a j+1. Let s take a look at the rght hand sde of the above equalty. RHS m 2 j1 m j3 m j3 a j+2 a j a j j 3 0 j m j 3 a j z j j3 ( m 1 j 1 z j 2 + z ( j 3 z j z ( j 3 z j j1 m j2 m j3 ( j 3 z a j a j j 2 0 a j+1 j 2 0 j ( j 1 z j 2 ( j 2 z j 1 2 ( j 2 z j 2 + a 2 z 2 ( j 2 z 2 + a 2 z 2.

13 A FORMULA FOR THE DUBROVNIK POLYNOMIAL OF RATIONAL KNOTS 13 Let S be the nsde of the sum above. Then, we have S ( j 3 z ( j 2 z j 2 1 j 2 0 ( j 2 z 2 z 2 ( j Case 1: If j s even then j 2 2. Therefore, we have S [( j 2 z ( j 1 z ( j 1 z 2. Case 2: If j s odd then j 2. Then, we have S 1 ( j 2 j 1 z Breakng off the last term of the frst part, we get S 1 1 ( j 2 j 1 z ( j 1 2 j 2 j 1 +z z 2 [( j 2 1 ( j 1 2 j 2 j 1 +z z 2 ( j 1 ( j 2 ( j 2 + ] + 1 ( j 2 z ( j 2 z ] + 1 ( j 1 2 j 2 j z 1 Snce j s odd, j 2p + 1 for some p N. Then 2 p, so ( j 2 j 1 ( ( j p 2 j p 1 1 for the choce of j above. p 1 p 1,.

14 14 CARMEN CAPRAU AND KATHERINE URABE Therefore, n ether case, we get that the sum S satsfes the followng equalty: S 0 Hence, our full orgnal equaton becomes: m j 3 RHS a j z j j3 j3 0 m a j z j 0 m a j z j j2 0 ( j 1 z 2. ( j 3 z ( j 1 z 2 + a 2 z 2 ( j 1 z 2, j 2 0 ( j 2 z 2 + a 2 z 2 whch shows that the dentty (4.2 holds. Consequently, the second equalty n the statement holds The reducton formulas. Lemmas 4 6 and our prevous analyss lead to the followng result, whch we call the frst reducton formula (compare wth [15, Theorem 1.14]; we wll gve more detals on ths comparson n Remark 2. Theorem 2. Let m be a postve nteger and consder a famly of lnk dagrams L 0, L, L and L m whch are dentcal except wthn a ball where they dffer as ndcated n Fgure 13. Then (4.3 P (L m A m P (L + B m P (L 0 C m P (L, where A m B m 1 for m > 1 and A 1 1 B m m ( m z m 2 C m 0 m j1 0 ( j 1 z j 2 a j m. Proof. We wll proceed by nducton on m. If m 1, then A 1 1, B 1 C 1 z and the equaton (4.3 s merely the Dubrovnk sken relaton. Thus the statement holds trvally for m 1. Let m 2. Then A 2 z, B 2 z 2 + 1, and C 2 za 1 + z 2. By the Dubrovnk sken relaton, P (L 2 P (L 0 za 1 P (L + zp (L 1 and P (L 1 P (L zp (L + zp (L 0. Substtutng P (L 1 n the dentty for P (L 2, we obtan P (L 2 P (L 0 za 1 P (L + zp (L z 2 P (L + z 2 P (L 0 zp (L + (z 2 + 1P (L 0 (za 1 + z 2 P (L. Therefore, the equaton (4.3 holds for m 2.

15 A FORMULA FOR THE DUBROVNIK POLYNOMIAL OF RATIONAL KNOTS 15 Suppose that (4.3 holds for all 3 m 1, N. In Remark 1, we showed that the Dubrovnk sken relaton appled at the rghtmost crossng n a standard brad-form dagram of odd length can be rewrtten as follows: P (L m P (L m 2 za 1 m P (L + zp (L m 1. Note that by the way we defned L m, the dagrams L 0, L and L are the same regardless of the chosen m. Substtutng our assumed formula n for P (L m 1 and P (L m 2, yelds P (L m [A m 2 P (L + B m 2 P (L 0 C m 2 P (L ] za 1 m P (L +z[a m 1 P (L + B m 1 P (L 0 C m 1 P (L ] [A m 2 + za m 1 ]P (L + [B m 2 + zb m 1 ]P (L 0 Employng Lemmas 4 6, we obtan whch completes the proof. [C m 2 + za 1 m + zc m 1 ]P (L. P (L m A m P (L + B m P (L 0 C m P (L, Remark 2. The coeffcents A m (z and B m (z used n Theorem 2 are a verson of the Chebyshev polynomals. (We thank Serge Chmutov and Jozef Przytyck for pontng ths to us. The Chebyshev polynomals of the second knd, U m (x, satsfy the ntal condtons U 0 (x 1, U 1 (x 2x and the recursve relaton It s an easy exercse to verfy that U m (x 2xU m 1 (x U m 2 (x, for m > 1. A m (z 1 m U m 1 ( z 2, for all m 1, where 2 1. We remark that Jozef Przytyck obtaned (see [15] a smlar reducton formula as the one we gave n Theorem 2 (we thank hm for tellng us about ths. The formula n [15, Theorem 1.14] presents the 2-varable Kauffman polynomal (not the Dubrovnk polynomal of a lnk dagram L m wth m > 0 n terms of the polynomals of the assocated lnk dagrams L 0, L and L + (not L. The polynomals v (m 1 (z n [15, Theorem 1.14] are related to our coeffcent polynomals A m (z as follows: A m (z 1 m v (m 1 (z for m 1. We consder now the case m < 0, to obtan the second reducton formula. Gven a standard dagram D[b 1,..., b n ] wth n even and b > 0 for all 1 n, we consder a block of m half-twsts n the rghtmost secton of twsts n the dagram. Snce n s even and all b s are postve, the rghtmost secton of twsts n the dagram s n the upper row, whch corresponds to the case m < 0. We gve the resultng statement below. Theorem 3. Let m be a negatve nteger and consder a famly of lnk dagrams L 0, L +, L and L m whch are dentcal except wthn a ball where they dffer as ndcated n Fgure 13. Then the followng equalty holds: (4.4 P (L m A m P (L + + B m P (L 0 C m P (L,

16 16 CARMEN CAPRAU AND KATHERINE URABE where A m B m+1 for m < 1 and A 1 1 B m C m m 0 m j1 ( z m 2 ( m 0 ( z j 2 a m j ( j 1 Proof. The proof s smlar to the proof for Theorem 2; we use nducton on m. If m 1 then A 1 1, B 1 C 1 z and f m 2 then A 2 z, B 2 z 2 + 1, C 2 za + z 2. By the Dubrovnk sken relaton, P (L 1 P (L + zp (L 0 + zp (L, and thus the formula (4.4 holds for m 1. Moreover, P (L 2 P (L 0 +zap (L zp (L 1 and equvalently,. P (L 2 zp (L + + (z 2 + 1P (L 0 ( za + z 2 P (L. Thus the statement holds for m 2. Now we suppose that the statement holds for all negatve ntegers larger than m, and we prove t holds for m. By the Dubrovnk sken relaton, we have P (L m P (L m+2 + za m 1 P (L zp (L m+1. A word of clarfcaton s needed here, snce m s negatve. In the above notaton, the dagrams L m+1 and L m+2 contan 1 and, respectvely, 2 less half-twsts s the consdered secton of twsts. By the nducton hypothess, P (L m+1 A m+1 P (L + + B m+1 P (L 0 C m+1 P (L P (L m+2 A m+2 P (L + + B m+2 P (L 0 C m+2 P (L. Substtutng these nto the above expresson for P (L m, we obtan: P (L m (A m+2 za m+1 P (L + + (B m+2 zb m+1 P (L 0 (C m+2 za m 1 zc m+1 P (L. Smlar proofs as n Lemmas 4 6 can be gven to show that for m < 2, we have A m za m+1 + A m+2 B m zb m+1 + B m+2 C m zc m+1 za m+1 + C m+2, and therefore, the desred formula (4.4 holds for m. Remark 3. Consder a standard brad-form dagram D[b 1,..., b n ] wth all b s postve (and wth n odd or even. Applyng Theorems 2 and 3 recursvely for m b n, we can wrte the Dubrovnk polynomal P[b 1,..., b n ] n terms of polynomals

17 A FORMULA FOR THE DUBROVNIK POLYNOMIAL OF RATIONAL KNOTS 17 assocated to standard brad-form dagrams wth fewer sectons of twsts, as follows: P[b 1,..., b n ] bn ( (ɛ n z bn 2 bn P[b 1,..., b n 1, 0] 0 + bn 1 0 b n j1 (ɛ n z bn 1 2 ( bn 1 0 (ɛ n z j 2 a ɛn(j bn ( j 1 P[b 1,..., b n 1, 1] P[b 1,..., b n 1, ], where ɛ n ( 1 n 1. Usng that P[b 1,..., b n 1, 0] a ɛnbn 1 P [b 1,..., b n 2 ] and that the followng dagrams are equvalent as lnks: D[b 1,..., b n 1, 1] D[b 1,..., b n 1 1], D[b 1,..., b n 1, ] D[b 1,..., b n 1 ], we obtan that (4.5 bn ( P[b 1,..., b n ] a ɛnbn 1 (ɛ n z bn 2 bn P[b 1,..., b n 2 ] + bn 1 0 b n j1 0 (ɛ n z bn 1 2 ( bn 1 0 (ɛ n z j 2 a ɛn(j bn ( j 1 P[b 1,..., b n 1 1] P[b 1,..., b n 1 ], for all n > 2. Note that the sgn ɛ n ( 1 n 1 s necessary for swtchng n our computatons between m < 0 and m > 0 (see Fgure 13, as the calculatons swtch between reducng lower and upper rows of a standard brad-form dagram. Observe that reducng a lower row (or upper row corresponds to an odd-length (or even-length standard brad-form dagram. For a gven standard dagram D[b 1,..., b n 1, b n ] wth all b s postve and n > 2 (where n s odd or even, let x n,bn : P[b 1,..., b n 1, b n ] and x n,bn 1 : P[b 1,..., b n 1, b n 1]. More generally, let and x n,k : P[b 1,..., b n 1, k], where k b n x n 1,bn 1 : P[b 1,..., b n 1 ] and x n 2,bn 2 : P[b 1,..., b n 2 ]. Thus the frst subscrpt n n x n,k stands for the length of a standard dagram and the second subscrpt k corresponds to the number of half-twsts n the rghtmost secton of twsts n the gven dagram. It s mportant to note that the ntegers b 1,..., b n 1 are fxed n the notaton for x n,k.

18 18 CARMEN CAPRAU AND KATHERINE URABE (4.6 Wth ths new notaton, the formula n (4.5 becomes: bn ( x n,bn a ( 1n 1 b n 1 (( 1 n 1 z bn 2 bn + bn 1 0 b n j1 0 (( 1 n 1 z bn 1 2 ( bn 1 x n 2,bn 2 x n 1,bn 1 1 ( (( 1 n 1 z j 2 a ( 1n 1 (j b n j 1 0 x n 1,bn 1, Ths formula gves the Dubrovnk polynomal of a standard brad-form dagram of length n n terms of the polynomals of standard dagrams of lengths n 1 and n 2, greatly reducng the amount of the necessary teratons, when compared to the defnng sken relaton alone. For a standard dagram D[b 1,..., b n 1, b n ] wth b s postve and n > 2, we let (4.7 (4.8 (4.9 bn ( r n,bn : a ( 1n 1 b n 1 (( 1 n 1 z bn 2 bn p n,bn : l n,bn : bn 1 0 b n j1 The dentty (4.6 becomes x n,bn or equvalently, (4.10 P[b 1,..., b n ] 0 (( 1 n 1 z bn 1 2 ( bn 1 ( (( 1 n 1 z j 2 a ( 1n 1 (j b n j 1 0 l n,bn x n 1,bn 1 + r n,bn x n 2,bn 2 + p n,bn x n 1,bn 1 1 l n,bn P[b 1,..., b n 1 ] + r n,bn P[b 1,..., b n 2 ] + p n,bn P[b 1,..., b n 1 1]. Note that the terms n equaton (4.10 depend on the fxed ntegers b n 1 and b n 2, whch are determned by the form of the orgnal standard dagram D[b 1,..., b n 1, b n ]. Applyng the Dubrovnk sken relaton for dagrams D[b 1 ] and D[b 1, b 2 ] wth both b 1 and b 2 postve, we see that the denttes (4.6 and (4.10 hold for n 1 and n 2 f we set x 0,b0 1, x 1,b 1 z 1 a + 1 z 1 a 1 and x 0,b0 1 a 1. We defne b 0 0 and b 1 0, and therefore x 1,b 1 x 0,b0 x 0,0 1 x 1,0 z 1 a + 1 z 1 a 1 x 0,b0 1 x 0, 1 a 1. ( Note that x 1,0 P 1. Therefore, wth the above conventons, the equaltes (4.6 and (4.10 hold for all n N..

19 A FORMULA FOR THE DUBROVNIK POLYNOMIAL OF RATIONAL KNOTS A closed-form formula for the Dubrovnk polynomal Now that we have a formula for the Dubrovnk polynomal of a standard bradform dagram n terms of polynomals of standard dagrams of shorter lengths, t s one more step to obtan a closed-form expresson for the Dubrovnk polynomal of the orgnal dagram. Specfcally, we seek a closed-form expresson for x n,bn n terms of a, z and the entres of the n-tuple (b 1,..., b n 1, b n assocated wth a standard dagram D[b 1,..., b n 1, b n ]. For ths, t s convenent to consder frst a more general stuaton represented by the followng lemma. Lemma 7. Gven a standard brad-form dagram D[b 1,..., b n 1, b n ] of length n and wth b > 0 for all 1 n, let l,j, r,j and p,j be elements of a certan commutatve rng R (here we are nterested n R Z[a ±1, z ±1 ] and defne recurrently the sequence x n,bn, n 1, of elements n R by the relaton (5.1 x n,bn l n,bn x n 1,bn 1 + r n,bn x n 2,bn 2 + p n,bn x n 1,bn 1 1, for n 1 where x 1,0, x 0,0, and x 0, 1 are fxed elements n R, and b 0 b 1 0. Let F be the set of all strctly decreasng nteger sequences f {f 1, f 2,..., f l }, where f 1 n, f f +1 1 or 2, f l 0 or 1, and only one of 0 or 1 s present n a sequence f (that s, f f l 1 then f l 1 0. { Each f c or d, and f f d 1 f f 1 d 1 then f f For each f f, let t f 0 f f 1 c 1. Then x n,bn can be wrtten n terms of the ntal condtons x 1,0, x 0,0, and x 0, 1 and the elements l,j, r,j and p,j as follows: x n,bn (5.2 x fl,b fl t fl l f,b f t f r f,b f t f p f,b f t f f F where λ(f ρ(f λ(f { f c and c f +1 1} ρ(f { f c and c f +1 2} γ(f { f d and d f +1 1}. γ(f Proof. The formula descrbes the tree of calculatons resultng from successve applcatons of the recurrence formula (5.1. We represent the computatonal tree usng a layered rooted tree (as n [3], where each layer collects the coeffcents l,j, r,j, and p,j. Moreover, each layer corresponds to all terms x,j whose frst subscrpt s. The l-edges and r-edges are drawn on the left and mddle, respectvely, at a vertex n the tree. Accordng to the formula for x n,bn, the l-edges are of length 1 and r-edges of length 2; that s, the l-edges connect vertces n the tree that are at one level apart, and the r-edges connect vertces that are at two levels apart. Smlarly, the p-edges are of length 1. We draw the p-edges to the rght, and color them red. Fgure 15 shows a computatonal tree wth n 3. The set of nteger sequences F generates the possble paths from the root to a leaf of the tree. Each sequence f corresponds to a unque branch n the tree, wth f representng a vertex of the path. An entry c n a sequence f corresponds to travelng along the left or mddle edge ncdent to a vertex f located at the -th level n the tree. On the other hand, an entry d n f corresponds to travelng along the rght edge at that vertex. Any path n the tree produces a product of l-, r-, and p-coeffcents,

20 20 CARMEN CAPRAU AND KATHERINE URABE Fgure 15. Computatonal tree for n 3 and the expresson for x n,bn s the sum over all paths n the tree, where each path starts from the hghest level and ends at a leaf of the tree. To obtan our desred closed-form formula for the Dubrovnk polynomal of a standard brad-form dagram D[b 1,..., b n ] wth all b > 0 postve, we combne Lemma 7 wth the reducton formulas provded n Theorem 2 and Theorem 3 (and the assocated formula (4.10 n Remark 3. Specfcally, we assocate the vertces n the layered tree of Lemma 7 wth the (Dubrovnk polynomal of ratonal knot dagrams n standard brad-form obtaned by successve applcatons of the reducton formulas n Theorem 2 and Theorem 3. The root of the tree corresponds to the gven ratonal knot dagram. Each vertex v n the tree s assocated wth a dagram L m as n Theorem 2 (f m > 0 or Theorem 3 (f m < 0, and the three descendants of v correspond to the dagrams L, L 0 and L (or L + assocated wth L m. Fgure 15 depcts the computatonal tree for a standard brad-form dagram of length 3. Notce that the l-, r-, and p-coeffcents correspond to the coeffcent polynomals C m (z, a, B m (z and A m (z, respectvely, ntroduced n Secton 4. The p-edges n a computatonal tree are hghlghted n red to dfferentate them from the other edges n the tree, as they reduce a dfferent standard dagram than the other edges, namely D[b 1,..., b 1], decreasng not only the number of sectons of twsts n the dagram but also the number of half-twsts n the rghtmost secton of twsts. Theorem 4. Let D[b 1,..., b n ] be a standard brad-form dagram wth b > 0 for all 1 n. Then P[b 1,..., b n ] x fl,b fl t fl f F λ(f ρ(f γ(f a ( 1f 1 b f 1 b f t f 1 0 b f t f j1 b f t f 0 ( (( 1 f 1 z j 2 a ( 1f 1 (j b f +t f j 1 0 ( (( 1 f 1 z b f t f 2 bf t f ( (( 1 f 1 z b f t f 1 2 bf t f 1 where F s the set of all strctly decreasng nteger sequences f {f 1, f 2,..., f l }, where f 1 n, f f +1 1 or 2, f l 0 or 1, and only one of 0 or 1 s,

21 A FORMULA FOR THE DUBROVNIK POLYNOMIAL OF RATIONAL KNOTS 21 present n the sequence f (that s, f f l 1 then f l 1 { 0. Each f c or 1 f f 1 d 1 d, and f f d then f f For f f, t f 0 f f 1 c 1. λ(f { f c and c f +1 1}, ρ(f { f c and c f +1 2}, γ(f { f d and d f +1 1}, x 0,0 1, x 1,0 z 1 a + 1 z 1 a 1 and x 0, 1 a 1. Proof. The statement follows from Lemma 7 and Remark 3. The Dubrovnk polynomal of a standard brad-form dagram D[b 1,..., b n ] wth all b < 0 s obtaned from the closed-form formula (gven n Theorem 4 for the Dubrovnk polynomal for the dagram D[ b 1,..., b n ], n whch one s applyng the replacements a a 1 and z z. That s, P[b 1,..., b n ](a, z P[ b 1,..., b n ](a 1, z, b < 0, 1 n. Example 1. We compute the Dubrovnk polynomal for the standard dagram D[4, 3, 5] depcted n Fgure 16. Fgure 16. Standard dagram D[4, 3, 5] The length of the dagram s n 3 and there are 17 possbltes for the sequences n F, whch are gven n the frst column of Table 1. To dfferentate c s and d s n a sequences f F, we denote d s wth a subscrpt p. In ths table, the second and thrd columns lst the terms c f correspondng to λ(f and ρ(f, respectvely. The fourth column lsts the terms d f correspondng to γ(f. The last column collects the product of the coeffcents correspondng to each branch n the tree; each such product s a term n the Dubrovnk polynomal P[4, 3, 5] assocated wth the standard dagram D[4, 3, 5]. The tree that corresponds to a standard dagram of length 3 s gven n Fgure 15. Recall that each sequence f corresponds to a path n the tree startng from the root at level 3 and endng at a leaf, recordng the level for each vertex n the path and wrtng a subscrpt p (whch marks d s for the vertces where we chose the rghtmost edge hghlghted n red. To see how and why the computatonal tree works, let the vertces of the tree correspond to the followng polynomals, whch we evaluate usng the formula (5.1 n Lemma 7: P[4, 3, 5] l 3,5 P[4, 3] + r 3,5 P[4] + p 3,5 P[4, 2] P[4, 3] l 2,3 P[4] + r 2,3 x 0,0 + p 2,3 P[3] P[4, 2] l 2,2 P[4] + r 2,2 x 0,0 + p 2,2 P[3] P[4] l 1,4 x 0,0 + r 1,4 x 1,0 + p 1,4 x 0, 1 P[3] l 1,3 x 0,0 + r 1,3 x 1,0 + p 1,3 x 0, 1.

22 22 CARMEN CAPRAU AND KATHERINE URABE f λ(f {c } ρ(f {c } γ(f {d } products of coeffcents {3,2,1,0} {3, 2, 1} l 3,5 l 2,3 l 1,4 x 0,0 {3, 2, 1, 1} {3, 2} {1} l 3,5 l 2,3 r 1,4 x 1,0 {3, 2, 1 p, 0} {3, 2} {1 p } l 3,5 l 2,3 p 1,4 x 0, 1 {3, 2, 0} {3} {2} l 3,5 r 2,3 x 0,0 {3, 2 p, 1, 0} {3, 1} {2 p } l 3,5 p 2,3 l 1,3 x 0,0 {3, 2 p, 1, 1} {3} {1} {2 p } l 3,5 p 2,3 r 1,3 x 1,0 {3, 2 p, 1 p, 0} {3} {2 p, 1 p } l 3,5 p 2,3 p 1,3 x 0, 1 {3, 1, 0} {1} {3} r 3,5 l 1,4 x 0,0 {3, 1, 1} {3, 1} r 3,5 r 1,4 x 1,0 {3, 1 p, 0} {3} {1 p } r 3,5 p 1,4 x 0, 1 {3 p, 2, 1, 0} {2, 1} {3 p } p 3,5 l 2,2 l 1,4 x 0,0 {3 p, 2, 1, 1} {2} {1} {3 p } p 3,5 l 2,2 r 1,4 x 1,0 {3 p, 2, 1 p, 0} {2} {3 p, 1 p } p 3,5 l 2,2 p 1,4 x 0, 1 {3 p, 2, 0} {2} {3 p } p 3,5 r 2,2 x 0,0 {3 p, 2 p, 1, 0} {1} {3 p, 2 p } p 3,5 p 2,2 l 1,3 x 0,0 {3 p, 2 p, 1, 1} {1} {3 p, 2 p } p 3,5 p 2,2 r 1,3 x 1,0 {3 p, 2 p, 1 p, 0} {3 p, 2 p, 1 p } p 3,5 p 2,2 p 1,3 x 0, 1 Table 1. Paths and terms for computng P[4, 3, 5] Thus and Therefore, we have P[4, 3] l 2,3 P[4] + r 2,3 x 0,0 + p 2,3 P[3] l 2,3 (l 1,4 x 0,0 + r 1,4 x 1,0 + p 1,4 x 0, 1 + r 2,3 x 0,0 +p 2,3 (l 1,3 x 0,0 + r 1,3 x 1,0 + p 1,3 x 0, 1 l 2,3 l 1,4 x 0,0 + l 2,3 r 1,4 x 1,0 + l 2,3 p 1,4 x 0, 1 + r 2,3 x 0,0 +p 2,3 l 1,3 x 0,0 + p 2,3 r 1,3 x 1,0 + p 2,3 p 1,3 x 0, 1 P[4, 2] l 2,2 P[4] + r 2,2 x 0,0 + p 2,2 P[3] l 2,2 (l 1,4 x 0,0 + r 1,4 x 1,0 + p 1,4 x 0, 1 + r 2,2 x 0,0 +p 2,2 (l 1,3 x 0,0 + r 1,3 x 1,0 + p 1,3 x 0, 1 l 2,2 l 1,4 x 0,0 + l 2,2 r 1,4 x 1,0 + l 2,2 p 1,4 x 0, 1 + r 2,2 x 0,0 +p 2,2 l 1,3 x 0,0 + p 2,2 r 1,3 x 1,0 + p 2,2 p 1,3 x 0, 1. P[4, 3, 5] l 3,5 P[4, 3] + r 3,5 P (D[4] + p 3,5 P[4, 2] l 3,5 l 2,3 l 1,4 x 0,0 + l 3,5 l 2,3 r 1,4 x 1,0 + l 3,5 l 2,3 p 1,4 x 0, 1 +l 3,5 r 2,3 x 0,0 + l 3,5 p 2,3 l 1,3 x 0,0 + l 3,5 p 2,3 r 1,3 x 1,0 +l 3,5 p 2,3 p 1,3 x 0, 1 + r 3,5 l 1,4 x 0,0 + r 3,5 r 1,4 x 1,0 +r 3,5 p 1,4 x 0, 1 + p 3,5 l 2,2 l 1,4 x 0,0 + p 3,5 l 2,2 r 1,4 x 1,0 +p 3,5 l 2,2 p 1,4 x 0, 1 + p 3,5 r 2,2 x 0,0 + p 3,5 p 2,2 l 1,3 x 0,0 +p 3,5 p 2,2 r 1,3 x 1,0 + p 3,5 p 2,2 p 1,3 x 0, 1.

23 A FORMULA FOR THE DUBROVNIK POLYNOMIAL OF RATIONAL KNOTS 23 Note that ths result concdes wth the sum of the products n the last column n Table 1, whch are obtaned from the computatonal tree n Fgure 15 and ts assocated paths. Usng the relatons (4.7 through (4.9 and the chart of paths, we obtan P[4, 3, 5] a 4 2a2 + 3a 4 + 2z a 5 + z a 5az + 2a3 z 18z 2 + 2z2 a 8 + 3z2 a 6 + 6z2 a 4 6a 2 z a 4 z 2 + 3z3 a 7 + 5z4 a z4 a z4 a z3 a 5 33az 5 6a 3 z 5 36z 6 + 3z6 a 6 + 9z7 a z7 a + 5z3 a 3 + 5z3 a 6a 2 z a 4 z 4 + 2z5 a z6 a z6 a 2 18az7 5a 3 z 7 16z 8 + 4z8 a 4 + 3z9 a 3 + 4z9 a 6az9 a 3 z 9 3z z10 a 2 where we used that x 0,0 1, x 1,0 z 1 a + 1 z 1 a 1, x 0, 1 a 1 26az3 + a 3 z 3 43z 4 + z4 a z5 a z5 a z5 a + 2a 2 z 6 + 7a 4 z 6 + 4z7 a 5 + 7z8 a 2 + 4a2 z 8 + a 4 z 8 + a 2 z 10 + z11 a az11, l 3,5 1(za 4 + z 2 a 3 + z 3 a 2 + za 2 + z 4 a 1 + 2z 2 a 1 + z 5 + 3z 3 + z r 3,5 a 3 (z 5 + 4z 3 + 3z, p 3, z 2 + z 4 l 2,3 1( z za 2 + z 2 a z 3, r 2,3 1(2z + z 3 a 4, p 2,3 1 + z 2 l 1,4 1(za 3 + z 2 a 2 + z 3 a 1 + za 1 + z 4 + 2z 2 r 1,4 z 4 + 3z 2 + 1, p 1,4 z 3 + 2z l 1,3 (z + za 2 + z 2 a 1 + z 3, r 1,3 2z + z 3, p 1,3 1 + z 2 l 2,2 za z 2, r 2,2 a 4 (z 2 + 1, p 2,2 z. 6. Appendx Ths appendx contans the Mathematca R code wrtten by the second named author, whch computes the Dubrovnk polynomal P[b 1, b 2,..., b n ] based on successve teratons of the Dubrovnk sken relaton appled to the left hand sde of a standard brad-form dagram of a ratonal knot, as shown n Secton 3. Clear[f, a, c, d, b1, z, b2, b3, b4, b5, btal, ] f[1, {1}] c; f[1, {2}] d; f[1, {b1_}] : f[1, {b1}] f[1, {b1-2 }] - z (a^(1 - b1 - f[1, {b1-1}] f[2, {1, 1}] : d; f[2, {1, 2}] : f[2, {1, 2}] a^(-1 - z (d - a^2; f[2, {2, 1}] : f[2, {2, 1}] a - z a^(-2 + z (f[2, {1, 1}]; f[2, {1, b2_}] : f[2, {1, b2}] f[2, {1, b2-2}] - z (f[2, {1, b2-1}] - a^b2; f[2, {2, b2_}] : f[2, {2, b2}]

24 24 CARMEN CAPRAU AND KATHERINE URABE a^b2 - z (a^(-1 f[2, {1, b2-1}] - f[2, {1, b2}]; f[2, {b1_, 1}] : f[2, {b1, 1}] f[1, {b1 + 1}]; f[2, {b1_, b2_}] : f[2, {b1, b2}] f[2, {b1-2, b2}] - z (a^(1 - b1 f[2, {1, b2-1}] - f[2, {b1-1, b2}] f[3, {1, 1, b3_}] : f[3, {1, 1, b3}] a^(-b3 - z (f[1, {b3 + 1}] - a f[1, {b3}]; f[3, {1, 2, b3_}] : f[3, {1, 2, b3}] f[1, {b3 + 1}] - z (f[3, {1, 1, b3}] - a^2 f[1, {b3}]; f[3, {2, 1, b3_}] : f[3, {2, 1, b3}] a f[1, {b3}] - z (a^(-1 f[1, {b3 + 1}] - f[3, {1, 1, b3}]; f[3, {1, b2_, b3_}] : f[3, {1, b2, b3}] f[3, {1, b2-2, b3}] - z (f[3, {1, b2-1, b3}] - a^b2 f[1, {b3}]; f[3, {2, b2_, b3_}] : f[3, {2, b2, b3}] a^b2 f[1, {b3}] - z (a^(-1 f[3, {1, b2-1, b3}] - f[3, {1, b2, b3}]; f[3, {b1_, 1, b3_}] : f[3, {b1, 1, b3}] f[3, {b1-2, 1, b3}] - z (a^(1 - b1 f[1, {b3 + 1}] - f[3, {b1-1, 1, b3}]; f[3, {b1_, b2_, b3_}] : f[3, {b1, b2, b3}] f[3, {b1-2, b2, b3}] - z (a^(-b1 + 1 f[3, {1, b2-1, b3}] - f[3, {b1-1, b2, b3}] f[4, {1, 1, b3_, 1}] : f[4, {1, 1, b3, 1}] a^(-1 - b3 - z (f[2, {b3 + 1, 1}] - a f[2, {b3, 1}]; f[4, {1, 1, b3_, b4_}] : f[4, {1, 1, b3, b4}] a^(-b3 f[2, {1, b4-1}] - z (f[2, {b3 + 1, b4}] - a f[2, {b3, b4}]; f[4, {2, 1, b3_, b4_}] : f[4, {2, 1, b3, b4}] a f[2, {b3, b4}] - z (a^(-1 f[2, {b3 + 1, b4}] - f[4, {1, 1, b3, b4}]; f[4, {1, 2, b3_, b4_}] : f[4, {1, 2, b3, b4}] f[2, {b3 + 1, b4}] - z (f[4, {1, 1, b3, b4}] - a^2 f[2, {b3, b4}]; f[4, {1, b2_, b3_, b4_}] : f[4, {1, b2, b3, b4}] f[4, {1, b2-2, b3, b4}] - z (f[4, {1, b2-1, b3, b4}] - a^b2 f[2, {b3, b4}]; f[4, {2, b2_, b3_, b4_}] : f[4, {2, b2, b3, b4}] a^b2 f[2, {b3, b4}] - z (a^(-1 f[4, {1, b2-1, b3, b4}] - f[4, {1, b2, b3, b4}]; f[4, {b1_, 1, b3_, b4_}] : f[4, {b1, 1, b3, b4}] f[4, {b1-2, 1, b3, b4}] - z (a^(1 - b1 f[2, {b3 + 1, b4}] - f[4, {b1-1, 1, b3, b4}]; f[4, {b1_, b2_, b3_, b4_}] : f[4, {b1, b2, b3, b4}] f[4, {b1-2, b2, b3, b4}] - z (a^(-b1 + 1 f[4, {1, b2-1, b3, b4}]

25 A FORMULA FOR THE DUBROVNIK POLYNOMIAL OF RATIONAL KNOTS 25 - f[4, {b1-1, b2, b3, b4}] f[5, {1, 1, b3_, 1, b5_}] : f[5, {1, 1, b3, 1, b5}] a^(-b3 f[1, {1 + b5}] - z (f[3, {b3 + 1, 1, b5}] - a f[3, {b3, 1, b5}]; f[5, {1, 1, b3_, b4_, b5_}] : f[5, {1, 1, b3, b4, b5}] a^(-b3 f[3, {1, b4-1, b5}] - z (f[3, {b3 + 1, b4, b5}] - a f[3, {b3, b4, b5}]; f[5, {2, 1, b3_, b4_, b5_}] : f[5, {2, 1, b3, b4, b5}] a f[3, {b3, b4, b5}] - z (a^(-1 f[3, {b3 + 1, b4, b5}] - f[5, {1, 1, b3, b4, b5}]; f[5, {1, 2, b3_, b4_, b5_}] : f[5, {1, 2, b3, b4, b5}] f[3, {b3 + 1, b4, b5}] - z (f[5, {1, 1, b3, b4, b5}] - a^2 f[3, {b3, b4, b5}]; f[5, {1, b2_, b3_, b4_, b5_}] : f[5, {1, b2, b3, b4, b5}] f[5, {1, b2-2, b3, b4, b5}] - z (f[5, {1, b2-1, b3, b4, b5}] - a^b2 f[3, {b3, b4, b5}]; f[5, {2, b2_, b3_, b4_, b5_}] : f[5, {2, b2, b3, b4, b5}] a^b2 f[3, {b3, b4, b5}] - z (a^(-1 f[5, {1, b2-1, b3, b4, b5}] - f[5, {1, b2, b3, b4, b5}]; f[5, {b1_, 1, b3_, b4_, b5_}] : f[5, {b1, 1, b3, b4, b5}] f[5, {b1-2, 1, b3, b4, b5}] - z (a^(1 - b1 f[3, {b3 + 1, b4, b5}] - f[5, {b1-1, 1, b3, b4, b5}]; f[5, {b1_, b2_, b3_, b4_, b5_}] : f[5, {b1, b2, b3, b4, b5}] f[5, {b1-2, b2, b3, b4, b5}] - z (a^(-b1 + 1 f[5, {1, b2-1, b3, b4, b5}] - f[5, {b1-1, b2, b3, b4, b5}] f[_, {1, 1, b3_, 1, b5_, btal }] : f[, {1, 1, b3, 1, b5, btal}] a^(-b3 f[ - 4, {1 + b5, btal}] - z (f[ - 2, {b3 + 1, 1, b5, btal}] - a f[ - 2, {b3, 1, b5, btal}]; f[_, {1, 1, b3_, b4_, btal }] : f[, {1, 1, b3, b4, btal}] a^(-b3 f[ - 2, {1, b4-1, btal}] - z (f[ - 2, {b3 + 1, b4, btal}] - a f[ - 2, {b3, b4, btal}]; f[_, {2, 1, b3_, btal }] : f[, {2, 1, b3, btal}] a f[ - 2, {b3, btal}] - z (a^(-1 f[ - 2, {b3 + 1, btal}] - f[, {1, 1, b3, btal}]; f[_, {1, 2, b3_, btal }] : f[, {1, 2, b3, btal}] f[ - 2, {b3 + 1, btal}] - z (f[, {1, 1, b3, btal}] - a^2 f[ - 2, {b3, btal}]; f[_, {1, b2_, btal }] : f[, {1, b2, btal}] f[, {1, b2-2, btal}] - z (f[, {1, b2-1, btal}] - a^b2 f[ - 2, {btal}]; f[_, {2, b2_, btal }] : f[, {2, b2, btal}] a^b2 f[ - 2, {btal}]

26 26 CARMEN CAPRAU AND KATHERINE URABE - z (a^(-1 f[, {1, b2-1, btal}] - f[, {1, b2, btal}]; f[_, {b1_, 1, b3_, btal }] : f[, {b1, 1, b3, btal}] f[, {b1-2, 1, b3, btal}] - z (a^(1 - b1 f[ - 2, {b3 + 1, btal}] - f[, {b1-1, 1, b3, btal}]; f[_, {b1_, b2_, btal }] : f[, {b1, b2, btal}] f[, {b1-2, b2, btal}] - z (a^(-b1 + 1 f[, {1, b2-1, btal}] - f[, {b1-1, b2, btal}] c : a; e : a^(-1; d : z^(-1 a - z^(-1 a^( z a^(-1 + z a; The code for negatve b s s gven below. Clear[f, a, c, d, b1, z, b2, b3, b4, b5, btal, ] f[1, {-1}] e; f[1, {-2}] d; f[1, {b1_}] : f[1, {b1}] f[1, {b1 + 2 }] + z (a^(-1 - b1 - f[1, {b1 + 1}] f[2, {-1, -1}] : d; f[2, {-1, -2}] : f[2, {-1, -2}] a + z (d - a^(-2; f[2, {-2, -1}] : f[2, {-2, -1}] a^(-1 + z (a^2 - f[2, {-1, -1}]; f[2, {-1, b2_}] : f[2, {-1, b2}] f[2, {-1, b2 + 2}] + z (f[2, {-1, b2 + 1}] - a^b2; f[2, {-2, b2_}] : f[2, {-2, b2}] a^b2 + z (a f[2, {-1, b2 + 1}] - f[2, {-1, b2}]; f[2, {b1_, -1}] : f[2, {b1, -1}] f[1, {b1-1}]; f[2, {b1_, b2_}] : f[2, {b1, b2}] f[2, {b1 + 2, b2}] + z (a^(-1 - b1 f[2, {-1, b2 + 1}] - f[2, {b1 + 1, b2}] f[3, {-1, -1, b3_}] : f[3, {-1, -1, b3}] a^(-b3 + z (f[1, {b3-1}] - a^(-1 f[1, {b3}]; f[3, {-1, -2, b3_}] : f[3, {-1, -2, b3}] f[1, {b3-1}] + z (f[3, {-1, -1, b3}] - a^(-2 f[1, {b3}]; f[3, {-2, -1, b3_}] : f[3, {-2, -1, b3}] a^(-1 f[1, {b3}] + z (a f[1, {b3-1}] - f[3, {-1, -1, b3}]; f[3, {-1, b2_, b3_}] : f[3, {-1, b2, b3}] f[3, {-1, b2 + 2, b3}] + z (f[3, {-1, b2 + 1, b3}] - a^b2 f[1, {b3}]; f[3, {-2, b2_, b3_}] : f[3, {-2, b2, b3}] a^b2 f[1, {b3}] + z (a f[3, {-1, b2 + 1, b3}] - f[3, {-1, b2, b3}]; f[3, {b1_, -1, b3_}] : f[3, {b1, -1, b3}] f[3, {b1 + 2, -1, b3}] + z (a^(-1 - b1 f[1, {b3-1}] - f[3, {b1 + 1, -1, b3}]; f[3, {b1_, b2_, b3_}] : f[3, {b1, b2, b3}]

27 A FORMULA FOR THE DUBROVNIK POLYNOMIAL OF RATIONAL KNOTS 27 f[3, {b1 + 2, b2, b3}] + z (a^(-b1-1 f[3, {-1, b2 + 1, b3}] - f[3, {b1 + 1, b2, b3}] f[4, {-1, -1, b3_, -1}] : f[4, {-1, -1, b3, -1}] a^(1 - b3 + z (f[2, {b3-1, -1}] - a^(-1 f[2, {b3, -1}]; f[4, {-1, -1, b3_, b4_}] : f[4, {-1, -1, b3, b4}] a^(-b3 f[2, {-1, b4 + 1}] + z (f[2, {b3-1, b4}] - a^(-1 f[2, {b3, b4}]; f[4, {-2, -1, b3_, b4_}] : f[4, {-2, -1, b3, b4}] a^(-1 f[2, {b3, b4}] + z (a f[2, {b3-1, b4}] - f[4, {-1, -1, b3, b4}]; f[4, {-1, -2, b3_, b4_}] : f[4, {-1, -2, b3, b4}] f[2, {b3-1, b4}] + z (f[4, {-1, -1, b3, b4}] - a^(-2 f[2, {b3, b4}]; f[4, {-1, b2_, b3_, b4_}] : f[4, {-1, b2, b3, b4}] f[4, {-1, b2 + 2, b3, b4}] + z (f[4, {-1, b2 + 1, b3, b4}] - a^b2 f[2, {b3, b4}]; f[4, {-2, b2_, b3_, b4_}] : f[4, {-2, b2, b3, b4}] a^b2 f[2, {b3, b4}] + z (a f[4, {-1, b2 + 1, b3, b4}] - f[4, {-1, b2, b3, b4}]; f[4, {b1_, -1, b3_, b4_}] : f[4, {b1, -1, b3, b4}] f[4, {b1 + 2, -1, b3, b4}] + z(a^(-1 - b1 f[2, {b3-1, b4}] - f[4, {b1 + 1, -1, b3, b4}]; f[4, {b1_, b2_, b3_, b4_}] : f[4, {b1, b2, b3, b4}] f[4, {b1 + 2, b2, b3, b4}] + z (a^(-b1-1 f[4, {-1, b2 + 1, b3, b4}] - f[4, {b1 + 1, b2, b3, b4}] f[5, {-1, - 1, b3_, -1, b5_}] : f[5, {-1, -1, b3, -1, b5}] a^(-b3 f[1, {b5-1}] + z (f[3, {b3-1, -1, b5}] - a^(-1 f[3, {b3, -1, b5}]; f[5, {-1, -1, b3_, b4_, b5_}] : f[5, {-1, -1, b3, b4, b5}] a^(-b3 f[3, {-1, b4 + 1, b5}] + z (f[3, {b3-1, b4, b5}] - a^(-1 f[3, {b3, b4, b5}]; f[5, {-2, -1, b3_, b4_, b5_}] : f[5, {-2, -1, b3, b4, b5}] a^(-1 f[3, {b3, b4, b5}] + z (a f[3, {b3-1, b4, b5}] - f[5, {-1, -1, b3, b4, b5}]; f[5, {-1, -2, b3_, b4_, b5_}] : f[5, {-1, -2, b3, b4, b5}] f[3, {b3-1, b4, b5}] + z (f[5, {-1, -1, b3, b4, b5}] - a^(-2 f[3, {b3, b4, b5}]; f[5, {-1, b2_, b3_, b4_, b5_}] : f[5, {-1, b2, b3, b4, b5}] f[5, {-1, b2 + 2, b3, b4, b5}] + z (f[5, {-1, b2 + 1, b3, b4, b5}] - a^b2 f[3, {b3, b4, b5}]; f[5, {-2, b2_, b3_, b4_, b5_}] : f[5, {-2, b2, b3, b4, b5}] a^b2 f[3, {b3, b4, b5}] + z (a f[5, {-1, b2 + 1, b3, b4, b5}] - f[5, {-1, b2, b3, b4, b5}]; f[5, {b1_, -1, b3_, b4_, b5_}] : f[5, {b1, -1, b3, b4, b5}]

28 28 CARMEN CAPRAU AND KATHERINE URABE f[5, {b1 + 2, -1, b3, b4, b5}] + z (a^(-1 - b1 f[3, {b3-1, b4, b5}] - f[5, {b1 + 1, -1, b3, b4, b5}]; f[5, {b1_, b2_, b3_, b4_, b5_}] : f[5, {b1, b2, b3, b4, b5}] f[5, {b1 + 2, b2, b3, b4, b5}] + z (a^(-b1-1 f[5, {-1, b2 + 1, b3, b4, b5}] - f[5, {b1 + 1, b2, b3, b4, b5}] f[_, {-1, -1, b3_, -1, b5_, btal }] : f[, {-1, -1, b3, -1, b5, btal}] a^(-b3 f[ - 4, {b5-1, btal}] + z (f[ - 2, {b3-1, -1, b5, btal}] - a^(-1 f[ - 2, {b3, -1, b5, btal}]; f[_, {-1, -1, b3_, b4_, btal }] : f[, {-1, -1, b3, b4, btal}] a^(-b3 f[ - 2, {-1, b4 + 1, btal}] + z (f[ - 2, {b3-1, b4, btal}] - a^(-1 f[ - 2, {b3, b4, btal}]; f[_, {-2, -1, b3_, btal }] : f[, {-2, -1, b3, btal}] a^(-1 f[ - 2, {b3, btal}] + z (a f[ - 2, {b3-1, btal}] - f[, {-1, -1, b3, btal}]; f[_, {-1, -2, b3_, btal }] : f[, {-1, -2, b3, btal}] f[ - 2, {b3-1, btal}] + z (f[, {-1, -1, b3, btal}] - a^(-2 f[ - 2, {b3, btal}]; f[_, {-1, b2_, btal }] : f[, {-1, b2, btal}] f[, {-1, b2 + 2, btal}] + z (f[, {-1, b2 + 1, btal}] - a^b2 f[ - 2, {btal}]; f[_, {-2, b2_, btal }] : f[, {-2, b2, btal}] a^b2 f[ - 2, {btal}] + z (a f[, {-1, b2 + 1, btal}] - f[, {-1, b2, btal}]; f[_, {b1_, -1, b3_, btal }] : f[, {b1, -1, b3, btal}] f[, {b1 + 2, -1, b3, btal}] + z (a^(-1 - b1 f[ - 2, {b3-1, btal}] - f[, {b1 + 1, -1, b3, btal}]; f[_, {b1_, b2_, btal }] : f[, {b1, b2, btal}] f[, {b1 + 2, b2, btal}] + z (a^(-b1-1 f[, {-1, b2 + 1, btal}] - f[, {b1 + 1, b2, btal}]. References [1] G. Burde, Verschlngungsnvaranten von Knoten und Verkettungen mt zwe Brücken, Math. Zetschrft 145 (1975, [2] J. Conway, An enumeraton of knots and lnks and some of ther algebrac propertes, Proceedngs of the conference on computatonal problems n Abstract Algebra held at Oxford n 1967, 1st Ed. Pergamon Press (1970, [3] S. Duzhn and M. Shkolnkov, A formula for the HOMFLY polynomal of ratonal lnks; preprnt 2011; arxv: math.gt/ [4] P. Freyd, D. Yetter, J. Hoste, W.B.R. Lckorsh, K. Mllett and A. Ocneanu, A new polynomal nvarant of knots and lnks, Bull. Am. Math. Soc. 12 (1985, [5] J. Goldman, L. Kauffman, Ratonal tangles, Advances n Appled Math. 18 (1997, [6] L. Kauffman, An nvarant of regular sotopy, Trans. Amer. Math. Soc. 318, No. 2 (1990,