Optimal Transport in One Dimension: Difference between revisions

From Optimal Transport Wiki
Jump to navigation Jump to search
No edit summary
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 dx \equiv 1 </math>
                                                                                          <math> M(T_1) = \int |T_1(x)-x| d\mu = \frac{1}{2}\int_0^2 dx \equiv 1 </math>

Revision as of 05:36, 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