https://arxiv.org/api/XTwVUTGNPQSIl9mk+kiucYi8r0M 2026-03-22T08:48:35Z 59978 30 15 http://arxiv.org/abs/2603.18653v1 2026-03-19T09:18:09Z

We study a discrete portfolio pricing problem that selects one price per product from a finite menu under margin and fairness constraints. To account for demand uncertainty, we incorporate a budgeted robust formulation that controls conservatism while remaining computationally tractable. By reducing the problem to a Multiple-Choice Knapsack Problem (MCKP), we identify structural properties of the LP relaxation, in particular upper-hull filtering and greedy filling over hull segments, that yield an exact solution method for the LP relaxation of the fixed-parameter subproblems. For the resulting fixed-parameter subproblems, we show that the integrality gap is bounded additively by a single-item hull jump, and that the corresponding relative gap decays as O(1/n) under standard boundedness and linear-growth assumptions. Numerical experiments on synthetic portfolios and a stylized retail case study with economically calibrated parameters are consistent with these bounds and indicate that robust margin protection can be achieved with less than 1 percent nominal revenue loss on the instances tested.

2026-03-19T09:18:09Z 28 pages, 10 figures. Code available at https://github.com/eric939/robust_mckp Zi Yuan Eric Shao http://arxiv.org/abs/2105.05536v6 2026-03-19T08:57:28Z

Overconservatism has long been recognized as a major issue with robust optimization, despite its key advantages of tractability, performance guarantee, and limited information. To address this issue, a new criterion is proposed that can adapt its level of conservatism continuously to the opportunities out there, while maintaining all the key advantages just mentioned. With this criterion, a general framework of conservatism control based on optimal performance guarantee is developed and characterized, and a new approach to competitive ratio analysis is established. The criterion is then applied to the robust one-way trading problem, where analytical solution is obtained, and the competitive ratio is derived directly via the new approach. Numerical experiments are conducted to demonstrate the effectiveness of conservatism control based on the new criterion, with the average reward improvable by 4% - 17% over the other commonly used criteria.

2021-05-12T09:28:12Z 41 pages, 2 figures Yingjie Lan http://arxiv.org/abs/2603.18628v1 2026-03-19T08:51:59Z

In this article, we introduce a new class of entropy-penalized robust mean field game problems in which the representative agent is opposed to Nature. The agent's objective is formulated as a min-max stochastic control problem, in which Nature distorts the reference probability measure at an entropic cost. As a consequence, the distribution of the continuum of agents represented by the player is given by the effective measure induced by Nature. Existence of a mean-field game equilibrium is established via a Schauder fixed point argument. To ensure uniqueness, we introduce a joint flat anti-monotonicity and displacement monotonicity condition, extending the classical Lasry-Lions monotonicity framework. Finally, we present two classes of N -player games for which the mean-field game limit yields $ε$-Nash equilibria.

2026-03-19T08:51:59Z François Delarue UniCA Pierre Lavigne UniCA http://arxiv.org/abs/2410.04867v2 2026-03-19T08:19:43Z

We investigate the well-posedness in the Hadamard sense and the absence of price manipulation in the optimal execution problem within the Almgren-Chriss framework, where the temporary and permanent impact parameters vary deterministically over time. We present sufficient conditions for the existence of a unique solution and provide second-order conditions for the problem, with a particular focus on scenarios where impact parameters change monotonically over time. Additionally, we establish conditions to prevent transaction-triggered price manipulation in the optimal solution, i.e. the occurence of buying and selling in the same trading program. Our findings are supported by numerical analyses that explore various regimes in simple parametric settings for the dynamics of impact parameters.

2024-10-07T09:33:30Z 33 pages, & figures Gianluca Palmari Fabrizio Lillo Zoltan Eisler http://arxiv.org/abs/2603.18551v1 2026-03-19T07:07:48Z

