Stable Sets of Threshold-Based Cascades on the Erdos-Renyi Random Graphs

Consider the following reversible cascade on the Erdos-Renyi random graph G(n, p). In round zero, a set of vertices, called the seeds, are active. For a given rho is an element of (0, 1], a non-isolated vertex is activated (resp., deactivated) in round t is an element of Z(+) if the fraction f of its neighboring vertices that were active in round t - 1 satisfies f >= rho (resp., f < rho). An irreversible cascade is defined similarly except that active vertices cannot be deactivated. A set of vertices, 5, is said to be stable if no vertex will ever change its state, from active to inactive or vice versa, once the set of active vertices equals S. For both the reversible and the irreversible cascades, we show that for any constant epsilon > 0, all p is an element of [(1 + epsilon) (ln (e/rho))/n, 1] and with probability 1 - n(-ohm(1)), every stable set of G(n, p) has size O(inverted right perpendicular rho ninverted left perpendicular) or n - O(inverted right perpendicular rho ninverted left perpendicular).