A strong duality principle for equivalence couplings and total variation

We introduce and study a notion of duality for two classes of optimization problems commonly occurring in probability theory. That is, on an abstract measurable space (omega, F), we consider pairs (E, G) where E is an equivalence relation on omega and G is a sub sigma-algebra of F; we say that (E, G) satisfies "strong duality" if E is (F circle times F)-measurable and if for all probability measures P, P' on (omega, F) we have max |P(A) - P'(A)| = min (1- P similar to(E)), A is an element of GP similar to is an element of pi(P,P0) where pi(P, P') denotes the space of couplings of P and P', and where "max" and "min" assert that the supremum and infimum are in fact achieved. The results herein give wide sufficient conditions for strong duality to hold, thereby extending a form of Kantorovich duality to a class of cost functions which are irregular from the point of view of topology but regular from the point of view of descriptive set theory. The given conditions recover or strengthen classical results, and they have novel consequences in stochastic calculus, point process theory, and random sequence simulation.