Molecular folding — the series
-
A sheet that routes itself
DNA origami folds one long strand into a shape by holding it against itself with a few hundred short ones. There is no sheet and no crease — what has to be designed is a route — and the first thing that can go wrong is a counting argument crease patterns already know under another name.
-
Two things called folding
A protein folds and a sheet folds, and the word is the same word by accident. Both have exponentially many states and that is not the difference. The difference is that one of them can be filtered by four conditions checked at a single point, and the other cannot be filtered by anything local at all.
-
Two ceilings
A DNA origami is limited by the length of one viral strand and by whether its helices can be visited once each in a single pass. Grown one step at a time, a square block runs into the first at a hundred helices and a plus runs into the second at five — so which limit a shape meets is decided by the shape and not by the chemistry.
-
The helix chooses the lattice
A strand can cross to the next helix only where its backbone faces that helix, and a double helix turns about 34.3° a base. Three neighbours a third of a turn apart are faced exactly every seven bases. Four neighbours a quarter of a turn apart are never faced exactly by any whole number of bases — the nearest miss by 4.3°, and the misses do not average out, they add: 17° over thirty-two bases, 137° over two hundred and fifty-six. The lattice a design is drawn on is decided by the molecule before any shape is chosen.
-
A row the route cannot leave
Every rectangular block of helices up to ten by eight routes on the square lattice. On the honeycomb, the lattice a double helix's pitch prefers, twenty of the eighty do not — and every block odd in both directions fails for a reason visible along one row: every second helix on the top row has no neighbour off it, the two corners have one neighbour each, and a route forced through them runs the length of the row and ends. The colour count passes all of them, and a degree count along a single row refuses them.
-
Every cheap test misses a shape
A strand routed through a bundle of helices has to visit each once, and whether a shape allows that is hard to decide — so the cheap tests that refuse shapes are necessary and never sufficient, and for every set of them there is a smallest shape they pass and no route reaches. Listing every connected shape and searching the ones the tests let through finds it: nine helices on the square lattice for the colour count, the ends and the cuts, eleven once the steps a route's ends force are added, and still eleven once the ends' colours are checked. On the honeycomb the same three stages give twelve, fifteen and sixteen. Each test pushes the smallest unroutable shape out or leaves it where it is; none removes it.
-
A domain too short to be unique
A staple holds the scaffold by pairing with a stretch of it, and two arguments decide how long that stretch has to be. One is combinatorics — a stretch of seven bases has about four hundred other places in a 7,249-base strand it would also match. The other is thermodynamics, and it is the one that binds: a duplex that is unique at eleven base pairs still comes apart at the temperature the design is held at, and staying paired takes seventeen. Rounded up to the crossover period, that is three periods on both lattices, and the lattice the helix prefers is the one whose three-period domain leaves some of its staples unattached.
-
A test that only knows one lattice
The cheapest argument that refuses the smallest shape no cheap test could refuse was read off that shape: cut at one helix, find the piece with no end in it, and count the colours of the stretch the route is then forced to cross. Added to the census it refuses every one of the square lattice's thirty-two eleven-helix survivors and pushes the smallest survivor to twelve, where twelve placements of two shapes survive out of half a million. On the honeycomb it refuses none of the six at sixteen. A test inherits the lattice of the witness it was read off, and the staircase is two staircases.