arXiv++ Combinatorics

Maxwell introduced a necessary minimum number of edges in terms of the number of vertices required for a graph to yield a Euclidean rigid generic framework in $\mathbb{R}^3$, this count was generalised to $\mathbb{R}^d$, for all $d\geq 1$. In this paper, we give the analogous minimum number of $k$-simplices, for all $0\leq k\leq d$, required for a pure $d$-dimensional simplicial complex to yield a volume rigid generic framework in $\mathbb{R}^d$, for all $d\geq 1$. In order to do so, we prove some basic facts about the volume rigidity matroid and use exterior algebraic shifting, a recently added tool to the study of volume rigidity. We later prove a volume rigidity Vertex Removal Lemma and use our count to strengthen the statement.

We present an algorithm for computing circuit polynomials in the algebraic rigidity matroid $\mathcal{A}(\text{CM}_n)$ associated to the Cayley-Menger ideal CM$_n$ for $n$ points in 2D. It relies on combinatorial resultants, a new operation on graphs that captures properties of the Sylvester resultant of two polynomials in this ideal. We show that every rigidity circuit has a construction tree from K4 graphs based on this operation. Our algorithm performs an algebraic elimination guided by such a construction tree, and uses classical resultants, factorization and ideal membership. To highlight its effectiveness, we implemented the algorithm in Mathematica: it took less than 15 seconds on an example where a Gröbner Basis calculation took 5 days and 6 hrs. Additional speed-ups are obtained using non-$K_4$ generators of the Cayley-Menger ideal and simple variations on our main algorithm.

Let $Ass_k(n)$ denote the simplicial complex of $(k+1)$-crossing-free subsets of edges in $\binom{n}{2}$. Here $k,n\in \mathbb{N}$ and $n\ge 2k+1$. It is conjectured that this simplicial complex is polytopal (Jonsson 2005). However, despite several recent advances, this is still an open problem. In this paper we attack this problem using as a vector configuration the rows of a rigidity matrix, namely, hyperconnectivity restricted to bipartite graphs. We see that in this way $Ass_k(n)$ can be realized as a polytope for $k=2$ and $n\le 10$, and as a fan for $k=2$ and $n\le 13$, and for $k=3$ and $n\le 11$. However, we also prove that the cases with $k\ge 3$ and $n\ge \max\{12,2k+4\}$ are not realizable in this way. We also give an algebraic interpretation of the rigidity matroid, relating it to a projection of determinantal varieties with implications in matrix completion, and prove the presence of a fan isomorphic to $Ass_{k-1}(n-2)$ in the tropicalization of that variety.

We show that, for points along the moment curve, the bar-and-joint rigidity matroid and the hyperconnectivity matroid coincide, and that both coincide with the $C^{d-2}_{d-1}$-cofactor rigidity of points along any (non-degenerate) conic in the plane. For hyperconnectivity in dimension two, having the points in the moment curve is no loss of generality. We also show that, restricted to bipartite graphs, the bar-and-joint rigidity matroid is freer than the hyperconnectivity matroid.

A $d$-dimensional framework is a pair $(G,p)$, where $G=(V,E)$ is a graph and $p$ is a map from $V$ to $\mathbb{R}^d$. The length of an edge $uv\in E$ in $(G,p)$ is the distance between $p(u)$ and $p(v)$. The framework is said to be globally rigid in $\mathbb{R}^d$ if the graph $G$ and its edge lengths uniquely determine $(G,p)$, up to congruence. A graph $G$ is called globally rigid in $\mathbb{R}^d$ if every $d$-dimensional generic framework $(G,p)$ is globally rigid. In this paper, we consider the problem of reconstructing a graph from the set of edge lengths arising from a generic framework. Roughly speaking, a graph $G$ is strongly reconstructible in $\mathbb{C}^d$ if the set of (unlabeled) edge lengths of any generic framework $(G,p)$ in $d$-space, along with the number of vertices of $G$, uniquely determine both $G$ and the association between the edges of $G$ and the set of edge lengths. It is known that if $G$ is globally rigid in $\mathbb{R}^d$ on at least $d+2$ vertices, then it is strongly reconstructible in $\mathbb{C}^d$. We strengthen this result and show that under the same conditions, $G$ is in fact fully reconstructible in $\mathbb{C}^d$, which means that the set of edge lengths alone is sufficient to uniquely reconstruct $G$, without any constraint on the number of vertices (although still under the assumption that the edge lengths come from a generic realization). As a key step in our proof, we also prove that if $G$ is globally rigid in $\mathbb{R}^d$ on at least $d+2$ vertices, then the $d$-dimensional generic rigidity matroid of $G$ is connected. Finally, we provide new families of fully reconstructible graphs and use them to answer some questions regarding unlabeled reconstructibility posed in recent papers.

