from sq3.org.uk
Transcription
from sq3.org.uk
Making Membranes in Artificial Chemistries Tim J. Hutton Biomedical Informatics Unit, Eastman Dental Institute, University College London, 256 Grays Inn Road, London WC1X 8LD, UK T.Hutton@eastman.ucl.ac.uk Abstract In this paper we review some of the possible ways of making membrane-like structures in artificial chemistries. Such implementations range from simulations with accurate physics and high computational costs to abstract models with very low computational costs. We observe that various properties of natural membranes, such as self-assembly and self-repair, are lacking in some of the systems. Additionally, we present a novel implementation based on a two-dimensional lattice that has several desirable features and is computationally cheap. Introduction Along with the genetic material, membranes form a fundamental part of living cells. By allowing only small molecules to pass through, semi-permeable membranes protect the contents of the cell while allowing its metabolism to operate. By dividing space into compartments, membranes allow the local chemistry to be manipulated by the genetic material. Membranes in Earth biology consist mainly of phospholipids. The physical interaction with water molecules causes these lipids to self-assemble into energy-minimising bilayer sheets, with the hydrophobic tails of the lipids on the inside of the sheet and the hydrophilic heads facing the water on each side (Fig. 1). These membranes have some very interesting properties. They spontaneously assemble from lipids in suspension, and if perturbed will reform into the energy-minimising state. Small molecules can migrate through the membrane, although this does not happen quickly. Certain proteins will spontaneously become inserted into the membrane, opening channels of communication or conferring other properties. Controllable pores can even be created in the membrane by inserting a ring-shaped structure of proteins. See for example (Alberts et al., 1994) for more information on the very rich array of possibilities. In the next sections we review the various models that have been made of membranes, and consider how accurately various properties of the membranes are recreated. These are: a) self-assembly, b) self-repair, c) semi-permeability, and d) whether new structures can be inserted into, or attached to, the membrane. It seems likely that some of these properties are necessary if complex life forms are to evolve, since rich interactions (Taylor, 2001) and cellular communication (Suzuki et al., 2003) are thought to be required, although a full evaluation of these requirements is beyond the scope of this paper. An additional consideration for artificial life experiments is: e) low computational cost. Accurate physics If the physics of interacting atoms must be simulated accurately, then a Molecular Dynamics (MD) approach is required. Published work on lipid bilayers includes (Heller et al., 1993; Feller et al., 1997; Maillet et al., 1999). Figure 1 shows a cross-section through such a simulated lipid bilayer, with water molecules above and below. Figure 1: A molecular dynamics simulation of a segment of lipid bilayer. Adapted from (Feller et al., 1997). Such simulations can recreate all of the properties of natural membranes, however they are very expensive to compute, see (Allen et al., 2001) for an insight into this. To date only small segments of membrane have been simulated, an entire vesicle (a bilayer forming a spherical shell) would require more computing power than is currently available. Simplified physics One way to avoid having to simulate all the interatomic forces accurately is to simplify the physics, reducing the number of particles, and removing some of the more complicated interactions. Ideally such a simplification will retain the properties of the membranes that are thought to be important, while allowing the simulation to run on standard computer equipment. One such system is presented in Chapter 3 of (Ono, 2001). The system has three particle types in a two-dimensional space, with simple spring forces between the different particles. The greatest repulsion is between the water particles and the hydrophobic particles, with lesser forces between the other types. By joining the hydrophobic and hydrophilic particles into amphiphilic pairs, simple bilayers can be shown to form spontaneously (Fig. 2). The computational cost is sufficiently low for small areas to be simulated at interactive speeds on desktop computers1 . An earlier system that is closely related is (Edwards et al., 1998). force on each particle must be computed based on the position of tens of other particles. However, the membranes retain the properties of self-assembly and self-repair, and semi-permeability is possible since small particles that do not have large repulsive forces from the other types will be able to pass through. A further simplification that can be made is to reduce the membrane to a simple chain of bonded particles. Such a membrane is used in (Hutton, 2004) to enclose a selfreplicating molecule (Fig. 3). Because the simulation uses only local spring forces for volume-exclusion, and uses far fewer particles, it is computationally cheaper than the previous system. Semi-permeability is achieved by turning off the volume-exclusion force for certain types of unbonded particles. Self-assembly and self-repair are not easily achieved in this system, however. Figure 3: A chain of bonded particles can be used as a simple implementation of a membrane. Only certain particles (shown as dots) can pass through the membrane, the other particles (shown as filled circles) cannot. Adapted from (Hutton, 2004). Lattice based physics Figure 2: A screenshot of a two-dimensional simulation of bilayers. From an initially random configuration, the amphiphilic particle-pairs have self-assembled into micelles and bilayers. (Author’s implementation1 .) For artificial life experiments, however, this implementation is still expensive. The number of interacting particles is still large, with at least 100 particles required to make a stable vesicle in two-dimensions. Additionally, the repulsion force on each particle extends over a large area and so the 1 The source code for this implementation and several of the other systems in this paper is available at: http://www.eastman.ucl.ac.uk/∼thutton/ Evolution/Squirm3/development/ Simulations that are based in a continuous space are typically more expensive than ones based on a lattice of points. This is because the coordinates in grid-based systems can be expressed in terms of integers rather than floating-point numbers, and it is cheap to identify the neighbours of each particle. Lattice gas simulations have been around for some time, with recent work on lipid particles including (Boghosian et al., 2000; Mayer and Rasmussen, 2000). Although these are not as physically accurate as MD simulations, the membranes typically have the features of selfassembly and self-repair, with semi-permeability being possible too. By modelling membrane particles as having a directional force, and allowing many particles to occupy each grid point, simulations of self-assembling membranes and protocells can be achieved (Ono and Ikegami, 1999; Ono and Ikegami, 2001; Ono and Ikegami, 2002; Madina et al., 2003). Figure 4 (left) illustrates how the repulsive forces are determined, with the greatest repulsion being along the axis of each oriented particle. When the simulation is run (Fig. 4, right) the particles self-assemble to form membrane sheets and then enclosed vesicles or protocells. Figure 5: A membrane surrounding a catalyst and other particles in an autopoietic artificial chemistry system. Adapted from (McMullin and Varela, 1997). the same reasons as the previous system, it is very cheap computationally. Self-assembly and self-repair are not easily achievable in this system, however. An additional problem is that molecules sometimes become stuck on the lattice, when their movement becomes restricted by the constraints of their bonds. Figure 4: (left) Oriented particles on a hexagonal lattice exert repulsive forces that vary in different directions. (right) These particles self-assemble into membranes and protocells. Adapted from (Ono and Ikegami, 2002). Structurally, these membranes differ from natural membranes in that they readily form three-way junctions. This means that membranes tend to be shared between neighbouring protocells, and the protocells do not appear as separate entities. The membranes do have the properties of selfassembly and self-repair but it is not clear how genetic material might be represented in such a system. A different approach to implementing membranes on a lattice is presented in (Varela et al., 1974; McMullin and Varela, 1997). Semi-permeable membranes can be created by linking particles together and allowing only certain types of particles to diffuse through (Fig. 5). In this system the bonded particles are not permitted to move, while the other particles move on a random walk on the lattice. Chemical reactions between the particles cause the membrane to be maintained, against a constant rate of membrane disintegration. All computations require only local information, and the total number of particles is small, thus the system is computationally cheap. A similar system is presented in (Hutton, 2002). In this system every particle is permitted to move, with the constraints that at most one particle can occupy each grid point, and that each particle must remain within the Moore neighbourhood of every particle it is bonded-to (Fig. 6). Semipermeability comes for free in this system, since unbonded particles can move across diagonal links while bonded particles cannot without violating the constraints mentioned. For Figure 6: A semi-permeable membrane in a simple latticebased system can be made by linking a chain of particles together. Unbonded particles can pass through this membrane by crossing diagonal links, while bonded particles cannot since the bond length is limited to the Moore neighbourhood. (Author’s implementation.) Extended bonds, with bond-crossing forbidden To conclude this section on lattice-based physics, we present some new work aimed at solving the problem just mentioned, that molecules in the system presented in (Hutton, 2002) lack flexibility. The motivation for this is that the system has other desirable properties, not least the low computational cost of this form of membrane. To improve the flexibility of the linked particles, we extend the permissible bond length to a Moore neighbourhood of radius N. Even with N = 2 (a 5 × 5 neighbourhood), this prevents most molecules from getting stuck on the lattice. In the limit, extending the bond length would cause the spatial representation to approach that of a continuous one. How- ever, the membranes do not function in the same way as in the previous system, since molecules can now pass through them easily. To solve this problem, we introduce an additional constraint, that bonds cannot cross each other. Thus a particle is forbidden to make a move if that move would cause two bonds to become crossed, and a bonding reaction will only proceed if a bond-crossing is not created. While this means that a larger neighbourhood must be searched before each move, the computational costs of this system are still low. Bond-crossing is detected using a simple formula for whether two line-segments intersect. Figure 7 shows a molecule inside a semi-permeable membrane in this system. The molecule cannot escape because that would cause bonds to become crossed. Unbonded particles can pass through easily. Figure 7: By extending the permissible bond length and forbidding bonds to become crossed, good flexibility can be achieved in a two-dimensional lattice-based artificial chemistry without sacrificing the semi-permeability property of the membranes. In the example shown, each bonded particle must remain within the 5 × 5 neighbourhood of every particle it is bonded to. (Author’s implementation.) One drawback of such a system from the point of view of trying to create artificial life is that the interactions between cells and their environment is minimal. For the evolutionary growth of complexity (McMullin, 2000) to be observed, not only is information inheritance required, but also interactions between competiting organisms (Taylor, 2001). Graph based physics A different approach to simulating molecular collisions is to represent each molecule as a node, and each potential interaction as an arc (or edge), in a graph. Possible topologies include triangular planar graphs (Speroni di Fenizio et al., 2001) and graphs with the ‘small-world’ property (Suzuki, 2004). Movement is not explicitly represented in these systems, however the physics of diffusion and hydrophobic repulsion can be implemented by a graph-rewriting process (Suzuki, 2004). Edges are deleted at random, creating the effect of molecules moving apart. Edges are also created at random (these molecules effectively move towards each other) but only in such as way as to maintain the smallworld property, and not if a water node would be linked to a hydrophobic node, for example. This process leads to the self-assembly of membranes that separate the graph into different regions (Fig. 8). Figure 8: A proto-cell in a graph-based artificial chemistry. Water-like particles have been driven to the left and the right of the graph, with lipid node-pairs forming an interface between the water and the contents of the cell (centre). The molecules inside the cell are therefore more likely to react with each other, rather than with molecules outside the cell. Adapted from (Suzuki, 2004). One-dimensional physics A further dramatic simplification of the physics of membranes and cells is to reduce the dimensionality further, to a one-dimensional system. Such a system is presented in (Ono and Ikegami, 2000), where repulsion between particles together with diffusion between neighbouring sites causes membranes to be maintained, and the protocells to reproduce under the right conditions. The computational cost of such a system is minimal, since interactions only need to be computed between neighbouring sites on a one-dimensional line. The membranes are selfrepairing and self-assembling, and also could be permeable to other types of particle. The visualisation of these graphs tends to be somewhat difficult, partly because the dimensionality of the space of interactions is quite high (each node can have many interaction arcs). In (Suzuki, 2004) it is suggested that this highdimensionality is beneficial for artificial life experiments since many molecules can be involved in each reaction. The membranes in this system self-assemble and selfrepair, and semi-permeability is possible by allowing occasional arcs to form between the inside and outside of cells. Computationally (aside from the visualisation), the system may be inexpensive, although this is not discussed in the paper. Abstract physics Acknowledgements The final class of system we will briefly review are artificial chemistries without an explicit spatial representation. Membranes in such systems can be represented using syntactical structures such as λ-expressions (Fontana and Buss, 1996), or in P systems (Paun, 2002), or as multisets (Suzuki and Tanaka, 2000). Operations in these systems consist of entities within a membrane reacting with each other, or of membranes merging or dividing. By defining the rules of the system appropriately, the membranes can be made semi-permeable (by allowing certain particles to move between inside and outside) and the spontaneous formation of membranes is easily achieved. Self-repair does not have an obvious meaning in this context. For artificial life experiments, one potential drawback is that the properties of the membranes cannot usually be altered by the organisms themselves. Whereas biological membranes, for example, can have various proteins inserted into them, allowing other structures to be attached, this is not typically meaningful in abstract membrane systems. Another abstract chemical system that includes a membrane is Gánti’s chemoton (Gánti, 1997). However, the selfassembly and self-repair properties of the membrane are assumed, rather than being modelled, and so this system is not relevant to this paper. The anonymous reviewers were very helpful in improving this paper. Conclusions In this paper we have reviewed a number of chemical simulation systems from the point of view of creating useful membranes for artificial life experiments. Systems range from ones that are physically realistic but expensive to simulate, to abstract models with minimal computational costs. The results are summarised in Table 1. While no conclusions are drawn as to which kind of system is the most desirable, it is suggested that systems at either extreme have limited potential for making artificial lifeforms that exhibit the evolutionary growth of complexity: molecular dynamics simulations that can simulate entire cells may not be feasible for decades to come, while abstract chemical systems may lack the very features of rich interactions and flexibility of function that allow creative design solutions to be found (Taylor, 2001; Suzuki et al., 2003). We have presented a novel chemical simulation that has a lattice-based physics in which semi-permeable membranes with good flexibility can be created. The low computational cost and rich interactions in the system give it good potential for artificial life experiments. Importantly, the model is completely compatible with existing systems of selfreplicating, information-carrying molecules (Hutton, 2002; Hutton, 2004), raising the possibility that the simulated cells will be able to evolve through interactions in a computationally amenable environment. References Alberts, B., Bray, D., Lewis, J., Raff, M., Roberts, K., and Watson, J. (1994). Molecular Biology of the Cell. Garland Science. Allen, F., Almasi, G., Andreoni, W., Beece, D., Berne, B. J., Bright, A., Brunheroto, J., Cascaval, C., Castanos, J., Coteus, P., Crumley, P., Curioni, A., Denneau, M., Donath, W., Eleftheriou, M., Fitch, B., Fleischer, B., Georgiou, C. J., Germain, R., Giampapa, M., Gresh, D., Gupta, M., Haring, R., Ho, H., Hochschild, P., Hummel, S., Jonas, T., Lieber, D., Martyna, G., Maturu, K., Moreira, J., Newns, D., Newton, M., Philhower, R., Picunko, T., Pitera, J., Pitman, M., Rand, R., Royyuru, A., Salapura, V., Sanomiya, A., Shah, R., Sham, Y., Singh, S., Snir, M., Suits, F., Swetz, R., Swope, W. C., Vishnumurthy, N., Ward, T. J. C., Warren, H., and Zhou, R. (2001). Blue gene: A vision for protein science using a petaflop supercomputer. IBM Systems Journal, 40(2). Boghosian, B., Coveney, P., and Love, P. (2000). A threedimensional lattice-gas model for amphiphilic fluid dynamics. Proc. Roy. Soc. Lon. A, 456:1431–1454. Edwards, L., Peng, Y., and Reggia, J. (1998). Computation models for the formation of protocell structures. Artificial Life, 4(1):61–77. Feller, S., Venable, R., and Pastor, R. (1997). Computer simulation of a DPPC phospholipid bilayer: Structural changes as a function of molecular surface area. Langmuir, 13(24):6555–6561. Fontana, W. and Buss, L. (1996). The arrival of the fittest: toward a theory of biological organization. Bull. Math. Biol., 56:1–64. Gánti, T. (1997). Biogenesis itself. 187(4):583–593. J. Theor. Biol., Heller, H., Schaefer, M., and Schulten, K. (1993). Molecular dynamics simulation of a bilayer of 200 lipids in the gel and in the liquid-crystal phases. J. Phys. Chem., 97:8343–8360. Hutton, T. (2002). Evolvable self-replicating molecules in an artificial chemistry. Artificial Life, 8(4):341–356. Hutton, T. (2004). A functional self-reproducing cell in a two-dimensional artificial chemistry. In Proc. Artificial Life IX. (to appear). System MD simulations (Ono and Ikegami, 2001) Ch.3 (Hutton, 2004) (Ono and Ikegami, 2002) (McMullin and Varela, 1997) (Hutton, 2002) System in this paper (Ono and Ikegami, 2000) (Suzuki, 2004) Abstract systems Fig. 1 2 3 4 5 6 7 8 - a) X X difficult X difficult difficult difficult X X potentially b) X X difficult X X difficult difficult X X unclear c) X X X potentially X X X potentially potentially X d) X X X difficult potentially X X difficult potentially difficult e) very high medium medium medium low low low very low low very low Table 1: A summary of whether each system has or could have the various properties discussed: a) self-assembly, b) self-repair, c) semi-permeability, d) membrane can have attachments or insertions, and e) computational cost. Madina, D., Ono, N., and Ikegami, T. (2003). Cellular evolution in a 3D lattice artificial chemistry. In Banzhaf, W., Christaller, T., Dittrich, P., Kim, J., and Ziegler, J., editors, Proc. Seventh European Conference on Artificial Life, pages 59–68, Dortmund, Germany. Maillet, J.-B., Lachet, V., and Coveney, P. (1999). Large scale molecular dynamics simulation of self-assembly processes in short and long chain cationic surfactants. Physical Chemistry Chemical Physics, 1(23):5277– 5290. Mayer, B. and Rasmussen, S. (2000). Dynamics and simulation of micellar self-reproduction. International Journal of Modern Physics C, 11(4):809–826. McMullin, B. (2000). John von Neumann and the evolutionary growth of complexity: Looking backwards, looking forwards... Artificial Life, 6(4):347–361. McMullin, B. and Varela, F. (1997). Rediscovering computational autopoiesis. In Husbands, P. and Harvey, I., editors, Proc. Fourth European Conference on Artificial Life, pages 38–47. MIT Press. Ono, N. (2001). Artificial Chemistry: Computational Models of Self-Maintaining and Self-Reproducing ProtoCell Structures. PhD thesis, University of Tokyo. Ono, N. and Ikegami, T. (1999). Model of self-replicating cell capable of self-maintenance. In Floreano, D., Nicoud, J.-D., and Mondada, F., editors, Proc. Fifth European Conference on Artificial Life, pages 399–406, Switzerland. Springer. Ono, N. and Ikegami, T. (2000). Self-maintenance and selfreproduction in an abstract cell model. Journal of Theoretical Biology, 206:243–253. Ono, N. and Ikegami, T. (2001). Artificial chemistry: Computational studies on the emergence of self-reproducing units. In Kelemen, J. and Sosı́k, P., editors, Proc. Sixth European Conference on Artificial Life, pages 186– 195. Springer. Ono, N. and Ikegami, T. (2002). Selection of catalysts through cellular reproduction. In Standish, R., Bedau, M., and Abbass, H., editors, Proc. Artificial Life VIII, pages 57–64. MIT Press. Paun, G. (2002). Membrane Computing. An Introduction. Springer-Verlag, Berlin. Speroni di Fenizio, P., Dittrich, P., and Banzhaf, W. (2001). Spontaneous formation of proto-cells in an universal artificial chemistry on a planar graph. In Kelemen, J. and Sosik, P., editors, Advances in Artificial Life (Proc. 6th European Conference on Artificial Life), pages 206– 215. Suzuki, H. (2004). Spacial representation for artificial chemistry based on small-world networks. In Proc. Artificial Life IX. (to appear). Suzuki, H., Ono, N., and Yuta, K. (2003). Several necessary conditions for the evolution of complex forms of life in an artificial environment. Artificial Life, 9(2):537–558. Suzuki, Y. and Tanaka, H. (2000). Chemical evolution among artificial proto-cells. In Bedau, M., McCaskill, J., Packard, N., and Rasmussen, S., editors, Proc. Artificial Life VII, pages 54–64. MIT Press. Taylor, T. (2001). Creativity in evolution: Individuals, interactions and environment. In Bentley, P. and Corne, D., editors, Creative Evolutionary Systems, chapter 1. Morgan Kaufman. Varela, F., Maturana, H., and Uribe, R. (1974). Autopoiesis: the organization of living systems, its characterization and a model. BioSystems, 5:187–196.