Pith. sign in

REVIEW 2 major objections 4 minor 41 references

Sub-Finslerian Interpolation Inequalities

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

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

Pith's one-line read This paper proves that forward ideal sub-Finslerian manifolds support interpolation inequalities for optimal transport, extending the sub-Riemannian result to the sub-Finslerian setting.

desk verdict A serious and valuable sub-Finslerian extension of Barilari–Rizzi, but the main theorem is conditional on a positivity lemma that is only sketched and delegated to sub-Riemannian references. read the letter →

arxiv 2607.16817 v1 pith:4TCR3L7T submitted 2026-07-18 math.DG math.OC

Haowei Lin This is my paper · ORCID
classification math.DGmath.OC MSC 53C1749Q2253C2349J15
keywords sub-FinsleriangeometryoptimaltransportinterpolationinequalityJacobifieldsdistortioncoefficientsBrunn-MinkowskimeasurecontractionpropertyRandersHeisenberggroup
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 extends the sub-Riemannian interpolation inequality to sub-Finslerian manifolds, where the distance is allowed to be asymmetric (irreversible). It defines sub-Finslerian Jacobi fields and generalized distortion coefficients, and proves that along the Wasserstein geodesic between two absolutely continuous measures, the density at intermediate times is bounded below by a weighted combination of the endpoint densities. This yields Brunn-Minkowski and Borell-Brascamp-Lieb inequalities in this setting. A worked example, the Randers sub-Finslerian Heisenberg group, provides explicit distortion coefficients and establishes the measure contraction property.

What carries the argument

The argument rests on three connected pieces: (1) a Jacobi-field calculus for sub-Finslerian geodesics via the Hamiltonian flow, leading to a Jacobian estimate (Theorem 3.7) for the derivative of the optimal transport map; (2) the Minkowski determinant theorem applied to matrix identities linking vertical and horizontal Jacobi matrices; and (3) a sub-Finslerian version of the Brenier-McCann theorem that supplies the optimal transport map and the Wasserstein geodesic. The 'forward ideal' condition (no abnormal minimizing geodesics) provides the regularity needed for these tools to work.

What would settle it

For a specific irreversible sub-Finslerian structure, such as the Randers sub-Finslerian Heisenberg group with a≠0, compute the Jacobian matrices N_0^V(t) and N_s^V(t) explicitly and check whether det(N_0^V(t)^{-1})>0 and N_0^V(t)^{-1}N_s^V(t)N_s^V(0)^{-1}≥0 hold for all relevant s,t; a single negative determinant or eigenvalue would invalidate the Minkowski step and violate the claimed inequality.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.1: on a forward ideal sub-Finslerian manifold (forward complete, with no nontrivial abnormal minimizing geodesics) equipped with a smooth measure, the density along the unique Wasserstein geodesic satisfies 1/ρ_t(T_t(x))^{1/n} ≥ (β^>_t)^{1/n}/ρ_0(x)^{1/n} + (β^<_t)^{1/n}/ρ_1(T(x))^{1/n} for µ0-a.e. x, where β^> and β^< are forward/backward distortion coefficients defined as volume-ratio limits along sub-Finslerian geodesic flows. This places the sub-Finslerian setting in the same framework as metric measure-space interpolation inequalities, with the distortion coefficients encoding the geometry instead of a sectional curvature bound.

Load-bearing premise

The Jacobian estimate at the heart of the proof relies on a positivity statement for certain Jacobian matrices (Proposition B.1) that is only sketched and transferred from the sub-Riemannian case; if these matrix inequalities fail for irreversible sub-Finslerian structures, the main interpolation inequality collapses.

Editorial extensions

