Method note

Two Conservation Laws, and Why Only One of Them Is Being Enforced

Adrian Dunkley | 15 September 2026 | 16 min read

At 50 km grid spacing there is no land in the Lesser Antilles. Every island in the chain is ocean to the model. This note sets out the conservation law I think is missing from physics-constrained downscaling, the decomposition geometry that makes it enforceable, and the experiment that would show I am wrong.

Between 12 and 20 degrees north and 64 and 56 degrees west, a climate model at CORDEX resolution contains no land grid point. Antigua, Dominica, Saint Lucia, Barbados, Grenada, Saint Vincent: all sea. The nearest land the model knows about is roughly 500 km away, in Puerto Rico or on the Venezuelan coast. Cantet, Déqué, Palany and Maridet stated this plainly in Tellus A in 2014, and it is still the cleanest one-sentence account of the problem I work on.

Jamaica does better. The island is big enough to occupy four to six cells at that spacing, depending on where the lattice happens to fall. It keeps its existence and loses its shape. Blue Mountain Peak reaches 2,256 m; a 50 km cell holds the average of everything inside it, which along the line of the trade winds comes to about 851 m. The mountain survives as a bump.

That matters because the shape is the climate. The north-eastern slopes of the Blue Mountains take 3,000 to 5,000 mm of rain a year. The southern coastal plains of St Catherine and Clarendon take under 1,500 mm. Twenty kilometres apart, a factor of three to four in annual rainfall, both inside the same model cell and both replaced by the same number.

Grid resolution and a small islandThree panels showing Jamaica under a 50 km climate-model grid, a 6.3 km km-scale grid, and a 1 km field. At 50 km six cells are more than half land and four more contain the island but count as ocean, and its rainfall gradient disappears; at 1 km the four-to-one gradient between the north-eastern mountain slopes and the southern coastal plains is resolved.What grid spacing does to an islandJamaica, 10,991 km². Same island, three grids. Coastline simplified; rainfall field is a schematic (see caption).A50 km · CORDEX class56%76%71%65%57%52%50 km6 cells are more than half land. 4 contain the island but count as ocean.B6.3 km · km-scale global50 kmAbout 280 land cells. The main ranges appear, the valleys do not.C1 km · what decisions need50 kmAbout 11,000 land cells. The 4:1 rainfall gradient is resolved.3,000–5,000 mmunder 1,500 mm2,256 m850annual rainfall (mm)5,200counted as land (≥50% land)counted as ocean
Figure 1. Jamaica under three grids. At the 50 km spacing typical of CORDEX-class regional projections, six cells are more than half land and four more contain the island but are counted as ocean. Further east the same spacing is worse: between 12–20°N and 64–56°W there is no land grid point at all, so every island in the Lesser Antilles is sea to the model, and the nearest land is roughly 500 km away in Puerto Rico and Venezuela (Cantet, Déqué, Palany and Maridet, Tellus A, 2014). Panel C paints a rainfall field built from an orographic relation and scaled to the published climatology, which puts 3,000–5,000 mm a year on the north-eastern Blue Mountain slopes and under 1,500 mm on the southern coastal plains of St Catherine and Clarendon (State of the Jamaican Climate, Climate Studies Group Mona). It is a schematic, not model output.

The dynamical route does not close this gap

The standard answer is to nest a regional model inside the global one and run it at 4 km or better. It works. A 4 km convection-permitting simulation over Puerto Rico added value over its ERA5 forcing in up to 84.0 per cent of grid cells, which is a real result, and the authors were straightforward that the remaining errors were still large.

The obstacle is arithmetic. Halving the grid spacing quarters the cell area, so the cell count goes as the inverse square. A dynamical model also has to shorten its timestep to keep the Courant condition, Δt ≤ Δx/c, or the numerics come apart. So the step count goes as the inverse first power on top of that, and with vertical refinement the exponent reaches four.

Going from 50 km to 1 km is therefore a factor of 125,000 in two dimensions, or 6.25 million in three. That is the whole reason AI emulation exists as a field. It is also why a Caribbean meteorological service cannot simply buy its way to kilometre-scale projections: the ensembles needed to sample uncertainty multiply the figure again.

