Copulas farthest from independence in quadratic Wasserstein distance
En palabras de los autores
Let denote the independence copula and the upper and lower Fr\'echet--Hoeffding copulas. Catalano and Lavenant (2025) conjectured that and maximize the quadratic Wasserstein distance from among all bivariate copulas. We prove this conjecture and characterize all equality cases: , with equality if and only if . We also determine explicitly the optimal Monge map from to . 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.
Apareció: martes, 22 de septiembre. arXiv. Preprint, todavía sin revisión por pares.
Comentario de los autores: 16 pages, 1 figure