If this is right

  • The interpolation inequality holds for irreversible sub-Finslerian metrics, with asymmetry handled by distinct forward and backward distortion coefficients.
  • It directly yields Brunn-Minkowski and Borell-Brascamp-Lieb inequalities, and hence the Prékopa-Leindler inequality, for forward ideal sub-Finslerian manifolds.
  • For the Randers sub-Finslerian Heisenberg group, the paper computes explicit distortion coefficients and proves the measure contraction property MCP(0,N) with an explicit N>5 depending on the drift parameter.
  • The p-mean inequality (Corollary 5.5) gives a whole family of concentration and volume comparison statements that interpolate between the endpoint densities.
  • The result provides a concrete step toward synthetic curvature-dimension conditions in nonholonomic geometries, where classical CD conditions are known to fail.

Reading between the lines

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

  • The hidden load-bearing step is the positivity of certain Jacobian matrix products (Proposition B.1), which the paper only sketches; if these inequalities fail for some irreversible sub-Finslerian structure, the Jacobian estimate and hence the main theorem would need revision.
  • The explicit Randers Heisenberg computation offers a ready test bed: one can numerically verify the positivity matrices and the distortion bounds for a≠0, providing independent evidence for the Jacobian estimate.
  • The forward/backward asymmetry in the distortion coefficients suggests that the effective 'geodesic dimension' may differ in the two directions, potentially leading to refined measure-contraction exponents.
  • A likely extension is to other Carnot-type sub-Finslerian groups, where explicit exponential-map computations could yield distortion coefficients and curvature exponents beyond the Heisenberg case.
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.

Referee Report

2 major / 4 minor

Summary. The paper extends Barilari–Rizzi sub-Riemannian interpolation inequalities to forward ideal sub-Finslerian manifolds, i.e., forward-complete sub-Finslerian structures with no nontrivial abnormal minimizers and possibly irreversible norms. The main result, Theorem 1.1, asserts a pointwise interpolation inequality for densities along Wasserstein geodesics, with generalized forward/backward distortion coefficients defined by volume-ratio limits. The proof develops sub-Finslerian Jacobi fields, a Jacobian estimate (Theorem 3.7), and an optimal transport theory culminating in the Brenier–McCann theorem and the Monge–Ampère equation (Theorem 4.7). Applications include Borell–Brascamp–Lieb, p-mean, Brunn–Minkowski, and MCP statements. In Section 6 the paper gives an explicit computation for Randers sub-Finslerian Heisenberg groups and proves an explicit MCP(0,N) exponent N(a)>5 for a≠0.

Significance. If the central Jacobian estimate is fully proved, the paper would be a substantial extension of the sub-Riemannian interpolation framework to a genuinely irreversible, non-quadratic setting, with a nontrivial Randers Heisenberg example and explicit MCP exponents. The paper's structure is coherent and the Randers Heisenberg computation in Appendix C is explicit and checkable; Proposition 6.3 provides a concrete, parameter-free bound on the curvature exponent. The main obstruction is that the crucial positivity lemma (Appendix B) is only sketched and delegates the core matrix inequalities to sub-Riemannian references, so the main theorem is currently conditional.

major comments (2)
  1. [Appendix B; Theorem 3.7] The proof of Theorem 3.7 reduces the Jacobian estimate to Proposition B.1: det N_0^V(t)>0, N_0^V(t)^{-1}N_s^V(t)N_s^V(0)^{-1}≥0, and N_0^V(t)^{-1}N(t)≥0, which are then used to apply Minkowski's determinant theorem to identity (3.3). Appendix B explicitly labels this lemma crucial, yet it supplies only a sketch: part (b) is transferred from [9, Lemma 74] and part (c) from [17, Claim 2.4], with assertions that the arguments survive in the sub-Finslerian setting. Because the Hamiltonian is non-quadratic and the metric is irreversible, these transfers are not automatic, and the nonnegativity/symmetry of the relevant matrix products is not verified. If any of these inequalities fails, the Minkowski step and the lower bound on det(d_xT_t) collapse, and Theorem 1.1 — which is derived from this estimate in §5.2 — is left unproved. A complete proof of Proposition B.1 must be supplied.
  2. [Theorem 3.7, limit s↑1] In the contradiction argument showing γ(1) is not conjugate to γ(0), the paper states that for fixed t<1 the numerator det N_s^V(t) 'remains nonzero' as s↑1 while the denominator det N_s^V(0) tends to 0, concluding that the right-hand side diverges. Nonzero is not sufficient: unless det N_s^V(t) is bounded away from zero, or is shown to converge to a nonzero limit via continuity of N_s^V(t) in s and invertibility of N_1^V(t) for t<1, the claimed divergence is unjustified. This step is needed to extend (3.4) to s=1 and should be proved explicitly.
