Winning Strategies for the Synchronization Game on Subclasses of Finite Automata

Henning Fernau,Carolina Haase,Stefan Hoffmann,Mikhail Volkov

DOI: https://doi.org/10.4204/EPTCS.407.6

2024-09-11

Abstract:We exhibit a winning strategy for Synchronizer in the synchronization game on every synchronizing automaton in whose transition monoid the regular D-classes form subsemigroups

Formal Languages and Automata Theory,Computer Science and Game Theory

What problem does this paper attempt to address?

Symbolics dynamics of elementary cellular automata rule 88

Fang-Fang Chen,Fang-Yue Chen,Guan-Rong Chen,Wei-Feng Jin,Lin Chen

DOI: https://doi.org/10.1007/s11071-009-9490-3

IF: 5.741

2009-01-01

Nonlinear Dynamics

Abstract:In this paper, the dynamical behaviors of elementary cellular automata (ECA) rule 88 are studied from the viewpoint of symbolic dynamics. Based on the results derived from the finite case, it is shown that there exist three different Bernoulli-measure subsystems of rule 88 in the space of bi-infinite symbolic sequences. The relationships of these three subsystems and the existence of fixed points are investigated, revealing that the union of them is not the global attractor of rule 88 under the bi-infinite case. Furthermore, the dynamical properties of topologically mixing and topological entropy of rule 88 are exploited on its subsystems. In addition, it is shown that rule 88, a member of Wolfram’s class II, possesses richer and more complicated dynamical behaviors in the space of bi-infinite sequences. Finally, it is noted that the method presented in this work is also applicable to study the dynamics of other ECA rules, especially the 112 Bernoulli-shift rules therein.
Primitive Automata that are Synchronizing

Igor Rystsov,Marek Szykuła

2023-07-04

Abstract:A deterministic finite (semi)automaton is primitive if its transition monoid (semigroup) acting on the set of states has no non-trivial congruences. It is synchronizing if it contains a constant map (transformation). In analogy to synchronizing groups, we study the possibility of characterizing automata that are synchronizing if primitive. We prove that the implication holds for several classes of automata. In particular, we show it for automata whose every letter induce either a permutation or a semiconstant transformation (an idempotent with one point of contraction) unless all letters are of the first type. We propose and discuss two conjectures about possible more general characterizations.

Formal Languages and Automata Theory
Synchronization of primitive automata

Mikhail Volkov

2023-07-21

Abstract:We exhibit new conditions under which a primitive automaton is synchronizing. In particular, we show that the primitivity of an automaton forces its synchronizability whenever the automaton has either a letter of defect 1 or a word of rank 2.

Formal Languages and Automata Theory
Synchronization Games

Felix Höfer,H. Mete Soner

2024-08-20

Abstract:We propose a new mean-field game model with two states to study synchronization phenomena, and we provide a comprehensive characterization of stationary and dynamic equilibria along with their stability properties. The game undergoes a phase transition with increasing interaction strength. In the subcritical regime, the uniform distribution, representing incoherence, is the unique and stable stationary equilibrium. Above the critical interaction threshold, the uniform equilibrium becomes unstable and there is a multiplicity of stationary equilibria that are self-organizing. Under a discounted cost, dynamic equilibria spiral around the uniform distribution before converging to the self-organizing equilibria. With an ergodic cost, however, unexpected periodic equilibria around the uniform distribution emerge.

Optimization and Control
On the Synchronization of Circular Semi-Flower Automata

Shubh N. Singh,Ankit Raj

DOI: https://doi.org/10.48550/arXiv.1808.01711

2018-08-06

Formal Languages and Automata Theory

Abstract:Pin proved that every circular automaton with a prime number of states containing a non-permutation is synchronizing. In this paper, we investigate the synchronization of circular semi-flower automata. We first prove that every semi-flower automaton is a one-cluster automaton. Subsequently, we prove that every semi-flower automaton containing a 1-cycle is synchronizing. Further, we prove that every circular semi-flower automaton with an odd number of states containing a 2-cycle is synchronizing.
Cellular Automata model for period-$n$ synchronization: A new universality class