Cost against grid spacingA log-log plot of relative cost against grid spacing. A dynamical model must refine the timestep as it refines the grid to keep the Courant condition, so its cost grows as the inverse cube of grid spacing in two dimensions and the inverse fourth power in three. Going from 50 km to 1 km is a factor of 125,000 in two dimensions. A decomposed emulator pays a fixed forward pass per subdomain, so its cost grows with the number of subdomains, which is the inverse square of grid spacing, and the subdomains run in parallel.Why the dynamical route stops before it reaches the kilometreRelative cost, normalised to 1 at 50 km. Log scales on both axes.110102103104105106107relative cost502512.56.25421grid spacing (km)6,250,000×125,000×2,500×1× wall-clock50× cheaper than the 2D dynamical route at 1 kmdynamical model, 3D + CFL ∝ Δx⁻⁴dynamical model, 2D + CFL ∝ Δx⁻³emulator, total work ∝ Δx⁻²emulator, wall-clock with bricks in parallelWhy the exponent is not 2Halving the grid spacing quarters the cellarea, so cell count goes as Δx⁻².A dynamical model must also shorten thetimestep to keep the Courant condition Δt ≤ Δx / cso the step count goes as Δx⁻¹ as well.With vertical refinement it is Δx⁻⁴.An emulator has no timestep to shorten.Its total work still grows as Δx⁻², but thebricks do not wait for each other, so thewall-clock is set by how many you runat once.Compute stops being a ceiling andbecomes a line item.Scaling exponents only. Absolute wall-clock and cost depend on the backbone, the hardware and the data pipeline, and are reported per configuration.
Figure 2. Why the dynamical route stops short of the kilometre. A dynamical model has to shorten its timestep as it refines its grid, to keep Δt ≤ Δx/c, so its cost grows faster than the cell count. Going from 50 km to 1 km is a factor of 125,000 in two dimensions and 6.25 million once the vertical is refined too. An emulator has no timestep to shorten: its total work grows with the cell count alone, and the subdomains do not wait for each other, so wall-clock is set by how many you can run at once. Scaling exponents only. Absolute cost depends on the backbone, the hardware and the data pipeline, and belongs in a results table.

What the mechanism actually is

Before arguing about model architecture it is worth being concrete about the physics a coarse cell is throwing away, because the physics is simple and the loss is large.

Take a parcel of air leaving the sea on Jamaica's north-eastern coast at 28 °C with a dewpoint of 24 °C. The trade wind pushes it up the slope. It cools at the dry adiabatic rate, 9.8 K per kilometre, until temperature and dewpoint meet. Using the usual rule of thumb, 125 m for every kelvin of dewpoint depression, that happens at 500 m. From there it is saturated and cools more slowly, around 5 K per kilometre in air this warm, reaching about 14.3 °C at the 2,256 m summit.

The mixing ratio falls from 19.0 to 13.3 grams per kilogram over that ascent. The difference, 5.6 grams per kilogram of air, is what falls out as rain on the windward slope. The parcel that comes down the other side has been wrung out, so it warms at the dry rate all the way down and arrives on the leeward plain near 36 °C. That is the rain shadow, and it is why Kingston and the St Elizabeth plains are dry while Portland is the wettest parish in the country.

Orographic rainfall across the Blue MountainsA 64 km cross-section along the trade-wind flow through Blue Mountain Peak. Air rises over the John Crow and Blue Mountain ranges, saturates at 500 m, cools at the saturated lapse rate to 14 degrees at the 2,256 m summit, sheds 5.6 grams of water per kilogram of air, then descends and warms at the dry rate. One 50 km cell replaces the whole profile with a single mean elevation of 851 m and a single mean rainfall.The mechanism a 50 km cell cannot holdCross-section along the trade-wind flow through Blue Mountain Peak, Jamaica. Idealised single-parcel trajectory.05001,0001,5002,0002,500metres0102030405060distance along flow (km)lifting condensation level, 500 mone 50 km cell sees mean elevation 851 mtrade wind from ENEsea level: T 28 °C, dewpoint 24 °Cdry ascentΓd 9.8 K/kmsaturated ascent, Γs ≈ 5 K/kmmixing ratio 19.0 → 13.3 g/kg, so 5.6 g/kg rains outdry descent, Γd 9.8 K/kmnothing left to condense, so the lee runs dryJohn Crow MtnsBlue Mountainssummit 2,256 m · 14.3 °Cleeward plain · 35.9 °CSchematic rainfall along the same transect, scaled to the published climatology2,5005,0000mm/yrcell mean 3,096 mmlee 850 mm, 3.6 times below the cell mean
Figure 3. A section along the trade-wind flow through Blue Mountain Peak. A parcel leaving the sea at 28 °C with a dewpoint of 24 °C saturates at 500 m, cools at about 5 K per kilometre to 14.3 °C at the 2,256 m summit, and sheds 5.6 grams of water per kilogram of air on the way up. Descending the far side it warms at the dry rate and reaches the leeward plain near 36 °C. One 50 km cell replaces that whole profile with a mean elevation of 851 m and a single rainfall number 3.6 times what the leeward plain actually gets. Saturation vapour pressure from Bolton (1980); the rainfall strip uses the same schematic field. A real parcel is a blend of air that crossed the summit and air that went around it, so the problem needs three dimensions.

