Abstract:A robust-to-dynamics optimization (RDO) problem is an optimization problem specified by two pieces of input: (i) a mathematical program (an objective function [Formula: see text] and a feasible set [Formula: see text]) and (ii) a dynamical system (a map [Formula: see text]). Its goal is to minimize f over the set [Formula: see text] of initial conditions that forever remain in [Formula: see text] under g. The focus of this paper is on the case where the mathematical program is a linear program and where the dynamical system is either a known linear map or an uncertain linear map that can change over time. In both cases, we study a converging sequence of polyhedral outer approximations and (lifted) spectrahedral inner approximations to [Formula: see text]. Our inner approximations are optimized with respect to the objective function f, and their semidefinite characterization—which has a semidefinite constraint of fixed size—is obtained by applying polar duality to convex sets that are invariant under (multiple) linear maps. We characterize three barriers that can stop convergence of the outer approximations to [Formula: see text] from being finite. We prove that once these barriers are removed, our inner and outer approximating procedures find an optimal solution and a certificate of optimality for the RDO problem in a finite number of steps. Moreover, in the case where the dynamics are linear, we show that this phenomenon occurs in a number of steps that can be computed in time polynomial in the bit size of the input data. Our analysis also leads to a polynomial-time algorithm for RDO instances where the spectral radius of the linear map is bounded above by any constant less than one. Finally, in our concluding section, we propose a broader research agenda for studying optimization problems with dynamical systems constraints, of which RDO is a special case. Funding: O. Günlük was partially supported by the Office of Naval Research [Grant N00014-21-1-2575]. This work was partially funded by the Alfred P. Sloan Foundation, the Air Force Office of Scientific Research, Defense Advanced Research Projects Agency [Young Faculty Award], the National Science Foundation [Faculty Early Career Development Program Award], and Google [Faculty Award].

Optimal robust stimulated Raman exact passage by inverse optimization

Perfect stimulated Raman adiabatic passage with imperfect finite-time pulses

High-fidelity and Robust Stimulated Raman Transition with Parameter-modulated Optimal Control

Achieving Robust and High-Fidelity Quantum Control Via Spectral Phase Optimization

Robust multistate quantum control with minimal additional coupling

Optimal control of stimulated Raman adiabatic passage in a superconducting qudit

Stimulated Raman adiabatic passage in optomechanics

Coherent control with user-defined passage

A Direct Coupled Solution Methodology for Efficient Robust Optimizations of Inverse Problems under Uncertainty

Performance of superadiabatic stimulated Raman adiabatic passage in the presence of dissipation and Ornstein-Uhlenbeck dephasing

Optimization of the Net Residual Dispersion for Self-Phase Modulation-Impaired Systems by Perturbation Theory

Customizable Quantum Control via Stimulated Raman User-Defined Passage

Selective Enhancement of Spectroscopic Features by Quantum Optimal Control

Optimal, robust geometries for coherent excitation transport

Flexible Raman Amplifier Optimization Based on Machine Learning-aided Physical Stimulated Raman Scattering Model

Optimized generation of entanglement based on the f-STIRAP technique

Robust-to-Dynamics Optimization

Optimal STIRAP shortcuts using the spin to spring mapping

Optimal quantum controls robust against detuning error

A method for the optimization of nonlinear systems with delays that guarantees stability and robustness