Divya D. Joshi,Prashant M. Gade

2024-06-20

Abstract:There are few known universality classes of absorbing phase transitions in one dimension and most models fall in the well-known directed percolation (DP) class. Synchronization is a transition to an absorbing state and this transition is often DP class. With local coupling, the transition is often to a fixed point state. Transitions to a periodic synchronized state are seldom observed. Recently a transition to a synchronized period-3 state that is not in DP class is observed. We model it using a cellular automata model with states 1 to $n$. The rules are a) Each site in state $i$ changes to state $i+1$ for $i<n$ and 1 if $i=n$. b) After this update, it takes value of either neighbor unless it is in state 1. With these rules, we observe a transition to synchronization with critical exponents different from those of DP for $n>2$. For $n=2$, a different exponent is observed.

Statistical Mechanics
H ∞ Synchronization of Two Different Discrete-Time Chaotic Systems Via a Unified Model

Meiqin Liu,Haiyang Chen,Senlin Zhang,Weihua Sheng

DOI: https://doi.org/10.1007/s12555-013-0207-5

2014-01-01

Abstract:This paper presents some novel synchronization methods for two discrete-time chaotic systems with different time delays, which are transformed into two unified models. First, the H ∞ performance of the synchronization error dynamical system between the drive unified model and the response one is analyzed using the linear matrix inequality (LMI) approach. Second, the novel state feedback controllers are established to guarantee H ∞ performance for the overall system. The parameters of these controllers are determined by solving the eigenvalue problem (EVP). Most discrete-time chaotic systems with or without time delays can be converted into this unified model, and H ∞ synchronization controllers are designed in a unified way. The effectiveness of the proposed design methods are demonstrated by three numerical examples.
The Geometry of Synchronization (Long Version)

Ugo Dal Lago,Claudia Faggian,Ichiro Hasuo,Akira Yoshimizu

DOI: https://doi.org/10.48550/arXiv.1405.3427

2014-05-14

Abstract:We graft synchronization onto Girard's Geometry of Interaction in its most concrete form, namely token machines. This is realized by introducing proof-nets for SMLL, an extension of multiplicative linear logic with a specific construct modeling synchronization points, and of a multi-token abstract machine model for it. Interestingly, the correctness criterion ensures the absence of deadlocks along reduction and in the underlying machine, this way linking logical and operational properties.

Logic in Computer Science
Cornering Robots to Synchronize a DFA

Peter Bradshaw,Alexander Clow,Ladislav Stacho

2024-05-02

Abstract:This paper considers the existence of short synchronizing words in deterministic finite automata (DFAs). In particular, we define a general strategy, which we call the \emph{cornering strategy}, for generating short synchronizing words in well-structured DFAs. We show that a DFA is synchronizable if and only if this strategy can be applied.

Formal Languages and Automata Theory,Combinatorics
Synchronizing random automata through repeated 'a' inputs

Anders Martinsson

2023-07-25

Abstract:In a recent article by Chapuy and Perarnau, it was shown that a uniformly chosen automaton on $n$ states with a $2$-letter alphabet has a synchronizing word of length $O(\sqrt{n}\log n)$ with high probability. In this note, we improve this result by showing that, for any $\varepsilon>0$, there exists a synchronizing word of length $O(\varepsilon^{-1}\sqrt{n \log n})$ with probability $1-\varepsilon$. Our proof is based on two properties of random automata. First, there are words $\omega$ of length $O(\sqrt{n \log n})$ such that the expected number of possible states for the automaton, after inputting $\omega$, is $O(\sqrt{n/\log n})$. Second, with high probability, each pair of states can be synchronized by a word of length $O(\log n)$.

Combinatorics,Formal Languages and Automata Theory,Probability
Random attractors on countable state spaces

Robin Chemnitz,Maximilian Engel,Guillermo Olicón-Mendez

2024-05-30

