https://arxiv.org/api/gJqAhJMzaNgJOnahWEl2p5EOGFY 2026-03-28T14:38:24Z 60129 120 15 http://arxiv.org/abs/2503.05606v3 2026-03-23T16:51:29Z

We study controllability and constructive synthesis for control-affine systems. We introduce trajectory-dependent Gramian maps that extend the linear time-varying Gramian and yield explicit fixed-point synthesis maps. On feasible coercivity classes (uniform eigenvalue lower bounds), the Gramian map is Lipschitz, synthesis iterates exhibit factorial decay, and the Caccioppoli fixed point theorem gives a unique fixed point that steers the system and satisfies an energy identity. When, in addition, an orthogonality condition holds, this fixed point coincides with the unique global minimum-energy control on the feasible set; if the coercivity bound holds uniformly for all bounded controls, the same conclusion holds on the full bounded-control space. We provide structural conditions on the input matrix that ensure the nonemptiness of the feasible class (and, in fully actuated regimes, equality with the full space) and sufficient conditions for underactuated systems via bounded-amplitude reference controls. Case studies on Hopfield network dynamics illustrate refined estimates that enlarge reachable targets. A trajectory-freezing and compactness step extends the synthesis to general nonlinear control-affine systems. The results yield verifiable controllability criteria with explicit, numerically implementable controllers.

2025-03-07T17:30:26Z Cyprien Tamekue ShiNung Ching http://arxiv.org/abs/2603.22155v1 2026-03-23T16:18:31Z

A celebrated method for Variational Inequalities (VIs) is Extragradient (EG), which can be viewed as a standard discrete-time integration scheme. With this view in mind, in this paper we show that EG may suffer from discretization bias when applied to non-linear vector fields, conservative or otherwise. To resolve this discretization shortcoming, we introduce RAndomized Mid-Point for debiAsed Gradient Extrapolation (RAMPAGE) and its variance-reduced counterpart, RAMPAGE+ which leverages antithetic sampling. In contrast with EG, both methods are unbiased. Furthermore, leveraging negative correlation, RAMPAGE+ acts as an unbiased, geometric path-integrator that completely removes internal first-order terms from the variance, provably improving upon RAMPAGE. We further demonstrate that both methods enjoy provable $\mathcal{O}(1/k)$ convergence guarantees for a range of problems including root finding under co-coercive, co-hypomonotone, and generalized Lipschitzness regimes. Furthermore, we introduce symmetrically scaled variants to extend our results to constrained VIs. Finally, we provide convergence guarantees of both methods for stochastic and deterministic smooth convex-concave games. Somewhat interestingly, despite being a randomized method, RAMPAGE+ attains purely deterministic bounds for a number of the studied settings.

2026-03-23T16:18:31Z Abolfazl Hashemi http://arxiv.org/abs/2603.22113v1 2026-03-23T15:41:30Z

Access to healthcare facilities is a critical issue in developing countries, where limited resources and significant challenges hinder progress toward universal health coverage, one of the targets pursued by the United Nations. As a result, the Operations Research (OR) community has become increasingly active in addressing this issue, employing various techniques, particularly optimization. However, making long-term strategic decisions remains challenging, as these often require substantial investments and directly affect large populations. Moreover, much of the existing literature is predominantly theoretical. This paper reviews studies published over the past two decades that use optimization techniques to inform strategic planning decisions aimed at improving health accessibility and specifically contain a case study conducted in a developing country. The review explores the nature of the problems tackled, considering factors such as the level of care, service delivery channels, objectives, criteria, or potential hierarchy, uncertainty, and multi-period settings. Additionally, we discuss the modeling approaches, solution methodologies, and the extent of practical implementation. The goal of this survey is not only to summarize existing work but also to provide a roadmap for future research, offering valuable insights for OR practitioners in the field.

2026-03-23T15:41:30Z Laura Davila-Pena Maria Paola Scaparra Dick den Hertog http://arxiv.org/abs/2603.12140v3 2026-03-23T15:22:56Z

When actions reshape opponents' signals, each agent's optimal response depends on an infinite hierarchy of beliefs about beliefs (Townsend, 1983) that has resisted exact analysis for four decades. We provide the first exact equilibrium characterization of finite-player continuous-time linear-quadratic games with endogenous signals. Estimating primitive shocks rather than the state collapses the belief hierarchy onto deterministic impulse-response maps, reducing Nash equilibrium to a deterministic fixed point with no truncation and no large-population limit. The characterization yields an information wedge pricing the marginal value of shifting opponents' posteriors; it vanishes precisely when signals are exogenous. In a two-player benchmark, nearly all welfare gains from pooling information come from eliminating bilateral belief manipulation rather than from improving state estimation. This strategic channel also governs optimal precision allocation: a planner should concentrate information on the efficient player, since arming the inefficient player maximizes the arms race while starving them of information collapses it.

2026-03-12T16:43:21Z 53 pages, 7 figures Sam Babichenko http://arxiv.org/abs/2603.22090v1 2026-03-23T15:20:26Z

