Skip to main contentSkip to user menuSkip to navigation

Scientific ML

Apply ML to scientific problems: physics-informed models, scientific computing, and research applications.

40 min readAdvanced
Not Started
Loading...

What is scientific machine learning?

Scientific machine learning, or scientific ML, combines learned models with knowledge about a scientific system. That knowledge may include governing equations, conservation laws, symmetries, units, geometry, boundary conditions, numerical solvers, or carefully designed experiments.

The goal is not to replace science with a neural network. The goal is to use learning where it creates measurable value: approximate an expensive simulation, infer a hidden parameter, assimilate sparse observations, or choose the next informative experiment.

The core invariant is scientific usefulness requires credible behavior in the regime where a decision will be made. A low average test error is insufficient when the model violates a boundary condition, loses conservation, becomes overconfident under extrapolation, or is slower than the trusted solver at the required accuracy.

A learned approximation is not evidence of a scientific discovery by itself. Claims still require reproducible experiments, appropriate controls, uncertainty analysis, and independent domain review.

Frame the scientific decision before choosing a model

Start with the quantity that a scientist or engineer must decide, not with an architecture. Define the operating envelope, trusted evidence, acceptable error, cost of a wrong answer, and the fallback that remains available.

Approximate a solve

Forward surrogate

Predict a field or response from parameters, initial state, and boundary conditions. The surrogate earns its place when repeated predictions are faster at matched accuracy.

Infer a hidden cause

Inverse model

Estimate parameters, sources, or initial conditions from incomplete observations. Identifiability and posterior uncertainty matter as much as point error.

Repair a known gap

Hybrid simulator

Keep a numerical or mechanistic core and learn an unresolved closure, correction, or constitutive relation. The learned term needs explicit units and validity bounds.

Choose new evidence

Experiment policy

Rank simulations or physical experiments by information gain, cost, safety, and coverage of uncertain regimes rather than sampling blindly.

Write the contract in physical terms

  • Inputs: name each state, parameter, geometry, forcing, and boundary condition with units and allowed ranges.
  • Outputs: identify whether the model predicts a scalar, field, trajectory, distribution, or decision-relevant functional.
  • Regime: bound Reynolds number, temperature, composition, mesh family, forecast horizon, or another domain-specific coordinate.
  • Reference: state which experiment, analytical result, or converged solver defines credible evidence.
  • Tolerance: set error and constraint limits per variable and regime, not one unqualified score.
  • Fallback: preserve a trusted solver, conservative controller, human review, or explicit refusal outside the validated envelope.

A scientific ML evidence loop

The learned model sits inside a versioned scientific workflow. Validation can send a candidate back to data design, constraints, or model design before any result is used.

Decision and regime

Scientific specification

Defines variables, units, geometry, symmetries, governing relations, tolerances, and the intended decision.

Observations and solves

Evidence factory

Versions experimental data, simulation settings, meshes, solver tolerances, and provenance for every sample.

Learn with structure

Scientific model

Combines a representation and objective appropriate to the field, operator, inverse problem, or hybrid correction.

Challenge the claim

Validation laboratory

Tests held-out regimes, constraint residuals, uncertainty calibration, stability, and matched-accuracy baselines.

Decide with fallback

Bounded use

Releases only inside an explicit envelope, logs provenance, detects extrapolation, and routes unsupported cases to a trusted path.

Treat data as sampled physics, not interchangeable rows

Scientific datasets have spatial, temporal, geometric, and experimental dependence. A random row split can leak nearly identical states into train and test sets while leaving the model untested on the regime that matters.

Build evidence around regimes

  • Split by complete trajectories, experiments, sites, geometries, material families, time windows, or parameter ranges.
  • Record units, coordinate systems, sensor calibration, missingness, mesh and discretization, solver tolerances, and boundary conditions.
  • Nondimensionalize when it exposes shared physical structure, but retain the transformation and reference scales in provenance.
  • Sample boundaries, discontinuities, rare events, and transition regions deliberately; uniform sampling can underrepresent them.
  • Keep a protected challenge set that reflects deployment decisions and is not repeatedly optimized during development.

