Isostatic Block and Hole Frameworks
Abstract
A longstanding problem in rigidity theory is to characterize the graphs which are minimally generically rigid in space. The results of Cauchy, Dehn, and Alexandrov give one important class: the triangulated convex spheres, but there is an ongoing desire for further classes. We provide such a class, along with methods to verify generic rigidity that can be extended to other classes. These methods are based on a controlled sequence of vertex splits, a graph theoretic operation known to take a minimally generically rigid framework to a new minimally generically rigid framework with one more vertex.
One motivation for this is to have wellunderstood frameworks which can be used to explore Mathematical Allostery  frameworks in which adding bars at one site, causes changes in rigidity at a distant site. This is an initial step in exploring the possibility of mechanical models for an important behaviour in proteins.
Mathematics Subject Classifications:
52C25;
Secondary: 52B99 70C20 70B15
Key words: generic rigidity, spherical polyhedra, vertex splitting, mathematical allostery.
1 Introduction
The combinatorial characterization of general graphs that can be realized in 3space as isostatic (rigid and independent) bar and joint frameworks is a major unsolved problem in rigidity theory [12, 23, 27, 28]. In the absence of a general characterization, it is significant to investigate additional classes of graphs and confirm the rigidity and independence of almost all realizations of such graph in 3space (generic rigidity), something that follows from the existence of even one isostatic realization.
Historically, from the work of Cauchy and Dehn [2, 6], we know that arbitrary convex triangulated spheres are isostatic, and therefore any realization of these 3connected planar graphs , with , at generic positions of the vertices is also isostatic [11]. More generally, the results of Alexandrov [1] show that for any convex polyhedron, one can subdivide the natural edges with additional vertices, and then triangulate the ‘faces’ on all their vertices, to create an isostatic framework [24]. From one point of view, the steps from this example becomes a guide for the steps in some of the proofs we explore in this paper.
A second model for the results in this paper is Theorem 4.1 of Whiteley, [25], which verified a generic version of a conjecture of Kuiper [13]. If we start with a triangulated sphere and remove one edge (creating a quadrilateral hole) and insert a new edge somewhere else, connecting the two vertices of triangles which share an edge (creating a tetrahedral block) then the resulting graph is isostatic for almost all realizations provided the hole and the block are connected by four vertex disjoint paths from the four vertices of the hole to the four vertices of the block (Figure 1).
In this paper, we are interested in the behaviour of general triangulated spheres modified with some holes and some isostatic blocks. The holes and blocks are created in such a way as to balance the count; that is, the number of edges removed from the holes will equal the number of edges added to form the blocks, so .
For example, when building a geodesic dome, you cut off one part of the triangulated convex sphere and attach this base to the ground. The ground is a large block. If the polygon on the ground has vertices, you can now remove up to other edges to make windows, doors, or other holes in the remaining dome. Which edges can you remove? We will provide methods which can be applied to verify the rigidity of a proposed set of added holes, at least for generic positions of the vertices.
We cast our solution in a pattern reminiscent of some steps of Alexandrov’s Theorem (Figure 2):

pick a 3connected planar graph  the graph of the polyhedron ;

select certain faces to become holes (no added interior edges in the face) and other faces to become blocks (inserting isostatic subframeworks on the vertices of the face) to form a graph , leaving the remaining faces as triangulated surfaces faces, creating a base polyhedron;

expand the graph by inserting new vertices along edges which do not belong to a hole or a block (edges which separate surface faces);

further expand the vertices of this polyhedron by inserting vertices inside any surface faces and provide an arbitrary planar triangulation of these surface ‘faces’ (including all added vertices of the face), creating a graph for the expanded polyhedron ;

verify that the expanded polyhedron can be reached from the base polyhedron through a sequence of vertex splits by carefully selecting the reverse sequence of operations of contracting edges;

verify that the base polyhedron , with blocks and holes and each of the possible triangulations of the surface faces, is isostatic;

conclude that the expanded polyhedron is isostatic for almost all (generic) realizations, and arbitrary retriangulations of the expanded faces.
Our basic tool for connecting the base polyhedron with the expanded polyhedron is vertex splitting [26]. This is a technique developed to expand isostatic frameworks by inserting a new vertex and two triangles in place of two adjacent edges, creating a larger isostatic framework. It was first extensively applied to verify the generic rigidity of fully triangulated surfaces [10, 26].
Knowing that vertex splitting preserves firstorder rigidity and independence as we expand, the central problem is to show that a given final expanded structure comes from some triangulation of the base polyhedron by a sequence of vertex splits. This paper will present some new techniques to confirm the existence of such a construction sequence, based on the local topology of how the triangulated discs are embedded in the larger framework, as well as how two such discs and their shared boundary path are embedded in the larger framework.
Given a triangulated disc, we verify the existence of the desired vertex splits by working back via the reverse of vertex splitting  edge contraction, for three cases:

inductively contract edges so that no interior edges remain in a triangulated disc (Section 3.1)

inductively contract edges so that no vertices remain interior to triangulated discs (Section 3.2);

