arXiv++ Combinatorics

In the binary trust-gossip dynamics, $n$ agents each hold a directed binary opinion, trust or distrust, of every other agent, and a gossip step lets one agent copy another agent's opinion of a third whenever the copier trusts the source. We prove that under any fair schedule of such steps, every trajectory reaches an absorbing state in finitely many steps, one in which no gossip step changes any opinion; in particular, there are no limit cycles. The proof is constructive and rests on a single descent measure: the number of ordered pairs of distinct agents linked by a chain of trust. Trust-adding gossip leaves this count unchanged and trust-removing gossip can only lower it, so it never rises, and it is zero only at the all-distrust state. From any non-absorbing state we exhibit a finite run of steps that reaches an absorbing state or strictly lowers the count; since the count is a non-negative integer at most $n(n-1)$, the process halts at an absorbing state.

We study an opinion dynamics model in which $n$ agents hold directed trust or distrust opinions about one another, represented as a matrix $M \in \{0,1\}^{n \times n}$ in which 1 represents trust and 0 represents distrust. A gossip event $(a, z, y)$ causes agent $z$ to adopt agent $a$'s opinion of $y$, provided that $z$ trusts $a$. We characterize the absorbing states of this process, i.e. the states in which no further opinion change can take place: we find that they are the states in which agents are partitioned into isolated factions, each faction containing a subset of core members who share mutual trust, while the remaining peripheral members trust all core members but receive no trust in return. This structure establishes a bijection between absorbing states on $[n]$ and pairs consisting of a set partition $π$ of $[n]$ together with a choice of non-empty subset of each faction of $π$. The number of such absorbing states is therefore given by OEIS A143405, with exponential generating function $\exp(\exp(x) \cdot (\exp(x) - 1))$. In addition, up to isomorphism, the count equals the number of plane partitions of $n$, given by OEIS A000219, recovering MacMahon's classical product formula $\prod_{k \geq 1} 1/(1 - x^k)^k$. Exhaustive computation for $n \leq 7$ confirms both counts.