Tutorials › Statistical Theory I - Probability and Distribution Theory › Dispersion Comparisons at a Fixed Mean

Stochastic Orders and Comparisons · Tutorial 965 of 994

Dispersion Comparisons at a Fixed Mean

Compare distributions with the same mean using variance and convex order, and distinguish integrated stop-loss comparisons from pointwise tail probabilities.

Advanced 11 min read

What You'll Learn

  • Define convex order for integrable random variables with a common mean
  • Interpret stop-loss expectations as integrated upper-tail probabilities
  • Prove that convex order implies a variance inequality when second moments exist
  • See why a larger variance alone does not establish convex order
  • Distinguish integrated tail comparisons from pointwise two-sided tail probabilities
  • Check distributional comparisons by computing stop-loss expectations at relevant thresholds

Dispersion at a Common Mean

Suppose two random variables have the same mean. It is tempting to call the one with larger variance “more dispersed” and stop there. But variance is only one summary: it can conceal where probability lies, and it does not compare every way a distribution can respond to a convex loss. Convex order makes a more comprehensive comparison of dispersion at a fixed mean, while stop-loss expectations reveal exactly what that comparison says about tails.

A second distinction matters. A distribution can be more dispersed in convex order without having a larger probability of exceeding every distance from the mean. Convex order compares integrated tail probabilities, not pointwise tail probabilities. Keeping these claims separate prevents “more dispersed” from being mistaken for “uniformly heavier tails.”

Definition: Let \(X\) and \(Y\) be integrable random variables with \(E[X]=E[Y]\). We say that \(X\) is smaller than \(Y\) in convex order, written \(X\leq_{\mathrm{cx}}Y\), if \(E[\phi(X)]\leq E[\phi(Y)]\) for every convex function \(\phi\) for which both expectations exist. The common-mean condition is part of the definition.

The direction of this notation is worth reading carefully: \(Y\) is at least as dispersed as \(X\) in convex order. For example, every convex penalty, such as a squared-error penalty or a threshold loss, has an expectation no smaller under \(Y\). A convex-order comparison does not say that the distribution functions are ordered at every point.

Stop-Loss Expectations: Integrated Tail Comparisons

For a real threshold \(k\), the stop-loss function of \(X\) is \(E[(X-k)_+]\), where \(u_+=\max(u,0)\). It measures the expected amount by which \(X\) exceeds \(k\). The stop-loss characterization of convex order states that, for integrable \(X,Y\) with equal means, \(X\leq_{\mathrm{cx}}Y\) if and only if \(E[(X-k)_+]\leq E[(Y-k)_+]\) for every real \(k\). Thus checking all thresholds gives a complete comparison, rather than just one variance summary.

Result: For every integrable random variable \(X\) and real \(k\), \[ E[(X-k)_+]=\int_k^\infty P(X>t)\,dt. \] Consequently, a stop-loss comparison is a comparison of integrated upper tails, not necessarily of \(P(X>k)\) at each threshold.

To verify the identity, fix a real number \(x\). The length of the set of \(t\geq k\) for which \(x>t\) is exactly \((x-k)_+\). Therefore \((X-k)_+=\int_k^\infty \mathbf{1}_{\{X>t\}}\,dt\) pointwise. The integrand is nonnegative and jointly measurable in the outcome and \(t\), so Tonelli’s theorem permits the exchange of expectation and integration:

$$ E[(X-k)_+] =E\left[\int_k^\infty \mathbf{1}_{\{X>t\}}\,dt\right] =\int_k^\infty E[\mathbf{1}_{\{X>t\}}]\,dt =\int_k^\infty P(X>t)\,dt. $$

Integrability ensures the stop-loss expectation is finite, since \((X-k)_+\leq |X|+|k|\). With equal means, upper and lower stop-loss comparisons contain the same information: for every real \(x,k\), \((x-k)_+-(k-x)_+=x-k\). Taking expectations shows that the difference between the upper and lower stop-loss expectations is \(E[X]-k\), which is the same for \(X\) and \(Y\) when their means agree.