Abstract:We study the synchronization behavior of discrete-time Markov chains on countable state spaces. Representing a Markov chain in terms of a random dynamical system, which describes the collective dynamics of trajectories driven by the same noise, allows for the characterization of synchronization via random attractors. We establish the existence and uniqueness of a random attractor under mild conditions and show that forward and pullback attraction are equivalent in our setting. Additionally, we provide necessary and sufficient conditions for reaching the random attractor, or synchronization respectively, in a time of finite mean. By introducing insulated and synchronizing sets, we structure the state space with respect to the synchronization behavior and characterize the shape of the random attractor.

Dynamical Systems
Transient Bipartite Synchronization for Cooperative-Antagonistic Multiagent Systems with Switching Topologies

Yuxin Wu,Deyuan Meng,Zheng-Guang Wu

DOI: https://doi.org/10.1109/tcyb.2021.3070402

IF: 11.8

2022-01-01

IEEE Transactions on Cybernetics

Abstract:This article aims at addressing the transient bipartite synchronization problem for cooperative-antagonistic multiagent systems with switching topologies. A distributed iterative learning control protocol is presented for agents by resorting to the local information from their neighbor agents. Through learning from other agents, the control input of each agent is updated iteratively such that the transient bipartite synchronization can be achieved over the targeted finite horizon under the simultaneously structurally balanced signed digraph. To be specific, all agents finally have the same output moduli at each time instant over the desired finite-time interval, which overcomes the influences caused by the antagonisms among agents and topology nonrepetitiveness along the iteration axis. As a counterpart, it is revealed that the stability can be achieved over the targeted finite horizon in the presence of a constantly structurally unbalanced signed digraph. Simulation examples are carried out to demonstrate the effectiveness of the distributed learning results developed among multiple agents.
On winning shifts of marked uniform substitutions

Jarkko Peltomäki,Ville Salo

DOI: https://doi.org/10.1051/ita/2018007

2018-09-05

Abstract:The second author introduced with I. Törmä a two-player word-building game [Playing with Subshifts, Fund. Inform. 132 (2014), 131--152]. The game has a predetermined (possibly finite) choice sequence $\alpha_1$, $\alpha_2$, $\ldots$ of integers such that on round $n$ the player $A$ chooses a subset $S_n$ of size $\alpha_n$ of some fixed finite alphabet and the player $B$ picks a letter from the set $S_n$. The outcome is determined by whether the word obtained by concatenating the letters $B$ picked lies in a prescribed target set $X$ (a win for player $A$) or not (a win for player $B$). Typically, we consider $X$ to be a subshift. The winning shift $W(X)$ of a subshift $X$ is defined as the set of choice sequences for which $A$ has a winning strategy when the target set is the language of $X$. The winning shift $W(X)$ mirrors some properties of $X$. For instance, $W(X)$ and $X$ have the same entropy. Virtually nothing is known about the structure of the winning shifts of subshifts common in combinatorics on words. In this paper, we study the winning shifts of subshifts generated by marked uniform substitutions, and show that these winning shifts, viewed as subshifts, also have a substitutive structure. Particularly, we give an explicit description of the winning shift for the generalized Thue-Morse substitutions. It is known that $W(X)$ and $X$ have the same factor complexity. As an example application, we exploit this connection to give a simple derivation of the first difference and factor complexity functions of subshifts generated by marked substitutions. We describe these functions in particular detail for the generalized Thue-Morse substitutions.

Formal Languages and Automata Theory
Careful Synchronization of One-Cluster Automata

Jakub Ruszil

DOI: https://doi.org/10.48550/arXiv.2311.15020

2023-11-25

Abstract:In this paper we investigate careful synchronization of one-cluster partial automata. First we prove that in general case the shortest carefully synchronizing word for such automata is of length $2^\frac{n}{2} + 1$, where $n$ is the number of states of an automaton. Additionally we prove that checking whether a given one-cluster partial automaton is carefully synchronizing is NP-hard even in the case of binary alphabet.

