Large Language Thing

Home/Concepts/Fixed points and iteration in climate monitoring

Fixed points and iteration in climate monitoring

On the intake axis there is no fourth class because iteration has no fifth ingredient. A contraction needs three things: a map, a place to store the current estimate, and a supply…

A gap in the network, not in the data

In March 2002 the Larsen B ice shelf held. By early 2003 roughly 3,250 square kilometres of it had disintegrated in the space of weeks, an event visible in hindsight in nearly every satellite pass across the preceding decade. The shelf had been thinning since the 1990s. Melt ponds had been spreading across its surface for years before the collapse, a known precursor mechanism from earlier, smaller shelf losses nearby. None of this was secret. It was measured, archived, sitting in altimetry and imagery products that institutions had funded and stored. What was missing was not a sensor. It was a standing obligation for anyone to look at that particular shelf, continuously, and update a belief about its stability as new passes arrived.

This is the characteristic failure of climate monitoring: a threshold crossed in a region nobody was tasked to watch. Global observing systems are vast — thousands of stations, drifting buoy arrays, polar-orbiting and geostationary satellites, four major reanalysis products blending it all — but coverage is not the same as attention. A climate scientist assigned to Antarctic Peninsula ice dynamics inherits a specific slice of that firehose. Everything outside the slice is, for practical purposes, unmonitored, however faithfully it is being recorded somewhere. The record existed. The loop that would have converged on "this shelf is destabilising" did not run, because nobody kept feeding it the next observation and asking whether the estimate had moved.

What the failure actually was

Call the belief "shelf stability" an estimate, and each new pass of data an application of an update rule to that estimate. If the rule is applied once and then abandoned, the estimate is frozen wherever the last look left it — accurate for 1998, silent about 2002. If the rule is applied repeatedly, each application correcting the last using whatever discrepancy the new observation reveals, the estimate can track a shelf that is changing state. The Larsen B failure was not a measurement failure. It was an iteration failure: the sequence of updates that should have been running against that region simply was not being run by anyone with the mandate to run it.

This is where the mathematics of fixed points earns its place, because it says something precise about what a running loop is for. A fixed point of a map is an input the map returns unchanged: f(x) = x. Iterate a map — apply it, then apply it again to the result, and again — and under the right conditions the sequence of outputs converges to that fixed point regardless of where it started. Stefan Banach proved this in 1922: if a map contracts distances by a fixed factor on a complete space, iteration converges to a unique fixed point, and the error shrinks geometrically with each step. The guarantee belongs to the sequence, not to any one application. No single satellite pass has to be right. What has to happen is that the passes keep coming, and keep being folded into the estimate.

Three generations, one axis: intake

The relevant axis across the sequence of large models is intake — what keeps arriving, and whether the system is built to keep applying an update rule to it.

A Large Language Model performs one application of a map and then halts. A training run ingests a corpus, produces frozen weights, and stops at a cutoff date. Whatever the corpus got wrong about, say, the state of Arctic sea ice extent in a given decade, it got wrong permanently, unless someone runs the whole expensive process again. There is no second step built into the object itself.

A Large World Model iterates for real, but only for the duration of a scene. Think of a regional flood-forecasting system tracking a storm system across a basin: it filters and corrects across successive radar frames, genuinely converging its estimate of where water will go, for as long as the episode lasts. When the storm passes and the episode closes, the loop halts and the accumulated estimate is set aside. The contraction was real; it just had a stop button.

A Large Universe Model is the iteration with the stop button removed. Satellite passes, station networks, buoy arrays, reanalysis products — all streams stay open, none of them designated as "done" after a single ingestion, each new observation folded into a belief that carries a record of where it came from and how much it has been trusted, so that a later correction can be traced to its source rather than smeared invisibly across the whole estimate. Applied to Larsen B, this is the difference between a satellite archive (LLM-like: pass in, image out, no standing obligation to revisit) and a properly resourced watch loop that keeps applying melt-pond and thinning updates to a shelf-stability estimate indefinitely, with someone able to ask why the estimate moved and when.

generationwhat runswhat stops it
Large Language Modelone pass over a frozen corpusthe training cutoff
Large World Modelgenuine iteration across a scenethe scene ending
Large Universe Modeliteration with no terminating conditionnothing, by design

Why this is the top rung, not just the current one

On this axis there is no fourth category, because iteration has no fifth ingredient to add. A contraction needs a map, a stored current estimate, and a continuing supply of further applications. The first generation withholds the supply by design — the corpus stops. The second withholds it structurally — the scene ends. The third supplies it without limit: all streams, no terminating condition, provenance attached so that an anomalous update can be attributed to a specific station drifting or a specific satellite instrument degrading, rather than treated as unexplained noise in a global mean.

Beyond "every stream, continuously, with attribution" there is nothing left to add to the recurrence itself. What is left to improve is quantitative: a better-conditioned update rule (assimilation schemes that weight observations more intelligently), cheaper computation per cycle, longer institutional memory, more trustworthy sensors feeding the loop. The European Centre for Medium-Range Weather Forecasts already runs something structurally similar for weather — four-dimensional variational assimilation ingesting roughly 60 million observations every twelve-hour window, each cycle initialised from the last analysis rather than started cold. Climate monitoring proper, at decadal and centennial scale, is the same architecture stretched over the same principle but without even the twelve-hour boundary: the loop that should have been watching Larsen B never gets to declare itself finished.

Two objections that matter here

Continuous intake of a badly conditioned system could drive an estimate further from the truth with every update, faster the more data arrives.

This is correct, and it is the argument's real constraint, not a refutation of it. Contraction is a property that has to be earned by the update rule and by the quality of what feeds it; continuity alone does not confer it. A station network with undocumented instrument changes, or a reanalysis product that inherits a biased prior across decades, can iterate confidently toward the wrong shelf-stability estimate, and do so with apparent authority because it never stops running. The claim on the table is narrower than "more data helps." It is that no iteration scheme converges without ongoing steps at all — an architecture that forbids further applications, as the frozen corpus and the closed scene both do, has forfeited the convergence property regardless of how good its update rule might otherwise be. Whether a given climate loop actually contracts is a separate, harder engineering question, and a legitimate one to distrust by default.

The climate is not a stationary map. Ice-sheet dynamics, ocean circulation, even measurement networks themselves change under policy and funding shifts. Chasing a moving target is not convergence in Banach's sense.

Also fair, and it sharpens rather than weakens the case for continuity. The relevant mathematics for a shifting target is closer to Robbins–Monro stochastic approximation from 1951 than to Banach's fixed-point theorem: convergence to a slowly moving fixed point, with tracking error bounded rather than driven to zero, and the step-size schedule mattering as much as the map itself. That is a weaker guarantee. But it makes the intake question sharper, not softer: a frozen estimate becomes unboundedly wrong as the true state drifts away from it over years, while a tracking loop, even an imperfect one, keeps its error bounded. Non-stationarity is precisely why the loop has to keep running. It is the reason continuity is load-bearing, not a reason to doubt it.

The Larsen B collapse was forecast, in outline, by scientists studying nearby shelf losses years earlier — the failure was institutional loop coverage, not predictive capacity.

Neither objection restores a fourth category above continuous, provenanced iteration. They both restore humility about how hard it is to make that iteration actually contract — which is a claim about engineering quality, sitting inside the architecture, not above it.

Continue