Optimal Transport in One Dimension: Difference between revisions
Line 17: | Line 17: | ||
Furthermore, notice that the piecewise map <math> T_1</math> given by <math> T_1(x) = x+2 </math> (for <math> x\leq 1</math>) and <math> T_1(x) = x </math> (for <math> x>1</math>) satisfies <math> T_1 \# \mu = \nu </math>, i.e. <math> T_1 </math> is a transport map from <math> \mu </math> to <math> \nu </math>; moreover, the corresponding cost is | Furthermore, notice that the piecewise map <math> T_1</math> given by <math> T_1(x) = x+2 </math> (for <math> x\leq 1</math>) and <math> T_1(x) = x </math> (for <math> x>1</math>) satisfies <math> T_1 \# \mu = \nu </math>, i.e. <math> T_1 </math> is a transport map from <math> \mu </math> to <math> \nu </math>; moreover, the corresponding cost is | ||
<math> M(T_1) = \int |T_1(x)-x| d\mu = \frac{1}{2}\int_0^2 | <math> M(T_1) = \int |T_1(x)-x| d\mu = \frac{1}{2}\int_0^2 2dx \equiv 1 </math> | ||
and so we conclude that $T_1$ is indeed optimal as well. |
Revision as of 05:38, 12 February 2022
In this article, we explore the optimal transport problem on the real line along with some examples.
Linear Cost Example
For this example, consider the cost function along with a given linear map . Moreover, if let be any transport plan, then by direct computation we see that
which suggests that this result only depends on the marginals of (wherein and are compactly supported probability measures). In fact, in such cases, every transport plan/map is optimal.
Distance Cost Example
Consider the cost function along with probability measures (on ) and . Then, for any we see that , which then immediately puts us back in the linear cost position, so any transport map/plan is also optimal for such costs.
Book Shifting Example
Consider the cost function along with and (where is the one-dimensional Lebesgue measure). A (monotone) transport plan that rearranges to look like is given by and its corresponding cost is
.
Furthermore, notice that the piecewise map given by (for ) and (for ) satisfies , i.e. is a transport map from to ; moreover, the corresponding cost is
and so we conclude that $T_1$ is indeed optimal as well.