2002/07/15 by Ciprian Borcea, Ileana Streinu · 1 citation
Mathematics · #math.MG #math.CO #msc:52C25 #msc:52C45 #msc:05C10
published as Proc. 18th ACM Symp. Computational Geometry, Barcelona, June 2002, pp. 25-32
arxiv created 2002/07/15 · arxiv updated 2009/11/30
Rigid frameworks in some Euclidian space are embedded graphs having a unique local realization (up to Euclidian motions) for the given edge lengths, although globally they may have several. We study the number of distinct planar embeddings of minimally rigid graphs with n vertices. We show that, modulo planar rigid motions, this number is at most 2n-4\choose n-2 ≈ 4n. We also exhibit several families which realize lower bounds of the order of 2n, 2.21n and 2.88n. For the upper bound we use techniques from complex algebraic geometry, based on the (projective) Cayley-Menger variety CM2,n(C)⊂ P_n\choose 2-1(C) over the complex numbers C. In this context, point configurations are represented by coordinates given by squared distances between all pairs of points. Sectioning the variety with 2n-4 hyperplanes yields at most deg(CM2,n) zero-dimensional components, and one finds this degree to be D2,n=1/22n-4\choose n-2. The lower bounds are related to inductive constructions of minimally rigid graphs via Henneberg sequences. The same approach works in higher dimensions. In particular we show that it leads to an upper bound of 2 D3,n= \frac2n-3n-2n-6\choosen-3 for the number of spatial embeddings with generic edge lengths of the 1-skeleton of a simplicial polyhedron, up to rigid motions.