Date of Graduation
Master of Science in Computer Science (MS)
Computer Science & Computer Engineering
Second Committee Member
aTAM, computational theory, dna nanotechnology, nanostructures, self-assembly, tile assembly models
Self-assembly is the process by which complex systems are formed and behave due to the interactions of relatively simple units. In this thesis, we explore multiple augmentations of well known models of self-assembly to gain a better understanding of the roles that geometry and space play in their dynamics. We begin in the abstract Tile Assembly Model (aTAM) with some examples and a brief survey of previous results to provide a foundation. We then introduce the Geometric Thermodynamic Binding Network model, a model that focuses on the thermodynamic stability of its systems while utilizing geometrically rigid components (dissimilar to other thermodynamic models). We show that this model is computationally universal, an ability conjectured to be impossible in similar models with non-rigid components. We continue by introducing the Flexible Tile Assembly Model, a generalization of the 2D aTAM that allows bonds between tiles to flex and assemblies to therefore reconfigure. We show how systems in this model can deterministically assemble shapes that adhere to a number of certain restrictions. Finally, we introduce the Spatial abstract Tile Assembly Model, a variation of the 3D aTAM that restricts tiles from attaching without a diffusion path. We show that this model is intrinsically universal, a property of computational models to simulate themselves which has been shown for the 3D aTAM and other similar models. We conclude this thesis with a summary of the presented results, a brief impact analysis, and potential directions for future research within this area.
Sharp, M. (2019). Contrasting Geometric Variations of Mathematical Models of Self-assembling Systems. Theses and Dissertations Retrieved from https://scholarworks.uark.edu/etd/3517