minor comments (4)
  1. [Appendix B, near (B.1)] The notation in the sketch of part (c) is ambiguous: 'e^{t\vec H}_*(-c_s)(X(0))' should presumably read 'e^{t\vec H}_* d^2_x(-c_s)(X(0))', and 'M^v_s', 'N^v_s' should be 'M_s^V', 'N_s^V'. The current notation makes the claimed computation hard to verify.
  2. [Theorem 5.8, (ii)⇒(iii)] The proof asserts that shrinking neighborhoods A_r→{x} gives m(Z_t(A_r,B))→m(Z_t(x,B)). This requires a continuity or measure-theoretic justification, especially because B is an arbitrary Borel set and the points in B chosen by geodesics may not have compact closure. Without this, the claimed equivalence between the Brunn–Minkowski inequality and MCP is not fully established.
  3. [Title and abstract] The title contains an erroneous spacing: 'INTERPOLA TION' should be 'INTERPOLATION'. Similar spacing issues occur in the running header.
  4. [Section 3.2] When Theorem 3.7 refers to [9, Lemma 29] for the positivity step, it should also state explicitly which hypotheses of Proposition B.1 are being invoked, since the proof currently points to Appendix B only after the positivity assertion is already used in the main text.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main inequality is a genuine Jacobian estimate; distortion coefficients are independent volume-ratio limits, and the unproved positivity lemma is an external technical gap, not a self-referential input.

full rationale

The claimed derivation chain is not circular. The distortion coefficients (5.1) are defined directly as limits of measure ratios under the geodesic flow, independently of the interpolation inequality. Lemma 5.3 then computes them from Jacobi matrices, and Theorem 3.7 provides a lower bound on det(d_x T_t) via the identity (3.3), the Minkowski determinant theorem, and the positivity Proposition B.1. The interpolation inequality in Section 5.2 is obtained by combining this determinant estimate with the Monge-Ampère equation (Theorem 4.7); no fitted parameter is renamed as a prediction, and no quantity in the inequality is used to define the quantities that prove it. The MCP/Brunn-Minkowski equivalences in Theorem 5.8 are stated as direct equivalences with the distortion coefficients, and the substantive Randers-Heisenberg result (Proposition 6.3) is proved by an explicit Jacobian determinant computation (Appendix C), not by assuming the desired bound. The only load-bearing step that is not fully proved is Proposition B.1: Appendix B labels it 'crucial,' gives a sketch, and delegates (b) and (c) to [9, Lemma 74] and [17, Claim 2.4]. This is a genuine completeness/rigor gap that should be fixed, but it is not circular: [9] and [17] are external published results by other authors, they are not invoked to assume the sub-Finslerian interpolation inequality, and their stated hypotheses do not include the target result. The limit s↑1 in Theorem 3.7 is likewise under-justified in the text, but that is a technical gap, not a reduction of the theorem to its input. Overall, no circular step of the kinds in the rubric is present.

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

No free parameters are fitted or chosen by hand; the Randers drift a is an input parameter of the example, and the curvature exponent N(a) is an explicit function, not fitted. The axioms are standard optimal-control/symplectic tools plus the forward-ideal domain assumption and the sketched positivity lemma. No new particles, forces, dimensions, or ledger entities are introduced.

