Abstract:We consider the simultaneous optimal transportation of measures, where the target marginal is not necessarily fixed. For this problem, we prove the existence of a solution for completely regular spaces and investigate the structure of the discrete problem. We establish a connection between the Monge problem and the Kantorovich problem by showing that their functionals are equal and that the solutions coincide in Euclidean space.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is a variant of the optimal transport problem. Specifically, it is the problem of simultaneously optimally transporting multiple probability measures. Different from the classical optimal transport problem, here multiple initial measures \(\{\mu_i\}_{i = 1}^n\) need to be transformed into a fixed or variable target measure \(\nu\). The main contributions of the paper include:
1. **Existence proof**: The paper proves the existence of solutions to the simultaneous optimal transport problem in a completely regular space.
2. **Discrete problem structure**: It studies the problem structure in the discrete case, especially when the target marginal measure is not fixed.
3. **Connection between Monge problem and Kantorovich problem**: It establishes the connection between the Monge problem and the Kantorovich problem, showing that in Euclidean space, they have the same function and the same solutions.
### Specific problem description
#### Review of the classical optimal transport problem
In the classical optimal transport problem, given two topological spaces \(X\) and \(Y\), two probability measures \(\mu\) and \(\nu\) on them, and a cost function \(c(x, y)\) defined on the product space \(X\times Y\), the goal is to minimize the following integral:
\[
\inf_{\pi\in\Pi(\mu,\nu)}\int c(x,y)\,d\pi(dx,dy)
\]
where \(\Pi(\mu,\nu)\) is the set of all joint measures with fixed projections \(\mu\) and \(\nu\).
#### Simultaneous optimal transport problem
In this paper, the simultaneous transport problem of multiple initial measures \(\{\mu_i\}_{i = 1}^n\) is considered. Specifically, these measures need to be transformed into a single fixed or variable target measure \(\nu\) through some transport plan \(\pi\). The problem can be formalized as:
\[
\inf_{\pi\in\Pi(\mu,\nu)}\int c(x,y)\,d\pi
\]
where \(\Pi(\mu,\nu)\) is defined as:
\[
\Pi(\mu,\nu):=\left\{\pi\in\Pi(\mu,\nu):\int_X\pi_x(B)\,d\mu_i = \nu(B)\quad\forall1\leq i\leq n,B\in\mathcal{B}(Y)\right\}
\]
#### Main results
- **Existence**: It is proved that in a completely regular space, the existence of solutions to the simultaneous optimal transport problem.
- **Discrete problem**: The problem of the non - fixed target marginal measure in the discrete case is studied, and a specific construction method is given.
- **Relationship between Monge and Kantorovich problems**: It is proved that in Euclidean space, the Monge problem and the Kantorovich problem have the same function and the same solutions.
### Conclusion
This paper solves the existence and structure of the simultaneous optimal transport problem of multiple measures and establishes the connection between the Monge problem and the Kantorovich problem, providing a theoretical basis for further research in this field.