Search arXiv⌕ Search

arXiv · 2610.24866

Random-subspace Ellipsoidal Trust-region Methods for Derivative-free Optimization

Abstract

Random-subspace model-based methods offer a promising approach to solving derivative-free optimization (DFO) problems in high dimensions. However, the usual ratio of actual to predicted reduction assesses model agreement at the trial point without directly measuring subspace quality. An accurate prediction in a poorly aligned subspace may therefore trigger trust-region expansion in all directions. We introduce Random-subspace Ellipsoidal TRust-region Optimization (RETRO), a framework for unconstrained DFO using ellipsoidal trust regions. Its trust-region updates combine global size changes with additional expansion or contraction within the sampled subspace, reflecting where the trial step was computed. We define an ellipsoidal subspace alignment measure that accounts for both the subspace and trust-region shape, and analyze Haar-uniform sampling and metric-guided sampling based on the current shape matrix. We establish almost-sure first-order liminf convergence and an $\mathcal{O}(ε^{-2})$ bound on the expected number of iterations required to reach an iterate with gradient norm at most $ε$. Numerical experiments on projected low-rank problems in dimension $1000$ show that using ellipsoidal shape information in subspace selection can reduce function evaluation costs relative to ball-based QARSTA, with the most pronounced improvements occurring when the solver subspace dimension matches the projection rank.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Yiwen Chen, Pengcheng Xie. 2026-10-17. Random-subspace Ellipsoidal Trust-region Methods for Derivative-free Optimization. https://arxiv.org/abs/2610.24866

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

KEEP EXPLORING

Related papers

Accelerated Primal-Dual Proximal Gradient Splitting Methods for Convex-Concave Saddle-Point Problems

In this paper, based a novel primal-dual dynamical model with adaptive scaling parameters and Bregman divergences, we propose new accelerated primal-dual proximal gradient splitting methods for solving bilinear saddle-point problems with optimal nonergodic convergence rates. For the first, using the spectral analysis, we show that a naive extension of acceleration to a quadratic game is unstable. Motivated by this, we present an accelerated primal-dual gradient flow which combines acceleration with careful velocity correction. To work with non-Euclidean distances, we also equip our continuous model with general Bregman divergences and prove the exponential decay of a Lyapunov function. Then, new primal-dual splitting methods are developed based on proper semi-implicit Euler schemes of the continuous model, and the theoretical convergence rates are nonergodic and optimal with respect to the matrix norms, Lipschitz constants and convexity parameters. Moreover, we introduce efficient restart variants to further improve the proposed methods and provide some numerical results to validate the practical performance.

math.OC↗

An Inexact Variable Metric Proximal Gradient-subgradient Algorithm for a Class of Fractional Optimization Problems

In this paper, we study a class of fractional optimization problems, in which the numerator of the objective is the sum of a convex function and a differentiable function with a Lipschitz continuous gradient, while the denominator is a nonsmooth convex function. This model captures ratio-type formulations arising in sparse learning and related applications. To address this class of problems, we propose an inexact variable metric proximal gradient-subgradient algorithm (iVPGSA), which, to the best of our knowledge, is the first inexact proximal algorithm specifically designed for such type of fractional problems. By incorporating a variable metric proximal term and allowing for approximate subproblem solutions under a flexible error criterion, the proposed algorithm is highly adaptable to a broader range of problems while achieving favorable computational efficiency. Under suitable assumptions, we establish that any accumulation point of the generated sequence is a critical point of the target problem. Moreover, we develop a Kurdyka-Łojasiewicz (KL)-based analysis framework, relying only on the classical KL property and its associated exponent, to prove the global convergence of the entire sequence and characterize its convergence rate, \textit{without} requiring a strict sufficient descent property. Our results clarify how the classical KL exponent and inexactness jointly influence the convergence rate. Finally, numerical experiments on the $\ell_1/\ell_2$ Lasso problem and the constrained $\ell_1/\ell_2$ sparse optimization problem demonstrate the computational advantages of the iVPGSA over existing representative algorithms.

math.OC↗

Stackelberg stopping games

We study a Stackelberg variant of the classical discrete-time Dynkin game, in which Player 1 (the leader) commits to a stopping strategy first and Player 2 (the follower) responds optimally. This leader-follower structure induces an optimal control problem for the leader and gives rise to intrinsic time-inconsistency. We first clarify notions of precommitment and equilibrium strategies in the Stackelberg setting, and contrast them with the Nash equilibrium in the standard Dynkin game using a finite-horizon example. We then consider an infinite-horizon framework with a time-homogeneous Markov process on a general Polish state space. We characterize the leader's value function under randomized precommitment strategies and show that randomized exact equilibrium strategies may fail to exist via a counterexample. Motivated by this nonexistence phenomenon, we introduce an entropy-regularized Stackelberg stopping game. The regularization induces a continuous response rule and yields the existence of randomized regular equilibria. We further show that these regular equilibria induce epsilon-equilibria for the original Stackelberg stopping game when the regularization parameter is sufficiently small. In the finite-state setting, we also establish a limiting result as the regularization parameter converges to zero.

math.OC↗