Generic time-series foundation models transfer poorly to wireless network telemetry whose signals are bursty, zero-inflated, and coupled across protocol layers. We present APEX, a network-native, decoder-only transformer for forecasting enterprise AP telemetry, and evaluate it on DHCP degradation as a representative network task. APEX is pre-trained on 10-channel multivariate telemetry from ~4,500 production wireless networks (~100K AP time series, 34 metrics per AP), and is available as APEX-Large (269M, cloud) and APEX-Edge (10.5M, edge). On a 192-step (4-day) DHCP degradation benchmark, APEX-Large reduces MAE by 18% over the strongest foundation-model baseline (Toto) and 38% over SARIMA, with anomaly-detection F1 = 0.93, while APEX-Edge enables sub-second, privacy-preserving inference on AP-class edge hardware. These results suggest network-native pre-training is a practical foundation for proactive wireless operations.
Operational disaster response goes beyond damage assessment, requiring responders to integrate multi-sensor signals, reason over road networks, populations and key facilities, plan evacuations, and produce actionable reports. However, prior work largely isolates remote-sensing perception or evaluates generic tool use, leaving the end-to-end workflows of emergency operations underexplored. In this paper, we introduce Disaster Operational Response Agent benchmark (DORA), the first agentic benchmark for end-to-end disaster response: 515 expert-authored tasks across 45 real-world disaster events spanning 10 types, paired with expert-verified, replayable gold trajectories totaling 3,500 tool-call steps. Tasks span five dimensions that cover the operational disaster-response pipeline: disaster perception, spatial relational analysis, rescue and evacuation planning, temporal evolution reasoning, and multi-modal report synthesis. Agents compose calls from a 108-tool MCP library over heterogeneous geospatial data: optical, SAR, and multi-spectral imagery across single-, bi-, and multi-temporal sequences (0.015-10m GSD), complemented by elevation and social vector layers. We comprehensively
Customer service has evolved beyond in-person visits and phone calls to include live chat, AI chatbots and social media, among other contact options. Service providers typically refer to these contact modalities as "channels". Within each channel, customer service agents are tasked with managing and resolving a stream of inbound service requests. Each request involves milestones where the agent must decide whether to keep assisting the customer or to transfer them to a more skilled -- and often costlier -- provider. To understand how this request resolution process should be managed, we develop a model in which each channel is represented as a gatekeeper system and characterize the structure of the optimal request resolution policy. We then turn to the broader question of the firm's customer service design, which includes the strategic problem of which channels to deploy, the tactical questions of at what level to staff the live-agent channel and to what extent to train an AI chatbot, and the operational question of how to control the live-agent channel. Examining the interplay between strategic, tactical, and operational decisions through numerical methods, we show, among other in
The Near-Infrared Spectrograph (NIRSpec) is one of four science instruments on board the James Webb Space Telescope (JWST), which began routine operations in July 2022. As JWST's primary spectroscopic instrument for faint, distant targets, NIRSpec plays a central role in several of the mission's core science goals. Its signature multi-object spectroscopy (MOS) mode enables the simultaneous acquisition of spectra for up to a hundred targets across the field of view, using a micro-shutter array (MSA) comprised of nearly 250,000 individually addressable micro-electromechanical shutters. The MSA is susceptible to occasional electrical shorts, which produce unwanted infrared glow in MOS exposures, rendering them unusable and wasting valuable observatory time. Mitigation requires promptly identifying the affected shutter(s) and masking the corresponding row(s) or column(s) to prevent future activation. However, masking shutters unnecessarily reduces NIRSpec's multiplexing capacity, so it is important to minimize the extent of masking while reliably suppressing the short's effects. More than two years of operations have informed refinements in technical procedures and operational decision
Generative artificial intelligence (GenAI) is shifting from conversational assistants toward agentic systems -- autonomous decision-making systems that sense, decide, and act within operational workflows. This shift creates an autonomy paradox: as GenAI systems are granted greater operational autonomy, they should, by design, embody more formal structure, more explicit constraints, and stronger tail-risk discipline. We argue that stochastic generative models can be fragile in operational domains unless paired with mechanisms that provide verifiable feasibility, robustness to distribution shift, and stress testing under high-consequence scenarios. To address this challenge, we develop a conceptual framework for assured autonomy grounded in operations research (OR), built on two complementary approaches. First, flow-based generative models frame generation as deterministic transport characterized by an ordinary differential equation, enabling auditability, constraint-aware generation, and connections to optimal transport, robust optimization, and sequential decision control. Second, operational safety is formulated through an adversarial robustness lens: decision rules are evaluated
The memory controller is in charge of managing DRAM maintenance operations (e.g., refresh, RowHammer protection, memory scrubbing) to reliably operate modern DRAM chips. Implementing new maintenance operations often necessitates modifications in the DRAM interface, memory controller, and potentially other system components. Such modifications are only possible with a new DRAM standard, which takes a long time to develop, likely leading to slow progress in the adoption of new architectural techniques in DRAM chips. We propose a new low-cost DRAM architecture, Self-Managing DRAM (SMD), that enables autonomous in-DRAM maintenance operations by transferring the responsibility for controlling maintenance operations from the memory controller to the SMD chip. To enable autonomous maintenance operations, we make a single modification to the DRAM interface, such that an SMD chip rejects memory controller accesses to DRAM regions under maintenance, while allowing memory accesses to others. Thus, SMD enables 1) implementing new in-DRAM maintenance mechanisms (or modifying existing ones) with no further changes in the DRAM interface or other system components, and 2) overlapping the latency o
To meet order fulfillment targets, manufacturers seek to optimize production schedules. Machine learning can support this objective by predicting throughput times on production lines given order specifications. However, this is challenging when manufacturers produce customized products because customization often leads to changes in the probability distribution of operational data -- so-called distributional shifts. Distributional shifts can harm the performance of predictive models when deployed to future customer orders with new specifications. The literature provides limited advice on how such distributional shifts can be addressed in operations management. Here, we propose a data-driven approach based on adversarial learning and job shop scheduling, which allows us to account for distributional shifts in manufacturing settings with high degrees of product customization. We empirically validate our proposed approach using real-world data from a job shop production that supplies large metal components to an oil platform construction yard. Across an extensive series of numerical experiments, we find that our adversarial learning approach outperforms common baselines. Overall, this
Energy systems planning models identify least-cost strategies for expansion and operation of energy systems and provide decision support for investment, planning, regulation, and policy. Most are formulated as linear programming (LP) or mixed integer linear programming (MILP) problems. Despite the relative efficiency and maturity of LP and MILP solvers, large scale problems are often intractable without abstractions that impact quality of results and generalizability of findings. We consider a macro-energy systems planning problem with detailed operations and policy constraints and formulate a computationally efficient Benders decomposition separating investments from operations and decoupling operational timesteps using budgeting variables in the master model. This novel approach enables parallelization of operational subproblems and permits modeling of relevant constraints coupling decisions across time periods (e.g. policy constraints) within a decomposed framework. Runtime scales linearly with temporal resolution; tests demonstrate substantial runtime improvement for all MILP formulations and for some LP formulations depending on problem size relative to analagous monolithic mo
We describe all operations from a theory A^* obtained from Algebraic Cobordism of M.Levine-F.Morel by change of coefficients to any oriented cohomology theory B^* (in the case of a field of characteristic zero). We prove that such an operation can be reconstructed out of it's action on the products of projective spaces. This reduces the construction of operations to algebra and extends the additive case done earlier, as well as the topological one obtained by T.Kashiwabara. The key new ingredients which permit us to treat the non-additive operations are: the use of "poly-operations" and the "Discrete Taylor expansion". As an application we construct the only missing, the 0-th (non-additive) Symmetric operation, for arbitrary p, which permits to sharpen results on the structure of Algebraic Cobordism. We also prove the general Riemann-Roch theorem for arbitrary (even non-additive) operations (over an arbitrary field). This extends the multiplicative case proved by I.Panin.
A key problem in quantum information science is to determine optimal protocols for the interconversion of entangled states shared between remote parties. While for two parties a large number of results in this direction is available, the multipartite setting still remains a major challenge. In this article, this problem is addressed by extending the resource theory of entanglement for multipartite systems beyond the standard framework of local operations and classical communication. Specifically, we consider transformations capable of introducing a small, controllable increase of entanglement of a state, with the requirement that the increase can be made arbitrarily small. We demonstrate that in this adjusted framework, the transformation rates between multipartite states are fundamentally dictated by the bipartite entanglement entropies of the respective quantum states. Remarkably, this approach allows the reduction of tripartite entanglement to its bipartite analog, indicating that every pure tripartite state can be reversibly synthesized from a suitable number of singlets distributed between pairs of parties.
Let $Q$ be a commutative, Noetherian ring and $Z \subseteq \operatorname{Spec}(Q)$ a closed subset. Define $K_0^Z(Q)$ to be the Grothendieck group of those bounded complexes of finitely generated projective $Q$-modules that have homology supported on $Z$. We develop "cyclic" Adams operations on $K_0^Z(Q)$ and we prove these operations satisfy the four axioms used by Gillet and Soulé in their paper "Intersection Theory Using Adams Operations". From this we recover a shorter proof of Serre's Vanishing Conjecture. We also show our cyclic Adams operations agree with the Adams operations defined by Gillet and Soulé in certain cases.
The state complexity of the result of a regular operation is often positively correlated with the number of distinct transformations induced by letters in the minimal deterministic finite automaton of the input languages. That is, more transformations in the inputs means higher state complexity in the output. When this correlation holds, the state complexity of a unary operation can be maximized using languages in which there is one letter corresponding to each possible transformation; for operations of higher arity, we can use $m$-tuples of languages in which there is one letter corresponding to each possible $m$-tuple of transformations. In this way, a small set of languages can be used as witnesses for many common regular operations, eliminating the need to search for witnesses -- though at the expense of using very large alphabets. We formalize this approach and examine its limitations. We define a class of "uniform" operations for which this approach works; the class is closed under composition and includes common operations such as star, concatenation, reversal, union, and complement. Our main result is that the worst-case state complexity of a uniform operation can be determ
Research in operations management has traditionally focused on models for understanding, mostly at a strategic level, how firms should operate. Spurred by the growing availability of data and recent advances in machine learning and optimization methodologies, there has been an increasing application of data analytics to problems in operations management. In this paper, we review recent applications of data analytics to operations management, in three major areas -- supply chain management, revenue management and healthcare operations -- and highlight some exciting directions for the future.
Quantum supermaps are higher-order maps transforming quantum operations into quantum operations. Here we extend the theory of quantum supermaps, originally formulated in the finite dimensional setting, to the case of higher-order maps transforming quantum operations with input in a separable von Neumann algebra and output in the algebra of the bounded operators on a given separable Hilbert space. In this setting we prove two dilation theorems for quantum supermaps that are the analogues of the Stinespring and Radon-Nikodym theorems for quantum operations. Finally, we consider the case of quantum superinstruments, namely measures with values in the set of quantum supermaps, and derive a dilation theorem for them that is analogue to Ozawa's theorem for quantum instruments. The three dilation theorems presented here show that all the supermaps defined in this paper can be implemented by connecting devices in quantum circuits.
Using the recent work of Frankland and Spitzweck, we define Steenrod operations $P^{n}$ on the mod $p$ motivic cohomology of smooth varieties defined over a base field of characteristic $p$. We show that $P^{n}$ is the $p$th power on $H^{2n,n}(-,\mathbb{F}_{p})\cong CH^{n}(-)/p$ and prove an instability result for the operations. Restricted to mod $p$ Chow groups, we show that the operations satisfy the expected Adem relations and Cartan formula. For $p=2$, we use the new Steenrod squares to obtain new results on quadratic forms over a base field of characteristic $2$.
We show that the theory of quantales and quantic nuclei motivate new results on star operations, semistar operations, semiprime operations, ideal systems, and module systems, and conversely the latter theories motivate new results on quantales and quantic nuclei. Results include representation theorems for precoherent prequantales and multiplicative semilattices; characterizations of the simple prequantales; and a generalization to the setting of precoherent quantales of the construction of the largest finite type semistar operation and the largest stable semistar operation smaller than a given semistar operation.
While machine learning can accurately model process systems, models for decision making should also be structurally simple and physically interpretable. In process control, for example, (nearly) linear models are favored than nonlinear ones, promoting the use of operator theory, which ``universally'' represents a nonlinear system by a nonparametric operator. On the other hand, interpretability requires by a ``non-universal'', parametric nonlinear model family satisfying first principles; these constraints tend to complicate the learning procedure. This paper considers hybrid modeling by formulating convex learning problems that account for interpretability systematically and give surrogate models efficiently. Three settings are discussed -- (i) regularization around a particular ``reference model'', (ii) restriction on an ``interpretable subspace'', and more generally, (iii) restriction on a ``interpretable manifold'' that is nonlinearly parameterized. In the more general setting, by introducing an operator-theoretic technique to re-parameterize models in the ``lifted'' parameters (``canonical features'', potentially infinite-dimensional), the system is regarded as a kernel-based m
The central challenge in optimizing green ammonia systems is satisfying the minimum-load requirements of the Haber-Bosch (HB) process under renewable uncertainty. We develop a robust optimization framework consisting of a strategic capacity planning model and an operational flow model under solar and wind uncertainty. The strategic model is a mixed-integer optimization (MIO) problem with flexible HB operating modes, namely hot-idling and shutdowns. To address the resulting computational challenges, we propose a robust scenario-reduction framework that combines k-means clustering with robust optimization to generate adversarial renewable trajectories. For the operational model, we develop adaptive robust rolling-horizon formulations under forecast uncertainty. Computational results show that the proposed framework produces feasible capacity plans under out-of-sample simulation, whereas existing approaches based on constraint aggregation fail to satisfy HB minimum-load requirements. Adaptive policies achieve higher ammonia production than static robust policies for a given robustness level, but provide weaker protection against realizations outside the uncertainty set.
The rapid expansion of satellite constellations in near-Earth orbits presents significant challenges in satellite network management, requiring innovative approaches for efficient, scalable, and resilient operations. This paper explores the role of Artificial Intelligence (AI) in optimizing the operation of satellite mega-constellations, drawing from the ConstellAI project funded by the European Space Agency (ESA). A consortium comprising GMV GmbH, Saarland University, and Thales Alenia Space collaborates to develop AI-driven algorithms and demonstrates their effectiveness over traditional methods for two crucial operational challenges: data routing and resource allocation. In the routing use case, Reinforcement Learning (RL) is used to improve the end-to-end latency by learning from historical queuing latency, outperforming classical shortest path algorithms. For resource allocation, RL optimizes the scheduling of tasks across constellations, focussing on efficiently using limited resources such as battery and memory. Both use cases were tested for multiple satellite constellation configurations and operational scenarios, resembling the real-life spacecraft operations of communica
In this paper we propose a sequential minimax optimization (SMO) method for solving a class of constrained bilevel optimization problems in which the lower-level part is a possibly nonsmooth convex optimization problem, while the upper-level part is a possibly nonconvex optimization problem. Specifically, SMO applies a first-order method to solve a sequence of minimax subproblems, which are obtained by employing a hybrid of modified augmented Lagrangian and penalty schemes on the bilevel optimization problems. Under suitable assumptions, we establish an operation complexity of $O(\varepsilon^{-7}\log\varepsilon^{-1})$ and $O(\varepsilon^{-6}\log\varepsilon^{-1})$, measured in terms of fundamental operations, for SMO in finding an $\varepsilon$-KKT solution of the bilevel optimization problems with merely convex and strongly convex lower-level objective functions, respectively. The latter result improves the previous best-known operation complexity by a factor of $\varepsilon^{-1}$. Preliminary numerical results demonstrate significantly superior computational performance compared to the recently developed first-order penalty method.