Source author record

Joel Hass

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.GT math.DG Computational Geometry Discrete Mathematics math.NA

Catalog footprint

Research overview

8works

5topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

Approximating Surfaces in $R^3$ by Meshes with Guaranteed Regularity

We study the problem of approximating a surface $F$ in $R^3$ by a high quality mesh, a piecewise-flat triangulated surface whose triangles are as close as possible to equilateral. The MidNormal algorithm generates a triangular mesh that is guaranteed to have angles in the interval $[49.1^o, 81.8^o]$ . As the mesh size $e\rightarrow 0$ , the mesh converges pointwise to $F$ through surfaces that are isotopic to $F$ . The GradNormal algorithm gives a piecewise- $C^1$ approximation of $F$ , with angles in the interval $[35.2^o, 101.5^o]$ as $e\rightarrow 0$ . Previously achieved angle bounds were in the interval $[30^o, 120^o]$ .

preprint2017arXiv

Computing trisections of 4-manifolds

Algorithms that decompose a manifold into simple pieces reveal the geometric and topological structure of the manifold, showing how complicated structures are constructed from simple building blocks. This note describes a way to algorithmically construct a trisection, which describes a $4$ -dimensional manifold as a union of three $4$ -dimensional handlebodies. The complexity of the $4$ -manifold is captured in a collection of curves on a surface, which guide the gluing of the handelbodies. The algorithm begins with a description of a manifold as a union of pentachora, or $4$ -dimensional simplices. It transforms this description into a trisection. This results in the first explicit complexity bounds for the trisection genus of a $4$ -manifold in terms of the number of pentachora ( $4$ -simplices) in a triangulation.

preprint2016arXiv

Isoperimetric Regions in Nonpositively Curved Manifolds

Isoperimetric regions minimize the size of their boundaries among all regions with the same volume. In Euclidean and Hyperbolic space, isoperimetric regions are round balls. We show that isoperimetric regions in two and three-dimensional nonpositively curved manifolds are not necessarily balls, and need not even be connected.

preprint2015arXiv

A Metric for genus-zero surfaces

We present a new method to compare the shapes of genus-zero surfaces. We introduce a measure of mutual stretching, the symmetric distortion energy, and establish the existence of a conformal diffeomorphism between any two genus-zero surfaces that minimizes this energy. We then prove that the energies of the minimizing diffeomorphisms give a metric on the space of genus-zero Riemannian surfaces. This metric and the corresponding optimal diffeomorphisms are shown to have properties that are highly desirable for applications.

preprint2014arXiv

Simplicial energy and simplicial harmonic maps

We introduce a combinatorial energy for maps of triangulated surfaces with simplicial metrics and analyze the existence and uniqueness properties of the corresponding harmonic maps. We show that some important applications of smooth harmonic maps can be obtained in this setting.

preprint2012arXiv

Topological and physical knot theory are distinct

Physical knots and links are one-dimensional submanifolds of R^3 with fixed length and thickness. We show that isotopy classes in this category can differ from those of classical knot and link theory. In particular we exhibit a Gordian Split Link, a two component link that is split in the classical theory but cannot be split with a physical isotopy.

preprint2012arXiv

What is an Almost Normal Surface

A major breakthrough in the theory of topological algorithms occurred in 1992 when Hyam Rubinstein introduced the idea of an almost normal surface. We explain how almost normal surfaces emerged naturally from the study of geodesics and minimal surfaces. Patterns of stable and unstable geodesics can be used to characterize the 2-sphere among surfaces, and similar patterns characterize the 3-sphere among 3-manifolds. Analogous patterns of normal and almost normal surfaces led Rubinstein to an algorithm for recognizing the 3-sphere.

preprint2008arXiv

Stabilization of Heegaard splittings

For each g greater than one there is a 3-manifold with two genus g Heegaard splittings that require g stabilizations to become equivalent. Previously known examples required at most one stabilization. Control of families of Heegaard surfaces is obtained through a deformation to harmonic maps.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Joel Hass

Research overview

Is this your work?

8 publications

Approximating Surfaces in $R^3$ by Meshes with Guaranteed Regularity

Computing trisections of 4-manifolds

Isoperimetric Regions in Nonpositively Curved Manifolds

A Metric for genus-zero surfaces

Simplicial energy and simplicial harmonic maps

Topological and physical knot theory are distinct

What is an Almost Normal Surface

Stabilization of Heegaard splittings

See the researcher in context

Building this map preview

Joel Hass

Research overview

Is this your work?

8 publications

Approximating Surfaces in R3R^3R3 by Meshes with Guaranteed Regularity

Computing trisections of 4-manifolds

Isoperimetric Regions in Nonpositively Curved Manifolds

A Metric for genus-zero surfaces

Simplicial energy and simplicial harmonic maps

Topological and physical knot theory are distinct

What is an Almost Normal Surface

Stabilization of Heegaard splittings

See the researcher in context

Building this map preview

Approximating Surfaces in $R^3$ by Meshes with Guaranteed Regularity