bruce damer's talk at ee380, the stanford university computer systems colloquium (jan 13, 2010)

68
Big Science…

Post on 21-Oct-2014

1.039 views

Category:

Technology


0 download

DESCRIPTION

Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)

TRANSCRIPT

Page 1: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)

Big Science…

Page 2: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)

… aims to cast light on the darkest placesin our knowledge

Page 3: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)
Page 4: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)
Page 5: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)
Page 6: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)
Page 7: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)
Page 8: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)
Page 9: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)
Page 10: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)
Page 11: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)
Page 12: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)

Chemically Recreating the Origins of Life: Miller-Urey, 1953

Page 13: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)

But how easy is this going to be?

Page 14: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)

Model for a minimal cell

Page 15: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)

How do we get…

From here… to here?

Page 16: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)

Protocells must form on their own through successive “ratchets” of complexity

Ref Pierre-Alain Monnard, FLinT

Page 17: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)

Fundamental Living Technologies LaboratoryOdense, Denmark

University of Southern Denmark, Odense

Page 18: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)

Protocells from Chemical Soups

Page 19: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)

Origins of Life the “hard way””

Page 20: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)

Your chemical origins of life computing equipment

Page 21: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)

Radically new chemical life cycles

Page 22: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)

feeding

light (hv)

heating

containerdivision

informationreplication

metabolicconversion

addition of resources

Page 23: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)

Enter… The EvoGrid

Simulating an Origin of Life

Page 24: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)

EvoGrid inspirer Richard Gordon: “The Artificial Life community should get down to the basics and simulate an Origin of Life.”

-Professor, University of Manitoba, Canada

Page 25: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)

Step #1: Engage in a Thought Experiment…

Make a Movie!

Page 26: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)
Page 27: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)

But is this realistic?Freeman Dyson: “the simulation should be truly ‘messy’, ie: nature is not clean and neat as you are showing in the movie, cells are more like dirty water surrounded by garbage bags”

-Professor, Institute for Advanced Study

Princeton, NJNJ

Page 28: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)

Penny Boston: “The simulation must model abstract universes and not attempt a high fidelity chemistry model, all that counts is if you can demonstrate a method for supporting ever increasing levels of emergent complexity”

-Associate Professor of Cave and Karst ScienceDirector, Cave and Karst StudiesDept of Earth & Environmental ScienceNew Mexico Tech, Socorro, NM

Page 29: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)

Boston: “You need this…. to originate and evolve complex life (and civilization)”

Page 30: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)

So how does “this computer” compute? How does life compute?

Page 31: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)

Water Freezing

Page 32: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)

What makes up a cell?

Page 33: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)

Vesicles Forming

Page 34: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)

Vesicle Growth

Page 35: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)

Vesicle Entry

Page 36: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)

Proto-genes forming on their own

Page 37: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)

“proto genes” forming on clays

Page 38: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)

Proto-genes forming with help from our friends the ribosomes

Page 39: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)

Bringing it all together: Protocell Division

Page 40: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)

The Inner Life of the Cell (Harvard)

Page 41: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)

So how to map this computer onto this one?

Page 42: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)

The EvoGrid is a worldwide, cross-disciplinary effort to create an abstract, yet plausible simulation of the chemical origins of life on Earth. One could think of this as an artificial origin of life experiment. Our strategy is to employ a large number of computers in a grid to simulate a digital primordial soup along with a distributed set of computers acting as observers looking into that grid. These observers, modeled after the very successful @Home scientific computation projects, will be looking for signs of emergent complexity and reporting back to the central grid.

Our starting point is very early along the path of emergence in a phase one might call "prevolution" in that the fundamental mechanisms supporting symbolic codings for replication (and evolution through Darwinian Natural Selection) must in fact emerge from a tabula rasa (ie: no engineer coded in a genetic system).

This is where the EvoGrid differs from earlier “Artificial Life” efforts.

Page 43: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)

Our goal is to set up conditions and operation to enable us to witness the emergence of structures in space (rings, catalysts, containers/vesicles, simple repeating strings) or reaction sequences in time (autocatalytic sets for example) within the EvoGrid simulation. With this as a foundation a ratcheting up of complexity may then occur, hopefully through several plateaus.

Years in the future, the observing of entities which code their own constructions and reproduction using an artificial genome would be a major scientific breakthrough for emergence science and hopefully shed light on the possible chemical origins of life on Earth. The intellectual and computational breakthroughs will come through optimizing the pathway for vectors of ever higher self organization across the valleys of events of extremely low probability.

Page 44: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)

The EvoGrid: conceptually a large central artificial chemistry simulation operated upon by analysis clients

Page 45: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)

What is the ‘Secret Sauce’

of the EvoGrid?

Answer: Stochastic hill-climbing

algorithm utilizing analysis, feedback

and temporal backtracking

Page 46: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)

How might this work for a molecule?

Page 47: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)
Page 48: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)
Page 49: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)
Page 50: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)

EvoGrid Architecture (for nerds)

Page 51: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)

Simulation Manager Database Schema

Page 52: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)

Data Formats Movement

Page 53: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)

The simulation so far…

First runs with GROMACS, May 2009(thermodynamic runaway)

Page 54: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)
Page 55: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)

Test Simulations: Dec 2009-Jan 2010Objective: search for complex “big” molecules formingRun cycles: 1000 iterations of 1000 randomly distributed atoms in heat bath within GROMACS for 1 second

Data produced one day’s runs:

251 simulations producing 5,480MB of history data with 40MB of statisticsFrom 251 simulations we have 196,421 pending branches, so each simulation produces 782 possible branches792MB of metadata produced (input parameters for GROMACS)

Page 56: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)
Page 57: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)
Page 58: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)
Page 59: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)
Page 60: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)
Page 61: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)
Page 62: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)

Simulation #144,204: Highest Score

2.2303 avg-avg-molecule-size9.355 avg-max-molecule-size17 max-max-molecule-size4.47307 max-avg-molecule-size33.0584 search-evogrid-complexity-1

Based on these numbers, it looks like one large molecule, of 17 atoms "wide", is forming. The term “molecule size” means the maximum link count between any two atoms in the molecule.

But nothing has been visualized yet!

Page 63: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)

Limitations & Next Steps

Atom types are not real and interaction forces are randomly generatedMust move beyond simple random generation and testing one generation to storing and reloading states through timeMust move to covalent bonding supported by GROMACS 4.0 (QM)Must develop more analysis (beyond just “size of molecule”)Need input from “real chemists”Distribution of EvoGrid onto real Grid (beyond just two computers) @ CALIT2-UC San DiegoDevelopment of EvoGrid@Home running via the BOINC network

Future home of the EvoGrid?

Page 64: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)

… Stand by for more!

(we need help, coding jobs available: [email protected] )

Page 65: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)

And Finally…Why is a simulation of the origin of life important to Humanity?

Page 66: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)

One reason among many: How do Earth Life (and we) get out into the Universe?

Freeman Dyson’s Trees

Page 67: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)
Page 68: Bruce Damer's talk at EE380, the Stanford University Computer Systems Colloquium (Jan 13, 2010)

Thank You!

Visit us at: www.evogrid.org