The closed convex hull of all associative copulas is a Z-set in the family of all bivariate Schur concave copulas, and related results
Abstract
Very recently, Problem 2.5 stated by Mesiar and Sarkoci in \cite{MeSa} and originally formulated by Durante was answered in the negative by Šeliga \cite{Sel}. The author showed that the closed convex hull of all bivariate associative copulas is a proper subset of the family of all Schur concave copulas, and even computed the exact uniform distance of his counterexamples to the closed convex hull (so that the Hausdorff distance between the two families is at least 3/2−√2). Using the fact that every bivariate associative copula can be represented as a (finite or countably infinite) ordinal sum of Archimedean copulas and the minimum copula M, and working with the Markov kernels of Archimedean copulas, we first give an alternative, simple proof of the strict inclusion. We do so by showing that convex combinations of associative copulas can assign only very little mass to \new{staircase-shaped unions of small squares covering} certain line segments parallel to the main diagonal, a result we later extend to so-called chains and staircases. Building on the first observation, we then go one step further and show that, from a topological perspective, the closed convex hull of all associative copulas is a very small subset of the Schur concave family, namely a so-called Z-set, and that the family of associative copulas is, in turn, a Z-set in its closed convex hull.
Related
- On families of bivariate copulas and their interrelation with the Hilbert space l2 and the Hilbert cube H
- On families of copulas and quasi-copulas homeomorphic to the Hilbert cube and related results
- The relation between non-exchangeability and radial asymmetry of copulas
- How far are d-dimensional copulas with uniform (d−1)-marginals from (total) independence?
- On diagonal sections of Markov products of copulas
BibTeX
@misc{trutschnig2026closed,
title = {{The closed convex hull of all associative copulas is a Z-set in the family of all bivariate Schur concave copulas, and related results}},
author = {Wolfgang Trutschnig and Manuel Úbeda-Flores},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.33646},
eprint = {2610.33646},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.33646},
}
RIS
TY - UNPB
TI - The closed convex hull of all associative copulas is a Z-set in the family of all bivariate Schur concave copulas, and related results
AU - Wolfgang Trutschnig
AU - Manuel Úbeda-Flores
PY - 2026
DA - 2026/10/24
PB - arXiv
DO - 10.48550/arxiv.2610.33646
UR - https://arxiv.org/abs/2610.33646
AB - Very recently, Problem 2.5 stated by Mesiar and Sarkoci in \cite{MeSa} and originally formulated by Durante was answered in the negative by Šeliga \cite{Sel}. The author showed that the closed convex hull of all bivariate associative copulas is a proper subset of the family of all Schur concave copulas, and even computed the exact uniform distance of his counterexamples to the closed convex hull (so that the Hausdorff distance between the two families is at least 3/2−√2). Using the fact that every bivariate associative copula can be represented as a (finite or countably infinite) ordinal sum of Archimedean copulas and the minimum copula M, and working with the Markov kernels of Archimedean copulas, we first give an alternative, simple proof of the strict inclusion. We do so by showing that convex combinations of associative copulas can assign only very little mass to \new{staircase-shaped unions of small squares covering} certain line segments parallel to the main diagonal, a result we later extend to so-called chains and staircases. Building on the first observation, we then go one step further and show that, from a topological perspective, the closed convex hull of all associative copulas is a very small subset of the Schur concave family, namely a so-called Z-set, and that the family of associative copulas is, in turn, a Z-set in its closed convex hull.
ER -