Formal Languages and Automata Theory,Computational Complexity
Model checking of hybrid systems using shallow synchronization

Lei Bu,Alessandro Cimatti,Xuandong Li,Sergio Mover,Stefano Tonetta

DOI: https://doi.org/10.1007/978-3-642-13464-7_13

2010-01-01

Abstract:Hybrid automata are a widely accepted modeling framework for systems with discrete and continuous variables. The traditional semantics of a network of automata is based on interleaving, and requires the construction of a monolithic hybrid automaton based on the composition of the automata. This destroys the structure of the network and results in a loss of efficiency, especially using bounded model checking techniques. An alternative compositional semantics, called “shallow synchronization”, exploits the locality of transitions and relaxes time synchronization. The semantics is obtained by composing traces of the local automata, and superimposing compatibility constraints resulting from synchronization. In this paper, we investigate the different symbolic encodings of the reachability problem of a network of hybrid automata. We propose a novel encoding based on the shallow synchronization semantics, which allows different strategies for searching local paths that can be synchronized. We implemented a bounded reachability search based on the use of an incremental Satisfiability-Modulo-Theory solver. The experimental results confirm that the new encoding often performs better than the one based on interleaving.
Robust Synchronization in Markov Decision Processes

Laurent Doyen,Thierry Massart,Mahsa Shirmohammadi

DOI: https://doi.org/10.48550/arXiv.1402.2840

2014-06-30

Abstract:We consider synchronizing properties of Markov decision processes (MDP), viewed as generators of sequences of probability distributions over states. A probability distribution is p-synchronizing if the probability mass is at least p in some state, and a sequence of probability distributions is weakly p-synchronizing, or strongly p-synchronizing if respectively infinitely many, or all but finitely many distributions in the sequence are p-synchronizing. For each synchronizing mode, an MDP can be (i) sure winning if there is a strategy that produces a 1-synchronizing sequence; (ii) almost-sure winning if there is a strategy that produces a sequence that is, for all {\epsilon} > 0, a (1-{\epsilon})-synchronizing sequence; (iii) limit-sure winning if for all {\epsilon} > 0, there is a strategy that produces a (1-{\epsilon})-synchronizing sequence. For each synchronizing and winning mode, we consider the problem of deciding whether an MDP is winning, and we establish matching upper and lower complexity bounds of the problems, as well as the optimal memory requirement for winning strategies: (a) for all winning modes, we show that the problems are PSPACE-complete for weakly synchronizing, and PTIME-complete for strongly synchronizing; (b) we show that for weakly synchronizing, exponential memory is sufficient and may be necessary for sure winning, and infinite memory is necessary for almost-sure winning; for strongly synchronizing, linear-size memory is sufficient and may be necessary in all modes; (c) we show a robustness result that the almost-sure and limit-sure winning modes coincide for both weakly and strongly synchronizing.

Logic in Computer Science
Lower Bounds for Synchronizing Word Lengths in Partial Automata

Michiel de Bondt,Henk Don,Hans Zantema

DOI: https://doi.org/10.48550/arXiv.1801.10436

2018-09-17

Abstract:It was conjectured by Černý in 1964, that a synchronizing DFA on $n$ states always has a synchronizing word of length at most $(n-1)^2$, and he gave a sequence of DFAs for which this bound is reached. Until now a full analysis of all DFAs reaching this bound was only given for $n \leq 5$, and with bounds on the number of symbols for $n \leq 12$. Here we give the full analysis for $n \leq 7$, without bounds on the number of symbols. For PFAs (partial automata) on $\leq 7$ states we do a similar analysis as for DFAs and find the maximal shortest synchronizing word lengths, exceeding $(n-1)^2$ for $n \geq 4$. Where DFAs with long synchronization typically have very few symbols, for PFAs we observe that more symbols may increase the synchronizing word length. For PFAs on $\leq 10$ states and two symbols we investigate all occurring synchronizing word lengths. We give series of PFAs on two and three symbols, reaching the maximal possible length for some small values of $n$. For $n=6,7,8,9$, the construction on two symbols is the unique one reaching the maximal length. For both series the growth is faster than $(n-1)^2$, although still quadratic. Based on string rewriting, for arbitrary size we construct a PFA on three symbols with exponential shortest synchronizing word length, giving significantly better bounds than earlier exponential constructions. We give a transformation of this PFA to a PFA on two symbols keeping exponential shortest synchronizing word length, yielding a better bound than applying a similar known transformation. Both PFAs are transitive. Finally, we show that exponential lengths are even possible with just one single undefined transition, again with transitive constructions.

