Physical Sciences and Mathematics Commons^™

The Expected Total Curvature Of Random Polygons, Jason Cantarella, Alexander Y. Grosberg, Robert Kusner, Clayton Shonkwiler

Robert Kusner

We consider the expected value for the total curvature of a random closed polygon. Numerical experiments have suggested that as the number of edges becomes large, the difference between the expected total curvature of a random closed polygon and a random open polygon with the same number of turning angles approaches a positive constant. We show that this is true for a natural class of probability measures on polygons, and give a formula for the constant in terms of the moments of the edgelength distribution.

We then consider the symmetric measure on closed polygons of fixed total length constructed by …

Ropelength Criticality, Jason Cantarella, Joseph H.G. Fu, Robert B. Kusner, John M. Sullivan

Robert Kusner

The ropelength problem asks for the minimum-length configuration of a knotted diameter-one tube embedded in Euclidean three-space. The core curve of such a tube is called a tight knot, and its length is a knot invariant measuring complexity. In terms of the core curve, the thickness constraint has two parts: an upper bound on curvature and a self-contact condition.

We give a set of necessary and sufficient conditions for criticality with respect to this constraint, based on a version of the Kuhn–Tucker theorem that we established in previous work. The key technical difficulty is to compute the derivative of thickness …

There Is No Triangulation Of The Torus With Vertex Degrees 5, 6, . . ., 6, 7 And Related Results: Geometric Proofs For Combinatorial Theorems, Ivan Izmestiev, Robert B. Kusner, Günter Rote, Boris Springborn, John M. Sullivan

Robert Kusner

There is no 5,7-triangulation of the torus, that is, no triangulation with exactly two exceptional vertices, of degree 5 and 7. Similarly, there is no 3,5-quadrangulation. The vertices of a 2,4-hexangulation of the torus cannot be bicolored. Similar statements hold for 4,8-triangulations and 2,6-quadrangulations. We prove these results, of which the first two are known and the others seem to be new, as corollaries of a theorem on the holonomy group of a euclidean cone metric on the torus with just two cone points. We provide two proofs of this theorem: One argument is metric in nature, the other relies …

Coplanar Constant Mean Curvature Surfaces, Karsten Grosse-Brauckmann, Robert Kusner, John M. Sullivan

Robert Kusner

We consider constant mean curvature surfaces with finite topology, properly embedded in three-space in the sense of Alexandrov. Such surfaces with three ends and genus zero were constructed and completely classified by the authors. Here we extend the arguments to the case of an arbitrary number of ends, under the assumption that the asymptotic axes of the ends lie in a common plane: we construct and classify the entire family of these genus-zero, coplanar constant mean curvature surfaces.

Criticality For The Gehring Link Problem, Jason Cantarella, Joseph H.G. Fu, Robert Kusner, John M. Sullivan, Nancy C. Wrinkle

Robert Kusner

In 1974, Gehring posed the problem of minimizing the length of two linked curves separated by unit distance. This constraint can be viewed as a measure of thickness for links, and the ratio of length over thickness as the ropelength. In this paper we refine Gehring’s problem to deal with links in a fixed link-homotopy class: we prove ropelength minimizers exist and introduce a theory of ropelength criticality.

Our balance criterion is a set of necessary and sufficient conditions for criticality, based on a strengthened, infinite-dimensional version of the Kuhn–Tucker theorem. We use this to prove that every critical link …

On The Nondegeneracy Of Constant Mean Curvature Surfaces, Nick Korevaar, Robert Kusner, Jesse Ratzkin

Robert Kusner

We prove that many complete, noncompact, constant mean curvature (CMC) surfaces $f:\Sigma \to \R^3$ are nondegenerate; that is, the Jacobi operator Δf+|Af|2 has no L2 kernel. In fact, if Σ has genus zero and f(Σ) is contained in a half-space, then we find an explicit upper bound for the dimension of the L2 kernel in terms of the number of non-cylindrical ends. Our main tool is a conjugation operation on Jacobi fields which linearizes the conjugate cousin construction. Consequences include partial regularity for CMC moduli space, a larger class of CMC surfaces to use in gluing constructions, and a surprising …

The Topology, Geometry And Conformal Structure Of Properly Embedded Minimal Surfaces, Pascal Collin, Robert Kusner, William H. Meeks, Harold Rosenberg

Robert Kusner

This paper develops new tools for understanding surfaces with more than one end and infinite topology which are properly minimally embedded in Euclidean three-space. On such a surface, the set of ends forms a totally disconnected compact Hausdorff space, naturally ordered by the relative heights of the ends in space. One of our main results is that the middle ends of the surface have quadratic area growth, and are thus not limit ends. This implies that the surface can have at most two limit ends, which occur at the top and bottom of the ordering, and thus only a countable …

The Second Hull Of A Knotted Curve, Jason Cantarella, Greg Kuperberg, Robert B. Kusner, John M. Sullivan

Robert Kusner

The convex hull of a set K in space consists of points which are, in a certain sense, "surrounded" by K. When K is a closed curve, we define its higher hulls, consisting of points which are "multiply surrounded" by the curve. Our main theorem shows that if a curve is knotted then it has a nonempty second hull. This provides a new proof of the Fary/Milnor theorem that every knotted curve has total curvature at least 4pi.

On The Minimum Ropelength Of Knots And Links, Jason Cantarella, Robert B. Kusner, John M. Sullivan

Robert Kusner

The ropelength of a knot is the quotient of its length by its thickness, the radius of the largest embedded normal tube around the knot. We prove existence and regularity for ropelength minimizers in any knot or link type; these are C 1,1 curves, but need not be smoother. We improve the lower bound for the ropelength of a nontrivial knot, and establish new ropelength bounds for small knots and links, including some which are sharp.

Constant Mean Curvature Surfaces With Three Ends, Karsten Grosse-Brauckmann, Robert Kusner, John M. Sullivan

Robert Kusner

We announce the classification of complete almost embedded surfaces of constant mean curvature, with three ends and genus zero. They are classified by triples of points on the sphere whose distances are the asymptotic necksizes of the three ends.

On Distortion And Thickness Of Knots, Robert B. Kusner, John M. Sullivan

Robert Kusner

What length of rope (of given diameter) is required to tie a particular knot? Or, to turn the problem around, given an embedded curve, how thick a regular neighborhood of the curve also is embedded? Intuitively, the diameter of the possible rope is bounded by the distance between strands at the closest crossing in the knot. But of course the distance between two points along a curve goes to zero as the points approach each other, so to make the notion precise, we need to exclude some neighborhood of the diagonal.