Related papers: A note on $\varepsilon$-stability
In this paper, we present a novel framework for quantifying a lower bound on resilience in continuous-time (non)linear systems subject to external disturbances while ensuring satisfaction of signal temporal logic specifications. Unlike…
In the plane, we consider the problem of reconstructing a domain from the normal derivative of its Green's function (with fixed pole) relative to the Dirichlet problem for the Laplace operator. By means of the theory of conformal mappings,…
In these notes we prove log-type stability for the Calder\'on problem with conductivities in $ C^{1,\varepsilon}(\bar{\Omega}) $. We follow the lines of a recent work by Haberman and Tataru in which they prove uniqueness for $…
We continue our studies on semilattice ordered algebras. This time we accept constants in the type of algebras. We investigate identities satisfied by such algebras and describe the free objects in varieties of semilattice ordered algebras…
The theory of multidimensional persistent homology was initially developed in the discrete setting, and involved the study of simplicial complexes filtered through an ordering of the simplices. Later, stability properties of…
This paper studies a class of random nonlinear systems with time-varying delay, in which the $r$-order moment ($r\geq1$) of the random disturbance is finite. Firstly, some general conditions are proposed to guarantee the existence and…
Persistence is an important characteristic of many complex systems in nature, related to how long the system remains at a certain state before changing to a different one. The study of complex systems' persistence involves different…
We begin the study of categorical logic for continuous model theory. In particular, we 1. introduce the notions of metric logical categories and functors as categorical equivalents of a metric theory and interpretations, 2. prove a…
Recently, a classical approach to continuous structures has been proposed in [ABBMZ] and [Z] that extends the class of structures falling under the scope of [HI] or [BBHU]. These articles introduce the notion of structures with a standard…
Lyapunov's theorem provides a fundamental characterization of the stability of dynamical systems. This paper presents a categorical framework for Lyapunov theory, generalizing stability analysis with Lyapunov functions categorically. Core…
We consider positive one-dimensional solutions of a Lane-Emden relative Dirichlet problem in a cylinder and study their stability/instability properties as the energy varies with respect to domain perturbations. This depends on the exponent…
Multidimensional persistence studies topological features of shapes by analyzing the lower level sets of vector-valued functions. The rank invariant completely determines the multidimensional analogue of persistent homology groups. We prove…
Secondary homological stability is a recently discovered stability pattern for the homology of a sequence of spaces exhibiting homological stability in a range where homological stability does not hold. We prove secondary homological…
We study $\epsilon$-representations of discrete groups by unitary operators on a Hilbert space. We define the notion of Ulam stability of a group which loosely means that finite-dimensional $\epsilon$-represendations are uniformly close to…
The compactness theorem for a logic states, roughly, that the satisfiability of a set of well-formed formulas can be determined from the satisfiability of its finite subsets, and vice versa. Usually, proofs of this theorem depend on the…
We prove some results on the border of Ramsey theory (finite partition calculus) and model theory. Also a beginning of classification theory of finite models in undertaken.
Stability is a very important property of any physical system. By a stable system, we broadly mean that small disturbances either in the system inputs or in the initial conditions do not lead to large changes in the overall behavior of the…
Decision making is challenging when there is more than one criterion to consider. In such cases, it is common to assign a goodness score to each item as a weighted sum of its attribute values and rank them accordingly. Clearly, the ranking…
Stability plays a central role in arithmetic. In this article, we explain some basic ideas and present certain constructions for such studies. There are two aspects: namely, general Class Field Theories for Riemann surfaces using…
This work studies the symmetries, the associated momentum map, and relative equilibria of a mechanical system consisting of a small axisymmetric magnetic body-dipole in an also axisymmetric external magnetic field that additionally exhibits…