A 50 km cell cannot hold any of this. It has one elevation, so it has one lapse-rate path. The ascent, the condensation, the descent and the drying all happen inside a single number.

What emulation got right, and the assumption underneath it

Generative downscaling models have become good. The most interesting recent development is that people started enforcing physics on them instead of hoping the network would learn it. The constraint that has been used, and it works, is that the coarsened prediction should equal the coarse input:

𝒞[x̂HR]ij = xLRij

where 𝒞 is the area-weighted coarsening operator. Enforce that as a soft penalty, handle the gradient conflict properly, and both physical consistency and out-of-region generalisation improve. Reported gains include conservation error down by about 40 per cent in-domain and a halving of the precipitation wet bias when the model is moved to a region it was not trained on.

There is an assumption underneath it, and the authors who introduced the constraint said so themselves. The relation holds by construction in a controlled experiment, because the coarse input was made by coarsening the fine data. In operational downscaling the coarse field comes from an independent global model with its own dynamics and its own biases. Enforcing the constraint then drags the fine field towards a biased mean.

This is not hypothetical for the Caribbean. CMIP-class models carry well-documented precipitation biases over this basin, tied to sea-surface temperature errors in the tropical North Atlantic. A constraint that binds my kilometre-scale output to that coarse mean makes the model more confidently wrong, and it does so in a way that looks like better physics on every diagnostic I would normally run.

The second axis

The cross-scale constraint is vertical. It ties the fine field to the coarse field, cell by cell, across scales. It says nothing whatsoever about lateral exchange.

A predicted field can satisfy it exactly at every coarse cell while carrying arbitrary flux discontinuities across interior faces, because a cell mean is preserved regardless of how mass moves inside or between cells. The second law, the one I want to enforce, is that the flux of a conserved quantity leaving subdomain b across face f equals the flux entering the neighbouring subdomain b′ across the same face, at every timestep:

ℱb→b′(f, t) + ℱb′→b(f, t) = 0

The two properties are independent. Neither implies the other. The figure below constructs the case: two adjacent subdomains whose cell means are exactly right, and whose face fluxes disagree by 2.0 kg m−2 s−1. Mass is created at the face, the cross-scale diagnostic reads clean, and nothing in the current toolkit notices.

Cross-scale and lateral conservationThree panels. The first shows the cross-scale constraint, which binds the coarsened fine field to the coarse input. The second shows the lateral constraint, which binds the flux leaving one subdomain to the flux entering its neighbour across the shared face. The third shows a field that satisfies the first exactly while violating the second, which is why the two properties are independent, so enforcing one says nothing about the other.Two conservation laws, and only one of them is being enforcedThe constraint in current physics-constrained downscaling is vertical. The one dLEGOS adds is horizontal.ACross-scale (vertical)10.0coarse driver xᴸᴿ𝒞 coarsening12987141110910fine field x̂ᴴᴿ, mean 10.0𝒞[x̂ᴴᴿ]ᵢⱼ = xᴸᴿᵢⱼHolds by construction when the coarse field is madeby coarsening the fine one. Fails when the driver isan independent model carrying its own bias.BLateral (horizontal)brick bbrick b′face fℱₑₑℱ b→b′ℱ b′→bℱ b→b′(f,t) + ℱ b′→b(f,t) = 0What leaves one brick through a face enters the nextthrough the same face. The constraint binds the finefield to itself, so no driver bias enters it.CA field that satisfies A and breaks B1288128121283.05.0both bricks average 10.0, so 𝒞[x̂] = xᴸᴿ exactlyinterface residual 2.0 kg m⁻² s⁻¹mass is created at the face and nothing detects itIndependent constraints, not nested ones.Enforcing the vertical one says nothing at all aboutthe horizontal one, and the converse also holds.
Figure 4. Two conservation laws. Cross-scale conservation binds the coarsened fine field to the coarse input, cell by cell. Lateral conservation binds the flux leaving one subdomain to the flux entering its neighbour across the shared face. Panel C constructs a field that satisfies the first exactly while violating the second by 2.0 kg m−2 s−1, which is what it means to say the two are independent.

