The 2R-Conjecture for the Hegselmann--Krause Model: A Proof in Expectation and New Directions

TL;DR

This paper advances understanding of the Hegselmann--Krause model by proving the 2R-Conjecture in expectation using infinite-dimensional analysis, offering new insights into fixed point structures in opinion dynamics.

Contribution

It provides the first proof in expectation of the 2R-Conjecture for the Hegselmann--Krause model, introducing a novel infinite-dimensional approach leveraging symmetries.

Findings

Proof in expectation of the 2R-Conjecture

Simulation-supported stronger results

Novel infinite-dimensional analysis techniques

Abstract

Hegselmann--Krause models are localized, distributed averaging dynamics on spatial data. A key aspect of these dynamics is that they lead to cluster formation, which has important applications in geographic information systems, dynamic clustering algorithms, opinion dynamics, and social networks. For these models, the key questions are whether a fixed point exists and, if so, characterizing it. In this work, we establish new results towards the "2R-Conjecture" for the Hegselmann--Krause model, for which no meaningful progress, or even any precise statement, has been made since its introduction in 2007. This conjecture relates to the structure of the fixed point when there are a large number of agents per unit space. We provide, among other results, a proof in expectation and a statement of a stronger result that is supported by simulation. The key methodological contribution is to consider the dynamics as an infinite-dimensional problem on the space of point processes, rather than on finitely many points. This enables us to leverage stationarity, shift invariance, and certain other symmetries to obtain the results. These techniques do not have finite-dimensional analogs.