Counter-Monotonic Random Variables

• Counter-monotonic random variables are defined as those exhibiting the strongest possible negative dependence with fixed marginals.
• Their extension to higher dimensions, known as pairwise counter-monotonicity, operates under strict marginal constraints and mutual exclusivity conditions.
• They play a vital role in risk management by enabling precise decompositions of risk measures like VaR and TVaR and optimizing risk sharing models.

Searching arXiv for 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 (Lauzier et al., 2023). 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 (Lauzier et al., 2023, Ghossoub et al., 2024, Huang, 7 Mar 2025, Hanbali et al., 19 Aug 2025, McNeil et al., 11 Dec 2025).

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)$ (McNeil et al., 11 Dec 2025). 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 (Hanbali et al., 19 Aug 2025).

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 (Huang, 7 Mar 2025). 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 (Hanbali et al., 19 Aug 2025). In generalized dependence theory, however, this extremality must be qualified: when the target association functional is built from non-monotonic transformations $(X_1,X_2)$0 and $(X_1,X_2)$1, the minimal dependence need not be attained by the classical counter-monotonic copula $(X_1,X_2)$2; instead, it can be attained by more general singular copulas induced by uniform-distribution-preserving transformations (McNeil et al., 11 Dec 2025).

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 $(X_1,X_2)$3. 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 (Huang, 7 Mar 2025, Hanbali et al., 19 Aug 2025).

2. Pairwise counter-monotonicity in higher dimensions

For $(X_1,X_2)$4, the direct extension of the bivariate notion is pairwise counter-monotonicity (PCM): a random vector $(X_1,X_2)$5 is pairwise counter-monotonic if every pair $(X_1,X_2)$6 with $(X_1,X_2)$7 is counter-monotonic, equivalently if $(X_1,X_2)$8 is comonotonic for every $(X_1,X_2)$9 (Lauzier et al., 2023). Lauzier, Lin, and Wang systematically study this notion and show that it is an extremal negative dependence structure with strong structural constraints (Lauzier et al., 2023).

A central characterization is the stochastic representation in Theorem 1 of (Lauzier et al., 2023). Under mild conditions, including that at least three $$(X_1, X_2) \overset{d}{=} \left(F_{X_1}^{-1}(U),\,F_{X_2}^{-1}(1-U)\right),$$0 are non-degenerate, the following are equivalent: the vector is PCM; there exist numbers $$(X_1, X_2) \overset{d}{=} \left(F_{X_1}^{-1}(U),\,F_{X_2}^{-1}(1-U)\right),$$1, a composition $$(X_1, X_2) \overset{d}{=} \left(F_{X_1}^{-1}(U),\,F_{X_2}^{-1}(1-U)\right),$$2 of the probability space, and a non-negative random variable $$(X_1, X_2) \overset{d}{=} \left(F_{X_1}^{-1}(U),\,F_{X_2}^{-1}(1-U)\right),$$3 such that

$$(X_1, X_2) \overset{d}{=} \left(F_{X_1}^{-1}(U),\,F_{X_2}^{-1}(1-U)\right),$$4

equivalently,

$$(X_1, X_2) \overset{d}{=} \left(F_{X_1}^{-1}(U),\,F_{X_2}^{-1}(1-U)\right),$$5

where $$(X_1, X_2) \overset{d}{=} \left(F_{X_1}^{-1}(U),\,F_{X_2}^{-1}(1-U)\right),$$6 and $$(X_1, X_2) \overset{d}{=} \left(F_{X_1}^{-1}(U),\,F_{X_2}^{-1}(1-U)\right),$$7 (Lauzier et al., 2023). 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 (Ghossoub et al., 2024) states that, for $$(X_1, X_2) \overset{d}{=} \left(F_{X_1}^{-1}(U),\,F_{X_2}^{-1}(1-U)\right),$$8, counter-monotonicity holds if and only if there exist constants $$(X_1, X_2) \overset{d}{=} \left(F_{X_1}^{-1}(U),\,F_{X_2}^{-1}(1-U)\right),$$9 and a measurable partition $(X,Y)$0 such that

