1: \begin{abstract}
2: Recently the dynamics of signed networks, where the ties among the agents can be both positive (attractive) or negative (repulsive)
3: have attracted substantial attention of the research community. Examples of such networks are models of opinion dynamics over signed graphs,
4: recently introduced by Altafini (2012,2013) and extended to discrete-time case by Meng et al. (2014). It has been shown that under
5: mild connectivity assumptions these protocols provide the convergence of opinions in absolute value, whereas their signs may differ.
6: This ``modulus consensus'' may correspond to the \emph{polarization} of the opinions (or \emph{bipartite consensus}, including the usual consensus as a special case), or their convergence to zero.
7:
8: In this paper, we demonstrate that the phenomenon of modulus consensus in the discrete-time Altafini model is a manifestation of a more
9: general and profound fact, regarding the solutions of a special recurrent inequality. Although such a recurrent inequality does not provide the uniqueness of a solution,
10: it can be shown that, under some natural assumptions, each of its bounded solutions has a limit and, moreover, converges to consensus.
11: A similar property has previously been established for special continuous-time differential inequalities (Proskurnikov, Cao, 2016).
12: Besides analysis of signed networks, we link the consensus properties of recurrent inequalities to the convergence analysis of distributed optimization algorithms and
13: the problems of Schur stability of substochastic matrices.
14: \end{abstract}