Motivated by a rigidity-theoretic perspective on the Localization Problem in 2D, we develop an algorithm for computing circuit polynomials in the algebraic rigidity matroid associated to the Cayley-Menger ideal for $n$ points in 2D. We introduce combinatorial resultants, a new operation on graphs that captures properties of the Sylvester resultant of two polynomials in the algebraic rigidity matroid. We show that every rigidity circuit has a construction tree from $K_4$ graphs based on this operation. Our algorithm performs an algebraic elimination guided by the construction tree, and uses classical resultants, factorization and ideal membership. To demonstrate its effectiveness, we implemented our algorithm in Mathematica: it took less than 15 seconds on an example where a Groebner Basis calculation took 5 days and 6 hrs.

Given a matroid together with a coloring of its ground set, a subset of its elements is called rainbow colored if no two of its elements have the same color. We show that if a binary matroid of rank $r$ is colored with exactly $r$ colors, then $M$ either contains a rainbow colored circuit or a monochromatic cut. As the class of binary matroids is closed under taking duals, this immediately implies that if $M$ is colored with exactly $n-r$ colors, then $M$ either contains a rainbow colored cut or a monochromatic circuit. As a byproduct, we give a characterization of binary matroids in terms of reductions to partition matroids. Motivated by a conjecture of Bérczi et al., we also analyze the relation between the covering number of a binary matroid and the maximum number of colors or the maximum size of a color class in any of its rainbow circuit-free colorings. For simple graphic matroids, we show that there exists a rainbow circuit-free coloring that uses each color at most twice only if the graph is $(2,3)$-sparse, that is, it is independent in the $2$-dimensional rigidity matroid. Furthermore, we give a complete characterization of minimally rigid graphs admitting such a coloring.

A bar-joint framework $(G,p)$ in $\mathbb{R}^d$ is rigid if the only edge-length preserving continuous motions of the vertices arise from isometries of $\mathbb{R}^d$. It is known that, when $(G,p)$ is generic, its rigidity depends only on the underlying graph $G$, and is determined by the rank of the edge set of $G$ in the generic $d$-dimensional rigidity matroid $\mathcal{R}_d$. Complete combinatorial descriptions of the rank function of this matroid are known when $d=1,2$, and imply that all circuits in $\mathcal{R}_d$ are generically rigid in $\mathbb{R}^d$ when $d=1,2$. Determining the rank function of $\mathcal{R}_d$ is a long standing open problem when $d\geq 3$, and the existence of non-rigid circuits in $\mathcal{R}_d$ for $d\geq 3$ is a major contributing factor to why this problem is so difficult. We begin a study of non-rigid circuits by characterising the non-rigid circuits in $\mathcal{R}_d$ which have at most $d+6$ vertices.

A conjecture of Graver from 1991 states that the generic $3$-dimensional rigidity matroid is the unique maximal abstract $3$-rigidity matroid with respect to the weak order on matroids. Based on a close similarity between the generic $d$-dimensional rigidity matroid and the generic $C_{d-2}^{d-1}$-cofactor matroid from approximation theory, Whiteley made an analogous conjecture in 1996 that the generic $C_{d-2}^{d-1}$-cofactor matroid is the unique maximal abstract $d$-rigidity matroid for all $d\geq 2$. We verify the case $d=3$ of Whiteley's conjecture in this paper. A key step in our proof is to verify a second conjecture of Whiteley that the `double V-replacement operation' preserves independence in the generic $C_2^1$-cofactor matroid.

We showed in the first paper of this series that the generic $C_2^1$-cofactor matroid is the unique maximal abstract $3$-rigidity matroid. In this paper we obtain a combinatorial characterization of independence in this matroid. This solves the cofactor counterpart of the combinatorial characterization problem for the rigidity of generic 3-dimensional bar-joint frameworks. We use our characterization to verify that the counterparts of conjectures of Dress (on the rank function) and Lovász and Yemini (which suggested a sufficient connectivity condition for rigidity) hold for this matroid.