Recommender systems play an essential role in online services by providing personalized item lists to support users' decision-making processes. While collaborative filtering methods can achieve high accuracy, it is crucial to consider not only accuracy but also the diversity of recommended items to improve user satisfaction. Although financial portfolio theory has been applied to balance these factors, existing models are often sensitive to estimation errors in rating statistics. To overcome these challenges, we establish a computational framework of distributionally robust optimization (DRO) for recommendation selection. We first formulate a cardinality-constrained DRO model based on moment-based ambiguity sets to select a specified number of items for each user. We then design a penalty alternating direction method (PADM) to efficiently compute high-quality solutions and prove its convergence properties. Computational experiments using three publicly available rating datasets demonstrate that our DRO model generates more diverse recommendations than existing models while maintaining the same level of accuracy. Additionally, our solution method computes these recommendations for each user in just a few seconds, proving its practical effectiveness. This study establishes a DRO framework that has the potential to enhance the recommendation quality of various collaborative filtering methods.

2026-03-23T15:20:26Z Tomoya Yanagi Shunnosuke Ikeda Ken Kobayashi Yuichi Takano http://arxiv.org/abs/2603.22022v1 2026-03-23T14:30:10Z

This paper addresses the challenge of time-inconsistent stochastic control within a continuous-time framework. Its primary focus lies in uncovering a probabilistic representation, specifically in the shape of a system of backward stochastic differential equations (BSDEs). These equations encapsulate the equilibrium value function essential for resolving cases where the present state affecting the target functional triggers the inconsistency. Additionally, the paper offers an application exemplifying this theory through the time-inconsistent linear--quadratic regulator.

2026-03-23T14:30:10Z 39 pages, 2 figures Dylan Possamaï Mateo Rodriguez Polo http://arxiv.org/abs/2603.22009v1 2026-03-23T14:15:04Z

The Wasserstein-Fisher-Rao (WFR) distance on $S^{2}$ has recently been shown to coincide with a classical elastic distance between $S^{2}$-immersions in the theory of Riemannian shape analysis. While this correspondence holds in dimension $2$, the analogous statement fails in general on $S^{1}$ and, in the case of convex curves, it cannot be derived from existing two-dimensional arguments. In this paper, we establish that for convex absolutely continuous immersions of $S^{1}$ in the plane, the shape distance induced by the square root velocity transformation (SRVT) is indeed equivalent to the WFR distance acting on their associated length measures. The proof exploits a monotonicity principle for optimal transport on the universal cover of the circle, which in turn guarantees the existence of an optimal reparametrization achieving the SRVT infimum and enables a one-dimensional unbalanced optimal transport reformulation. Motivated by this equivalence, we further investigate the role of sparsity in shape optimization problems formulated in terms of length measures and regularized by the WFR distance. We study linear optimization over the corresponding balls, for which we prove a finiteness result when the reference measure is discrete, and propose a convex, positively one-homogeneous regularizer suitable for conditional gradient algorithms.

2026-03-23T14:15:04Z 28 pages, 3 figures Giacomo Cristinelli José A. Iglesias http://arxiv.org/abs/2603.21983v1 2026-03-23T13:46:18Z

In a previous paper we proved quadratic flatness and $\mathscr{C}^{2}$-rectifiability for codimension one varifolds $ V $ on open subsets of $ \mathbf{R}^{n+1} $ with bounded anisotropic mean curvature, under the hypothesis that $ \operatorname{spt} \| V \| $ has locally finite $ \mathscr{H}^{n} $ measure. In this paper we explore some fundamental consequences of this result. In particular, we extend Brakke's perpendicularity theorem to the anisotropic setting and we deduce the locality of the anisotropic mean curvature vector.

2026-03-23T13:46:18Z Sławomir Kolasiński Mario Santilli http://arxiv.org/abs/2505.10116v3 2026-03-23T13:18:36Z

The paper deals with analysis and design of sliding mode control systems modeled by finite-dimensional integro-differential equations. Filippov method and equivalent control approach are extended to a class of nonlinear discontinuous integro-differential equations and to a class of control systems modeled by infinite-dimensional differential equations in Banach spaces. Sliding mode control algorithms are designed for distributed input delay systems and for a heat control system.

2025-05-15T09:40:32Z Andrey Polyakov http://arxiv.org/abs/2603.21916v1 2026-03-23T12:38:32Z

This paper investigates ensemble Kalman inversion (EKI) for variational inverse problems with convex, potentially non-smooth regularization. While deterministic EKI and its Tikhonov-regularized variants have primarily been analyzed for smooth objectives, a corresponding framework accommodating subgradient dynamics has not yet been established. To address this gap, we introduce a subgradient-based formulation of EKI (SEKI) that incorporates non-smooth regularizers through a covariance-preconditioned differential inclusion for the ensemble mean. In the linear forward-model setting, well-posedness of the resulting continuous-time particle system is established under minimal assumptions on the regularization functional using maximal monotone operator theory and Yosida approximations. Motivated by the continuous-time dynamics, we propose an explicit discrete-time scheme that preserves the derivative-free structure of EKI and analyze its convergence as an optimization method in the strongly convex case. Numerical experiments in computed tomography with total variation regularization and sparse recovery with $\ell_1$ penalties illustrate that non-smooth regularization can be incorporated into ensemble Kalman inversion in a stable and principled manner.

