Euler Transformation of Polyhedral Complexes

We propose an Euler transformation that transforms a given $d$-dimensional cell complex $K$ for $d=2,3$ into a new $d$-complex $\hat{K}$ in which every vertex is part of a uniform even number of edges. Hence every vertex in the graph $\hat{G}$ that is the $1$-skeleton of $\hat{K}$ has an even degree, which makes $\hat{G}$ Eulerian, i.e., it is guaranteed to contain an Eulerian tour. Meshes whose edges admit Eulerian tours are crucial in coverage problems arising in several applications including 3D printing and robotics. For $2$-complexes in $\mathbb{R}^2$ ($d=2$) under mild assumptions (that no two adjacent edges of a $2$-cell in $K$ are boundary edges), we show that the Euler transformed $2$-complex $\hat{K}$ has a geometric realization in $\mathbb{R}^2$, and that each vertex in its $1$-skeleton has degree $4$. We bound the numbers of vertices, edges, and $2$-cells in $\hat{K}$ as small scalar multiples of the corresponding numbers in $K$. We prove corresponding results for $3$-complexes in $\mathbb{R}^3$ under an additional assumption that the degree of a vertex in each $3$-cell containing it is $3$. In this setting, every vertex in $\hat{G}$ is shown to have a degree of $6$. We also present bounds on parameters measuring geometric quality (aspect ratios, minimum edge length, and maximum angle) of $\hat{K}$ in terms of the corresponding parameters of $K$ (for $d=2, 3$). Finally, we illustrate a direct application of the proposed Euler transformation in additive manufacturing.

[1]  Ole Sigmund,et al.  Infill Optimization for Additive Manufacturing—Approaching Bone-Like Porous Structures , 2016, IEEE Transactions on Visualization and Computer Graphics.

[2]  Jonàs Martínez,et al.  Eurographics Symposium on Geometry Processing 2011 Skeleton Computation of Orthogonal Polyhedra , 2022 .

[3]  Franz Aurenhammer,et al.  Straight Skeletons and Mitered Offsets of Nonconvex Polytopes , 2016, Discret. Comput. Geom..

[4]  R. Ho Algebraic Topology , 2022 .

[5]  Frank Hoffmann,et al.  A Graph-Coloring Result and Its Consequences For Polygon-Guarding Problems , 1996, SIAM J. Discret. Math..

[6]  Ernest L. Hall,et al.  Region filling operations with random obstacle avoidance for mobile robots , 1988, J. Field Robotics.

[7]  Laxmi Gewali,et al.  Degree Aware Triangulation of Annular Regions , 2018 .

[8]  Victor Alvarez Parity-Constrained Triangulations with Steiner Points , 2015, Graphs Comb..

[9]  Gill Barequet,et al.  Straight Skeletons of Three-Dimensional Polyhedra , 2008, ESA.

[10]  Lin Mu,et al.  Shape regularity conditions for polygonal/polyhedral meshes, exemplified in a discontinuous Galerkin discretization , 2015 .

[11]  Klaus Jansen One Strike Against the Min-max Degree Triangulation Problem , 1992, Comput. Geom..

[12]  Prashant Gupta,et al.  Continuous toolpath planning in a graphical framework for sparse infill additive manufacturing , 2020, Comput. Aided Des..

[13]  Tamal K. Dey,et al.  Delaunay Mesh Generation , 2012, Chapman and Hall / CRC computer and information science series.

[14]  Mohamed S. Ebeida,et al.  Guaranteed-Quality All-Quadrilateral Mesh Generation with Feature Preservation , 2009, IMR.

[15]  Chandrajit L. Bajaj,et al.  Error estimates for generalized barycentric interpolation , 2010, Adv. Comput. Math..

[16]  Jorge Urrutia,et al.  Triangulations with many points of even degree , 2010, CCCG.

[17]  Marc Carreras,et al.  A survey on coverage path planning for robotics , 2013, Robotics Auton. Syst..

[18]  P. R. Scott,et al.  INEQUALITIES FOR CONVEX SETS , 2000 .

[19]  H. Si Constrained Delaunay tetrahedral mesh generation and refinement , 2010 .

[20]  C. Hierholzer,et al.  Ueber die Möglichkeit, einen Linienzug ohne Wiederholung und ohne Unterbrechung zu umfahren , 1873 .

[21]  Franz Aurenhammer,et al.  A Novel Type of Skeleton for Polygons , 1996 .

[22]  R. Hague,et al.  The design of impact absorbing structures for additive manufacture , 2012 .

[23]  Luis Moreno,et al.  Path Planning for Mobile Robot Navigation using Voronoi Diagram and Fast Marching , 2006, 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[24]  Ling Xu,et al.  Graph Planning for Environmental Coverage , 2011 .

[25]  Bettina Speckmann,et al.  Plane Graphs with Parity Constraints , 2014, Graphs Comb..

[26]  James R. Munkres,et al.  Elements of algebraic topology , 1984 .

[27]  Herbert Edelsbrunner,et al.  Deformable Smooth Surface Design , 1999, Discret. Comput. Geom..

[28]  Michael S. Floater,et al.  Gradient Bounds for Wachspress Coordinates on Polytopes , 2013, SIAM J. Numer. Anal..

[29]  GERNOT WALZL THREE-DIMENSIONAL STRAIGHT SKELETONS FROM BISECTOR GRAPHS FRANZ AURENHAMMER AND , 2013 .