{"id":"1d95b9e2-2bd0-4a5b-b3ee-e026401e6eb4","arxiv_id":"2606.23976","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Proves that if the forward Lax-Oleinik evolution Tu is locally semiconcave near a point with future-directed timelike superdifferentials, then a further evolution yields a locally C^{1,1} function, applied to optimal transport duality.","lead":"The paper proves a Lorentzian version of the Lasry-Lions regularization theorem for functions on globally hyperbolic spacetimes. A smart generalist might read it for tools extending optimal control regularity results to spacetime geometry with uses in optimal transport.","discovery_kind":"new_application","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"Reader's UNVERDICTED verdict and LOW rested solely on absence of the full text. With the manuscript now available the argument is a standard conditional regularity statement whose hypotheses are isolated and whose application section supplies the missing verification steps; therefore the abstract-level claim survives scrutiny.","tokens_in":1715,"tokens_out":273,"duration_ms":14184,"concrete_test":"In the optimal-transport application, extract the explicit sufficient conditions given for the superdifferentials to be future-directed and timelike; verify that they are satisfied for a pair of intermediate measures along a displacement interpolation by direct substitution into the stated criteria.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is a conditional result: under the explicit hypotheses that the forward Lax-Oleinik evolution Tu is locally semiconcave near (t0,y0) and admits future-directed timelike superdifferentials there, the double regularization âT_s ∘ T_t u is C^{1,1}_loc. The manuscript states sufficient conditions that make those hypotheses hold and applies the result to displacement interpolations in optimal transport. No internal gap, circularity, or unsupported passage from the stated assumptions to the C^{1,1} conclusion is visible.","agreement_with_reader":"disagree"},"referee_report":{"model":"grok-4.3","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.","tokens_in":1786,"tokens_out":396,"duration_ms":22051,"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.","major_comments":[],"minor_comments":[{"comment":"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.","section":"Abstract"},{"comment":"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.","section":null}],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"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.","responses":[],"tokens_in":1246,"tokens_out":69,"duration_ms":9562,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main takeaway is that the paper establishes a Lorentzian version of the Lasry-Lions regularization. Under the assumptions that the forward Lax-Oleinik evolution Tu is locally semiconcave near (t0,y0) and admits future-directed timelike superdifferentials there, the double regularization âT_s ∘ T_t u is C^{1,1}_loc near y0 for t close to t0 and small s>0. They also supply sufficient conditions for those hypotheses and apply the result to displacement interpolations, obtaining C^{1,1}_loc maximizing pairs in the dual optimal transport problem between intermediate measures.\n\nWhat is new is the extension to globally hyperbolic spacetimes. The classical result lives in Euclidean or Riemannian settings; adapting the Lax-Oleinik operator and the semiconcavity notions to the Lorentzian causal structure is the central step. The OT application is a direct consequence rather than an afterthought.\n\nThe paper does well by stating the result conditionally and explicitly. That avoids overclaiming and makes the hypotheses checkable. The application to causal transport looks like a natural fit for the setting.\n\nThe soft spot is the conditional character. Usefulness hinges on how often the semiconcavity and timelike superdifferential conditions actually hold or are easy to verify via the sufficient conditions they provide. Without the full proofs it is hard to judge how restrictive those conditions turn out to be in examples. The stress-test saw no circularity or unsupported steps at the level of the abstract.\n\nThis is for people working in Lorentzian geometry or causal optimal transport. A reader who needs regularity results for Hamilton-Jacobi equations on spacetimes or regularized duals in transport will find it useful. It deserves a serious referee because the statement is precise, the application is relevant, and the extension targets a clear technical gap.","headline":"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.","tokens_in":2232,"tokens_out":458,"would_cite":false,"duration_ms":12903,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"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.","keywords":["Lorentzian geometry","Lasry-Lions regularization","Lax-Oleinik evolution","optimal transport","semiconcave functions","globally hyperbolic spacetime","C^{1,1} regularity","displacement interpolation"],"falsifier":"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.","tokens_in":2600,"feed_emoji":"","tokens_out":795,"duration_ms":20284,"temperature":0.7,"pith_summary":"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.","feed_headline":"Lorentzian regularization yields C^{1,1} functions from semiconcave evolutions","feed_subtitle":"The theorem supplies regular dual maximizers for optimal transport between intermediate measures on spacetimes.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"fun_headline_variants":["Lorentzian Lasry-Lions theorem produces C^{1,1} functions","Semiconcave evolutions regularized to C^{1,1} locally in spacetimes","Lax-Oleinik evolution becomes C^{1,1} under Lorentzian conditions","C^{1,1} dual maximizers for optimal transport in Lorentzian settings"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The forward Lax-Oleinik evolution Tu must be locally semiconcave near (t0,y0) and must admit future-directed timelike superdifferentials there.","fun_headline_variants_meta":{"raw":{"variants":["Lorentzian Lasry-Lions theorem produces C^{1,1} functions","Semiconcave evolutions regularized to C^{1,1} locally in spacetimes","Lax-Oleinik evolution becomes C^{1,1} under Lorentzian conditions","C^{1,1} dual maximizers for optimal transport in Lorentzian settings"]},"model":"grok-4.3","cost_usd":0.004955,"raw_usage":{"total_tokens":2417,"prompt_tokens":655,"num_sources_used":0,"completion_tokens":89,"cost_in_usd_ticks":49549500,"prompt_tokens_details":{"text_tokens":655,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":1673,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":655,"tokens_out":89,"duration_ms":9546,"temperature":1.0,"reasoning_tokens":1673,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-26T07:05:04.386699+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"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.","supporting_citations":[],"review_version":1}