arXiv++ Combinatorics

If we take a (bar-joint) framework, prepare an identical copy of this framework, translate it by some vector $τ$, and finally join corresponding points of the two copies, then we obtain a framework with `extrusion' symmetry in the direction of $τ$. This process may be repeated $t$ times to obtain a framework whose underlying graph has $\mathbb{Z}_2^t$ as a subgroup of its automorphism group and which has `$t$-fold extrusion' symmetry. We show that while $t$-fold extrusion symmetry is not a point-group symmetry, the rigidity matrix of a framework with $t$-fold extrusion symmetry can still be transformed into a block-decomposed form in the analogous way as for point-group symmetric frameworks. This allows us to use Fowler-Guest-type character counts to analyse the mobility of such frameworks. We show that this entire theory also extends to the more general point-hyperplane frameworks with $t$-fold extrusion symmetry. Moreover, we show that under suitable regularity conditions the infinitesimal flexes we detect with our symmetry-adapted counts extend to finite (continuous) motions. Finally, we establish an algorithm that checks for finite motions via linearly displacing framework points along velocity vectors of infinitesimal motions.

A foundational theorem of Laman provides a counting characterisation of the finite simple graphs whose generic bar-joint frameworks in two dimensions are infinitesimally rigid. Recently a Laman-type characterisation was obtained for frameworks in three dimensions whose vertices are constrained to concentric spheres or to concentric cylinders. Noting that the plane and the sphere have 3 independent locally tangential infinitesimal motions while the cylinder has 2, we obtain here a Laman-Henneberg theorem for frameworks on algebraic surfaces with a 1-dimensional space of tangential motions. Such surfaces include the torus, helicoids and surfaces of revolution. The relevant class of graphs are the (2,1)-tight graphs, in contrast to (2,3)-tightness for the plane/sphere and (2,2)-tightness for the cylinder. The proof uses a new characterisation of simple (2,1)-tight graphs and an inductive construction requiring generic rigidity preservation for 5 graph moves, including the two Henneberg moves, an edge joining move and various vertex surgery moves.

The simple graphs $G=(V,E)$ that satisfy $|E'|\leq 2|V'|-l$ for any subgraph (and for $l=1,2,3$) are the $(2,l)$-sparse graphs. Those that also satisfy $|E|=2|V|-l$ are the $(2,l)$-tight graphs. These can be characterised by their decompositions into two edge disjoint spanning subgraphs of various types. The Henneberg--Laman theorem characterises $(2,3)$-tight graphs inductively in terms of two simple moves, known as the Henneberg moves. Recently this has been extended, via the addition of a graph extension move, to the case of $(2,2)$-tight graphs. Here an alternative characterisation is provided by means of vertex-to-$K_4$ and edge-to-$K_3$ moves, and this is extended to the $(2,1)$-tight graphs by addition of an edge joining move. Similar characterisations of $(2,l)$-sparse graphs are also provided.