Separate uncertainty sources

  1. Measurement uncertainty comes from instruments, labeling, preprocessing, and observation geometry.
  2. Numerical uncertainty comes from discretization, convergence tolerance, approximation order, and solver implementation.
  3. Parameter uncertainty reflects unknown coefficients, initial states, or boundary values.
  4. Model-form uncertainty reflects missing or simplified mechanisms in the scientific model.
  5. Surrogate uncertainty reflects finite data, imperfect optimization, and limited model capacity.

Collapsing these into one error bar hides which intervention can improve the system.

Choose where scientific structure enters the model

Scientific knowledge can shape the data, architecture, objective, or output. Stronger enforcement is useful only when the encoded knowledge is correct for the operating regime.

Learn from paired examples

Data-driven surrogate

Learn inputs to outputs from simulations or observations. This is often simple to train, but coverage and extrapolation boundaries must be explicit.

Penalize violations

Soft-constrained model

Add equation residuals, conservation terms, boundary losses, or symmetry penalties. Every term needs compatible scaling and separate validation.

Build in an invariant

Hard-constrained model

Use coordinates, parameterizations, equivariant layers, or projection operators that make selected violations impossible by construction.

Map functions to functions

Neural operator

Learn a family of solution operators across forcing, coefficients, or initial conditions instead of fitting one finite-dimensional solution.

Keep the trusted core

Hybrid correction

Run a mechanistic solver and learn only a closure or discrepancy term. Stability and coupling behavior must be tested end to end.

Represent alternatives

Probabilistic model

Predict a distribution, ensemble, or posterior when observations cannot identify one answer. Calibration is evaluated empirically by regime.

Use the weakest assumption that materially improves the decision. A hard constraint can reduce impossible outputs, but it can also lock in an incomplete equation or incorrect boundary model.

Balance fit, constraints, and coverage without hiding failures

A common physics-informed objective combines observed data, governing-equation residuals, boundary or initial conditions, and regularization. The terms usually have different units, scales, sampling densities, and gradient magnitudes. The scalar total loss can improve while one scientifically critical term gets worse.

Use the workbench to change the scientific case, model strategy, observation coverage, and constraint emphasis. Watch in-regime fit, equation residual, boundary error, extrapolation risk, and training cost move independently.

Read every objective as a ledger

  • Normalize residuals with physically meaningful reference scales before weighting them.
  • Report every component in its own units or nondimensional form; never publish only the weighted sum.
  • Inspect gradient conflict when improving one term consistently damages another.
  • Resample collocation and boundary points where residual structure changes, not only where data is dense.
  • Stop training against protected validation regimes; use them to test the claim, not tune it.

The executable example mirrors the lab's illustrative budget. It keeps each evidence channel visible instead of treating a weighted objective as proof of validity.

Compute a surrogate evidence ledger

Physics-informed neural networks are one tool, not the definition

A physics-informed neural network, or PINN, represents a candidate solution with a neural network. Automatic differentiation evaluates derivatives of that candidate with respect to its coordinates, and training penalizes governing-equation and boundary residuals alongside observations.

  1. 1

    Contract

    Specify the mathematical problem

    Define variables, units, domain, equations, known and inferred parameters, boundary conditions, and the quantity used for validation.

  2. 2

    Evidence

    Sample distinct evidence

    Keep observations, interior collocation points, boundaries, interfaces, and initial conditions identifiable in the dataset and objective.

  3. 3

    Train

    Optimize a visible ledger

    Track data, equation, boundary, and regularization terms separately, including their gradients and regime-level behavior.

  4. 4

    Validate

    Challenge the solution

    Compare against analytical results, converged solvers, experiments, conservation checks, and held-out parameter regimes.

Know when a PINN can struggle

  • Multi-scale or stiff dynamics can produce badly imbalanced gradients.
  • Shocks and discontinuities are difficult for smooth network parameterizations and residual losses.
  • A small residual at sampled points does not prove a globally accurate solution.
  • Inverse problems can remain non-identifiable even when optimization converges.
  • Training one network per problem instance can be more expensive than a mature numerical solver.

Use a PINN when its mesh-free differentiation, inverse formulation, or data-equation fusion serves the scientific contract. Use a classical solver, hybrid method, or operator learner when that produces stronger evidence at lower total cost.

Validate a surrogate at matched scientific utility

Surrogate validation compares more than wall-clock latency. The reference solver and learned model must be evaluated at a matched level of accuracy and on the same hardware, precision, domain, and output quantities.

