arXiv++ Combinatorics

Branched junction molecule assembly of DNA nanostructures, pioneered by Seeman's laboratory in the 1980s, has become increasingly sophisticated, as have the assembly targets. A critical design step is finding minimal sets of branched junction molecules that will self-assemble into target structures without unwanted substructures forming. We use graph theory, which is a natural design tool for self-assembling DNA complexes, to address this problem. After determining that finding optimal design strategies for this method is generally NP-complete, we provide pragmatic solutions in the form of programs for special settings and provably optimal solutions for natural assembly targets such as platonic solids, regular lattices, and nanotubes. These examples also illustrate the range of design challenges.

We develop an algebraic framework for ribbon graphs, revealing symmetry properties of (partial) twisted duality. The original ribbon group action of Ellis-Monaghan and Moffatt restricts self-duality, -petriality, or -triality to the canonical identification of a graph's edges with those of its dual, petrial, or trial, whereas the more natural definition allows any isomorphism. Here we define a new ribbon group action on ribbon graphs, using a semidirect product of the original ribbon group with a permutation group, to take (partial) twists and duals of ribbon graphs while also encoding graph isomorphisms. This brings new algebraic tools to bear on the natural definitions of self-duality etc., as a ribbon graph is a fixed point of this new ribbon group action exactly when it is isomorphic to one of its (partial) twisted duals. With these tools, we prove that every ribbon graph has in its orbit an orientable embedded bouquet, whose (partial) twisted duality properties propagate through the orbit. Thus, (partial) twisted duality properties of all embedded graphs may be analyzed through such bouquets, for which checking isomorphism reduces to checking just dihedral group symmetries. Previous research on self-duality, etc., typically focused on highly symmetric regular maps, but the theory here fully encompasses all cellularly embedded graphs. In contrast to the few, large, very high-genus, self-trial regular maps found by Wilson, and by Jones and Poultin, here we apply our framework to generate all self-trial ribbon graphs on up to seven edges. We also show how a graph's automorphism group may be used to find self-dual, etc., graphs in its orbit, thus exposing the relationship between regularity and the ribbon group action and, answering a question of Jones and Poulton, yielding an infinite family of self-trial graphs not arising as covers or parallel connections of regular maps.

Motivated by the problem of determining unknotted routes for the scaffolding strand in DNA origami self-assembly, we examine existence and knottedness of A-trails in graphs embedded on the torus. We show that any A-trail in a checkerboard-colorable torus graph is unknotted and characterize the existence of A-trails in checkerboard-colorable torus graphs in terms of pairs of quasitrees in associated embeddings. Surface meshes are frequent targets for DNA nanostructure self-assembly, and so we study both triangular and rectangular torus grids. We show that, aside from one exceptional family, a triangular torus grid contains an A-trail if and only if it has an odd number of vertices, and that such an A-trail is necessarily unknotted. On the other hand, while every rectangular torus grid contains an unknotted A-trail, we also show that any torus knot can be realized as an A-trail in some rectangular grid. Lastly, we use a gluing operation to construct infinite families of triangular and rectangular grids containing unknotted A-trails on surfaces of arbitrary genus. We also give infinite families of triangular grids containing no unknotted A-trail on surfaces of arbitrary nonzero genus.