assumptions (5)
  • standard math Pontryagin Maximum Principle for sub-Finslerian optimal control (Theorem 2.5)
    Used to characterize normal and abnormal geodesics and to define the exponential map; cited to [40].
  • domain assumption Forward ideal hypothesis: forward complete and no nontrivial abnormal minimizing geodesics
    Global assumption in Definition 2.18, needed for semiconcavity of the squared distance, surjectivity of endpoint maps, and the optimal transport map construction.
  • domain assumption Darboux moving frame and matrix Riccati comparison theorem transfer from [10, Theorem B.1]
    Section 3.1 asserts the sub-Riemannian derivation applies verbatim to sub-Finslerian structures, despite H being only continuous on Ann(D); no independent verification is supplied.
  • domain assumption Positivity Proposition B.1: det N^V_0(t)^{-1}>0, N^V_0(t)^{-1}N^V_s(t)N^V_s(0)^{-1}≥0, N^V_0(t)^{-1}N(t)≥0
    Central to the Minkowski determinant step in Theorem 3.7; Appendix B is only a sketch referring to [9, Lemma 74] and [17, Claim 2.4].
  • standard math Minkowski determinant theorem
    Used to split the determinant of a sum in the Jacobian estimate.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Sub-Finslerian Interpolation Inequalities." pith.science (2026). https://pith.science/paper/4TCR3L7T

@misc{pith2026260716817,
  author       = {Pith},
  title        = {Pith review of: Sub-Finslerian Interpolation Inequalities},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/4TCR3L7T}},
  note         = {Machine review of arXiv:2607.16817}
}
read the original abstract

In this paper, we prove that forward ideal sub-Finslerian manifolds support interpolation inequalities for optimal transport, extending the results of Barilari and Rizzi, arXiv:1705.05380, from the sub-Riemannian to the sub-Finslerian setting. A key role is played by the introduction of sub-Finslerian Jacobi fields and the establishment of optimal transport theory on sub-Finslerian manifolds. By combining this transport framework with sub-Finslerian Jacobian estimates, we characterize the generalized distortion coefficients. As an application, we deduce several fundamental geometric inequalities, including the Brunn-Minkowski and Borell-Brascamp-Lieb inequalities. Finally, for the case of the Randers sub-Finslerian Heisenberg group, whose metric is defined by a sub-Riemannian metric perturbed by a drift term, we explicitly show that it satisfies the measure contraction property.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

41 extracted references · 6 linked inside Pith

  1. [9]

    Sub-Riemannian interpolation inequalities

    Barilari D, Rizzi L. Sub-Riemannian interpolation inequalities. Invent. Math., 2019, 215(3): 977–1038

    2019

  2. [19]

    Mass transportation on sub-Riemannian manifolds

    Figalli A, Rifford L. Mass transportation on sub-Riemannian manifolds. Geom. Funct. Anal., 2010, 20(1): 124– 159

    2010

  3. [17]

    A Riemannian interpolation inequality ` a la Borell, Brascamp and Lieb

    Cordero-Erausquin D, McCann R J, Schmuckenschl¨ ager M. A Riemannian interpolation inequality ` a la Borell, Brascamp and Lieb. Invent. Math., 2001, 146(2): 219–257

    2001

  4. [1]

    A comprehensive introduction to sub-Riemannian geometry

    Agrachev A, Barilari D, Boscain U. A comprehensive introduction to sub-Riemannian geometry. Cambridge University Press, 2019

    2019

  5. [2]

    Sub-Randers metrics

    Alabdulsada L M. Sub-Randers metrics. arXiv:2606.21922, 2026

    arXiv 2026

  6. [3]

    Hopf-Rinow theorem of sub-Finslerian geometry

    Alabdulsada L M, Kozma L. Hopf-Rinow theorem of sub-Finslerian geometry. arXiv:2301.13438, 2023

    arXiv 2023

  7. [4]

    On Borell-Brascamp-Lieb inequalities on metric measure spaces

    Bacher K. On Borell-Brascamp-Lieb inequalities on metric measure spaces. Potential Anal., 2010, 33(1): 1–15

    2010

  8. [5]

    An Introduction to Riemann-Finsler Geometry

    Bao D, Chern S S, Shen Z. An Introduction to Riemann-Finsler Geometry. Springer, 2000

    2000

