https://arxiv.org/api/QUKEeFIisCTE//riQsp/ecFcoLg 2026-07-21T08:47:25Z 62890 45 15 http://arxiv.org/abs/2607.17193v1 2026-07-19T11:14:24Z

It is well known that the use of ratio variables is inconsistent with the fundamental assumptions of convex Data Envelopment Analysis (DEA). However, in this paper, we establish a general result demonstrating the equivalence between DEA models with ratio variables under variable returns to scale and DEA models with volume (non-ratio) variables under constant returns to scale, provided that all variables are ratio variables sharing a common denominator. This significant result enables the development of a framework for evaluating the efficiency of the Organisation for Economic Co-operation and Development (OECD) countries based on the results of the Programme for International Student Assessment (PISA) report, using mean performance scores as outputs. In this framework, we give some methodological innovations, such as the incorporation of the index of economic social and cultural status (ESCS) as an input, thereby enabling fairer comparisons with countries with a lower socio-economic level. Furthermore, we introduce different methods for estimating directions of improvement and calculating targets appropriate to the difficulty of improving each performance score. Finally, we review and introduce several novel contributions to emerging methodologies that can complement classical radial and directional models, such as efficient frontier estimation with adaptive constrained enveloping splines (ACES), stochastic chance-constrained models, and fuzzy models. All these methodologies can be used to analyse data from other PISA or similar reports, allowing non-specialists to implement DEA appropriately.

2026-07-19T11:14:24Z 40 pages, 5 figures Vicente J. Bolós Víctor J. España Rafael Benítez Vicente Coll-Serrano http://arxiv.org/abs/2607.17177v1 2026-07-19T10:22:35Z

For a class of non-autonomous linear SPDEs, we establish the equivalence among asymptotic regularization, weak observability, and approximate null controllability for the associated deterministic control systems. This equivalence provides a deterministic control-theoretic characterization of stochastic smoothing and offers a systematic approach to studying SPDEs driven by spatially localized noise. We further establish a criterion for semilinear SPDEs based on weak observability of the linearized equations. Our approach combines methods from PDE control theory with Malliavin calculus. As applications, we consider the stochastic Oseen equation, non-autonomous uniformly parabolic equations, and the parabolic Sine--Gordon equation, all driven by finite-dimensional, spatially localized white-in-time noise.

2026-07-19T10:22:35Z Ziyu Liu Shengquan Xiang http://arxiv.org/abs/2607.17158v1 2026-07-19T09:30:50Z

Graph k-CUT problems include many important variants whose objectives combine cut value, volume, and cardinality terms in different ways. Most existing algorithms are designed for individual formulations, which limits their transferability across related models. In this paper, we organize a broad family of graph partitioning problems into two classes, MaxGCP and MinGCP, according to their optimization orientation and balance-related structure. Based on this classification, we propose a unified Parallel Evolutionary Algorithm Framework (PEAF). This framework combines structure-inheriting crossover operators, a hierarchical mutation mechanism based on the Multiple Mutation Heuristic (MMH) and the Auxiliary Cut Mutation Heuristic (ACMH), and a diversity-preserving selection strategy. Extensive experiments on G-set with k \in\{2, 3, 4, 5\} show that PEAF-ACMH consistently outperforms Gurobi on nine representative k-CUT problems. For MaxGCP, PEAF-ACMH improves several best-known solutions for Max-k-Cut with k \geq 3, and through numerical bounds derived from its relation to Max-k-Cut, verifies the high quality of the obtained solutions for Judicious-k-Partition and AntiCheeger-k-Cut. The results further indicate that Judicious-k-Partition usually yields more balanced partitions than AntiCheeger-k-Cut. For MinGCP, theoretical and computational comparisons show that Cheeger-k-Cut and Sparsest-k-Cut produce more balanced partitions than Normalized-k-Cut and Ratio-k-Cut, respectively. PEAF-ACMH also obtains highly similar partitions for Min-k-Cut and MinMax-k-Cut within short running times, providing numerical evidence for their structural affinity. These results demonstrate that PEAF is both an effective unified solver and a useful tool for revealing structural properties of graph k-CUT models.

2026-07-19T09:30:50Z 88 pages, 5 figures Sihong Shao Chuan Yang http://arxiv.org/abs/2607.17119v1 2026-07-19T08:11:18Z