inductively contract the path vertices interior to the original edges between triangulated discs, so that we have a triangulation of the original surface faces of the base polyhedron (Section 3.3) .
The conclusion will be that the expanded polyhedron is constructed from the base by a sequence of vertex splits. Therefore, if the base polyhedron is generically rigid (independent, isostatic), then the final polyhedron will be generically rigid.
This leaves the second challenge of creating an appropriate isostatic base polyhedron (Section 5), and ways to ‘find’ an appropriate base polyhedron in a larger framework which has been formed within a large triangulated sphere by selecting holes and blocks in an appropriate balance: a block and hole polyhedron. For example, for our new proof of Kuiper’s Conjecture, we need 4connectivity (in a vertex sense) to ensure that we could find the base ‘quadrilateral tower’ and complete the proof (§5.2).
In Section 5 we also provide a general conjecture for when such a block and hole polyhedron is isostatic. This conjecture would imply that this class of frameworks can be tested for being isostatic by a simple polynomial time counting algorithm and a local condition, in contrast to the general problem of frameworks in 3space.
For the last five years, the class of frameworks we are investigating in §5 has been applied in modified form as a ‘toy template’ for a rigidity approach to allostery (transmission of shape and rigidity across large biomolecules [8]). With this modeling of ‘transmission of degrees of freedom’ across frameworks in mind, we purse some extensions of this work (§6). For example, if we started with two pentagons, as a block and a hole, we will see that making both of these into holes creates a residual framework with four ‘shared’ degrees of freedom. In a hypothetical docking of a ligand on one site, under the assumption of 5connectivity between the sites, we will confirm we can remove 0, 1, 2, 3 or 4 degrees of freedom from both sites.
For many purposes, the blocks and holes are simply ‘reserved faces‘ which will not be altered during the contractions and vertex splits, without paying any attention to what is happening inside, behind or even between those faces. In Section 7 we step back to observe that the methods and results of the Sections 4,5,6 contain a general splitting process which can be applied to an arbitrary generically rigid graph : Given any cycle, this can be split into two cycles, and a general triangulated cylinder inserted, creating a larger generically rigid graph. Then for many purposes the blocks and holes have simply been reserving selected faces which will not be altered, without paying any attention to what is happening inside or ‘behind’ those faces.
Throughout this paper, the reader might notice that the conditions on blocks and on holes are equivalent, suggesting that if a structure is generically isostatic, with a set of blocks and holes , then the swapped framework will also be isostatic with blocks and holes . In a companion paper [9], we verified this swapping in a strong geometric form: If a block and hole framework is isostatic, then the swapped framework is also isostatic, for the same positions of the polyhedral vertices. When it helps organizing the pieces here, we will recall this swapping within this the paper.
2 Basic Vocabularly and Concepts
A graph is an ordered pair of sets and , where is a set of vertices, and is a set of unordered pairs of distinct vertices called edges.
A path is a sequence , , of distinct vertices of a graph such that consecutive vertices in the sequence are edges of the graph. We define the length of a path to be the number of edges in the path. A cycle is a path , such that . Two vertices, and , of a graph are said to be connected if there is a path from to in the graph. If all pairs of vertices are connected, the graph is connected. Otherwise the graph is disconnected. A graph is called connected if there does not exist a set of vertices whose removal disconnects the graph. For example, a simple cycle is connected.
A planar graph , is a graph that can be drawn in the plane (or sphere) such that no pair of edges of intersect except at their endpoints. When drawn on a sphere, a 3connected planar graph creates a unique set of disjoint regions with no interior vertices, each surrounded by a boundary polygon of vertices and edges [30]. We call these regions, with their boundary polygons the faces of the topological graph . Since these connected planar graphs can also be realized as polyhedra (by Steinitz’s Theorem), we will describe them as polyhedra. For example, the graph is visualized as a spherical tetrahedron with four triangular faces.
Given such a topological graph, we designate some faces as the set of holes , some other faces to be a set of blocks , and the remaining faces will be the set (which will become the triangulated discs). Notice that in this partition into faces induced by a connected planar graph, two faces and intersect in: (i) the empty set; or (ii) one vertex; or (iii) in a single edge. A topological graph with such a partition of the faces is denoted by both and .
A triangulated face of a topological graph is a face which has been triangulated on its boundary polygon. When we triangulate all faces in , and insert an isostatic subgraph into each block (see below), we have created the block and hole polyhedron .
Two such block and hole polyedra are called topologically equivalent if they have the same blocks and holes , and the same face polygons , with possibly different triangulations of the faces in .
2.1 Generic rigidity
Our main theorems will confirm the ‘generic rigidity’ of certain graphs based on block and hole polyhedra. We also want to insert a ‘generically rigid’ graph for each of the blocks in our polyhedron. We build up the definition of generic rigidity starting with infinitesimal rigidity of frameworks at a specific geometric configuration , and then shift to ‘generic’ configurations [12, 23, 27, 28]. We will present all the definitions and results for .
A framework in is a graph , together with configuration (an embedding of the vertices), . An infinitesimal motion of the framework , is a function such that for every edge
Assuming that the configuration spans [23, 27], an infinitesimal rigid motion is a function such that for every pair of vertices , and in
Other infinitesimal motions which are not rigid motions are called infinitesimal flexes. The framework is infinitesimally rigid if every infinitesimal motion of the framework is an infinitesimal rigid motion.
The framework is independent if removing any one edge increases the space of infinitesimal motions. A framework is isostatic if it is infinitesimally rigid and independent. In other words, the framework is called isostatic if it is minimally infinitesimally rigid.
The rigidity properties can be represented in the linear algebra of the homogeneous equations above. In this language the rigid frameworks form a basis for the row space of the matrix for the complete graph, the independent frameworks are independent sets of rows, and the isostatic frameworks are bases.
An isostatic framework in , with , will have edges. For example, all convex triangulated spheres are isostatic [6].
Throughout this paper we will be focusing on graphs whose frameworks are isostatic for ‘almost all’ configurations. We will be working with the combinatorics of the graph , not with any special properties of the configuration . A configuration is generic if the coordinates are not the solution to any algebraic equations. The generic configurations are an open dense subset of all configurations in  so we sometimes say ‘almost all configurations’ (those found with probability one if we make random choices of the coordinates). A graph is generically rigid if every framework with generic vertices is rigid. The theory guarantees that a graph is generically rigid if and only if some framework is infinitesimally rigid [12, 27].
Similarly, a graph is generically independent if the graph is independent in some framework . A graph is generically isostatic if it is generically rigid and generically independent. Our goal is to prove that a range of graphs are generically isostatic.
We have imaged the blocks as faces which are themselves generically rigid, when restricted to the vertices of their boundary cycle. The next theorem says we can substitute one generically rigid block for another one, so that which generically rigid subframework insert does not matter.
Theorem 2.1 (General isostatic Substitution Principle [9])
Given a generic framework with an isostatic subframework , then replacing with another isostatic subframework gives a new framework on the same vertices which has an isomorphic space of infinitesimally motions. In particular, if is isostatic (independent, rigid) then is isostatic (independent, rigid, resp).
With this in hand we will assume that some edges have been added to the boundary cycle of each block, so that the subframework on these vertices is generically isostatic. This was a step in our definition of the block and hole polyhedron above. It will not matter which generically isostatic subgraph we add for a block, as long as it uses the edges of the boundary cycle of the block.
2.2 Expansions of polyhedra
Given a block and hole polyhedron , with blocks, holes, and triangulations in the faces of , we can expand it to a larger block and hole polyhedron , as informally described in the introduction (Figure 2). There are several steps to creating the larger graph:

remove the edges interior to the triangulation of boundary polygons of , leaving the boundary polygons;

subdivide edges which separate two faces in , creating expanded boundary polygons for these faces;

add vertices interior to individual faces of

select new triangulations for each of the faces , using the new boundary polygon and all the new vertices interior to the face.
We call the new polyhedron , and abuse notation to continue to describe the set of modified triangulated faces as . We call a face together with its interior vertices and the triangulation a triangulated disc .
Our goal is to prove results which apply for all choices the new triangulations of the extended faces in . We note there is still a shared ‘face’ structure of and . Any two such expansions and have the same blocks and holes. They have topologically equivalent faces  in the sense that if we remove all but the boundary edges of each triangulated disc and if we identify the expanded paths as single abstract edges we have the shared underling topology, including blocks and holes of . In particular, two faces either: (i) do not intersect; (ii) intersect in a single vertex; or (iii) intersect in a single path. We say that , and are all topologically equivalent.
For later reference, an edge is said to be in the interior of a triangulated disc if neither of it’s vertices lies on the polygonal boundary of the disc. Other edges in the triangulation of , that is edges with one or both vertices on the boundary, are not interior. Edges on the intersection of two discs, including the faces of a hole or a block are called boundary edges.
2.3 Contracting edges
The operation of contracting an edge of a graph will be central to Sections 3 and 4 of this paper. Informally, edge contraction is an operation on a graph which merges the vertices of an edge, say , into a new vertex of the graph. The edge being contracted is removed from the graph, and any vertices adjacent or before the merge become adjacent to the new vertex afterwards. In this paper, contraction will only be applied to edges of discs in , not to edges in blocks, or the boundaries of blocks or holes.
We state this formally as follows: Let be a graph such that , . The graph resulting from contracting the edge to a single vertex is the graph , where , and , , , , .
When contraction is applied to an edge of , it is possible that the topology will be changed. A nonfacial triangle, or nonsurface triangle of a polyhedron, , is a cycle whose vertices and edges are vertices and edges of (not inside any block), however, the triangle itself is not a face of , or included as a triangle in the given triangulations of discs . Consider the corresponding planar graph, , of . will be a separating cycle in ; that is, contains at least one vertex in it’s interior (with respect to the embedding in the plane) and one vertex in it’s exterior. A nonfacial triangle, , of can be thought of as a triangular ‘waist’ of . We call the edges of any nonfacial triangles of short edges, and all other edges of long edges.
We may contract a long edge of which is inside a disc, or is on a boundary path of length greater than one, without changing the topology of . If we contract an edge of boundary path of length one separating two discs, this keeps the spherical topology, but changes the underlying face structure, creating a new polyhedron which is not topologically equivalent, as we have defined this.
If a short edge in a polyhedron is contracted, this will leave a single edge separating the larger graph with two smaller polyhedra. This would definitely alter the topology. Throughout Section 3 we will be working to avoid contractions on short edges and preserve the topology of the polyhedron.
3 Inductions to Contract Discs and Paths
In this section we are working with a block and hole polyhedron which can be viewed as an expansion of a base polyhedron , as described in Sections 1,2. In this setting, the intersection of two surface discs in corresponds to an edge of the base polyhedra (perhaps currently an expanded path), and the intersection of three or more surface discs of the polyhedron corresponds to a vertex of the base polyhedra. Throughout this section, we impose conditions that apply when we are working with the types of triangulated discs which arise in this context. However, the inductive steps have wider applications, so we will be explicit about the local conditions on a disc, or on a pair of discs in the following lemmas.
Our goal is to start with a disc, or a set of discs and contract edges to produce a smaller polyhedron, aiming towards a simpler base polyhedron. We do this in sequence:

contracting to remove all edges between interior vertices of a disc (Lemma 3.1);

contracting to remove all remaining vertices inside a disc (hubs of wheels) (Lemma 3.2);

