Constrained Nonlinear LOVO Problem

• The LOVO problem is defined as minimizing the minimum among several continuously differentiable black-box functions over a closed convex set, ensuring robust solutions under uncertain conditions.
• It is reformulated using bilevel programming, MPCC techniques, and smoothing approaches that yield precise optimality conditions like L-stationarity and conic duality.
• Derivative-free trust-region algorithms achieve global convergence with an O(ε⁻²) complexity, making them effective for robust estimation and applications such as protein alignment and portfolio optimization.

A constrained nonlinear Low Order-Value Optimization (LOVO) problem involves minimizing the minimum among a finite number of continuously differentiable function values, each typically accessible only as a black-box (derivative-free setting), within a nonempty closed convex constraint set. LOVO problems are fundamental in robust parameter estimation, protein alignment, portfolio optimization, and other areas where robustness to outliers and min-structure are essential. The constrained LOVO formulation, its associated optimality conditions, reformulations, algorithms, and complexity theory are presented with particular attention to rigorous, modern developments.

1. Mathematical Formulation of the Constrained LOVO Problem

The classical constrained nonlinear LOVO problem can be stated as: $$\begin{aligned} &\min_{x \in \Omega \subset \mathbb{R}^n} F(x) := \min_{1 \leq i \leq r} f_i(x), \end{aligned}$$ where

• $\Omega$ is a nonempty, closed, convex subset of $\mathbb{R}^n$,
• Each $f_i: \mathbb{R}^n \rightarrow \mathbb{R}$ is continuously differentiable with Lipschitz gradient on an open set containing $\Omega$,
• The functions $f_i$ are accessed as black-box routines (i.e., only function values available).

A generalized LOVO model, particularly when focusing on feasibility in possibly inconsistent problems, is given via a constraint violation measure: $$v(x) := \sum_{i=1}^m \max\{0,\, g_i(x)\}+\sum_{j=1}^p |h_j(x)|,$$ where $g_i(x) \le 0$ and $h_j(x) = 0$ represent the constraints. The least-violation set is

$$X^* := \mathop{\mathrm{Argmin}}_{x \in \mathbb{R}^n} v(x).$$

The (generalized) LOVO problem optimizes $\Omega$0 over $\Omega$1: $\Omega$2 If the original constraints admit feasible points, this reduces to a standard constrained nonlinear program; otherwise, LOVO provides minimum-violation solutions (Dai et al., 2020).

2. Reformulations and Optimality Conditions