We study a continuous-time dynamic pricing problem for a data platform that purchases raw data from privacy-sensitive providers and sells data products to consumers. The platform controls both the acquisition price offered to providers and the selling price charged to consumers. Provider and consumer arrivals are modeled by point processes whose intensities depend on the platform's current data stock, capturing feedback between data accumulation and market participation. We formulate the platform's problem as an infinite-horizon stochastic control problem with a jump-diffusion state process and derive the associated nonlinear integro-differential HJB equation. We prove that the value function is the unique viscosity solution, establish classical regularity under suitable conditions, and verify the optimal feedback pricing policy. Finally, we conduct numerical analyses to examine the influences of model parameters on the optimal pricing policies.

2026-07-19T08:11:18Z Lijun Bo Dongfang Yang Yijie Huang http://arxiv.org/abs/2506.08988v2 2026-07-19T06:57:22Z

This paper proposes an efficient numerical optimization framework for solving dynamic optimal transport (DOT) problems on surfaces, computing both the quadratic Wasserstein distance and the associated interpolation. Building on the convex DOT model of Benamou-Brenier-Lisini, we first properly reformulate its dual problem, discretized on a triangular mesh in space and a staggered grid in time, into a linear second-order cone programming (SOCP) problem. Then the resulting SOCP is solved via an inexact proximal augmented Lagrangian method with a highly efficient numerical implementation, and the algorithm is guaranteed to converge to a Karush-Kuhn-Tucker point without imposing any additional assumptions. Finally, we implement the proposed framework as an open-source software package. The effectiveness, robustness, and computational efficiency of the software are validated through extensive numerical experiments across diverse datasets, demonstrating that it consistently outperforms state-of-the-art surface DOT solvers by several times in speed, while the commercial solvers Gurobi and MOSEK either fail to solve the same SOCP reformulation due to out-of-memory or require substantially prolonged computation times.

2025-06-10T17:01:28Z Liang Chen Youyicun Lin Yuxuan Zhou http://arxiv.org/abs/2607.17089v1 2026-07-19T05:59:14Z

The exponential growth of AI is accelerating the deployment of data centers (DCs), placing unprecedented strain on power infrastructures. In response, major IT corporations are increasingly adopting on-site solar generation to reduce grid dependence and meet sustainability targets. However, the true impacts of this strategy remain ambiguous. While DCs are flexible assets capable of temporal load-shifting, anchoring them to self-generated power may inadvertently constrain their grid responsiveness. To evaluate these trade-offs, we propose a receding-horizon optimization (RHO) framework coordinating job scheduling, grid interactions, and on-site solar generation for a stand-alone DC. Our findings reveal a critical paradox: although solar integration increases energy self-sufficiency and reduces overall DC emissions, it inherently limits the facility's capacity to absorb low-cost, low-carbon electricity from the grid. This implies a fundamental tension between individual corporate sustainability goals and system-wide grid decarbonization.

2026-07-19T05:59:14Z Mingxu Yang Weiqi Zhang Hui Geng Jiaze Ma http://arxiv.org/abs/2607.17083v1 2026-07-19T05:26:41Z

Imagine that you are in front of a cockpit with several on-off buttons. If you were to thoroughly test it, you would need to try a prohibitive number of configurations. But since most bugs in practice can be isolated to interactions among few components, having tests that cover every possible pairwise configuration is a good start. However, this is a problem that goes from easy to NP-hard as soon as some pairwise configurations are forbidden. In this paper, we revisit unconstrained combinatorial testing with pairwise coverage on binary parameters and contrast it with the constrained case, showing and conjecturing properties that either are upheld or change from one to the other. In particular, we discuss the extent to which it remains a good idea -- and sometimes indeed optimal -- to have every button almost as many times on as off to minimize testing. We propose the first exact algorithm based on integer programming and a faster heuristic that often produces optimal solutions, both outperforming or competitive with their baselines.

2026-07-19T05:26:41Z Thiago Serra Changkun Guan Hunter Gehman Sumit Dhar Mikey Ferguson John Hooker Marcel Schoppers http://arxiv.org/abs/2607.17073v1 2026-07-19T04:41:17Z

This paper studies transformations that increase efficiency in solving equilibrium systems without information loss. Our approach exploits order-theoretic structure commonly found in economic problems to obtain conditions under which high-dimensional systems can be transformed into low-dimensional systems while preserving exact relationships between their solutions. The transformations can also be used for purposes other than dimensionality reduction, such as simplifying analysis and facilitating stochastic approximation routines. The theoretical ideas are illustrated using applications from economics and finance. In a real option problem, we demonstrate speed gains of up to 70,000 times.