By regime

Predictive fidelity

Report variables, units, spatial slices, horizons, and rare conditions

Residual

Physical credibility

Measure equations, conservation, boundaries, symmetry, and stability separately

Coverage

Uncertainty quality

Check empirical interval coverage and usefulness on protected regimes

End to end

Scientific utility

Include evidence generation, training, inference, verification, and fallback cost

Design splits that test the claim

  • Interpolation split: withhold samples inside the represented parameter envelope.
  • Regime split: withhold a connected range, geometry family, forcing pattern, or material class.
  • Resolution split: change mesh or sensor resolution without confusing resolution with new physics.
  • Temporal split: evaluate longer horizons and later operating periods to expose accumulated error and drift.
  • Cross-method split: compare with an analytical result, independent codebase, alternate discretization, or physical experiment.

Measure the quantities that can change a decision

  • Field norms can hide local extremes, so report boundary, peak, interface, and integral errors where relevant.
  • One-step error can hide rollout instability, so test the full decision horizon.
  • Average calibration can hide failure in a rare regime, so report coverage and sharpness by regime.
  • A speedup without preprocessing, data generation, transfer, or verification cost can misstate operational value.

Make uncertainty trigger an operational response

Uncertainty is useful only when it changes what the system does. An ensemble spread, posterior interval, or conformal interval must be checked against empirical errors on representative calibration data. Outside that evidence, uncertainty is a warning signal rather than a guarantee.

Use the release lab to inspect a regime change, vary independent evidence and empirical interval coverage, control interval width, and commit to a release posture. The lab separates calibration from sharpness: an interval can cover often and still be too wide to support the decision.

Define the fallback before the alert

  • Route unsupported inputs to a trusted solver or measurement process.
  • Narrow the operating envelope when evidence is insufficient for one regime.
  • Request a new simulation or experiment where expected information gain is high.
  • Escalate high-consequence results for independent scientific review.
  • Preserve inputs, model version, data version, uncertainty output, gate decision, and eventual observed outcome.
Gate a surrogate with regime evidence and calibrated uncertainty

Operate the model as part of a scientific instrument

The production unit is the complete evidence path: data acquisition, transforms, scientific model, learned weights, uncertainty method, validation suite, and downstream decision. Version and monitor that whole path.

Record enough provenance to reproduce a result

  • Raw data and calibration versions, units, coordinate conventions, and excluded observations.
  • Simulator source, mesh, discretization, solver tolerances, seeds, and hardware precision.
  • Feature transformations, nondimensional reference scales, architecture, objective terms, and checkpoints.
  • Evaluation datasets, regime definitions, baseline settings, uncertainty calibration, and reviewer decisions.
  • Runtime input envelope, extrapolation indicators, fallback events, and downstream scientific outcomes.

Watch for scientific drift

  • Sensor replacement can alter noise, resolution, or missingness before a distribution metric moves.
  • A solver upgrade can change labels and numerical uncertainty without any physical change.
  • A new geometry or material family can invalidate an interpolation claim.
  • A downstream optimization policy can concentrate requests near the surrogate's weakest region.
  • Recalibration can improve aggregate coverage while degrading a safety-critical slice.

When any boundary changes, reopen the evidence contract. Retraining alone does not establish that the changed system is scientifically credible.

Use a release checklist that can fail closed

  1. Specification: variables, units, equations, assumptions, regime, and decision tolerance are explicit.
  2. Evidence: observations and numerical labels have provenance, uncertainty, and leakage-resistant splits.
  3. Baselines: the learned model is compared with trusted numerical and statistical methods at matched utility.
  4. Constraints: residuals, boundaries, conservation, symmetry, and stability are measured separately.
  5. Uncertainty: empirical coverage and interval usefulness are tested by protected regime.
  6. Containment: extrapolation is detected and a trusted fallback is tested under realistic dependencies.
  7. Reproducibility: code, configuration, data versions, seeds, precision, and hardware are sufficient to repeat the result.
  8. Review: domain experts and independent reviewers can inspect the evidence behind the release decision.

Primary references

No quiz questions available
Could not load questions file
Spotted an issue or have a better explanation? This page is open source.Edit on GitHub·Suggest an improvement