Arxiv:2010.04188V1 [Math.GT] 8 Oct 2020 Knot Has Been “Pulled Tight”, Minimizing the Folded Ribbonlength
Total Page:16
File Type:pdf, Size:1020Kb
RIBBONLENGTH OF FAMILIES OF FOLDED RIBBON KNOTS ELIZABETH DENNE, JOHN CARR HADEN, TROY LARSEN, AND EMILY MEEHAN ABSTRACT. We study Kauffman’s model of folded ribbon knots: knots made of a thin strip of paper folded flat in the plane. The folded ribbonlength is the length to width ratio of such a ribbon knot. We give upper bounds on the folded ribbonlength of 2-bridge, (2; p) torus, twist, and pretzel knots, and these upper bounds turn out to be linear in crossing number. We give a new way to fold (p; q) torus knots, and show that their folded ribbonlength is bounded above by p + q. This means, for example, that the trefoil knot can be constructed with a folded ribbonlength of 5. We then show that any (p; q) torus knot K has a constant c > 0, such that the folded ribbonlength is bounded above by c · Cr(K)1=2, providing an example of an upper bound on folded ribbonlength that is sub-linear in crossing number. 1. INTRODUCTION Take a long thin strip of paper, tie a trefoil knot in it then gently tighten and flatten it. As can be seen in Figure 1, the boundary of the knot is in the shape of a pentagon. This observation is well known in recreational mathematics [4, 21, 34]. L. Kauffman [27] introduced a mathematical model of such a folded ribbon knot. Kauffman viewed the ribbon as a set of rays parallel to a polygo- nal knot diagram with the folds acting as mirrors, and the over-under information appropriately preserved. An overview of the history of folded ribbon knots can be found in [12]. FIGURE 1. On the left a folded ribbon trefoil knot. On the right, the folded trefoil arXiv:2010.04188v1 [math.GT] 8 Oct 2020 knot has been “pulled tight”, minimizing the folded ribbonlength. Date: October 6, 2020. 2020 Mathematics Subject Classification. 57K10. Key words and phrases. Knots, links, folded ribbon knots, ribbonlength, crossing number, 2-bridge knots, torus knots, pretzel knots, twist knots. 1 2 DENNE, HADEN, LARSEN, AND MEEHAN In Sections 2 and 3 we give review the formal definition of a folded ribbon knot and give some useful results about the local geometry of a fold. We also remind the reader about the folded rib- bonlength of a folded ribbon knot. This is the quotient of the length of the knot to the ribbon width. More formally, for a polygonal knot diagram K, the folded ribbonlength of the correspond- ing folded ribbon knot Kw of width w is Rib(Kw) = Len(K)=w. One of the motivating questions about folded ribbon knots is the folded ribbonlength problem, which asks to find the minimum folded ribbonlength for a particular knot or link type. The ribbonlength problem can be viewed as a 2-dimensional version of the ropelength problem which asks to find the minimum amount of rope needed to tie a knot in a rope of unit diameter. (See for instance [5, 7, 17, 19, 24].) A separate, but equally interesting, open problem is to relate the ropelength of a knot K to its crossing number Cr(K). The ribbonlength crossing number problem asks us to find constants c1; c2; α; β such that α β (1) c1 · Cr(K) ≤ Rib(K) ≤ c2 · Cr(K) : Y. Diao and R. Kusner [18] conjecture that α = 1=2 and β = 1 in Equation 1, and have work-in- progress showing α = 1=2. In 2008, B. Kennedy, T.W. Mattman, R. Raya and Dan Tating [28] built on work of L. De- Maranville [10] to make a first pass at this conjecture. They found linear upper bounds of folded ribbonlength in terms of crossing number for the (q + 1; q), (2q + 1; q), (2q + 2; q), and (2q + 4; q) families of torus knots. They also found quadratic upper bounds for (2; p) torus knots. In 2017, Grace Tian [33] used grid diagrams to show that Rib(K) ≤ 2Cr(K)2 + 6Cr(K) + 4. Thereby showing β ≤ 2 for all knots and links in the ribbonlength crossing number problem. In 2020, the first author [11] improved Tian’s result (by using arc-presentations) to show that any non-split link type L contains a folded ribbon link Lw such that ( 0:32Cr(L)2 + 1:28Cr(L) + 0:23 when the arc-index of L is even, (2) Rib(Lw) ≤ 0:64Cr(L)2 + 2:55Cr(L) + 2:03 when the arc-index of L is odd. The first author [11] then used results of [17] to prove that any knot or link type K contains a folded ribbon knot Kw such that 3=2 p (3) Rib(Kw) ≤ 72Cr(K) + 32Cr(K) + 12 Cr(K) + 4: We note that Equation 2 is smaller than Equation 3 when Cr(K) ≤ 12; 748, and so both results are useful. However Equation 3 means that β ≤ 3=2 for all knots and links in the ribbonlength crossing number problem. The rest of this paper is dedicated to finding upper bounds for folded ribbonlength for various families of knots and links. In Section 4, we use arguments from [20] to prove the following. Theorem 1. Any 2-bridge knot type K contains a folded ribbon knot Kw such that Rib(Kw) ≤ 6Cr(K) − 2: In Section 5, we give a new method of folding p half-twists. This method forms the base of a new construction for (2; p) torus knots, and the first construction for folded ribbon pretzel knots. These constructions then enable us to prove the following two theorems. RIBBONLENGTH OF FAMILIES OF FOLDED RIBBON KNOTS 3 Theorem 2. Any (2; p) torus knot type K contains a folded ribbon knot Kw such that Rib(Kw) ≤ 2p = 2Cr(T (2; p)): Theorem 3. Any pretzel knot type K = P (p; q; r) contains a folded ribbon knot Kw such that Rib(Kw) ≤ 2(jpj + jqj + jrj) + 2: In Section 5 we are reminded of two facts: (1) that for certain types of pretzel knots P (p; q; r) we know the crossing number Cr(P (p; q; r)) = jpj + jqj = jrj, and (2) a twist knot is a specific type of pretzel knot. In Corollaries 27 and 28, we use Theorem 3 to show that these two special families of knot types contain a folded ribbon knot Kw such that Rib(Kw) ≤ 2Cr(K) + 2: In particular, this means that the figure-eight knot can be constructed with a folded ribbonlength of 10. This is smaller than previously known results ([27, 33]). Thus the 2-bridge, (2; p) torus, twist, and certain pretzel knot families all give evidence that β = 1 in the ribbonlength crossing number problem. What can we say about α in the ribbonlength crossing number problem? There are a number of examples suggesting that α = 1=2. In [11], the first author gives examples of families of link types L, where for each 1=2 ≤ p ≤ 1, the link type contains a folded ribbon link Lw and a constant p cp > 0 such that Rib(Lw) ≤ cp · Cr(K) . In Section 6, we give a new way to fold (p; q) torus knots and links. The key is assuming that the torus knot has a greater number of turns around the longitude than the number of wraps around the meridian. We use this new construction to prove the following. Theorem 4. Any (p; q) torus link type L (with p; q ≥ 2) contains a folded ribbon link Lw such that Rib(Lw) ≤ p + q: Theorem 4 implies that the trefoil knot, T (3; 2), can be constructed with a folded ribbonlength of 5. This is much smaller than previous known bounds ([27, 28, 33]). Theorem 4 then enables us to prove the following. Theorem 5. Suppose L is an infinite family (p; q) torus link types, where p; q ≥ 2, and p = aq + b for some a; b 2 Z≥0. Then for each q = 2; 3; 4;::: , L contains a folded ribbon link Lw with p b 1 Rib(L ) ≤ 2 2(a + )(Cr(L)) 2 : w 2 For example, for each q = 2; 3; 4;::: , the (q + 1; q) torus link type contains a folded ribbon p 1 link Lw with Rib(Lw) ≤ 3 2Cr(L) 2 . Thus Theorem 5 gives further evidence that α = 1=2 in the ribbonlength crossing number problem. At the end of Section 6, we compare and contrast all the other known upper bounds on the ribbonlength of torus knots. It turns out that Theorem 4 gives the lowest known bound. This is unsurprising, since the folded ribbonlength bound is sub-linear in crossing number, while the previous work [28, 33] gives linear and quadratic bounds. 4 DENNE, HADEN, LARSEN, AND MEEHAN 2. FOLDED RIBBON KNOTS, RIBBON EQUIVALENCE, AND RIBBONLENGTH 2.1. Modeling folded ribbon knots. Following knot theory texts [1, 8, 25], we define a knot K 3 to be a simple closed curve in R that is ambient isotopic to a polygonal knot. A link is a finite disjoint union of knots. While many of the definitions and results in this paper are stated for knots, they also hold for links. A polygonal knot K has a finite number of vertices v1; : : : ; vn and edges e1 = [v1; v2]; : : : ; vn = [vn; v1]. If K is oriented, we assume that the numbering of the vertices follows the orientation. A polygonal knot diagram is a projection of a polygonal knot to a plane, where the crossing information of overlapping strands has been preserved. This is usually done at a crossing by adding a break in the strand which lies below another.