Semiconvexity of (weak) Kantorovich potentials in the Lorentzian optimal transport problem

Alec Metsch

REVIEW 2 major objections 4 minor 30 references

Semiconvexity of (weak) Kantorovich potentials in the Lorentzian optimal transport problem

T0 review · 2 major / 4 minor · reviewed 2026-08-03 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Weak Kantorovich potentials in Lorentzian optimal transport are locally semiconvex on a full-measure open set, yielding a unique optimal transport map.

desk verdict A genuinely new regularity result for Lorentzian Kantorovich potentials, but it is explicitly conditional on the existence of a π-solution, so the effective scope is narrower than the headline suggests. read the letter →

arxiv 2511.05227 v3 pith:6SQGHNXU submitted 2025-11-07 math.OC math.DG

Alec Metsch This is my paper · ORCID

classification math.OCmath.DG MSC 49N6049J3049Q2249Q2053C50

keywords LorentzianoptimaltransportKantorovichpotentialssemiconvexityc-convexfunctionsstrongdualitymapcausalcouplingstime-separationcost

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper establishes that, for Lorentzian optimal transport with the standard proper-time cost, weak Kantorovich potentials (π-solutions) are locally semiconvex on an open set of full measure, provided the target measure's support is causally compact, the source is absolutely continuous, and the two supports are disjoint. This is a general regularity result in a setting where the cost function is not real-valued and classical theory does not directly apply. Semiconvexity upgrades approximate differentiability to actual differentiability almost everywhere, which yields existence and uniqueness of an optimal transport map characterized by a first-order gradient equation. The paper also closes a known gap by proving strong Kantorovich duality and c-cyclical monotonicity characterizations under connectedness, causal compactness, and strict timelikeness assumptions.

What carries the argument

The central object is the weak Kantorovich potential, or π-solution: a c-convex function φ whose c-subdifferential ∂ᶜφ has full π-measure. The proof rests on a general regularity theorem for c-convex functions: for volume-a.e. point in the interior of the domain away from the target support, small causal competitors in the defining supremum are strictly suboptimal. This local strictness, together with causal compactness of the target support to replace the supremum by one over a compact set and with the known local semiconcavity of the cost on I⁺, yields local semiconvexity of φ.

What would settle it

Find probability measures μ, ν satisfying supp(ν) causally compact, μ ≪ vol, and supp(μ) ∩ supp(ν) = ∅, together with a causal coupling π that admits a π-solution, but for which the solution is not locally semiconvex on any open set of full μ-measure. Alternatively, exhibit a pair satisfying the stronger hypotheses of Theorem 1.4 for which no measurable π-solution exists, which would block the strong-duality and map conclusions.

Watch

Extended reading notes

Core claim

The central theorem states: let μ and ν be Borel probability measures on a globally hyperbolic spacetime, with supp(ν) causally compact, μ absolutely continuous with respect to the volume measure, and supp(μ) ∩ supp(ν) = ∅. If a causal coupling π admits a π-solution φ (a c-convex function whose c-subdifferential carries full π-measure), then π is concentrated on the set I⁺ of chronologically related pairs and φ is locally semiconvex on an open set of full μ-measure. Consequently, together with the paper's duality results, there is a unique optimal coupling, concentrated on I⁺, induced by the map T(x) = (∇_x c(x,·))⁻¹(−∇φ(x)), and characterized by the equation ∇φ(x) + ∇_x c(x, y) = 0 π-a.e.

Load-bearing premise

The whole regularity conclusion depends on assuming that a π-solution already exists; the paper constructs such solutions only under substantially stronger hypotheses, so if existence fails for some admissible pair, the theorem's conclusion has no object to apply to.

Editorial extensions

If this is right

