REVIEW 4 major objections 5 minor 8 references
Profile Bayesian Optimization for Expensive Computer Experiments
T0 review · 4 major / 5 minor · reviewed 2026-08-03 · deepseek-v4-flash
Pith's one-line read Profile Bayesian optimization estimates the full optimal-response curve T(x*) from limited evaluations of an expensive simulator, using a two-stage explore-then-exploit acquisition scheme.
desk verdict PBO is a sensible two-stage extension of profile-EI that works on the test problems it tries; the main open question is whether its candidate set breaks on boundary optima. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing machinery is a two-stage acquisition loop built on joint posterior draws from a Gaussian process or deep Gaussian process surrogate. Profile expected improvement (PEI) replaces the global best observed value y_min in the standard EI formula with t_min(x*)=max(y_min, mu_T(x*)), where mu_T(x*) is the mean of the posterior minima across a candidate set for that control slice; this targets the minimum on the slice rather than the global minimum. To make PEI computable in higher dimensions, the paper introduces 'modified tricands': candidate locations formed by taking a Delaunay triangulation of the nuisance-space training inputs, placing interior candidates at simplex centers an
What would settle it
Take a two-dimensional test function whose true profile minimum lies exactly at the corner of the nuisance domain (e.g., T(x*) achieved at x_-*=1 for all x*), run PBO from many starting designs with the same budget, and compute MaxAD of the estimated profile. If the 90% fringe rule keeps candidates just inside the boundary, the method should systematically overestimate T(x*) near that corner, and adding boundary candidates should remove the bias.
Extended reading notes
Core claim
The central claim is that the profile function T(x*) = min_{x_-*} f(x*, x_-*) — the best achievable response for each value of the control parameter — can be learned accurately from a small budget of simulator runs. PBO's acquisition rule separates exploration from exploitation: the control coordinate is chosen where the credible-interval width of the estimated profile is largest, and then the nuisance coordinates are chosen by maximizing profile expected improvement (EI computed against the estimated profile value, not the global observed minimum) using a candidate set derived from Delaunay triangulation of the current design in nuisance space. The result is a posterior distribution for the
Load-bearing premise
For any control value selected, the true nuisance-parameter minimizer must lie close to the candidate set created by Delaunay simplex centers and points placed at 90% of the distance to the boundary; if the true profile minimizer sits in a corner or between these candidates, both the estimated curve and the PEI acquisition on that slice are off.
Editorial extensions
If this is right
- With a budget of 30–80 simulator evaluations, PBO gives lower profile-estimation error (RMSE and maximum absolute deviation) and tighter credible intervals than equal-sized space-filling designs, classic expected-improvement BO, and profile expected improvement used alone across the benchmarks.
- The exploration stage prevents the acquisition clustering around the global optimum that the paper documents for PEI-only and EI-only methods, spreading evaluations across the whole control range.
- Both GP and deep-GP surrogates work; the deep-GP version gives the best accuracy on nonstationary functions, while the choice of PBO design over a fixed design matters more than the surrogate family.
- On the six-parameter rotating detonation combustor diffuser simulation, the procedure produces a profile of energy loss versus diffuser length from 150 evaluations, with uncertainty shrinking as acquisitions proceed, giving a quantitative basis for the length-versus-efficiency trade-off.
Reading between the lines
- The same uncertainty-then-exploit template could be extended to multiple control parameters by measuring the profile-uncertainty width on a control manifold, though the paper only treats one scalar control.
- A low-cost diagnostic for the boundary-candidate weakness would be to add exact boundary and corner points to the candidate set; if MaxAD falls on functions with corner optima, the 90% fringe rule is the bottleneck.
- The acquisition's first stage could accept other uncertainty-aware slice-selection rules, such as Thompson-sampling-style draws of the profile curve, without changing the overall architecture.
- Because the surrogates use a near-zero nugget and interpolate, the method as presented targets deterministic simulators; applying it to noisy simulations would require reworking how posterior minima and their credible intervals are computed.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes Profile Bayesian Optimization (PBO) for estimating the profile optima T(x*) = min_{x_-*} f(x*, x_-*) of an expensive deterministic black-box simulator over the full support of a single control parameter x*, with multiple nuisance parameters x_-*. The method combines GP/DGP surrogates with a modified triangulation-candidate set X^{tri+} = x*_grid ⊗ tricands(X_-*^n) and a two-stage acquisition: Eq. (7) selects the control value with the largest credible-interval width for the estimated profile, and Eq. (8) selects the nuisance point maximizing profile expected improvement along that slice. The paper compares PBO against LHS, classic BO, and PEI on four synthetic functions (Branin, Kyger3D, Kyger2D, squiggle) with 30 random starts, and presents an RDC-diffuser application with a DGP surrogate.
Significance. If the central claim holds, PBO is a practically useful contribution: it recovers the full optimal-response curve as a function of a control parameter from O(m) simulator evaluations, extends profile optimization beyond two dimensions, and accommodates nonstationary response surfaces through DGPs. The paper has clear strengths: the algorithm is explicitly stated, the code is public, the benchmark setup uses 30 re-randomized starts, and modern Vecchia-based posterior sampling is leveraged. The methodology is not circular — the benchmarks are external and no target-dependent fitted constants are smuggled in. However, two load-bearing gaps remain: the candidate set cannot represent boundary/corner minimizers, and the RDC section provides no ground truth or comparator despite the abstract's claim that the method 'proves effective' on the motivating application. These issues need to be addressed before the central claims are fully supported.
major comments (4)
- [§3.1, Eqs. (6),(8)] T(x*) is estimated by minimizing each posterior draw over the finite candidate set X^{tri+}; this is an upper bound on the true continuous minimum, and the bound is biased upward whenever the nuisance minimizer is absent from that set. Because tricands place fringe candidates at 90% of the distance to the boundary, profile optima on or near the boundary/corners are systematically excluded. Eq. (8) maximizes PEI over the same tricands, so acquisitions cannot self-correct this miss. Section 6 acknowledges the corner problem, but the paper presents no benchmark in which the profile minimizer lies on the boundary. The 'variety of benchmarks' claim is therefore conditional on interior optima. Please add a benchmark with a boundary profile optimum and/or include boundary points in the candidate set, and temper the claim accordingly.
- [§5, abstract] The abstract and conclusion state that the procedure 'proves effective in our motivating application against state-of-the-art multi-objective optimization,' but Section 5 contains no comparator and no ground truth. Figure 14 shows only that the credible interval narrows as acquisitions are added; this is evidence of decreasing posterior uncertainty, not of accuracy of the profile estimate. The RDC application is central to the paper's motivation, so this validation gap is load-bearing. Either add a comparator (e.g., PEI or BO on the same evaluation budget) or restrict the claim to 'provides a plausible estimate with quantified uncertainty'.
- [§4.2, Figs. 10–11] In the nonstationary benchmarks, the DGP-based variants have CI coverage around 0.4–0.6, far below the nominal 95%, even though point accuracy is good. Since the paper lists 'thorough uncertainty quantification' as a contribution and constructs CI_T(x*) from posterior minima, this low coverage weakens the UQ claim. Section 6 suggests that more posterior samples might help, but no sensitivity analysis is provided. Please either improve the uncertainty estimates and report coverage at the improved setting, or explicitly present the nonstationary results as point-estimate accuracy improvements and flag the coverage gap as an open problem.
- [§4.1, Fig. 6; abstract] On the Branin benchmark, PBO and PEI perform equally well, so the abstract's unqualified statement that PBO 'outperforms traditional BO and profile optimization methods' is stronger than the evidence. The improvement over PEI is clear in the higher-dimensional/nonstationary examples (Kyger3D, squiggle) but not in 2D Branin. Please qualify the claim to reflect where the advantage is demonstrated.
minor comments (5)
- [§2.1, Fig. 2 caption] Typo: 'Dark pink lines mark the the mean' should read 'mark the mean.'
- [§3.2, Eq. (7)] The notation CI^wd_T(x*) is used before it is defined. Define 'width' formally in the text or in Supplement B.
- [§5, Fig. 14] The y-axis scales differ across the three panels, which makes the narrowing of the credible interval harder to judge. A common y-axis or normalized scale would improve interpretability.
- [§4.2] The decision to drop BO and PEI as comparators for the nonstationary functions is reasonable, but should be stated as a limitation: the nonstationary sections demonstrate PBO versus LHS designs, not PBO versus the profile-optimization competitors.
- [§1] The assumption of a unique profile optimum for each x* should be stated early, since Section 6 discusses this as a limitation and it affects the interpretation of the posterior-minimum estimator.
Circularity Check
No significant circularity; the derivation is self-contained and benchmarked externally.
full rationale
The paper's central claim is that the proposed two-stage PBO procedure estimates the profile curve T(x*) and outperforms alternatives on external benchmarks. The estimation of T(x*) is a Monte Carlo minimum over joint posterior samples evaluated on a candidate set; no parameter is fitted to the profile curve and then renamed as a prediction. The acquisition rule (Eq. 7) selects the control value with largest posterior CI width, and (Eq. 8) selects the nuisance value maximizing PEI on that slice; both are computed from the surrogate posterior, while the benchmark truth T(x*) and the RDC simulator are external to the fitted model. Citations to tricands (Gramacy et al. 2022), PEI (Ginsbourger et al. 2014), and software packages (deepgp, GpGp, GPvecchia) are ordinary method/implementation references, not a self-citation chain that forces the central result. The acknowledged limitation that 90% fringe candidates avoid boundaries is a coverage/correctness concern, not a circular reduction: the target is not defined in terms of the candidate set, and the finite-candidate minimum is an approximation rather than an equation-level identity. No load-bearing step reduces by construction to its own inputs.
Assumptions & free parameters
free parameters (6)
- Fringe candidate distance fraction =
0.90
- Number of posterior samples per T estimate =
1000
- Size of x*-LHS candidate set =
not specified
- Final control-parameter grid size =
50
- Vecchia conditioning set size =
40
- DGP MCMC iterations and thinning =
10,000 initial / 2,000 updates, 50% burn-in, thin to 100
assumptions (6)
- domain assumption Each x* has a unique profile minimum over nuisance parameters.
- domain assumption Nuisance minima are captured by Delaunay triangulation component centers and 90% fringe candidates.
- domain assumption GP/DGP posterior with small nugget and standard kernels faithfully models the deterministic simulator.
- domain assumption Vecchia-approximated joint posterior samples provide reliable empirical minima distributions.
- standard math PEI criterion with t_min = max(y_min, mu_T) is a suitable improvement measure for profile optimization.
- domain assumption Empirical distribution of per-sample minima across 1,000 joint draws accurately represents T(x*) uncertainty.
Cite this review
Pith. "Pith review of Profile Bayesian Optimization for Expensive Computer Experiments." pith.science (2026). https://pith.science/paper/N5VWUAL4
@misc{pith2026251223581,
author = {Pith},
title = {Pith review of: Profile Bayesian Optimization for Expensive Computer Experiments},
year = {2026},
howpublished = {\url{https://pith.science/paper/N5VWUAL4}},
note = {Machine review of arXiv:2512.23581}
}
read the original abstract
We propose a novel Bayesian optimization (BO) procedure aimed at identifying the "profile optima" of a deterministic black-box computer simulation that has a single control parameter and multiple nuisance parameters. The profile optima capture the optimal response values as a function of the control parameter. Our objective is to identify these optima across the entire plausible range of the control parameter. Classic BO, which targets a single optimum over all parameters, does not explore the entire control parameter range. Instead, we develop a novel two-stage acquisition scheme to balance exploration across the control parameter and exploitation of the profile optima, leveraging deep and shallow Gaussian process surrogates to facilitate uncertainty quantification. We are motivated by a computer simulation of a diffuser in a rotating detonation combustion engine, which returns the energy lost through diffusion as a function of various design parameters. We aim to identify the lowest possible energy loss as a function of the diffuser's length; understanding this relationship will enable well-informed design choices. Our "profile Bayesian optimization" procedure outperforms traditional BO and profile optimization methods on a variety of benchmarks and proves effective in our motivating application against state-of-the-art multi-objective optimization.
Figures
Figures from the paper (12 more)
Reference graph
Works this paper leans on
-
[1]
Exploration enhanced expected im- provement for Bayesian optimization
Berk, J., Nguyen, V., Gupta, S., Rana, S., and Venkatesh, S. (2018). “Exploration enhanced expected im- provement for Bayesian optimization.” Injoint european conference on machine learning and knowledge discovery in databases, 621–637. Springer. Booth, A. S. (2025a). “Deep Gaussian Processes with Gradients.”arXiv preprint arXiv:2512.18066. — (2025b).deep...
arXiv 2018
-
[2]
MIT press. Rumsey, K. (2025).duqling: Library of UQ Test Functions. R package version 2.0.0, commit b5df65ce6691434919e00b28455bea08f64abbe7. Rumsey, K. N., Gibson, G. C., Francom, D., and Morris, R. (2025). “All Emulators are Wrong, Many are Useful, and Some are More Useful Than Others: A Reproducible Comparison of Computer Model Surrogates.”arXiv prepri...
arXiv 2025
-
[7]
Non-stationary Gaussian process surrogates
Springer. Sauer, A., Cooper, A., and Gramacy, R. B. (2023a). “Non-stationary Gaussian process surrogates.”arXiv preprint arXiv:2305.19242. — (2023b). “Vecchia-approximated deep Gaussian processes for computer experiments.”Journal of Com- putational and Graphical Statistics, 32, 3, 824–837. Sauer, A., Gramacy, R. B., and Higdon, D. (2023c). “Active learnin...
arXiv 2023
-
[8]
The (stationary) Kyger3D function is defined as: f(x) = exp (−x1 −cos(2πx 1)) + sin (2πx3) + exp (−x3 ∗sin(2πx 1)) + cos (2πx2)−exp (−x 2 ∗cos(2πx 1)) forx 1, x2 ∈[0,1]
+sforx 1 ∈[−5,10]x 2 ∈[0,15]. The (stationary) Kyger3D function is defined as: f(x) = exp (−x1 −cos(2πx 1)) + sin (2πx3) + exp (−x3 ∗sin(2πx 1)) + cos (2πx2)−exp (−x 2 ∗cos(2πx 1)) forx 1, x2 ∈[0,1]. The (nonstationary) Kyger2D function is defined as: f(x) = sin x2 1 + 1 + 2X i=1 (xi −0.5) 2 ! (cos (x2) + 1.5) e{4− x1 3 } − (x1 −0.1) 2X i=1 x2 i forx 1 ∈[...
2025
-
[30]
Empirical assessment of deep gaussian process surrogate models for engineering problems
Rajaram, D., Puranik, T. G., Ashwin Renganathan, S., Sung, W., Fischer, O. P., Mavris, D. N., and Ramamurthy, A. (2021). “Empirical assessment of deep gaussian process surrogate models for engineering problems.”Journal of Aircraft, 58, 1, 182–196. Rasmussen, C. E. and Williams, C. K. (2006).Gaussian processes for machine learning, vol
2021
-
[287]
Improving the expected improvement algorithm
Pourmohamad, T. and Lee, H. K. (2021).Bayesian optimization with application to computer experiments. Springer. 19 Qin, C., Klabjan, D., and Russo, D. (2017). “Improving the expected improvement algorithm.”Advances in Neural Information Processing Systems,
2021
-
[3623]
A general framework for Vecchia approximations of Gaussian processes
Katzfuss, M. and Guinness, J. (2021). “A general framework for Vecchia approximations of Gaussian processes.”Statistical Science, 36, 1, 124–141. Katzfuss, M., Guinness, J., Gong, W., and Zilber, D. (2020). “Vecchia approximations of Gaussian-process predictions.”Journal of Agricultural, Biological and Environmental Statistics, 25, 3, 383–414. Katzfuss, M...
2021
-
[3687]
Bayesian optimization
Frazier, P. I. (2018). “Bayesian optimization.” InRecent advances in optimization and modeling of con- temporary problems, 255–278. Informs. Ginsbourger, D., Baccou, J., Chevalier, C., Perales, F., Garland, N., and Monerie, Y. (2014). “Bayesian Adaptive Reconstruction of Profile Optima and Optimizers.”SIAM/ASA Journal on Uncertainty Quan- tification, 2, 1...
2018
Reviewed August 3, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.