{"id":"59fbfd91-e8c6-4cb9-b7e9-a16cb00b07a2","arxiv_id":"2602.04826","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A quasi-isometric analogue of the Gromov–Hausdorff distance is defined, shown to sit between GH and pointed-GH convergence, metrizable, and path-connected on quasi-isometry classes.","lead":"This paper defines a new distance on metric spaces that compares them up to quasi-isometry, so spaces that are 'coarsely the same' have small distance. It shows this distance preserves geometric properties and that any two quasi-isometric spaces can be deformed into each other along a finite-length curve.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Abstract's 'any two metric spaces' path-connectivity claim fails: Theorem 5.5 requires a finite-q-dis correspondence; for a point and the real line no such correspondence exists, so D=∞ and no finite-length path connects them.","rationale":"The reader's weakest assumption—that Theorem 5.5 requires a finite q-dis correspondence—is exactly the load-bearing failure. The paper's formal machinery (Definitions 5.1–5.2, Theorem 5.5) is internally coherent under the hypothesis q-disR≤r, but the abstract and Corollary 5.6 extrapolate to all metric spaces. The point-versus-real-line case is a minimal, decisive counterexample: the only correspondence is forced to contain all of R, and the lower bound in Definition 5.1 becomes an unbounded-diameter condition that cannot be met. Since D is a generalized metric, finite-length path connectivity would imply finite D-distance, and here D=∞. This is not a matter of preferred conventions or a peripheral example; it is an internal inconsistency between the abstract's claim and the theorem's stated hypothesis. The reader's CONDITIONAL verdict is appropriate: the conditional theorem may be sound, but the advertised global claim must be corrected before acceptance. The Banach–Mazur sign error in Example 10 is a secondary presentation issue, not as load-bearing as the abstract overreach.","tokens_in":13013,"tokens_out":14436,"duration_ms":133406,"concrete_test":"Directly evaluate Definition 5.1 for the unique correspondence R={pt}×R between X={pt} and Y=R. For any proposed finite r, choose y,y'∈R with |y−y'|>e^r(e^r−1); then (1/e^r)|y−y'| − e^r + 1 > 0 = |pt,pt|, violating the lower inequality in (5.1). Conclude q-disR=∞ and D({pt},R)=∞. Then, using the triangle inequality for D, any path γ:[0,1]→M with endpoints {pt} and R must satisfy length(γ) ≥ D({pt},R)=∞, so no finite-length curve exists. This settles whether the abstract's 'any two metric spaces' claim holds.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's headline claim in the abstract—that any two metric spaces can be connected by a curve of finite length in (M,D)—is not a consequence of Theorem 5.5. Theorem 5.5 assumes a correspondence R between X and Y with q-disR≤r for finite r. By Definition 5.1, this forces a uniform two-sided distortion bound on R. For X={pt} and Y=R, surjectivity of a correspondence forces R={pt}×R. The lower inequality in (5.1) then requires 0 ≥ (1/e^r)|y−y'| − e^r + 1 for all y,y'∈R, i.e. |y−y'| ≤ e^r(e^r−1), which is impossible on unbounded R. Hence q-disR=∞ and D({pt},R)=∞. In a metric space, the length of any curve connecting two points is at least the distance between them, so no finite-length path can exist. Thus the abstract's unconditional claim is false; the correct statement is for spaces admitting a finite-q-dis correspondence, namely quasi-isometric spaces.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a quasi-isometric analogue of the Gromov–Hausdorff distance. It defines a distance d_hat(X,Y) as the infimum of r such that X and Y are (1+r,r,r)-quasi-isometric, and a second distance D(X,Y) obtained by minimizing the quasi-isometric distortion q-disR over correspondences R. The main results are: Gromov–Hausdorff convergence implies quasi-isometric convergence and quasi-isometric convergence implies pointed Gromov–Hausdorff convergence (Cor. 3.6, Prop. 3.7); preservation of several metric properties under limits (Cor. 3.8); mutual bounds showing that d_hat and D induce the same topology and coarse structure (Prop. 5.4); and a deformation theorem (Thm. 5.5) constructing a continuous path R_t between X and Y, of length at most e^{2r}-e^r, whenever a correspondence R has q-disR≤r. The paper also discusses metrization, a monogenic coarse structure, and an example in finite-dimensional l^p spaces.","tokens_in":13306,"tokens_out":23450,"duration_ms":227352,"significance":"If the main estimates are correct, the construction of D is a useful contribution to the coarse/quasi-isometric geometry of metric spaces: it gives a unified, quantitative way to compare spaces up to quasi-isometry, with explicit inequalities. The proof of the triangle inequality for D (Prop. 5.3) and the mutual bounds in Prop. 5.4 make the paper essentially self-contained, and the path-deformation theorem is a nice device. However, the paper's headline claim in the abstract—that any two metric spaces can be connected by a curve of finite length—is false as stated, and Example 10 contains a Banach–Mazur definitional mismatch. These issues are load-bearing for the presentation and need correction before the paper can be accepted.","major_comments":[{"comment":"The abstract states that 'the class of all metric spaces is path-connected; in fact, any two metric spaces can be connected by a curve of finite length.' Theorem 5.5 requires, as a hypothesis, a correspondence R with q-disR≤r for a finite r. This hypothesis is not satisfied by all metric spaces. For X={p} and Y=R, the only correspondence is {p}×R, and the lower inequality in (5.1) forces 0 ≥ e^{-r}|y-y'|-e^r+1 for all y,y'∈R, which is impossible for unbounded y,y'. Thus D({p},R)=∞. In a generalized metric, the length of any curve between two points is at least their distance, so no finite-length curve can connect them; a continuous path would also force finite distance by compactness of [0,1]. The correct statement is that any two metric spaces admitting a finite-q-dis correspondence—equivalently, quasi-isometric spaces—can be connected. The abstract and the 'linearly connected' claim in","section":"Abstract and Theorem 5.5"},{"comment":"The proof contains a displayed inference with reversed inequalities. After constructing an (A,B+C)-correspondence with A=1+r and B+C=2r, the text says 'Hence if d_hat(X,Y)=r, then e^D≤1+r, e^{2D}-e^D≤2r, whence D≤ln(1+2r).' From an (A,B+C)-correspondence, the condition for q-disR≤s is e^s≥A and e^{2s}-e^s≥B+C. Thus for A=1+r, B+C=2r, the correct necessary conditions are e^D≥1+r and e^{2D}-e^D≥2r, not the displayed upper bounds. The final inequality D≤ln(1+2r) is nevertheless true by taking e^D=1+2r, but the proof as written is not correct and should be rewritten.","section":"Proposition 5.4, first direction"},{"comment":"The example identifies D(X,Y) with the Banach–Mazur distance, but it defines D_BM(X,Y)=inf_T ln max{||T||,||T^{-1}||}, whereas the standard Banach–Mazur distance (and the formula quoted from [Tom89, Prop. 37.6]) is inf_T ln(||T||·||T^{-1}||). Scaling T makes the max-version equal to one half of the standard logarithmic BM distance: for any T, choosing c with ||cT||=||(cT)^{-1}||=sqrt(||T||||T^{-1}||) gives log max = (1/2)log(||T||||T^{-1}||). Therefore the asserted equality 'D equals Banach–Mazur distance' and the numerical geodesic computations in Example 10 are off by a factor of 1/2 unless the nonstandard convention is stated explicitly and the quoted [Tom89] formula is adjusted. The asymptotic-cone argument itself is plausible and would support D=inf_T log max{||T||,||T^{-1}||}.","section":"Example 10"}],"minor_comments":[{"comment":"The proof says 'there exist maps g_k : X_k → X' and 'choose p arbitrarily' and 'd_X(g_k(p_k),p)' but the target space should be Y, not X. Please replace X with Y (and d_X with d_Y) throughout that paragraph.","section":"Proposition 3.7 proof"},{"comment":"D is called a 'metric', but by the paper's own definition in Section 3 a metric must be finite. Since D may be infinite (e.g., D({pt},R)=∞), it should be called a generalized metric, as was done for ρ in Section 4.","section":"Section 5, terminology"},{"comment":"The reference to 'Theorem 2.' is incomplete; it should presumably be Theorem 2.9. The proof sketch for d_GH(α_k Z,Z) ≥ 1/4 is very terse and would benefit from a few more details.","section":"Example 5"},{"comment":"The phrase 'any two metric spaces at distance at most r' should explicitly include the hypothesis of Theorem 5.5, i.e., the existence of a finite-q-dis correspondence. As written it could be read as claiming the false global statement.","section":"Corollary 5.6"},{"comment":"M is defined as the set of equivalence classes of separable metric spaces, while the abstract speaks of the class of all metric spaces. Please align the set-theoretic scope of these statements.","section":"Section 4.1"}],"recommendation":"major_revision","confidential_remarks":"The core construction and the main inequalities in Props. 5.3–5.4 appear salvageable, and the deformation theorem is a good idea. The abstract's unconditional path-connectivity claim is false, and Example 10's Banach–Mazur comparison uses a nonstandard definition; both require substantive correction, not mere copy-editing. With those fixed, the paper could be a reasonable contribution."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper gives you a new coarse-geometric distance between metric spaces, a companion metric D, and a set of implications GH⇒QI⇒PGH. The definitions are original and the main theorems, Prop 5.4 and Thm 5.5, look correct to me. But the abstract overstates the result: it says any two metric spaces can be connected by a curve of finite length. That is false. Theorem 5.5 needs a correspondence with finite quasi-isometric distortion, which only exists when the spaces are quasi-isometric. A point and the real line are a concrete counterexample: D is infinite, so no finite-length path exists. This is a fixable framing error, but it is load-bearing in the abstract.\n\nWhat is actually new here: the q-dis distortion, the metric D with the exponential estimates, the interpolation path R_t, and the monogenic coarse structure. These are not in the cited literature. The proofs are mostly self-contained and the inequalities in Prop 5.4 check out, though they are a bit rough.\n\nThe soft spots: Example 10 claims that for finite-dimensional normed spaces D equals Banach–Mazur distance. The argument via asymptotic cones and differentiability is only sketched, and the constants are loose; the reviewer flagged a mismatch with the max-definition. This is peripheral but should be tightened. Also, the paper never discusses that D is a generalized metric that can take infinite values, which is exactly what breaks the path-connectedness claim.\n\nWho should read it: metric geometers and geometric group theorists interested in coarse distances between noncompact spaces. With the abstract fixed and Example 10 cleaned up, it would be a solid paper. It deserves peer review as is; the main theorems are novel and plausibly correct.","headline":"New coarse distance with a nice hierarchy, but the abstract's 'any two spaces' claim is wrong.","tokens_in":13772,"tokens_out":12422,"would_cite":false,"duration_ms":108917,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C23","51F30","54E35"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper defines a quasi-isometric analog of Gromov–Hausdorff distance, proves it is metrizable, and shows that any two spaces with finite quasi-isometric distortion can be connected by a continuous curve of controlled finite length.","keywords":["quasi-isometry","Gromov–Hausdorff distance","metric spaces","correspondences","quasi-isometric distortion","coarse structure","path-connected space","convergence"],"falsifier":"Take X={p} and Y=R with the usual metric. The only correspondence is R={p}×R; the lower bound in q-disR reads |y−y'|/e^r −e^r+1 ≤ 0 for all y,y'∈R, which forces |y−y'|≤e^r(e^r−1) for all y,y' and is impossible for unbounded y,y'. Hence q-disR=∞, so D is infinite and no finite-length path connects them—contradicting the abstract's literal 'any two metric spaces' reading.","tokens_in":12907,"feed_emoji":"📏","tokens_out":7214,"duration_ms":66031,"temperature":0.7,"pith_summary":"The paper sets out to build a distance on all metric spaces that measures how far two spaces are from being quasi-isometric, in the spirit of Gromov–Hausdorff distance but without requiring compactness or boundedness. It introduces two tools: the quasi-isometric distance dhat and the quasi-isometric distortion of a correspondence, leading to a genuine metric D on equivalence classes. The main structural result is that convergence in this distance sits between Gromov–Hausdorff and pointed Gromov–Hausdorff convergence, and many geometric properties pass to limits. The capstone is Theorem 5.5: given a correspondence with finite distortion r, the interpolated spaces R_t form a continuous finite-length path in (M,D), with length at most e^{2r}−e^r. The abstract's unconditional 'any two metric spaces' is stronger than the theorem's hypothesis, which requires finite r—that is, quasi-isometric spaces.","feed_headline":"Any quasi-isometric pair joins by a finite path","feed_subtitle":"A Gromov–Hausdorff–style distance lets quasi-isometric spaces deform continuously into each other.","key_machinery":"The load-bearing object is the quasi-isometric distortion of a correspondence, defined as the infimum of r>0 such that for all paired points, distances can differ only by exponential factors: (1/e^r)|y,y'|−e^r+1 ≤ |x,x'| ≤ e^r|y,y'|+e^{2r}−e^r. This single quantity replaces the additive distortion of classical Gromov–Hausdorff theory with a multiplicative-exponential one, making it invariant under quasi-isometry rather than isometry. The interpolation curve R_t then uses a convex combination of the two metrics, and the exponential bounds are exactly what make the D-distance between nearby R_t small and the total length finite.","core_discovery":"The central discovery is that a single number attached to a correspondence—the quasi-isometric distortion q-disR—controls both the distance D(X,Y) (as the infimum over all correspondences) and the existence of a continuous deformation between X and Y. The map t↦R_t, where R_t inherits the metric (1−t)|xx'|+t|yy'|, is a continuous path in the space M of equivalence classes of separable metric spaces, and its D-length is bounded by e^{2r}−e^r whenever q-disR≤r. This makes the quasi-isometric distance topologically and coarsely equivalent to a true metric D, and implies that the coarse structure of M is monogenic. The theorem should be read as applying to quasi-isometric spaces; the abstract's","pith_inferences":["The finite-length path theorem only bites when q-disR<∞, i.e., when X and Y are quasi-isometric; for non-quasi-isometric pairs such as a point and the real line, D is infinite and the abstract's 'any two metric spaces' statement would need a different construction.","The correspondence-interpolation idea suggests a general recipe: any criterion that bounds distortion of correspondences yields a controlled deformation of the underlying spaces, potentially transferable to other equivalence relations such as rough isometries or measure-preserving maps.","The exponential bounds are not optimal, as the paper itself notes through the finite-dimensional norm example; tightening them could turn finite-length paths into actual geodesics in more cases.","Because D is a genuine metric, the completion of the space of quasi-isometric equivalence classes under D may be a useful object for studying coarse-geometric boundary points, analogous to Gromov boundary constructions."],"forward_implications":["Gromov–Hausdorff convergence implies quasi-isometric convergence implies pointed Gromov–Hausdorff convergence, so the new distance is a strictly weaker way to converge that still remembers coarse structure.","Limit spaces inherit total boundedness, finite or infinite diameter, separability, properness (when complete), the length-space property, geodesicity, δ-hyperbolicity, and the CAT(κ) condition.","The metric D induces the same topology and coarse structure as dhat, with explicit two-way estimates: dhat=r gives D≤ln(1+2r), and D=r gives dhat≤e^{2r}−e^r.","Any two quasi-isometric spaces can be connected by a continuous curve in M of finite D-length, so the equivalence-class space is linearly connected and its coarse structure is monogenic.","For finite-dimensional normed spaces, the new distance coincides with the logarithmic bi-Lipschitz distance between norms, making the natural interpolation between ℓ_p spaces a geodesic."],"fun_headline_variants":["Quasi-isometric spaces all connect via finite paths","Finite path links any quasi-isometric pair","Gromov-Hausdorff-style path for quasi-isometric spaces","New distance makes quasi-isometric spaces path-connected","Quasi-isometric spaces join via finite-length curves"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The theorem's path-connectedness requires a correspondence R between X and Y with finite quasi-isometric distortion (q-disR ≤ r for some finite r), which holds exactly when X and Y are quasi-isometric; without it—as for a point versus the real line—the distance is infinite and the finite-length path is not obtained.","fun_headline_variants_meta":{"raw":{"variants":["Quasi-isometric spaces all connect via finite paths","Finite path links any quasi-isometric pair","Gromov-Hausdorff-style path for quasi-isometric spaces","New distance makes quasi-isometric spaces path-connected","Quasi-isometric spaces join via finite-length curves"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001007,"raw_usage":{"total_tokens":4039,"prompt_tokens":632,"completion_tokens":3407,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":376,"completion_tokens_details":{"reasoning_tokens":3329}},"tokens_in":376,"tokens_out":3407,"duration_ms":24421,"temperature":1.0,"reasoning_tokens":3329,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-03T04:27:22.801833+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take X={p} and Y=R with the usual metric. The only correspondence is R={p}×R; the lower bound in q-disR reads |y−y'|/e^r −e^r+1 ≤ 0 for all y,y'∈R, which forces |y−y'|≤e^r(e^r−1) for all y,y' and is impossible for unbounded y,y'. Hence q-disR=∞, so D is infinite and no finite-length path connects them—contradicting the abstract's literal 'any two metric spaces' reading.","supporting_citations":[],"review_version":1}