Random Structures & Algorithms
Random Structures and Algorithms ยท 2006
For an arbitrary finite tree ๐ , we find the exact value of the worst-case stabilization time of majority dynamics on ๐ .We also prove that for a perfect rooted cubic tree ๐ with diameter ๐ท and uniformly random initial opinions, the dynamics stabilizes in time ๐ โ (๐ทโ4, ๐ทโ3) with high probability. | IntroductionMajority dynamics is a fundamental process on networks where each node interacts with its neighbors by changing its opinion to match the opinion of the majority.This simply described, and natural model has been of interest in biophysics McCulloch and Pitts (1990), social psychology Yin et al. (2019) and computer science Alistarh et al. (2017).Formally, this process is described as follows.Initially each individual ๐ โ ๐ considered as a vertex of a graph ๐บ on a (not necessarily finite) set of vertices ๐ has an initial opinion ๐ 0 (๐) โ {-1, 1}.Then, at every time step ๐ก โ โ, they adopt the majority opinion of their neighbors, that is,where ๐ ๐บ (๐) is the set of neighbors of ๐ in ๐บ.For convenience, we only consider graphs with odd degrees, soIt was proved by Goles and Olivos (1980) that the process stabilizes for every finite graph ๐บ.More formally, the following period two property holds true: For every vertex ๐ and all large enough ๐ก, ๐ ๐ก+2 (๐) = ๐ ๐ก (๐).However, the question of estimating the time until stabilization Poljak and Turzรญk (1986), it is proven that, for every ๐บ and everyIt is known, however, that for most graphs and most assignments of initial opinions, ๐ is much smaller: It was proven in Fountoulakis et al. (2020) that if ๐ โซ ๐ -1โ2 then with high probability 1 ๐ โถ= ๐(๐บ(๐, ๐); ๐ 0 ) โค 4 for ๐ 0 โ ----------------------------------------