On the smooth Lorentzian optimal transport problem

Fuente: arXiv
Saved in:
Bibliographic Details
Main Author: Metsch, Alec
Format: Preprint
Published: 2025
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866911374379057152
author Metsch, Alec
author_facet Metsch, Alec
contents In this paper, we want to establish some general results in the Lorentzian optimal transport theory that have well-known Riemannian counterparts. As a first result, we will provide non-trivial assumptions on the measures to ensure strong (Kantorovich) duality, i.e. the existence of a maximizing pair in the dual optimal transport formulation. We will also show that, under suitable assumptions, optimality of a causal coupling is characterized by $c$-cyclical monotonicity. The second result deals with the regularity of $c$-convex functions and (weak) Kantorovich potentials. We show that, in general, regularity results known in the Riemannian context do not extend to the Lorentzian setting. Under suitable assumptions on the measures, we will prove nevertheless that these (weak) potentials are locally semconvex on an open set of full measure. As our last result, we will prove that, under quite general assumptions, for any two intermediates measures along a displacement interpolation, there exists a $C^{1,1}_{loc}$-regular maximizing pair in the dual formulation.
format Preprint
id arxiv_https___arxiv_org_abs_2511_05227
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle On the smooth Lorentzian optimal transport problem
Metsch, Alec
Optimization and Control
Differential Geometry
49J30, 49Q22, 49Q20, 53C50
In this paper, we want to establish some general results in the Lorentzian optimal transport theory that have well-known Riemannian counterparts. As a first result, we will provide non-trivial assumptions on the measures to ensure strong (Kantorovich) duality, i.e. the existence of a maximizing pair in the dual optimal transport formulation. We will also show that, under suitable assumptions, optimality of a causal coupling is characterized by $c$-cyclical monotonicity. The second result deals with the regularity of $c$-convex functions and (weak) Kantorovich potentials. We show that, in general, regularity results known in the Riemannian context do not extend to the Lorentzian setting. Under suitable assumptions on the measures, we will prove nevertheless that these (weak) potentials are locally semconvex on an open set of full measure. As our last result, we will prove that, under quite general assumptions, for any two intermediates measures along a displacement interpolation, there exists a $C^{1,1}_{loc}$-regular maximizing pair in the dual formulation.
title On the smooth Lorentzian optimal transport problem
topic Optimization and Control
Differential Geometry
49J30, 49Q22, 49Q20, 53C50
url https://arxiv.org/abs/2511.05227