相关论文: Edge Theorem for Multivariable Systems

In safety-critical deep learning applications, robustness measures the ability of neural models that handle imperceptible perturbations in input data, which may lead to potential safety hazards. Existing pre-deployment robustness assessment…

This paper introduces the notion of weak rigidity to characterize a framework by pairwise inner products of inter-agent displacements. Compared to distance-based rigidity, weak rigidity requires fewer constrained edges in the graph to…

We consider the effect of parametric uncertainty on properties of Linear Time Invariant systems. Traditional approaches to this problem determine the worst-case gains of the system over the uncertainty set. Whilst such approaches are…

We study the recently introduced notion of output-input stability, which is a robust variant of the minimum-phase property for general smooth nonlinear control systems. The subject of this paper is developing the theory of output-input…

We present an edge-based framework for the study of geometric elastic network models to model mechanical interactions in physical systems. We use a formulation in the edge space, instead of the usual node-centric approach, to characterise…

Despite extraordinary progress, current machine learning systems have been shown to be brittle against adversarial examples: seemingly innocuous but carefully crafted perturbations of test examples that cause machine learning predictors to…

In this paper we give a discrete version of Hardy's uncertainty principle, by using complex variable arguments, as in the classical proof of Hardy's principle. Moreover, we give an interpretation of this principle in terms of decaying…

The same machine learning model running on different edge devices may produce highly-divergent outputs on a nearly-identical input. Possible reasons for the divergence include differences in the device sensors, the device's signal…

We propose a notion of a pluri-Lagrangian problem, which should be understood as an analog of multi-dimensional consistency for variational systems. This is a development along the line of research of discrete integrable Lagrangian systems…

Sturm oscillation theorem for second order differential equations was generalized to systems and higher order equations with positive leading coefficient by several authors. What we propose here is a Sturm oscillation theorem for systems of…

This work proposes a framework for multistage adjustable robust optimization that unifies the treatment of three different types of endogenous uncertainty, where decisions, respectively, (i) alter the uncertainty set, (ii) affect the…

Multi-objective evaluation is a necessary aspect when managing complex systems, as the intrinsic complexity of a system is generally closely linked to the potential number of optimization objectives. However, an evaluation makes no sense…

We study the problem of assessing the robustness of counterfactual explanations for deep learning models. We focus on $\textit{plausible model shifts}$ altering model parameters and propose a novel framework to reason about the robustness…

This paper is concerned with robust instability analysis for linear multi-agent dynamical systems with cyclic structure. This relates to interesting and important periodic oscillation phenomena in biology and neuronal science, since the…

We introduce an effective edge network theory to characterize the boundary topology of coupled edge states generated from various types of topological insulators. Two examples studied are a two-dimensional second-order topological insulator…

The robustness of multipartite entanglement of systems undergoing decoherence is of central importance to the area of quantum information. Its characterization depends however on the measure used to quantify entanglement and on how one…

We establish results with an arithmetic flavor that generalize the polynomial multidimensional Szemeredi theorem and related multiple recurrence and convergence results in ergodic theory. For instance, we show that in all these statements…

Based on existing ideas in the field of imprecise probabilities, we present a new approach for assessing the reliability of the individual predictions of a generative probabilistic classifier. We call this approach robustness…

For a differential equation with interaction, we investigate its ergodic properties. We apply the obtained results to study the limiting behavior of braid invariants associated with the flow of solutions.

In this paper, we first establish a K-theory version of the equivariant family index theorem for a circle action, then use it to prove several rigidity and vanishing theorems on the equivariant K-theory level.