Under the combined hypotheses (compact supports, connected and causally compact supports, strict timelikeness), strong Kantorovich duality holds: a maximizing pair exists in the dual problem.
Optimality of a causal coupling is characterized by c-cyclical monotonicity whenever a measurable π-solution exists.
The unique optimal coupling is concentrated on I⁺ and is induced by the gradient map satisfying ∇φ(x) + ∇ₓc(x, y) = 0 π-a.e.
Along a displacement interpolation, the intermediate measures admit C¹′¹_loc-regular calibrated dual pairs.
The hypotheses do not force the optimal coupling to be supported away from the light cone; an example shows that support on the boundary of I⁺ can occur.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The semiconvexity conclusion is conditional on the existence of a π-solution; the paper constructs such solutions only under substantially stronger hypotheses, so the effective reach of Corollary 1.7 is narrower than the statement of Theorem 1.6 suggests.
Because semiconvexity holds on an open set of full μ-measure, the singular set of the potential is μ-negligible; a natural test is whether the optimal map T is continuous and whether the semiconvexity constant can be chosen locally uniformly.
The example with optimal coupling touching the light cone indicates that conditions on the target measure beyond compactness are needed to guarantee strict timelike transport, and it suggests exploring how the gradient map behaves at boundary points of supp(π).
The weak KAM-style argument may extend to produce C¹′¹ calibrations for all intermediate times under weaker causal-compactness assumptions than those stated.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Main takeaway: Theorem 1.6 is a genuine, useful regularity result for weak Kantorovich potentials with the intrinsic Lorentzian cost, and the paper is honest about the fact that it only applies when a π-solution is already known to exist. That conditional status is the main caveat.

What is new: semiconvexity on a full-measure open set for c-convex functions/π-solutions with c = -d^p, and the corollary giving an actual gradient equation and uniqueness of optimal map. The counterexamples in §4 and §6 do real work: they show Riemannian-style regularity fails in general, and that even under the hypotheses of Corollary 1.7 the optimal coupling need not be supported on I^+. The proof of Theorem 1.6 is long but structured; the local semiconcavity/semiconvexity machinery in §5 and §7 is coherent. No circular reasoning: the central claim uses Kell–Suhr and standard semiconcavity, not the conclusion. And the paper explicitly records its limitations (Remark 3.8, Remark B.3).

Soft spots, in order of importance. First, Theorem 1.6 assumes a π-solution exists rather than constructing one. Existence is proved only under stronger hypotheses: causal compactness of both supports, connectedness of supp(µ), strict timelikeness. The author says it is unclear whether these are necessary. So the advertised Corollary 1.7 has effective scope equal to the intersection of the two theorem hypotheses, plus compact support, which is narrower than the three-condition statement of Theorem 1.6 might suggest. This is not an internal contradiction, but it is the load-bearing limitation: if connectedness is genuinely needed for existence, the theorem has nothing to say about disconnected-source cases. Second, Theorem 1.10 depends on Proposition 7.19, which comes from the author's earlier paper [22]. That is legitimate, but it makes a key part of that result not self-contained. Third, the long analytic estimates (Lemma 5.11, Step 4 of Theorem 5.1) are not machine-checked; they look plausible and the steps are spelled out, but this is the kind of argument where a sign error would be easy to miss.

Who this is for: people working in Lorentzian optimal transport, weak KAM theory on spacetimes, and synthetic timelike Ricci bounds. A serious referee can add value here; the main theorem deserves verification despite the conditional scope. I would engage with it and cite it, and I'd flag the existence gap clearly to the authors so they can either prove existence under the hypotheses of Theorem 1.6 or state the effective domain honestly in the abstract.

Recommendation: send to peer review. It is a serious toolbox paper, not a desk reject.

Referee Report

2 major / 4 minor

Summary. The paper studies the Lorentzian optimal transport problem on globally hyperbolic spacetimes with cost c(x,y)=-d(x,y)^p, p in (0,1). It has three advertised contributions. First (Theorem 1.4, Corollary 1.5), under causal compactness of the supports, connectedness of supp(mu), and strict timelikeness, it establishes existence of a measurable pi-solution, strong Kantorovich duality for compactly supported measures, and equivalence between optimality and c-cyclical monotonicity under assumption (W). Second (Theorem 1.6, Corollary 1.7), assuming existence of a pi-solution, it proves that the coupling is concentrated on I^+ and that the pi-solution is locally semiconvex on an open set of full mu-measure, yielding uniqueness and a map representation via an actual gradient equation. Third (Theorem 1.10), it proves a weak-KAM-type result producing C^{1,1}_{loc} calibrated pairs between intermediate measures of a displacement interpolation. The proofs combine the Kell--Suhr construction with classical optimal transport techniques and include counterexamples showing that Riemannian regularity results fail in general.

