New on arXiv
Sort: by field | by arXiv number | trending
Risk-Sensitive Stochastic Optimal Control on Positive Cones
We consider stochastic optimal control problems in which the state is constrained to a proper cone. Specifically, we consider risk-neutral, risk-averse, and risk-seeking formulations within a single entropic-risk framework. We investigate classes of problems whose Bellman operator preserves affine functions and characterize their optimal value functions and feedback policies for both...
Deterministic Oracle Complexity for Goldstein Stationarity in Nonsmooth Nonconvex Optimization with Constraints
We consider the deterministic oracle complexity of finding a $(\delta,\epsilon)$-Goldstein stationary point of a Lipschitz function under constraints. The problem is posed in $\mathbb{R}^d$, where $d$ denotes the dimension; constraints are specified either by a closed feasible set or by a single explicit inequality. For closed feasible sets that are star-shaped with respect to an interior ball,...
Technical Report: Partially Asynchronous Distributed Optimization on Riemannian Manifolds
There is a large body of work on distributed optimization for problems in Euclidean space. However, many existing algorithms and analyses do not directly transfer to problems defined on smooth manifolds. Therefore, in this paper we propose a distributed asynchronous optimization algorithm for problems on Riemannian manifolds. The algorithm we develop is a parallelized form of Riemannian block...
Multi-Step Performance Estimation for Gradient Descent under the Polyak Lojasiewicz Condition
Gradient descent is a fundamental algorithm in machine learning and statistical inference. Performance estimation provides a systematic framework for obtaining sharp convergence bounds through semidefinite programming. We study the worst-case performance of constant-stepsize gradient descent over the class of $L$-smooth functions satisfying the $\mu$-Polyak--\L{}ojasiewicz (P\L{}) inequality. We...
Robust Markov Decision Processes: An Introduction Using Convex Optimization and Game Theory
The goal of these notes is to provide a unified and rigorous introduction to robust sequential decision-making. We offer a self-contained introduction to the main results in the field. After a concise introduction to MDPs we introduce robust MDPs with general uncertainty sets, before focusing on rectangular models of uncertainty. We make a significant effort to show connections between robust...
Dual-Mode Extremum Seeking for Diffusion Systems with Boundary-Cost Feedback
Thermally tuned devices pose a basic control problem. A heater on one edge of a thin plate must hold a small element at an unknown optimal temperature, and the only signal available is the device's own performance. Boundary measurements of {such} an unknown performance objective can be used to tune a diffusion process without reconstructing its spatial state. This paper studies a dual-mode...
Constrained Mean Variance Portfolio Selection under Reflected Factor Dynamics: Stochastic Riccati Equations, Neumann Problems,and a Deep Solver
We study extended stochastic Riccati equations (ESREs) arising in constrained continuous time mean variance portfolio selection with random market coefficients. Reflected Markovian diffusions are introduced to model factor dynamics in a bounded state space, naturally leading to homogeneous Neumann boundary conditions. A logarithmic transformation converts the extended stochastic Riccati equations...
Constrained defined-contribution pension management: A reparameterized neural network approach
This paper studies constrained defined contribution (DC) pension management under a two-factor financial market model. The pension participant is allowed to invest in cash, two nominal bonds, an inflation-linked bond, and a stock index. Moreover, they can also purchase term life insurance to manage pre-retirement death risk. Unlike traditional literature, we consider a pension member restricted...
Phase Locking in Oscillator Networks with Uncertain and State-Dependent Couplings
Phase locking in oscillator networks depends critically on the interaction strengths between coupled units. In many applications, however, these couplings are uncertain, state dependent, or time varying. We derive rigorous conditions for phase locking in Kuramoto-type networks when each coupling strength is known only within prescribed bounds. Building on a convex formulation of the nonlinear...
The optimal barrier parameter of the three-dimensional power cone
We determine the optimal logarithmically homogeneous self-concordant barrier parameter for the three-dimensional power cone. Although several self-concordant barriers for this cone have been constructed, its optimal barrier parameter had remained unknown. For a power cone with exponent $c\in(0,1)$, we prove that the optimal parameter is $\frac{3}{1+\min\{c,1-c\}}$. Except at $c=1/2$, this value...
Twofold Control: Simultaneous Optimization of Initial Conditions and Control Inputs
The paper introduces a novel control notion, twofold controllability, which consists of the joint optimisation of the initial state and the distributed control input in a controlled dynamical system, with the aim of reaching a prescribed target state within a given time interval. We show that the resulting problem is well-posed, derive the corresponding optimality conditions, and provide an...
Exact certification for conic optimization over quadratic modules: partitions of unity and recession directions
We consider linear conic problems whose cone is a product of truncated quadratic modules, the sum-of-squares (SOS) side of the moment-SOS hierarchy. A floating-point solution is turned into an exact rational certificate in three steps: rounding, repair of each block residual by a constant, and absorption of the constants along a recession direction of the problem. The repair relies on strict...
Law-Dependent Poisson-Refresh Randomised Feedback Control for Stochastic Systems
This paper studies a continuous-time probabilistic control problem for stochastic systems in which the feedback law assigns a probability distribution over control inputs. The control is modelled as a law-dependent Poisson-refresh process: it is held constant between refresh times and resampled at Poisson times from a feedback rule depending on the current state and state law. The closed-loop...
Calmness Modulus of Parameterized Convex Constraint Systems: Exact Closed-Form Formulas via Second-Order Admissibility
We resolve the open problem of deriving an exact, closed-form algebraic formula for the calmness modulus of $\mathcal{C}^2$ convex constrained feasible set mappings $\mathcal{F}(b) := \{ x \in \mathbb{R}^n \colon f_t(x) \le b_t, \, \forall t \in T \}$ under right-hand side perturbations at a given pair of the graph $(\bar{b}, \bar{x})$. First, under the condition $0_n \in...
Improving Hydrofoil Efficiency Through Simulation-Driven Design Optimization
Foil windsurfing is a sport in which competitors fine-tune their setup to optimize performance under varying environmental conditions. However, such adjustments are typically guided by intuition. This paper presents a methodology for improving hydrofoil design using computational fluid dynamics. First, structured light scanning was used to obtain the geometry of a conventional hydrofoil....
The Convergence Rate of Accelerated Proximal Gradient Methods with General Inertia Term for Convex Composite Multiobjective Optimization
We study accelerated proximal gradient methods with general stepsizes for convex composite multiobjective optimization, in which every objective is the sum of a smooth convex term and a proper closed convex extended-valued term, and the proximal subproblem retains a separate offset for each objective. The momentum coefficient may depend on the computed trajectory. For a two-parameter root...
Weak and strong convergence of a general splitting approach for monotone multioperator inclusions
In this paper, we study a general forward-backward splitting approach for monotone inclusion problems that simultaneously accommodate set-valued, monotone Lipschitz continuous, and cocoercive operators. Weak convergence is established under a general setting. Strong convergence is obtained when both the maximally monotone operators are linear relations and the monotone Lipschitz continuous and...
Near-Optimal Complexity of Finding Approximate Local Minima of Nonconvex Finite Sums
We study the component-oracle complexity of finding approximate local minima of nonconvex finite sums under mean-squared averaged smoothness with parameter $L$ and a $\rho$-Lipschitz average Hessian. Each query returns the value, gradient, and one Hessian-vector product of a component. We show that the complexity in the high-accuracy regime $\varepsilon\le c_0L^2/(n\rho)$ is...
Conditions for Normality of Pontryagin's Maximum Principle in the Absence of State Constraints
Pontryagin's Maximum Principle is said to be "normal" for the problem at hand when it has a solution (maximizer u*) that explicitly involves the problem's cost function, making the maximum principle helpful (while in the opposite situation it is of no help). The aim of the present paper is, for Lagrange optimal control problems without state constraints, to identify classes of problems for which...
Translate, then decide: asymptotic optimality of latent-space control in bistable systems
This paper asks whether an optimal decision can be separated from the physical dynamics on which it acts. It studies this question through minimum-energy barrier crossing in scalar bistable systems. It characterizes the finite-horizon optimal feedback and shows that, as the horizon grows, it converges to a law that doubles and reverses the drift while it opposes crossing, and switches off once...
Mixed-Integer Second-Order Cone Formulations for the Euclidean Bottleneck Steiner Tree Problem in $\mathbb{R}^d$
Given a set of terminals in $\mathbb{R}^d$ and an integer $k\ge0$, the Euclidean bottleneck Steiner tree problem (EBSTP) asks for a tree spanning the terminals with at most $k$ Steiner points that minimizes its longest edge. Although the planar case has been widely studied, exact optimization methods for arbitrary dimension remain scarce. We develop two exact mixed-integer second-order cone...
Tight Lower Bounds under Matched High-Order H\"older Smoothness and Uniform Convexity
In this paper, we provide tight lower bounds for minimizing high-order H\"older-smooth and uniformly convex functions when their orders match. Specifically, we consider functions whose $p^{th}$-order derivatives are H\"older continuous with degree $\nu$ and parameter $H$, and that are uniformly convex with degree $q$ and parameter $\sigma$. When these orders match, namely, $q = p + \nu$, we show...
Generalized Disjunctive Programming with Derivative-Free Configuration Search
Generalized disjunctive programming (GDP) describes process design alternatives with Boolean variables, disjunctions, and logical propositions, and fixing one configuration leaves a subproblem in the continuous variables. Conventional GDP methods require explicit equations, which a simulator may not expose, and mixed-integer nonlinear programming (MINLP) reformulations can be intractable for...
A Fully Polynomial Approximation Algorithm for the Sherrington-Kirkpatrick Model
Montanari's incremental approximate message passing (IAMP) algorithm [FOCS 2019; SIAM J. Comput., 2025] and the zero-temperature formulation of El Alaoui, Montanari and Sellke (AMS) [Ann. Probab., 2021] find a $(1-\varepsilon)$ approximation to the maximum Sherrington-Kirkpatrick (SK) energy in $C(\varepsilon)N^2$ operations for fixed accuracy, with probability tending to one as $N\to\infty$,...
Scaly: an Optimizing Compiler for Optimal Control
We present Scaly, an open-source optimizing compiler for optimal control, written in Python, that generates fast C code. Scaly provides a modeling language embedded in Python for the parametric optimization problems that arise in model predictive control and moving horizon estimation, and computes the sparse derivatives that standard optimization solvers need. Scaly accepts general nonlinear...
Only titles, authors and the start of each abstract are shown here, as arXiv published them. Open a paper to read its whole abstract and, with your own AI key, a plain-language summary. Papers on arXiv are preprints and may not have been peer reviewed.
Data from arXiv, used through the arXiv API. Thank you to arXiv for use of its open access interoperability.