1. Introducción a los sistemas complejos

1. 1. Introducción a los sistemas complejos Madrid, Octubre 2012

2. Autómatas celulares El discreto encanto de la Naturaleza En el siglo XX asistimos a tres grandes revoluciones científicas: la teoría cuántica, la genética y las ciencias de la computación. Las tres se distinguen por algo en común: su visión discreta de la realidad con el cuanto, el gen y el bit como unidades indisolubles

3. El matemático John von Neumann (1903-1957) tuvo una participación decisiva en las tres revoluciones. En los años 50 del siglo pasado, abrió todo un campo de investigación al utilizar los autómatas celulares (AC) para determinar bajo qué condiciones un sistema es capaz de reproducirse a sí mismo. Sus resultados proféticamente coincidirían, en lo esencial, con el misterio de misterios que se estaba desentrañando en esos momentos: el código genético. En la década de los 80 del siglo pasado, el científico de la computación Christopher Langton propuso los AC como modelos abstractos para el estudio de una nueva disciplina: La vida artificial.

4. ¿Es posible una máquina que se manofacture a sí misma o semejante proceso envuelve alguna contradicción lógica? La existencia de vida y su capacidad autoreproductiva responden a esta cuestión: es posible y la prueba somos nosotros mismos. Pero, de entrada, nos parece que la construcción física de tal maquina es impracticable por su complejidad. Muchos contemporáneos de von Neumann estaban interesados en este problema y pretendían acercarse ingenuamente a su solución mediante autómatas mecánicos. Era la época dorada de la cibernética Ejemplos fueron: “La tortuga” de W. Grey Walter. Shannon and his famous electromechanical mouse Theseus (named after Theseus from Greek mythology) which he tried to have solve the maze in one of the first experiments in artificial intelligence.

5. ¿Es posible una máquina que se manofacture a sí misma o semejante proceso envuelve alguna contradicción lógica? Neumann decidió abordar el problema de forma teórica. Por aquel entonces, otro matemático, Stanislaw M. Ulam inventó unos juegos de patrones para computadoras con unas reglas fijas. Los llamaba “objetos geométricos recursivamente definidos”. Y le sugirió a Neumann que construyera “su máquina reproductora en un universo abstracto”. Así Neumann se embarcó en el diseño de un autómata celular autoreproducibledemostrando que no existían contradicciones lógicas; ergo las máquinas autoreproducibles son posibles en nuestro mundo. Otro cantar era construir una físicamente. El logro de Neumann fue considerable: demostró con su máquina abstracta que la autoreproducción es posible lógica y físicamente. A partir de entonces, no sería necesaria una fuerza vital ad hoc. La hazaña de Neumann quedó históricamente ensombrecida: poco después, en 1951, se descubría el ADN. Un golpe definitivo al vitalismo.

6. Autómatas celulares (CellularAutomata - AC) Un AC es un conjunto de celdas (autómatas) conectados entre sí. Piensa en un autómata como si fuera una bombilla: puede encontrarse en tiempo t encendido o apagado. El estado en tiempo t+1 de un autómata particular depende de su estado y del estado de los autómatas en tiempo t conectados con él. Una posible regla de transición de un AC lineal con dos estados (encendido-blanco-1/apagado-negro-0) donde cada autómata está conectado con sus primeros vecinos. La fila de arriba representa las ocho posibles configuraciones en el tiempo t. El autómata del centro adoptará en el tiempo t+1 el estado señalado por la flecha.

8. La clasificación de Wolfram Evolución espacio-temporal de un AC: Un autómata en estado 0 se representa en negro y en estado 1 en blanco. Cada línea horizontal representa los estados de N autómatas en un instante determinado t. Una línea inmediatamente inferior representa los estados en t+1 (el tiempo corre de arriba hacia abajo). Fijada para los N autómatas la misma regla de las 256 posibles obtendremos un patrón dinámico característico. Todos pueden asociarse a uno de los cuatro comportamientos recogidos en la figura y que son característicos de muchos otros sistemas dinámicos. Exhibe un comportamiento complejo. Acaba congelado en un estado global constante. Oscila en un ciclo periódico. • Muestra desorden.