Formal Languages and Automata Theory
Counter Machines and Distributed Automata: A Story about Exchanging Space and Time

Olivier Carton,Bruno Guillon,Fabian Reiter

DOI: https://doi.org/10.1007/978-3-319-92675-9_2

2018-04-10

Abstract:We prove the equivalence of two classes of counter machines and one class of distributed automata. Our counter machines operate on finite words, which they read from left to right while incrementing or decrementing a fixed number of counters. The two classes differ in the extra features they offer: one allows to copy counter values, whereas the other allows to compute copyless sums of counters. Our distributed automata, on the other hand, operate on directed path graphs that represent words. All nodes of a path synchronously execute the same finite-state machine, whose state diagram must be acyclic except for self-loops, and each node receives as input the state of its direct predecessor. These devices form a subclass of linear-time one-way cellular automata.

Formal Languages and Automata Theory,Distributed, Parallel, and Cluster Computing
Synchronized CTL over One-Counter Automata

Shaull Almagor,Daniel Assa,Udi Boker

DOI: https://doi.org/10.4230/LIPIcs.FSTTCS.2023.19

2023-12-21

Abstract:We consider the model-checking problem of Synchronized Computation-Tree Logic (CTL+Sync) over One-Counter Automata (OCAs). CTL+Sync augments CTL with temporal operators that require several paths to satisfy properties in a synchronous manner, e.g., the property "all paths should eventually see $p$ at the same time". The model-checking problem for CTL+Sync over finite-state Kripke structures was shown to be in $\mathsf{P}^{\mathsf{NP}^{\mathsf{NP}}}$. OCAs are labelled transition systems equipped with a non-negative counter that can be zero-tested. Thus, they induce infinite-state systems whose computation trees are not regular. The model-checking problem for CTL over OCAs was shown to be $\mathsf{PSPACE}$-complete. We show that the model-checking problem for CTL+Sync over OCAs is decidable. However, the upper bound we give is non-elementary. We therefore proceed to study the problem for a central fragment of CTL+Sync, extending CTL with operators that require all paths to satisfy properties in a synchronous manner, and show that it is in $\mathsf{EXP}^\mathsf{NEXP}$ (and in particular in $\mathsf{EXPSPACE}$), by exhibiting a certain "segmented periodicity" in the computation trees of OCAs.

Formal Languages and Automata Theory

Winning Strategies for the Synchronization Game on Subclasses of Finite Automata

Symbolics dynamics of elementary cellular automata rule 88

Primitive Automata that are Synchronizing

Synchronization of primitive automata

Synchronization Games

On the Synchronization of Circular Semi-Flower Automata

Cellular Automata model for period-$n$ synchronization: A new universality class

H ∞ Synchronization of Two Different Discrete-Time Chaotic Systems Via a Unified Model

The Geometry of Synchronization (Long Version)

Cornering Robots to Synchronize a DFA

Synchronizing random automata through repeated 'a' inputs

Random attractors on countable state spaces

Transient Bipartite Synchronization for Cooperative-Antagonistic Multiagent Systems with Switching Topologies

On winning shifts of marked uniform substitutions

Careful Synchronization of One-Cluster Automata

Model checking of hybrid systems using shallow synchronization

Robust Synchronization in Markov Decision Processes

Lower Bounds for Synchronizing Word Lengths in Partial Automata

Counter Machines and Distributed Automata: A Story about Exchanging Space and Time

Synchronized CTL over One-Counter Automata