We study how to construct compressed datasets that suffice to recover optimal decisions in linear programs with an unknown cost vector $c$ lying in a prior set $\mathcal{C}$. Recent work by Bennouna et al. provides an exact geometric characterization of sufficient decision datasets (SDDs) via an intrinsic decision-relevant dimension $d^\star$. However, their algorithm for constructing minimum-size SDDs requires solving mixed-integer programs. In this paper, we establish hardness results showing that computing $d^\star$ is NP-hard and deciding whether a dataset is globally sufficient is coNP-hard, thereby resolving a recent open problem posed by Bennouna et al. To address this worst-case intractability, we introduce pointwise sufficiency, a relaxation that requires sufficiency for an individual cost vector. Under nondegeneracy, we provide a polynomial-time cutting-plane algorithm for constructing pointwise-sufficient decision datasets. In a data-driven regime with i.i.d.\ costs, we further propose a cumulative algorithm that aggregates decision-relevant directions across samples, yielding a stable compression scheme of size at most $d^\star$. This leads to a distribution-free PAC guarantee: with high probability over the training sample, the pointwise sufficiency failure probability on a fresh draw is at most $\tilde{O}(d^\star/n)$, and this rate is tight up to logarithmic factors. Finally, we apply decision-sufficient representations to contextual linear optimization, obtaining compressed predictors with generalization bounds scaling as $\tilde{O}(\sqrt{d^\star/n})$ rather than $\tilde{O}(\sqrt{d/n})$, where $d$ is the ambient cost dimension.

2026-03-19T07:07:48Z 45 pages, 2 figures, includes appendix Yuhan Ye Saurabh Amin Asuman Ozdaglar http://arxiv.org/abs/2603.18503v1 2026-03-19T05:23:21Z

Efficient coordination for collective spatial distribution is a fundamental challenge in multi-agent systems. Prior research on Density-Driven Optimal Control (D2OC) established a framework to match agent trajectories to a desired spatial distribution. However, implementing this as a predictive controller requires solving a large-scale Karush-Kuhn-Tucker (KKT) system, whose computational complexity grows cubically with the prediction horizon. To resolve this, we propose an analytical structural reduction that transforms the T-horizon KKT system into a condensed quadratic program (QP). This formulation achieves O(T) linear scalability, significantly reducing the online computational burden compared to conventional O(T^3) approaches. Furthermore, to ensure rigorous convergence in dynamic environments, we incorporate a contractive Lyapunov constraint and prove the Input-to-State Stability (ISS) of the closed-loop system against reference propagation drift. Numerical simulations verify that the proposed method facilitates rapid density coverage with substantial computational speed-up, enabling long-horizon predictive control for large-scale multi-agent swarms.

2026-03-19T05:23:21Z Julian Martinez Kooktae Lee http://arxiv.org/abs/2309.08945v2 2026-03-19T05:22:20Z

In recent years, a certain type of problems have become of interest where one wants to query a trained classifier. Specifically, one wants to find the closest instance to a given input instance such that the classifier's predicted label is changed in a desired way. Examples of these "inverse classification" problems are counterfactual explanations, adversarial examples and model inversion. All of them are fundamentally optimization problems over the input instance vector involving a fixed classifier, and it is of interest to achieve a fast solution for interactive or real-time applications. We focus on solving this problem efficiently with the squared Euclidean distance for two of the most widely used classifiers: logistic regression and softmax classifier. Owing to special properties of these models, we show that the optimization can be solved in closed form for logistic regression, and iteratively but extremely fast for the softmax classifier. This allows us to solve either case exactly (to nearly machine precision) in a runtime of milliseconds to around a second even for very high-dimensional instances and many classes.

2023-09-16T10:34:40Z Appears in Transactions on Machine Learning Research, March 2026 Miguel Á. Carreira-Perpiñán Suryabhan Singh Hada http://arxiv.org/abs/2603.18483v1 2026-03-19T04:37:58Z