What Variance Does and Does Not Establish

Variance is a convex-order consequence when the second moments are finite, but it is not a substitute for the full comparison. The implication follows by choosing the particular convex function \(\phi(x)=x^2\).

Theorem: If \(X\leq_{\mathrm{cx}}Y\) and both variables have finite second moments, then \(\operatorname{Var}(X)\leq\operatorname{Var}(Y)\).

Proof. Convex order applied to \(x^2\) gives \(E[X^2]\leq E[Y^2]\). Because the means are equal, say \(E[X]=E[Y]=m\), and both second moments are finite, \[ \operatorname{Var}(X)=E[X^2]-m^2 \leq E[Y^2]-m^2 =\operatorname{Var}(Y). \] This proves the claim. \(\square\)

The converse does not hold: knowing that \(Y\) has larger variance only compares the expectations of one convex function. Convex order requires the inequality for every convex function—or, equivalently, for the stop-loss function at every threshold.

Worked Example: Larger Variance Without Convex-Order Dominance

Let \(Y\) take the values \(-1\) and \(1\), each with probability \(1/2\). Let \(X\) take \(-3,0,3\) with probabilities \(0.1,0.8,0.1\), respectively. Compare their means, variances, and stop-loss expectations at zero.

Both means are zero: \(E[Y]=(-1)(1/2)+(1)(1/2)=0\) and \(E[X]=(-3)(0.1)+0(0.8)+(3)(0.1)=0\). Their variances are \[ \operatorname{Var}(Y)=E[Y^2]=1,\qquad \operatorname{Var}(X)=E[X^2]=9(0.1)+0+9(0.1)=1.8. \] So \(X\) has the larger variance. But at threshold \(k=0\), \[ E[(Y-0)_+]=\tfrac12,\qquad E[(X-0)_+]=3(0.1)=0.3. \] The required stop-loss inequality for \(Y\leq_{\mathrm{cx}}X\) fails at zero, since \(0.5>0.3\). In the opposite direction, at \(k=2\), \(E[(X-2)_+]=0.1(3-2)=0.1\), whereas \(E[(Y-2)_+]=0\). Thus \(X\leq_{\mathrm{cx}}Y\) also fails. The distributions are incomparable in convex order despite their common mean and different variances.

Convex Order Is Not Pointwise Tail Dominance

One precise meaning of “uniformly heavier two-sided tails” at a common mean \(m\) is that \(P(|Y-m|>t)\geq P(|X-m|>t)\) for every \(t\geq0\). Convex order does not imply this property. Nor is this pointwise condition the stop-loss criterion: the latter integrates one-sided tail probabilities over all thresholds.

Worked Example: Convex-Order Dominance With Crossing Two-Sided Tails

Let \(Y\) take \(-1,1\) with probabilities \(1/2,1/2\), and let \(X\) take \(-2,0,2\) with probabilities \(1/4,1/2,1/4\). Both means are zero. We verify \(Y\leq_{\mathrm{cx}}X\) by checking stop-loss expectations.

For \(k\geq0\), the stop-loss difference is \[ E[(X-k)_+]-E[(Y-k)_+] = \begin{cases} k/4, & 0\leq k\leq1,\\ (2-k)/4, & 1\leq k\leq2,\\ 0, & k\geq2. \end{cases} \] Each expression is nonnegative. For \(k\leq0\), use the identity \(E[(Z-k)_+]=E[Z]-k+E[(k-Z)_+]\). The means of \(X\) and \(Y\) agree, so their stop-loss difference at \(k\) equals the difference of their put expectations \(E[(k-Z)_+]\). These put expectations are the upper stop-loss expectations of \(-X\) and \(-Y\); since both distributions are symmetric about zero, they have the same difference just computed for threshold \(-k\geq0\). The difference is therefore nonnegative for every \(k\), proving \(Y\leq_{\mathrm{cx}}X\).

