-
Zero-one laws for events with positional symmetries
Authors:
Yahya Ayach,
Anthony Khairallah,
Tia Manoukian,
Jad Mchaimech,
Adam Salha,
Siamak Taati
Abstract:
We use an information-theoretic argument due to O'Connell (2000) to prove that every sufficiently symmetric event concerning a countably infinite family of independent and identically distributed random variables is deterministic (i.e., has a probability of either 0 or 1). The i.i.d. condition can be relaxed. This result encompasses the Hewitt-Savage zero-one law and the ergodicity of the Bernoull…
▽ More
We use an information-theoretic argument due to O'Connell (2000) to prove that every sufficiently symmetric event concerning a countably infinite family of independent and identically distributed random variables is deterministic (i.e., has a probability of either 0 or 1). The i.i.d. condition can be relaxed. This result encompasses the Hewitt-Savage zero-one law and the ergodicity of the Bernoulli process, but also applies to other scenarios such as infinite random graphs and simple renormalization processes.
△ Less
Submitted 21 June, 2024;
originally announced June 2024.
-
Characterisation of the Set of Ground States of Uniformly Chaotic Finite-Range Lattice Models
Authors:
Léo Gayral,
Mathieu Sablik,
Siamak Taati
Abstract:
Chaotic dependence on temperature refers to the phenomenon of divergence of Gibbs measures as the temperature approaches a certain value. Models with chaotic behaviour near zero temperature have multiple ground states, none of which are stable. We study the class of uniformly chaotic models, that is, those in which, as the temperature goes to zero, every choice of Gibbs measures accumulates on the…
▽ More
Chaotic dependence on temperature refers to the phenomenon of divergence of Gibbs measures as the temperature approaches a certain value. Models with chaotic behaviour near zero temperature have multiple ground states, none of which are stable. We study the class of uniformly chaotic models, that is, those in which, as the temperature goes to zero, every choice of Gibbs measures accumulates on the entire set of ground states. We characterise the possible sets of ground states of uniformly chaotic finite-range models up to computable homeomorphisms.
Namely, we show that the set of ground states of every model with finite-range and rational-valued interactions is topologically closed and connected, and belongs to the class $Π_2$ of the arithmetical hierarchy. Conversely, every $Π_2$-computable, topologically closed and connected set of probability measures can be encoded (via a computable homeomorphism) as the set of ground states of a uniformly chaotic two-dimensional model with finite-range rational-valued interactions.
△ Less
Submitted 20 July, 2023; v1 submitted 14 February, 2023;
originally announced February 2023.
-
Reversible cellular automata in presence of noise rapidly forget everything
Authors:
Siamak Taati
Abstract:
We consider reversible and surjective cellular automata perturbed with noise. We show that, in the presence of positive additive noise, the cellular automaton forgets all the information regarding its initial configuration exponentially fast. In particular, the state of a finite collection of cells with diameter n becomes indistinguishable from pure noise after O(log n) time steps. This highlights…
▽ More
We consider reversible and surjective cellular automata perturbed with noise. We show that, in the presence of positive additive noise, the cellular automaton forgets all the information regarding its initial configuration exponentially fast. In particular, the state of a finite collection of cells with diameter n becomes indistinguishable from pure noise after O(log n) time steps. This highlights the seemingly unavoidable need for irreversibility in order to perform scalable reliable computation in the presence of noise.
△ Less
Submitted 3 May, 2021;
originally announced May 2021.
-
Self-stabilisation of cellular automata on tilings
Authors:
Nazim Fatès,
Irène Marcovici,
Siamak Taati
Abstract:
Given a finite set of local constraints, we seek a cellular automaton (i.e., a local and uniform algorithm) that self-stabilises on the configurations that satisfy these constraints. More precisely, starting from a finite perturbation of a valid configuration, the cellular automaton must eventually fall back into the space of valid configurations where it remains still. We allow the cellular autom…
▽ More
Given a finite set of local constraints, we seek a cellular automaton (i.e., a local and uniform algorithm) that self-stabilises on the configurations that satisfy these constraints. More precisely, starting from a finite perturbation of a valid configuration, the cellular automaton must eventually fall back into the space of valid configurations where it remains still. We allow the cellular automaton to use extra symbols, but in that case, the extra symbols can also appear in the initial finite perturbation. For several classes of local constraints (e.g., $k$-colourings with $k\neq 3$, and North-East deterministic constraints), we provide efficient self-stabilising cellular automata with or without additional symbols that wash out finite perturbations in linear or quadratic time, but also show that there are examples of local constraints for which the self-stabilisation problem is inherently hard. We note that the optimal self-stabilisation speed is the same for all local constraints that are isomorphic to one another. We also consider probabilistic cellular automata rules and show that in some cases, the use of randomness simplifies the problem. In the deterministic case, we show that if finite perturbations are corrected in linear time, then the cellular automaton self-stabilises even starting from a random perturbation of a valid configuration, that is, when errors in the initial configuration occur independently with a sufficiently low density.
△ Less
Submitted 5 March, 2022; v1 submitted 29 January, 2021;
originally announced January 2021.
-
Gibbsian representations of continuous specifications: the theorems of Kozlov and Sullivan revisited
Authors:
Sebastián Barbieri,
Ricardo Gómez,
Brian Marcus,
Tom Meyerovitch,
Siamak Taati
Abstract:
The theorems of Kozlov and Sullivan characterize Gibbs measures as measures with positive continuous specifications. More precisely, Kozlov showed that every positive continuous specification on symbolic configurations of the lattice is generated by a norm-summable interaction. Sullivan showed that every shift-invariant positive continuous specification is generated by a shift-invariant interactio…
▽ More
The theorems of Kozlov and Sullivan characterize Gibbs measures as measures with positive continuous specifications. More precisely, Kozlov showed that every positive continuous specification on symbolic configurations of the lattice is generated by a norm-summable interaction. Sullivan showed that every shift-invariant positive continuous specification is generated by a shift-invariant interaction satisfying the weaker condition of variation-summability. These results were proven in the 1970s. An open question since that time is whether Kozlov's theorem holds in the shift-invariant setting, equivalently whether Sullivan's conclusion can be improved from variation-summability to norm-summability. We show that the answer is no: there exist shift-invariant positive continuous specifications that are not generated by any shift-invariant norm-summable interaction. On the other hand, we give a complete proof of an extension, suggested by Kozlov, of Kozlov's theorem to a characterization of positive continuous specifications on configuration spaces with arbitrary hard constraints. We also present an extended version of Sullivan's theorem. Aside from simplifying some of the arguments in the original proof, our new version of Sullivan's theorem applies in various settings not covered by the original proof. In particular, it applies when the support of the specification is the hard-core shift or the two-dimensional $q$-coloring shift for $q\geq 6$.
△ Less
Submitted 4 October, 2020; v1 submitted 12 January, 2020;
originally announced January 2020.
-
Crossover times in bipartite networks with activity constraints and time-varying switching rates
Authors:
Sem Borst,
Frank den Hollander,
Francesca Nardi,
Siamak Taati
Abstract:
In this paper we study the performance of a bipartite network in which customers arrive at the nodes of the network, but not all nodes are able to serve their customers at all times. Each node can be either active or inactive, and two nodes connected by a bond cannot be active simultaneously. This situation arises in wireless random-access networks where, due to destructive interference, stations…
▽ More
In this paper we study the performance of a bipartite network in which customers arrive at the nodes of the network, but not all nodes are able to serve their customers at all times. Each node can be either active or inactive, and two nodes connected by a bond cannot be active simultaneously. This situation arises in wireless random-access networks where, due to destructive interference, stations that are close to each other cannot use the same frequency band.
We consider a model where the network is bipartite, the active nodes switch themselves off at rate 1, and the inactive nodes switch themselves on at a rate that depends on time and on which half of the bipartite network they are in. An inactive node cannot become active when one of the nodes it is connected to by a bond is active. The switching protocol allows the nodes to share activity among each other. In the limit as the activation rate becomes large, we compute the crossover time between the two states where one half of the network is active and the other half is inactive. This allows us to assess the overall activity of the network depending on the switching protocol. Our results make use of the metastability analysis for hard-core interacting particle models on finite bipartite graphs derived in an earlier paper. They are valid for a large class of bipartite networks, subject to certain assumptions. Proofs rely on a comparison with switching protocols that are not time-varying, through coupling techniques.
△ Less
Submitted 12 February, 2022; v1 submitted 30 December, 2019;
originally announced December 2019.
-
Equivalence of relative Gibbs and relative equilibrium measures for actions of countable amenable groups
Authors:
Sebastián Barbieri,
Ricardo Gómez,
Brian Marcus,
Siamak Taati
Abstract:
We formulate and prove a very general relative version of the Dobrushin-Lanford-Ruelle theorem which gives conditions on constraints of configuration spaces over a finite alphabet such that for every absolutely summable relative interaction, every translation-invariant relative Gibbs measure is a relative equilibrium measure and vice versa. Neither implication is true without some assumption on th…
▽ More
We formulate and prove a very general relative version of the Dobrushin-Lanford-Ruelle theorem which gives conditions on constraints of configuration spaces over a finite alphabet such that for every absolutely summable relative interaction, every translation-invariant relative Gibbs measure is a relative equilibrium measure and vice versa. Neither implication is true without some assumption on the space of configurations. We note that the usual finite type condition can be relaxed to a much more general class of constraints. By "relative" we mean that both the interaction and the set of allowed configurations are determined by a random environment. The result includes many special cases that are well known. We give several applications including (1) Gibbsian properties of measures that maximize pressure among all those that project to a given measure via a topological factor map from one symbolic system to another; (2) Gibbsian properties of equilibrium measures for group shifts defined on arbitrary countable amenable groups; (3) A Gibbsian characterization of equilibrium measures in terms of equilibrium condition on lattice slices rather than on finite sets; (4) A relative extension of a theorem of Meyerovitch, who proved a version of the Lanford--Ruelle theorem which shows that every equilibrium measure on an arbitrary subshift satisfies a Gibbsian property on interchangeable patterns.
△ Less
Submitted 5 December, 2019; v1 submitted 31 August, 2018;
originally announced September 2018.
-
Ergodicity of some classes of cellular automata subject to noise
Authors:
Irène Marcovici,
Mathieu Sablik,
Siamak Taati
Abstract:
Cellular automata (CA) are dynamical systems on symbolic configurations on the lattice. They are also used as models of massively parallel computers. As dynamical systems, one would like to understand the effect of small random perturbations on the dynamics of CA. As models of computation, they can be used to study the reliability of computation against noise.
We consider various families of CA…
▽ More
Cellular automata (CA) are dynamical systems on symbolic configurations on the lattice. They are also used as models of massively parallel computers. As dynamical systems, one would like to understand the effect of small random perturbations on the dynamics of CA. As models of computation, they can be used to study the reliability of computation against noise.
We consider various families of CA (nilpotent, permutive, gliders, CA with a spreading symbol, surjective, algebraic) and prove that they are highly unstable against noise, meaning that they forget their initial conditions under slightest positive noise. This is manifested as the ergodicity of the resulting probabilistic CA. The proofs involve a collection of different techniques (couplings, entropy, Fourier analysis), depending on the dynamical properties of the underlying deterministic CA and the type of noise.
△ Less
Submitted 28 March, 2019; v1 submitted 14 December, 2017;
originally announced December 2017.
-
Metastability of hard-core dynamics on bipartite graphs
Authors:
Frank den Hollander,
Francesca R. Nardi,
Siamak Taati
Abstract:
We study the metastable behaviour of a stochastic system of particles with hard-core interactions in a high-density regime. Particles sit on the vertices of a bipartite graph. New particles appear subject to a neighbourhood exclusion constraint, while existing particles disappear, all according to independent Poisson clocks. We consider the regime in which the appearance rates are much larger than…
▽ More
We study the metastable behaviour of a stochastic system of particles with hard-core interactions in a high-density regime. Particles sit on the vertices of a bipartite graph. New particles appear subject to a neighbourhood exclusion constraint, while existing particles disappear, all according to independent Poisson clocks. We consider the regime in which the appearance rates are much larger than the disappearance rates, and there is a slight imbalance between the appearance rates on the two parts of the graph. Starting from the configuration in which the weak part is covered with particles, the system takes a long time before it reaches the configuration in which the strong part is covered with particles. We obtain a sharp asymptotic estimate for the expected transition time, show that the transition time is asymptotically exponentially distributed, and identify the size and shape of the critical droplet representing the bottleneck for the crossover. For various types of bipartite graphs the computations are made explicit. Proofs rely on potential theory for reversible Markov chains, and on isoperimetric results. In a follow-up paper we will use our results to study the performance of random-access wireless networks.
△ Less
Submitted 12 January, 2018; v1 submitted 27 October, 2017;
originally announced October 2017.
-
Rate Reduction for State-labelled Markov Chains with Upper Time-bounded CSL Requirements
Authors:
Bharath Siva Kumar Tati,
Markus Siegle
Abstract:
This paper presents algorithms for identifying and reducing a dedicated set of controllable transition rates of a state-labelled continuous-time Markov chain model. The purpose of the reduction is to make states to satisfy a given requirement, specified as a CSL upper time-bounded Until formula. We distinguish two different cases, depending on the type of probability bound. A natural partitioning…
▽ More
This paper presents algorithms for identifying and reducing a dedicated set of controllable transition rates of a state-labelled continuous-time Markov chain model. The purpose of the reduction is to make states to satisfy a given requirement, specified as a CSL upper time-bounded Until formula. We distinguish two different cases, depending on the type of probability bound. A natural partitioning of the state space allows us to develop possible solutions, leading to simple algorithms for both cases.
△ Less
Submitted 1 August, 2016;
originally announced August 2016.
-
Two-dimensional traffic rules and the density classification problem
Authors:
Nazim Fatès,
Irène Marcovici,
Siamak Taati
Abstract:
The density classification problem is the computational problem of finding the majority in a given array of votes in a distributed fashion. It is known that no cellular automaton rule with binary alphabet can solve the density classification problem. On the other hand, it was shown that a probabilistic mixture of the traffic rule and the majority rule solves the one-dimensional problem correctly w…
▽ More
The density classification problem is the computational problem of finding the majority in a given array of votes in a distributed fashion. It is known that no cellular automaton rule with binary alphabet can solve the density classification problem. On the other hand, it was shown that a probabilistic mixture of the traffic rule and the majority rule solves the one-dimensional problem correctly with a probability arbitrarily close to one. We investigate the possibility of a similar approach in two dimensions. We show that in two dimensions, the particle spacing problem, which is solved in one dimension by the traffic rule, has no cellular automaton solution. However, we propose exact and randomized solutions via interacting particle systems. We assess the performance of our models using numeric simulations.
△ Less
Submitted 15 April, 2016;
originally announced April 2016.
-
Post-surjectivity and balancedness of cellular automata over groups
Authors:
Silvio Capobianco,
Jarkko Kari,
Siamak Taati
Abstract:
We discuss cellular automata over arbitrary finitely generated groups. We call a cellular automaton post-surjective if for any pair of asymptotic configurations, every pre-image of one is asymptotic to a pre-image of the other. The well known dual concept is pre-injectivity: a cellular automaton is pre-injective if distinct asymptotic configurations have distinct images. We prove that pre-injectiv…
▽ More
We discuss cellular automata over arbitrary finitely generated groups. We call a cellular automaton post-surjective if for any pair of asymptotic configurations, every pre-image of one is asymptotic to a pre-image of the other. The well known dual concept is pre-injectivity: a cellular automaton is pre-injective if distinct asymptotic configurations have distinct images. We prove that pre-injective, post-surjective cellular automata are reversible. Moreover, on sofic groups, post-surjectivity alone implies reversibility. We also prove that reversible cellular automata over arbitrary groups are balanced, that is, they preserve the uniform measure on the configuration space.
△ Less
Submitted 7 September, 2017; v1 submitted 9 July, 2015;
originally announced July 2015.
-
Statistical equilibrium in deterministic cellular automata
Authors:
Siamak Taati
Abstract:
Some deterministic cellular automata have been observed to follow the pattern of the second law of thermodynamics: starting from a partially disordered state, the system evolves towards a state of equilibrium characterized by maximal disorder. This chapter is an exposition of this phenomenon and of a statistical scheme for its explanation. The formulation is in the same vein as Boltzmann's ideas,…
▽ More
Some deterministic cellular automata have been observed to follow the pattern of the second law of thermodynamics: starting from a partially disordered state, the system evolves towards a state of equilibrium characterized by maximal disorder. This chapter is an exposition of this phenomenon and of a statistical scheme for its explanation. The formulation is in the same vein as Boltzmann's ideas, but the simple combinatorial setup offers clarification and hope for generic mathematically rigorous results. Probabilities represent frequencies and subjective interpretations are avoided.
△ Less
Submitted 24 May, 2015;
originally announced May 2015.
-
Restricted density classification in one dimension
Authors:
Siamak Taati
Abstract:
The density classification task is to determine which of the symbols appearing in an array has the majority. A cellular automaton solving this task is required to converge to a uniform configuration with the majority symbol at each site. It is not known whether a one-dimensional cellular automaton with binary alphabet can classify all Bernoulli random configurations almost surely according to thei…
▽ More
The density classification task is to determine which of the symbols appearing in an array has the majority. A cellular automaton solving this task is required to converge to a uniform configuration with the majority symbol at each site. It is not known whether a one-dimensional cellular automaton with binary alphabet can classify all Bernoulli random configurations almost surely according to their densities. We show that any cellular automaton that washes out finite islands in linear time classifies all Bernoulli random configurations with parameters close to 0 or 1 almost surely correctly. The proof is a direct application of a "percolation" argument which goes back to Gacs (1986).
△ Less
Submitted 27 March, 2015; v1 submitted 23 February, 2015;
originally announced February 2015.
-
Statistical Mechanics of Surjective Cellular Automata
Authors:
Jarkko Kari,
Siamak Taati
Abstract:
Reversible cellular automata are seen as microscopic physical models, and their states of macroscopic equilibrium are described using invariant probability measures. We establish a connection between the invariance of Gibbs measures and the conservation of additive quantities in surjective cellular automata. Namely, we show that the simplex of shift-invariant Gibbs measures associated to a Hamilto…
▽ More
Reversible cellular automata are seen as microscopic physical models, and their states of macroscopic equilibrium are described using invariant probability measures. We establish a connection between the invariance of Gibbs measures and the conservation of additive quantities in surjective cellular automata. Namely, we show that the simplex of shift-invariant Gibbs measures associated to a Hamiltonian is invariant under a surjective cellular automaton if and only if the cellular automaton conserves the Hamiltonian. A special case is the (well-known) invariance of the uniform Bernoulli measure under surjective cellular automata, which corresponds to the conservation of the trivial Hamiltonian. As an application, we obtain results indicating the lack of (non-trivial) Gibbs or Markov invariant measures for "sufficiently chaotic" cellular automata. We discuss the relevance of the randomization property of algebraic cellular automata to the problem of approach to macroscopic equilibrium, and pose several open questions.
As an aside, a shift-invariant pre-image of a Gibbs measure under a pre-injective factor map between shifts of finite type turns out to be always a Gibbs measure. We provide a sufficient condition under which the image of a Gibbs measure under a pre-injective factor map is not a Gibbs measure. We point out a potential application of pre-injective factor maps as a tool in the study of phase transitions in statistical mechanical models.
△ Less
Submitted 14 May, 2015; v1 submitted 10 November, 2013;
originally announced November 2013.
-
Potts model with invisible colours: Random-cluster representation and Pirogov-Sinai analysis
Authors:
Aernout C. D. van Enter,
Giulio Iacobelli,
Siamak Taati
Abstract:
We study a variant of the ferromagnetic Potts model, recently introduced by Tamura, Tanaka and Kawashima, consisting of a ferromagnetic interaction among $q$ "visible" colours along with the presence of $r$ non-interacting "invisible" colours. We introduce a random-cluster representation for the model, for which we prove the existence of a first-order transition for any $q>0$, as long as $r$ is la…
▽ More
We study a variant of the ferromagnetic Potts model, recently introduced by Tamura, Tanaka and Kawashima, consisting of a ferromagnetic interaction among $q$ "visible" colours along with the presence of $r$ non-interacting "invisible" colours. We introduce a random-cluster representation for the model, for which we prove the existence of a first-order transition for any $q>0$, as long as $r$ is large enough. When $q>1$, the low-temperature regime displays a $q$-fold symmetry breaking. The proof involves a Pirogov-Sinai analysis applied to this random-cluster representation of the model.
△ Less
Submitted 1 September, 2011;
originally announced September 2011.
-
First-order transition in Potts models with "invisible' states: Rigorous proofs
Authors:
Aernout C. D. van Enter,
Giulio Iacobelli,
Siamak Taati
Abstract:
In some recent papers by Tamura, Tanaka and Kawashima [arXiv:1102.5475, arXiv:1012.4254], a class of Potts models with "invisible" states was introduced, for which the authors argued by numerical arguments and by a mean-field analysis that a first-order transition occurs. Here we show that the existence of this first-order transition can be proven rigorously, by relatively minor adaptations of exi…
▽ More
In some recent papers by Tamura, Tanaka and Kawashima [arXiv:1102.5475, arXiv:1012.4254], a class of Potts models with "invisible" states was introduced, for which the authors argued by numerical arguments and by a mean-field analysis that a first-order transition occurs. Here we show that the existence of this first-order transition can be proven rigorously, by relatively minor adaptations of existing proofs for ordinary Potts models. In our argument we present a random-cluster representation for the model, which might be of independent interest.
△ Less
Submitted 5 July, 2011; v1 submitted 29 June, 2011;
originally announced June 2011.
-
Graph Coloring and Function Simulation
Authors:
Amir Daneshgar,
Ali Reza Rahimi,
Siamak Taati
Abstract:
We prove that every partial function with finite domain and range can be effectively simulated through sequential colorings of graphs. Namely, we show that given a finite set $S=\{0,1,\ldots,m-1\}$ and a number $n \geq \max\{m,3\}$, any partial function $\varphi:S^{^p} \to S^{^q}$ (i.e. it may not be defined on some elements of its domain $S^{^p}$) can be effectively (i.e. in polynomial time) tran…
▽ More
We prove that every partial function with finite domain and range can be effectively simulated through sequential colorings of graphs. Namely, we show that given a finite set $S=\{0,1,\ldots,m-1\}$ and a number $n \geq \max\{m,3\}$, any partial function $\varphi:S^{^p} \to S^{^q}$ (i.e. it may not be defined on some elements of its domain $S^{^p}$) can be effectively (i.e. in polynomial time) transformed to a simple graph $\matr{G}_{_{\varphi,n}}$ along with three sets of specified vertices $$X = \{x_{_{0}},x_{_{1}},\ldots,x_{_{p-1}}\}, \ \ Y = \{y_{_{0}},y_{_{1}},\ldots,y_{_{q-1}}\}, \ \ R = \{\Kv{0},\Kv{1},\ldots,\Kv{n-1}\},$$ such that any assignment $σ_{_{0}}: X \cup R \to \{0,1,\ldots,n-1\} $ with $σ_{_{0}}(\Kv{i})=i$ for all $0 \leq i < n$, is {\it uniquely} and {\it effectively} extendable to a proper $n$-coloring $σ$ of $\matr{G}_{_{\varphi,n}}$ for which we have $$\varphi(σ(x_{_{0}}),σ(x_{_{1}}),\ldots,σ(x_{_{p-1}}))=(σ(y_{_{0}}),σ(y_{_{1}}),\ldots,σ(y_{_{q-1}})),$$ unless $(σ(x_{_{0}}),σ(x_{_{1}}),\ldots,σ(x_{_{p-1}}))$ is not in the domain of $\varphi$ (in which case $σ_{_{0}}$ has no extension to a proper $n$-coloring of $\matr{G}_{_{\varphi,n}}$).
△ Less
Submitted 18 August, 2010;
originally announced August 2010.