Significance. If the technical estimates in Section 5 are correct, Theorem 1.6 is a genuine advance: it is the first general local semiconvexity statement for weak Kantorovich potentials in Lorentzian optimal transport, and it permits an actual-gradient characterization of the optimal coupling. The paper is also valuable for its explicit counterexamples and for its honest discussion of the limitations of the Kell--Suhr existence result. The proof of Theorem 5.1 is a serious and structured technical effort. However, the advertised scope is substantially narrower than the abstract suggests. Theorem 1.6 is conditional on the existence of a pi-solution, which is established only under stronger hypotheses, and Theorem 1.10 depends on a substantial proposition that is not proved in the manuscript but only referenced to the author's own arXiv preprint. These two issues are load-bearing for the main applications and should be addressed before publication.

major comments (2)

[Theorem 1.6 and Corollary 1.7; Remark 3.8; Appendix B] The central regularity theorem assumes, rather than constructs, a pi-solution. Existence is proved only under the stronger hypotheses of Theorem 1.4, namely causal compactness of both supports, connectedness of supp(mu), and strict timelikeness of mu and nu. The paper itself notes in Remark 3.8 and Remark B.3 that existence can fail when connectedness and causal compactness are dropped simultaneously, and that it is unknown whether each condition is individually necessary. Consequently, Corollary 1.7, which explicitly combines the assumptions of both theorems, has an effective domain equal to the intersection of the two theorem hypotheses, not the three conditions displayed in Theorem 1.6. This is not an internal inconsistency, but the advertised 'suitable general assumptions' and the abstract's claim of general applicability are overstated. The introduction, abstract, and theorem statem
[Section 7, Proposition 7.19] Theorem 7.18 and hence the main third result, Theorem 1.10, rely on Proposition 7.19. The manuscript states 'The following proposition is proved in [22]' and gives no proof, while [22] is the author's own arXiv preprint. Proposition 7.19 supplies the uniform semiconcave local representation of T u and the family of smooth functions f_{i,t} with the estimates (i)--(vii) used in Theorem 7.26 and in the proof of Theorem 7.18. This is a load-bearing external dependency for one of the paper's main advertised results. A refereed paper should either include a complete proof of Proposition 7.19 (or a self-contained version adequate for the present setting) or clearly state that Theorem 1.10 is conditional on the publication of [22].

minor comments (4)

[Abstract] Typo: 'semconvex' should be 'semiconvex'.
[Theorem 7.12, Lemma 7.14, Corollary 7.17] The phrase 'some numbers 0 >0' appears several times; it should be 'some number s_0 > 0' or 'some numbers s_0 > 0'.
[Lemma 5.4] Typo: 'Picky 0' should be 'Pick y_0'. Also, the phrase 'Necessarily, y in I^+(x_0)' would benefit from a one-sentence explanation: it follows from the strict inequality in Theorem 5.1, because otherwise the point would belong to the set of sup over d(x,y) <= delta.
[Section 5.1, beginning of proof of Theorem 5.1] The set B is defined by existential quantifiers over sequences and is not obviously Borel. The proof subsequently takes its closure and uses Lebesgue points. Please clarify the notion of 'null set' being used and justify the measurability/outer-measure step, or rewrite the argument directly for the closure of B_i.

Circularity Check

0 steps flagged · score 0.0 of 10

No substantial circularity: the main regularity theorem is conditional on an explicitly assumed pi-solution, and the proofs use external Rockafellar/Kell–Suhr and semiconcavity tools rather than importing their conclusions.

full rationale

