In this paper, we study a connection between disintegration of measures and geometric properties of probability spaces. We prove a disintegration theorem, addressing disintegration from the perspective of an optimal transport problem. We look at the disintegration of transport plans, which are used to define and study disintegration maps. Using these objects, we study the regularity and absolute continuity of disintegration of measures. In particular, we exhibit conditions for which the disintegration map is weakly continuous and one can obtain a path of measures given by this map. We show a rigidity condition for the disintegration of measures to be given into absolutely continuous measures.

We address the problem of optimal transport with a quadratic cost functional and a constraint on the flux through a constriction along the path. The constriction, conceptually represented by a toll station, limits the flow rate across. We provide a precise formulation which, in addition, is amenable to generalization in higher dimensions. We work out in detail the case of transport in one dimension by proving existence and uniqueness of solution. Under suitable regularity assumptions, we give an explicit construction of the transport plan. Generalization of flux constraints to higher dimensions and possible extensions of the theory are discussed.

Let $\mu $ and $\nu $ be Borel probability measures on complete separable metric spaces X and Y, respectively. Each Borel probability measure $\gamma $ on $X\times Y$ with marginals $\mu $ and $\nu $ can be described through its disintegration $\big ( \gamma _{x}\big )_{x \in X}$ with respect to the initial distribution $\mu .$ Assume that $\mu $ is continuous, i.e., $\mu \big (\{x\}\big )=0$ for all $x \in X.$ We shall analyze the structure of the support of the measure $\gamma $ provided $\text {card } \big (\mathrm{spt} (\gamma _{x}) \big )$ is finitely countable for $\mu $-a.e. $x\in X.$ We shall also provide an application to optimal mass transportation.

We investigate the convergence rate of multi-marginal optimal transport costs that are regularized with the Boltzmann–Shannon entropy, as the noise parameter $\varepsilon $ tends to $0$. We establish lower and upper bounds on the difference with the unregularized cost of the form $C\varepsilon \log (1/\varepsilon )+O(\varepsilon )$ for some explicit dimensional constants C depending on the marginals and on the ground cost, but not on the optimal transport plans themselves. Upper bounds are obtained for Lipschitz costs or locally semiconcave costs for a finer estimate, and lower bounds for $\mathscr {C}^2$ costs satisfying some signature condition on the mixed second derivatives that may include degenerate costs, thus generalizing results previously in the two marginals case and for nondegenerate costs. We obtain in particular matching bounds in some typical situations where the optimal plan is deterministic.

We study monotone operators in reflexive Banach spaces that are invariant with respect to a group of suitable isometric isomorphisms, and we show that they always admit a maximal extension which preserves the same invariance. A similar result applies to Lipschitz maps in Hilbert spaces, thus providing an invariant version of Kirszbraun–Valentine extension theorem. We then provide a relevant application to the case of monotone operators in $L^{p}$-spaces of random variables which are invariant with respect to measure-preserving isomorphisms, proving that they always admit maximal dissipative extensions which are still invariant by measure-preserving isomorphisms. We also show that such operators are law invariant, a much stronger property which is also inherited by their resolvents, the Moreau–Yosida approximations, and the associated semigroup of contractions. These results combine explicit representation formulae for the maximal extension of a monotone operator based on self-dual Lagrangians and a refined study of measure-preserving maps in standard Borel spaces endowed with a nonatomic measure, with applications to the approximation of arbitrary couplings between measures by sequences of maps.

We compare two standard approaches to defining lower Ricci curvature bounds for Riemannian metrics of regularity below $C^2$. These are, on the one hand, the synthetic definition via weak displacement convexity of entropy functionals in the framework of optimal transport, and the distributional one based on non-negativity of the Ricci-tensor in the sense of Schwartz. It turns out that distributional bounds imply entropy bounds for metrics of class $C^1$ and that the converse holds for $C^{1,1}$-metrics under an additional convergence condition on regularizations of the metric.

