Numerical intelligence · Research & Algorithms

Why exponential models become numerically unstable—and how to fix it

Nearly identical dynamics should produce nearly identical answers. A poorly chosen representation can instead turn them into enormous numbers that cancel.

EXPLORE THE IDEA

Two modes become one derivative

A finite limit deserves stable coordinates.

COLLIDING POLESThe function has a finite limitStable divided difference across t ∈ [0,2]BINARY64 CALCULATION AT t = 1Close roots expose cancellationPole gap 3.16e-9expm1: 0.3678794418subtract: 0.3678794375limit: 0.3678794412Actual arithmetic, not a timing animation
50%
Computed exponential divided difference versus its derivative limit at t=1, α=−1. The stable value uses expm1; the expanded value uses subtraction in JavaScript binary64. This is a numerical illustration, not a timing benchmark.

Follow the information

From input to outcome

Near-colliding modes remain a divided-difference object with a finite repeated-pole limit. Well-separated modes use ordinary expansion. Carrying the interior source avoids treating two endpoint values as the whole preceding curve.

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

Adjacent interval models → Pole-separation test → Stable source representation → Owned compiled arrays → Multi-interval response. Near-colliding modes remain a divided-difference object with a finite repeated-pole limit. Well-separated modes use ordinary expansion. Carrying the interior source avoids treating two endpoint values as the whole preceding curve.
Information-flow map. Internal speed gain established; the declared artifact-storage budget failed. 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.

The instability is in the coordinates

Consider the difference between two exponential responses divided by the distance between their poles. As the poles meet, the expression has a perfectly finite derivative limit. Computing two nearly equal exponentials and subtracting them can nevertheless lose precision. Worse, an expanded representation may store very large opposite-sign coefficients even though their sum is modest.

eαt−eβtα−β  ⟶  teαt(β→α)\begin{gathered}\frac{e^{\alpha t}-e^{\beta t}}{\alpha-\beta}\;\longrightarrow\;t e^{\alpha t}\quad(\beta\to\alpha)\end{gathered}
The limiting function is finite. The danger is catastrophic cancellation in an expanded floating-point formula.

A pole collision changes the best coordinates

When one maturity interval is forced by the preceding curve, the source contains more information than two endpoints. Distinct-pole expansions can encode a smooth limit using huge coefficients of opposite signs. Near a collision, evaluating those terms separately loses digits before they cancel.

The compiled representation instead retains the divided difference as one object and uses a parameter derivative in the repeated-pole limit. Only well-separated pairs are expanded. This is a change in numerical representation, not a lossy fit of the preceding solution or a new physical model.

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 ↗

Keep the collision as a first-class object

Repeated roots naturally produce polynomial-times-exponential functions. Hermite and confluent representations keep that structure intact instead of pretending that two almost-equal roots are comfortably distinct. In the pricing implementation, close operator pairs retain a stable divided difference; sufficiently separated pairs use ordinary expanded terms. The switching threshold was fixed before the comparison.

Why this becomes important across time

With several volatility intervals, the solution from one interval becomes a source for the next. Endpoint values alone do not describe that source. Exact cross-operator products preserve its interior contribution, but a naive chain repeatedly re-evaluates earlier objects. The compiled representation owns the necessary source arrays and avoids that recursive overhead. Stability and execution cost are linked through the same choice of coordinates.

What the complete test says

All twelve prescribed three-interval cases pass the accuracy checks. Complete construction and evaluation fall from 63–117 milliseconds to 4–12 milliseconds, a paired internal gain of 5.30–17.18 times. These are comparisons of two implementations of the same calculation, not a victory over the financial-software field. The separate artifact budget fails: 132,999 bytes exceed the declared 102,400-byte limit.

All twelve saved cases, each using seven complete timed repetitions per method. The accuracy gates pass; a separate storage gate does not.
All twelve saved cases, each using seven complete timed repetitions per method. The accuracy gates pass; a separate storage gate does not.

Make limiting configurations first-class objects

The complete multi-interval study shows a substantial internal speed gain from selective confluence and owned source arrays, while failing its artifact-storage budget. Both belong in the result. The transferable idea is to treat limiting configurations as first-class numerical objects rather than hoping ordinary coefficients remain well conditioned.

A transferable numerical habit

The gain is not that exponentials are always better than polynomials. It is that the representation should stay well-conditioned as the physical parameters move. Learned poles, nearly repeated modes, and changing dynamical models can all encounter this issue. A mathematically harmless limit deserves a numerically harmless implementation—and a benchmark that includes preparation, not only the final evaluation.

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. Operator-spline theory: consolidated research manuscript. Daniel Schmitter (2026). Local archive snapshot.