The derivation chain is not circular. Theorem 1.6 is explicitly a conditional statement: it assumes the existence of a pi-solution φ and then proves π(I^+)=1 and local semiconvexity of φ. Existence of such a φ is supplied separately by Theorem 1.4(i) under stronger hypotheses (causal compactness of both supports, connectedness of supp(µ), strict timelikeness). Theorem 1.6 does not use its own conclusion as a hypothesis, nor does it redefine Kantorovich potentials in terms of semiconvexity; a π-solution is defined purely by the c-convexity relation π(∂^c φ)=1, and the regularity conclusion is derived from Theorem 5.1, the causal compactness of supp(ν), and the local semiconcavity of the cost on I^+. Corollary 1.7 then genuinely combines Theorem 1.4, Corollary 1.5 and Theorem 1.6; its hypotheses are the intersection of the two theorem hypotheses, which narrows the effective scope of the advertised map result but is not a circular step. The paper itself flags this limitation in Remark 3.8 and Remark B.3, and the statement of Theorem 1.6 openly begins “Suppose π admits a π-solution”, so the conditional character is stated rather than hidden. The only self-citations appear in the third part of the paper: Theorem 1.10 relies on Proposition 7.19, proved in the author's [22], and on proof strategies from [21] and [22]. Proposition 7.19 is a parameter-free technical lemma about semiconcave functions whose supergradients lie in the interior of the dual causal cone; it is stated with assumptions that do not include the paper's target conclusion, and the present paper supplies the surrounding proof. This is ordinary reliance on prior work, not a reduction of the claimed result to its own inputs. Consequently, no circular step can be exhibited, and the honest finding is no significant circularity.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

No numerical parameters are fitted; p∈(0,1) is part of the problem data. The paper's hypotheses (global hyperbolicity, causal compactness, strict timelikeness, absolute continuity, disjoint supports, existence of a π-solution) are the real inputs. The cost semiconcavity and local geodesic uniqueness are imported from [20] and local Lorentzian geometry. No new entities are postulated.

assumptions (4)

domain assumption (M,g) is a smooth globally hyperbolic spacetime (dimension n+1), with a fixed complete Riemannian metric h and p∈(0,1) fixed.
The entire analysis lives in this setting; global hyperbolicity supplies causal compactness, closedness of J^+, and the Polish space of causal curves; h is used for local estimates. See Section 2.
standard math The time-separation d satisfies the reverse triangle inequality and the cost c(x,y)=-d(x,y)^p is locally semiconcave on I^+ (Theorem A.6, citing [20]).
Relied on for the final step of Theorem 1.6 (semiconvexity of a supremum of semiconcave functions) and for the super/sub-differential computations in the weak KAM part.
domain assumption There exists a π-solution φ for the given π (Theorem 1.6 hypothesis).
The theorem is conditional on this existence; existence is established only under the stronger hypotheses of Theorem 1.4 (connected supp(µ), both supports causally compact, strict timelikeness). See Definition 3.4 and Theorem 1.4.
standard math Local uniqueness of maximizing causal geodesics in the small convex neighbourhoods of Lemma 5.11(ii).
Used in Step 4 of Theorem 5.1 to identify the causally-related direction and to set up the estimate (5.7). It follows from global hyperbolicity and convex normal neighbourhoods, but it is a geometric input.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Semiconvexity of (weak) Kantorovich potentials in the Lorentzian optimal transport problem." pith.science (2026). https://pith.science/paper/6SQGHNXU

@misc{pith2026251105227,
  author       = {Pith},
  title        = {Pith review of: Semiconvexity of (weak) Kantorovich potentials in the Lorentzian optimal transport problem},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/6SQGHNXU}},
  note         = {Machine review of arXiv:2511.05227}
}

abstract

We study semiconvexity properties of (weak) Kantorovich potentials for the Lorentzian optimal transport problem with the standard cost function $c$. We show that, in general, this regularity - known in the Riemannian context - does not extend to the Lorentzian setting. Nevertheless, we provide a general regularity result for $c$-convex functions and show that, under suitable general assumptions on the measures, this yields semiconvexity of the (weak) potentials at least on an open set of full measure. This, in turn, allows us to conclude the existence and uniqueness of an optimal transport map.

