arXiv++ Combinatorics

Collective decisions in agent networks emerge from repeated local interactions, as agents update their opinions (colors) based on their neighbors, potentially leading to consensus. In sparse communication graphs, repeated interactions can amplify both the initial majority preference and the random fluctuations caused by individual agents. Understanding when the initial majority determines the final preference and how quickly an agreement emerges is, therefore, a basic question in collective decision-making. We study binary majority dynamics as an idealized model of this process. At each round, the interaction graph is independently resampled from the Erdős--Rényi model $\mathbb{G}(N,p)$, with $p=b\log N/N$ and fixed $b>1$. Each agent adopts the majority opinion among its neighbors, retaining its current opinion if there is a tie. For a fixed initial configuration, let $Δ_0$ denote the initial difference between the number of blue agents and the number of red agents. We identify three regimes for the consensus time, determined by $|Δ_0|$. First, when $Δ_0\sqrt p=O(1)$, the probability of blue unanimity is $$ Φ\left(Δ_0\sqrt{2p/π}\right) + o(1), $$ where $Φ$ is the cumulative distribution function of a standard Gaussian. Moreover, consensus is reached after $(1+o(1))\log N/\log\log N$ rounds with high probability. Second, in the intermediate regime $1\llΔ_0 \sqrt{p}\lesssim \sqrt{N}$, we establish explicit high probability upper and lower bounds on the time to blue-unanimity. Lastly, when the initial blue advantage is above an explicit constant multiple of $N/\sqrt{\log N}$, blue unanimity is guaranteed within two rounds with high probability. Our findings provide a complete description of how the initial advantage influences winner selection and the speed of consensus in this type of majority dynamics with sparse interactions.

Majority dynamics is a two-opinion process in which each vertex repeatedly updates to the majority opinion among its neighbors. We study this process on a resampled sparse binary stochastic block model in the assortative regime. At each time step, a graph is sampled from the current opinion partition: vertices with the same opinion are joined with probability $α=a\log N/N$, while vertices with differing opinions are joined with probability $β=b\log N/N$, where $a>b>1$. Let $B_t$ and $R_t$ denote the blue and red camps at time $t$. We show that the weighted advantage $\widetildeΔ_t =b|B_t|-a|R_t|$, rather than the unweighted advantage $Δ_t=|B_t|-|R_t|$ alone, governs the pace to unanimity. Our results, which hold with high probability as \(N\to\infty\), identify three regimes for blue unanimity under the initial blue advantage, i.e., $Δ_0>0$: constant time, subpolynomial time, and polynomial time. First, when $\widetildeΔ_0 \gtrsim -N/\sqrt{\log N}$, blue unanimity occurs within three updates. Second, when $\widetildeΔ_0 < 0$ and $|\widetildeΔ_0| = o(N)$, blue unanimity occurs within $N^{o(1)}$ updates. Furthermore, when $\widetildeΔ_0 < 0$, $|\widetildeΔ_0| = O(N)$, and $Δ_0\gg\sqrt{N/\log N}$, blue unanimity still occurs within $N^{I_0+o(1)}$ updates, where \[ I_0= \left(\mathbf{ReLU}\Big(\sqrt{a\frac{|R_0|}{N}}-\sqrt{b\frac{|B_0|}{N}}\Big)\right)^2, \] and $\mathbf{ReLU}(x)=\max\{x,0\}$. Conversely, away from the weighted threshold, when $|B_0|/|R_0|\le a/b-κ$ and $Δ_0>0$, $N^{I_0 - o(1)}$ updates are necessary for blue unanimity. Our analysis relies on detailed estimates for one-vertex flip probabilities in sparse binomial differences, which could be of independent interest.

We resolve a conjecture of Rob Morris concerning bijections on the hypercube. Specifically, we show that for any bijection $f : \{-1,1\}^n \to \{-1,1\}^n$, \[ \Pr_{x,y \in \{-1,1\}^n}\big[ \langle x,y \rangle \ge 0 \;\text{and}\; \langle f(x),f(y) \rangle \ge 0 \big] \;\;\ge\; \tfrac{1}{4} - O(1/\sqrt{n}), \] implying the same lower bound for the joint event under any two bijections. Our proof proceeds by applying the spectral decomposition of the Hamming association scheme, which allows us to reformulate the problem as a linear program over the Birkhoff polytope. This makes it possible to isolate the contribution of the nontrivial spectrum, which we show is asymptotically negligible, leaving the dominant contribution arising from the principal eigenvalue.

A rooted arborescence of a directed graph is a spanning tree directed towards a particular vertex. A recent work of Chepuri et al. showed that the arborescences of a covering graph of a directed graph G are closely related to the arborescences of G. In this paper, we study the weighted sum of arborescences of a random covering graph and give a formula for the expected value, resolving a conjecture of Chepuri et al.