2026-03-23T12:38:32Z Simon Weissmann http://arxiv.org/abs/2603.21913v1 2026-03-23T12:34:18Z

In structured multi-agent transportation systems, agents often must follow predefined routes, making spatial rerouting undesirable or impossible. This paper addresses route-constrained multi-agent coordination by optimizing waypoint passage times while preserving each agent's assigned waypoint order and nominal route assignment. A differentiable surrogate trajectory model maps waypoint timings to smooth position profiles and captures first-order tracking lag, enabling pairwise safety to be encoded through distance-based penalties evaluated on a dense temporal grid spanning the mission horizon. The resulting nonlinear and nonconvex velocity-scheduling problem is solved using an inexact-projection Alternating Direction Method of Multipliers (ADMM) algorithm that combines structured timing updates with gradient-based collision-correction steps and avoids explicit integer sequencing variables. Numerical experiments on random-crossing, bottleneck, and graph-based network scenarios show that the proposed method computes feasible and time-efficient schedules across a range of congestion levels and yields shorter mission completion times than a representative hierarchical baseline in the tested bottleneck cases.

2026-03-23T12:34:18Z Seungyeop Lee Jong-Han Kim http://arxiv.org/abs/2603.21850v1 2026-03-23T11:39:22Z

We present a novel extension of Moser's volume form lemma to the kinetic Liouville equation. In particular, we show that two smooth, positive phase-space densities $f$ and $g$ can be connected in unit time by the Liouville equation if and only if a natural compatibility condition on velocity marginals is satisfied. Under this condition, an explicit family of force fields is constructed via a weighted elliptic problem in the velocity variable. Results of numerical experiments are presented to validate the theoretical framework.

2026-03-23T11:39:22Z Alfio Borzì Marco Caponigro Arianna Vicari http://arxiv.org/abs/2601.18906v3 2026-03-23T11:38:06Z

We study a stochastic anchored gradient scheme, namely HalpernSGD, which combines the classical Halpern iteration for finding a minimizer of a convex and $L$-smooth objective function with a stochastic {first-order} oracle. The algorithm is simple and does not require projections, line-search, or similar techniques. This provides, to the best of our knowledge, the first almost sure convergence guarantee for a Halpern-type stochastic gradient scheme, without requiring variance reduction or multi-point oracle mechanisms. Under standard stepsize assumptions, we prove that the iterates converge almost surely to the anchor-selected minimizer $x^*=P_S(u)$. In addition, for a natural choice of the step sequences, we derive a sublinear asymptotic estimate for the expected optimality gap, namely \( \liminf_{n\to\infty}\sqrt{n+1}\,\mathbb{E}\bigl[f(X_n)-f(x^*)\bigr]=0. \) As shown, a full last iterate rate estimate cannot be reached in the present setting.

2026-01-26T19:17:11Z Vittorio Colao Katherine Rossella Foglia http://arxiv.org/abs/2511.03002v2 2026-03-23T11:25:59Z

We address the design of a model predictive control (MPC) scheme for large-scale linear systems using reduced-order models (ROMs). Our approach uses a ROM, leverages tools from robust control, and integrates them into an MPC framework to achieve computational tractability with robust constraint satisfaction. Our key contribution is a method to obtain guaranteed bounds on the predicted outputs of the full-order system by predicting a (scalar) error-bounding system alongside the ROM. This bound is then used to formulate a robust ROM-based MPC that guarantees constraint satisfaction and robust performance. Our method is developed step-by-step by (i) analysing the error, (ii) bounding the peak-to-peak gain, an (iii) using filtered signals. We demonstrate our method on a 100-dimensional mass-spring-damper system, achieving over four orders of magnitude reduction in conservatism relative to existing approaches.

2025-11-04T21:14:54Z Accepted to the European Control Conference 2026 Johannes Köhler Carlo Scholz Melanie Zeilinger http://arxiv.org/abs/2510.25363v2 2026-03-23T11:24:03Z

The Krasnosel'skiĭ--Mann and Halpern iterations are classical schemes for approximating fixed points of nonexpansive mappings in Banach spaces, and have been widely studied in more general frameworks such as $CAT(κ)$ and, more generally, geodesic spaces. Convergence results and convergence rate estimates in these nonlinear settings are already well established. The contribution of this paper is twofold: first, we extend to complete $CAT(0)$ spaces proof techniques originally developed in the linear setting of Banach and Hilbert spaces, thereby recovering the same asymptotic regularity bounds; second, we introduce a Halpern--type optimizer for hyperbolic optimization as a nonlinear counterpart of the Euclidean HalpernSGD scheme.

2025-10-29T10:36:25Z Katherine Rossella Foglia Vittorio Colao