The reason I care about this beyond tidiness is the biased-driver problem above. Lateral conservation constrains the fine field against itself. It is a statement about internal consistency, not about agreement with an external driver. A field can be laterally conservative and still correct a biased large-scale mean. That is the operating regime a Caribbean forecast has to survive.

Where the faces go

Decomposing a domain into subdomains is old. Extended physics-informed neural networks did it with explicit interface conditions; finite basis PINNs replaced those conditions with overlapping subdomains whose summed solutions are continuous by construction. Tiled super-resolution has been used for downscaling, and the result there is worth knowing: a tiled transformer and an overlapping-patch transformer over Iberia had identical root-mean-square error to two decimal places. Overlap removed the seam artefacts and recovered none of the skill.

What nobody has varied is the geometry. Every decomposed method in this literature partitions on a regular lattice, for the same reason every image model does, which is that tensors are rectangular. The subdomain boundaries have never been allowed to follow the physical topology.

Here is the argument for why that should matter, and it has to be an argument, because the claim on its own is worth nothing. The interface constraint acts on faces. Face placement therefore decides where the strongest physical constraint in the model does its work. A face placed along a ridge line separates two air masses with genuinely different dynamics, and the constraint is describing a real discontinuity. A face placed arbitrarily across a windward slope cuts a single coherent orographic process in half and forces the model to reconstruct it through a penalty term. Same constraint, different physics, decided entirely by where the line was drawn.

Regular tiling against terrain-aligned decompositionTwo maps of Jamaica. On the left a regular eight-tile grid, whose faces cut straight across the Blue Mountain ridge and split single orographic processes in two. On the right the same number of subdomains, with faces placed along ridge crests and watershed divides, so each face separates air masses that are genuinely different.Where you draw the faces decides what the constraint is doingSame subdomain count, same overlap width, same model. Only the geometry changes.ARegular tiling50 kmBTerrain-aligned (dLEGOS)50 kmface cuts the ridgeface sits on the ridgesubdomain faceoverlap bandelevation02,256 mA face across a windward slope splits one orographic process in half and makes the model reconstruct it through a penalty term.A face on the crest separates two air masses that really are different, so the same constraint is doing physical work.
Figure 5. Face placement. The same island, the same number of subdomains, the same overlap width. On the left the faces sit where a regular lattice puts them and cut across the Blue Mountain ridge. On the right they follow crest lines and drainage divides. The interface penalty acts on faces, so where the faces go decides where the strongest physical constraint in the model is doing its work. Whether this is worth the extra machinery is an open question, and the experiment is built so that it can come back flat.

What the output is actually for

A kilometre-scale wind and rainfall field is an input, not an answer. The reason for wanting it is that at that resolution you can put it into a three-dimensional scene and ask what happens to a specific place.

Two relations do most of the work. Wind load is dynamic pressure, q = ½ρV², multiplied by a pressure coefficient that depends on where you are on the building. Because it goes as the square of speed, a 20 per cent error in the predicted wind is a 44 per cent error in the predicted load. And the wind over terrain is not the wind on the plain: the standard topographic speed-up for a ridge of moderate slope raises the crest wind by around 40 per cent, which doubles the load on anything standing there.

Water is routed with equally old arithmetic. Peak discharge from the rational method, channel velocity from Manning. For a 4 km² catchment under 80 mm of rain an hour, that is 62 m³ s−1 moving at 5.3 m s−1, which gives a settlement 2.8 km downstream about nine minutes.

