alphaFeedback

WorksComputer Science

HotPOT: Operator Transformer with Heterogeneous Physics Experts for Large-Scale PDE Pre-training

AI contributions
  • Generative AI tools
View details

Abstract

Large-scale PDE pre-training trains a single model on the data from multiple partial differential equations (PDEs). However, adding heterogeneous PDEs with different governing equations, physical variables, and variable interactions does not always improve predictive performance across tasks. Existing PDE mixture-of-experts models mitigate cross-task interference through learned routing, but typically use homogeneous expert architectures, making it difficult to directly reflect differences in state evolution across equations. We introduce HotPOT, an operator transformer with heterogeneous physics experts for large-scale PDE pre-training. HotPOT uses a shared encoder to capture information common across PDEs, while each PDE family uses a neural-numerical expert that pairs a learnable predictor with a fixed numerical update containing no trainable parameters. Each predictor outputs the quantities required by its paired numerical update, which then computes the next state. This design allows different PDEs to share a common encoder while retaining their own learnable predictors and numerical updates. Experiments across five PDE families and six settings show that HotPOT outperforms MoE-POT in all 24 matched-scale comparisons before and after fine-tuning, reducing rollout error by 50.7% on average. Notably, the 17M model also surpasses substantially larger MoE-POT models, and the performance gains extend to zero-shot prediction under unseen physical conditions. Code is available at https://github.com/cruiseresearchgroup/HotPOT-code.

Introduction

Partial differential equations (PDEs) are fundamental to modeling a wide range of physical systems. The high cost of repeated numerical simulations has motivated learning-based PDE solvers, particularly neural operators ([11, 8]) that learn solution mappings directly from data. Recent methods have shown that a single model can be trained jointly on data from multiple PDEs, rather than trained separately for each task, and have achieved strong performance across multiple PDE tasks.

However, adding data from heterogeneous PDEs with different governing equations, physical variables, and variable interactions does not always improve performance on existing tasks. For example, the MoE-POT model proposed in Wang et al. [27] reports increased error on some original tasks when expanding the training mixture of a dense pre-trained model from six to twelve datasets. To mitigate cross-task interference, MoE-POT uses learned routing to select specialized experts. These experts nevertheless use homogeneous architectures, which may be difficult to directly learn inherent physical distinctions in state evolution across equations.

