{"id":"76a7aeca-300b-4325-89f5-cf2ea09fdc50","arxiv_id":"2510.22463","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For a Finsler metric with a concurrent π-vector field, bF = F^2/(F - Φ) is a conic Finsler structure exactly when F(1 + 2g(φ,φ)) - 3Φ ≠ 0, with explicit global transformation formulas for the associated geometric objects.","lead":"This paper derives global Finsler-geometry formulas for the generalized Matsumoto change bF = F^2/(F - Φ), where Φ is the π-form of a concurrent vector field. It gives a nondegeneracy condition and connects metrics, torsions, sprays, and connections of F and bF.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 2.7 is false: in Euclidean F with concurrent φ=−x, at F=2Φ the metric bg (2.13) has kernel ker ℓ ∩ ker ϕ while (2.15) holds.","rationale":"The reader's verdict flagged the imported Lemma 2.3, the sign inconsistency in Example 1, and the Corollary 3.6 / Theorem 3.7 conflict. Those are legitimate issues. However, the decisive problem is internal and more fundamental: the paper's own formula (2.13) contradicts Theorem 2.7 in an elementary Riemannian example. The vector field φ=−x on Euclidean R^3\\{0} satisfies Definition 2.1 unambiguously, and at points where F=2Φ the metric tensor bg is singular even though the proposed criterion (2.15) holds. This is not a proof gap that a minor correction can close; the main existence criterion is false. Therefore the central claim that bF is a conic pseudo-Finsler structure under (2.15) is invalid, and the paper should be rejected unless the theorem and all downstream formulas that rely on it are substantially revised and re-verified.","tokens_in":16871,"tokens_out":15655,"duration_ms":137051,"concrete_test":"Compute bg(W,Z) at the Euclidean point x=(1,0,0), y=(−F/2, √3F/2, 0), with φ=−x and Z=(0,0,1), using formula (2.13) or the Maple Finsler package. If bg(W,Z)=0 for W=∂_1,∂_2,∂_3 while condition (2.15) holds, Theorem 2.7 is directly disproved. This is a one-line analytic check that settles the concern.","verdict_should_be":"REJECT","load_bearing_attack":"The central non-degeneracy criterion Theorem 2.7 is false. Take M=R^3\\{0}, F(x,y)=|y|, and the concurrent π-vector field φ=−x (so ∂_j φ^i = −δ_j^i, hence ∇_{β∂_j}φ = −∂_j, satisfying Definition 2.1). At x=(1,0,0), choose y=(−F/2, √3F/2, 0) with F=|y|. Then Φ = g(φ,y) = −x·y = F/2, so F=2Φ and F>Φ on D. The criterion (2.15) gives F(1+2p2)−3Φ = 3F−3F/2 = 3F/2 ≠ 0, so Theorem 2.7 asserts bg is non-degenerate. However, in (2.13) the coefficient of g is F^2(F−2Φ)/(F−Φ)^3 = 0. Let Z=(0,0,1). Then ℓ(Z)=g(y/F,Z)=0 and ϕ(Z)=g(φ,Z)=0. Every remaining term in (2.13) contains ℓ(Z) or ϕ(Z), hence bg(W,Z)=0 for all W. Thus bg has a nontrivial kernel, bF is not a conic pseudo-Finsler structure, and Theorem 2.7 fails. The proof is also flawed: checking only W=φ and W=η does not control the kernel inside ker ℓ ∩ ker ϕ.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the change bF=F^2/(F−Φ) on a Finsler manifold (M,F) admitting a concurrent π-vector field φ, where Φ is the associated π-form. It derives intrinsic formulas for the supporting form, metric tensor, angular metric, Cartan torsion, geodesic spray, Barthel connection/curvature, and Berwald connection of bF, and gives a non-degeneracy criterion for bF to be a conic pseudo-Finsler structure. It also claims that F and bF are never projectively related, that φ is never concurrent with respect to bF, and studies (almost) rationality.","tokens_in":17258,"tokens_out":13804,"duration_ms":115511,"significance":"If the formulas were correct, the paper would provide useful global index-free formulas for Matsumoto-type changes and connect them with concurrency. The non-degeneracy criterion is however the linchpin of the whole paper, and it is false; a concrete Euclidean counterexample invalidates Theorem 2.7. The later spray, connection, and projectivity results all rely on the same non-degeneracy assumption, so their validity is conditional at best. The paper's intrinsic, coordinate-free presentation is a strength, but it does not compensate for the central error.","major_comments":[{"comment":"The non-degeneracy criterion is false. Let M=R^3\\{0}, F(x,y)=|y|, and φ=-x. Then ∇_{βW}φ=-W and ∇_{γW}φ=0, so Definition 2.1 holds; p2=|x|^2, Φ=-x·y. Take x=(1,0,0) and y=(-1/2,√3/2,0), so F=1, Φ=1/2, F>Φ, and F(1+2p2)-3Φ=3-3/2=3/2≠0; condition (2.15) holds. But F=2Φ, so in (2.13) the coefficient of g vanishes. For Z=(0,0,1) we have ℓ(Z)=y·Z/F=0 and ϕ(Z)=φ·Z=0; every remaining term in (2.13) contains ℓ(Z) or ϕ(Z), hence bg(W,Z)=0 for all W. Thus bg is degenerate and bF is not a conic pseudo-Finsler structure, contradicting Theorem 2.7.","section":"§2, Theorem 2.7 and Eq. (2.13)"},{"comment":"The proof only tests W=φ and W=η. The determinant condition forces ℓ(Z)=ϕ(Z)=0, but substituting back into (2.16) leaves [F^2(F-2Φ)/(F-Φ)^3]g(W,Z)=0. When F=2Φ this coefficient is zero, so any nonzero Z in ker ℓ ∩ ker ϕ survives. The counterexample above realizes exactly this mechanism. A correct statement needs an additional hypothesis excluding F=2Φ on the domain; (2.15) alone does not characterize non-degeneracy.","section":"§2, proof of Theorem 2.7"},{"comment":"Corollary 3.6 asserts that φ can never be concurrent with respect to bF, while Theorem 3.7 immediately gives a necessary and sufficient condition (3.11) for φ to be concurrent. These statements cannot both be true unless (3.11) is identically unsatisfiable, which the paper does not prove. The proof of Corollary 3.6 is also a non sequitur: Proposition 3.5 gives an expression for cD^∘_{bβW}Z different from D^∘_{βW}Z, but concurrency with respect to bF requires cD^∘_{bβW}φ=-W, and the extra terms in (3.13) could vanish under (3.11). This internal contradiction must be resolved.","section":"§3, Corollary 3.6 and Theorem 3.7"},{"comment":"The only non-Riemannian example does not verify Definition 2.1 as written. The listed components satisfy φ^i_{|j}=+δ^i_j (for instance φ^1_{|1}=1), whereas (2.1) requires ∇_{βW}φ=-W. The displayed Christoffel symbols are insufficient to check all components, and the sign is opposite. At face value the example is not a concurrent π-vector field for the definition used in the paper; if a different convention is intended it should be stated explicitly.","section":"§4, Example 1"},{"comment":"The proof of (b)⇒(a) does not establish the claim. Definition 4.1 requires only the existence of some decomposition bg_{ij}=bθ ba_{ij} with ba_{ij} rational; the proof instead fixes bθ=θF^2/(F-Φ)^4 and tests rationality of the resulting ba_{ij}. Even if this particular ba_{ij} is non-rational for non-rational F, another representation could exist. The argument also assumes a bracket is nonzero when concluding 'rational iff F rational.' The equivalence is therefore not proven.","section":"§4, Theorem 4.6"}],"minor_comments":[{"comment":"Typo: 'pesudo-Finsler' should be 'pseudo-Finsler'.","section":"§2, Theorem 2.7"},{"comment":"In the affiliation, 'Saudia Arabia' should be 'Saudi Arabia'.","section":"Affiliations"},{"comment":"The term 'rational function in y' is not explicitly qualified with respect to the conic domain D; since D excludes zeros of denominators, this should be clarified.","section":"§4, Lemma 4.3 and Definition 4.1"}],"recommendation":"reject","confidential_remarks":"The counterexample to Theorem 2.7 is decisive and occurs already in Euclidean Finsler geometry. The contradiction between Corollary 3.6 and Theorem 3.7 strengthens the case that the manuscript is not in a publishable state. These issues are not mere presentation defects; they affect the main claims."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nThis one is not ready as is, but it is not a crackpot paper either. The intrinsic setup is genuinely useful: the change bF = F^2/(F−Φ) with Φ the π-form of a concurrent vector field is a special case of the known Matsumoto change, and the paper collects global formulas for the supporting form, metric tensor, Cartan torsion, spray, and Barthel and Berwald connections that are not all in one place elsewhere. The rationality-preservation discussion in Section 4 is a reasonable question, and the definitions are clean. The authors clearly know the pullback formalism, and the algebraic derivations are mostly consistent as formal manipulations.\n\nThe soft spots are load-bearing, though. The stress-test counterexample to Theorem 2.7 is correct. Take M=R^3, F(x,y)=|y|, and φ=−x. Then ∇_{β∂_j}φ=−∂_j, so φ is concurrent. At x=(1,0,0) and y=(−F/2,√3F/2,0), we have F=2Φ, the domain condition F>Φ holds, and criterion (2.15) gives F(1+2p2)−3Φ = 3F/2 ≠ 0. Yet in (2.13) the coefficient of g vanishes, while ℓ(Z)=ϕ(Z)=0 for Z=(0,0,1), so bg(W,Z)=0 for every W. Thus bg has a nontrivial kernel. The proof only tests W=φ and W=η, which does not control vectors in ker ℓ ∩ ker ϕ. Theorem 2.7 is false.\n\nThere is also a direct contradiction: Corollary 3.6 says φ can never be concurrent with respect to bF, while Theorem 3.7 gives a necessary and sufficient condition for it to be concurrent. The proof of Corollary 3.6 essentially compares cD◦ and D◦ on arbitrary Z and concludes inequality, which is not what concurrency requires. That needs to be resolved.\n\nThe example in Section 4 is sign-inconsistent. For φ=x_3∂_3, the listed components φ^i_{|j}=δ^i_j correspond to ∇_{β∂_j}φ=+∂_j, not −∂_j as Definition 2.1 demands. So the example does not verify concurrency. Minor point: Lemma 2.3 is imported from [27] without proof, and two authors are from that school; that is not disqualifying, but the paper should state which identities and sign conventions are being imported.\n\nWho is this for? Finsler geometers working on Matsumoto-type changes and concurrent fields. They will find the formulas useful after careful correction, but the false non-degeneracy theorem and the internal contradiction make the current version unreliable. I would send it to a referee who knows the pullback formalism, and require the authors to fix the non-degeneracy condition, resolve the Corollary/Theorem conflict, and correct the example before publication. The core idea deserves a serious referee, not a desk rejection.","headline":"Nice algebraic machinery, but the central non-degeneracy criterion fails on a simple Euclidean example, and the paper contradicts itself on whether φ can be concurrent with respect to bF.","tokens_in":17718,"tokens_out":4673,"would_cite":false,"duration_ms":46718,"reading_group":"maybe","serious_thinker":"no","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C60","53B40","58B20"],"pacs":[],"model":"deepseek-v4-flash","headline":"On a Finsler manifold with a concurrent π-vector field φ, the Matsumoto-type change F²/(F−Φ) is a conic pseudo-Finsler structure exactly when F(1+2g(φ,φ))−3Φ is never zero, and then all Finsler objects of the changed metric are explicit fun","keywords":["Finsler metric","generalized Matsumoto metric","concurrent π-vector field","π-form","geodesic spray","Berwald connection","almost rational Finsler metric","conic pseudo-Finsler structure"],"falsifier":"Recompute the covariant derivative of φ=x3∂3 in Example 1 from the listed Christoffel symbols (for instance Γ^1_{13}=1/x3 and Γ^2_{23}=1/x3): Definition 2.1 requires φ^i_{|j}=−δ^i_j, whereas the paper's verification states φ^i_{|j}=+δ^i_j. If the direct computation yields the negative sign, the example does not satisfy the concurrency hypothesis and the paper's non-Riemannian example is invalid; this single calculation decides whether the central result has a non-Riemannian realization.","tokens_in":16751,"feed_emoji":"📐","tokens_out":12008,"duration_ms":96171,"temperature":0.7,"pith_summary":"On any Finsler manifold that carries a concurrent π-vector field φ — a non-vanishing section whose horizontal covariant derivative is just minus the base vector — the paper studies the change bF = F²/(F−Φ), where Φ is the associated π-form evaluated on the Liouville vector field. It establishes that bF is a conic pseudo-Finsler structure if and only if F(1+2g(φ,φ))−3Φ never vanishes on the domain where F>Φ (Theorem 2.7). Under that condition it derives global, coordinate-free formulas relating the supporting form, angular metric, metric tensor, Cartan torsion, geodesic spray, Barthel connection and its curvature, and Berwald connection of bF to the corresponding objects of F. The paper further proves that the two geodesic sprays can never be projectively related unless φ vanishes, and that φ is never concurrent with respect to bF except under one explicit condition. A worked rational conic example and a rationality-preservation theorem for the change complete the picture. A sympathetic reader would care because these formulas turn a local, coordinate-heavy construction into a global algebraic one, while exposing the rigidity that concurrency imposes.","feed_headline":"One expression decides when a Matsumoto-type change is Finsler","feed_subtitle":"When that expression is nonzero, every Finsler object of the changed metric is an explicit formula in the original.","key_machinery":"The central object is the concurrent π-vector field φ — a non-vanishing section of the pullback bundle that is independent of the fibre coordinate and satisfies ∇_{βW}φ=−W (horizontal covariant derivative is negative the base vector) and ∇_{γW}φ=0 (vertical derivative zero). Its associated π-form is ϕ=i_φ g, and Φ=g(φ,η)=ϕ(η) is the function used in the change bF=F²/(F−Φ), the generalized φ-Matsumoto metric (analogue of Matsumoto's α²/(α−β) slope metric). The proof engine is Lemma 2.3, whose identities — dJΦ(βW)=ϕ(W), dΦ(G)=−F², dF(G)=−F², (D°_{γW}ℓ)(Z)=F^{−1}ℏ(W,Z), and the chain rule (2.4) for functions of F and Φ — convert the change into algebraic manipulations with ℓ, ϕ, Φ, F and p2. Th","core_discovery":"The central claim is Theorem 2.7: for a Finsler manifold (M,F) admitting a concurrent π-vector field φ (so ∇_{βW}φ=−W and ∇_{γW}φ=0), the function bF=F²/(F−Φ), where Φ=g(φ,η)=ϕ(η), is a conic pseudo-Finsler structure on D={F>Φ} if and only if F(1+2p2)−3Φ≠0, with p2=g(φ,φ). Under this condition the paper gives closed-form intrinsic formulas — (2.9)–(2.13), (3.8), (3.9)–(3.11) — relating the supporting form, angular metric, metric tensor, Cartan torsion, geodesic spray, Barthel connection and curvature, and Berwald connection of bF to those of F. A consequence is that the two sprays can never be projectively related unless φ=0, and φ can never be concurrent with respect to bF except under one","pith_inferences":["Because concurrent vector fields are rigid (the paper notes that 3-dimensional, surface, Landsberg, and C-reducible Finsler spaces admitting one are Riemannian), the genuinely non-Riemannian examples that satisfy the hypotheses are likely to be conic or singular, like the paper's own example; the theorem's practical force may lie mostly in the conic pseudo-Finsler setting rather than in complete F","The nondegeneracy condition F(1+2p2)−3Φ≠0 is homogeneous of degree one and can be viewed as a bound relating the size of φ — measured by p2=g(φ,φ) and Φ=g(φ,η) — to F; one testable extension is to determine whether the sign of this expression is constant along each fibre, which would make the condition a global geometric inequality on the base manifold.","The projectivity obstruction (Theorem 3.2) suggests a quick test for equivalence of Finsler structures: if a metric is projectively equivalent to its own Matsumoto-type transform, then any concurrent vector field must vanish; this could be used to rule out certain deformation families without computing connection coefficients.","The rationality result leaves the 'almost rational' case explicitly open; a natural next step is to test whether the change preserves almost rationality when θ is non-rational, for example a square-root expression, using the example's structure to see whether the non-rational factor cancels."],"forward_implications":["If a nonzero concurrent π-vector field exists, the generalized φ-Matsumoto change yields a genuine conic pseudo-Finsler structure exactly on the domain where F(1+2g(φ,φ))−3Φ does not vanish; this is the paper's main existence criterion.","On that domain, formulas (2.13), (3.8), and (3.9)–(3.11) give the metric tensor, geodesic spray, horizontal projectors, Barthel connection and curvature, and Berwald connection of bF purely in terms of F's objects and the vector field φ, making computation on the cone purely algebraic.","The geodesic sprays of F and bF can never be projectively related when φ is nonzero; hence the Matsumoto-type change cannot preserve projective structure within the concurrency setting.","The condition (3.11) is necessary and sufficient for the concurrent vector field φ to remain concurrent with respect to bF; generically it does not survive the change.","If F is a rational function of the directional arguments, then bF is a rational Finsler metric; conversely, for a rational Finsler metric, bF is rational if and only if F itself is rational in the fibre coordinates (Theorems 4.5 and 4.6)."],"fun_headline_variants":["One nonzero expression decides Matsumoto change is Finsler","Condition found for generalized Matsumoto metric to be Finsler","Explicit relations link all Finsler objects under Matsumoto change","Matsumoto change never projectively related unless zero vector","A scalar keeps Matsumoto-type metric Finsler when it's nonzero"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The load-bearing premise is that the concurrent vector field satisfies the identities imported as Lemma 2.3 — in particular dΦ(G)=−F² and the vertical derivative formula for the supporting form — together with the sign convention ∇_{βW}φ=−W of Definition 2.1; if those identities or the sign are wrong, every explicit formula in the paper shifts.","fun_headline_variants_meta":{"raw":{"variants":["One nonzero expression decides Matsumoto change is Finsler","Condition found for generalized Matsumoto metric to be Finsler","Explicit relations link all Finsler objects under Matsumoto change","Matsumoto change never projectively related unless zero vector","A scalar keeps Matsumoto-type metric Finsler when it's nonzero"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000241,"raw_usage":{"total_tokens":1431,"prompt_tokens":887,"completion_tokens":544,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":631,"completion_tokens_details":{"reasoning_tokens":452}},"tokens_in":631,"tokens_out":544,"duration_ms":5698,"temperature":1.0,"reasoning_tokens":452,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-04T08:04:56.446551+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Recompute the covariant derivative of φ=x3∂3 in Example 1 from the listed Christoffel symbols (for instance Γ^1_{13}=1/x3 and Γ^2_{23}=1/x3): Definition 2.1 requires φ^i_{|j}=−δ^i_j, whereas the paper's verification states φ^i_{|j}=+δ^i_j. If the direct computation yields the negative sign, the example does not satisfy the concurrency hypothesis and the paper's non-Riemannian example is invalid; this single calculation decides whether the central result has a non-Riemannian realization.","supporting_citations":[],"review_version":1}