$(X,Y)$1

with $(X,Y)$2 or $(X,Y)$3 (Ghossoub et al., 2024). 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 $(X,Y)$4, there is “no PCM random vector with all continuous marginals” (Lauzier et al., 2023). 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 (Lauzier et al., 2023) establishes an invariance property: if $(X,Y)$5 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 (Lauzier et al., 2023).

Theorem 3 of (Lauzier et al., 2023) further shows that PCM implies negative association. For disjoint subsets $(X,Y)$6 and increasing functions $(X,Y)$7,

$(X,Y)$8

This implication locates PCM above negative orthant and negative supermodular dependence in strength, at least as summarized in the paper’s discussion (Lauzier et al., 2023).

The connection to joint mix dependence is more delicate. A joint mix is a vector whose sum is constant. For $(X,Y)$9, joint mix is stronger than counter-monotonicity. For $$(X(\omega)-X(\omega'))(Y(\omega)-Y(\omega')) \le 0 \quad \text{for almost every } (\omega,\omega'),$$0, the two concepts can be incompatible; however, whenever both are possible for a given Fréchet class, they coincide (Lauzier et al., 2023). Theorem 4 of (Lauzier et al., 2023) characterizes precisely when this happens: the marginals must be 2-point distributions of the form

$$(X(\omega)-X(\omega'))(Y(\omega)-Y(\omega')) \le 0 \quad \text{for almost every } (\omega,\omega'),$$1

A useful equivalent condition for PCM, attributed in the summary to Dall’Aglio (1972), is that for $$(X(\omega)-X(\omega'))(Y(\omega)-Y(\omega')) \le 0 \quad \text{for almost every } (\omega,\omega'),$$2 and at least three non-degenerate coordinates, either

$$(X(\omega)-X(\omega'))(Y(\omega)-Y(\omega')) \le 0 \quad \text{for almost every } (\omega,\omega'),$$3

or

$$(X(\omega)-X(\omega'))(Y(\omega)-Y(\omega')) \le 0 \quad \text{for almost every } (\omega,\omega'),$$4

This is an exact mutual-exclusivity criterion (Lauzier et al., 2023).

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 $$(X(\omega)-X(\omega'))(Y(\omega)-Y(\omega')) \le 0 \quad \text{for almost every } (\omega,\omega'),$$5, non-decreasing with $$(X(\omega)-X(\omega'))(Y(\omega)-Y(\omega')) \le 0 \quad \text{for almost every } (\omega,\omega'),$$6 and $$(X(\omega)-X(\omega'))(Y(\omega)-Y(\omega')) \le 0 \quad \text{for almost every } (\omega,\omega'),$$7, the associated distortion risk measure is

$$(X(\omega)-X(\omega'))(Y(\omega)-Y(\omega')) \le 0 \quad \text{for almost every } (\omega,\omega'),$$8

and, for left-continuous $$(X(\omega)-X(\omega'))(Y(\omega)-Y(\omega')) \le 0 \quad \text{for almost every } (\omega,\omega'),$$9,

$W(u,v)=\max(u+v-1,\,0),$0

(Huang, 7 Mar 2025). Standard examples include Value-at-Risk with

$W(u,v)=\max(u+v-1,\,0),$1

and Tail Value-at-Risk with

$W(u,v)=\max(u+v-1,\,0),$2

(Huang, 7 Mar 2025).

The paper “Distortion risk measures of sums of two counter-monotonic risks” proves a representation theorem for symmetric marginals under dispersive order assumptions (Huang, 7 Mar 2025). If $W(u,v)=\max(u+v-1,\,0),$3 is a pair of symmetric random variables with continuous and strictly increasing cdfs and satisfying $W(u,v)=\max(u+v-1,\,0),$4, then for any distortion function $W(u,v)=\max(u+v-1,\,0),$5, with dual distortion

$W(u,v)=\max(u+v-1,\,0),$6

the counter-monotonic sum $W(u,v)=\max(u+v-1,\,0),$7 satisfies

$W(u,v)=\max(u+v-1,\,0),$8

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 (Huang, 7 Mar 2025).

The same paper records the specializations

$W(u,v)=\max(u+v-1,\,0),$9

and

$(X,Y)$0

under the stated conditions (Huang, 7 Mar 2025). Examples cited in the summary include normal marginals and Student $(X,Y)$1 marginals, while log-normal marginals are said to be more intricate, with exact additivity failing although a related decomposition remains available (Huang, 7 Mar 2025).

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 (Huang, 7 Mar 2025).

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

$(X,Y)$2

this function is not monotonic in general (Hanbali et al., 19 Aug 2025). 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 $(X,Y)$3 of crossing points of $(X,Y)$4 at a threshold $(X,Y)$5. If $(X,Y)$6 and $(X,Y)$7, then for any $(X,Y)$8 at which $(X,Y)$9 is continuous,

$(F_X(X),F_Y(Y)) \stackrel{d}{=} (U,1-U)$0

If $(F_X(X),F_Y(Y)) \stackrel{d}{=} (U,1-U)$1 is discontinuous at a crossing point, the paper gives a generalized-inverse correction involving $(F_X(X),F_Y(Y)) \stackrel{d}{=} (U,1-U)$2 (Hanbali et al., 19 Aug 2025). 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 $(F_X(X),F_Y(Y)) \stackrel{d}{=} (U,1-U)$3 through combinations of $(F_X(X),F_Y(Y)) \stackrel{d}{=} (U,1-U)$4 and $(F_X(X),F_Y(Y)) \stackrel{d}{=} (U,1-U)$5 terms evaluated at the crossing points $(F_X(X),F_Y(Y)) \stackrel{d}{=} (U,1-U)$6, with alternating-sign corrections $(F_X(X),F_Y(Y)) \stackrel{d}{=} (U,1-U)$7 and $(F_X(X),F_Y(Y)) \stackrel{d}{=} (U,1-U)$8 (Hanbali et al., 19 Aug 2025). In the special monotone case $(F_X(X),F_Y(Y)) \stackrel{d}{=} (U,1-U)$9, the formula collapses to

$U \sim \mathrm{Unif}(0,1)$0

or the symmetric variant depending on monotonicity direction (Hanbali et al., 19 Aug 2025).

The same paper provides analogous decompositions for the upper tail transform or stop-loss premium $U \sim \mathrm{Unif}(0,1)$1, again indexed by the crossing set $U \sim \mathrm{Unif}(0,1)$2 and involving sign-alternating correction terms (Hanbali et al., 19 Aug 2025). 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 $U \sim \mathrm{Unif}(0,1)$3 replaced by $U \sim \mathrm{Unif}(0,1)$4. 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 (Huang, 7 Mar 2025).

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 (Ghossoub et al., 2024). 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 $U \sim \mathrm{Unif}(0,1)$5 is concave, then

$U \sim \mathrm{Unif}(0,1)$6

so counter-monotonic, unconstrained, and comonotonic inf-convolutions coincide (Ghossoub et al., 2024). If $U \sim \mathrm{Unif}(0,1)$7 is convex and $U \sim \mathrm{Unif}(0,1)$8 is non-negative, then any uniform counter-monotonic allocation is Pareto-optimal and

$U \sim \mathrm{Unif}(0,1)$9

with an analogous formula for non-positive $$S^l = F_{X_1}^{-1}(U)+F_{X_2}^{-1}(1-U), \quad U\sim \mathrm{Uniform}(0,1),$$0 (Ghossoub et al., 2024). For inverse S-shaped distortions, the summary states that for sufficiently large $$S^l = F_{X_1}^{-1}(U)+F_{X_2}^{-1}(1-U), \quad U\sim \mathrm{Uniform}(0,1),$$1,

$$S^l = F_{X_1}^{-1}(U)+F_{X_2}^{-1}(1-U), \quad U\sim \mathrm{Uniform}(0,1),$$2

where $$S^l = F_{X_1}^{-1}(U)+F_{X_2}^{-1}(1-U), \quad U\sim \mathrm{Uniform}(0,1),$$3 is built from the convex envelope $$S^l = F_{X_1}^{-1}(U)+F_{X_2}^{-1}(1-U), \quad U\sim \mathrm{Uniform}(0,1),$$4 (Ghossoub et al., 2024).

The paper further records a Value-at-Risk example: $$S^l = F_{X_1}^{-1}(U)+F_{X_2}^{-1}(1-U), \quad U\sim \mathrm{Uniform}(0,1),$$5 with optimal allocations in jackpot form (Ghossoub et al., 2024). This complements the result in (Lauzier et al., 2023) 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 (Lauzier et al., 2023).

Applications extend beyond abstract allocation theory. In (Ghossoub et al., 2024), a portfolio manager allocating an endowment among $$S^l = F_{X_1}^{-1}(U)+F_{X_2}^{-1}(1-U), \quad U\sim \mathrm{Uniform}(0,1),$$6 agents faces an optimization problem of the form

$$S^l = F_{X_1}^{-1}(U)+F_{X_2}^{-1}(1-U), \quad U\sim \mathrm{Uniform}(0,1),$$7

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 (Ghossoub et al., 2024).

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

$$S^l = F_{X_1}^{-1}(U)+F_{X_2}^{-1}(1-U), \quad U\sim \mathrm{Uniform}(0,1),$$8

where

$$S^l = F_{X_1}^{-1}(U)+F_{X_2}^{-1}(1-U), \quad U\sim \mathrm{Uniform}(0,1),$$9

induces counter-monotonic shocks through a shared uniform variable (Aflaki et al., 26 Sep 2025). The model allows negative dependence ranging from approximate independence as $(X_1,X_2)$00 to the strongest negative dependence permitted by the margins when $(X_1,X_2)$01 and $(X_1,X_2)$02, in which case the joint cdf coincides with the lower Fréchet–Hoeffding bound for discrete margins (Aflaki et al., 26 Sep 2025). 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 $(X_1,X_2)$03 (McNeil et al., 11 Dec 2025). It defines a generalized Spearman correlation

$(X_1,X_2)$04

where $(X_1,X_2)$05 is the copula of $(X_1,X_2)$06 (McNeil et al., 11 Dec 2025). In this framework, classical comonotonicity and counter-monotonicity reappear only as special cases.

The key construction uses uniform-distribution-preserving transformations

$(X_1,X_2)$07

with $(X_1,X_2)$08 the cdf of $(X_1,X_2)$09, $(X_1,X_2)$10 (McNeil et al., 11 Dec 2025). The minimal generalized correlation is attained when

$(X_1,X_2)$11

yielding the lower bound

$(X_1,X_2)$12

The corresponding copulas can be singular and need not coincide with the classical counter-diagonal support $(X_1,X_2)$13 (McNeil et al., 11 Dec 2025).

To construct these extremal copulas, the paper introduces stochastic inversion of udp transformations. If $(X_1,X_2)$14 is regular but non-injective, the stochastic inverse $(X_1,X_2)$15 selects a preimage $(X_1,X_2)$16 of $(X_1,X_2)$17 with probability proportional to $(X_1,X_2)$18 (McNeil et al., 11 Dec 2025). Then

$(X_1,X_2)$19

produces a minimal dependence structure satisfying $(X_1,X_2)$20 almost surely (McNeil et al., 11 Dec 2025). The paper notes that the support of these copulas may be a union of curves or line segments rather than the single line $(X_1,X_2)$21.

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 (McNeil et al., 11 Dec 2025).