On the other hand, Neural–numerical methods offer a basis for constructing heterogeneous experts by combining learned predictions with explicit numerical operations ((Karlbauer et al., 2022; [3]. Different PDEs can require different update operations and prediction quantities. An expert may predict a rate for time integration, an increment for a constrained update, or state components for direct assignment. Pairing a predictor with the corresponding update allows the expert’s computation to reflect the requirements of its PDE. This motivates a neural–numerical pre-training paradigm in which each PDE pairs learnable predictions with explicit numerical operations according to its update requirements, while shared history representations integrate the resulting experts into a unified pre-training model.

Specifically, we introduce HotPOT, an operator transformer that combines a shared encoder with heterogeneous neural–numerical experts for large-scale PDE pre-training. Figure 1(a) summarizes the workflow from heterogeneous PDE pre-training to prediction and transfer. The shared encoder processes scalar-field histories across PDEs, while each expert handles system-specific variable coupling and state evolution. Each expert pairs a learnable predictor with a PDE-specific fixed numerical update, which contains no trainable parameters. The predictor outputs the quantities required by its paired numerical update, which then computes the next state. The shared encoder and expert predictors are jointly trained using next-state supervision, bringing the different neural–numerical experts together in a single pre-training model. The Navier–Stokes (NS) example in Figure 1(b) illustrates the resulting prediction: at the tenth forecast step, HotPOT follows the reference vorticity contours more closely than MoE-POT in the displayed central region.

HotPOT framework overview and an NS prediction example

Figure 1. HotPOT: framework overview and an NS prediction example. (a) Shared history encoding connects PDE-specific predictor–update pairs for pre-training and transfer. The state is qnq^n at step nn, with history length T=10T=10. (b) Pre-trained 17M HotPOT and MoE-POT on the same NS test trajectory (ν=10−5\nu=10^{-5}). The boxed region is compared at forecast step 10; gray dashed and red solid curves denote reference and predicted contours, respectively. The relative L2L_2 error in this region decreases from 0.165 for MoE-POT to 0.057 for HotPOT (65.4% lower). Here ν\nu is viscosity, MM is Mach number, and LL is domain length.

The main contributions are:

  • We propose HotPOT, an operator transformer that leverages PDE-specific experts containing learnable predictors with fixed numerical updates, allowing different equations to use different prediction quantities and update operations.

  • We integrate these heterogeneous experts through a shared history encoder into one multi-PDE model. The encoder and predictors are trained end-to-end using only next-state supervision, while variable coupling and state evolution remain system-specific.

  • We evaluate HotPOT across five PDE families and six settings. Relative to MoE-POT, HotPOT reduces rollout error by 50.7% on average across 24 matched-scale comparisons before and after fine-tuning, and further improves zero-shot prediction under unseen physical conditions.

Related Work

Multi-PDE pre-training. Previous studies including MPP [14], DPOT [5], Poseidon [7], and Walrus [15] learn reusable representations through joint training across PDE systems. Some related approaches propose to better organize representations around physical variables or scalar fields, as in CoDA-NO [18] and Tadpole [12], or condition prediction on equation and system information, as in PDEformer [29], PROSE-PDE [22], and Unisolver [32]. These studies provide the foundation for learning across heterogeneous PDE data. We focus on incorporating PDE-specific prediction and update operations into this shared pre-training framework.

Mixture-of-experts for PDEs. MoE-POT [27] combines shared experts with input-dependent routed experts, while NESTOR [21] routes computation at both image and token levels. These methods allocate specialized neural capacity to different inputs through learned routing, while retaining a common expert structure. HotPOT extends expert specialization to the quantities predicted and the operations used to evolve the state. Each PDE family uses a specific neural predictor paired with its corresponding fixed numerical update. A shared history encoder connects these heterogeneous experts within one jointly trained model.

Neural–numerical methods. Neural–numerical methods place learned components within structured updates. Universal differential equations (Rackauckas et al., 2021) and APHYNITY [30] augment known dynamics, while learned discretizations and solver-in-the-loop methods learn numerical operators or corrections [1, 10, 26]. FINN [9] embeds trainable components in PDE-specific finite-volume structures, and OpsSplit [3] combines learned nonlinear operators with fixed finite-difference operators and time integration. CompNO [8] combines pretrained operators with boundary enforcement, and ComPhy [25] couples equation-specific modules. Origo [23] decomposes evolution into global spectral and local constitutive operators, while Serrano et al. (2026) compose learned operators at test time. DISCO [16] generates a trajectory-conditioned operator for time integration. Building on this line of work, HotPOT organizes PDE-specific predictor–update pairs as heterogeneous experts for multi-PDE pre-training. Their prediction quantities and update operations differ across PDEs, while the shared encoder and expert predictors are jointly trained using next-state supervision.

Problem Setting

We consider joint pre-training over a collection of time-dependent PDE systems. Let R\mathcal{R} denote the set of prediction settings, and let r∈Rr \in\mathcal{R} index one setting. A setting specifies a physical system together with its benchmark configuration, such as the observed variables, equation parameters, geometry, or boundary conditions. Different settings may therefore have different state variables, variable couplings, and state-transition mechanisms.

Each setting rr has a trajectory dataset Dr\mathcal{D}_r with CrC_r observed physical fields. Flattening the spatial grid in a fixed order gives qr,cn∈RNr\mathbf{q}_{r,c}^{n} \in\mathbb{R}^{N_r} for field cc at saved step nn, where NrN_r is the number of grid cells and qr,c,inq_{r,c,i}^{n} is its scalar value at cell ii. The operator concat concatenates its entries in the specified order. The full state is the vector qrn=concat⁡({qr,c}c=1Cr)∈RNrCr\mathbf{q}_r^n = \operatorname{concat}(\{\mathbf{q}_{r,c}\}_{c=1}^{C_r}) \in\mathbb{R}^{N_r C_r}. Geometry and support channels describe the spatial domain and valid grid locations. They are provided as auxiliary inputs rather than physical fields to be predicted, so they are excluded from CrC_r and the state vector qrn\mathbf{q}_r^n. The pre-training corpus is D=⋃r∈RDr\mathcal{D} = \bigcup_{r \in\mathcal{R}} \mathcal{D}_r.

Let gwg_{\mathbf{w}} denote the next-state predictor with trainable parameter vector w\mathbf{w}. The operator stack stacks its indexed row vectors in order. Let q^rn+1\widehat{\mathbf{q}}_r^{n+1} denote the predicted next state. The most recent T=10T = 10 saved states form the history matrix Hrn\mathbf{H}_r^n:

Hrn=stack⁡({(qrn−T+j)T}j=1T),q^rn+1=gw(Hrn,r).(1)\mathbf{H}_r^n = \operatorname{stack}\left(\left\{(\mathbf{q}_r^{n-T+j})^{\mathsf{T}}\right\}_{j=1}^{T}\right), \qquad\widehat{\mathbf{q}}_r^{n+1} = g_{\mathbf{w}}(\mathbf{H}_r^n,r). \tag*{(1)}

Thus Hrn∈RT×NrCr\mathbf{H}_r^n \in\mathbb{R}^{T \times N_r C_r} contains states in chronological order. The matrix Hr,cn∈RT×Nr\mathbf{H}_{r,c}^n \in\mathbb{R}^{T \times N_r} is its field-cc block. The argument rr identifies the PDE setting. The predictor also uses the geometry and support information, which we omit from the arguments of gwg_{\mathbf{w}} to keep the notation compact. Each prediction is appended to the history for autoregressive rollout. We use bold lowercase symbols for vectors, bold uppercase symbols for matrices, and calligraphic uppercase symbols for sets or spaces. Indexed braces gather entries in index order. Parentheses group arguments or pairs.

Method

HotPOT builds its shared encoder and neural predictors using patch encoding, temporal aggregation, and grouped Fourier/local blocks from DPOT and MoE-POT ([5, 27]). As shown in Figure 2, HotPOT realizes gwg_w by connecting PDE-family predictor–update pairs through a shared history encoder.

Architecture of HotPOT

Figure 2. Architecture of HotPOT. (a) Prediction pipeline with sampling, padding, and training-time noise. (b) A shared encoder connects PDE-specific neural–numerical experts in one model. (c) Temporal aggregation and five alternative numerical updates. Blue, orange, green, and gray indicate shared computation, system-specific prediction, fixed numerical updates, and physical states, respectively. Stage-state queries, history statistics, and repeated readouts are omitted. FFN denotes feed-forward network. Field images are illustrative. Notation and module details are given in Appendices § 9.§ 1 and § 9.§ 2.

Let τ:R→T\tau:\mathcal{R}\to\mathcal{T} map settings to the set of expert families. The family τ(r)\tau(r) is assigned to setting rr. Settings from the same PDE family use the corresponding predictor and numerical update program. In particular, the two NS viscosity settings share one NS expert family. The shared encoder has parameter vector θ\theta. For family e∈Te\in\mathcal{T}, ϕe\phi_e parameterizes field coupling and evolution, and ψe\psi_e parameterizes decoding and readout. Their aggregation is w=concat⁡(θ,{(ϕe,ψe)}e∈T)w=\operatorname{concat}(\theta,\{(\phi_e,\psi_e)\}_{e\in\mathcal{T}}), where parameter pairs are flattened and concatenated in a fixed family order.

Shared Field-Wise History Representation

The deterministic function ffeat,r,cf_{\mathrm{feat},r,c} normalizes field cc’s history and constructs six input features: normalized field value, two coordinates, boundary distance, geometry support, and field validity. This mapping does not mix physical fields. Each scalar history then passes through the same encoder fenc,θf_{\mathrm{enc},\theta}, with no learned cross-field mixing. At saved time nn, let Zr,c∈RP×dencZ_{r,c}\in\mathbb{R}^{P\times d_{\mathrm{enc}}} denote its representation, where PP is the number of spatial patches and dencd_{\mathrm{enc}} the shared width. Then

Zr,c=fenc,θ(ffeat,r,c(Hr,cn)),c=1,…,Cr.(2)Z_{r,c}=f_{\mathrm{enc},\theta}\left(f_{\mathrm{feat},r,c}\left(H_{r,c}^{n}\right)\right),\qquad c=1,\ldots,C_r. \tag*{(2)}

A shared patch encoder and positional embedding produce tokens for each history position. Temporal aggregation then combines these tokens within each field. Shared Fourier/local and channel feed-forward network (FFN) blocks produce this feature matrix. The saved-time index nn is suppressed. Next-state supervision jointly trains these features across datasets. Appendix § 9.§ 1 gives the aggregation formula, dimensions, and block equations.

System-Specific Prediction

Each PDE family’s predictor supplies the quantities required by its numerical update: transport rates for NS, conservative-variable actions for CNS, height increments for SWE, concentration-increment proposals for DR, or next-state velocities for CFDB. We denote this prediction space by Ur\mathcal{U}_r.

Field coupling and evolution. Let fmix,ϕτ(r)f_{\mathrm{mix},\phi_{\tau(r)}} denote field coupling followed by system-specific evolution. For field cc, let μr,c\mu_{r,c} and σr,c\sigma_{r,c} be the history mean and floored standard deviation over space and the TT input frames, and collect them as sr,c=(μr,c,log⁡σr,c)⊤∈R2\mathbf{s}_{r,c} = (\mu_{r,c}, \log\sigma_{r,c})^\top\in\mathbb{R}^2. The coupled context Zrmix∈RP×dpriv\mathbf{Z}^{\mathrm{mix}}_r \in\mathbb{R}^{P \times d_{\mathrm{priv}}}, with private width dprivd_{\mathrm{priv}}, is

Zrmix=fmix,ϕτ(r)({(Zr,c,sr,c)}c=1Cr).(3)\mathbf{Z}^{\mathrm{mix}}_r = f_{\mathrm{mix},\phi_{\tau(r)}}\left(\left\{(\mathbf{Z}_{r,c},\mathbf{s}_{r,c})\right\}_{c=1}^{C_r}\right). \tag*{(3)}

Coupling concatenates field representations, applies a 1×11 \times1 projection, and adds history-statistic and positional embeddings. System-specific Fourier/local/FFN blocks then produce the context.

Spatial decoding and prediction. The decoder fdec,ψτ(r)f_{\mathrm{dec},\psi_{\tau(r)}} expands Zrmix\mathbf{Z}^{\mathrm{mix}}_r to full resolution using a transposed convolution, Gaussian error linear unit (GELU) activation, and pointwise projection. Its readout combines this cached context with a query state ξrn,k∈Rdξ,r\boldsymbol{\xi}^{n,k}_r \in\mathbb{R}^{d_{\xi,r}}, representing the current or an intermediate state. Here k=1,…,Krk = 1,\ldots,K_r indexes queries within the saved interval Δtr\Delta t_r, the time between consecutive saved states. Let u^rn,k∈Ur⊆Rdu,r\widehat{\mathbf{u}}^{n,k}_r \in\mathcal{U}_r \subseteq\mathbb{R}^{d_{u,r}} denote the neural prediction at query kk; dξ,rd_{\xi,r} and du,rd_{u,r} count the spatial and channel entries of the flattened query and prediction, respectively. Then

u^rn,k=fdec,ψτ(r)(Zrmix,ξrn,k).(4)\widehat{\mathbf{u}}^{n,k}_r = f_{\mathrm{dec},\psi_{\tau(r)}}\left(\mathbf{Z}^{\mathrm{mix}}_r,\boldsymbol{\xi}^{n,k}_r\right). \tag*{(4)}

The same symbol u^rn,k\widehat{\mathbf{u}}^{n,k}_r represents the different physical quantities listed above. The following section specifies their interpretation, reshaping, and conversion into the next state.

System-Specific Numerical Execution

Let fupd,τ(r)Δtrf^{\Delta t_r}_{\mathrm{upd},\tau(r)} be the PDE family’s fixed numerical update over Δtr\Delta t_r. It combines the current state qrn\mathbf{q}^n_r with the neural predictions from Eq. (4) to produce the next-state estimate q^rn+1\widehat{\mathbf{q}}^{n+1}_r:

q^rn+1=fupd,τ(r)Δtr(qrn,{u^rn,k}k=1Kr).(5)\widehat{\mathbf{q}}^{n+1}_r = f^{\Delta t_r}_{\mathrm{upd},\tau(r)}\left(\mathbf{q}^n_r,\left\{\widehat{\mathbf{u}}^{n,k}_r\right\}_{k=1}^{K_r}\right). \tag*{(5)}

The program has no trainable parameters. For multi-stage updates, it constructs successive query states from earlier predictions and reuses the history context and readout weights. Fixed input/output mappings connect its grid to the observed state layout; the PDE’s physical coefficients are implicit in its arguments. Below we give the core updates, omitting setting index rr. Let NN be the program’s grid-cell count, 1N\mathbf{1}_N the all-ones vector, and ⟨⋅⟩\langle\cdot\rangle spatial mean. A superscript ++ denotes a program’s updated state. Operator details and update properties are in Appendices § 9.§ 2–§ 9.§ 3.

Incompressible Navier–Stokes (NS). Here the neural output u^n,k\widehat{\mathbf{u}}^{n,k} is an effective vorticity transport rate. Let ω∈RN\boldsymbol{\omega} \in\mathbb{R}^N be the current substep vorticity, f∈RN\mathbf{f} \in\mathbb{R}^N the forcing, ν\nu the viscosity, and δt\delta t the substep duration. Write fdiff,νsf^s_{\mathrm{diff},\nu} for numerical diffusion over duration ss. Let ωa\boldsymbol{\omega}_a be the diffused state and ωm\boldsymbol{\omega}_m the midpoint state; r^1\widehat{\mathbf{r}}_1 and r^2\widehat{\mathbf{r}}_2 are the corresponding rate outputs of Eq. (4) at these two states. The updated vorticity ω+\boldsymbol{\omega}^{+} is computed in this order:

ωa=fdiff,νδt/2(ω),ωm=ωa+δt2(r^1+f),\boldsymbol{\omega}_a = f^{\delta t/2}_{\mathrm{diff},\nu}(\boldsymbol{\omega}), \qquad \boldsymbol{\omega}_m = \boldsymbol{\omega}_a + \frac{\delta t}{2}(\widehat{\mathbf{r}}_1+\mathbf{f}),
ω+=fdiff,νδt/2(ωa+δt(r^2+f)).(6)\boldsymbol{\omega}^{+} = f^{\delta t/2}_{\mathrm{diff},\nu}\left(\boldsymbol{\omega}_a+\delta t(\widehat{\mathbf{r}}_2+\mathbf{f})\right). \tag*{(6)}

Composing these substeps yields the next saved vorticity state. Transport rates are learned; diffusion and midpoint integration are fixed operations.

Compressible Navier–Stokes (CNS). Reshape the neural output u^n,1\widehat{\mathbf{u}}^{n,1} as a normalized action matrix A∈RN×4\mathbf{A} \in\mathbb{R}^{N\times4} for density, two momentum components, and total energy. Let Q∈RN×4\mathbf{Q} \in\mathbb{R}^{N\times4} be the current conservative state, aˉ∈R4\bar{\mathbf{a} } \in\mathbb{R}^4 the action’s channel means, and fscale(Q)∈R4f_{\mathrm{scale}}(\mathbf{Q}) \in\mathbb{R}^4 its conservative-field channel scales; diag⁡\operatorname{diag} forms a diagonal matrix. Denote the increment by ΔQ\Delta\mathbf{Q}, the candidate by Q⋆\mathbf{Q}^{\star}, and the updated state by Q+\mathbf{Q}^{+}. A global coefficient αCNS∈[0,1]\alpha_{\mathrm{CNS}} \in[0,1] enforces positive density and pressure:

ΔQ=(A−1Naˉ⊤)diag⁡(fscale(Q)),Q⋆=Q+ΔQ,\Delta\mathbf{Q} = \left(\mathbf{A} - \mathbf{1}_{N}\bar{\mathbf{a}}^{\top}\right)\operatorname{diag}(f_{\mathrm{scale}}(\mathbf{Q})), \qquad\mathbf{Q}^{\star} = \mathbf{Q} + \Delta\mathbf{Q},
Q+=Q+αCNS(Q⋆−Q).(7)\mathbf{Q}^{+} = \mathbf{Q} + \alpha_{\mathrm{CNS}}(\mathbf{Q}^{\star} - \mathbf{Q}). \tag*{(7)}

The program restores candidate conservative means before the segment update and converts Q+\mathbf{Q}^{+} back to primitive variables for the next state. For admissible inputs, global mass, momentum, and energy are preserved in exact arithmetic (Proposition 2).

Shallow-water equation (SWE). The neural output u^n,1=Δh∈RN\hat{\mathbf{u}}^{n,1} = \Delta\mathbf{h} \in\mathbb{R}^{N} is a height increment. Let hn\mathbf{h}^{n} and h^n+1\hat{\mathbf{h}}^{n+1} be the current and predicted height vectors, d\mathbf{d} the centered increment, and α∈[0,1]\alpha\in[0,1] a global coefficient enforcing a positive height floor. The update is

d=Δh−⟨Δh⟩1N,h^n+1=hn+αd.(8)\mathbf{d} = \Delta\mathbf{h} - \langle\Delta\mathbf{h}\rangle\mathbf{1}_{N}, \qquad\hat{\mathbf{h}}^{n+1} = \mathbf{h}^{n} + \alpha\mathbf{d}. \tag*{(8)}

Centering and uniform scaling preserve mass on the uniform grid in exact arithmetic while respecting the height floor for admissible inputs (Proposition 1).

Diffusion–reaction (DR). The neural outputs δ1=u^n,1\delta_{1} = \hat{\mathbf{u}}^{n,1} and δ2=u^n,2\delta_{2} = \hat{\mathbf{u}}^{n,2} are concentration-increment proposals in R2N\mathbb{R}^{2N} for the two fields. The first is queried at the current state qn\mathbf{q}^{n}; the second at the intermediate state ξn,2\boldsymbol{\xi}^{n,2}. The program constructs this state and then adds the averaged proposals to obtain q^n+1\hat{\mathbf{q}}^{n+1}:

ξn,2=qn+12δ1,q^n+1=qn+12(δ1+δ2).(9)\boldsymbol{\xi}^{n,2} = \mathbf{q}^{n} + \tfrac{1}{2}\delta_{1}, \qquad\hat{\mathbf{q}}^{n+1} = \mathbf{q}^{n} + \tfrac{1}{2}(\delta_{1} + \delta_{2}). \tag*{(9)}

CFDBench (CFDB). For the velocity-prediction tasks in CFDB, reshape the neural output u^n,1\hat{\mathbf{u}}^{n,1} as V^∈RN×2\hat{\mathbf{V}} \in\mathbb{R}^{N \times2}, containing the two predicted velocity fields. The next velocity state Vn+1\mathbf{V}^{n+1} is assigned directly:

Vn+1=V^.(10)\mathbf{V}^{n+1} = \hat{\mathbf{V}}. \tag*{(10)}

The program retains auxiliary support channels; output mapping restores the observed layout.

Joint Training and Autoregressive Prediction

Let π\boldsymbol{\pi} be the nonnegative setting-weight vector, with ∑r∈Rπr=1\sum_{r\in\mathcal{R}}\pi_{r}=1, and let Or⊆{1,…,Cr}\mathcal{O}_{r}\subseteq\{1,\ldots,C_{r}\} be the set of scored physical-channel indices. We sample settings from the categorical distribution cat⁡(π)\operatorname{cat}(\boldsymbol{\pi}). Sampling from Dr\mathcal{D}_{r} below means drawing a history–target window from its trajectories. With denominator stabilizer ϵ=10−8\epsilon=10^{-8}, the expected next-state loss ℓtrain(w)\ell_{\mathrm{train}}(\mathbf{w}) supervises the complete predictor–program pair:

ℓtrain(w)=Er∼cat⁡(π)(Hr,qn,qrn+1)∼Dr[1∣Or∣∑c∈Or∥q^r,cn+1−qr,cn+1∥2∥qr,cn+1∥2+ϵ].(11)\ell_{\mathrm{train}}(\mathbf{w}) = \mathbb{E}_{\substack{r\sim\operatorname{cat}(\boldsymbol{\pi})\\(\mathbf{H}^{n}_{r,q},\mathbf{q}^{n+1}_{r})\sim\mathcal{D}_{r}}} \left[\frac{1}{|\mathcal{O}_{r}|}\sum_{c\in\mathcal{O}_{r}} \frac{\left\|\hat{\mathbf{q}}^{n+1}_{r,c}-\mathbf{q}^{n+1}_{r,c}\right\|_{2}} {\left\|\mathbf{q}^{n+1}_{r,c}\right\|_{2}+\epsilon}\right]. \tag*{(11)}

The norms run over valid spatial cells of each field vector, excluding padded cells. Scored channels are weighted equally within each setting. Gradients through executed numerical arithmetic train the selected expert and shared encoder without intermediate labels. During rollout, each prediction enters the history window and replaces its oldest frame.

New-family adaptation retains this objective, reusing the shared encoder with a newly initialized system-specific predictor and a configured fixed numerical update program, as detailed in Appendix A.7.

Experiments

We follow MoE-POT’s benchmark Wang et al. [27] for joint pre-training and task-specific fine-tuning, complemented by ablations, within-family generalization, and transfer to a new PDE family.

Datasets and evaluation. Six settings cover five PDE families: NS at viscosities ν=10−5\nu= 10^{-5} and ν=10−3\nu= 10^{-3} ([11]), PDEBench CNS, SWE, and DR ([24]), and CFDBench velocity prediction ([13]). We retain the benchmark’s ten-frame inputs, padding, and masking, and evaluate full-horizon autoregressive predictions using mean relative L2L_2 error (L2RE). Joint pre-training and task-specific fine-tuning run for 1000 and 200 epochs, respectively, with final checkpoints used for evaluation.

Baselines and model scales. We compare eight baseline methods across fifteen configurations: six separately trained models FNO, UNet, FFNO, GK-T, Oformer, and GNOT and three scales each of pre-trained FNO, DPOT, and MoE-POT. We also report fine-tuned DPOT and MoE-POT results. Baseline results and activated-parameter counts are taken from MoE-POT Table 1. HotPOT-T/S use approximately 17M/90M activated parameters, matching MoE-POT-T/S. Appendices § 9.§ 4 and § 9.§ 5 provide detailed evaluation, training, and resource settings.

ModelActivated ParamsNS benchmarksPDEBenchCFDBench
NS (10−510^{-5})NS (10−310^{-3})CNS(0.1, 0.01)SWEDR
Small models
FNO0.5M0.1560.01280.1700.004400.1200.00761
UNet25M0.1980.02450.3570.05210.09710.0209
FFNO1.2M0.1610.02560.1830.004580.1610.0990
GK-T1.1M0.2600.01480.9190.04530.01200.419
Oformer1.8M0.2890.003190.1610.004740.9910.00444
GNOT2.2M0.5900.3160.5330.001990.9300.0216
Pre-trained
FNO-T10M0.1910.02450.085911.00.5300.00601
FNO-S30M0.1570.02250.3570.1840.3850.00460
FNO-M150M0.1410.00730–0.01040.0112–
DPOT-T7.5M0.1070.01550.01680.006310.05770.00673
DPOT-S30.8M0.06880.007810.02440.003920.03670.00870
DPOT-M122M0.05690.007080.02240.002470.02880.0113
MoE-POT-T17M0.06820.007680.01050.006400.04110.00529
MoE-POT-S90M0.05520.005830.009590.002890.03420.00448
MoE-POT-M288M0.05280.005700.009140.002990.03000.00513
HotPOT-T17M0.03150.003250.006710.001770.01500.00219
HotPOT-S90M0.02990.003230.006230.001660.03260.00225
Fine-tuned
DPOT-T7.5M0.07000.007250.01680.003130.02890.00391
DPOT-S30.8M0.05020.006350.02380.003150.02150.00586
DPOT-M122M0.04240.005930.02210.002600.01750.00653
MoE-POT-T17M0.04560.004930.007460.003050.01880.00330
MoE-POT-S90M0.03610.003760.007420.002510.01820.00313
MoE-POT-M288M0.03510.003880.007440.001930.01400.00398
HotPOT-T17M0.02150.0004810.005830.001620.001630.00208
HotPOT-S90M0.01930.0004830.005360.001540.004360.00202

Table 1. Full-horizon mean L2RE on six PDE settings (↓). CNS lists Mach number MM and shear viscosity η\eta, with bulk viscosity ζ=η\zeta= \eta. Bold: best within each training block; blue: best overall. HotPOT uses final E1000/E200 checkpoints. Baselines follow MoE-POT Table 1 ([27]), with matched splits, histories, horizons, resolutions, and metrics. Dashes denote errors above 20.

Main Experiments

Pre-training and fine-tuning. Across six settings, two activated-parameter scales, and both training stages, HotPOT outperforms MoE-POT in all 24 matched-scale comparisons (Table 1). Mean relative error reductions are 47.1% after pre-training and 54.3% after fine-tuning, or 50.7% across both stages. For example, after fine-tuning, HotPOT-T reduces L2RE relative to MoE-POT-T by 90.3% on NS at ν=10−3\nu= 10^{-3} and 91.3% on DR. Appendices § 9.9–§ 9.10 provide paired field visualizations and space–time error plots.

Accuracy with fewer activated parameters. The 17M HotPOT-T model also outperforms the 90M and 288M MoE-POT models on every setting in both stages. Across the twelve setting–stage comparisons, its mean relative error reductions are 47.7% and 46.5%, respectively, while using approximately 81.1% and 94.1% fewer activated parameters.

Parameter accounting. Each HotPOT-T active path uses 16.77–17.18M parameters, comprising the 2.012M shared encoder and the selected system-specific predictor. Detailed parameter accounting and numerical query counts are provided in Appendix § 9.§ 5.

Ablation Studies

Full denotes HotPOT-T. All models use 17M configurations and fixed E1000 checkpoints; Mean equally weights six full-horizon L2REs.

Ablations of cross-PDE sharing. We test whether to share history encoding and where sharing belongs relative to private coupling. Learned private history gives each PDE family a separate trainable encoder, retaining expert predictors and numerical updates, to test history sharing. Late-shared evolution moves shared processing after private field coupling to test this sharing boundary.

In Table 2, Full lowers mean error by 3.2% relative to private history while reducing stored parameters by 7.6%. Private history performs better on SWE and slightly better on DR. Late sharing raises mean error from 0.0101 to 0.0286, worsening five settings. The placement controls in Appendix § 9.§ 6 favor history processing before private coupling over late evolution processing; sharing at the history stage further improves mean accuracy and reduces storage.

ModelNS 10−510^{-5}NS 10−310^{-3}CNSSWEDRCFDBMean
Full HotPOT0.03150.003250.006710.001770.01500.002190.0101
Learned private history0.03220.004200.007900.0009620.01490.002220.0104
Late-shared evolution0.03310.004130.009410.004210.1190.002170.0286

Table 2. Cross-PDE sharing ablations. Full-horizon L2RE; bold marks minima before rounding.

Ablations of numerical experts. We test the predictor–update interface across PDE families and, specifically for NS, whether its numerical update provides a benefit beyond repeated neural refinement. Direct-state predictor (Direct) replaces predicted quantities and numerical execution with residual state prediction, retaining the neural architecture, inputs, masks, and nominal readout-call counts. This changes the interface and stage-state queries together. Generic iteration targets the NS expert, replacing its numerical update with repeated, state-dependent residual predictions using shared readout weights. Other expert paths retain their updates.

In Table 3, Full lowers mean error from 0.0324 to 0.0101 relative to direct prediction, improving five settings; Direct is slightly better on CFDB. Relative to Generic iteration, Full lowers NS error by 1.5% at ν=10−5\nu= 10^{-5} and 19.7% at ν=10−3\nu= 10^{-3}. These comparisons support the paired predictor–update interface for aggregate accuracy and NS numerical execution over generic learned iteration on both viscosity settings. Appendix § 9.§ 6 details the controls and temporal analyses; Appendix § 9.8 reports physical diagnostics.

ModelNS 10−510^{-5}NS 10−310^{-3}CNSSWEDRCFDBMean
Full HotPOT0.03150.003250.006710.001770.01500.002190.0101
Direct-state predictor0.05250.006250.01040.019000.1220.002110.0324
Generic iteration0.03200.004040.007200.001770.01500.002340.0104

Table 3. Numerical-expert ablations. Full-horizon L2RE; bold marks minima before rounding.

Within-Family Generalization

We evaluate pre-trained 17M models at the original resolutions under unseen conditions within supported PDE families.

Zero-shot prediction. For CNS, MM is the Mach number and η\eta the shear viscosity. The bulk viscosity is ζ=η\zeta= \eta in the reported datasets Takamoto et al. [24]. Fixed pre-training checkpoints predict CNS at (M,η)=(1,10−2)(M, \eta) = (1, 10^{-2}) and CFDB boundary-condition, geometry, and physical-property subsets within the cavity and cylinder families, without target training or checkpoint selection. We report L2RE over ten forecast steps, denoted H10, with case-uniform masked aggregation for CFDB. This differs from the full-horizon main benchmark. Table 4 shows that HotPOT lowers error relative to MoE-POT in all seven groups, including a 55.5% CNS reduction.

Model(M,η)=(1,10−2)(M, \eta) = (1, 10^{-2})BCGeo†PropBCGeo†Prop
HotPOT-T0.1890.005680.01690.004670.001190.001800.000577
MoE-POT-T0.4230.02760.04390.01160.008020.01170.00223

Table 4. Zero-shot H10 L2RE (↓) using fixed 17M pre-training checkpoints without target adaptation. CFDB uses case-uniform masked aggregation.

BC, Geo, and Prop denote boundary-condition, geometry, and physical-property subsets. †Each geometry subset contains one held-out case within its respective cavity or cylinder family.

Few-shot adaptation. Pre-trained models adapt to NS (ν=10−4\nu= 10^{-4}) and CNS ((M,η)=(1,10−2)(M, \eta) = (1, 10^{-2})) using 16, 64, or 256 training trajectories. On 200 test trajectories per target, HotPOT achieves lower full-rollout L2RE in all six comparisons, with error decreasing across budgets (Table 5). Rollout validation selects checkpoints; Appendix § 9.§ 4.1 details the protocol.

Model / shots16642561664256
HotPOT-T0.1240.09640.08190.09830.05990.0365
MoE-POT-T0.3040.2060.1080.3650.1530.0735

Table 5. Within-family adaptation: model-feedback L2RE on 200 test trajectories per target (NS/CNS: 20/11 steps). Full-rollout validation selects checkpoints during 500-epoch adaptation.

Transfer to a New PDE Family

Wave-Layer and Wave-Gauss Herde et al. [7] belong to one wave-equation family absent from both pre-training mixtures. HotPOT jointly trains its transferred encoder and a new scalar predictor. Scratch uses the same architecture, initial predictor weights, residual updates, and training protocol, but a random encoder. This comparison tests whether shared encoder pre-training benefits adaptation to a new PDE family.

At 16, 32, 64, and 128 shots, rollout validation selects checkpoints evaluated on 200 held-out trajectories per dataset using mean per-step L2RE. Encoder transfer outperforms both baselines in all eight comparisons. Error reductions are 11.9–39.8% relative to MoE-POT full fine-tuning; relative to Scratch, they are 6.5–8.4% on Wave-Layer and 0.6–16.4% on Wave-Gauss, supporting transfer of the pre-trained history representation. Appendix § 9.7 gives results (Table 11), protocol, and splits.

TargetModel163264128
Wave-LayerMoE-POT full fine-tuning0.5760.5170.4350.365
Wave-LayerHotPOT scratch0.5530.4280.3310.235
Wave-LayerHotPOT encoder transfer0.5060.3950.3040.220
Wave-GaussMoE-POT full fine-tuning0.5140.4520.3940.325
Wave-GaussHotPOT scratch0.5420.3720.2840.225
Wave-GaussHotPOT encoder transfer0.4530.3700.2790.218

Table 11. Transfer to one unseen wave-equation family. Mean per-step L2RE on 200 custom held-out trajectories, averaged over 11/6 forecast frames for Layer/Gauss. All methods update their complete target models and select checkpoints by full-rollout validation within 500 epochs.

Discussion and Conclusion

HotPOT combines shared field-history encoding with PDE-specific neural–numerical experts, allowing different equations to use different prediction quantities and fixed update operations. Across six pre-training settings on regular grids, HotPOT outperforms MoE-POT at matched activated-parameter scales before and after fine-tuning. Ablations support the sharing and prediction–execution designs, while transfer to an unseen wave-equation family supports encoder reuse with limited target data. System-specific experts increase storage as the model covers more PDEs, and adapting to a new family requires training a predictor and configuring its numerical update. Multi-stage updates can also increase inference cost through repeated neural readouts. Future work will explore reusable experts, automatic numerical-program composition, and efficient execution for broader PDE collections.

AI Use Statement

Generative AI tools assisted with language editing.

Reproducibility Statement

The appendix specifies the data interface, model dimensions, system-specific numerical updates, optimization schedule, parameter accounting, and checkpoint selection. Code, configurations, and fixed evaluation scripts are available in the public repository linked in the abstract.

Implementation and Additional Results

Backbone implementation

The patch encoding, temporal aggregation, and grouped Fourier/local blocks below build on DPOT and MoE-POT ([5, 27]).

All inputs use ten saved frames at a common 1282128^2 analysis resolution. The deterministic feature map constructs six channels per scalar field: normalized value, two coordinates, boundary distance, geometry support, and field validity. Both scales use patch size 8, four adaptive Fourier neural operator (AFNO) channel groups, and 16 retained modes. The scale-dependent dimensions are listed in Table 6. The context decoder expands to full resolution before two 3×33 \times3 convolutions and a 1×11 \times1 typed readout. Per-field history means and standard deviations are computed over the ten frames and spatial grid, with standard deviations floored at 10−610^{-6}. The system-specific mixers receive these means and log-scales in addition to shared features and task embeddings; the statistics have no learned parameters. Coordinates span [−1,1][-1,1]; boundary distance is constant on periodic grids and the minimum coordinate distance to an edge otherwise. These are input-feature conventions, separate from the expert’s numerical update program.

ComponentHotPOT-T (17M active)HotPOT-S (90M active)
Shared width / depth / FFN width256 / 2 / 512512 / 3 / 2048
System-specific width / depth / FFN width512 / 5 / 20481024 / 7 / 3968
Decoded context channels3264
Typed-head hidden width128256
Task-feature channels / hidden width16 / 6432 / 128
Task-embedding hidden width128128

Table 6. Backbone and system-specific predictor dimensions. The neural template and numerical programs are common to both scales.

Input encoding and positional embedding. For a grid of Nx×NyN_x \times N_y cells, flattening only the spatial axes gives the feature matrix Xj∈RNxNy×din\mathbf{X}^j \in\mathbb{R}^{N_xN_y \times d_{\mathrm{in}}} at history position j∈{1,…,T}j \in\{1,\ldots,T\}, with din=6d_{\mathrm{in}}=6. The implementation embeds these six features in an 11-slot tensor with five fixed zero slots before the patch convolution. This fixed embedding is included in fpatchf_{\mathrm{patch}}; parameter counts include the stored convolution weights. A convolutional patch encoder fpatchf_{\mathrm{patch}} maps non-overlapping p×pp \times p patches to dd-dimensional tokens, where p=8p=8 and d=dencd=d_{\mathrm{enc}} in this encoder. With P=(Nx/p)(Ny/p)P=(N_x/p)(N_y/p) and learned positional matrix Epos∈RP×d\mathbf{E}_{\mathrm{pos}} \in\mathbb{R}^{P \times d},

Zj=fpatch(Xj)+Epos,Zj∈RP×d.(12)\mathbf{Z}^j=f_{\mathrm{patch}}(\mathbf{X}^j)+\mathbf{E}_{\mathrm{pos}}, \qquad\mathbf{Z}^j \in\mathbb{R}^{P \times d}. \tag*{(12)}

The patch encoder consists of a strided convolution, GELU (Hendrycks & Gimpel, [6]), and a pointwise projection. Its parameters, including Epos\mathbf{E}_{\mathrm{pos}}, are part of θ\theta and are shared across history frames, scalar fields, and datasets. Spatial convolutions and FFTs reshape these matrices to the two-dimensional grid and flatten them back in the same order.

Temporal aggregation. With field, setting, and saved-time indices suppressed, let zij=(Zi,:j)⊤∈Rd\mathbf{z}_i^j=(\mathbf{Z}_{i,:}^j)^\top\in\mathbb{R}^d be the token vector at patch ii. The matrix Zhist∈RT×d\mathbf{Z}^{\mathrm{hist}} \in\mathbb{R}^{T \times d} in Figure 2 stacks {(zij)⊤}j=1T\{(\mathbf{z}_i^j)^\top\}_{j=1}^{T}. A real-valued adaptation of Fourier-feature aggregation uses learned channel-mixing matrices Wj∈Rd×d\mathbf{W}_j \in\mathbb{R}^{d \times d} and frequency vector κ∈R>0d\boldsymbol{\kappa} \in\mathbb{R}_{>0}^{d}. Let λj=(j−T)/(T−1)\lambda_j=(j-T)/(T-1) denote the normalized temporal lag, ⊙\odot elementwise multiplication, and vi0∈Rd\mathbf{v}_i^0 \in\mathbb{R}^d the aggregated token. The cosine acts componentwise:

vi0=∑j=1TWj⊤[zij⊙cos⁡(κλj)].(13)\mathbf{v}_i^0=\sum_{j=1}^{T}\mathbf{W}_j^\top\left[\mathbf{z}_i^j\odot\cos(\boldsymbol{\kappa}\lambda_j)\right]. \tag*{(13)}

Let V0∈RP×d\mathbf{V}^0 \in\mathbb{R}^{P \times d} denote the matrix formed by stacking {(vi0)⊤}i=1P\{(\mathbf{v}_i^0)^\top\}_{i=1}^{P}.

Fourier and local mixing blocks. Spatial processing uses the grouped spectral mixer inherited from the MoE-POT implementation, following the AFNO/Fourier operator-transformer lineage ([4]. The mixer applies a two-dimensional fast Fourier transform (FFT), splits feature channels into groups, transforms each group with a two-layer frequency-domain multilayer perceptron (MLP), and returns to the spatial grid by inverse FFT. The MLP parameters are shared over retained frequency locations; GELU acts separately on real and imaginary components, with no soft-thresholding. Let ffftf_{\mathrm{fft}} and fifftf_{\mathrm{ifft}} denote the spatial FFT and its inverse, and let ffreq,bf_{\mathrm{freq},b} be the grouped MLP with unretained modes set to zero. For block index bb and input U∈RP×d\mathbf{U} \in\mathbb{R}^{P \times d}, including the inherited internal skip connection gives

fspec,b(U)=U+fifft(ffreq,b(ffft(U))).(14)f_{\mathrm{spec},b}(\mathbf{U}) = \mathbf{U} + f_{\mathrm{ifft}}\left(f_{\mathrm{freq},b}\left(f_{\mathrm{fft}}(\mathbf{U})\right)\right). \tag*{(14)}

Each block combines this spectral path with a local convolutional function flocal,bf_{\mathrm{local},b} and a channel feed-forward function fffn,bf_{\mathrm{ffn},b}. The functions fgn,b,1f_{\mathrm{gn},b,1} and fgn,b,2f_{\mathrm{gn},b,2} are the block’s two group normalizations ([28]). Let Vb\mathbf{V}^{b}, Ub\mathbf{U}^{b}, V~b\widetilde{\mathbf{V}}^{b}, and Vb+1∈RP×d\mathbf{V}^{b+1} \in\mathbb{R}^{P \times d} denote the block input, normalized input, mixed features, and output, respectively:

Ub=fgn,b,1(Vb),V~b=Vb+fspec,b(Ub)+flocal,b(Ub),Vb+1=V~b+fffn,b(fgn,b,2(V~b)).(15)\begin{aligned} \mathbf{U}^{b} &= f_{\mathrm{gn},b,1}\left(\mathbf{V}^{b}\right),\\ \widetilde{\mathbf{V}}^{b} &= \mathbf{V}^{b} + f_{\mathrm{spec},b}\left(\mathbf{U}^{b}\right) + f_{\mathrm{local},b}\left(\mathbf{U}^{b}\right),\\ \mathbf{V}^{b+1} &= \widetilde{\mathbf{V}}^{b} + f_{\mathrm{ffn},b}\left(f_{\mathrm{gn},b,2}\left(\widetilde{\mathbf{V}}^{b}\right)\right). \tag*{(15)} \end{aligned}

All spatial feature matrices have shape P×dP \times d, where dd is the width of the shared or system-specific block in question. The local path uses a depthwise 3×33 \times3 convolution, GELU, and a 1×11 \times1 convolution; the FFN uses two 1×11 \times1 convolutions with GELU. After the shared blocks and a final normalization, the encoder produces Zr,cZ_{r,c}; their parameters belong to θ\theta. The corresponding system-specific blocks use ϕτ(r)\phi_{\tau(r)}.

System-specific numerical update programs

Each expert instantiates Eq. (5) by pairing a system-specific neural predictor with a numerical update program. Field-wise history encoding, system-specific state evolution, and spatial context decoding run once per saved interval. The program then constructs query states and reuses the predictor’s readout. All predicted quantities are learned through next-state supervision; they require no separate rate, action, or increment labels. The programs below detail the five alternatives illustrated in Figure 2. We suppress the setting index rr below; NN denotes the grid-cell count and a superscript ++ the updated state. Vectors collect spatial entries; multi-channel arrays are written as matrices when channels form columns. The all-ones vector is 1N∈RN\mathbf{1}_{N} \in\mathbb{R}^{N}, and ⟨a⟩=N−11N1N⊤a\langle a\rangle= N^{-1}\mathbf{1}_{N}\mathbf{1}_{N}^{\top}a is the spatial mean of a field vector aa.

NS: transport-rate integration

The neural transport-rate query in Eq. (4) uses stage vorticity, history context, and deterministic Biot–Savart transport and forcing features. Let frate:RN→RNf_{\mathrm{rate}} : \mathbb{R}^{N} \to\mathbb{R}^{N} denote this query with the decoded history context and physical coefficients held fixed. Using the diffused and midpoint states ωd\omega_{d}, ωm\omega_{m} from Eq. (6), its two outputs are

r^1=frate(ωd),r^2=frate(ωm).(16)\widehat{\mathbf{r}}_{1} = f_{\mathrm{rate}}(\omega_{d}), \qquad\widehat{\mathbf{r}}_{2} = f_{\mathrm{rate}}(\omega_{m}). \tag*{(16)}

The program adds forcing to each rate and uses the explicit midpoint update between two diffusion half-steps, forming a Strang split (Strang, [20]). The same decoded context and readout weights are reused at both queries and throughout the saved interval.

For the diffusion operator fdiff,νsf_{\mathrm{diff},\nu}^{s}, let δtCN>0\delta t_{\mathrm{CN}} > 0 be a Crank–Nicolson time increment, ss the diffusion duration, and m=s/δtCN∈Nm = s/\delta t_{\mathrm{CN}} \in\mathbb{N} its number of increments. Let ffftf_{\mathrm{fft}} and fifftf_{\mathrm{ifft}} be the discrete Fourier transform on the periodic grid and its inverse. For Fourier mode ℓ\ell, let λℓ≥0\lambda_{\ell} \ge0 be the eigenvalue of the negative Laplacian. With viscosity ν\nu, define the mode multiplier bℓb_{\ell} and the diffusion update of a vorticity vector ω∈RN\omega\in\mathbb{R}^{N} by

bℓ=1−δtCNνλℓ/21+δtCNνλℓ/2,fdiff,νs(ω)=fifft({bℓm(ffft(ω))ℓ}ℓ).(17)b_{\ell} = \frac{1 - \delta t_{\mathrm{CN}}\nu\lambda_{\ell}/2}{1 + \delta t_{\mathrm{CN}}\nu\lambda_{\ell}/2}, \qquad f_{\mathrm{diff},\nu}^{s}(\omega) = f_{\mathrm{ifft}}\left(\left\{b_{\ell}^{m}\left(f_{\mathrm{fft}}(\omega)\right)_{\ell}\right\}_{\ell}\right). \tag*{(17)}

This composes mm Crank–Nicolson diffusion increments ([2]). The implementation uses a positive multiplier, with δtCNνλℓ/2<1\delta t_{\mathrm{CN}}\nu\lambda_{\ell}/2 < 1, and evaluates its power in logarithmic form. Each half-step takes s=δt/2s = \delta t/2; composing the split substeps covers the saved interval Δtr\Delta t_{r}.

CNS: conservative action and admissible update

At cell ii, let ux,i,uy,iu_{x,i}, u_{y,i} denote velocity components, ρi\rho_i density, and pip_i pressure. Let γ>1\gamma> 1 be the specific-heat ratio; the total energy density is Ei=pi/(γ−1)+ρi(ux,i2+uy,i2)/2E_i = p_i/(\gamma- 1) + \rho_i(u_{x,i}^{2} + u_{y,i}^{2})/2. The conservative vector is ci=(ρi,ρiux,i,ρiuy,i,Ei)T∈R4\mathbf{c}_i = (\rho_i, \rho_i u_{x,i}, \rho_i u_{y,i}, E_i)^{\mathsf{T}} \in\mathbb{R}^{4}. The full conservative state is the matrix Q∈RN×4\mathbf{Q} \in\mathbb{R}^{N \times4} with row ciT\mathbf{c}_i^{\mathsf{T}}. One predictor query supplies a normalized action, reshaped as A∈RN×4\mathbf{A} \in\mathbb{R}^{N \times4}. Its channel means are aˉ=N−1AT1N∈R4\bar{\mathbf{a}} = N^{-1}\mathbf{A}^{\mathsf{T}}\mathbf{1}_{N} \in\mathbb{R}^{4}. Let ϵs>0\epsilon_s > 0 be a numerical scale floor, and let fscale:RN×4→R4f_{\mathrm{scale}} : \mathbb{R}^{N \times4} \to\mathbb{R}^{4} return the per-channel spatial root mean square (RMS) of centered conservative fields, floored at ϵs\epsilon_s; diag⁡\operatorname{diag} places these scales on a matrix diagonal. Denote the conservative increment by ΔQ\Delta\mathbf{Q} and its candidate state by Q⋆\mathbf{Q}^{\star}. The program constructs

ΔQ=(A−1NaˉT)diag⁡(fscale(Q)),Q⋆=Q+ΔQ.(18)\Delta\mathbf{Q} = (\mathbf{A} - \mathbf{1}_{N}\bar{\mathbf{a}}^{\mathsf{T}})\operatorname{diag}(f_{\mathrm{scale}}(\mathbf{Q})), \qquad\mathbf{Q}^{\star} = \mathbf{Q} + \Delta\mathbf{Q}. \tag*{(18)}

Multiplication by the diagonal matrix scales each channel uniformly over the grid. The program restores the candidate conservative means to those of Q\mathbf{Q}. Let ρmin⁡,pmin⁡>0\rho_{\min}, p_{\min} > 0 be density and pressure floors, and let αCNS∈[0,1]\alpha_{\mathrm{CNS}} \in[0,1] be one global coefficient ensuring these strict bounds in the updated state Q+\mathbf{Q}^{+}. The segment update is

Q+=Q+αCNS(Q⋆−Q),αCNS∈[0,1].(19)\mathbf{Q}^{+} = \mathbf{Q} + \alpha_{\mathrm{CNS}}(\mathbf{Q}^{\star} - \mathbf{Q}), \qquad\alpha_{\mathrm{CNS}} \in[0,1]. \tag*{(19)}

For an admissible starting state, an admissible candidate uses αCNS=1\alpha_{\mathrm{CNS}} = 1; otherwise a prescribed number BbisB_{\mathrm{bis}} of bisections determines an admissible lower endpoint of the segment. Boolean tests select the segment, and autograd differentiates its executed arithmetic. The result is converted back to primitive variables. The preserved quantities are the global totals of the four conservative channels on the uniform grid. Proposition 2 establishes the admissibility and conservation properties.

DR: two-query proposal refinement

The sum of two predictor output groups gives a finite-interval concentration proposal δ1∈R2N\delta_1 \in\mathbb{R}^{2N} at the current state qn\mathbf{q}^{n}; the two concentration fields are concatenated in the same order as qn\mathbf{q}^{n}. A second query at an intermediate state gives δ2\delta_2; the program averages the two proposals as in Eq. (9). Both queries use the same context and readout weights. These outputs are concentration proposals learned through the resulting next-state error; the fixed operation is the query-and-average refinement.

SWE: mass-preserving height increment

Only height is observed, with current field vector hn∈RN\mathbf{h}^{n} \in\mathbb{R}^{N} and components hinh_i^{n}. One predictor query directly predicts a height increment Δh∈RN\Delta\mathbf{h} \in\mathbb{R}^{N} in the observed field units. The program centers it and applies one coefficient α∈[0,1]\alpha\in[0,1] to the entire grid, as specified in Eq. (8). Let hmin⁡>0h_{\min} > 0 be a prescribed height floor and ϵd>0\epsilon_d > 0 a numerical denominator floor. For an initial height satisfying hin≥hmin⁡h_i^{n} \ge h_{\min}, the coefficient in Eq. (20) ensures hin+1≥hmin⁡h_i^{n+1} \ge h_{\min} at every cell ii. Since the increment has zero spatial mean and α\alpha is uniform, the update preserves mass in exact arithmetic. The role of the limiter is to shorten the complete increment, rather than clip individual cells. Proposition 1 gives the formula and proof.

CFDB: next-velocity assignment

One predictor query estimates the next two velocity fields, concatenated as a vector in R2N\mathbb{R}^{2N}. The program replaces the current velocity channels and copies auxiliary support channels unchanged, before the output mapping restores the evaluation resolution and channel layout. Within CFDB, spectral/local layers are shared across geometry variants, while pointwise FFNs and velocity heads are geometry-specific.

Properties of the numerical updates

We establish the update properties used by the SWE and CNS numerical programs on a uniform grid. All arrays have finitely many finite-valued entries, arithmetic is exact, and each admissibility factor is a scalar shared by all spatial cells of one sample.

Proposition 1 (Mass and height-floor preservation). On a grid with NN cells and prescribed height floor hmin⁡>0h_{\min} > 0, let h∈RN\mathbf{h} \in\mathbb{R}^{N} satisfy hi≥hmin⁡h_i \ge h_{\min}, and let d∈RN\mathbf{d} \in\mathbb{R}^{N} satisfy ∑idi=0\sum_i d_i = 0. Given a

denominator floor ϵd>0\epsilon_d > 0, denote the cellwise step bounds by rir_i, their clipped minimum by α\alpha, and the updated height by h+\mathbf{h}^{+}. Define

ri={(hi−hmin⁡)/max⁡(−di,ϵd),di<0,1,di≥0,α=min⁡(1,min⁡iri),h+=h+αd.(20)r_i = \begin{cases} (h_i-h_{\min})/\max(-d_i,\epsilon_d), & d_i<0,\\ 1, & d_i\ge0, \end{cases} \qquad \alpha=\min(1,\min_i r_i),\qquad \mathbf{h}^{+}=\mathbf{h}+\alpha\mathbf{d}. \tag*{(20)}

Then 0≤α≤10\le\alpha\le1, hi+≥hmin⁡h_i^{+}\ge h_{\min} for every cell, and ∑ihi+=∑ihi\sum_i h_i^{+}=\sum_i h_i.

Proof. Every ratio is nonnegative. For di≥0d_i\ge0, the update cannot decrease hih_i. For di<0d_i<0, the denominator in Eq. (20) is at least −di-d_i, so α(−di)≤hi−hmin⁡\alpha(-d_i)\le h_i-h_{\min}, which gives the height bound. Since the same α\alpha multiplies every cell, ∑ihi+=∑ihi+α∑idi=∑ihi\sum_i h_i^{+}=\sum_i h_i+\alpha\sum_i d_i=\sum_i h_i. If d=0\mathbf{d}=0, then α=1\alpha=1 and the state is unchanged. A cell at the floor with a negative increment instead gives α=0\alpha=0.

Centering the directly predicted height increment gives d\mathbf{d}. The denominator floor can shorten the permitted step for very small negative increments, but leaves both guarantees intact. The common scale is essential to this construction: cellwise clipping would generally alter the zero-sum increment and hence its mass balance.

Proposition 2 (CNS conservation and admissible segment). At one cell, let m=(ρux,ρuy)T∈R2\mathbf{m}=(\rho u_x,\rho u_y)^{\mathsf{T}}\in\mathbb{R}^{2} denote momentum, with components mx,mym_x,m_y, and c=(ρ,mx,my,E)T∈R4\mathbf{c}=(\rho,m_x,m_y,E)^{\mathsf{T}}\in\mathbb{R}^{4} the conservative state. For γ>1\gamma>1 and positive floors ρmin⁡,pmin⁡\rho_{\min},p_{\min}, let p(c)p(\mathbf{c}) be the pressure recovered from the conservative state and K\mathcal{K} its admissible set:

K={c∈R4:ρ>ρmin⁡, p(c)=(γ−1)(E−∥m∥222ρ)>pmin⁡}.(21)\mathcal{K}=\left\{\mathbf{c}\in\mathbb{R}^{4}:\rho>\rho_{\min},\ p(\mathbf{c})=(\gamma-1)\left(E-\frac{\lVert\mathbf{m}\rVert_{2}^{2}}{2\rho}\right)>p_{\min}\right\}. \tag*{(21)}

Let ci\mathbf{c}_i, ci⋆\mathbf{c}_i^{\star}, and ci+\mathbf{c}_i^{+} be the column vectors corresponding to row ii of Q\mathbf{Q}, Q⋆\mathbf{Q}^{\star}, and Q+\mathbf{Q}^{+}, respectively. Suppose every ci\mathbf{c}_i lies in K\mathcal{K}, and a finite candidate satisfies ∑ici⋆=∑ici\sum_i\mathbf{c}_i^{\star}=\sum_i\mathbf{c}_i. The implemented segment search returns Q+=Q+αCNS(Q⋆−Q)\mathbf{Q}^{+}=\mathbf{Q}+\alpha_{\mathrm{CNS}}(\mathbf{Q}^{\star}-\mathbf{Q}) with every ci+∈K\mathbf{c}_i^{+}\in\mathcal{K} and ∑ici+=∑ici\sum_i\mathbf{c}_i^{+}=\sum_i\mathbf{c}_i. If Q⋆\mathbf{Q}^{\star} is admissible, αCNS=1\alpha_{\mathrm{CNS}}=1. Otherwise, let t∈[0,1]t\in[0,1] denote a segment fraction and αCNS,⋆\alpha_{\mathrm{CNS},\star} the supremum of admissible fractions:

αCNS,⋆=sup⁡{t∈[0,1]:ci+t(ci⋆−ci)∈K for every i}.\alpha_{\mathrm{CNS},\star}=\sup\left\{t\in[0,1]:\mathbf{c}_i+t(\mathbf{c}_i^{\star}-\mathbf{c}_i)\in\mathcal{K}\text{ for every }i\right\}.

For a prescribed bisection count BbisB_{\mathrm{bis}}, the returned lower endpoint satisfies 0≤αCNS,⋆−αCNS≤2−Bbis0\le\alpha_{\mathrm{CNS},\star}-\alpha_{\mathrm{CNS}}\le2^{-B_{\mathrm{bis}}}.

Proof. For two states with densities ρ0,ρ1>0\rho_0,\rho_1>0 and momenta m0,m1\mathbf{m}_0,\mathbf{m}_1, and a fraction t∈[0,1]t\in[0,1], weighted Cauchy–Schwarz gives

∥(1−t)m0+tm1∥22(1−t)ρ0+tρ1≤(1−t)∥m0∥22ρ0+t∥m1∥22ρ1.\frac{\lVert(1-t)\mathbf{m}_0+t\mathbf{m}_1\rVert_2^2}{(1-t)\rho_0+t\rho_1} \le(1-t)\frac{\lVert\mathbf{m}_0\rVert_2^2}{\rho_0}+t\frac{\lVert\mathbf{m}_1\rVert_2^2}{\rho_1}.

Thus p(c)p(\mathbf{c}) is concave where ρ>0\rho>0, and the two strict inequalities in Eq. (21) define a convex set. Intersecting the cellwise admissible segments gives an interval containing zero. In the rejected-candidate branch, initialize lower and upper endpoints at 0 and 1. At every bisection, an accepted midpoint replaces the admissible lower endpoint; a rejected midpoint replaces the upper endpoint. Convexity keeps αCNS,⋆\alpha_{\mathrm{CNS},\star} bracketed, and after BbisB_{\mathrm{bis}} iterations the bracket width is 2−Bbis2^{-B_{\mathrm{bis}}}. The returned lower endpoint is admissible, including when it remains zero. For either branch,

∑ici+=∑ici+αCNS(∑ici⋆−∑ici)=∑ici.\sum_i\mathbf{c}_i^{+} =\sum_i\mathbf{c}_i+\alpha_{\mathrm{CNS}}\left(\sum_i\mathbf{c}_i^{\star}-\sum_i\mathbf{c}_i\right) =\sum_i\mathbf{c}_i.

Mean restoration constructs the conservative candidate required by the proposition. One segment coefficient then acts on all cells and all four conservative components, respecting the strict floors ρmin⁡,pmin⁡\rho_{\min},p_{\min} for a given specific-heat ratio γ>1\gamma>1. Reapplying either program from its admissible output preserves the same constraints in exact arithmetic. The convex admissible set is also used in positivity-preserving finite-volume and discontinuous Galerkin schemes [31]. Here the segment acts on a whole-field candidate and preserves global totals.

Optimization and evaluation

Joint pre-training. Both scales train for 1000 epochs, with 545 updates per epoch, using two devices and local batch 20 (global batch 40). Each trajectory contributes one ten-frame-to-one-frame training window per epoch. Over a ten-epoch cycle, sampling visits the initial window once and early, middle, and late non-initial windows three times each. Batches contain compatible tasks; the epoch plan retains the benchmark’s per-dataset trajectory exposure. Adam uses β1=β2=0.9\beta_1 = \beta_2 = 0.9 and weight decay 10−610^{-6}. OneCycleLR reaches 10−310^{-3} after 20% of training, with initial and final division factors both 10410^4. NS (on its native grid) and DR receive norm-scaled Gaussian input noise with factor 5×10−45 \times10^{-4}; CNS, SWE, CFDB, and all targets remain clean. The loss is the one-step physical-channel relative error in Eq. (11). The 9000 CFDB training rows comprise 581 cavity, 8231 cylinder, and 188 tube examples; all three geometry paths therefore participate in pre-training.

Fine-tuning on the pre-training tasks. Starting from the fixed E1000 checkpoint, the shared encoder and selected system-specific predictor train for 200 complete epochs; other predictors remain frozen. Both scales use global batch 40, the same Adam settings and 20% warmup, and target-only phase-aware sampling. Maximum learning rates are specified per task in Table 7; input noise is disabled. Fine-tuning retains full per-epoch target exposure, giving 5,000 updates for each NS setting, 45,000 for CNS and CFDB, and 4,600 for SWE and DR. Learning rates are fixed from the T-scale held-out E200 rollout-validation diagnostics and reused at both scales. Final refits use the complete original training populations and the fixed E200 checkpoint.

Table 7: Main evaluation populations and fine-tuning schedule for the pre-training tasks at both model scales. Train is the trajectory count used per epoch; test is the fixed evaluated row count. Cpred,r=∣Or∣C_{\mathrm{pred},r} = \lvert O_r \rvert counts scored physical channels, and LrollL_{\mathrm{roll}} counts model-feedback prediction steps after ten input frames. The learning rate is the maximum during E200 fine-tuning.

SettingNative gridTrainTestCpred,rC_{\mathrm{pred},r}LrollL_{\mathrm{roll}}Fine-tune LR
NS 10−510^{-5}64264^21,00020011010−510^{-5}
NS 10−310^{-3}64264^21,00020012010−310^{-3}
CNS1282128^29,00020041110−410^{-4}
SWE1282128^29006019110−310^{-3}
DR1282128^29006029110−310^{-3}
CFDB64264^29,0001,00021010−510^{-5}

Table 7.

Rollout metric and population. After the first ten frames, every predicted frame is fed back to the model. For each trajectory and physical channel, the released relative-L2L_2 metric flattens the spatial grid and the complete reported prediction window together. Channel errors are then averaged over scored channels, and trajectory errors equally over evaluated rows; the denominator includes 10−810^{-8}. Masks exclude padded cells and unscored channels. Thus an H10 entry measures the whole ten-frame prediction window. CFDB scores velocity channels, with geometry/support channels used only as inputs and state assembly. The fixed main population uses the first 1000 rows (zero-based indices 0–999) of the 1182-row packed CFDB test file, comprising 110 cavity and 890 cylinder rows. It is row-weighted; the separate condition study uses case-uniform aggregation. Main and ablation results use fixed final checkpoints. Reported runs use one training seed; few-shot and wave-transfer runs use seed 0.

Few-shot selection protocol. NS at ν=10−4\nu= 10^{-4} supplies 9800 target-training trajectories, and CNS at M=1M = 1 supplies 9000. The last 256 trajectories of each training source form a fixed validation set. The reported training subsets contain 16, 64, or 256 trajectories sampled from the remaining rows. Paired methods use identical training and validation indices. Training runs for 500 epochs with batch min(20, shots), Adam with β1=β2=0.9\beta_1 = \beta_2 = 0.9, weight decay 10−610^{-6}, and OneCycleLR with 20% warmup and division factors 10410^4. NS HotPOT uses maximum learning rates 10−410^{-4}, 10−410^{-4} and 10−510^{-5} at the three budgets, respectively, selected from the evaluated {10−4,10−5}\{10^{-4}, 10^{-5}\} candidates by rollout validation. MoE-POT uses 10−410^{-4} on both targets; CNS HotPOT also uses 10−410^{-4}. Each training trajectory supplies one phase-aware ten-frame-to-next-frame window per epoch. Every ten epochs, validation evaluates autoregressive rollout on all 256 validation trajectories over the target test horizon. The checkpoint with lowest finite validation L2RE is used for testing. Both models update their shared and selected task parameters during adaptation. MoE-POT starts from its local E1000 pre-training checkpoint.

Few-shot rollout evaluation

Each target–budget pair uses its validation-selected checkpoint, including normalization statistics. Evaluation starts from ten input frames and uses model feedback for 20 steps on NS and 11 on CNS, over 200 test trajectories per target. Masked per-channel space–time L2RE is averaged equally over trajectories.

Parameter storage and numerical query counts

Table 8 gives exact parameter counts at both scales; Table 9 compares activated and stored parameters across models.

QuantityHotPOT-THotPOT-S
All-PDE shared history encoder2,011,64811,901,952
Active NS/SWE path16,770,57789,584,673
Active DR path16,903,18890,112,036
Active CFDB geometry path16,905,23490,116,130
Active CNS path17,178,00491,185,956
Stored total97,902,720518,480,368

Table 8. Exact parameter accounting at both scales. Storage includes all system-specific expert paths; an active path includes the shared encoder and the selected system or CFDB geometry path.

ModelActivatedStored total
MoE-POT-T1730
HotPOT-T16.77–17.1897.90
MoE-POT-S90166
HotPOT-S89.58–91.19518.48
MoE-POT-M288489

Table 9. Activated and stored parameters, in millions. MoE-POT counts are the published nominal values [27 Table 5]; HotPOT ranges cover its active routes.

Repeated use of the same predictor counts its weights once in the activated parameter total and contributes to runtime according to the number of calls.

Each setting updates the shared encoder and its selected family-specific predictor. The two NS viscosity settings use the same NS predictor. For CFDB, the encoder and geometry-shared layers train together with the selected geometry’s pointwise FFNs and velocity head. The family selector is deterministic and has no learned router.

Numerical query counts. The history encoder, system-specific context blocks, and spatial decoder run once per saved interval. NS uses two readout calls per numerical substep; DR uses two per saved interval, and CNS, SWE, and each CFDB geometry path use one. Repeated calls reuse the same readout weights, so they increase computation without increasing the number of activated parameters. The present configuration has no matched wall-clock benchmark; parameter counts and query counts describe different aspects of its computational cost.

Additional ablation details and analyses

History sharing and placement. Full uses one learned history encoder across PDE families, followed by private coupling and evolution. Learned private history copies the same encoder architecture into a separately trainable encoder for each family. The two NS settings retain the same family assignment. Predictor architectures, numerical updates, task exposure, and active-path dimensions are retained; storage increases because the history weights are no longer shared. Late-shared evolution uses field-history tokenization before private coupling and moves the shared processing to the evolution stage. Late-private evolution uses the corresponding placement with family-private weights. Table 10 summarizes the four combinations.

ModelPlacementWeightsStored (M)Mean L2RE
FullHistoryShared97.900.0101
Learned private historyHistoryPrivate105.950.0104
Late-shared evolutionEvolutionShared97.900.0286
Late-private evolutionEvolutionPrivate105.950.0287

Table 10. History/evolution placement and sharing controls. The mean equally weights six settings; all results use fixed E1000 checkpoints.

Direct-state and iterative controls. Direct abbreviates the Direct-state predictor control. Full and Direct retain the same encoder, system-specific mixers, context decoders, and readout-head architectures, with 97,902,720 stored parameters and identical activated counts. Their history features, statistics, task inputs, and masks match. Direct replaces the prediction–update interface with residual state prediction, retaining nominal readout-call counts. It therefore changes prediction quantities, numerical execution, and stage-state queries together. Generic iteration uses the same cached history context and shared readout weights to refine the NS state through state-dependent residual queries. Its intervention tests the NS numerical update against a learned iterative alternative. Other paths retain their configured update structures. All rows are trained under the same E1000 multi-PDE protocol.

Space–time visualization of two-dimensional tasks. The SWE and DR tasks have two spatial dimensions, xx and yy. The two DR concentration fields are denoted by uu and vv. Figure 3 stacks their two-dimensional error fields over forecast steps to form (x,y,n)(x, y, n) space–time volumes, where nn indexes the forecast step. The third rendering axis therefore represents time, not a third spatial dimension. We compare HotPOT with Late-shared evolution using fixed example 0 and all 91 forecast steps. Two complementary two-dimensional cuts accompany each volume pair: an xx–yy map at step 91 locates the final spatial error differences, and an xx–time map at zero-based grid index y=64y = 64 shows how the local differences evolve. These cuts expose local differences without occlusion by the volume rendering.

Space–time errors and two-dimensional cuts for the sharing-location comparison

Figure 3. Space–time errors and two-dimensional cuts for the sharing-location comparison. Rows show SWE height and both DR fields for fixed example 0. The first two columns render absolute errors in two spatial dimensions and forecast time. The last two columns show HotPOT absolute error minus Late-shared evolution absolute error: an xx–yy slice at step 91 and an xx–time slice at zero-based y=64y = 64. Blue denotes lower error for HotPOT; orange denotes lower error for Late-shared evolution. Within each field, the error volumes share the camera, full-range color mapping, and opacity mapping; opacity increases with absolute error. The two cuts share a symmetric range determined by the full space–time error difference. Volume colorbars describe scalar values before compositing, whereas the cuts display local scalar differences directly.

In these illustrated trajectories, the DR spatial cuts contain extended regions of lower HotPOT error, and the time cuts show differences persisting across many forecast steps. For SWE, the time cut localizes differences along the moving wave pattern. These local views complement the six-setting aggregate comparison in Table 2.

Full-population temporal errors. Figure 4 aggregates every trajectory in the six main-test populations. It connects the final aggregate scores in Table 2 and Table 3 to the evolution of prediction error through time. The per-step metric differs from full-horizon L2RE, which forms one norm over the complete space–time window.

Autoregressive error over the complete test populations

Figure 4. Mean per-step errors across the complete test populations. Each curve averages per-trajectory, scored-channel relative L2L_2 error at each forecast step. All models use fixed E1000 checkpoints and their own autoregressive feedback. CFDB uses the same row-weighted population as the main table. Vertical axes are logarithmic.

Figure 5 shows where Full and Generic iteration differ on four matched NS trajectories.

NS numerical execution and generic iteration

Figure 5. NS numerical execution and generic iteration. The first four test examples at ν=10−3\nu= 10^{-3} use matched reference trajectories. The first two columns show final-step absolute errors; the third shows their difference. The fourth is an xx–time cut at the central yy index through the difference volume. Blue favors Full, orange favors Generic iteration. Error scales are shared across all four examples; difference scales are symmetric and use the complete forecast volumes. The task has two spatial dimensions; the rightmost vertical axis is time.

Few-shot transfer to the wave family

Data and initialization. Wave-Layer and Wave-Gauss are two datasets from one wave-equation family in the Poseidon benchmark [7]. Neither belongs to either source checkpoint’s six-dataset pre-training mixture. For each target, we use a fixed custom split of mutually disjoint original trajectories: 1,800 in the training pool, 100 for validation, and 200 for testing. Each original trajectory belongs to exactly one split; sampled temporal windows remain within that split. All methods use these same splits. The two targets are evaluated separately at 128 × 128 resolution with ten input frames and 11/6 forecast frames for Layer/Gauss. Nested subsets contain 16, 32, 64, or 128 training trajectories.

HotPOT transfer initializes the 2.012M-parameter field-wise history encoder from the 17M E1000 source checkpoint. A scalar system-specific predictor is randomly initialized, and all 16.771M target-model parameters are trained. The scratch control has the same architecture and identical initial predictor weights, differing only in encoder initialization. Both use a common residual-prediction architecture that adds the predicted increment to the current displacement. Each model retains its native input normalization. MoE-POT loads its full local 1000-epoch pre-training checkpoint, updates all its trainable parameters, including the feature extractor and gating parameters.

Training and testing. All methods use the same target splits, sampled windows, training budget, optimizer, learning-rate schedule, and validation-selection rule. All runs use 500 epochs, batch min⁡(20,shots)\min(20,\mathrm{shots}), Adam with β1=β2=0.9\beta_{1} = \beta_{2} = 0.9 and weight decay 10−610^{-6}, and OneCycleLR with maximum 10−410^{-4}, 20% warmup, and both division factors 10410^{4}. Each epoch samples one ten-frame-to-nextframe window per trajectory; the sampling indices and order are matched across arms. Validation evaluates the full rollout every ten epochs. The lowest validation error selects the checkpoint, with the earliest checkpoint breaking ties. The selected model is evaluated on the 200 held-out test trajectories.

The metric is the trajectory-uniform mean of per-step spatial L2RE, with denominator floor 10−810^{-8} and each model’s own autoregressive feedback.

Results. Encoder transfer lowers error relative to MoE-POT full fine-tuning by 12.1–39.8% on Wave-Layer and 11.9–32.9% on Wave-Gauss. It also improves on scratch training in all eight target–budget pairs, with reductions of 6.5–8.4% on Layer and 0.6–16.4% on Gauss. The comparison with scratch measures the effect of pre-trained encoder initialization under this matched target architecture and training protocol.

Physical diagnostics

For NS, relative enstrophy error compares the spatial mean squared vorticity with the reference at each forecast step and divides by the reference value, floored at 10−810^{-8}. For SWE and CNS, conservation drift measures the absolute change of a predicted spatial mean from the last observed state. SWE normalizes by the initial absolute mean height; CNS normalizes each conservative component by its initial spatial mean absolute value. Metrics average all forecast steps and then all test trajectories.

Full has lower mean enstrophy error on both NS settings and lower conservation drift on SWE and CNS than Direct in Table 12. Propositions 1 and 2 establish constraint preservation in exact arithmetic; the table measures the implemented floating-point rollouts. The CFDB program copies auxiliary support channels exactly.

SystemDiagnosticFullDirect
NS 10−510^{-5}Relative enstrophy error1.78×10−31.78 \times10^{-3}3.63×10−33.63 \times10^{-3}
NS 10−310^{-3}Relative enstrophy error2.16×10−32.16 \times10^{-3}2.51×10−32.51 \times10^{-3}
CNSNormalized mass drift7.63×10−87.63 \times10^{-8}2.04×10−42.04 \times10^{-4}
Normalized energy drift8.15×10−88.15 \times10^{-8}2.06×10−42.06 \times10^{-4}
SWERelative mass drift1.19×10−91.19 \times10^{-9}9.31×10−59.31 \times10^{-5}

Table 12. Physical diagnostics over the complete test rollouts of fixed E1000 Full and Direct models. Values average all trajectories and forecast steps; lower is better.

Observed numerical execution. To distinguish mean correction from admissibility limiting, we observe the actual E1000 Full program on all 60 SWE trajectories over 91 steps and all 200 CNS trajectories over 11 steps. At each step, we record the uncentered neural proposal, the mean-corrected candidate, and the executed state along the model’s own feedback trajectory.

Figure 6 shows the drift before and after mean correction. The limiter coefficient equals one at all 7,660 evaluated updates, so each mean-corrected candidate is executed unchanged. The minimum executed SWE height is 0.2519; the minimum CNS density and pressure are 0.05715 and 0.3181, respectively.

Mean drift by update stage, SWE height, and CNS density

Figure 6. Numerical execution along the fixed E1000 HotPOT rollouts. (a) Mean absolute spatial-mean drift at each program stage, averaged over all recorded trajectory–step pairs for SWE height, CNS density, and CNS energy. (b,c) Per-step drift for SWE height and CNS density. Drift is the absolute change in spatial mean from the current state to the candidate next state, in released field units. Lines show arithmetic means and bands the 25th–75th percentiles across trajectories. All stages use the same current state on the model’s own feedback trajectory.

SWE reference compatibility. Across all 60 reference trajectories and their 91 forecast frames, float64 spatial reductions give the following compatibility measures. Relative to the last observed frame, the maximum absolute change in mean height is 1.20×10−91.20 \times10^{-9}. After shifting each forecast reference to that initial mean, both the initial and mean-shifted reference fields have minimum height above 0.2559, well above the 10−610^{-6} floor. The shifted references are compatible with the mass-preserving update in Appendix § 9.§ 3. Let href,n∈RN\mathbf{h}^{\mathrm{ref},n} \in\mathbb{R}^{N} be the forecast reference field, hˉref,n=⟨href,n⟩\bar{h}^{\mathrm{ref},n} = \langle\mathbf{h}^{\mathrm{ref},n} \rangle its spatial mean, and hˉobs\bar{h}^{\mathrm{obs}} the mean of the last observed input frame. The relative L2L_2 discrepancy associated with the initial mean, N∣hˉref,n−hˉobs∣/∥href,n∥2\sqrt{N}|\bar{h}^{\mathrm{ref},n} - \bar{h}^{\mathrm{obs}}|/\|\mathbf{h}^{\mathrm{ref},n}\|_2, averages 2.27×10−102.27 \times10^{-10} over trajectories and forecast steps.

Paired field visualizations

Figure 7 and Figure 8 compare reference fields, model predictions, and absolute errors across six settings, including separate cavity and cylinder examples. Labels uxu_x, uyu_y denote velocity components in CNS and CFDB. All scored fields use shared color scales within each row. Both 17M-active models use fixed E1000 checkpoints, the same ten-frame history, and autoregressive feedback.

Predictions and absolute errors for NS, CNS, and SWE, with Reference, MoE-POT, HotPOT, MoE-POT |error|, and HotPOT |error| columns. Panels show (a) NS ($\nu=10^{-5}$) · Vorticity, (b) NS ($\nu=10^{-3}$) · Vorticity, (c) CNS · Velocity $u_x$, (d) CNS · Velocity $u_y$, (e) CNS · Density, (f) CNS · Pressure, and (g) SWE · Height.

Figure 7. Predictions and absolute errors: NS, CNS, and SWE. All scored fields are shown at the final forecast step (NS/SWE: row 0; CNS: row 1). Reference and prediction fields share color limits within each row; error maps share a zero lower bound and the full-rollout maximum. Signed fields use zero-centered scales.

Predictions and absolute errors for DR and CFDB

Figure 8. Predictions and absolute errors: DR and CFDB. All scored fields appear at the last forecast step (DR/cavity: row 0; cylinder: row 110). Within each row, reference and prediction fields share color limits; error maps share a zero lower bound and the full-rollout maximum.

Temporal error profiles. Figure 9 follows the same seven examples through every forecast step, complementing the final-frame maps with their temporal error profiles.

Temporal errors for seven illustrated trajectories

Figure 9. Temporal errors for the seven illustrated trajectories. Both E1000 models use autoregressive feedback from the same ten-frame histories. Each unsmoothed curve averages spatial L2RE over scored channels.

Space–time error structure

We examine the SWE and DR trajectories from Appendix § 9.9, retaining all 91 forecast steps and both DR fields. Fixing zero-based grid index y=64y = 64 gives xx–time cuts with forecast time on the vertical axis (Figure 10). SWE shows outward-moving and returning waves; DR shows evolving concentration patterns. Color scales are shared within each field.

Space–time slices of SWE height and DR $u$, $v$

Figure 10. Space–time slices of SWE height and DR uu, vv at zero-based y=64y = 64. Axes are xx grid index and forecast step. Reference/prediction colors share full-array extrema within each row; error panels use zero to the full-array maximum. Both examples use trajectory row 0.

References

  1. [1]Yohai Bar-Sinai, Stephan Hoyer, Jason Hickey, and Michael P. Brenner. Learning data-driven discretizations for partial differential equations. Proceedings of the National Academy of Sciences, 116(31):15344–15349, 2019. doi: 10.1073/pnas.1814058116.
  2. [2]John Crank and Phyllis Nicolson. A practical method for numerical evaluation of solutions of partial differential equations of the heat-conduction type. Mathematical Proceedings of the Cambridge Philosophical Society, 43(1):50–67, 1947. doi: 10.1017/S0305004100023197.DOI
  3. [3]Vignesh Gopakumar, Ander Gray, Dan Giles, Lorenzo Zanisi, Matt J. Kusner, Timo Betcke, Stanislas Pamela, and Marc Peter Deisenroth. Learning physical operators using neural operators, 2026. URL https://arxiv.org/abs/2602.23113.
  4. [4]John Guibas, Morteza Mardani, Zongyi Li, Andrew Tao, Anima Anandkumar, and Bryan Catanzaro. Adaptive fourier neural operators: Efficient token mixers for transformers, 2022. URL https://arxiv.org/abs/2111.13587.
  5. [5]Zhongkai Hao, Chang Su, Songming Liu, Julius Berner, Chengyang Ying, Hang Su, Anima Anandkumar, Jian Song, and Jun Zhu. DPOT: Auto-regressive denoising operator transformer for large-scale PDE pre-training. In Proceedings of the 41st International Conference on Machine Learning, volume 235 of Proceedings of Machine Learning Research, pp. 17616–17635. PMLR, 2024. URL https://proceedings.mlr.press/v235/hao24d.html.arxiv.org/abs/2403.03542
  6. [6]Dan Hendrycks and Kevin Gimpel. Gaussian error linear units (GELUs), 2016. URL https://arxiv.org/abs/1606.08415.
  7. [7]Maximilian Herde, Bogdan Raonić, Tobias Rohner, Roger Käppeli, Roberto Molinaro, Emmanuel de Bézenac, and Siddhartha Mishra. Poseidon: Efficient foundation models for PDEs. In Advances in Neural Information Processing Systems, volume 37, 2024. URL https://proceedings.neurips.cc/paper_files/paper/2024/hash/84e1be1cb1157234e96433022a9a-Abstract-Conference.html.arxiv.org/abs/2405.19101
  8. [8]Hamda Hmida, Hsiu-Wen Chang Joly, and Youssef Mesri. CompNO: A novel foundation model approach for solving partial differential equations. Applied Sciences, 16(2):972, 2026. doi: 10.3390/app16020972. URL https://www.mdpi.com/2076-3417/16/2/972.DOI
  9. [9]Matthias Karlbauer, Timothy Praditia, Sebastian Otte, Sergey Oladyshkin, Wolfgang Nowak, and Martin V. Butz. Composing partial differential equations with physics-aware neural networks. In Proceedings of the 39th International Conference on Machine Learning, volume 162 of Proceedings of Machine Learning Research, pp. 10773–10801. PMLR, 2022. URL https://proceedings.mlr.press/v162/karlbauer22a.html.arxiv.org/abs/2111.11798
  10. [10]Dmitrii Kochkov, Jamie A. Smith, Ayya Alieva, Qing Wang, Michael P. Brenner, and Stephan Hoyer. Machine learning accelerated computational fluid dynamics. Proceedings of the National Academy of Sciences, 118(21):e2101784118, 2021. doi: 10.1073/pnas.2101784118. URL https://doi.org/10.1073/pnas.2101784118.
  11. [11]Zongyi Li, Nikola Kovachki, Kamyar Azizadehnesheli, Burigede Liu, Kaushik Bhattacharya, Andrew Stuart, and Anima Anandkumar. Fourier neural operator for parametric partial differential equations, 2021. URL https://arxiv.org/abs/2010.08895.
  12. [12]Qiang Liu, Felix Koehler, Benjamin Holzschuh, and Nils Thuerev. Tadpole: Autoencoders as foundation models for 3d PDEs with online learning, 2026. URL https://arxiv.org/abs/2605.15284.
  13. [13]Yining Luo, Yingfa Chen, and Zhen Zhang. CFDBench: A large-scale benchmark for machine learning methods in fluid dynamics, 2023. URL https://arxiv.org/abs/2310.05963.
  14. [14]Michael McCabe, Bruno Régaldo-Saint Blancard, Liam Holden Parker, Ruben Ohana, Miles Cranmer, Alberto Bietti, Michael Eickenberg, Siavash Golkar, Geraud Krawczik, Francois Lanusse, Mariel Pettee, Tiberiu Tesileanu, Kyunghyun Cho, and Shirley Ho. Multiple physics pretraining for spatiotemporal surrogate models. In Advances in Neural Information Processing Systems, volume 37, 2024. URL https://proceedings.neurips.cc/paper_files/paper/2024/hash/d7cb9db5ade2db7814fbd01ee59f4c7b-Abstract-Conference.html.DOI
  15. [15]Michael McCabe, Payel Mukhopadhyay, Tanya Marwah, Bruno Regaldo-Saint Blancard, Francois Rozet, Cristiana Diaconu, Lucas Meyer, Kaze W. K. Wong, Hadi Sotoudeh, Alberto Bietti, Irina Espejo, Rio Fear, Siavash Golkar, Tom Hehir, Keiya Hirashima, Geraud Krawczik, Francois Lanusse, Rudy Morel, Ruben Ohana, Liam Parker, Mariel Pettee, Jeff Shen, Kyunghyun Cho, Miles Cranmer, and Shirley Ho. Walrus: A cross-domain foundation model for continuum dynamics. In Proceedings of the 43rd International Conference on Machine Learning, 2026. URL https://icml.cc/virtual/2026/poster/62018.arxiv.org/abs/2511.15684
  16. [16]Rudy Morel, Jiequn Han, and Edouard Oyallon. DISCO: Learning to DISCover an evolution operator for multi-physics-agnostic prediction. In Proceedings of the 42nd International Conference on Machine Learning, volume 267 of Proceedings of Machine Learning Research, pp. 44750–44774. PMLR, 2025. URL https://proceedings.mlr.press/v267/morel25a.html.arxiv.org/abs/2504.19496
  17. [18]Md Ashiqur Rahman, Robert Joseph George, Mogab Elleithy, Daniel Leibovici, Zongyi Li, Boris Bonev, Colin White, Julius Berner, Raymond A. Yeh, Jean Kossaifi, Kamyar Azizzadenesheli, and Anima Anandkumar. Pretraining codomain attention neural operators for solving multiphysics PDEs. In Advances in Neural Information Processing Systems, volume 37, 2024. URL https://proceedings.neurips.cc/paper_files/paper/2024/hash/bc75fa9843a7905bbed9d83895a88f7f-Abstract-Conference.html.arxiv.org/abs/2403.12553
  18. [20]Gilbert Strang. On the construction and comparison of difference schemes. SIAM Journal on Numerical Analysis, 5(3):506–517, 1968. doi: 10.1137/0705041.DOI
  19. [21]Dengdi Sun, Xiaoya Zhou, Xiao Wang, Hao Si, Wanli Lyu, Jin Tang, and Bin Luo. NESTOR: A nested MOE-based neural operator for large-scale PDE pre-training. In Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, pp. 6147–6156, 2026a. https://openaccess.thecvf.com/content/CVPR2026/html/Sun_NESTOR_A_Nested_MOE-based_Neural_Operator_for_Large-Scale_PDE_Pre-Training_CVPR_2026_paper.html.arxiv.org/abs/2602.22059
  20. [22]Jingmin Sun, Yuxuan Liu, Zecheng Zhang, and Hayden Schaeffer. Towards a foundation model for partial differential equations: Multioperator learning and extrapolation. Physical Review E, 111(3):035304, 2025. doi: 10.1103/PhysRevE.111.035304. URL https://journals.aps.org/pre/abstract/10.1103/PhysRevE.111.035304.DOI
  21. [23]Li Sun, Hongbo Lv, Zhikai Jiang, Zhongtian Sun, Lanxu Yang, and Philip S. Yu. Origo: Interpretable multi-physics PDE foundation model through neural operator splitting. In Proceedings of the 43rd International Conference on Machine Learning, 2026b. URL https://icml.cc/virtual/2026/poster/61760.
  22. [24]Makoto Takamoto, Timothy Praditia, Raphael Leiteritz, Daniel MacKinlay, Francesco Alesiani, Dirk Pflüger, and Mathias Niepert. PDEBench: An extensive benchmark for scientific machine learning. In Advances in Neural Information Processing Systems, volume 35, 2022. URL https://proceedings.neurips.cc/paper_files/paper/2022/hash/0a9747136d411fb83f0cf81820d44af-Abstra ct-Datasets_and_Benchmarks.html.arxiv.org/abs/2210.07182
  23. [25]Alessandro Trenta, Andrea Cossu, and Davide Bacciu. ComPhy: Composing physical models with end-to-end alignment. In International Conference on Learning Representations, 2026. URL https://proceedings.iclr.cc/paper_files/paper/2026/hash/10f34ee79b62627b7ebf6279d35ea480-Abstract-Conference.html.
  24. [26]Kiwon Um, Robert Brand, Yun (Raymond) Fei, Philipp Holl, and Nils Thuerey. Solver-in-the-loop: Learning from differentiable physics to interact with iterative PDE-solvers. In Advances in Neural Information Processing Systems, volume 33, 2020. URL https://proceedings.neurips.cc/paper/2020/hash/43e4e6a6f341e00671e123714de019a8-Abstract.html.arxiv.org/abs/2007.00016
  25. [27]Hong Wang, Haiyang Xin, Jie Wang, Xuanze Yang, Fei Zha, Huanshuo Dong, and Yan Jiang. Mixture-of-experts operator transformer for large-scale PDE pre-training. In Advances in Neural Information Processing Systems, volume 38, 2025. URL https://proceedings.neurips.cc/paper_files/paper/2025/hash/2d23a9991a6f64482bf3395628e27f95f-Abstract-Conference.html.arxiv.org/abs/2510.25803
  26. [28]Yuxin Wu and Kaiming He. Group normalization. In Proceedings of the European Conference on Computer Vision, pp. 3–19, 2018. URL https://openaccess.thecvf.com/content_ECCV_2018/html/Yuxin_Wu_Group_Normalization_ECCV_2018_paper.html.arxiv.org/abs/1803.08494
  27. [29]Zhanhong Ye, Xiang Huang, Leheng Chen, Hongsheng Liu, Zidong Wang, and Bin Dong. PDE-former: Towards a foundation model for one-dimensional partial differential equations, 2024. URL https://arxiv.org/abs/2402.12652.
  28. [30]Yuan Yin, Vincent Le Guen, Jérémie Dona, Emmanuel de Bézenac, Ibrahim Ayed, Nicolas Thome, and Patrick Gallinari. Augmenting physical models with deep networks for complex dynamics forecasting. Journal of Statistical Mechanics: Theory and Experiment, 2021(12):124012, 2021. doi: 10.1088/1742-5468/ac3ae5.DOI
  29. [31]Xiangxiong Zhang and Chi-Wang Shu. On positivity-preserving high order discontinuous Galerkin schemes for compressible Euler equations on rectangular meshes. Journal of Computational Physics, 229(23):8918–8934, 2010. doi: 10.1016/j.jcp.2010.08.016. URL https://doi.org/10.1016/j.jcp.2010.08.016.
  30. [32]Hang Zhou, Yuezhou Ma, Haixu Wu, Haowen Wang, and Mingsheng Long. Unisolver: PDE-conditional transformers towards universal neural PDE solvers. In Proceedings of the 42nd International Conference on Machine Learning, volume 267 of Proceedings of Machine Learning Research, pp. 79061–79088. PMLR, 2025. URL https://proceedings.mlr.press/v267/zhou25r.html.arxiv.org/abs/2405.17527

Paper details

vlnc:W_4vx4pa2g
v1 · latestHistory (1)

published · Fresh — added to the Hub within the last 30 days

added ·

Usage

views · 0

downloads · 0

A view counts once per browser per day, a download each time the PDF is requested.

CC BY 4.0

Original source

  • Computer Science

Generative AI tools · View statement →

Looking for related papers…
Contents