1 Introduction

In 1864 James Clerk Maxwell [25] initiated a combinatorial trend in the rigidity theory of finite bar-joint frameworks in Euclidean space. In two dimensions this amounted to the observation that the underlying structure graph \(G=(V,E)\) must satisfy the simple counting rule \(|E|\ge 2|V|-3\). For minimal rigidity, in which any bar removal renders the framework flexible, equality must hold together with the inequalities \(|E(H)|\le 2|V(H)|-3\) for subgraphs H with at least two vertices. The fundamental result that these two necessary conditions are also sufficient for the minimal rigidity of a generic framework was obtained by Laman in 1970 and this has given impetus to the development of matroid theory techniques. While corresponding counting rules are necessary in three dimensions they fail to be sufficient and a purely combinatorial characterisation of generic rigidity is not available. On the other hand many specific families of finite graphs are known to be generically rigid, such as the edge graphs of triangle-faced convex polyhedra in three dimensions and the graphs associated with finite triangulations of general surfaces. See, for example, Alexandrov [1], Fogelsanger [9], Gluck [10], Kann [16] and Whiteley [42, 43].

A finite simple graph G is said to be generically d-rigid, or simply d-rigid, if its realisation as some generic bar-joint framework in the Euclidean space \({\mathbb {R}}^d\) is infinitesimally rigid. Here generic refers to the algebraic independence of the set of coordinates of the vertices and infinitesimal rigidity in this case is equivalent to continuous (non-trivial finite motion) rigidity (Asimow and Roth [2, 3]). The rigidity analysis of bar-joint frameworks and related frameworks, such as body-bar frameworks and body-hinge frameworks, continues to be a focus of investigation, both in the generic case and in the presence of symmetry. For example Katoh and Tanigawa [18] have resolved the molecular conjecture for generic structures, while Schulze [38] has obtained variants of Laman’s theorem for semi-generic symmetric bar-joint frameworks. In the case of infinite frameworks however developments have centred mainly on periodic frameworks and the infinitesimal and finite motions which retain some form of periodicity. Indeed, periodicity hypotheses lead to configuration spaces that are real algebraic varieties and so to methods from multi-linear algebra and finite combinatorics. See, for example, Borcea and Streinu [4], Connelly et al. [8], Malestein and Theran [24], Owen and Power [32] and Ross et al. [37]. Periodic rigidity, broadly interpreted, is also significant in a range of applied settings, such as the mathematical analysis of rigid unit modes in crystals, as indicated in Power [34] and Wegner [41], for example.

In the development below we consider general countable simple graphs and the flexibility and rigidity of their placements in the Euclidean spaces \({\mathbb {R}}^d\) and in the non-Euclidean spaces \(({\mathbb {R}}^d, \Vert \cdot \Vert _q)\) for the classical \(\ell ^q\) norms, for \(1< q < \infty \). The constraint conditions for the non-Euclidean \(\ell ^q\) norms are no longer given by polynomial equations and so we adapt the Asimow–Roth notion of a regular framework to obtain the appropriate form of a generic framework. This strand of norm constraint rigidity theory for finite frameworks was initiated in [20] for \(\ell ^q\) norms. It was further developed in [19] for polyhedral norms and in [22] for general norms. We continue this development in Theorem 5.5 where we generalise Tay’s multi-graph characterisation [40] of generically rigid finite body-bar frameworks in \({\mathbb {R}}^d\) to the non-Euclidean \(\ell ^q\) norms. As well as being a natural problem, one of the original motivations for considering rigidity with respect to a different norm was based on similarities which arose with the combinatorial methodologies used for surface-constrained frameworks [28, 29] and the potential for cross-fertilization between these topics. Subsequently, norm based rigidity has gained interest in relation to metric embeddability [39].

Our first main result is Theorem 1.1 in which we determine the simple countable graphs which are locally generically rigid for \(({\mathbb {R}}^2,\Vert \cdot \Vert _q)\), for \(1<q<\infty \). This is a generalisation of Laman’s theorem (and its non-Euclidean analogue) to countable graphs.

Theorem 1.1

Let G be a countable simple graph.

(A):

The following statements are equivalent.

  1. (i)

    G is rigid in \((\mathbb {R}^2,\Vert \cdot \Vert _2)\).

  2. (ii)

    G contains a (2, 3)-tight vertex-complete tower.

(B):

If \(q\in (1,2)\cup (2,\infty )\) then the following statements are equivalent.

  1. (i)

    G is rigid in \((\mathbb {R}^2,\Vert \cdot \Vert _q)\).

  2. (ii)

    G contains a (2, 2)-tight vertex-complete tower.

We also see that these graphs are necessarily sequentially rigid in the sense of containing a spanning subgraph which is a union of finite graphs, each of which is infinitesimally rigid. This is the strongest form of infinitesimal rigidity and its equivalence with infinitesimal rigidity is particular to two dimensions; an infinite chain of double banana graphs shows that the corresponding equivalence fails to hold in higher dimensions (see Fig. 2).

These results rest in part on a general characterisation of infinitesimal rigidity in terms of what we refer to as the relative rigidity of a finite graph \(G_1\) with respect to a containing finite graph \(G_2\). Specifically, for all dimensions and norms we show that a countable simple graph G is infinitesimally rigid if and only if there is a subgraph inclusion tower

$$\begin{aligned} G_1\subseteq G_2 \subseteq G_3 \subseteq \cdots \end{aligned}$$

which is vertex spanning and in which for each k the graph \(G_k\) is relatively infinitesimally rigid in \(G_{k+1}\) (Theorem 3.14). This relative rigidity principle seems to be generally useful in the characterisation of generic rigidity for infinite geometric frameworks in a variety of contexts. In our second main result, in Sect. 5, we illustrate this by generalising Tay’s theorem to infinite locally generic body-bar frameworks (Theorem 1.2). That is we characterise such frameworks combinatorially in terms of their associated countably infinite multi-graphs \(G_b\).

Theorem 1.2

Let G be a countable multi-body graph for \(({\mathbb {R}}^d,\Vert \cdot \Vert _q)\) where \(q\in (1,\infty )\).

(A):

The following statements are equivalent.

  1. (i)

    G is rigid in \(({\mathbb {R}}^d,\Vert \cdot \Vert _2)\).

  2. (ii)

    \(G_b\) has a \(\left( \frac{d(d+1)}{2},\frac{d(d+1)}{2}\right) \)-tight vertex-complete tower.

(B):

If \(q\in (1,2)\cup (2,\infty )\) then the following statements are equivalent.

  1. (i)

    G is rigid in \(({\mathbb {R}}^d,\Vert \cdot \Vert _q)\).

  2. (ii)

    \(G_b\) has a (dd)-tight vertex-complete tower.

We comment on further directions and related problems at the end of Sect. 3. Accounts of the foundations of geometric rigidity theory are given in Alexandrov [1], Graver [12], Graver et al. [13] and Whiteley [45]. Also [13] has a comprehensive guide to the literature up to 1993. The influential papers of Asimow and Roth introduced regular frameworks as a more appropriate form of genericity and in Definition 2.6 we have followed Graver in requiring that all frameworks supported by vertices of G should be regular.

2 Preliminaries

In this section we state necessary definitions for finite and countably infinite graphs and we review the necessary background on the rigidity of finite graphs in \(\mathbb {R}^d\) with respect to the classical \(\ell ^q\) norms.

2.1 Continuous and Infinitesimal Rigidity

A bar-joint framework in a normed vector space \((X,\Vert \cdot \Vert )\) is a pair (Gp) consisting of a simple graph \(G=(V(G),E(G))\) and a mapping \(p:V(G)\rightarrow X\), \(v\mapsto p_v\), with the property that \(p_v\not =p_w\) whenever \(vw\in E(G)\). Unless otherwise stated, the vertex set V(G) is allowed to be either finite or countably infinite. We call p a placement of G in X and the collection of all placements of G in X will be denoted by P(GX) or simply P(G) when the context is clear. If H is a subgraph of G then the bar-joint framework (Hp) obtained by restricting p to V(H) is called a subframework of (Gp).

Definition 2.1

A continuous flex of (Gp) is a family of continuous paths

$$\begin{aligned} \alpha _v:[-1,1]\rightarrow X, \,\,\,\,\,\,\, v\in V(G), \end{aligned}$$

such that \(\alpha _v(0)=p_v\) for all \(v\in V(G)\) and \(\Vert \alpha _v(t)-\alpha _w(t)\Vert =\Vert p_v-p_w\Vert \) for all \(t\in [-1,1]\) and all \(vw\in E(G)\).

A continuous flex is regarded as trivial if it results from a continuous isometric motion of the ambient space. Formally, a continuous rigid motion of \((X,\Vert \cdot \Vert )\) is a mapping \(\Gamma (x,t):X\times [-1,1]\rightarrow X\) which is isometric in the variable x and continuous in the variable t with \(\Gamma (x,0)=x\) for all \(x\in X\). Every continuous rigid motion gives rise to a continuous flex of (Gp) by setting \(\alpha _v:[-1,1]\rightarrow X\), \(t\mapsto \Gamma (p_{v},t)\), for each \(v\in V(G)\). A continuous flex of (Gp) is trivial if it can be derived from a continuous rigid motion in this way. If every continuous flex of (Gp) is trivial then we say that (Gp) is continuously rigid, otherwise we say that (Gp) is continuously flexible.

Definition 2.2

An infinitesimal flex of (Gp) is a mapping \(u:V(G)\rightarrow X\), \(v\mapsto u_v\), which satisfies

$$\begin{aligned} \Vert (p_v+tu_v)-(p_w+tu_w)\Vert -\Vert p_v-p_w\Vert =o(t), \,\,\,\,\, \text{ as } t\rightarrow 0 \end{aligned}$$

for each edge \(vw\in E(G)\).

We will denote the vector space of infinitesimal flexes of (Gp) by \(\mathcal {F}(G,p)\). An infinitesimal rigid motion of \((X,\Vert \cdot \Vert )\) is a mapping \(\gamma :X\rightarrow X\) derived from a continuous rigid motion \(\Gamma \) by the formula \(\gamma (x)=\frac{d}{dt}\Gamma (x,t)\vert _{t=0}\) for all \(x\in X\). The vector space of all infinitesimal rigid motions of \((X,\Vert \cdot \Vert )\) is denoted \({\mathcal {T}}(X)\). Every infinitesimal rigid motion \(\gamma \in {\mathcal {T}}(X)\) gives rise to an infinitesimal flex of (Gp) by setting \(u_v= \gamma (p_v)\) for all \(v\in V(G)\). We regard such infinitesimal flexes as trivial and the collection of all trivial infinitesimal flexes of (Gp) is a vector subspace of \({\mathcal {F}}(G,p)\) which we denote by \({\mathcal {T}}(G,p)\). The infinitesimal flexibility dimension of (Gp) is the vector space dimension of the quotient space,

$$\begin{aligned} \dim _\mathrm{fl}(G,p):= \dim {\mathcal {F}}(G,p)/ {\mathcal {T}}(G,p). \end{aligned}$$

If \({\mathcal {T}}(G,p)\) is a proper subspace then (Gp) is said to be an infinitesimally flexible bar-joint framework. Otherwise, we say that (Gp) is infinitesimally rigid and we call p an infinitesimally rigid placement of G. A bar-joint framework (Gp) is minimally infinitesimally rigid if it is infinitesimally rigid and removing any edge results in a subframework which is infinitesimally flexible.

