{"id":"f94ced66-2845-4ff8-aebe-013153a4a26d","arxiv_id":"1908.02701","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Two real-analytic Finsler metrics on a closed surface of negative Euler characteristic are projectively equivalent if and only if they differ by a positive scaling plus a closed 1-form.","lead":"On a closed surface with negative Euler characteristic, any two real-analytic Finsler metrics that share the same unparametrized geodesics must differ only by a constant scaling and a closed 1-form. The paper also constructs smooth non-analytic counterexamples, showing the real-analytic condition is necessary.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Section 3's annulus argument silently assumes s0<2; this unproved inequality is needed for the positive-entropy input to Theorem 1 and should be corrected.","rationale":"The reader's weakest_assumption is the correct place to look. The only-if direction of Theorem 1 depends on applying (b) to \\hat F and (c) to the real-analytic integral I; if (b) is not established, the contradiction that forces I to be constant disappears. The printed annulus estimate in the proof of (b) requires s0<2, and s0 is not controlled. I do not believe this invalidates the theorem: a constant rescaling of the Finsler metric makes s0<2 and preserves positivity of entropy (with entropy scaled by a positive factor), or one can use a smaller annulus exponent k/(2s0) in the same argument. Both repairs are short and do not change the structure of the proof. Hence the appropriate verdict remains the reader's CONDITIONAL: the paper should be accepted only after the proof of (b) is corrected or replaced by a reference. The closed-surface ambiguity in the theorem statement is secondary, since the introduction explicitly says 'closed surface' and the proof uses compactness throughout.","tokens_in":7416,"tokens_out":39676,"duration_ms":482886,"concrete_test":"Apply the proof of Proposition (b) to the rescaled metric cF with any 0<c<2/s0. For this metric the generator length becomes s0'=c s0<2, so the printed annulus contradiction is valid and yields h_top(cF)\\ge k/2>0; topological entropy scales by a positive constant under constant rescaling of the metric, so positivity transfers to F. If this rescaling computation succeeds, Proposition (b) is true and the flaw in Section 3 is a repairable slip rather than a false lemma.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section 3's proof of Proposition (b) is the load-bearing step that supplies positive topological entropy for the geodesic flow of \\hat F, which Theorem 1 needs in order to invoke Paternain's zero-entropy theorem (c) and force the integral I of Section 2 to be constant. The annulus argument in that proof is incomplete as written. From (3) the authors know \\tilde\\mu(B_{s0 n+d0}(\\tilde x)) \\ge \\mu_0 e^{k n}. They try to force an annulus with \\tilde\\mu(U_{r_i}) \\ge e^{(k/2)r_i} by summing the purported upper bound over r_i=i\\delta. The summation gives a ball-volume growth of order e^{(k/2)r}, while the known lower bound grows like e^{k r/s0} (since n \\sim r/s0). The contradiction only follows when k r/s0 > (k/2)r, i.e. s0<2. But s0 is the maximum F-length of a finite generating set of \\pi_1(S); for a fixed Finsler metric this number can be larger than 2, and no argument in the paper ensures otherwise. This gap is not fatal to the proposition: rescaling the metric by a small constant makes s0<2 while preserving exponential growth of \\pi_1, so positivity of entropy follows after rescaling; alternatively the annulus threshold can be changed to k/(2s0). But as printed, the proof of (b) does not go through, and (b) is essential to the only-if direction of Theorem 1.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves that on a closed surface of negative Euler characteristic, two real-analytic Finsler metrics are projectively equivalent if and only if they differ by a constant positive scale and the addition of a closed 1-form (Theorem 1). The proof proceeds in three steps: (a) the ratio I of the traces of the vertical Hessians of the two metrics is a common integral of the two geodesic flows; (b) the geodesic flow of a Finsler metric on a compact manifold whose fundamental group has exponential growth has positive topological entropy; and (c) a theorem of Paternain stating that a real-analytic Hamiltonian system with an independent real-analytic integral has zero topological entropy. Combining (a)–(c) forces I to be constant, which yields the rigidity conclusion. The paper also presents a smooth counterexample to show that the real-analyticity assumption is necessary.","tokens_in":7680,"tokens_out":13617,"duration_ms":150098,"significance":"If the proof is completed, the result is a natural Finsler analogue of the known Riemannian rigidity theorem on surfaces of negative Euler characteristic. The strategy is elegant: it reduces a geometric rigidity question to integrability and topological entropy, and the paper gives a largely self-contained proof of the positive-entropy proposition (b), a clean computation of the integral in (a), and a concrete counterexample in the introduction demonstrating optimality of the real-analytic assumption. The paper is clearly written and the main line of reasoning is convincing, but the proof of (b) contains a gap that affects the central theorem.","major_comments":[{"comment":"The proof that the annuli U_r eventually satisfy μ(U_r) ≥ e^{(k/2)r} is incomplete. From Eq. (3) the lower bound is μ(B_{s0 n + d0}) ≥ μ0 e^{k n}, which grows like e^{(k/s0) r} in terms of the radius r. The purported contradiction sums the supposed upper bounds μ(U_{iδ}) < e^{(k/2) iδ} to get ball growth of order e^{(k/2) r}. This only contradicts the lower bound when k/s0 > k/2, i.e. when s0 < 2. However, s0 is the maximum F-length of a finite generating set of π1(S), and for a fixed Finsler metric this number can exceed 2; no argument in the paper ensures s0 < 2. Since Proposition (b) is the load-bearing input that gives positive entropy of the geodesic flow of \\hat F before invoking Paternain's theorem (c), this gap must be repaired for the proof of Theorem 1 to go through. The proposition itself is true (e.g., one can rescale the metric to make s0 < 2, noting that positivity of entropy is unaffected by a constant time change), but the proof as written does not establish it.","section":"Section 3, proof of (b), annulus estimate after Eq. (3)"}],"minor_comments":[{"comment":"There are typos: 'We proof' should be 'We prove', and 'real-analicity' should be 'real-analyticity'.","section":"Abstract and Introduction"},{"comment":"The proportionality of the fiber-Hessians is asserted without proof. It follows because in dimension 2 each vertical Hessian h_{ij} is a rank-one symmetric matrix with kernel spanned by ξ, so any two such matrices are proportional; adding this one-line explanation would make the definition of I fully self-contained.","section":"Section 2, proof of (a)"},{"comment":"The diameter d0 is defined using the possibly asymmetric distance d; the authors should specify whether they use the symmetrized distance or the supremum over ordered pairs, and adapt the covering argument accordingly.","section":"Section 3, proof of (b)"},{"comment":"In the sentence 'Because H_t^ε is monotonously increasing as ε→0', the direction of monotonicity is correct but would benefit from the explicit statement that smaller ε permits more points, since the limit is over decreasing ε.","section":"Section 3, proof of (b)"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is well within the scope of the journal and the central theorem is likely correct. The only substantive issue is the gap in the proof of Proposition (b), which is fixable. There are no concerns about circularity or novelty disclosure. I recommend major revision so that the authors can repair the annulus argument and address the minor presentational points."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Lang proves the natural Finsler version of the Matveev–Topalov rigidity theorem: on a closed surface with negative Euler characteristic, two real-analytic Finsler metrics that share the same unparametrized oriented geodesics must be related by a positive scaling plus a closed 1-form. The Riemannian statement was known; the Finsler extension is not in the literature, and the smooth counterexample on any closed surface shows that real-analyticity is not a harmless assumption. The trace-ratio integral in Section 2 is a clean and correct piece of work, and the overall architecture—find an integral, get positive entropy, invoke Paternain's zero-entropy theorem—is the right one.\n\nThe main soft spot is Proposition (b) in Section 3. The annulus argument aims to produce many separated geodesics by contradicting the exponential ball-volume lower bound (3). The contradiction requires the claimed annulus lower bound e^{(k/2)r} to out-grow the upper bound coming from the geometric sum, but the lower bound (3) actually grows like e^{(k/s0)r}, where s0 is the maximum Finsler length of a generating set of π1. Unless s0 < 2, the two rates do not conflict. That inequality is nowhere stated or guaranteed. The gap is repairable: use a smaller exponent α < k/s0, or rescale the metric so that s0 < 2. But as printed, the proof of (b) does not go through, and (b) is load-bearing for Theorem 1. A referee must ask for this repair.\n\nMinor issues: Theorem 1 says 'surface' where the argument needs 'closed surface'; the abstract has a typo ('We proof'); Example 1 is a bit terse, though the handles argument is standard and the formula presumably works. Citations look appropriate and not self-serving.\n\nIf the entropy proof is repaired, the main theorem very likely holds. I would send this to a serious referee rather than desk-reject, and I would cite it after the repair.","headline":"Plausible and likely correct Finsler analogue of Matveev–Topalov, held back by a fixable gap in the positive-entropy input.","tokens_in":8213,"tokens_out":10286,"would_cite":true,"duration_ms":112699,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C60","37J35"],"pacs":[],"model":"deepseek-v4-flash","headline":"On a closed surface with negative Euler characteristic, two real-analytic Finsler metrics are projectively equivalent exactly when one is a constant scaling of the other plus a closed 1-form.","keywords":["Finsler metric","projective equivalence","topological entropy","geodesic flow","integrable Hamiltonian systems","closed 1-form","negative Euler characteristic","real-analytic"],"falsifier":"A decisive check is whether the volume-growth argument in Section 3 can be completed without assuming the maximal generator length $s_0$ satisfies $s_0 < 2$; for a generating set with $s_0 \\ge 2$, the inequality $\\tilde{\\mu}(U_{r_i}) \\ge e^{(k/2)r_i}$ is not derived. Finding a compact surface with exponentially growing fundamental group and a Finsler geodesic flow of zero topological entropy would also refute the entropy proposition outright.","tokens_in":7164,"feed_emoji":"📐","tokens_out":10072,"duration_ms":99513,"temperature":0.7,"pith_summary":"The paper proves a rigidity statement for real-analytic Finsler metrics on a closed surface of negative Euler characteristic: if two metrics have the same unparametrized oriented geodesics—the same curves with the same direction, regardless of speed—they must be related by $\\hat{F} = \\lambda \\check{F} + \\beta$, where $\\lambda > 0$ is a constant and $\\beta$ is a closed 1-form. The only-if direction is the real content, since the converse is immediate. The proof makes projective equivalence produce an extra integral for the geodesic flow, then uses the surface's exponentially growing fundamental group to show the geodesic flow has positive topological entropy, which forces the integral to be constant. This transfers a classical Riemannian rigidity theorem into the Finsler setting and shows that the real-analytic hypothesis is what prevents the smooth counterexamples constructed in the paper.","feed_headline":"Same geodesics force real-analytic Finsler metrics into one family","feed_subtitle":"On surfaces with negative Euler characteristic, projective equivalence is just scaling by a constant plus a closed 1-form.","key_machinery":"The driving object is the fiber-Hessian proportionality factor $I(x,\\xi) = \\operatorname{tr}\\hat{h}/\\operatorname{tr}\\check{h}$, where $\\hat{h}_{ij} = \\hat{F}_{\\xi^i\\xi^j}$ and $\\check{h}_{ij} = \\check{F}_{\\xi^i\\xi^j}$. On a surface the fiber Hessian is determined by its trace through equation (1), which is why $I$ is well-defined; differentiating the projective-equivalence equations shows $S(I) = 0$ along the geodesic spray. The argument then pits two entropy facts against each other: exponential growth of $\\pi_1(S)$ forces positive topological entropy of the geodesic flow, while a real-analytic integral independent of the Hamiltonian would force zero topological entropy. Together with real analyticity, this clash forces $I$ to be constant.","core_discovery":"The central claim is Theorem 1: on a closed surface $S$ with negative Euler characteristic, two real-analytic Finsler metrics are projectively equivalent exactly when $\\hat{F} = \\lambda \\check{F} + \\beta$ for a constant $\\lambda > 0$ and a closed 1-form $\\beta$. The proof shows that projective equivalence makes the fiber-Hessian proportionality factor $I(x,\\xi) = \\operatorname{tr}\\hat{h}/\\operatorname{tr}\\check{h}$ independent of local coordinates and constant along the geodesic sprays of both metrics. Since the fundamental group of $S$ grows exponentially, the geodesic flow has positive topological entropy, while a classical theorem on integrable Hamiltonian systems says a real-analytic integral independent of the Hamiltonian would make the entropy vanish. By real analyticity this contradiction forces $I$ to be constant, making the two Hessians proportional; projective equivalence of the rescaled pair then forces the remaining 1-form to be closed.","pith_inferences":["Because the proof relies only on the dimension-two trace identity for fiber Hessians, an analogous real-analytic rigidity statement in higher dimensions would need a different source of integrals; the paper leaves that question open.","A direct test of the entropy proposition would be to search for a Finsler metric on a compact surface with exponentially growing fundamental group whose geodesic flow has zero topological entropy; a positive example would block this proof route even if the final theorem remains true.","The counterexample construction from measures on the space of geodesics is flexible enough that the smooth non-real-analytic phenomenon is probably generic, making real-analyticity the natural sharp boundary for projective rigidity."],"forward_implications":["On every closed surface of negative Euler characteristic, real-analytic Finsler metrics have no nontrivial real-analytic projective deformations: any two with the same unparametrized geodesics are related by a constant dilation and a closed 1-form.","Real-analytic projective equivalence on such surfaces is therefore described by an affine-linear family: one positive scalar parameter plus the linear space of closed 1-forms.","The entropy argument carries Riemannian geodesic rigidity over to Finsler geometry in the real-analytic category, so any counterexample to the rigidity statement must fail to be real-analytic.","The smooth construction on the sphere, combined with attaching handles away from the region where the two metrics agree, produces projectively equivalent but not affinely related Finsler metrics on every closed surface, showing the real-analytic assumption is essential."],"supporting_citations":[{"why":"States the Riemannian rigidity theorem that this paper extends to real-analytic Finsler metrics.","marker":"[7]"},{"why":"Supplies the theorem that a real-analytic integrable Hamiltonian system in four dimensions has zero topological entropy, the contradiction step.","marker":"[11]"},{"why":"Classical proof that geodesic flows on manifolds with exponential growth have positive topological entropy, adapted to Finsler metrics.","marker":"[4]"},{"why":"Classical proof of positive topological entropy for geodesic flows, also used as the basis for Proposition (b).","marker":"[5]"},{"why":"Supplies the multiplier and projective-metrization equations used to show that the proportionality factor I is an integral.","marker":"[3]"},{"why":"Precedent for using the entropy-vanishing argument to force an integral to be constant on Finsler surfaces with negative Euler characteristic.","marker":"[12]"},{"why":"Construction of Finsler surfaces with prescribed geodesics from a distance function, used to build the smooth counterexamples.","marker":"[1]"},{"why":"Earlier construction of Finsler metrics on the disk from boundary distance data, also used for the counterexamples.","marker":"[2]"}],"fun_headline_variants":["Finsler geodesic equality: only scale and closed 1-form","Shared geodesics imply Finsler metrics differ only by scale and closed 1-form","Same geodesics force Finsler metrics into scale-plus-closed-form family","On negative Euler surfaces geodesic equality forces scale-and-closed-form change"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"Everything depends on the claim that the geodesic flow of a compact manifold with exponentially growing fundamental group has positive topological entropy; the paper's proof of that claim assumes a bound on the length of generating loops that is not shown to hold.","fun_headline_variants_meta":{"raw":{"variants":["Finsler geodesic equality: only scale and closed 1-form","Shared geodesics imply Finsler metrics differ only by scale and closed 1-form","Same geodesics force Finsler metrics into scale-plus-closed-form family","On negative Euler surfaces geodesic equality forces scale-and-closed-form change"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.002345,"raw_usage":{"total_tokens":8946,"prompt_tokens":765,"completion_tokens":8181,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":381,"completion_tokens_details":{"reasoning_tokens":8098}},"tokens_in":381,"tokens_out":8181,"duration_ms":55419,"temperature":1.0,"reasoning_tokens":8098,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T14:39:25.996380+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A decisive check is whether the volume-growth argument in Section 3 can be completed without assuming the maximal generator length $s_0$ satisfies $s_0 < 2$; for a generating set with $s_0 \\ge 2$, the inequality $\\tilde{\\mu}(U_{r_i}) \\ge e^{(k/2)r_i}$ is not derived. Finding a compact surface with exponentially growing fundamental group and a Finsler geodesic flow of zero topological entropy would also refute the entropy proposition outright.","supporting_citations":[{"cited_title":"Matveev and P","cited_arxiv_id":null,"evidence_quote":"States the Riemannian rigidity theorem that this paper extends to real-analytic Finsler metrics."},{"cited_title":"Paternain","cited_arxiv_id":null,"evidence_quote":"Supplies the theorem that a real-analytic integrable Hamiltonian system in four dimensions has zero topological entropy, the contradiction step."},{"cited_title":"Dinaburg","cited_arxiv_id":null,"evidence_quote":"Classical proof that geodesic flows on manifolds with exponential growth have positive topological entropy, adapted to Finsler metrics."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Classical proof of positive topological entropy for geodesic flows, also used as the basis for Proposition (b)."},{"cited_title":"Crampin, T","cited_arxiv_id":null,"evidence_quote":"Supplies the multiplier and projective-metrization equations used to show that the proportionality factor I is an integral."},{"cited_title":"Paternain","cited_arxiv_id":null,"evidence_quote":"Precedent for using the entropy-vanishing argument to force an integral to be constant on Finsler surfaces with negative Euler characteristic."},{"cited_title":"´Alvarez Paiva and G","cited_arxiv_id":null,"evidence_quote":"Construction of Finsler surfaces with prescribed geodesics from a distance function, used to build the smooth counterexamples."}],"review_version":1}