The constrained LOVO problem admits reformulation as a bilevel or equilibrium-constrained program. For conic and affine constraints, define the squared-distance infeasibility measure: $\Omega$3 Then $\Omega$4. Standard conic duality leads to a system characterizing $\Omega$5: $\Omega$6 where $\Omega$7 is the dual cone. This yields an MPCC (Mathematical Program with Complementarity Constraints) formulation: $\Omega$8 The relevant optimality notion is L-stationarity (from Clarke's theory), which generalizes KKT conditions to nonsmooth, Lipschitz-constrained settings. At a solution $\Omega$9, existence of Lagrange multipliers and dual variables—even in the presence of complementarity—ensures generalized stationarity (Dai et al., 2020).

3. Derivative-Free Trust-Region Algorithm for Convex-Constrained LOVO

A derivative-free trust-region framework for the constrained LOVO problem targets settings where each $\mathbb{R}^n$0 is only accessible via function evaluation. The method maintains, at each iteration $\mathbb{R}^n$1:

• The current iterate $\mathbb{R}^n$2,
• A model $\mathbb{R}^n$3 (typically linear or quadratic interpolation) for some active $\mathbb{R}^n$4 corresponding to $\mathbb{R}^n$5,
• Radii $\mathbb{R}^n$6 (sampling/model accuracy) and $\mathbb{R}^n$7 (trust-region).

The main iteration consists of:

• Model construction: $\mathbb{R}^n$8 over neighborhood $\mathbb{R}^n$9 such that

$f_i: \mathbb{R}^n \rightarrow \mathbb{R}$0

• Trust-region subproblem: Approximately solve

$f_i: \mathbb{R}^n \rightarrow \mathbb{R}$1

and require sufficient decrease:

$f_i: \mathbb{R}^n \rightarrow \mathbb{R}$2

with $f_i: \mathbb{R}^n \rightarrow \mathbb{R}$3.

• Ratio test and step acceptance: Compute

$f_i: \mathbb{R}^n \rightarrow \mathbb{R}$4

and update $f_i: \mathbb{R}^n \rightarrow \mathbb{R}$5, $f_i: \mathbb{R}^n \rightarrow \mathbb{R}$6, and $f_i: \mathbb{R}^n \rightarrow \mathbb{R}$7 by standard rules (Schwertner et al., 25 Nov 2025).

This algorithm converges globally (with accumulation points being weakly critical), under minimal regularity. The stationarity measure is the projected gradient for some $f_i: \mathbb{R}^n \rightarrow \mathbb{R}$8.

4. Stationarity Concepts and Theoretical Guarantees

• Weak criticality: $f_i: \mathbb{R}^n \rightarrow \mathbb{R}$9 is weakly critical if there exists $\Omega$0 with $\Omega$1.
• Strong criticality: If this holds for all $\Omega$2.

For iterates $\Omega$3 generated by the algorithm,

$\Omega$4

and any subsequential limit point $\Omega$5 is weakly critical. The O$\Omega$6 worst-case iteration complexity to reach $\Omega$7-criticality matches the best rates for smooth, derivative-free trust-region algorithms (Schwertner et al., 25 Nov 2025).

5. Reformulations via Lipschitz-Constrained and Dynamical Systems Approaches

The LOVO setup is highly adaptable for infeasible or inconsistent constraints. Reformulation as a Lipschitz equality-constrained problem (via squared infeasibility, as above) leads to practical algorithms based on smoothing and penalization. The smoothing Fischer–Burmeister (sFB) approach replaces non-differentiable complementarity with a continuously differentiable proxy: $\Omega$8 for $\Omega$9, converging to the MPCC solution as $f_i$0. Convergence to L-stationary points is established under standard conditions (Dai et al., 2020).

A distinct dynamical systems perspective transforms the original constrained NLP into an autonomous ODE

$f_i$1

where $f_i$2 is a (possibly pseudo-inverse) projection onto the tangent of the active constraints, yielding asymptotic convergence to KKT points under compactness and standard regularity assumptions (Zhang et al., 2018). This treatment provides analytic multipliers throughout the trajectory, even in the presence of dependent active constraints.

6. Numerical Methods and Software Implementations

• LOWDER: An open-source Julia package for derivative-free, trust-region LOVO solves trust-region subproblems using TRSBOX/ALTMOV (from BOBYQA), maintains set poisedness for interpolation points, and manages function call budgets efficiently via inexact ratios. Stopping criteria are based on minimal radii and lack of progress (Schwertner et al., 25 Nov 2025).
• Smoothing FB: Algorithms implement smoothing parameter reduction with off-the-shelf NLP solvers for the relaxed problems, yielding convergence to L-stationary points as smoothing vanishes (Dai et al., 2020).
• ODE Integration: Recommended solvers are variable-step, implicit methods suitable for stiff dynamics (e.g., Radau IIA, MATLAB’s ode15s) with constraint activation logic for the vector field definition (Zhang et al., 2018).

Comparison on test suites (Moré–Wild, HS, and synthetic QD problems) with MS-P and NOMAD shows that specialized LOVO approaches, particularly those exploiting the min-structure, can deliver robustness and efficiency, especially as the number of min-components grows (Schwertner et al., 25 Nov 2025).

7. Complexity, Convergence, and Practical Considerations

• Iteration and sample complexity: The number of successful iterations to $f_i$3-criticality is $f_i$4, total is $f_i$5. The evaluation complexity for linear interpolation is $f_i$6 (Schwertner et al., 25 Nov 2025).
• Assumptions: Continuity, Lipschitzness, compactness of constraint set, fully-poised interpolation sets, and for smoothing schemes, regularity of constraint Jacobians for all smoothing levels.
• Applicability: The general MPCC/smoothing and trust-region frameworks are robust to constraint inconsistency and black-box function access. For feasible problems, solutions coincide with classical NLP solutions.

The LOVO paradigm thus unifies robust constrained optimization, equilibrium-constrained reformulations, and derivative-free computation within a rigorous, provably convergent theoretical and algorithmic infrastructure (Schwertner et al., 25 Nov 2025, Dai et al., 2020, Zhang et al., 2018).