Figures

Figures reproduced from arXiv: 2511.05227 by the authors.

**Figure 2.** Construction of a c-convex function that is not continuous in the interior of its domain. Example 4.2. (a) We provide an example of a c-convex function in the twodimensional Minkowski space which is not continuous on the interior of its domain. Consider the c-convex function φ(x) := max{−c(x, y1), a − c(x, y0)}, a ≪ 0. Then dom(φ) = J −(y0)∪J −(y1) is the region below the graph shwon in Figure 2. Consider a point … view at source ↗

**Figure 3.** Construction of a c-convex function whose c-subdifferential is locally unbounded. Proof. In Subsection 5.1. To see how Theorem 1.6 follows, let µ, ν ∈ P satisfy the hypothesis of Theorem 1.6. Let Ω := int(dom(φ)) ∩ supp(ν) c . Since µ ≪ vol and supp(µ) ∩ supp(ν) = ∅, Lemma 4.1 implies µ(Ω) = 1. Set ψ := φ c . Definition 5.2. Let Ω0 be the open set of all x0 ∈ Ω such that the following holds: There exists δ > 0 and … view at source ↗

Figures from the paper (2 more)

**Figure 4.** Figure 4: Vizualisation of an optimal coupling that is not supported on the set [PITH_FULL_IMAGE:figures/full_fig_p033_4.png]

**Figure 5.** Figure 5: Causal compactness is crucial for the construction [PITH_FULL_IMAGE:figures/full_fig_p064_5.png]

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

30 extracted references · 3 linked inside Pith

[22]

On the locus of multiple maximizing geodesics on a globally hyperbolic spacetime.arXiv preprint arXiv:2507.22737, 2025

Alec Metsch. On the locus of multiple maximizing geodesics on a globally hyperbolic spacetime.arXiv preprint arXiv:2507.22737, 2025

arXiv 2025
[1]

A user’s guide to optimal transport

Luigi Ambrosio and Nicola Gigli. A user’s guide to optimal transport. In Modelling and optimisation of flows on networks, volume 2062 ofLecture Notes in Math., pages 1–155. Springer, Heidelberg, 2013
[2]

Lectures in Mathematics ETH Z¨ urich

Luigi Ambrosio, Nicola Gigli, and Giuseppe Savar´ e.Gradient flows in met- ric spaces and in the space of probability measures. Lectures in Mathematics ETH Z¨ urich. Birkh¨ auser Verlag, Basel, 2005

2005
[3]

Routledge, London, England, 2017

John K Beem.Global Lorentzian Geometry, Second Edition. Routledge, London, England, 2017

2017
[4]

Existence ofC 1,1 critical sub-solutions of the Hamilton- Jacobi equation on compact manifolds.Ann

Patrick Bernard. Existence ofC 1,1 critical sub-solutions of the Hamilton- Jacobi equation on compact manifolds.Ann. Sci. ´Ecole Norm. Sup. (4), 40(3):445–452, 2007

2007
[5]

Brenier, U

Y. Brenier, U. Frisch, M. H´ enon, G. Loeper, S. Matarrese, R. Mohayaee, and A. Sobolevski ˘ ı. Reconstruction of the early universe as a convex op- timization problem.Monthly Notices of the Royal Astronomical Society, 346(2):501–524, 12 2003

2003
[6]

Singularities of solu- tions of time dependent Hamilton-Jacobi equations

Piermarco Cannarsa, Wei Cheng, and Albert Fathi. Singularities of solu- tions of time dependent Hamilton-Jacobi equations. Applications to Rie- mannian geometry.Publ. Math. Inst. Hautes ´Etudes Sci., 133:327–366, 2021

2021
[7]

Optimal transport in Lorentzian synthetic spaces, synthetic timelike Ricci curvature lower bounds and ap- plications.Camb

Fabio Cavalletti and Andrea Mondino. Optimal transport in Lorentzian synthetic spaces, synthetic timelike Ricci curvature lower bounds and ap- plications.Camb. J. Math., 12(2):417–534, 2024

2024

Show all 30 references

[8]

