Ropelength and finite type invariants

Ropelength, crossing number and finite type invariants of links

Abstract.

Ropelength and embedding thickness are related measures of geometric complexity of classical knots and links in Euclidean space. In their recent work, Freedman and Krushkal posed a question regarding lower bounds for embedding thickness of -component links in terms of the Milnor linking numbers. The main goal of the current paper is to provide such estimates, and thus generalizing the known linking number bound. In the process, we collect several facts about finite type invariants and ropelength/crossing number of knots. We give examples of families of knots, where such estimates outperform the well known knot–genus estimate.

Supported by NSF DMS 1043009 and DARPA YFA N66001-11-1-4132 during the years 2011-2015

1. Introduction

Given an –component link (we assume class embeddings) in –space

(1.1)

its ropelength is the ratio of length , which is a sum of lengths of individual components of , to reach or thickness: , i.e. the largest radius of the tube embedded as a normal neighborhood of . The ropelength within the isotopy class of is defined as

(1.2)

(in [7] it is shown that the infimum is achieved within and the minimizer is of class ). A related measure of complexity, called embedding thickness was introduced recently in [16], in the general context of embeddings’ complexity. For links, the embedding thickness of is given by a value of its reach assuming that is a subset of the unit ball in (note that any embedding can be scaled and translated to fit in ). Again, the embedding thickness of the isotopy class is given by

(1.3)

For a link , the volume of the embedded tube of radius is , [20] and the tube is contained in the ball of radius , yielding

(1.4)

In turn a lower bound for gives an upper bound for and vice versa. For other measures of complexity of embeddings such as distortion or Gromov-Guth thickness see e.g. [21], [22].

Bounds for the ropelength of knots, and in particular the lower bounds, have been studied by many researchers, we only list a small fraction of these works here [4, 5, 7, 12, 11, 10, 14, 29, 37, 39, 30, 38]. Many of the results are applicable directly to links, but the case of links is treated in more detail by Cantarella, Kusner and Sullivan [7] and in the earlier work of Diao, Ernst, and Janse Van Rensburg [13] concerning the estimates in terms of the pairwise linking number. In [7], the authors introduce a cone surface technique and show the following estimate, for a link (defined as in (1.1)) and a given component [7, Theorem 11]:

(1.5)

where is the maximal total linking number between and the other components of . A stronger estimate was obtained in [7] by combining the Freedman and He [17] asymptotic crossing number bound for energy of divergence free fields and the cone surface technique as follows

(1.6)

where is the asymptotic crossing number (c.f. [17]) and the second inequality is a consequence of the estimate , where is a minimal genus among surfaces embedded in , [17, p. 220] (in fact, Estimate (1.6) subsumes Estimate (1.5) since ). A relation between and the higher linking numbers of Milnor, [32, 33] is unknown and appears difficult. The following question, concerning the embedding thickness, is stated in [16, p. 1424]:

Question A.

Let be an -component link which is Brunnian (i.e. almost trivial in the sense of Milnor [32]). Let be the maximum value among Milnor’s -invariants with distinct indices i.e. among . Is there a bound

(1.7)

for some constant , independent of the link ? Is there a bound on the crossing number in terms of ?

Recall that the Milnor –invariants of , are indexed by a subset of component indexes1 . These are a well known link homotopy invariants (if all the indexes in are different in ) of –component links are often referred to simply as Milnor linking numbers or higher linking numbers, [32, 33]. The –invariants are defined as certain residue classes

(1.8)

where are coefficients of the Magnus expansion of the th longitude of in , and is a certain subset of lower order Milnor invariants, c.f. [33]. Regarding as an element of , (or , whenever ) let us define

(1.9)

Our main result addresses Question A for general –component links (without the Brunnian assumption) as follows.

Theorem A.

Let be an -component link and one of its top Milnor linking numbers, then

(1.10)

In the context of Question A, the estimate of Theorem A transforms, using (1.4), as follows

Naturally, Question A can be asked for knots and links and lower bounds in terms of finite type invariants in general. Such questions have been raised for instance in [6], where the Bott-Taubes integrals [3, 40] have been suggested as a tool for obtaining estimates.

