Title:Combinatorial and Algorithmic Volume Rigidity

Abstract: We formalize the notion of volume rigidity for geometric frameworks built from d-dimensional simplices in R^d. The linearized version, infinitesimal volume rigidity, implies volume rigidity and is amenable to linear algebraic techniques. We show that we can do even better: generically, all the interesting questions on infinitesimal volume-rigidity can be answered combinatorially.
The highlight of our paper is the combinatorial characterization of generic minimally rigid volume frameworks as a certain class of sparse hypergraphs with rich matroidal properties. Our theorem adds to a very short list of known combinatorial rigidity results, which includes theorems of Legendre-Cauchy-Dehn-Weyl for convex polytopes in 3-dimensions, Maxwell-Laman for 2-dimensional bar-and-joint frameworks and Tay's theorem for body-and-bar structures in arbitrary dimensions. In particular, we answer a question of Whiteley regarding rigidity of systems of triangles with fixed areas in the plane.
For the proof, we develop a very general combinatorial theory of cocircuit matroids which leads to a linear representation result for sparse hypergraphs. The volume-rigidity problem, as well as the classical results of Laman and Tay, emerge as special geometric cases.
We describe fast algorithms for answering four fundamental problems on generic minimally rigid volume frameworks: Decision, Extraction, Optimization and computation of rigid Components. They are based on the hypergraph pebble game paradigm, developed by the authors as a generalization of a widely used algorithm for 2-dimensional bar-and-joint frameworks.