9. Fue C. Langton quien consiguió una primera parametrización. Logró asignar un sencillo parámetro  a cada regla posible y comprobó que, aumentando el valor del parámetro paulatinamente, los sistemas recorrían de la siguiente manera las clases de Wolfram: clase I  clase II  clase III  clase IV. Es decir: homogeneidad  periodicidad  complejidad  desorden. Así, los AC exhiben una transición de fase entre el orden y el desorden. Existe un valor crítico del parámetro de control , alrededor del cual los AC muestran comportamiento complejo, la dinámica de clase III. Lo maravilloso es que ese comportamiento complejo surge de manera espontánea en el punto de transición. Como se demostró posteriormente, en él aparecen las condiciones para la transmisión, modificación y almacenamiento de información: computación emergente. Nada mejor que ir a: “ElementaryCellularAutomaton” en WolframMathworld una extraordinaria enciclopedia de matemáticas http://mathworld.wolfram.com/ElementaryCellularAutomaton.html

10. Los AC se han utilizado con éxito para modelar sistemas tan variopintos como el tráfico rodado, fluidos y gases, manadas de animales, movimientos de grupos humanos en situaciones de pánico, epidemias, etc… Una de sus aplicaciones más populares da cuenta de los patrones en conchas marinas. Atrévete a explorar el mundo de los AC en el CelLab de Rudy Rucker y John Walker. La fascinación que producen los AC proviene de cómo, a partir de la sencillez de sus reglas locales, generan patrones globales emergentes complejos. Hoy los AC constituyen una herramienta básica de simulación. Cualquier sistema de ecuaciones diferenciales puede ser representado como un AC. Y gracias a su forma discreta se adapta perfectamente al discurso de un ordenador. Accede a la página: http://www.fourmilab.ch/cellab/ donde encontrarás explicaciones, software y guía para simular un montón de sistemas físicos.

11. Critical Point Phenomena Ising Model: The importance of Interactions Simplicity Consider the simplest model that reproduces the essential features Universality The model is a general framework for explaining other physical phenomena (f.ex: fluids, social behavior, galaxies)

12. Ising Model Se podría decir que un físico es alguien que no considera evidente que el agua deba hervir o congelarse cuando se eleva o disminuye su temperatura. D. Ruelle, Azar y caos Complexity and Criticality T < Tc T = Tc T > Tc Fractals, 1/f Noise, Scaling Why Macroscopic Complexity? Because the Microscopic Local Interactions

13. Critical Point Phenomena Ferromagnetism Magnetization & Temperature Local Interactions Order Thermal Noise Disorder Phase Transition T = Tc

14. Road Traffic Nagel-Schreckenberg Model (1992) Acceleration: if (v < gap) { v = (vmax, v+1) } Avoid Collisions: if (v > gap) { v = gap } Randomization: if (random() < 0.5) { v = max(v-1, 0) } Movement: x = x + v

15. Road Traffic Maximum Efficiency at the Critical Point Free Phase Congested Phase Maximum flow at critical point “Traffic Management wants to keep a freeway in the regime of maximum flow” Flow us Vehicle Density

16. Road Traffic Complexity & Criticality (Again) System at Critical Density Traffic Jams Emerge as Fractal, Branching Waves They might originate simply from one car slowing down Time These Structures Cannot Be Understood in Terms of Properties of the Vehicles Space

17. Road Traffic Efficiency and Unpredictability Connected by Phase Transition Management Measures May Even Have Consecuences Opposite to Their Intention !

18. Universalidad Algún día tendremos una matemática hecha y derecha, con teoremas y demostraciones, que aclarará, por ejemplo, cuándo la adición de nuevas reglas simplemente complica el cuadro sin añadir nada esencial. M. Gell-Mann, Pléctica

19. Self Organized Criticality and Edge of Chaos Sandpile Model (Per Bak et al, 1987) A Dynamical Theory for Complexity Simplicity: “Grains interact and may cause each other to topple”