contracting the lengths of the path between two surface discs to a single edge (Lemma 3.3).
When done over an appropriate set of discs, this will reverse the expansion process back to the original polyhedron  based only on the combinatorics within the discs and between the discs. This contraction sequence will also yield a reverse sequence of vertex splits (see §4). For later reference, we will call this sequence of inductively contracting the edges of the triangulated sphere a Contraction Sequence.
3.1 Contracting interior edges of a triangulated disc
Throughout this section, we assume to be a triangulated disc in a graph . The key properties of used are:

all edges in the large graph connecting to interior vertices are in the triangulation;

the interior of the disc is fully triangulated, that is, every edge non on the boundary of is part of two triangles, and

every triangle formed by three vertices of the disc, at least one interior to the disc, is either part of the triangulation or separates the vertices of the disc.
We first show that if there is an edge joining two interior vertices of , then we can find a long edge in the interior of to contract.
Lemma 3.1 (Step 1)
Let be a triangulated disc, and be an edge joining two vertices interior to . Then there is an edge in the interior of that is long.
Proof. If is long, we are done. Suppose is short and therefore an edge of a nonfacial triangle, which separates the disc.
Therefore, is a separating nonfacial triangle in , with edges and vertices in its interior. Also, the boundary triangle contains at most one vertex, say , of the boundary polygon of . Therefore, the interior of does not contain any vertices of the boundary polygon of .
We prove, by induction on the number of vertices interior to , that there is a long edge inside . If there is only one vertex interior to , then that vertex is 3valent. We may contract any one of the three edges.
Next, assume that whenever there are or fewer vertices in , there is an interior edge we can contract, and suppose there are vertices in the interior of the triangle . Then there is an interior edge inside of . If that edge is long, we are done. Otherwise, it is short and we have a smaller nonfacial triangle which contains fewer than vertices, since it is inside . By the induction hypothesis, there is a long edge in the interior of to contract.
3.2 Contracting the Hub Vertices within a disc
As an immediate corollary of Lemma 3.1, we can contract all the edges between interior vertices in a triangulated disc until we are left with no edges between interior vertices, thus reducing the number of vertices in the interior of the triangulated disc. The only remaining interior vertices will be adjacent only to vertices on the boundary of the disc  which we call a ‘wheel’ Figure 4(a).
A wheel is a graph with vertex set . Setting , the set of edges of the wheel is the set . We call the vertex the hub of the wheel, and the vertices the rim vertices of the wheel. The edges of the form are the rim edges of the wheel, and the edges of the form are called spokes.
From the previous discussion, the remaining interior vertices of a disc will be hub vertices of wheels, with all their rim vertices on the boundary polygon of . We now consider conditions under which we can shrink a spoke and reduce the number of hubs of wheels.
If the disc has a clean boundary, that is, all edges between boundary vertices are interior to the triangulation of the disc, then we may shrink hubs to the rim. See Figure 4(b)(c). It is possible to assume less than this strong property of the boundary, with a more delicate set of assumptions, but that is not needed for our proofs here.
Lemma 3.2
Let be triangulated disc with a clean boundary and no edges joining interior vertices, and be a hub vertex in the triangulated disc. Then each spoke to a rim vertex is long.
Proof. Take a spoke . Assume this is short. Since there are no other interior vertices adjacent to , any nonfacial triangle would be of the form . This would require an edge . Since the boundary polygon is clean, this edge must be on the boundary or interior to the disc. So the nonfacial triangle must contain interior vertices of the disc; i.e. the hub of some other wheel in the disc! However, given a triangulation of this would require some edge between two hub vertices, contradicting the assumption that there were no such interior edges.
Note that shrinking some spoke may generate a new edge between vertices in the boundary, but these edges are also interior to the triangulated disc; so the boundary remains clean, and we can continue to shrink spokes and reduce the number of vertices interior to the disc.
3.3 Contracting Path Edges
The third step in the contraction sequence is to shrink the path along which two triangulated discs have been connected down to length 1. Later, we will consider shrinking such paths to length .
We will consider two discs , each with a clean boundary. These discs are wellconnected if there is a path which is the complete intersection of the two discs, and all vertices of the path, except the end points, are adjacent only to other vertices in the two discs.
Lemma 3.3
If and contain no interior vertices, have clean boundaries, and are wellconnected along the path , then each edge of is a long edge.
Proof. Let . We claim that is long.
If not, is in a nonfacial triangle. If is not on the path ( is only on one of the discs), then the edges and must be in the same disc. That means that the nonfacial triangle is within a single disc  and therefore there are interior vertices in this disc  which is a contradiction.
Otherwise, must be within the path  with edges and . If these edges are in the same disc, then the argument above yields a contradiction. Alternatively, they are in distinct discs, and without loss of geneality, suppose is in . That would mean that joins two vertices of the boundary of but is not in the triangulation of . This is also a contradiction of the boundary of being clean.
We conclude that every edge interior to the path is long.
Shrinking such a long path edge does not add any interior vertices to either disc. Nor does it generate new edges outside the two discs, which could make either boundary not clean. Therefore, Lemma 3.3 will permit us to shrink all paths to length . Note that shrinking a path down to length could not change the fact that the boundary of any disc (including these discs) is clean. It will also not change the topology of the underlying polyhedron,
3.4 Cleaning the boundary of a triangulated disc.
If we are given a triangulated disc, surrounded by other discs (some triangulated, some not) then the boundary may not be ‘clean’. Under what conditions can we clean the boundary, or guarantee the boundary is clean?
The first step is to ensure a clear path separating two triangulated discs. We give a negative definition: if two vertices on the shared boundary of two discs are adjacent within one disc (and not adjacent on the path), then the boundary path of the other disc is not clear. We will reroute the boundary between the discs to make it shorter and clear for both discs (Lemma 3.4). We call these local moves, involving just two discs and their shared boundary clearing the path.
In order not to swallow up a disc in the following process, we call two discs wellattached if they are wellconnected and, in addition, there are boundary edges of each disc which are not part of the path (avoiding Figure 4(c)).
We consider two discs, and which are wellconnected along , , and assume is not an edge of the larger graph. Then and are clearly attached if there is no edge in the graph between pairs of vertices which are not adjacent on the path. Otherwise it is not clearly attached.
Lemma 3.4
If and are wellattached along the path with but not clearly attached, then we can reroute the path through the combined triangulation on the disc, using only vertices of the path, to , with the same endpoints, so that the modified discs remain wellattached and the attachment is clean.
Proof. Assume there is an edge in the triangulation of one disc, say , between path vertices and which are not adjacent on the path. Then the subpath of joining to , along with the edge will, topologically, surround a smaller disc within . We shift the edges, vertices (including those in ), and triangles into , and reroute the boundary between the discs to .
This does not add edges outside of the discs, and keeps the discs wellattached with a shorter boundary path. However, there will now be additional interior edges within . Repeated application of this rerouting will end up with a clear path (perhaps of length ).
Note that if we do only insist that the discs are wellconnected, it is possible that the rerouting encloses all vertices, edges and faces of and we lose the disc entirely, creating a new polyhedron which is not topologically equivalent.
If we repeat this clearing of the paths for all the boundaries of a disc , we are close to having a clean boundary. There is one other possible difficulty: edges which run from one vertex on the boundary, across to another vertex on the boundary, but not through a wellattached disc. For example, if a third disc had a boundary intersection which was not a single path, then we could still have such problematic edges. See Figure 4(c) where the intersection of two discs is a pair of vertices with no shared path. Also, if there are edges in the larger graph which are not restricted to specific discs, the same problem could arise.
In the applications we intend, there is a set of discs (not necessarily all triangulated) which will surround the triangulated discs, with a few added edges which are guaranteed not to join vertices on the boundary of a single disc. This will be enough to permit us to clean up the boundary of a triangulated disc, and apply the full effect of the previous lemmas; shrinking back all vertices within triangulated discs and shrinking all paths between discs to length .
A triangulated disc is wellsurrounded by a cycle of discs if:

each disc of the cycle intersects in either one vertex or a connected path of edges;

each disc intersecting in more than one edge is also a wellattached triangulated disc;