Question B.

Can we find estimates for ropelength of knots/links, in terms of their finite type invariants?

In the remaining part of this introduction let us sketch the basic idea behind our approach to Question B, which relies on the relation between the finite type invariants and the crossing number.

Note that since is scale invariant, it suffices to consider unit thickness knots, i.e. together with the unit radius tube neighborhood (i.e. ). In this setting, just equals the length of . From now on we assume unit thickness, unless stated otherwise. In [4], Buck and Simon gave the following estimates for , in terms of the crossing number of :

(1.11)

Clearly, the first estimate is better for knots with large crossing number, while the second one can be sharper for low crossing number knots (which manifests itself for instance in the case of the trefoil). Recall that is a minimal crossing number over all possible knot diagrams of within the isotopy class of . The estimates in (1.11) are a direct consequence of the ropelength bound for the average crossing number2 of (proven in [4, Corollary 2.1]) i.e.

(1.12)

In Section 4, we obtain an analog of (1.11) for –component links () in terms of the pairwise crossing number3 , as follows

(1.13)

For low crossing number knots, the Buck and Simon bound (1.11) was further improved by Diao [10] as follows:4

(1.14)

On the other hand, there are well known estimates for in terms of finite type invariants of knots. For instance,

(1.15)

Lin and Wang [28] considered the second coefficient of the Conway polynomial (i.e. the first nontrivial type invariant of knots) and proved the first bound in (1.15). The second estimate of (1.15) can be found in Polyak–Viro’s work [36]. Further, Willerton, in his thesis [41] obtained estimates for the “second”, after , finite type invariant of type , as

(1.16)

In the general setting, Bar-Natan [2] shows that if is a type invariant then . All these results rely on the arrow diagrammatic formulas for Vassiliev invariants developed in the work of Goussarov, Polyak and Viro [19].

Clearly, combining (1.15) and (1.16) with (1.11) or (1.14), immediately yields lower bounds for ropelength in terms of the Vassiliev invariant. One may take these considerations one step further and extend the above estimates to the case of the th coefficient of the Conway polynomial , with the help of arrow diagram formulas for , obtained recently in [8, 9]. In Section 3, we follow the Polyak–Viro’s argument of [36] to obtain

Theorem B.

Given a knot , we have the following crossing number estimate

(1.17)

Combining (1.17) with Diao’s lower bound (1.14) one obtains

Corollary C.

For a unit thickness knot ,

(1.18)

A somewhat different approach to ropelength estimates is due to Cantarella, Kusner and Sullivan. In [7], they introduce a cone surface technique, which combined with the asymptotic crossing number, , bound of Freedman and He, [17] gives

(1.19)

where the second bound follows from the knot genus estimate of [17]: .

When comparing Estimate (1.19) and (1.18), in favor of Estimate (1.18), we may consider a family of pretzel knots: where is the number of signed crossings in the th tangle of the diagram, see Figure 1. Additionally, for a diagram to represent a knot one needs to assume either both and all are odd or one of the is even, [23].

Figure 1. pretzel knots.

Genera of selected subfamilies of pretzel knots are known, for instance [18, Theorem 13] implies

where , , are odd integers with the same sign (for the value of see a table in [18, p. 390]). Concluding, the lower bound in (1.18) can be made arbitrary large by letting , while the lower bound in (1.19) stays constant for any values of , , , under consideration. Yet another5 example of a family of pretzel knots with constant genus one and arbitrarily large –coefficient is , , , where is the sign of (e.g. ). For any such , we have .

The paper is structured as follows: Section 3 is devoted to a review of arrow polynomials for finite type invariants, and Kravchenko-Polyak tree invariants in particular, it also contains the proof Theorem B. Section 4 contains information on the average overcrossing number for links and link ropelength estimates analogous to the ones obtained by Buck and Simon [4] (see Equation (1.12)). The proof of Theorem A is presented in Section 5, together with final comments and remarks.

2. Acknowledgements

