SearcharxivSearch

arXiv subjects

Benjamin Unger

Publications and source records attributed to Benjamin Unger.

At least 19 recordsLinked to original sources

Towards Scaling Reinforcement Learning to Massive Populations: Learning Mean-Field Representations

Modern multi-agent systems are increasingly deployed at scale over large populations of agents in settings such as ad-auctions, traffic routing, and recommendation systems. The dominant approach in such settings is to optimize each agent's policy independently, treating the other agents as part of a fixed single-agent environment rather than modeling the population dynamics. In many large-population systems, the dynamics depend on an aggregate summary of the population rather than the identity of any individual. Mean-field RL exploits such structure, providing a principled framework that models each agent's environment as an explicit function of the population distribution. However, in large state-action spaces or high-dimensional control problems, modeling the population distribution is itself intractable. How can we design a scalable framework for high-dimensional control problems with large populations? This work explores this question from the perspective of representation learning. We introduce a mean-field RL framework in which the rewards and transition dynamics depend on the population only through an unknown low-dimensional aggregate statistic. We then study this framework in the offline setting and design a provable approach that learns a near-optimal policy by learning a low-dimensional representation. Motivated by real-life supply-chain optimization problems, we design a one-step routing game to test the hypothesis that learning a low-dimensional population representation improves reward prediction and Nash gap estimation relative to baselines that don't exploit this structure. We show that under a fixed neural-network parameter count and optimization budget, learning a low-dimensional population representation improves reward prediction and the equilibrium quality of the resulting policies.

cs.MA

Decoupling Runge-Kutta schemes for elliptic-parabolic problems

We study the construction and convergence of semi-explicit and iterative decoupling schemes for an elliptic-parabolic problem using higher-order Runge-Kutta methods. For the semi-explicit schemes, which are constructed using a nearby delay system with $k$ time delays, we establish the convergence of $k$th-order Runge-Kutta methods under a weak coupling condition. We develop the convergence analysis by adapting the Fourier stability and perturbation techniques of [Lubich, Ostermann, Math. Comp., 64(210):601--627, 1995]. The key tool is the generating function framework, in which the Runge-Kutta discretization is encoded through an operator-valued function. Stability estimates are then obtained via Parseval's identity on the unit circle. We further present convergence results for iterative (fixed-stress and undrained-split) higher-order Runge-Kutta schemes. Here, a spectral decomposition of the Schur complement operator is central. Finally, we provide numerical examples to verify the proven convergence results.

math.NA

Nonlinear model reduction for transport-dominated problems

This article surveys nonlinear model reduction methods that remain effective in regimes where linear reduced-space approximations are intrinsically inefficient, such as transport-dominated problems with wave-like phenomena and moving coherent structures, which are commonly associated with the Kolmogorov barrier. The article organizes nonlinear model reduction techniques around three key elements -- nonlinear parametrizations, reduced dynamics, and online solvers -- and categorizes existing approaches into transformation-based methods, online adaptive techniques, and formulations that combine generic nonlinear parametrizations with instantaneous residual minimization.

math.NA

Estimation of the input-to-state stability gain functions from finite-dimensional approximations

Since the concept of input-to-state stability (ISS) was introduced, it has been extensively investigated for finite-dimensional control systems and has recently received attention for infinite-dimensional systems. While numerical techniques provide a bridge between these two worlds, a rigorous connection between the ISS of an infinite-dimensional system with an unbounded control operator and the properties of its finite-dimensional approximations has not yet been established. In this manuscript, we make a first step towards closing this gap by investigating numerical approximations of linear (boundary) control systems using semigroup theory. Specifically, we focus on linear boundary control systems where the autonomous evolution is governed by an analytic semigroup. For these systems, we show that ISS gains can be computed from approximations. We illustrate the applicability of these findings using a one-dimensional heat equation with Dirichlet boundary control for which reference ISS gains are known.

math.OC

Model Reduction for Switched Linear Systems via Generalized Lyapunov Equations