all edges between vertices of the boundary of are in one of these discs.
Lemma 3.5
If is wellsurrounded by a cycle of discs , then we can clear paths shared by and triangulated discs so that is wellsurrounded and has a clean boundary.
Proof. Along the boundary, we can clear each path which is shared with a wellattached disc, by Lemma 3.4. By property (iii) any edge joining two vertices of the boundary of has to run through one of these surrounding discs. But this is either within an adjacent triangulated disc (contradicting the step of clearing the shared path) or involves a disc meeting the boundary at vertices not along a path, contradicting (i).
4 The Main Theorem
We are now ready to prove the first main result  that an expanded polyhedron expanded from an isostatic block and hole polyhedron is also isostatic. The key tool is the graph theoretic inverse of the edge contractions of Section 3, called vertex splitting.
4.1 Vertex Splitting
We recall a graph theory technique called vertex splitting, which will later be used to add a vertex to an isostatic structure in such a way as to preserve it’s infinitesimal rigidity and independence [26].
Definition 4.1
Given a graph, with a vertex and subsets of edges , and , a vertex split of on the edges in is the modified graph , with new vertex , so , and an edge set .
We note that we are adding one new vertex and three new edges, preserving the count for being isostatic: . The following result is central to our use of vertex splitting:
Theorem 4.1 (Vertex Splitting: Whiteley[26])
Given a generically isostatic (independent, infinitesimally rigid) graph in space then the new graph formed by a vertex split on two edges is generically isostatic (independent, infinitesimally rigid).
The converse is not true; a vertex split on two edges on a nonrigid framework may yield a rigid framework. For example, starting with the double banana in Figure 7a, we can vertex split on the red vertex and two red edges to obtain the rigid framework in Figure 7(b).
Lemma 4.2
A surface vertex splitting in a block and hole polyhedron is the graph theory inverse operation to edge contraction on an edge in exactly two triangles.
Given a polyhedral block and hole polyhedron , vertex splitting on vertices bounding or in surface discs, with the adjacent edges separated following the topology of the edge cycle at is the topological inverse of edge contraction on an edge in a surface disc or between two surface discs.
Such a vertex split generates topologically equivalent polyhedron
Proof. The proof follows from the definitions of vertex splitting and edge contraction.
We recall that short edges will not be contracted in this paper. If an edge is short, it is the edge of three triangles (including a nonfacial triangle). When such an edge is contracted in a generically isostatic graph, we lose one vertex and four edges so the graph becomes undercounted () and therefore the graph becomes generically flexible.
As a simple application of Lemma 3.1 and Theorem 4.1, we verify Gluck’s result that all triangulated spheres in 3space are generically rigid, by showing that they are constructed from the double triangle by vertex splitting (see [26] for a related proof).
Corollary 4.3 (Gluck [11])
All triangulated spheres are generically isostatic in space.
Proof. We can separate the triangulated sphere into two surface discs by just taking one triangle as the first disc, and the rest as the second disc . The proof is then by induction on the number of vertices of second disc . If the triangulated sphere has shrunk to a double triangle , we are finished. If the number of vertices of the disc is greater than 3, by Lemma 3.1 we can find a contractable edge. Since the double triangle is generically rigid in 3space, and the triangulated sphere can be obtained by vertexsplitting, the reverse of edge contraction, and hence the triangulated sphere is rigid.
4.2 The Contraction Sequence
In this section, we will assume that we are given a block and hole polyehdron that is subdivided into blocks, holes and triangulated discs. We also require that

each pair of discs is wellattached;

each triangulated disc is wellsurrounded; and

all vertices are in some disc.
Since these are properties to be preserved throughout our basic contraction sequence, we name these as welldesigned block and hole polyhedra.
In Algorithm 4.4 below, we describe the sequence of steps. We verify that when each of the steps is applied to change the polyhedron, either

the step reduces the number of vertices of the boundary paths, leaving the total number of vertices unchanges; or

the step reduces the the number of vertices overall with no increase in the number of vertices on any boundary paths.
In Section 4.3, we confirm that this algorithm inductively contracts our expanded polyhedron down to our base polyhedra in steps reversed by vertex splitting.
Algorithm 4.4 (Contraction Sequence)
do
Step 1: Clean the disc boundary of all triangulated discs.
Step 2: Contract all interior edges.
Step 3: Contract all contractible spokes.
while (there is a disc that is not clean)
Step 4: Contract path edges to length 1.
The first step in the Contraction Sequence is to clean the boundary paths of length greater than one,
thereby reducing the lengths of the boundary paths between triangulated discs.
We note that if a triangulated disc is adjacent to a block or a hole,
then the shared boundary path has length one and is already clear.
Step 1: Clean the disc boundary of all triangulated discs.
Proposition 4.5
If application of Step to a welldesigned block and hole polyhedron yields the polyhedron , then:

each disc of has a clean boundary;

if , then the length of each cleaned boundary path between two triangulated discs in will be less than the length of the corresponding boundary path in , other boundary paths are unchanged and the total number of vertices is unchanged; and

is topologically equivalent to and therefore is a welldesigned block and hole polyhedron.
If the boundary between two discs in is clear, the length of that boundary path will not change. On the other hand, if the path is not clear the process of clearing the path reroutes part of the path through an edge, thereby shortening the path (Lemma 3.4), and the new path between the two discs will be shorter than the original path.
These steps keep the same disc structure in the topology, including the properties of discs being well attached and wellsurrounded.
Notice that application of Step 1 does not change the underlying graph  just the subdivision into triangulated discs. As such, it does not alter the generic rigidity or generic independence of the associated polyhedron.
After completion of Step 1 on any polyhedron with an unclean boundary, we are left with a polyhedron whose boundary paths have fewer vertices and edges than the polyhedron . The total number of vertices is not changed.
By cleaning the discs we have not changed the topology of our disc structure so the polyhedron
remains subdivided into discs that are welldesigned, and we note that the boundary of each triangulated disc is clean.
Our next step will, for every triangulated disc, remove all edges interior to the disc.
Step 2: Contract all interior edges.
Proposition 4.6
If application of Step to the welldesigned block and hole polyhedron output from Step yields the polyhedron , then:

the only vertices interior to triangulated discs of are the hub vertices of wheels;

can be obtained from by a construction sequence of vertex splits;

if , then the number of vertices has decreased and the number of path vertices is unchanged; and

is topologically equivalent to and therefore is a welldesigned block and hole polyhedron.
Proof. By Lemma 3.1, we can inductively contract all interior edges of the discs. This does not alter the underlying topology of the discs, so is also a welldesigned block and hole polyhedron, giving (i), (iii) and (iv).
Since vertex splitting is the reverse of edge contraction, the Proposition follows.
After completion of Step 2 on any interior edges, we are left with a polyhedron which has fewer vertices and edges than polyhedron . Our next step will remove some (prehaps all) remaining vertices interior to a disc in the polyhedron .
Recall that a spoke is an edge from a hub vertex to a path vertex. We say a spoke is contractible if
the boundary of the disc containing the spoke is clean. Our next step is:
Step 3: Contract all contractible spokes.
Proposition 4.7 (Step 3)
If application of Step to the polyhedron output from Step yields the polyhedron , then

some discs of do not contain any interior vertices;

can be obtained from by a construction sequence of vertex splits;

if , then the number of vertices has decreased, and the number of path vertices is unchanged;

is topologically equivalent to and all pairs of faces wellattached.
Proof. Within any given disc of , each spoke adjacent to a hub is long by Lemma 3.2, and we may contract one spoke for each hub. This operation conserves the underlying topology, and this still comes from a welldesigned block and hole polyhedron.
We note that in contracting a spoke in one disc, the boundary of an adjacent disc could become unclean (Figure 8). In that case, we say the spokes in that disc are not contractible and we do not attempt to contract them in this step, however, we will contact spokes contained in other clean discs.
Since vertex splitting is the reverse of edge contraction, the Proposition follows.
We begin by executing the first three steps in the order given. Step 1 ensures that every disc is clean, and Step 2, contracting interior edges, does not cause any of the boundaries of the discs to become not clean. However, Step 3, contracting spokes, has the potential to cause a boundary path to become not clean (see Figure 8).
Prior to executing Step 4, we have a conditional statement that has us cycle back to Step 1, in the case when some boundary path is no longer clear. However, in this looping back, the number of vertices must have been reduced from the previous pass through Step 1, and the lengths of some paths have also been reduced while others remained constant. The loop eventually terminates because there are a finite number of vertices in the discs and on the paths. The final polyhedron still comes from a welldesigned block and hole polyhedron, with the same blocks and holes.
In the end, perhaps after several cycles through Steps 13,
is a welldesigned polyhedron and 1) all paths are clear; and 2) there are no vertices interior to any discs in .
Step 4: Contract path edges to length 1.
The next step is to shrink all paths between discs of to length 1.
Proposition 4.8 (Step 4)
If application of Step to the welldesigned polyhedron output from the final pass through Step yields the polyhedron , then