Both authors acknowledge the generous support of NSF DMS 1043009 and DARPA YFA N66001-11-1-4132 during the years 2011-2015. The first author extends his thanks to Jason Cantarella, Jason Parsley and Clayton Shonkwiler for stimulating conversations about ropelength during the Entanglement and linking workshop in Pisa, 2012. The results of the current paper grew out of considerations in the second author’s doctoral thesis [31].

Figure 2. knot and its Gauss diagram (all crossings are positive).

3. Arrow polynomials and finite type invariants

Recall from [8], the Gauss diagram of a knot is a way of representing signed overcrossings in a knot diagram, by arrows based on a circle (Wilson loop, [1]) with signs encoding the sign of the crossing; see Figure 2 showing the knot and its Gauss diagram. Given a Gauss diagram of a knot, the arrow diagrammatic formulas of [19, 35] are defined simply as a signed count of selected subdiagrams in . For instance the second coefficient of the Conway polynomial is given by the signed count of in , denoted as

(3.1)

where the sum is over all graph embeddings of into , and the sign is a product of signs of corresponding arrows in . For example in the Gauss diagram of knot on Figure 2, there are two possible embeddings of into the diagram. One matches the pair of arrows and another the pair , since all crossings are positive we obtain .

Figure 3. Turning a one-component chord diagram with a base point into an arrow diagram

For other even coefficients of the Conway polynomial, [9] provides the following recipe for their arrow polynomials. Given , consider any chord diagram , on a single circle component with chords, such as , , . A chord diagram is said to be a -component diagram, if after parallel doubling of each chord according to , the resulting curve will have – components. For instance is a –component diagram and is a –component diagram. For the coefficients , only one component diagrams will be of interest and we turn a one-component chord diagram with a base point into an arrow diagram according to the following rule [9]:

Starting from the base point we move along the diagram with doubled chords. During this journey we pass both copies of each chord in opposite directions. Choose an arrow on each chord which corresponds to the direction of the first passage of the copies of the chord (see Figure 3 for the illustration).

We call, the arrow diagram obtained according to this method, the ascending arrow diagram and denote by the sum of all based one-component ascending arrow diagrams with arrows. For example and is shown below (c.f. [9, p. 777]).

In [9], the authors show for , that the coefficient of the Conway polynomial of equals

(3.2)
Theorem B.

Given a knot , we have the following crossing number estimate

(3.3)
Proof.

Given and its Gauss diagram , let index arrows of (i.e. crossings of a diagram of used to obtain ). For diagram term in the sum , and embedding covers a certain element subset of crossings in we denote by . Denote by the set of all possible embeddings , and

Note that for for and for , thus for each we have an injective map

where . extends in an obvious way to the whole disjoint union , as , and remains injective. In turn, for every we have

Further, each arrow in indexed by , either agrees with the orientation of the Wilson loop (then we say it is a right arrow) or not (then it is a left arrow), thus , where is the subset of left arrows and the subset or right arrows with cardinalities and , . Since each arrow diagram has exactly right arrows and left arrows we must have

The left hand side is maximized for and thus we obtain

which proves the first inequality in (3.3). The second inequality is a simple consequence of Stirling’s approximation: . ∎

Next, we turn to arrow polynomials for Milnor linking numbers. In [26] Kravchenko and Polyak introduced tree invariants of string links and established their relation to Milnor linking numbers via the skein relation of Polyak [34]. In the recent paper, the authors6 [24] showed that the arrow polynomials of Kravchenko and Polyak, applied to Gauss diagrams of closed based links, yield certain –invariants (as defined in (1.8)). For a purpose of the proof of Theorem A, it suffices to give a recursive definition, provided by the authors in [24], for the arrow polynomial of denoted by . Changing the convention, adopted for knots, we follow [26], [24] and use vertical segments (strings) oriented downwards in place of circles (Wilson loops) as components.

Figure 4. Elementary trees and and the arrow polynomial.

