Pith. sign in

REVIEW 2 minor 21 references

A Lorentzian Lasry-Lions regularization theorem

T0 review · 0 major / 2 minor · reviewed 2026-06-26 · grok-4.3

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

Pith's one-line read If the forward Lax-Oleinik evolution of a function on a globally hyperbolic spacetime is locally semiconcave with future-directed timelike superdifferentials, then a composition of evolutions yields local C^{1,1} regularity.

desk verdict This paper gives a conditional Lorentzian Lasry-Lions theorem plus an OT application; the statement is clean and the stress-test found no internal gaps. read the letter →

arxiv 2606.23976 v1 pith:HOAVPTFN submitted 2026-06-22 math.OC math.DG

Alec Metsch This is my paper · ORCID
classification math.OCmath.DG
keywords LorentziangeometryLasry-LionsregularizationLax-OleinikevolutionoptimaltransportsemiconcavefunctionsgloballyhyperbolicspacetimeC^{11}regularitydisplacementinterpolation
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 a Lorentzian analogue of the Lasry-Lions regularization theorem. It proves that when the forward Lax-Oleinik evolution Tu satisfies local semiconcavity and has future-directed timelike superdifferentials near a point, the composed map âT_s ∘ T_t u becomes locally C^{1,1} for t near t0 and small positive s. This construction supplies a regularization procedure adapted to the causal structure of the spacetime. The theorem is applied to optimal transport, where it guarantees the existence of C^{1,1}_loc-regular maximizing pairs in the dual problem for any two intermediate measures along a displacement interpolation.

What carries the argument

The composition âT_s ∘ T_t of the backward and forward Lax-Oleinik evolutions, which converts the semiconcavity and timelike superdifferential assumptions into local C^{1,1} regularity.

What would settle it

An explicit globally hyperbolic spacetime, a function u, and parameters t,s where Tu meets the semiconcavity and timelike superdifferential conditions but âT_s ∘ T_t u fails to be differentiable with Lipschitz derivative near y0.

Watch

Extended reading notes

Core claim

Let u be a function defined on a globally hyperbolic spacetime. Assume that its forward Lax-Oleinik evolution Tu is locally semiconcave in a neighbourhood of (t0,y0) and has future-directed timelike superdifferentials there. Then, for t close to t0 and sufficiently small s>0, the function âT_s ∘ T_t u is of class C^{1,1}_loc in a neighbourhood of y0. Sufficient conditions for the assumptions are supplied, and the result yields C^{1,1}_loc-regular maximizing pairs for the dual formulation of optimal transport between intermediate measures.

Load-bearing premise

The forward Lax-Oleinik evolution Tu must be locally semiconcave near (t0,y0) and must admit future-directed timelike superdifferentials there.

Editorial extensions

If this is right

  • The composition âT_s ∘ T_t u becomes C^{1,1}_loc under the stated hypotheses.
  • Sufficient conditions on u and the spacetime guarantee that the semiconcavity and superdifferential assumptions hold.
  • For any two intermediate measures along a displacement interpolation, a C^{1,1}_loc-regular maximizing pair exists in the dual optimal transport problem.

Reading between the lines

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

  • The same composition technique may produce regular solutions for Hamilton-Jacobi equations on other Lorentzian manifolds that satisfy analogous semiconcavity hypotheses.
  • Numerical schemes for relativistic optimal transport could exploit the C^{1,1} output to improve stability when evolving measures along geodesics.
  • The result suggests that displacement interpolations in globally hyperbolic settings admit dual optimizers with controlled second derivatives, which could simplify analysis of geodesic convexity.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 2 minor

Summary. The paper establishes a Lorentzian analogue of the Lasry-Lions regularization theorem. Let u be a function on a globally hyperbolic spacetime. Assuming the forward Lax-Oleinik evolution Tu is locally semiconcave near (t0,y0) and admits future-directed timelike superdifferentials there, the authors prove that âT_s ∘ T_t u is of class C^{1,1}_loc near y0 for t close to t0 and sufficiently small s>0. Sufficient conditions ensuring the hypotheses are provided, and the result is applied to displacement interpolations in optimal transport, yielding the existence of C^{1,1}_loc-regular maximizing pairs in the dual formulation under general assumptions.

Significance. If the result holds, it supplies a useful regularization tool adapted to Lorentzian geometry and causal structures, extending classical Euclidean results with direct relevance to optimal transport on spacetimes. The application to displacement interpolations demonstrates a concrete payoff in the dual problem, where the C^{1,1}_loc regularity of maximizers follows from the theorem once the semiconcavity hypotheses are verified. The conditional statement is appropriately scoped and the provision of sufficient conditions strengthens applicability.