In this work, we study projection-based model order reduction (MOR) for switched linear systems (SLS) in control form, where the projection matrices are obtained from the solutions of generalized Lyapunov equations (GLEs). We investigate how numerical inaccuracies in solving the GLEs propagate through the MOR process and impact the accuracy and reliability of the resulting reduced-order model. This highlights the importance of accounting for such inaccuracies, motivating the introduction of a novel error bound to quantify and control the error in the approximation of the GLE solution. Moreover, classical balanced truncation error estimates for SLS are neither theoretically sound nor practically applicable, as they rely on restrictive assumptions requiring several linear matrix inequalities (LMIs) to be satisfied exactly by numerically computed GLE solutions. To address these limitations, we propose a new MOR framework for SLS, termed piecewise balanced reduction (PBR). The approach is based on solving multiple GLEs and constructing projection matrices that are piecewise constant in time. By extending the standard balanced truncation error bound for SLS, we show that the PBR framework effectively controls errors arising from inexact LMI satisfaction. In addition, the proposed error bound captures the influence of the piecewise constant in time projection matrices. Altogether, this makes the PBR approach applicable to a broad and flexible class of switched linear systems. Numerical experiments are presented to support the theoretical results.

math.NA

SPiDR: A Simple Approach for Zero-Shot Safety in Sim-to-Real Transfer

Deploying reinforcement learning (RL) safely in the real world is challenging, as policies trained in simulators must face the inevitable sim-to-real gap. Robust safe RL techniques are provably safe, however difficult to scale, while domain randomization is more practical yet prone to unsafe behaviors. We address this gap by proposing SPiDR, short for Sim-to-real via Pessimistic Domain Randomization -- a scalable algorithm with provable guarantees for safe sim-to-real transfer. SPiDR uses domain randomization to incorporate the uncertainty about the sim-to-real gap into the safety constraints, making it versatile and highly compatible with existing training pipelines. Through extensive experiments on sim-to-sim benchmarks and two distinct real-world robotic platforms, we demonstrate that SPiDR effectively ensures safety despite the sim-to-real gap while maintaining strong performance.

cs.RO

Prediction error certification for PINNs: Theory, computation, and application to Stokes flow

Rigorous error estimation is a fundamental topic in numerical analysis. With the increasing use of physics-informed neural networks (PINNs) for solving partial differential equations, several approaches have been developed to quantify the associated prediction error. In this work, we build upon a semigroup-based framework previously introduced by the authors for estimating the PINN error. While this estimator has so far been limited to academic examples - due to the need to compute quantities related to input-to-state stability - we extend its applicability to a significantly broader class of problems. This is accomplished by modifying the error bound and proposing numerical strategies to approximate the required stability parameters. The extended framework enables the certification of PINN predictions in more realistic scenarios, as demonstrated by a numerical study of Stokes flow around a cylinder.

math.NA

$\mathcal{H}_\infty$ model order reduction for quadratic output systems

Linear time-invariant quadratic output (LTIQO) systems generalize linear time-invariant systems to nonlinear regimes. Problems of this class occur in multiple applications naturally, such as port-Hamiltonian systems, optimal control, and stochastical problems. We introduce an $\mathcal{H}_\infty$-norm for LTIQO systems with one or multiple outputs and propose an algorithm to optimize a reduced order model (ROM) to be close in the $\mathcal{H}_\infty$-norm to a given full order model. We illustrate the applicability and the performance with an established numerical example and compare the resulting ROMs with results from balanced truncation and $\mathcal{H}_2$-focussed algorithms.

math.OC

KLAP: KYP lemma based low-rank approximation for $\mathcal{H}_2$-optimal passivation

