Abstract:The behavior of a rigid body primarily depends on its mass moments, which consist of the mass, center of mass, and moments of inertia. It is possible to manipulate these quantities without altering the geometric appearance of an object by introducing cavities in its interior. Algorithms that find cavities of suitable shapes and sizes have enabled the computational design of spinning tops, yo-yos, wheels, buoys, and statically balanced objects. Previous work is based, for example, on topology optimization on voxel grids, which introduces a large number of optimization variables and box constraints, or offset surface computation, which cannot guarantee that solutions to a feasible problem will always be found. In this work, we provide a mathematical analysis of constrained topology optimization problems that depend only on mass moments. This class of problems covers, among others, all applications mentioned above. Our main result is to show that no matter the outer shape of the rigid body to be optimized or the optimization objective and constraints considered, the optimal solution always features a quadric-shaped interface between material and cavities. This proves that optimal interfaces are always ellipsoids, hyperboloids, paraboloids, or one of a few degenerate cases, such as planes. This insight lets us replace a difficult topology optimization problem with a provably equivalent non-linear equation system in a small number (<10) of variables, which represent the coefficients of the quadric. This system can be solved in a few seconds for most examples, provides insights into the geometric structure of many specific applications, and lets us describe their solution properties. Finally, our method integrates seamlessly into modern fabrication workflows because our solutions are analytical surfaces that are native to the CAD domain.

On the iterated Crank-Nicolson for hyperbolic and parabolic equations in numerical relativity

Spin-It Faster: Quadrics Solve All Topology Optimization Problems That Depend Only On Mass Moments

Topology Optimization on Two-Dimensional Manifolds

A Novel 3-D Topology Optimization Methodology Based on the Min-Cut Theorem

Equidistant Smoothing of Polyhedra with Arbitrary Topologies

Optimization on the Surface of the (Hyper)-Sphere

Sphere Packings in 3 Dimensions

A tale of centrally symmetric polytopes and spheres

The characterization of $(n-1)$-spheres with $n+4$ vertices having maximal Buchstaber number

Regular polytopes, sphere packings and Apollonian sections

Optimization Algorithms for Faster Computational Geometry.

Variations on five-dimensional sphere packings

On the configurations of four spheres supporting the vertices of a tetrahedron

Six-dimensional sphere packing and linear programming

Practical Software for Triangulating and Simplifying 4-Manifolds

Kissing Polytopes

Almost Hermitian structures on moduli spaces of non-Abelian monopoles and applications to the topology of symplectic four-manifolds

Encoding Quantum Mechanics into Pentagonal Geometries for Discovering Novel Two-Dimensional Materials

An Extension of Heron's Formula to Tetrahedra, and the Projective Nature of Its Zeros

On the Positive Geometry of Quartic Interactions III : One Loop Integrands from Polytopes

Filling a triangulation of the 2-sphere