In monotone comparative statics, the single-crossing condition or single-crossing property refers to a condition where the relationship between two or more functions is such that they will only cross once. For example, a mean-preserving spread will result in an altered probability distribution whose cumulative distribution function will intersect with the original's only once. The single-crossing condition was posited in Samuel Karlin's 1968 monograph 'Total Positivity'. It was later used by Peter Diamond, Joseph Stiglitz, and Susan Athey, in studying the economics of uncertainty. The single-crossing condition is also used in applications where there are a few agents or types of agents that have preferences over an ordered set. Such situations appear often in information economics, contract theory, social choice and political economics, among other fields.
Example using cumulative distribution functions Cumulative distribution functions F and G satisfy the single-crossing condition if there exists a y ∗ {\displaystyle y^{*}} such that
∀ x , x ≥ y ∗ ⟹ F ( x ) ≥ G ( x ) {\displaystyle \forall x,x\geq y^{*}\implies F(x)\geq G(x)}
and
∀ x , x ≤ y ∗ ⟹ F ( x ) ≤ G ( x ) {\displaystyle \forall x,x\leq y^{*}\implies F(x)\leq G(x)} ; that is, function h ( x ) = F ( x ) − G ( x ) {\displaystyle h(x)=F(x)-G(x)} crosses the x-axis at most once, in which case it does so from below. This property can be extended to two or more variables. Given x and t, for all x'>x, t'>t,
F ( x ′ , t ) ≥ F ( x , t ) ⟹ F ( x ′ , t ′ ) ≥ F ( x , t ′ ) {\displaystyle F(x',t)\geq F(x,t)\implies F(x',t')\geq F(x,t')}
and
F ( x ′ , t ) > F ( x , t ) ⟹ F ( x ′ , t ′ ) > F ( x , t ′ ) {\displaystyle F(x',t)>F(x,t)\implies F(x',t')>F(x,t')} . This condition could be interpreted as saying that for x'>x, the function g(t)=F(x',t)-F(x,t) crosses the horizontal axis at most once, and from below. The condition is not symmetric in the variables (i.e., we cannot switch x and t in the definition; the necessary inequality in the first argument is weak, while the inequality in the second argument is strict).
Use in social choice and mechanism design
Social choice In social choice theory, the single-crossing condition is a condition on preferences. It is especially useful because utility functions are generally increasing (i.e. the assumption that an agent will prefer or at least consider equivalent two dollars to one dollar is unobjectionable). Specifically, a set of agents with some unidimensional characteristic α i {\displaystyle \alpha ^{i}} and preferences over different policies q satisfy the single crossing property when the following is true: If q > q ′ {\displaystyle q>q'} and α i ′ > α i {\displaystyle \alpha ^{i'}>\alpha ^{i}} or if q < q ′ {\displaystyle q<q'} and α i ′ < α i {\displaystyle \alpha ^{i'}<\alpha ^{i}} , then
W ( q ; α i ) ≥ W ( q ′ ; α i ) ⟹ W ( q ; α i ′ ) ≥ W ( q ′ ; α i ′ ) {\displaystyle W(q;\alpha ^{i})\geq W(q';\alpha ^{i})\implies W(q;\alpha ^{i'})\geq W(q';\alpha ^{i'})}
… excerpt ends here. Continue reading the full article.


