Skip to content

Comparing eight methods on Ishigami

This page compares eight jaxgsa methods on one model — the Ishigami function — along accuracy, cost (model evaluations), and wall time, to support method choice.

The full script is examples/method_comparison.py, run with uv run python examples/method_comparison.py.

Every number below is printed by that script as it runs. The wall times come from one run on one machine and depend on hardware and JAX compile state, so read them as an order of magnitude, not as a benchmark.

What is compared

Each method estimates first-order (S1) and total-order (ST) indices, and accuracy is the mean absolute error (MAE) of those estimates against Ishigami's analytical indices:

  • S1=[0.3139, 0.4424, 0.0000]
  • ST=[0.5576, 0.4424, 0.2437]

Three rows of the results table need a different reading.

  • DGSM contributes its Poincaré upper-bound gap instead of ST. DGSM has no point estimate for the total index, only bounds, so its ST row is the MAE of the upper bound against the analytical ST.
  • Morris is on its own scale. μ is a mean absolute slope, not a variance share, so the Morris row is a ranking check only and carries no MAE columns.
  • Shapley and Borgonovo S1 come from their given-data estimators. Shapley reads S1 out of the same PCE surrogate used for the PCE row (same 2,000 samples and order 4, which is why the two rows match exactly). Borgonovo reports S1 from its built-in density estimator.

Methodology

Timing note, verbatim from the script's printed output:

Timing note: Sobol, eFAST, and Morris times are end-to-end (sample + evaluate + analyze). HDMR, PCE, Shapley, and Borgonovo times are analyze-only (shared pre-computed samples). DGSM time is analyze-only (internally evaluates via autodiff).

Results

MethodS1 MAEST MAEN evalsWall time (s)
Sobol0.01360.02434,0961.14
eFAST0.00210.010612,2880.37
HDMR0.03200.02962,0002.14
PCE0.02710.02542,0001.46
DGSM (bound gap)3.727010,0000.71
Morris (screening)640.56
Shapley (Sh)0.02710.02542,0000.23
Borgonovo delta0.01092,0000.48

A "—" means the method does not produce that quantity: DGSM has no ST point estimate, Morris has no variance-share indices at all, and Borgonovo reports no ST.

Four readings decide most method choices.

  • eFAST is the most accurate first-order method on this budget. Its S1 MAE is 0.0021, about six times smaller than Sobol's 0.0136, at three times the evaluations (12,288 vs 4,096).
  • Sobol is the reference for second order. It is the only method here that reports S2, and its ST MAE of 0.0243 is close behind eFAST's 0.0106 at a third of the evaluations. If you need pairwise interactions, this is the row to build on.
  • DGSM's bound gap is huge on Ishigami, and that is expected. The 3.7270 gap means the Poincaré upper bound misses the true ST by nearly four. Ishigami's response is strongly non-monotone — x1 enters linearly and again inside x34sin(x1) — which is exactly the curved regime where the bound is loose. The script warns that the smallest upper bound is 2.20, above the maximum possible ST of 1, and that more samples will not tighten it. Use DGSM here to screen, not to estimate ST.
  • Morris costs 64 evaluations. That is the whole point: a screening check at a fraction of any other row's budget, in exchange for a ranking instead of indices.

When to use each method

MethodBest for
Sobol'Gold standard for S2
eFASTScreening at N×D
DGSMDifferentiable models via autodiff
HDMRArbitrary (X,Y) data
PCEEmulation with a reusable surrogate
MorrisCheapest screening / factor fixing
ShapleyFair variance shares summing to 1
Borgonovo deltaMoment-independent influence on the whole output density

HSIC and PAWN are given-data methods that sit outside this variance-share comparison: they measure dependence and distributional distance rather than variance shares, and they are the better choice when the output is skewed or heavy-tailed. For the estimator details behind every row, see Methods.

Figures

The script draws six figures; the four index charts are grouped bars against the analytical values (black diamonds), Morris is a normalized ranking check, and the last chart is the cost-vs-accuracy trade-off.

First-order indices per method against the analytical values (black diamonds)

Total-order indices per method against the analytical values (black diamonds)

Morris mu-star against the analytical ST, normalized for ranking

Shapley effects per method against the analytical values, each set summing to 1

Borgonovo delta and the given-data S1 estimates against the analytical values

Cost versus accuracy trade-off for total-order indices across methods

Released under the BSD-3-Clause License.