In the present paper we study the performance of linear denoisers for noisy data of the form $\mathbf{x} + \mathbf{z}$, where $\mathbf{x} \in \mathbb{R}^d$ is the desired data with zero mean and unknown covariance $\mathbfΣ$, and $\mathbf{z} \sim \mathcal{N}(0, \mathbfΣ_{\mathbf{z}})$ is additive noise. Since the covariance $\mathbfΣ$ is not known, the standard Wiener filter cannot be employed for denoising. Instead we assume we are given samples $\mathbf{x}_1,\dots,\mathbf{x}_n \in \mathbb{R}^d$ from the true distribution. A standard approach would then be to estimate $\mathbfΣ$ from the samples and use it to construct an ``empirical" Wiener filter. However, in this paper, motivated by the denoising step in diffusion models, we take a different approach whereby we train a linear denoiser $\mathbf{W}$ from the data itself. In particular, we synthetically construct noisy samples $\hat{\mathbf{x}}_i$ of the data by injecting the samples with Gaussian noise with covariance $\mathbfΣ_1 \neq \mathbfΣ_{\mathbf{z}}$ and find the best $\mathbf{W}$ that approximates $\mathbf{W}\hat{\mathbf{x}}_i \approx \mathbf{x}_i$ in a least-squares sense. In the proportional regime $\frac{n}{d} \rightarrow κ> 1$ we use the {\it Convex Gaussian Min-Max Theorem (CGMT)} to analytically find the closed form expression for the generalization error of the denoiser obtained from this process. Using this expression one can optimize over $\mathbfΣ_1$ to find the best possible denoiser. Our numerical simulations show that our denoiser outperforms the ``empirical" Wiener filter in many scenarios and approaches the optimal Wiener filter as $κ\rightarrow\infty$.

2026-03-19T04:37:58Z Reza Ghane Danil Akhtiamov Babak Hassibi http://arxiv.org/abs/2603.18473v1 2026-03-19T04:09:58Z

Electric power infrastructure faces increasing risk of damage and disruption due to wildfire. Operators of power grids in wildfire-prone regions must consider the potential impacts of unpredictable fires. However, traditional wildfire models do not effectively describe worst-case, or even high-impact, fire behavior. To address this issue, we propose a mixed-integer conic program to characterize an adversarial wildfire that targets infrastructure while respecting realistic fire spread dynamics. We design a wind-assisted fire spread set based on the Rothermel fire spread model and propose principled convex relaxations of this set, including a new relaxation of the inner product over Euclidean balls. We present test cases derived from the recent Park, Eaton, and Palisades fires in California and solve models to identify the minimum time-to-outage of multiple-element contingencies and the maximum load shed associated with a sequence of element outages caused by a realistic wildfire. We use the minimum time-to-outage values to screen contingencies and construct security-constrained optimal power flow models that promote operational resilience against wildfire.

2026-03-19T04:09:58Z Matthew Brun Xu Andy Sun Jean-Paul Watson http://arxiv.org/abs/2603.18458v1 2026-03-19T03:39:54Z

We present a novel relaxation framework for general mixed-integer nonlinear programming (MINLP) grounded in computational geometry. Our approach constructs polyhedral relaxations by convexifying finite sets of strategically chosen points, iteratively refining the approximation to converge toward the simultaneous convex hull of factorable function graphs. The framework is underpinned by three key contributions: (i) a new class of explicit inequalities for products of functions that strictly improve upon standard factorable and composite relaxation schemes; (ii) a proof establishing that the simultaneous convex hull of multilinear functions over axis-aligned regions is fully determined by their values at corner points, thereby generalizing existing results from hypercubes to arbitrary axis-aligned domains; and (iii) the integration of computational geometry tools, specifically voxelization and QuickHull, to efficiently approximate feasible regions and function graphs. We implement this framework and evaluate it on randomly generated polynomial optimization problems and a suite of 619 instances from \texttt{MINLPLib}. Numerical results demonstrate significant improvements over state-of-the-art benchmarks: on polynomial instances, our relaxation closes an additional 20--25\% of the optimality gap relative to standard methods on half the instances. Furthermore, compared against an enhanced factorable programming baseline and Gurobi's root-node bounds, our approach yields superior dual bounds on approximately 30\% of \texttt{MINLPLib} instances, with roughly 10\% of cases exhibiting a gap reduction exceeding 50\%.

2026-03-19T03:39:54Z Haisheng Zhu Taotao He Mohit Tawarmalani http://arxiv.org/abs/2603.18454v1 2026-03-19T03:33:05Z

Fundamental limits on the performance of feedback controllers are essential for benchmarking algorithms, guiding sensor selection, and certifying task feasibility -- yet few general-purpose tools exist for computing them. Existing information-theoretic approaches overestimate the information a sensor must provide by evaluating it against the uncontrolled system, producing bounds that degrade precisely when feedback is most valuable. We derive a lower bound on the minimum expected cost of any causal feedback controller under partial observations by applying the Gibbs variational principle to the joint path measure over states and observations. The bound applies to nonlinear, nonholonomic, and hybrid dynamics with unbounded costs and admits a self-consistent refinement: any good controller concentrates the state, which limits the information the sensor can extract, which tightens the bound. The resulting fixed-point equation has a unique solution computable by bisection, and we provide conditions under which the free energy minimization is provably convex, yielding a certifiably correct numerical bound. On a nonlinear Dubins car tracking problem, the self-consistent bound captures most of the optimal cost across sensor noise levels, while the open-loop variant is vacuous at low noise.