A linearly constrained framework in $\mathbb{R}^d$ is a point configuration together with a system of constraints which fixes the distances between some pairs of points and additionally restricts some of the points to lie in given affine subspaces. It is globally rigid if the configuration is uniquely defined by the constraint system, and is rigid if it is uniquely defined within some small open neighbourhood. Streinu and Theran characterised generic rigidity of linearly constrained frameworks in $\mathbb{R}^2$ in 2010. We obtain an analagous characterisation for generic global rigidity in $\mathbb{R}^2$. More precisely we show that a generic linearly constrained framework in $\mathbb{R}^2$ is globally rigid if and only if it is redundantly rigid and `balanced'. For generic frameworks which are not balanced, we determine the precise number of solutions to the constraint system whenever the underlying rigidity matroid of the given framework is connected. We also obtain a stress matrix sufficient condition and a Hendrickson type necessary condition for a generic linearly constrained framework to be globally rigid in $\mathbb{R}^d$.

We develop a rigidity theory for bar-joint frameworks in Euclidean $d$-space in which specified classes of edges are allowed to change length in a coordinated fashion that requires differences of lengths to be preserved within each class. Rigidity for these coordinated frameworks is a generic property, and we characterize the rigid graphs in terms of redundant rigidity in the standard $d$-dimensional rigidity matroid. We also interpret our main results in terms of matroid unions.

A two-dimensional direction-length framework $(G,p)$ consists of a multigraph $G=(V;D,L)$ whose edge set is formed of "direction" edges $D$ and "length" edges $L$, and a realisation $p$ of this graph in the plane. The edges of the framework represent geometric constraints: length edges fix the distance between their endvertices, whereas direction edges specify the gradient of the line through both endvertices. A direction-length framework $(G,p)$ is globally rigid if every framework $(G,q)$ which satisfies the same direction and length constraints as $(G,p)$ can be obtained by translating $(G,p)$ in the plane, and/or rotating $(G,p)$ by $180^{\circ}$. In this paper, we characterise global rigidity for generic direction-length frameworks whose associated rigidity matroid is connected, by showing that such frameworks are globally rigid if and only if every 2-separation of the underlying graph is direction-balanced.

This note contributes to the structure theory of abstract rigidity matroids in general dimension. In the spirit of classical matroid theory, we prove several cryptomorphic characterizations of abstract rigidity matroids (in terms of circuits, cocircuits, bases, hyperplanes). Moreover, the study of hyperplanes in abstract rigidity matroids leads us to state (and support with significant evidence) a conjecture about characterizing the class of abstract rigidity matroids by means of certain "prescribed substructures". We then prove a recursive version of this conjecture.

The maximum likelihood threshold of a graph is the smallest number of data points that guarantees that maximum likelihood estimates exist almost surely in the Gaussian graphical model associated to the graph. We show that this graph parameter is connected to the theory of combinatorial rigidity. In particular, if the edge set of a graph $G$ is an independent set in the $n-1$-dimensional generic rigidity matroid, then the maximum likelihood threshold of $G$ is less than or equal to $n$. This connection allows us to prove many results about the maximum likelihood threshold.

We propose new symmetry-adapted rigidity matrices to analyze the infinitesimal rigidity of arbitrary-dimensional bar-joint frameworks with Abelian point group symmetries. These matrices define new symmetry-adapted rigidity matroids on group-labeled quotient graphs. Using these new tools, we establish combinatorial characterizations of infinitesimally rigid two-dimensional bar-joint frameworks whose joints are positioned as generic as possible subject to the symmetry constraints imposed by a reflection, a half-turn or a three-fold rotation in the plane. For bar-joint frameworks which are generic with respect to any other cyclic point group in the plane, we provide a number of necessary conditions for infinitesimal rigidity.

In this note we prove a lower bound for the rank of 2-dimensional generic rigidity matroid for regular graphs of degree four and five. Also, we give examples to show the order of the bound we give is sharp.

We prove that the linear matroid that defines generic rigidity of $d$-dimensional body-rod-bar frameworks (i.e., structures consisting of disjoint bodies and rods mutually linked by bars) can be obtained from the union of ${d+1 \choose 2}$ graphic matroids by applying variants of Dilworth truncation $n_r$ times, where $n_r$ denotes the number of rods. This leads to an alternative proof of Tay's combinatorial characterizations of generic rigidity of rod-bar frameworks and that of identified body-hinge frameworks.