Rigidity of Kantorovich solutions in discrete Optimal Transport

We study optimal transport plans from $m$ equally weighted points (with weights $1\mathrm{/}m$) to $n$ equally weighted points (with weights $1\mathrm{/}n$). The Birkhoff-von Neumann Theorem implies that if $m=n$, then the optimal transport plan can be realized by a bijective map: the mass from each $x_i$ is sent to a unique $y_j$. This is impossible when $m\mathrm{\ne }n$, however, a certain degree of rigidity prevails. We prove, assuming w.l.o.g. $m<n$, that for generic transport costs the optimal transport plan sends mass from each source $x_i$ to $n\mathrm{/}m\le differenttargets\le n\mathrm{/}m+m-1$. Moreover, the average target receives mass from $\le 1+m\mathrm{/}\sqrt{n}$ sources. Stronger results might be true: in experiments, one observes that each source tends to distribute its mass over roughly $n\mathrm{/}m+c$ different targets where $c$ appears to be rather small.