Numerical intelligence · Research & Algorithms

A physics solver that computes at interfaces instead of everywhere

A differential equation can be a computational building block—not just a penalty to minimize. In a layered pricing model, solving the local physics first makes the global problem much smaller.

EXPLORE THE IDEA

Solve the interior once

A continuous cell can communicate through its endpoints.

EXACT CELL INTERIORTwo endpoint values determine the field−u″ + 4u = 0GLOBAL INTERFACE CHAINThe interior unknowns disappearBalance outward derivatives at interfaces.Sources require their own cell load
50%
Computed source-free solution of −u″+qu=0 in a single cell, with q=4 and a variable right endpoint. Neighboring cells are a schematic interface chain; they do not form a recorded pricing solve.

Follow the information

From input to outcome

Analytic interiors leave a small interface system. The payoff contributes source loads as well as boundary data. Time inversion and floating-point errors remain even when the spatial cell solution is exact.

Scroll the diagram horizontally to follow the route. Keyboard: focus the diagram, then use the arrow keys.

Layered diffusion model → Exact local elimination → Interface chain → Resolve boundary values → Time-domain response. Analytic interiors leave a small interface system. The payoff contributes source loads as well as boundary data. Time inversion and floating-point errors remain even when the spatial cell solution is exact.
Information-flow map. Heterogeneous exact cells, not a trained neural pricer or a cardinal grid. Original vector schematic based on the method and evidence discussed in this article; signal shapes and icons are illustrative, not additional measurements. Open full-size diagram ↗

Read the main route from left to right; labelled side branches show additional inputs, checks or feedback. The sections below explain the operations and their experimental limits.

What if the model already knows the local answer?

A conventional numerical grid spends unknowns throughout a domain. A physics-informed neural network instead spends parameters and optimization steps representing a solution. Both are general approaches. But when the equation inside each region has a known analytic solution, another option appears: represent exactly what can happen inside that region and solve only for how neighboring regions connect.

The network analogy is a compiler, not a neural surrogate

Inside one constant-coefficient cell, the differential operator supplies the complete homogeneous shape. Endpoint values are its coordinates. Matching outward derivatives connects neighboring cells into a small interface system, and payoff sources add known loads. The cell interior does not need a fine spatial grid of learned or numerical unknowns.

This resembles an ML layer whose fixed features encode supplied physics and whose coefficients are solved from constraints. In this application there is no trained neural pricing model. The benefits come from exact local elimination and reuse across a batch of readouts, with time-inversion and arithmetic errors handled separately.

Compile the operator before serving the request
Compile the operator before serving the request. Original scientific diagram; the stated component and information flow, not an additional experiment. Open full-size figure ↗

Two numbers can describe a whole cell

After a time transform, our layered European pricing problem has constant coefficients within each spatial cell. Two endpoint values determine its homogeneous interior. A two-by-two matrix maps those values to outward derivatives. Matching the derivatives across interfaces produces a tridiagonal chain. Local source terms need their own correction; discarding them would make the representation incomplete.

[−u′(0)u′(h)]=N(q)[u(0)u(h)]\begin{gathered}\begin{bmatrix}-u'(0)\\u'(h)\end{bmatrix}=N(q)\begin{bmatrix}u(0)\\u(h)\end{bmatrix}\end{gathered}
For a source-free cell satisfying −u″+qu=0, an exact boundary map replaces its interior unknowns. Sources add a separately computed load.

The link to operator-based learning

The principle is the same one that makes operator-matched spline spaces attractive: choose coordinates adapted to the equation before asking an optimizer or solver to work. Here the financial cells are heterogeneous and nonuniform, not a cardinal spline grid. Their benefit comes from exact local elimination and reusable boundary algebra—not from attaching the spline name to a standard matrix solve.

The workload determines the winner

A model service may answer hundreds of strikes after every coefficient update, or just query an already-prepared curve. Those are different jobs. In the archive, a prepared polynomial interpolant is faster for 501 isolated queries. Exact cells are competitive when reconstruction is included. Selected inverse rows help batches but usually lose the one-contract comparison. The paper keeps these boundaries visible.

All-case native warm median latency with numerical qualification counts. Unqualified cases cannot supply matched-accuracy speed ratios. The paper reports ratios only where both implementations qualify.
All-case native warm median latency with numerical qualification counts. Unqualified cases cannot supply matched-accuracy speed ratios. The paper reports ratios only where both implementations qualify. Open full-size figure ↗

A small operator engine for changing models

The service vision is repeated conditional pricing after a model changes, on modest runtime resources. It is not discovering the correct market model. The workload decides whether exact cells help: a prepared ordinary curve can be faster for warm queries, while reconstruction-plus-query work is a different comparison.

A small engine is not the whole application

The native implementation returns enclosed outputs using modest runtime memory, but only for its declared supplied diffusion model. It does not handle every exotic contract, infer a valid market model, or demonstrate a trading advantage. The interesting general lesson is computational: a good local solution space can remove work before acceleration begins. That idea applies to learned physical components whenever their mathematical structure genuinely permits it.

Evidence & further reading

The links below distinguish the project record from foundational literature. This revised story does not add a new application-validation experiment.

  1. Compact operator representations for option pricing and risk. Spline research archive (2026). Local archive snapshot.
  2. Compact, verifiable operator-based options risk. Spline research archive (2026). Local archive snapshot.
  3. Cardinal Exponential Splines: Part I—Theory and Filtering Algorithms. Michael Unser and Thierry Blu (2005). Primary literature.