Copulas farthest from independence in quadratic Wasserstein distance

Jonathan Ansari

In the authors' words

Let $Π$ denote the independence copula and $M, W$ the upper and lower Fr\'echet--Hoeffding copulas. Catalano and Lavenant (2025) conjectured that $M$ and $W$ maximize the quadratic Wasserstein distance from $Π$ among all bivariate copulas. We prove this conjecture and characterize all equality cases: $W_{2}^{2} (C, Π) \leq 1/10$ , with equality if and only if $C \in {M, W}$ . We also determine explicitly the optimal Monge map from $Π$ to $M$ . The proof is constructive and combines the optimal transport from independence to the diagonal, a sharp convex-order inequality for 1-Lipschitz functions, the conditional convex order, and a coupling construction based on conditional comonotonicity and the supermodular order. As a consequence, we obtain a normalized Wasserstein-based dependence measure that characterizes independence and attains its maximal value exactly for comonotone and countermonotone dependence.

Main resultThe abstract does not state a limitation.

Copulas farthest from independence in quadratic Wasserstein distance

In the authors' words

More on Probability that day

Feedback Coding Enables Inference-Time Covert Agentic Communication

The quasi-isometry classes of Galton--Watson trees

Interference-Free Capacity of a Binary Interference Channel with Causal Observation

Directed distances in spanning-tree-decorated planar maps: exact exponent, scaling limit and universality

Compressible stochastic fluid--structure interaction with transport noise and Navier slip: A stochastic-flow approach