20. Complexity • Non-linear interaction among multiple components • Complicated versus complex systems • Irreducible • Local and distributed • Non-deterministic / unpredictable • Emergence / self-organization • Deterministic • Reductionist principle • Dynamic / stochastic • Holistic

21. El juego de la Vida (LIFE) Creado en 1970 por el matemático John HortonConway.

22. LIFE saltó a la fama en una serie de artículos escritos por Martin Gardner en Scientific American. Ruedas, vida y otras diversiones matemáticas. Martin Gardner Ed. Labor 1985.

23. Conway presentó por primera vez LIFE en un libro: “Winning Ways for Your Mathematical Plays”. El libro está estructurado en tres grandes partes: juegos bipersonales, juegos unipersonales y juegos nulipersonales. LIFE pertenece a esta última clase. Jugar con LIFE es como ver televisión (esta última cae dentro de la categoría anulipersonal), una especie de video-arte. Se introducen las condiciones iniciales en el ordenador y uno se sienta cómodamente en su sillón a observar que ocurre. Es una ventana a un universo alternativo.

24. Thegame of Life o simplemente LIFE, se juega sobre un tablero cuadriculado supuestamente infinito. Cada celda que a partir de ahora llamaremos autómatas o células de Vida, puede estar en dos estados: viva (1) o muerta (0). Conway buscó reglas locales sencillas, el estado de una célula dependería de sus vecinas inmediatas, capaces de generar, sin embargo, una dinámica de población de células vivas que fuera, a la vez rica en patrones e impredecible en el tiempo. De hecho, exigió a su juego tres condiciones: (a) que conseguir un crecimiento ilimitado de células no fuera trivial, (b) que existieran configuraciones iniciales que aparentemente crecieran sin límite y (c) que existieran condiciones iniciales sencillas con transitorios considerables antes de acabar en extinción total, patrones congelados o configuraciones cíclicas. Brevemente, se deseaba que el comportamiento de la población, a pesar de la sencillez de las reglas, fuera interesante e impredecible.

25. “Sólo 3 para nacer y 2 o 3 para sobrevivir”. t → t + 1 • Fallecimiento por aislamiento: cada célula viva con una o ninguna vecina viva, muere. (2) Fallecimiento por estrés: cada célula viva con 4 o más vecinas vivas, muere. (3) Nacimiento: si la celda está vacía con exactamente 3 vecinos vivos a su alrededor, nace en su seno un nuevo habitante. (4) Supervivencia: cada célula viva con 2 o 3 vecinas vivas, sigue viva.

26. Cuando Conway creó el juego de la vida pensaba en una metáfora del Universo: ¿Si conociéramos al detalle las reglas que rigen el Universo en todos sus detalles podría seguir pareciéndonos misterioso?

27. En el juego de la vida, una configuración unicelular o bi-celular desaparece al primer paso de tiempo. • The two 4-cell still lifes (naturalezasmuertas) are the block (bloque) • and tub (tina): The unique 5-cell still life is the boat (bote):

28. The five 6-cell still lifes are the snake (serpiente), ship (barco), aircraft carrier (a.k.a carrier), beehive (colmena), and barge (barcaza). • The four 7-cell still lifes are the python, long boat (bote largo), fishhook (anzuelo) (sometimes called the eater – el comedor-), and loaf (hogaza). Puntos fijos

29. Blinker (Intermitente) A period 2 oscillator, both of whose generations have 3 cells. Traffic Light (Semáforo) A period 2 oscillator consisting of 4 blinkers. It is one of the familiar fours. Pentadecathlon A period 15 oscillator found in 1970 by J. H. Conway. Órbitas periódicas

30. Hertz Oscillator A period 8 oscillator found by J. H. Conway's group. Negentropy Cauldron

31. Reduccionismo cartesiano Reductionist science: Reduce the apparent complexity of the world to an underlying simplicity. Physics has for centuries epitomized the success of this approach. Sea una vaca redonda y sin rozamiento. Linealidad vs. no linealidad

