The Displacement Midpoint and the Midpoint Split of the Squared Wasserstein Distance

In the setting of The Intrinsic Calculus on the Wasserstein Space: Standing Notation, let $\mu,\nu\in\mathcal{P}_{2}(\mathbb{R}^{d})$ and let $\hat{\pi}\in\Pi(\mu,\nu)$ be an optimal coupling. Let $h:\mathbb{R}^{d+d}\to\mathbb{R}^{d}$ be the map with $h(z)=\tfrac12(x+y)$, where $\tfrac12$ is the multiplicative inverse of $2$ (claim 8 of Elementary Order Arithmetic in an Ordered Field); each component of $h$ is continuous, so $h$ is Borel by Probability Measures on Euclidean Space and Random Vectors: Standing Notation §borel-maps. Put

where $m(\cdot)$ denotes the mean. For $\rho\in\mathcal{P}_{2}(\mathbb{R}^{d})$ put

a real number once $\hat{m}\in\mathcal{P}_{2}(\mathbb{R}^{d})$, which is part of claim 1. Then the following hold.

1. (The displacement midpoint)¶ $\hat{m}\in\mathcal{P}_{2}(\mathbb{R}^{d})$, $m(\hat{m})=c$, and

2. (Nonnegativity)¶ $0\le A(\rho)$ for every $\rho\in\mathcal{P}_{2}(\mathbb{R}^{d})$.

3. (The midpoint split)¶ For all $\rho,\sigma\in\mathcal{P}_{2}(\mathbb{R}^{d})$,

4. (Equality at the endpoints)¶

5. (The optimal map to the midpoint at a pair attaining equality)¶ Let $\rho,\sigma\in\mathcal{P}_{2}(\mathbb{R}^{d})$ attain equality in claim 3, and suppose that the ordered pair $(\rho,\sigma)$ is uniquely mapped; let $T$ be an optimal map from $\rho$ to $\hat{m}$ and $S$ an optimal map from $\rho$ to $\sigma$, with classes $\mathrm{id}-T$ and $\mathrm{id}-S$ in $L^{2}(\rho;\mathbb{R}^{d})$ as in The Optimal Map as a Square-Integrable Vector Field: Integrability, Transport Cost and Uniqueness of the Class §square-integrable. Then

where $e$ is the class of the constant map with value $\tfrac12\bigl(m(\rho)+m(\sigma)\bigr)-c$, which is Borel, being continuous, and square-integrable against the probability measure $\rho$.