Recently, neural abstractive text summarization (NATS) models based on sequence-to-sequence architecture have drawn a lot of attention. Real-world texts that need to be summarized range from short news with dozens of words to long reports with thousands of words. However, most existing NATS models are not good at summarizing long documents, due to the inherent limitations of their underlying neural architectures. In this paper, we focus on the task of long document summarization (LDS). Based on the inherent section structures of source documents, we divide an abstractive LDS problem into several smaller-sized problems. In this circumstance, how to provide a less-biased target summary as the supervision for each section is vital for the model’s performance. As a preliminary, we formally describe the section-to-summary-sentence (S2SS) alignment for LDS. Based on this, we propose a novel NATS framework for the LDS task. Our framework is built based on the theory of unbalanced optimal transport (UOT), and it is named as UOTSumm. It jointly learns three targets in a unified training objective, including the optimal S2SS alignment, a section-level NATS summarizer, and the number of aligned summary sentences for each section. In this way, UOTSumm directly learns the text alignment from summarization data, without resorting to any biased tool such as ROUGE. UOTSumm can be easily adapted to most existing NATS models. And we implement two versions of UOTSumm, with and without the pretrain-finetune technique. We evaluate UOTSumm on three publicly available LDS benchmarks: PubMed, arXiv, and GovReport. UOTSumm obviously outperforms its counterparts that use ROUGE for the text alignment. When combined with UOTSumm, the performance of two vanilla NATS models improves by a large margin. Besides, UOTSumm achieves better or comparable performance when compared with some recent strong baselines.

We provide a geometric interpretation of the well-known A3w condition for regularity in optimal transport.

Gromov–Wasserstein distances were proposed a few years ago to compare distributions which do not lie in the same space. In particular, they offer an interesting alternative to the Wasserstein distances for comparing probability measures living on Euclidean spaces of different dimensions. We focus on the Gromov–Wasserstein distance with a ground cost defined as the squared Euclidean distance, and we study the form of the optimal plan between Gaussian distributions. We show that when the optimal plan is restricted to Gaussian distributions, the problem has a very simple linear solution, which is also a solution of the linear Gromov–Monge problem. We also study the problem without restriction on the optimal plan, and provide lower and upper bounds for the value of the Gromov–Wasserstein distance between Gaussian distributions.

We consider a multimarginal transport problem with repulsive cost, where the marginals are all equal to a fixed probability $\unicode[STIX]{x1D70C}\in {\mathcal{P}}(\mathbb{R}^{d})$. We prove that, if the concentration of $\unicode[STIX]{x1D70C}$ is less than $1/N$, then the problem has a solution of finite cost. The result is sharp, in the sense that there exists $\unicode[STIX]{x1D70C}$ with concentration $1/N$ for which the cost is infinite.

We discuss the reconciliation problem between probability measures: given n⩾2 probability spaces $(\Omega,{\mathcal{F}}_1,{\mathbb{P}}_1),\ldots,(\Omega,{\mathcal{F}}_n,{\mathbb{P}}_n)$ with a common sample space, does there exist an overall probability measure ${\mathbb{P}} \ \text{on} \ {\mathcal{F}} = \sigma({\mathcal{F}}_1,\ldots,{\mathcal{F}}_n)$ such that, for all i, the restriction of ${\mathbb{P}} \ \text{to} \ {\mathcal{F}}_i$ coincides with ${\mathbb{P}}_i$? General criteria for the existence of a reconciliation are stated, along with some counterexamples that highlight some delicate issues. Connections to earlier (recent and far less recent) work are discussed, and elementary self-contained proofs for the various results are given.

We study a class of optimal transport planning problems where the reference cost involves a non-linear function G(x, p) representing the transport cost between the Dirac measure δx and a target probability p. This allows to consider interesting models which favour multi-valued transport maps in contrast with the classical linear case ($G(x,p)=\int c(x,y)dp$) where finding single-valued optimal transport is a key issue. We present an existence result and a general duality principle which apply to many examples. Moreover, under a suitable subadditivity condition, we derive a Kantorovich–Rubinstein version of the dual problem allowing to show existence in some regular cases. We also consider the well studied case of Martingale transport and present some new perspectives for the existence of dual solutions in connection with Γ-convergence theory.