We present a novel passivity enforcement (passivation) method, called KLAP, for linear time-invariant systems based on the Kalman-Yakubovich-Popov (KYP) lemma and the closely related Lur'e equations. The passivation problem in our framework corresponds to finding a perturbation to a given non-passive system that renders the system passive while minimizing the $\mathcal{H}_2$ or frequency-weighted $\mathcal{H}_2$ distance between the original non-passive and the resulting passive system. We show that this problem can be formulated as an unconstrained optimization problem whose objective function can be differentiated efficiently even in large-scale settings. We show that any minimizer of the unconstrained problem yields the same passive system. Furthermore, we prove that, in the absence of a feedthrough term, every local minimizer is also a global minimizer. For cases involving a non-trivial feedthrough term, we analyze global minimizers in relation to the extremal solutions of the Lur'e equations, which can serve as tools for identifying local minima. To solve the resulting numerical optimization problem efficiently, we propose an initialization strategy based on modifying the feedthrough term and a restart strategy when it is likely that the optimization has converged to a non-global local minimum. Numerical examples illustrate the effectiveness of the proposed method.

math.OC

Leveraging time and parameters for nonlinear model reduction methods

In this paper, we consider model order reduction (MOR) methods for problems with slowly decaying Kolmogorov $n$-widths as, e.g., certain wave-like or transport-dominated problems. To overcome this Kolmogorov barrier within MOR, nonlinear projections are used, which are often realized numerically using autoencoders. These autoencoders generally consist of a nonlinear encoder and a nonlinear decoder and involve costly training of the hyperparameters to obtain a good approximation quality of the reduced system. To facilitate the training process, we show that extending the to-be-reduced system and its corresponding training data makes it possible to replace the nonlinear encoder with a linear encoder without sacrificing accuracy, thus roughly halving the number of hyperparameters to be trained.

math.NA

Certified Model Predictive Control for Switched Evolution Equations using Model Order Reduction

We present a model predictive control (MPC) framework for linear switched evolution equations arising from a parabolic partial differential equation (PDE). First-order optimality conditions for the resulting finite-horizon optimal control problems are derived. The analysis allows for the incorporation of convex control constraints and sparse regularization. Then, to mitigate the computational burden of the MPC procedure, we employ Galerkin reduced-order modeling (ROM) techniques to obtain a low-dimensional surrogate for the state-adjoint systems. We derive recursive a-posteriori estimates for the ROM feedback law and the ROM-MPC closed-loop state and show that the ROM-MPC trajectory evolves within a neighborhood of the true MPC trajectory, whose size can be explicitly computed and is controlled by the quality of the ROM. Such estimates are then used to formulate two ROM-MPC algorithms with closed-loop certification.

math.OC

Reachable and observable sets for switched systems via generalized Lyapunov equations: application to switched descriptor systems

In a recent work [Manucci, Unger, ArXiv e-print 2404.10511, 2024], the authors propose using two generalized Lyapunov equations (GLEs) to derive a balancing-based model order reduction~(MOR) method for a general class of switched differential-algebraic equations (DAEs). This work explains why these GLEs provide solutions suitable for MOR by showing that the image set of the solutions of the two GLEs always encloses the reachable and observable set of a suitably defined switched system with the same input to output map of the switched DAE system.

math.NA

Decoupling multistep schemes for elliptic-parabolic problems

We study the construction and convergence of decoupling multistep schemes of higher order using the backward differentiation formulae for an elliptic-parabolic problem, which includes multiple-network poroelasticity as a special case. These schemes were first introduced in [Altmann, Maier, Unger, BIT Numer. Math., 64:20, 2024], where a convergence proof for the second-order case is presented. Here, we present a slightly modified version of these schemes using a different construction of related time delay systems. We present a novel convergence proof relying on concepts from G-stability applicable for any order and providing a sharper characterization of the required weak coupling condition. The key tool for the convergence analysis is the construction of a weighted norm enabling a telescoping argument for the sum of the errors.

math.NA

Balancing-based model reduction for switched descriptor systems