2026-03-19T03:33:05Z 6 pages, 1 figure Vincent Pacelli Evangelos A. Theodorou http://arxiv.org/abs/2603.18422v1 2026-03-19T02:30:53Z

In 1983, Brockett developed a topological necessary condition for the existence of continuous, asymptotically stabilizing control laws. Building upon recent work on necessary conditions for set stabilization, we develop Brockett-like necessary conditions for the existence of control barrier functions (CBFs). By leveraging the unique geometry of CBF safe sets, we provide simple and self-contained derivations of necessary conditions for the existence of CBFs and their safe, continuous controllers. We demonstrate the application of these conditions to instructive examples and kinematic nonholonomic systems, and discuss their relationship to Brockett's necessary condition.

2026-03-19T02:30:53Z 6 pages, 3 figures Massimiliano de Sa Aaron D. Ames http://arxiv.org/abs/2512.04539v2 2026-03-19T01:22:07Z

We study constrained selection sets of random closed sets defined on a non-atomic probability space. Given a random interval $Y=[y_L,y_U]$ and scalar constraints on the expectation or the median of admissible selections, we characterize the restricted selection set and establish sharp bounds on the attainable ranges of means, medians, and event probabilities. In particular, we give conditions under which every value in the Aumann expectation range is realized as the mean of a measurable selection, and we obtain explicit formulas for the extremal expectations under median and higher-moment restrictions via rearrangement and convex-duality arguments. We further show that the selection set of any random compact convex set in $\R^d$ can be approximated in $L^1$ by selection sets of disjoint unions of random cubes, each of which decomposes coordinate-wise into one-dimensional interval selection problems. This gives us an approximation-based reduction of constrained selection problems for random compact convex sets in $\R^d$.

2025-12-04T07:41:16Z Arie Beresteanu Behrooz Moosavi Rameznzadeh http://arxiv.org/abs/2603.18387v1 2026-03-19T01:14:12Z

This draft book offers a comprehensive and rigorous treatment of the mathematical principles underlying modern deep learning. The book spans core theoretical topics, from the approximation capabilities of deep neural networks, the theory and algorithms of optimal control and reinforcement learning integrated with deep learning techniques, to contemporary generative models that drive today's advances in artificial intelligence.

2026-03-19T01:14:12Z Draft version. Final version is published in "Chapman & Hall/CRC Mathematics and Artificial Intelligence Series" by Taylor & Francis in 2026 Xiaojing Ye http://arxiv.org/abs/2603.16573v2 2026-03-19T00:46:16Z

In this paper, we propose a descent method for composite optimization problems with linear operators. Specifically, we first design a structure-exploiting preconditioner tailored to the linear operator so that the resulting preconditioned proximal subproblem admits a closed-form solution through its dual formulation. However, such a structure-driven preconditioner may be poorly aligned with the local curvature of the smooth component, which can lead to slow practical convergence. To address this issue, we develop a subspace proximal Newton framework that incorporates curvature information within a low-dimensional subspace. At each iteration, the search direction is obtained by minimizing a proximal Newton model restricted to a two-dimensional subspace spanned by the current preconditioned proximal gradient direction and a momentum direction derived from the previous iterate. By orthogonalizing the subspace basis with respect to the local Hessian-induced metric, the resulting two-dimensional nonsmooth subproblem can be efficiently approximated by solving two one-dimensional optimization problems. This orthogonalization plays a crucial role: it allows a single pass of alternating one-dimensional updates to provide a good approximation to the original coupled two-dimensional subproblem while keeping the per-iteration computational cost low. We establish global convergence of the proposed method and prove a $Q$-linear convergence rate under strong convexity. Comparative numerical experiments demonstrate the effectiveness of the proposed algorithm, particularly on high-dimensional and ill-conditioned problems.

2026-03-17T14:27:44Z Jian Chen Xinmin Yang