each pair of wellattached discs share a path of length 1 in ;

can be obtained from by a construction sequence of vertex splits;

if , then the number of path vertices has decreased; and

is topologically equivalent to and therefore is a welldesigned block and hole polyhedron.
Proof. By Lemma 3.3, each path edge is long and we may contract these to get a path of length 1. Contracting a path edge keeps the path clear because contracting doesn’t create any new edges between pairs of vertices on the path. It does not change the underlying topology of the block and hole polyhedron.
Since vertex splitting is the reverse of edge contraction, the Proposition follows.
When we complete Step 4, all paths are length . The final polyhedron comes from a welldesigned block and hole polyhedron with the same blocks and holes as the original polyhedron , with all boundary paths of length and no vertices interior to the faces. We call such a polyhedron simplified, and it comes from a base polyhedron of the topology we have expanded, though perhaps with a retriangulation of the surface discs.
Proposition 4.9 (Contraction Sequence)
Application of the Contraction Sequence (Algorithm 4.4) to the polyhedron of a welldesigned block and hole polyhedron yields the simplified polyhedron of a base welldesigned block and hole polyhedron with an equivalent topology and all paths of length 1.
can be obtained from by a construction sequence of vertex splits.
Corollary 4.10
The application of the Contraction Sequence and then the reverse vertex splits to a welldesigned polyhedron yields the polyhedron which is essentially the same as the initial block and hole polyhedron, with some rerouting of boundary paths (reversing Step 1) and with some triangulation of the surface discs.
Proof. Follows from assumptions and previous Propositions.
4.3 Main Result
We apply the steps of Algorithm 4.4 to the expanded block and hole polyhedra , to show that the expansion from a base polyhedron can be accomplished by a sequence of vertex splits.
Recall that an expanded polyhedron is created by starting with a base polyhedron in which we select certain faces of to become holes and other faces of to become blocks (with isostatic graphs on each block, including the initial edges of the block face), forming the initial block and hole polyhedron . The remaining faces of were called surface discs.
Next, we expanded by inserting vertices to split the edges of which are not on the boundary of either a block or a hole. Finally we inserted additional vertices inside surface discs and triangulated these discs, on their boundaries and all their vertices.
This proposition confirms that all the conditions are met to allow us to apply Step 1 of the Contraction Sequence to clear the paths of in an expanded polyhedron .
Proposition 4.11
If the initial polyhedron is a welldesigned block and hole polyhedron, then is a welldesigned block and hole polyhedron.
Proof. We note that the surfaces faces of a polyhedron are wellattached and wellsurrounded, and the construction of the expanded polyhedron from a given polyhedron ensures that the topology of the two structures remain the same. The proof now follows from the definitions and the prior results.
We are now ready to state the main theorems for expanded block and hole polyhedra. The proofs are essentially contained in the preceding discussion.
Theorem 4.12 (Expansions as Vertex Splits)
An expanded block and hole polyhedron , can be reduced by a sequence of contracting long edges to the base block and hole polyhedron with some triangulation of the surface faces of the original .
Conversely, the expanded block and hole polyhedron can be created from some triangulation of the base block and hole polyhedron by a sequence of vertex splits.
Since vertex splitting preserves firstorder rigidity, and independence, we now have achieved our initial goal.
Theorem 4.13 (Rigidity of Expanded Polyhedra)
If a base polyhedron is generically isostatic (rigid, independent, respectively) for all triangulations of its surface faces, then every expanded polyhedron on this base is generically isostatic (rigid, independent, respectively).
Theorem 4.13 now sets the task of identifying base polyhedra which are generically isostatic for all triangulations of the surface faces. We will illustrate that with an example below, and give some initial results in the next section.
4.4 Extensions
Figure 9 illustrates another setting where we can apply these techniques. The goal is to confirm that a selected spherical polyhedron with designated blocks and holes and other faces triangulated (Figure 9(a)), is indeed generically isostatic. First we find a simple candidate base polyhedron with the same pattern of blocks and holes, which we can check is generically isostatic (Figure 9(b)). We then search for paths which contract the given polyhedron to the base, using the methods above. When this is found (Figure 9(c)), our results on contractions demonstrate that the originally given block and hole polyhedron is generically isostatic.
However, the polyhedron in Figure 9(b) is still not very simple to check for generic rigidity. It is substantially simpler to consider the base as the further reduced polyhedron in Figure 10(b). This modified base has one large hole (the exterior hexagon) and three blocks and is easily checked. To do this next step, we need to consider when we can contract paths of length 1 between triangulated discs to paths of length 0, without disturbing the isostatic counts etc..
One answer to when we can safely contract paths of length 1 between triangulated discs is when we have a guide in the form of a known, isostatic base. If the previous polyhedron also had the isostatic count , then the contraction only removed three edges (to preserve the count when identifying the vertices). This contraction is then reversed by vertex splitting, which is all that we desire. We record this as a further corollary.
Corollary 4.14 (Simple Base Contraction)
Let be an original (expanded) polyhedron with identified blocks, holes, triangulated discs and boundaries which is welldesigned. Let be base polyhedron with paths between pairs of triangulated discs contracted to length or . If is generically isostatic for all retriangulations of its triangulated discs, then

there is a sequence of vertex splits from a triangulation of to .

