Increasing event

An event in a partially ordered configuration space is increasing when changing coordinates upward cannot make a configuration leave the event.

For a sequence of nontrivial increasing events on finite product measures, write $p_x$ for the parameter at which the success probability is $x$. An additive sharp threshold means that $p_{1-\epsilon }-p_{\epsilon }\to 0$ for every fixed $0<\epsilon <1/2$. When the threshold parameter itself tends to zero, relative sharpness instead compares this window with $p_{1/2}$; additive sharpness alone is then a weaker assertion. The Friedgut-Kalai sharp threshold theorem provides an explicit additive bound for transitive increasing events.

An increasing event on a finite product of identically distributed coordinates is transitive if a group action preserving the event is transitive on the coordinate set. Its influences are all equal. Transitivity concerns coordinates, and does not assert transitivity on successful configurations.

An event is decreasing when closing additional edges cannot destroy it. Its complement is an increasing event.