Frameworks, Symmetry and Rigidity

Generic symmetry-forced infinitesimal rigidity: translations and rotations

We characterize the combinatorial types of symmetric frameworks in the plane that are minimally generically symmetry-forced infinitesimally rigid when the symmetry group consists of rotations and translations. Along the way, we use tropical geometry to show how a construction of Edmonds that associates a matroid to a submodular function can be used to give a description of the algebraic matroid of a Hadamard product of two linear spaces in terms of the matroids of each linear space. This leads to new, short, proofs of Laman's theorem, and a theorem of Jord{á}n, Kaszanitzky, and Tanigawa, and M…

Symmetry-forced rigidity of frameworks on surfaces

A fundamental theorem of Laman characterises when a bar-joint framework realised generically in the Euclidean plane admits a non-trivial continuous deformation of its vertices. This has recently been extended in two ways. Firstly to frameworks that are symmetric with respect to some point group but are otherwise generic, and secondly to frameworks in Euclidean 3-space that are constrained to lie on 2-dimensional algebraic varieties. We combine these two settings and consider the rigidity of symmetric frameworks realised on such surfaces. By extending the orbit matrix techniques of [32, 12], we…

Coning, symmetry and spherical frameworks

In this paper, we combine separate works on (a) the transfer of infinitesimal rigidity results from an Euclidean space to the next higher dimension by coning, (b) the further transfer of these results to spherical space via associated rigidity matrices, and (c) the prediction of finite motions from symmetric infinitesimal motions at regular points of the symmetry-derived orbit rigidity matrix. Each of these techniques is reworked and simplified to apply across several metrics, including the Minkowskian metric $\M^{d}$ and the hyperbolic metric $\H^{d}$. This leads to a set of new results trans…

The orbit rigidity matrix of a symmetric framework

A number of recent papers have studied when symmetry causes frameworks on a graph to become infinitesimally flexible, or stressed, and when it has no impact. A number of other recent papers have studied special classes of frameworks on generically rigid graphs which are finite mechanisms. Here we introduce a new tool, the orbit matrix, which connects these two areas and provides a matrix representation for fully symmetric infinitesimal flexes, and fully symmetric stresses of symmetric frameworks. The orbit matrix is a true analog of the standard rigidity matrix for general frameworks, and its …

Symmetry as a sufficient condition for a finite flex

We show that if the joints of a bar and joint framework $(G,p)$ are positioned as `generically' as possible subject to given symmetry constraints and $(G,p)$ possesses a `fully-symmetric' infinitesimal flex (i.e., the velocity vectors of the infinitesimal flex remain unaltered under all symmetry operations of $(G,p)$), then $(G,p)$ also possesses a finite flex which preserves the symmetry of $(G,p)$ throughout the path. This and other related results are obtained by symmetrizing techniques described by L. Asimov and B. Roth in their paper `The Rigidity Of Graphs' from 1978 and by using the fac…

Linking Rigid Bodies Symmetrically

The mathematical theory of rigidity of body-bar and body-hinge frameworks provides a useful tool for analyzing the rigidity and flexibility of many articulated structures appearing in engineering, robotics and biochemistry. In this paper we develop a symmetric extension of this theory which permits a rigidity analysis of body-bar and body-hinge structures with point group symmetries. The infinitesimal rigidity of body-bar frameworks can naturally be formulated in the language of the exterior (or Grassmann) algebra. Using this algebraic formulation, we derive symmetry-adapted rigidity matrices …

The almost periodic rigidity of crystallographic bar-joint frameworks

A crystallographic bar-joint framework C is shown to be almost periodically infinitesimally rigid if and only if it is strictly periodically infinitesimally rigid and the rigid unit mode (RUM) spectrum is a singleton. Moreover the almost periodic infinitesimal flexes of C are characterised in terms of a matrix-valued function on the d-torus determined by a full rank translation symmetry group and an associated motif of joints and bars.

Maxwell-Laman counts for bar-joint frameworks in normed spaces

The rigidity matrix is a fundamental tool for studying the infinitesimal rigidity properties of Euclidean bar-joint frameworks. In this paper we generalize this tool and introduce a rigidity matrix for bar-joint frameworks in arbitrary finite dimensional real normed vector spaces. Using this new matrix, we derive necessary Maxwell-Laman-type counting conditions for a well-positioned bar-joint framework in a real normed vector space to be infinitesimally rigid. Moreover, we derive symmetry-extended counting conditions for a bar-joint framework with a non-trivial symmetry group to be isostatic (…

圆柱面上对称框架的刚性

Rigidity of symmetric frameworks on the cylinder

本文研究三维空间中限制在圆柱面上运动的对称杆-铰框架的刚性问题，给出了有限点群对称下框架等静力的必要组合条件，并证明循环对称（反演、半转、反射）下该条件在通用假设下充分，得到对称等静力图的精确组合刻画。

Symmetric isostatic frameworks with $\ell^1$ or $\ell^\infty$ distance constraints

Combinatorial characterisations of minimal rigidity are obtained for symmetric 2-dimensional bar-joint frameworks with either $\ell^1$ or $\ell^\infty$ distance constraints. The characterisations are expressed in terms of symmetric tree packings and the number of edges fixed by the symmetry operations. The proof uses new Henneberg-type inductive construction schemes.