Spotlight #57 – Chaos, Network Theory & Morphogenesis

Wave 60 spans three landmark areas of modern mathematical science. The driven Duffing oscillator demonstrates how a single cubic nonlinearity produces chaotic trajectories and fractal Poincaré sections. Three graph-construction algorithms illuminate why the Internet, social networks and neural circuits all look alike at the topological level. And Alan Turing's 1952 chemical instability theory — realized in the Gray-Scott model — explains how a uniform field of chemicals spontaneously breaks symmetry into spots, stripes and labyrinths.

🌀

Chaos — The Duffing Oscillator

Most mechanical systems are nonlinear: springs stiffen at high amplitude, pendulums slow near vertical equilibrium, and a metal beam under compression has two stable resting positions. The Duffing oscillator captures all of these phenomena in a single equation with a cubic spring term:

ẍ + δẋ + αx + βx³ = γ cos(ωt)

For β > 0 and α < 0 the potential energy V(x) = ½αx² + ¼βx⁴ forms a double well: two stable equilibria at x = ±√(|α|/β) separated by an unstable peak at x = 0. Without forcing (γ=0) the oscillator simply settles into whichever well it starts in. With moderate driving the oscillator can jump between wells unpredictably — the hallmark of chaos.

Period doubling and the road to chaos

As forcing amplitude γ increases from zero, the response passes through a period-doubling cascade: period-1 → period-2 → period-4 → period-8 → … → chaos, at successive parameter values following the Feigenbaum ratio δ ≈ 4.669. This same cascade appears in any smooth unimodal map and was one of the first quantitative bridges between different chaotic systems.

Reading Poincaré sections

A Poincaré section samples the phase-space state (x, ẋ) at a fixed phase of the forcing, reducing a 3D continuous flow to a 2D map.

In the simulation you can watch the Poincaré section evolve in real time. Try increasing γ from 0.28 (two dots) to 0.38 (four dots) to 0.50 (chaotic cloud) to track the period-doubling cascade directly.

"The classification of nonlinear oscillators by their Poincaré maps is not a mathematical abstraction — it is the engineering blueprint for why rotating machinery, ocean waves and plasma confinement systems all have unpredictable regimes at high drive amplitude." — Holmes & Rand (1976)

Explore in the library:

🌀 Duffing Oscillator 🌿 Bifurcation Diagram 🎲 Chaos Game ⚖️ Double Pendulum
🌐

Network Science — Three Models of Topology

By the 1990s it had become clear that many real-world networks — the Internet's router graph, protein interaction networks, co-authorship graphs, power grids — shared two striking properties: they had very short average path lengths (everyone is within "six degrees of separation") and very high local clustering (your friends tend to know each other). Classical random graphs had short paths but low clustering; regular lattices had high clustering but long paths. Albert-László Barabási and Réka Albert (1999) and Duncan Watts and Steven Strogatz (1998) each found a different piece of the puzzle.

Erdős–Rényi G(N,p) — the random baseline

The simplest model: each of the N(N−1)/2 possible edges is included independently with probability p. The degree distribution is binomial (Poisson-like for large N). A percolation phase transition occurs at the critical probability p_c = 1/N: below it, all components are small (O(log N)); above it, a single "giant component" of size O(N) appears abruptly. The Erdős–Rényi model predicts Poisson degree distributions — but real networks have many more high-degree hubs than this.

Barabási–Albert — preferential attachment and power laws

The BA model grows a network by adding nodes one at a time. Each new node attaches m edges to existing nodes, but not randomly: the probability of connecting to node i is proportional to its current degree k_i ("rich get richer"). This preferential attachment mechanism produces a scale-free degree distribution P(k) ~ k^−3, with a long power-law tail: a small number of very high-degree hubs (like Google or major airports) coexist with the majority of low-degree nodes. Scale-free networks are fault-tolerant (random failures rarely hit hubs) but fragile to targeted attacks on hubs.

Watts–Strogatz — the small-world regime

Starting from a regular ring lattice — each node connected to its k nearest neighbours — each edge is rewired to a random target with probability β.

"It is possible for a highly clustered graph to also have short characteristic path lengths. You simply need a few random long-range shortcuts." — Watts & Strogatz (1998)

Explore in the library:

🌐 Network Science 🐜 Ant Colony 🐦 Birds Flock 🚌 Bus Bunching
🔬

Morphogenesis — Turing's Chemical Patterns

In 1952, the same Alan Turing who cracked the Enigma code and founded computer science published what he considered his most important paper: "The Chemical Basis of Morphogenesis". The central question: how does a spherically symmetric fertilized egg become an asymmetric organism with distinct organs, a body axis, and surface patterns? Turing's answer was counterintuitive — diffusion can cause instability.

The Turing instability

Consider two chemicals mixing in a uniform medium. Normally diffusion smooths out any concentration gradient — it is a stabilizing force. Turing showed that if one chemical (activator) catalyzes its own production and the other (inhibitor) is both produced by the activator and diffuses faster, a homogeneous equilibrium becomes unstable to small spatial fluctuations. These fluctuations grow and saturate into patchy, periodic patterns — spots, stripes, hexagonal arrays — determined entirely by the ratio D_inhibitor / D_activator and the reaction kinetics.

No genetic program specifies "spot at position (x,y)". The pattern self-organizes from random noise through a physics instability. This is one of the most profound examples of spontaneous symmetry breaking in biology.

Gray-Scott dynamics and the (F, k) map

The Gray-Scott model is a clean realization of the Turing instability:

∂U/∂t = Dᵤ∇²U  −  UV²  +  F(1 − U)
∂V/∂t = Dᵥ∇²V  +  UV²  −  (F + k)V

The (F, k) parameter plane contains a rich atlas of pattern types, experimentally mapped by Pearson (1993). Five of the most striking regimes are available as presets:

Experimental and biological evidence

The Turing mechanism was controversial for 50 years because the specific morphogens weren't known. Evidence accumulated from the 1990s onward:

"We suggest that the intrinsic capacity of cells to interact and produce stable patterns may underlie many of the large-scale features of biological form." — Turing (1952)

Explore in the library:

🔬 Turing Diffusion ⬛ Cellular Automata 🌀 Belousov-Zhabotinsky 🌿 Barnsley Fern

Connecting the Three Themes

Duffing oscillators, scale-free networks, and Turing patterns appear to belong to completely different fields. But at a structural level, all three involve the same conceptual move:

This structural universality — that the same mathematical fingerprints appear in vibrating machines, internet topology and embryo development — is the central discovery of complex systems science over the past 60 years.

← Spotlight #56 — Chaos, Ecology & Neuroscience All posts →