Related papers: A new version of Toom's proof
We prove a general theorem on the persistence of Whitney infinitely smooth families of invariant tori in the reversible context 2 of KAM theory. This context refers to the situation where dim Fix G < (codim T)/2 where Fix G is the fixed…
A necessary and sufficient condition for a one-dimensional q-state n-input cellular automaton rule to be number-conserving is established. Two different forms of simpler and more visual representations of these rules are given, and their…
We prove a general homological stability theorem for certain families of groups equipped with product maps, followed by two theorems of a new kind that give information about the last two homology groups outside the stable range. (These…
We compute the motivic Donaldson-Thomas theory of the resolved conifold, in all chambers of the space of stability conditions of the corresponding quiver. The answer is a product formula whose terms depend on the position of the stability…
We rigorously prove a form of disorder-resistance for a class of one-dimensional cellular automaton rules, including some that arise as boundary dynamics of two-dimensional solidification rules. Specifically, when started from a random…
This paper investigates the robust stability and stabilization analysis of interval fractional-order systems with time-varying delay. The stability problem of such systems is solved first, and then using the proposed results a stabilization…
The transport of organelles and vesicles in living cells can be well described by a kinetic tug-of-war model advanced by M\"uller, Klumpp and Lipowsky. In which, the cargo is attached by two motor species, kinesin and dynein, and the…
We provide a computer-assisted approach to ensure that a given continuous or discrete-time polynomial system is (asymptotically) stable. Our framework relies on constructive analysis together with formally certified sums of squares Lyapunov…
A simple relation of the order of $n$ abstract objects generates an $n-2$ dimensional basis of three dimensional vectors. A cellular automaton-like model of evolution of this system is postulated. During this evolution, some quantities…
We give elementary proof of a stability result concerning an exponential asymptotic ($t\to\infty$) for filtering estimates generated by wrongly initialized Wonham filter. This proof is based on new exponential bound having independent…
We study a proof methodology for verifying the safety of data invariants of highly-available distributed applications that replicate state. The proof is (1) modular: one can reason about each individual operation separately, and (2)…
In Appendix A of his article on rational functions, Segal proved homological stability for configuration spaces with a stability slope of 1/2. This was later improved to a slope of 1 by Church and Randal-Williams if one works with rational…
In this work, we present a generalization of extended persistent homology to filtrations of graded sub-groups by defining relative homology in this setting. Our work provides a more comprehensive and flexible approach to get an algebraic…
This paper addresses the stability analysis of infinite-dimensional sampled-data systems under unbounded perturbations. We present two classes of unbounded perturbations preserving the exponential stability of sampled-data systems. To this…
This paper studies robustness of MIMO control systems with parametric uncertainties, and establishes a lower dimensional robust stability criterion. For control systems with interval transfer matrices, we identify the minimal testing set…
In this paper, we propose a new approach to prove stability of non-linear discrete-time systems. After introducing the new concept of stability contractor, we show that the interval centred form plays a fundamental role in this context and…
We prove Gray--Moser stability theorems for complementary pairs of forms of constant class defining symplectic pairs, contact-symplectic pairs and contact pairs. We also consider the case of contact-symplectic and contact-contact…
Conditions for Bayesian posterior robustness have been examined in recent literature. However, many of the proofs seem to be long and complicated. In this paper, we first summarize some basic lemmas that have been applied implicitly or…
We show rational homological stability for the homotopy automorphisms and block diffeomorphims of iterated connected sums of products of spheres. The spheres can have different dimension, but need to satisfy a certain connectivity…
We consider second-order evolution equations in an abstract setting with intermittently delayed/ not-delayed damping. We give sufficient conditions for asymptotic and exponential stability, improving and generalising our previous results…