Modeling virus self-assembly pathways: avoiding dynamics using geometric constraint decomposition.

We develop a model for elucidating the assembly pathways by which an icosahedral viral shell forms from 60 identical constituent protein monomers. This poorly understood process a remarkable example of macromolecular self-assembly occuring in nature and possesses many features that are desirable while engineering self-assembly at the nanoscale. The model uses static geometric and tensegrity constraints to represent the driving (weak) forces that cause a viral shell to assemble and hold it together. The goal is to answer focused questions about the structural properties of a successful assembly pathway. Pathways and their properties are carefully defined and computed using computational algebra and geometry, specifically state-of-art concepts in geometric constraint decomposition. The model is analyzable and refinable and avoids expensive dynamics. We show that it has a provably tractable and accurate computational simulation and that its predictions are roughly consistent with known information about viral shell assembly. Justifications for mathematical and biochemical assumptions are provided, and comparisons are drawn with other virus assembly models. A method for more conclusive experimental validation involving specific viruses is sketched. Overall, the paper indicates a strong and direct, mutually beneficial interplay between (a) the concepts underlying macromolecular assembly; and (b) a wide variety of established as well as novel concepts from combinatorial and computational algebra, geometry and algebraic complexity.