Related papers: Finite Random Domino Automaton
A popular method for solving reachability in timed automata proceeds by enumerating reachable sets of valuations represented as zones. A na\"ive enumeration of zones does not terminate. Various termination mechanisms have been studied over…
Multifractal dimensions allow for characterizing the localization properties of states in complex quantum systems. For ergodic states the finite-size versions of fractal dimensions converge to unity in the limit of large system size.…
Weighted automata over the nonnegative reals form a fundamental model for quantitative languages. We show that, up to scaling, this model collapses to probabilistic automata. Concretely, we prove that every weighted automaton whose…
We illustrate how a simple statistical model can describe the quasiperiodic occurrence of large earthquakes. The model idealizes the loading of elastic energy in a seismic fault by the stochastic filling of a box. The emptying of the box…
High-dimensional dynamical systems projected onto a reduced-order model cease to be deterministic and are best described by probability distributions in state space. Their equations of motion map onto an evolution operator with a…
We study a Markovian model for the random fragmentation of an object. At each time, the state consists of a collection of blocks. Each block waits an exponential amount of time with parameter given by its size to some power $\alpha$,…
We characterize the class of nondeterministic ${\omega}$-automata that can be used for the analysis of finite Markov decision processes (MDPs). We call these automata `good-for-MDPs' (GFM). We show that GFM automata are closed under classic…
We study the dynamics of the Rule 150 reversible cellular automaton (RCA). This is a one-dimensional lattice system of binary variables with synchronous (Floquet) dynamics, corresponding to a bulk deterministic and reversible discrete…
In this article we study domino tilings of a family of finite regions called Aztec diamonds. Every such tiling determines a partition of the Aztec diamond into five sub-regions; in the four outer sub-regions, every tile lines up with nearby…
Self-consistent random phase approximation (SCRPA) is applied to the exactly solvable model with fermion boson coupling proposed by Sch\"utte and Da-Providencia. Very encouraging results in comparison with the exact solution of the model…
Model checking properties are often described by means of finite automata. Any particular such automaton divides the set of infinite trees into finitely many classes, according to which state has an infinite run. Building the full type…
We consider asymtotics of a domino tiling model on a class of domains which we call rectangular Aztec diamonds. We prove the Law of Large Numbers for the corresponding height functions and provide explicit formulas for the limit. For a…
We introduce a general formulation of the fluctuation-dissipation relations (FDR) holding also in far-from-equilibrium stochastic dynamics. A great advantage of this version of the FDR is that it does not require the explicit knowledge of…
We investigate the (non)-existence of universal automata for some classes of automata, such as finite automata and pushdown automata, and in particular the influence of the representation and encoding function. An alternative approach,…
Using long-term computer simulations and mean-field like arguments, we investigate the transient time and the properties of the stationary state of the Olami-Feder-Christensen earthquake model as function of the coupling parameter $\alpha$…
We numerically investigate the Olami-Feder-Christensen model for earthquakes in order to characterise its scaling behaviour. We show that ordinary finite size scaling in the model is violated due to global, system wide events. Nevertheless…
Given a nondeterministic finite-state automaton (NFA), we aim to estimate the size of an equivalent deterministic finite-state automaton (DFA). We demonstrate that computing the state complexity of an NFA within polynomial precision is…
Processes such as quantum computation, or the evolution of quantum cellular automata are typically described by a unitary operation implemented by an external observer. In particular, an interaction is generally turned on for a precise…
This paper contains two results on timed extensions of pushdown automata (PDA). As our first result we prove that the model of dense-timed PDA of Abdulla et al. collapses: it is expressively equivalent to dense-timed PDA with timeless…
On the basis of qualitative theory of differential equations it is shown that dynamic system based on the system of Einstein - Klein - Gordon equations with regard to Friedman Universe has a stable center corresponding to zero values of…