We study a one-parameter class of examples of optimal transport problems between a two-dimensional source and a one-dimensional target. Our earlier work identified a nestedness condition on the surplus function and marginals, under which it is possible to solve the problem semi-explicitly. In the family of examples we consider, we classify the values of parameters which lead to nestedness. In those cases, we derive an almost explicit characterisation of the solution.

We present an adaptation of the Monge–Ampère (MA) lattice basis reduction scheme to the MA equation with second boundary value condition, provided the target is a convex set. This yields a fast adaptive method to numerically solve the optimal transport (OT) problem between two absolutely continuous measures, the second of which has convex support. The proposed numerical method actually captures a specific Brenier solution which is minimal in some sense. We prove the convergence of the method as the grid step size vanishes and show with numerical experiments that it is able to reproduce subtle properties of the OT problem.

This article introduces a new notion of optimal transport (OT) between tensor fields, which are measures whose values are positive semidefinite (PSD) matrices. This “quantum” formulation of optimal transport (Q-OT) corresponds to a relaxed version of the classical Kantorovich transport problem, where the fidelity between the input PSD-valued measures is captured using the geometry of the Von-Neumann quantum entropy. We propose a quantum-entropic regularization of the resulting convex optimization problem, which can be solved efficiently using an iterative scaling algorithm. This method is a generalization of the celebrated Sinkhorn algorithm to the quantum setting of PSD matrices. We extend this formulation and the quantum Sinkhorn algorithm to compute barycentres within a collection of input tensor fields. We illustrate the usefulness of the proposed approach on applications to procedural noise generation, anisotropic meshing, diffusion tensor imaging and spectral texture synthesis.

In a recent article [B. Bonnard, J.-B. Caillau, R. Sinclair and M. Tanaka, Ann. Inst. Henri Poincaré, Anal. Non Linéaire 26 (2009) 1081–1098], we relate the computation of the conjugate and cut loci of a family of metrics on two-spheres of revolution whose polar form is g = dϕ2 + m(ϕ)dθ2 to the period mapping of the ϕ-variable. One purpose of this article is to use this relation to evaluate the cut and conjugate loci for a family of metrics arising as a deformation of the round sphere and to determine the convexity properties of the injectivity domains of such metrics. These properties have applications in optimal control of space and quantum mechanics, and in optimal transport.

We show that the Schrödinger equation is a lift of Newton's third law of motion $\nabla _{{\dot{\mu }}}^{\mathcal{W}}\,\dot{\mu }\,=\,-{{\nabla }^{\mathcal{W}}}\,F\left( \mu \right)$ on the space of probability measures, where derivatives are taken with respect to the Wasserstein Riemannian metric. Here the potential $\mu \,\to \,F\left( \mu \right)$ is the sum of the total classical potential energy $\left\langle V,\,\mu \right\rangle $ of the extended system and its Fisher information $\frac{{{\hbar }^{2}}}{8}\,{{\int{\left| \nabla \,\text{1n}\,\mu \right|}}^{2}}\,d\mu $. The precise relation is established via a well-known (Madelung) transform which is shown to be a symplectic submersion of the standard symplectic structure of complex valued functions into the canonical symplectic space over the Wasserstein space. All computations are conducted in the framework of Otto's formal Riemannian calculus for optimal transportation of probability measures.

The dual attainment of the Monge–Kantorovich transport problem is analyzed in a generalsetting. The spaces X,Y are assumed to be polish and equipped with Borelprobability measures μ and ν. The transport costfunction c : X × Y →  [0,∞]  is assumedto be Borel measurable. We show that a dual optimizer always exists, provided we interpretit as a projective limit of certain finitely additive measures. Our methods are functionalanalytic and rely on Fenchel’s perturbation technique.

We discuss the problem of the regularity-in-time of the map t ↦ Tt ∊ Lp(ℝd, ℝd; σ), where Tt is a transport map (optimal or not) from a reference measure σ to a measure μt which lies along an absolutely continuous curve t ↦ μt in the space (). We prove that in most cases such a map is no more than 1/p-Hölder continuous.