On the equivalence of the entropic curvature-dimension condition and Bochner’s inequality on metric measure spaces.Invent

Matthias Erbar, Kazumasa Kuwada, and Karl-Theodor Sturm. On the equivalence of the entropic curvature-dimension condition and Bochner’s inequality on metric measure spaces.Invent. Math., 201(3):993–1071, 2015

2015
[9]

Cambridge University Press, Cambridge, England, 2020

Albert Fathi.The weak Kam theorem in Lagrangian dynamics. Cambridge University Press, Cambridge, England, 2020

2020
[10]

Viscosity solutions of the Hamilton-Jacobi equation on a noncompact manifold

Albert Fathi. Viscosity solutions of the Hamilton-Jacobi equation on a noncompact manifold. InHamiltonian systems: dynamics, analysis, appli- cations, volume 72 ofMath. Sci. Res. Inst. Publ., pages 111–172. Cambridge Univ. Press, Cambridge, 2024. 66

2024
[11]

Optimal transportation on non-compact manifolds.Israel J

Albert Fathi and Alessio Figalli. Optimal transportation on non-compact manifolds.Israel J. Math., 175:1–59, 2010

2010
[12]

On the Hausdorff di- mension of the Mather quotient.Comm

Albert Fathi, Alessio Figalli, and Ludovic Rifford. On the Hausdorff di- mension of the Mather quotient.Comm. Pure Appl. Math., 62(4):445–500, 2009

2009
[13]

Local semiconvexity of Kantorovich po- tentials on non-compact manifolds.ESAIM Control Optim

Alessio Figalli and Nicola Gigli. Local semiconvexity of Kantorovich po- tentials on non-compact manifolds.ESAIM Control Optim. Calc. Var., 17(3):648–653, 2011

2011
[14]

EMS Textbooks in Mathemat- ics

Alessio Figalli and Federico Glaudo.An invitation to optimal transport, Wasserstein distances, and gradient flows. EMS Textbooks in Mathemat- ics. EMS Press, Berlin, [2021]©2021

2021
[15]

A reconstruction of the initial conditions of the universe by optimal mass transportation.Nature, 417:260–2, 06 2002

Uriel Frisch, Sabino Matarrese, Roya Mohayaee, and Andrei Sobolevski. A reconstruction of the initial conditions of the universe by optimal mass transportation.Nature, 417:260–2, 06 2002

2002
[16]

S. W. Hawking and R. Penrose. The singularities of gravitational collapse and cosmology.Proc. Roy. Soc. London Ser. A, 314:529–548, 1970

1970
[17]

On the existence of dual solutions for Lo- rentzian cost functions.Ann

Martin Kell and Stefan Suhr. On the existence of dual solutions for Lo- rentzian cost functions.Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire, 37(2):343–372, 2020

2020
[18]

Lorentzian length spaces.Ann

Michael Kunzinger and Clemens S¨ amann. Lorentzian length spaces.Ann. Global Anal. Geom., 54(3):399–447, 2018

2018
[19]

Ricci curvature for metric-measure spaces via optimal transport.Ann

John Lott and C´ edric Villani. Ricci curvature for metric-measure spaces via optimal transport.Ann. of Math. (2), 169(3):903–991, 2009

2009
[20]

Robert J. McCann. Displacement convexity of Boltzmann’s entropy charac- terizes the strong energy condition from general relativity.Camb. J. Math., 8(3):609–681, 2020

2020
[21]

Alec Metsch.c 1,1 loc optimal pairs in the dual optimal transport problem for a lorentzian cost along displacement interpolations.arXiv preprint arXiv:2504.11556, 2025

2025 arXiv
[23]

Optimal transport and regularity of weak kantorovich poten- tials on a globally hyperbolic spacetime.arXiv preprint arXiv:2412.01012, 2025

Alec Metsch. Optimal transport and regularity of weak kantorovich poten- tials on a globally hyperbolic spacetime.arXiv preprint arXiv:2412.01012, 2025

2025 arXiv
[24]

Lorentzian causality theory.Living Reviews in Relativity, 22:1–202, 2019

