Flexibility studies of macromolecules modeled as mechanical frame works rely on computationally expensive, yet numerically imprecise simulations. Much faster approaches for degree-of-freedom counting and rigid component calculations are known for finite structures characterized by theorems of Maxwell-Laman type, but such results are exceedingly rare and difficult to obtain. The situation is even more complex for infinite, periodic structures such as those appearing in the study of crystalline materials. Here, an adequate rigidity theoretical formulation has been proposed only recently, opening the way to a combinatorial treatment. Abstractions of crystalline materials known as periodic body-and-bar frameworks are made of rigid bodies connected by fixed-length bars and subject to the action of a group of translations. In this paper, we give a Maxwell-Laman characterization for generic minimally rigid periodic body-and-bar frameworks in terms of their quotient graphs. As a consequence we obtain efficient polynomial time algorithms for their recognition based on matroid partition and pebble games.
展开▼
