an independent field guide to 23 million papers from arXiv & OpenAlex — not affiliated with arXiv.org
Author
26 papers · 1987–2024
showing 1–25 of 26 RSS
Lucas Hsu, Rob Kusner, John M. Sullivan
Abstract. We minimize a discrete version of the squared mean curvature integral for polyhedral surfaces in three-space using Brakke’s Surface Evolver. Our experimental results support the conjecture that the smooth minimizers exist for each genus and are stereographic projections of certain minimal surfaces in the three-sphere.
Nicholas J. Korevaar, Rob Kusner, William H. Meeks +1 more
this paper was supported by research grant DE-FG0286ER250125 of the Applied Mathematical Science subprogram of Office of Energy Research, U.S. Department of Energy, and National Science Foundation grant DMS-8900285. x
The spinor representation is developed for conformal immersions of Riemann surfaces into space. We adapt the approach of Dennis Sullivan, which treats a spin structure on a Riemann surface M as a complex line bundle S whose square is the canonical line bundle K=T(M). Given a conformal immersion of M into \bbR^3, the unique spin strucure on S^2 pulls back via the Gauss map to a spin structure S on M, and gives rise to a pair of smooth sections (s_1,s_2) of S. Conversely, any pair of sections of S generates a (possibly periodic) conformal immersion of M under a suitable integrability condition, which for a minimal surface is simply that the spinor sections are meromorphic. A spin structure S also determines (and is determined by) the regular homotopy class of the immersion by way of a \bbZ_2-quadratic form q_S. We present an analytic expression for the Arf invariant of q_S, which decides…
to the study of complete minimal surfaces of finite total curvature in R 3. The two main results illustrate this in complementary ways. Theorem A implies several uniqueness or nonexistence corollaries, while Theorem B constructs new examples, including the first complete immersed nonorientable minimal
Jason Cantarella, Joseph H G Fu, Rob Kusner +2 more
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 is C^1 with finite total curvature. The balance criterion also allows us to explicitly describe critical configurations (and presumed minimizers) for many links including the Borromean rings. We also exhibit a surprising critical configuration for two clasped ropes…
The spinor representation is developed and used to investigate minimal surfaces in ${\bfR}^3$ with embedded planar ends. The moduli spaces of planar-ended minimal spheres and real projective planes are determined, and new families of minimal tori and Klein bottles are given. These surfaces compactify in $S^3$ to yield surfaces critical for the Möbius invariant squared mean curvature functional $W$. On the other hand, all $W\!$-critical spheres and real projective planes arise this way. Thus we determine at the same time the moduli spaces of $W\!$-critical spheres and real projective planes via the spinor representation.
1. IntroductionThe problem of partitioning space into equal-volume cells, using the least inter-face area, was considered in 1887 by Sir William Thomson, Lord Kelvin [Kel]. Hisproposed solution yields a foam with cells of a single shape, tiling space by the trans-lations of the body-centered cubic lattice. In 1993, Denis Weaire and Robert Phelan[WP] proposed a new equal-volume foam with two di erent cell shapes, which usesless area according to their computer experiments with Ken Brakke’s evolver[Bra].Mathematically, one diculty is that neither foam can be described explicitly;even their existence is troublesome. In this note, we will examine these two foams,showing that the Weaire-Phelan foam is in fact more ecient than the Kelvin foam,and we will describe some other interesting candidate foams. More mathematicaldetails, including a proof of existence for the Kelvin foam, are…
Using the principle of symmetric criticality [Palais 1979], we construct torus knots and links that extremize the Möbiusinvariant energy introduced by O'Hara [1991) and Freedman, He and Wang [1993]. The critical energies are explicitly computable using the calculus of residues, a result obtained in collaboration with Gil Stengle. Experiments with a discretized version of the Mobius energy—applicable to the study of arbitrary knots and links—are also described, and confirm the results of the analytic calculations.
Abstract We derive a formula for the average number of faces per cell in a foam of minimal surfaces. In case of periodic minimal foam in R3 this formula implies that the fundamental cell has at least 14 faces, a lower bound achieved by Kelvin’s example from the last century.
Jason Cantarella, Greg Kuperberg, Rob Kusner +1 more
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.
We describe some problems, observations, and conjectures concerning thickness and packing density of knots and links in $\sp^3$ and $\R^3$. We prove the thickness of a nontrivial knot or link in $\sp^3$ is no more than $\fracπ{4}$, the thickness of a Hopf link. We also give arguments and evidence supporting the conjecture that the packing density of thick links in $\R^3$ or $\sp^3$ is generally less than $\fracπ{\sqrt{12}}$, the density of the hexagonal packing of unit disks in $\R^2$.
In this note we prove that any minimal $2$-torus in $S^4$ has Morse index at least $6$, with equality if and only if it is congruent to the Clifford torus in some great $S^3\subset S^4$.For a minimal $2$-torus in $S^n$ with vanishing Hopf differential, we show that its index is at least $n+3$, and that this estimate is sharp: the equilateral $2$-torus fully embedded in $S^5\subset S^n$ as a homogeneous minimal surface in $S^n$ has index exactly $n+3$.
Let M = M_{g,k} denote the space of properly (Alexandrov) embedded constant mean curvature (CMC) surfaces of genus g with k (labeled) ends, modulo rigid motions, endowed with the real analytic structure described in [kmp]. Let $P = P_{g,k} = r_{g,k} \times R_+^k$ be the space of parabolic structures over Riemann surfaces of genus g with k (marked) punctures, the real analytic structure coming from the 3g-3+k local complex analytic coordinates on the Riemann moduli space r_{g,k}. Then the parabolic classifying map, Phi: M --> P, which assigns to a CMC surface its induced conformal structure and asymptotic necksizes, is a proper, real analytic map. It follows that Phi is closed and in particular has closed image. For genus g=0, this can be used to show that every conformal type of multiply punctured Riemann sphere occurs as a CMC surface, and -- under a nondegeneracy hypothesis -- that…
Rob Kusner, Ying Lü, Peng Wang
The Willmore Problem seeks closed surfaces in $\mathbb{S}^3\subset\mathbb{R}^4$ of a given topological type minimizing the squared-mean-curvature energy $W = \int |H_{\mathbb{R}^4}|^2 = area + \int |H_{\mathbb{S}^3}|^2$. The longstanding Willmore Conjecture that the Clifford torus minimizes $W$ among genus-$1$ surfaces is now a theorem of Marques and Neves [22], but the general conjecture [12] that Lawson's [18] minimal surface $ξ_{g,1}\subset\mathbb{S}^3$ minimizes $W$ among surfaces of genus $g>1$ remains open. Here we prove this conjecture under the additional assumption that the competitor surfaces $M\subset\mathbb{S}^3$ share the ambient symmetries $\widehat{G}_{g,1}$ of $ξ_{g,1}$. In fact, we show each Lawson surface $ξ_{m,k}$ satisfies the corresponding $W$-minimizing property under a smaller symmetry group $\widetilde{G}_{m,k}=\widehat{G}_{m,k}\cap SO(4)$. We also describe a…
Jonas Hirsch, Rob Kusner, Elena Mäder-Baumdicker
We study complete minimal surfaces in $\mathbb{R}^n$ with finite total curvature and embedded planar ends. After conformal compactification via inversion, these yield examples of surfaces stationary for the Willmore bending energy $\mathcal{W}: =\frac{1}{4} \int|\vec H|^2$. In codimension one, we prove that the $\mathcal{W}$-Morse index for any inverted minimal sphere or real projective plane with $m$ such ends is exactly $m-3=\frac{\mathcal{W}}{4π}-3$. We also consider several geometric properties -- for example, the property that all $m$ asymptotic planes meet at a single point -- of these minimal surfaces and explore their relation to the $\mathcal{W}$-Morse index of their inverted surfaces.
The Willmore Problem seeks the surface in $\mathbb S^3\subset\mathbb R^4$ of a given topological type minimizing the squared-mean-curvature energy $W = \int |\mathbf{H}_{\mathbb{R}^4}|^2 = \operatorname{area} + \int H_{\mathbb{S}^3}^2$. The longstanding Willmore Conjecture that the Clifford torus minimizes $W$ among genus-$1$ surfaces is now a theorem of Marques and Neves [19], but the general conjecture [10] that Lawson's [16] minimal surface $ξ_{g,1}\subset\mathbb S^3$ minimizes $W$ among surfaces of genus $g>1$ remains open. Here we prove this conjecture under the additional assumption that the competitor surfaces $M\subset\mathbb S^3$ share the ambient symmetries of $ξ_{g,1}$. Specifcally, we show each Lawson surface $ξ_{m,k}$ satisfies the analogous $W$-minimizing property under a somewhat smaller symmetry group ${G}_{m,k}<SO(4)$, using a local computation of the orbifold Euler…
Rob Kusner, Nick Schmitt, Rob Kusner +1 more
Part of the Mathematics Commons This Article is brought to you for free and open access by the Mathematics and Statistics at ScholarWorks@UMass Amherst. It has been accepted for inclusion in Mathematics and Statistics Department Faculty Publication Series by an authorized administrator of ScholarWorks@UMass Amherst. For more information, please contact
Carlo H. Séquin, Rob Kusner, Carlo H. Séquin
personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. To copy otherwise, to republish, to post on servers or to redistribute to lists, requires prior specific permission.
Denne Elizabeth (-smth-ms, Reviewed Dave Auckly, Taras V. Bereznyak +9 more
The distortion of a knotted curve. (English summary) Proc. Amer. Math. Soc. 137 (2009), no. 3, 1139–1148. The distortion of a curve is the supremal arclength to chord length ratio. Geometric (ideal) knot theory is the theory of optimizing such quantities. In this paper, Denne and Sullivan prove that any nontrivial tame knot has distortion greater than or equal to 5π/3. They summarize their argument well in the introduction. The key tool is that every tame knot has a shortest essential secant. Combining this with a theorem from [E. Denne, Y. Diao and J. M. Sullivan, Geom. Topol. 10 (2006), 1–26 (electronic); MR2207788 (2006m:58015)] gives the result.
Nick Korevaar, Rob Kusner, Jesse Ratzkin
We prove that many complete, noncompact, constant mean curvature (CMC) surfaces $f:Σ\to \R^3$ are nondegenerate; that is, the Jacobi operator $Δ_f + |A_f|^2$ has no $L^2$ 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 $L^2$ jernel 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 characterization of CMC surfaces via spinning spheres.
Jason Cantarella, Rob Kusner, John M Sullivan
The ropelength of a knot is the quotient of its length and 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.
Rob Kusner, Rafe Mazzeo, Daniel Pollack
Abstract. We examine the space of surfaces in R 3 which are complete, properly embedded and have nonzero constant mean curvature. These surfaces are noncompact provided we exclude the case of the round sphere. We prove that the space Mk of all such surfaces with k ends (where surfaces are identified if they differ by an isometry of R 3) is locally a real analytic variety. When the linearization of the quasilinear elliptic equation specifying mean curvature equal to one has no L 2 −nullspace we prove that Mk is locally the quotient of a real analytic manifold of dimension 3k − 6 by a finite group (i.e. a real analytic orbifold), for k ≥ 3. This finite group is the isotropy subgroup of the surface in the group of Euclidean motions. It is of interest to note that the dimension of Mk is independent of the topology of the underlying punctured Riemann surface to which Σ is conformally…
The problem of partitioning space into equal-volume cells, using the least interface area, was considered in 1887 by Sir William Thomson, Lord Kelvin [Kel]. His proposed solution yields a foam with cells of a single shape, tiling space by the translations of the body-centered cubic lattice. In 1993, Denis Weaire and Robert Phelan
Rob Kusner, Rafe Mazzeo, Daniel Pollack
We examine the space of surfaces in $\RR^{3}$ which are complete, properly embedded and have nonzero constant mean curvature. These surfaces are noncompact provided we exclude the case of the round sphere. We prove that the space $\Mk$ of all such surfaces with $k$ ends (where surfaces are identified if they differ by an isometry of $\RR^{3}$) is locally a real analytic variety. When the linearization of the quasilinear elliptic equation specifying mean curvature equal to one has no $L^2-$nullspace we prove that $\Mk$ is locally the quotient of a real analytic manifold of dimension $3k-6$ by a finite group (iė\. a real analytic orbifold), for $k\geq 3$. This finite group is the isotropy subgroup of the surface in the group of Euclidean motions. It is of interest to note that the dimension of $\Mk$ is independent of the topology of the underlying punctured Riemann surface to which $\Sig$…
We construct a pair of isotopic link configurations that are not thick isotopic while preserving total length.