the initial block and hole polyehdron is generically isostatic.
Proof. The proof follows from Theorem 4.13 and the observations in the previous paragraph.
For the initial example in Figure 9(a) we have a complete verification of the generic isostaticity provided we can find the paths in Figure 9(c) which can then be contracted to the generically isostatic base Figure 10(b). These are all reversed by vertex splitting, which preserves the generic isostaticity.
The Swapping Principle [9] applied to this example confirms that the same analysis applies to larger polyhedron with a hexagonal base and three windows. More generally, this route can be used, for example, to analyze the grounded geodesic domes with desired windows and doors which were mentioned in the introduction.
There is another corollary implicit in the algorithm. If we apply Steps 13 to any triangulated disc within any larger framework with a boundary within the larger framework, the methods will apply provided that there are no edges outside the disc which connect two boundary vertices. We call the boundary of such a disc clear. We can show that the triangulated disc with a clear boundary can be obtained from a “smaller” triangulated disc with the same boundary, and with no interior vertices.
Corollary 4.15 (Disc Clearing)
Let be a triangulated disc with a clear boundary. Then there is a sequence of vertex splits from a triangulation of the same boundary, with no interior vertices, ending with .
If we know that one such makes the modified graph infinitesimally rigid, then some triangulations of the vertices of will make the modified graph generically rigid. However, this might not include the desired triangulation . Note that, given a disc with a clean boundary within a larger graph . To effectively use these contractions without careful examination of the options, we need to know that all possible triangulations of , embedded in the graph with only this disc modified, give generically rigid graphs. We can then conclude from the algorithm that is generically rigid.
5 Creating base polyhedra
If our reduction has brought us back to a base block and hole polyhedron, with surface faces larger than a triangle, we may end with any of the possible triangulations of these faces. One way to avoid checking all possible triangulations is to ensure that our base case has only blocks, holes and surface faces which are triangles.
As in the previous subsection, one can go to even smaller base polyhedra by shrinking paths of length between surface discs to paths of length (identifying vertices). This changes the topology  and will require the added guidance from a known isostatic base.
There are some geometric alternatives in which nontriangular surface faces are realized as plane faces, with no three vertices collinear and with one of the triangulations known to be isostatic. When such realizations are provided, the Isostatic Replacement Principle used in [24] can be applied to substitute any one triangulation of the plane face for any other triangulation with the same boundary edges. We will not pursue this alternative here, but there may be situations where that approach is helpful.
5.1 Block and hole towers.
We demonstrate that one basic set of examples are generically isostatic. These examples will be explored further in Section 6.
A block and hole tower is a block and hole polyhedron with one block of size (thought of as the ground of the tower), one hole of size (thought of as the open top of the tower), and a tube or cylinder of surface triangles between them (see Figure 14). The block and hole polyhedron is proper if there are vertexdisjoint paths between the block and the hole. We make these paths, plus the boundaries of the block and hole into the boundary paths of the block and hole tower polyhedron. It is simple to check that such an tower has , so it has the potential to be generically isostatic.
The existence of vertexdisjoint paths is equivalent to connectivity of an block and hole in the tower [14]. That is, there is no set of fewer than vertices which separates the block from the hole in the underlying graph. If was not connected, we can take the separating vertices, edges among these, along with the component which contains the block, and verify that this subframework has and has more than vertices. This subframework has a selfstress, so the overall framework cannot be infinitesimally rigid (or isostatic). Thus we will focus on the proper towers. Figure 11 shows such a nonexample.
If we start with any proper tower, and apply the lemmas above, we can reduce down to a framework with all boundary edges between triangulated discs down to length or . (Note that some or all of the the vertexdisjoint paths might just be shared vertices on the block and the hole, so no further contracting is needed; see Figure 12 (b).)
Our desired base is single gon which is both blocked with additional edges to be a block, and is recorded as a second gon hole to make the base polyhedron. The framework is the framework of the block, which is isostatic (both independent and rigid). With this generically isostatic base, we apply Corollary 4.14 to shrink remaining paths of length to length and come to the base. We conclude that every proper block and hole tower is generically isostatic.
Theorem 5.1 (Rigidity of towers)
Every proper tower is generically rigid.
Remark. At a geometric level, the infinitesimal rigidity of is the same as the ‘swapped block and hole polyhedron’ where the hole is turned to a block and the block is turned to a hole. This an example of the general principles developed in [9].
5.2 Necessary conditions for isostatic block and hole polyhedra.
As we saw earlier, a triangulated spherical polyhedron is isostatic, with . If we want a general block and hole polyhedron to be isostatic, then the number of bars removed to create the holes should equal the number of edges inserted to make the blocks isostatic. If hole is a gon, then we remove edges. If block is a gon, then the number of edges to be added to the existing triangulation is . (Simply imagine a general postion ‘convex’ polygon in space with the top and bottom still triangulated to make a convex triangulated sphere. ) This observation gives the following neccessary condition.
Proposition 5.2
If a block and hole polyhedron is isostatic, then
Our experience with connectivity conditions for a single block and single hole demonstrates that this count, alone, is not sufficient, if these are not sufficiently connected. (See Example 6.2.1) . The counterexample involves some disconnecting polygon which, if treated as a hole or a block components would give one, and therefore both of the components an unbalanced count.
Definition 5.1
A cut cycle is a sequence of vertices , such that each adjacent pair is either an edge of the base polyhedron , or if the pair is not such an edge, then the two vertices share a triangulated disc.
Note that if two vertices share a surface face, then their edge might be an edge of the triangulation of the face in . Any claim we make about the rigidity for all triangulations needs to allow for this possibility, which this definition does.
Proposition 5.3
If a welldesigned block and hole polyhedron is generically isostatic for arbitrary retriangulations of the surface discs, then for any cut cycle of size , each component satisfies
Proof. If we have a component with then this component is already overcounted, and there is a selfstress.
The cut set condition
is implicitly symmetric in blocks and holes and is equivalent to the condition
on the other component because the overall count is: . This equivalence of necessary conditions for generically isostatic block and hole polyhedra, if we swap blocks and holes is confirmed in [9].
The set of necessary conditions is not sufficient , as the following example confirms.
5.2.1 Example
Consider the block and hole polyhedron in Figure 13(a)
In this figure, we have two quadrilateral holes and two quadrilateral blocks. All the counts above are respected.
However, the two blocks in Figure 13 (b) are clearly the classical ‘double banana’ and are dependent. Therefore the larger framework is dependent
and not isostatic (or rigid).
Are there additional necessary conditions which might, together, make sufficient conditions? For example, we need to attend to whether blocks (and holes) are well connected. That is: whether two blocks which share two vertices also share the edge between these vertices. The reader will note that these next codnitions are also ‘dual’ in the use of ‘hole’ and ‘block’.
Proposition 5.4
If a block and hole polyhedron is generically isostatic, then:

two blocks intersect only on vertices, and if they intersect on vertices, they also share the edge between these vertices;
two holes intersect only on vertices, and if they intersect on vertices, they also share the edge between these vertices.

no two vertices of a block are connected by an edge which is not in the block;
no two vertices of a hole are connected by an edge which is not in the boundary of the hole.
5.3 Conjecture on sufficient conditions for isostatic block and hole polyhedra.
We conjecture that these, together with the counts of Proposition 5.3 are sufficient.
Conjecture 5.1
A block and hole polyhedron which satisfies the separation conditions of Proposition 5.4 is generically isostatic for all retriangulations of its triangulated discs if and only if, for every cut cycle of size , each component satisfies
Using some simple counting arguments, the reader can verify that this condition is equivalent to the alternative formulation:
Conjecture 5.2
A block and hole polyhedron which satisfies the separation conditions of Proposition 5.4 is generically isostatic for all retriangulations of its triangulated discs if and only if, overall and for every subset with at least three vertices,
If verified, the advantage of this alternate conjecture is that this counting condition can be rapidly checked using the ‘pebble game algorithm’ [21], and the separation conditions are local around the holes and blocks.
6 Mathematical Allostery
There is a larger theory for applying methods from rigidity theory to many aspects of protein behaviour and function [29]. Within our bodies, a ligand (for example a hormone, a neurotransmitter or a drug) binds to a protein, causing a change in the rigidity of the protein. In some proteins, changes in rigidity at one site will in turn effect the shape and flexibility at a distant site (allostery) and alter the function of the protein [8].
Motivated by this important phenomenon of transmission through a protein, we investigate the ability of a class of ‘toy’ mathematical examples to model the transmission of rigidity / flexibility across a
structure between two sites  what is called mathematical allostery.
The simplest objects in the class are triangulated spheres with 2 holes.
Clearly these structures are not rigid ().
We investigate what happens when one of the holes is filled in one edge at a time  up to the point this first hole is replaced with a block which makes one side rigid,
simulating a ligand binding to a site on the protein.
Under what conditions is this new structure rigid? or stressed? How does this change the degree of freedom (dof) of the other end (if at all)?
Equivalently, if we squeeze the one hole (i.e. mechanically change the shape as binding might) will the other side change shape?
Our examples will all be generic  in keeping with the approach of the rest of the paper.
Informally, the internal degrees of freedom (idof) of a framework is the number of distinct nontrivial ways the framework can move. Alternatively, it is the number of bars that need to be added to make the framework (infinitesimally) rigid.
We note that an gon hole has vertices and edges and so has idof as an isolated structure.
It can have or fewer idof in the larger polyhedron, as we will see.
We can relate the concept of idof to the rigidity matrix equation [24, 27]. The idof of a given framework is the number of independent rows that can be added to the matrix. Thus, adding a bar to a framework may or may not reduce the idof by one because it is equivalent to adding a row to the rigidity matrix. Recall that bar is independent if it reduces the idof and is called dependent otherwise. In the later case, we are adding a redundant bar and a stress is created within the framework. When this is done with a framework with generic coordinates for the points, we are studying generic rigidity, and generic independence. We speak of the generic idof of a graph and the generic independence (redundance) of an edge.
6.1 Simple Examples
We will use the towers of Section 5.1 as our starting model. A waist of the block and hole polyhedron, , with two holes and and no blocks is the smallest cycle vertices and edges in whose removal separates the vertices of the two holes of . Note that some vertices and edges of the holes may be in the cycle. By Menger’s Theorem [7], a triangulated sphere with two holes will have a waist if, and only if, there are at most vertex disjoint paths from the vertices of one hole to the vertices of the other hole. For practical purposes, since we can consider the vertices of a hole as ‘separating’ the hole from the rest of the polyhedron.
We define a cylinder to be block and hole polyhedron with one gon hole, and one gon hole, , separated by a waist in a triangulated cylinder. In this language, the proper towers, with the block replaced by a hole are . The general class of frameworks, built from a cylinder, with some edges (up to and including a block) inserted in the first hole, are called tubes.
In the following examples, we add the bars of a possible block at one at a time, and examine the idof of the resulting structure after each bar is added. Throughout this section we are working with generic configurations, and rigidity means generic rigidity.
Recall that a triangulated sphere (without holes) is generically isostatic. In particular, it has bars, 0 idof, and no bar of the triangulated sphere is redundant. When a triangulated sphere is modified with one or more holes, determines the number of missing bars. For each bar that is removed from the triangulated sphere to form a hole, a row of the rigidity matrix is removed and the idof is increased by one.
6.1.1 Example
Consider starting with no bars in :

