Optimal Transport in One Dimension: Difference between revisions
Line 3: | Line 3: | ||
== Linear Cost Example == | == Linear Cost Example == | ||
For this example, consider the cost function <math> c(x,y) = L(x-y) </math> along with a given linear map <math> A: \mathbb{R}^d \rightarrow \mathbb{R} </math>. Moreover, if let <math> \gamma </math> be any transport plan, then by direct computation we see that | For this example, consider the cost function <math> c(x,y) = L(x-y) </math> along with a given linear map <math> A: \mathbb{R}^d \rightarrow \mathbb{R} </math>. Moreover, if let <math> \gamma </math> be any transport plan, then by direct computation we see that | ||
<math> \int L(x-y) d \gamma = \int L(x) d \gamma - \int L(y) d \gamma = \int L(x) d \mu - \int L(y) d \nu </math> | |||
which suggests that this result only depends on the marginals of <math> \gamma </math> (wherein <math> \mu </math> and <math>\nu </math> are compactly supported probability measures). In fact, in such cases, every transport plan/map is optimal. | which suggests that this result only depends on the marginals of <math> \gamma </math> (wherein <math> \mu </math> and <math>\nu </math> are compactly supported probability measures). In fact, in such cases, every transport plan/map is optimal. |
Revision as of 04:35, 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