Optimal Transport in One Dimension: Difference between revisions
Line 15: | Line 15: | ||
<math> M(T_0)= \int |T_0(x)-x| d\mu \equiv 1 </math>. | <math> M(T_0)= \int |T_0(x)-x| d\mu \equiv 1 </math>. | ||
Furthermore, notice that the piecewise map <math> T_1</math> given by <math> T(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> | Furthermore, notice that the piecewise map <math> T_1</math> given by <math> T(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> |
Revision as of 04:31, 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 Failed to parse (syntax error): {\displaystyle T_1 # \mu = \nu }