each hole is missing one edge from the triangulated sphere;

, and is not rigid with 2 idof; and

there are 2 idof still at each hole.
The third claim above is confirmed by recalling that adding two edges to one of the quadrilaterals gives a rigid block, creating a proper cylinder, which is isostatic.
In particular, this also shows that each edge added to removes 1 idof (is independent). With one bar added to , we have:

, and is not rigid with 1 idof; and

there is 1 idof still at each hole.
The second claim above is confirmed by recalling that adding one more edge to gives a rigid block, creating a proper tower, which is isostatic, while adding 1 to the second hole creates a triangulated sphere.
When we insert a second bar into , we effectively replace with a 4gon block.

, and rigid 1; and

there is idof at each hole.
Since we have assumed and this block at are 4connected in a vertex sense, this tower is isostatic, overall.
becomes rigid when the block is added, and this also removes 2 idof from .
We have transmitted the two constraints from the site at to the site , altering its behaviour from a distance. This is an example of mathematical allostery.
6.1.2 Example
More generally, consider , starting with no edges added at . We observe that:

each hole is missing edges;

, and is not rigid with idof overall;

there are idof at each hole (the number of edges needed to make this hole into a block).
Thus each of the bars inserted into of in order to build up this isostatic block and hole structure is independent. As in Example 6.1.1, each of these bars removes idof from and also from . In the end, we have replaced with an gon block, that is, we added bars to that hole. Since the assumption on the waist is equivalent to connectivity, by Theorem 5.1, this is generically isostatic  both rigid and independent.
We note that for there are bad ways to add these edges to ; ways that do not generate an isostatic block, but create a redundant set of edges within this subframework. We assume that the added edges are part of some isostatic block at .
With these simple structures, all the added independent constraints at transmit to reduced idof at as well.
6.1.3 Example
Consider a cylinder with .

the two holes are missing edges, so the cylinder starts with idof ;

there are idof at the first hole (the number of edges needed to make this hole into a block).

there are idof at the second hole which is less than  the number of edges needed locally to make this polygon into a block. This hole has all the idof of the structure  but less than a simple gon would have.

we can insert a sequence of independent edges at the first hole hole (the number of edges needed to make this hole into a block);

each of these edges removes 1 idof from the overall framework, and therefore from the second hole.

when this first hole is a block, the second hole, and the larger tube, still shows idof.
The overall framework is independent, but not generically rigid.
All the added independent constraints at transmit to reduced idof also at .
6.1.4 Example
Consider a cylinder with .

the two holes are missing edges, so the cylinder starts with idof ;

there are idof at the first hole (less than the number of edges needed to make this hole into a block).

there is idof at the second hole.

When we add the first independent edges to , there is no change in the idof of , which remains ;

Adding further independent edges at makes the whole tube generically rigid.

We do not complete a block at , unless we want the overall structure to be redundant.
The first edges at do not transmit any reduction in idof to . The next independent edges at transmit to reduced idof at , finishing with idof.
Any more edges at would be redundant and would not have any impact on the idof.
6.2 Examples with narrow waists
6.2.1 Example
Consider a cylinder with (Figure 17). We split the analysis by splitting the cylinder at some minimum waist .
Working with these simpler cylinders and (Figure 17(b)(c)), we can track the overall transmission through the tube:

the two holes are missing edges, so the cylinder starts with idof ;

the first component (containing ) behaves like Example 6.1.4;

there are idof at the first hole (less than the number of edges needed to make this hole into a block);

we can add up to edges at the first hole with no transmission to the waist (or beyond it);

the next edges at the first hole transmit to rigidify the waist. This is implicitly adding constraints to the waist, which transmits on to the second hole.

The first component is now rigid, even though there is not a full block in the first hole . Any further added edges cause no reduction in idof at .

In the second component, there is an implicit block at the waist and the second hole is still flexible with idof (as in Example 6.1.3)
In this case we have transmission only for the added edges between and
We leave it to the reader to extract the summary lemmas on transmission which flow from these examples of tubes.
In the original motivation from allostery, we mentioned ‘shape change at a distance’. If adding an edge at transmitted to reducing the idof at , then making a small change in the length of this bar, in a generic configuration, will produce some change in the distances between some pairs of vertices in . Thus transmission of reduced idof is equivalent to transmission of shape change from to .
The larger message is that we can create mathematical models of frameworks which:

will connect two sites;

will not transmit changed internal degrees of freedom until a certain number of constraints have been added at one site;

will then faithfully transmit for the next set of added constraints; and

will not completely constrain the other site, no matter what is done at the first site.
By connecting two ‘sites’ by several tubes, or even interlocking three or more sites (which happens in allostery) we can create moderately complex models of ‘transmission’ within a mathematical model for exploring allosteric transmission. Whether something analogous occurs in the rigidity and flexibility of proteins is currently an active area of research.
7 Cycle to Cylinder Splits
The overall need for added inductive constructions which preserve generic rigidity in was highlighted in [23]. Implicit in the results and proofs in §4,5,6 are some more general principles that can be applied to expand an arbitrary cycle in a graph to a ‘cylinder’ while preserving rigidity related properties in space. We summarize this process here.
Definition 7.1
Given a graph with a cycle and subset of f the other edges at each of these vertices , then a cycle split of on (Figure 18(a)) is the extended graph (Figure 18(b)) with

a second cycle of ;

all edges in are removed from and attached to ; and

a cylinder is inserted between the cycles and .
Note that it is permissible that some : that is we split only some of the vertices, but otherwise the are new vertices.
Theorem 7.1
Gven a generically isostatic (generically independent, generically rigid) graph with a cycle with separations , then:

any cycle split is obtained from by a sequence of vertex splits;

