English
Related papers

Related papers: Circular automata synchronize with high probabilit…

200 papers

We study information aggregation in networks when agents interact to learn a binary state of the world. Initially each agent privately observes an independent signal which is "correct" with probability $\frac{1}{2}+\delta$ for some $\delta…

Computer Science and Game Theory · Computer Science 2025-08-12 Divyarthi Mohan , Pawel Pralat

We consider distributed plurality consensus in a complete graph of size $n$ with $k$ initial opinions. We design an efficient and simple protocol in the asynchronous communication model that ensures that all nodes eventually agree on the…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-02-23 Robert Elsässer , Tom Friedetzky , Dominik Kaaser , Frederik Mallmann-Trenn , Horst Trinker

We show that the probability that a random graph $G\sim G(n,p)$ contains no Hamilton cycle is $(1+o(1))Pr(\delta (G) < 2)$ for all values of $p = p(n)$. We also prove an analogous result for perfect matchings.

Combinatorics · Mathematics 2019-12-20 Yahav Alon , Michael Krivelevich

We investigate networks of automata that synchronise over common action labels. A graph synchronisation topology between the automata is defined in such a way that two automata are connected iff they can synchronise over an action. We show…

Logic in Computer Science · Computer Science 2020-12-10 Laure Petrucci , Michał Knapik

In 1963, Anton Kotzig famously conjectured that $K_{n}$, the complete graph of order $n$, where $n$ is even, can be decomposed into $n-1$ perfect matchings such that every pair of these matchings forms a Hamilton cycle. The problem is still…

Combinatorics · Mathematics 2025-10-03 Stefan Glock , Amedeo Sgueglia

We consider the problem of determining the existence of a sequence of matrices driving a discrete-time consensus system to consensus. We transform this problem into one of the existence of a product of the transition (stochastic) matrices…

Distributed, Parallel, and Cluster Computing · Computer Science 2015-10-05 Pierre-Yves Chevalier , Julien M. Hendrickx , Raphaël M. Jungers

We revisit the method of small subgraph conditioning, used to establish that random regular graphs are Hamiltonian a.a.s. We refine this method using new technical machinery for random $d$-regular graphs on $n$ vertices that hold not just…

Probability · Mathematics 2015-05-25 Tobias Johnson , Elliot Paquette

In this article we consider the graph alignment problem from the perspective of high-dimensional statistics: we aim to estimate an unknown permutation $\pi^*$ from the observation of two correlated random adjacency matrices $A_1$, $A_2$. We…

Probability · Mathematics 2025-10-30 Laurent Massoulié

We study Hamiltonicity in random subgraphs of the hypercube $\mathcal{Q}^n$. Our first main theorem is an optimal hitting time result. Consider the random process which includes the edges of $\mathcal{Q}^n$ according to a uniformly chosen…

Combinatorics · Mathematics 2022-08-16 Padraig Condon , Alberto Espuny Díaz , António Girão , Daniela Kühn , Deryk Osthus

We determine the sharp threshold for Hamilton cycles in randomly perturbed sparse graphs. For any $\alpha=\alpha(n)=o(1)$, let $G_{\alpha}$ be an $n$-vertex graph with minimum degree $\delta(G_{\alpha})\ge\alpha n$. We prove that if…

Combinatorics · Mathematics 2026-05-29 Guorui Ma , Zhifei Yan

We consider an ensemble of nxn real symmetric random matrices A whose entries are determined by independent identically distributed random variables that have symmetric probability distribution. Assuming that the moment 12+2delta of these…

Probability · Mathematics 2012-12-18 O. Khorunzhiy

This paper proposes an algorithm to maximize reachability probabilities for rectangular automata with random clocks via a history-dependent prophetic scheduler. This model class incorporates time-induced nondeterminism on discrete behavior…

Formal Languages and Automata Theory · Computer Science 2023-05-05 Joanna Delicaris , Stefan Schupp , Erika Ábrahám , Anne Remke

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…

Formal Languages and Automata Theory · Computer Science 2026-03-02 Smayan Agarwal , Aalok Thakkar

In this work the algorithms of fast multiplication of matrices are considered. To any algorithm there associated a certain group of automorphisms. These automorphism groups are found for some well-known algorithms, including algorithms of…

Computational Complexity · Computer Science 2015-08-06 V. P. Burichenko

In this paper we study the synchronization properties of random geometric graphs. We show that the onset of synchronization takes place roughly at the same value of the order parameter that a random graph with the same size and average…

Physics and Society · Physics 2015-05-13 Albert Diaz-Guilera , Jesus Gomez-Gardenes , Yamir Moreno , Maziar Nekovee

We prove decidability results on the existence of constant subsequences of uniformly recurrent morphic sequences along arithmetic progressions. We use spectral properties of the subshifts they generate to give a first algorithm deciding…

Dynamical Systems · Mathematics 2018-11-19 Fabien Durand , Valérie Goyheneche

We introduce a new setting of algorithmic problems in random graphs, studying the minimum number of queries one needs to ask about the adjacency between pairs of vertices of ${\mathcal G}(n,p)$ in order to typically find a subgraph…

Combinatorics · Mathematics 2016-08-05 Asaf Ferber , Michael Krivelevich , Benny Sudakov , Pedro Vieira

We show that the synchronized states of two systems of identical chaotic maps subject to either, a common drive that acts with a probability p in time or to the same drive acting on a fraction p of the maps, are similar. The synchronization…

Chaotic Dynamics · Physics 2015-05-13 O. Alvarez-Llamoza , M. G. Cosenza

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)$…

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