arXiv Science⌕ Search

arXiv · 2610.20539

A Decomposition-Based Data-Driven Branch-and-Bound Approach for Black-Box Global Optimization

Abstract

Many scientific and engineering applications require the global optimization of expensive black-box functions. In high-dimensional settings, however, achieving computational scalability is a major challenge. To address this challenge, we propose a distributed spatial branch-and-bound framework that exploits partially separable structure for the global optimization of box-constrained black-box problems. The proposed framework adopts a two-layer structure in which branching is performed only on a lower-dimensional set of coupling variables in an outer layer. Within each outer node, the remaining non-overlapping (private) variables, which appear independently across blocks, have their domains partitioned and explored in parallel within an inner layer, resulting in a naturally parallelizable framework that is well suited for implementation on multi-core CPU architectures. At each node, valid upper bounds are obtained via sampling, with optional refinement using a local solver, while lower bounds are computed using data-driven convex underestimators constructed over partitions of the private variables. A residual-based correction and finite-sample validity analysis provide conditions under which the partitionwise underestimators are valid lower bounds, while the proposed branching and refinement mechanism establishes convergence to an $ε$-global optimum. Numerical studies on benchmark and ODE-constrained parameter-estimation problems demonstrate improvements in both sampling efficiency and computational performance relative to monolithic approaches.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Damilola Fasiku, Wentao Tang. 2026-10-14. A Decomposition-Based Data-Driven Branch-and-Bound Approach for Black-Box Global Optimization. https://arxiv.org/abs/2610.20539

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Stochastic internal habit formation and optimality

Growth models with internal habit formation have been studied in various settings under the assumption of deterministic dynamics. The purpose of this paper is to explore a stochastic version of the model in Carroll et al. [1997, 2000], one the most influential on the subject. The goal is twofold: on one hand, to determine how far we can advance in the technical study of the model; on the other, to assess whether at least some of the deterministic outcomes remain valid in the stochastic setting. The resulting optimal control problem proves to be challenging, primarily due to the lack of concavity in the objective function. This feature is present in the model even in the deterministic case (see, e.g., Bambi and Gozzi [2020]). We develop an approach based on Dynamic Programming to establish several useful results, including the regularity of the solution to the corresponding HJB equation and a verification theorem. There results lay the groundwork for studying the model optimal paths and comparing them with the deterministic case.

math.OC↗

Optimal Transport on Lie Group Orbits

In its most general form, the optimal problem is an infinite-dimensional optimization problem, yet certain notable instances admit closed-form solutions. We identify the common source of this tractability as \textit{symmetry} and formalize it using Lie group theory. Fixing a Lie group action and a reference distribution, we study optimal transport between measures in the same orbit. For such pairs of measures, restricting the Monge problem to transport maps induced by the group action yields the Lie group orbit transport problem, an optimization over the stabilizer of the reference law that provides an upper bound on the Monge problem. Under suitable regularity conditions, a feasible group-induced map satisfying a $c$-convex first-order certificate attains this bound, solves the original Monge problem, and induces an optimal Kantorovich plan. For the quadratic cost, we establish a structural criterion based on a global Cartan decomposition. Exploiting the nonuniqueness of orbit representations, the criterion constructs an optimal map through a path of group transformations with self-adjoint derivatives. Once verified for an action and reference law, it applies to every pair of orbit measures with finite second moments. For affine-induced actions, Cartan structure on the linear image suffices, and the means and covariance operators determine the optimal map and value explicitly. The framework recovers classical elliptical transport formulas and yields closed-form solutions on congruence orbits generated by absolutely continuous, spectrally invariant reference laws, including Wishart, inverse-Wishart, and matrix beta type~II families with fixed shape parameters. It also recovers the common-copula optimal coupling for multivariate normal sinh-arcsinh laws with unit tailweight parameters sharing a Gaussian copula, and evaluates the optimal transport value in closed form.

math.OC↗

Robust Parallel Machine Scheduling: A Comparison of Robustness Measures and Local Search Approaches

In many real-world scheduling problems, the processing times of tasks are subject to uncertainty. This makes it essential to design schedules that are robust against disruptions. We distinguish between two types of robustness: quality-robust schedules keep a stable objective value under disruptions, while solution-robust schedules keep a stable schedule structure. We study how to generate schedules for the Stochastic Parallel Machine Scheduling Problem (SPMSP) with precedence constraints and release dates that are both quality- and solution-robust. To this end, we compare several robustness measures and local search algorithms that use these measures. We start with an extensive simulation study where we determine the correlation of 13 existing and 6 new robustness measures with both quality and solution robustness. Next, we use the measures with high robustness correlation as the objective in our local search algorithm to find the best way to generate schedules containing both job-machine assignments as well as buffer assignments. We use a new dynamic objective weight within our local search algorithms, which actively changes the objective weights in each iteration. We found that the best way to generate robust schedules is to use robustness measures that model the processing times with normal distribution approximations and to combine job placement and buffer assignment simultaneously.

math.OC↗