Related papers: Persistency of Linear Programming Relaxations for …
Integer Linear Programming (ILP) has a broad range of applications in various areas of artificial intelligence. Yet in spite of recent advances, we still lack a thorough understanding of which structural restrictions make ILP tractable.…
We present an analysis of the stability spectrum of all stationary elliptic-type solutions to the focusing Nonlinear Schr\"{o}dinger equation (NLS). An analytical expression for the spectrum is given. From this expression, various…
We consider a nonlinear evolution problem with an asymptotic parameter and construct examples in which the linearized operator has spectrum uniformly bounded away from Re z >= 0 (that is, the problem is spectrally stable), yet the nonlinear…
Contraction-driven self-propulsion of a large class of living cells can be modeled by a Keller-Segel system with free boundaries. The ensuing "active" system, exhibiting both dissipation and anti-dissipation, features stationary and…
We are concerned with the nonlinear stability of vortex sheets for the relativistic Euler equations in three-dimensional Minkowski spacetime. This is a nonlinear hyperbolic problem with a characteristic free boundary. In this paper, we…
Many modern datasets don't fit neatly into $n \times p$ matrices, but most techniques for measuring statistical stability expect rectangular data. We study methods for stability assessment on non-rectangular data, using statistical learning…
This paper introduces and investigates a regularity condition in the asymptotic sense for optimization problems whose objective functions are polynomial. Under this regularity condition, the normalization argument in asymptotic analysis…
The crucial problem of how the dilaton field is stabilized at a phenomenologically acceptable value in string theories remains essentially unsolved. We show that the usual scenario of assuming that the dilaton is fixed by the (SUSY…
In this paper, we consider a matroid generalization of the stable matching problem. In particular, we consider the setting where preferences may contain ties. For this generalization, we propose a polynomial-time algorithm for the problem…
We obtain conditions for the differentiability of weak solutions for a second-order uniformly elliptic equation in divergence form with a homogeneous co-normal boundary condition. The modulus of continuity for the coefficients is assumed to…
In this article, we study the persistence of properties of a given classical deter-ministic dierential equation under a stochastic perturbation of two distinct forms: external and internal. The rst case corresponds to add a noise term to a…
The theory of persistence modules on the commutative ladders $CL_n(\tau)$ provides an extension of persistent homology. However, an efficient algorithm to compute the generalized persistence diagrams is still lacking. In this work, we view…
Due to their importance in practice, dominating set problems in graphs have been greatly studied in past and different formulations of these problems are presented in literature. This paper's focus is on two problems: weakly convex…
This paper is devoted to the study of tilt stability of local minimizers for classical nonlinear programs with equality and inequality constraints in finite dimensions described by twice continuously differentiable functions. The importance…
Nonexpansive mappings play a central role in modern optimization and monotone operator theory because their fixed points can describe solutions to optimization or critical point problems. It is known that when the mappings are sufficiently…
We establish Lipschitz stability properties for a class of inverse problems. In that class, the associated direct problem is formulated by an integral operator Am depending non-linearly on a parameter m and operating on a function u. In the…
We consider the nonlinear stability of spectrally stable periodic waves in the Lugiato-Lefever equation (LLE), a damped nonlinear Schr\"odinger equation with forcing that arises in nonlinear optics. So far, nonlinear stability of such…
We propose a framework for the stability verification of Mixed-Integer Linear Programming (MILP) representable control policies. This framework compares a fixed candidate policy, which admits an efficient parameterization and can be…
Since many real-world problems arising in the fields of compiler optimisation, automated software engineering, formal proof systems, and so forth are equivalent to the Halting Problem--the most notorious undecidable problem--there is a…
We generalize the stable graph regularity lemma of Malliaris and Shelah to the case of finite structures in finite relational languages, e.g., finite hypergraphs. We show that under the model-theoretic assumption of stability, such a…