Turn the MPIPKS visualization collection into experiments. Change an initial condition, follow the evolution, and compare the image with the mathematical model.
Six laboratories covering all project families on the supplied page, including its Sinai download and standard-map example. Standalone HTML · generated locally · no installation. Numeric edits apply on Enter or when you leave the field.
One reflection rule, several kinds of motion
Click either table to choose the common starting position. Compare nearby trajectories at the same physical time.
EXACT COLLISION EVENTS
—Physical time
—Reference collisions
—Speed² error from 1
—Longest run of cap impacts
Table geometry and magnetic field
Specular reflection and conservation
v⁺ = v⁻ − 2(v⁻·n)n.
At a smooth wall, the tangential component stays unchanged and the normal component reverses. Speed is conserved. Corners are singular, so a corner hit stops the experiment.
Without a field, flight is linear. With a perpendicular magnetic field, v̇=ΩJv and the flight radius is |v|/|Ω|. Circular arcs and their intersections with the walls are computed analytically. Ω=0 recovers straight flight.
Regular regions, sensitivity, and residence
In the radius-one semicircular cap, trajectories whose angular-momentum magnitude exceeds the opening half-width cannot enter the foot. Other seeds can visit it. The boundary preset starts close to this geometric threshold; long visits do not by themselves prove a statistical power law.
The Sinai heatmap samples positions at uniform physical-time intervals. It is an empirical occupation measure, not a proof of ergodicity. A finite separation curve is likewise not an asymptotic Lyapunov exponent.
Click the square to launch an orbit. The gray background is a fixed collection of reference trajectories.
KICK → DRIFT → REPEAT
Intermittency as a question to investigate
Change K or move a seed close to an island boundary. Look for long intervals of apparently regular motion followed by excursions. Use the return gaps to formulate a hypothesis, then increase the sample size. A short orbit cannot establish a tail exponent or distinguish a very long transient from an invariant curve.
Checkpoint: why is this map invertible?
From (q′,p′), recover q=q′−p′ and then p=p′−K sin q, both modulo 2π. The kick and drift are individually invertible shears.
Switch between a reciprocal three-body model and a massless asteroid moving among circular primaries.
NEWTONIAN DYNAMICS
Edit the rotating-frame initial state
Unit Sun mass and Earth–Sun distance; G=1. Earth mass 3.003×10⁻⁶; Moon mass 3.694×10⁻⁸; lunar separation 0.00257. All three bodies affect each other.
—Dimensionless time
—Monitored invariant
—Relative invariant error
—Asteroid separation
Projected solar overlap
The inset uses approximate physical Sun and Moon radii. Orbital inclination, Earth rotation, observer latitude, and ephemerides are absent, so it does not predict real eclipses.
Mutual gravitation
r̈ᵢ = Σj≠i mⱼ(rⱼ−rᵢ)/|rⱼ−rᵢ|³.
The Sun–Earth–Moon simulation uses velocity Verlet. Total energy should have small bounded numerical error over resolved orbits. Try halving the time step. An Earth-centered plot subtracts the Earth position at each recorded instant.
The circular restricted problem
ẍ−2ẏ = ∂ₓU, ÿ+2ẋ = ∂ᵧU U = ½(x²+y²)+(1−μ)/r₁+μ/r₂ C = 2U−(ẋ²+ẏ²).
Primary separation and angular speed are one; their masses are 1−μ and μ. RK4 integrates the rotating coordinates. L₄ is linearly stable only if μ(1−μ)<1/27. The six presets are newly specified initial states, not recovered parameters from the old desktop program.
Each map pixel launches a ray into the chamber between four spheres. Click a pixel to inspect its path, then zoom around it.
EXACT RAY–SPHERE INTERSECTIONS
Exit map at the entrance face
Exit 0: charcoal · exit 1: blue · exit 2: teal · exit 3: rust. Light gray is unresolved at the reflection limit, not an exit basin.
Selected ray in the mirror chamber
Sphere surfaces are shown as transparent wireframes so interior reflections remain visible.
—Selected ray reflections
—Selected exit face
—Incident tilt
Map coordinates and scene rotation
Escape basins
The four unit spheres have centers at alternating corners of a cube, scaled to form a regular tetrahedron. At separation 2 they touch. The central chamber is bounded by the four face planes; a ray terminates at its first outward face crossing.
Ray–sphere quadratic equations determine the next collision. The reflection preserves the ray’s speed. This is the same local law as in the two-dimensional billiards.
Resolution is part of the experiment
Increase the reflection limit and zoom into a boundary. Long-lived rays may reveal additional structure. Unresolved rays retain a separate color; they are not silently assigned to an exit.
A finite image can suggest complicated basin boundaries but cannot establish their dimension or the Wada property. The view uses parallel incident rays; its geometry and sampling are explicit rather than reproducing an undocumented historical camera.
Compare fourfold and sixfold anisotropy with weakly directional growth. Switch between the solid fraction and the released heat.
PHASE-FIELD APPROXIMATION
The source uses a sharp-interface solidification model. This recreation offers an anisotropic, heat-coupled phase-field model in the spirit of Kobayashi, plus a diffusion-limited aggregation limit for irregular branching. It reproduces the modeling themes; it is not the original solver or a quantitative replication of its movies.
—Dimensionless time
—Update count
—Mean solid fraction
—Enthalpy drift (phase field)
Material and initial-condition parameters (changes reset the nucleus)
Transport, phase change, and symmetry
Let φ≈1 denote solid and φ≈0 liquid. With θ=arg ∇φ and ε(θ)=W[1+δ cos(mθ)], define
Here J(a,b)=(−b,a), η is seeded interface noise, W=0.5, D=0.4, L=1.8. Anisotropy enters the interfacial energy, not a decorative color filter.
What the computation establishes
Face fluxes and explicit time steps advance the 144² grid with zero-flux boundaries. Therefore the mean of T−Lφ is conserved up to roundoff. The displayed drift tests this heat balance, not convergence of the spatial approximation.
The interface spans only a few cells. Grid bias and this coarse interface width affect morphology. The low-anisotropy phase-field model may remain compact. The separate aggregation preset illustrates irregular diffusion-limited branching without solving a temperature field. Side branches depend on perturbations and available growth time. Continue growing or vary the seed.
The time step is 0.1. Sixfold anisotropy is capped at 0.027 to keep ε+ε″ positive; fourfold is capped at 0.06.
An irregular-growth limit
In diffusion-limited aggregation, seeded random walkers approach a cluster and stick on first nearest-neighbor contact. Exposed tips intercept more walkers than shielded interior sites. Launch and kill circles keep the finite computation tractable; the run stops before the cluster reaches the boundary.
This stochastic lattice model provides an irregular branching comparison to the deterministic transport equations. It is not a quantitative reconstruction of the source’s seaweed movie. Update count is not physical time, and no heat-balance diagnostic applies.
The two panels use the same cat map and image. Only the within-pixel sample coordinates differ.
EXACT INTEGER ARITHMETIC
—Current iterate
—Coarse-grid map period
—Fine-lattice map period
The map and its exact finite-grid return
(x′,y′) = (x+y, x+2y) mod 1.
The matrix A has determinant one and eigenvalues (3±√5)/2. On an N×N rational grid, A acts as a permutation. Its order is the smallest positive T with Aᵀ=I modulo N. For the power-of-two resolutions here, T=3N/4; N=256 gives 192.
Each output pixel is colored by following A⁻ⁿ back into the original image. Exact modular matrix powers allow a jump directly to the grid return.
Why jitter changes the apparent recurrence
The second panel fixes one pseudorandom point inside each pixel on a lattice with denominator 65,536N. These coordinates are still rational. The lattice has a much longer exact map period, and individual points can have shorter periods.
Pixel-color matches can occur without coordinate recurrence; both are reported. No independent randomness is added during the evolution. This avoids presenting finite computer arithmetic as genuinely irrational initial data.
Poincaré recurrence requires an invariant finite measure. It gives an almost-everywhere return statement, not the short global image period of a finite permutation or a universal numerical waiting-time estimate.
Six editable initial states and nearby-orbit comparison
Circular restricted three-body problem
3D billiard / chaotic scattering
Exit basins, ray paths, zoom, reflection limit
Four equal spheres on a regular tetrahedron
Crystal growth
Fourfold, sixfold, basal-arm, and irregular-growth presets
Phase-field model plus stochastic aggregation limit
Poincaré recurrence
Image scrambling on grid and jittered coordinates
Exact modular arithmetic; no floating-point recurrence artifact
This is an independent teaching recreation, with new code and generated drawings. It is not an official MPIPKS product or a pixel-for-pixel port. The historical desktop archives were unavailable during this build. The crystal solver, celestial presets, and scattering camera are explicitly specified alternatives.
What numerical pictures can tell us
Use a visualization to identify a pattern, formulate a conjecture, and design a discriminating comparison. Conservation errors, resolution changes, event handling, and arithmetic choices determine whether the image supports that interpretation.
Chaos, ergodicity, fractal dimension, and asymptotic recurrence are mathematical properties. They are not established by one long-looking trajectory. Here the conservation diagnostics and explicit models make those questions visible.
Use it in the course or studio
Begin with a parameter or initial-condition change. State what should remain invariant, run both cases, and explain the disagreement if the numerical picture differs from the prediction.
Every laboratory exports a PNG with parameters. The cat-map panel can transform an uploaded image locally. Crystal and scattering experiments can generate compositions while retaining an explanation of how the structure arose.
The app has no external scripts or downloaded models. Paper links need internet; all experiments run locally. Simulations pause when you change tabs.
L. Bunimovich (2001), Mushrooms and other billiards with divided phase space, Chaos 11, 802. E. G. Altmann, A. E. Motter & H. Kantz (2005), Stickiness in mushroom billiards.
D. Sweet, E. Ott & J. A. Yorke, Topology in Chaotic Scattering, the reference named by the MPIPKS four-sphere page. This app traces the specified geometry; finite escape images do not prove topological basin properties.
F. J. Dyson & H. Falk (1992), Period of a discrete cat mapping, American Mathematical Monthly 99, 603–614. The app reports a modular matrix order and distinguishes it from a generic continuum recurrence time.
Implementation and computational limits
Billiards: exact line/arc intersections, unit speed, finite stored trail, equal-time comparison. Singular corners stop the orbit. Magnetic tangent collisions may be ill-conditioned.
Standard map: deterministic double-precision iteration, 60 reference seeds × 500 iterations, at most 20,000 selected points displayed. Three-body models: velocity Verlet or RK4 with a selectable step; close encounters stop before the chosen resolution becomes inadequate.
Scattering: rays stop on exit, at the reflection cap, or outside the entrance. Rendering is divided into rows so controls remain responsive. The image resolution and reflection cap are independent parameters.
Crystal: explicit face-flux phase and heat updates on 144² cells, Δt=0.1, finite interface width, pseudorandom noise, no-flux boundaries. The heat-balance diagnostic does not remove grid effects. The aggregation option uses seeded four-neighbor random walks with finite launch/kill circles and a boundary stop. No sharp-interface convergence claim is made.
Recurrence: selected resolutions are powers of two. All modular coordinates and matrix products stay below JavaScript’s exact-integer limit. Image colors may recur sooner than sample coordinates. Uploaded images are processed in the browser.
The source’s Xmgrace and image-conversion pages describe animation workflows rather than additional dynamical systems. External resource directories are not recursively copied into this collection.