SearcharxivSearch

arXiv subjects

Lauren Conger

Publications and source records attributed to Lauren Conger.

12 recordsLinked to original sources

Dissipative Evolutions in Metric Spaces

We study a novel class of evolution variational inequalities (EVI) driven by bifunctions $\mathsf{b}:\mathrm{D} \times \mathrm{D} \to \mathbb{R}$ defined on a subset $\mathrm{D}$ of a metric space $(\mathrm{X},\mathrm{d})$ and satisfying a natural dissipativity condition $$\mathsf{b}(x,y)+\mathsf{b}(y,x)\le η\mathrm{d}^2(x,y).$$ We provide general conditions for existence, stability, regularity, approximation and asymptotic behavior of solutions, by proposing a metric framework that generalizes the classical structure of evolutions driven by monotone operators in Hilbert spaces. A motivating application is the setting of minimax and multispecies coupled gradient flows, in which each of $N$ species evolves in the direction of steepest descent of its own energy functional and the joint system is not a gradient flow of any single energy. To construct solutions, we introduce a variational movement scheme (VMS), a time discretization scheme in which each update is a saddle point of a metrically penalized bifunction, generalizing the classical minimizing movement/ JKO scheme for single species gradient descent. In the coupled multispecies case, the VMS reduces to a Nash equilibrium problem. We prove existence of discrete solutions to the VMS via a general approach which combines dissipativity of $\mathsf{b}$ with a new notion of convexity along suitable $\textit{barycentric interpolations}$ (which is inspired by convexity along generalized geodesics, a crucial notion for gradient flows). Together, these conditions provide a zeroth-order notion of game-theoretic monotonicity applicable to general metric spaces without linear structure.

math.AP

Monotone Multispecies Flows

We present a novel notion of $λ$-monotonicity for an $n$-species system of partial differential equations governed by mass-preserving flow dynamics, extending monotonicity in Banach spaces to the Wasserstein-2 metric space. We show that monotonicity implies the existence of and convergence to a unique steady state, convergence of the velocity fields and second moments, and contraction in the Wasserstein-2 metric, at rates dependent on $λ$. In the special setting of Wasserstein-2 gradient descent of different energies for each species, we prove convergence to the unique Nash equilibrium of the associated energies and delineate the relationship between monotonicity and displacement convexity. This extends known zero-sum results in infinite-dimensional game theory to the general-sum setting. We provide a number of examples of monotone coupled gradient flow systems, including cross-diffusion, gradient flows with potentials, nonlocal interaction, linear and nonlinear diffusion, and min-max systems, and draw connections to a class of mean-field games. Numerically, we demonstrate convergence of a four-player economic model for service providers and strategic users competing in a market, and a degenerately monotone game.

math.AP

Convex Constrained Controller Synthesis for Evolution Equations

We propose a convex controller synthesis framework for a large class of constrained linear systems, including those described by (deterministic and stochastic) partial differential equations and integral equations, commonly used in fluid dynamics, thermo-mechanical systems, quantum control, or transportation networks. Most existing control techniques rely on a (finite-dimensional) discrete description of the system, via ordinary differential equations. Here, we work instead with more general (infinite-dimensional) Hilbert spaces. This enables the discretization to be applied after the optimization (optimize-then-discretize). Using output-feedback SLS, we formulate the controller synthesis as a convex optimization problem. Structural constraints like sensor and communication delays, and locality constraints, are incorporated while preserving convexity, allowing parallel implementation and extending key SLS properties to infinite dimensions. The proposed approach and its benefits are demonstrated on a linear Boltzmann equation.

math.OC

Computing Optimal Transport Plans via Min-Max Gradient Flows

We pose the Kantorovich optimal transport problem as a min-max problem with a Nash equilibrium that can be obtained dynamically via a two-player game, providing a framework for approximating optimal couplings. We prove convergence of the timescale-separated gradient descent dynamics to the optimal transport plan, and implement the gradient descent algorithm with a particle method, where the marginal constraints are enforced weakly using the KL divergence, automatically selecting a dynamical adaptation of the regularizer. The numerical results highlight the different advantages of using the standard Kullback-Leibler (KL) divergence versus the reverse KL divergence with this approach, opening the door for new methodologies.

math.OC

Coupled Wasserstein Gradient Flows for Min-Max and Cooperative Games

We propose a framework for two-player infinite-dimensional games with cooperative or competitive structure. These games take the form of coupled partial differential equations in which players optimize over a space of measures, driven by either a gradient descent or gradient descent-ascent in Wasserstein-2 space. We characterize the properties of the Nash equilibrium of the system, and relate it to the steady state of the dynamics. In the min-max setting, we show, under sufficient convexity conditions, that solutions converge exponentially fast and with explicit rate to the unique Nash equilibrium. Similar results are obtained for the cooperative setting. We apply this framework to distribution shift induced by interactions among a strategic population of agents and an algorithm, proving additional convergence results in the timescale-separated setting. We illustrate the performance of our model on (i) real data from an economics study on Colombia census data, (ii) feature modification in loan applications, and (iii) performative prediction. The numerical experiments demonstrate the importance of distribution-level, rather than moment-level, modeling.

math.AP

Learning the Uncertainty Sets for Control Dynamics via Set Membership: A Non-Asymptotic Analysis

