Many remarkably robust, rapid and spontaneous self-assembly phenomena occurring in nature can be modeled geometrically, starting from a collection of rigid bunches of spheres. This paper highlights the role of symmetry in sphere-based assembly processes. Since spheres within bunches could be identical and bunches could be identical, as well, the underlying symmetry groups could be of large order that grows with the number of participating spheres and bunches. Thus, understanding symmetries and associated isomorphism classes of microstates that correspond to various types of macrostates can significantly increase efficiency and accuracy, i.e., reduce the notorious complexity of computing entropy and free energy, as well as paths and kinetics, in high dimensional configuration spaces. In addition, a precise understanding of symmetries is crucial for giving provable guarantees of algorithmic accuracy and efficiency, as well as accuracy vs. efficiency trade-offs in such computations. In particular, this may aid in predicting crucial assembly-driving interactions. This is a primarily expository paper that develops a novel, original framework for dealing with symmetries in configuration spaces of assembling spheres, with the following goals.(1) We give new, formal definitions of various concepts relevant to the sphere-based assembly setting that occur in previous work and, in turn, formal definitions of their relevant symmetry groups leading to the main theorem concerning their symmetries. These previously-developed concepts include, for example: (i) assembly configuration spaces; (ii) stratification of assembly configuration space into configurational regions defined by active constraint graphs; (iii) paths through the configurational regions; and (iv) coarse assembly pathways. (2) We then demonstrate the new symmetry concepts to compute the sizes and numbers of orbits in two example settings appearing in previous work. (3) Finally, we give formal statements of a variety of open problems and challenges using the new conceptual definitions.Keywords: sphere assembly; configuration space; stratification; distance constraints; Cayley geometry; entropy; kinetics; pathways
MotivationSupramolecular assembly is prevalent in nature, healthcare and engineering, but poorly understood. The assembly starts with identical copies of structures drawn from a small number of types. Modeling these starting structures as rigid bunches of spheres is well suited to assembly processes driven by so-called short-range or hard sphere interaction potentials.More formally, an input to a computational model of an assembly process is an assembly system consisting of the following: