---
title: Counter-Monotonic Random Variables
url: https://www.emergentmind.com/topics/counter-monotonic-random-variables
type: topic
---

# Counter-Monotonic Random Variables

Searching arXiv for recent papers on counter-monotonicity and distortion risk measures.
Counter-monotonic random variables are random variables arranged in the strongest possible negative dependence configuration compatible with fixed marginals. In the bivariate case, if \(U \sim \mathrm{Unif}[0,1]\), then \((X_1,X_2)\) is counter-monotonic when
\[
(X_1, X_2) \overset{d}{=} \left(F_{X_1}^{-1}(U),\,F_{X_2}^{-1}(1-U)\right),
\]
so that high realizations of one component are coupled with low realizations of the other. Equivalently, for \((X,Y)\),
\[
(X(\omega)-X(\omega'))(Y(\omega)-Y(\omega')) \le 0
\quad \text{for almost every } (\omega,\omega'),
\]
and the joint cdf attains the Fréchet–Hoeffding lower bound [2302.11701]. Recent work places counter-monotonicity at the center of several lines of research: extremal negative dependence, pairwise counter-monotonicity in higher dimensions, Pareto-optimal risk sharing for quantile or risk-seeking agents, decomposition formulas for Value-at-Risk and Tail Value-at-Risk of counter-monotonic sums, and generalized copula constructions for non-monotonic dependence [2302.11701], [2407.16099], [2503.05256], [2508.13422], [2512.10828].

## 1. Classical definition and extremal meaning

For two random variables with continuous marginals, counter-monotonicity is the negative analogue of comonotonicity. In copula terms, the counter-monotonicity copula is the Fréchet–Hoeffding lower bound
\[
W(u,v)=\max(u+v-1,\,0),
\]
and \((X,Y)\) is counter-monotonic if
\[
(F_X(X),F_Y(Y)) \stackrel{d}{=} (U,1-U)
\]
for \(U \sim \mathrm{Unif}(0,1)\) [2512.10828]. The same dependence structure is used in the risk-measure literature through the representation
\[
S^l = F_{X_1}^{-1}(U)+F_{X_2}^{-1}(1-U),
\quad U\sim \mathrm{Uniform}(0,1),
\]
for the counter-monotonic sum of two risks [2508.13422].

This dependence structure is extremal in several senses recorded in the literature. It is described as “the strongest possible negative dependence” for two variables with fixed marginals [2503.05256]. In risk aggregation, the counter-monotonic sum represents a “best-case” or minimum-risk configuration in convex risk order relative to alternative dependence structures with the same marginals [2508.13422]. In generalized dependence theory, however, this extremality must be qualified: when the target association functional is built from non-monotonic transformations \(g\) and \(h\), the minimal dependence need not be attained by the classical counter-monotonic copula \(W\); instead, it can be attained by more general singular copulas induced by uniform-distribution-preserving transformations [2512.10828].

A common misconception is that counter-monotonicity is merely “negative correlation.” The cited papers use a much stronger notion. The defining property is deterministic antitonic ordering in the rank space, not merely \(\operatorname{Cov}(X,Y)<0\). This distinction is important because several exact decomposition results for risk measures depend on the full counter-monotonic representation and not on weaker covariance-based criteria [2503.05256], [2508.13422].

## 2. Pairwise counter-monotonicity in higher dimensions

For \(n \ge 3\), the direct extension of the bivariate notion is pairwise counter-monotonicity (PCM): a random vector \((X_1,\ldots,X_n)\) is pairwise counter-monotonic if every pair \((X_i,X_j)\) with \(i\neq j\) is counter-monotonic, equivalently if \((X_i,-X_j)\) is comonotonic for every \(i\ne j\) [2302.11701]. Lauzier, Lin, and Wang systematically study this notion and show that it is an extremal negative dependence structure with strong structural constraints [2302.11701].

A central characterization is the stochastic representation in Theorem 1 of [2302.11701]. Under mild conditions, including that at least three \(X_i\) are non-degenerate, the following are equivalent: the vector is PCM; there exist numbers \(m_1,\ldots,m_n\), a composition \((A_1,\ldots,A_n)\) of the probability space, and a non-negative random variable \(Z\) such that
\[
X_i = Z\cdot \mathbb{I}_{A_i}+m_i,\quad \forall i\in[n];
\]
equivalently,
\[
X_i = (S-m)\cdot \mathbb{I}_{A_i}+m_i,\quad \forall i\in[n],
\]
where \(S=\sum_{i=1}^n X_i\) and \(m=\sum_{i=1}^n m_i\) [2302.11701]. This implies a mutual-exclusivity structure: at most one coordinate deviates from its minimal or maximal baseline at each realization.

The same allocation structure appears in the risk-sharing literature. Proposition 1 in [2407.16099] states that, for \((X_1,\ldots,X_n)\in \mathbb{A}_n(X)\), counter-monotonicity holds if and only if there exist constants \(m_1,\ldots,m_n\) and a measurable partition \((A_1,\ldots,A_n)\) such that
\[
X_i=(X-m)\mathbb{1}_{A_i}+m_i,\quad \forall\, i\in[n],
\]
with \(m=\sum_{i=1}^n m_i=\mathrm{ess\text{-}inf}\,X\) or \(\mathrm{ess\text{-}sup}\,X\) [2407.16099]. In that paper, these are described as “winner-takes-all” structures, and special cases are called jackpot and scapegoat allocations.

The higher-dimensional case is therefore not a straightforward analogue of bivariate counter-monotonicity. The data explicitly state that PCM “only exists under strong constraints on the marginals” and that, for \(n\ge3\), there is “no PCM random vector with all continuous marginals” [2302.11701]. This sharply contrasts with comonotonicity, which exists for arbitrary marginals.

## 3. Structural properties and relation to other negative dependence notions

PCM has several structural properties that place it at the extreme end of negative dependence. Theorem 2 of [2302.11701] establishes an invariance property: if \((X_1,\ldots,X_n)\) is PCM and one applies coordinate-wise increasing functions to disjoint subsets of the variables, then the resulting vector remains PCM. This is a restricted analogue of the invariance of comonotonic vectors under increasing transformations, but the restriction to disjoint subsets is essential [2302.11701].

Theorem 3 of [2302.11701] further shows that PCM implies negative association. For disjoint subsets \(I,J\) and increasing functions \(f,g\),
\[
\operatorname{Cov}(f((X_i)_{i\in I}),g((X_j)_{j\in J}))\le 0.
\]
This implication locates PCM above negative orthant and negative supermodular dependence in strength, at least as summarized in the paper’s discussion [2302.11701].

The connection to joint mix dependence is more delicate. A joint mix is a vector whose sum is constant. For \(n=2\), joint mix is stronger than counter-monotonicity. For \(n\ge3\), the two concepts can be incompatible; however, whenever both are possible for a given Fréchet class, they coincide [2302.11701]. Theorem 4 of [2302.11701] characterizes precisely when this happens: the marginals must be 2-point distributions of the form
\[
F_i = p_i\delta_{m_i} + (1-p_i)\delta_{M_i}, \quad (p_1,\ldots,p_n)\in \Delta_n.
\]

A useful equivalent condition for PCM, attributed in the summary to Dall’Aglio (1972), is that for \(n\ge3\) and at least three non-degenerate coordinates, either
\[
P(X_i>\text{ess-inf }X_i,\; X_j>\text{ess-inf }X_j)=0 \quad \text{for all } i\neq j,
\]
or
\[
P(X_i<\text{ess-sup }X_i,\; X_j<\text{ess-sup }X_j)=0 \quad \text{for all } i\neq j.
\]
This is an exact mutual-exclusivity criterion [2302.11701].

## 4. Counter-monotonic sums and distortion risk measures

A major recent development concerns the evaluation of distortion risk measures for sums of two counter-monotonic risks. For a distortion function \(g:[0,1]\to[0,1]\), non-decreasing with \(g(0)=0\) and \(g(1)=1\), the associated distortion risk measure is
\[
\rho_g[X]
=
\int_{-\infty}^0 (g(1-F_X(x))-1)\,dx
+
\int_0^{+\infty} g(1-F_X(x))\,dx,
\]
and, for left-continuous \(g\),
\[
\rho_g[X]=\int_0^1 F_X^{-1}(1-q)\,dg(q)
\]
[2503.05256]. Standard examples include Value-at-Risk with
\[
g(q)=\mathbf{1}_{\{q>1-p\}}
\]
and Tail Value-at-Risk with
\[
g(q)=\min\left\{\frac{q}{1-p},1\right\}
\]
[2503.05256].

The paper “Distortion risk measures of sums of two counter-monotonic risks” proves a representation theorem for symmetric marginals under dispersive order assumptions [2503.05256]. If \((X_1,X_2)\) is a pair of symmetric random variables with continuous and strictly increasing cdfs and satisfying \(X_2 \leq_{\mathrm{disp}} X_1\), then for any distortion function \(g\), with dual distortion
\[
\bar g(q)=1-g(1-q),
\]
the counter-monotonic sum \(S^- = X_1+X_2\) satisfies
\[
\rho_g[S^-]=\rho_g[X_1]+\rho_{\bar g}[X_2].
\]
The paper explicitly states that this extends earlier results for VaR and TVaR and that the class of distortion risk measures includes VaR and TVaR as special cases [2503.05256].

The same paper records the specializations
\[
\mathrm{VaR}_p[S^-]=\mathrm{VaR}_p[X_1]+\mathrm{VaR}_{1-p}[X_2]
\]
and
\[
\mathrm{TVaR}_p[S^-]=\mathrm{TVaR}_p[X_1]+\mathrm{TVaR}_{1-p}[X_2]
\]
under the stated conditions [2503.05256]. Examples cited in the summary include normal marginals and Student \(t\) marginals, while log-normal marginals are said to be more intricate, with exact additivity failing although a related decomposition remains available [2503.05256].

This body of work suggests a precise role for the dual distortion function: in a counter-monotonic sum, the contribution of the second margin is evaluated with the distortion reflected to the opposite tail. The paper itself phrases this as flipping the direction of the distortion toward the left tail for the second risk [2503.05256].

## 5. Value-at-Risk, Tail Value-at-Risk, and stop-loss decompositions beyond the symmetric case

The exact additivity result above does not hold in full generality for arbitrary marginals. The paper “Value-at-Risk, Tail Value-at-Risk and upper tail transform of the sum of two counter-monotonic random variables” studies the fully general bivariate case and emphasizes the core obstacle: for
\[
g(u)=F_{X_1}^{-1}(u)+F_{X_2}^{-1}(1-u),
\]
this function is not monotonic in general [2508.13422]. As a consequence, decompositions for VaR, TVaR, and stop-loss premiums are substantially more intricate than in the comonotonic case.

For VaR, the paper introduces the set \(E_x\) of crossing points of \(g(u)\) at a threshold \(x\). If \(p\in(0,1)\) and \(x=F_{S^l}^{-1}(p)\), then for any \(u_{p,j}\in E_{F_{S^l}^{-1}(p)}\) at which \(g\) is continuous,
\[
\mathrm{VaR}_p[S^l]
=
\mathrm{VaR}_{u_{p,j}}[X_1]
+
\mathrm{VaR}_{1-u_{p,j}}[X_2].
\]
If \(g\) is discontinuous at a crossing point, the paper gives a generalized-inverse correction involving \(\alpha_{x,j}\) [2508.13422]. The summary stresses two consequences: non-uniqueness of the decomposition and the absence of same-level additivity.

For TVaR, Theorem 5.1 in the summary expresses \(\mathrm{TVaR}_p[S^l]\) through combinations of \(TVaR\) and \(LTVaR\) terms evaluated at the crossing points \(u_{p,j}^\alpha\), with alternating-sign corrections \(\mathcal{T}_{p,N_p^\alpha}^\alpha\) and \(\mathcal{D}_{p,N_p^\alpha}^\alpha\) [2508.13422]. In the special monotone case \(N_p^\alpha=1\), the formula collapses to
\[
TVaR_p[S^l]=TVaR_p[X_1]+LTVaR_{1-p}[X_2]
\]
or the symmetric variant depending on monotonicity direction [2508.13422].

The same paper provides analogous decompositions for the upper tail transform or stop-loss premium \(\pi_{S^l}(x)\), again indexed by the crossing set \(E_x\) and involving sign-alternating correction terms [2508.13422]. The conceptual message is that, outside regular monotone settings, counter-monotonic aggregation is governed by crossing geometry rather than simple additivity. A common misconception is therefore that the counter-monotonic case is simply the positive-dependence formula with a quantile level \(p\) replaced by \(1-p\). The data support that only under additional conditions such as monotonicity of the relevant quantile-sum map or the stronger symmetry/dispersive-order setting of [2503.05256].

## 6. Risk sharing, economic interpretation, and applications

Counter-monotonicity has become central in risk-sharing models where agents are not classically risk averse. The paper “Counter-monotonic risk allocations and distortion risk measures” studies markets in which allocations are constrained to be counter-monotonic and agents are modeled via a common distortion risk measure, equivalently a common Yaari dual utility [2407.16099]. It distinguishes three settings: risk-averse agents, risk-seeking agents, and agents with an inverse S-shaped distortion.

The results are highly explicit. If the common distortion \(h\) is concave, then
\[
\boxminus_{i=1}^{n}\rho_h
=
\square_{i=1}^{n}\rho_h
=
\boxplus_{i=1}^{n}\rho_h
=
\rho_h,
\]
so counter-monotonic, unconstrained, and comonotonic inf-convolutions coincide [2407.16099]. If \(h\) is convex and \(X\) is non-negative, then any uniform counter-monotonic allocation is Pareto-optimal and
\[
\boxminus_{i=1}^n \rho_h(X)=\rho_g(X),
\quad
g(t)=n\,h\!\left(\frac{t}{n}\right),
\]
with an analogous formula for non-positive \(X\) [2407.16099]. For inverse S-shaped distortions, the summary states that for sufficiently large \(n\),
\[
\boxminus_{i=1}^n \rho_h(X)=\rho_g(X),
\]
where \(g\) is built from the convex envelope \(\underline h\) [2407.16099].

The paper further records a Value-at-Risk example:
\[
\boxminus_{i=1}^n \mathrm{VaR}_\alpha(X)
=
\square_{i=1}^n \mathrm{VaR}_\alpha(X)
=
\mathrm{VaR}_{n\alpha}(X),
\quad \alpha<1/n,
\]
with optimal allocations in jackpot form [2407.16099]. This complements the result in [2302.11701] that Pareto-optimal allocations for quantile agents have a pairwise counter-monotonic structure when feasible, and that comonotonic allocations are never Pareto-optimal for such agents except in the trivial degenerate case [2302.11701].

Applications extend beyond abstract allocation theory. In [2407.16099], a portfolio manager allocating an endowment among \(n\) agents faces an optimization problem of the form
\[
\min_{\lambda \in [0,1],\, (X_i) \in \mathbb{A}_n(X_\lambda)}
\sum_{i=1}^n \rho_h(-X_i)
\quad
\text{subject to}
\quad
X_\lambda = W+\lambda X-c(\lambda),
\]
and the paper concludes that a manager investing on behalf of risk-seeking agents tends to invest more in risky assets than a manager acting on behalf of risk-averse agents [2407.16099].

Counter-monotonicity also appears in count-data modeling. The paper “A common zero-inflation bivariate Poisson model with comonotonic and counter-monotonic shocks” introduces a latent Poisson construction
\[
(T_1,T_2)=(Y_1+Z_1,\;Y_2+Z_2),
\]
where
\[
(Z_1,Z_2)=\left(G^{-1}_{\theta\lambda_1}(U),\,G^{-1}_{\theta\lambda_2}(1-U)\right)
\]
induces counter-monotonic shocks through a shared uniform variable [2509.22798]. The model allows negative dependence ranging from approximate independence as \(\theta\to 0\) to the strongest negative dependence permitted by the margins when \(\theta=1\) and \(\phi=0\), in which case the joint cdf coincides with the lower Fréchet–Hoeffding bound for discrete margins [2509.22798]. This provides a concrete actuarial and risk-management application of counter-monotonic coupling in discrete settings.

## 7. Generalized counter-monotonicity in non-monotonic dependence models

The paper “Measures and Models of Non-Monotonic Dependence” extends the classical picture by considering dependence measures built from piecewise strictly monotonic functions \(g,h \in L^2([0,1])\) [2512.10828]. It defines a generalized Spearman correlation
\[
\rho_{\{g,h\}}(X,Y)
=
\rho\!\left(g(F_X(X)),\,h(F_Y(Y))\right)
=
\int_0^1\int_0^1 g(u)h(v)\,dC(u,v),
\]
where \(C\) is the copula of \((X,Y)\) [2512.10828]. In this framework, classical comonotonicity and counter-monotonicity reappear only as special cases.

The key construction uses uniform-distribution-preserving transformations
\[
T_g=F_g\circ g,\qquad T_h=F_h\circ h,
\]
with \(F_g\) the cdf of \(g(U)\), \(U\sim \text{Unif}(0,1)\) [2512.10828]. The minimal generalized correlation is attained when
\[
T_g(U)=1-T_h(V),
\]
yielding the lower bound
\[
\rho_{\{g,h\}\min}
=
\int_0^1 F_g^{-1}(u)\,F_h^{-1}(1-u)\,du.
\]
The corresponding copulas can be singular and need not coincide with the classical counter-diagonal support \(v=1-u\) [2512.10828].

To construct these extremal copulas, the paper introduces stochastic inversion of udp transformations. If \(T\) is regular but non-injective, the stochastic inverse \(T^\leftarrow(x,Z)\) selects a preimage \(u\) of \(x\) with probability proportional to \(1/|T'(u)|\) [2512.10828]. Then
\[
U=T_g^\leftarrow(U^*,Z_1),\qquad
\tilde V=T_h^\leftarrow(1-U^*,Z_2)
\]
produces a minimal dependence structure satisfying \(T_g(U)=1-T_h(\tilde V)\) almost surely [2512.10828]. The paper notes that the support of these copulas may be a union of curves or line segments rather than the single line \(v=1-u\).

This suggests a broader interpretation of counter-monotonicity. In the classical monotone setting it is exactly the antidiagonal coupling of ranks. In non-monotonic dependence modeling, a plausible implication is that “counter-monotonic” behavior is better understood as antitonic alignment after suitable marginally uniformizing transforms. The paper’s explicit examples based on Legendre and cosine bases make this interpretation precise for generalized Spearman-type functionals [2512.10828].

Source: https://www.emergentmind.com/topics/counter-monotonic-random-variables