Related papers: A new version of Toom's proof
The aim of this note is to investigate the asymptotic stability behaviour of the Cauchy and Jensen functional equations. Our main results show that if these equations hold for large arguments with small error, then they are also valid…
These notes are a self-contained short proof of the stability of persistence diagrams.
The proofs first generated by automated theorem provers are far from optimal by any measure of simplicity. In this paper I describe a technique for simplifying automated proofs. Hopefully this discussion will stimulate interest in the…
The problem of characterizing which automatic sets of integers are stable is here solved. Given a positive integer $d$ and a subset $A\subseteq \mathbb{Z}$ whose set of representations base $d$ is recognized by a finite automaton, a…
We present results for a finite variant of the one-dimensional Toom model with closed boundaries. We show that the steady state distribution is not of product form, but is nonetheless simple. In particular, we give explicit formulas for the…
Random boolean cellular automata are investigated, where each gate has two randomly chosen inputs and is randomly assigned a boolean function of its inputs. The effect of non-uniform distributions on the choice of the boolean functions is…
We give a simple proof of Kolmogorov's theorem on the persistence of a quasiperiodic invariant torus in Hamiltonian systems. The theorem is first reduced to a well-posed inversion problem (Herman's normal form) by switching the frequency…
We study the stability of holonomic quantum computations with respect to errors in assignment of control parameters. The general expression for fidelity is obtaned. In the small errors limit the simple formulae for the fidelity decrease…
We present a new viewpoint (namely, reproducing kernels) and new proofs for several recent results of J. Geronimo and H. Woerdeman on orthogonal polynomials on the two dimenional torus (and related subjects). In addition, we show how their…
In this article we give an exposition of Toom's proof of Bulgarian Solitaire that appeared in \emph{Kvant}. We provide more details. We also show how an application of the Chinese Remainder Theorem allows us to generalize the proof.
A key concern in modern distributed systems is to avoid the cost of coordination while maintaining consistent semantics. Until recently, there was no answer to the question of when coordination is actually required. In this paper we present…
Orbital and asymptotic stability for 1-soliton solutions to the Toda lattice equations as well as small solitary waves to the FPU lattice equations are established in the energy space. Unlike analogous Hamiltonian PDEs, the lattice…
We present the first concrete evidence for the classical stability of vortons, circular cosmic string loops stabilized by the angular momentum of the charge and current trapped on the string. We begin by summarizing what is known about…
In this work, the one-dimensional Cellular Automaton is extended to one that involves two sets of symbols and two global rules. As a main result, the Extended Curtis-Hedlund-Lyndon Theorem is demonstrated. Such constructions can be useful…
We give a stability theoretic proof of the algebraic regularity lemma of Tao, making use of a lemma of Hrushovski. We also point out that the underlying results hold at the level of measurable theories and structures in the sense of Elwes,…
We characterise asymptotic stability of port-Hamiltonian systems by means of matrix conditions using well-known resolvent criteria from $C_0$-semigroup theory. The idea of proof is based on a recent characterisation of exponential stability…
We analyze the stability of soliton solutions in a Chern-Simons-CP(1) model. We show a condition for which the soliton solutions are stable. Finally we verified this result numerically.
We formulate and prove a new criterion for stability of e-processes. It says that any e-process which is averagely bounded and concentrating is asymptotically stable. In the second part, we show how this general result applies to some shell…
We prove a stability version of a general result that bounds the permanent of a matrix in terms of its operator norm. More specifically, suppose $A$ is an $n \times n$ matrix over $\mathbb{C}$ (resp. $\mathbb{R}$), and let $\mathcal{P}$…
We provide a new simple and transparent proof of the version of Kummer's test given in [Tong, J. (1994). Amer. Math. Monthly. 101(5): 450--452]. Our proof is based on an application of a Hardy--Littlewood Tauberian theorem.