2026-07-19T04:41:17Z Nisha Peng John Stachurski Jingni Yang Ziyue Yang http://arxiv.org/abs/2503.11058v3 2026-07-19T03:04:17Z

We consider a Markov decision process with standard Borel spaces and an unknown transition kernel under the average cost criterion. We do not impose any parametrization on the set of possible kernels. To facilitate our analysis, we first develop implication relations between several topologies on kernels defined by pointwise, continuous, or uniform weak convergence; we then review robustness properties on the space of kernels, and finally we establish compactness conditions on the space of kernels. Building on this regularity analysis, we then present two data-driven identifiability results; the first one being Bayesian and the second one empirical. Our conditions for the Bayesian setting are significantly more relaxed compared with prior work which considered either finite or parametric models, though we do not obtain a rate of convergence. Our analysis is asymptotic and builds on measurability in terms of the tail $σ$-field of the available information. Identifiability results are then used to design near-optimal adaptive control policies which alternate between periods of exploration, where the controller acts according to a policy which is conducive to the identification of the true kernel, and periods of exploitation where the controller's information on the kernel is utilized. We will establish that such policies are near optimal. In summary, our contribution is with regard to the general standard Borel setup where there is no apriori parametric representation.

2025-03-14T03:52:05Z Omar Mrani-Zentar Serdar Yüksel http://arxiv.org/abs/2311.04455v2 2026-07-19T01:48:50Z

We study the weighted average consensus problem for a gossip network of agents with vector-valued states. For a given matrix-weighted graph, the gossip process is described by a sequence of pairs of adjacent agents communicating and updating their states based on the edge matrix weight. Our key contribution is providing conditions for the convergence of this non-homogeneous Markov process as well as the characterization of its limit set. To this end, we introduce the notion of "$w$-holonomy" of a set of stochastic matrices, which enables the characterization of sequences of gossiping pairs resulting in reaching a desired consensus in a decentralized manner. Stated otherwise, our result characterizes the limiting behavior of infinite products of (non-commuting, possibly with absorbing states) stochastic matrices.

2023-11-08T04:42:37Z Erkan Bayram Mohamed-Ali Belabbas Tamer Başar http://arxiv.org/abs/2607.17018v1 2026-07-19T01:10:05Z

We study distributionally robust linear chance-constrained problems in which uncertainty is modeled by a Gaussian mixture model (GMM). Finite-support distributionally robust (FDR) formulations, widely used in data-driven robust optimization, robustify over empirical mixture support points and therefore primarily stress-test the fitted nominal mixture. This can be insufficient when service reliability depends on structural misspecification of the nominal mixture-support parameters. To address this limitation, we describe the ambiguity set of distributions by developing a novel formulation of a Wasserstein-2 metric that uses the Bures-Wasserstein (BW) metric over probability measures with finite second moments. Unlike FDR, which generally sets finitely many empirical support points a priori, the proposed ambiguity set allows the worst-case distribution to endogenously determine both how many mixture components receive mass and where their means and covariances lie within a continuous support. For the resulting ambiguity set, under mild regularity conditions, we prove strong duality for the inner worst-case chance-constraint problem and derive its semi-infinite reformulation. We then develop an adaptive cutting-surface algorithm, which endogenously determines the locations of mixture components receiving mass, and the mean and covariances of the Gaussian distributions at these locations. The algorithm attains any prescribed optimality gap in finitely many iterations, while a block-alternating local search identifies new components. A case study using the electric-vehicle charging-station energy-allocation problem demonstrates the framework's practical value in achieving any reliability targets. CDR also induces structural changes in energy allocations, unlike FDR, whose allocations remain close to the nominal solution.

2026-07-19T01:10:05Z Shibshankar Dey Sanjay Mehrotra http://arxiv.org/abs/2607.17007v1 2026-07-18T23:44:03Z

This paper presents a safety-critical distributed nonlinear model predictive control (DNMPC) framework for cooperative payload transportation by teams of quadrupedal robots. The proposed approach models the robotic team and the shared payload as a dynamically coupled networked system with rigid holonomic coupling constraints arising from cooperative transportation. To enable distributed real-time optimization, the centralized finite-horizon optimal control problem is decomposed into parallel local NMPC subproblems coordinated through the alternating direction method of multipliers (ADMM). The resulting distributed framework enforces consensus over both payload-state and interaction-wrench trajectories while explicitly incorporating acceleration-level holonomic coupling constraints within the distributed predictive control formulation. Safety-critical obstacle avoidance constraints for both the robotic agents and payload are enforced using higher-order control barrier functions (HOCBFs). The framework is validated through numerical simulations with teams of two, three, and four quadrupedal robots transporting shared payloads in cluttered environments. Real-time experiments on two- and three-robot teams demonstrate safe and robust transportation under payload uncertainty and external disturbances. Compared with centralized NMPC, the proposed framework achieves up to 23% reduction in average NLP solve time while maintaining comparable closed-loop performance. Ablation studies further demonstrate robustness to communication delays and show that explicit payload-state consensus and holonomic constraints substantially improve payload tracking and distributed coordination over existing wrench-only consensus formulations.