Ettore Minguzzi. Lorentzian causality theory.Living Reviews in Relativity, 22:1–202, 2019. 67

2019
[25]

An optimal transport formulation of the Einstein equations of general relativity.J

Andrea Mondino and Stefan Suhr. An optimal transport formulation of the Einstein equations of general relativity.J. Eur. Math. Soc. (JEMS), 25(3):933–994, 2023

2023
[26]

Academic Press, San Diego, CA, USA, 1983

Barrett O’Neill.Semi-Riemannian geometry with applications to relativity: Volume 103. Academic Press, San Diego, CA, USA, 1983

1983
[27]

On the geometry of metric measure spaces.Acta Mathematica, 196(1):65 – 131, 2006

Karl-Theodor Sturm. On the geometry of metric measure spaces.Acta Mathematica, 196(1):65 – 131, 2006

2006
[28]

On the geometry of metric measure spaces

Karl-Theodor Sturm. On the geometry of metric measure spaces. II.Acta Mathematica, 196(1):133 – 177, 2006

2006
[29]

Theory of optimal transport for Lorentzian cost functions

Stefan Suhr. Theory of optimal transport for Lorentzian cost functions. M¨ unster J. Math., 11(1):13–47, 2018

2018
[30]

Springer, Berlin, 2009 edition, 2008

Cedric Villani.Optimal Transport: Old and New. Springer, Berlin, 2009 edition, 2008. 68

2009

Pith tools

Reviewed August 3, 2026 · model on record in the stance chip above.

[1] [22]

On the locus of multiple maximizing geodesics on a globally hyperbolic spacetime.arXiv preprint arXiv:2507.22737, 2025

Alec Metsch. On the locus of multiple maximizing geodesics on a globally hyperbolic spacetime.arXiv preprint arXiv:2507.22737, 2025

arXiv 2025

[2] [1]

A user’s guide to optimal transport

Luigi Ambrosio and Nicola Gigli. A user’s guide to optimal transport. In Modelling and optimisation of flows on networks, volume 2062 ofLecture Notes in Math., pages 1–155. Springer, Heidelberg, 2013

[3] [2]

Lectures in Mathematics ETH Z¨ urich

Luigi Ambrosio, Nicola Gigli, and Giuseppe Savar´ e.Gradient flows in met- ric spaces and in the space of probability measures. Lectures in Mathematics ETH Z¨ urich. Birkh¨ auser Verlag, Basel, 2005

2005

[4] [3]

Routledge, London, England, 2017

John K Beem.Global Lorentzian Geometry, Second Edition. Routledge, London, England, 2017

2017

[5] [4]

Existence ofC 1,1 critical sub-solutions of the Hamilton- Jacobi equation on compact manifolds.Ann

Patrick Bernard. Existence ofC 1,1 critical sub-solutions of the Hamilton- Jacobi equation on compact manifolds.Ann. Sci. ´Ecole Norm. Sup. (4), 40(3):445–452, 2007

2007

[6] [5]

Brenier, U

Y. Brenier, U. Frisch, M. H´ enon, G. Loeper, S. Matarrese, R. Mohayaee, and A. Sobolevski ˘ ı. Reconstruction of the early universe as a convex op- timization problem.Monthly Notices of the Royal Astronomical Society, 346(2):501–524, 12 2003

2003

[7] [6]

Singularities of solu- tions of time dependent Hamilton-Jacobi equations

Piermarco Cannarsa, Wei Cheng, and Albert Fathi. Singularities of solu- tions of time dependent Hamilton-Jacobi equations. Applications to Rie- mannian geometry.Publ. Math. Inst. Hautes ´Etudes Sci., 133:327–366, 2021

2021

[8] [7]

Optimal transport in Lorentzian synthetic spaces, synthetic timelike Ricci curvature lower bounds and ap- plications.Camb

Fabio Cavalletti and Andrea Mondino. Optimal transport in Lorentzian synthetic spaces, synthetic timelike Ricci curvature lower bounds and ap- plications.Camb. J. Math., 12(2):417–534, 2024

2024