32. + + = + Todo = suma de Partes

34. R-Pentomino (matusalenes) A 5-cell methuselah which runs 1103 steps before settling down into 6 gliders, 8 blocks, 4 blinkers, 4 beehives, 1 boat, 1 ship, and 1 loaf. This is by far the most active polyomino with less than six cells; all the others stabilize in at most 10 generations.

35. Pi-Heptomino (Matusalenes) A 7-cell life configuration also known as the blasting cap and house. After 173 generations, it forms 5 blinkers, 6 blocks, and 2 ponds. H sensibilidad a las c. i.

36. Mecanicismo-determinismo-predicción Pierre-Simon Laplace (1749 - 1827) Demonio

37. Átomos/Entropía Probabilidad Mecánica estadística Mecánica cuántica Indeterminación ¿Predicción? Sí

38. Caos determinista Una causa muy pequeña, que se nos escapa, determina un efecto considerable que no podemos prever, y entonces decimos que dicho efecto se debe al azar. H. Poincaré, Ciencia y método (1908) Sensibilidad a las condiciones iniciales (Efecto mariposa). Azar a partir de ecuaciones simples. Orden en el azar. Azar local vs. estabilidad global. ¿Predicción? No Determinismo no es igual a predicción.

39. Ecuación logística: lo simple puede generar complejidad

40. Vídeo-retroalimentación

41. B-Heptomino A methuselah heptomino (7-cell) Life form that stabilizes after 148 generations into three blocks, two gliders, and a ship. Generation 20 of the B-heptomino gives a sideways Herschel plus a block.

42. Glider (deslizador) • The glider was found by J. H. Conway's group in 1970 while • attempting to track the evolution of the R-pentomino. The name • is due in part to the fact that it is glide symmetric. Velocidad de la luz c.

43. Relay An oscillator in which gliders or spaceships travel in a loop. The simplest example is the period 60 one using two pentadecathlons illustrated above. Pulling the pentadecathlons further apart allows any period of the form 60+120n to be achieved. This is the simplest proof of the existence of oscillators of arbitrarily large period. Eater

44. A methuselah that stabilizes at generation 184 into four beehives, four blocks, eight blinkers, and 12 gliders. In early references, this form is usually shown in a larger form whose generation 1 is generation 8 of the form shown here.

45. A spaceship also known as the big fish which travels at c/2, where c is the speed of light, in the direction (2,0). The form therefore repeats with period 4. It was found by J. H. Conway in 1970.

46. Flotilla an overweight spaceship escorted by two heavyweight spaceships. The resulting flotilla travels orthogonally at speed c/2, where c is the speed of light, with direction vector (-2,0).

47. Puffer trains • Any Life pattern that moves like a spaceship but leaves behind a trail of debris. Puffers are also called puffer trains. The first puffer, illustrated above, was discovered by Bill Gosper in 1971. The moving portion travels orthogonally at speed, where c is the speed of light, with period 128.

48. GosperGun Conwayconjeturó que ningún patrón podría crecer ilimitadamente. Ofreció 50 $ por probar o refutar la conjetura antes de 1970. El premio fue ganado en noviembre de 1970 por un equipo del MIT, cuyo cabecilla era R. William Gosper Jr. Se descubrió el cañón lanza-deslizadores. La configuración de la figura crece hasta convertirse en un cañón, que dispara su primer deslizador a t = 40, y repite lanzamientos con periodos de 30 latidos. De esta forma sobre un tablero infinito la población crecería de forma ilimitada.

49. Double-BarrelledGun (B-52 bomber) A gun emitting two streams of spaceships (or rakes). The above diagram shows a double-barrelled period 104 glider gun found by Noam Elkies in March 1996.

50. Suave vs. fractal ¡Que difícil es acercarse a la naturaleza con ingenuidad! Cézanne Costa de Inglaterra (B. Mandelbrot) Autosimilaridad Atractores extraños Fenómenos críticos