2026-07-18T23:44:03Z Supplementary video available at: https://youtu.be/w8hg52T8Luc?si=nzQrGsqP5ZBNFlGp Ruturaj S. Sambhus Kapi Ketan Mehta Yicheng Zeng Kaveh Akbari Hamed http://arxiv.org/abs/2607.08793v3 2026-07-18T23:42:54Z

Sepsis is a leading cause of mortality, yet optimal treatment policies remain contested. Existing reinforcement learning (RL) approaches learn fixed strategies for sepsis treatment, limiting adaptability to changing clinical objectives during inference. We propose EHRMPC, a framework that decouples learning patient dynamics from optimizing treatment by training a patient digital twin in the form of a generative electronic health record (EHR) model. The digital twin predicts clinical trajectories under interventions and enables model predictive control (MPC) to optimize treatments via inference-time planning over simulations. We evaluate EHR-MPC on a multicenter ICU sepsis cohort spanning 8 hospitals in the Mass General Brigham health system using both off-policy importance sampling and on-policy simulation-based evaluation. Relative to RL baselines, EHR-MPC achieves comparable off-policy performance and improved simulation performance. Unlike RL, this work frames sepsis treatment optimization as inference-time control over learned patient dynamics, establishing a general framework for decision making with generative clinical models.

2026-07-07T19:24:41Z Joshua Pickard Wei Qi Na Li Ann Woolley Lisa Cosimi Roy Kishony Deborah Hung http://arxiv.org/abs/2607.16978v1 2026-07-18T22:03:11Z

This paper addresses the multi-period log-truck routing and scheduling problem ($\mathcal{LTRSP}$), a key operational activity in the forestry industry, where transportation accounts for more than one-third of total operational costs. The Canadian forestry sector faces significant logistical difficulties driven by vast geographic distances, seasonal variability, volatile markets, and environmental considerations. Our research tackles a long-standing open question in the forestry operations literature, namely the absence of an exact and scalable formulation of the forestry vehicle routing problem integrating the full range of operational constraints \cite{ronnqvist2015operations}: \textit{How can we model and solve an exact formulation of the forestry VRP problem?} In response, we analyze business rules specific to the forestry sector to construct a routing network reflecting real operational practices, and then propose a comprehensive improved mixed-integer linear programming (MILP) formulation incorporating all known forestry operational constraints, with a detailed justification of key modeling choices such as time discretization, along with a decomposition-based solution methodology tailored for large-scale, multi-period industrial instances. To address the inherent combinatorial complexity, we combine state-of-the-art solvers with a metaheuristic decomposition strategy based on \textit{Relax\&Fix} and \textit{Fix\&Optimize}. Computational experiments on historical data from a Canadian forest company demonstrate near-optimal results within practical computation times, with significant financial gains and reduced greenhouse gas emissions.

2026-07-18T22:03:11Z Abdelhakim Abdellaoui Issmail El Hallaoui Loubna Benabbou François Aubé Mouloud Amazouz http://arxiv.org/abs/2607.16977v1 2026-07-18T22:02:52Z

We consider defining risk probability in stochastic control problems under distribution ambiguity. Current approaches for chance-constrained control typically assume that the true state distribution is known and Gaussian distributed. These assumptions are not amenable to many real-world engineering applications where system dynamics are nonlinear and only approximately modeled. In this work, we define a distribution ambiguity set and, with a variational expression for exponential integrals, bound the expected risk value under an unknown distribution that resides within a relative entropy distance of a nominal Gaussian reference distribution. Our bound recovers the reference risk value in the zero-divergence limit. A method is presented to determine the relative entropy distance defining the ambiguity set that is a function of the reference covariance evolution and second-order dynamical truncation errors. The resulting contributions provide a framework for handling distributional ambiguity in nonlinear covariance steering problems. A stochastic spacecraft guidance example is presented to demonstrate our contributions.

2026-07-18T22:02:52Z European Control Conference (ECC) 2026 Trevor N. Wolf Jay W. McMahon