Monotone first-marginal conjecture for separable supermodular VMOT
Let d≥2d \ge 2d≥2, let μi⪯cνi\mu_i \preceq_c \nu_iμi⪯cνi for i=1,…,di=1,\ldots,di=1,…,d, and let μ⃗=(μ1,…,μd)\vec\mu=(\mu_1,\ldots,\mu_d)μ=(μ1,…,μd). A monotone coupling of μ⃗\vec\muμ is the unique monotone probability measure w…