minor comments (2)
  1. [Abstract] Abstract: the operator âT_s is introduced without a brief inline description or forward reference to its definition (presumably in §2 or §3); adding one sentence would aid readers unfamiliar with the Lorentzian Lax-Oleinik framework.
  2. The statement of sufficient conditions for the semiconcavity and superdifferential hypotheses (mentioned in the abstract) would benefit from an explicit pointer to the relevant theorem or proposition number in the main text.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript, the accurate summary of the Lorentzian Lasry-Lions regularization result and its application to displacement interpolations, and the recommendation for minor revision. The referee's evaluation of the significance is appreciated.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; theorem is conditional and self-contained

full rationale

The paper states a conditional result: given that the forward Lax-Oleinik evolution Tu is locally semiconcave near (t0,y0) with future-directed timelike superdifferentials, the composition âT_s ∘ T_t u is C^{1,1}_loc for small s and t near t0. Sufficient conditions for the hypotheses are supplied separately, and the optimal-transport application follows directly from the stated theorem. No equations, parameters, or predictions reduce to the inputs by construction; no self-citation chains or ansatzes are invoked as load-bearing steps in the provided abstract and description. The derivation chain is independent of its own outputs and rests on external geometric assumptions.

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

Relies on standard domain assumptions of globally hyperbolic spacetimes and properties of Lax-Oleinik evolutions from prior literature; no free parameters or invented entities stated in abstract.

assumptions (2)
  • domain assumption The spacetime is globally hyperbolic
    Required for the causal structure underlying the Lax-Oleinik evolution and superdifferentials.
  • domain assumption Forward Lax-Oleinik evolution Tu is locally semiconcave with future-directed timelike superdifferentials
    Explicit hypothesis of the theorem; if false the conclusion does not hold.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A Lorentzian Lasry-Lions regularization theorem." pith.science (2026). https://pith.science/paper/HOAVPTFN

@misc{pith2026260623976,
  author       = {Pith},
  title        = {Pith review of: A Lorentzian Lasry-Lions regularization theorem},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/HOAVPTFN}},
  note         = {Machine review of arXiv:2606.23976}
}
abstract

The main goal of this paper is to establish a general Lorentzian Lasry-Lions regularization theorem: let $u$ be a function defined on a globally hyperbolic spacetime. Assume that its forward Lax--Oleinik evolution $Tu$ is locally semiconcave in a neighbourhood of $(t_0,y_0)$ and has future-directed timelike superdifferentials there. Then, for $t$ close to $t_0$ and sufficiently small $s>0$, the function $\hat T_s\circ T_tu$ is of class $C_{\mathrm{loc}}^{1,1}$ in a neighbourhood of $y_0$. We give sufficient conditions ensuring the assumptions of the theorem and present an application to optimal transport: under quite general assumptions, for any two intermediate measures along a displacement interpolation, there exists a $C^{1,1}_{loc}$-regular maximizing pair in the dual formulation.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

21 extracted references · 2 canonical work pages

  1. [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. [2]

    Mc- Cann, Argam Ohanyan, Felix Rott, and Clemens S¨ amann

    Tobias Beran, Mathias Braun, Matteo Calisti, Nicola Gigli, Robert J. Mc- Cann, Argam Ohanyan, Felix Rott, and Clemens S¨ amann. A nonlinear d’alembert comparison theorem and causal differential calculus on metric measure spacetimes, 2025

    2025

  3. [3]

    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

  4. [4]

    Lasry-Lions regularization and a lemma of Ilmanen.Rend

    Patrick Bernard. Lasry-Lions regularization and a lemma of Ilmanen.Rend. Semin. Mat. Univ. Padova, 124:221–229, 2010

    2010

  5. [5]

    R´ enyi’s entropy on Lorentzian spaces

    Mathias Braun. R´ enyi’s entropy on Lorentzian spaces. Timelike curvature- dimension conditions.J. Math. Pures Appl. (9), 177:46–128, 2023

    2023

  6. [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. [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

  8. [8]

    Cambridge University Press, Cambridge, England, 2020

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

    2020

Show all 21 references
  1. [9]

    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

    2024

  2. [10]

    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

  3. [11]

    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

  4. [12]

    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

  5. [13]

    Lasry and P.-L

    J.-M. Lasry and P.-L. Lions. A remark on regularization in Hilbert spaces. Israel J. Math., 55(3):257–266, 1986. 34

    1986

  6. [14]

    Robert J. McCann. Polar factorization of maps on riemannian manifolds. GAFA Geom. Funct. Anal., 11(3):589–608, 2001

    2001

  7. [15]

    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

  8. [16]

    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

    2025

  9. [17]

    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

  10. [18]

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

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

    2019

  11. [19]

    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

  12. [20]

    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

  13. [21]

    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. 35

    2018

Pith tools

Reviewed June 26, 2026 · model on record in the stance chip above.