{"id":"0d9e4fb7-102f-44b0-b29f-e46727205da2","arxiv_id":"2412.20560","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":1,"one_line_summary":"Generalized Gehring-Osgood, Dovgoshey-Hariri-Vuorinen, Nikolov-Andreev, and Ibragimov metrics on metric spaces are proved Gromov hyperbolic, with improved constants for the Gehring-Osgood and Nikolov-Andreev metrics.","lead":"This paper generalizes four hyperbolic-type metrics from Euclidean domains to arbitrary metric spaces, replacing boundary distance with a 1-Lipschitz positive function, and proves each resulting metric space is Gromov hyperbolic. It also improves the best-known Gromov constants for two of the metrics and establishes quasiconformality of the identity maps.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified.","rationale":"I read the proofs in good faith and attempted to find a gap. Theorem 4's normalization steps are valid under the dihedral symmetries of the four-point condition; Step 7 follows from 1-Lipschitz; Step 8's ratio bound is correct; Case 1 and Case 2 both yield the claimed k=24. Theorem 10's λ-inequality is supported by the 1-Lipschitz bound F(x) ≤ sqrt(F(x)F(z)) + d(x,z), which I verified follows from Lipschitz; the Gromov argument then yields e^{2δ}=((2c+1)/c)^2 correctly. Theorem 14's ν-inequality is correct, giving e^δ=9. Theorem 16's hyperbolicity for arbitrary positive F is sound because μ is a metric and the four-point product bound gives factor 4; quasiconformality and completeness arguments are consistent. The minor typos (intro symmetric form sign, Theorem 13 undefined c,d) do not affect the central claims.","tokens_in":16513,"tokens_out":31525,"duration_ms":261991,"concrete_test":"Run a numerical optimization to test Theorem 4's bound: randomly sample X,Y,Z,W>0 and distances a,b,c,d,e,f satisfying the triangle inequalities and the Lipschitz constraints |1/X-1/Y|≤b etc., and check that (1+fX)(1+fZ)(1+eY)(1+eW) ≤ 24 max{(1+aX)(1+aW)(1+cY)(1+cZ), (1+bX)(1+bY)(1+dZ)(1+dW)}; if a counterexample appears, the constant 1/4 log24 is suspect.","verdict_should_be":"UNCHANGED","load_bearing_attack":"No load-bearing concern identified. The central claims—Gromov hyperbolicity of the four generalized metrics and quasiconformality of the identity—are supported by explicit, internally consistent inequalities under the stated hypothesis that F is positive and 1-Lipschitz (Theorems 4, 10, 14, and 16). I checked the symmetries used to normalize the four-point configuration, the Lipschitz-based bounds on reciprocal F-values, and the ratio estimates in each case; all constants (1/4 log 24, log(2+1/c), log 9, log 4) follow. The only issues are typographical: the 'symmetric form' in the introduction has the inequality sign reversed (it should be d(x,z)+d(y,w) ≤ max{...}+2δ, not ≥), and Theorem 13 uses undefined symbols c,d in the displayed triangle inequality. Neither affects the theorems, which use the correct four-point inequality.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper generalizes four hyperbolic-type metrics—Gehring–Osgood, Dovgoshey–Hariri–Vuorinen, Nikolov–Andreev, and Ibragimov—from Euclidean domains to an arbitrary metric space (X,d) with a nonempty proper closed subset M and a positive 1-Lipschitz function F on X\\M replacing the distance to the boundary. For each generalized metric the author proves Gromov hyperbolicity with explicit constants, improves the known constants for the Gehring–Osgood metric (from log 3 to (1/4) log 24) and for the Nikolov–Andreev metric (from log 15 to log 9), and establishes quasiconformality of the identity map from (X\\M,d) to (X\\M,ρ). For the Ibragimov-type metric, hyperbolicity is shown for an arbitrary positive F, while quasiconformality and completeness are obtained under additional 1-Lipschitz and extension hypotheses.","tokens_in":16669,"tokens_out":14704,"duration_ms":134790,"significance":"If the results are correct, this is a substantial and clean generalization of known theorems, since it replaces the Euclidean background with an arbitrary metric space and the boundary-distance function with a positive 1-Lipschitz function. The proofs are self-contained, elementary, and transparent: the chain of inequalities is explicit and the constants are explicit and improved. The fact that the Ibragimov-type metric is Gromov hyperbolic for any positive F is a particularly nice observation. The paper does not rely on heavy machinery or on unproved external results; the main ideas follow earlier work by Hästö, Zhou et al., Luo et al., and Ibragimov, but the generalizations and improved constants are new.","major_comments":[],"minor_comments":[{"comment":"The displayed symmetric form of the Gromov hyperbolicity condition has the inequality sign reversed: it should be d(x,z)+d(y,w) ≤ max{d(x,w)+d(y,z), d(x,y)+d(z,w)} + 2δ, not ≥. The proofs use the correct form, so this is a presentation issue, but it should be corrected.","section":"Section 1"},{"comment":"In the proof of the triangle inequality for the generalized Nikolov–Andreev metric, the displayed inequality contains undefined symbols c and d in the expression (d(x,y)+c+d)/(2√(cd)); this should presumably be (u+v+d(x,y))/(2√(uv)) in the notation of the proof. The subsequent lines use the correct expression, so the error is local but should be fixed.","section":"Theorem 13 proof"},{"comment":"The statement of Theorem 10 begins with 'Let Let F', and the duplicated 'Let' should be removed.","section":"Theorem 10 statement"},{"comment":"There is a typo in the abstract: 'quasiconformal. or' should be 'quasiconformal. For' (or similar). The final sentence about the Ibragimov metric is also a run-on and should be split or rephrased.","section":"Abstract"},{"comment":"The notation 'G ∪ (X\\G)' in Corollary 2 is ambiguous: if X\\G denotes the set-theoretic complement, then G ∪ (X\\G)=X, but the metric is only defined on X\\∂G. The intended domain is G ∪ (X\\overline{G}), and the notation should be clarified.","section":"Corollary 2"},{"comment":"Reference [26] gives the year as '2004', but the volume and page numbers (Arch. Math., 123, 319–327) and the context of the article suggest the year should be 2024. Please verify and correct.","section":"Reference [26]"},{"comment":"There are small typesetting issues: the proof of Theorem 4 ends with a stray '3.', and Theorems 6 and 15 use '1_X' in the quasiconformality computation where '1_{X\\M}' is meant. These do not affect the arguments but should be cleaned up.","section":"Theorems 4, 6, 15"},{"comment":"In Step 3 of Theorem 4, the phrase 'as in the proof of Theorem 1' asserts invariance under the swaps S1 and S2 without spelling it out. Since the hyperbolicity inequality is indeed symmetric under these swaps, a one-sentence justification would improve readability.","section":"Theorem 4, Step 3"}],"recommendation":"minor_revision","confidential_remarks":"The paper is within the scope of the journal and the central claims are sound. The issues are typographical and presentational; no load-bearing mathematical gap was found."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nThis paper does what it claims. It takes four hyperbolic-type metrics (Gehring-Osgood, Dovgoshey–Hariri–Vuorinen, Nikolov–Andreev, Ibragimov), replaces Euclidean boundary distance with a positive 1-Lipschitz function F on X\\M, and proves Gromov hyperbolicity plus quasiconformality of the identity in that general setting. The two constant improvements are genuine: (1/4)log24 for Gehring-Osgood, against Hästö's log3, and log9 for Nikolov–Andreev, against Luo et al.'s log15. For the Ibragimov metric, hyperbolicity holds for any positive function, which is genuinely broader than the distance-to-boundary version.\n\nWhat the paper does well is the proof machinery. The inequalities are explicit, self-contained, and the main chains check out. I verified the triangle inequality in Theorem 1, the case split in Theorem 4, and the product estimates in Theorems 10 and 14. The reciprocal notation (X = 1/F(x)) is easy to misread but consistent and correct. The DHV section is transparent about using the known constant rather than claiming a new one.\n\nThe soft spots are real but minor. The introduction's symmetric form of Gromov hyperbolicity has the inequality sign reversed; it should be ≤. Theorem 13 has a garbled display with undefined symbols c,d. There are small typos like 'Let Let' in Theorem 10. The proof of Theorem 4 is terse in places—the Lipschitz-based ratio estimates deserve expansion for the reader. None of this affects the central results.\n\nThe citation pattern is appropriate, and the author credits the specific strategies from Hästö, Zhou et al., and Ibragimov without assuming the target conclusions. No code or data, but the mathematics is checkable by hand.\n\nBottom line: a solid, workmanlike contribution with modest but real progress. Researchers in metric geometry and geometric function theory will want it on the record. It deserves a serious referee, and acceptance is reasonable after minor revision. I'd engage with it.","headline":"A clean generalization of four hyperbolic-type metrics with two real constant improvements; the proof checks out, leaving only typos and a few terse steps to fix.","tokens_in":17222,"tokens_out":6193,"would_cite":true,"duration_ms":53686,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["30C65","30L10"],"pacs":[],"model":"deepseek-v4-flash","headline":"Four generalized hyperbolic-type metrics on arbitrary metric spaces stay Gromov hyperbolic, with improved constants for two of them.","keywords":["hyperbolic-type metric","Gromov hyperbolic metric space","quasiconformal map","Gehring-Osgood metric","Dovgoshey-Hariri-Vuorinen metric","Nikolov-Andreev metric","Ibragimov metric","1-Lipschitz function"],"falsifier":"A concrete check: take $X=\\mathbb{R}$ with the usual distance, $M=\\{0\\}$, and $F(x)=|x|$, and numerically search over four points $x,y,z,w$ for the generalized Gehring-Osgood metric $j$ of Theorem 4 to see whether the four-point inequality with $k=24$ ever fails. Since the theorem asserts the inequality for all configurations, one violation would refute the claimed constant; a symbolic or exhaustive numerical search over ordered quadruples near the origin would settle it.","tokens_in":16311,"feed_emoji":"📐","tokens_out":14243,"duration_ms":112834,"temperature":0.7,"pith_summary":"The paper proves that four hyperbolic-type metrics—Gehring-Osgood, Dovgoshey-Hariri-Vuorinen, Nikolov-Andreev, and Ibragimov—remain Gromov hyperbolic when their definition is moved from Euclidean domains to an arbitrary metric space, with the boundary replaced by a nonempty proper closed subset and the distance-to-boundary replaced by a positive $1$-Lipschitz function. In this general setting the identity map from the original metric to each generalized metric is quasiconformal, so the new metrics do not change the infinitesimal geometry. The paper improves the known Gromov constants for two of the metrics: the Gehring-Osgood constant drops from $\\log 3$ to $\\frac14\\log24$, and the Nikolov-Andreev constant drops from $\\log15$ to $\\log9$. For the Ibragimov metric, hyperbolicity is shown to hold even when the weight function is merely positive, with no Lipschitz assumption.","feed_headline":"Four hyperbolic-type metrics stay hyperbolic on any metric space","feed_subtitle":"Replacing boundary distance by a 1-Lipschitz function keeps hyperbolicity and quasiconformality, with sharper constants.","key_machinery":"The load-bearing mechanism is the Lipschitz comparison between reciprocal weight values: because $F$ is $1$-Lipschitz, $|1/F(x)-1/F(y)|\\le d(x,y)$ for every pair, and this single inequality feeds every subsequent estimate. For the Gehring-Osgood proof it is combined with the monotonicity of $t\\mapsto(1+pt)/(1+qt)$, whose values are bounded by $\\max\\{1,p/q\\}$; for the Dovgoshey-Hariri-Vuorinen and Nikolov-Andreev metrics the same Lipschitz property yields the quasi-triangle estimate $\\nu(x,y)\\le3\\max\\{\\nu(x,z),\\nu(z,y)\\}$ for the auxiliary functions $\\lambda(x,y)=c\\,d(x,y)+\\sqrt{F(x)F(y)}$ and $\\nu(x,y)=F(x)+F(y)+d(x,y)$. For the Ibragimov metric the auxiliary object is $\\mu(x,y)=d(x,y)+\\max\\{F(x),F(y)\\}$, which is itself a metric, and the four-point inequality follows from the triangle inequality for $\\mu$ after a symmetry reduction. Each proof ends by converting the product inequality into the logarithmic Gromov four-point form.","core_discovery":"The paper's central discovery is that the mechanism making these metrics hyperbolic is not Euclidean geometry but the metric regularity of the weight function. For any metric space $(X,d)$, any nonempty proper closed $M$, and any positive $1$-Lipschitz $F$ on $X\\setminus M$, the functions $j(x,y)=\\frac12\\log\\big((1+d(x,y)/F(x))(1+d(x,y)/F(y))\\big)$, $h_c(x,y)=\\log(1+c\\,d(x,y)/\\sqrt{F(x)F(y)})$, $i(x,y)=2\\log\\big((F(x)+F(y)+d(x,y))/(2\\sqrt{F(x)F(y)})\\big)$, and $v(x,y)=2\\log\\big((d(x,y)+\\max\\{F(x),F(y)\\})/\\sqrt{F(x)F(y)}\\big)$ give Gromov hyperbolic spaces $(X\\setminus M,\\rho)$, with the identity map $(X\\setminus M,d)\\to(X\\setminus M,\\rho)$ quasiconformal; $j$, $i$, and $v$ are metrics, and $h_c$ is a metric for $c\\ge2$. The Gromov constants are $\\delta\\le\\frac14\\log24$ for $j$, $\\delta\\le\\log(2+1/c)$ for $h_c$, $\\delta\\le\\log9$ for $i$, and $\\delta\\le\\log4$ for $v$; the constants for $j$ and $i$ improve the previously known $\\log3$ and $\\log15$. For $v$, hyperbolicity holds for any positive function $F$, and if $F$ extends continuously to vanish on $M$ and $X$ is complete, $(X\\setminus M,v)$ is complete.","pith_inferences":["Inference not in the paper: the uniformity of the proofs suggests the same constants may hold for any weight function satisfying a Hölder condition, with the exponent entering the constants; this would be a natural extension to test.","Inference not in the paper: the improved Gehring-Osgood bound invites a search for extremal configurations in the upper half-plane to see whether $\\frac14\\log24$ is sharp or whether the true optimal constant is smaller.","Inference not in the paper: because the Ibragimov metric needs no Lipschitz control, its hyperbolicity appears to be driven by the max-ratio term rather than by metric regularity, so similar hyperbolic metrics might be built from arbitrary positive weights in other applications."],"forward_implications":["In the original Euclidean setting, the Gehring-Osgood metric on any open set with nonempty boundary has Gromov constant at most $\\frac14\\log24$ rather than $\\log3$.","The Nikolov-Andreev metric on a proper subdomain of $\\mathbb{R}^n$ has Gromov constant at most $\\log9$ rather than $\\log15$.","The generalized Dovgoshey-Hariri-Vuorinen function is Gromov hyperbolic with constant $\\log(2+1/c)$ even when $c<2$ and even when $h_c$ is not itself a metric.","For every positive $1$-Lipschitz $F$, the identity map on $X\\setminus M$ is quasiconformal with explicit constants: $1$ for the Gehring-Osgood and Dovgoshey-Hariri-Vuorinen metrics, $3$ for Nikolov-Andreev, and $5/2$ for Ibragimov.","For the Ibragimov metric, replacing the weight function by any positive function still gives hyperbolicity, and with a continuous extension vanishing on $M$ the resulting metric space is complete whenever $X$ is complete."],"supporting_citations":[{"why":"Supplies the earlier $\\delta\\le\\log3$ bound for the Gehring-Osgood metric and the proof scheme that the paper reorganizes and sharpens.","marker":"[11]"},{"why":"Defines the Ibragimov metric on $X\\setminus M$ and proves hyperbolicity and quasiconformality that Theorem 16 extends to arbitrary positive $F$.","marker":"[15]"},{"why":"Introduces the Dovgoshey-Hariri-Vuorinen metric and establishes its triangle inequality for $c\\ge2$, which Theorem 7 generalizes.","marker":"[6]"},{"why":"Introduces the Nikolov-Andreev metric and proves the triangle inequality for its generalization that Theorem 13 extends.","marker":"[21]"},{"why":"Proves $\\delta\\le\\log15$ for the Nikolov-Andreev metric, the bound Theorem 14 improves to $\\log9$.","marker":"[20]"},{"why":"Proves Gromov hyperbolicity for the Dovgoshey-Hariri-Vuorinen metric, which Theorem 10 extends to metric spaces and $1$-Lipschitz $F$.","marker":"[26]"},{"why":"Supplies the metric-space definition of quasiconformality used to state the identity-map results.","marker":"[14]"}],"fun_headline_variants":["Hyperbolic-type metrics generalize to arbitrary metric spaces","1-Lipschitz weights preserve hyperbolicity and quasiconformality","Improved Gromov constants for four generalized metrics","Metric regularity, not geometry, yields hyperbolicity"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof for the Gehring-Osgood, Dovgoshey-Hariri-Vuorinen, and Nikolov-Andreev metrics collapses if the weight function $F$ is not $1$-Lipschitz, because then the reciprocal comparison $|1/F(x)-1/F(y)|\\le d(x,y)$ and the derived quasi-triangle estimates no longer hold; the Ibragimov metric is the exception, needing only positivity.","fun_headline_variants_meta":{"raw":{"variants":["Hyperbolic-type metrics generalize to arbitrary metric spaces","1-Lipschitz weights preserve hyperbolicity and quasiconformality","Improved Gromov constants for four generalized metrics","Metric regularity, not geometry, yields hyperbolicity"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000326,"raw_usage":{"total_tokens":1942,"prompt_tokens":1179,"completion_tokens":763,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":795,"completion_tokens_details":{"reasoning_tokens":706}},"tokens_in":795,"tokens_out":763,"duration_ms":7634,"temperature":1.0,"reasoning_tokens":706,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T23:20:05.628486+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A concrete check: take $X=\\mathbb{R}$ with the usual distance, $M=\\{0\\}$, and $F(x)=|x|$, and numerically search over four points $x,y,z,w$ for the generalized Gehring-Osgood metric $j$ of Theorem 4 to see whether the four-point inequality with $k=24$ ever fails. Since the theorem asserts the inequality for all configurations, one violation would refute the claimed constant; a symbolic or exhaustive numerical search over ordered quadruples near the origin would settle it.","supporting_citations":[{"cited_title":"Gromov hyperbolicity of thejG and~jG metrics","cited_arxiv_id":null,"evidence_quote":"Supplies the earlier $\\delta\\le\\log3$ bound for the Gehring-Osgood metric and the proof scheme that the paper reorganizes and sharpens."},{"cited_title":"Hyperbolizing metric spaces","cited_arxiv_id":null,"evidence_quote":"Defines the Ibragimov metric on $X\\setminus M$ and proves hyperbolicity and quasiconformality that Theorem 16 extends to arbitrary positive $F$."},{"cited_title":"Comparison theorems for hyperbolic type metrics","cited_arxiv_id":null,"evidence_quote":"Introduces the Dovgoshey-Hariri-Vuorinen metric and establishes its triangle inequality for $c\\ge2$, which Theorem 7 generalizes."},{"cited_title":"Estimates of the Kobayashi and quasi- hyperbolic distances","cited_arxiv_id":null,"evidence_quote":"Introduces the Nikolov-Andreev metric and proves the triangle inequality for its generalization that Theorem 13 extends."},{"cited_title":": The Nikolov–Andreev Metr ic and Gromov Hyper- bolicity","cited_arxiv_id":null,"evidence_quote":"Proves $\\delta\\le\\log15$ for the Nikolov-Andreev metric, the bound Theorem 14 improves to $\\log9$."},{"cited_title":"Dovgoshey–Hariri– Vuorinen’s metric and Gro- mov hyperbolicity","cited_arxiv_id":null,"evidence_quote":"Proves Gromov hyperbolicity for the Dovgoshey-Hariri-Vuorinen metric, which Theorem 10 extends to metric spaces and $1$-Lipschitz $F$."},{"cited_title":"Quasiconformal maps in metric spaces with controlled geometry, Acta Math., 1998, 1811, 1-61","cited_arxiv_id":null,"evidence_quote":"Supplies the metric-space definition of quasiconformality used to state the identity-map results."}],"review_version":1}