English
Related papers

Related papers: Fast Synchronization of Random Automata

200 papers

We characterize synchronization phenomenon in discrete-time, discrete-state random dynamical systems, with random and probabilistic Boolean networks as particular examples. In terms of multiplicative ergodic properties of the induced linear…

Dynamical Systems · Mathematics 2020-09-09 Wen Huang , Hong Qian , Shirou Wang , Felix X. -F. Ye , Yingfei Yi

In this paper, we are mainly concerned with the ability to quickly and automatically distinguish word senses in dynamic semantic spaces in which new terms and new senses appear frequently. Such spaces are built '"on the fly" from constantly…

Computation and Language · Computer Science 2018-02-19 Jean-François Delpech

The purpose of this paper is to study subsequences of synchronizing $k$-automatic sequences $a(n)$ along Piatetski-Shapiro sequences $\lfloor n^c \rfloor$ with non-integer $c>1$. In particular, we show that $a(\lfloor n^c \rfloor)$…

When writing a summary, humans tend to choose content from one or two sentences and merge them into a single summary sentence. However, the mechanisms behind the selection of one or multiple source sentences remain poorly understood.…

Computation and Language · Computer Science 2019-06-04 Logan Lebanoff , Kaiqiang Song , Franck Dernoncourt , Doo Soon Kim , Seokhwan Kim , Walter Chang , Fei Liu

The speed with which a learning algorithm converges as it is presented with more data is a central problem in machine learning --- a fast rate of convergence means less data is needed for the same level of performance. The pursuit of fast…

Machine Learning · Computer Science 2021-08-31 Tim van Erven , Peter D. Grünwald , Nishant A. Mehta , Mark D. Reid , Robert C. Williamson

The ability to fuse sentences is highly attractive for summarization systems because it is an essential step to produce succinct abstracts. However, to date, summarizers can fail on fusing sentences. They tend to produce few summary…

Computation and Language · Computer Science 2020-10-09 Logan Lebanoff , Franck Dernoncourt , Doo Soon Kim , Lidan Wang , Walter Chang , Fei Liu

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…

Dynamical Systems · Mathematics 2025-08-14 Robin Chemnitz , Maximilian Engel , Guillermo Olicón-Mendez

We give a new characterization of primitive permutation groups tied to the notion of completely reachable automata. Also, we introduce sync-maximal permutation groups tied to the state complexity of the set of synchronizing words of certain…

Formal Languages and Automata Theory · Computer Science 2020-12-01 Stefan Hoffmann

Consider a complete communication network of $n$ nodes, where the nodes receive a common clock pulse. We study the synchronous $c$-counting problem: given any starting state and up to $f$ faulty nodes with arbitrary behaviour, the task is…

Distributed, Parallel, and Cluster Computing · Computer Science 2015-03-24 Christoph Lenzen , Joel Rybicki , Jukka Suomela

Synchronization of chaos arises between coupled dynamical systems and is very well understood as a temporal phenomena which leads the coupled systems to converge or develop a dependence with time. In this work, we provide a complementary…

Dynamical Systems · Mathematics 2019-10-23 Aditi Kathpalia , Nithin Nagaraj

We consider the problem of slotted asynchronous coded communication, where in each time frame (slot), the transmitter is either silent or transmits a codeword from a given (randomly selected) codebook. The task of the decoder is to decide…

Information Theory · Computer Science 2013-08-22 Neri Merhav

Semiautomata form a rich class of sequence-processing algorithms with applications in natural language processing, robotics, computational biology, and data mining. We establish the first Statistical Query hardness result for semiautomata…

Machine Learning · Computer Science 2025-10-07 George Giapitzakis , Kimon Fountoulakis , Eshaan Nichani , Jason D. Lee

Virtual synchrony is an important abstraction that is proven to be extremely useful when implemented over asynchronous, typically large, message-passing distributed systems. Fault tolerant design is a key criterion for the success of such…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-04-26 Shlomi Dolev , Chryssis Georgiou , Ioannis Marcoullis , Elad Michael Schiller

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…

Probability · Mathematics 2015-03-30 Siamak Taati

The synchronization of two stochastically coupled one-dimensional cellular automata (CA) is analyzed. It is shown that the transition to synchronization is characterized by a dramatic increase of the statistical complexity of the patterns…

Cellular Automata and Lattice Gases · Physics 2007-05-23 Juan R. Sánchez , Ricardo López-Ruiz

We consider the problem of minimising the number of states in a multiplicity tree automaton over the field of rational numbers. We give a minimisation algorithm that runs in polynomial time assuming unit-cost arithmetic. We also show that a…

Formal Languages and Automata Theory · Computer Science 2019-03-14 Stefan Kiefer , Ines Marusic , James Worrell

Term rewriting plays a crucial role in software verification and compiler optimization. With dozens of highly parameterizable techniques developed to prove various system properties, automatic term rewriting tools work in an extensive…

Logic in Computer Science · Computer Science 2025-08-01 Liao Zhang , Fabian Mitterwallner , Jan Jakubuv , Cezary Kaliszyk

We present the first study of non-deterministic weighted automata under probabilistic semantics. In this semantics words are random events, generated by a Markov chain, and functions computed by weighted automata are random variables. We…

Formal Languages and Automata Theory · Computer Science 2019-11-01 Jakub Michaliszyn , Jan Otop

In spoken conversations, spontaneous behaviors like filled pause and prolongations always happen. Conversational partner tends to align features of their speech with their interlocutor which is known as entrainment. To produce human-like…

Audio and Speech Processing · Electrical Eng. & Systems 2021-06-22 Jian Cong , Shan Yang , Na Hu , Guangzhi Li , Lei Xie , Dan Su

Frame synchronization is the act of discerning the first bit of a valid data frame inside an incoming transmission. This is particularly important in high-noise environments where the communication channel significantly alters transmitted…

Signal Processing · Electrical Eng. & Systems 2025-01-24 Dimitris Nikolaidis