We will consider the rigidity properties of bar-joint frameworks in \({\mathbb {R}}^d\) with respect to the family \(\{\Vert \cdot \Vert _q:q\in (1,\infty )\}\) of \(\ell ^q\) norms,

$$\begin{aligned} \Vert \cdot \Vert _q:\mathbb {R}^d\rightarrow \mathbb {R},\,\,\, \,\,\,\,\Vert (x_1,\ldots ,x_d)\Vert _q=\left( \sum _{i=1}^d|x_i|^q\right) ^{\frac{1}{q}} \end{aligned}$$

We use a subscript q to indicate the \(\ell ^q\) norm when referring to the collection of infinitesimal rigid motions \({\mathcal {T}}_q({\mathbb {R}}^d)\), the infinitesimal flexes \({\mathcal {F}}_q(G,p)\), and trivial infinitesimal flexes \({\mathcal {T}}_q(G,p)\) of a bar-joint framework. In the Euclidean setting \(q=2\) it is well-known that the space of infinitesimal rigid motions \({\mathcal {T}}_2(\mathbb {R}^d)\) has dimension \(\frac{d(d+1)}{2}\). In the non-Euclidean setting \(q\not =2\) the infinitesimal rigid motions are precisely the constant mappings and so \({\mathcal {T}}_q({\mathbb {R}}^d)\) is d-dimensional (see [20, Lem. 2.2]).

Proposition 2.3

Let (Gp) be a bar-joint framework in \((\mathbb {R}^d,\Vert \cdot \Vert _q)\) where \(q\in (1,\infty )\). Then a mapping \(u:V(G)\rightarrow \mathbb {R}^d\) is an infinitesimal flex of (Gp) if and only if

$$\begin{aligned} \sum _{i=1}^d {\text {sgn}}(p_{v,i}-p_{w,i})|p_{v,i}-p_{w,i}|^{q-1}(u_{v,i}-u_{w,i})=0 \end{aligned}$$

for each edge \(vw\in E(G)\).

Proof

See proof of [20, Prop. 3.1]. \(\square \)

If G is a finite graph then the system of linear equations in Proposition 2.3 can be expressed as a matrix equation \(R_q(G,p)u=0\) where \(R_q(G,p)\) is an \(|E(G)|\times d|V(G)|\) matrix called the rigidity matrix for (Gp). The rows of \(R_q(G,p)\) are indexed by the edges of G and the columns are indexed by the d coordinates of \(p_v\) for each vertex \(v\in V(G)\). The row entries for a particular edge \(vw\in E(G)\) are

where we use the notation \(x^{(q)}=({\text {sgn}}(x_1)|x_1|^{q},\ldots ,{\text {sgn}}(x_d)|x_d|^{q})\). Evidently we have \({\mathcal {F}}_q(G,p)\cong \ker R_q(G,p)\) for all \(q\in (1,\infty )\) and it immediately follows that

$$\begin{aligned} \mathrm{rank}\,R_q(G,p)\le d|V(G)|-\dim {\mathcal {T}}_q(G,p) \end{aligned}$$

with equality if and only if (Gp) is infinitesimally rigid.

Definition 2.4

A finite bar-joint framework (Gp) is regular in \((\mathbb {R}^d,\Vert \cdot \Vert _q)\) if the function

$$\begin{aligned} P(G,{\mathbb {R}}^d)\rightarrow \mathbb {R}, \,\,\,\,\,\, x\mapsto \mathrm{rank}\,R_q(G,x) \end{aligned}$$

achieves its maximum value at p.

The equivalence of continuous and infinitesimal rigidity for regular finite bar-joint frameworks in Euclidean space was established by Asimow and Roth [2, 3]. In [21] this result is extended to finite bar-joint frameworks in the non-Euclidean spaces \(({\mathbb {R}}^d,\Vert \cdot \Vert _q)\) for \(q\in (1,\infty )\).

Theorem 2.5

(Asimow–Roth [2, 3]) If (Gp) is a finite bar-joint framework in Euclidean space \(({\mathbb {R}}^d,\Vert \cdot \Vert _2)\) then the following statements are equivalent.

  1. (i)

    (Gp) is continuously rigid and regular.

  2. (ii)

    (Gp) is infinitesimally rigid.

We now formalise our meaning of a generic finite bar-joint framework in \((\mathbb {R}^d,\Vert \cdot \Vert _q)\) for \(q\in (1,\infty )\). The complete graph on the vertices V(G) will be denoted \(K_{V(G)}\).

Definition 2.6

A finite bar-joint framework (Gp) is generic in \((\mathbb {R}^d,\Vert \cdot \Vert _q)\) if \(p\in P(K_{V(G)},{\mathbb {R}}^d)\) and every subframework of \((K_{V(G)},p)\) is regular.

If (Gp) is a finite bar-joint framework then p will frequently be identified with a vector \((p_{v_1}, p_{v_2},\ldots ,p_{v_{n}})\in {\mathbb {R}}^{d|V(G)|}\) with respect to some fixed ordering of the vertices \(V(G)=\{v_1,v_2,\ldots ,v_{n}\}\). In particular, the collection of all generic placements of G in \((\mathbb {R}^d,\Vert \cdot \Vert _q)\) is identified with a subset of \({\mathbb {R}}^{d|V(G)|}\).

Lemma 2.7

Let G be a finite simple graph and let \(q\in (1,\infty )\). Then the set of generic placements of G in \((\mathbb {R}^d,\Vert \cdot \Vert _q)\) is an open and dense subset of \(\mathbb {R}^{d|V(G)|}\).

Proof

The set of regular placements of G is an open set since the rank function is lower semi-continuous and the matrix-valued function \(x\mapsto R_q(G,x)\) is continuous. Let \({\mathcal {V}}_{nr}(G)\) denote the set of all non-regular placements of G and let \({\mathcal {V}}(G)\) be the variety

$$\begin{aligned} {\mathcal {V}}(G):=\left\{ x\in \mathbb {R}^{d|V(G)|}: \prod _{vw\in E(G)}\,\prod _{i=1}^d \, (x_{v,i}-x_{w,i})=0\right\} . \end{aligned}$$

If \(p\in {\mathcal {V}}_{nr}(G)\backslash {\mathcal {V}}(G)\) then there exists a neighbourhood U of p such that

$$\begin{aligned} {\mathcal {V}}_{nr}(G)\cap U = \{x\in U: \phi _1(x)=\cdots =\phi _m(x)=0\}, \end{aligned}$$

where \(\phi _1(x),\ldots ,\phi _m(x)\) are the minors of \(R_q(G,x)\) which correspond to its largest square submatrices. The entries of \(R_q(G,x)\) when viewed as functions of x are real analytic at all points in the complement of \({\mathcal {V}}(G)\) and so in particular we may assume that \(\phi _1,\ldots ,\phi _m\) are real analytic on U. Thus \({\mathcal {V}}_{nr}(G)\backslash {\mathcal {V}}(G)\) is a real analytic set in \({\mathbb {R}}^{d|V(G)|}\) and so the set of regular placements of G is a dense subset of \({\mathbb {R}}^{d|V(G)|}\). Finally, the set of generic placements of G is obtained as a finite intersection of open and dense sets. \(\square \)

Note that the infinitesimal flexibility dimension \(\dim _\mathrm{fl}(G,p)\) is constant on the set of generic placements of G in \((\mathbb {R}^d,\Vert \cdot \Vert _q)\). Also, if G has a (minimally) infinitesimally rigid placement then all generic placements of G are (minimally) infinitesimally rigid in \((\mathbb {R}^d,\Vert \cdot \Vert _q)\).

Definition 2.8

Let G be a finite simple graph.

  1. 1.

    The infinitesimal flexibility dimension of G in \((\mathbb {R}^d,\Vert \cdot \Vert _q)\) is

    $$\begin{aligned} \dim _{\mathrm{fl}}(G):= \dim _{d,q}(G) := \dim _\mathrm{fl}(G,p)=\dim {\mathcal {F}}_q(G,p)/ {\mathcal {T}}_q(G,p). \end{aligned}$$

    where p is any generic placement of G.

  2. 2.

    G is (minimally) rigid in \((\mathbb {R}^d,\Vert \cdot \Vert _q)\) if the generic placements of G are (minimally) infinitesimally rigid.

One can readily verify that the complete graph \(K_{d+1}\) on \(d+1\) vertices satisfies \(\dim _{d,2}(K_{d+1}) =0\) and that \(K_{d+1}\) is minimally rigid for \({\mathbb {R}}^d\) with the Euclidean norm. Also, in d dimensions we have \(\dim _{d,q}(K_{2d}) =0\), with minimal rigidity, for each of the non-Euclidean q-norms.

2.2 Sparsity and Rigidity

We recall the following classes of multi-graphs.

Definition 2.9

Let \(k,l\in \mathbb {N}\) with either \((k,l)=(2,3)\) or \(k=l\). A multi-graph G is

  1. 1.

    (k, l)-sparse if \(|E(H)|\le k|V(H)|-l\) for each subgraph H of G which contains at least two vertices.

  2. 2.

    (k, l)-tight if it is (kl)-sparse and \(|E(G)|=k|V(G)|-l\).

Our main interests are in the classes of simple (2, 2)-sparse and (2, 3)-sparse graphs and the class of (kk)-sparse multi-graphs for \(k\ge 2\).

Example 2.10

The complete graph \(K_n\) is (kk)-sparse for \(1\le n \le 2k\), (kk)-tight for \(n\in \{1,2k\}\) and fails to be (kk)-sparse for \(n>2k\). Also, \(K_2\) and \(K_3\) are (2, 3)-tight while \(K_n\) fails to be (2, 3)-sparse for \(n\ge 4\).

Laman’s theorem [23] provides a combinatorial characterisation of the class of finite simple graphs which are rigid in the Euclidean plane and can be restated as follows.

Theorem 2.11

(Laman [23]) If G is a finite simple graph then the following statements are equivalent.

  1. (i)

    G is rigid in \((\mathbb {R}^2,\Vert \cdot \Vert _2)\).

  2. (ii)

    G contains a (2, 3)-tight spanning subgraph.

In particular, a generic bar-joint framework (Gp) is minimally infinitesimally rigid in \((\mathbb {R}^2,\Vert \cdot \Vert _2)\) if and only if G is (2, 3)-tight. In [20] the following analogue of Laman’s theorem was obtained for the non-Euclidean \(\ell ^q\) norms.

Theorem 2.12

[20] If G is a finite simple graph and \(q\in (1,2)\cup (2,\infty )\) then the following statements are equivalent.

  1. (i)

    G is rigid in \((\mathbb {R}^2,\Vert \cdot \Vert _q)\).

  2. (ii)

    G contains a (2, 2)-tight spanning subgraph.

3 Rigidity of Countable Graphs

In this section we establish the general principle that infinitesimal rigidity is equivalent to local relative rigidity in the sense that every finite subframework is rigid relative to some finite containing superframework (Theorem 3.14). Following this we prove Theorem 1.1 which is the generalised Laman theorem. The rigidity of general infinite graphs as bar-joint frameworks was considered first in Owen and Power [30, 32] and part (A) of Theorem 1.1 answers a question posed in [32].

3.1 Sparsity Lemmas

We first obtain characterisations of (kl)-tightness which are needed for the construction of inclusion chains of rigid graphs.

Lemma 3.1

