Two probability distributions $\mu$ and $\nu$ in second stochastic order can be coupled by a supermartingale, and in fact by many. Is there a canonical choice? We construct and investigate two couplings which arise as optimizers for constrained Monge-Kantorovich optimal transport problems where only supermartingales are allowed as transports. Much like the Hoeffding-Fr\'echet coupling of classical transport and its symmetric counterpart, the Antitone coupling, these can be characterized by order-theoretic minimality properties, as simultaneous optimal transports for certain classes of reward (or cost) functions, and through no-crossing conditions on their supports. However, our two couplings have asymmetric geometries due to the directed nature of the supermartingale constraint.
↧