This paper studies uncertainty set estimation for unknown linear systems. Uncertainty sets are crucial for the quality of robust control since they directly influence the conservativeness of the control design. Departing from the confidence region analysis of least squares estimation, this paper focuses on set membership estimation (SME). Though good numerical performances have attracted applications of SME in the control literature, the non-asymptotic convergence rate of SME for linear systems remains an open question. This paper provides the first convergence rate bounds for SME and discusses variations of SME under relaxed assumptions. We also provide numerical results demonstrating SME's practical promise.

math.OC

Characterizing Controllability and Observability for Systems with Locality, Communication, and Actuation Constraints

This paper presents a closed-form notion of controllability and observability for systems with communication delays, actuation delays, and locality constraints. The formulation reduces to classical notions of controllability and observability in the unconstrained setting. As a consequence of our formulation, we show that the addition of locality and communication constraints may not affect the controllability and observability of the system, and we provide an efficient sufficient condition under which this phenomenon occurs. This contrasts with actuation and sensing delays, which cause a gradual loss of controllability and observability as the delays increase. We illustrate our results using linearized swing equations for the power grid, showing how actuation delay and locality constraints affect controllability.

math.OC

Strategic Distribution Shift of Interacting Agents via Coupled Gradient Flows

We propose a novel framework for analyzing the dynamics of distribution shift in real-world systems that captures the feedback loop between learning algorithms and the distributions on which they are deployed. Prior work largely models feedback-induced distribution shift as adversarial or via an overly simplistic distribution-shift structure. In contrast, we propose a coupled partial differential equation model that captures fine-grained changes in the distribution over time by accounting for complex dynamics that arise due to strategic responses to algorithmic decision-making, non-local endogenous population interactions, and other exogenous sources of distribution shift. We consider two common settings in machine learning: cooperative settings with information asymmetries, and competitive settings where a learner faces strategic users. For both of these settings, when the algorithm retrains via gradient descent, we prove asymptotic convergence of the retraining procedure to a steady-state, both in finite and in infinite dimensions, obtaining explicit rates in terms of the model parameters. To do so we derive new results on the convergence of coupled PDEs that extends what is known on multi-species systems. Empirically, we show that our approach captures well-documented forms of distribution shifts like polarization and disparate impacts that simpler models cannot capture.

cs.LG

Designing System Level Synthesis Controllers for Nonlinear Systems with Stability Guarantees

We introduce a method for controlling systems with nonlinear dynamics and full actuation by approximating the dynamics with polynomials and applying a system level synthesis controller. We show how to optimize over this class of controllers using a neural network while maintaining stability guarantees, without requiring a Lyapunov function. We give bounds for the domain over which the use of the class of controllers preserves stability and gives bounds on the control costs incurred by optimized controllers. We then numerically validate our approach and show improved performance compared with feedback linearization -- suggesting that the SLS controllers are able to take advantage of nonlinearities in the dynamics while guaranteeing stability.

math.OC

Signal Enhancement for Magnetic Navigation Challenge Problem

Harnessing the magnetic field of the Earth for navigation has shown promise as a viable alternative to other navigation systems. A magnetic navigation system collects its own magnetic field data using a magnetometer and uses magnetic anomaly maps to determine the current location. The greatest challenge with magnetic navigation arises when the magnetic field measurements from the magnetometer encompass the magnetic field from not just the Earth, but also from the vehicle on which it is mounted. It is difficult to separate the Earth magnetic anomaly field, which is crucial for navigation, from the total magnetic field reading from the sensor. The purpose of this challenge problem is to decouple the Earth and aircraft magnetic signals in order to derive a clean signal from which to perform magnetic navigation. Baseline testing on the dataset has shown that the Earth magnetic field can be extracted from the total magnetic field using machine learning (ML). The challenge is to remove the aircraft magnetic field from the total magnetic field using a trained model. This challenge offers an opportunity to construct an effective model for removing the aircraft magnetic field from the dataset by using a scientific machine learning (SciML) approach comprised of an ML algorithm integrated with the physics of magnetic navigation.

cs.LG

Nonlinear System Level Synthesis for Polynomial Dynamical Systems

This work introduces a controller synthesis method via system level synthesis for nonlinear systems characterized by polynomial dynamics. The resulting framework yields finite impulse response, time-invariant, closed-loop transfer functions with guaranteed disturbance cancellation. Our method generalizes feedback linearization to enable partial feedback linearization, where the cancellation of the nonlinearity is spread across a finite-time horizon. This provides flexibility to use the system dynamics to attenuate disturbances before cancellation via control, reducing the cost of control compared with feedback linearization while maintaining guarantees about disturbance rejection. This approach is illustrated on a benchmark example and on a common model for fluid flow control.

math.OC

Output-Feedback System Level Synthesis via Dynamic Programming

System Level Synthesis (SLS) allows us to construct internally stabilizing controllers for large-scale systems. However, solving large-scale SLS problems is computationally expensive and the state-of-the-art methods consider only state feedback; output feedback poses additional challenges because the constraints are no longer uniquely row or column separable. We exploit the structure of the output-feedback SLS problem by vectorizing the multi-sided matrix multiplications in the SLS optimization constraints, which allows us to reformulate it as a discrete-time control problem and solve using two stages of dynamic programming (DP). Additionally, we derive an approximation algorithm that offers a faster runtime by partially enforcing the constraints, and show that this algorithm offers the same results. DP solves SLS up to $7$ times faster, with an additional 42% to 68% improvement using the approximation algorithm, than a convex program solver, and scales with large state dimensions and finite impulse response horizon.

math.OC