Let G be a (kl)-sparse multi-graph containing vertices \(v,w\in V(G)\) with \(vw\notin E(G)\) and let \(G'=G\cup \{vw\}\). Then exactly one of the following conditions must hold.

  1. (i)

    \(G'\) is (kl)-sparse, or,

  2. (ii)

    there exists a (kl)-tight subgraph of G which contains both v and w.

Proof

If \(G'\) is not (kl)-sparse then there exists a subgraph \(H'\) of \(G'\) which fails the sparsity count. Now \(H'\backslash \{vw\}\) is a (kl)-tight subgraph of G which contains both v and w. Conversely, if H is a (kl)-tight subgraph of G which contains both v and w then \(H\cup \{vw\}\) is a subgraph of \(G'\) which fails the sparsity count. \(\square \)

Lemma 3.2

Let G be a (kl)-sparse multi-graph. Suppose that one of the following conditions holds.

  1. (a)

    \(k=2\), \(l=3\) and G contains at least two vertices, or,

  2. (b)

    \(k=l\) and G contains at least 2k vertices.

Then G is a spanning subgraph of a (kl)-tight graph \(G'\) obtained by adjoining edges of the form vw to E(G) where v and w are distinct vertices of V(G).

Proof

Let K be the complete graph on the vertices of G. The collection of edge sets of the (kl)-sparse subgraphs of K form the independent sets of a matroid. Moreover, the edge sets of the (kl)-tight subgraphs of K are the base elements of this matroid. In case (a), this is well-known and a consequence of Laman’s theorem, while case (b) follows from Nash-Williams characterisation [26] of these graphs as those where the edge set is the disjoint union of k spanning forests. Each independent set in a matroid extends to a base element and so, in particular, the edge set of G extends to the edge set of a (kl)-tight graph \(G'\) on the same vertex set. \(\square \)

3.2 Relative Infinitesimal Rigidity

We first prove that in two dimensional \(\ell ^q\) spaces relative infinitesimal rigidity is equivalent to the existence of a rigid containing framework.

Definition 3.3

Let (Gp) be a bar-joint framework in a normed space \((X,\Vert \cdot \Vert )\).

  1. 1.

    A subframework (Hp) is relatively infinitesimally rigid in (Gp) if there is no non-trivial infinitesimal flex of (Hp) which extends to an infinitesimal flex of (Gp).

  2. 2.

    A subframework (Hp) has an infinitesimally rigid container in (Gp) if there exists an infinitesimally rigid subframework of (Gp) which contains (Hp) as a subframework.

If the complete bar-joint framework \((K_{V(H)},p)\) is infinitesimally rigid in \((X,\Vert \cdot \Vert )\) then relative infinitesimal rigidity is characterised by the property

$$\begin{aligned} {\mathcal {F}}(G,p) = {\mathcal {F}}(G\cup K_{V(H)},p). \end{aligned}$$

It follows that relative infinitesimal rigidity is a generic property for bar-joint frameworks in \((\mathbb {R}^d,\Vert \cdot \Vert _q)\) for all \(q\in (1,\infty )\) since if p and \(\tilde{p}\) are two generic placements of G then

$$\begin{aligned} {\mathcal {F}}_q(G,\tilde{p})\cong {\mathcal {F}}_q(G,p) = {\mathcal {F}}_q(G\cup K_{V(H)},p) \cong {\mathcal {F}}_q(G\cup K_{V(H)},\tilde{p}). \end{aligned}$$

To ensure that \((K_{V(H)},p)\) is infinitesimally rigid in the Euclidean case we require that H contains at least \(d+1\) vertices while in the non-Euclidean cases H must contain at least 2d vertices. We will say that a subgraph H is relatively rigid in G with respect to \((\mathbb {R}^d,\Vert \cdot \Vert _q)\) if the subframework (Hp) is relatively infinitesimally rigid in (Gp) for some (and hence every) generic placement of G. Note that the existence of an infinitesimally rigid container is also a generic property for bar-joint frameworks in \(({\mathbb {R}}^d,\Vert \cdot \Vert _q)\). We will say that a subgraph H has a rigid container in G with respect to \((\mathbb {R}^d,\Vert \cdot \Vert _q)\) if there exists a rigid subgraph of G which contains H.

If (Hp) has an infinitesimally rigid container in (Gp) then (Hp) is relatively infinitesimally rigid in (Gp). The converse statement is not true in general as the following example shows.

Example 3.4

Figure 1 illustrates a generic bar-joint framework (Gp) in \(({\mathbb {R}}^3,\Vert \cdot \Vert _2)\) with subframework (Hp) indicated by the shaded region. Note that (Hp) is relatively infinitesimally rigid in (Gp) but does not have an infinitesimally rigid container in (Gp).

Fig. 1
figure 1

An example of a relatively rigid subgraph in the Euclidean space \(\mathbb {R}^3\) which does not have a rigid container

In the following we will say that a finite simple graph G is independent in \((\mathbb {R}^d,\Vert \cdot \Vert _q)\) if the rigidity matrix \(R_q(G,p)\) is independent for some (and hence every) generic placement \(p:V(G)\rightarrow \mathbb {R}^d\).

Proposition 3.5

Let G be a finite simple graph and let \(q\in (1,\infty )\). Suppose that one of the following conditions holds.

  1. (a)

    \(q=2\), \(l=3\) and G contains at least two vertices, or,

  2. (b)

    \(q\not =2\), \(l=2\) and G contains at least four vertices.

Then the following statements are equivalent.

  1. (i)

    G is independent in \((\mathbb {R}^2,\Vert \cdot \Vert _q)\).

  2. (ii)

    G is (2, l)-sparse.

Proof

Let \(p:V(G)\rightarrow \mathbb {R}^2\) be a generic placement of G in \((\mathbb {R}^2,\Vert \cdot \Vert _q)\). If G is independent and H is a subgraph of G then \(|E(H)|=\mathrm{rank}\,R_q(H,p)\le 2|V(H)|-l\). We conclude that G is (2, l)-sparse.

Conversely, if G is (2, l)-sparse then, by Lemma 3.2, G is a subgraph of some (2, l)-tight graph \(G'\) with \(V(G)=V(G')\). By Laman’s theorem and its analogue for the non-Euclidean case (Theorems 2.11, 2.12), \((G',p)\) is minimally infinitesimally rigid and so G is independent. \(\square \)

We now show that relative infinitesimal rigidity does imply the existence of an infinitesimally rigid container for generic bar-joint frameworks in \((\mathbb {R}^2,\Vert \cdot \Vert _q)\) for all \(q\in (1,\infty )\).

Theorem 3.6

Let G be a finite simple graph and let H be a subgraph of G. Suppose that \(q\in (1,\infty )\) and that one of the following conditions holds.

  1. (a)

    \(q=2\) and H contains at least two vertices, or,

  2. (b)

    \(q\not =2\) and H contains at least four vertices.

Then the following statements are equivalent.

  1. (i)

    H is relatively rigid in G with respect to \((\mathbb {R}^2,\Vert \cdot \Vert _q)\).

  2. (ii)

    H has a rigid container in G with respect to \((\mathbb {R}^2,\Vert \cdot \Vert _q)\).

Proof

(i) \(\Rightarrow \) (ii) Consider first the case when G is independent with respect to \((\mathbb {R}^2,\Vert \cdot \Vert _q)\). By Proposition 3.5, G is (2, l)-sparse (where \(l=3\) when \(q=2\) and \(l=2\) when \(q\not =2\)). Since \(K_{V(H)}\) is rigid in \((\mathbb {R}^2,\Vert \cdot \Vert _q)\) the relative rigidity property implies that

$$\begin{aligned} {\mathcal {F}}_q(G,p)={\mathcal {F}}_q(G\cup K_{V(H)},p) \end{aligned}$$

for every generic placement \(p\in {\mathcal {P}}(G)\). It follows that if \(v,w\in V(H)\) and \(vw\notin E(G)\) then \(G\cup \{vw\}\) is dependent. By Proposition 3.5, \(G\cup \{vw\}\) is not (2, l)-sparse. Thus by Lemma 3.1 there exists a (2, l)-tight subgraph \(H_{v,w}\) of G with \(v,w\in V(H_{v,w})\). By Theorems 2.11 and 2.12, \(H_{v,w}\) is rigid in \((\mathbb {R}^2,\Vert \cdot \Vert _q)\). Let \(H'\) be the subgraph of G which consists of H and the subgraphs \(H_{v,w}\). Then \(H'\) is rigid in \((\mathbb {R}^2,\Vert \cdot \Vert _q)\) and so \(H'\) is a rigid container for H in G.

If G is dependent then let \(p:V(G)\rightarrow \mathbb {R}^2\) be a generic placement of G. There exists an edge \(vw\in E(G)\) such that

$$\begin{aligned} \ker R_q(G,p)=\ker R_q(G\setminus \{vw\},p). \end{aligned}$$

Let \(G_{1}=G\setminus \{vw\}\) and \(H_{1}=H\setminus \{vw\}\) and note that \(H_{1}\) is relatively rigid in \(G_{1}\). Continuing to remove edges in this way we arrive after finitely many iterations at subgraphs \(H_{n}\) and \(G_{n}\) such that \(V(H_n)=V(H)\), \(H_{n}\) is relatively rigid in \(G_{n}\) and \(G_{n}\) is independent. By the above argument there exists a rigid container \(H'_{n}\) for \(H_{n}\) in \(G_{n}\). Now \(H' = H'_{n} \cup H\) is a rigid container for H in G.

(ii) \(\Rightarrow \) (i) Let \(H'\) be a rigid container for H in G and let \(p:V(G)\rightarrow \mathbb {R}^2\) be a generic placement of G in \((\mathbb {R}^2,\Vert \cdot \Vert _q)\). Then no non-trivial infinitesimal flex of (Hp) can be extended to an infinitesimal flex of \((H',p)\) and so the result follows. \(\square \)

Remark 3.7

In their analysis of globally linked pairs of vertices in rigid frameworks Jackson et al. [15] remark that it follows from the characterisation of independent sets for the rigidity matroid for the Euclidean plane that linked vertices \(\{v_1,v_2\}\) must lie in the same rigid component. (See also [14].) This assertion is essentially equivalent to part (a) of Theorem 3.6. The terminology here is that a pair of vertices \(\{v_1,v_2\}\) in a graph G is linked in (Gp) if there exists an \(\epsilon >0\) such that if \(q \in P(G)\) is another placement of G with \(\Vert q_v-q_w\Vert _2=\Vert p_v-p_w\Vert _2\) for all \(vw\in E(G)\) and \(\Vert q_v-p_v\Vert _2 <\epsilon \) for all \(v\in V(G)\) then \(\Vert q_{v_1}-q_{v_2}\Vert _2=\Vert p_{v_1}-p_{v_2}\Vert _2\). It can be shown that this is a generic property and that a subgraph \(H\subseteq G\) is relatively rigid in G if and only if for a generic placement (Gp) each pair of vertices in H is linked in (Gp).

3.3 Flex Cancellation and Relatively Rigid Towers

A tower of bar-joint frameworks in a normed vector space \((X,\Vert \cdot \Vert )\) is a sequence \(\{(G_k,p_k):k\in \mathbb {N}\}\) of finite bar-joint frameworks in \((X,\Vert \cdot \Vert )\) such that \((G_k,p_k)\) is a subframework of \((G_{k+1},p_{k+1})\) for each \(k\in \mathbb {N}\). The linear maps

$$\begin{aligned} \rho _{j,k}:{\mathcal {F}}(G_{k},p_{k}) \rightarrow {\mathcal {F}}(G_j,p_j) \end{aligned}$$

defined for all \(j\le k\) by the restriction of flexes determine an inverse system \(({\mathcal {F}}(G_k,p_k),\rho _{j,k})\) with associated vector space inverse limit \(\varprojlim {\mathcal {F}}(G_k,p_k)\).

Definition 3.8

A tower of bar-joint frameworks \(\{(G_k,p_k):k\in \mathbb {N}\}\) has the flex cancellation property if for each \(k\in \mathbb {N}\) and any non-trivial infinitesimal flex \(u_k\) of \((G_{k},p_k)\) there is an \(m>k\) such that \(u_k\) does not extend to an infinitesimal flex of \((G_m,p_m)\).

If a bar-joint framework \((G_m,p_m)\) in a tower \(\{(G_k,p_k):k\in \mathbb {N}\}\) has a non-trivial infinitesimal flex \(u_m:V(G_m)\rightarrow X\) which can be extended to every containing framework in the tower then we call \(u_m\) an enduring infinitesimal flex for the tower.

Lemma 3.9

Let \(\{(G_k,p_k):k\in \mathbb {N}\}\) be a tower of bar-joint frameworks in a finite dimensional normed space \((X,\Vert \cdot \Vert )\) and let \(u_1\) be an infinitesimal flex of \((G_1,p_1)\) which is an enduring flex for the tower. Then there exists a sequence \(\{u_k\}_{k=1}^\infty \) such that, for each \(k\in \mathbb {N}\), \(u_{k}\) is an infinitesimal flex of \((G_k,p_k)\) and \(u_{k+1}\) is an extension of \(u_k\).

Proof

Denote by \(\mathcal {F}^{(k)}\subset \mathcal {F}(G_k,p_k)\) the vector space of all infinitesimal flexes \(u\in {\mathcal {F}}(G_k,p_k)\) with the property that there exists a scalar \(\lambda \in \mathbb {K}\) such that \(u(v)=\lambda u_1(v)\) for all \(v\in V(G_1)\). Let \(\rho _k:\mathcal {F}^{(k)}\rightarrow \mathcal {F}^{(2)}\) be the restriction map and note that since \(u_1\) is an enduring flex we have a decreasing chain of non-zero finite dimensional linear spaces

$$\begin{aligned} \mathcal {F}^{(2)}\supseteq \rho _3(\mathcal {F}^{(3)})\supseteq \rho _{4}(\mathcal {F}^{(4)})\supseteq \rho _{5}(\mathcal {F}^{(5)})\supseteq \cdots . \end{aligned}$$

Thus there exists \(m\in \mathbb {N}\) such that \(\rho _n(\mathcal {F}^{(n)})= \rho _{m}(\mathcal {F}^{(m)})\) for all \(n>m\). Since \(u_1\) is non-trivial and enduring there is a necessarily non-trivial extension \(\tilde{u}_{m}\) say in \(\mathcal {F}^{(m)}\). Let \(u_2\) be the restriction of \(\tilde{u}_{m}\) to \((G_2,p_2)\). Note that \(u_2\) is an enduring flex since for each \(n>m\) we have \(u_2\in \rho _{m}(\mathcal {F}^{(m)})= \rho _{n}(\mathcal {F}^{(n)})\). Also \(u_2\) is an extension of \(u_1\). An induction argument can now be applied to obtain a sequence of consecutive extensions \(u_{k}\in {\mathcal {F}}(G_{k}, p_{k})\). \(\square \)

A bar-joint framework (Gp) contains a tower \(\{(G_k,p_k):k\in \mathbb {N}\}\) if \((G_k,p_k)\) is a subframework of (Gp) for each \(k\in \mathbb {N}\). A tower in (Gp) is vertex-complete if \(V(G)=\bigcup _{k\in \mathbb {N}} V(G_k)\) and edge-complete if \(E(G)=\bigcup _{k\in \mathbb {N}} E(G_k)\). If a tower is edge-complete then the vector space \({\mathcal {F}}(G,p)\) of infinitesimal flexes is naturally isomorphic to the vector space inverse limit,

$$\begin{aligned} {\mathcal {F}}(G,p)\cong \varprojlim \, {\mathcal {F}}(G_k,p_k). \end{aligned}$$

Proposition 3.10

Let (Gp) be a countable bar-joint framework in a finite dimensional normed space \((X,\Vert \cdot \Vert )\). If (Gp) is infinitesimally rigid then every edge-complete tower in (Gp) has the flex cancellation property.

Proof

Suppose there exists an edge-complete tower \(\{(G_k,p_k):k\in \mathbb {N}\}\) of finite frameworks in (Gp) which does not have the flex cancellation property. Then there exists a non-trivial infinitesimal flex of some \((G_k,p_k)\) which is an enduring flex for the tower. We may assume without loss of generality that \(k=1\). By Lemma 3.9 there is a sequence of infinitesimal flexes \(u_1,u_2,u_3,\ldots \) for the chain with each flex extending the preceding flex. The tower is edge-complete and so this sequence defines an infinitesimal flex u for (Gp) by setting \(u(v)=u_k(v)\) for all \(v\in V(G_k)\) and all \(k\in {\mathbb {N}}\). Since \(u_1\) is a non-trivial infinitesimal flex of \((G_1,p_1)\) the flex u is a non-trivial infinitesimal flex of (Gp). \(\square \)

Remark 3.11

The key Lemma 3.9 is reminiscent of the compactness principle for locally finite structures to the effect that certain properties prevailing for all finite substructures hold also for the infinite structure. For example the k-colourability of a graph is one such property. See Nash-Williams [27].

We can now establish the connection between relative rigidity, flex cancellation and infinitesimal rigidity for countable bar-joint frameworks.

Definition 3.12

A tower of bar-joint frameworks \(\{(G_k,p_k):k\in \mathbb {N}\}\) is relatively infinitesimally rigid if \((G_{k},p_k)\) is relatively infinitesimally rigid in \((G_{k+1},p_{k+1})\) for each \(k\in \mathbb {N}\).

Lemma 3.13

Let \(\{(G_k,p_k):k\in \mathbb {N}\}\) be a framework tower in a finite dimensional normed space \((X,\Vert \cdot \Vert )\). If \(\{(G_k,p_k):k\in \mathbb {N}\}\) has the flex cancellation property then there exists an increasing sequence \((m_k)_{k=1}^\infty \) of natural numbers such that the tower \(\{(G_{m_k},p_{m_k}):k\in \mathbb {N}\}\) is relatively infinitesimally rigid.

Proof

Let \(\mathcal {F}^{(k)}\subset \mathcal {F}(G_1,p_1)\) denote the set of all infinitesimal flexes of \((G_1,p_1)\) which extend to \((G_{k},p_{k})\) but not \((G_{k+1},p_{k+1})\). Suppose there exists an increasing sequence \((n_k)_{k=1}^\infty \) of natural numbers such that \( \mathcal {F}^{(n_k)}\not =\emptyset \) for all \(k\in \mathbb {N}\). Choose an element \(u_k\in \mathcal {F}^{(n_k)}\) for each \(k\in \mathbb {N}\) and note that \(\{u_k:k\in \mathbb {N}\}\) is a linearly independent set in \(\mathcal {F}(G_1,p_1)\). Since \(\mathcal {F}(G_1,p_1)\) is finite dimensional we have a contradiction. Thus there exists \(m_1\in \mathbb {N}\) such that \(\mathcal {F}^{(k)}=\emptyset \) for all \(k\ge m_1\) and so \((G_1,p_1)\) is relatively infinitesimally rigid in \((G_{m_1},p_{m_1})\). The result now follows by an induction argument. \(\square \)

Theorem 3.14

Let (Gp) be a countable bar-joint framework in a finite dimensional real normed linear space \((X,\Vert \cdot \Vert )\). Then the following statements are equivalent.

  1. (i)

    (Gp) is infinitesimally rigid.

  2. (ii)

    (Gp) contains a vertex-complete tower which has the flex cancellation property.

  3. (iii)

    (Gp) contains a vertex-complete tower which is relatively infinitesimally rigid.

Proof

The implication (i) \(\Rightarrow \) (ii) is a consequence of Proposition 3.10. To prove (ii) \(\Rightarrow \) (iii) apply Lemma 3.13. We now prove (iii) \(\Rightarrow \) (i). Let \(\{(G_k,p_k):k\in \mathbb {N}\}\) be a vertex-complete tower in (Gp) which is relatively infinitesimally rigid and suppose u is a non-trivial infinitesimal flex of (Gp). We will construct inductively a sequence \((\gamma _{n})_{n=1}^\infty \) of infinitesimal rigid motions of X and an increasing sequence \((k_n)_{n=1}^\infty \) of natural numbers satisfying

  1. 1.

    \(u(v)=\gamma _{n}(p(v))\) for all \(v\in V(G_{k_n})\), and,

  2. 2.

    \(u(v_{k_{n+1}})\not =\gamma _{n}(p(v_{k_{n+1}}))\) for some \(v_{k_{n+1}}\in V(G_{k_{n+1}})\).

Since the tower \(\{(G_k,p_k):k\in \mathbb {N}\}\) is relatively infinitesimally rigid the restriction of u to \((G_k,p_k)\) is trivial for each \(k\in \mathbb {N}\). Thus there exists \(\gamma _{1}\in \mathcal {T}(X)\) such that \(u(v)=\gamma _{1}(p(v))\) for all \(v\in V(G_1)\). Let \(k_1=1\). Since u is non-trivial and the tower is vertex-complete there exists \(k_2>k_1\) such that \(u(v_{k_2})\not =\gamma _1(p(v_{k_2}))\) for some \(v_{k_2}\in V(G_{k_2})\). Now the restriction of u to \((G_{k_2},p_{k_2})\) is trivial and so there exists \(\gamma _{2}\in \mathcal {T}(X)\) such that \(u(v)=\gamma _{2}(p(v))\) for all \(v\in V(G_{k_2})\). In general, given \(\gamma _n\in \mathcal {T}(X)\) and \(k_n\in \mathbb {N}\) we construct \(\gamma _{n+1}\) and \(k_{n+1}\) using the same argument.

Let \(s_n=\gamma _{n+1}-\gamma _{n}\in \mathcal {T}(X)\). Then \(s_n(p(v))=0\) for all \(v\in V(G_{k_n})\) and \(s_n(p(v_{k_{n+1}}))\not =0\) for some \(v_{k_{n+1}}\in V(G_{k_{n+1}})\). Thus \(\{s_n:n\in \mathbb {N}\}\) is a linearly independent set in \(\mathcal {T}(X)\) and since \(\mathcal {T}(X)\) is finite dimensional we have a contradiction. We conclude that (Gp) is infinitesimally rigid. \(\square \)

Theorem 3.14 gives useful criteria for the determination of infinitesimal rigidity of a countable framework (Gp).

Definition 3.15

A countable bar-joint framework (Gp) is sequentially infinitesimally rigid if there exists a vertex-complete tower of bar-joint frameworks \(\{(G_k,p_k):k\in \mathbb {N}\}\) in (Gp) such that \((G_k,p_k)\) is infinitesimally rigid for each \(k\in \mathbb {N}\).

Corollary 3.16

Let (Gp) be a countable bar-joint framework in a finite dimensional normed space \((X,\Vert \cdot \Vert )\). If (Gp) is sequentially infinitesimally rigid then (Gp) is infinitesimally rigid.

Proof

If there exists a vertex-complete tower \(\{(G_k,p_k):k\in \mathbb {N}\}\) in (Gp) such that \((G_k,p_k)\) is infinitesimally rigid for each \(k\in \mathbb {N}\) then this framework tower is relatively infinitesimally rigid. The result now follows from Theorem 3.14. \(\square \)

Remark 3.17

The set of placements of a countable graph with prescribed edge lengths need not be an algebraic variety even when it can be realised as a finitely parametrised set. In fact there are infinite Kempe linkages which can draw everywhere non-differentiable curves [31, 35]. It follows that the Asimow–Roth proof [3] that infinitesimal rigidity implies continuous rigidity is not available for infinite graphs, and indeed this implication does not hold in this generality. A direct way to see this is given in Kastis and Power [17] through the construction of continuously flexible crystallographic bar-joint frameworks which are infinitesimally rigid by virtue of unavoidable infinite derivatives (velocities at joints) in any continuous motion.

3.4 Generic Placements for Countable Graphs

Let G be a countably infinite simple graph and let \(q\in (1,\infty )\).

Definition 3.18

A placement \(p:V(G)\rightarrow \mathbb {R}^d\) is locally generic in \((\mathbb {R}^d,\Vert \cdot \Vert _q)\) if every finite subframework of (Gp) is generic.

A tower of graphs is a sequence of finite graphs \(\{G_k:k\in \mathbb {N}\}\) such that \(G_k\) is a subgraph of \(G_{k+1}\) for each \(k\in \mathbb {N}\). A countable graph G contains a vertex-complete tower \(\{G_k:k\in \mathbb {N}\}\) if each \(G_k\) is a subgraph of G and \(V(G)=\bigcup _{k\in \mathbb {N}} V(G_k)\).

Proposition 3.19

Every countable simple graph G has a locally generic placement in \((\mathbb {R}^d,\Vert \cdot \Vert _q)\) for \(q\in (1,\infty )\).

Proof

Let \(\{G_k:k\in \mathbb {N}\}\) be a vertex-complete tower in G and let

$$\begin{aligned} \pi _{j,k}:{\mathbb {R}}^{d|V(G_k)|}\rightarrow {\mathbb {R}}^{d|V(G_j)|}, \,\,\,\,\,\,\, (x_v)_{v\in V(G_k)}\mapsto (x_v)_{v\in V(G_j)} \end{aligned}$$

be the natural projections whenever \(G_j\subseteq G_k\). By Lemma 2.7 the set of generic placements of each \(G_k\) is an open and dense subset of \({\mathbb {R}}^{d|V(G_k)|}\). It follows by an induction argument that for each \(k\in {\mathbb {N}}\) there exists an open ball \(B(p_k,r_k)\) in \({\mathbb {R}}^{d|V(G_k)|}\) consisting of generic placements of \(G_k\) such that \(r_{k+1}<r_{k}\) and the projection \(\pi _{k,k+1}(p_{k+1})\) is contained in the open ball \(B\bigl (p_{k},\frac{r_k}{2^{k}}\bigr )\). For each \(j\in \mathbb {N}\) the sequence \(\{\pi _{j,k}(p_k)\}_{k=j}^\infty \) is a Cauchy sequence of points in \(B\bigl (p_j,\frac{r_j}{2}\bigr )\subset \mathbb {R}^{d|V(G_j)|}\) and hence converges to a point in \(B(p_j,r_j)\). Define \(p:V(G)\rightarrow \mathbb {R}^d\) by setting

$$\begin{aligned} p(v)=\lim _{\begin{array}{c} k\rightarrow \infty \\ k\ge j \end{array} } p_k(v), \,\,\,\,\,\,\,\, \text {for all }\, v\in V(G_j), \;\; j\in \mathbb {N}. \end{aligned}$$

The restriction of p to \(V(G_j)\) is a generic placement of \(G_j\) for all \(j\in \mathbb {N}\) and so p is a locally generic placement of G. \(\square \)

We now show that infinitesimal rigidity and sequential infinitesimal rigidity are generic properties for countable bar-joint frameworks in \((\mathbb {R}^d,\Vert \cdot \Vert _q)\) for all \(q\in (1,\infty )\).

Proposition 3.20

Let (Gp) be a locally generic countable bar-joint framework in \((\mathbb {R}^d,\Vert \cdot \Vert _q)\) where \(q\in (1,\infty )\).

  1. (i)

    The infinitesimal flex dimension \(\dim _\mathrm{fl}(G,p)\) is constant on the set of all locally generic placements of G.

  2. (ii)

    If (Gp) is infinitesimally rigid then every locally generic placement of G is infinitesimally rigid.

  3. (iii)

    If (Gp) is sequentially infinitesimally rigid then every locally generic placement of G is sequentially infinitesimally rigid.

Proof

To show (i) choose an edge complete tower \(\{(G_k,p):k\in \mathbb {N}\}\) in (Gp). Then \({\mathcal {F}}_q(G,p)\) is isomorphic to the inverse limit of the inverse system \(({\mathcal {F}}_q(G_k,p),\rho _{j,k})\) and similarly \({\mathcal {T}}_q(G,p)\) is isomorphic to the inverse limit of the inverse system \(({\mathcal {T}}_q(G_k,p),\rho _{j,k})\) where \(\rho _{j,k}\) are restriction maps. If \(p'\) is another locally generic placement of G then \({\mathcal {F}}_q(G_k,p)\) is isomorphic to \({\mathcal {F}}_q(G_k,p')\) and \({\mathcal {T}}_q(G_k,p)\) is isomorphic to \({\mathcal {T}}_q(G_k,p')\) for each k. Moreover, we may choose isomorphisms which give rise to an isomorphism of the corresponding inverse limits,

$$\begin{aligned}&{\mathcal {F}}_q(G,p)\cong \varprojlim \, {\mathcal {F}}_q(G_k,p)\cong \varprojlim \, {\mathcal {F}}_q(G_k,p')\cong {\mathcal {F}}_q(G,p'),\\&\quad {\mathcal {T}}_q(G,p)\cong \varprojlim \, {\mathcal {T}}_q(G_k,p)\cong \varprojlim \, {\mathcal {T}}_q(G_k,p')\cong {\mathcal {T}}_q(G,p'). \end{aligned}$$

In particular the infinitesimal flex dimensions agree,

$$\begin{aligned} \dim _\mathrm{fl}(G,p) =\dim {\mathcal {F}}_q(G,p)/ {\mathcal {T}}_q(G,p) =\dim {\mathcal {F}}_q(G,p')/{\mathcal {T}}_q(G,p')= \dim _\mathrm{fl}(G,p'). \end{aligned}$$

Statement (ii) follows immediately from (i) and (iii) holds since infinitesimal rigidity is a generic property for finite bar-joint frameworks. \(\square \)

The infinitesimal flex dimension of a countable graph and the classes of countable rigid and sequentially rigid graphs are now defined.

Definition 3.21

Let G be a countable simple graph.

  1. (i)

    G is (minimally) rigid in \((\mathbb {R}^d,\Vert \cdot \Vert _q)\) if the locally generic placements of G are (minimally) infinitesimally rigid.

  2. (ii)

    G is sequentially rigid in \((\mathbb {R}^d,\Vert \cdot \Vert _q)\) if the locally generic placements of G are sequentially infinitesimally rigid.

  3. (iii)

    The infinitesimal flexibility dimension of G in \((\mathbb {R}^d,\Vert \cdot \Vert _q)\) is

    $$\begin{aligned} \dim _\mathrm{fl}(G):= \dim _{d,q}(G) := \dim _\mathrm{fl}(G,p)=\dim {\mathcal {F}}_q(G,p)/ {\mathcal {T}}_q(G,p). \end{aligned}$$

    where p is any locally generic placement of G.

The following example demonstrates the non-equivalence of rigidity and sequential rigidity for countable graphs. The surprising fact that these properties are in fact equivalent in two dimensions is established in Theorem 4.1 below.

Example 3.22

Figure 2 illustrates the first three graphs in a tower \(\{G_n:n\in \mathbb {N}\}\) in which \(G_n\) is constructed inductively from a double banana graph \(G_1\) by flex cancelling additions of copies of \(K_5\setminus \{e\}\) (single banana graphs). The union G of these graphs is a countable graph whose maximal rigid subgraphs are copies of \(K_5\setminus \{e\}\). Thus the locally generic placements of G are not sequentially infinitesimally rigid. However the tower is relatively rigid in \(({\mathbb {R}}^3,\Vert \cdot \Vert _2)\) and so G is rigid.

Fig. 2
figure 2

The graphs \(G_1\), \(G_2\) and \(G_3\) in Example 3.22

4 The Equivalence of Rigidity and Sequential Rigidity

We now prove the equivalence of rigidity and sequential rigidity for countable graphs in \(({\mathbb {R}}^2,\Vert \cdot \Vert _q)\) for \(q\in (1,\infty )\).

Theorem 4.1

Let G be a countable simple graph and let \(q\in (1,\infty )\). Then the following statements are equivalent.

  1. (i)

    G is rigid in \((\mathbb {R}^2,\Vert \cdot \Vert _q)\).

  2. (ii)

    G is sequentially rigid in \((\mathbb {R}^2,\Vert \cdot \Vert _q)\).

Proof

(i) \(\Rightarrow \) (ii) Suppose G is rigid in \((\mathbb {R}^2,\Vert \cdot \Vert _q)\) and let \(p:V(G)\rightarrow \mathbb {R}^2\) be a locally generic placement. By Theorem 3.14, (Gp) has a vertex-complete framework tower \(\{(G_k,p):k\in \mathbb {N}\}\) which is relatively infinitesimally rigid. By Theorem 3.6, \(G_k\) has a rigid container \(H_k\) in \(G_{k+1}\) for each \(k\in \mathbb {N}\). Thus \(\{H_k:k\in \mathbb {N}\}\) is the required vertex-complete tower of rigid subgraphs in G.

(ii) \(\Rightarrow \) (i) If \(p:V(G)\rightarrow \mathbb {R}^2\) is a locally generic placement of G in \((\mathbb {R}^2,\Vert \cdot \Vert _q)\) then by Corollary 3.16, (Gp) is infinitesimally rigid and so G is rigid. \(\square \)

We now prove our main theorem. We use the convention that if P is a property of a graph then a P-tower is a tower for which each graph \(G_k\) has property P. Thus a (2, 3)-tight tower is a nested sequence of subgraphs \(\{G_k:k\in {\mathbb {N}}\}\) each of which is (2, 3)-tight.

Proof of Theorem 1

(i) \(\Rightarrow \) (ii) If G is rigid then by Theorem 4.1, G is sequentially rigid and so there exists a vertex-complete tower \(\{G_k:k\in {\mathbb {N}}\}\) of rigid subgraphs in G. We will construct a tower \(\{H_k:k\in {\mathbb {N}}\}\) of (2, l)-tight subgraphs of G satisfying \(V(H_k)=V(G_k)\) for each \(k\in {\mathbb {N}}\).

Let \(H_1=G_1\backslash E_1\) be a minimally rigid spanning subgraph of \(G_1\) obtained by removing a set \(E_1\subset E(G_1)\) of edges from \(G_1\). It follows on considering the rigidity matrix for a generic placement of \(G_k\) that \(G_k\backslash E_1\) is rigid for each \(k\in {\mathbb {N}}\). Letting \(G_k'=G_k\backslash E_1\) for all \(k\ge 2\) we obtain a vertex-complete tower of rigid subgraphs in G

$$\begin{aligned} H_1\subset G_2'\subset G_{3}'\subset \cdots , \end{aligned}$$

where \(H_1\) is minimally rigid, \(V(H_1)=V(G_1)\) and \(V(G_k')=V(G_k)\) for all \(k\ge 2\).

Suppose we have constructed a vertex-complete tower of rigid subgraphs in G,

$$\begin{aligned} H_1\subset H_2\subset \cdots \subset H_n\subset G_{n+1}'\subset G_{n+2}'\subset \cdots , \end{aligned}$$

where \(H_1,H_2,\ldots ,H_n\) are minimally rigid, \(V(H_k)=V(G_k)\) for each \(k=1,2,\ldots ,n\) and \(V(G_k')=V(G_k)\) for all \(k\ge n+1\). Let \(H_{n+1}=G_{n+1}\backslash E_{n+1}\) be a minimally rigid spanning subgraph of \(G_{n+1}'\) obtained by removing a set \(E_{n+1}\subset E(G_{n+1}')\) of edges from \(G_{n+1}'\). We can arrange that \(H_n\) is a subgraph of \(H_{n+1}\). It follows on considering the rigidity matrix for a generic placement of \(G_k'\) that \(G_k'\backslash E_{n+1}\) is rigid for each \(k\ge n+1\). Replacing \(G_k'\) with \(G_k'\backslash E_{n+1}\) for each \(k\ge n+2\) we obtain a vertex-complete tower in G,

$$\begin{aligned} H_1\subset H_2\subset \cdots \subset H_{n+1}\subset G_{n+2}'\subset G_{n+3}'\subset \cdots \end{aligned}$$

consisting of rigid subgraphs with \(H_1,H_2,\ldots ,H_{n+1}\) minimally rigid, \(V(H_k)=V(G_k)\) for each \(k=1,2,\ldots ,n+1\) and \(V(G_k')=V(G_k)\) for all \(k\ge n+2\).

By induction there exists a vertex-complete tower \(\{H_k:k\in {\mathbb {N}}\}\) of minimally rigid subgraphs in G. In case (A), Theorem 2.11 implies that each \(H_k\) is (2, 3)-tight and in case (B) Theorem 2.12 implies that each \(H_k\) is (2, 2)-tight.

(ii) \(\Rightarrow \) (i) Let \(\{G_k:k\in \mathbb {N}\}\) be a (2, l)-tight vertex-complete tower in G. By Theorems 2.11 and 2.12, each \(G_k\) is a rigid graph in \((\mathbb {R}^2,\Vert \cdot \Vert _q)\) and so G is sequentially rigid. By Theorem 4.1, G is rigid. \(\square \)

Corollary 4.2

Let G be a countable simple graph.

(A):

The following statements are equivalent.

  1. (i)

    G is minimally rigid in \((\mathbb {R}^2,\Vert \cdot \Vert _2)\).

  2. (ii)

    G contains a (2, 3)-tight edge-complete tower.

(B):

If \(q\in (1,2)\cup (2,\infty )\) then the following statements are equivalent.

  1. (i)

    G is minimally rigid in \((\mathbb {R}^2,\Vert \cdot \Vert _q)\).

  2. (ii)

    G contains a (2, 2)-tight edge-complete tower.

Proof

(i) \(\Rightarrow \) (ii) If G is minimally rigid in \((\mathbb {R}^2,\Vert \cdot \Vert _q)\) then by Theorem 1.1, G contains a (2, l)-tight vertex-complete tower \(\{G_k:k\in {\mathbb {N}}\}\) and this tower must be edge-complete.

(ii) \(\Rightarrow \) (i) If G contains a (2, l)-tight edge-complete tower \(\{G_k:k\in {\mathbb {N}}\}\) then by Theorem 1.1, G is rigid. Let \(vw\in E(G)\) and suppose \(G\backslash \{vw\}\) is rigid. By Theorem 4.1, \(G\backslash \{vw\}\) is sequentially rigid and so there exists a vertex-complete tower \(\{H_k:k\in {\mathbb {N}}\}\) in \(G\backslash \{vw\}\) consisting of rigid subgraphs. Choose a sufficiently large k such that \(v,w\in V(H_k)\) and choose a sufficiently large n such that \(vw\in E(G_n)\) and \(H_k\) is a subgraph of \(G_n\). Then \(H_k\cup \{vw\}\) is a subgraph of \(G_n\) which fails the sparsity count for \(G_n\). We conclude that \(G\backslash \{vw\}\) is not rigid in \((\mathbb {R}^2,\Vert \cdot \Vert _q)\) for all \(vw\in E(G)\). \(\square \)

Note that it follows from this corollary that the graph of a minimally infinitesimally rigid framework may have some or all of its vertices of countable degree.

4.1 Remarks and Open Problems

One can also take a matroidal point of view for infinitesimally rigid frameworks and define the infinite matroid \({\mathcal {R}}_2^\infty \) (resp. \({\mathcal {R}}_{2,q}^\infty \)) on the set S of edges of the countable complete graph \(K_\infty \). The independent sets in this matroid are the subsets of edges of a sequential Laman graph (resp. sequentially (2, 2)-tight graph). Our results show that these matroids are finitary (see Oxley [33] and Bruhn et al. [6]) and so are closely related to their finite matroid counterparts.

It is a long-standing open problem to characterise in combinatorial terms the finite simple 3-rigid graphs despite progress in understanding the corresponding rigidity matroid \({\mathcal {R}}_3\). See Cheng and Sitharam [7] for example. However the absence of rotational isometries in the non-Euclidean spaces \(({\mathbb {R}}^3,\Vert \cdot \Vert _q)\) suggests that a combinatorial characterisation of finite rigid graphs might be possible in terms of (3, 3)-tight graphs. If this is so then part (B) of Theorem 1.1 would extend to \(d=3\).

We note that there are a number of further directions and natural problems in which relative rigidity methods play a role.

(i) It is well-known that generic body-bar frameworks are more tractable than bar-joint frameworks and in the next section we obtain variants of Tay’s [40] celebrated combinatorial characterisation.

(ii) Finite bar-joint frameworks in three dimensions whose joints are constrained to move on an algebraic surface are considered in [28, 29]. In particular the graphs for generically minimally infinitesimally rigid frameworks for the cylinder are the (2, 2)-tight graphs. The methods and results above for \(({\mathbb {R}}^2,\Vert \cdot \Vert _q)\) carry over readily to the cylinder.

(iii) An important theme and proof technique in the rigidity of finite graphs and geometric systems is the use of inductive constructions, that is, the construction of all graphs in a combinatorial class through a finite number of elementary construction moves, such as Henneberg moves. In our companion paper Kitson and Power [21] we consider such constructions for infinite graphs and for infinitely faceted polytopes.

(iv) In [19] it is shown that relative infinitesimal rigidity with respect to a polyhedral norm on \({\mathbb {R}}^d\) may be determined from an edge-labelling induced by the framework placement. This provides a convenient tool which is applied to obtain an analogue of Laman’s theorem for polyhedral norms on \({\mathbb {R}}^2\). The passage to countable graphs differs from the present case in that the notion of a locally generic placement used here for \(\ell ^q\) norms is no longer appropriate in the case of a polyhedral norm. Thus an analogue of Theorem 1.1 is not available, however, Theorem 3.14 may still be applied for all polyhedral norms on \({\mathbb {R}}^d\).

(v) Globally rigid graphs are those graphs G whose generic frameworks (Gp) admit no equivalent non-congruent realisations. There have been a number of recent significant advances in the determination of such graphs [11, 14] and it would be of interest to extend such results to countable graphs.

5 Rigidity of Multi-body Graphs

Tay’s theorem [40] provides a combinatorial characterisation of the finite multi-graphs without reflexive edges which have infinitesimally rigid generic realisations as body-bar frameworks in Euclidean space. In this section we extend Tay’s characterisation to countable multi-graphs and obtain analogues of both characterisations for the non-Euclidean \(\ell ^q\) norms for all dimensions \(d\ge 2\).

5.1 Tay’s Theorem and Non-Euclidean Rigidity

We now consider bar-joint frameworks in \(({\mathbb {R}}^d,\Vert \cdot \Vert _q)\), where \(q\in (1,\infty )\), which arise from the following class of simple graphs.

Definition 5.1

A multi-body graph for \(({\mathbb {R}}^d,\Vert \cdot \Vert _q)\) is a finite or countable simple graph G for which there exists a vertex partition

$$\begin{aligned} V(G)=\bigcup _k \,V_k \end{aligned}$$

consisting of a finite or countable collection of subsets \(V_k\) such that for each k,

  1. 1.

    the vertex-induced subgraph determined by \(V_k\) is a rigid graph in \((\mathbb {R}^d,\Vert \cdot \Vert _q)\), and,

  2. 2.

    every vertex \(v\in V_k\) is adjacent to at most one vertex in \(V(G)\backslash V_k\).

The rigid vertex-induced subgraph determined by \(V_k\) is denoted \(B_k\) and is called a body of G. An edge \(vw\in E(G)\) which is incident with vertices from two distinct bodies \(B_i\) and \(B_j\) is called an inter-body edge. Thus a multi-body graph is composed of pairwise vertex-disjoint bodies together with inter-body edges such that no pair of inter-body edges of G shares a vertex.

Each multi-body graph G has an associated finite or countable body-bar graph \(G_b=(V(G_b),E(G_b))\) which is the multi-graph with vertex set labelled by the bodies of G and with edge set derived from the inter-body edges of G.

Tay’s theorem may be restated as follows:

Theorem 5.2

(Tay [40]) Let G be a finite multi-body graph for \(({\mathbb {R}}^d,\Vert \cdot \Vert _2)\) and suppose that G contains at least two bodies. Then the following statements are equivalent.

  1. (i)

    G is rigid in Euclidean space \(({\mathbb {R}}^d,\Vert \cdot \Vert _2)\).

  2. (ii)

    \(G_b\) contains a \(\big (\frac{d(d+1)}{2},\frac{d(d+1)}{2}\big )\)-tight spanning subgraph.

The following lemma shows that the bodies \(B_1,B_2,\ldots \) of a multi-body graph G may be modelled in a number of different ways without altering the rigidity properties of G.

Lemma 5.3

Let G and \(G'\) be two finite multi-body graphs for \(({\mathbb {R}}^d,\Vert \cdot \Vert _q)\) with isomorphic body-bar graphs and \(q\in (1,\infty )\). Then \(\dim _{d,q}(G)=\dim _{d,q}(G')\).

Proof

Choose a multi-body graph H with body-bar graph \(H_b\) isomorphic to \(G_b\) and \(G'_b\) such that each body of H is a complete graph with more vertices than the corresponding bodies of G and \(G'\). Then there exist natural graph homomorphisms \(\phi :G\rightarrow H\) and \(\phi ':G'\rightarrow H\). If \(p_H:V(H)\rightarrow {\mathbb {R}}^d\) is a generic placement of H then \(p:V(G)\rightarrow {\mathbb {R}}^d\) defined by \(p_v=(p_H)_{\phi (v)}\) is a generic placement of G. Now the linear mapping \(A:{\mathcal {F}}_q(H,p_H)\rightarrow {\mathcal {F}}_q(G,p)\), \(A(u)_v=u_{\phi (v)}\), is an isomorphism. Applying the same argument to \(G'\) we obtain a generic placement \(p:V(G')\rightarrow {\mathbb {R}}^d\) and a linear isomorphism \(A':{\mathcal {F}}_q(H,p_H)\rightarrow {\mathcal {F}}_q(G',p')\). The result follows. \(\square \)

Example 5.4

The complete graph \(K_{d+1}\) is \(\bigl (d,\frac{d(d+1)}{2}\bigr )\)-tight and is minimally rigid for \(({\mathbb {R}}^d,\Vert \cdot \Vert _2)\). The complete graph \(K_{2d}\) is (dd)-tight and is a minimally rigid graph for \(({\mathbb {R}}^d,\Vert \cdot \Vert _q)\) for each of the non-Euclidean \(\ell ^q\)-norms. These sparsity and rigidity properties persist for graphs obtained from these complete graphs by a finite sequence of Henneberg vertex extension moves of degree d. Thus we may assume without loss of generality that the bodies of a finite multi-body graph for \(({\mathbb {R}}^d,\Vert \cdot \Vert _q)\) are \(\bigl (d,\frac{d(d+1)}{2}\bigr )\)-tight in the Euclidean case and (dd)-tight in the non-Euclidean case. The convenience of modelling multi-body graphs in this way is that the combinatorial and \(\ell ^q\)-norm analysis of earlier sections is ready-to-hand.

There is a natural vertex-induced surjective graph homomorphism \(\pi :G \rightarrow \overline{G}_b\) where \(\overline{G}_b\) is the multi-graph obtained by contracting the bodies of G. The body-bar graph \(G_b\) is a subgraph of \(\overline{G}_b\) obtained by removing reflexive edges and \(\pi \) gives a bijection between the inter-body edges of G and the edges of \(G_b\).

Theorem 5.5

Let G be a finite multi-body graph for \(({\mathbb {R}}^d,\Vert \cdot \Vert _q)\) where \(q\in (1,2)\cup (2,\infty )\). Then the following statements are equivalent.

  1. (i)

    G is rigid in \(({\mathbb {R}}^d,\Vert \cdot \Vert _q)\).

  2. (ii)

    \(G_b\) has a (dd)-tight spanning subgraph.

Proof

(i) \(\Rightarrow \) (ii) We can assume without loss of generality that each body of G is (dd)-tight. Suppose that G is minimally rigid in \(({\mathbb {R}}^d,\Vert \cdot \Vert _q)\) with bodies \(B_1,B_2,\ldots ,B_n\). If \(G_b\) is the body-bar graph for G then \(|V(G_b)|=n \) and we have

$$\begin{aligned} |E(G_b)|&= |E(G)|-\sum _{i=1}^{n}|E(B_i)| \\&= (d|V(G)|-d)-\sum _{i=1}^{n}(d|V(B_i)|-d) = d|V(G_b)|-d. \end{aligned}$$

Let \(H_b\) be a subgraph of \(G_b\) and let \(\pi :G\rightarrow \overline{G}_b\) be the natural graph homomorphism. Define H to be the subgraph of G with \(V(H)=\pi ^{-1}(V(H_b))\) such that H contains the body \(B_i\) whenever \(\pi (V(B_i))\in V(H_b)\) and H contains the inter-body edge vw whenever \(\pi (v)\pi (w)\in E(H_b)\). Then \(|V(H_b)|=|{\mathcal {I}}|\) where \({\mathcal {I}}=\{i\in \{1,\ldots ,n\}: B_i\subset H\}\) and

$$\begin{aligned} |E(H_b)|&= |E(H)|-\sum _{i\in {\mathcal {I}}}|E(B_i)| \\&\le (d|V(H)|-d)-\sum _{i\in {\mathcal {I}}}(d|V(B_i)|-d) = d|V(H_b)|-d. \end{aligned}$$

Thus \(G_b\) is (dd)-tight. For the general case note that by removing edges from G we obtain a minimally rigid multi-body graph \(\tilde{G}\). Thus by the above argument \(\tilde{G}_b\) is a vertex-complete (dd)-tight subgraph of \(G_b\).

(ii) \(\Rightarrow \) (i) If \(G_b\) is (dd)-tight then it admits a partition as an edge-disjoint union of d spanning trees \(T_1,T_2,\ldots ,T_d\) (see [26]). We will construct a placement of G so that \(p_v-p_w\) lies on the ith coordinate axis in \({\mathbb {R}}^d\) whenever vw is an inter-body edge with \(\pi (vw)\in T_i\).

By Lemma 5.3 we can assume that the bodies \(B_1,B_2,\ldots ,B_n\) of G are copies of the complete graph \(K_m\) for some sufficiently large m. Let \(p_1:V(B_1)\rightarrow {\mathbb {R}}^d\) be a generic placement of the body \(B_1\) and define inductively the placements \(p_k:V(B_k)\rightarrow {\mathbb {R}}^d\) for \(k=2,\ldots ,n\) so that

  1. (1)

    \(p_k(V(B_k))=p_1(V(B_1))\), and,

  2. (2)

    \(p_j(v)=p_k(w)\) whenever \(j<k\) and \(vw\in E(G)\) is an inter-body edge with \(v\in V(B_j)\) and \(w\in V(B_k)\).

Then \((B_k,p_k)\) is a generic, and hence infinitesimally rigid, bar-joint framework for each \(k=1,2,\ldots ,n\).

Define \(p:V(G)\rightarrow {\mathbb {R}}^d\) by setting \(p(v)=p_i(v)\) whenever \(v\in V(B_i)\). Note that p is not a placement of G since \(p_v=p_w\) for each inter-body edge \(vw\in E(G)\). However, by perturbing p by a small amount we can obtain a placement \(p'\). Let \(\epsilon >0\) and let \(e_1,e_2,\ldots ,e_d\) be the usual basis in \({\mathbb {R}}^d\). If \(v\in V(G)\) is not incident with an inter-body edge then set \(p'_v=p_v\). If \(vw\in E(G)\) is an inter-body edge and \(\pi (vw)\in T_i\) then let \(p'_v=p_v+\epsilon e_i\) and \(p'_w=p_w\). The rigidity matrix for \((G,p')\) has the form

where the rows of the submatrix Z correspond to the inter-body edges in G.

Suppose \(u=(u_1,\ldots ,u_n)\in \ker R_q(G,p')\). For a sufficiently small \(\epsilon \) each subframework \((B_i,p')\) is infinitesimally rigid, and so \(u_i=(a_i,\ldots ,a_i)\) for some \(a_i\in {\mathbb {R}}^d\). If vw is an inter-body edge with \(\pi (vw)\in T_i\) then the corresponding row entries in \(R_q(G,p')\) are non-zero in the \(p_{v,i}\) and \(p_{w,i}\) columns only. The spanning tree property now ensures that \(a_1=\cdots =a_n\) and so the kernel of \(R_q(G,p')\) has dimension d. Thus \(p'\) is an infinitesimally rigid placement of G in \(({\mathbb {R}}^d,\Vert \cdot \Vert _q)\). More generally if \(G_b\) contains a vertex-complete (dd)-tight subgraph then by the above argument G is rigid in \(({\mathbb {R}}^d,\Vert \cdot \Vert _q)\). \(\square \)

A key feature of body-bar frameworks is the non-incidence condition for the bars. This makes available special realisations which are rigid, as we have seen in the proof of the analogue of Tay’s theorem, Theorem 5.5. Other instances of this can be seen in the matroid analysis of Whiteley [44] and in the analysis of Borcea and Streinu [5] and Ross [36] of locally finite graphs with periodically rigid periodic bar-joint frameworks.

We will require the following definition and corollary to characterise the countable rigid multi-body graphs for \(({\mathbb {R}}^d,\Vert \cdot \Vert _q)\).

Definition 5.6

A multi-body graph for \(({\mathbb {R}}^d,\Vert \cdot \Vert _q)\) is essentially minimally rigid if it is rigid and removing any inter-body edge results in a multi-body graph which is not rigid.

Corollary 5.7

Let G be a finite multi-body graph for \(({\mathbb {R}}^d,\Vert \cdot \Vert _q)\) and suppose that one of the following conditions holds.

  1. (a)

    \(q=2\) and \(k=\frac{d(d+1)}{2}\), or,

  2. (b)

    \(q\in (1,2)\cup (2,\infty )\) and \(k=d\).

Then the following statements are equivalent.

  1. (i)

    G is essentially minimally rigid in \(({\mathbb {R}}^d,\Vert \cdot \Vert _q)\).

  2. (ii)

    \(G_b\) is a (kk)-tight multi-graph.

Proof

The proof follows immediately from Theorem 5.2 in case (a) and from Theorem 5.5 in case (b). \(\square \)

5.2 Rigidity of Countable Multi-body Graphs

We are now able to characterise the countable rigid multi-body graphs in \(({\mathbb {R}}^d,\Vert \cdot \Vert _q)\) for all dimensions \(d\ge 2\) and all \(q\in (1,\infty )\). Given a finite bar-joint framework (Gp) in \(({\mathbb {R}}^d,\Vert \cdot \Vert _q)\) we denote by \(X_\mathrm{row}(G,p)\) the row space of the rigidity matrix \(R_q(G,p)\).

Definition 5.8

A finite multi-body graph for \(({\mathbb {R}}^d,\Vert \cdot \Vert _q)\) is essentially independent if given any generic placement \(p\in {\mathcal {P}}(G)\) the row space of the rigidity matrix \(R_q(G,p)\) may be expressed as a direct sum

$$\begin{aligned} X_\mathrm{row}(G,p) = X_{B_1}\oplus \cdots \oplus X_{B_n}\oplus X_{IB }, \end{aligned}$$

where \(X_{B_i}\) is the subspace of \(X_\mathrm{row}(G,p)\) spanned by the rows of \(R_q(G,p)\) which correspond to the edges of the body \(B_i\) and \(X_\mathrm{IB}\) is the subspace spanned by the rows which correspond to the inter-body edges of G.

The following result is an analogue of Proposition 3.5.

Proposition 5.9

Let G be a finite multi-body graph for \(({\mathbb {R}}^d,\Vert \cdot \Vert _q)\) and suppose that one of the following conditions holds.

  1. (a)

    \(q=2\), \(k=\frac{d(d+1)}{2}\) and G contains at least \(d(d+1)\) vertices, or,

  2. (b)

    \(q\in (1,2)\cup (2,\infty )\), \(k=d\) and G contains at least 2d vertices.

Then the following statements are equivalent.

  1. (i)

    G is essentially independent with respect to \((\mathbb {R}^d,\Vert \cdot \Vert _q)\).

  2. (ii)

    \(G_b\) is (kk)-sparse.

Proof

Suppose G is essentially independent and let \(p:V(G)\rightarrow \mathbb {R}^d\) be a generic placement of G. If \(H_b\) is a subgraph of \(G_b\) and \(B_1,B_2,\ldots ,B_n\) are the bodies of G then let H be the subgraph of G with \(V(H)=\pi ^{-1}(V(H_b))\) such that H contains the body \(B_i\) whenever \(\pi (V(B_i))\in V(H_b)\) and H contains the inter-body edge vw whenever \(\pi (vw)\in E(H_b)\). If \({\mathcal {I}}=\{i\in \{1,\ldots ,n\}: B_i\subset H\}\) then

$$\begin{aligned} |E(H_b)|&= \mathrm{rank}\,R_q(H,p)-\sum _{i\in {\mathcal {I}}}\mathrm{rank}\,R_q(B_i,p)\\&\le (d|V(H)|-k)-\sum _{i\in {\mathcal {I}}}(d|V(B_i)|-k) = k|V(H_b)|-k. \end{aligned}$$

Thus \(G_b\) is (kk)-sparse.

Conversely, if \(G_b\) is (kk)-sparse then by Lemma 3.2, \(G_b\) is a vertex-complete subgraph of a (kk)-tight multi-graph \(G'_b\) which has no reflexive edges. Let \(G'\) be a multi-body graph with body-bar graph isomorphic to \(G'_b\) and which contains G as a subgraph. By Corollary 5.7, \(G'\) is essentially minimally rigid and it follows that G is essentially independent. \(\square \)

We now prove an analogue of Theorem 3.6 which shows that in the category of multi-body graphs relative rigidity is equivalent to the existence of a rigid container for all dimensions d and for all \(\ell ^q\) norms.

Theorem 5.10

Let G be a finite multi-body graph for \(({\mathbb {R}}^d,\Vert \cdot \Vert _q)\) and let H be a subgraph of G which is a multi-body graph whose body subgraphs are bodies of G. Suppose that one of the following conditions holds.

  1. (a)

    \(q=2\) and H contains at least \(d(d+1)\) vertices, or,

  2. (b)

    \(q\in (1,2)\cup (2,\infty )\) and H contains at least 2d vertices.

Then the following statements are equivalent.

  1. (i)

    H is relatively rigid in G with respect to \((\mathbb {R}^d,\Vert \cdot \Vert _q)\).

  2. (ii)

    H has a rigid container in G with respect to \((\mathbb {R}^d,\Vert \cdot \Vert _q)\) which is a multi-body graph.

Proof

(i) \(\Rightarrow \) (ii) Consider first the case when G is essentially independent with respect to \((\mathbb {R}^d,\Vert \cdot \Vert _q)\). By Proposition 5.9, the body-bar graph \(G_b\) is (kk)-sparse, for the appropriate value of k. Let \(\pi (v),\pi (w)\in V(H_b)\) be distinct vertices of \(H_b\) with \(\pi (vw)\notin E(H_b)\). By enlarging the bodies of G and H we can assume without loss of generality that there exist representative vertices \(v,w\in V(H)\) such that v and w are not incident with any inter-body edges of G. Since \(K_{V(H)}\) is rigid in \((\mathbb {R}^d,\Vert \cdot \Vert _q)\) the relative rigidity property implies that

$$\begin{aligned} {\mathcal {F}}_q(G,p)={\mathcal {F}}_q(G\cup K_{V(H)},p) \end{aligned}$$

for every generic placement p. It follows that \(G'=G\cup \{vw\}\) is a multi-body graph which is not essentially independent. Note that \(G'\) has the same bodies as G and so by Proposition 5.9, the associated body-bar graph \((G')_b=G_b\cup \{\pi (vw)\}\) is not (kk)-sparse where \(\pi :G\rightarrow \overline{G}_b\) is the natural graph homomorphism. Thus by Lemma 3.1 there exists a (kk)-tight subgraph \((H_{v,w})_b\) of \(G_b\) with \(\pi (v),\pi (w)\in V((H_{v,w})_b)\). Let \(H_{v,w}\) be the induced multi-body subgraph of G with body-bar graph isomorphic to \((H_{v,w})_b\). By Corollary 5.7, \(H_{v,w}\) is rigid in \((\mathbb {R}^2,\Vert \cdot \Vert _q)\).

Define \(H'\) to be the union of H together with the subgraphs \(H_{v,w}\) for all such pairs \(\pi (v),\pi (w)\in V(H_b)\). Thus \(H'\) is the multi-body subgraph of G with body-bar graph isomorphic to \(H'_b\). Then \(H'\) is rigid in \((\mathbb {R}^d,\Vert \cdot \Vert _q)\) and so \(H'\) is a rigid container for H in G.

If G is not essentially independent then let \(p:V(G)\rightarrow \mathbb {R}^d\) be a generic placement of G. There exists an inter-body edge \(vw\in E(G)\) such that

$$\begin{aligned} \ker R_q(G,p)=\ker R_q(G\setminus \{vw\}, p). \end{aligned}$$

Let \(G_{1}=G\setminus \{vw\}\) and \(H_{1}=H\setminus \{vw\}\) and note that \(H_{1}\) is relatively rigid in \(G_{1}\). Continuing to remove edges in this way we arrive after finitely many iterations at subgraphs \(H_{n}\) and \(G_{n}\) such that \(V(H_n)=V(H)\), \(H_{n}\) is relatively rigid in \(G_{n}\) and \(G_{n}\) is essentially independent. By the above argument there exists a rigid container \(H'_{n}\) for \(H_{n}\) in \(G_{n}\). Now \(H' = H'_{n} \cup H\) is a rigid container for H in G.

(ii) \(\Rightarrow \) (i) If H has a rigid container \(H'\) in G and \(p:V(G)\rightarrow {\mathbb {R}}^d\) is a generic placement of G then no non-trivial infinitesimal flex of (Hp) extends to \((H',p)\). The result follows. \(\square \)

We now prove the equivalence of rigidity and sequential rigidity for multi-body graphs with respect to all \(\ell ^q\)-norms and in all dimensions \(d\ge 2\).

Theorem 5.11

Let G be a countable multi-body graph for \(({\mathbb {R}}^d,\Vert \cdot \Vert _q)\) where \(q\in (1,\infty )\). The following statements are equivalent.

  1. (i)

    G is rigid in \(({\mathbb {R}}^d,\Vert \cdot \Vert _q)\).

  2. (ii)

    G is sequentially rigid in \(({\mathbb {R}}^d,\Vert \cdot \Vert _q)\).

Proof

Suppose G is rigid in \((\mathbb {R}^d,\Vert \cdot \Vert _q)\) and let \(p:V(G)\rightarrow \mathbb {R}^d\) be a locally generic placement. By Theorem 3.14, there exists a vertex-complete tower \(\{(G_k,p_k):k\in \mathbb {N}\}\) in (Gp) which is relatively infinitesimally rigid. Moreover, we can assume that each \(G_k\) is a multi-body graph. By Proposition 5.10, \(G_k\) has a rigid container \(H_k\) in \(G_{k+1}\) for each \(k\in \mathbb {N}\). Thus the sequence \(\{H_k:k\in \mathbb {N}\}\) is a vertex-complete tower of rigid graphs in G. For the converse apply Corollary 3.16. \(\square \)

We now prove our second main result which generalises Tay’s theorem to countable multi-body graphs.

Proof of Theorem 2

(i) \(\Rightarrow \) (ii) If G is rigid then by Theorem 5.11, G is sequentially rigid. Let \(\{G_k:k\in \mathbb {N}\}\) be a vertex-complete tower of rigid subgraphs in G and let \(B_1,B_2,\ldots \) be the bodies of G. We may assume that each \(G_k\) is a multi-body graph. Applying the induction argument used in Theorem 1.1 we construct a vertex-complete tower of essentially minimally rigid multi-body subgraphs in G. To do this let \(H_1\) be the multi-body graph obtained by taking all bodies which lie in \(\tilde{G}_1\) and adjoining inter-body edges of \(G_1\) until an essentially minimally rigid graph is reached. The induced sequence of body-bar graphs \(\{(H_{k})_b:k\in \mathbb {N}\}\) is a vertex-complete tower in \(G_b\). By Corollary 5.7 each body-bar graph \((H_k)_b\) is \(\bigl (\frac{d(d+1)}{2},\frac{d(d+1)}{2}\bigr )\)-tight in case (A) and (dd)-tight in case (B).

(ii) \(\Rightarrow \) (i) Let \(\{G_{k,b}:k\in \mathbb {N}\}\) be a \(\bigl (\frac{d(d+1)}{2},\frac{d(d+1)}{2}\bigr )\)-tight vertex-complete tower in \(G_b\) and let \(\pi :G\rightarrow \overline{G}_b\) be the natural graph homomorphism. Define \(G_k\) to be the subgraph of G with \(V(G_k)=\pi ^{-1}(V(G_{k,b}))\) such that \(G_k\) contains the body \(B_i\) whenever \(\pi (V(B_i))\in V(G_{k,b})\) and \(G_k\) contains the inter-body edge vw whenever \(\pi (vw)\in E(G_{k,b})\). Then \(G_{k,b}\) is the body-bar graph for \(G_k\) and so \(G_k\) is rigid by Theorem 5.2. Thus \(\{G_k:k\in \mathbb {N}\}\) is a vertex-complete tower of rigid subgraphs in G and so G is sequentially rigid. By Theorem 5.11, G is rigid.

To prove (B) we apply similar arguments to the above using the non-Euclidean versions of the relevant propositions and substituting Theorem 5.5 for Theorem 5.2. \(\square \)

Corollary 5.12

Let G be a countable multi-body graph for \(({\mathbb {R}}^d,\Vert \cdot \Vert _q)\) where \(q\in (1,\infty )\).

(A):

The following statements are equivalent.

  1. (i)

    G is essentially minimally rigid in \(({\mathbb {R}}^d,\Vert \cdot \Vert _2)\).

  2. (ii)

    \(G_b\) has a \(\bigl (\frac{d(d+1)}{2},\frac{d(d+1)}{2}\bigr )\)-tight edge-complete tower.

(B):

If \(q\in (1,2)\cup (2,\infty )\) then the following statements are equivalent.

  1. (i)

    G is essentially minimally rigid in \(({\mathbb {R}}^d,\Vert \cdot \Vert _q)\).

  2. (ii)

    \(G_b\) has a (dd)-tight edge-complete tower.

Proof

(i) \(\Rightarrow \) (ii) If G is essentially minimally rigid in \((\mathbb {R}^d,\Vert \cdot \Vert _q)\) then by Theorem 1.2, \(G_b\) contains a (kk)-tight vertex-complete tower \(\{G_k:k\in {\mathbb {N}}\}\) and this tower must be edge-complete.

(ii) \(\Rightarrow \) (i) If \(G_b\) contains a (kk)-tight edge-complete tower \(\{G_{k,b}:k\in {\mathbb {N}}\}\) then by Theorem 1.2, G is rigid. Let \(vw\in E(G)\) be an inter-body edge and suppose \(G\backslash \{vw\}\) is rigid. By Theorem 5.11, \(G\backslash \{vw\}\) is sequentially rigid and so there exists a vertex-complete tower \(\{H_k:k\in {\mathbb {N}}\}\) in \(G\backslash \{vw\}\) consisting of rigid subgraphs. Moreover, we can assume that each \(H_k\) is a multi-body graph. Choose a sufficiently large k such that \(v,w\in V(H_k)\) and choose a sufficiently large n such that \(vw\in E(G_n)\) and \(H_k\) is a subgraph of \(G_n\). Then the body-bar graph for \(H_k\cup \{vw\}\) is a subgraph of \((G_n)_b\) which fails the sparsity count for \((G_n)_b\). We conclude that \(G\backslash \{vw\}\) is not rigid in \((\mathbb {R}^d,\Vert \cdot \Vert _q)\) for all \(vw\in E(G)\). \(\square \)