REVIEW 1 major objections 6 minor 1 cited by
On families of Finsler metrics
T0 review · 1 major / 6 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read Under a bi-geodesic condition, arithmetic symmetrisation of any Finsler metric is again Finsler, with the weighted norm as Lagrangian.
desk verdict Solid general theorems on symmetrizing Finsler metrics, but the advertised Funk-metric application is spoiled by a genuine degeneracy issue on unbounded domains. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the bi-geodesic: an absolutely continuous path $\gamma$ with $\ell_F(\gamma)=d(F)(x,y)$ and $\ell_F(\gamma^{-1})=d(F)(y,x)$. The proof of Theorem 5.3 lets this single path attain the two infima in Lemma 3.7 simultaneously, converting the general inequality $\delta(\ell(F^a_t))\ge d(F)^a_t$ into equality. The companion machinery is the identification of variational length with integral Finsler length for absolutely continuous paths (Lemma 4.7) and the identity $(\ell_F)_t=\ell_{F^a_t}$ (Corollary 4.20), which pass the arithmetic combination through the length-to-distance construction. For the max family, the controlling condition is a sign condition on the difference $(1-t)F_1-tF_2$ along a common geodesic.
What would settle it
Integrate the Lagrangian $p^a_t$ given in Section 6 for the upper half-space model, namely $p^a_t(x,v)=t v_n/x_n$ for $v_n>0$ and $(1-t)|v_n|/x_n$ for $v_n<0$, along the straight segment between two points and compare with the weighted Funk distance $F^a_t$; any $t\in(0,1)$ for which the two numbers differ would refute Corollary 6.5 and the bi-geodesic transfer principle behind it.
Extended reading notes
Core claim
The core discovery is that reversibility of geodesics, not symmetry of the norm, is the controlling condition for whether symmetrised distances stay Finsler. Theorem 5.3 states that if a Finsler structure $F$ on a smooth manifold admits an absolutely continuous bi-geodesic between every pair of points, then for every $t\in[0,1]$ the arithmetic weighted distance $d(F)^a_t$ is induced by the Finsler structure $F^a_t(x,v)=(1-t)F(x,v)+tF(x,-v)$, and every bi-geodesic of $F$ is also a bi-geodesic of $F^a_t$. Because straight segments are bi-geodesics for the Funk metric on a convex domain, Corollary 6.5 makes the weighted arithmetic Funk metrics Finsler with straight-line geodesics. The paper further shows that a weighted sum $(1-t)F_1+tF_2$ induces the weighted distance exactly when a common absolutely continuous geodesic exists, and that the max version requires, in the smooth complete case, a common geodesic along which one Lagrangian dominates the other.
Load-bearing premise
The load-bearing premise is that every pair of points can be joined by a path that is shortest in both directions at once, which Theorem 5.3 requires and Section 7 does not verify for the Thurston-like metrics it discusses.
Editorial extensions
If this is right
- For any convex domain, the weighted arithmetic Funk metrics $F^a_t$ are Finsler for every $t$, and the straight Euclidean segments are their geodesics, so this is a family of solutions to Hilbert's fourth problem.
- The Hilbert metric is the $t=1/2$ member of this family, and its Finsler Lagrangian is recovered as the arithmetic symmetrisation of the Funk Lagrangian, now extended from $t=1/2$ to all weights.
- Any Finsler manifold satisfying the bi-geodesic hypothesis inherits a geodesic-sharing property: the same paths that are bi-geodesics for $F$ are bi-geodesics for $F^a_t$.
- Sums and maxima of complete Finsler structures are complete, and forward and backward convergence always agree for Finsler-induced distances, which reproduces the convergence behaviour known for Thurston's and the earthquake metrics.
- For $t\neq 0$, the weighted arithmetic Funk metric is uniquely geodesic precisely when the boundary contains no pair of non-collinear Euclidean segments in a common plane, matching the Hilbert-metric criterion.
Reading between the lines
- The bi-geodesic hypothesis suggests a concrete check for other asymmetric metrics: if some pair lacks a two-way shortest path, the arithmetic symmetrisation could still be Finsler, but the equality in Theorem 5.3 would not follow from this argument; Section 7's Teichmüller metrics are the natural place to test whether the condition is necessary.
- The sign condition in the max theorem looks like a no-overtaking condition along a common geodesic; on convex domains, testing it for the weighted max Funk metrics would explain exactly where the counterexample in Remark 6.3 enters and whether other weights behave better.
- Using the explicit Lagrangian in the ball and upper half-space models, one could compute flag curvature or projectivity of the weighted Funk metrics; the paper establishes geodesics and Finslerity but leaves those derived quantities open.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies two one-parameter families of metrics derived from a Finsler metric F: the arithmetic family d(F)^a_t = (1-t)d(F)+t d(F)^{-1} and the max family d(F)^m_t = max{(1-t)d(F), t d(F)^{-1}}. It gives conditions under which these distance functions are induced by Finsler structures with Lagrangians F^a_t = (1-t)F+tF(x,-v) and F^m_t = max{(1-t)F, tF(x,-v)}. The main positive results are Theorem 5.1 (characterization via common geodesics for two Finsler metrics), Theorem 5.3 (bi-geodesic hypothesis implies the arithmetic symmetrization is Finsler), Theorem 5.4 (sign condition for the max Lagrangian), and a necessary-and-sufficient condition in Theorem 5.5. The paper also develops weak-metric tools (completeness, Arzelà–Ascoli, Hopf–Rinow in the asymmetric setting) and applies the results to Funk and Hilbert geometries, where the arithmetic weighted Funk metrics are shown to have straight-line geodesics. Section 7 formulates open questions for Thurston-like metrics on Teichmüller spaces.
Significance. If the main theorems are correct, they provide a clean synthesis of known symmetrization phenomena in Finsler and Funk/Hilbert geometry, with machine-checkable-level detail in the proofs of Theorems 5.1, 5.3, and 5.4. The explicit use of absolute continuity and bi-geodesics is a genuine improvement over earlier heuristic treatments. The application to weighted Funk metrics and the connection to Hilbert's fourth problem are attractive. However, the advertised application in Corollary 6.5 is not valid for unbounded convex domains, and the necessity proof of Theorem 5.5 has a gap; these need to be resolved before the results can be accepted in full.
major comments (1)
- [Section 6, Corollary 6.5 and the upper half-space example] The statement of Corollary 6.5 is false as written for unbounded convex sets. For the upper half-space H={x_n>0}, the Funk Lagrangian p(x,v)=inf{t>0 | x+v/t∈H} vanishes whenever v_n≥0, including all horizontal vectors v with v_n=0. Consequently p^a_t(x,v)=(1-t)p(x,v)+tp(x,-v) also vanishes on horizontal vectors, contradicting Definition 4.1(3), which requires F(x,v)=0 if and only if v=0. The induced distance satisfies F^a_t(x,y)=0 for two distinct points on the same horizontal level, so p^a_t is not a Finsler structure in the sense of the paper. The displayed formula p(x,v)=max(v_n/x_n,0) is also incorrect: the correct expression is p(x,v)=max(-v_n/x_n,0), and the subsequent piecewise formula for p^a_t is consistent with this corrected p. The corollary can be repaired by restricting to bounded convex sets (or more generally to convex sets containing no affine line), but this restriction is not stated anywhere in Section 6; indeed the section explicitly allows arbitrary closed convex sets and presents the upper half-space as an example. This affects the advertised application to Funk geometry and the Hilbert-fourth-problem interpretation in Proposition 6.1.
minor comments (6)
- [Section 2, Example 2.1] The notation 'length dm (α[a,t0])' is slightly ambiguous; it would be clearer to write 'the length of the subarc α|[a,t0] with respect to the norm ‖·‖_m'.
- [Section 4, Definition 4.14 and Lemma 4.15] The metric d(F) is denoted dF in Definition 4.14 and Lemma 4.15 without being defined; please use d(F) consistently throughout.
- [Section 4, proof of Proposition 4.13] The sentence 'She other inequality' contains a typo; it should be 'The other inequality'.
- [Section 5, Theorem 5.5 proof] There are several typos in the displayed formulas: the final line writes 'd(max{(1-t)F1,F2})' where tF2 is meant, and earlier 'max{td(F1),(1-t)d(F2)}' swaps the arguments. These make the case analysis harder to follow.
- [Section 6, first paragraph] The section begins by taking Ω to be a closed convex set, but Corollary 6.5 refers to 'an open convex set'; the relationship between these two conventions (and the domain on which the Funk metric is defined) should be clarified.
- [Section 1, outline] The outline says Busemann's axiom is introduced in Section 4, but it is actually defined in Definition 3.2 in Section 3; please correct the cross-reference.
Circularity Check
No circularity: weighted Finsler conclusions follow from explicit bi-geodesic hypotheses, not from definitional identifications.
full rationale
The central derivation chain is self-contained. Theorem 5.3's equality δ(l(F^a_t)) = d(F)^a_t is not a definitional identity: the lower bound in Eq. (11) is the always-true inf-over-sum inequality, and the matching upper bound uses the genuinely substantive hypothesis that every pair of points is joined by an absolutely continuous bi-geodesic. Corollary 6.5 applies this theorem to Funk geometry, where straight segments serve as bi-geodesics; the corollary's conclusion is the theorem's conditional conclusion, not a restatement of the definitions of F^a_t or p^a_t. Theorems 5.1, 5.4, and 5.5 similarly reduce to their explicit hypotheses (common geodesics, sign conditions) and are proven from Lemma 4.7 and Corollary 4.20. Self-citations ([16], [17], [26], [32]) are contextual, historical, or used for comparison; none is load-bearing, and [26] is explicitly generalized with a proof in the text. No fitted parameter is renamed as a prediction. One non-circular correctness concern should be noted separately: in the half-space example of Section 6, the displayed p(x,v)=max(v_n/x_n,0) yields p(x,v)=0 for horizontal vectors, contradicting Definition 4.1(3); this affects the validity of Corollary 6.5 for unbounded Ω, but it is an error in applying Theorem 5.3, not a circular reduction of the paper's claims.
Assumptions & free parameters
assumptions (6)
- domain assumption Finsler structures are continuous weak norms on tangent spaces (Definition 4.1), with no symmetry, smoothness, or strong convexity required.
- domain assumption All weak metric spaces are assumed to satisfy Busemann's axiom (Section 3).
- domain assumption Existence of absolutely continuous geodesics or bi-geodesics between every pair of points (hypotheses of Theorems 5.1, 5.3, 5.4 and Corollary 6.5).
- domain assumption For Theorem 5.5, the two Finsler structures are complete and C∞.
- standard math Arzelà-Ascoli theorem for asymmetric metric spaces (Collins-Zimmer [8]).
- standard math Complete C∞ Finsler manifolds admit C∞ geodesics (Bao-Chern-Shen, Theorem 6.6.1 [2]).
Cite this review
Pith. "Pith review of On families of Finsler metrics." pith.science (2026). https://pith.science/paper/PTNE2P2B
@misc{pith2026250603749,
author = {Pith},
title = {Pith review of: On families of Finsler metrics},
year = {2026},
howpublished = {\url{https://pith.science/paper/PTNE2P2B}},
note = {Machine review of arXiv:2506.03749}
}
read the original abstract
In this paper, we answer some natural questions on symmetrisation and more general combinations of Finsler metrics, with a view towards applications to Funk and Hilbert geometries and to metrics on Teichm{\"u}ller spaces. For a general non-symmetric Finsler metric on a smooth manifold, we introduce two different families of metrics, containing as special cases the arithmetic and the max symmetrisations respectively of the distance functions associated with these Finsler metrics. We are interested in various natural questions concerning metrics in such a family, regarding its geodesics, its completeness, conditions under which such a metric is Finsler, the shape of its unit ball in the case where it is Finsler, etc. We address such questions in particular in the setting of Funk and Hilbert geometries, and in that of the Teichm{\"u}ller spaces of several kinds of surfaces, equipped with Thurstonlike asymmetric metrics.
Figures
Forward citations
Cited by 1 Pith paper
-
On the average scale-invariant Cassinian metric
The average scale-invariant Cassinian metric is sharply comparable to four standard hyperbolic-type metrics, and its balls in punctured Euclidean space are convex exactly for radius at most log 3.
Reference graph
Works this paper leans on
-
[1]
Hilbert metric and quasiconformal mappings
S. Altinkaya, M. Fujimura and M. Vuorinen, Hilbert metri c and quasi- conformal mappings, arXiv:2502.18109, 2025
work page Pith review arXiv 2025
-
[2]
D. Bao, S. S. Chern and Z. Shen, An introduction to Riemann-Finsler geometry, Graduate Texts in Mathematics, 200, Springer, New York, 2000
work page 2000
-
[3]
Busemann, The geometry of Finsler spaces
H. Busemann, The geometry of Finsler spaces. Bull. Am. Ma th. Soc. 56, 5-16 (1950)
work page 1950
-
[4]
Busemann, The geometry of geodesics, Academic Press, London (1955), reprint, Dover, 2005
H. Busemann, The geometry of geodesics, Academic Press, London (1955), reprint, Dover, 2005
work page 1955
-
[5]
Busemann, Recent synthetic differential geometry
H. Busemann, Recent synthetic differential geometry. Erg eb. Math. Grenzgeb. 54 (1970)
work page 1970
-
[6]
H. Busemann and W. Mayer, On the foundations of calculus o f varia- tions, Trans. Amer. Math. Soc. 49 (1941), 173–198
work page 1941
-
[7]
A. Y. Burtscher, Length structures on manifolds with con tinuous Rie- mannian metrics, New York J. Math. 21 (2015), 273–296. 32
work page 2015
-
[8]
J. Collins and J. Zimmer, An asymmetric Arzel` a–Ascoli t heorem, Topology Appl. 154 (2007), no. 11, 2312–2322
work page 2007
Show all 35 references
-
[9]
Funk, ¨Uber geometrien, bei denen die geraden die k¨ urzesten sind
P. Funk, ¨Uber geometrien, bei denen die geraden die k¨ urzesten sind. Math. Ann. 101, 226-237 (1929)
1929
-
[10]
de la Harpe, On Hilbert’s metric for simplices
P. de la Harpe, On Hilbert’s metric for simplices. In: Ge ometric group theory (G. A. Niblo et al., eds.), Vol. 1, London Math. Soc. Le cture Note Ser. 181, Cambridge University Press, Cambridge 1993, 97-119
1993
-
[11]
Hausdorff, Mengenlehre, Berlin, de Greuter, 1927
F. Hausdorff, Mengenlehre, Berlin, de Greuter, 1927. Eng lish transla- tion, Set Theory. AMS Chelsea Publishing, 1957
1927
-
[12]
Hilbert, Mathematische Probleme, Goettinger Nachr ichten, 1900, pp
D. Hilbert, Mathematische Probleme, Goettinger Nachr ichten, 1900, pp. 253- 297, reprinted in Archiv der Mathematik und Physik, 3d. ser., vol. 1 (1901) p. 44-63 and 213-237. English version, Mathema tical prob- lems, translated by M. Winston Newson, Bulletin of the AMS, v ol. ...
1901
-
[13]
Huang, K
Y. Huang, K. Ohshika and A. Papadopoulos, The infinitesi mal and global Thurston geometry of Teichm¨ uller space. arXiv:211 1.13381 (2021), to appear in the Journal of Differential Geometry
2021
-
[14]
Huang, K
Y. Huang, K. Ohshika, H. Pan and A. Papadopoulos, The ear thquake metric on Teichm¨ uller space, preprint, 2024
2024
-
[15]
Miyachi, K
H. Miyachi, K. Ohshika and A. Papadopoulos, On the Teich m¨ uller space of acute triangles, Monatsh. Math. 205, No. 3, 649-666 (2024 )
2024
-
[16]
Tangent spaces of the Teichm¨ uller space of the torus with Thurston’s weak metric
Miyachi, H., Ohshika, K., and Papadopoulos, A. Tangent spaces of the Teichm¨ uller space of the torus with Thurston’s weak metric. Ann. Fenn. Math. 47, 1 (2022), p. 325-334
2022
-
[17]
The Teic hm¨ uller– Randers metric, to appear in the Annales de l’Institut Fouri er, 2025
Miyachi, H., Ohshika, K., and Papadopoulos, A. The Teic hm¨ uller– Randers metric, to appear in the Annales de l’Institut Fouri er, 2025
2025
-
[18]
Ohshika and A
K. Ohshika and A. Papadopoulos, Bijections of geodesic lamination space preserving left Hausdorff convergence, Monatshefte f ¨ ur Mathe- matik, 189 (2019), Issue 3, p. 507–521
2019
-
[19]
Papadopoulos, Hilbert’s fourth problem, In: Handbo ok of Hilbert geometry (A
A. Papadopoulos, Hilbert’s fourth problem, In: Handbo ok of Hilbert geometry (A. Papadopoulos and M. Troyanov, ed.), European M athe- matical Society, 2014, p. 391-431. 33
2014
-
[20]
Papadopoulos and M
A. Papadopoulos and M. Troyanov, From Funk to Hilbert ge ometry. Handbook of Hilbert geometry, 33-67, IRMA Lect. Math. Theor . Phys., 22, Eur. Math. Soc., Z¨ urich, 2014
2014
-
[21]
Papadopoulos and S
A. Papadopoulos and S. Yamada, The Funk and Hilbert geom etries for spaces of constant curvature, Monatsh. Math 172, p. 97-120, (2013)
2013
-
[22]
Papadopoulos and S
A. Papadopoulos and S. Yamada, Timelike Hilbert and Fun k geome- tries, Differential Geometry and its Applications, 67 (2019) Article ID 101554, 42 p
2019
-
[23]
Papadopoulos and S
A. Papadopoulos and S. Yamada, Timelike Hilbert geomet ry of the spherical simplex, In: Essays in geometry. Dedicated to Nor bert A’Campo, ed. A. Papadopoulos, Berlin: European Mathematic al So- ciety, p. 847-870 (2023)
2023
-
[24]
Papadopoulos and G
A. Papadopoulos and G. Th´ eret, On the topology defined by Thurston’s asymmetric metric, Math. Proc. Cambridge Philos. Soc. 142 (2007), no. 3, 487–496; MR2329697
2007
-
[25]
Papadopoulos and M
A. Papadopoulos and M. Troyanov, Weak Finsler structur es and the Funk weak metric. Math. Proc. Camb. Philos. Soc. 147, No. 2, 4 19-437 (2009)
2009
-
[26]
Papadopoulos and M
A. Papadopoulos and M. Troyanov, Harmonic symmetrizat ion of convex sets and of Finsler structures, with applications to Hilber t geometry. Expo. Math. 27, No. 2, 109-124 (2009)
2009
-
[27]
Papadopoulos and M
A. Papadopoulos and M. Troyanov, ed. Handbook of Hilber t geometry. European Mathematical Society, IRMA Lectures in Mathemati cs and Theoretical Physics No. 22. 452 p., 2014
2014
-
[28]
Rainio and M
O. Rainio and M. Vuorinen, Hilbert metric in the unit bal l, Studia Sci. Math. Hungar. 60(2-3), 2023, 175-191
2023
-
[29]
Randers, On an asymmetrical metric in the four-space of general relativity
G. Randers, On an asymmetrical metric in the four-space of general relativity. Phys. Rev. (2) 59 (1941), 195-199
1941
-
[30]
Sa˘ glam, and A
˙I. Sa˘ glam, and A. Papadopoulos, Thurston’s asymmetric met ric on the space of singular flat metrics with a fixed quadrangulatio n, L’Ens. Math., 2024
2024
-
[31]
Sa˘ glam, and A
˙I. Sa˘ glam, and A. Papadopoulos, Minimal stretch maps betwe en Eu- clidean triangles, Osaka Math. Journal, to appear. 34
-
[32]
Sa˘ glam, K
˙I. Sa˘ glam, K. Ohshika and A. Papadopoulos, On the space of Euclidean triangles and triangulated Euclidean surfaces, preprint, 2025
2025
-
[33]
W. P. Thurston, Minimal stretch maps between hyperboli c surfaces. arXiv.org math.GT (01 1998). Published in the Collected Wor ks of William P. Thurston, Vol. I, American Mathematical Society , Provi- dence, RI, 2022, p. 533-585
1998
-
[34]
Troyanov, Funk and Hilbert geometries from the Finsl erian view- point, In: Handbook of Hilbert geometry (A
M. Troyanov, Funk and Hilbert geometries from the Finsl erian view- point, In: Handbook of Hilbert geometry (A. Papadopoulos an d M. Troyanov, ed.), European Mathematical Society, 2014, p. 69 -110
2014
-
[35]
Zhang & W
F. Zhang & W. Zhao, Absolutely continuous curves in Fins ler-like spaces. Differ. Geom. Appl. 96, 102154 (2024). ˙Ismail Sa˘ glam Adana Alparslan Turkes Science and Technology University, Department of Aerospace Engineering, Adana,T¨ urkiye e-mail: isaglamtrfr@gmail.com Ken’ich...
2024
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.