A three-kilometre scene rendered from the governing relationsAn isometric view of a ridge and a coastal settlement. Wind vectors accelerate over the crest according to the standard topographic speed-up, so buildings on the ridge carry about twice the load of buildings on the plain in the same storm. The gully is routed with Manning's equation and the rational method, giving a nine-minute travel time from the crest to the settlement, and the floodplain is inundated to the computed water surface.Where a downscaled field becomes a damage estimateA 3 km × 3 km scene. Every number below is computed from the relation printed beside it, at V₀ = 45 m s⁻¹ upstream and 80 mm h⁻¹ of rain on a 4 km² catchment. Vertical scale exaggerated about 8×.ridge crestV = 64 m/s, q = 2.38 kPacoastal plainV = 46 m/s, q = 1.22 kPasame storm, 2.0× the load on the crestgullyQ = C i A = 62 m³ s⁻¹v = (1/n) R²ᐟ³ S¹ᐟ² = 5.3 m s⁻¹2.8 km of channel, so about9 minutes of warning belowLoad relative to a building on the plainunder 1.4× · light exposure1.4 to 2.2× · moderate exposureover 2.2× · severe exposureExposure ratios, not fragility curves. A fragility model needs the local building stock.What the scene is forA 50 km cell gives one wind speed and one rainfall for this whole view.At 1 km the crest and the plain separate, and so do their loads.The gully then tells you how long the settlement below has, in minutes.That is the difference between a forecast and an instruction.
Figure 6. A three-kilometre scene, rendered from the relations printed on it. Topographic speed-up puts 64 m s−1 on the ridge crest where the plain sees 46 m s−1, so a house on the crest carries twice the load of an identical house below it in the same storm. The gully carries 62 m³ s−1 under 80 mm of rain an hour on a 4 km² catchment and moves it at 5.3 m s−1, which leaves the settlement below about nine minutes. The colours are exposure ratios. Turning them into expected damage needs a fragility model fitted to the local building stock, and that is separate work that has not been done.

Nine minutes is a number a district officer can act on. A basin-wide rainfall anomaly is not. The whole case for sub-kilometre emulation rests on that difference, and on being able to run it often enough and cheaply enough that the answer is available before the event.

The experiment, and the result that would kill it

The claim is testable, which is the only thing that makes it worth making. The design is a bias sweep: inject a bias of known magnitude and sign into the driving field, then measure how conservation error and probabilistic skill degrade under each constraint separately and under both together.

If the cross-scale arm degrades with driver bias and the lateral arm stays flat, the distinction has operational value. If both degrade together, the lateral constraint inherits driver bias after all and the central claim is wrong.

Pre-registered prediction for the bias sweepA schematic plot of conservation error against an injected bias in the driving model. The cross-scale constraint is predicted to degrade roughly in proportion to the driver bias, because it binds the fine field to the coarse field. The lateral constraint is predicted to stay flat, because it binds the fine field to itself. The plot carries no data. It states what the experiment is expected to show and what result would refute it.The claim, and the result that would kill itThis figure contains no measurements. It is the hypothesis, drawn before the runs, so it can be checked against them later.PREDICTION · NO DATA YET1×2×3×4×conservationerror0%5%10%15%20%25%30%injected bias in the driving model (% of the field mean)cross-scale constraint onlyboth constraintslateral constraint onlythis gap is the whole claimat 0% bias the two are equivalent: that is the case already testedWhat would refute itIf the teal line climbs with the red one,the lateral constraint inherits driver biasafter all and the central claim is wrong.If the two slopes are statisticallyindistinguishable across the sweep, thedistinction has no operational value evenif it is formally correct.Either outcome is reportable, and eitheranswers a question the authors of theincumbent method raised and left open.Bias is injected at known magnitude andsign, so the sweep gives a dose-responsecurve, not a single comparison.
Figure 7. The prediction, and what would refute it. Drawn before the runs, with no data in it. If the cross-scale curve climbs with driver bias and the lateral curve stays flat, the distinction between the two conservation laws has operational value and not just formal correctness. If they climb together, the claim is wrong. That is still a reportable result, because it answers a question the authors of the incumbent method raised in their own discussion and could not settle.