any cycle split is generically isostatic (generically independent, generically rigid, resp.).
Proof. This is implicitly presented in the discussions in Sections 5 and 6. We use the connectivity to add vertexdisjoint paths (Figure 18(b)). We just note that those arguments reserved the ‘faces’ of the two cycles in the sense that we do not change any edges around the cycles when simplify the paths to length 1 (Figure 18(c)). That is, what other edges there are on the vertices of those cycles do not alter to contractions and the construction of the sequence of vertex splits, because the boundaries of the cycles are ‘clean’ in that analysis.
Notice that if there were other edges between vertices the cycle before the split, they can be left on one side, or the other, or separated to run from one side to the other. In all cases, because the connected nonadjacent vertices of the cycle, they will connect vertices which do not share a face after the split and the subdivision of the cylinder into faces. As such, they cannot make any face boundary unclean and will not impact any of the reductions above.
For the contraction of the remaining paths of length between the cycles, we use simply do the contraction and rely on the fact that the original graph was isostatic, or independent, or rigid as needed.
In §6, we were implicitly using this result for independence when we considered only partial bracing at .
We can extend this reasoning to more general insertions in an arbitrary graph . For example, consider a path split in which the cycle is replaced by a path of distinct vertices without an edge joining . We now only duplicate vertices with leaving the first and last vertices not split. We need selections to identify which edges move from the original vertices to the duplicate vertices, and we duplicate the entire path (Figure 19(a),(b)). We insert a triangulated disc in which we can find vertexdisjoint paths between the two paths (also disjoint from the end points) Figure 19 (b).
By an analogous argument, these connecting paths guarantee that this insertion can be generated by a sequence of vertex splits. Therefore the path split preserves generic rigidity and independence. We observe that the simplest split on a path of length is the original vertex split.
8 Further work
The results and methods in this paper open up some possible extensions and some new questions. We note a few here.
8.1 Spheres with shafts
The original conjecture of Kuiper [13, 25] was that removing one edge from a connected convex triangulated sphere would leave a finite motion in which the dihedral angle at each remaining edge was changing. This is equivalent to saying that the shaft between the two vertices of the triangles connected to this edge would return the framework to infinitesimal rigidity. This is not quite true for all geometric triangulated convex spheres, but the results in §5 verify this is generically true. We can go on to investigate more general circumstances when the shaft connects some two nonadjacent vertices. With a few details to check, the indication is that these spheres with long shafts are also generically rigid circuits, if the extended graph is connected. We plan to complete this investigation in another paper.
Jackson and Jordan showed that in 2dimensions, vertex splitting resulting in both the added vertex and the splitvertex being at least valent, takes a generic rigid circuit (minimal dependent rigid sets) to a circuit, and a generically globally rigid framework to a generically globally rigid framework. We are interested in knowing if vertex splitting preserves generically rigid circuits, and more generally global rigidity in dimensions.
Conjecture 8.1 (Connelly, Whiteley [5])
Vertex splitting resulting in both the added vertex and the splitvertex being at least 4valent preserves the generic rigidity of circuits, and global rigidity in space.
In many cases (but not all), generically rigid circuits in space are also globally rigid. These spheres with shafts provide an example where available methods prove that vertex splitting creates new generically rigid circuits, using the observation that in this class, vertex splitting preserves connectivity. Current unpublished work of Connelly and of Whiteley then shows that these vertex splits preserves global rigidity.
8.2 Change of metric
In this paper, the results were presented as applying in Euclidean space, as were the original results of Cauchy, Dehn, and Alexandrov [2, 6, 1]. However, the techniques were clearly based on the combinatorics of the graphs, aided by the underlying topology of the sphere.
It is not surprising that the results (as well as the results of Cauchy, Dehn, and Alexandrov) apply to the range of CayleyKlein geometries such as the sphere, the hyperbolic space, or the Minkowski space [15]. We could verify this by carefully translating the methods, in particular verifying that vertexsplitting preserves generic rigidity in each of the metrics. Alternatively, the results in other metrics are clear because of the general transfer of generic rigidity results among these metrics, as presented in [15].
8.3 Symmetries on Block and Hole frameworks
A number of recent papers have studied the impact of symmetry on the rigidity of frameworks [4, 16, 17, 18, 19, 20]. In particular, these have developed a theory of frameworks which are as generic as possible within the constraints of the symmetry.
In many cases, the symmetry has no impact on the rigidity of a framework. It is now natural to ask whether the results of this paper can be symmetrized. That is, if the base polyhedron is symmetric and isostatic, and the proposed final block and hole polyhedron has the same symmetry and is generic within this symmetry, can we find a set of symmetric vertex splittings (vertex splittings which are applied separately in a symmetric fashion) which preserved symmetry generic rigidity?
This must be done delicately, as there are examples of isostatic base polyhedra with mirror symmetry, and larger block and hole polyhedra with the same symmetries that are flexible [22]. The required vertex splits cannot be applied in a symmetric sequence to preserve the symmetry at each stage, and they add vertices or edges which are fixed by at least one symmetry (that is the vertex goes to itself, or the edge pair of vertices goes to the same pair). We offer one conjecture for cases where we anticipate this will work.
Conjecture 8.2
Given an abstract block and hole polyhedron with symmetry group on the graph with no vertices or edges fixed, there is a symmetry preserving set of contractions to a base polyhedron realized with the same symmetry group (no vertices or edges fixed). If the base polyhedron is isostatic in some symmetric realization, then the expanded block and hole polyhedron is isostatic when realized generically within the symmetries .
References
 [1] A.D. Alexandrov: Convex polyhedra, GTI, Moscow, 1950. English translation: Springer, Berlin, 2005.
 [2] A.L. Cauchy: Recherche sur les polydres  premier mémoire, Journal de l’Ecole Polytechnique 9 (1813), 66Ð86.
 [3] R. Connelly, T. Jordán, and W. Whiteley: Generic Global Rigidity of BodyBar Frameworks, Egerváry Research Group on Combinatorial Optimization, Technical Report TR200913, 2009.
 [4] R. Connelly, P.W. Fowler, S.D. Guest, B. Schulze, and W. Whiteley: When is a symmetric pinjointed framework isostatic?, International Journal of Solids and Structures 46 (2009), 762–773.
 [5] R. Connelly, and W. Whiteley, Global Rigidity and the Effects of Coning, Discrete and Computational Geometry to appear.
 [6] M. Dehn: Über die Starreit konvexer Polyeder, (in German), Math. Ann. 77 (1916), 466473.
 [7] G. Dirac: Extensions of Mengers Theorem, J. Lond. Math. Soc. 38 (1963), pp 146163.
 [8] A. W. Fenton: Allostery: an illustrated definition for the ‘second secret of lifeÕ Trends in Biochemical Sciences bf 33, 2008, Pages 420425.
 [9] Wendy FinbowSingh, Elissa Ross, and Walter Whiteley:, The Rigidity of Spherical Frameworks: Swapping Blocks and Holes preprint 2009, arXiv:0911.0367.
 [10] A. Fogelsanger: Homology Cycles, Ph.D. Thesis Cornell University, 1989.
 [11] Herman Gluck:, Almost all simply connected closed surfaces are rigid Lecture Notes in Math. 438, Geometric Topology, SpringerVerlag (1975), 225239.
 [12] Jack Graver, Brigitte Servatius, and Hermann Servatius:, Combinatorial Rigidity Graduate Studies in Mathematics, AMS, Providence. 1993.
 [13] N. Kuiper: Spheres polyhedriques flexible dans d’apres Robert Connelly Seminare Bourbaki 77/78, Lecture Notes in Math., vol 710, SpringerVerlag, Berlin and New York (1979) 147168.
 [14] Karl Menger: Zur allgemeinen Kurventheorie, Fund. Math. 10 (1927).: 96Ð115.
 [15] F. V. Saliola and W. Whiteley, Some notes on the equivalence of firstorder rigidity in various geometries, arXiv:0709.3354, 2007.
 [16] B. Schulze: Combinatorial and Geometric Rigidity with Symmetry Constraints, Ph.D. thesis, York University, Toronto, ON, Canada, 2009.
 [17] , Symmetry as a sufficient condition for a finite flex, submitted to SIAM Journal on Discrete Mathematics, arXiv:0911.2424, 2009.
 [18] , Blockdiagonalized rigidity matrices of symmetric frameworks and applications, to appear in Beitr. Algebra und Geometrie, arXiv:0906.3377, 2010.
 [19] , Injective and noninjective realizations with symmetry, Contributions to Discrete Mathematics 5 (2010), 59–89.
 [20] , Symmetric versions of Laman’s Theorem, to appear in Discrete and Computational Geometry, 2010.
 [21] A. Lee and I. Streinu: Pebble game algorithms and sparse graphs, Discrete Mathematics, 308 (2008):1425–1437.
 [22] T. Tarnoi: Simulaneous static and kinematic indeterminacy of space trusses with cyclic symmetry, International Journal of Solids and Structures 16 (1980), pp 335356.
 [23] TiongSeng Tay and Walter Whiteley: Generating isostatic frameworks, Structural Topology 11 (1985), pp 2069.
 [24] W. Whiteley: Infinitesimally rigid polyhdra I statics of frameworks, Trans. A.M.S., 285 (1984), 431465.
 [25] Infinitesimally rigid polyhdraII: modified spherical frameworks, Trans. A.M.S. 306 (1988), 115139.
 [26] , Vertex splitting in isostatic frameworks, Structural Topology 16 (1991), 2330.
 [27] , Some matroids from discrete geometry, in Matroid Theory, J. E. Bonin, J. G. Oxley, and B. Servatius, Eds. American Mathematical Society, Contemporary Mathematics, 1996, 197, pp 171313.
 [28] , Rigidity and Scene Analysis; for Handbook of Discrete and Computational Geometry, J. Goodman and J. O’Rourke (eds.), (2nd Edition), 2004, 13271354.
 [29] , Counting out to the flexibility of molecules, Physical Biology 2 (2005), 1–11.
 [30] H. Whitney: Nonseparable and planar graphs, Trans. Amer. Math. Soc. 34 (1932), 339Ð362.