On the universal rigidity of generic bar frameworks

Let $V=\{1,\ldots,n\}$ be a finite set. An $r$-configuration is a mapping $p:V \rightarrow R^r$, where $p^1,\ldots,p^n$ are not contained in a proper hyper-plane. A framework $G(p)$ in $R^r$ is an $r$-configuration together with a graph $G=(V,E)$ such that every two points corresponding to adjacent vertices of $G$ are constrained to stay the same distance apart. A framework $G(p)$ is said to be generic if all the coordinates of $p^1,\ldots, p^n$ are algebraically independent over the integers. A framework $G(p)$ in $R^r$ is said to be unique if there does not exist a framework $G(q)$ in $R^s$, for some $s$, $1 \leq s \leq n-1$, such that $||q^i-q^j||=||p^i-p^j||$ for all $(i,j) \in E$. In this paper we present a sufficient condition for a generic framework $G(p)$ to be unique, and we conjecture that this condition is also necessary. Connections with the closely related problems of global rigidity and dimensional rigidity are also discussed

On universally rigid frameworks on the line

A $d$-dimensional bar-and-joint framework $(G,p)$ with underlying graph $G$ is called universally rigid if all realizations of $G$ with the same edge lengths, in all dimensions, are congruent to $(G,p)$. We give a complete characterization of universally rigid one-dimensional bar-and-joint frameworks in general position with a complete bipartite underlying graph. We show that the only bipartite graph for which all generic $d$-dimensional realizations are universally rigid is the complete graph on two vertices, for all $d\geq 1$. We also discuss several open questions concerning generically universally rigid graphs and the universal rigidity of general frameworks on the line.

Iterative Universal Rigidity

A bar framework determined by a finite graph $G$ and configuration $\bf p$ in $d$ space is universally rigid if it is rigid in any ${\mathbb R}^D \supset {\mathbb R}^d$. We provide a characterization of universally rigidity for any graph $G$ and any configuration ${\bf p}$ in terms of a sequence of affine subsets of the space of configurations. This corresponds to a facial reduction process for closed finite dimensional convex cones.Comment: 41 pages, 12 figure

Characterizing the universal rigidity of generic frameworks

A framework is a graph and a map from its vertices to E^d (for some d). A framework is universally rigid if any framework in any dimension with the same graph and edge lengths is a Euclidean image of it. We show that a generic universally rigid framework has a positive semi-definite stress matrix of maximal rank. Connelly showed that the existence of such a positive semi-definite stress matrix is sufficient for universal rigidity, so this provides a characterization of universal rigidity for generic frameworks. We also extend our argument to give a new result on the genericity of strict complementarity in semidefinite programming.Comment: 18 pages, v2: updates throughout; v3: published versio

Graph connectivity and universal rigidity of bar frameworks

Let $G$ be a graph on $n$ nodes. In this note, we prove that if $G$ is $(r+1)$-vertex connected, $1 \leq r \leq n-2$, then there exists a configuration $p$ in general position in $R^r$ such that the bar framework $(G,p)$ is universally rigid. The proof is constructive and is based on a theorem by Lovasz et al concerning orthogonal representations and connectivity of graphs [12,13].Comment: updated versio

Natural realizations of sparsity matroids

A hypergraph G with n vertices and m hyperedges with d endpoints each is (k,l)-sparse if for all sub-hypergraphs G' on n' vertices and m' edges, m'\le kn'-l. For integers k and l satisfying 0\le l\le dk-1, this is known to be a linearly representable matroidal family. Motivated by problems in rigidity theory, we give a new linear representation theorem for the (k,l)-sparse hypergraphs that is natural; i.e., the representing matrix captures the vertex-edge incidence structure of the underlying hypergraph G.Comment: Corrected some typos from the previous version; to appear in Ars Mathematica Contemporane

Toward the Universal Rigidity of General Frameworks

Let (G,P) be a bar framework of n vertices in general position in R^d, d <= n-1, where G is a (d+1)-lateration graph. In this paper, we present a constructive proof that (G,P) admits a positive semi-definite stress matrix with rank n-d-1. We also prove a similar result for a sensor network where the graph consists of m(>= d+1) anchors.Comment: v2, a revised version of an earlier submission (v1