Show all 41 references
  1. [6]

    Zermelo navigation on Riemannian manifolds

    Bao D, Robles C, Shen Z. Zermelo navigation on Riemannian manifolds. J. Differential Geom., 2004, 66(3): 377–435

    2004

  2. [7]

    Unified synthetic Ricci curvature lower bounds for Riemannian and sub- Riemannian structures

    Barilari D, Mondino A, Rizzi L. Unified synthetic Ricci curvature lower bounds for Riemannian and sub- Riemannian structures. Mem. Amer. Math. Soc., 2026, 317(1613): viii+145 pp

    2026

  3. [8]

    Comparison theorems for conjugate points in sub-Riemannian geometry

    Barilari D, Rizzi L. Comparison theorems for conjugate points in sub-Riemannian geometry. ESAIM Control Optim. Calc. Var., 2016, 22(2): 439–472

    2016

  4. [10]

    Bakry- ´Emery curvature and model spaces in sub-Riemannian geometry

    Barilari D, Rizzi L. Bakry- ´Emery curvature and model spaces in sub-Riemannian geometry. Math. Ann., 2020, 377(1): 435–482

    2020

  5. [11]

    Measure contraction property and curvature-dimension condition on sub-Finsler Heisenberg groups

    Borza S, Magnabosco M, Rossi T, Tashiro K. Measure contraction property and curvature-dimension condition on sub-Finsler Heisenberg groups. arXiv:2402.14779, 2024

    2024 arXiv

  6. [12]

    Curvature exponent of sub-Finsler Heisenberg groups

    Borza S, Magnabosco M, Rossi T, Tashiro K. Curvature exponent of sub-Finsler Heisenberg groups. SIAM J. Math. Anal., 2025, 57(4): 3561–3586

    2025

  7. [13]

    Hausdorff dimension and failure of synthetic curvature bounds in the sub- Lorentzian Heisenberg group

    Borza S, Rigoni C, Zoghlami O. Hausdorff dimension and failure of synthetic curvature bounds in the sub- Lorentzian Heisenberg group. arXiv:2509.06563, 2025

    2025 arXiv

  8. [14]

    Measure contraction property, curvature exponent and geodesic dimension of sub-Finsler ℓp-Heisenberg groups

    Borza S, Tashiro K. Measure contraction property, curvature exponent and geodesic dimension of sub-Finsler ℓp-Heisenberg groups. arXiv:2305.16722, 2023

    2023 arXiv

  9. [15]

    Genericity results for singular curves

    Chitour Y, Jean F, Tr´ elat E. Genericity results for singular curves. J. Differential Geom., 2006, 73(1): 45–73

    2006

  10. [16]

    Semiconcavity results for optimal control problems admitting no singular minimizing controls

    Cannarsa P, Rifford L. Semiconcavity results for optimal control problems admitting no singular minimizing controls. Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire, 2008, 25(4): 773–802

    2008

  11. [18]

    Optimal transportation on non-compact manifolds

    Fathi A, Figalli A. Optimal transportation on non-compact manifolds. Israel J. Math., 2010, 175(1): 1–59

    2010

  12. [20]

    Control of nonholonomic systems: from sub-Riemannian geometry to motion planning

    Jean F. Control of nonholonomic systems: from sub-Riemannian geometry to motion planning. Springer, 2014

    2014

  13. [21]

    Geometric inequalities and generalized Ricci bounds in the Heisenberg group

    Juillet N. Geometric inequalities and generalized Ricci bounds in the Heisenberg group. Int. Math. Res. Not., 2009, 2009(13): 2347–2373

    2009

  14. [22]

    Sub-Riemannian structures do not satisfy Riemannian Brunn-Minkowski inequalities

    Juillet N. Sub-Riemannian structures do not satisfy Riemannian Brunn-Minkowski inequalities. Rev. Mat. Iberoam., 2021, 37(1): 177–188

    2021

  15. [23]

    Perturbation theory for linear operators

    Kato T. Perturbation theory for linear operators. Springer, 1966

    1966

  16. [24]

    Ricci curvature for metric-measure spaces via optimal transport

    Lott J, Villani C. Ricci curvature for metric-measure spaces via optimal transport. Ann. of Math., 2009, 169(3): 903–991. SUB-FINSLERIAN INTERPOLA TION INEQUALITIES43

    2009

  17. [25]

    Failure of the curvature-dimension condition in sub-Finsler manifolds

    Magnabosco M, Rossi T. Failure of the curvature-dimension condition in sub-Finsler manifolds. arXiv:2307.01820, 2023

    2023 arXiv

  18. [26]

    The quasi curvature-dimension condition with applications to sub-Riemannian manifolds

    Milman E. The quasi curvature-dimension condition with applications to sub-Riemannian manifolds. Comm. Pure Appl. Math., 2021, 74(12): 2628–2674

    2021

  19. [27]

    Surface measures in Carnot-Carath´ eodory spaces

    Monti R, Serra Cassano F. Surface measures in Carnot-Carath´ eodory spaces. Calc. Var. Partial Differential Equations, 2001, 13(3): 339–376

    2001

  20. [28]

    Comparison Finsler Geometry

    Ohta S. Comparison Finsler Geometry. Springer, 2021

    2021

  21. [29]

    On the measure contraction property of metric measure spaces

    Ohta S. On the measure contraction property of metric measure spaces. Comment. Math. Helv., 2007, 82(4): 805–828

    2007

  22. [30]

    Finsler interpolation inequalities

    Ohta S. Finsler interpolation inequalities. Calc. Var. Partial Differential Equations, 2009, 36(2): 211–249

    2009

  23. [31]

    On the curvature and heat flow on Hamiltonian systems

    Ohta S. On the curvature and heat flow on Hamiltonian systems. Anal. Geom. Metr. Spaces, 2014, 2(1): 81–114

    2014

  24. [32]

    Ricci curvature in Carnot groups

    Rifford L. Ricci curvature in Carnot groups. Math. Control Relat. Fields, 2013, 3(4): 467–487

    2013

  25. [33]

    Sub-Riemannian geometry and optimal transport

    Rifford L. Sub-Riemannian geometry and optimal transport. Springer, 2014

    2014

  26. [34]

    Measure contraction properties of Carnot groups

    Rizzi L. Measure contraction properties of Carnot groups. Calc. Var. Partial Differential Equations, 2016, 55(3): 60

    2016

  27. [35]

    Failure of curvature-dimension conditions on sub-Riemannian manifolds via tangent isometries

    Rizzi L, Stefani G. Failure of curvature-dimension conditions on sub-Riemannian manifolds via tangent isometries. J. Funct. Anal., 2023, 285(9): 110099

    2023

  28. [36]

    The index of the second variation of a control system

    Sarychev A V. The index of the second variation of a control system. Math. USSR Sb., 1982, 41(3): 383–401

    1982

  29. [37]

    On the geometry of metric measure spaces

    Sturm K-T. On the geometry of metric measure spaces. Acta Math., 2006, 196(1): 65–131

    2006

  30. [38]

    On the geometry of metric measure spaces II

    Sturm K-T. On the geometry of metric measure spaces II. Acta Math., 2006, 196(2): 133–177

    2006

  31. [39]

    Optimal transport: old and new

    Villani C. Optimal transport: old and new. Springer, 2008

    2008

  32. [40]

    The geometry of irreversible sub-Finslerian spaces

    Yan Z, An H, Deng S. The geometry of irreversible sub-Finslerian spaces. Sci. China Math., 2025, 68(5): 1151– 1176

    2025

  33. [41]

    Differential geometry of curves in Lagrange Grassmannians with given Young diagram

    Zelenko I, Li C. Differential geometry of curves in Lagrange Grassmannians with given Young diagram. Differential Geom. Appl., 2009, 27(6): 723–742. Graduate School of Science, the University of Osaka, Osaka 560-0043, Japan Email address:u466248a@ecs.osaka-u.ac.jp

    2009

Pith tools

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