Now compare the probabilities of exceeding a distance from the common mean. If \(0<t<1\), then \(P(|X|>t)=1/2\) but \(P(|Y|>t)=1\). If \(1<t<2\), then \(P(|X|>t)=1/2\) but \(P(|Y|>t)=0\). The pointwise ordering reverses. Thus \(X\) is greater in convex order, yet its two-sided tail probability is not uniformly larger at every distance.

The mechanism behind the comparison is also instructive. The values \(-1\) and \(1\) can be viewed as conditional means of more variable outcomes: replace \(-1\) by an equal chance of \(-2\) or \(0\), and replace \(1\) by an equal chance of \(0\) or \(2\). Each replacement preserves its conditional mean while spreading outcomes around it. Convex losses increase under this mean-preserving spread, even though some pointwise tail probabilities decrease.

Using Stop-Loss Comparisons in Practice

A practical comparison at a common mean should begin by fixing the direction of the claim. To show \(X\leq_{\mathrm{cx}}Y\), compare \(E[(X-k)_+]\) with \(E[(Y-k)_+]\) over all real thresholds. A single threshold with the inequality reversed disproves the claim. A variance calculation can quickly disprove a proposed order too: if the proposed convex-order direction contradicts the variance inequality, it cannot hold. But a favorable variance comparison alone is not proof.

Worked Example: Equal Variances Can Still Give Incomparability

Let \(A\) take \(-1,1\) with probabilities \(1/2,1/2\). Let \(B\) take \(-2,0,2\) with probabilities \(1/8,3/4,1/8\). Both distributions are symmetric, so both means are zero. Their variances are \[ \operatorname{Var}(A)=1,\qquad \operatorname{Var}(B)=4(1/8)+4(1/8)=1. \] The variances tie. At \(k=0\), however, \(E[(A-0)_+]=1/2\), while \(E[(B-0)_+]=2(1/8)=1/4\). Hence \(A\not\leq_{\mathrm{cx}}B\). At \(k=1\), \(E[(A-1)_+]=0\), while \(E[(B-1)_+]=1/8\). Hence \(B\not\leq_{\mathrm{cx}}A\). Equal means and equal variances do not determine convex order; the stop-loss curves cross.

Convex order is useful when the question concerns expected convex costs: for example, penalties that grow faster as an outcome moves farther above or below a target. Stop-loss comparisons give a threshold-based way to assess those costs, and the integral identity explains their connection to tail behavior. The conclusion should remain calibrated: convex order establishes greater spread in the convex-function sense, not pointwise dominance of every tail probability.

Common Pitfall

  • Wrong reasoning: “The mean is fixed and the variance is larger, so the distribution must be more dispersed in convex order.”
  • Correction: A variance comparison checks only the convex function \(x^2\). Convex order requires all convex expectations to be ordered, or equivalently all stop-loss expectations. Test thresholds that could expose a crossing.
  • Wrong reasoning: “Convex order means a larger probability of being far from the mean at every distance.”
  • Correction: Convex order compares integrated one-sided tails. Pointwise two-sided tail probabilities can cross, as in the preceding example.
Key takeaway: At a common mean, convex order is a comprehensive comparison of expected convex penalties. It implies an ordering of finite variances, but variance alone does not imply convex order, and convex order does not imply uniformly larger pointwise tail probabilities.

Check Your Understanding

Use the common-mean condition carefully, and distinguish a variance comparison from a stop-loss comparison.

  1. State the definition of \(X\leq_{\mathrm{cx}}Y\) and the equivalent stop-loss criterion.
  2. Why does \(X\leq_{\mathrm{cx}}Y\) imply \(\operatorname{Var}(X)\leq\operatorname{Var}(Y)\) when both second moments are finite?
  3. What does \(E[(X-k)_+]\) measure, and how is it related to \(P(X>t)\)?
  4. Does a larger variance at a common mean prove convex-order dominance? Explain which additional comparisons are required.
  5. Can convex-order dominance imply that \(P(|Y-m|>t)\geq P(|X-m|>t)\) for every \(t\)? Explain the distinction.