In this paper we show how to realize all knot (and link) types as C^{2} smooth curves of constant curvature. Our proof is constructive: we build the knots with copies of a fixed finite number of "building blocks" that are particular segments of helices and circles. We use these building blocks to construct all closed braids.
Generalizing Milnor's result that an FTC (finite total curvature) knot has an isotopic inscribed polygon, we show that any two nearby knotted FTC graphs are isotopic by a small isotopy. We also show how to obtain sharper constants when the starting curve is smooth. We apply our main theorem to prove a limiting result for essential subarcs of a knot.
We establish a new fundamental relationship between total curvature of knots and crossing number. If K is a smooth knot in 3-space, R the cross-section radius of a uniform tube neighborhood of K, L the arclength of K, and k the total curvature of K, then (up to a coefficient independent of K), crossing number of K < (k)(L/R). There are families of knots whose crossing numbers grow faster than either k or L/R separately. For example, the knots whose crossing numbers grow with the (4/3)-power of ropelength must have total curvature growing arbitrarily large as well.
Two new invariants that are closely related to Milnor's curvature-torsion invariant are introduced. The first, the spiral index of a knot, captures the minimum number of maxima among all knot projections that are free of inflection points. This invariant is closely related to both the bridge and braid index of the knot. The second, the projective superbridge index, provides a method of counting the greatest number of maxima that occur in a given knot projection. In addition to investigating how these invariants are related to the classical invariants, we utilize them to determine all knots wit…
A quadrisecant line is one which intersects a curve in at least four points, while an essential secant captures something about the knottedness of a knot. This survey article gives a brief history of these ideas, and shows how they may be applied to questions about the geometry of a knot via the total curvature, ropelength and distortion of a knot.
The thickness, NIR(K) of a knot or link K is defined to be the radius of the largest solid tube one can put around the curve without any self intersections, which is also known as the normal injectivity radius of K. For C^{1,1} curves K, NIR(K)=min{(1/2)DCSC(K),(1/(supkappa(K))))}, where kappa(K) is the generalized curvature, and the double critical self distance DCSD(K) is the shortest length of the segments perpendicular to K at both end points. The knots and links in ideal shapes (or tight knots or links) belong to the minima of ropelength = length/thickness within a fixed isotopy class. In…
We investigate knot-theoretic properties of geometrically defined curvature energies such as integral Menger curvature. Elementary radii-functions, such as the circumradius of three points, generate a family of knot energies guaranteeing self-avoidance and a varying degree of higher regularity of finite energy curves. All of these energies turn out to be charge, minimizable in given isotopy classes, tight and strong. Almost all distinguish between knots and unknots, and some of them can be shown to be uniquely minimized by round circles. Bounds on the stick number and the average crossing numb…
Lomonaco and Kauffman introduced a knot mosaic system to give a precise and workable definition of a quantum knot system, the states of which are called quantum knots. This paper is inspired by an open question about the knot mosaic enumeration suggested by them. A knot $n$--mosaic is an $n \times n$ array of 11 mosaic tiles representing a knot or a link diagram by adjoining properly that is called suitably connected. The total number of knot $n$--mosaics is denoted by $D_n$ which is known to grow in a quadratic exponential rate. In this paper, we show the existence of the knot mosaic constant…
Relatively extremal knots are the relative minima of the ropelength functional in C^1 topology. On the set curves of fixed length, they are the relative maxima of thickness (normal injectivity radius) functional, including the ideal knots. We prove that a C^{1,1} relatively extremal knot in R^n has thickness equal to half of the minimal double critical distance unless it has constant maximal (generalized) curvature. This result also applies to links since our method is local. Our main approach is to show that the shortest curves with bounded curvature and C^1 boundary conditions in R^n contain…
We investigate several integer invariants of curves in 3-space. We demonstrate relationships of these invariants to crossing number and to total curvature.
A long standing open conjecture states that if a link $\mathcal{K}$ is alternating, then its ropelength $L(\mathcal{K})$ is at least of the order $O(Cr(\mathcal{K}))$. A recent result shows that the maximum braid index of a link bounds the ropelength of the link from below. Thus in the case an alternating link has a maximum braid index proportional to its minimum crossing number, such as the $T(2,2n)$ torus link, then the ropelength of the link is bounded below by a constant multiple of its minimum crossing number. However if the maximum braid index of a link is small compared to its crossing …
Quandle 2-cocycles define invariants of classical and virtual knots, and extensions of quandles. We show that the quandle 2-cocycle invariant with respect to a non-trivial $2$-cocycle is constant, or takes some other restricted form, for classical knots when the corresponding extensions satisfy certain algebraic conditions. In particular, if an abelian extension is a conjugation quandle, then the corresponding cocycle invariant is constant. Specific examples are presented from the list of connected quandles of order less than 48. Relations among various quandle epimorphisms involved are also e…
We generalize the notion of integral Menger curvature introduced by Gonzalez and Maddocks by decoupling the powers in the integrand. This leads to a new two-parameter family of knot energies $intM^{p,q}$. We classify finite-energy curves in terms of Sobolev-Slobodeckij spaces. Moreover, restricting to the range of parameters leading to a sub-critical Euler-Lagrange equation, we prove existence of minimizers within any knot class via a uniform bi-Lipschitz bound. Consequently, $intM^{p,q}$ is a knot energy in the sense of O'Hara. Restricting to the non-degenerate sub-critical case, a suitable d…
We study Kauffman's model of folded ribbon knots: knots made of a thin strip of paper folded flat in the plane. The ribbonlength is the length to width ratio of such a folded ribbon knot. We show for any knot or link type that there exist constants $c_1, c_2>0$ such that the ribbonlength is bounded above by $c_1\cdot Cr(K)^2$, and also by $c_2\cdot Cr(K)^{3/2}$. We use a different method for each bound. The constant $c_1$ is quite small in comparison to $c_2$, and the first bound is lower than the second for knots and links with $Cr(K)\leq$ 12,748.
We consider the class of curves of finite total curvature, as introduced by Milnor. This is a natural class for variational problems and geometric knot theory, and since it includes both smooth and polygonal curves, its study shows us connections between discrete and differential geometry. To explore these ideas, we consider theorems of Fary/Milnor, Schur, Chakerian and Wienholtz.
When approximating a space curve, it is natural to consider whether the knot type of the original curve is preserved in the approximant. This preservation is of strong contemporary interest in computer graphics and visualization. We establish a criterion to preserve knot type under approximation that relies upon pointwise convergence and convergence in total curvature.
For a knot or link K, let L(K) be the ropelength of K and Cr(K) be the crossing number of K. In this paper, we show that there exists a constant a>0 such that L(K) is bounded above by a Cr(K) ln^5 (Cr(K)) for any knot K. This result shows that the upper bound of the ropelength of any knot is almost linear in terms of its minimum crossing number.
A physically natural potential energy for simple closed curves in $\bold R^3$ is shown to be invariant under Möbius transformations. This leads to the rapid resolution of several open problems: round circles are precisely the absolute minima for energy; there is a minimum energy threshold below which knotting cannot occur; minimizers within prime knot types exist and are regular. Finally, the number of knot types with energy less than any constant $M$ is estimated.
In a paper of Menasco and Reid, it is conjectured that there exist no hyperbolic knots in S^3 for which the complement contains a closed embedded totally geodesic surface. In this note, we show that one can get "as close as possible" to a counter-example. Specifically, we construct a sequence of hyperbolic knots {K_n} with complements containing closed embedded essential surfaces having principal curvatures converging to zero as n tends to infinity. We also construct a family of two-component links for which the complements contain closed embedded totally geodesic surfaces of arbitrarily large…
Torsion and Betti numbers for knots are special cases of more general invariants associated to a finitely generated group G and epimorphism from G to the integers. The sequence of Betti numbers is always periodic; under mild hypotheses, the sequence of torsion numbers satisfies a linear homogeneous recurrence relation with constant coeffiencts. Generally, the torsion number sequence exhibits exponential growth rate. However, again under mild hypotheses, the p-part has trivial growth for any prime p. Applications to branched cover homology for knots and links are presented.
The distortion of a curve is the supremum, taken over distinct pairs of points of the curve, of the ratio of arclength to spatial distance between the points. Gromov asked in 1981 whether a curve in every knot type can be constructed with distortion less than a universal constant C. Answering Gromov's question seems to require the construction of lower bounds on the distortion of knots in terms of some topological invariant. We attempt to make such bounds easier to construct by showing that pairs of points with high distortion are very common on curves of minimum length in the set of curves in…
We show that for a large class of hyperbolic knots and links, we can determine bounds on the volume of the link complement from combinatorial information given by a link diagram. Specifically, there is a universal constant C such that if a knot or link admits a prime, twist reduced diagram with at least 2 twist regions and at least C crossings per twist region, then the link complement is hyperbolic with volume bounded below by 3.3515 times the number of twist regions in the diagram. C is at most 113.
A ribbon is, intuitively, a smooth mapping of an annulus $S^1 \times I$ in 3-space having constant width $\varepsilon$. This can be formalized as a triple $(x,\varepsilon, \mathbf{u})$ where $x$ is smooth curve in 3-space and $\mathbf{u}$ is a unit vector field based along $x$. In the 1960s and 1970s, G. Calugareanu, G. H. White, and F. B. Fuller proved relationships between the geometry and topology of thin ribbons, in particular the "Link = Twist + Writhe" theorem that has been applied to help understand properties of double-stranded DNA. Although ribbons of small width have been studied ext…
Given a knot K in an Euclidean space E and a finite dimensional space V of smooth functions on K, we express the expected number of critical points of a random function in V in terms of an integral-geometric invariant of K and V. When V consists of the restrictions to K of homogeneous polynomials of degree d on E, this invariant takes the form of the total curvature of a certain immersion of K. In particular, when K is the unit circle in the plane centered at the origin, then the expected number of critical points of the restriction to K of a random homogeneous polynomial of degree d is $2\sqr…
The preservation of ambient isotopic equivalence under piecewise linear (PL) approximation for smooth knots are prominent in molecular modeling and simulation. Sufficient conditions are given regarding: (1) Hausdorff distance, and (2) a sum of total curvature and derivative. High degree Bezier curves are often used as smooth representations, where computational efficiency is a practical concern. Subdivision can produce PL approximations for a given Bézier curve, fulfilling the above two conditions. The primary contributions are: (i) a priori bounds on the number of subdivision iterations suffi…