Hausdorff dimension of the singular set in optimal transport

We study optimal transport between bounded smooth domains in ${\mathbb{R}}^n$, with smooth positive densities bounded above and below. Without convexity assumptions on the domains, we prove that the optimal map is smooth outside a relatively closed set of Hausdorff dimension at most $n-1$.