We propose a novel projection-based model order reduction (MOR) algorithm for a broad class of switched linear descriptor systems. Our approach integrates the reformulation strategy of [Hossain & Trenn, DAE Panel, 2024], which converts the switched descriptor system into a switched ordinary differential equation featuring state- and input-dependent jumps as well as impulsive components at the switching instants in the output, with the piecewise balanced truncation framework for switched linear systems introduced in [Manucci & Unger, arXiv:2601.13039, 2026]. The central idea is to additionally reformulate the switched system with input jumps and impulsive output as a standard switching system that exhibits only state-dependent jumps, while appropriately augmenting the input and output dimensions to preserve the original input-output behavior. Based on this reformulation, we develop new stopping criteria for the stationary iterative scheme employed to approximate the solution of a generalized Lyapunov equation, a key ingredient for the computation of the projection matrices in our MOR procedure. Finally, numerical experiments are conducted to demonstrate and assess the effectiveness of the proposed reduction methodology.

math.NA

Model reduction on manifolds: A differential geometric framework

Using nonlinear projections and preserving structure in model order reduction (MOR) are currently active research fields. In this paper, we provide a novel differential geometric framework for model reduction on smooth manifolds, which emphasizes the geometric nature of the objects involved. The crucial ingredient is the construction of an embedding for the low-dimensional submanifold and a compatible reduction map, for which we discuss several options. Our general framework allows capturing and generalizing several existing MOR techniques, such as structure preservation for Lagrangian- or Hamiltonian dynamics, and using nonlinear projections that are, for instance, relevant in transport-dominated problems. The joint abstraction can be used to derive shared theoretical properties for different methods, such as an exact reproduction result. To connect our framework to existing work in the field, we demonstrate that various techniques for data-driven construction of nonlinear projections can be included in our framework.

math.NA

Higher-order iterative decoupling for poroelasticity

For the iterative decoupling of elliptic-parabolic problems such as poroelasticity, we introduce time discretization schemes up to order $5$ based on the backward differentiation formulae. Its analysis combines techniques known from fixed-point iterations with the convergence analysis of the temporal discretization. As main result, we show that the convergence depends on the interplay between the time step size and the parameters for the contraction of the iterative scheme. Moreover, this connection is quantified explicitly, which allows for balancing the single error components. Several numerical experiments illustrate and validate the theoretical results, including a three-dimensional example from biomechanics.

math.NA

Energy matching in reduced passive and port-Hamiltonian systems

It is well known that any port-Hamiltonian (pH) system is passive, and conversely, any minimal and stable passive system has a pH representation. Nevertheless, this equivalence is only concerned with the input-output mapping but not with the Hamiltonian itself. Thus, we propose to view a pH system either as an enlarged dynamical system with the Hamiltonian as additional output or as two dynamical systems with the input-output and the Hamiltonian dynamic. Our first main result is a structure-preserving Kalman-like decomposition of the enlarged pH system that separates the controllable and zero-state observable parts. Moreover, for further approximations in the context of structure-preserving model-order reduction (MOR), we propose to search for a Hamiltonian in the reduced pH system that minimizes the $\mathcal{H}_2$-distance to the full-order Hamiltonian without altering the input-output dynamic, thus discussing a particular aspect of the corresponding multi-objective minimization problem corresponding to $\mathcal{H}_2$-optimal MOR for pH systems. We show that this optimization problem is uniquely solvable, can be recast as a standard semidefinite program, and present two numerical approaches for solving it. The results are illustrated with three academic examples.

math.OC

Robust Recurrent Neural Network to Identify Ship Motion in Open Water with Performance Guarantees -- Technical Report

Recurrent neural networks are capable of learning the dynamics of an unknown nonlinear system purely from input-output measurements. However, the resulting models do not provide any stability guarantees on the input-output mapping. In this work, we represent a recurrent neural network as a linear time-invariant system with nonlinear disturbances. By introducing constraints on the parameters, we can guarantee finite gain stability and incremental finite gain stability. We apply this identification method to learn the motion of a four-degrees-of-freedom ship that is moving in open water and compare it against other purely learning-based approaches with unconstrained parameters. Our analysis shows that the constrained recurrent neural network has a lower prediction accuracy on the test set, but it achieves comparable results on an out-of-distribution set and respects stability conditions.

cs.LG