The polynomial is obtained from by expanding each term of through stacking elementary tree diagrams and , shown on Figure 4. We begin with the initial tree , shown on Figure 4(right), and expand by stacking and on the strings of , this is shown on Figure 5, we avoid stacking on the first component (called the trunk, [24]). Thus is obtained as , where , , and . The sign of each term is , number of arrows pointing to the left, and denotes stacking onto the th string. Also, when obtaining terms of , during the stacking process, we must pay attention and eliminate isomorphic (duplicate) diagrams.

{overpic}

[width=.5]Z_2_1-to-Z_23_1

Figure 5. Obtaining from via stacking and .

Given , the main result of [24] (see also [25] for a related result) yields the following formula

(3.4)

where , a Gauss diagram of an –component link , and the indeteminacy is defined in (1.8). For , we obtain the usual linking number

(3.5)

For and the arrow polynomials can be obtained following the stacking procedure as follows

and

Given a formula for all remaining –invariants with distinct indices can be obtained from the following permutation identity (for )

(3.6)

By (3.4), (3.6) and (1.8) we have

(3.7)

where is the arrow polynomial obtained from by permuting the strings according to .

Remark D.

One of the properties of –invariants is their cyclic symmetry, [33, Equation (21)], i.e. given a cyclic permutation , we have

4. Overcrossing number of links

We will denote by a regular diagram of a link , and by , the diagram obtained by the projection of onto the plane normal to a vector7 . For a pair of components and in , define the overcrossing number in the diagram and the pairwise crossing number of components and in i.e.

(4.1)

In the following, we also use the average overcrossing number and average pairwise crossing number of components and in , defined as an average over all , , i.e.

(4.2)
Lemma E.

Given a unit thickness link , and any –component sublink :

(4.3)

for , .

Proof.

Consider the Gauss map of and :

If is a regular value of (which happens for the set of full measure on ) then

i.e. stands for number of times the –component of passes over the –component, in the projection of onto the plane in normal to . As a direct consequence of Federer’s coarea formula [15] (see e.g. [31] for a proof)

(4.4)

where is the normalized area form on the unit sphere in . Assuming the arc–length parametrization by and of the components we have and therefore:

(4.5)

Combining Equations (4.4) and (4.5) yields

(4.6)

where is often called illumination of from the point , [4]. Following the approach of [4], and [6] we estimate . Denote by the ball at of radius , and the length of a portion of within the spherical shell: , where of and the radius . Note that, because the distance between and is at least , the unit thickness tube about is contained entirely in for big enough . Clearly, is nondecreasing. Since the volume of a unit thickness tube of length is , comparing the volumes we obtain

For a given ; , using the monotone rearrangement of , [27], we further obtain

and integrating with respect to the –parameter, we obtain

Since the argument works for any choice of and estimates in Equation (4.3) are proven. The second estimate in (4.3) follows immediately from the fact that . ∎

From the Gauss linking integral

thus we immediately recover the result of [13] (but with a specific constant):

(4.7)

Summing up over all possible pairs: , , and using the symmetry of the linking number we have

From Jensen’s Inequality [27], we know that and , therefore

(4.8)

Analogously, using the second estimate in (4.7) and Jensen’s Inequality, yields

We obtain

Corollary F.

Let be an -component link (), then

(4.9)

In terms of growth of the pairwise linking numbers , for a fixed , the above estimate performs better than the one in (1.5). One may also replace with the isotopy invariant8

(4.10)

we call the pairwise crossing number of . This conclusion can be considered as an analog of the Buck and Simon estimate (1.11) for knots, and is stated in the following

Corollary G.

Let be an -component link, and its pairwise crossing number, then

(4.11)

5. Proof of Theorem A

The following auxiliary lemma will be useful.

Lemma H.

Given nonnegative numbers: , …, we have for :

(5.1)
Proof.

It suffices to observe that for the ratio achieves its maximum for . ∎

Recall from (1.8) that , and

(5.2)

For convenience, recall the statement of Theorem A

Theorem A.

Let be an -component link of unit thickness, and one of its top Milnor linking numbers, then

(5.3)
Proof.

Let be a Gauss diagram of obtained from a regular link diagram . Consider, any term of the arrow polynomial: and index the arrows of by , in such a way that is the arrowhead and is the arrowtail, we have the following obvious estimate: