Mixed volume and distance geometry techniques for counting Euclidean embeddings of rigid graphs

Ioannis Z. Emiris (1) , Elias Tsigaridas (2) , Antonios Varvitsiotis (3)

1 DI NKUA - Department of Informatics and Telecomunications [Kapodistrian Univ]
2 PolSys - Polynomial Systems
3 CWI - Centrum Wiskunde & Informatica

A graph $G$ is called generically minimally rigid in $\RR^d$ if, for any choice of sufficiently generic edge lengths, it can be embedded in $\RR^d$ in a finite number of distinct ways, modulo rigid transformations. Here, we deal with the problem of determining tight bounds on the number of such embeddings, as a function of the number of vertices. The study of rigid graphs is motivated by numerous applications, mostly in robotics, bioinformatics, and architecture. We capture embeddability by polynomial systems with suitable structure, so that their mixed volume, which bounds the number of common roots, yields interesting upper bounds on the number of embeddings. We explore different polynomial formulations so as to reduce the corresponding mixed volume, namely by introducing new variables that remove certain spurious roots, and by applying the theory of distance geometry. We focus on $\RR^2$ and $\RR^3$, where Laman graphs and 1-skeleta of convex simplicial polyhedra, respectively, admit inductive Henneberg constructions. Our implementation yields upper bounds for $n \le 10$ in $\RR^2$ and $\RR^3$, which reduce the existing gaps and lead to tight bounds for $n\le 7$ in both $\RR^2$ and $\RR^3$; in particular, we describe the recent settlement of the case of Laman graphs with 7 vertices. We also establish the first lower bound in $\RR^3$ of about $2.52^n$, where $n$ denotes the number of vertices.

Mots clés: Rigid graph; Laman graph; Euclidean embedding; Henneberg construction; Polynomial system; Mixed volume; Cayley-Menger matrix; Cyclohexane caterpillar.; Cyclohexane caterpillar

Domaines: Calcul formel [cs.SC]

Ioannis Z. Emiris, Elias Tsigaridas, Antonios Varvitsiotis. Mixed volume and distance geometry techniques for counting Euclidean embeddings of rigid graphs. C. Lavor and L. Liberti and N. Maculan and A. Mucherino. Distance Geometry: With Applications to Molecular Conformation and Sensor Networks, Springer-Verlag, pp.23-45, 2012, 978-1-4614-5128-0. ⟨10.1007/978-1-4614-5128-0_2⟩. ⟨hal-00776252⟩