Extension of adversarial non-convergence to expander graphs

Let $G$ be an expander graph.

Expander-graph conjecture. There is a choice of corrupted set such that the conclusion to Theorem holds.

This conjecture asks whether the paper's result preventing convergence can be extended beyond the mean-field setting to sufficiently well-connected graphs. The precise conclusion referred to is not included in the supplied context, so the conjecture's scope and current status require verification from the paper.