The ablation ladder that goes with it holds one backbone, one parameter budget and one training budget fixed, and varies only the decomposition: full domain, regular tiles, regular tiles with overlap, partition-of-unity summation, the interface penalty alone, both together, and finally terrain-aligned faces. Two of those comparisons are designed to be able to come back flat.

Where this is weakest

Three places, in order of how much they worry me.

Lateral conservation is necessary and not sufficient. A field can be perfectly flux-consistent across every face and still be wrong about the weather. The constraint removes a failure mode; it does not supply skill. Anyone selling it as a source of accuracy is overselling it, and that includes me if I am careless.

The face-flux estimator is approximate. I am estimating a derivative quantity from a model output, so the estimator's own error enters the penalty. That needs its convergence properties written down explicitly, and it is the part of the method I am least sure of.

Validation is thin. Jamaica's station network is sparse and clustered, gridded precipitation products over the Caribbean are dominated by station density more than by grid resolution, and the effect is worst under steep altitude gradients, and that is the terrain I am claiming to resolve. My answer is to lean on tests that need no stations at all, conservation residuals, cross-variable admissibility, spectra, and on process-based checks against the published Jamaican climatology, the north-east wettest and the southern plains driest, the bimodal May to June and October rainfall seasons. That is a weaker form of validation than a dense observing network would give.

Status. This is doctoral work in progress at the Climate Studies Group Mona, in the Department of Physics at The University of the West Indies, Mona. The theory is written, the pipeline is being built, and no results exist yet. The grid-resolution and orographic figures are schematics scaled to published climatology, and the bias-sweep figure is a prediction with no data in it. Every one is labelled as such. When the runs are done, the numbers will be posted here whichever way they come out.

Questions I get asked

How is this different from finite basis PINNs with terrain added?

FBPINNs decompose a domain in order to solve a known partial differential equation whose solution is unknown. This decomposes in order to downscale, where the coarse field is given and the fine field is underdetermined, so physics constrains the relationship instead of determining the answer. FBPINN subdomains are geometric and uniform; these follow terrain, so the decomposition itself encodes geophysical structure. And the FBPINN contribution is optimisation-theoretic, addressing spectral bias and scaling. This one is physical.

Partition of unity already gives continuity. Why add a penalty?

Continuity and conservation are different properties. A partition-of-unity sum guarantees the field varies smoothly across the interface. It does not guarantee that net flux across the face balances, and a smoothly varying field can create mass. The comparison between those two is one of the experiments, and it is designed so that a null result is publishable.

Physics-constrained generative downscaling already exists. What is new?

The quantity being conserved. Existing constraints are cross-scale, binding the fine field to the coarse input. This one is lateral, binding adjacent fine regions to each other at the same scale. The cross-scale constraint rests on the coarse field being an unbiased aggregate of the fine field, which holds by construction in a controlled experiment and fails with an independent driver. The lateral constraint does not have that dependency. The bias sweep tests whether that difference survives contact with data.

Why small islands and not a larger domain?

Partly because it is where I live and where the decisions are, and partly because it is the hardest available test. Existing geographic generalisation experiments have moved models between mid-latitude continental regions. A tropical maritime island domain is a much larger distributional shift, and the scale gap there is categorical: at 50 km the islands are not poorly resolved, they are absent.

What does this cost to run?

That is the number I most want to report and cannot yet. Compute cost per downscaled simulated year, in currency, at each subdomain size, is almost never published in this literature, and it is the figure a meteorological service actually needs, because the question they ask is whether a method fits in a line item. It will be in the results.

References

Adrian Dunkley, Climate Studies Group Mona

Department of Physics, The University of the West Indies, Mona. Correspondence: adrian.dunkley@mymona.uwi.edu

UWI Mona profile
FIG. WORK-LATERAL-CONSERVATION-TERRAIN-ALIGNED-DOWNSCALING

Coordinate local numerical fields

Coordinate local numerical fields. Filled isometric scientific teaching instrument. Each station represents a numerical subdomain with an explicit physical state. Accounting, positivity, stability and state accuracy are different tests.
Constructed teaching model. Use the control to inspect the relationship.

Each station represents a numerical subdomain with an explicit physical state.

Constructed explanatory instrument; it is not an observed atmospheric field or a trained-model result. Geometry uses Anatomy (MIT). The paper states its evidence and limits.