Braid Index Bounds Ropelength From Below
Yuanan Diao

TL;DR
This paper establishes a lower bound on the ropelength of any link based on its absolute braid index, linking geometric and topological properties of links.
Contribution
It introduces the concept of absolute braid index and proves it provides a universal lower bound for the ropelength of links.
Findings
Ropelength is bounded below by a constant times the absolute braid index.
Defines the absolute braid index as the maximum braid index over all orientations.
Establishes a fundamental link between geometric length and topological complexity.
Abstract
For an un-oriented link , let be the ropelength of . It is known that when has more than one component, different orientations of the components of may result in different braid index. We define the largest braid index among all braid indices corresponding to all possible orientation assignments of the {\em absolute braid index} of and denote it by . In this paper, we show that there exists a constant such that for any , {\em i.e.}, the ropelength of any link is bounded below by its absolute braid index (up to a constant factor).
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsGeometric and Algebraic Topology · Advanced Combinatorial Mathematics · Homotopy and Cohomology in Algebraic Topology
Braid Index Bounds Ropelength From Below
Yuanan Diao
Department of Mathematics and Statistics
University of North Carolina Charlotte
Charlotte, NC 28223
Abstract.
For an un-oriented link , let be the ropelength of . It is known that when has more than one component, different orientations of the components of may result in different braid index. We define the largest braid index among all braid indices corresponding to all possible orientation assignments of the absolute braid index of and denote it by . In this paper, we show that there exists a constant such that for any , i.e., the ropelength of any link is bounded below by its absolute braid index (up to a constant factor).
Key words and phrases:
knots, links, braid index, ropelength.
2010 Mathematics Subject Classification:
Primary: 57M25; Secondary: 57M27
1. Introduction
An important geometric property of a link is its ropelength, defined (intuitively) as the minimum length of a unit thickness rope that can be used to tie the link. Let be an un-oriented link, be the minimum crossing number of and be the ropelength of . One way to understand the ropelength of a link is to associate it with the topological complexity of the link as measured by some link invariant. For example one can attempt to express the ropelength, or an estimate of it, of a link as a function of the minimum crossing number of the link. This turned out to be a very difficult problem in general and results are limited. For example, while it has been shown that for any nontrivial knot [4], the precise ropelength for any given nontrivial knot is not known. It has been shown in [1, 2] that in general and that this power can be attained by a family of infinitely many links [3, 6]. On the other hand, not all links obtain this power law since there exist families of infinitely many links such that the ropelength of a link from any of these families grows linearly as the crossing number of the link [10]. This result is based on the fact that the ropelength of a link is bounded below by the bridge number of the link (multiplied by some positive constant) and the fact that there are families of (infinitely many) links whose bridge numbers are proportional to their crossing numbers. To the knowledge of the author, the bridge number is the only known link invariant that has been used to establish the ropelength of a link. Of course, if a link has a small bridge number, then we would not be able to establish a good lower bound of the ropelength of the link using its bridge number. In this paper we show that the braid index of a link can also be used to bound the ropelength of the link from below (again up to the multiple of a positive constant).
For an un-oriented link with more than one component, different orientations of the components of may result in different braid index (an invariant of oriented links). We will call the largest braid index among all braid indices corresponding to different orientation assignments of the absolute braid index of and denote it by . In this paper, we show that there exists a constant such that for any , i.e., the ropelength of any link is bounded below by its absolute braid index (up to a constant factor). Since the bridge number of a link is smaller than or equal to its absolute braid index, and many links with bounded bridge numbers can have absolute braid indices proportional to their crossing numbers, this result will allow us to establish better ropelength lower bound for many more links.
2. Special cord diagrams and their Seifert diagrams
Definition 2.1**.**
Let be an oriented link and be a projection diagram of . Without loss of generality we will assume that the projection plane is . Let , , …, be simple arcs of . We say that , , …, form a special cord diagram (associated with ) if the following conditions hold: (i) the end points of , , …, do not cross each other and are distributed on a topological circle (in the projection plane ); (ii) the interiors of , , …, are completely within the disk bounded by ; (iii) does not intersect ; (iv) the arc on corresponding to resides in a slab defined by for some ; (v) if .**
Notice that by conditions (iv) and (v), a new special cord diagram can be obtained from a cord diagram by replacing each with a simple curve : the choice of is arbitrary so long as it is the projection of a curve that resides within the slab sharing the same end points with and is bounded within . The result is still a special cord diagram associated with where is the resulting new projection diagram which is still a projection diagram of . We say that is equivalent to . In other word, the cords have fixed end points but otherwise can move freely within .
Definition 2.2**.**
A Seifert diagram of a special cord diagram is the diagram obtained from the special cord diagram by smoothing all crossings in the diagram.**
Note: since we are only interested in the Seifert diagrams of special cord diagrams, the over/under strands of the crossings in the diagrams are not important to us and will not be shown in our figures. Also, in a Seifert diagram of a special cord diagram, there are only two types of curves: topological circles (Seifert circles) and simple curves with their end points on (we will call these partial Seifert circles). See Figure 1 for an illustration of a special cord diagram and its Seifert diagram.
Let us assign an (arbitrary) orientation. Consider an oriented simple curve with its end points on and its interior bounded within . We call the arc of that shares end points with and is parallel to (in terms of their orientations) the companion of and the region bounded by and the domain of .
Definition 2.3**.**
A special cord diagram is said to be coherent if we can choose an orientation of such that the Seifert diagram of satisfies the following conditions: (i) its Seifert circles (if there are any) are concentric to each other and all share the same orientation with ; (ii) the domain of any partial Seifert circle cannot contain any Seifert circles; (iii) if the domain of a a partial Seifert circle contains another partial Seifert circle, it must contain the entire domain of that partial Seifert circle.**
The special cord diagram as shown in Figure 1 is not coherent: no matter how we choose the orientation of , there is always a partial Seifert circle whose domain contains some Seifert circles. Figure 2 shows a coherent special cord diagram that is equivalent to it. The following lemma assures us that this is always possible.
Lemma 2.4**.**
Let be a special cord diagram with cords, then there exists a coherent special cord diagram that is equivalent to . Furthermore, the Seifert diagram of contains exactly partial Seifert circles and at most Seifert circles.
Proof.
Let us assign the clockwise orientation. We will prove the lemma by induction. The case of is trivial. Assume that the statement of the lemma holds for and let us consider the case for . Consider first the special cord diagram containing the first cords. By the induction assumption, there exists a coherent special cord diagram that is equivalent to such that its Seifert diagram contains partial Seifert circles and at most (concentric) Seifert circles which all have clockwise orientation. We will construct by choosing an appropriate (namely the last cord appropriately modified) starting from .
There are two cases to consider. In the first case, the intersection of the companion of (the last cord of ) with the companion of any other partial Seifert circle is either empty or a simply connected arc on . Figure 3 illustrates how may be chosen and the resulting Seifert diagram after all crossings have been smoothed. Notice that in the illustration we only showed Seifert circles and partial Seifert circles of . Although may have additional crossings with cords in the original diagram , once these crossings are smoothed, due to the orientation of the curves involved, it is easy to verify that the resulting Seifert circles and partial Seifert circles are as illustrated in Figure 3. It is clear that in this case we obtain a new coherent Seifert diagram with one additional partial Seifert circle and no additional Seifert circles. Thus the statement of the lemma holds for this case. In the second case, the intersection of the companion of with the companion of at least one other partial Seifert circle consists of two disconnected simple arcs on as shown in the left of Figure 4. The middle of Figure 4 shows how is constructed and the right side shows the resulting Seifert diagram: it has one additional partial Seifert circle and one additional Seifert circle. Again the statement of the lemma holds and this proves the lemma. ∎
3. Absolute braid index bounds the ropelength from below
Let us first consider links realized on the cubic lattice. Let be an un-oriented link and a realization of on the cubic lattice. The length of is denoted by and the minimum of over all lattice realization of is called the minimum step number of and is denoted by . One nice property of is that in theory it can be determined through exhaustive search. For example, it has been shown that , and for the trefoil [5], the figure 8 knot and for the knot [12]. However in reality the precise value of is also very difficult to determine and the above three examples are the only known results for nontrivial knots in fact. A line segment on between two neighboring lattice points is called a step. A step that is parallel to the -axis is called an -step. -steps and -steps are similarly defined. Let , and be the total number of -steps, -steps and -steps respectively, then . Without loss of generality, let us assume that hence and . We now consider the projection of to the -plane. The resulting diagram is not a regular one. However if we tilt slightly, then we will obtain a regular projection of and all crossings will occur near a lattice point on the -plane. At a lattice point where we see crossings of the projection, consider the arcs of the projection bounded by a unit square centered at the lattice point as shown in Figure 5. It is rather obvious that these arcs define a special cord diagram with each arc resides in a slab that is disjoint from other slabs that contain the other arcs, since each cord consists of two half steps that are parts of some and/or steps, and possibly some consecutive steps, hence two different cords is separated by a slab of thickness near one (without the tilt it would be precisely one).
Let be the number of lattice points where the projection of has intersections, and let be the number of arcs involved at the -th such lattice point. Now assign an orientation so that it yields . By Lemma 2.4, we can modify the special cord diagrams to make them coherent. The result is a regular projection which is an ambient isotopy of . After we smooth all crossings in , at the -th cord diagram, we obtain partial Seifert circles and at most Seifert circles. Each partial Seifert circles and each arc of that is not contained in these special cord diagrams must be connected to at least one other partial Seifert circle in order to form a complete Seifert circle, thus the total number of Seifert circles in formed by the partial Seifert circles and the arcs not in the cord diagrams is at most . It follows that the total number of Seifert circles in (denoted by ) is bounded above by . On the other hand, each cord in the special diagram has total length one in its and -step portion, hence the total length of the and -steps in the projection of is at least . Thus we have and it follows that
[TABLE]
It is well known that for any oriented link diagram , we have where is the number of Seifert circles in [13]. Since has the orientation that yields , we have . Since is arbitrary, replacing it by a step length minimizer of yields . Finally, it has been shown that [9], thus we have proven the following theorem:
Theorem 3.1**.**
Let be an un-oriented link, then , that is, .
In a recent paper, the author and his colleagues derived explicit formulas for braid indices of many alternating links including all alternating Montesinos links [8]. Using these formulas one can easily identify many families of alternating links with small bridge numbers but with braid indices proportional to their crossings numbers, these provide us new examples of link families whose ropelengths grow at least linearly as their crossing numbers (since the previously known method based on the bridge numbers would not get us these results). The following are just a few such examples.
Example 3.2**.**
Let be the torus link, a two component link with crossings. There are two different choices for the orientations of the two components. One of them yields a braid index of while the other yields a braid index of . Thus we have , hence and .**
Example 3.3**.**
Let be a twist knot with crossings. We have if is odd, and if is even. It follows that for any twist knot .**
Example 3.4**.**
Consider the pretzel knot a projection of which is given in Figure 6. since it is alternating. It can be calculated from the formulas given in [8] that . It follows that as well.**
Notice that in the above examples, the bridge numbers are either 2 or 3. Furthermore, since the link diagrams given in the above examples are all algebraic link diagrams, it is known that the ropelengths of these links grow at most linearly as their crossings numbers [7]. Thus the ropelengths of these links in fact grow linearly as their crossing numbers.
4. Further discussions
For an oriented link with a projection diagram , consider the HOMFLY-PT polynomial defined using the skein relation (and the initial condition if is the trivial knot). Let and be the highest and lowest powers of in and define . It is a well known result that where is the braid index of [11]. In the case that is un-oriented, similarly to the definition of , we define where is the set of oriented links obtained by assigning all possible orientations to the components of . Apparently we have hence we have the following theorem, which is handy when we do not have a precise formula for the braid index of the link.
Theorem 4.1**.**
Let be an un-oriented link, then and .
It has been conjectured that the ropelength of an alternating link is bounded below by a constant multiple of its crossing number. Our result shows that this conjecture holds for many alternating links. A remaining challenge is about the alternating links whose absolute braid index is small, for example the torus knot whose braid index is 2. While its minimum projection looks so much like the minimum projection of the torus link and it is quite plausible that its ropelength should behave linearly as its crossing number, we do not have a way to prove it! We end this paper with this problem as a challenge to our reader.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] G. Buck and J. Simon, Thickness and Crossing Number of Knots , Topology Appl. 91 (3) (1999), 245–257.
- 2[2] G. Buck, Four-thirds Power Law for Knots and Links , Nature, 392 (1998), 238–239.
- 3[3] J. Cantarella, R. Kusner and J. Sullivan, Tight knot values deviate from linear relations , Nature, 392 (1998), 237–238.
- 4[4] E. Denne, Y. Diao and J. Sullivan, Quadrisecants Give New Lower Bounds for the Ropelength of a Knot , Geometry and Topology, 10 (2006), 1–26.
- 5[5] Y. Diao, Minimal Knotted Polygons on the Cubic Lattice , J. Knot Theory Ramifications 2 (4) (1993), 413–425.
- 6[6] Y. Diao and C. Ernst, The Complexity of Lattice Knots , Topology and its Applications, 90 (1998), 1–9.
- 7[7] Y. Diao and C. Ernst, Hamiltonian Cycles and Ropelengths of Conway Algebraic Knots , J. Knot Theory Ramifications 15 (1) (2006), 121–142.
- 8[8] Y. Diao, C. Ernst, G. Hetyei and P. Liu, A Diagrammatic Approach for Determining the Braid Index of Alternating Links , 2019, preprint. Available at http://arxiv.org/abs/1901.09778 .
