Physics-informed Gaussian processes (GPs) provide a principled framework for scientific inference by expressing uncertainty over empirical measurements, boundary conditions, and governing equations. However, they struggle to scale to larger datasets and nonlinear information. Conversely, diffusion models excel at learning complex distributions over functions from massive datasets, but struggle in scientific contexts where training data are scarce and physical or observational information must be incorporated. We propose a structured posterior-correction framework that combines a tractable Gaussian reference with data-driven corrections via generative learning. After a mean correction and covariance calibration, a diffusion model learns a targeted correction in a low-dimensional subspace selected to capture discrepancies from the reference, while the complement retains its Gaussian law. Across three scientific inference tasks, these corrections recover hidden modes, improve sample structure, and reduce prediction error relative to the Gaussian reference. Comparisons with full-field generative models reveal task-dependent benefits and tradeoffs between predictive accuracy and computational cost.
Figures & tables
Figure 1: Illustrative correction pipeline for a CR3BP trajectory in the rotating Earth–Moon frame: target orbit ( ), Gaussian reference ( ), and learned corrections ( ); thin curves are samples. Left: reference mean and samples. Middle: mean correction shifts the reference toward the target. Right: covariance and diffusion correction refines the ensemble spread. Earth and Moon mark their normalized locations; marks the trajectory start.
Synthetic
Smoke
CR3BP
Method
CRPS
dC
C90
PCD
CRPS
dC
C90
PCD
CRPS
ES
C90
Jacobi
Scaffold
0.2859
0.1884
0.30
667
0.0714
0.0585
0.92
7072
0.1588
11.26
0.89
1.46
KO
0.2130
0.0427
0.90
1242
0.0714
0.0584
0.92
7079
0.2726
19.03
0.96
5.50
Diff
0.2208
0.0575
0.86
1256
0.0434
0.0014
0.89
37
0.1785
10.91
0.99
2.89
[0.4pt/2pt] Scaffold + M
0.2744
0.1659
0.33
512
0.0619
0.0385
0.94
6906
0.1178
7.83
0.93
2.01
Rescale
0.2014
0.0193
0.94
406
0.0595
0.0336
0.92
5190
0.0916
7.60
0.94
0.79
Table 1: Main results, mean over three seeds. Synthetic : d=512 , n=2000 ; Smoke : d=1024 , n=8192 ; CR3BP : d=2004 , n=7500 . Lower is better except C90 (target 0.90 ). Baselines are above the dashed line, scaffold corrections below it, and exact references below the solid rule (not available for CR3BP ). Bold: mean ± one s.d. overlaps the best non-reference method.
Figure 2: Synthetic . Top: Cramér distance dC to the exact posterior versus training-set size; mean and range over three seeds. Bottom: pooled bump amplitudes at n=1000 and 2000 (dotted lines; single seed) against the exact density (black). Rescale cannot split the sign modes; Gain-Diff does so by n=1000 , Full-Diff only by n=2000 .
Figure 3: Smoke training and sampling costs at n=8192 , d=1024 . Methods: Gain-Mix ( ), Gain-Diff ( ), Full-Diff ( ), Diff ( ). The arrow indicates improvement; points show timing medians over three seeds. Training includes selection and excludes evaluation; sampling produces 100 draws for one context.
Figure 4: Smoke posterior draws for one set of sensor observations (first three draws per method; rows are not paired). Exact draws are narrow plumes in different directions; the scaffold smears smoke across directions, while Gain-Diff and Diff recover localized plumes. Stars: source; circles: sensors.
Figure 5: CR3BP ( n=7500 , single seed). Top: first five draws per method for one initial state, with the reference trajectory in black; Gain-Diff ( ) stays close to the reference orbit, while Full-Diff ( ) and Diff ( ) scatter. Bottom: CRPS over time, averaged over the four state coordinates and all test contexts.
Appendix figures & tables15 assets
Supplementary material from the paper’s appendix.
Appendix
Figure 6: Illustration of the correction principle in two dimensions. Dashed contours mark two target modes. Correcting the mean and covariance accounts for location and spread, but leaves the Gaussian unable to represent both modes. Replacing the law along the horizontal direction recovers the bimodality while retaining a Gaussian in the vertical direction.
Method
Anchor
Gaussian part
Learned law
Problems
Defined in
Scaffold
mc
Cc
–
all
Section 2
Scaffold + M
μ^c
Cc
–
all
Section 2
Rescale
μ^c
LcLc⊤
–
all
Section A.2
Gain-Mix
μ^c
Lc(I−UU⊤)Lc⊤
mixture on k coordinates
all
Section A.4
Gain-Diff
μ^c
Lc(I−UU⊤)Lc⊤
DDPM on k coordinates
all
Section A.4
Full-Diff
μ^c
–
DDPM on all d coordinates
all
Section A.4
Appendix
Table 2: Method roster. Lc : calibrated factor ( Section A.2 ); k : block size; mixtures are products of one-dimensional Gaussian mixtures; KO is shown before conditioning on readings. Grey rows require the exact posterior.
Synthetic
Smoke
CR3BP
d
512
1024 ( 32×32 )
2004 ( 501×4 )
ntrain / nval
2000 / 500
8192 / 500
7500 / 500
Mean
linear (ridge)
MLP 2×128 , span-projected
MLP 2×256
Floor σ
log-score grid
τ
– (per context)
cτ / contrast
0 / pooled
0.2 / conditional
0.2 / conditional
Search span
resolved
resolved
64
Appendix
Table 3: Per-problem settings. Learning rates are for the block DDPM and Diff ; budgets are in optimizer steps.
Method
CRPS
dC
C90
PCD
ES
RMSE
k
Scaffold
0.2859 ± 0.0016
0.1884 ± 0.0006
0.30 ± 0.00
667 ± 5
7.86 ± 0.04
0.4036 ± 0.0016
–
KO
0.2130 ± 0.0011
0.0427 ± 0.0002
0.90 ± 0.00
1242 ± 5
6.46 ± 0.03
0.4055 ± 0.0017
–
Diff
0.2208 ± 0.0013
0.0575 ± 0.0012
0.86 ± 0.00
1256 ± 18
6.79 ± 0.04
0.4241 ± 0.0024
–
[0.4pt/2pt] Scaffold + M
0.2744 ± 0.0012
0.1659 ± 0.0002
0.33 ± 0.00
512 ± 2
7.69 ± 0.03
0.3955 ± 0.0012
0
Rescale
0.2014 ± 0.0007
0.0193 ± 0.0002
0.94 ± 0.00
406 ± 0
6.26 ± 0.02
0.3955 ± 0.0012
0
Gain-Mix
0.1936 ± 0.0007
0.0026 ± 0.0001
0.89 ± 0.00
23 ± 3
6.27 ± 0.02
0.3955 ± 0.0012
16
Appendix
Table 4: Synthetic ( d=512 , n=2000 ): mean ± standard deviation over three seeds (500 contexts × 100 draws). Corrected methods share the RMSE of their mean stage; k is the block size.
Figure 7: Synthetic learning curves for six further metrics, using 500 test contexts and 100 draws per context. Lines show means and bands span three seeds. Dashed and dotted lines show Exact-GP and Exact , respectively; the horizontal rule in the coverage panel marks 0.90 . Distance panels use logarithmic scales with a linear region near zero.
Figure 8: Synthetic posterior draws at n=2000 (seed 10): three draws per method for the first test context, over the true function (dashed) and the readings (dots). Hatching marks the exact pointwise 90% intervals and dotted lines the sensors. The readings do not determine the bump signs, so valid draws need not match the true function between sensors.
Figure 9: The draws of Figure 8 and three exact draws on the first four sensor gaps, centered on the exact posterior mean mG(y) ; dotted lines mark the sensors.
Method
Fit + evaluation (s)
Rescale
40
Gain-Mix
349
Gain-Diff
361
Full-Diff
276
Diff
208
Appendix
Table 5: Synthetic , n=2000 : median fit-plus-evaluation time (s) over three seeds on an RTX 2080 Ti. Includes selection; excludes data preparation.
Figure 10: Smoke . (a) Prior over the wind direction. (b) Smoke plume shapes gφ for six directions, with the source ( ⋆ ) and the sensors ( ∘ ). (c–e) Three draws of the field: a sharp ray whose direction changes from draw to draw, on a quiet background.
field
source
Method
CRPS
dC
Cov90
PCD
ES
RMSE
CRPS
dC
Cov90
k
Scaffold
0.0714 ± 0.0002
0.0585 ± 0.0001
0.92
7072.3 ± 10.9
3.561 ± 0.012
0.1631 ± 0.0005
0.1342 ± 0.0020
0.1306 ± 0.0013
0.93
–
KO
0.0714 ± 0.0002
0.0584 ± 0.0001
0.92
7078.7 ± 18.5
3.560 ± 0.012
0.1631 ± 0.0006
0.1342 ± 0.0021
0.1307 ± 0.0014
0.93
–
Diff
0.0434 ± 0.0009
0.0014 ± 0.0002
0.89
36.5 ± 1.3
2.515 ± 0.029
0.1353 ± 0.0017
0.0714 ± 0.0015
0.0028 ± 0.0004
0.89
–
[0.4pt/2pt] Scaffold + M
0.0619 ± 0.0005
0.0385 ± 0.0001
0.94
6906.3 ± 38.3
2.966 ± 0.017
0.1372 ± 0.0012
0.1135 ± 0.0020
0.0882 ± 0.0006
0.94
0
Rescale
0.0595 ± 0.0006
0.0336 ± 0.0001
0.92
5190.5 ± 35.1
2.914 ± 0.018
0.1372 ± 0.0012
0.1082 ± 0.0020
0.0775 ± 0.0006
0.92
0
Appendix
Table 6: Smoke , reported methods: field and source-disk scores, 500 test contexts × 100 draws, mean ± std over seeds 10, 11, 12 ( ntrain=8192 ). dC : Cramér distance to the exact posterior (Exact: its split-half floor); PCD: the Cramér distance between posterior log-density score distributions for generated and exact draws; RMSE: root mean squared error of the predictive mean; k : the selected block’s size. Best non-reference value in bold, references in grey.
Figure 11: Smoke posterior draws for all retained methods and the two exact references. The readings, training size ( n=8192 ), training seed ( 10 ) and first three draws match Figure 4 ; rows are not paired realizations. Exact-GP matches the exact posterior’s conditional mean and covariance. All panels share a concentration scale: brown is positive, blue is negative. Stars mark the source; circles mark sensors.
Figure 12: Smoke learning curve: share of the scaffold-to-exact CRPS gap closed. Lines show seed means and bands span seeds. Filled points have three seeds; open points have two (scratch diffusion at n=1024 and 4096 ). The curve starts at n=1024 , where all methods have results. Scratch diffusion leads throughout the measured range.
Method
Fit + evaluation (s)
Rescale
80
Gain-Mix
527
Gain-Diff
687
Full-Diff
1270
Diff
2983
Appendix
Table 7: Smoke , n=8192 : median fit-plus-evaluation time (s) over three seeds on an L40S. Includes selection; excludes data preparation.
Method
CRPS
ES
Jacobi err.
C 90
CRPS pos
CRPS vel
CRPS final
k
Scaffold
0.1588 ± 0.0002
11.26 ± 0.05
1.46 ± 0.01
0.89
0.1713 ± 0.0020
0.1462 ± 0.0023
0.592 ± 0.003
–
KO
0.2726 ± 0.0108
19.03 ± 0.59
5.50 ± 0.26
0.96
0.2910 ± 0.0119
0.2541 ± 0.0097
1.091 ± 0.025
–
Diff
0.1785 ± 0.0036
10.91 ± 0.27
2.89 ± 0.01
0.99
0.2031 ± 0.0038
0.1538 ± 0.0034
0.384 ± 0.014
–
[0.4pt/2pt] Scaffold + M
0.1178 ± 0.0028
7.83 ± 0.26
2.01 ± 0.03
0.93
0.1217 ± 0.0023
0.1138 ± 0.0036
0.397 ± 0.015
0
Rescale
0.0916 ± 0.0024
7.60 ± 0.23
0.79 ± 0.02
0.94 ± 0.01
0.0911 ± 0.0015
0.0921 ± 0.0035
0.376 ± 0.011
0
Gain-Mix
0.0844 ± 0.0028
7.24 ± 0.26
0.68 ± 0.02
0.96
0.0821 ± 0.0025
0.0866 ± 0.0033
0.372 ± 0.011
64
Appendix
Table 8: CR3BP ( d=2004 , n=7500 ): mean ± std over seeds 10–12 (500 contexts × 100 draws). Jacobi error is defined in Section E.3 ; k is the block size. Best mean in bold (coverage closest to 0.90 ).
Method
Fit + evaluation (s)
Rescale
275
Gain-Mix
1081
Gain-Diff
1362
Full-Diff
875
Diff
932
Appendix
Table 9: CR3BP , n=7500 : median fit-plus-evaluation time (s) over three seeds on an RTX 2080 Ti. Includes selection; excludes data preparation.
Gaussian Processes (GPs) are a powerful tool for modelling and quantifying uncertainty in functional relationships. However, they require practitioners to make a number of design decisions, such as the choice of the kernel and the observation model. Suboptimal choices can produce misspecified models that do not capture the underlying data generating process. We introduce Predictively Oriented Gaussian Processes (PrO-GPs), which treat predictive uncertainty as the primary inferential target and provide a robust alternative to standard GPs. Although direct computation of a PrO posterior for nonparametric models is intractable, we derive a reduced formulation and practical sampling scheme for efficient computation. Through synthetic and real data experiments, we show that PrO-GPs produce better calibrated predictive distributions under model misspecification compared to standard GP approaches.
Gaussian processes (GPs) offer a principled probabilistic model over functions, but exact inference is restricted to the linear-Gaussian regime. We establish an explicit equivalence between GPs and a class of linear diffusion models, recasting predictive sampling as an ODE with closed-form Gaussian dynamics and a likelihood-dependent guidance term that admits a simple Monte Carlo approximation. In the linear-Gaussian setting, we recover standard GP conditioning exactly; beyond conjugacy, the same machinery handles any conditioning statement admitting point-wise likelihood evaluation -- including non-linear physics, and, for the first time, natural language via large language models. Whitening isolates the irreducible non-Gaussian dynamics, minimising Wasserstein-2 transport cost and eliminating numerical stiffness. The result is a general-purpose GP inference scheme requiring no bespoke derivations. Together, these results provide a general mechanism for incorporating the full richness of real-world knowledge as conditioning information, opening a new frontier for the probabilistic modelling of real-world problems.
Henry Moss, Lachlan Astfalck, Thomas Cowperthwaite +5
Lancaster University · University of New South Wales · University of Cambridge +1
In traditional Gaussian process (GP) regression, the inputs are typically assumed to be known, and uncertainty enters only through the measurements. When scalar fields are mapped using GP regression with measurements obtained from a mobile sensor, the inputs correspond to the estimated pose of the mobile sensor. The goal in this letter is to understand how a recorded GP, trained on erroneous inputs (e.g., pose estimates from dead-reckoning), can be corrected in a numerically efficient way when better estimates of the inputs become available. In the developed bias-aware GP (Ba-GP) framework, the recorded GP posterior-mean gradient is used to propagate estimated input bias and noise into mean and covariance corrections. The resulting additive covariance structure is then exploited to develop numerically efficient first-order correction algorithms. A simulation study and an indoor light-intensity mapping experiment show that Ba-GP improves predictive accuracy and uncertainty calibration relative to noisy-input GP baselines, with an order-of-magnitude reduction in computational cost relative to full GP retraining.
Muzaffar Qureshi, Tochukwu E. Ogri, Trivikram Satharasi +2
Department of Mechanical and Aerospace Engineering, University of Florida, Gainesville, FL, USA · Torch Technologies, Shalimar, FL, USA