Automatic Curvilinear Quality Mesh Generation Driven by Smooth Boundary and Guaranteed Fidelity

The development of robust high-order finite element methods requires the construction of valid high-order meshes for complex geometries without user intervention. This paper presents a novel approach for automatically generating a high-order mesh with two main features: first, the boundary of the mesh is globally smooth; second, the mesh boundary satisfies a required fidelity tolerance. Invalid elements are eliminated. Example meshes demonstrate the features of the algorithm

Mixed honeycomb pushing refinement

We generalize the honeycomb scheme, dualize it and combine both the primal and the dual scheme into self-dual subdivision schemes for convex polyhedra which generate surfaces without line segments different from the honeycomb scheme, which generates surfaces having line and even planar segments

Convex geodesic bicombings and hyperbolicity

A geodesic bicombing on a metric space selects for every pair of points a geodesic connecting them. We prove existence and uniqueness results for geodesic bicombings satisfying different convexity conditions. In combination with recent work by the second author on injective hulls, this shows that every word hyperbolic group acts geometrically on a proper, finite dimensional space X with a unique (hence equivariant) convex geodesic bicombing of the strongest type. Furthermore, the Gromov boundary of X is a Z-set in the closure of X, and the latter is a metrizable absolute retract, in analogy with the Bestvina--Mess theorem on the Rips complex.Comment: 22 page

離散曲面細分列の収束

Tohoku University小谷元子課

Automatic Linear and Curvilinear Mesh Generation Driven by Validity Fidelity and Topological Guarantees

Image-based geometric modeling and mesh generation play a critical role in computational biology and medicine. In this dissertation, a comprehensive computational framework for both guaranteed quality linear and high-order automatic mesh generation is presented. Starting from segmented images, a quality 2D/3D linear mesh is constructed. The boundary of the constructed mesh is proved to be homeomorphic to the object surface. In addition, a guaranteed dihedral angle bound of up to 19:47o for the output tetrahedra is provided. Moreover, user-specified guaranteed bounds on the distance between the boundaries of the mesh and the boundaries of the materials are allowed. The mesh contains a small number of mesh elements that comply with these guarantees, and the runtime is compatible in performance with other software. Then the curvilinear mesh generator allows for a transformation of straight-sided meshes to curvilinear meshes with C1 or C2 smooth boundaries while keeping all elements valid and with good quality as measured by their Jacobians. The mathematical proof shows that the meshes generated by our algorithm are guaranteed to be homeomorphic to the input images, and all the elements inside the meshes are guaranteed to be with good quality. Experimental results show that the mesh boundaries represent the objects\u27 shapes faithfully, and the accuracy of the representation is improved compared to the corresponding linear mesh